digraph Syzygy { KNPPvKRP -> KQNPvKRP; KNPPvKRP -> KNPPvKQR; KNPPvKRP -> KRNPvKRP; KNPPvKRP -> KNPPvKRR; KNPPvKRP -> KNPPvKP; KNPPvKRP -> KBNPvKRP; KNPPvKRP -> KNPPvKRB; KNPPvKRP -> KNNPvKRP; KNPPvKRP -> KNPPvKRN; KNPPvKRP -> KRPvKPP; KNPPvKRP -> KRPvKNP; KNPPvKRP -> KNPPvKR; KNPPvKR -> KQNPvKR; KNPPvKR -> KRNPvKR; KNPPvKR -> KNPPvK; KNPPvKR -> KBNPvKR; KNPPvKR -> KNNPvKR; KNPPvKR -> KPPvKR; KNPPvKR -> KNPvKR; KNPvKR -> KQNvKR; KNPvKR -> KRNvKR; KNPvKR -> KNPvK; KNPvKR -> KBNvKR; KNPvKR -> KNNvKR; KNPvKR -> KRvKP; KNPvKR -> KRvKN; KRvKN -> KNvK; KRvKN -> KRvK; 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; KNNvKR -> KNNvK; KNNvKR -> KRvKN; KNNvK -> KNvK; 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; KPPvKR -> KQPvKR; KPPvKR -> KRPvKR; KPPvKR -> KPPvK; KPPvKR -> KBPvKR; KPPvKR -> KNPvKR; KPPvKR -> KRvKP; KBPvKR -> KQBvKR; KBPvKR -> KRBvKR; KBPvKR -> KBPvK; KBPvKR -> KBBvKR; KBPvKR -> KRvKP; KBPvKR -> KBNvKR; KBPvKR -> KRvKB; KBBvKR -> KBBvK; KBBvKR -> KRvKB; KBBvK -> KBvK; KBPvK -> KQBvK; KBPvK -> KRBvK; KBPvK -> KBBvK; KBPvK -> KPvK; KBPvK -> KBNvK; KBPvK -> KBvK; KRBvK -> KBvK; KRBvK -> KRvK; KQBvK -> KBvK; KQBvK -> KQvK; KRBvKR -> KRvKB; KRBvKR -> KRBvK; KRBvKR -> KRvKR; KQBvKR -> KRvKB; KQBvKR -> KQBvK; KQBvKR -> KQvKR; KPPvK -> KQPvK; KPPvK -> KRPvK; KPPvK -> KBPvK; KPPvK -> KNPvK; KPPvK -> KPvK; KRPvK -> KQRvK; KRPvK -> KRRvK; KRPvK -> KPvK; KRPvK -> KRBvK; KRPvK -> KRNvK; KRPvK -> KRvK; KRRvK -> KRvK; KQRvK -> KRvK; KQRvK -> KQvK; KQPvK -> KQQvK; KQPvK -> KPvK; KQPvK -> KQRvK; KQPvK -> KQBvK; KQPvK -> KQNvK; KQPvK -> KQvK; KQQvK -> 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; KQPvKR -> KQQvKR; KQPvKR -> KRvKP; KQPvKR -> KQRvKR; KQPvKR -> KQPvK; KQPvKR -> KQBvKR; KQPvKR -> KQNvKR; KQPvKR -> KQvKR; KQQvKR -> KQvKR; KQQvKR -> KQQvK; KNNPvKR -> KQNNvKR; KNNPvKR -> KRNNvKR; KNNPvKR -> KNNPvK; KNNPvKR -> KBNNvKR; KNNPvKR -> KNNNvKR; KNNPvKR -> KNPvKR; KNNPvKR -> KNNvKR; 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; KBNPvKR -> KQBNvKR; KBNPvKR -> KRBNvKR; KBNPvKR -> KBNPvK; KBNPvKR -> KBBNvKR; KBNPvKR -> KNPvKR; KBNPvKR -> KBNNvKR; KBNPvKR -> KBPvKR; KBNPvKR -> KBNvKR; KBBNvKR -> KBBNvK; KBBNvKR -> KBNvKR; KBBNvKR -> KBBvKR; KBBNvK -> KBNvK; KBBNvK -> KBBvK; KBNPvK -> KQBNvK; KBNPvK -> KRBNvK; KBNPvK -> KBBNvK; KBNPvK -> KNPvK; KBNPvK -> KBNNvK; KBNPvK -> KBPvK; KBNPvK -> KBNvK; KRBNvK -> KBNvK; KRBNvK -> KRNvK; KRBNvK -> KRBvK; KQBNvK -> KBNvK; KQBNvK -> KQNvK; KQBNvK -> KQBvK; KRBNvKR -> KBNvKR; KRBNvKR -> KRBNvK; KRBNvKR -> KRNvKR; KRBNvKR -> KRBvKR; KQBNvKR -> KBNvKR; KQBNvKR -> KQBNvK; KQBNvKR -> KQNvKR; KQBNvKR -> KQBvKR; KNPPvK -> KQNPvK; KNPPvK -> KRNPvK; KNPPvK -> KBNPvK; KNPPvK -> KNNPvK; KNPPvK -> KPPvK; KNPPvK -> KNPvK; KRNPvK -> KQRNvK; KRNPvK -> KRRNvK; KRNPvK -> KNPvK; KRNPvK -> KRBNvK; KRNPvK -> KRNNvK; KRNPvK -> KRPvK; KRNPvK -> KRNvK; KRRNvK -> KRNvK; KRRNvK -> KRRvK; KQRNvK -> KRNvK; KQRNvK -> KQNvK; KQRNvK -> KQRvK; KQNPvK -> KQQNvK; KQNPvK -> KNPvK; KQNPvK -> KQRNvK; KQNPvK -> KQBNvK; KQNPvK -> KQNNvK; KQNPvK -> KQPvK; KQNPvK -> KQNvK; KQQNvK -> KQNvK; KQQNvK -> KQQvK; KRNPvKR -> KQRNvKR; KRNPvKR -> KRRNvKR; KRNPvKR -> KNPvKR; KRNPvKR -> KRNPvK; KRNPvKR -> KRBNvKR; KRNPvKR -> KRNNvKR; KRNPvKR -> KRPvKR; KRNPvKR -> KRNvKR; KRRNvKR -> KRNvKR; KRRNvKR -> KRRNvK; KRRNvKR -> KRRvKR; KQRNvKR -> KRNvKR; KQRNvKR -> KQNvKR; KQRNvKR -> KQRNvK; KQRNvKR -> KQRvKR; KQNPvKR -> KQQNvKR; KQNPvKR -> KNPvKR; KQNPvKR -> KQRNvKR; KQNPvKR -> KQNPvK; KQNPvKR -> KQBNvKR; KQNPvKR -> KQNNvKR; KQNPvKR -> KQPvKR; KQNPvKR -> KQNvKR; KQQNvKR -> KQNvKR; KQQNvKR -> KQQNvK; KQQNvKR -> KQQvKR; KRPvKNP -> KQRvKNP; KRPvKNP -> KQNvKRP; KRPvKNP -> KRRvKNP; KRPvKNP -> KRNvKRP; KRPvKNP -> KNPvKP; KRPvKNP -> KRBvKNP; KRPvKNP -> KRPvKBN; KRPvKNP -> KRNvKNP; KRPvKNP -> KRPvKNN; KRPvKNP -> KRPvKP; KRPvKNP -> KNPvKR; KRPvKNP -> KRPvKN; KRPvKN -> KQRvKN; KRPvKN -> KRRvKN; KRPvKN -> KNvKP; KRPvKN -> KRBvKN; KRPvKN -> KRNvKN; KRPvKN -> KRPvK; KRPvKN -> KRvKN; 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; 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; 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; 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; KRPvKNN -> KQRvKNN; KRPvKNN -> KRRvKNN; KRPvKNN -> KNNvKP; KRPvKNN -> KRBvKNN; KRPvKNN -> KRNvKNN; KRPvKNN -> KRPvKN; KRPvKNN -> KNNvKR; 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; 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; KRPvKPP -> KQRvKPP; KRPvKPP -> KQPvKRP; KRPvKPP -> KRRvKPP; KRPvKPP -> KRPvKRP; KRPvKPP -> KPPvKP; KRPvKPP -> KRBvKPP; KRPvKPP -> KRPvKBP; KRPvKPP -> KRNvKPP; KRPvKPP -> KRPvKNP; KRPvKPP -> KPPvKR; KRPvKPP -> KRPvKP; KRNvKPP -> KQPvKRN; KRNvKPP -> KRNvKRP; KRNvKPP -> KPPvKN; KRNvKPP -> KRNvKBP; KRNvKPP -> KRNvKNP; KRNvKPP -> KPPvKR; KRNvKPP -> KRNvKP; KRNvKBP -> KQBvKRN; KRNvKBP -> KRBvKRN; KRNvKBP -> KBPvKN; KRNvKBP -> KRNvKBB; KRNvKBP -> KRNvKP; KRNvKBP -> KRNvKBN; KRNvKBP -> KBPvKR; KRNvKBP -> KRNvKB; KRNvKBB -> KBBvKN; KRNvKBB -> KRNvKB; KRNvKBB -> KBBvKR; KBBvKN -> KBvKN; KBBvKN -> KBBvK; KBPvKN -> KQBvKN; KBPvKN -> KRBvKN; KBPvKN -> KBBvKN; KBPvKN -> KNvKP; KBPvKN -> KBNvKN; KBPvKN -> KBPvK; KBPvKN -> KBvKN; KQBvKN -> KBvKN; KQBvKN -> KQvKN; KQBvKN -> KQBvK; KQBvKRN -> KRNvKB; KQBvKRN -> KQBvKN; KQBvKRN -> KRNvKQ; KQBvKRN -> KQBvKR; KPPvKN -> KQPvKN; KPPvKN -> KRPvKN; KPPvKN -> KBPvKN; KPPvKN -> KNPvKN; KPPvKN -> KPPvK; KPPvKN -> KNvKP; KQPvKN -> KQQvKN; KQPvKN -> KNvKP; KQPvKN -> KQRvKN; KQPvKN -> KQBvKN; KQPvKN -> KQNvKN; KQPvKN -> KQPvK; KQPvKN -> KQvKN; KQQvKN -> KQvKN; KQQvKN -> KQQvK; KQPvKRN -> KQQvKRN; KQPvKRN -> KRNvKP; KQPvKRN -> KQRvKRN; KQPvKRN -> KQPvKN; KQPvKRN -> KQBvKRN; KQPvKRN -> KQNvKRN; KQPvKRN -> KQPvKR; KQPvKRN -> KRNvKQ; KQQvKRN -> KRNvKQ; KQQvKRN -> KQQvKN; KQQvKRN -> KQQvKR; KRPvKBP -> KQRvKBP; KRPvKBP -> KQBvKRP; KRPvKBP -> KRRvKBP; KRPvKBP -> KRBvKRP; KRPvKBP -> KBPvKP; KRPvKBP -> KRBvKBP; KRPvKBP -> KRPvKBB; KRPvKBP -> KRPvKP; KRPvKBP -> KRNvKBP; KRPvKBP -> KRPvKBN; KRPvKBP -> KBPvKR; KRPvKBP -> KRPvKB; KRPvKBB -> KQRvKBB; KRPvKBB -> KRRvKBB; KRPvKBB -> KBBvKP; KRPvKBB -> KRBvKBB; KRPvKBB -> KRPvKB; KRPvKBB -> KRNvKBB; KRPvKBB -> KBBvKR; KRBvKBB -> KBBvKB; KRBvKBB -> KBBvKR; KRBvKBB -> KRBvKB; KBBvKB -> KBvKB; KBBvKB -> KBBvK; KBBvKP -> KBBvKQ; KBBvKP -> KBBvKR; KBBvKP -> KBBvKB; KBBvKP -> KBvKP; KBBvKP -> KBBvKN; KBBvKP -> KBBvK; KBBvKQ -> KBBvK; KBBvKQ -> KQvKB; KRRvKBB -> KBBvKR; KRRvKBB -> KRRvKB; KQRvKBB -> KBBvKR; KQRvKBB -> KBBvKQ; KQRvKBB -> KQRvKB; KRBvKBP -> KQBvKRB; KRBvKBP -> KRBvKRB; KRBvKBP -> KBPvKB; KRBvKBP -> KRBvKBB; KRBvKBP -> KBPvKR; KRBvKBP -> KRBvKP; KRBvKBP -> KRBvKBN; KRBvKBP -> KRBvKB; KBPvKB -> KQBvKB; KBPvKB -> KRBvKB; KBPvKB -> KBBvKB; KBPvKB -> KBvKP; KBPvKB -> KBPvK; KBPvKB -> KBNvKB; KBPvKB -> KBvKB; KQBvKB -> KBvKB; KQBvKB -> KQvKB; KQBvKB -> KQBvK; KRBvKRB -> KRBvKB; KRBvKRB -> KRBvKR; KQBvKRB -> KRBvKB; KQBvKRB -> KQBvKB; KQBvKRB -> KRBvKQ; KQBvKRB -> KQBvKR; KBPvKP -> KQBvKP; KBPvKP -> KBPvKQ; KBPvKP -> KRBvKP; KBPvKP -> KBPvKR; KBPvKP -> KBBvKP; KBPvKP -> KBPvKB; KBPvKP -> KPvKP; KBPvKP -> KBNvKP; KBPvKP -> KBPvKN; KBPvKP -> KBvKP; KBPvKP -> KBPvK; KBPvKQ -> KQBvKQ; KBPvKQ -> KBPvK; KBPvKQ -> KRBvKQ; KBPvKQ -> KBBvKQ; KBPvKQ -> KQvKP; KBPvKQ -> KBNvKQ; KBPvKQ -> KQvKB; KQBvKQ -> KQvKB; KQBvKQ -> KQBvK; KQBvKQ -> KQvKQ; KQBvKP -> KQBvKQ; KQBvKP -> KBvKP; KQBvKP -> KQBvKR; KQBvKP -> KQBvKB; KQBvKP -> KQvKP; KQBvKP -> KQBvKN; KQBvKP -> KQBvK; KRBvKRP -> KQRvKRB; KRBvKRP -> KRRvKRB; KRBvKRP -> KRPvKB; KRBvKRP -> KRBvKP; KRBvKRP -> KRBvKRB; KRBvKRP -> KRPvKR; KRBvKRP -> KRBvKRN; KRBvKRP -> KRBvKR; KRRvKRB -> KRBvKR; KRRvKRB -> KRRvKB; KRRvKRB -> KRRvKR; KQRvKRB -> KRBvKR; KQRvKRB -> KRBvKQ; KQRvKRB -> KQRvKB; KQRvKRB -> KQRvKR; KRRvKBP -> KQBvKRR; KRRvKBP -> KRRvKRB; KRRvKBP -> KBPvKR; KRRvKBP -> KRRvKBB; KRRvKBP -> KRRvKP; KRRvKBP -> KRRvKBN; KRRvKBP -> KRRvKB; KQBvKRR -> KRRvKB; KQBvKRR -> KQBvKR; KQBvKRR -> KRRvKQ; KQBvKRP -> KQRvKQB; KQBvKRP -> KRPvKB; KQBvKRP -> KQBvKRR; KQBvKRP -> KQBvKP; KQBvKRP -> KQBvKRB; KQBvKRP -> KRPvKQ; KQBvKRP -> KQBvKRN; KQBvKRP -> KQBvKR; KQRvKQB -> KQBvKR; KQRvKQB -> KQRvKB; KQRvKQB -> KQBvKQ; KQRvKQB -> KQRvKQ; KQRvKBP -> KQRvKQB; KQRvKBP -> KBPvKR; KQRvKBP -> KQRvKRB; KQRvKBP -> KBPvKQ; KQRvKBP -> KQRvKBB; KQRvKBP -> KQRvKP; KQRvKBP -> KQRvKBN; KQRvKBP -> KQRvKB; KRBvKPP -> KQPvKRB; KRBvKPP -> KRBvKRP; KRBvKPP -> KPPvKB; KRBvKPP -> KRBvKBP; KRBvKPP -> KPPvKR; KRBvKPP -> KRBvKNP; KRBvKPP -> KRBvKP; KPPvKB -> KQPvKB; KPPvKB -> KRPvKB; KPPvKB -> KBPvKB; KPPvKB -> KPPvK; KPPvKB -> KNPvKB; KPPvKB -> KBvKP; KQPvKB -> KQQvKB; KQPvKB -> KBvKP; KQPvKB -> KQRvKB; KQPvKB -> KQBvKB; KQPvKB -> KQPvK; KQPvKB -> KQNvKB; KQPvKB -> KQvKB; KQQvKB -> KQvKB; KQQvKB -> KQQvK; KQPvKRB -> KQQvKRB; KQPvKRB -> KRBvKP; KQPvKRB -> KQRvKRB; KQPvKRB -> KQPvKB; KQPvKRB -> KQBvKRB; KQPvKRB -> KQPvKR; KQPvKRB -> KQNvKRB; KQPvKRB -> KRBvKQ; KQQvKRB -> KRBvKQ; KQQvKRB -> KQQvKB; KQQvKRB -> KQQvKR; KPPvKP -> KQPvKP; KPPvKP -> KPPvKQ; KPPvKP -> KRPvKP; KPPvKP -> KPPvKR; KPPvKP -> KBPvKP; KPPvKP -> KPPvKB; KPPvKP -> KNPvKP; KPPvKP -> KPPvKN; KPPvKP -> KPvKP; KPPvKP -> KPPvK; KPPvKQ -> KQPvKQ; KPPvKQ -> KPPvK; KPPvKQ -> KRPvKQ; KPPvKQ -> KBPvKQ; KPPvKQ -> KNPvKQ; KPPvKQ -> KQvKP; KQPvKQ -> KQQvKQ; KQPvKQ -> KQvKP; KQPvKQ -> KQPvK; KQPvKQ -> KQRvKQ; KQPvKQ -> KQBvKQ; KQPvKQ -> KQNvKQ; KQPvKQ -> KQvKQ; KQQvKQ -> KQvKQ; KQQvKQ -> KQQvK; KQPvKP -> KQQvKP; KQPvKP -> KQPvKQ; KQPvKP -> KPvKP; KQPvKP -> KQRvKP; KQPvKP -> KQPvKR; KQPvKP -> KQBvKP; KQPvKP -> KQPvKB; KQPvKP -> KQNvKP; KQPvKP -> KQPvKN; KQPvKP -> KQvKP; KQPvKP -> KQPvK; KQQvKP -> KQQvKQ; KQQvKP -> KQvKP; KQQvKP -> KQQvKR; KQQvKP -> KQQvKB; KQQvKP -> KQQvKN; KQQvKP -> KQQvK; KRPvKRP -> KQRvKRP; KRPvKRP -> KRRvKRP; KRPvKRP -> KRPvKP; KRPvKRP -> KRBvKRP; KRPvKRP -> KRNvKRP; KRPvKRP -> KRPvKR; KRRvKRP -> KQRvKRR; KRRvKRP -> KRRvKRR; KRRvKRP -> KRPvKR; KRRvKRP -> KRRvKP; KRRvKRP -> KRRvKRB; KRRvKRP -> KRRvKRN; KRRvKRP -> KRRvKR; KRRvKRR -> KRRvKR; KQRvKRR -> KRRvKR; KQRvKRR -> KRRvKQ; KQRvKRR -> KQRvKR; KQRvKRP -> KQRvKQR; KQRvKRP -> KRPvKR; KQRvKRP -> KQRvKRR; KQRvKRP -> KRPvKQ; KQRvKRP -> KQRvKP; KQRvKRP -> KQRvKRB; KQRvKRP -> KQRvKRN; KQRvKRP -> KQRvKR; KQRvKQR -> KQRvKR; KQRvKQR -> KQRvKQ; KRRvKPP -> KQPvKRR; KRRvKPP -> KRRvKRP; KRRvKPP -> KPPvKR; KRRvKPP -> KRRvKBP; KRRvKPP -> KRRvKNP; KRRvKPP -> KRRvKP; KQPvKRR -> KQQvKRR; KQPvKRR -> KRRvKP; KQPvKRR -> KQRvKRR; KQPvKRR -> KQPvKR; KQPvKRR -> KQBvKRR; KQPvKRR -> KQNvKRR; KQPvKRR -> KRRvKQ; KQQvKRR -> KRRvKQ; KQQvKRR -> KQQvKR; KQPvKRP -> KQQvKRP; KQPvKRP -> KQRvKQP; KQPvKRP -> KRPvKP; KQPvKRP -> KQRvKRP; KQPvKRP -> KQPvKRR; KQPvKRP -> KQPvKP; KQPvKRP -> KQBvKRP; KQPvKRP -> KQPvKRB; KQPvKRP -> KQNvKRP; KQPvKRP -> KQPvKRN; KQPvKRP -> KRPvKQ; KQPvKRP -> KQPvKR; KQRvKQP -> KQQvKQR; KQRvKQP -> KQPvKR; KQRvKQP -> KQRvKP; KQRvKQP -> KQRvKQR; KQRvKQP -> KQPvKQ; KQRvKQP -> KQRvKQB; KQRvKQP -> KQRvKQN; KQRvKQP -> KQRvKQ; KQQvKQR -> KQRvKQ; KQQvKQR -> KQQvKR; KQQvKQR -> KQQvKQ; KQQvKRP -> KQQvKQR; KQQvKRP -> KRPvKQ; KQQvKRP -> KQQvKRR; KQQvKRP -> KQQvKP; KQQvKRP -> KQQvKRB; KQQvKRP -> KQQvKRN; KQQvKRP -> KQQvKR; KQRvKPP -> KQRvKQP; KQRvKPP -> KPPvKR; KQRvKPP -> KQRvKRP; KQRvKPP -> KPPvKQ; KQRvKPP -> KQRvKBP; KQRvKPP -> KQRvKNP; KQRvKPP -> KQRvKP; KNPPvKRN -> KQNPvKRN; KNPPvKRN -> KRNPvKRN; KNPPvKRN -> KNPPvKN; KNPPvKRN -> KBNPvKRN; KNPPvKRN -> KNNPvKRN; KNPPvKRN -> KRNvKPP; KNPPvKRN -> KNPPvKR; KNPPvKRN -> KRNvKNP; 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; KBNPvKRN -> KQBNvKRN; KBNPvKRN -> KRBNvKRN; KBNPvKRN -> KBNPvKN; KBNPvKRN -> KBBNvKRN; KBNPvKRN -> KRNvKNP; KBNPvKRN -> KBNNvKRN; KBNPvKRN -> KRNvKBP; KBNPvKRN -> KBNPvKR; KBNPvKRN -> KRNvKBN; KBBNvKRN -> KBBNvKN; KBBNvKRN -> KRNvKBN; KBBNvKRN -> KRNvKBB; KBBNvKRN -> KBBNvKR; KBBNvKN -> KBNvKN; KBBNvKN -> KBBvKN; KBBNvKN -> KBBNvK; KBNPvKN -> KQBNvKN; KBNPvKN -> KRBNvKN; KBNPvKN -> KBBNvKN; KBNPvKN -> KNPvKN; KBNPvKN -> KBNNvKN; KBNPvKN -> KBPvKN; KBNPvKN -> KBNPvK; KBNPvKN -> KBNvKN; KRBNvKN -> KBNvKN; KRBNvKN -> KRNvKN; KRBNvKN -> KRBvKN; KRBNvKN -> KRBNvK; KQBNvKN -> KBNvKN; KQBNvKN -> KQNvKN; KQBNvKN -> KQBvKN; KQBNvKN -> KQBNvK; KRBNvKRN -> KRNvKBN; KRBNvKRN -> KRBNvKN; KRBNvKRN -> KRNvKRN; KRBNvKRN -> KRBvKRN; KRBNvKRN -> KRBNvKR; KQBNvKRN -> KRNvKBN; KQBNvKRN -> KQBNvKN; KQBNvKRN -> KQNvKRN; KQBNvKRN -> KQBvKRN; KQBNvKRN -> KQBNvKR; KNPPvKN -> KQNPvKN; KNPPvKN -> KRNPvKN; KNPPvKN -> KBNPvKN; KNPPvKN -> KNNPvKN; KNPPvKN -> KPPvKN; KNPPvKN -> KNPPvK; KNPPvKN -> KNPvKN; KRNPvKN -> KQRNvKN; KRNPvKN -> KRRNvKN; KRNPvKN -> KNPvKN; KRNPvKN -> KRBNvKN; KRNPvKN -> KRNNvKN; KRNPvKN -> KRPvKN; KRNPvKN -> KRNPvK; KRNPvKN -> KRNvKN; KRRNvKN -> KRNvKN; KRRNvKN -> KRRvKN; KRRNvKN -> KRRNvK; KQRNvKN -> KRNvKN; KQRNvKN -> KQNvKN; KQRNvKN -> KQRvKN; KQRNvKN -> KQRNvK; KQNPvKN -> KQQNvKN; KQNPvKN -> KNPvKN; KQNPvKN -> KQRNvKN; KQNPvKN -> KQBNvKN; KQNPvKN -> KQNNvKN; KQNPvKN -> KQPvKN; KQNPvKN -> KQNPvK; KQNPvKN -> KQNvKN; KQQNvKN -> KQNvKN; KQQNvKN -> KQQvKN; KQQNvKN -> KQQNvK; KRNPvKRN -> KQRNvKRN; KRNPvKRN -> KRRNvKRN; KRNPvKRN -> KRNvKNP; KRNPvKRN -> KRNPvKN; KRNPvKRN -> KRBNvKRN; KRNPvKRN -> KRNNvKRN; KRNPvKRN -> KRNvKRP; KRNPvKRN -> KRNPvKR; KRNPvKRN -> KRNvKRN; KRRNvKRN -> KRNvKRN; KRRNvKRN -> KRRNvKN; KRRNvKRN -> KRRvKRN; KRRNvKRN -> KRRNvKR; KQRNvKRN -> KRNvKRN; KQRNvKRN -> KQNvKRN; KQRNvKRN -> KQRNvKN; KQRNvKRN -> KQRvKRN; KQRNvKRN -> KQRNvKR; KQNPvKRN -> KQQNvKRN; KQNPvKRN -> KRNvKNP; KQNPvKRN -> KQRNvKRN; KQNPvKRN -> KQNPvKN; KQNPvKRN -> KQBNvKRN; KQNPvKRN -> KQNNvKRN; KQNPvKRN -> KQPvKRN; KQNPvKRN -> KQNPvKR; KQNPvKRN -> KQNvKRN; KQQNvKRN -> KQNvKRN; KQQNvKRN -> KQQNvKN; KQQNvKRN -> KQQvKRN; KQQNvKRN -> KQQNvKR; KNNPvKRP -> KQNNvKRP; KNNPvKRP -> KNNPvKQR; KNNPvKRP -> KRNNvKRP; KNNPvKRP -> KNNPvKRR; KNNPvKRP -> KNNPvKP; KNNPvKRP -> KBNNvKRP; KNNPvKRP -> KNNPvKRB; KNNPvKRP -> KNNNvKRP; KNNPvKRP -> KNNPvKRN; KNNPvKRP -> KRPvKNP; KNNPvKRP -> KRPvKNN; KNNPvKRP -> KNNPvKR; 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; KNPPvKRB -> KQNPvKRB; KNPPvKRB -> KRNPvKRB; KNPPvKRB -> KNPPvKB; KNPPvKRB -> KBNPvKRB; KNPPvKRB -> KNPPvKR; KNPPvKRB -> KNNPvKRB; KNPPvKRB -> KRBvKPP; KNPPvKRB -> KRBvKNP; KBNPvKRB -> KQBNvKRB; KBNPvKRB -> KRBNvKRB; KBNPvKRB -> KBNPvKB; KBNPvKRB -> KBBNvKRB; KBNPvKRB -> KRBvKNP; KBNPvKRB -> KBNPvKR; KBNPvKRB -> KBNNvKRB; KBNPvKRB -> KRBvKBP; KBNPvKRB -> KRBvKBN; KBBNvKRB -> KBBNvKB; KBBNvKRB -> KRBvKBN; KBBNvKRB -> KBBNvKR; KBBNvKRB -> KRBvKBB; KBBNvKB -> KBNvKB; KBBNvKB -> KBBNvK; KBBNvKB -> KBBvKB; KBNPvKB -> KQBNvKB; KBNPvKB -> KRBNvKB; KBNPvKB -> KBBNvKB; KBNPvKB -> KNPvKB; KBNPvKB -> KBNPvK; KBNPvKB -> KBNNvKB; KBNPvKB -> KBPvKB; KBNPvKB -> KBNvKB; KRBNvKB -> KBNvKB; KRBNvKB -> KRNvKB; KRBNvKB -> KRBNvK; KRBNvKB -> KRBvKB; KQBNvKB -> KBNvKB; KQBNvKB -> KQNvKB; KQBNvKB -> KQBNvK; KQBNvKB -> KQBvKB; KRBNvKRB -> KRBvKBN; KRBNvKRB -> KRBNvKB; KRBNvKRB -> KRBvKRN; KRBNvKRB -> KRBNvKR; KRBNvKRB -> KRBvKRB; KQBNvKRB -> KRBvKBN; KQBNvKRB -> KQBNvKB; KQBNvKRB -> KQNvKRB; KQBNvKRB -> KQBNvKR; KQBNvKRB -> KQBvKRB; KNPPvKB -> KQNPvKB; KNPPvKB -> KRNPvKB; KNPPvKB -> KBNPvKB; KNPPvKB -> KNPPvK; KNPPvKB -> KNNPvKB; KNPPvKB -> KPPvKB; KNPPvKB -> KNPvKB; KRNPvKB -> KQRNvKB; KRNPvKB -> KRRNvKB; KRNPvKB -> KNPvKB; KRNPvKB -> KRBNvKB; KRNPvKB -> KRNPvK; KRNPvKB -> KRNNvKB; KRNPvKB -> KRPvKB; KRNPvKB -> KRNvKB; KRRNvKB -> KRNvKB; KRRNvKB -> KRRNvK; KRRNvKB -> KRRvKB; KQRNvKB -> KRNvKB; KQRNvKB -> KQNvKB; KQRNvKB -> KQRNvK; KQRNvKB -> KQRvKB; KQNPvKB -> KQQNvKB; KQNPvKB -> KNPvKB; KQNPvKB -> KQRNvKB; KQNPvKB -> KQBNvKB; KQNPvKB -> KQNPvK; KQNPvKB -> KQNNvKB; KQNPvKB -> KQPvKB; KQNPvKB -> KQNvKB; KQQNvKB -> KQNvKB; KQQNvKB -> KQQNvK; KQQNvKB -> KQQvKB; KRNPvKRB -> KQRNvKRB; KRNPvKRB -> KRRNvKRB; KRNPvKRB -> KRBvKNP; KRNPvKRB -> KRNPvKB; KRNPvKRB -> KRBNvKRB; KRNPvKRB -> KRNPvKR; KRNPvKRB -> KRNNvKRB; KRNPvKRB -> KRBvKRP; KRNPvKRB -> KRBvKRN; KRRNvKRB -> KRBvKRN; KRRNvKRB -> KRRNvKB; KRRNvKRB -> KRRNvKR; KRRNvKRB -> KRRvKRB; KQRNvKRB -> KRBvKRN; KQRNvKRB -> KQNvKRB; KQRNvKRB -> KQRNvKB; KQRNvKRB -> KQRNvKR; KQRNvKRB -> KQRvKRB; KQNPvKRB -> KQQNvKRB; KQNPvKRB -> KRBvKNP; KQNPvKRB -> KQRNvKRB; KQNPvKRB -> KQNPvKB; KQNPvKRB -> KQBNvKRB; KQNPvKRB -> KQNPvKR; KQNPvKRB -> KQNNvKRB; KQNPvKRB -> KQPvKRB; KQNPvKRB -> KQNvKRB; KQQNvKRB -> KQNvKRB; KQQNvKRB -> KQQNvKB; KQQNvKRB -> KQQNvKR; KQQNvKRB -> KQQvKRB; KBNPvKRP -> KQBNvKRP; KBNPvKRP -> KBNPvKQR; KBNPvKRP -> KRBNvKRP; KBNPvKRP -> KBNPvKRR; KBNPvKRP -> KBNPvKP; KBNPvKRP -> KBBNvKRP; KBNPvKRP -> KBNPvKRB; KBNPvKRP -> KRPvKNP; KBNPvKRP -> KBNNvKRP; KBNPvKRP -> KBNPvKRN; KBNPvKRP -> KRPvKBP; KBNPvKRP -> KRPvKBN; KBNPvKRP -> KBNPvKR; KBBNvKRP -> KBBNvKQR; KBBNvKRP -> KBBNvKRR; KBBNvKRP -> KBBNvKP; KBBNvKRP -> KBBNvKRB; KBBNvKRP -> KRPvKBN; KBBNvKRP -> KBBNvKRN; KBBNvKRP -> KRPvKBB; KBBNvKRP -> KBBNvKR; KBBNvKP -> KBBNvKQ; KBBNvKP -> KBBNvKR; KBBNvKP -> KBBNvKB; KBBNvKP -> KBNvKP; KBBNvKP -> KBBNvKN; KBBNvKP -> KBBvKP; KBBNvKP -> KBBNvK; KBBNvKQ -> KBBNvK; KBBNvKQ -> KBNvKQ; KBBNvKQ -> KBBvKQ; KBBNvKRR -> KBBNvKR; KBBNvKRR -> KRRvKBN; KBBNvKRR -> KRRvKBB; KBBNvKQR -> KBBNvKR; KBBNvKQR -> KBBNvKQ; KBBNvKQR -> KQRvKBN; KBBNvKQR -> KQRvKBB; KBNPvKP -> KQBNvKP; KBNPvKP -> KBNPvKQ; KBNPvKP -> KRBNvKP; KBNPvKP -> KBNPvKR; KBNPvKP -> KBBNvKP; KBNPvKP -> KBNPvKB; KBNPvKP -> KNPvKP; KBNPvKP -> KBNNvKP; KBNPvKP -> KBNPvKN; KBNPvKP -> KBPvKP; KBNPvKP -> KBNvKP; KBNPvKP -> KBNPvK; KRBNvKP -> KRBNvKQ; KRBNvKP -> KRBNvKR; KRBNvKP -> KBNvKP; KRBNvKP -> KRBNvKB; KRBNvKP -> KRNvKP; KRBNvKP -> KRBNvKN; KRBNvKP -> KRBvKP; KRBNvKP -> KRBNvK; KRBNvKQ -> KRBNvK; KRBNvKQ -> KBNvKQ; KRBNvKQ -> KRNvKQ; KRBNvKQ -> KRBvKQ; KBNPvKQ -> KQBNvKQ; KBNPvKQ -> KBNPvK; KBNPvKQ -> KRBNvKQ; KBNPvKQ -> KBBNvKQ; KBNPvKQ -> KNPvKQ; KBNPvKQ -> KBNNvKQ; KBNPvKQ -> KBPvKQ; KBNPvKQ -> KBNvKQ; KQBNvKQ -> KBNvKQ; KQBNvKQ -> KQBNvK; KQBNvKQ -> KQNvKQ; KQBNvKQ -> KQBvKQ; KQBNvKP -> KQBNvKQ; KQBNvKP -> KBNvKP; KQBNvKP -> KQBNvKR; KQBNvKP -> KQBNvKB; KQBNvKP -> KQNvKP; KQBNvKP -> KQBNvKN; KQBNvKP -> KQBvKP; KQBNvKP -> KQBNvK; KBNPvKRR -> KQBNvKRR; KBNPvKRR -> KRBNvKRR; KBNPvKRR -> KBNPvKR; KBNPvKRR -> KBBNvKRR; KBNPvKRR -> KRRvKNP; KBNPvKRR -> KBNNvKRR; KBNPvKRR -> KRRvKBP; KBNPvKRR -> KRRvKBN; KRBNvKRR -> KRRvKBN; KRBNvKRR -> KRBNvKR; KRBNvKRR -> KRRvKRN; KRBNvKRR -> KRRvKRB; KQBNvKRR -> KRRvKBN; KQBNvKRR -> KQBNvKR; KQBNvKRR -> KQNvKRR; KQBNvKRR -> KQBvKRR; KRBNvKRP -> KRBNvKQR; KRBNvKRP -> KRBNvKRR; KRBNvKRP -> KRPvKBN; KRBNvKRP -> KRBNvKP; KRBNvKRP -> KRBNvKRB; KRBNvKRP -> KRNvKRP; KRBNvKRP -> KRBNvKRN; KRBNvKRP -> KRBvKRP; KRBNvKRP -> KRBNvKR; KRBNvKQR -> KRBNvKR; KRBNvKQR -> KQRvKBN; KRBNvKQR -> KRBNvKQ; KRBNvKQR -> KQRvKRN; KRBNvKQR -> KQRvKRB; KBNPvKQR -> KQBNvKQR; KBNPvKQR -> KBNPvKR; KBNPvKQR -> KRBNvKQR; KBNPvKQR -> KBNPvKQ; KBNPvKQR -> KBBNvKQR; KBNPvKQR -> KQRvKNP; KBNPvKQR -> KBNNvKQR; KBNPvKQR -> KQRvKBP; KBNPvKQR -> KQRvKBN; KQBNvKQR -> KQRvKBN; KQBNvKQR -> KQBNvKR; KQBNvKQR -> KQBNvKQ; KQBNvKQR -> KQRvKQN; KQBNvKQR -> KQRvKQB; KQBNvKRP -> KQBNvKQR; KQBNvKRP -> KRPvKBN; KQBNvKRP -> KQBNvKRR; KQBNvKRP -> KQBNvKP; KQBNvKRP -> KQBNvKRB; KQBNvKRP -> KQNvKRP; KQBNvKRP -> KQBNvKRN; KQBNvKRP -> KQBvKRP; KQBNvKRP -> KQBNvKR; KNPPvKP -> KQNPvKP; KNPPvKP -> KNPPvKQ; KNPPvKP -> KRNPvKP; KNPPvKP -> KNPPvKR; KNPPvKP -> KBNPvKP; KNPPvKP -> KNPPvKB; KNPPvKP -> KNNPvKP; KNPPvKP -> KNPPvKN; KNPPvKP -> KPPvKP; KNPPvKP -> KNPvKP; KNPPvKP -> KNPPvK; KRNPvKP -> KQRNvKP; KRNPvKP -> KRNPvKQ; KRNPvKP -> KRRNvKP; KRNPvKP -> KRNPvKR; KRNPvKP -> KNPvKP; KRNPvKP -> KRBNvKP; KRNPvKP -> KRNPvKB; KRNPvKP -> KRNNvKP; KRNPvKP -> KRNPvKN; KRNPvKP -> KRPvKP; KRNPvKP -> KRNvKP; KRNPvKP -> KRNPvK; KRRNvKP -> KRRNvKQ; KRRNvKP -> KRRNvKR; KRRNvKP -> KRNvKP; KRRNvKP -> KRRNvKB; KRRNvKP -> KRRNvKN; KRRNvKP -> KRRvKP; KRRNvKP -> KRRNvK; KRRNvKQ -> KRRNvK; KRRNvKQ -> KRNvKQ; KRRNvKQ -> KRRvKQ; KRNPvKQ -> KQRNvKQ; KRNPvKQ -> KRNPvK; KRNPvKQ -> KRRNvKQ; KRNPvKQ -> KNPvKQ; KRNPvKQ -> KRBNvKQ; KRNPvKQ -> KRNNvKQ; KRNPvKQ -> KRPvKQ; KRNPvKQ -> KRNvKQ; KQRNvKQ -> KRNvKQ; KQRNvKQ -> KQRNvK; KQRNvKQ -> KQNvKQ; KQRNvKQ -> KQRvKQ; KQRNvKP -> KQRNvKQ; KQRNvKP -> KRNvKP; KQRNvKP -> KQRNvKR; KQRNvKP -> KQNvKP; KQRNvKP -> KQRNvKB; KQRNvKP -> KQRNvKN; KQRNvKP -> KQRvKP; KQRNvKP -> KQRNvK; KNPPvKQ -> KQNPvKQ; KNPPvKQ -> KNPPvK; KNPPvKQ -> KRNPvKQ; KNPPvKQ -> KBNPvKQ; KNPPvKQ -> KNNPvKQ; KNPPvKQ -> KPPvKQ; KNPPvKQ -> KNPvKQ; KQNPvKQ -> KQQNvKQ; KQNPvKQ -> KNPvKQ; KQNPvKQ -> KQNPvK; KQNPvKQ -> KQRNvKQ; KQNPvKQ -> KQBNvKQ; KQNPvKQ -> KQNNvKQ; KQNPvKQ -> KQPvKQ; KQNPvKQ -> KQNvKQ; KQQNvKQ -> KQNvKQ; KQQNvKQ -> KQQNvK; KQQNvKQ -> KQQvKQ; KQNPvKP -> KQQNvKP; KQNPvKP -> KQNPvKQ; KQNPvKP -> KNPvKP; KQNPvKP -> KQRNvKP; KQNPvKP -> KQNPvKR; KQNPvKP -> KQBNvKP; KQNPvKP -> KQNPvKB; KQNPvKP -> KQNNvKP; KQNPvKP -> KQNPvKN; KQNPvKP -> KQPvKP; KQNPvKP -> KQNvKP; KQNPvKP -> KQNPvK; KQQNvKP -> KQQNvKQ; KQQNvKP -> KQNvKP; KQQNvKP -> KQQNvKR; KQQNvKP -> KQQNvKB; KQQNvKP -> KQQNvKN; KQQNvKP -> KQQvKP; KQQNvKP -> KQQNvK; KNPPvKRR -> KQNPvKRR; KNPPvKRR -> KRNPvKRR; KNPPvKRR -> KNPPvKR; KNPPvKRR -> KBNPvKRR; KNPPvKRR -> KNNPvKRR; KNPPvKRR -> KRRvKPP; KNPPvKRR -> KRRvKNP; KRNPvKRR -> KQRNvKRR; KRNPvKRR -> KRRNvKRR; KRNPvKRR -> KRRvKNP; KRNPvKRR -> KRNPvKR; KRNPvKRR -> KRBNvKRR; KRNPvKRR -> KRNNvKRR; KRNPvKRR -> KRRvKRP; KRNPvKRR -> KRRvKRN; KRRNvKRR -> KRRvKRN; KRRNvKRR -> KRRNvKR; KRRNvKRR -> KRRvKRR; KQRNvKRR -> KRRvKRN; KQRNvKRR -> KQNvKRR; KQRNvKRR -> KQRNvKR; KQRNvKRR -> KQRvKRR; KQNPvKRR -> KQQNvKRR; KQNPvKRR -> KRRvKNP; KQNPvKRR -> KQRNvKRR; KQNPvKRR -> KQNPvKR; KQNPvKRR -> KQBNvKRR; KQNPvKRR -> KQNNvKRR; KQNPvKRR -> KQPvKRR; KQNPvKRR -> KQNvKRR; KQQNvKRR -> KQNvKRR; KQQNvKRR -> KQQNvKR; KQQNvKRR -> KQQvKRR; KRNPvKRP -> KQRNvKRP; KRNPvKRP -> KRNPvKQR; KRNPvKRP -> KRRNvKRP; KRNPvKRP -> KRNPvKRR; KRNPvKRP -> KRPvKNP; KRNPvKRP -> KRNPvKP; KRNPvKRP -> KRBNvKRP; KRNPvKRP -> KRNPvKRB; KRNPvKRP -> KRNNvKRP; KRNPvKRP -> KRNPvKRN; KRNPvKRP -> KRPvKRP; KRNPvKRP -> KRNvKRP; KRNPvKRP -> KRNPvKR; KRRNvKRP -> KRRNvKQR; KRRNvKRP -> KRRNvKRR; KRRNvKRP -> KRNvKRP; KRRNvKRP -> KRRNvKP; KRRNvKRP -> KRRNvKRB; KRRNvKRP -> KRRNvKRN; KRRNvKRP -> KRRvKRP; KRRNvKRP -> KRRNvKR; KRRNvKQR -> KRRNvKR; KRRNvKQR -> KQRvKRN; KRRNvKQR -> KRRNvKQ; KRRNvKQR -> KQRvKRR; KRNPvKQR -> KQRNvKQR; KRNPvKQR -> KRNPvKR; KRNPvKQR -> KRRNvKQR; KRNPvKQR -> KQRvKNP; KRNPvKQR -> KRNPvKQ; KRNPvKQR -> KRBNvKQR; KRNPvKQR -> KRNNvKQR; KRNPvKQR -> KQRvKRP; KRNPvKQR -> KQRvKRN; KQRNvKQR -> KQRvKRN; KQRNvKQR -> KQRNvKR; KQRNvKQR -> KQRvKQN; KQRNvKQR -> KQRNvKQ; KQRNvKQR -> KQRvKQR; KQRNvKRP -> KQRNvKQR; KQRNvKRP -> KRNvKRP; KQRNvKRP -> KQRNvKRR; KQRNvKRP -> KQNvKRP; KQRNvKRP -> KQRNvKP; KQRNvKRP -> KQRNvKRB; KQRNvKRP -> KQRNvKRN; KQRNvKRP -> KQRvKRP; KQRNvKRP -> KQRNvKR; KNPPvKQR -> KQNPvKQR; KNPPvKQR -> KNPPvKR; KNPPvKQR -> KRNPvKQR; KNPPvKQR -> KNPPvKQ; KNPPvKQR -> KBNPvKQR; KNPPvKQR -> KNNPvKQR; KNPPvKQR -> KQRvKPP; KNPPvKQR -> KQRvKNP; KQNPvKQR -> KQQNvKQR; KQNPvKQR -> KQRvKNP; KQNPvKQR -> KQNPvKR; KQNPvKQR -> KQRNvKQR; KQNPvKQR -> KQNPvKQ; KQNPvKQR -> KQBNvKQR; KQNPvKQR -> KQNNvKQR; KQNPvKQR -> KQRvKQP; KQNPvKQR -> KQRvKQN; KQQNvKQR -> KQRvKQN; KQQNvKQR -> KQQNvKR; KQQNvKQR -> KQQNvKQ; KQQNvKQR -> KQQvKQR; KQNPvKRP -> KQQNvKRP; KQNPvKRP -> KQNPvKQR; KQNPvKRP -> KRPvKNP; KQNPvKRP -> KQRNvKRP; KQNPvKRP -> KQNPvKRR; KQNPvKRP -> KQNPvKP; KQNPvKRP -> KQBNvKRP; KQNPvKRP -> KQNPvKRB; KQNPvKRP -> KQNNvKRP; KQNPvKRP -> KQNPvKRN; KQNPvKRP -> KQPvKRP; KQNPvKRP -> KQNvKRP; KQNPvKRP -> KQNPvKR; KQQNvKRP -> KQQNvKQR; KQQNvKRP -> KQNvKRP; KQQNvKRP -> KQQNvKRR; KQQNvKRP -> KQQNvKP; KQQNvKRP -> KQQNvKRB; KQQNvKRP -> KQQNvKRN; KQQNvKRP -> KQQvKRP; KQQNvKRP -> KQQNvKR; }