digraph Syzygy { KQNPvKQB -> KQQNvKQB; KQNPvKQB -> KQBvKNP; KQNPvKQB -> KQNPvKB; KQNPvKQB -> KQRNvKQB; KQNPvKQB -> KQBNvKQB; KQNPvKQB -> KQNPvKQ; KQNPvKQB -> KQNNvKQB; KQNPvKQB -> KQBvKQP; KQNPvKQB -> KQBvKQN; KQBvKQN -> KQNvKB; KQBvKQN -> KQBvKN; KQBvKQN -> KQNvKQ; KQBvKQN -> KQBvKQ; KQBvKQ -> KQvKB; KQBvKQ -> KQBvK; KQBvKQ -> KQvKQ; KQvKQ -> KQvK; KQBvK -> KBvK; KQBvK -> KQvK; KQvKB -> KBvK; KQvKB -> KQvK; KQNvKQ -> KQvKN; KQNvKQ -> KQNvK; KQNvKQ -> KQvKQ; KQNvK -> KNvK; KQNvK -> KQvK; KQvKN -> KNvK; KQvKN -> KQvK; KQBvKN -> KBvKN; KQBvKN -> KQvKN; KQBvKN -> KQBvK; KBvKN -> KNvK; KBvKN -> KBvK; KQNvKB -> KBvKN; KQNvKB -> KQNvK; KQNvKB -> KQvKB; KQBvKQP -> KQQvKQB; KQBvKQP -> KQPvKB; KQBvKQP -> KQBvKP; KQBvKQP -> KQRvKQB; KQBvKQP -> KQBvKQB; KQBvKQP -> KQPvKQ; KQBvKQP -> KQBvKQN; KQBvKQP -> KQBvKQ; KQPvKQ -> KQQvKQ; KQPvKQ -> KQvKP; KQPvKQ -> KQPvK; KQPvKQ -> KQRvKQ; KQPvKQ -> KQBvKQ; KQPvKQ -> KQNvKQ; KQPvKQ -> KQvKQ; KQRvKQ -> KQvKR; KQRvKQ -> KQRvK; KQRvKQ -> KQvKQ; KQRvK -> KRvK; KQRvK -> KQvK; KQvKR -> KRvK; KQvKR -> KQvK; KQPvK -> KQQvK; KQPvK -> KPvK; KQPvK -> KQRvK; KQPvK -> KQBvK; KQPvK -> KQNvK; KQPvK -> KQvK; KPvK -> KQvK; KPvK -> KRvK; KPvK -> KBvK; KPvK -> KNvK; KQQvK -> KQvK; KQvKP -> KQvKQ; KQvKP -> KPvK; KQvKP -> KQvKR; KQvKP -> KQvKB; KQvKP -> KQvKN; KQvKP -> KQvK; KQQvKQ -> KQvKQ; KQQvKQ -> KQQvK; KQBvKQB -> KQBvKB; KQBvKQB -> KQBvKQ; KQBvKB -> KBvKB; KQBvKB -> KQvKB; KQBvKB -> KQBvK; KBvKB -> KBvK; KQRvKQB -> KQBvKR; KQRvKQB -> KQRvKB; KQRvKQB -> KQBvKQ; KQRvKQB -> KQRvKQ; KQRvKB -> KRvKB; KQRvKB -> KQvKB; KQRvKB -> KQRvK; KRvKB -> KBvK; KRvKB -> KRvK; KQBvKR -> KRvKB; KQBvKR -> KQBvK; KQBvKR -> KQvKR; KQBvKP -> KQBvKQ; KQBvKP -> KBvKP; KQBvKP -> KQBvKR; KQBvKP -> KQBvKB; KQBvKP -> KQvKP; KQBvKP -> KQBvKN; KQBvKP -> KQBvK; KBvKP -> KQvKB; KBvKP -> KRvKB; KBvKP -> KBvKB; KBvKP -> KPvK; KBvKP -> KBvKN; KBvKP -> KBvK; KQPvKB -> KQQvKB; KQPvKB -> KBvKP; KQPvKB -> KQRvKB; KQPvKB -> KQBvKB; KQPvKB -> KQPvK; KQPvKB -> KQNvKB; KQPvKB -> KQvKB; KQQvKB -> KQvKB; KQQvKB -> KQQvK; KQQvKQB -> KQBvKQ; KQQvKQB -> KQQvKB; KQQvKQB -> KQQvKQ; KQNNvKQB -> KQBvKNN; KQNNvKQB -> KQNNvKB; KQNNvKQB -> KQNNvKQ; KQNNvKQB -> KQBvKQN; KQNNvKQ -> KNNvKQ; KQNNvKQ -> KQNNvK; KQNNvKQ -> KQNvKQ; KQNNvK -> KNNvK; KQNNvK -> KQNvK; KNNvK -> KNvK; KNNvKQ -> KNNvK; KNNvKQ -> KQvKN; KQNNvKB -> KNNvKB; KQNNvKB -> KQNNvK; KQNNvKB -> KQNvKB; KNNvKB -> KNNvK; KNNvKB -> KBvKN; KQBvKNN -> KNNvKB; KQBvKNN -> KNNvKQ; KQBvKNN -> KQBvKN; KQNPvKQ -> KQQNvKQ; KQNPvKQ -> KNPvKQ; KQNPvKQ -> KQNPvK; KQNPvKQ -> KQRNvKQ; KQNPvKQ -> KQBNvKQ; KQNPvKQ -> KQNNvKQ; KQNPvKQ -> KQPvKQ; KQNPvKQ -> KQNvKQ; KQBNvKQ -> KBNvKQ; KQBNvKQ -> KQBNvK; KQBNvKQ -> KQNvKQ; KQBNvKQ -> KQBvKQ; KQBNvK -> KBNvK; KQBNvK -> KQNvK; KQBNvK -> KQBvK; KBNvK -> KNvK; KBNvK -> KBvK; KBNvKQ -> KBNvK; KBNvKQ -> KQvKN; KBNvKQ -> KQvKB; KQRNvKQ -> KRNvKQ; KQRNvKQ -> KQRNvK; KQRNvKQ -> KQNvKQ; KQRNvKQ -> KQRvKQ; KQRNvK -> KRNvK; KQRNvK -> KQNvK; KQRNvK -> KQRvK; KRNvK -> KNvK; KRNvK -> KRvK; KRNvKQ -> KRNvK; KRNvKQ -> KQvKN; KRNvKQ -> KQvKR; KQNPvK -> KQQNvK; KQNPvK -> KNPvK; KQNPvK -> KQRNvK; KQNPvK -> KQBNvK; KQNPvK -> KQNNvK; KQNPvK -> KQPvK; KQNPvK -> KQNvK; KNPvK -> KQNvK; KNPvK -> KRNvK; KNPvK -> KBNvK; KNPvK -> KNNvK; KNPvK -> KPvK; KNPvK -> KNvK; KQQNvK -> KQNvK; KQQNvK -> KQQvK; KNPvKQ -> KQNvKQ; KNPvKQ -> KNPvK; KNPvKQ -> KRNvKQ; KNPvKQ -> KBNvKQ; KNPvKQ -> KNNvKQ; KNPvKQ -> KQvKP; KNPvKQ -> KQvKN; KQQNvKQ -> KQNvKQ; KQQNvKQ -> KQQNvK; KQQNvKQ -> KQQvKQ; KQBNvKQB -> KQBvKBN; KQBNvKQB -> KQBNvKB; KQBNvKQB -> KQBvKQN; KQBNvKQB -> KQBNvKQ; KQBNvKQB -> KQBvKQB; KQBNvKB -> KBNvKB; KQBNvKB -> KQNvKB; KQBNvKB -> KQBNvK; KQBNvKB -> KQBvKB; KBNvKB -> KBvKN; KBNvKB -> KBNvK; KBNvKB -> KBvKB; KQBvKBN -> KBNvKB; KQBvKBN -> KBNvKQ; KQBvKBN -> KQBvKN; KQBvKBN -> KQBvKB; KQRNvKQB -> KQBvKRN; KQRNvKQB -> KQRNvKB; KQRNvKQB -> KQBvKQN; KQRNvKQB -> KQRNvKQ; KQRNvKQB -> KQRvKQB; KQRNvKB -> KRNvKB; KQRNvKB -> KQNvKB; KQRNvKB -> KQRNvK; KQRNvKB -> KQRvKB; KRNvKB -> KBvKN; KRNvKB -> KRNvK; KRNvKB -> KRvKB; KQBvKRN -> KRNvKB; KQBvKRN -> KQBvKN; KQBvKRN -> KRNvKQ; KQBvKRN -> KQBvKR; KQNPvKB -> KQQNvKB; KQNPvKB -> KNPvKB; KQNPvKB -> KQRNvKB; KQNPvKB -> KQBNvKB; KQNPvKB -> KQNPvK; KQNPvKB -> KQNNvKB; KQNPvKB -> KQPvKB; KQNPvKB -> KQNvKB; KNPvKB -> KQNvKB; KNPvKB -> KRNvKB; KNPvKB -> KBNvKB; KNPvKB -> KNPvK; KNPvKB -> KNNvKB; KNPvKB -> KBvKP; KNPvKB -> KBvKN; KQQNvKB -> KQNvKB; KQQNvKB -> KQQNvK; KQQNvKB -> KQQvKB; KQBvKNP -> KQBvKQN; KQBvKNP -> KNPvKB; KQBvKNP -> KQBvKRN; KQBvKNP -> KQBvKBN; KQBvKNP -> KNPvKQ; KQBvKNP -> KQBvKNN; KQBvKNP -> KQBvKP; KQBvKNP -> KQBvKN; KQQNvKQB -> KQBvKQN; KQQNvKQB -> KQQNvKB; KQQNvKQB -> KQQNvKQ; KQQNvKQB -> KQQvKQB; }