digraph Syzygy { KBNNvKRB -> KBNNvKB; KBNNvKRB -> KRBvKNN; KBNNvKRB -> KBNNvKR; KBNNvKRB -> KRBvKBN; KRBvKBN -> KBNvKB; KRBvKBN -> KBNvKR; KRBvKBN -> KRBvKN; KRBvKBN -> KRBvKB; KRBvKB -> KBvKB; KRBvKB -> KRvKB; KRBvKB -> KRBvK; KRBvK -> KBvK; KRBvK -> KRvK; KRvKB -> KBvK; KRvKB -> KRvK; KBvKB -> KBvK; KRBvKN -> KBvKN; KRBvKN -> KRvKN; KRBvKN -> KRBvK; KRvKN -> KNvK; KRvKN -> KRvK; KBvKN -> KNvK; KBvKN -> KBvK; KBNvKR -> KBNvK; KBNvKR -> KRvKN; KBNvKR -> KRvKB; KBNvK -> KNvK; KBNvK -> KBvK; KBNvKB -> KBvKN; KBNvKB -> KBNvK; KBNvKB -> KBvKB; KBNNvKR -> KBNNvK; KBNNvKR -> KNNvKR; KBNNvKR -> KBNvKR; KNNvKR -> KNNvK; KNNvKR -> KRvKN; KNNvK -> KNvK; KBNNvK -> KNNvK; KBNNvK -> KBNvK; KRBvKNN -> KNNvKB; KRBvKNN -> KNNvKR; KRBvKNN -> KRBvKN; KNNvKB -> KNNvK; KNNvKB -> KBvKN; KBNNvKB -> KNNvKB; KBNNvKB -> KBNNvK; KBNNvKB -> KBNvKB; }