digraph Syzygy { KRRvKBP -> KQBvKRR; KRRvKBP -> KRRvKRB; KRRvKBP -> KBPvKR; KRRvKBP -> KRRvKBB; KRRvKBP -> KRRvKP; KRRvKBP -> KRRvKBN; KRRvKBP -> KRRvKB; KRRvKB -> KRvKB; KRRvKB -> KRRvK; KRRvK -> KRvK; KRvKB -> KBvK; KRvKB -> KRvK; KRRvKBN -> KBNvKR; KRRvKBN -> KRRvKN; KRRvKBN -> KRRvKB; KRRvKN -> KRvKN; KRRvKN -> KRRvK; KRvKN -> KNvK; KRvKN -> KRvK; KBNvKR -> KBNvK; KBNvKR -> KRvKN; KBNvKR -> KRvKB; KBNvK -> KNvK; KBNvK -> KBvK; 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; KRRvKBB -> KBBvKR; KRRvKBB -> KRRvKB; KBBvKR -> KBBvK; KBBvKR -> KRvKB; KBBvK -> KBvK; 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; }