digraph Syzygy { KQRRvKNN -> KRRvKNN; KQRRvKNN -> KQRvKNN; KQRRvKNN -> KQRRvKN; KQRRvKN -> KRRvKN; KQRRvKN -> KQRvKN; KQRRvKN -> KQRRvK; KQRRvK -> KRRvK; KQRRvK -> KQRvK; KQRvK -> KRvK; KQRvK -> KQvK; KRRvK -> KRvK; KQRvKN -> KRvKN; KQRvKN -> KQvKN; KQRvKN -> KQRvK; KQvKN -> KNvK; KQvKN -> KQvK; KRvKN -> KNvK; KRvKN -> KRvK; KRRvKN -> KRvKN; KRRvKN -> KRRvK; KQRvKNN -> KNNvKR; KQRvKNN -> KNNvKQ; KQRvKNN -> KQRvKN; KNNvKQ -> KNNvK; KNNvKQ -> KQvKN; KNNvK -> KNvK; KNNvKR -> KNNvK; KNNvKR -> KRvKN; KRRvKNN -> KNNvKR; KRRvKNN -> KRRvKN; }