digraph Syzygy { KQNNvKQP -> KQNNvKQQ; KQNNvKQP -> KQPvKNN; KQNNvKQP -> KQNNvKP; KQNNvKQP -> KQNNvKQR; KQNNvKQP -> KQNNvKQB; KQNNvKQP -> KQNNvKQN; KQNNvKQP -> KQNvKQP; KQNNvKQP -> KQNNvKQ; KQNNvKQ -> KNNvKQ; KQNNvKQ -> KQNNvK; KQNNvKQ -> KQNvKQ; KQNvKQ -> KQvKN; KQNvKQ -> KQNvK; KQNvKQ -> KQvKQ; KQvKQ -> KQvK; KQNvK -> KNvK; KQNvK -> KQvK; KQvKN -> KNvK; KQvKN -> KQvK; KQNNvK -> KNNvK; KQNNvK -> KQNvK; KNNvK -> KNvK; KNNvKQ -> KNNvK; KNNvKQ -> KQvKN; KQNvKQP -> KQQvKQN; KQNvKQP -> KQPvKN; KQNvKQP -> KQNvKP; KQNvKQP -> KQRvKQN; KQNvKQP -> KQBvKQN; KQNvKQP -> KQNvKQN; KQNvKQP -> KQPvKQ; KQNvKQP -> KQNvKQ; KQPvKQ -> KQQvKQ; KQPvKQ -> KQvKP; KQPvKQ -> KQPvK; KQPvKQ -> KQRvKQ; KQPvKQ -> KQBvKQ; KQPvKQ -> KQNvKQ; KQPvKQ -> KQvKQ; KQBvKQ -> KQvKB; KQBvKQ -> KQBvK; KQBvKQ -> KQvKQ; KQBvK -> KBvK; KQBvK -> KQvK; KQvKB -> KBvK; KQvKB -> KQvK; 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; KQNvKQN -> KQNvKN; KQNvKQN -> KQNvKQ; KQNvKN -> KNvKN; KQNvKN -> KQvKN; KQNvKN -> KQNvK; KNvKN -> KNvK; KQBvKQN -> KQNvKB; KQBvKQN -> KQBvKN; KQBvKQN -> KQNvKQ; KQBvKQN -> KQBvKQ; KQBvKN -> KBvKN; KQBvKN -> KQvKN; KQBvKN -> KQBvK; KBvKN -> KNvK; KBvKN -> KBvK; KQNvKB -> KBvKN; KQNvKB -> KQNvK; KQNvKB -> KQvKB; KQRvKQN -> KQNvKR; KQRvKQN -> KQRvKN; KQRvKQN -> KQNvKQ; KQRvKQN -> KQRvKQ; KQRvKN -> KRvKN; KQRvKN -> KQvKN; KQRvKN -> KQRvK; KRvKN -> KNvK; KRvKN -> KRvK; KQNvKR -> KRvKN; KQNvKR -> KQNvK; KQNvKR -> KQvKR; KQNvKP -> KQNvKQ; KQNvKP -> KNvKP; KQNvKP -> KQNvKR; KQNvKP -> KQNvKB; KQNvKP -> KQNvKN; KQNvKP -> KQvKP; KQNvKP -> KQNvK; KNvKP -> KQvKN; KNvKP -> KRvKN; KNvKP -> KBvKN; KNvKP -> KNvKN; KNvKP -> KPvK; KNvKP -> KNvK; KQPvKN -> KQQvKN; KQPvKN -> KNvKP; KQPvKN -> KQRvKN; KQPvKN -> KQBvKN; KQPvKN -> KQNvKN; KQPvKN -> KQPvK; KQPvKN -> KQvKN; KQQvKN -> KQvKN; KQQvKN -> KQQvK; KQQvKQN -> KQNvKQ; KQQvKQN -> KQQvKN; KQQvKQN -> KQQvKQ; KQNNvKQN -> KQNvKNN; KQNNvKQN -> KQNNvKN; KQNNvKQN -> KQNvKQN; KQNNvKQN -> KQNNvKQ; KQNNvKN -> KNNvKN; KQNNvKN -> KQNvKN; KQNNvKN -> KQNNvK; KNNvKN -> KNvKN; KNNvKN -> KNNvK; KQNvKNN -> KNNvKN; KQNvKNN -> KNNvKQ; KQNvKNN -> KQNvKN; KQNNvKQB -> KQBvKNN; KQNNvKQB -> KQNNvKB; KQNNvKQB -> KQNNvKQ; KQNNvKQB -> KQBvKQN; KQNNvKB -> KNNvKB; KQNNvKB -> KQNNvK; KQNNvKB -> KQNvKB; KNNvKB -> KNNvK; KNNvKB -> KBvKN; KQBvKNN -> KNNvKB; KQBvKNN -> KNNvKQ; KQBvKNN -> KQBvKN; KQNNvKQR -> KQRvKNN; KQNNvKQR -> KQNNvKR; KQNNvKQR -> KQNNvKQ; KQNNvKQR -> KQRvKQN; KQNNvKR -> KNNvKR; KQNNvKR -> KQNNvK; KQNNvKR -> KQNvKR; KNNvKR -> KNNvK; KNNvKR -> KRvKN; KQRvKNN -> KNNvKR; KQRvKNN -> KNNvKQ; KQRvKNN -> KQRvKN; KQNNvKP -> KQNNvKQ; KQNNvKP -> KNNvKP; KQNNvKP -> KQNNvKR; KQNNvKP -> KQNNvKB; KQNNvKP -> KQNNvKN; KQNNvKP -> KQNvKP; KQNNvKP -> KQNNvK; KNNvKP -> KNNvKQ; KNNvKP -> KNNvKR; KNNvKP -> KNNvKB; KNNvKP -> KNNvKN; KNNvKP -> KNvKP; KNNvKP -> KNNvK; KQPvKNN -> KQQvKNN; KQPvKNN -> KNNvKP; KQPvKNN -> KQRvKNN; KQPvKNN -> KQBvKNN; KQPvKNN -> KQNvKNN; KQPvKNN -> KQPvKN; KQPvKNN -> KNNvKQ; KQQvKNN -> KNNvKQ; KQQvKNN -> KQQvKN; KQNNvKQQ -> KQQvKNN; KQNNvKQQ -> KQNNvKQ; KQNNvKQQ -> KQQvKQN; }