digraph Syzygy { KQNPvKQQ -> KQQNvKQQ; KQNPvKQQ -> KQQvKNP; KQNPvKQQ -> KQNPvKQ; KQNPvKQQ -> KQRNvKQQ; KQNPvKQQ -> KQBNvKQQ; KQNPvKQQ -> KQNNvKQQ; KQNPvKQQ -> KQQvKQP; KQNPvKQQ -> KQQvKQN; KQQvKQN -> KQNvKQ; KQQvKQN -> KQQvKN; KQQvKQN -> KQQvKQ; KQQvKQ -> KQvKQ; KQQvKQ -> KQQvK; KQQvK -> KQvK; KQvKQ -> KQvK; KQQvKN -> KQvKN; KQQvKN -> KQQvK; KQvKN -> KNvK; KQvKN -> KQvK; KQNvKQ -> KQvKN; KQNvKQ -> KQNvK; KQNvKQ -> KQvKQ; KQNvK -> KNvK; KQNvK -> KQvK; KQQvKQP -> KQQvKQQ; KQQvKQP -> KQPvKQ; KQQvKQP -> KQQvKP; KQQvKQP -> KQQvKQR; KQQvKQP -> KQQvKQB; KQQvKQP -> KQQvKQN; KQQvKQP -> KQQvKQ; KQQvKQB -> KQBvKQ; KQQvKQB -> KQQvKB; KQQvKQB -> KQQvKQ; KQQvKB -> KQvKB; KQQvKB -> KQQvK; KQvKB -> KBvK; KQvKB -> KQvK; KQBvKQ -> KQvKB; KQBvKQ -> KQBvK; KQBvKQ -> KQvKQ; KQBvK -> KBvK; KQBvK -> KQvK; KQQvKQR -> KQRvKQ; KQQvKQR -> KQQvKR; KQQvKQR -> KQQvKQ; KQQvKR -> KQvKR; KQQvKR -> KQQvK; KQvKR -> KRvK; KQvKR -> KQvK; KQRvKQ -> KQvKR; KQRvKQ -> KQRvK; KQRvKQ -> KQvKQ; KQRvK -> KRvK; KQRvK -> KQvK; KQQvKP -> KQQvKQ; KQQvKP -> KQvKP; KQQvKP -> KQQvKR; KQQvKP -> KQQvKB; KQQvKP -> KQQvKN; KQQvKP -> KQQvK; KQvKP -> KQvKQ; KQvKP -> KPvK; KQvKP -> KQvKR; KQvKP -> KQvKB; KQvKP -> KQvKN; KQvKP -> KQvK; KPvK -> KQvK; KPvK -> KRvK; KPvK -> KBvK; KPvK -> KNvK; KQPvKQ -> KQQvKQ; KQPvKQ -> KQvKP; KQPvKQ -> KQPvK; KQPvKQ -> KQRvKQ; KQPvKQ -> KQBvKQ; KQPvKQ -> KQNvKQ; KQPvKQ -> KQvKQ; KQPvK -> KQQvK; KQPvK -> KPvK; KQPvK -> KQRvK; KQPvK -> KQBvK; KQPvK -> KQNvK; KQPvK -> KQvK; KQQvKQQ -> KQQvKQ; KQNNvKQQ -> KQQvKNN; KQNNvKQQ -> KQNNvKQ; KQNNvKQQ -> KQQvKQN; KQNNvKQ -> KNNvKQ; KQNNvKQ -> KQNNvK; KQNNvKQ -> KQNvKQ; KQNNvK -> KNNvK; KQNNvK -> KQNvK; KNNvK -> KNvK; KNNvKQ -> KNNvK; KNNvKQ -> KQvKN; KQQvKNN -> KNNvKQ; KQQvKNN -> KQQvKN; KQBNvKQQ -> KQQvKBN; KQBNvKQQ -> KQBNvKQ; KQBNvKQQ -> KQQvKQN; KQBNvKQQ -> KQQvKQB; KQBNvKQ -> KBNvKQ; KQBNvKQ -> KQBNvK; KQBNvKQ -> KQNvKQ; KQBNvKQ -> KQBvKQ; KQBNvK -> KBNvK; KQBNvK -> KQNvK; KQBNvK -> KQBvK; KBNvK -> KNvK; KBNvK -> KBvK; KBNvKQ -> KBNvK; KBNvKQ -> KQvKN; KBNvKQ -> KQvKB; KQQvKBN -> KBNvKQ; KQQvKBN -> KQQvKN; KQQvKBN -> KQQvKB; KQRNvKQQ -> KQQvKRN; KQRNvKQQ -> KQRNvKQ; KQRNvKQQ -> KQQvKQN; KQRNvKQQ -> KQQvKQR; KQRNvKQ -> KRNvKQ; KQRNvKQ -> KQRNvK; KQRNvKQ -> KQNvKQ; KQRNvKQ -> KQRvKQ; KQRNvK -> KRNvK; KQRNvK -> KQNvK; KQRNvK -> KQRvK; KRNvK -> KNvK; KRNvK -> KRvK; KRNvKQ -> KRNvK; KRNvKQ -> KQvKN; KRNvKQ -> KQvKR; KQQvKRN -> KRNvKQ; KQQvKRN -> KQQvKN; KQQvKRN -> KQQvKR; KQNPvKQ -> KQQNvKQ; KQNPvKQ -> KNPvKQ; KQNPvKQ -> KQNPvK; KQNPvKQ -> KQRNvKQ; KQNPvKQ -> KQBNvKQ; KQNPvKQ -> KQNNvKQ; KQNPvKQ -> KQPvKQ; KQNPvKQ -> KQNvKQ; 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; KQQvKNP -> KQQvKQN; KQQvKNP -> KNPvKQ; KQQvKNP -> KQQvKRN; KQQvKNP -> KQQvKBN; KQQvKNP -> KQQvKNN; KQQvKNP -> KQQvKP; KQQvKNP -> KQQvKN; KQQNvKQQ -> KQQvKQN; KQQNvKQQ -> KQQNvKQ; KQQNvKQQ -> KQQvKQQ; }