digraph Syzygy { KRBBNvKN -> KBBNvKN; KRBBNvKN -> KRBNvKN; KRBBNvKN -> KRBBvKN; KRBBNvKN -> KRBBNvK; KRBBNvK -> KBBNvK; KRBBNvK -> KRBNvK; KRBBNvK -> KRBBvK; KRBBvK -> KBBvK; KRBBvK -> KRBvK; KRBvK -> KBvK; KRBvK -> KRvK; KBBvK -> KBvK; KRBNvK -> KBNvK; KRBNvK -> KRNvK; KRBNvK -> KRBvK; KRNvK -> KNvK; KRNvK -> KRvK; KBNvK -> KNvK; KBNvK -> KBvK; KBBNvK -> KBNvK; KBBNvK -> KBBvK; KRBBvKN -> KBBvKN; KRBBvKN -> KRBvKN; KRBBvKN -> KRBBvK; KRBvKN -> KBvKN; KRBvKN -> KRvKN; KRBvKN -> KRBvK; KRvKN -> KNvK; KRvKN -> KRvK; KBvKN -> KNvK; KBvKN -> KBvK; KBBvKN -> KBvKN; KBBvKN -> KBBvK; KRBNvKN -> KBNvKN; KRBNvKN -> KRNvKN; KRBNvKN -> KRBvKN; KRBNvKN -> KRBNvK; KRNvKN -> KNvKN; KRNvKN -> KRvKN; KRNvKN -> KRNvK; KNvKN -> KNvK; KBNvKN -> KNvKN; KBNvKN -> KBvKN; KBNvKN -> KBNvK; KBBNvKN -> KBNvKN; KBBNvKN -> KBBvKN; KBBNvKN -> KBBNvK; }