digraph Syzygy { KQPvKNP -> KQQvKNP; KQPvKNP -> KQNvKQP; KQPvKNP -> KNPvKP; KQPvKNP -> KQRvKNP; KQPvKNP -> KQPvKRN; KQPvKNP -> KQBvKNP; KQPvKNP -> KQPvKBN; KQPvKNP -> KQNvKNP; KQPvKNP -> KQPvKNN; KQPvKNP -> KQPvKP; KQPvKNP -> KNPvKQ; KQPvKNP -> KQPvKN; KQPvKN -> KQQvKN; KQPvKN -> KNvKP; KQPvKN -> KQRvKN; KQPvKN -> KQBvKN; KQPvKN -> KQNvKN; KQPvKN -> KQPvK; KQPvKN -> KQvKN; KQvKN -> KNvK; KQvKN -> KQvK; KQPvK -> KQQvK; KQPvK -> KPvK; KQPvK -> KQRvK; KQPvK -> KQBvK; KQPvK -> KQNvK; KQPvK -> KQvK; KQNvK -> KNvK; KQNvK -> KQvK; KQBvK -> KBvK; KQBvK -> KQvK; KQRvK -> KRvK; KQRvK -> KQvK; KPvK -> KQvK; KPvK -> KRvK; KPvK -> KBvK; KPvK -> KNvK; KQQvK -> KQvK; KQNvKN -> KNvKN; KQNvKN -> KQvKN; KQNvKN -> KQNvK; KNvKN -> KNvK; KQBvKN -> KBvKN; KQBvKN -> KQvKN; KQBvKN -> KQBvK; KBvKN -> KNvK; KBvKN -> KBvK; KQRvKN -> KRvKN; KQRvKN -> KQvKN; KQRvKN -> KQRvK; KRvKN -> KNvK; KRvKN -> KRvK; KNvKP -> KQvKN; KNvKP -> KRvKN; KNvKP -> KBvKN; KNvKP -> KNvKN; KNvKP -> KPvK; KNvKP -> KNvK; KQQvKN -> KQvKN; KQQvKN -> KQQvK; 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; KQvKQ -> KQvK; KNNvKQ -> KNNvK; KNNvKQ -> KQvKN; KNNvK -> KNvK; 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; KQPvKP -> KQQvKP; KQPvKP -> KQPvKQ; KQPvKP -> KPvKP; KQPvKP -> KQRvKP; KQPvKP -> KQPvKR; KQPvKP -> KQBvKP; KQPvKP -> KQPvKB; KQPvKP -> KQNvKP; KQPvKP -> KQPvKN; KQPvKP -> KQvKP; KQPvKP -> KQPvK; KQNvKP -> KQNvKQ; KQNvKP -> KNvKP; KQNvKP -> KQNvKR; KQNvKP -> KQNvKB; KQNvKP -> KQNvKN; KQNvKP -> KQvKP; KQNvKP -> KQNvK; KQNvKB -> KBvKN; KQNvKB -> KQNvK; KQNvKB -> KQvKB; KQNvKR -> KRvKN; KQNvKR -> KQNvK; KQNvKR -> KQvKR; KQPvKB -> KQQvKB; KQPvKB -> KBvKP; KQPvKB -> KQRvKB; KQPvKB -> KQBvKB; KQPvKB -> KQPvK; KQPvKB -> KQNvKB; KQPvKB -> KQvKB; KQBvKB -> KBvKB; KQBvKB -> KQvKB; KQBvKB -> KQBvK; KBvKB -> KBvK; KQRvKB -> KRvKB; KQRvKB -> KQvKB; KQRvKB -> KQRvK; KRvKB -> KBvK; KRvKB -> KRvK; KBvKP -> KQvKB; KBvKP -> KRvKB; KBvKP -> KBvKB; KBvKP -> KPvK; KBvKP -> KBvKN; KBvKP -> KBvK; KQQvKB -> KQvKB; KQQvKB -> KQQvK; KQBvKP -> KQBvKQ; KQBvKP -> KBvKP; KQBvKP -> KQBvKR; KQBvKP -> KQBvKB; KQBvKP -> KQvKP; KQBvKP -> KQBvKN; KQBvKP -> KQBvK; KQBvKR -> KRvKB; KQBvKR -> KQBvK; KQBvKR -> KQvKR; KQBvKQ -> KQvKB; KQBvKQ -> KQBvK; KQBvKQ -> KQvKQ; KQPvKR -> KQQvKR; KQPvKR -> KRvKP; KQPvKR -> KQRvKR; KQPvKR -> KQPvK; KQPvKR -> KQBvKR; KQPvKR -> KQNvKR; KQPvKR -> KQvKR; KQRvKR -> KRvKR; KQRvKR -> KQvKR; KQRvKR -> KQRvK; KRvKR -> KRvK; KRvKP -> KQvKR; KRvKP -> KRvKR; KRvKP -> KPvK; KRvKP -> KRvKB; KRvKP -> KRvKN; KRvKP -> KRvK; KQQvKR -> KQvKR; KQQvKR -> KQQvK; KQRvKP -> KQRvKQ; KQRvKP -> KRvKP; KQRvKP -> KQRvKR; KQRvKP -> KQvKP; KQRvKP -> KQRvKB; KQRvKP -> KQRvKN; KQRvKP -> KQRvK; KQRvKQ -> KQvKR; KQRvKQ -> KQRvK; KQRvKQ -> KQvKQ; KPvKP -> KQvKP; KPvKP -> KRvKP; KPvKP -> KBvKP; KPvKP -> KNvKP; KPvKP -> KPvK; KQPvKQ -> KQQvKQ; KQPvKQ -> KQvKP; KQPvKQ -> KQPvK; KQPvKQ -> KQRvKQ; KQPvKQ -> KQBvKQ; KQPvKQ -> KQNvKQ; KQPvKQ -> KQvKQ; KQQvKQ -> KQvKQ; KQQvKQ -> KQQvK; KQQvKP -> KQQvKQ; KQQvKP -> KQvKP; KQQvKP -> KQQvKR; KQQvKP -> KQQvKB; KQQvKP -> KQQvKN; KQQvKP -> KQQvK; KQPvKNN -> KQQvKNN; KQPvKNN -> KNNvKP; KQPvKNN -> KQRvKNN; KQPvKNN -> KQBvKNN; KQPvKNN -> KQNvKNN; KQPvKNN -> KQPvKN; KQPvKNN -> KNNvKQ; KQNvKNN -> KNNvKN; KQNvKNN -> KNNvKQ; KQNvKNN -> KQNvKN; KNNvKN -> KNvKN; KNNvKN -> KNNvK; KQBvKNN -> KNNvKB; KQBvKNN -> KNNvKQ; KQBvKNN -> KQBvKN; KNNvKB -> KNNvK; KNNvKB -> KBvKN; KQRvKNN -> KNNvKR; KQRvKNN -> KNNvKQ; KQRvKNN -> KQRvKN; KNNvKR -> KNNvK; KNNvKR -> KRvKN; KNNvKP -> KNNvKQ; KNNvKP -> KNNvKR; KNNvKP -> KNNvKB; KNNvKP -> KNNvKN; KNNvKP -> KNvKP; KNNvKP -> KNNvK; KQQvKNN -> KNNvKQ; KQQvKNN -> KQQvKN; KQNvKNP -> KQNvKQN; KQNvKNP -> KNPvKN; KQNvKNP -> KQNvKRN; KQNvKNP -> KQNvKBN; KQNvKNP -> KQNvKNN; KQNvKNP -> KNPvKQ; KQNvKNP -> KQNvKP; KQNvKNP -> KQNvKN; 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; KQPvKBN -> KQQvKBN; KQPvKBN -> KBNvKP; KQPvKBN -> KQRvKBN; KQPvKBN -> KQBvKBN; KQPvKBN -> KQPvKN; KQPvKBN -> KQNvKBN; KQPvKBN -> KQPvKB; KQPvKBN -> KBNvKQ; KQBvKBN -> KBNvKB; KQBvKBN -> KBNvKQ; KQBvKBN -> KQBvKN; KQBvKBN -> KQBvKB; KBNvKB -> KBvKN; KBNvKB -> KBNvK; KBNvKB -> KBvKB; KQRvKBN -> KBNvKR; KQRvKBN -> KBNvKQ; KQRvKBN -> KQRvKN; KQRvKBN -> KQRvKB; KBNvKR -> KBNvK; KBNvKR -> KRvKN; KBNvKR -> KRvKB; KBNvKP -> KBNvKQ; KBNvKP -> KBNvKR; KBNvKP -> KBNvKB; KBNvKP -> KNvKP; KBNvKP -> KBNvKN; KBNvKP -> KBvKP; KBNvKP -> KBNvK; KQQvKBN -> KBNvKQ; KQQvKBN -> KQQvKN; KQQvKBN -> KQQvKB; KQBvKNP -> KQBvKQN; KQBvKNP -> KNPvKB; KQBvKNP -> KQBvKRN; KQBvKNP -> KQBvKBN; KQBvKNP -> KNPvKQ; KQBvKNP -> KQBvKNN; KQBvKNP -> KQBvKP; KQBvKNP -> KQBvKN; KQBvKRN -> KRNvKB; KQBvKRN -> KQBvKN; KQBvKRN -> KRNvKQ; KQBvKRN -> KQBvKR; KRNvKB -> KBvKN; KRNvKB -> KRNvK; KRNvKB -> KRvKB; KNPvKB -> KQNvKB; KNPvKB -> KRNvKB; KNPvKB -> KBNvKB; KNPvKB -> KNPvK; KNPvKB -> KNNvKB; KNPvKB -> KBvKP; KNPvKB -> KBvKN; KQBvKQN -> KQNvKB; KQBvKQN -> KQBvKN; KQBvKQN -> KQNvKQ; KQBvKQN -> KQBvKQ; KQPvKRN -> KQQvKRN; KQPvKRN -> KRNvKP; KQPvKRN -> KQRvKRN; KQPvKRN -> KQPvKN; KQPvKRN -> KQBvKRN; KQPvKRN -> KQNvKRN; KQPvKRN -> KQPvKR; KQPvKRN -> KRNvKQ; KQRvKRN -> KRNvKR; KQRvKRN -> KRNvKQ; KQRvKRN -> KQRvKN; KQRvKRN -> KQRvKR; KRNvKR -> KRvKN; KRNvKR -> KRNvK; KRNvKR -> KRvKR; KRNvKP -> KRNvKQ; KRNvKP -> KRNvKR; KRNvKP -> KNvKP; KRNvKP -> KRNvKB; KRNvKP -> KRNvKN; KRNvKP -> KRvKP; KRNvKP -> KRNvK; KQQvKRN -> KRNvKQ; KQQvKRN -> KQQvKN; KQQvKRN -> KQQvKR; KQRvKNP -> KQRvKQN; KQRvKNP -> KNPvKR; KQRvKNP -> KQRvKRN; KQRvKNP -> KNPvKQ; KQRvKNP -> KQRvKBN; KQRvKNP -> KQRvKNN; KQRvKNP -> KQRvKP; KQRvKNP -> KQRvKN; KNPvKR -> KQNvKR; KNPvKR -> KRNvKR; KNPvKR -> KNPvK; KNPvKR -> KBNvKR; KNPvKR -> KNNvKR; KNPvKR -> KRvKP; KNPvKR -> KRvKN; KQRvKQN -> KQNvKR; KQRvKQN -> KQRvKN; KQRvKQN -> KQNvKQ; KQRvKQN -> KQRvKQ; KNPvKP -> KQNvKP; KNPvKP -> KNPvKQ; KNPvKP -> KRNvKP; KNPvKP -> KNPvKR; KNPvKP -> KBNvKP; KNPvKP -> KNPvKB; KNPvKP -> KNNvKP; KNPvKP -> KNPvKN; KNPvKP -> KPvKP; KNPvKP -> KNvKP; KNPvKP -> KNPvK; KQNvKQP -> KQQvKQN; KQNvKQP -> KQPvKN; KQNvKQP -> KQNvKP; KQNvKQP -> KQRvKQN; KQNvKQP -> KQBvKQN; KQNvKQP -> KQNvKQN; KQNvKQP -> KQPvKQ; KQNvKQP -> KQNvKQ; KQQvKQN -> KQNvKQ; KQQvKQN -> KQQvKN; KQQvKQN -> KQQvKQ; KQQvKNP -> KQQvKQN; KQQvKNP -> KNPvKQ; KQQvKNP -> KQQvKRN; KQQvKNP -> KQQvKBN; KQQvKNP -> KQQvKNN; KQQvKNP -> KQQvKP; KQQvKNP -> KQQvKN; }