digraph Syzygy { KNNNvKQP -> KNNNvKQQ; KNNNvKQP -> KNNNvKP; KNNNvKQP -> KNNNvKQR; KNNNvKQP -> KNNNvKQB; KNNNvKQP -> KNNNvKQN; KNNNvKQP -> KQPvKNN; KNNNvKQP -> KNNNvKQ; KNNNvKQ -> KNNNvK; KNNNvKQ -> KNNvKQ; KNNvKQ -> KNNvK; KNNvKQ -> KQvKN; KQvKN -> KNvK; KQvKN -> KQvK; KNNvK -> KNvK; KNNNvK -> KNNvK; KQPvKNN -> KQQvKNN; KQPvKNN -> KNNvKP; KQPvKNN -> KQRvKNN; KQPvKNN -> KQBvKNN; KQPvKNN -> KQNvKNN; KQPvKNN -> KQPvKN; KQPvKNN -> KNNvKQ; KQPvKN -> KQQvKN; KQPvKN -> KNvKP; KQPvKN -> KQRvKN; KQPvKN -> KQBvKN; KQPvKN -> KQNvKN; KQPvKN -> KQPvK; KQPvKN -> KQvKN; 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; 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; KNNNvKQN -> KNNNvKN; KNNNvKQN -> KQNvKNN; KNNNvKQN -> KNNNvKQ; KNNNvKN -> KNNvKN; KNNNvKN -> KNNNvK; KNNNvKQB -> KNNNvKB; KNNNvKQB -> KNNNvKQ; KNNNvKQB -> KQBvKNN; KNNNvKB -> KNNNvK; KNNNvKB -> KNNvKB; KNNNvKQR -> KNNNvKR; KNNNvKQR -> KNNNvKQ; KNNNvKQR -> KQRvKNN; KNNNvKR -> KNNNvK; KNNNvKR -> KNNvKR; KNNNvKP -> KNNNvKQ; KNNNvKP -> KNNNvKR; KNNNvKP -> KNNNvKB; KNNNvKP -> KNNNvKN; KNNNvKP -> KNNvKP; KNNNvKP -> KNNNvK; KNNNvKQQ -> KNNNvKQ; KNNNvKQQ -> KQQvKNN; }