digraph Syzygy { KRBvKNN -> KNNvKB; KRBvKNN -> KNNvKR; KRBvKNN -> KRBvKN; KRBvKN -> KBvKN; KRBvKN -> KRvKN; KRBvKN -> KRBvK; KRBvK -> KBvK; KRBvK -> KRvK; KRvKN -> KNvK; KRvKN -> KRvK; KBvKN -> KNvK; KBvKN -> KBvK; KNNvKR -> KNNvK; KNNvKR -> KRvKN; KNNvK -> KNvK; KNNvKB -> KNNvK; KNNvKB -> KBvKN; }