digraph Syzygy { KNPPvKP -> KQNPvKP; KNPPvKP -> KNPPvKQ; KNPPvKP -> KRNPvKP; KNPPvKP -> KNPPvKR; KNPPvKP -> KBNPvKP; KNPPvKP -> KNPPvKB; KNPPvKP -> KNNPvKP; KNPPvKP -> KNPPvKN; KNPPvKP -> KPPvKP; KNPPvKP -> KNPvKP; KNPPvKP -> KNPPvK; KNPPvK -> KQNPvK; KNPPvK -> KRNPvK; KNPPvK -> KBNPvK; KNPPvK -> KNNPvK; KNPPvK -> KPPvK; KNPPvK -> KNPvK; KNPvK -> KQNvK; KNPvK -> KRNvK; KNPvK -> KBNvK; KNPvK -> KNNvK; KNPvK -> KPvK; KNPvK -> KNvK; KPvK -> KQvK; KPvK -> KRvK; KPvK -> KBvK; KPvK -> KNvK; KNNvK -> KNvK; KBNvK -> KNvK; KBNvK -> KBvK; KRNvK -> KNvK; KRNvK -> KRvK; KQNvK -> KNvK; KQNvK -> KQvK; KPPvK -> KQPvK; KPPvK -> KRPvK; KPPvK -> KBPvK; KPPvK -> KNPvK; KPPvK -> KPvK; KBPvK -> KQBvK; KBPvK -> KRBvK; KBPvK -> KBBvK; KBPvK -> KPvK; KBPvK -> KBNvK; KBPvK -> KBvK; KBBvK -> KBvK; KRBvK -> KBvK; KRBvK -> KRvK; KQBvK -> KBvK; KQBvK -> KQvK; 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; KNNPvK -> KQNNvK; KNNPvK -> KRNNvK; KNNPvK -> KBNNvK; KNNPvK -> KNNNvK; KNNPvK -> KNPvK; KNNPvK -> KNNvK; KNNNvK -> KNNvK; KBNNvK -> KNNvK; KBNNvK -> KBNvK; KRNNvK -> KNNvK; KRNNvK -> KRNvK; KQNNvK -> KNNvK; KQNNvK -> KQNvK; KBNPvK -> KQBNvK; KBNPvK -> KRBNvK; KBNPvK -> KBBNvK; KBNPvK -> KNPvK; KBNPvK -> KBNNvK; KBNPvK -> KBPvK; KBNPvK -> KBNvK; KBBNvK -> KBNvK; KBBNvK -> KBBvK; KRBNvK -> KBNvK; KRBNvK -> KRNvK; KRBNvK -> KRBvK; KQBNvK -> KBNvK; KQBNvK -> KQNvK; KQBNvK -> KQBvK; 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; KNPvKP -> KQNvKP; KNPvKP -> KNPvKQ; KNPvKP -> KRNvKP; KNPvKP -> KNPvKR; KNPvKP -> KBNvKP; KNPvKP -> KNPvKB; KNPvKP -> KNNvKP; KNPvKP -> KNPvKN; KNPvKP -> KPvKP; KNPvKP -> KNvKP; KNPvKP -> KNPvK; KNvKP -> KQvKN; KNvKP -> KRvKN; KNvKP -> KBvKN; KNvKP -> KNvKN; KNvKP -> KPvK; KNvKP -> KNvK; KNvKN -> KNvK; KBvKN -> KNvK; KBvKN -> KBvK; KRvKN -> KNvK; KRvKN -> KRvK; KQvKN -> KNvK; KQvKN -> KQvK; KPvKP -> KQvKP; KPvKP -> KRvKP; KPvKP -> KBvKP; KPvKP -> KNvKP; KPvKP -> KPvK; KBvKP -> KQvKB; KBvKP -> KRvKB; KBvKP -> KBvKB; KBvKP -> KPvK; KBvKP -> KBvKN; KBvKP -> KBvK; KBvKB -> KBvK; KRvKB -> KBvK; KRvKB -> KRvK; KQvKB -> KBvK; KQvKB -> KQvK; KRvKP -> KQvKR; KRvKP -> KRvKR; KRvKP -> KPvK; KRvKP -> KRvKB; KRvKP -> KRvKN; KRvKP -> KRvK; KRvKR -> KRvK; KQvKR -> KRvK; KQvKR -> KQvK; KQvKP -> KQvKQ; KQvKP -> KPvK; KQvKP -> KQvKR; KQvKP -> KQvKB; KQvKP -> KQvKN; KQvKP -> KQvK; KQvKQ -> KQvK; KNPvKN -> KQNvKN; KNPvKN -> KRNvKN; KNPvKN -> KBNvKN; KNPvKN -> KNNvKN; KNPvKN -> KNvKP; KNPvKN -> KNPvK; KNPvKN -> KNvKN; KNNvKN -> KNvKN; KNNvKN -> KNNvK; KBNvKN -> KNvKN; KBNvKN -> KBvKN; KBNvKN -> KBNvK; KRNvKN -> KNvKN; KRNvKN -> KRvKN; KRNvKN -> KRNvK; KQNvKN -> KNvKN; KQNvKN -> KQvKN; KQNvKN -> KQNvK; KNNvKP -> KNNvKQ; KNNvKP -> KNNvKR; KNNvKP -> KNNvKB; KNNvKP -> KNNvKN; KNNvKP -> KNvKP; KNNvKP -> KNNvK; KNNvKB -> KNNvK; KNNvKB -> KBvKN; KNNvKR -> KNNvK; KNNvKR -> KRvKN; KNNvKQ -> KNNvK; KNNvKQ -> KQvKN; KNPvKB -> KQNvKB; KNPvKB -> KRNvKB; KNPvKB -> KBNvKB; KNPvKB -> KNPvK; KNPvKB -> KNNvKB; KNPvKB -> KBvKP; KNPvKB -> KBvKN; KBNvKB -> KBvKN; KBNvKB -> KBNvK; KBNvKB -> KBvKB; KRNvKB -> KBvKN; KRNvKB -> KRNvK; KRNvKB -> KRvKB; KQNvKB -> KBvKN; KQNvKB -> KQNvK; KQNvKB -> KQvKB; KBNvKP -> KBNvKQ; KBNvKP -> KBNvKR; KBNvKP -> KBNvKB; KBNvKP -> KNvKP; KBNvKP -> KBNvKN; KBNvKP -> KBvKP; KBNvKP -> KBNvK; KBNvKR -> KBNvK; KBNvKR -> KRvKN; KBNvKR -> KRvKB; KBNvKQ -> KBNvK; KBNvKQ -> KQvKN; KBNvKQ -> KQvKB; KNPvKR -> KQNvKR; KNPvKR -> KRNvKR; KNPvKR -> KNPvK; KNPvKR -> KBNvKR; KNPvKR -> KNNvKR; KNPvKR -> KRvKP; KNPvKR -> KRvKN; KRNvKR -> KRvKN; KRNvKR -> KRNvK; KRNvKR -> KRvKR; KQNvKR -> KRvKN; KQNvKR -> KQNvK; KQNvKR -> KQvKR; KRNvKP -> KRNvKQ; KRNvKP -> KRNvKR; KRNvKP -> KNvKP; KRNvKP -> KRNvKB; KRNvKP -> KRNvKN; KRNvKP -> KRvKP; KRNvKP -> KRNvK; KRNvKQ -> KRNvK; KRNvKQ -> KQvKN; KRNvKQ -> KQvKR; 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; KPPvKP -> KQPvKP; KPPvKP -> KPPvKQ; KPPvKP -> KRPvKP; KPPvKP -> KPPvKR; KPPvKP -> KBPvKP; KPPvKP -> KPPvKB; KPPvKP -> KNPvKP; KPPvKP -> KPPvKN; KPPvKP -> KPvKP; KPPvKP -> KPPvK; KPPvKN -> KQPvKN; KPPvKN -> KRPvKN; KPPvKN -> KBPvKN; KPPvKN -> KNPvKN; KPPvKN -> KPPvK; KPPvKN -> KNvKP; KBPvKN -> KQBvKN; KBPvKN -> KRBvKN; KBPvKN -> KBBvKN; KBPvKN -> KNvKP; KBPvKN -> KBNvKN; KBPvKN -> KBPvK; KBPvKN -> KBvKN; KBBvKN -> KBvKN; KBBvKN -> KBBvK; KRBvKN -> KBvKN; KRBvKN -> KRvKN; KRBvKN -> KRBvK; KQBvKN -> KBvKN; KQBvKN -> KQvKN; KQBvKN -> KQBvK; KRPvKN -> KQRvKN; KRPvKN -> KRRvKN; KRPvKN -> KNvKP; KRPvKN -> KRBvKN; KRPvKN -> KRNvKN; KRPvKN -> KRPvK; KRPvKN -> KRvKN; KRRvKN -> KRvKN; KRRvKN -> KRRvK; KQRvKN -> KRvKN; KQRvKN -> KQvKN; KQRvKN -> KQRvK; KQPvKN -> KQQvKN; KQPvKN -> KNvKP; KQPvKN -> KQRvKN; KQPvKN -> KQBvKN; KQPvKN -> KQNvKN; KQPvKN -> KQPvK; KQPvKN -> KQvKN; KQQvKN -> KQvKN; KQQvKN -> KQQvK; KPPvKB -> KQPvKB; KPPvKB -> KRPvKB; KPPvKB -> KBPvKB; KPPvKB -> KPPvK; KPPvKB -> KNPvKB; KPPvKB -> KBvKP; KBPvKB -> KQBvKB; KBPvKB -> KRBvKB; KBPvKB -> KBBvKB; KBPvKB -> KBvKP; KBPvKB -> KBPvK; KBPvKB -> KBNvKB; KBPvKB -> KBvKB; KBBvKB -> KBvKB; KBBvKB -> KBBvK; KRBvKB -> KBvKB; KRBvKB -> KRvKB; KRBvKB -> KRBvK; KQBvKB -> KBvKB; KQBvKB -> KQvKB; KQBvKB -> KQBvK; KRPvKB -> KQRvKB; KRPvKB -> KRRvKB; KRPvKB -> KBvKP; KRPvKB -> KRBvKB; KRPvKB -> KRPvK; KRPvKB -> KRNvKB; KRPvKB -> KRvKB; KRRvKB -> KRvKB; KRRvKB -> KRRvK; KQRvKB -> KRvKB; KQRvKB -> KQvKB; KQRvKB -> KQRvK; KQPvKB -> KQQvKB; KQPvKB -> KBvKP; KQPvKB -> KQRvKB; KQPvKB -> KQBvKB; KQPvKB -> KQPvK; KQPvKB -> KQNvKB; KQPvKB -> KQvKB; KQQvKB -> KQvKB; KQQvKB -> KQQvK; KBPvKP -> KQBvKP; KBPvKP -> KBPvKQ; KBPvKP -> KRBvKP; KBPvKP -> KBPvKR; KBPvKP -> KBBvKP; KBPvKP -> KBPvKB; KBPvKP -> KPvKP; KBPvKP -> KBNvKP; KBPvKP -> KBPvKN; KBPvKP -> KBvKP; KBPvKP -> KBPvK; KBBvKP -> KBBvKQ; KBBvKP -> KBBvKR; KBBvKP -> KBBvKB; KBBvKP -> KBvKP; KBBvKP -> KBBvKN; KBBvKP -> KBBvK; KBBvKR -> KBBvK; KBBvKR -> KRvKB; KBBvKQ -> KBBvK; KBBvKQ -> KQvKB; KBPvKR -> KQBvKR; KBPvKR -> KRBvKR; KBPvKR -> KBPvK; KBPvKR -> KBBvKR; KBPvKR -> KRvKP; KBPvKR -> KBNvKR; KBPvKR -> KRvKB; KRBvKR -> KRvKB; KRBvKR -> KRBvK; KRBvKR -> KRvKR; KQBvKR -> KRvKB; KQBvKR -> KQBvK; KQBvKR -> KQvKR; KRBvKP -> KRBvKQ; KRBvKP -> KRBvKR; KRBvKP -> KBvKP; KRBvKP -> KRBvKB; KRBvKP -> KRvKP; KRBvKP -> KRBvKN; KRBvKP -> KRBvK; KRBvKQ -> KRBvK; KRBvKQ -> KQvKB; KRBvKQ -> KQvKR; 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; KPPvKR -> KQPvKR; KPPvKR -> KRPvKR; KPPvKR -> KPPvK; KPPvKR -> KBPvKR; KPPvKR -> KNPvKR; KPPvKR -> KRvKP; 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; KRPvKP -> KQRvKP; KRPvKP -> KRPvKQ; KRPvKP -> KRRvKP; KRPvKP -> KRPvKR; KRPvKP -> KPvKP; KRPvKP -> KRBvKP; KRPvKP -> KRPvKB; KRPvKP -> KRNvKP; KRPvKP -> KRPvKN; KRPvKP -> KRvKP; KRPvKP -> KRPvK; 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; 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; KNPPvKN -> KQNPvKN; KNPPvKN -> KRNPvKN; KNPPvKN -> KBNPvKN; KNPPvKN -> KNNPvKN; KNPPvKN -> KPPvKN; KNPPvKN -> KNPPvK; KNPPvKN -> KNPvKN; KNNPvKN -> KQNNvKN; KNNPvKN -> KRNNvKN; KNNPvKN -> KBNNvKN; KNNPvKN -> KNNNvKN; KNNPvKN -> KNPvKN; KNNPvKN -> KNNPvK; KNNPvKN -> KNNvKN; KNNNvKN -> KNNvKN; KNNNvKN -> KNNNvK; KBNNvKN -> KNNvKN; KBNNvKN -> KBNvKN; KBNNvKN -> KBNNvK; KRNNvKN -> KNNvKN; KRNNvKN -> KRNvKN; KRNNvKN -> KRNNvK; KQNNvKN -> KNNvKN; KQNNvKN -> KQNvKN; KQNNvKN -> KQNNvK; KBNPvKN -> KQBNvKN; KBNPvKN -> KRBNvKN; KBNPvKN -> KBBNvKN; KBNPvKN -> KNPvKN; KBNPvKN -> KBNNvKN; KBNPvKN -> KBPvKN; KBNPvKN -> KBNPvK; KBNPvKN -> KBNvKN; KBBNvKN -> KBNvKN; KBBNvKN -> KBBvKN; KBBNvKN -> KBBNvK; KRBNvKN -> KBNvKN; KRBNvKN -> KRNvKN; KRBNvKN -> KRBvKN; KRBNvKN -> KRBNvK; KQBNvKN -> KBNvKN; KQBNvKN -> KQNvKN; KQBNvKN -> KQBvKN; KQBNvKN -> KQBNvK; 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; KNNPvKP -> KQNNvKP; KNNPvKP -> KNNPvKQ; KNNPvKP -> KRNNvKP; KNNPvKP -> KNNPvKR; KNNPvKP -> KBNNvKP; KNNPvKP -> KNNPvKB; KNNPvKP -> KNNNvKP; KNNPvKP -> KNNPvKN; KNNPvKP -> KNPvKP; KNNPvKP -> KNNvKP; KNNPvKP -> KNNPvK; KNNNvKP -> KNNNvKQ; KNNNvKP -> KNNNvKR; KNNNvKP -> KNNNvKB; KNNNvKP -> KNNNvKN; KNNNvKP -> KNNvKP; KNNNvKP -> KNNNvK; KNNNvKB -> KNNNvK; KNNNvKB -> KNNvKB; KNNNvKR -> KNNNvK; KNNNvKR -> KNNvKR; KNNNvKQ -> KNNNvK; KNNNvKQ -> KNNvKQ; KNNPvKB -> KQNNvKB; KNNPvKB -> KRNNvKB; KNNPvKB -> KBNNvKB; KNNPvKB -> KNNPvK; KNNPvKB -> KNNNvKB; KNNPvKB -> KNPvKB; KNNPvKB -> KNNvKB; KBNNvKB -> KNNvKB; KBNNvKB -> KBNNvK; KBNNvKB -> KBNvKB; KRNNvKB -> KNNvKB; KRNNvKB -> KRNNvK; KRNNvKB -> KRNvKB; KQNNvKB -> KNNvKB; KQNNvKB -> KQNNvK; KQNNvKB -> KQNvKB; KBNNvKP -> KBNNvKQ; KBNNvKP -> KBNNvKR; KBNNvKP -> KBNNvKB; KBNNvKP -> KNNvKP; KBNNvKP -> KBNNvKN; KBNNvKP -> KBNvKP; KBNNvKP -> KBNNvK; KBNNvKR -> KBNNvK; KBNNvKR -> KNNvKR; KBNNvKR -> KBNvKR; KBNNvKQ -> KBNNvK; KBNNvKQ -> KNNvKQ; KBNNvKQ -> KBNvKQ; KNNPvKR -> KQNNvKR; KNNPvKR -> KRNNvKR; KNNPvKR -> KNNPvK; KNNPvKR -> KBNNvKR; KNNPvKR -> KNNNvKR; KNNPvKR -> KNPvKR; KNNPvKR -> KNNvKR; KRNNvKR -> KNNvKR; KRNNvKR -> KRNNvK; KRNNvKR -> KRNvKR; KQNNvKR -> KNNvKR; KQNNvKR -> KQNNvK; KQNNvKR -> KQNvKR; 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; KNPPvKB -> KQNPvKB; KNPPvKB -> KRNPvKB; KNPPvKB -> KBNPvKB; KNPPvKB -> KNPPvK; KNPPvKB -> KNNPvKB; KNPPvKB -> KPPvKB; KNPPvKB -> KNPvKB; KBNPvKB -> KQBNvKB; KBNPvKB -> KRBNvKB; KBNPvKB -> KBBNvKB; KBNPvKB -> KNPvKB; KBNPvKB -> KBNPvK; KBNPvKB -> KBNNvKB; KBNPvKB -> KBPvKB; KBNPvKB -> KBNvKB; KBBNvKB -> KBNvKB; KBBNvKB -> KBBNvK; KBBNvKB -> KBBvKB; KRBNvKB -> KBNvKB; KRBNvKB -> KRNvKB; KRBNvKB -> KRBNvK; KRBNvKB -> KRBvKB; KQBNvKB -> KBNvKB; KQBNvKB -> KQNvKB; KQBNvKB -> KQBNvK; KQBNvKB -> KQBvKB; 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; KBNPvKP -> KQBNvKP; KBNPvKP -> KBNPvKQ; KBNPvKP -> KRBNvKP; KBNPvKP -> KBNPvKR; KBNPvKP -> KBBNvKP; KBNPvKP -> KBNPvKB; KBNPvKP -> KNPvKP; KBNPvKP -> KBNNvKP; KBNPvKP -> KBNPvKN; KBNPvKP -> KBPvKP; KBNPvKP -> KBNvKP; KBNPvKP -> KBNPvK; KBBNvKP -> KBBNvKQ; KBBNvKP -> KBBNvKR; KBBNvKP -> KBBNvKB; KBBNvKP -> KBNvKP; KBBNvKP -> KBBNvKN; KBBNvKP -> KBBvKP; KBBNvKP -> KBBNvK; KBBNvKR -> KBBNvK; KBBNvKR -> KBNvKR; KBBNvKR -> KBBvKR; KBBNvKQ -> KBBNvK; KBBNvKQ -> KBNvKQ; KBBNvKQ -> KBBvKQ; KBNPvKR -> KQBNvKR; KBNPvKR -> KRBNvKR; KBNPvKR -> KBNPvK; KBNPvKR -> KBBNvKR; KBNPvKR -> KNPvKR; KBNPvKR -> KBNNvKR; KBNPvKR -> KBPvKR; KBNPvKR -> KBNvKR; KRBNvKR -> KBNvKR; KRBNvKR -> KRBNvK; KRBNvKR -> KRNvKR; KRBNvKR -> KRBvKR; KQBNvKR -> KBNvKR; KQBNvKR -> KQBNvK; KQBNvKR -> KQNvKR; KQBNvKR -> KQBvKR; 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; KNPPvKR -> KQNPvKR; KNPPvKR -> KRNPvKR; KNPPvKR -> KNPPvK; KNPPvKR -> KBNPvKR; KNPPvKR -> KNNPvKR; KNPPvKR -> KPPvKR; KNPPvKR -> KNPvKR; 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; 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; }