digraph Syzygy { KNNPvKBN -> KQNNvKBN; KNNPvKBN -> KRNNvKBN; KNNPvKBN -> KBNNvKBN; KNNPvKBN -> KNNPvKN; KNNPvKBN -> KNNNvKBN; KNNPvKBN -> KBNvKNP; KNNPvKBN -> KNNPvKB; KNNPvKBN -> 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; KNNPvKB -> KQNNvKB; KNNPvKB -> KRNNvKB; KNNPvKB -> KBNNvKB; KNNPvKB -> KNNPvK; KNNPvKB -> KNNNvKB; KNNPvKB -> KNPvKB; KNNPvKB -> KNNvKB; KNPvKB -> KQNvKB; KNPvKB -> KRNvKB; KNPvKB -> KBNvKB; KNPvKB -> KNPvK; KNPvKB -> KNNvKB; KNPvKB -> KBvKP; KNPvKB -> KBvKN; KBvKP -> KQvKB; KBvKP -> KRvKB; KBvKP -> KBvKB; KBvKP -> KPvK; KBvKP -> KBvKN; KBvKP -> KBvK; KPvK -> KQvK; KPvK -> KRvK; KPvK -> KBvK; KPvK -> KNvK; KBvKB -> KBvK; KRvKB -> KBvK; KRvKB -> KRvK; KQvKB -> KBvK; KQvKB -> KQvK; KNPvK -> KQNvK; KNPvK -> KRNvK; KNPvK -> KBNvK; KNPvK -> KNNvK; KNPvK -> KPvK; KNPvK -> KNvK; KRNvK -> KNvK; KRNvK -> KRvK; KQNvK -> KNvK; KQNvK -> KQvK; KBNvKB -> KBvKN; KBNvKB -> KBNvK; KBNvKB -> KBvKB; KRNvKB -> KBvKN; KRNvKB -> KRNvK; KRNvKB -> KRvKB; KQNvKB -> KBvKN; KQNvKB -> KQNvK; KQNvKB -> KQvKB; KNNNvKB -> KNNNvK; KNNNvKB -> KNNvKB; KNNNvK -> KNNvK; KNNPvK -> KQNNvK; KNNPvK -> KRNNvK; KNNPvK -> KBNNvK; KNNPvK -> KNNNvK; KNNPvK -> KNPvK; KNNPvK -> KNNvK; KBNNvK -> KNNvK; KBNNvK -> KBNvK; KRNNvK -> KNNvK; KRNNvK -> KRNvK; KQNNvK -> KNNvK; KQNNvK -> KQNvK; KBNNvKB -> KNNvKB; KBNNvKB -> KBNNvK; KBNNvKB -> KBNvKB; KRNNvKB -> KNNvKB; KRNNvKB -> KRNNvK; KRNNvKB -> KRNvKB; KQNNvKB -> KNNvKB; KQNNvKB -> KQNNvK; KQNNvKB -> KQNvKB; KBNvKNP -> KQNvKBN; KBNvKNP -> KRNvKBN; KBNvKNP -> KBNvKBN; KBNvKNP -> KNPvKN; KBNvKNP -> KBNvKNN; KBNvKNP -> KNPvKB; KBNvKNP -> KBNvKP; KBNvKNP -> KBNvKN; 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; 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; KBNvKBN -> KBNvKN; KBNvKBN -> KBNvKB; KRNvKBN -> KBNvKN; KRNvKBN -> KRNvKN; KRNvKBN -> KBNvKR; KRNvKBN -> KRNvKB; KQNvKBN -> KBNvKN; KQNvKBN -> KQNvKN; KQNvKBN -> KBNvKQ; KQNvKBN -> KQNvKB; KNNNvKBN -> KNNNvKN; KNNNvKBN -> KBNvKNN; KNNNvKBN -> KNNNvKB; KNNNvKN -> KNNvKN; KNNNvKN -> KNNNvK; KNNPvKN -> KQNNvKN; KNNPvKN -> KRNNvKN; KNNPvKN -> KBNNvKN; KNNPvKN -> KNNNvKN; KNNPvKN -> KNPvKN; KNNPvKN -> KNNPvK; KNNPvKN -> KNNvKN; KBNNvKN -> KNNvKN; KBNNvKN -> KBNvKN; KBNNvKN -> KBNNvK; KRNNvKN -> KNNvKN; KRNNvKN -> KRNvKN; KRNNvKN -> KRNNvK; KQNNvKN -> KNNvKN; KQNNvKN -> KQNvKN; KQNNvKN -> KQNNvK; KBNNvKBN -> KBNvKNN; KBNNvKBN -> KBNNvKN; KBNNvKBN -> KBNvKBN; KBNNvKBN -> KBNNvKB; KRNNvKBN -> KBNvKNN; KRNNvKBN -> KRNNvKN; KRNNvKBN -> KRNvKBN; KRNNvKBN -> KRNNvKB; KQNNvKBN -> KBNvKNN; KQNNvKBN -> KQNNvKN; KQNNvKBN -> KQNvKBN; KQNNvKBN -> KQNNvKB; }