digraph Syzygy { KRRNvKRR -> KRRvKRN; KRRNvKRR -> KRRNvKR; KRRNvKRR -> KRRvKRR; KRRvKRR -> KRRvKR; KRRvKR -> KRvKR; KRRvKR -> KRRvK; KRRvK -> KRvK; KRvKR -> KRvK; KRRNvKR -> KRNvKR; KRRNvKR -> KRRNvK; KRRNvKR -> KRRvKR; KRRNvK -> KRNvK; KRRNvK -> KRRvK; KRNvK -> KNvK; KRNvK -> KRvK; KRNvKR -> KRvKN; KRNvKR -> KRNvK; KRNvKR -> KRvKR; KRvKN -> KNvK; KRvKN -> KRvK; KRRvKRN -> KRNvKR; KRRvKRN -> KRRvKN; KRRvKRN -> KRRvKR; KRRvKN -> KRvKN; KRRvKN -> KRRvK; }