digraph Syzygy { KNPPvKRN -> KQNPvKRN; KNPPvKRN -> KRNPvKRN; KNPPvKRN -> KNPPvKN; KNPPvKRN -> KBNPvKRN; KNPPvKRN -> KNNPvKRN; KNPPvKRN -> KRNvKPP; KNPPvKRN -> KNPPvKR; KNPPvKRN -> KRNvKNP; KRNvKNP -> KQNvKRN; KRNvKNP -> KRNvKRN; KRNvKNP -> KNPvKN; KRNvKNP -> KRNvKBN; KRNvKNP -> KRNvKNN; KRNvKNP -> KNPvKR; KRNvKNP -> KRNvKP; KRNvKNP -> KRNvKN; KRNvKN -> KNvKN; KRNvKN -> KRvKN; KRNvKN -> KRNvK; KRNvK -> KNvK; KRNvK -> KRvK; KRvKN -> KNvK; KRvKN -> KRvK; KNvKN -> KNvK; KRNvKP -> KRNvKQ; KRNvKP -> KRNvKR; KRNvKP -> KNvKP; KRNvKP -> KRNvKB; KRNvKP -> KRNvKN; KRNvKP -> KRvKP; KRNvKP -> KRNvK; KRvKP -> KQvKR; KRvKP -> KRvKR; KRvKP -> KPvK; KRvKP -> KRvKB; KRvKP -> KRvKN; KRvKP -> KRvK; KRvKB -> KBvK; KRvKB -> KRvK; KPvK -> KQvK; KPvK -> KRvK; KPvK -> KBvK; KPvK -> KNvK; KRvKR -> KRvK; KQvKR -> KRvK; KQvKR -> KQvK; KRNvKB -> KBvKN; KRNvKB -> KRNvK; KRNvKB -> KRvKB; KBvKN -> KNvK; KBvKN -> KBvK; KNvKP -> KQvKN; KNvKP -> KRvKN; KNvKP -> KBvKN; KNvKP -> KNvKN; KNvKP -> KPvK; KNvKP -> KNvK; KQvKN -> KNvK; KQvKN -> KQvK; KRNvKR -> KRvKN; KRNvKR -> KRNvK; KRNvKR -> KRvKR; KRNvKQ -> KRNvK; KRNvKQ -> KQvKN; KRNvKQ -> KQvKR; KNPvKR -> KQNvKR; KNPvKR -> KRNvKR; KNPvKR -> KNPvK; KNPvKR -> KBNvKR; KNPvKR -> KNNvKR; KNPvKR -> KRvKP; KNPvKR -> KRvKN; KNNvKR -> KNNvK; KNNvKR -> KRvKN; KNNvK -> KNvK; KBNvKR -> KBNvK; KBNvKR -> KRvKN; KBNvKR -> KRvKB; KBNvK -> KNvK; KBNvK -> KBvK; KNPvK -> KQNvK; KNPvK -> KRNvK; KNPvK -> KBNvK; KNPvK -> KNNvK; KNPvK -> KPvK; KNPvK -> KNvK; KQNvK -> KNvK; KQNvK -> KQvK; KQNvKR -> KRvKN; KQNvKR -> KQNvK; KQNvKR -> KQvKR; KRNvKNN -> KNNvKN; KRNvKNN -> KNNvKR; KRNvKNN -> KRNvKN; KNNvKN -> KNvKN; KNNvKN -> KNNvK; KRNvKBN -> KBNvKN; KRNvKBN -> KRNvKN; KRNvKBN -> KBNvKR; KRNvKBN -> KRNvKB; KBNvKN -> KNvKN; KBNvKN -> KBvKN; KBNvKN -> KBNvK; KNPvKN -> KQNvKN; KNPvKN -> KRNvKN; KNPvKN -> KBNvKN; KNPvKN -> KNNvKN; KNPvKN -> KNvKP; KNPvKN -> KNPvK; KNPvKN -> KNvKN; KQNvKN -> KNvKN; KQNvKN -> KQvKN; KQNvKN -> KQNvK; KRNvKRN -> KRNvKN; KRNvKRN -> KRNvKR; KQNvKRN -> KRNvKN; KQNvKRN -> KQNvKN; KQNvKRN -> KRNvKQ; KQNvKRN -> KQNvKR; KNPPvKR -> KQNPvKR; KNPPvKR -> KRNPvKR; KNPPvKR -> KNPPvK; KNPPvKR -> KBNPvKR; KNPPvKR -> KNNPvKR; KNPPvKR -> KPPvKR; KNPPvKR -> KNPvKR; KPPvKR -> KQPvKR; KPPvKR -> KRPvKR; KPPvKR -> KPPvK; KPPvKR -> KBPvKR; KPPvKR -> KNPvKR; KPPvKR -> KRvKP; 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; KRBvK -> KBvK; KRBvK -> KRvK; KQBvK -> KBvK; KQBvK -> KQvK; KRBvKR -> KRvKB; KRBvKR -> KRBvK; KRBvKR -> KRvKR; KQBvKR -> KRvKB; KQBvKR -> KQBvK; KQBvKR -> KQvKR; 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; KNNPvKR -> KQNNvKR; KNNPvKR -> KRNNvKR; KNNPvKR -> KNNPvK; KNNPvKR -> KBNNvKR; KNNPvKR -> KNNNvKR; KNNPvKR -> KNPvKR; KNNPvKR -> KNNvKR; KNNNvKR -> KNNNvK; KNNNvKR -> KNNvKR; KNNNvK -> KNNvK; KBNNvKR -> KBNNvK; KBNNvKR -> KNNvKR; KBNNvKR -> KBNvKR; KBNNvK -> KNNvK; KBNNvK -> KBNvK; 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; KBNPvKR -> KQBNvKR; KBNPvKR -> KRBNvKR; KBNPvKR -> KBNPvK; KBNPvKR -> KBBNvKR; KBNPvKR -> KNPvKR; KBNPvKR -> KBNNvKR; KBNPvKR -> KBPvKR; KBNPvKR -> KBNvKR; 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; 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; KRNvKPP -> KQPvKRN; KRNvKPP -> KRNvKRP; KRNvKPP -> KPPvKN; KRNvKPP -> KRNvKBP; KRNvKPP -> KRNvKNP; KRNvKPP -> KPPvKR; KRNvKPP -> KRNvKP; KRNvKBP -> KQBvKRN; KRNvKBP -> KRBvKRN; KRNvKBP -> KBPvKN; KRNvKBP -> KRNvKBB; KRNvKBP -> KRNvKP; KRNvKBP -> KRNvKBN; KRNvKBP -> KBPvKR; KRNvKBP -> KRNvKB; KRNvKBB -> KBBvKN; KRNvKBB -> KRNvKB; KRNvKBB -> KBBvKR; KBBvKN -> KBvKN; KBBvKN -> KBBvK; KBPvKN -> KQBvKN; KBPvKN -> KRBvKN; KBPvKN -> KBBvKN; KBPvKN -> KNvKP; KBPvKN -> KBNvKN; KBPvKN -> KBPvK; KBPvKN -> KBvKN; KRBvKN -> KBvKN; KRBvKN -> KRvKN; KRBvKN -> KRBvK; KQBvKN -> KBvKN; KQBvKN -> KQvKN; KQBvKN -> KQBvK; KRBvKRN -> KRNvKB; KRBvKRN -> KRBvKN; KRBvKRN -> KRNvKR; KRBvKRN -> KRBvKR; KQBvKRN -> KRNvKB; KQBvKRN -> KQBvKN; KQBvKRN -> KRNvKQ; KQBvKRN -> KQBvKR; KPPvKN -> KQPvKN; KPPvKN -> KRPvKN; KPPvKN -> KBPvKN; KPPvKN -> KNPvKN; KPPvKN -> KPPvK; KPPvKN -> KNvKP; KRPvKN -> KQRvKN; KRPvKN -> KRRvKN; KRPvKN -> KNvKP; KRPvKN -> KRBvKN; KRPvKN -> KRNvKN; KRPvKN -> KRPvK; KRPvKN -> KRvKN; KRRvKN -> KRvKN; KRRvKN -> KRRvK; KQRvKN -> KRvKN; KQRvKN -> KQvKN; KQRvKN -> KQRvK; KQPvKN -> KQQvKN; KQPvKN -> KNvKP; KQPvKN -> KQRvKN; KQPvKN -> KQBvKN; KQPvKN -> KQNvKN; KQPvKN -> KQPvK; KQPvKN -> KQvKN; KQQvKN -> KQvKN; KQQvKN -> KQQvK; KRNvKRP -> KQRvKRN; KRNvKRP -> KRRvKRN; KRNvKRP -> KRPvKN; KRNvKRP -> KRNvKP; KRNvKRP -> KRBvKRN; KRNvKRP -> KRNvKRN; KRNvKRP -> KRPvKR; KRNvKRP -> KRNvKR; KRRvKRN -> KRNvKR; KRRvKRN -> KRRvKN; KRRvKRN -> KRRvKR; KQRvKRN -> KRNvKR; KQRvKRN -> KRNvKQ; KQRvKRN -> KQRvKN; KQRvKRN -> KQRvKR; KQPvKRN -> KQQvKRN; KQPvKRN -> KRNvKP; KQPvKRN -> KQRvKRN; KQPvKRN -> KQPvKN; KQPvKRN -> KQBvKRN; KQPvKRN -> KQNvKRN; KQPvKRN -> KQPvKR; KQPvKRN -> KRNvKQ; KQQvKRN -> KRNvKQ; KQQvKRN -> KQQvKN; KQQvKRN -> KQQvKR; KNNPvKRN -> KQNNvKRN; KNNPvKRN -> KRNNvKRN; KNNPvKRN -> KNNPvKN; KNNPvKRN -> KBNNvKRN; KNNPvKRN -> KNNNvKRN; KNNPvKRN -> KRNvKNP; KNNPvKRN -> KNNPvKR; KNNPvKRN -> KRNvKNN; KNNNvKRN -> KNNNvKN; KNNNvKRN -> KRNvKNN; KNNNvKRN -> KNNNvKR; KNNNvKN -> KNNvKN; KNNNvKN -> KNNNvK; KBNNvKRN -> KBNNvKN; KBNNvKRN -> KRNvKNN; KBNNvKRN -> KRNvKBN; KBNNvKRN -> KBNNvKR; KBNNvKN -> KNNvKN; KBNNvKN -> KBNvKN; KBNNvKN -> KBNNvK; KNNPvKN -> KQNNvKN; KNNPvKN -> KRNNvKN; KNNPvKN -> KBNNvKN; KNNPvKN -> KNNNvKN; KNNPvKN -> KNPvKN; KNNPvKN -> KNNPvK; KNNPvKN -> KNNvKN; KRNNvKN -> KNNvKN; KRNNvKN -> KRNvKN; KRNNvKN -> KRNNvK; KQNNvKN -> KNNvKN; KQNNvKN -> KQNvKN; KQNNvKN -> KQNNvK; KRNNvKRN -> KRNvKNN; KRNNvKRN -> KRNNvKN; KRNNvKRN -> KRNvKRN; KRNNvKRN -> KRNNvKR; KQNNvKRN -> KRNvKNN; KQNNvKRN -> KQNNvKN; KQNNvKRN -> KQNvKRN; KQNNvKRN -> KQNNvKR; KBNPvKRN -> KQBNvKRN; KBNPvKRN -> KRBNvKRN; KBNPvKRN -> KBNPvKN; KBNPvKRN -> KBBNvKRN; KBNPvKRN -> KRNvKNP; KBNPvKRN -> KBNNvKRN; KBNPvKRN -> KRNvKBP; KBNPvKRN -> KBNPvKR; KBNPvKRN -> KRNvKBN; KBBNvKRN -> KBBNvKN; KBBNvKRN -> KRNvKBN; KBBNvKRN -> KRNvKBB; KBBNvKRN -> KBBNvKR; KBBNvKN -> KBNvKN; KBBNvKN -> KBBvKN; KBBNvKN -> KBBNvK; KBNPvKN -> KQBNvKN; KBNPvKN -> KRBNvKN; KBNPvKN -> KBBNvKN; KBNPvKN -> KNPvKN; KBNPvKN -> KBNNvKN; KBNPvKN -> KBPvKN; KBNPvKN -> KBNPvK; KBNPvKN -> KBNvKN; KRBNvKN -> KBNvKN; KRBNvKN -> KRNvKN; KRBNvKN -> KRBvKN; KRBNvKN -> KRBNvK; KQBNvKN -> KBNvKN; KQBNvKN -> KQNvKN; KQBNvKN -> KQBvKN; KQBNvKN -> KQBNvK; KRBNvKRN -> KRNvKBN; KRBNvKRN -> KRBNvKN; KRBNvKRN -> KRNvKRN; KRBNvKRN -> KRBvKRN; KRBNvKRN -> KRBNvKR; KQBNvKRN -> KRNvKBN; KQBNvKRN -> KQBNvKN; KQBNvKRN -> KQNvKRN; KQBNvKRN -> KQBvKRN; KQBNvKRN -> KQBNvKR; KNPPvKN -> KQNPvKN; KNPPvKN -> KRNPvKN; KNPPvKN -> KBNPvKN; KNPPvKN -> KNNPvKN; KNPPvKN -> KPPvKN; KNPPvKN -> KNPPvK; KNPPvKN -> KNPvKN; KRNPvKN -> KQRNvKN; KRNPvKN -> KRRNvKN; KRNPvKN -> KNPvKN; KRNPvKN -> KRBNvKN; KRNPvKN -> KRNNvKN; KRNPvKN -> KRPvKN; KRNPvKN -> KRNPvK; KRNPvKN -> KRNvKN; KRRNvKN -> KRNvKN; KRRNvKN -> KRRvKN; KRRNvKN -> KRRNvK; KQRNvKN -> KRNvKN; KQRNvKN -> KQNvKN; KQRNvKN -> KQRvKN; KQRNvKN -> KQRNvK; KQNPvKN -> KQQNvKN; KQNPvKN -> KNPvKN; KQNPvKN -> KQRNvKN; KQNPvKN -> KQBNvKN; KQNPvKN -> KQNNvKN; KQNPvKN -> KQPvKN; KQNPvKN -> KQNPvK; KQNPvKN -> KQNvKN; KQQNvKN -> KQNvKN; KQQNvKN -> KQQvKN; KQQNvKN -> KQQNvK; KRNPvKRN -> KQRNvKRN; KRNPvKRN -> KRRNvKRN; KRNPvKRN -> KRNvKNP; KRNPvKRN -> KRNPvKN; KRNPvKRN -> KRBNvKRN; KRNPvKRN -> KRNNvKRN; KRNPvKRN -> KRNvKRP; KRNPvKRN -> KRNPvKR; KRNPvKRN -> KRNvKRN; KRRNvKRN -> KRNvKRN; KRRNvKRN -> KRRNvKN; KRRNvKRN -> KRRvKRN; KRRNvKRN -> KRRNvKR; KQRNvKRN -> KRNvKRN; KQRNvKRN -> KQNvKRN; KQRNvKRN -> KQRNvKN; KQRNvKRN -> KQRvKRN; KQRNvKRN -> KQRNvKR; KQNPvKRN -> KQQNvKRN; KQNPvKRN -> KRNvKNP; KQNPvKRN -> KQRNvKRN; KQNPvKRN -> KQNPvKN; KQNPvKRN -> KQBNvKRN; KQNPvKRN -> KQNNvKRN; KQNPvKRN -> KQPvKRN; KQNPvKRN -> KQNPvKR; KQNPvKRN -> KQNvKRN; KQQNvKRN -> KQNvKRN; KQQNvKRN -> KQQNvKN; KQQNvKRN -> KQQvKRN; KQQNvKRN -> KQQNvKR; }