digraph Syzygy { KBNPvKBN -> KQBNvKBN; KBNPvKBN -> KRBNvKBN; KBNPvKBN -> KBBNvKBN; KBNPvKBN -> KBNvKNP; KBNPvKBN -> KBNPvKN; KBNPvKBN -> KBNNvKBN; KBNPvKBN -> KBNvKBP; KBNPvKBN -> KBNPvKB; KBNPvKBN -> KBNvKBN; KBNvKBN -> KBNvKN; KBNvKBN -> KBNvKB; KBNvKB -> KBvKN; KBNvKB -> KBNvK; KBNvKB -> KBvKB; KBvKB -> KBvK; KBNvK -> KNvK; KBNvK -> KBvK; KBvKN -> KNvK; KBvKN -> KBvK; KBNvKN -> KNvKN; KBNvKN -> KBvKN; KBNvKN -> KBNvK; KNvKN -> KNvK; KBNPvKB -> KQBNvKB; KBNPvKB -> KRBNvKB; KBNPvKB -> KBBNvKB; KBNPvKB -> KNPvKB; KBNPvKB -> KBNPvK; KBNPvKB -> KBNNvKB; KBNPvKB -> KBPvKB; KBNPvKB -> KBNvKB; KBPvKB -> KQBvKB; KBPvKB -> KRBvKB; KBPvKB -> KBBvKB; KBPvKB -> KBvKP; KBPvKB -> KBPvK; KBPvKB -> KBNvKB; KBPvKB -> KBvKB; 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; KBvKP -> KQvKB; KBvKP -> KRvKB; KBvKP -> KBvKB; KBvKP -> KPvK; KBvKP -> KBvKN; KBvKP -> KBvK; KRvKB -> KBvK; KRvKB -> KRvK; KQvKB -> KBvK; KQvKB -> KQvK; KBBvKB -> KBvKB; KBBvKB -> KBBvK; KRBvKB -> KBvKB; KRBvKB -> KRvKB; KRBvKB -> KRBvK; KQBvKB -> KBvKB; KQBvKB -> KQvKB; KQBvKB -> KQBvK; KBNNvKB -> KNNvKB; KBNNvKB -> KBNNvK; KBNNvKB -> KBNvKB; KBNNvK -> KNNvK; KBNNvK -> KBNvK; KNNvK -> KNvK; KNNvKB -> KNNvK; KNNvKB -> KBvKN; KBNPvK -> KQBNvK; KBNPvK -> KRBNvK; KBNPvK -> KBBNvK; KBNPvK -> KNPvK; KBNPvK -> KBNNvK; KBNPvK -> KBPvK; KBNPvK -> 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; KNPvKB -> KQNvKB; KNPvKB -> KRNvKB; KNPvKB -> KBNvKB; KNPvKB -> KNPvK; KNPvKB -> KNNvKB; KNPvKB -> KBvKP; KNPvKB -> KBvKN; KRNvKB -> KBvKN; KRNvKB -> KRNvK; KRNvKB -> KRvKB; KQNvKB -> KBvKN; KQNvKB -> KQNvK; KQNvKB -> KQvKB; KBBNvKB -> KBNvKB; KBBNvKB -> KBBNvK; KBBNvKB -> KBBvKB; KRBNvKB -> KBNvKB; KRBNvKB -> KRNvKB; KRBNvKB -> KRBNvK; KRBNvKB -> KRBvKB; KQBNvKB -> KBNvKB; KQBNvKB -> KQNvKB; KQBNvKB -> KQBNvK; KQBNvKB -> KQBvKB; KBNvKBP -> KQBvKBN; KBNvKBP -> KRBvKBN; KBNvKBP -> KBBvKBN; KBNvKBP -> KBPvKN; KBNvKBP -> KBNvKP; KBNvKBP -> KBNvKBN; KBNvKBP -> KBPvKB; KBNvKBP -> KBNvKB; KBNvKP -> KBNvKQ; KBNvKP -> KBNvKR; KBNvKP -> KBNvKB; KBNvKP -> KNvKP; KBNvKP -> KBNvKN; KBNvKP -> KBvKP; KBNvKP -> KBNvK; KNvKP -> KQvKN; KNvKP -> KRvKN; KNvKP -> KBvKN; KNvKP -> KNvKN; KNvKP -> KPvK; KNvKP -> KNvK; KRvKN -> KNvK; KRvKN -> KRvK; KQvKN -> KNvK; KQvKN -> KQvK; KBNvKR -> KBNvK; KBNvKR -> KRvKN; KBNvKR -> KRvKB; KBNvKQ -> KBNvK; KBNvKQ -> KQvKN; KBNvKQ -> KQvKB; KBPvKN -> KQBvKN; KBPvKN -> KRBvKN; KBPvKN -> KBBvKN; KBPvKN -> KNvKP; KBPvKN -> KBNvKN; KBPvKN -> KBPvK; KBPvKN -> KBvKN; KBBvKN -> KBvKN; KBBvKN -> KBBvK; KRBvKN -> KBvKN; KRBvKN -> KRvKN; KRBvKN -> KRBvK; KQBvKN -> KBvKN; KQBvKN -> KQvKN; KQBvKN -> KQBvK; KBBvKBN -> KBNvKB; KBBvKBN -> KBBvKN; KBBvKBN -> KBBvKB; KRBvKBN -> KBNvKB; KRBvKBN -> KBNvKR; KRBvKBN -> KRBvKN; KRBvKBN -> KRBvKB; KQBvKBN -> KBNvKB; KQBvKBN -> KBNvKQ; KQBvKBN -> KQBvKN; KQBvKBN -> KQBvKB; KBNNvKBN -> KBNvKNN; KBNNvKBN -> KBNNvKN; KBNNvKBN -> KBNvKBN; KBNNvKBN -> KBNNvKB; KBNNvKN -> KNNvKN; KBNNvKN -> KBNvKN; KBNNvKN -> KBNNvK; KNNvKN -> KNvKN; KNNvKN -> KNNvK; KBNvKNN -> KNNvKN; KBNvKNN -> KNNvKB; KBNvKNN -> KBNvKN; KBNPvKN -> KQBNvKN; KBNPvKN -> KRBNvKN; KBNPvKN -> KBBNvKN; KBNPvKN -> KNPvKN; KBNPvKN -> KBNNvKN; KBNPvKN -> KBPvKN; KBNPvKN -> KBNPvK; KBNPvKN -> KBNvKN; 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; KBNvKNP -> KQNvKBN; KBNvKNP -> KRNvKBN; KBNvKNP -> KBNvKBN; KBNvKNP -> KNPvKN; KBNvKNP -> KBNvKNN; KBNvKNP -> KNPvKB; KBNvKNP -> KBNvKP; KBNvKNP -> KBNvKN; KRNvKBN -> KBNvKN; KRNvKBN -> KRNvKN; KRNvKBN -> KBNvKR; KRNvKBN -> KRNvKB; KQNvKBN -> KBNvKN; KQNvKBN -> KQNvKN; KQNvKBN -> KBNvKQ; KQNvKBN -> KQNvKB; KBBNvKBN -> KBNvKBN; KBBNvKBN -> KBBNvKN; KBBNvKBN -> KBBvKBN; KBBNvKBN -> KBBNvKB; KRBNvKBN -> KBNvKBN; KRBNvKBN -> KRNvKBN; KRBNvKBN -> KRBNvKN; KRBNvKBN -> KRBvKBN; KRBNvKBN -> KRBNvKB; KQBNvKBN -> KBNvKBN; KQBNvKBN -> KQNvKBN; KQBNvKBN -> KQBNvKN; KQBNvKBN -> KQBvKBN; KQBNvKBN -> KQBNvKB; }