digraph Syzygy { KRRNvKQB -> KRRNvKB; KRRNvKQB -> KQBvKRN; KRRNvKQB -> KRRNvKQ; KRRNvKQB -> KQBvKRR; KQBvKRR -> KRRvKB; KQBvKRR -> KQBvKR; KQBvKRR -> KRRvKQ; KRRvKQ -> KRRvK; KRRvKQ -> KQvKR; KQvKR -> KRvK; KQvKR -> KQvK; KRRvK -> KRvK; KQBvKR -> KRvKB; KQBvKR -> KQBvK; KQBvKR -> KQvKR; KQBvK -> KBvK; KQBvK -> KQvK; KRvKB -> KBvK; KRvKB -> KRvK; KRRvKB -> KRvKB; KRRvKB -> KRRvK; KRRNvKQ -> KRRNvK; KRRNvKQ -> KRNvKQ; KRRNvKQ -> KRRvKQ; KRNvKQ -> KRNvK; KRNvKQ -> KQvKN; KRNvKQ -> KQvKR; KQvKN -> KNvK; KQvKN -> KQvK; KRNvK -> KNvK; KRNvK -> KRvK; KRRNvK -> KRNvK; KRRNvK -> KRRvK; KQBvKRN -> KRNvKB; KQBvKRN -> KQBvKN; KQBvKRN -> KRNvKQ; KQBvKRN -> KQBvKR; KQBvKN -> KBvKN; KQBvKN -> KQvKN; KQBvKN -> KQBvK; KBvKN -> KNvK; KBvKN -> KBvK; KRNvKB -> KBvKN; KRNvKB -> KRNvK; KRNvKB -> KRvKB; KRRNvKB -> KRNvKB; KRRNvKB -> KRRNvK; KRRNvKB -> KRRvKB; }