digraph Syzygy { KBNPvKNN -> KQBNvKNN; KBNPvKNN -> KRBNvKNN; KBNPvKNN -> KBBNvKNN; KBNPvKNN -> KNNvKNP; KBNPvKNN -> KBNNvKNN; KBNPvKNN -> KBPvKNN; KBNPvKNN -> KBNPvKN; KBNPvKNN -> KBNvKNN; KBNvKNN -> KNNvKN; KBNvKNN -> KNNvKB; KBNvKNN -> KBNvKN; KBNvKN -> KNvKN; KBNvKN -> KBvKN; KBNvKN -> KBNvK; KBNvK -> KNvK; KBNvK -> KBvK; KBvKN -> KNvK; KBvKN -> KBvK; KNvKN -> KNvK; KNNvKB -> KNNvK; KNNvKB -> KBvKN; KNNvK -> KNvK; KNNvKN -> KNvKN; KNNvKN -> KNNvK; KBNPvKN -> KQBNvKN; KBNPvKN -> KRBNvKN; KBNPvKN -> KBBNvKN; KBNPvKN -> KNPvKN; KBNPvKN -> KBNNvKN; KBNPvKN -> KBPvKN; KBNPvKN -> KBNPvK; KBNPvKN -> KBNvKN; KBNPvK -> KQBNvK; KBNPvK -> KRBNvK; KBNPvK -> KBBNvK; KBNPvK -> KNPvK; KBNPvK -> KBNNvK; KBNPvK -> KBPvK; KBNPvK -> KBNvK; KBPvK -> KQBvK; KBPvK -> KRBvK; KBPvK -> KBBvK; KBPvK -> KPvK; KBPvK -> KBNvK; KBPvK -> KBvK; KPvK -> KQvK; KPvK -> KRvK; KPvK -> KBvK; KPvK -> KNvK; KBBvK -> KBvK; KRBvK -> KBvK; KRBvK -> KRvK; KQBvK -> KBvK; KQBvK -> KQvK; KBNNvK -> KNNvK; KBNNvK -> KBNvK; KNPvK -> KQNvK; KNPvK -> KRNvK; KNPvK -> KBNvK; KNPvK -> KNNvK; KNPvK -> KPvK; KNPvK -> KNvK; KRNvK -> KNvK; KRNvK -> KRvK; KQNvK -> KNvK; KQNvK -> KQvK; KBBNvK -> KBNvK; KBBNvK -> KBBvK; KRBNvK -> KBNvK; KRBNvK -> KRNvK; KRBNvK -> KRBvK; KQBNvK -> KBNvK; KQBNvK -> KQNvK; KQBNvK -> KQBvK; KBPvKN -> KQBvKN; KBPvKN -> KRBvKN; KBPvKN -> KBBvKN; KBPvKN -> KNvKP; KBPvKN -> KBNvKN; KBPvKN -> KBPvK; KBPvKN -> KBvKN; KNvKP -> KQvKN; KNvKP -> KRvKN; KNvKP -> KBvKN; KNvKP -> KNvKN; KNvKP -> KPvK; KNvKP -> KNvK; KRvKN -> KNvK; KRvKN -> KRvK; KQvKN -> KNvK; KQvKN -> KQvK; KBBvKN -> KBvKN; KBBvKN -> KBBvK; KRBvKN -> KBvKN; KRBvKN -> KRvKN; KRBvKN -> KRBvK; KQBvKN -> KBvKN; KQBvKN -> KQvKN; KQBvKN -> KQBvK; KBNNvKN -> KNNvKN; KBNNvKN -> KBNvKN; KBNNvKN -> KBNNvK; KNPvKN -> KQNvKN; KNPvKN -> KRNvKN; KNPvKN -> KBNvKN; KNPvKN -> KNNvKN; KNPvKN -> KNvKP; KNPvKN -> KNPvK; KNPvKN -> KNvKN; KRNvKN -> KNvKN; KRNvKN -> KRvKN; KRNvKN -> KRNvK; KQNvKN -> KNvKN; KQNvKN -> KQvKN; KQNvKN -> KQNvK; KBBNvKN -> KBNvKN; KBBNvKN -> KBBvKN; KBBNvKN -> KBBNvK; KRBNvKN -> KBNvKN; KRBNvKN -> KRNvKN; KRBNvKN -> KRBvKN; KRBNvKN -> KRBNvK; KQBNvKN -> KBNvKN; KQBNvKN -> KQNvKN; KQBNvKN -> KQBvKN; KQBNvKN -> KQBNvK; KBPvKNN -> KQBvKNN; KBPvKNN -> KRBvKNN; KBPvKNN -> KBBvKNN; KBPvKNN -> KNNvKP; KBPvKNN -> KBNvKNN; KBPvKNN -> KBPvKN; KBPvKNN -> KNNvKB; KNNvKP -> KNNvKQ; KNNvKP -> KNNvKR; KNNvKP -> KNNvKB; KNNvKP -> KNNvKN; KNNvKP -> KNvKP; KNNvKP -> KNNvK; KNNvKR -> KNNvK; KNNvKR -> KRvKN; KNNvKQ -> KNNvK; KNNvKQ -> KQvKN; KBBvKNN -> KNNvKB; KBBvKNN -> KBBvKN; KRBvKNN -> KNNvKB; KRBvKNN -> KNNvKR; KRBvKNN -> KRBvKN; KQBvKNN -> KNNvKB; KQBvKNN -> KNNvKQ; KQBvKNN -> KQBvKN; KBNNvKNN -> KNNvKNN; KBNNvKNN -> KBNvKNN; KBNNvKNN -> KBNNvKN; KNNvKNN -> KNNvKN; KNNvKNP -> KQNvKNN; KNNvKNP -> KRNvKNN; KNNvKNP -> KBNvKNN; KNNvKNP -> KNNvKNN; KNNvKNP -> KNPvKN; KNNvKNP -> KNNvKP; KNNvKNP -> KNNvKN; KRNvKNN -> KNNvKN; KRNvKNN -> KNNvKR; KRNvKNN -> KRNvKN; KQNvKNN -> KNNvKN; KQNvKNN -> KNNvKQ; KQNvKNN -> KQNvKN; KBBNvKNN -> KBNvKNN; KBBNvKNN -> KBBvKNN; KBBNvKNN -> KBBNvKN; KRBNvKNN -> KBNvKNN; KRBNvKNN -> KRNvKNN; KRBNvKNN -> KRBvKNN; KRBNvKNN -> KRBNvKN; KQBNvKNN -> KBNvKNN; KQBNvKNN -> KQNvKNN; KQBNvKNN -> KQBvKNN; KQBNvKNN -> KQBNvKN; }