digraph Syzygy { KNPPvKRR -> KQNPvKRR; KNPPvKRR -> KRNPvKRR; KNPPvKRR -> KNPPvKR; KNPPvKRR -> KBNPvKRR; KNPPvKRR -> KNNPvKRR; KNPPvKRR -> KRRvKPP; KNPPvKRR -> KRRvKNP; KRRvKNP -> KQNvKRR; KRRvKNP -> KRRvKRN; KRRvKNP -> KNPvKR; KRRvKNP -> KRRvKBN; KRRvKNP -> KRRvKNN; KRRvKNP -> KRRvKP; KRRvKNP -> KRRvKN; KRRvKN -> KRvKN; KRRvKN -> KRRvK; KRRvK -> KRvK; KRvKN -> KNvK; KRvKN -> KRvK; KRRvKP -> KRRvKQ; KRRvKP -> KRRvKR; KRRvKP -> KRvKP; KRRvKP -> KRRvKB; KRRvKP -> KRRvKN; KRRvKP -> KRRvK; KRRvKB -> KRvKB; KRRvKB -> KRRvK; KRvKB -> KBvK; KRvKB -> KRvK; 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; KRRvKNN -> KNNvKR; KRRvKNN -> KRRvKN; KNNvKR -> KNNvK; KNNvKR -> KRvKN; KNNvK -> KNvK; KRRvKBN -> KBNvKR; KRRvKBN -> KRRvKN; KRRvKBN -> KRRvKB; KBNvKR -> KBNvK; KBNvKR -> KRvKN; KBNvKR -> KRvKB; KBNvK -> KNvK; KBNvK -> KBvK; 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; KRRvKPP -> KQPvKRR; KRRvKPP -> KRRvKRP; KRRvKPP -> KPPvKR; KRRvKPP -> KRRvKBP; KRRvKPP -> KRRvKNP; KRRvKPP -> KRRvKP; KRRvKBP -> KQBvKRR; KRRvKBP -> KRRvKRB; KRRvKBP -> KBPvKR; KRRvKBP -> KRRvKBB; KRRvKBP -> KRRvKP; KRRvKBP -> KRRvKBN; KRRvKBP -> KRRvKB; 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; 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; KNNPvKRR -> KQNNvKRR; KNNPvKRR -> KRNNvKRR; KNNPvKRR -> KNNPvKR; KNNPvKRR -> KBNNvKRR; KNNPvKRR -> KNNNvKRR; KNNPvKRR -> KRRvKNP; KNNPvKRR -> KRRvKNN; KNNNvKRR -> KNNNvKR; KNNNvKRR -> KRRvKNN; KNNNvKR -> KNNNvK; KNNNvKR -> KNNvKR; KNNNvK -> KNNvK; KBNNvKRR -> KBNNvKR; KBNNvKRR -> KRRvKNN; KBNNvKRR -> KRRvKBN; KBNNvKR -> KBNNvK; KBNNvKR -> KNNvKR; KBNNvKR -> KBNvKR; KBNNvK -> KNNvK; KBNNvK -> KBNvK; KNNPvKR -> KQNNvKR; KNNPvKR -> KRNNvKR; KNNPvKR -> KNNPvK; KNNPvKR -> KBNNvKR; KNNPvKR -> KNNNvKR; KNNPvKR -> KNPvKR; KNNPvKR -> KNNvKR; KNNPvK -> KQNNvK; KNNPvK -> KRNNvK; KNNPvK -> KBNNvK; KNNPvK -> KNNNvK; KNNPvK -> KNPvK; KNNPvK -> KNNvK; KRNNvK -> KNNvK; KRNNvK -> KRNvK; KQNNvK -> KNNvK; KQNNvK -> KQNvK; KRNNvKR -> KNNvKR; KRNNvKR -> KRNNvK; KRNNvKR -> KRNvKR; KQNNvKR -> KNNvKR; KQNNvKR -> KQNNvK; KQNNvKR -> KQNvKR; KRNNvKRR -> KRRvKNN; KRNNvKRR -> KRNNvKR; KRNNvKRR -> KRRvKRN; KQNNvKRR -> KRRvKNN; KQNNvKRR -> KQNNvKR; KQNNvKRR -> KQNvKRR; KBNPvKRR -> KQBNvKRR; KBNPvKRR -> KRBNvKRR; KBNPvKRR -> KBNPvKR; KBNPvKRR -> KBBNvKRR; KBNPvKRR -> KRRvKNP; KBNPvKRR -> KBNNvKRR; KBNPvKRR -> KRRvKBP; KBNPvKRR -> KRRvKBN; 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; KNPPvKR -> KQNPvKR; KNPPvKR -> KRNPvKR; KNPPvKR -> KNPPvK; KNPPvKR -> KBNPvKR; KNPPvKR -> KNNPvKR; KNPPvKR -> KPPvKR; KNPPvKR -> KNPvKR; KNPPvK -> KQNPvK; KNPPvK -> KRNPvK; KNPPvK -> KBNPvK; KNPPvK -> KNNPvK; KNPPvK -> KPPvK; KNPPvK -> KNPvK; 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; 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; KRNPvKRR -> KQRNvKRR; KRNPvKRR -> KRRNvKRR; KRNPvKRR -> KRRvKNP; KRNPvKRR -> KRNPvKR; KRNPvKRR -> KRBNvKRR; KRNPvKRR -> KRNNvKRR; KRNPvKRR -> KRRvKRP; KRNPvKRR -> KRRvKRN; KRRNvKRR -> KRRvKRN; KRRNvKRR -> KRRNvKR; KRRNvKRR -> KRRvKRR; KQRNvKRR -> KRRvKRN; KQRNvKRR -> KQNvKRR; KQRNvKRR -> KQRNvKR; KQRNvKRR -> KQRvKRR; KQNPvKRR -> KQQNvKRR; KQNPvKRR -> KRRvKNP; KQNPvKRR -> KQRNvKRR; KQNPvKRR -> KQNPvKR; KQNPvKRR -> KQBNvKRR; KQNPvKRR -> KQNNvKRR; KQNPvKRR -> KQPvKRR; KQNPvKRR -> KQNvKRR; KQQNvKRR -> KQNvKRR; KQQNvKRR -> KQQNvKR; KQQNvKRR -> KQQvKRR; }