digraph Syzygy { KNNPvKNN -> KQNNvKNN; KNNPvKNN -> KRNNvKNN; KNNPvKNN -> KBNNvKNN; KNNPvKNN -> KNNNvKNN; KNNPvKNN -> KNNvKNP; KNNPvKNN -> KNNPvKN; KNNPvKNN -> KNNvKNN; KNNvKNN -> KNNvKN; KNNvKN -> KNvKN; KNNvKN -> KNNvK; KNNvK -> KNvK; KNvKN -> KNvK; KNNPvKN -> KQNNvKN; KNNPvKN -> KRNNvKN; KNNPvKN -> KBNNvKN; KNNPvKN -> KNNNvKN; KNNPvKN -> KNPvKN; KNNPvKN -> KNNPvK; KNNPvKN -> KNNvKN; KNNPvK -> KQNNvK; KNNPvK -> KRNNvK; KNNPvK -> KBNNvK; KNNPvK -> KNNNvK; KNNPvK -> KNPvK; KNNPvK -> KNNvK; KNPvK -> KQNvK; KNPvK -> KRNvK; KNPvK -> KBNvK; KNPvK -> KNNvK; KNPvK -> KPvK; KNPvK -> KNvK; KPvK -> KQvK; KPvK -> KRvK; KPvK -> KBvK; KPvK -> KNvK; KBNvK -> KNvK; KBNvK -> KBvK; KRNvK -> KNvK; KRNvK -> KRvK; KQNvK -> KNvK; KQNvK -> KQvK; KNNNvK -> KNNvK; KBNNvK -> KNNvK; KBNNvK -> KBNvK; KRNNvK -> KNNvK; KRNNvK -> KRNvK; KQNNvK -> KNNvK; KQNNvK -> KQNvK; KNPvKN -> KQNvKN; KNPvKN -> KRNvKN; KNPvKN -> KBNvKN; KNPvKN -> KNNvKN; KNPvKN -> KNvKP; KNPvKN -> KNPvK; KNPvKN -> KNvKN; KNvKP -> KQvKN; KNvKP -> KRvKN; KNvKP -> KBvKN; KNvKP -> KNvKN; KNvKP -> KPvK; KNvKP -> KNvK; KBvKN -> KNvK; KBvKN -> KBvK; KRvKN -> KNvK; KRvKN -> KRvK; KQvKN -> KNvK; KQvKN -> KQvK; KBNvKN -> KNvKN; KBNvKN -> KBvKN; KBNvKN -> KBNvK; KRNvKN -> KNvKN; KRNvKN -> KRvKN; KRNvKN -> KRNvK; KQNvKN -> KNvKN; KQNvKN -> KQvKN; KQNvKN -> KQNvK; KNNNvKN -> KNNvKN; KNNNvKN -> KNNNvK; KBNNvKN -> KNNvKN; KBNNvKN -> KBNvKN; KBNNvKN -> KBNNvK; KRNNvKN -> KNNvKN; KRNNvKN -> KRNvKN; KRNNvKN -> KRNNvK; KQNNvKN -> KNNvKN; KQNNvKN -> KQNvKN; KQNNvKN -> KQNNvK; KNNvKNP -> KQNvKNN; KNNvKNP -> KRNvKNN; KNNvKNP -> KBNvKNN; KNNvKNP -> KNNvKNN; KNNvKNP -> KNPvKN; KNNvKNP -> KNNvKP; KNNvKNP -> KNNvKN; KNNvKP -> KNNvKQ; KNNvKP -> KNNvKR; KNNvKP -> KNNvKB; KNNvKP -> KNNvKN; KNNvKP -> KNvKP; KNNvKP -> KNNvK; KNNvKB -> KNNvK; KNNvKB -> KBvKN; KNNvKR -> KNNvK; KNNvKR -> KRvKN; KNNvKQ -> KNNvK; KNNvKQ -> KQvKN; KBNvKNN -> KNNvKN; KBNvKNN -> KNNvKB; KBNvKNN -> KBNvKN; KRNvKNN -> KNNvKN; KRNvKNN -> KNNvKR; KRNvKNN -> KRNvKN; KQNvKNN -> KNNvKN; KQNvKNN -> KNNvKQ; KQNvKNN -> KQNvKN; KNNNvKNN -> KNNvKNN; KNNNvKNN -> KNNNvKN; KBNNvKNN -> KNNvKNN; KBNNvKNN -> KBNvKNN; KBNNvKNN -> KBNNvKN; KRNNvKNN -> KNNvKNN; KRNNvKNN -> KRNvKNN; KRNNvKNN -> KRNNvKN; KQNNvKNN -> KNNvKNN; KQNNvKNN -> KQNvKNN; KQNNvKNN -> KQNNvKN; }