digraph Syzygy { KBBNvKRR -> KBBNvKR; KBBNvKRR -> KRRvKBN; KBBNvKRR -> KRRvKBB; KRRvKBB -> KBBvKR; KRRvKBB -> KRRvKB; KRRvKB -> KRvKB; KRRvKB -> KRRvK; KRRvK -> KRvK; KRvKB -> KBvK; KRvKB -> KRvK; KBBvKR -> KBBvK; KBBvKR -> KRvKB; KBBvK -> KBvK; 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; }