digraph Syzygy { KNNPvKQN -> KQNNvKQN; KNNPvKQN -> KNNPvKN; KNNPvKQN -> KRNNvKQN; KNNPvKQN -> KBNNvKQN; KNNPvKQN -> KNNNvKQN; KNNPvKQN -> KQNvKNP; KNNPvKQN -> KNNPvKQ; KNNPvKQN -> 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; KNNPvKQ -> KQNNvKQ; KNNPvKQ -> KNNPvK; KNNPvKQ -> KRNNvKQ; KNNPvKQ -> KBNNvKQ; KNNPvKQ -> KNNNvKQ; KNNPvKQ -> KNPvKQ; KNNPvKQ -> KNNvKQ; KNPvKQ -> KQNvKQ; KNPvKQ -> KNPvK; KNPvKQ -> KRNvKQ; KNPvKQ -> KBNvKQ; KNPvKQ -> KNNvKQ; KNPvKQ -> KQvKP; KNPvKQ -> KQvKN; KQvKP -> KQvKQ; KQvKP -> KPvK; KQvKP -> KQvKR; KQvKP -> KQvKB; KQvKP -> KQvKN; KQvKP -> KQvK; KQvKB -> KBvK; KQvKB -> KQvK; KQvKR -> KRvK; KQvKR -> KQvK; KPvK -> KQvK; KPvK -> KRvK; KPvK -> KBvK; KPvK -> KNvK; KQvKQ -> KQvK; KBNvKQ -> KBNvK; KBNvKQ -> KQvKN; KBNvKQ -> KQvKB; KBNvK -> KNvK; KBNvK -> KBvK; KRNvKQ -> KRNvK; KRNvKQ -> KQvKN; KRNvKQ -> KQvKR; KRNvK -> KNvK; KRNvK -> KRvK; KNPvK -> KQNvK; KNPvK -> KRNvK; KNPvK -> KBNvK; KNPvK -> KNNvK; KNPvK -> KPvK; KNPvK -> KNvK; KQNvKQ -> KQvKN; KQNvKQ -> KQNvK; KQNvKQ -> KQvKQ; KNNNvKQ -> KNNNvK; KNNNvKQ -> KNNvKQ; KNNNvK -> KNNvK; KBNNvKQ -> KBNNvK; KBNNvKQ -> KNNvKQ; KBNNvKQ -> KBNvKQ; KBNNvK -> KNNvK; KBNNvK -> KBNvK; KRNNvKQ -> KRNNvK; KRNNvKQ -> KNNvKQ; KRNNvKQ -> KRNvKQ; KRNNvK -> KNNvK; KRNNvK -> KRNvK; KNNPvK -> KQNNvK; KNNPvK -> KRNNvK; KNNPvK -> KBNNvK; KNNPvK -> KNNNvK; KNNPvK -> KNPvK; KNNPvK -> KNNvK; KQNNvK -> KNNvK; KQNNvK -> KQNvK; KQNNvKQ -> KNNvKQ; KQNNvKQ -> KQNNvK; KQNNvKQ -> KQNvKQ; KQNvKNP -> KQNvKQN; KQNvKNP -> KNPvKN; KQNvKNP -> KQNvKRN; KQNvKNP -> KQNvKBN; KQNvKNP -> KQNvKNN; KQNvKNP -> KNPvKQ; KQNvKNP -> KQNvKP; KQNvKNP -> KQNvKN; KQNvKP -> KQNvKQ; KQNvKP -> KNvKP; KQNvKP -> KQNvKR; KQNvKP -> KQNvKB; KQNvKP -> KQNvKN; KQNvKP -> KQvKP; KQNvKP -> KQNvK; KQNvKB -> KBvKN; KQNvKB -> KQNvK; KQNvKB -> KQvKB; KBvKN -> KNvK; KBvKN -> KBvK; KQNvKR -> KRvKN; KQNvKR -> KQNvK; KQNvKR -> KQvKR; KRvKN -> KNvK; KRvKN -> KRvK; KNvKP -> KQvKN; KNvKP -> KRvKN; KNvKP -> KBvKN; KNvKP -> KNvKN; KNvKP -> KPvK; KNvKP -> KNvK; KQNvKBN -> KBNvKN; KQNvKBN -> KQNvKN; KQNvKBN -> KBNvKQ; KQNvKBN -> KQNvKB; KBNvKN -> KNvKN; KBNvKN -> KBvKN; KBNvKN -> KBNvK; KQNvKRN -> KRNvKN; KQNvKRN -> KQNvKN; KQNvKRN -> KRNvKQ; KQNvKRN -> KQNvKR; KRNvKN -> KNvKN; KRNvKN -> KRvKN; KRNvKN -> KRNvK; KNPvKN -> KQNvKN; KNPvKN -> KRNvKN; KNPvKN -> KBNvKN; KNPvKN -> KNNvKN; KNPvKN -> KNvKP; KNPvKN -> KNPvK; KNPvKN -> KNvKN; KQNvKQN -> KQNvKN; KQNvKQN -> KQNvKQ; KNNNvKQN -> KNNNvKN; KNNNvKQN -> KQNvKNN; KNNNvKQN -> KNNNvKQ; KNNNvKN -> KNNvKN; KNNNvKN -> KNNNvK; KBNNvKQN -> KBNNvKN; KBNNvKQN -> KQNvKNN; KBNNvKQN -> KQNvKBN; KBNNvKQN -> KBNNvKQ; KBNNvKN -> KNNvKN; KBNNvKN -> KBNvKN; KBNNvKN -> KBNNvK; KRNNvKQN -> KRNNvKN; KRNNvKQN -> KQNvKNN; KRNNvKQN -> KQNvKRN; KRNNvKQN -> KRNNvKQ; KRNNvKN -> KNNvKN; KRNNvKN -> KRNvKN; KRNNvKN -> KRNNvK; KNNPvKN -> KQNNvKN; KNNPvKN -> KRNNvKN; KNNPvKN -> KBNNvKN; KNNPvKN -> KNNNvKN; KNNPvKN -> KNPvKN; KNNPvKN -> KNNPvK; KNNPvKN -> KNNvKN; KQNNvKN -> KNNvKN; KQNNvKN -> KQNvKN; KQNNvKN -> KQNNvK; KQNNvKQN -> KQNvKNN; KQNNvKQN -> KQNNvKN; KQNNvKQN -> KQNvKQN; KQNNvKQN -> KQNNvKQ; }