digraph Syzygy { KBBBvKQP -> KBBBvKQQ; KBBBvKQP -> KBBBvKP; KBBBvKQP -> KBBBvKQR; KBBBvKQP -> KBBBvKQB; KBBBvKQP -> KQPvKBB; KBBBvKQP -> KBBBvKQN; KBBBvKQP -> KBBBvKQ; KBBBvKQ -> KBBBvK; KBBBvKQ -> KBBvKQ; KBBvKQ -> KBBvK; KBBvKQ -> KQvKB; KQvKB -> KBvK; KQvKB -> KQvK; KBBvK -> KBvK; KBBBvK -> KBBvK; KBBBvKQN -> KBBBvKN; KBBBvKQN -> KQNvKBB; KBBBvKQN -> KBBBvKQ; KQNvKBB -> KBBvKN; KQNvKBB -> KQNvKB; KQNvKBB -> KBBvKQ; KQNvKB -> KBvKN; KQNvKB -> KQNvK; KQNvKB -> KQvKB; KQNvK -> KNvK; KQNvK -> KQvK; KBvKN -> KNvK; KBvKN -> KBvK; KBBvKN -> KBvKN; KBBvKN -> KBBvK; KBBBvKN -> KBBvKN; KBBBvKN -> KBBBvK; KQPvKBB -> KQQvKBB; KQPvKBB -> KBBvKP; KQPvKBB -> KQRvKBB; KQPvKBB -> KQBvKBB; KQPvKBB -> KQPvKB; KQPvKBB -> KQNvKBB; KQPvKBB -> KBBvKQ; KQPvKB -> KQQvKB; KQPvKB -> KBvKP; KQPvKB -> KQRvKB; KQPvKB -> KQBvKB; KQPvKB -> KQPvK; KQPvKB -> KQNvKB; KQPvKB -> KQvKB; KQPvK -> KQQvK; KQPvK -> KPvK; KQPvK -> KQRvK; KQPvK -> KQBvK; KQPvK -> KQNvK; KQPvK -> KQvK; KQBvK -> KBvK; KQBvK -> KQvK; KQRvK -> KRvK; KQRvK -> KQvK; KPvK -> KQvK; KPvK -> KRvK; KPvK -> KBvK; KPvK -> KNvK; KQQvK -> KQvK; KQBvKB -> KBvKB; KQBvKB -> KQvKB; KQBvKB -> KQBvK; KBvKB -> KBvK; KQRvKB -> KRvKB; KQRvKB -> KQvKB; KQRvKB -> KQRvK; KRvKB -> KBvK; KRvKB -> KRvK; KBvKP -> KQvKB; KBvKP -> KRvKB; KBvKP -> KBvKB; KBvKP -> KPvK; KBvKP -> KBvKN; KBvKP -> KBvK; KQQvKB -> KQvKB; KQQvKB -> KQQvK; KQBvKBB -> KBBvKB; KQBvKBB -> KBBvKQ; KQBvKBB -> KQBvKB; KBBvKB -> KBvKB; KBBvKB -> KBBvK; KQRvKBB -> KBBvKR; KQRvKBB -> KBBvKQ; KQRvKBB -> KQRvKB; KBBvKR -> KBBvK; KBBvKR -> KRvKB; KBBvKP -> KBBvKQ; KBBvKP -> KBBvKR; KBBvKP -> KBBvKB; KBBvKP -> KBvKP; KBBvKP -> KBBvKN; KBBvKP -> KBBvK; KQQvKBB -> KBBvKQ; KQQvKBB -> KQQvKB; KBBBvKQB -> KBBBvKB; KBBBvKQB -> KQBvKBB; KBBBvKQB -> KBBBvKQ; KBBBvKB -> KBBvKB; KBBBvKB -> KBBBvK; KBBBvKQR -> KBBBvKR; KBBBvKQR -> KBBBvKQ; KBBBvKQR -> KQRvKBB; KBBBvKR -> KBBBvK; KBBBvKR -> KBBvKR; KBBBvKP -> KBBBvKQ; KBBBvKP -> KBBBvKR; KBBBvKP -> KBBBvKB; KBBBvKP -> KBBvKP; KBBBvKP -> KBBBvKN; KBBBvKP -> KBBBvK; KBBBvKQQ -> KBBBvKQ; KBBBvKQQ -> KQQvKBB; }