digraph Syzygy { KQQNPvKP -> KQQQNvKP; KQQNPvKP -> KQQNPvKQ; KQQNPvKP -> KQNPvKP; KQQNPvKP -> KQQRNvKP; KQQNPvKP -> KQQNPvKR; KQQNPvKP -> KQQBNvKP; KQQNPvKP -> KQQNPvKB; KQQNPvKP -> KQQNNvKP; KQQNPvKP -> KQQNPvKN; KQQNPvKP -> KQQPvKP; KQQNPvKP -> KQQNvKP; KQQNPvKP -> KQQNPvK; KQQNPvK -> KQQQNvK; KQQNPvK -> KQNPvK; KQQNPvK -> KQQRNvK; KQQNPvK -> KQQBNvK; KQQNPvK -> KQQNNvK; KQQNPvK -> KQQPvK; KQQNPvK -> KQQNvK; KQQNvK -> KQNvK; KQQNvK -> KQQvK; KQQvK -> KQvK; KQNvK -> KNvK; KQNvK -> KQvK; KQQPvK -> KQQQvK; KQQPvK -> KQPvK; KQQPvK -> KQQRvK; KQQPvK -> KQQBvK; KQQPvK -> KQQNvK; KQQPvK -> KQQvK; 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; KQQNNvK -> KQNNvK; KQQNNvK -> KQQNvK; KQNNvK -> KNNvK; KQNNvK -> KQNvK; KNNvK -> KNvK; KQQBNvK -> KQBNvK; KQQBNvK -> KQQNvK; KQQBNvK -> KQQBvK; KQBNvK -> KBNvK; KQBNvK -> KQNvK; KQBNvK -> KQBvK; KBNvK -> KNvK; KBNvK -> KBvK; KQQRNvK -> KQRNvK; KQQRNvK -> KQQNvK; KQQRNvK -> KQQRvK; KQRNvK -> KRNvK; KQRNvK -> KQNvK; KQRNvK -> KQRvK; KRNvK -> KNvK; KRNvK -> KRvK; 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; KQQQNvK -> KQQNvK; KQQQNvK -> KQQQvK; KQQNvKP -> KQQNvKQ; KQQNvKP -> KQNvKP; KQQNvKP -> KQQNvKR; KQQNvKP -> KQQNvKB; KQQNvKP -> KQQNvKN; KQQNvKP -> KQQvKP; KQQNvKP -> KQQNvK; KQQvKP -> KQQvKQ; KQQvKP -> KQvKP; KQQvKP -> KQQvKR; KQQvKP -> KQQvKB; KQQvKP -> KQQvKN; KQQvKP -> KQQvK; KQQvKN -> KQvKN; KQQvKN -> KQQvK; KQvKN -> KNvK; KQvKN -> KQvK; KQQvKB -> KQvKB; KQQvKB -> KQQvK; KQvKB -> KBvK; KQvKB -> KQvK; KQQvKR -> KQvKR; KQQvKR -> KQQvK; KQvKR -> KRvK; KQvKR -> KQvK; KQvKP -> KQvKQ; KQvKP -> KPvK; KQvKP -> KQvKR; KQvKP -> KQvKB; KQvKP -> KQvKN; KQvKP -> KQvK; KQvKQ -> KQvK; KQQvKQ -> KQvKQ; KQQvKQ -> KQQvK; KQQNvKN -> KQNvKN; KQQNvKN -> KQQvKN; KQQNvKN -> KQQNvK; KQNvKN -> KNvKN; KQNvKN -> KQvKN; KQNvKN -> KQNvK; KNvKN -> KNvK; KQQNvKB -> KQNvKB; KQQNvKB -> KQQNvK; KQQNvKB -> KQQvKB; KQNvKB -> KBvKN; KQNvKB -> KQNvK; KQNvKB -> KQvKB; KBvKN -> KNvK; KBvKN -> KBvK; KQQNvKR -> KQNvKR; KQQNvKR -> KQQNvK; KQQNvKR -> KQQvKR; KQNvKR -> KRvKN; KQNvKR -> KQNvK; KQNvKR -> KQvKR; KRvKN -> KNvK; KRvKN -> KRvK; 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; KQNvKQ -> KQvKN; KQNvKQ -> KQNvK; KQNvKQ -> KQvKQ; KQQNvKQ -> KQNvKQ; KQQNvKQ -> KQQNvK; KQQNvKQ -> KQQvKQ; KQQPvKP -> KQQQvKP; KQQPvKP -> KQQPvKQ; KQQPvKP -> KQPvKP; KQQPvKP -> KQQRvKP; KQQPvKP -> KQQPvKR; KQQPvKP -> KQQBvKP; KQQPvKP -> KQQPvKB; KQQPvKP -> KQQNvKP; KQQPvKP -> KQQPvKN; KQQPvKP -> KQQvKP; KQQPvKP -> KQQPvK; KQQPvKN -> KQQQvKN; KQQPvKN -> KQPvKN; KQQPvKN -> KQQRvKN; KQQPvKN -> KQQBvKN; KQQPvKN -> KQQNvKN; KQQPvKN -> KQQPvK; KQQPvKN -> KQQvKN; KQQBvKN -> KQBvKN; KQQBvKN -> KQQvKN; KQQBvKN -> KQQBvK; KQBvKN -> KBvKN; KQBvKN -> KQvKN; KQBvKN -> KQBvK; KQQRvKN -> KQRvKN; KQQRvKN -> KQQvKN; KQQRvKN -> KQQRvK; KQRvKN -> KRvKN; KQRvKN -> KQvKN; KQRvKN -> KQRvK; KQPvKN -> KQQvKN; KQPvKN -> KNvKP; KQPvKN -> KQRvKN; KQPvKN -> KQBvKN; KQPvKN -> KQNvKN; KQPvKN -> KQPvK; KQPvKN -> KQvKN; KQQQvKN -> KQQvKN; KQQQvKN -> KQQQvK; KQQPvKB -> KQQQvKB; KQQPvKB -> KQPvKB; KQQPvKB -> KQQRvKB; KQQPvKB -> KQQBvKB; KQQPvKB -> KQQPvK; KQQPvKB -> KQQNvKB; KQQPvKB -> KQQvKB; KQQBvKB -> KQBvKB; KQQBvKB -> KQQvKB; KQQBvKB -> KQQBvK; KQBvKB -> KBvKB; KQBvKB -> KQvKB; KQBvKB -> KQBvK; KBvKB -> KBvK; KQQRvKB -> KQRvKB; KQQRvKB -> KQQvKB; KQQRvKB -> KQQRvK; KQRvKB -> KRvKB; KQRvKB -> KQvKB; KQRvKB -> KQRvK; KRvKB -> KBvK; KRvKB -> KRvK; KQPvKB -> KQQvKB; KQPvKB -> KBvKP; KQPvKB -> KQRvKB; KQPvKB -> KQBvKB; KQPvKB -> KQPvK; KQPvKB -> KQNvKB; KQPvKB -> KQvKB; KBvKP -> KQvKB; KBvKP -> KRvKB; KBvKP -> KBvKB; KBvKP -> KPvK; KBvKP -> KBvKN; KBvKP -> KBvK; KQQQvKB -> KQQvKB; KQQQvKB -> KQQQvK; KQQBvKP -> KQQBvKQ; KQQBvKP -> KQBvKP; KQQBvKP -> KQQBvKR; KQQBvKP -> KQQBvKB; KQQBvKP -> KQQvKP; KQQBvKP -> KQQBvKN; KQQBvKP -> KQQBvK; KQQBvKR -> KQBvKR; KQQBvKR -> KQQBvK; KQQBvKR -> KQQvKR; KQBvKR -> KRvKB; KQBvKR -> KQBvK; KQBvKR -> KQvKR; KQBvKP -> KQBvKQ; KQBvKP -> KBvKP; KQBvKP -> KQBvKR; KQBvKP -> KQBvKB; KQBvKP -> KQvKP; KQBvKP -> KQBvKN; KQBvKP -> KQBvK; KQBvKQ -> KQvKB; KQBvKQ -> KQBvK; KQBvKQ -> KQvKQ; KQQBvKQ -> KQBvKQ; KQQBvKQ -> KQQBvK; KQQBvKQ -> KQQvKQ; KQQPvKR -> KQQQvKR; KQQPvKR -> KQPvKR; KQQPvKR -> KQQRvKR; KQQPvKR -> KQQPvK; KQQPvKR -> KQQBvKR; KQQPvKR -> KQQNvKR; KQQPvKR -> KQQvKR; KQQRvKR -> KQRvKR; KQQRvKR -> KQQvKR; KQQRvKR -> KQQRvK; KQRvKR -> KRvKR; KQRvKR -> KQvKR; KQRvKR -> KQRvK; KRvKR -> KRvK; KQPvKR -> KQQvKR; KQPvKR -> KRvKP; KQPvKR -> KQRvKR; KQPvKR -> KQPvK; KQPvKR -> KQBvKR; KQPvKR -> KQNvKR; KQPvKR -> KQvKR; KRvKP -> KQvKR; KRvKP -> KRvKR; KRvKP -> KPvK; KRvKP -> KRvKB; KRvKP -> KRvKN; KRvKP -> KRvK; KQQQvKR -> KQQvKR; KQQQvKR -> KQQQvK; KQQRvKP -> KQQRvKQ; KQQRvKP -> KQRvKP; KQQRvKP -> KQQRvKR; KQQRvKP -> KQQvKP; KQQRvKP -> KQQRvKB; KQQRvKP -> KQQRvKN; KQQRvKP -> KQQRvK; KQRvKP -> KQRvKQ; KQRvKP -> KRvKP; KQRvKP -> KQRvKR; KQRvKP -> KQvKP; KQRvKP -> KQRvKB; KQRvKP -> KQRvKN; KQRvKP -> KQRvK; KQRvKQ -> KQvKR; KQRvKQ -> KQRvK; KQRvKQ -> KQvKQ; KQQRvKQ -> KQRvKQ; KQQRvKQ -> KQQRvK; KQQRvKQ -> KQQvKQ; KQPvKP -> KQQvKP; KQPvKP -> KQPvKQ; KQPvKP -> KPvKP; KQPvKP -> KQRvKP; KQPvKP -> KQPvKR; KQPvKP -> KQBvKP; KQPvKP -> KQPvKB; KQPvKP -> KQNvKP; KQPvKP -> KQPvKN; KQPvKP -> KQvKP; KQPvKP -> KQPvK; KPvKP -> KQvKP; KPvKP -> KRvKP; KPvKP -> KBvKP; KPvKP -> KNvKP; KPvKP -> KPvK; KQPvKQ -> KQQvKQ; KQPvKQ -> KQvKP; KQPvKQ -> KQPvK; KQPvKQ -> KQRvKQ; KQPvKQ -> KQBvKQ; KQPvKQ -> KQNvKQ; KQPvKQ -> KQvKQ; KQQPvKQ -> KQQQvKQ; KQQPvKQ -> KQPvKQ; KQQPvKQ -> KQQPvK; KQQPvKQ -> KQQRvKQ; KQQPvKQ -> KQQBvKQ; KQQPvKQ -> KQQNvKQ; KQQPvKQ -> KQQvKQ; KQQQvKQ -> KQQvKQ; KQQQvKQ -> KQQQvK; KQQQvKP -> KQQQvKQ; KQQQvKP -> KQQvKP; KQQQvKP -> KQQQvKR; KQQQvKP -> KQQQvKB; KQQQvKP -> KQQQvKN; KQQQvKP -> KQQQvK; KQQNPvKN -> KQQQNvKN; KQQNPvKN -> KQNPvKN; KQQNPvKN -> KQQRNvKN; KQQNPvKN -> KQQBNvKN; KQQNPvKN -> KQQNNvKN; KQQNPvKN -> KQQPvKN; KQQNPvKN -> KQQNPvK; KQQNPvKN -> KQQNvKN; KQQNNvKN -> KQNNvKN; KQQNNvKN -> KQQNvKN; KQQNNvKN -> KQQNNvK; KQNNvKN -> KNNvKN; KQNNvKN -> KQNvKN; KQNNvKN -> KQNNvK; KNNvKN -> KNvKN; KNNvKN -> KNNvK; KQQBNvKN -> KQBNvKN; KQQBNvKN -> KQQNvKN; KQQBNvKN -> KQQBvKN; KQQBNvKN -> KQQBNvK; KQBNvKN -> KBNvKN; KQBNvKN -> KQNvKN; KQBNvKN -> KQBvKN; KQBNvKN -> KQBNvK; KBNvKN -> KNvKN; KBNvKN -> KBvKN; KBNvKN -> KBNvK; KQQRNvKN -> KQRNvKN; KQQRNvKN -> KQQNvKN; KQQRNvKN -> KQQRvKN; KQQRNvKN -> KQQRNvK; KQRNvKN -> KRNvKN; KQRNvKN -> KQNvKN; KQRNvKN -> KQRvKN; KQRNvKN -> KQRNvK; KRNvKN -> KNvKN; KRNvKN -> KRvKN; KRNvKN -> KRNvK; KQNPvKN -> KQQNvKN; KQNPvKN -> KNPvKN; KQNPvKN -> KQRNvKN; KQNPvKN -> KQBNvKN; KQNPvKN -> KQNNvKN; KQNPvKN -> KQPvKN; KQNPvKN -> KQNPvK; KQNPvKN -> KQNvKN; KNPvKN -> KQNvKN; KNPvKN -> KRNvKN; KNPvKN -> KBNvKN; KNPvKN -> KNNvKN; KNPvKN -> KNvKP; KNPvKN -> KNPvK; KNPvKN -> KNvKN; KQQQNvKN -> KQQNvKN; KQQQNvKN -> KQQQvKN; KQQQNvKN -> KQQQNvK; KQQNNvKP -> KQQNNvKQ; KQQNNvKP -> KQNNvKP; KQQNNvKP -> KQQNNvKR; KQQNNvKP -> KQQNNvKB; KQQNNvKP -> KQQNNvKN; KQQNNvKP -> KQQNvKP; KQQNNvKP -> KQQNNvK; KQQNNvKB -> KQNNvKB; KQQNNvKB -> KQQNNvK; KQQNNvKB -> KQQNvKB; KQNNvKB -> KNNvKB; KQNNvKB -> KQNNvK; KQNNvKB -> KQNvKB; KNNvKB -> KNNvK; KNNvKB -> KBvKN; KQQNNvKR -> KQNNvKR; KQQNNvKR -> KQQNNvK; KQQNNvKR -> KQQNvKR; KQNNvKR -> KNNvKR; KQNNvKR -> KQNNvK; KQNNvKR -> KQNvKR; KNNvKR -> KNNvK; KNNvKR -> KRvKN; 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; KNNvKQ -> KNNvK; KNNvKQ -> KQvKN; KQNNvKQ -> KNNvKQ; KQNNvKQ -> KQNNvK; KQNNvKQ -> KQNvKQ; KQQNNvKQ -> KQNNvKQ; KQQNNvKQ -> KQQNNvK; KQQNNvKQ -> KQQNvKQ; KQQNPvKB -> KQQQNvKB; KQQNPvKB -> KQNPvKB; KQQNPvKB -> KQQRNvKB; KQQNPvKB -> KQQBNvKB; KQQNPvKB -> KQQNPvK; KQQNPvKB -> KQQNNvKB; KQQNPvKB -> KQQPvKB; KQQNPvKB -> KQQNvKB; KQQBNvKB -> KQBNvKB; KQQBNvKB -> KQQNvKB; KQQBNvKB -> KQQBNvK; KQQBNvKB -> KQQBvKB; KQBNvKB -> KBNvKB; KQBNvKB -> KQNvKB; KQBNvKB -> KQBNvK; KQBNvKB -> KQBvKB; KBNvKB -> KBvKN; KBNvKB -> KBNvK; KBNvKB -> KBvKB; KQQRNvKB -> KQRNvKB; KQQRNvKB -> KQQNvKB; KQQRNvKB -> KQQRNvK; KQQRNvKB -> KQQRvKB; KQRNvKB -> KRNvKB; KQRNvKB -> KQNvKB; KQRNvKB -> KQRNvK; KQRNvKB -> KQRvKB; KRNvKB -> KBvKN; KRNvKB -> KRNvK; KRNvKB -> KRvKB; KQNPvKB -> KQQNvKB; KQNPvKB -> KNPvKB; KQNPvKB -> KQRNvKB; KQNPvKB -> KQBNvKB; KQNPvKB -> KQNPvK; KQNPvKB -> KQNNvKB; KQNPvKB -> KQPvKB; KQNPvKB -> KQNvKB; KNPvKB -> KQNvKB; KNPvKB -> KRNvKB; KNPvKB -> KBNvKB; KNPvKB -> KNPvK; KNPvKB -> KNNvKB; KNPvKB -> KBvKP; KNPvKB -> KBvKN; KQQQNvKB -> KQQNvKB; KQQQNvKB -> KQQQNvK; KQQQNvKB -> KQQQvKB; KQQBNvKP -> KQQBNvKQ; KQQBNvKP -> KQBNvKP; KQQBNvKP -> KQQBNvKR; KQQBNvKP -> KQQBNvKB; KQQBNvKP -> KQQNvKP; KQQBNvKP -> KQQBNvKN; KQQBNvKP -> KQQBvKP; KQQBNvKP -> KQQBNvK; KQQBNvKR -> KQBNvKR; KQQBNvKR -> KQQBNvK; KQQBNvKR -> KQQNvKR; KQQBNvKR -> KQQBvKR; KQBNvKR -> KBNvKR; KQBNvKR -> KQBNvK; KQBNvKR -> KQNvKR; KQBNvKR -> KQBvKR; KBNvKR -> KBNvK; KBNvKR -> KRvKN; KBNvKR -> KRvKB; KQBNvKP -> KQBNvKQ; KQBNvKP -> KBNvKP; KQBNvKP -> KQBNvKR; KQBNvKP -> KQBNvKB; KQBNvKP -> KQNvKP; KQBNvKP -> KQBNvKN; KQBNvKP -> KQBvKP; KQBNvKP -> KQBNvK; KBNvKP -> KBNvKQ; KBNvKP -> KBNvKR; KBNvKP -> KBNvKB; KBNvKP -> KNvKP; KBNvKP -> KBNvKN; KBNvKP -> KBvKP; KBNvKP -> KBNvK; KBNvKQ -> KBNvK; KBNvKQ -> KQvKN; KBNvKQ -> KQvKB; KQBNvKQ -> KBNvKQ; KQBNvKQ -> KQBNvK; KQBNvKQ -> KQNvKQ; KQBNvKQ -> KQBvKQ; KQQBNvKQ -> KQBNvKQ; KQQBNvKQ -> KQQBNvK; KQQBNvKQ -> KQQNvKQ; KQQBNvKQ -> KQQBvKQ; KQQNPvKR -> KQQQNvKR; KQQNPvKR -> KQNPvKR; KQQNPvKR -> KQQRNvKR; KQQNPvKR -> KQQNPvK; KQQNPvKR -> KQQBNvKR; KQQNPvKR -> KQQNNvKR; KQQNPvKR -> KQQPvKR; KQQNPvKR -> KQQNvKR; KQQRNvKR -> KQRNvKR; KQQRNvKR -> KQQNvKR; KQQRNvKR -> KQQRNvK; KQQRNvKR -> KQQRvKR; KQRNvKR -> KRNvKR; KQRNvKR -> KQNvKR; KQRNvKR -> KQRNvK; KQRNvKR -> KQRvKR; KRNvKR -> KRvKN; KRNvKR -> KRNvK; KRNvKR -> KRvKR; KQNPvKR -> KQQNvKR; KQNPvKR -> KNPvKR; KQNPvKR -> KQRNvKR; KQNPvKR -> KQNPvK; KQNPvKR -> KQBNvKR; KQNPvKR -> KQNNvKR; KQNPvKR -> KQPvKR; KQNPvKR -> KQNvKR; KNPvKR -> KQNvKR; KNPvKR -> KRNvKR; KNPvKR -> KNPvK; KNPvKR -> KBNvKR; KNPvKR -> KNNvKR; KNPvKR -> KRvKP; KNPvKR -> KRvKN; KQQQNvKR -> KQQNvKR; KQQQNvKR -> KQQQNvK; KQQQNvKR -> KQQQvKR; KQQRNvKP -> KQQRNvKQ; KQQRNvKP -> KQRNvKP; KQQRNvKP -> KQQRNvKR; KQQRNvKP -> KQQNvKP; KQQRNvKP -> KQQRNvKB; KQQRNvKP -> KQQRNvKN; KQQRNvKP -> KQQRvKP; KQQRNvKP -> KQQRNvK; KQRNvKP -> KQRNvKQ; KQRNvKP -> KRNvKP; KQRNvKP -> KQRNvKR; KQRNvKP -> KQNvKP; KQRNvKP -> KQRNvKB; KQRNvKP -> KQRNvKN; KQRNvKP -> KQRvKP; KQRNvKP -> KQRNvK; KRNvKP -> KRNvKQ; KRNvKP -> KRNvKR; KRNvKP -> KNvKP; KRNvKP -> KRNvKB; KRNvKP -> KRNvKN; KRNvKP -> KRvKP; KRNvKP -> KRNvK; KRNvKQ -> KRNvK; KRNvKQ -> KQvKN; KRNvKQ -> KQvKR; KQRNvKQ -> KRNvKQ; KQRNvKQ -> KQRNvK; KQRNvKQ -> KQNvKQ; KQRNvKQ -> KQRvKQ; KQQRNvKQ -> KQRNvKQ; KQQRNvKQ -> KQQRNvK; KQQRNvKQ -> KQQNvKQ; KQQRNvKQ -> KQQRvKQ; KQNPvKP -> KQQNvKP; KQNPvKP -> KQNPvKQ; KQNPvKP -> KNPvKP; KQNPvKP -> KQRNvKP; KQNPvKP -> KQNPvKR; KQNPvKP -> KQBNvKP; KQNPvKP -> KQNPvKB; KQNPvKP -> KQNNvKP; KQNPvKP -> KQNPvKN; KQNPvKP -> KQPvKP; KQNPvKP -> KQNvKP; KQNPvKP -> KQNPvK; KNPvKP -> KQNvKP; KNPvKP -> KNPvKQ; KNPvKP -> KRNvKP; KNPvKP -> KNPvKR; KNPvKP -> KBNvKP; KNPvKP -> KNPvKB; KNPvKP -> KNNvKP; KNPvKP -> KNPvKN; KNPvKP -> KPvKP; KNPvKP -> KNvKP; KNPvKP -> KNPvK; KNPvKQ -> KQNvKQ; KNPvKQ -> KNPvK; KNPvKQ -> KRNvKQ; KNPvKQ -> KBNvKQ; KNPvKQ -> KNNvKQ; KNPvKQ -> KQvKP; KNPvKQ -> KQvKN; KQNPvKQ -> KQQNvKQ; KQNPvKQ -> KNPvKQ; KQNPvKQ -> KQNPvK; KQNPvKQ -> KQRNvKQ; KQNPvKQ -> KQBNvKQ; KQNPvKQ -> KQNNvKQ; KQNPvKQ -> KQPvKQ; KQNPvKQ -> KQNvKQ; KQQNPvKQ -> KQQQNvKQ; KQQNPvKQ -> KQNPvKQ; KQQNPvKQ -> KQQNPvK; KQQNPvKQ -> KQQRNvKQ; KQQNPvKQ -> KQQBNvKQ; KQQNPvKQ -> KQQNNvKQ; KQQNPvKQ -> KQQPvKQ; KQQNPvKQ -> KQQNvKQ; KQQQNvKQ -> KQQNvKQ; KQQQNvKQ -> KQQQNvK; KQQQNvKQ -> KQQQvKQ; KQQQNvKP -> KQQQNvKQ; KQQQNvKP -> KQQNvKP; KQQQNvKP -> KQQQNvKR; KQQQNvKP -> KQQQNvKB; KQQQNvKP -> KQQQNvKN; KQQQNvKP -> KQQQvKP; KQQQNvKP -> KQQQNvK; }