digraph Syzygy { KBBPvKRR -> KQBBvKRR; KBBPvKRR -> KRBBvKRR; KBBPvKRR -> KBBPvKR; KBBPvKRR -> KBBBvKRR; KBBPvKRR -> KRRvKBP; KBBPvKRR -> KBBNvKRR; KBBPvKRR -> KRRvKBB; KRRvKBB -> KBBvKR; KRRvKBB -> KRRvKB; KRRvKB -> KRvKB; KRRvKB -> KRRvK; KRRvK -> KRvK; KRvKB -> KBvK; KRvKB -> KRvK; KBBvKR -> KBBvK; KBBvKR -> KRvKB; KBBvK -> KBvK; KBBNvKRR -> KBBNvKR; KBBNvKRR -> KRRvKBN; KBBNvKRR -> KRRvKBB; KRRvKBN -> KBNvKR; KRRvKBN -> KRRvKN; KRRvKBN -> KRRvKB; KRRvKN -> KRvKN; KRRvKN -> KRRvK; KRvKN -> KNvK; KRvKN -> KRvK; KBNvKR -> KBNvK; KBNvKR -> KRvKN; KBNvKR -> KRvKB; KBNvK -> KNvK; KBNvK -> KBvK; KBBNvKR -> KBBNvK; KBBNvKR -> KBNvKR; KBBNvKR -> KBBvKR; KBBNvK -> KBNvK; KBBNvK -> KBBvK; KRRvKBP -> KQBvKRR; KRRvKBP -> KRRvKRB; KRRvKBP -> KBPvKR; KRRvKBP -> KRRvKBB; KRRvKBP -> KRRvKP; KRRvKBP -> KRRvKBN; KRRvKBP -> KRRvKB; KRRvKP -> KRRvKQ; KRRvKP -> KRRvKR; KRRvKP -> KRvKP; KRRvKP -> KRRvKB; KRRvKP -> KRRvKN; KRRvKP -> KRRvK; KRvKP -> KQvKR; KRvKP -> KRvKR; KRvKP -> KPvK; KRvKP -> KRvKB; KRvKP -> KRvKN; KRvKP -> KRvK; KPvK -> KQvK; KPvK -> KRvK; KPvK -> KBvK; KPvK -> KNvK; KRvKR -> KRvK; KQvKR -> KRvK; KQvKR -> KQvK; KRRvKR -> KRvKR; KRRvKR -> KRRvK; KRRvKQ -> KRRvK; KRRvKQ -> KQvKR; KBPvKR -> KQBvKR; KBPvKR -> KRBvKR; KBPvKR -> KBPvK; KBPvKR -> KBBvKR; KBPvKR -> KRvKP; KBPvKR -> KBNvKR; KBPvKR -> KRvKB; KBPvK -> KQBvK; KBPvK -> KRBvK; KBPvK -> KBBvK; KBPvK -> KPvK; KBPvK -> KBNvK; KBPvK -> KBvK; KRBvK -> KBvK; KRBvK -> KRvK; KQBvK -> KBvK; KQBvK -> KQvK; KRBvKR -> KRvKB; KRBvKR -> KRBvK; KRBvKR -> KRvKR; KQBvKR -> KRvKB; KQBvKR -> KQBvK; KQBvKR -> KQvKR; KRRvKRB -> KRBvKR; KRRvKRB -> KRRvKB; KRRvKRB -> KRRvKR; KQBvKRR -> KRRvKB; KQBvKRR -> KQBvKR; KQBvKRR -> KRRvKQ; KBBBvKRR -> KBBBvKR; KBBBvKRR -> KRRvKBB; KBBBvKR -> KBBBvK; KBBBvKR -> KBBvKR; KBBBvK -> KBBvK; KBBPvKR -> KQBBvKR; KBBPvKR -> KRBBvKR; KBBPvKR -> KBBPvK; KBBPvKR -> KBBBvKR; KBBPvKR -> KBPvKR; KBBPvKR -> KBBNvKR; KBBPvKR -> KBBvKR; KBBPvK -> KQBBvK; KBBPvK -> KRBBvK; KBBPvK -> KBBBvK; KBBPvK -> KBPvK; KBBPvK -> KBBNvK; KBBPvK -> KBBvK; KRBBvK -> KBBvK; KRBBvK -> KRBvK; KQBBvK -> KBBvK; KQBBvK -> KQBvK; KRBBvKR -> KBBvKR; KRBBvKR -> KRBBvK; KRBBvKR -> KRBvKR; KQBBvKR -> KBBvKR; KQBBvKR -> KQBBvK; KQBBvKR -> KQBvKR; KRBBvKRR -> KRRvKBB; KRBBvKRR -> KRBBvKR; KRBBvKRR -> KRRvKRB; KQBBvKRR -> KRRvKBB; KQBBvKRR -> KQBBvKR; KQBBvKRR -> KQBvKRR; }