digraph Syzygy { KRRNvKRN -> KRNvKRN; KRRNvKRN -> KRRNvKN; KRRNvKRN -> KRRvKRN; KRRNvKRN -> KRRNvKR; KRRNvKR -> KRNvKR; KRRNvKR -> KRRNvK; KRRNvKR -> KRRvKR; KRRvKR -> KRvKR; KRRvKR -> KRRvK; KRRvK -> KRvK; KRvKR -> KRvK; 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; KRRNvKN -> KRNvKN; KRRNvKN -> KRRvKN; KRRNvKN -> KRRNvK; KRNvKN -> KNvKN; KRNvKN -> KRvKN; KRNvKN -> KRNvK; KNvKN -> KNvK; KRNvKRN -> KRNvKN; KRNvKRN -> KRNvKR; }