digraph Syzygy { KQBBPvKP -> KQQBBvKP; KQBBPvKP -> KQBBPvKQ; KQBBPvKP -> KBBPvKP; KQBBPvKP -> KQRBBvKP; KQBBPvKP -> KQBBPvKR; KQBBPvKP -> KQBBBvKP; KQBBPvKP -> KQBBPvKB; KQBBPvKP -> KQBPvKP; KQBBPvKP -> KQBBNvKP; KQBBPvKP -> KQBBPvKN; KQBBPvKP -> KQBBvKP; KQBBPvKP -> KQBBPvK; KQBBPvK -> KQQBBvK; KQBBPvK -> KBBPvK; KQBBPvK -> KQRBBvK; KQBBPvK -> KQBBBvK; KQBBPvK -> KQBPvK; KQBBPvK -> KQBBNvK; KQBBPvK -> KQBBvK; KQBBvK -> KBBvK; KQBBvK -> KQBvK; KQBvK -> KBvK; KQBvK -> KQvK; KBBvK -> KBvK; KQBBNvK -> KBBNvK; KQBBNvK -> KQBNvK; KQBBNvK -> KQBBvK; KQBNvK -> KBNvK; KQBNvK -> KQNvK; KQBNvK -> KQBvK; KQNvK -> KNvK; KQNvK -> KQvK; KBNvK -> KNvK; KBNvK -> KBvK; KBBNvK -> KBNvK; KBBNvK -> KBBvK; KQBPvK -> KQQBvK; KQBPvK -> KBPvK; KQBPvK -> KQRBvK; KQBPvK -> KQBBvK; KQBPvK -> KQPvK; KQBPvK -> KQBNvK; KQBPvK -> KQBvK; KQPvK -> KQQvK; KQPvK -> KPvK; KQPvK -> KQRvK; KQPvK -> KQBvK; KQPvK -> KQNvK; KQPvK -> KQvK; KQRvK -> KRvK; KQRvK -> KQvK; KPvK -> KQvK; KPvK -> KRvK; KPvK -> KBvK; KPvK -> KNvK; KQQvK -> KQvK; KQRBvK -> KRBvK; KQRBvK -> KQBvK; KQRBvK -> KQRvK; KRBvK -> KBvK; KRBvK -> KRvK; KBPvK -> KQBvK; KBPvK -> KRBvK; KBPvK -> KBBvK; KBPvK -> KPvK; KBPvK -> KBNvK; KBPvK -> KBvK; KQQBvK -> KQBvK; KQQBvK -> KQQvK; KQBBBvK -> KBBBvK; KQBBBvK -> KQBBvK; KBBBvK -> KBBvK; KQRBBvK -> KRBBvK; KQRBBvK -> KQBBvK; KQRBBvK -> KQRBvK; KRBBvK -> KBBvK; KRBBvK -> KRBvK; KBBPvK -> KQBBvK; KBBPvK -> KRBBvK; KBBPvK -> KBBBvK; KBBPvK -> KBPvK; KBBPvK -> KBBNvK; KBBPvK -> KBBvK; KQQBBvK -> KQBBvK; KQQBBvK -> KQQBvK; KQBBvKP -> KQBBvKQ; KQBBvKP -> KBBvKP; KQBBvKP -> KQBBvKR; KQBBvKP -> KQBBvKB; KQBBvKP -> KQBvKP; KQBBvKP -> KQBBvKN; KQBBvKP -> KQBBvK; KQBBvKN -> KBBvKN; KQBBvKN -> KQBvKN; KQBBvKN -> KQBBvK; KQBvKN -> KBvKN; KQBvKN -> KQvKN; KQBvKN -> KQBvK; KQvKN -> KNvK; KQvKN -> KQvK; KBvKN -> KNvK; KBvKN -> KBvK; KBBvKN -> KBvKN; KBBvKN -> KBBvK; KQBvKP -> KQBvKQ; KQBvKP -> KBvKP; KQBvKP -> KQBvKR; KQBvKP -> KQBvKB; KQBvKP -> KQvKP; KQBvKP -> KQBvKN; KQBvKP -> KQBvK; KQvKP -> KQvKQ; KQvKP -> KPvK; KQvKP -> KQvKR; KQvKP -> KQvKB; KQvKP -> KQvKN; KQvKP -> KQvK; KQvKB -> KBvK; KQvKB -> KQvK; KQvKR -> KRvK; KQvKR -> KQvK; KQvKQ -> KQvK; KQBvKB -> KBvKB; KQBvKB -> KQvKB; KQBvKB -> KQBvK; KBvKB -> KBvK; KQBvKR -> KRvKB; KQBvKR -> KQBvK; KQBvKR -> KQvKR; KRvKB -> KBvK; KRvKB -> KRvK; KBvKP -> KQvKB; KBvKP -> KRvKB; KBvKP -> KBvKB; KBvKP -> KPvK; KBvKP -> KBvKN; KBvKP -> KBvK; KQBvKQ -> KQvKB; KQBvKQ -> KQBvK; KQBvKQ -> KQvKQ; KQBBvKB -> KBBvKB; KQBBvKB -> KQBvKB; KQBBvKB -> KQBBvK; KBBvKB -> KBvKB; KBBvKB -> KBBvK; KQBBvKR -> KBBvKR; KQBBvKR -> KQBBvK; KQBBvKR -> KQBvKR; KBBvKR -> KBBvK; KBBvKR -> KRvKB; KBBvKP -> KBBvKQ; KBBvKP -> KBBvKR; KBBvKP -> KBBvKB; KBBvKP -> KBvKP; KBBvKP -> KBBvKN; KBBvKP -> KBBvK; KBBvKQ -> KBBvK; KBBvKQ -> KQvKB; KQBBvKQ -> KBBvKQ; KQBBvKQ -> KQBBvK; KQBBvKQ -> KQBvKQ; KQBBPvKN -> KQQBBvKN; KQBBPvKN -> KBBPvKN; KQBBPvKN -> KQRBBvKN; KQBBPvKN -> KQBBBvKN; KQBBPvKN -> KQBPvKN; KQBBPvKN -> KQBBNvKN; KQBBPvKN -> KQBBPvK; KQBBPvKN -> KQBBvKN; KQBBNvKN -> KBBNvKN; KQBBNvKN -> KQBNvKN; KQBBNvKN -> KQBBvKN; KQBBNvKN -> KQBBNvK; KQBNvKN -> KBNvKN; KQBNvKN -> KQNvKN; KQBNvKN -> KQBvKN; KQBNvKN -> KQBNvK; KQNvKN -> KNvKN; KQNvKN -> KQvKN; KQNvKN -> KQNvK; KNvKN -> KNvK; KBNvKN -> KNvKN; KBNvKN -> KBvKN; KBNvKN -> KBNvK; KBBNvKN -> KBNvKN; KBBNvKN -> KBBvKN; KBBNvKN -> KBBNvK; KQBPvKN -> KQQBvKN; KQBPvKN -> KBPvKN; KQBPvKN -> KQRBvKN; KQBPvKN -> KQBBvKN; KQBPvKN -> KQPvKN; KQBPvKN -> KQBNvKN; KQBPvKN -> KQBPvK; KQBPvKN -> KQBvKN; KQPvKN -> KQQvKN; KQPvKN -> KNvKP; KQPvKN -> KQRvKN; KQPvKN -> KQBvKN; KQPvKN -> KQNvKN; KQPvKN -> KQPvK; KQPvKN -> KQvKN; KQRvKN -> KRvKN; KQRvKN -> KQvKN; KQRvKN -> KQRvK; KRvKN -> KNvK; KRvKN -> KRvK; KNvKP -> KQvKN; KNvKP -> KRvKN; KNvKP -> KBvKN; KNvKP -> KNvKN; KNvKP -> KPvK; KNvKP -> KNvK; KQQvKN -> KQvKN; KQQvKN -> KQQvK; KQRBvKN -> KRBvKN; KQRBvKN -> KQBvKN; KQRBvKN -> KQRvKN; KQRBvKN -> KQRBvK; KRBvKN -> KBvKN; KRBvKN -> KRvKN; KRBvKN -> KRBvK; KBPvKN -> KQBvKN; KBPvKN -> KRBvKN; KBPvKN -> KBBvKN; KBPvKN -> KNvKP; KBPvKN -> KBNvKN; KBPvKN -> KBPvK; KBPvKN -> KBvKN; KQQBvKN -> KQBvKN; KQQBvKN -> KQQvKN; KQQBvKN -> KQQBvK; KQBBBvKN -> KBBBvKN; KQBBBvKN -> KQBBvKN; KQBBBvKN -> KQBBBvK; KBBBvKN -> KBBvKN; KBBBvKN -> KBBBvK; KQRBBvKN -> KRBBvKN; KQRBBvKN -> KQBBvKN; KQRBBvKN -> KQRBvKN; KQRBBvKN -> KQRBBvK; KRBBvKN -> KBBvKN; KRBBvKN -> KRBvKN; KRBBvKN -> KRBBvK; KBBPvKN -> KQBBvKN; KBBPvKN -> KRBBvKN; KBBPvKN -> KBBBvKN; KBBPvKN -> KBPvKN; KBBPvKN -> KBBNvKN; KBBPvKN -> KBBPvK; KBBPvKN -> KBBvKN; KQQBBvKN -> KQBBvKN; KQQBBvKN -> KQQBvKN; KQQBBvKN -> KQQBBvK; KQBBNvKP -> KQBBNvKQ; KQBBNvKP -> KBBNvKP; KQBBNvKP -> KQBBNvKR; KQBBNvKP -> KQBBNvKB; KQBBNvKP -> KQBNvKP; KQBBNvKP -> KQBBNvKN; KQBBNvKP -> KQBBvKP; KQBBNvKP -> KQBBNvK; KQBNvKP -> KQBNvKQ; KQBNvKP -> KBNvKP; KQBNvKP -> KQBNvKR; KQBNvKP -> KQBNvKB; KQBNvKP -> KQNvKP; KQBNvKP -> KQBNvKN; KQBNvKP -> KQBvKP; KQBNvKP -> KQBNvK; KQNvKP -> KQNvKQ; KQNvKP -> KNvKP; KQNvKP -> KQNvKR; KQNvKP -> KQNvKB; KQNvKP -> KQNvKN; KQNvKP -> KQvKP; KQNvKP -> KQNvK; KQNvKB -> KBvKN; KQNvKB -> KQNvK; KQNvKB -> KQvKB; KQNvKR -> KRvKN; KQNvKR -> KQNvK; KQNvKR -> KQvKR; KQNvKQ -> KQvKN; KQNvKQ -> KQNvK; KQNvKQ -> KQvKQ; KQBNvKB -> KBNvKB; KQBNvKB -> KQNvKB; KQBNvKB -> KQBNvK; KQBNvKB -> KQBvKB; KBNvKB -> KBvKN; KBNvKB -> KBNvK; KBNvKB -> KBvKB; KQBNvKR -> KBNvKR; KQBNvKR -> KQBNvK; KQBNvKR -> KQNvKR; KQBNvKR -> KQBvKR; KBNvKR -> KBNvK; KBNvKR -> KRvKN; KBNvKR -> KRvKB; 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; KQBBNvKB -> KBBNvKB; KQBBNvKB -> KQBNvKB; KQBBNvKB -> KQBBNvK; KQBBNvKB -> KQBBvKB; KBBNvKB -> KBNvKB; KBBNvKB -> KBBNvK; KBBNvKB -> KBBvKB; KQBBNvKR -> KBBNvKR; KQBBNvKR -> KQBBNvK; KQBBNvKR -> KQBNvKR; KQBBNvKR -> KQBBvKR; KBBNvKR -> KBBNvK; KBBNvKR -> KBNvKR; KBBNvKR -> KBBvKR; KBBNvKP -> KBBNvKQ; KBBNvKP -> KBBNvKR; KBBNvKP -> KBBNvKB; KBBNvKP -> KBNvKP; KBBNvKP -> KBBNvKN; KBBNvKP -> KBBvKP; KBBNvKP -> KBBNvK; KBBNvKQ -> KBBNvK; KBBNvKQ -> KBNvKQ; KBBNvKQ -> KBBvKQ; KQBBNvKQ -> KBBNvKQ; KQBBNvKQ -> KQBBNvK; KQBBNvKQ -> KQBNvKQ; KQBBNvKQ -> KQBBvKQ; KQBPvKP -> KQQBvKP; KQBPvKP -> KQBPvKQ; KQBPvKP -> KBPvKP; KQBPvKP -> KQRBvKP; KQBPvKP -> KQBPvKR; KQBPvKP -> KQBBvKP; KQBPvKP -> KQBPvKB; KQBPvKP -> KQPvKP; KQBPvKP -> KQBNvKP; KQBPvKP -> KQBPvKN; KQBPvKP -> KQBvKP; KQBPvKP -> KQBPvK; KQPvKP -> KQQvKP; KQPvKP -> KQPvKQ; KQPvKP -> KPvKP; KQPvKP -> KQRvKP; KQPvKP -> KQPvKR; KQPvKP -> KQBvKP; KQPvKP -> KQPvKB; KQPvKP -> KQNvKP; KQPvKP -> KQPvKN; KQPvKP -> KQvKP; KQPvKP -> KQPvK; KQPvKB -> KQQvKB; KQPvKB -> KBvKP; KQPvKB -> KQRvKB; KQPvKB -> KQBvKB; KQPvKB -> KQPvK; KQPvKB -> KQNvKB; KQPvKB -> KQvKB; KQRvKB -> KRvKB; KQRvKB -> KQvKB; KQRvKB -> KQRvK; KQQvKB -> KQvKB; KQQvKB -> KQQvK; KQPvKR -> KQQvKR; KQPvKR -> KRvKP; KQPvKR -> KQRvKR; KQPvKR -> KQPvK; KQPvKR -> KQBvKR; KQPvKR -> KQNvKR; KQPvKR -> KQvKR; KQRvKR -> KRvKR; KQRvKR -> KQvKR; KQRvKR -> KQRvK; KRvKR -> KRvK; KRvKP -> KQvKR; KRvKP -> KRvKR; KRvKP -> KPvK; KRvKP -> KRvKB; KRvKP -> KRvKN; KRvKP -> KRvK; KQQvKR -> KQvKR; KQQvKR -> KQQvK; KQRvKP -> KQRvKQ; KQRvKP -> KRvKP; KQRvKP -> KQRvKR; KQRvKP -> KQvKP; KQRvKP -> KQRvKB; KQRvKP -> KQRvKN; KQRvKP -> KQRvK; KQRvKQ -> KQvKR; KQRvKQ -> KQRvK; KQRvKQ -> KQvKQ; KPvKP -> KQvKP; KPvKP -> KRvKP; KPvKP -> KBvKP; KPvKP -> KNvKP; KPvKP -> KPvK; KQPvKQ -> KQQvKQ; KQPvKQ -> KQvKP; KQPvKQ -> KQPvK; KQPvKQ -> KQRvKQ; KQPvKQ -> KQBvKQ; KQPvKQ -> KQNvKQ; KQPvKQ -> KQvKQ; KQQvKQ -> KQvKQ; KQQvKQ -> KQQvK; KQQvKP -> KQQvKQ; KQQvKP -> KQvKP; KQQvKP -> KQQvKR; KQQvKP -> KQQvKB; KQQvKP -> KQQvKN; KQQvKP -> KQQvK; KQBPvKB -> KQQBvKB; KQBPvKB -> KBPvKB; KQBPvKB -> KQRBvKB; KQBPvKB -> KQBBvKB; KQBPvKB -> KQPvKB; KQBPvKB -> KQBPvK; KQBPvKB -> KQBNvKB; KQBPvKB -> KQBvKB; KQRBvKB -> KRBvKB; KQRBvKB -> KQBvKB; KQRBvKB -> KQRvKB; KQRBvKB -> KQRBvK; KRBvKB -> KBvKB; KRBvKB -> KRvKB; KRBvKB -> KRBvK; KBPvKB -> KQBvKB; KBPvKB -> KRBvKB; KBPvKB -> KBBvKB; KBPvKB -> KBvKP; KBPvKB -> KBPvK; KBPvKB -> KBNvKB; KBPvKB -> KBvKB; KQQBvKB -> KQBvKB; KQQBvKB -> KQQvKB; KQQBvKB -> KQQBvK; KQBPvKR -> KQQBvKR; KQBPvKR -> KBPvKR; KQBPvKR -> KQRBvKR; KQBPvKR -> KQBPvK; KQBPvKR -> KQBBvKR; KQBPvKR -> KQPvKR; KQBPvKR -> KQBNvKR; KQBPvKR -> KQBvKR; KQRBvKR -> KRBvKR; KQRBvKR -> KQBvKR; KQRBvKR -> KQRBvK; KQRBvKR -> KQRvKR; KRBvKR -> KRvKB; KRBvKR -> KRBvK; KRBvKR -> KRvKR; KBPvKR -> KQBvKR; KBPvKR -> KRBvKR; KBPvKR -> KBPvK; KBPvKR -> KBBvKR; KBPvKR -> KRvKP; KBPvKR -> KBNvKR; KBPvKR -> KRvKB; KQQBvKR -> KQBvKR; KQQBvKR -> KQQBvK; KQQBvKR -> KQQvKR; KQRBvKP -> KQRBvKQ; KQRBvKP -> KRBvKP; KQRBvKP -> KQRBvKR; KQRBvKP -> KQBvKP; KQRBvKP -> KQRBvKB; KQRBvKP -> KQRvKP; KQRBvKP -> KQRBvKN; KQRBvKP -> KQRBvK; KRBvKP -> KRBvKQ; KRBvKP -> KRBvKR; KRBvKP -> KBvKP; KRBvKP -> KRBvKB; KRBvKP -> KRvKP; KRBvKP -> KRBvKN; KRBvKP -> KRBvK; KRBvKQ -> KRBvK; KRBvKQ -> KQvKB; KRBvKQ -> KQvKR; KQRBvKQ -> KRBvKQ; KQRBvKQ -> KQRBvK; KQRBvKQ -> KQBvKQ; KQRBvKQ -> KQRvKQ; 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; KQBPvKQ -> KQQBvKQ; KQBPvKQ -> KBPvKQ; KQBPvKQ -> KQBPvK; KQBPvKQ -> KQRBvKQ; KQBPvKQ -> KQBBvKQ; KQBPvKQ -> KQPvKQ; KQBPvKQ -> KQBNvKQ; KQBPvKQ -> KQBvKQ; KQQBvKQ -> KQBvKQ; KQQBvKQ -> KQQBvK; KQQBvKQ -> KQQvKQ; KQQBvKP -> KQQBvKQ; KQQBvKP -> KQBvKP; KQQBvKP -> KQQBvKR; KQQBvKP -> KQQBvKB; KQQBvKP -> KQQvKP; KQQBvKP -> KQQBvKN; KQQBvKP -> KQQBvK; KQBBPvKB -> KQQBBvKB; KQBBPvKB -> KBBPvKB; KQBBPvKB -> KQRBBvKB; KQBBPvKB -> KQBBBvKB; KQBBPvKB -> KQBPvKB; KQBBPvKB -> KQBBPvK; KQBBPvKB -> KQBBNvKB; KQBBPvKB -> KQBBvKB; KQBBBvKB -> KBBBvKB; KQBBBvKB -> KQBBvKB; KQBBBvKB -> KQBBBvK; KBBBvKB -> KBBvKB; KBBBvKB -> KBBBvK; KQRBBvKB -> KRBBvKB; KQRBBvKB -> KQBBvKB; KQRBBvKB -> KQRBvKB; KQRBBvKB -> KQRBBvK; KRBBvKB -> KBBvKB; KRBBvKB -> KRBvKB; KRBBvKB -> KRBBvK; KBBPvKB -> KQBBvKB; KBBPvKB -> KRBBvKB; KBBPvKB -> KBBBvKB; KBBPvKB -> KBPvKB; KBBPvKB -> KBBPvK; KBBPvKB -> KBBNvKB; KBBPvKB -> KBBvKB; KQQBBvKB -> KQBBvKB; KQQBBvKB -> KQQBvKB; KQQBBvKB -> KQQBBvK; KQBBBvKP -> KQBBBvKQ; KQBBBvKP -> KBBBvKP; KQBBBvKP -> KQBBBvKR; KQBBBvKP -> KQBBBvKB; KQBBBvKP -> KQBBvKP; KQBBBvKP -> KQBBBvKN; KQBBBvKP -> KQBBBvK; KQBBBvKR -> KBBBvKR; KQBBBvKR -> KQBBBvK; KQBBBvKR -> KQBBvKR; KBBBvKR -> KBBBvK; KBBBvKR -> KBBvKR; KBBBvKP -> KBBBvKQ; KBBBvKP -> KBBBvKR; KBBBvKP -> KBBBvKB; KBBBvKP -> KBBvKP; KBBBvKP -> KBBBvKN; KBBBvKP -> KBBBvK; KBBBvKQ -> KBBBvK; KBBBvKQ -> KBBvKQ; KQBBBvKQ -> KBBBvKQ; KQBBBvKQ -> KQBBBvK; KQBBBvKQ -> KQBBvKQ; KQBBPvKR -> KQQBBvKR; KQBBPvKR -> KBBPvKR; KQBBPvKR -> KQRBBvKR; KQBBPvKR -> KQBBPvK; KQBBPvKR -> KQBBBvKR; KQBBPvKR -> KQBPvKR; KQBBPvKR -> KQBBNvKR; KQBBPvKR -> KQBBvKR; KQRBBvKR -> KRBBvKR; KQRBBvKR -> KQBBvKR; KQRBBvKR -> KQRBBvK; KQRBBvKR -> KQRBvKR; KRBBvKR -> KBBvKR; KRBBvKR -> KRBBvK; KRBBvKR -> KRBvKR; KBBPvKR -> KQBBvKR; KBBPvKR -> KRBBvKR; KBBPvKR -> KBBPvK; KBBPvKR -> KBBBvKR; KBBPvKR -> KBPvKR; KBBPvKR -> KBBNvKR; KBBPvKR -> KBBvKR; KQQBBvKR -> KQBBvKR; KQQBBvKR -> KQQBBvK; KQQBBvKR -> KQQBvKR; KQRBBvKP -> KQRBBvKQ; KQRBBvKP -> KRBBvKP; KQRBBvKP -> KQRBBvKR; KQRBBvKP -> KQBBvKP; KQRBBvKP -> KQRBBvKB; KQRBBvKP -> KQRBvKP; KQRBBvKP -> KQRBBvKN; KQRBBvKP -> KQRBBvK; KRBBvKP -> KRBBvKQ; KRBBvKP -> KRBBvKR; KRBBvKP -> KBBvKP; KRBBvKP -> KRBBvKB; KRBBvKP -> KRBvKP; KRBBvKP -> KRBBvKN; KRBBvKP -> KRBBvK; KRBBvKQ -> KRBBvK; KRBBvKQ -> KBBvKQ; KRBBvKQ -> KRBvKQ; KQRBBvKQ -> KRBBvKQ; KQRBBvKQ -> KQRBBvK; KQRBBvKQ -> KQBBvKQ; KQRBBvKQ -> KQRBvKQ; KBBPvKP -> KQBBvKP; KBBPvKP -> KBBPvKQ; KBBPvKP -> KRBBvKP; KBBPvKP -> KBBPvKR; KBBPvKP -> KBBBvKP; KBBPvKP -> KBBPvKB; KBBPvKP -> KBPvKP; KBBPvKP -> KBBNvKP; KBBPvKP -> KBBPvKN; KBBPvKP -> KBBvKP; KBBPvKP -> KBBPvK; KBBPvKQ -> KQBBvKQ; KBBPvKQ -> KBBPvK; KBBPvKQ -> KRBBvKQ; KBBPvKQ -> KBBBvKQ; KBBPvKQ -> KBPvKQ; KBBPvKQ -> KBBNvKQ; KBBPvKQ -> KBBvKQ; KQBBPvKQ -> KQQBBvKQ; KQBBPvKQ -> KBBPvKQ; KQBBPvKQ -> KQBBPvK; KQBBPvKQ -> KQRBBvKQ; KQBBPvKQ -> KQBBBvKQ; KQBBPvKQ -> KQBPvKQ; KQBBPvKQ -> KQBBNvKQ; KQBBPvKQ -> KQBBvKQ; KQQBBvKQ -> KQBBvKQ; KQQBBvKQ -> KQQBBvK; KQQBBvKQ -> KQQBvKQ; KQQBBvKP -> KQQBBvKQ; KQQBBvKP -> KQBBvKP; KQQBBvKP -> KQQBBvKR; KQQBBvKP -> KQQBBvKB; KQQBBvKP -> KQQBvKP; KQQBBvKP -> KQQBBvKN; KQQBBvKP -> KQQBBvK; }