digraph Syzygy { KRNvKNN -> KNNvKN; KRNvKNN -> KNNvKR; KRNvKNN -> KRNvKN; KRNvKN -> KNvKN; KRNvKN -> KRvKN; KRNvKN -> KRNvK; KRNvK -> KNvK; KRNvK -> KRvK; KRvKN -> KNvK; KRvKN -> KRvK; KNvKN -> KNvK; KNNvKR -> KNNvK; KNNvKR -> KRvKN; KNNvK -> KNvK; KNNvKN -> KNvKN; KNNvKN -> KNNvK; }