digraph Syzygy { KBBPvKBB -> KQBBvKBB; KBBPvKBB -> KRBBvKBB; KBBPvKBB -> KBBBvKBB; KBBPvKBB -> KBBvKBP; KBBPvKBB -> KBBPvKB; KBBPvKBB -> KBBNvKBB; KBBPvKBB -> KBBvKBB; KBBvKBB -> KBBvKB; KBBvKB -> KBvKB; KBBvKB -> KBBvK; KBBvK -> KBvK; KBvKB -> KBvK; KBBNvKBB -> KBBvKBN; KBBNvKBB -> KBBNvKB; KBBNvKBB -> KBBvKBB; KBBNvKB -> KBNvKB; KBBNvKB -> KBBNvK; KBBNvKB -> KBBvKB; KBBNvK -> KBNvK; KBBNvK -> KBBvK; KBNvK -> KNvK; KBNvK -> KBvK; KBNvKB -> KBvKN; KBNvKB -> KBNvK; KBNvKB -> KBvKB; KBvKN -> KNvK; KBvKN -> KBvK; KBBvKBN -> KBNvKB; KBBvKBN -> KBBvKN; KBBvKBN -> KBBvKB; KBBvKN -> KBvKN; KBBvKN -> KBBvK; KBBPvKB -> KQBBvKB; KBBPvKB -> KRBBvKB; KBBPvKB -> KBBBvKB; KBBPvKB -> KBPvKB; KBBPvKB -> KBBPvK; KBBPvKB -> KBBNvKB; KBBPvKB -> KBBvKB; KBBPvK -> KQBBvK; KBBPvK -> KRBBvK; KBBPvK -> KBBBvK; KBBPvK -> KBPvK; KBBPvK -> KBBNvK; KBBPvK -> KBBvK; KBPvK -> KQBvK; KBPvK -> KRBvK; KBPvK -> KBBvK; KBPvK -> KPvK; KBPvK -> KBNvK; KBPvK -> KBvK; KPvK -> KQvK; KPvK -> KRvK; KPvK -> KBvK; KPvK -> KNvK; KRBvK -> KBvK; KRBvK -> KRvK; KQBvK -> KBvK; KQBvK -> KQvK; KBBBvK -> KBBvK; KRBBvK -> KBBvK; KRBBvK -> KRBvK; KQBBvK -> KBBvK; KQBBvK -> KQBvK; KBPvKB -> KQBvKB; KBPvKB -> KRBvKB; KBPvKB -> KBBvKB; KBPvKB -> KBvKP; KBPvKB -> KBPvK; KBPvKB -> KBNvKB; KBPvKB -> KBvKB; KBvKP -> KQvKB; KBvKP -> KRvKB; KBvKP -> KBvKB; KBvKP -> KPvK; KBvKP -> KBvKN; KBvKP -> KBvK; KRvKB -> KBvK; KRvKB -> KRvK; KQvKB -> KBvK; KQvKB -> KQvK; KRBvKB -> KBvKB; KRBvKB -> KRvKB; KRBvKB -> KRBvK; KQBvKB -> KBvKB; KQBvKB -> KQvKB; KQBvKB -> KQBvK; KBBBvKB -> KBBvKB; KBBBvKB -> KBBBvK; KRBBvKB -> KBBvKB; KRBBvKB -> KRBvKB; KRBBvKB -> KRBBvK; KQBBvKB -> KBBvKB; KQBBvKB -> KQBvKB; KQBBvKB -> KQBBvK; KBBvKBP -> KQBvKBB; KBBvKBP -> KRBvKBB; KBBvKBP -> KBBvKBB; KBBvKBP -> KBPvKB; KBBvKBP -> KBBvKP; KBBvKBP -> KBBvKBN; KBBvKBP -> KBBvKB; KBBvKP -> KBBvKQ; KBBvKP -> KBBvKR; KBBvKP -> KBBvKB; KBBvKP -> KBvKP; KBBvKP -> KBBvKN; KBBvKP -> KBBvK; KBBvKR -> KBBvK; KBBvKR -> KRvKB; KBBvKQ -> KBBvK; KBBvKQ -> KQvKB; KRBvKBB -> KBBvKB; KRBvKBB -> KBBvKR; KRBvKBB -> KRBvKB; KQBvKBB -> KBBvKB; KQBvKBB -> KBBvKQ; KQBvKBB -> KQBvKB; KBBBvKBB -> KBBvKBB; KBBBvKBB -> KBBBvKB; KRBBvKBB -> KBBvKBB; KRBBvKBB -> KRBvKBB; KRBBvKBB -> KRBBvKB; KQBBvKBB -> KBBvKBB; KQBBvKBB -> KQBvKBB; KQBBvKBB -> KQBBvKB; }