digraph Syzygy { KQRNvKNP -> KQRNvKQN; KQRNvKNP -> KRNvKNP; KQRNvKNP -> KQRNvKRN; KQRNvKNP -> KQNvKNP; KQRNvKNP -> KQRNvKBN; KQRNvKNP -> KQRNvKNN; KQRNvKNP -> KQRvKNP; KQRNvKNP -> KQRNvKP; KQRNvKNP -> KQRNvKN; KQRNvKN -> KRNvKN; KQRNvKN -> KQNvKN; KQRNvKN -> KQRvKN; KQRNvKN -> KQRNvK; KQRNvK -> KRNvK; KQRNvK -> KQNvK; KQRNvK -> KQRvK; KQRvK -> KRvK; KQRvK -> KQvK; KQNvK -> KNvK; KQNvK -> KQvK; KRNvK -> KNvK; KRNvK -> KRvK; KQRvKN -> KRvKN; KQRvKN -> KQvKN; KQRvKN -> KQRvK; KQvKN -> KNvK; KQvKN -> KQvK; KRvKN -> KNvK; KRvKN -> KRvK; KQNvKN -> KNvKN; KQNvKN -> KQvKN; KQNvKN -> KQNvK; KNvKN -> KNvK; KRNvKN -> KNvKN; KRNvKN -> KRvKN; KRNvKN -> KRNvK; KQRNvKP -> KQRNvKQ; KQRNvKP -> KRNvKP; KQRNvKP -> KQRNvKR; KQRNvKP -> KQNvKP; KQRNvKP -> KQRNvKB; KQRNvKP -> KQRNvKN; KQRNvKP -> KQRvKP; KQRNvKP -> KQRNvK; KQRvKP -> KQRvKQ; KQRvKP -> KRvKP; KQRvKP -> KQRvKR; KQRvKP -> KQvKP; KQRvKP -> KQRvKB; KQRvKP -> KQRvKN; KQRvKP -> KQRvK; KQRvKB -> KRvKB; KQRvKB -> KQvKB; KQRvKB -> KQRvK; KQvKB -> KBvK; KQvKB -> KQvK; KRvKB -> KBvK; KRvKB -> KRvK; KQvKP -> KQvKQ; KQvKP -> KPvK; KQvKP -> KQvKR; KQvKP -> KQvKB; KQvKP -> KQvKN; KQvKP -> KQvK; KQvKR -> KRvK; KQvKR -> KQvK; KPvK -> KQvK; KPvK -> KRvK; KPvK -> KBvK; KPvK -> KNvK; KQvKQ -> KQvK; KQRvKR -> KRvKR; KQRvKR -> KQvKR; KQRvKR -> KQRvK; KRvKR -> KRvK; KRvKP -> KQvKR; KRvKP -> KRvKR; KRvKP -> KPvK; KRvKP -> KRvKB; KRvKP -> KRvKN; KRvKP -> KRvK; KQRvKQ -> KQvKR; KQRvKQ -> KQRvK; KQRvKQ -> KQvKQ; KQRNvKB -> KRNvKB; KQRNvKB -> KQNvKB; KQRNvKB -> KQRNvK; KQRNvKB -> KQRvKB; KQNvKB -> KBvKN; KQNvKB -> KQNvK; KQNvKB -> KQvKB; KBvKN -> KNvK; KBvKN -> KBvK; KRNvKB -> KBvKN; KRNvKB -> KRNvK; KRNvKB -> KRvKB; KQNvKP -> KQNvKQ; KQNvKP -> KNvKP; KQNvKP -> KQNvKR; KQNvKP -> KQNvKB; KQNvKP -> KQNvKN; KQNvKP -> KQvKP; KQNvKP -> KQNvK; KQNvKR -> KRvKN; KQNvKR -> KQNvK; KQNvKR -> KQvKR; KNvKP -> KQvKN; KNvKP -> KRvKN; KNvKP -> KBvKN; KNvKP -> KNvKN; KNvKP -> KPvK; KNvKP -> KNvK; KQNvKQ -> KQvKN; KQNvKQ -> KQNvK; KQNvKQ -> KQvKQ; KQRNvKR -> KRNvKR; KQRNvKR -> KQNvKR; KQRNvKR -> KQRNvK; KQRNvKR -> KQRvKR; KRNvKR -> KRvKN; KRNvKR -> KRNvK; KRNvKR -> KRvKR; KRNvKP -> KRNvKQ; KRNvKP -> KRNvKR; KRNvKP -> KNvKP; KRNvKP -> KRNvKB; KRNvKP -> KRNvKN; KRNvKP -> KRvKP; KRNvKP -> KRNvK; KRNvKQ -> KRNvK; KRNvKQ -> KQvKN; KRNvKQ -> KQvKR; KQRNvKQ -> KRNvKQ; KQRNvKQ -> KQRNvK; KQRNvKQ -> KQNvKQ; KQRNvKQ -> KQRvKQ; KQRvKNP -> KQRvKQN; KQRvKNP -> KNPvKR; KQRvKNP -> KQRvKRN; KQRvKNP -> KNPvKQ; KQRvKNP -> KQRvKBN; KQRvKNP -> KQRvKNN; KQRvKNP -> KQRvKP; KQRvKNP -> KQRvKN; KQRvKNN -> KNNvKR; KQRvKNN -> KNNvKQ; KQRvKNN -> KQRvKN; KNNvKQ -> KNNvK; KNNvKQ -> KQvKN; KNNvK -> KNvK; KNNvKR -> KNNvK; KNNvKR -> KRvKN; KQRvKBN -> KBNvKR; KQRvKBN -> KBNvKQ; KQRvKBN -> KQRvKN; KQRvKBN -> KQRvKB; KBNvKQ -> KBNvK; KBNvKQ -> KQvKN; KBNvKQ -> KQvKB; KBNvK -> KNvK; KBNvK -> KBvK; KBNvKR -> KBNvK; KBNvKR -> KRvKN; KBNvKR -> KRvKB; KNPvKQ -> KQNvKQ; KNPvKQ -> KNPvK; KNPvKQ -> KRNvKQ; KNPvKQ -> KBNvKQ; KNPvKQ -> KNNvKQ; KNPvKQ -> KQvKP; KNPvKQ -> KQvKN; KNPvK -> KQNvK; KNPvK -> KRNvK; KNPvK -> KBNvK; KNPvK -> KNNvK; KNPvK -> KPvK; KNPvK -> KNvK; KQRvKRN -> KRNvKR; KQRvKRN -> KRNvKQ; KQRvKRN -> KQRvKN; KQRvKRN -> KQRvKR; KNPvKR -> KQNvKR; KNPvKR -> KRNvKR; KNPvKR -> KNPvK; KNPvKR -> KBNvKR; KNPvKR -> KNNvKR; KNPvKR -> KRvKP; KNPvKR -> KRvKN; KQRvKQN -> KQNvKR; KQRvKQN -> KQRvKN; KQRvKQN -> KQNvKQ; KQRvKQN -> KQRvKQ; KQRNvKNN -> KRNvKNN; KQRNvKNN -> KQNvKNN; KQRNvKNN -> KQRvKNN; KQRNvKNN -> KQRNvKN; KQNvKNN -> KNNvKN; KQNvKNN -> KNNvKQ; KQNvKNN -> KQNvKN; KNNvKN -> KNvKN; KNNvKN -> KNNvK; KRNvKNN -> KNNvKN; KRNvKNN -> KNNvKR; KRNvKNN -> KRNvKN; KQRNvKBN -> KRNvKBN; KQRNvKBN -> KQNvKBN; KQRNvKBN -> KQRNvKN; KQRNvKBN -> KQRvKBN; KQRNvKBN -> KQRNvKB; KQNvKBN -> KBNvKN; KQNvKBN -> KQNvKN; KQNvKBN -> KBNvKQ; KQNvKBN -> KQNvKB; KBNvKN -> KNvKN; KBNvKN -> KBvKN; KBNvKN -> KBNvK; KRNvKBN -> KBNvKN; KRNvKBN -> KRNvKN; KRNvKBN -> KBNvKR; KRNvKBN -> KRNvKB; KQNvKNP -> KQNvKQN; KQNvKNP -> KNPvKN; KQNvKNP -> KQNvKRN; KQNvKNP -> KQNvKBN; KQNvKNP -> KQNvKNN; KQNvKNP -> KNPvKQ; KQNvKNP -> KQNvKP; KQNvKNP -> KQNvKN; KQNvKRN -> KRNvKN; KQNvKRN -> KQNvKN; KQNvKRN -> KRNvKQ; KQNvKRN -> KQNvKR; KNPvKN -> KQNvKN; KNPvKN -> KRNvKN; KNPvKN -> KBNvKN; KNPvKN -> KNNvKN; KNPvKN -> KNvKP; KNPvKN -> KNPvK; KNPvKN -> KNvKN; KQNvKQN -> KQNvKN; KQNvKQN -> KQNvKQ; KQRNvKRN -> KRNvKRN; KQRNvKRN -> KQNvKRN; KQRNvKRN -> KQRNvKN; KQRNvKRN -> KQRvKRN; KQRNvKRN -> KQRNvKR; KRNvKRN -> KRNvKN; KRNvKRN -> KRNvKR; KRNvKNP -> KQNvKRN; KRNvKNP -> KRNvKRN; KRNvKNP -> KNPvKN; KRNvKNP -> KRNvKBN; KRNvKNP -> KRNvKNN; KRNvKNP -> KNPvKR; KRNvKNP -> KRNvKP; KRNvKNP -> KRNvKN; KQRNvKQN -> KQNvKRN; KQRNvKQN -> KQRNvKN; KQRNvKQN -> KQNvKQN; KQRNvKQN -> KQRvKQN; KQRNvKQN -> KQRNvKQ; }