digraph Syzygy { 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; KBNPvKR -> KQBNvKR; KBNPvKR -> KRBNvKR; KBNPvKR -> KBNPvK; KBNPvKR -> KBBNvKR; KBNPvKR -> KNPvKR; KBNPvKR -> KBNNvKR; KBNPvKR -> KBPvKR; KBNPvKR -> KBNvKR; KBNvKR -> KBNvK; KBNvKR -> KRvKN; KBNvKR -> KRvKB; KRvKB -> KBvK; KRvKB -> KRvK; KRvKN -> KNvK; KRvKN -> KRvK; KBNvK -> KNvK; KBNvK -> KBvK; KBPvKR -> KQBvKR; KBPvKR -> KRBvKR; KBPvKR -> KBPvK; KBPvKR -> KBBvKR; KBPvKR -> KRvKP; KBPvKR -> KBNvKR; KBPvKR -> KRvKB; KRvKP -> KQvKR; KRvKP -> KRvKR; KRvKP -> KPvK; KRvKP -> KRvKB; KRvKP -> KRvKN; KRvKP -> KRvK; KPvK -> KQvK; KPvK -> KRvK; KPvK -> KBvK; KPvK -> KNvK; KRvKR -> KRvK; KQvKR -> KRvK; KQvKR -> KQvK; 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; KBNNvKR -> KBNNvK; KBNNvKR -> KNNvKR; KBNNvKR -> KBNvKR; KNNvKR -> KNNvK; KNNvKR -> KRvKN; KNNvK -> KNvK; KBNNvK -> KNNvK; KBNNvK -> KBNvK; KNPvKR -> KQNvKR; KNPvKR -> KRNvKR; KNPvKR -> KNPvK; KNPvKR -> KBNvKR; KNPvKR -> KNNvKR; KNPvKR -> KRvKP; KNPvKR -> KRvKN; 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; 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; KRPvKBN -> KQRvKBN; KRPvKBN -> KRRvKBN; KRPvKBN -> KBNvKP; KRPvKBN -> KRBvKBN; KRPvKBN -> KRPvKN; KRPvKBN -> KRNvKBN; KRPvKBN -> KRPvKB; KRPvKBN -> KBNvKR; KRPvKB -> KQRvKB; KRPvKB -> KRRvKB; KRPvKB -> KBvKP; KRPvKB -> KRBvKB; KRPvKB -> KRPvK; KRPvKB -> KRNvKB; KRPvKB -> KRvKB; KRNvKB -> KBvKN; KRNvKB -> KRNvK; KRNvKB -> KRvKB; KBvKN -> KNvK; KBvKN -> KBvK; KRPvK -> KQRvK; KRPvK -> KRRvK; KRPvK -> KPvK; KRPvK -> KRBvK; KRPvK -> KRNvK; KRPvK -> KRvK; KRRvK -> KRvK; KQRvK -> KRvK; KQRvK -> KQvK; 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; KRNvKBN -> KBNvKN; KRNvKBN -> KRNvKN; KRNvKBN -> KBNvKR; KRNvKBN -> KRNvKB; KRNvKN -> KNvKN; KRNvKN -> KRvKN; KRNvKN -> KRNvK; KNvKN -> KNvK; KBNvKN -> KNvKN; KBNvKN -> KBvKN; KBNvKN -> KBNvK; KRPvKN -> KQRvKN; KRPvKN -> KRRvKN; KRPvKN -> KNvKP; KRPvKN -> KRBvKN; KRPvKN -> KRNvKN; KRPvKN -> KRPvK; KRPvKN -> KRvKN; KRBvKN -> KBvKN; KRBvKN -> KRvKN; KRBvKN -> KRBvK; 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; 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; KRPvKBP -> KQRvKBP; KRPvKBP -> KQBvKRP; KRPvKBP -> KRRvKBP; KRPvKBP -> KRBvKRP; KRPvKBP -> KBPvKP; KRPvKBP -> KRBvKBP; KRPvKBP -> KRPvKBB; KRPvKBP -> KRPvKP; KRPvKBP -> KRNvKBP; KRPvKBP -> KRPvKBN; KRPvKBP -> KBPvKR; KRPvKBP -> KRPvKB; KRNvKBP -> KQBvKRN; KRNvKBP -> KRBvKRN; KRNvKBP -> KBPvKN; KRNvKBP -> KRNvKBB; KRNvKBP -> KRNvKP; KRNvKBP -> KRNvKBN; KRNvKBP -> KBPvKR; KRNvKBP -> KRNvKB; KRNvKP -> KRNvKQ; KRNvKP -> KRNvKR; KRNvKP -> KNvKP; KRNvKP -> KRNvKB; KRNvKP -> KRNvKN; KRNvKP -> KRvKP; KRNvKP -> KRNvK; KRNvKQ -> KRNvK; KRNvKQ -> KQvKN; KRNvKQ -> KQvKR; 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; KRBvKRN -> KRNvKB; KRBvKRN -> KRBvKN; KRBvKRN -> KRNvKR; KRBvKRN -> KRBvKR; KQBvKRN -> KRNvKB; KQBvKRN -> KQBvKN; KQBvKRN -> KRNvKQ; KQBvKRN -> KQBvKR; KRPvKP -> KQRvKP; KRPvKP -> KRPvKQ; KRPvKP -> KRRvKP; KRPvKP -> KRPvKR; KRPvKP -> KPvKP; KRPvKP -> KRBvKP; KRPvKP -> KRPvKB; KRPvKP -> KRNvKP; KRPvKP -> KRPvKN; KRPvKP -> KRvKP; KRPvKP -> KRPvK; 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; 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; 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; KBNPvKRN -> KQBNvKRN; KBNPvKRN -> KRBNvKRN; KBNPvKRN -> KBNPvKN; KBNPvKRN -> KBBNvKRN; KBNPvKRN -> KRNvKNP; KBNPvKRN -> KBNNvKRN; KBNPvKRN -> KRNvKBP; KBNPvKRN -> KBNPvKR; KBNPvKRN -> KRNvKBN; KBNNvKRN -> KBNNvKN; KBNNvKRN -> KRNvKNN; KBNNvKRN -> KRNvKBN; KBNNvKRN -> KBNNvKR; KRNvKNN -> KNNvKN; KRNvKNN -> KNNvKR; KRNvKNN -> KRNvKN; KNNvKN -> KNvKN; KNNvKN -> KNNvK; KBNNvKN -> KNNvKN; KBNNvKN -> KBNvKN; KBNNvKN -> KBNNvK; KRNvKNP -> KQNvKRN; KRNvKNP -> KRNvKRN; KRNvKNP -> KNPvKN; KRNvKNP -> KRNvKBN; KRNvKNP -> KRNvKNN; KRNvKNP -> KNPvKR; KRNvKNP -> KRNvKP; KRNvKNP -> KRNvKN; 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; 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; KBNNvKRP -> KBNNvKQR; KBNNvKRP -> KBNNvKRR; KBNNvKRP -> KBNNvKP; KBNNvKRP -> KBNNvKRB; KBNNvKRP -> KRPvKNN; KBNNvKRP -> KBNNvKRN; KBNNvKRP -> KRPvKBN; KBNNvKRP -> KBNNvKR; KRPvKNN -> KQRvKNN; KRPvKNN -> KRRvKNN; KRPvKNN -> KNNvKP; KRPvKNN -> KRBvKNN; KRPvKNN -> KRNvKNN; KRPvKNN -> KRPvKN; KRPvKNN -> KNNvKR; 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; KBNNvKRB -> KBNNvKB; KBNNvKRB -> KRBvKNN; KBNNvKRB -> KBNNvKR; KBNNvKRB -> KRBvKBN; KBNNvKB -> KNNvKB; KBNNvKB -> KBNNvK; KBNNvKB -> KBNvKB; 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; KRPvKNP -> KQRvKNP; KRPvKNP -> KQNvKRP; KRPvKNP -> KRRvKNP; KRPvKNP -> KRNvKRP; KRPvKNP -> KNPvKP; KRPvKNP -> KRBvKNP; KRPvKNP -> KRPvKBN; KRPvKNP -> KRNvKNP; KRPvKNP -> KRPvKNN; KRPvKNP -> KRPvKP; KRPvKNP -> KNPvKR; KRPvKNP -> KRPvKN; 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; 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; 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; 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; }