digraph Syzygy { KBPPvKRR -> KQBPvKRR; KBPPvKRR -> KRBPvKRR; KBPPvKRR -> KBPPvKR; KBPPvKRR -> KBBPvKRR; KBPPvKRR -> KRRvKPP; KBPPvKRR -> KBNPvKRR; KBPPvKRR -> KRRvKBP; KRRvKBP -> KQBvKRR; KRRvKBP -> KRRvKRB; KRRvKBP -> KBPvKR; KRRvKBP -> KRRvKBB; KRRvKBP -> KRRvKP; KRRvKBP -> KRRvKBN; KRRvKBP -> KRRvKB; KRRvKB -> KRvKB; KRRvKB -> KRRvK; KRRvK -> KRvK; KRvKB -> KBvK; KRvKB -> KRvK; KRRvKBN -> KBNvKR; KRRvKBN -> KRRvKN; KRRvKBN -> KRRvKB; KRRvKN -> KRvKN; KRRvKN -> KRRvK; KRvKN -> KNvK; KRvKN -> KRvK; KBNvKR -> KBNvK; KBNvKR -> KRvKN; KBNvKR -> KRvKB; KBNvK -> KNvK; KBNvK -> KBvK; KRRvKP -> KRRvKQ; KRRvKP -> KRRvKR; KRRvKP -> KRvKP; KRRvKP -> KRRvKB; KRRvKP -> KRRvKN; KRRvKP -> KRRvK; 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; KRRvKR -> KRvKR; KRRvKR -> KRRvK; KRRvKQ -> KRRvK; KRRvKQ -> KQvKR; KRRvKBB -> KBBvKR; KRRvKBB -> KRRvKB; KBBvKR -> KBBvK; KBBvKR -> KRvKB; KBBvK -> KBvK; KBPvKR -> KQBvKR; KBPvKR -> KRBvKR; KBPvKR -> KBPvK; KBPvKR -> KBBvKR; KBPvKR -> KRvKP; KBPvKR -> KBNvKR; KBPvKR -> KRvKB; 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; KRRvKRB -> KRBvKR; KRRvKRB -> KRRvKB; KRRvKRB -> KRRvKR; KQBvKRR -> KRRvKB; KQBvKRR -> KQBvKR; KQBvKRR -> KRRvKQ; KBNPvKRR -> KQBNvKRR; KBNPvKRR -> KRBNvKRR; KBNPvKRR -> KBNPvKR; KBNPvKRR -> KBBNvKRR; KBNPvKRR -> KRRvKNP; KBNPvKRR -> KBNNvKRR; KBNPvKRR -> KRRvKBP; KBNPvKRR -> KRRvKBN; KBNNvKRR -> KBNNvKR; KBNNvKRR -> KRRvKNN; KBNNvKRR -> KRRvKBN; KRRvKNN -> KNNvKR; KRRvKNN -> KRRvKN; KNNvKR -> KNNvK; KNNvKR -> KRvKN; KNNvK -> KNvK; KBNNvKR -> KBNNvK; KBNNvKR -> KNNvKR; KBNNvKR -> KBNvKR; KBNNvK -> KNNvK; KBNNvK -> KBNvK; KRRvKNP -> KQNvKRR; KRRvKNP -> KRRvKRN; KRRvKNP -> KNPvKR; KRRvKNP -> KRRvKBN; KRRvKNP -> KRRvKNN; KRRvKNP -> KRRvKP; KRRvKNP -> KRRvKN; 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; KRRvKRN -> KRNvKR; KRRvKRN -> KRRvKN; KRRvKRN -> KRRvKR; KQNvKRR -> KRRvKN; KQNvKRR -> KQNvKR; KQNvKRR -> KRRvKQ; KBBNvKRR -> KBBNvKR; KBBNvKRR -> KRRvKBN; KBBNvKRR -> KRRvKBB; KBBNvKR -> KBBNvK; KBBNvKR -> KBNvKR; KBBNvKR -> KBBvKR; KBBNvK -> KBNvK; KBBNvK -> KBBvK; KBNPvKR -> KQBNvKR; KBNPvKR -> KRBNvKR; KBNPvKR -> KBNPvK; KBNPvKR -> KBBNvKR; KBNPvKR -> KNPvKR; KBNPvKR -> KBNNvKR; KBNPvKR -> KBPvKR; KBNPvKR -> KBNvKR; 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; KRBNvKRR -> KRRvKBN; KRBNvKRR -> KRBNvKR; KRBNvKRR -> KRRvKRN; KRBNvKRR -> KRRvKRB; KQBNvKRR -> KRRvKBN; KQBNvKRR -> KQBNvKR; KQBNvKRR -> KQNvKRR; KQBNvKRR -> KQBvKRR; KRRvKPP -> KQPvKRR; KRRvKPP -> KRRvKRP; KRRvKPP -> KPPvKR; KRRvKPP -> KRRvKBP; KRRvKPP -> KRRvKNP; KRRvKPP -> KRRvKP; 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; 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; KQRvKR -> KRvKR; KQRvKR -> KQvKR; KQRvKR -> KQRvK; KQPvKR -> KQQvKR; KQPvKR -> KRvKP; KQPvKR -> KQRvKR; KQPvKR -> KQPvK; KQPvKR -> KQBvKR; KQPvKR -> KQNvKR; KQPvKR -> KQvKR; KQQvKR -> KQvKR; KQQvKR -> KQQvK; KRRvKRP -> KQRvKRR; KRRvKRP -> KRRvKRR; KRRvKRP -> KRPvKR; KRRvKRP -> KRRvKP; KRRvKRP -> KRRvKRB; KRRvKRP -> KRRvKRN; KRRvKRP -> KRRvKR; KRRvKRR -> KRRvKR; KQRvKRR -> KRRvKR; KQRvKRR -> KRRvKQ; KQRvKRR -> KQRvKR; KQPvKRR -> KQQvKRR; KQPvKRR -> KRRvKP; KQPvKRR -> KQRvKRR; KQPvKRR -> KQPvKR; KQPvKRR -> KQBvKRR; KQPvKRR -> KQNvKRR; KQPvKRR -> KRRvKQ; KQQvKRR -> KRRvKQ; KQQvKRR -> KQQvKR; KBBPvKRR -> KQBBvKRR; KBBPvKRR -> KRBBvKRR; KBBPvKRR -> KBBPvKR; KBBPvKRR -> KBBBvKRR; KBBPvKRR -> KRRvKBP; KBBPvKRR -> KBBNvKRR; KBBPvKRR -> KRRvKBB; KBBBvKRR -> KBBBvKR; KBBBvKRR -> KRRvKBB; KBBBvKR -> KBBBvK; KBBBvKR -> KBBvKR; KBBBvK -> KBBvK; KBBPvKR -> KQBBvKR; KBBPvKR -> KRBBvKR; KBBPvKR -> KBBPvK; KBBPvKR -> KBBBvKR; KBBPvKR -> KBPvKR; KBBPvKR -> KBBNvKR; KBBPvKR -> KBBvKR; 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; KRBBvKRR -> KRRvKBB; KRBBvKRR -> KRBBvKR; KRBBvKRR -> KRRvKRB; KQBBvKRR -> KRRvKBB; KQBBvKRR -> KQBBvKR; KQBBvKRR -> KQBvKRR; KBPPvKR -> KQBPvKR; KBPPvKR -> KRBPvKR; KBPPvKR -> KBPPvK; KBPPvKR -> KBBPvKR; KBPPvKR -> KPPvKR; KBPPvKR -> KBNPvKR; KBPPvKR -> KBPvKR; 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; KRBPvKRR -> KQRBvKRR; KRBPvKRR -> KRRBvKRR; KRBPvKRR -> KRRvKBP; KRBPvKRR -> KRBPvKR; KRBPvKRR -> KRBBvKRR; KRBPvKRR -> KRRvKRP; KRBPvKRR -> KRBNvKRR; KRBPvKRR -> KRRvKRB; KRRBvKRR -> KRRvKRB; KRRBvKRR -> KRRBvKR; KRRBvKRR -> KRRvKRR; KQRBvKRR -> KRRvKRB; KQRBvKRR -> KQBvKRR; KQRBvKRR -> KQRBvKR; KQRBvKRR -> KQRvKRR; KQBPvKRR -> KQQBvKRR; KQBPvKRR -> KRRvKBP; KQBPvKRR -> KQRBvKRR; KQBPvKRR -> KQBPvKR; KQBPvKRR -> KQBBvKRR; KQBPvKRR -> KQPvKRR; KQBPvKRR -> KQBNvKRR; KQBPvKRR -> KQBvKRR; KQQBvKRR -> KQBvKRR; KQQBvKRR -> KQQBvKR; KQQBvKRR -> KQQvKRR; }