digraph Syzygy { KRBNvKBB -> KBBvKBN; KRBNvKBB -> KRNvKBB; KRBNvKBB -> KRBNvKB; KRBNvKBB -> KRBvKBB; KRBvKBB -> KBBvKB; KRBvKBB -> KBBvKR; KRBvKBB -> KRBvKB; KRBvKB -> KBvKB; KRBvKB -> KRvKB; KRBvKB -> KRBvK; KRBvK -> KBvK; KRBvK -> KRvK; KRvKB -> KBvK; KRvKB -> KRvK; KBvKB -> KBvK; KBBvKR -> KBBvK; KBBvKR -> KRvKB; KBBvK -> KBvK; KBBvKB -> KBvKB; KBBvKB -> KBBvK; KRBNvKB -> KBNvKB; KRBNvKB -> KRNvKB; KRBNvKB -> KRBNvK; KRBNvKB -> KRBvKB; KRBNvK -> KBNvK; KRBNvK -> KRNvK; KRBNvK -> KRBvK; KRNvK -> KNvK; KRNvK -> KRvK; KBNvK -> KNvK; KBNvK -> KBvK; KRNvKB -> KBvKN; KRNvKB -> KRNvK; KRNvKB -> KRvKB; KBvKN -> KNvK; KBvKN -> KBvK; KBNvKB -> KBvKN; KBNvKB -> KBNvK; KBNvKB -> KBvKB; KRNvKBB -> KBBvKN; KRNvKBB -> KRNvKB; KRNvKBB -> KBBvKR; KBBvKN -> KBvKN; KBBvKN -> KBBvK; KBBvKBN -> KBNvKB; KBBvKBN -> KBBvKN; KBBvKBN -> KBBvKB; }