digraph Syzygy { KRRRvKNN -> KRRvKNN; KRRRvKNN -> KRRRvKN; KRRRvKN -> KRRvKN; KRRRvKN -> KRRRvK; KRRRvK -> KRRvK; KRRvK -> KRvK; KRRvKN -> KRvKN; KRRvKN -> KRRvK; KRvKN -> KNvK; KRvKN -> KRvK; KRRvKNN -> KNNvKR; KRRvKNN -> KRRvKN; KNNvKR -> KNNvK; KNNvKR -> KRvKN; KNNvK -> KNvK; }