digraph Syzygy { KQNPvKNN -> KQQNvKNN; KQNPvKNN -> KNNvKNP; KQNPvKNN -> KQRNvKNN; KQNPvKNN -> KQBNvKNN; KQNPvKNN -> KQNNvKNN; KQNPvKNN -> KQPvKNN; KQNPvKNN -> KQNPvKN; KQNPvKNN -> KQNvKNN; KQNvKNN -> KNNvKN; KQNvKNN -> KNNvKQ; KQNvKNN -> KQNvKN; KQNvKN -> KNvKN; KQNvKN -> KQvKN; KQNvKN -> KQNvK; KQNvK -> KNvK; KQNvK -> KQvK; KQvKN -> KNvK; KQvKN -> KQvK; KNvKN -> KNvK; KNNvKQ -> KNNvK; KNNvKQ -> KQvKN; KNNvK -> KNvK; KNNvKN -> KNvKN; KNNvKN -> KNNvK; KQNPvKN -> KQQNvKN; KQNPvKN -> KNPvKN; KQNPvKN -> KQRNvKN; KQNPvKN -> KQBNvKN; KQNPvKN -> KQNNvKN; KQNPvKN -> KQPvKN; KQNPvKN -> KQNPvK; KQNPvKN -> KQNvKN; KQNPvK -> KQQNvK; KQNPvK -> KNPvK; KQNPvK -> KQRNvK; KQNPvK -> KQBNvK; KQNPvK -> KQNNvK; KQNPvK -> KQPvK; KQNPvK -> KQNvK; KQPvK -> KQQvK; KQPvK -> KPvK; KQPvK -> KQRvK; KQPvK -> KQBvK; KQPvK -> KQNvK; KQPvK -> KQvK; KQBvK -> KBvK; KQBvK -> KQvK; KQRvK -> KRvK; KQRvK -> KQvK; KPvK -> KQvK; KPvK -> KRvK; KPvK -> KBvK; KPvK -> KNvK; KQQvK -> KQvK; KQNNvK -> KNNvK; KQNNvK -> KQNvK; KQBNvK -> KBNvK; KQBNvK -> KQNvK; KQBNvK -> KQBvK; KBNvK -> KNvK; KBNvK -> KBvK; KQRNvK -> KRNvK; KQRNvK -> KQNvK; KQRNvK -> KQRvK; KRNvK -> KNvK; KRNvK -> KRvK; KNPvK -> KQNvK; KNPvK -> KRNvK; KNPvK -> KBNvK; KNPvK -> KNNvK; KNPvK -> KPvK; KNPvK -> KNvK; KQQNvK -> KQNvK; KQQNvK -> KQQvK; KQPvKN -> KQQvKN; KQPvKN -> KNvKP; KQPvKN -> KQRvKN; KQPvKN -> KQBvKN; KQPvKN -> KQNvKN; KQPvKN -> KQPvK; KQPvKN -> KQvKN; KQBvKN -> KBvKN; KQBvKN -> KQvKN; KQBvKN -> KQBvK; KBvKN -> KNvK; KBvKN -> KBvK; KQRvKN -> KRvKN; KQRvKN -> KQvKN; KQRvKN -> KQRvK; KRvKN -> KNvK; KRvKN -> KRvK; KNvKP -> KQvKN; KNvKP -> KRvKN; KNvKP -> KBvKN; KNvKP -> KNvKN; KNvKP -> KPvK; KNvKP -> KNvK; KQQvKN -> KQvKN; KQQvKN -> KQQvK; KQNNvKN -> KNNvKN; KQNNvKN -> KQNvKN; KQNNvKN -> KQNNvK; KQBNvKN -> KBNvKN; KQBNvKN -> KQNvKN; KQBNvKN -> KQBvKN; KQBNvKN -> KQBNvK; KBNvKN -> KNvKN; KBNvKN -> KBvKN; KBNvKN -> KBNvK; KQRNvKN -> KRNvKN; KQRNvKN -> KQNvKN; KQRNvKN -> KQRvKN; KQRNvKN -> KQRNvK; KRNvKN -> KNvKN; KRNvKN -> KRvKN; KRNvKN -> KRNvK; KNPvKN -> KQNvKN; KNPvKN -> KRNvKN; KNPvKN -> KBNvKN; KNPvKN -> KNNvKN; KNPvKN -> KNvKP; KNPvKN -> KNPvK; KNPvKN -> KNvKN; KQQNvKN -> KQNvKN; KQQNvKN -> KQQvKN; KQQNvKN -> KQQNvK; KQPvKNN -> KQQvKNN; KQPvKNN -> KNNvKP; KQPvKNN -> KQRvKNN; KQPvKNN -> KQBvKNN; KQPvKNN -> KQNvKNN; KQPvKNN -> KQPvKN; KQPvKNN -> KNNvKQ; KQBvKNN -> KNNvKB; KQBvKNN -> KNNvKQ; KQBvKNN -> KQBvKN; KNNvKB -> KNNvK; KNNvKB -> KBvKN; KQRvKNN -> KNNvKR; KQRvKNN -> KNNvKQ; KQRvKNN -> KQRvKN; KNNvKR -> KNNvK; KNNvKR -> KRvKN; KNNvKP -> KNNvKQ; KNNvKP -> KNNvKR; KNNvKP -> KNNvKB; KNNvKP -> KNNvKN; KNNvKP -> KNvKP; KNNvKP -> KNNvK; KQQvKNN -> KNNvKQ; KQQvKNN -> KQQvKN; KQNNvKNN -> KNNvKNN; KQNNvKNN -> KQNvKNN; KQNNvKNN -> KQNNvKN; KNNvKNN -> KNNvKN; KQBNvKNN -> KBNvKNN; KQBNvKNN -> KQNvKNN; KQBNvKNN -> KQBvKNN; KQBNvKNN -> KQBNvKN; KBNvKNN -> KNNvKN; KBNvKNN -> KNNvKB; KBNvKNN -> KBNvKN; KQRNvKNN -> KRNvKNN; KQRNvKNN -> KQNvKNN; KQRNvKNN -> KQRvKNN; KQRNvKNN -> KQRNvKN; KRNvKNN -> KNNvKN; KRNvKNN -> KNNvKR; KRNvKNN -> KRNvKN; KNNvKNP -> KQNvKNN; KNNvKNP -> KRNvKNN; KNNvKNP -> KBNvKNN; KNNvKNP -> KNNvKNN; KNNvKNP -> KNPvKN; KNNvKNP -> KNNvKP; KNNvKNP -> KNNvKN; KQQNvKNN -> KQNvKNN; KQQNvKNN -> KQQvKNN; KQQNvKNN -> KQQNvKN; }