digraph Syzygy { KBPPvKRB -> KQBPvKRB; KBPPvKRB -> KRBPvKRB; KBPPvKRB -> KBPPvKB; KBPPvKRB -> KBBPvKRB; KBPPvKRB -> KRBvKPP; KBPPvKRB -> KBPPvKR; KBPPvKRB -> KBNPvKRB; KBPPvKRB -> KRBvKBP; KRBvKBP -> KQBvKRB; KRBvKBP -> KRBvKRB; KRBvKBP -> KBPvKB; KRBvKBP -> KRBvKBB; KRBvKBP -> KBPvKR; KRBvKBP -> KRBvKP; KRBvKBP -> KRBvKBN; KRBvKBP -> KRBvKB; KRBvKB -> KBvKB; KRBvKB -> KRvKB; KRBvKB -> KRBvK; KRBvK -> KBvK; KRBvK -> KRvK; KRvKB -> KBvK; KRvKB -> KRvK; KBvKB -> KBvK; KRBvKBN -> KBNvKB; KRBvKBN -> KBNvKR; KRBvKBN -> KRBvKN; KRBvKBN -> KRBvKB; KRBvKN -> KBvKN; KRBvKN -> KRvKN; KRBvKN -> KRBvK; KRvKN -> KNvK; KRvKN -> KRvK; KBvKN -> KNvK; KBvKN -> KBvK; KBNvKR -> KBNvK; KBNvKR -> KRvKN; KBNvKR -> KRvKB; KBNvK -> KNvK; KBNvK -> KBvK; KBNvKB -> KBvKN; KBNvKB -> KBNvK; KBNvKB -> KBvKB; KRBvKP -> KRBvKQ; KRBvKP -> KRBvKR; KRBvKP -> KBvKP; KRBvKP -> KRBvKB; KRBvKP -> KRvKP; KRBvKP -> KRBvKN; KRBvKP -> KRBvK; 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; KBvKP -> KQvKB; KBvKP -> KRvKB; KBvKP -> KBvKB; KBvKP -> KPvK; KBvKP -> KBvKN; KBvKP -> KBvK; KQvKB -> KBvK; KQvKB -> KQvK; KRBvKR -> KRvKB; KRBvKR -> KRBvK; KRBvKR -> KRvKR; KRBvKQ -> KRBvK; KRBvKQ -> KQvKB; KRBvKQ -> KQvKR; 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; KQBvK -> KBvK; KQBvK -> KQvK; KQBvKR -> KRvKB; KQBvKR -> KQBvK; KQBvKR -> KQvKR; KRBvKBB -> KBBvKB; KRBvKBB -> KBBvKR; KRBvKBB -> KRBvKB; KBBvKB -> KBvKB; KBBvKB -> KBBvK; 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; KBNPvKRB -> KQBNvKRB; KBNPvKRB -> KRBNvKRB; KBNPvKRB -> KBNPvKB; KBNPvKRB -> KBBNvKRB; KBNPvKRB -> KRBvKNP; KBNPvKRB -> KBNPvKR; KBNPvKRB -> KBNNvKRB; KBNPvKRB -> KRBvKBP; KBNPvKRB -> KRBvKBN; KBNNvKRB -> KBNNvKB; KBNNvKRB -> KRBvKNN; KBNNvKRB -> KBNNvKR; KBNNvKRB -> KRBvKBN; KBNNvKR -> KBNNvK; KBNNvKR -> KNNvKR; KBNNvKR -> KBNvKR; KNNvKR -> KNNvK; KNNvKR -> KRvKN; KNNvK -> KNvK; KBNNvK -> KNNvK; KBNNvK -> KBNvK; KRBvKNN -> KNNvKB; KRBvKNN -> KNNvKR; KRBvKNN -> KRBvKN; KNNvKB -> KNNvK; KNNvKB -> KBvKN; KBNNvKB -> KNNvKB; KBNNvKB -> KBNNvK; KBNNvKB -> KBNvKB; KBNPvKR -> KQBNvKR; KBNPvKR -> KRBNvKR; KBNPvKR -> KBNPvK; KBNPvKR -> KBBNvKR; KBNPvKR -> KNPvKR; KBNPvKR -> KBNNvKR; KBNPvKR -> KBPvKR; KBNPvKR -> KBNvKR; 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; 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; KRNvKB -> KBvKN; KRNvKB -> KRNvK; KRNvKB -> KRvKB; KQNvKB -> KBvKN; KQNvKB -> KQNvK; KQNvKB -> KQvKB; KRBvKRN -> KRNvKB; KRBvKRN -> KRBvKN; KRBvKRN -> KRNvKR; KRBvKRN -> KRBvKR; KQNvKRB -> KRBvKN; KQNvKRB -> KQNvKB; KQNvKRB -> KQNvKR; KQNvKRB -> KRBvKQ; 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; KBPPvKR -> KQBPvKR; KBPPvKR -> KRBPvKR; KBPPvKR -> KBPPvK; KBPPvKR -> KBBPvKR; KBPPvKR -> KPPvKR; KBPPvKR -> KBNPvKR; KBPPvKR -> KBPvKR; KPPvKR -> KQPvKR; KPPvKR -> KRPvKR; KPPvKR -> KPPvK; KPPvKR -> KBPvKR; KPPvKR -> KNPvKR; KPPvKR -> KRvKP; 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; KBBPvKR -> KQBBvKR; KBBPvKR -> KRBBvKR; KBBPvKR -> KBBPvK; KBBPvKR -> KBBBvKR; KBBPvKR -> KBPvKR; KBBPvKR -> KBBNvKR; KBBPvKR -> KBBvKR; KBBBvKR -> KBBBvK; KBBBvKR -> KBBvKR; KBBBvK -> KBBvK; KBBPvK -> KQBBvK; KBBPvK -> KRBBvK; KBBPvK -> KBBBvK; KBBPvK -> KBPvK; KBBPvK -> KBBNvK; KBBPvK -> KBBvK; KRBBvK -> KBBvK; KRBBvK -> KRBvK; KQBBvK -> KBBvK; KQBBvK -> KQBvK; KRBBvKR -> KBBvKR; KRBBvKR -> KRBBvK; KRBBvKR -> KRBvKR; KQBBvKR -> KBBvKR; KQBBvKR -> KQBBvK; KQBBvKR -> KQBvKR; KBPPvK -> KQBPvK; KBPPvK -> KRBPvK; KBPPvK -> KBBPvK; KBPPvK -> KPPvK; KBPPvK -> KBNPvK; KBPPvK -> KBPvK; KRBPvK -> KQRBvK; KRBPvK -> KRRBvK; KRBPvK -> KBPvK; KRBPvK -> KRBBvK; KRBPvK -> KRPvK; KRBPvK -> KRBNvK; KRBPvK -> KRBvK; KRRBvK -> KRBvK; KRRBvK -> KRRvK; KQRBvK -> KRBvK; KQRBvK -> KQBvK; KQRBvK -> KQRvK; KQBPvK -> KQQBvK; KQBPvK -> KBPvK; KQBPvK -> KQRBvK; KQBPvK -> KQBBvK; KQBPvK -> KQPvK; KQBPvK -> KQBNvK; KQBPvK -> KQBvK; KQQBvK -> KQBvK; KQQBvK -> KQQvK; KRBPvKR -> KQRBvKR; KRBPvKR -> KRRBvKR; KRBPvKR -> KBPvKR; KRBPvKR -> KRBPvK; KRBPvKR -> KRBBvKR; KRBPvKR -> KRPvKR; KRBPvKR -> KRBNvKR; KRBPvKR -> KRBvKR; KRRBvKR -> KRBvKR; KRRBvKR -> KRRBvK; KRRBvKR -> KRRvKR; KQRBvKR -> KRBvKR; KQRBvKR -> KQBvKR; KQRBvKR -> KQRBvK; KQRBvKR -> KQRvKR; KQBPvKR -> KQQBvKR; KQBPvKR -> KBPvKR; KQBPvKR -> KQRBvKR; KQBPvKR -> KQBPvK; KQBPvKR -> KQBBvKR; KQBPvKR -> KQPvKR; KQBPvKR -> KQBNvKR; KQBPvKR -> KQBvKR; KQQBvKR -> KQBvKR; KQQBvKR -> KQQBvK; KQQBvKR -> KQQvKR; 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; 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; 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; KQPvKRB -> KQQvKRB; KQPvKRB -> KRBvKP; KQPvKRB -> KQRvKRB; KQPvKRB -> KQPvKB; KQPvKRB -> KQBvKRB; KQPvKRB -> KQPvKR; KQPvKRB -> KQNvKRB; KQPvKRB -> KRBvKQ; KQQvKRB -> KRBvKQ; KQQvKRB -> KQQvKB; KQQvKRB -> KQQvKR; KBBPvKRB -> KQBBvKRB; KBBPvKRB -> KRBBvKRB; KBBPvKRB -> KBBPvKB; KBBPvKRB -> KBBBvKRB; KBBPvKRB -> KRBvKBP; KBBPvKRB -> KBBPvKR; KBBPvKRB -> KBBNvKRB; KBBPvKRB -> KRBvKBB; KBBBvKRB -> KBBBvKB; KBBBvKRB -> KRBvKBB; KBBBvKRB -> KBBBvKR; KBBBvKB -> KBBvKB; KBBBvKB -> KBBBvK; KBBPvKB -> KQBBvKB; KBBPvKB -> KRBBvKB; KBBPvKB -> KBBBvKB; KBBPvKB -> KBPvKB; KBBPvKB -> KBBPvK; KBBPvKB -> KBBNvKB; KBBPvKB -> KBBvKB; KRBBvKB -> KBBvKB; KRBBvKB -> KRBvKB; KRBBvKB -> KRBBvK; KQBBvKB -> KBBvKB; KQBBvKB -> KQBvKB; KQBBvKB -> KQBBvK; KRBBvKRB -> KRBvKBB; KRBBvKRB -> KRBBvKB; KRBBvKRB -> KRBvKRB; KRBBvKRB -> KRBBvKR; KQBBvKRB -> KRBvKBB; KQBBvKRB -> KQBBvKB; KQBBvKRB -> KQBvKRB; KQBBvKRB -> KQBBvKR; KBPPvKB -> KQBPvKB; KBPPvKB -> KRBPvKB; KBPPvKB -> KBBPvKB; KBPPvKB -> KPPvKB; KBPPvKB -> KBPPvK; KBPPvKB -> KBNPvKB; KBPPvKB -> KBPvKB; KRBPvKB -> KQRBvKB; KRBPvKB -> KRRBvKB; KRBPvKB -> KBPvKB; KRBPvKB -> KRBBvKB; KRBPvKB -> KRPvKB; KRBPvKB -> KRBPvK; KRBPvKB -> KRBNvKB; KRBPvKB -> KRBvKB; KRRBvKB -> KRBvKB; KRRBvKB -> KRRvKB; KRRBvKB -> KRRBvK; KQRBvKB -> KRBvKB; KQRBvKB -> KQBvKB; KQRBvKB -> KQRvKB; KQRBvKB -> KQRBvK; KQBPvKB -> KQQBvKB; KQBPvKB -> KBPvKB; KQBPvKB -> KQRBvKB; KQBPvKB -> KQBBvKB; KQBPvKB -> KQPvKB; KQBPvKB -> KQBPvK; KQBPvKB -> KQBNvKB; KQBPvKB -> KQBvKB; KQQBvKB -> KQBvKB; KQQBvKB -> KQQvKB; KQQBvKB -> KQQBvK; KRBPvKRB -> KQRBvKRB; KRBPvKRB -> KRRBvKRB; KRBPvKRB -> KRBvKBP; KRBPvKRB -> KRBPvKB; KRBPvKRB -> KRBBvKRB; KRBPvKRB -> KRBvKRP; KRBPvKRB -> KRBPvKR; KRBPvKRB -> KRBNvKRB; KRBPvKRB -> KRBvKRB; KRRBvKRB -> KRBvKRB; KRRBvKRB -> KRRBvKB; KRRBvKRB -> KRRvKRB; KRRBvKRB -> KRRBvKR; KQRBvKRB -> KRBvKRB; KQRBvKRB -> KQBvKRB; KQRBvKRB -> KQRBvKB; KQRBvKRB -> KQRvKRB; KQRBvKRB -> KQRBvKR; KQBPvKRB -> KQQBvKRB; KQBPvKRB -> KRBvKBP; KQBPvKRB -> KQRBvKRB; KQBPvKRB -> KQBPvKB; KQBPvKRB -> KQBBvKRB; KQBPvKRB -> KQPvKRB; KQBPvKRB -> KQBPvKR; KQBPvKRB -> KQBNvKRB; KQBPvKRB -> KQBvKRB; KQQBvKRB -> KQBvKRB; KQQBvKRB -> KQQBvKB; KQQBvKRB -> KQQvKRB; KQQBvKRB -> KQQBvKR; }