digraph Syzygy { KRBBNvKR -> KBBNvKR; KRBBNvKR -> KRBBNvK; KRBBNvKR -> KRBNvKR; KRBBNvKR -> KRBBvKR; KRBBvKR -> KBBvKR; KRBBvKR -> KRBBvK; KRBBvKR -> KRBvKR; KRBvKR -> KRvKB; KRBvKR -> KRBvK; KRBvKR -> KRvKR; KRvKR -> KRvK; KRBvK -> KBvK; KRBvK -> KRvK; KRvKB -> KBvK; KRvKB -> KRvK; KRBBvK -> KBBvK; KRBBvK -> KRBvK; KBBvK -> KBvK; KBBvKR -> KBBvK; KBBvKR -> KRvKB; KRBNvKR -> KBNvKR; KRBNvKR -> KRBNvK; KRBNvKR -> KRNvKR; KRBNvKR -> KRBvKR; KRNvKR -> KRvKN; KRNvKR -> KRNvK; KRNvKR -> KRvKR; KRNvK -> KNvK; KRNvK -> KRvK; KRvKN -> KNvK; KRvKN -> KRvK; KRBNvK -> KBNvK; KRBNvK -> KRNvK; KRBNvK -> KRBvK; KBNvK -> KNvK; KBNvK -> KBvK; KBNvKR -> KBNvK; KBNvKR -> KRvKN; KBNvKR -> KRvKB; KRBBNvK -> KBBNvK; KRBBNvK -> KRBNvK; KRBBNvK -> KRBBvK; KBBNvK -> KBNvK; KBBNvK -> KBBvK; KBBNvKR -> KBBNvK; KBBNvKR -> KBNvKR; KBBNvKR -> KBBvKR; }