digraph Syzygy { KQQPvKNN -> KQQQvKNN; KQQPvKNN -> KQPvKNN; KQQPvKNN -> KQQRvKNN; KQQPvKNN -> KQQBvKNN; KQQPvKNN -> KQQNvKNN; KQQPvKNN -> KQQPvKN; KQQPvKNN -> KQQvKNN; KQQvKNN -> KNNvKQ; KQQvKNN -> KQQvKN; KQQvKN -> KQvKN; KQQvKN -> KQQvK; KQQvK -> KQvK; KQvKN -> KNvK; KQvKN -> KQvK; KNNvKQ -> KNNvK; KNNvKQ -> KQvKN; KNNvK -> KNvK; KQQPvKN -> KQQQvKN; KQQPvKN -> KQPvKN; KQQPvKN -> KQQRvKN; KQQPvKN -> KQQBvKN; KQQPvKN -> KQQNvKN; KQQPvKN -> KQQPvK; KQQPvKN -> KQQvKN; KQQPvK -> KQQQvK; KQQPvK -> KQPvK; KQQPvK -> KQQRvK; KQQPvK -> KQQBvK; KQQPvK -> KQQNvK; KQQPvK -> KQQvK; KQQNvK -> KQNvK; KQQNvK -> KQQvK; KQNvK -> KNvK; KQNvK -> KQvK; KQQBvK -> KQBvK; KQQBvK -> KQQvK; KQBvK -> KBvK; KQBvK -> KQvK; KQQRvK -> KQRvK; KQQRvK -> KQQvK; KQRvK -> KRvK; KQRvK -> KQvK; KQPvK -> KQQvK; KQPvK -> KPvK; KQPvK -> KQRvK; KQPvK -> KQBvK; KQPvK -> KQNvK; KQPvK -> KQvK; KPvK -> KQvK; KPvK -> KRvK; KPvK -> KBvK; KPvK -> KNvK; KQQQvK -> KQQvK; KQQNvKN -> KQNvKN; KQQNvKN -> KQQvKN; KQQNvKN -> KQQNvK; KQNvKN -> KNvKN; KQNvKN -> KQvKN; KQNvKN -> KQNvK; KNvKN -> KNvK; KQQBvKN -> KQBvKN; KQQBvKN -> KQQvKN; KQQBvKN -> KQQBvK; KQBvKN -> KBvKN; KQBvKN -> KQvKN; KQBvKN -> KQBvK; KBvKN -> KNvK; KBvKN -> KBvK; KQQRvKN -> KQRvKN; KQQRvKN -> KQQvKN; KQQRvKN -> KQQRvK; KQRvKN -> KRvKN; KQRvKN -> KQvKN; KQRvKN -> KQRvK; KRvKN -> KNvK; KRvKN -> KRvK; KQPvKN -> KQQvKN; KQPvKN -> KNvKP; KQPvKN -> KQRvKN; KQPvKN -> KQBvKN; KQPvKN -> KQNvKN; KQPvKN -> KQPvK; KQPvKN -> KQvKN; KNvKP -> KQvKN; KNvKP -> KRvKN; KNvKP -> KBvKN; KNvKP -> KNvKN; KNvKP -> KPvK; KNvKP -> KNvK; KQQQvKN -> KQQvKN; KQQQvKN -> KQQQvK; KQQNvKNN -> KQNvKNN; KQQNvKNN -> KQQvKNN; KQQNvKNN -> KQQNvKN; KQNvKNN -> KNNvKN; KQNvKNN -> KNNvKQ; KQNvKNN -> KQNvKN; KNNvKN -> KNvKN; KNNvKN -> KNNvK; KQQBvKNN -> KQBvKNN; KQQBvKNN -> KQQvKNN; KQQBvKNN -> KQQBvKN; KQBvKNN -> KNNvKB; KQBvKNN -> KNNvKQ; KQBvKNN -> KQBvKN; KNNvKB -> KNNvK; KNNvKB -> KBvKN; KQQRvKNN -> KQRvKNN; KQQRvKNN -> KQQvKNN; KQQRvKNN -> KQQRvKN; KQRvKNN -> KNNvKR; KQRvKNN -> KNNvKQ; KQRvKNN -> KQRvKN; KNNvKR -> KNNvK; KNNvKR -> KRvKN; KQPvKNN -> KQQvKNN; KQPvKNN -> KNNvKP; KQPvKNN -> KQRvKNN; KQPvKNN -> KQBvKNN; KQPvKNN -> KQNvKNN; KQPvKNN -> KQPvKN; KQPvKNN -> KNNvKQ; KNNvKP -> KNNvKQ; KNNvKP -> KNNvKR; KNNvKP -> KNNvKB; KNNvKP -> KNNvKN; KNNvKP -> KNvKP; KNNvKP -> KNNvK; KQQQvKNN -> KQQvKNN; KQQQvKNN -> KQQQvKN; }