digraph Syzygy { KRRBvKRN -> KRBvKRN; KRRBvKRN -> KRRBvKN; KRRBvKRN -> KRRvKRN; KRRBvKRN -> KRRBvKR; KRRBvKR -> KRBvKR; KRRBvKR -> KRRBvK; KRRBvKR -> KRRvKR; KRRvKR -> KRvKR; KRRvKR -> KRRvK; KRRvK -> KRvK; KRvKR -> KRvK; KRRBvK -> KRBvK; KRRBvK -> KRRvK; KRBvK -> KBvK; KRBvK -> KRvK; KRBvKR -> KRvKB; KRBvKR -> KRBvK; KRBvKR -> KRvKR; KRvKB -> KBvK; KRvKB -> KRvK; KRRvKRN -> KRNvKR; KRRvKRN -> KRRvKN; KRRvKRN -> KRRvKR; KRRvKN -> KRvKN; KRRvKN -> KRRvK; KRvKN -> KNvK; KRvKN -> KRvK; KRNvKR -> KRvKN; KRNvKR -> KRNvK; KRNvKR -> KRvKR; KRNvK -> KNvK; KRNvK -> KRvK; KRRBvKN -> KRBvKN; KRRBvKN -> KRRvKN; KRRBvKN -> KRRBvK; KRBvKN -> KBvKN; KRBvKN -> KRvKN; KRBvKN -> KRBvK; KBvKN -> KNvK; KBvKN -> KBvK; KRBvKRN -> KRNvKB; KRBvKRN -> KRBvKN; KRBvKRN -> KRNvKR; KRBvKRN -> KRBvKR; KRNvKB -> KBvKN; KRNvKB -> KRNvK; KRNvKB -> KRvKB; }