digraph Syzygy { KNNPvKRP -> KQNNvKRP; KNNPvKRP -> KNNPvKQR; KNNPvKRP -> KRNNvKRP; KNNPvKRP -> KNNPvKRR; KNNPvKRP -> KNNPvKP; KNNPvKRP -> KBNNvKRP; KNNPvKRP -> KNNPvKRB; KNNPvKRP -> KNNNvKRP; KNNPvKRP -> KNNPvKRN; KNNPvKRP -> KRPvKNP; KNNPvKRP -> KRPvKNN; KNNPvKRP -> KNNPvKR; KNNPvKR -> KQNNvKR; KNNPvKR -> KRNNvKR; KNNPvKR -> KNNPvK; KNNPvKR -> KBNNvKR; KNNPvKR -> KNNNvKR; KNNPvKR -> KNPvKR; KNNPvKR -> KNNvKR; KNNvKR -> KNNvK; KNNvKR -> KRvKN; KRvKN -> KNvK; KRvKN -> KRvK; KNNvK -> KNvK; KNPvKR -> KQNvKR; KNPvKR -> KRNvKR; KNPvKR -> KNPvK; KNPvKR -> KBNvKR; KNPvKR -> KNNvKR; KNPvKR -> KRvKP; KNPvKR -> KRvKN; KRvKP -> KQvKR; KRvKP -> KRvKR; KRvKP -> KPvK; KRvKP -> KRvKB; KRvKP -> KRvKN; KRvKP -> KRvK; KRvKB -> KBvK; KRvKB -> KRvK; KPvK -> KQvK; KPvK -> KRvK; KPvK -> KBvK; KPvK -> KNvK; KRvKR -> KRvK; KQvKR -> KRvK; KQvKR -> KQvK; KBNvKR -> KBNvK; KBNvKR -> KRvKN; KBNvKR -> KRvKB; KBNvK -> KNvK; KBNvK -> KBvK; KNPvK -> KQNvK; KNPvK -> KRNvK; KNPvK -> KBNvK; KNPvK -> KNNvK; KNPvK -> KPvK; KNPvK -> KNvK; KRNvK -> KNvK; KRNvK -> KRvK; KQNvK -> KNvK; KQNvK -> KQvK; KRNvKR -> KRvKN; KRNvKR -> KRNvK; KRNvKR -> KRvKR; KQNvKR -> KRvKN; KQNvKR -> KQNvK; KQNvKR -> KQvKR; KNNNvKR -> KNNNvK; KNNNvKR -> KNNvKR; KNNNvK -> KNNvK; KBNNvKR -> KBNNvK; KBNNvKR -> KNNvKR; KBNNvKR -> KBNvKR; KBNNvK -> KNNvK; KBNNvK -> KBNvK; KNNPvK -> KQNNvK; KNNPvK -> KRNNvK; KNNPvK -> KBNNvK; KNNPvK -> KNNNvK; KNNPvK -> KNPvK; KNNPvK -> KNNvK; KRNNvK -> KNNvK; KRNNvK -> KRNvK; KQNNvK -> KNNvK; KQNNvK -> KQNvK; KRNNvKR -> KNNvKR; KRNNvKR -> KRNNvK; KRNNvKR -> KRNvKR; KQNNvKR -> KNNvKR; KQNNvKR -> KQNNvK; KQNNvKR -> KQNvKR; KRPvKNN -> KQRvKNN; KRPvKNN -> KRRvKNN; KRPvKNN -> KNNvKP; KRPvKNN -> KRBvKNN; KRPvKNN -> KRNvKNN; KRPvKNN -> KRPvKN; KRPvKNN -> KNNvKR; KRPvKN -> KQRvKN; KRPvKN -> KRRvKN; KRPvKN -> KNvKP; KRPvKN -> KRBvKN; KRPvKN -> KRNvKN; KRPvKN -> KRPvK; KRPvKN -> KRvKN; KRPvK -> KQRvK; KRPvK -> KRRvK; KRPvK -> KPvK; KRPvK -> KRBvK; KRPvK -> KRNvK; KRPvK -> KRvK; KRBvK -> KBvK; KRBvK -> KRvK; KRRvK -> KRvK; KQRvK -> KRvK; KQRvK -> KQvK; KRNvKN -> KNvKN; KRNvKN -> KRvKN; KRNvKN -> KRNvK; KNvKN -> KNvK; KRBvKN -> KBvKN; KRBvKN -> KRvKN; KRBvKN -> KRBvK; KBvKN -> KNvK; KBvKN -> KBvK; KNvKP -> KQvKN; KNvKP -> KRvKN; KNvKP -> KBvKN; KNvKP -> KNvKN; KNvKP -> KPvK; KNvKP -> KNvK; KQvKN -> KNvK; KQvKN -> KQvK; KRRvKN -> KRvKN; KRRvKN -> KRRvK; KQRvKN -> KRvKN; KQRvKN -> KQvKN; KQRvKN -> KQRvK; KRNvKNN -> KNNvKN; KRNvKNN -> KNNvKR; KRNvKNN -> KRNvKN; KNNvKN -> KNvKN; KNNvKN -> KNNvK; KRBvKNN -> KNNvKB; KRBvKNN -> KNNvKR; KRBvKNN -> KRBvKN; KNNvKB -> KNNvK; KNNvKB -> KBvKN; KNNvKP -> KNNvKQ; KNNvKP -> KNNvKR; KNNvKP -> KNNvKB; KNNvKP -> KNNvKN; KNNvKP -> KNvKP; KNNvKP -> KNNvK; KNNvKQ -> KNNvK; KNNvKQ -> KQvKN; KRRvKNN -> KNNvKR; KRRvKNN -> KRRvKN; KQRvKNN -> KNNvKR; KQRvKNN -> KNNvKQ; KQRvKNN -> KQRvKN; KRPvKNP -> KQRvKNP; KRPvKNP -> KQNvKRP; KRPvKNP -> KRRvKNP; KRPvKNP -> KRNvKRP; KRPvKNP -> KNPvKP; KRPvKNP -> KRBvKNP; KRPvKNP -> KRPvKBN; KRPvKNP -> KRNvKNP; KRPvKNP -> KRPvKNN; KRPvKNP -> KRPvKP; KRPvKNP -> KNPvKR; KRPvKNP -> KRPvKN; KRPvKP -> KQRvKP; KRPvKP -> KRPvKQ; KRPvKP -> KRRvKP; KRPvKP -> KRPvKR; KRPvKP -> KPvKP; KRPvKP -> KRBvKP; KRPvKP -> KRPvKB; KRPvKP -> KRNvKP; KRPvKP -> KRPvKN; KRPvKP -> KRvKP; KRPvKP -> KRPvK; KRNvKP -> KRNvKQ; KRNvKP -> KRNvKR; KRNvKP -> KNvKP; KRNvKP -> KRNvKB; KRNvKP -> KRNvKN; KRNvKP -> KRvKP; KRNvKP -> KRNvK; KRNvKB -> KBvKN; KRNvKB -> KRNvK; KRNvKB -> KRvKB; KRNvKQ -> KRNvK; KRNvKQ -> KQvKN; KRNvKQ -> KQvKR; KRPvKB -> KQRvKB; KRPvKB -> KRRvKB; KRPvKB -> KBvKP; KRPvKB -> KRBvKB; KRPvKB -> KRPvK; KRPvKB -> KRNvKB; KRPvKB -> KRvKB; KRBvKB -> KBvKB; KRBvKB -> KRvKB; KRBvKB -> KRBvK; KBvKB -> KBvK; KBvKP -> KQvKB; KBvKP -> KRvKB; KBvKP -> KBvKB; KBvKP -> KPvK; KBvKP -> KBvKN; KBvKP -> KBvK; KQvKB -> KBvK; KQvKB -> KQvK; KRRvKB -> KRvKB; KRRvKB -> KRRvK; KQRvKB -> KRvKB; KQRvKB -> KQvKB; KQRvKB -> KQRvK; KRBvKP -> KRBvKQ; KRBvKP -> KRBvKR; KRBvKP -> KBvKP; KRBvKP -> KRBvKB; KRBvKP -> KRvKP; KRBvKP -> KRBvKN; KRBvKP -> KRBvK; KRBvKR -> KRvKB; KRBvKR -> KRBvK; KRBvKR -> KRvKR; KRBvKQ -> KRBvK; KRBvKQ -> KQvKB; KRBvKQ -> KQvKR; KPvKP -> KQvKP; KPvKP -> KRvKP; KPvKP -> KBvKP; KPvKP -> KNvKP; KPvKP -> KPvK; KQvKP -> KQvKQ; KQvKP -> KPvK; KQvKP -> KQvKR; KQvKP -> KQvKB; KQvKP -> KQvKN; KQvKP -> KQvK; KQvKQ -> KQvK; KRPvKR -> KQRvKR; KRPvKR -> KRRvKR; KRPvKR -> KRvKP; KRPvKR -> KRPvK; KRPvKR -> KRBvKR; KRPvKR -> KRNvKR; KRPvKR -> KRvKR; KRRvKR -> KRvKR; KRRvKR -> KRRvK; KQRvKR -> KRvKR; KQRvKR -> KQvKR; KQRvKR -> KQRvK; KRRvKP -> KRRvKQ; KRRvKP -> KRRvKR; KRRvKP -> KRvKP; KRRvKP -> KRRvKB; KRRvKP -> KRRvKN; KRRvKP -> KRRvK; KRRvKQ -> KRRvK; KRRvKQ -> KQvKR; KRPvKQ -> KQRvKQ; KRPvKQ -> KRPvK; KRPvKQ -> KRRvKQ; KRPvKQ -> KQvKP; KRPvKQ -> KRBvKQ; KRPvKQ -> KRNvKQ; KRPvKQ -> KQvKR; KQRvKQ -> KQvKR; KQRvKQ -> KQRvK; KQRvKQ -> KQvKQ; KQRvKP -> KQRvKQ; KQRvKP -> KRvKP; KQRvKP -> KQRvKR; KQRvKP -> KQvKP; KQRvKP -> KQRvKB; KQRvKP -> KQRvKN; KQRvKP -> KQRvK; KRNvKNP -> KQNvKRN; KRNvKNP -> KRNvKRN; KRNvKNP -> KNPvKN; KRNvKNP -> KRNvKBN; KRNvKNP -> KRNvKNN; KRNvKNP -> KNPvKR; KRNvKNP -> KRNvKP; KRNvKNP -> KRNvKN; KRNvKBN -> KBNvKN; KRNvKBN -> KRNvKN; KRNvKBN -> KBNvKR; KRNvKBN -> KRNvKB; KBNvKN -> KNvKN; KBNvKN -> KBvKN; KBNvKN -> KBNvK; KNPvKN -> KQNvKN; KNPvKN -> KRNvKN; KNPvKN -> KBNvKN; KNPvKN -> KNNvKN; KNPvKN -> KNvKP; KNPvKN -> KNPvK; KNPvKN -> KNvKN; KQNvKN -> KNvKN; KQNvKN -> KQvKN; KQNvKN -> KQNvK; KRNvKRN -> KRNvKN; KRNvKRN -> KRNvKR; KQNvKRN -> KRNvKN; KQNvKRN -> KQNvKN; KQNvKRN -> KRNvKQ; KQNvKRN -> KQNvKR; KRPvKBN -> KQRvKBN; KRPvKBN -> KRRvKBN; KRPvKBN -> KBNvKP; KRPvKBN -> KRBvKBN; KRPvKBN -> KRPvKN; KRPvKBN -> KRNvKBN; KRPvKBN -> KRPvKB; KRPvKBN -> KBNvKR; KRBvKBN -> KBNvKB; KRBvKBN -> KBNvKR; KRBvKBN -> KRBvKN; KRBvKBN -> KRBvKB; KBNvKB -> KBvKN; KBNvKB -> KBNvK; KBNvKB -> KBvKB; KBNvKP -> KBNvKQ; KBNvKP -> KBNvKR; KBNvKP -> KBNvKB; KBNvKP -> KNvKP; KBNvKP -> KBNvKN; KBNvKP -> KBvKP; KBNvKP -> KBNvK; KBNvKQ -> KBNvK; KBNvKQ -> KQvKN; KBNvKQ -> KQvKB; KRRvKBN -> KBNvKR; KRRvKBN -> KRRvKN; KRRvKBN -> KRRvKB; KQRvKBN -> KBNvKR; KQRvKBN -> KBNvKQ; KQRvKBN -> KQRvKN; KQRvKBN -> KQRvKB; KRBvKNP -> KQNvKRB; KRBvKNP -> KRBvKRN; KRBvKNP -> KNPvKB; KRBvKNP -> KRBvKBN; KRBvKNP -> KNPvKR; KRBvKNP -> KRBvKNN; KRBvKNP -> KRBvKP; KRBvKNP -> KRBvKN; KNPvKB -> KQNvKB; KNPvKB -> KRNvKB; KNPvKB -> KBNvKB; KNPvKB -> KNPvK; KNPvKB -> KNNvKB; KNPvKB -> KBvKP; KNPvKB -> KBvKN; KQNvKB -> KBvKN; KQNvKB -> KQNvK; KQNvKB -> KQvKB; KRBvKRN -> KRNvKB; KRBvKRN -> KRBvKN; KRBvKRN -> KRNvKR; KRBvKRN -> KRBvKR; KQNvKRB -> KRBvKN; KQNvKRB -> KQNvKB; KQNvKRB -> KQNvKR; KQNvKRB -> KRBvKQ; 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; KQNvKQ -> KQvKN; KQNvKQ -> KQNvK; KQNvKQ -> KQvKQ; KQNvKP -> KQNvKQ; KQNvKP -> KNvKP; KQNvKP -> KQNvKR; KQNvKP -> KQNvKB; KQNvKP -> KQNvKN; KQNvKP -> KQvKP; KQNvKP -> KQNvK; KRNvKRP -> KQRvKRN; KRNvKRP -> KRRvKRN; KRNvKRP -> KRPvKN; KRNvKRP -> KRNvKP; KRNvKRP -> KRBvKRN; KRNvKRP -> KRNvKRN; KRNvKRP -> KRPvKR; KRNvKRP -> KRNvKR; KRRvKRN -> KRNvKR; KRRvKRN -> KRRvKN; KRRvKRN -> KRRvKR; KQRvKRN -> KRNvKR; KQRvKRN -> KRNvKQ; KQRvKRN -> KQRvKN; KQRvKRN -> KQRvKR; KRRvKNP -> KQNvKRR; KRRvKNP -> KRRvKRN; KRRvKNP -> KNPvKR; KRRvKNP -> KRRvKBN; KRRvKNP -> KRRvKNN; KRRvKNP -> KRRvKP; KRRvKNP -> KRRvKN; KQNvKRR -> KRRvKN; KQNvKRR -> KQNvKR; KQNvKRR -> KRRvKQ; KQNvKRP -> KQRvKQN; KQNvKRP -> KRPvKN; KQNvKRP -> KQNvKRR; KQNvKRP -> KQNvKP; KQNvKRP -> KQNvKRB; KQNvKRP -> KQNvKRN; KQNvKRP -> KRPvKQ; KQNvKRP -> KQNvKR; KQRvKQN -> KQNvKR; KQRvKQN -> KQRvKN; KQRvKQN -> KQNvKQ; KQRvKQN -> KQRvKQ; KQRvKNP -> KQRvKQN; KQRvKNP -> KNPvKR; KQRvKNP -> KQRvKRN; KQRvKNP -> KNPvKQ; KQRvKNP -> KQRvKBN; KQRvKNP -> KQRvKNN; KQRvKNP -> KQRvKP; KQRvKNP -> KQRvKN; KNNPvKRN -> KQNNvKRN; KNNPvKRN -> KRNNvKRN; KNNPvKRN -> KNNPvKN; KNNPvKRN -> KBNNvKRN; KNNPvKRN -> KNNNvKRN; KNNPvKRN -> KRNvKNP; KNNPvKRN -> KNNPvKR; KNNPvKRN -> KRNvKNN; KNNNvKRN -> KNNNvKN; KNNNvKRN -> KRNvKNN; KNNNvKRN -> KNNNvKR; KNNNvKN -> KNNvKN; KNNNvKN -> KNNNvK; KBNNvKRN -> KBNNvKN; KBNNvKRN -> KRNvKNN; KBNNvKRN -> KRNvKBN; KBNNvKRN -> KBNNvKR; KBNNvKN -> KNNvKN; KBNNvKN -> KBNvKN; KBNNvKN -> KBNNvK; KNNPvKN -> KQNNvKN; KNNPvKN -> KRNNvKN; KNNPvKN -> KBNNvKN; KNNPvKN -> KNNNvKN; KNNPvKN -> KNPvKN; KNNPvKN -> KNNPvK; KNNPvKN -> KNNvKN; KRNNvKN -> KNNvKN; KRNNvKN -> KRNvKN; KRNNvKN -> KRNNvK; KQNNvKN -> KNNvKN; KQNNvKN -> KQNvKN; KQNNvKN -> KQNNvK; KRNNvKRN -> KRNvKNN; KRNNvKRN -> KRNNvKN; KRNNvKRN -> KRNvKRN; KRNNvKRN -> KRNNvKR; KQNNvKRN -> KRNvKNN; KQNNvKRN -> KQNNvKN; KQNNvKRN -> KQNvKRN; KQNNvKRN -> KQNNvKR; KNNNvKRP -> KNNNvKQR; KNNNvKRP -> KNNNvKRR; KNNNvKRP -> KNNNvKP; KNNNvKRP -> KNNNvKRB; KNNNvKRP -> KNNNvKRN; KNNNvKRP -> KRPvKNN; KNNNvKRP -> KNNNvKR; KNNNvKRB -> KNNNvKB; KNNNvKRB -> KNNNvKR; KNNNvKRB -> KRBvKNN; KNNNvKB -> KNNNvK; KNNNvKB -> KNNvKB; KNNNvKP -> KNNNvKQ; KNNNvKP -> KNNNvKR; KNNNvKP -> KNNNvKB; KNNNvKP -> KNNNvKN; KNNNvKP -> KNNvKP; KNNNvKP -> KNNNvK; KNNNvKQ -> KNNNvK; KNNNvKQ -> KNNvKQ; KNNNvKRR -> KNNNvKR; KNNNvKRR -> KRRvKNN; KNNNvKQR -> KNNNvKR; KNNNvKQR -> KNNNvKQ; KNNNvKQR -> KQRvKNN; KNNPvKRB -> KQNNvKRB; KNNPvKRB -> KRNNvKRB; KNNPvKRB -> KNNPvKB; KNNPvKRB -> KBNNvKRB; KNNPvKRB -> KNNPvKR; KNNPvKRB -> KNNNvKRB; KNNPvKRB -> KRBvKNP; KNNPvKRB -> KRBvKNN; KBNNvKRB -> KBNNvKB; KBNNvKRB -> KRBvKNN; KBNNvKRB -> KBNNvKR; KBNNvKRB -> KRBvKBN; KBNNvKB -> KNNvKB; KBNNvKB -> KBNNvK; KBNNvKB -> KBNvKB; KNNPvKB -> KQNNvKB; KNNPvKB -> KRNNvKB; KNNPvKB -> KBNNvKB; KNNPvKB -> KNNPvK; KNNPvKB -> KNNNvKB; KNNPvKB -> KNPvKB; KNNPvKB -> KNNvKB; KRNNvKB -> KNNvKB; KRNNvKB -> KRNNvK; KRNNvKB -> KRNvKB; KQNNvKB -> KNNvKB; KQNNvKB -> KQNNvK; KQNNvKB -> KQNvKB; KRNNvKRB -> KRBvKNN; KRNNvKRB -> KRNNvKB; KRNNvKRB -> KRNNvKR; KRNNvKRB -> KRBvKRN; KQNNvKRB -> KRBvKNN; KQNNvKRB -> KQNNvKB; KQNNvKRB -> KQNNvKR; KQNNvKRB -> KQNvKRB; KBNNvKRP -> KBNNvKQR; KBNNvKRP -> KBNNvKRR; KBNNvKRP -> KBNNvKP; KBNNvKRP -> KBNNvKRB; KBNNvKRP -> KRPvKNN; KBNNvKRP -> KBNNvKRN; KBNNvKRP -> KRPvKBN; KBNNvKRP -> KBNNvKR; KBNNvKP -> KBNNvKQ; KBNNvKP -> KBNNvKR; KBNNvKP -> KBNNvKB; KBNNvKP -> KNNvKP; KBNNvKP -> KBNNvKN; KBNNvKP -> KBNvKP; KBNNvKP -> KBNNvK; KBNNvKQ -> KBNNvK; KBNNvKQ -> KNNvKQ; KBNNvKQ -> KBNvKQ; KBNNvKRR -> KBNNvKR; KBNNvKRR -> KRRvKNN; KBNNvKRR -> KRRvKBN; KBNNvKQR -> KBNNvKR; KBNNvKQR -> KBNNvKQ; KBNNvKQR -> KQRvKNN; KBNNvKQR -> KQRvKBN; KNNPvKP -> KQNNvKP; KNNPvKP -> KNNPvKQ; KNNPvKP -> KRNNvKP; KNNPvKP -> KNNPvKR; KNNPvKP -> KBNNvKP; KNNPvKP -> KNNPvKB; KNNPvKP -> KNNNvKP; KNNPvKP -> KNNPvKN; KNNPvKP -> KNPvKP; KNNPvKP -> KNNvKP; KNNPvKP -> KNNPvK; KRNNvKP -> KRNNvKQ; KRNNvKP -> KRNNvKR; KRNNvKP -> KNNvKP; KRNNvKP -> KRNNvKB; KRNNvKP -> KRNNvKN; KRNNvKP -> KRNvKP; KRNNvKP -> KRNNvK; KRNNvKQ -> KRNNvK; KRNNvKQ -> KNNvKQ; KRNNvKQ -> KRNvKQ; KNNPvKQ -> KQNNvKQ; KNNPvKQ -> KNNPvK; KNNPvKQ -> KRNNvKQ; KNNPvKQ -> KBNNvKQ; KNNPvKQ -> KNNNvKQ; KNNPvKQ -> KNPvKQ; KNNPvKQ -> KNNvKQ; KQNNvKQ -> KNNvKQ; KQNNvKQ -> KQNNvK; KQNNvKQ -> KQNvKQ; KQNNvKP -> KQNNvKQ; KQNNvKP -> KNNvKP; KQNNvKP -> KQNNvKR; KQNNvKP -> KQNNvKB; KQNNvKP -> KQNNvKN; KQNNvKP -> KQNvKP; KQNNvKP -> KQNNvK; KNNPvKRR -> KQNNvKRR; KNNPvKRR -> KRNNvKRR; KNNPvKRR -> KNNPvKR; KNNPvKRR -> KBNNvKRR; KNNPvKRR -> KNNNvKRR; KNNPvKRR -> KRRvKNP; KNNPvKRR -> KRRvKNN; KRNNvKRR -> KRRvKNN; KRNNvKRR -> KRNNvKR; KRNNvKRR -> KRRvKRN; KQNNvKRR -> KRRvKNN; KQNNvKRR -> KQNNvKR; KQNNvKRR -> KQNvKRR; KRNNvKRP -> KRNNvKQR; KRNNvKRP -> KRNNvKRR; KRNNvKRP -> KRPvKNN; KRNNvKRP -> KRNNvKP; KRNNvKRP -> KRNNvKRB; KRNNvKRP -> KRNNvKRN; KRNNvKRP -> KRNvKRP; KRNNvKRP -> KRNNvKR; KRNNvKQR -> KRNNvKR; KRNNvKQR -> KQRvKNN; KRNNvKQR -> KRNNvKQ; KRNNvKQR -> KQRvKRN; KNNPvKQR -> KQNNvKQR; KNNPvKQR -> KNNPvKR; KNNPvKQR -> KRNNvKQR; KNNPvKQR -> KNNPvKQ; KNNPvKQR -> KBNNvKQR; KNNPvKQR -> KNNNvKQR; KNNPvKQR -> KQRvKNP; KNNPvKQR -> KQRvKNN; KQNNvKQR -> KQRvKNN; KQNNvKQR -> KQNNvKR; KQNNvKQR -> KQNNvKQ; KQNNvKQR -> KQRvKQN; KQNNvKRP -> KQNNvKQR; KQNNvKRP -> KRPvKNN; KQNNvKRP -> KQNNvKRR; KQNNvKRP -> KQNNvKP; KQNNvKRP -> KQNNvKRB; KQNNvKRP -> KQNNvKRN; KQNNvKRP -> KQNvKRP; KQNNvKRP -> KQNNvKR; }