digraph Syzygy { KNPPvKBN -> KQNPvKBN; KNPPvKBN -> KRNPvKBN; KNPPvKBN -> KBNPvKBN; KNPPvKBN -> KNPPvKN; KNPPvKBN -> KNNPvKBN; KNPPvKBN -> KBNvKPP; KNPPvKBN -> KNPPvKB; KNPPvKBN -> KBNvKNP; KBNvKNP -> KQNvKBN; KBNvKNP -> KRNvKBN; KBNvKNP -> KBNvKBN; KBNvKNP -> KNPvKN; KBNvKNP -> KBNvKNN; KBNvKNP -> KNPvKB; KBNvKNP -> KBNvKP; KBNvKNP -> KBNvKN; KBNvKN -> KNvKN; KBNvKN -> KBvKN; KBNvKN -> KBNvK; KBNvK -> KNvK; KBNvK -> KBvK; KBvKN -> KNvK; KBvKN -> KBvK; KNvKN -> KNvK; KBNvKP -> KBNvKQ; KBNvKP -> KBNvKR; KBNvKP -> KBNvKB; KBNvKP -> KNvKP; KBNvKP -> KBNvKN; KBNvKP -> KBvKP; KBNvKP -> KBNvK; KBvKP -> KQvKB; KBvKP -> KRvKB; KBvKP -> KBvKB; KBvKP -> KPvK; KBvKP -> KBvKN; KBvKP -> KBvK; KPvK -> KQvK; KPvK -> KRvK; KPvK -> KBvK; KPvK -> KNvK; KBvKB -> KBvK; KRvKB -> KBvK; KRvKB -> KRvK; KQvKB -> KBvK; KQvKB -> KQvK; KNvKP -> KQvKN; KNvKP -> KRvKN; KNvKP -> KBvKN; KNvKP -> KNvKN; KNvKP -> KPvK; KNvKP -> KNvK; KRvKN -> KNvK; KRvKN -> KRvK; KQvKN -> KNvK; KQvKN -> KQvK; KBNvKB -> KBvKN; KBNvKB -> KBNvK; KBNvKB -> KBvKB; KBNvKR -> KBNvK; KBNvKR -> KRvKN; KBNvKR -> KRvKB; KBNvKQ -> KBNvK; KBNvKQ -> KQvKN; KBNvKQ -> KQvKB; KNPvKB -> KQNvKB; KNPvKB -> KRNvKB; KNPvKB -> KBNvKB; KNPvKB -> KNPvK; KNPvKB -> KNNvKB; KNPvKB -> KBvKP; KNPvKB -> KBvKN; KNNvKB -> KNNvK; KNNvKB -> KBvKN; KNNvK -> KNvK; KNPvK -> KQNvK; KNPvK -> KRNvK; KNPvK -> KBNvK; KNPvK -> KNNvK; KNPvK -> KPvK; KNPvK -> KNvK; KRNvK -> KNvK; KRNvK -> KRvK; KQNvK -> KNvK; KQNvK -> KQvK; KRNvKB -> KBvKN; KRNvKB -> KRNvK; KRNvKB -> KRvKB; KQNvKB -> KBvKN; KQNvKB -> KQNvK; KQNvKB -> KQvKB; KBNvKNN -> KNNvKN; KBNvKNN -> KNNvKB; KBNvKNN -> KBNvKN; KNNvKN -> KNvKN; KNNvKN -> KNNvK; KNPvKN -> KQNvKN; KNPvKN -> KRNvKN; KNPvKN -> KBNvKN; KNPvKN -> KNNvKN; KNPvKN -> KNvKP; KNPvKN -> KNPvK; KNPvKN -> KNvKN; KRNvKN -> KNvKN; KRNvKN -> KRvKN; KRNvKN -> KRNvK; KQNvKN -> KNvKN; KQNvKN -> KQvKN; KQNvKN -> KQNvK; KBNvKBN -> KBNvKN; KBNvKBN -> KBNvKB; KRNvKBN -> KBNvKN; KRNvKBN -> KRNvKN; KRNvKBN -> KBNvKR; KRNvKBN -> KRNvKB; KQNvKBN -> KBNvKN; KQNvKBN -> KQNvKN; KQNvKBN -> KBNvKQ; KQNvKBN -> KQNvKB; KNPPvKB -> KQNPvKB; KNPPvKB -> KRNPvKB; KNPPvKB -> KBNPvKB; KNPPvKB -> KNPPvK; KNPPvKB -> KNNPvKB; KNPPvKB -> KPPvKB; KNPPvKB -> KNPvKB; KPPvKB -> KQPvKB; KPPvKB -> KRPvKB; KPPvKB -> KBPvKB; KPPvKB -> KPPvK; KPPvKB -> KNPvKB; KPPvKB -> KBvKP; KPPvK -> KQPvK; KPPvK -> KRPvK; KPPvK -> KBPvK; KPPvK -> KNPvK; KPPvK -> KPvK; KBPvK -> KQBvK; KBPvK -> KRBvK; KBPvK -> KBBvK; KBPvK -> KPvK; KBPvK -> KBNvK; KBPvK -> KBvK; KBBvK -> KBvK; KRBvK -> KBvK; KRBvK -> KRvK; KQBvK -> KBvK; KQBvK -> KQvK; 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; KBPvKB -> KQBvKB; KBPvKB -> KRBvKB; KBPvKB -> KBBvKB; KBPvKB -> KBvKP; KBPvKB -> KBPvK; KBPvKB -> KBNvKB; KBPvKB -> KBvKB; KBBvKB -> KBvKB; KBBvKB -> KBBvK; KRBvKB -> KBvKB; KRBvKB -> KRvKB; KRBvKB -> KRBvK; KQBvKB -> KBvKB; KQBvKB -> KQvKB; KQBvKB -> KQBvK; 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; KNNPvKB -> KQNNvKB; KNNPvKB -> KRNNvKB; KNNPvKB -> KBNNvKB; KNNPvKB -> KNNPvK; KNNPvKB -> KNNNvKB; KNNPvKB -> KNPvKB; KNNPvKB -> KNNvKB; KNNNvKB -> KNNNvK; KNNNvKB -> KNNvKB; KNNNvK -> KNNvK; KNNPvK -> KQNNvK; KNNPvK -> KRNNvK; KNNPvK -> KBNNvK; KNNPvK -> KNNNvK; KNNPvK -> KNPvK; KNNPvK -> KNNvK; KBNNvK -> KNNvK; KBNNvK -> KBNvK; KRNNvK -> KNNvK; KRNNvK -> KRNvK; KQNNvK -> KNNvK; KQNNvK -> KQNvK; KBNNvKB -> KNNvKB; KBNNvKB -> KBNNvK; KBNNvKB -> KBNvKB; KRNNvKB -> KNNvKB; KRNNvKB -> KRNNvK; KRNNvKB -> KRNvKB; KQNNvKB -> KNNvKB; KQNNvKB -> KQNNvK; KQNNvKB -> KQNvKB; KNPPvK -> KQNPvK; KNPPvK -> KRNPvK; KNPPvK -> KBNPvK; KNPPvK -> KNNPvK; KNPPvK -> KPPvK; KNPPvK -> KNPvK; KBNPvK -> KQBNvK; KBNPvK -> KRBNvK; KBNPvK -> KBBNvK; KBNPvK -> KNPvK; KBNPvK -> KBNNvK; KBNPvK -> KBPvK; KBNPvK -> KBNvK; KBBNvK -> KBNvK; KBBNvK -> KBBvK; KRBNvK -> KBNvK; KRBNvK -> KRNvK; KRBNvK -> KRBvK; KQBNvK -> KBNvK; KQBNvK -> KQNvK; KQBNvK -> KQBvK; 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; KBNPvKB -> KQBNvKB; KBNPvKB -> KRBNvKB; KBNPvKB -> KBBNvKB; KBNPvKB -> KNPvKB; KBNPvKB -> KBNPvK; KBNPvKB -> KBNNvKB; KBNPvKB -> KBPvKB; KBNPvKB -> KBNvKB; KBBNvKB -> KBNvKB; KBBNvKB -> KBBNvK; KBBNvKB -> KBBvKB; KRBNvKB -> KBNvKB; KRBNvKB -> KRNvKB; KRBNvKB -> KRBNvK; KRBNvKB -> KRBvKB; KQBNvKB -> KBNvKB; KQBNvKB -> KQNvKB; KQBNvKB -> KQBNvK; KQBNvKB -> KQBvKB; KRNPvKB -> KQRNvKB; KRNPvKB -> KRRNvKB; KRNPvKB -> KNPvKB; KRNPvKB -> KRBNvKB; KRNPvKB -> KRNPvK; KRNPvKB -> KRNNvKB; KRNPvKB -> KRPvKB; KRNPvKB -> KRNvKB; KRRNvKB -> KRNvKB; KRRNvKB -> KRRNvK; KRRNvKB -> KRRvKB; KQRNvKB -> KRNvKB; KQRNvKB -> KQNvKB; KQRNvKB -> KQRNvK; KQRNvKB -> KQRvKB; KQNPvKB -> KQQNvKB; KQNPvKB -> KNPvKB; KQNPvKB -> KQRNvKB; KQNPvKB -> KQBNvKB; KQNPvKB -> KQNPvK; KQNPvKB -> KQNNvKB; KQNPvKB -> KQPvKB; KQNPvKB -> KQNvKB; KQQNvKB -> KQNvKB; KQQNvKB -> KQQNvK; KQQNvKB -> KQQvKB; KBNvKPP -> KQPvKBN; KBNvKPP -> KRPvKBN; KBNvKPP -> KBNvKBP; KBNvKPP -> KPPvKN; KBNvKPP -> KBNvKNP; KBNvKPP -> KPPvKB; KBNvKPP -> KBNvKP; KPPvKN -> KQPvKN; KPPvKN -> KRPvKN; KPPvKN -> KBPvKN; KPPvKN -> KNPvKN; KPPvKN -> KPPvK; KPPvKN -> KNvKP; KBPvKN -> KQBvKN; KBPvKN -> KRBvKN; KBPvKN -> KBBvKN; KBPvKN -> KNvKP; KBPvKN -> KBNvKN; KBPvKN -> KBPvK; KBPvKN -> KBvKN; KBBvKN -> KBvKN; KBBvKN -> KBBvK; KRBvKN -> KBvKN; KRBvKN -> KRvKN; KRBvKN -> KRBvK; KQBvKN -> KBvKN; KQBvKN -> KQvKN; KQBvKN -> KQBvK; 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; KBNvKBP -> KQBvKBN; KBNvKBP -> KRBvKBN; KBNvKBP -> KBBvKBN; KBNvKBP -> KBPvKN; KBNvKBP -> KBNvKP; KBNvKBP -> KBNvKBN; KBNvKBP -> KBPvKB; KBNvKBP -> KBNvKB; KBBvKBN -> KBNvKB; KBBvKBN -> KBBvKN; KBBvKBN -> KBBvKB; KRBvKBN -> KBNvKB; KRBvKBN -> KBNvKR; KRBvKBN -> KRBvKN; KRBvKBN -> KRBvKB; KQBvKBN -> KBNvKB; KQBvKBN -> KBNvKQ; KQBvKBN -> KQBvKN; KQBvKBN -> KQBvKB; KRPvKBN -> KQRvKBN; KRPvKBN -> KRRvKBN; KRPvKBN -> KBNvKP; KRPvKBN -> KRBvKBN; KRPvKBN -> KRPvKN; KRPvKBN -> KRNvKBN; KRPvKBN -> KRPvKB; KRPvKBN -> KBNvKR; KRRvKBN -> KBNvKR; KRRvKBN -> KRRvKN; KRRvKBN -> KRRvKB; KQRvKBN -> KBNvKR; KQRvKBN -> KBNvKQ; KQRvKBN -> KQRvKN; KQRvKBN -> KQRvKB; KQPvKBN -> KQQvKBN; KQPvKBN -> KBNvKP; KQPvKBN -> KQRvKBN; KQPvKBN -> KQBvKBN; KQPvKBN -> KQPvKN; KQPvKBN -> KQNvKBN; KQPvKBN -> KQPvKB; KQPvKBN -> KBNvKQ; KQQvKBN -> KBNvKQ; KQQvKBN -> KQQvKN; KQQvKBN -> KQQvKB; KNNPvKBN -> KQNNvKBN; KNNPvKBN -> KRNNvKBN; KNNPvKBN -> KBNNvKBN; KNNPvKBN -> KNNPvKN; KNNPvKBN -> KNNNvKBN; KNNPvKBN -> KBNvKNP; KNNPvKBN -> KNNPvKB; KNNPvKBN -> KBNvKNN; KNNNvKBN -> KNNNvKN; KNNNvKBN -> KBNvKNN; KNNNvKBN -> KNNNvKB; KNNNvKN -> KNNvKN; KNNNvKN -> KNNNvK; KNNPvKN -> KQNNvKN; KNNPvKN -> KRNNvKN; KNNPvKN -> KBNNvKN; KNNPvKN -> KNNNvKN; KNNPvKN -> KNPvKN; KNNPvKN -> KNNPvK; KNNPvKN -> KNNvKN; KBNNvKN -> KNNvKN; KBNNvKN -> KBNvKN; KBNNvKN -> KBNNvK; KRNNvKN -> KNNvKN; KRNNvKN -> KRNvKN; KRNNvKN -> KRNNvK; KQNNvKN -> KNNvKN; KQNNvKN -> KQNvKN; KQNNvKN -> KQNNvK; KBNNvKBN -> KBNvKNN; KBNNvKBN -> KBNNvKN; KBNNvKBN -> KBNvKBN; KBNNvKBN -> KBNNvKB; KRNNvKBN -> KBNvKNN; KRNNvKBN -> KRNNvKN; KRNNvKBN -> KRNvKBN; KRNNvKBN -> KRNNvKB; KQNNvKBN -> KBNvKNN; KQNNvKBN -> KQNNvKN; KQNNvKBN -> KQNvKBN; KQNNvKBN -> KQNNvKB; KNPPvKN -> KQNPvKN; KNPPvKN -> KRNPvKN; KNPPvKN -> KBNPvKN; KNPPvKN -> KNNPvKN; KNPPvKN -> KPPvKN; KNPPvKN -> KNPPvK; KNPPvKN -> KNPvKN; KBNPvKN -> KQBNvKN; KBNPvKN -> KRBNvKN; KBNPvKN -> KBBNvKN; KBNPvKN -> KNPvKN; KBNPvKN -> KBNNvKN; KBNPvKN -> KBPvKN; KBNPvKN -> KBNPvK; KBNPvKN -> KBNvKN; KBBNvKN -> KBNvKN; KBBNvKN -> KBBvKN; KBBNvKN -> KBBNvK; KRBNvKN -> KBNvKN; KRBNvKN -> KRNvKN; KRBNvKN -> KRBvKN; KRBNvKN -> KRBNvK; KQBNvKN -> KBNvKN; KQBNvKN -> KQNvKN; KQBNvKN -> KQBvKN; KQBNvKN -> KQBNvK; 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; KBNPvKBN -> KQBNvKBN; KBNPvKBN -> KRBNvKBN; KBNPvKBN -> KBBNvKBN; KBNPvKBN -> KBNvKNP; KBNPvKBN -> KBNPvKN; KBNPvKBN -> KBNNvKBN; KBNPvKBN -> KBNvKBP; KBNPvKBN -> KBNPvKB; KBNPvKBN -> KBNvKBN; KBBNvKBN -> KBNvKBN; KBBNvKBN -> KBBNvKN; KBBNvKBN -> KBBvKBN; KBBNvKBN -> KBBNvKB; KRBNvKBN -> KBNvKBN; KRBNvKBN -> KRNvKBN; KRBNvKBN -> KRBNvKN; KRBNvKBN -> KRBvKBN; KRBNvKBN -> KRBNvKB; KQBNvKBN -> KBNvKBN; KQBNvKBN -> KQNvKBN; KQBNvKBN -> KQBNvKN; KQBNvKBN -> KQBvKBN; KQBNvKBN -> KQBNvKB; KRNPvKBN -> KQRNvKBN; KRNPvKBN -> KRRNvKBN; KRNPvKBN -> KBNvKNP; KRNPvKBN -> KRBNvKBN; KRNPvKBN -> KRNPvKN; KRNPvKBN -> KRNNvKBN; KRNPvKBN -> KRPvKBN; KRNPvKBN -> KRNPvKB; KRNPvKBN -> KRNvKBN; KRRNvKBN -> KRNvKBN; KRRNvKBN -> KRRNvKN; KRRNvKBN -> KRRvKBN; KRRNvKBN -> KRRNvKB; KQRNvKBN -> KRNvKBN; KQRNvKBN -> KQNvKBN; KQRNvKBN -> KQRNvKN; KQRNvKBN -> KQRvKBN; KQRNvKBN -> KQRNvKB; KQNPvKBN -> KQQNvKBN; KQNPvKBN -> KBNvKNP; KQNPvKBN -> KQRNvKBN; KQNPvKBN -> KQBNvKBN; KQNPvKBN -> KQNPvKN; KQNPvKBN -> KQNNvKBN; KQNPvKBN -> KQPvKBN; KQNPvKBN -> KQNPvKB; KQNPvKBN -> KQNvKBN; KQQNvKBN -> KQNvKBN; KQQNvKBN -> KQQNvKN; KQQNvKBN -> KQQvKBN; KQQNvKBN -> KQQNvKB; }