digraph Syzygy { KQNNPvKQ -> KQQNNvKQ; KQNNPvKQ -> KNNPvKQ; KQNNPvKQ -> KQNNPvK; KQNNPvKQ -> KQRNNvKQ; KQNNPvKQ -> KQBNNvKQ; KQNNPvKQ -> KQNNNvKQ; KQNNPvKQ -> KQNPvKQ; KQNNPvKQ -> 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; KQNPvKQ -> KQQNvKQ; KQNPvKQ -> KNPvKQ; KQNPvKQ -> KQNPvK; KQNPvKQ -> KQRNvKQ; KQNPvKQ -> KQBNvKQ; KQNPvKQ -> KQNNvKQ; KQNPvKQ -> KQPvKQ; KQNPvKQ -> 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; 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; KQNNNvKQ -> KNNNvKQ; KQNNNvKQ -> KQNNNvK; KQNNNvKQ -> KQNNvKQ; KQNNNvK -> KNNNvK; KQNNNvK -> KQNNvK; KNNNvK -> KNNvK; KNNNvKQ -> KNNNvK; KNNNvKQ -> KNNvKQ; KQBNNvKQ -> KBNNvKQ; KQBNNvKQ -> KQBNNvK; KQBNNvKQ -> KQNNvKQ; KQBNNvKQ -> KQBNvKQ; KQBNNvK -> KBNNvK; KQBNNvK -> KQNNvK; KQBNNvK -> KQBNvK; KBNNvK -> KNNvK; KBNNvK -> KBNvK; KBNNvKQ -> KBNNvK; KBNNvKQ -> KNNvKQ; KBNNvKQ -> KBNvKQ; KQRNNvKQ -> KRNNvKQ; KQRNNvKQ -> KQRNNvK; KQRNNvKQ -> KQNNvKQ; KQRNNvKQ -> KQRNvKQ; KQRNNvK -> KRNNvK; KQRNNvK -> KQNNvK; KQRNNvK -> KQRNvK; KRNNvK -> KNNvK; KRNNvK -> KRNvK; KRNNvKQ -> KRNNvK; KRNNvKQ -> KNNvKQ; KRNNvKQ -> KRNvKQ; KQNNPvK -> KQQNNvK; KQNNPvK -> KNNPvK; KQNNPvK -> KQRNNvK; KQNNPvK -> KQBNNvK; KQNNPvK -> KQNNNvK; KQNNPvK -> KQNPvK; KQNNPvK -> KQNNvK; KNNPvK -> KQNNvK; KNNPvK -> KRNNvK; KNNPvK -> KBNNvK; KNNPvK -> KNNNvK; KNNPvK -> KNPvK; KNNPvK -> KNNvK; KQQNNvK -> KQNNvK; KQQNNvK -> KQQNvK; KNNPvKQ -> KQNNvKQ; KNNPvKQ -> KNNPvK; KNNPvKQ -> KRNNvKQ; KNNPvKQ -> KBNNvKQ; KNNPvKQ -> KNNNvKQ; KNNPvKQ -> KNPvKQ; KNNPvKQ -> KNNvKQ; KQQNNvKQ -> KQNNvKQ; KQQNNvKQ -> KQQNNvK; KQQNNvKQ -> KQQNvKQ; }