digraph Syzygy { KQPPvKRB -> KQQPvKRB; KQPPvKRB -> KRBvKPP; KQPPvKRB -> KQRPvKRB; KQPPvKRB -> KQPPvKB; KQPPvKRB -> KQBPvKRB; KQPPvKRB -> KQPPvKR; KQPPvKRB -> KQNPvKRB; KQPPvKRB -> KQPvKRB; KQPvKRB -> KQQvKRB; KQPvKRB -> KRBvKP; KQPvKRB -> KQRvKRB; KQPvKRB -> KQPvKB; KQPvKRB -> KQBvKRB; KQPvKRB -> KQPvKR; KQPvKRB -> KQNvKRB; KQPvKRB -> KRBvKQ; KRBvKQ -> KRBvK; KRBvKQ -> KQvKB; KRBvKQ -> KQvKR; KQvKR -> KRvK; KQvKR -> KQvK; KQvKB -> KBvK; KQvKB -> KQvK; KRBvK -> KBvK; KRBvK -> KRvK; KQNvKRB -> KRBvKN; KQNvKRB -> KQNvKB; KQNvKRB -> KQNvKR; KQNvKRB -> KRBvKQ; KQNvKR -> KRvKN; KQNvKR -> KQNvK; KQNvKR -> KQvKR; KQNvK -> KNvK; KQNvK -> KQvK; KRvKN -> KNvK; KRvKN -> KRvK; KQNvKB -> KBvKN; KQNvKB -> KQNvK; KQNvKB -> KQvKB; KBvKN -> KNvK; KBvKN -> KBvK; KRBvKN -> KBvKN; KRBvKN -> KRvKN; KRBvKN -> KRBvK; KQPvKR -> KQQvKR; KQPvKR -> KRvKP; KQPvKR -> KQRvKR; KQPvKR -> KQPvK; KQPvKR -> KQBvKR; KQPvKR -> KQNvKR; KQPvKR -> KQvKR; KQBvKR -> KRvKB; KQBvKR -> KQBvK; KQBvKR -> KQvKR; KQBvK -> KBvK; KQBvK -> KQvK; KRvKB -> KBvK; KRvKB -> KRvK; 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; KQRvKR -> KRvKR; KQRvKR -> KQvKR; KQRvKR -> KQRvK; KRvKR -> KRvK; KRvKP -> KQvKR; KRvKP -> KRvKR; KRvKP -> KPvK; KRvKP -> KRvKB; KRvKP -> KRvKN; KRvKP -> KRvK; KQQvKR -> KQvKR; KQQvKR -> KQQvK; KQBvKRB -> KRBvKB; KQBvKRB -> KQBvKB; KQBvKRB -> KRBvKQ; KQBvKRB -> KQBvKR; KQBvKB -> KBvKB; KQBvKB -> KQvKB; KQBvKB -> KQBvK; KBvKB -> KBvK; KRBvKB -> KBvKB; KRBvKB -> KRvKB; KRBvKB -> KRBvK; KQPvKB -> KQQvKB; KQPvKB -> KBvKP; KQPvKB -> KQRvKB; KQPvKB -> KQBvKB; KQPvKB -> KQPvK; KQPvKB -> KQNvKB; KQPvKB -> KQvKB; KQRvKB -> KRvKB; KQRvKB -> KQvKB; KQRvKB -> KQRvK; KBvKP -> KQvKB; KBvKP -> KRvKB; KBvKP -> KBvKB; KBvKP -> KPvK; KBvKP -> KBvKN; KBvKP -> KBvK; KQQvKB -> KQvKB; KQQvKB -> KQQvK; KQRvKRB -> KRBvKR; KQRvKRB -> KRBvKQ; KQRvKRB -> KQRvKB; KQRvKRB -> KQRvKR; KRBvKR -> KRvKB; KRBvKR -> KRBvK; KRBvKR -> KRvKR; KRBvKP -> KRBvKQ; KRBvKP -> KRBvKR; KRBvKP -> KBvKP; KRBvKP -> KRBvKB; KRBvKP -> KRvKP; KRBvKP -> KRBvKN; KRBvKP -> KRBvK; KQQvKRB -> KRBvKQ; KQQvKRB -> KQQvKB; KQQvKRB -> KQQvKR; KQNPvKRB -> KQQNvKRB; KQNPvKRB -> KRBvKNP; KQNPvKRB -> KQRNvKRB; KQNPvKRB -> KQNPvKB; KQNPvKRB -> KQBNvKRB; KQNPvKRB -> KQNPvKR; KQNPvKRB -> KQNNvKRB; KQNPvKRB -> KQPvKRB; KQNPvKRB -> KQNvKRB; KQNNvKRB -> KRBvKNN; KQNNvKRB -> KQNNvKB; KQNNvKRB -> KQNNvKR; KQNNvKRB -> KQNvKRB; KQNNvKR -> KNNvKR; KQNNvKR -> KQNNvK; KQNNvKR -> KQNvKR; KQNNvK -> KNNvK; KQNNvK -> KQNvK; KNNvK -> KNvK; KNNvKR -> KNNvK; KNNvKR -> KRvKN; KQNNvKB -> KNNvKB; KQNNvKB -> KQNNvK; KQNNvKB -> KQNvKB; KNNvKB -> KNNvK; KNNvKB -> KBvKN; KRBvKNN -> KNNvKB; KRBvKNN -> KNNvKR; KRBvKNN -> KRBvKN; KQNPvKR -> KQQNvKR; KQNPvKR -> KNPvKR; KQNPvKR -> KQRNvKR; KQNPvKR -> KQNPvK; KQNPvKR -> KQBNvKR; KQNPvKR -> KQNNvKR; KQNPvKR -> KQPvKR; KQNPvKR -> KQNvKR; KQBNvKR -> KBNvKR; KQBNvKR -> KQBNvK; KQBNvKR -> KQNvKR; KQBNvKR -> KQBvKR; KQBNvK -> KBNvK; KQBNvK -> KQNvK; KQBNvK -> KQBvK; KBNvK -> KNvK; KBNvK -> KBvK; KBNvKR -> KBNvK; KBNvKR -> KRvKN; KBNvKR -> KRvKB; KQNPvK -> KQQNvK; KQNPvK -> KNPvK; KQNPvK -> KQRNvK; KQNPvK -> KQBNvK; KQNPvK -> KQNNvK; KQNPvK -> KQPvK; KQNPvK -> KQNvK; KQRNvK -> KRNvK; KQRNvK -> KQNvK; KQRNvK -> KQRvK; KRNvK -> KNvK; KRNvK -> KRvK; KNPvK -> KQNvK; KNPvK -> KRNvK; KNPvK -> KBNvK; KNPvK -> KNNvK; KNPvK -> KPvK; KNPvK -> KNvK; KQQNvK -> KQNvK; KQQNvK -> KQQvK; KQRNvKR -> KRNvKR; KQRNvKR -> KQNvKR; KQRNvKR -> KQRNvK; KQRNvKR -> KQRvKR; KRNvKR -> KRvKN; KRNvKR -> KRNvK; KRNvKR -> KRvKR; KNPvKR -> KQNvKR; KNPvKR -> KRNvKR; KNPvKR -> KNPvK; KNPvKR -> KBNvKR; KNPvKR -> KNNvKR; KNPvKR -> KRvKP; KNPvKR -> KRvKN; KQQNvKR -> KQNvKR; KQQNvKR -> KQQNvK; KQQNvKR -> KQQvKR; KQBNvKRB -> KRBvKBN; KQBNvKRB -> KQBNvKB; KQBNvKRB -> KQNvKRB; KQBNvKRB -> KQBNvKR; KQBNvKRB -> KQBvKRB; KQBNvKB -> KBNvKB; KQBNvKB -> KQNvKB; KQBNvKB -> KQBNvK; KQBNvKB -> KQBvKB; KBNvKB -> KBvKN; KBNvKB -> KBNvK; KBNvKB -> KBvKB; KRBvKBN -> KBNvKB; KRBvKBN -> KBNvKR; KRBvKBN -> KRBvKN; KRBvKBN -> KRBvKB; KQNPvKB -> KQQNvKB; KQNPvKB -> KNPvKB; KQNPvKB -> KQRNvKB; KQNPvKB -> KQBNvKB; KQNPvKB -> KQNPvK; KQNPvKB -> KQNNvKB; KQNPvKB -> KQPvKB; KQNPvKB -> KQNvKB; KQRNvKB -> KRNvKB; KQRNvKB -> KQNvKB; KQRNvKB -> KQRNvK; KQRNvKB -> KQRvKB; KRNvKB -> KBvKN; KRNvKB -> KRNvK; KRNvKB -> KRvKB; KNPvKB -> KQNvKB; KNPvKB -> KRNvKB; KNPvKB -> KBNvKB; KNPvKB -> KNPvK; KNPvKB -> KNNvKB; KNPvKB -> KBvKP; KNPvKB -> KBvKN; KQQNvKB -> KQNvKB; KQQNvKB -> KQQNvK; KQQNvKB -> KQQvKB; KQRNvKRB -> KRBvKRN; KQRNvKRB -> KQNvKRB; KQRNvKRB -> KQRNvKB; KQRNvKRB -> KQRNvKR; KQRNvKRB -> KQRvKRB; KRBvKRN -> KRNvKB; KRBvKRN -> KRBvKN; KRBvKRN -> KRNvKR; KRBvKRN -> KRBvKR; KRBvKNP -> KQNvKRB; KRBvKNP -> KRBvKRN; KRBvKNP -> KNPvKB; KRBvKNP -> KRBvKBN; KRBvKNP -> KNPvKR; KRBvKNP -> KRBvKNN; KRBvKNP -> KRBvKP; KRBvKNP -> KRBvKN; KQQNvKRB -> KQNvKRB; KQQNvKRB -> KQQNvKB; KQQNvKRB -> KQQNvKR; KQQNvKRB -> KQQvKRB; KQPPvKR -> KQQPvKR; KQPPvKR -> KPPvKR; KQPPvKR -> KQRPvKR; KQPPvKR -> KQPPvK; KQPPvKR -> KQBPvKR; KQPPvKR -> KQNPvKR; KQPPvKR -> KQPvKR; KQBPvKR -> KQQBvKR; KQBPvKR -> KBPvKR; KQBPvKR -> KQRBvKR; KQBPvKR -> KQBPvK; KQBPvKR -> KQBBvKR; KQBPvKR -> KQPvKR; KQBPvKR -> KQBNvKR; KQBPvKR -> KQBvKR; KQBBvKR -> KBBvKR; KQBBvKR -> KQBBvK; KQBBvKR -> KQBvKR; KQBBvK -> KBBvK; KQBBvK -> KQBvK; KBBvK -> KBvK; KBBvKR -> KBBvK; KBBvKR -> KRvKB; KQBPvK -> KQQBvK; KQBPvK -> KBPvK; KQBPvK -> KQRBvK; KQBPvK -> KQBBvK; KQBPvK -> KQPvK; KQBPvK -> KQBNvK; KQBPvK -> KQBvK; KQRBvK -> KRBvK; KQRBvK -> KQBvK; KQRBvK -> KQRvK; KBPvK -> KQBvK; KBPvK -> KRBvK; KBPvK -> KBBvK; KBPvK -> KPvK; KBPvK -> KBNvK; KBPvK -> KBvK; KQQBvK -> KQBvK; KQQBvK -> KQQvK; KQRBvKR -> KRBvKR; KQRBvKR -> KQBvKR; KQRBvKR -> KQRBvK; KQRBvKR -> KQRvKR; KBPvKR -> KQBvKR; KBPvKR -> KRBvKR; KBPvKR -> KBPvK; KBPvKR -> KBBvKR; KBPvKR -> KRvKP; KBPvKR -> KBNvKR; KBPvKR -> KRvKB; KQQBvKR -> KQBvKR; KQQBvKR -> KQQBvK; KQQBvKR -> KQQvKR; KQPPvK -> KQQPvK; KQPPvK -> KPPvK; KQPPvK -> KQRPvK; KQPPvK -> KQBPvK; KQPPvK -> KQNPvK; KQPPvK -> KQPvK; KQRPvK -> KQQRvK; KQRPvK -> KRPvK; KQRPvK -> KQRRvK; KQRPvK -> KQPvK; KQRPvK -> KQRBvK; KQRPvK -> KQRNvK; KQRPvK -> KQRvK; KQRRvK -> KRRvK; KQRRvK -> KQRvK; KRRvK -> KRvK; KRPvK -> KQRvK; KRPvK -> KRRvK; KRPvK -> KPvK; KRPvK -> KRBvK; KRPvK -> KRNvK; KRPvK -> KRvK; KQQRvK -> KQRvK; KQQRvK -> KQQvK; KPPvK -> KQPvK; KPPvK -> KRPvK; KPPvK -> KBPvK; KPPvK -> KNPvK; KPPvK -> KPvK; KQQPvK -> KQQQvK; KQQPvK -> KQPvK; KQQPvK -> KQQRvK; KQQPvK -> KQQBvK; KQQPvK -> KQQNvK; KQQPvK -> KQQvK; KQQQvK -> KQQvK; KQRPvKR -> KQQRvKR; KQRPvKR -> KRPvKR; KQRPvKR -> KQRRvKR; KQRPvKR -> KQPvKR; KQRPvKR -> KQRPvK; KQRPvKR -> KQRBvKR; KQRPvKR -> KQRNvKR; KQRPvKR -> KQRvKR; KQRRvKR -> KRRvKR; KQRRvKR -> KQRvKR; KQRRvKR -> KQRRvK; KRRvKR -> KRvKR; KRRvKR -> KRRvK; KRPvKR -> KQRvKR; KRPvKR -> KRRvKR; KRPvKR -> KRvKP; KRPvKR -> KRPvK; KRPvKR -> KRBvKR; KRPvKR -> KRNvKR; KRPvKR -> KRvKR; KQQRvKR -> KQRvKR; KQQRvKR -> KQQvKR; KQQRvKR -> KQQRvK; KPPvKR -> KQPvKR; KPPvKR -> KRPvKR; KPPvKR -> KPPvK; KPPvKR -> KBPvKR; KPPvKR -> KNPvKR; KPPvKR -> KRvKP; KQQPvKR -> KQQQvKR; KQQPvKR -> KQPvKR; KQQPvKR -> KQQRvKR; KQQPvKR -> KQQPvK; KQQPvKR -> KQQBvKR; KQQPvKR -> KQQNvKR; KQQPvKR -> KQQvKR; KQQQvKR -> KQQvKR; KQQQvKR -> KQQQvK; KQBPvKRB -> KQQBvKRB; KQBPvKRB -> KRBvKBP; KQBPvKRB -> KQRBvKRB; KQBPvKRB -> KQBPvKB; KQBPvKRB -> KQBBvKRB; KQBPvKRB -> KQPvKRB; KQBPvKRB -> KQBPvKR; KQBPvKRB -> KQBNvKRB; KQBPvKRB -> KQBvKRB; KQBBvKRB -> KRBvKBB; KQBBvKRB -> KQBBvKB; KQBBvKRB -> KQBvKRB; KQBBvKRB -> KQBBvKR; KQBBvKB -> KBBvKB; KQBBvKB -> KQBvKB; KQBBvKB -> KQBBvK; KBBvKB -> KBvKB; KBBvKB -> KBBvK; KRBvKBB -> KBBvKB; KRBvKBB -> KBBvKR; KRBvKBB -> KRBvKB; KQBPvKB -> KQQBvKB; KQBPvKB -> KBPvKB; KQBPvKB -> KQRBvKB; KQBPvKB -> KQBBvKB; KQBPvKB -> KQPvKB; KQBPvKB -> KQBPvK; KQBPvKB -> KQBNvKB; KQBPvKB -> KQBvKB; KQRBvKB -> KRBvKB; KQRBvKB -> KQBvKB; KQRBvKB -> KQRvKB; KQRBvKB -> KQRBvK; KBPvKB -> KQBvKB; KBPvKB -> KRBvKB; KBPvKB -> KBBvKB; KBPvKB -> KBvKP; KBPvKB -> KBPvK; KBPvKB -> KBNvKB; KBPvKB -> KBvKB; KQQBvKB -> KQBvKB; KQQBvKB -> KQQvKB; KQQBvKB -> KQQBvK; KQRBvKRB -> KRBvKRB; KQRBvKRB -> KQBvKRB; KQRBvKRB -> KQRBvKB; KQRBvKRB -> KQRvKRB; KQRBvKRB -> KQRBvKR; KRBvKRB -> KRBvKB; KRBvKRB -> KRBvKR; KRBvKBP -> KQBvKRB; KRBvKBP -> KRBvKRB; KRBvKBP -> KBPvKB; KRBvKBP -> KRBvKBB; KRBvKBP -> KBPvKR; KRBvKBP -> KRBvKP; KRBvKBP -> KRBvKBN; KRBvKBP -> KRBvKB; KQQBvKRB -> KQBvKRB; KQQBvKRB -> KQQBvKB; KQQBvKRB -> KQQvKRB; KQQBvKRB -> KQQBvKR; KQPPvKB -> KQQPvKB; KQPPvKB -> KPPvKB; KQPPvKB -> KQRPvKB; KQPPvKB -> KQBPvKB; KQPPvKB -> KQPPvK; KQPPvKB -> KQNPvKB; KQPPvKB -> KQPvKB; KQRPvKB -> KQQRvKB; KQRPvKB -> KRPvKB; KQRPvKB -> KQRRvKB; KQRPvKB -> KQPvKB; KQRPvKB -> KQRBvKB; KQRPvKB -> KQRPvK; KQRPvKB -> KQRNvKB; KQRPvKB -> KQRvKB; KQRRvKB -> KRRvKB; KQRRvKB -> KQRvKB; KQRRvKB -> KQRRvK; KRRvKB -> KRvKB; KRRvKB -> KRRvK; KRPvKB -> KQRvKB; KRPvKB -> KRRvKB; KRPvKB -> KBvKP; KRPvKB -> KRBvKB; KRPvKB -> KRPvK; KRPvKB -> KRNvKB; KRPvKB -> KRvKB; KQQRvKB -> KQRvKB; KQQRvKB -> KQQvKB; KQQRvKB -> KQQRvK; KPPvKB -> KQPvKB; KPPvKB -> KRPvKB; KPPvKB -> KBPvKB; KPPvKB -> KPPvK; KPPvKB -> KNPvKB; KPPvKB -> KBvKP; KQQPvKB -> KQQQvKB; KQQPvKB -> KQPvKB; KQQPvKB -> KQQRvKB; KQQPvKB -> KQQBvKB; KQQPvKB -> KQQPvK; KQQPvKB -> KQQNvKB; KQQPvKB -> KQQvKB; KQQQvKB -> KQQvKB; KQQQvKB -> KQQQvK; KQRPvKRB -> KQQRvKRB; KQRPvKRB -> KRBvKRP; KQRPvKRB -> KQRRvKRB; KQRPvKRB -> KQPvKRB; KQRPvKRB -> KQRPvKB; KQRPvKRB -> KQRBvKRB; KQRPvKRB -> KQRPvKR; KQRPvKRB -> KQRNvKRB; KQRPvKRB -> KQRvKRB; KQRRvKRB -> KRRvKRB; KQRRvKRB -> KQRvKRB; KQRRvKRB -> KQRRvKB; KQRRvKRB -> KQRRvKR; KRRvKRB -> KRBvKR; KRRvKRB -> KRRvKB; KRRvKRB -> KRRvKR; KRBvKRP -> KQRvKRB; KRBvKRP -> KRRvKRB; KRBvKRP -> KRPvKB; KRBvKRP -> KRBvKP; KRBvKRP -> KRBvKRB; KRBvKRP -> KRPvKR; KRBvKRP -> KRBvKRN; KRBvKRP -> KRBvKR; KQQRvKRB -> KQRvKRB; KQQRvKRB -> KQQvKRB; KQQRvKRB -> KQQRvKB; KQQRvKRB -> KQQRvKR; KRBvKPP -> KQPvKRB; KRBvKPP -> KRBvKRP; KRBvKPP -> KPPvKB; KRBvKPP -> KRBvKBP; KRBvKPP -> KPPvKR; KRBvKPP -> KRBvKNP; KRBvKPP -> KRBvKP; KQQPvKRB -> KQQQvKRB; KQQPvKRB -> KQPvKRB; KQQPvKRB -> KQQRvKRB; KQQPvKRB -> KQQPvKB; KQQPvKRB -> KQQBvKRB; KQQPvKRB -> KQQPvKR; KQQPvKRB -> KQQNvKRB; KQQPvKRB -> KQQvKRB; KQQQvKRB -> KQQvKRB; KQQQvKRB -> KQQQvKB; KQQQvKRB -> KQQQvKR; }