digraph Syzygy { KRPPvKBB -> KQRPvKBB; KRPPvKBB -> KRRPvKBB; KRPPvKBB -> KBBvKPP; KRPPvKBB -> KRBPvKBB; KRPPvKBB -> KRPPvKB; KRPPvKBB -> KRNPvKBB; KRPPvKBB -> KRPvKBB; KRPvKBB -> KQRvKBB; KRPvKBB -> KRRvKBB; KRPvKBB -> KBBvKP; KRPvKBB -> KRBvKBB; KRPvKBB -> KRPvKB; KRPvKBB -> KRNvKBB; KRPvKBB -> KBBvKR; KBBvKR -> KBBvK; KBBvKR -> KRvKB; KRvKB -> KBvK; KRvKB -> KRvK; KBBvK -> KBvK; KRNvKBB -> KBBvKN; KRNvKBB -> KRNvKB; KRNvKBB -> KBBvKR; KRNvKB -> KBvKN; KRNvKB -> KRNvK; KRNvKB -> KRvKB; KRNvK -> KNvK; KRNvK -> KRvK; KBvKN -> KNvK; KBvKN -> KBvK; KBBvKN -> KBvKN; KBBvKN -> KBBvK; KRPvKB -> KQRvKB; KRPvKB -> KRRvKB; KRPvKB -> KBvKP; KRPvKB -> KRBvKB; KRPvKB -> KRPvK; KRPvKB -> KRNvKB; KRPvKB -> KRvKB; KRPvK -> KQRvK; KRPvK -> KRRvK; KRPvK -> KPvK; KRPvK -> KRBvK; KRPvK -> KRNvK; KRPvK -> KRvK; KRBvK -> KBvK; KRBvK -> KRvK; KPvK -> KQvK; KPvK -> KRvK; KPvK -> KBvK; KPvK -> KNvK; KRRvK -> KRvK; KQRvK -> KRvK; KQRvK -> KQvK; KRBvKB -> KBvKB; KRBvKB -> KRvKB; KRBvKB -> KRBvK; KBvKB -> KBvK; KBvKP -> KQvKB; KBvKP -> KRvKB; KBvKP -> KBvKB; KBvKP -> KPvK; KBvKP -> KBvKN; KBvKP -> KBvK; KQvKB -> KBvK; KQvKB -> KQvK; KRRvKB -> KRvKB; KRRvKB -> KRRvK; KQRvKB -> KRvKB; KQRvKB -> KQvKB; KQRvKB -> KQRvK; KRBvKBB -> KBBvKB; KRBvKBB -> KBBvKR; KRBvKBB -> KRBvKB; KBBvKB -> KBvKB; KBBvKB -> KBBvK; KBBvKP -> KBBvKQ; KBBvKP -> KBBvKR; KBBvKP -> KBBvKB; KBBvKP -> KBvKP; KBBvKP -> KBBvKN; KBBvKP -> KBBvK; KBBvKQ -> KBBvK; KBBvKQ -> KQvKB; KRRvKBB -> KBBvKR; KRRvKBB -> KRRvKB; KQRvKBB -> KBBvKR; KQRvKBB -> KBBvKQ; KQRvKBB -> KQRvKB; KRNPvKBB -> KQRNvKBB; KRNPvKBB -> KRRNvKBB; KRNPvKBB -> KBBvKNP; KRNPvKBB -> KRBNvKBB; KRNPvKBB -> KRNPvKB; KRNPvKBB -> KRNNvKBB; KRNPvKBB -> KRPvKBB; KRNPvKBB -> KRNvKBB; KRNNvKBB -> KBBvKNN; KRNNvKBB -> KRNNvKB; KRNNvKBB -> KRNvKBB; KRNNvKB -> KNNvKB; KRNNvKB -> KRNNvK; KRNNvKB -> KRNvKB; KRNNvK -> KNNvK; KRNNvK -> KRNvK; KNNvK -> KNvK; KNNvKB -> KNNvK; KNNvKB -> KBvKN; KBBvKNN -> KNNvKB; KBBvKNN -> KBBvKN; KRNPvKB -> KQRNvKB; KRNPvKB -> KRRNvKB; KRNPvKB -> KNPvKB; KRNPvKB -> KRBNvKB; KRNPvKB -> KRNPvK; KRNPvKB -> KRNNvKB; KRNPvKB -> KRPvKB; KRNPvKB -> KRNvKB; KRNPvK -> KQRNvK; KRNPvK -> KRRNvK; KRNPvK -> KNPvK; KRNPvK -> KRBNvK; KRNPvK -> KRNNvK; KRNPvK -> KRPvK; KRNPvK -> KRNvK; KRBNvK -> KBNvK; KRBNvK -> KRNvK; KRBNvK -> KRBvK; KBNvK -> KNvK; KBNvK -> KBvK; KNPvK -> KQNvK; KNPvK -> KRNvK; KNPvK -> KBNvK; KNPvK -> KNNvK; KNPvK -> KPvK; KNPvK -> KNvK; KQNvK -> KNvK; KQNvK -> KQvK; KRRNvK -> KRNvK; KRRNvK -> KRRvK; KQRNvK -> KRNvK; KQRNvK -> KQNvK; KQRNvK -> KQRvK; KRBNvKB -> KBNvKB; KRBNvKB -> KRNvKB; KRBNvKB -> KRBNvK; KRBNvKB -> KRBvKB; KBNvKB -> KBvKN; KBNvKB -> KBNvK; KBNvKB -> KBvKB; KNPvKB -> KQNvKB; KNPvKB -> KRNvKB; KNPvKB -> KBNvKB; KNPvKB -> KNPvK; KNPvKB -> KNNvKB; KNPvKB -> KBvKP; KNPvKB -> KBvKN; KQNvKB -> KBvKN; KQNvKB -> KQNvK; KQNvKB -> KQvKB; KRRNvKB -> KRNvKB; KRRNvKB -> KRRNvK; KRRNvKB -> KRRvKB; KQRNvKB -> KRNvKB; KQRNvKB -> KQNvKB; KQRNvKB -> KQRNvK; KQRNvKB -> KQRvKB; KRBNvKBB -> KBBvKBN; KRBNvKBB -> KRNvKBB; KRBNvKBB -> KRBNvKB; KRBNvKBB -> KRBvKBB; KBBvKBN -> KBNvKB; KBBvKBN -> KBBvKN; KBBvKBN -> KBBvKB; KBBvKNP -> KQNvKBB; KBBvKNP -> KRNvKBB; KBBvKNP -> KBBvKBN; KBBvKNP -> KNPvKB; KBBvKNP -> KBBvKNN; KBBvKNP -> KBBvKP; KBBvKNP -> KBBvKN; KQNvKBB -> KBBvKN; KQNvKBB -> KQNvKB; KQNvKBB -> KBBvKQ; KRRNvKBB -> KRNvKBB; KRRNvKBB -> KRRNvKB; KRRNvKBB -> KRRvKBB; KQRNvKBB -> KRNvKBB; KQRNvKBB -> KQNvKBB; KQRNvKBB -> KQRNvKB; KQRNvKBB -> KQRvKBB; KRPPvKB -> KQRPvKB; KRPPvKB -> KRRPvKB; KRPPvKB -> KPPvKB; KRPPvKB -> KRBPvKB; KRPPvKB -> KRPPvK; KRPPvKB -> KRNPvKB; KRPPvKB -> KRPvKB; KRPPvK -> KQRPvK; KRPPvK -> KRRPvK; KRPPvK -> KPPvK; KRPPvK -> KRBPvK; KRPPvK -> KRNPvK; KRPPvK -> KRPvK; KRBPvK -> KQRBvK; KRBPvK -> KRRBvK; KRBPvK -> KBPvK; KRBPvK -> KRBBvK; KRBPvK -> KRPvK; KRBPvK -> KRBNvK; KRBPvK -> KRBvK; KRBBvK -> KBBvK; KRBBvK -> KRBvK; KBPvK -> KQBvK; KBPvK -> KRBvK; KBPvK -> KBBvK; KBPvK -> KPvK; KBPvK -> KBNvK; KBPvK -> KBvK; KQBvK -> KBvK; KQBvK -> KQvK; KRRBvK -> KRBvK; KRRBvK -> KRRvK; KQRBvK -> KRBvK; KQRBvK -> KQBvK; KQRBvK -> KQRvK; KPPvK -> KQPvK; KPPvK -> KRPvK; KPPvK -> KBPvK; KPPvK -> KNPvK; KPPvK -> KPvK; KQPvK -> KQQvK; KQPvK -> KPvK; KQPvK -> KQRvK; KQPvK -> KQBvK; KQPvK -> KQNvK; KQPvK -> KQvK; KQQvK -> KQvK; KRRPvK -> KQRRvK; KRRPvK -> KRRRvK; KRRPvK -> KRPvK; KRRPvK -> KRRBvK; KRRPvK -> KRRNvK; KRRPvK -> KRRvK; KRRRvK -> KRRvK; KQRRvK -> KRRvK; KQRRvK -> KQRvK; KQRPvK -> KQQRvK; KQRPvK -> KRPvK; KQRPvK -> KQRRvK; KQRPvK -> KQPvK; KQRPvK -> KQRBvK; KQRPvK -> KQRNvK; KQRPvK -> KQRvK; KQQRvK -> KQRvK; KQQRvK -> KQQvK; KRBPvKB -> KQRBvKB; KRBPvKB -> KRRBvKB; KRBPvKB -> KBPvKB; KRBPvKB -> KRBBvKB; KRBPvKB -> KRPvKB; KRBPvKB -> KRBPvK; KRBPvKB -> KRBNvKB; KRBPvKB -> KRBvKB; KRBBvKB -> KBBvKB; KRBBvKB -> KRBvKB; KRBBvKB -> KRBBvK; KBPvKB -> KQBvKB; KBPvKB -> KRBvKB; KBPvKB -> KBBvKB; KBPvKB -> KBvKP; KBPvKB -> KBPvK; KBPvKB -> KBNvKB; KBPvKB -> KBvKB; KQBvKB -> KBvKB; KQBvKB -> KQvKB; KQBvKB -> KQBvK; KRRBvKB -> KRBvKB; KRRBvKB -> KRRvKB; KRRBvKB -> KRRBvK; KQRBvKB -> KRBvKB; KQRBvKB -> KQBvKB; KQRBvKB -> KQRvKB; KQRBvKB -> KQRBvK; KPPvKB -> KQPvKB; KPPvKB -> KRPvKB; KPPvKB -> KBPvKB; KPPvKB -> KPPvK; KPPvKB -> KNPvKB; KPPvKB -> KBvKP; KQPvKB -> KQQvKB; KQPvKB -> KBvKP; KQPvKB -> KQRvKB; KQPvKB -> KQBvKB; KQPvKB -> KQPvK; KQPvKB -> KQNvKB; KQPvKB -> KQvKB; KQQvKB -> KQvKB; KQQvKB -> KQQvK; KRRPvKB -> KQRRvKB; KRRPvKB -> KRRRvKB; KRRPvKB -> KRPvKB; KRRPvKB -> KRRBvKB; KRRPvKB -> KRRPvK; KRRPvKB -> KRRNvKB; KRRPvKB -> KRRvKB; KRRRvKB -> KRRvKB; KRRRvKB -> KRRRvK; KQRRvKB -> KRRvKB; KQRRvKB -> KQRvKB; KQRRvKB -> KQRRvK; KQRPvKB -> KQQRvKB; KQRPvKB -> KRPvKB; KQRPvKB -> KQRRvKB; KQRPvKB -> KQPvKB; KQRPvKB -> KQRBvKB; KQRPvKB -> KQRPvK; KQRPvKB -> KQRNvKB; KQRPvKB -> KQRvKB; KQQRvKB -> KQRvKB; KQQRvKB -> KQQvKB; KQQRvKB -> KQQRvK; KRBPvKBB -> KQRBvKBB; KRBPvKBB -> KRRBvKBB; KRBPvKBB -> KBBvKBP; KRBPvKBB -> KRBBvKBB; KRBPvKBB -> KRPvKBB; KRBPvKBB -> KRBPvKB; KRBPvKBB -> KRBNvKBB; KRBPvKBB -> KRBvKBB; KRBBvKBB -> KBBvKBB; KRBBvKBB -> KRBvKBB; KRBBvKBB -> KRBBvKB; KBBvKBB -> KBBvKB; KBBvKBP -> KQBvKBB; KBBvKBP -> KRBvKBB; KBBvKBP -> KBBvKBB; KBBvKBP -> KBPvKB; KBBvKBP -> KBBvKP; KBBvKBP -> KBBvKBN; KBBvKBP -> KBBvKB; KQBvKBB -> KBBvKB; KQBvKBB -> KBBvKQ; KQBvKBB -> KQBvKB; KRRBvKBB -> KRBvKBB; KRRBvKBB -> KRRvKBB; KRRBvKBB -> KRRBvKB; KQRBvKBB -> KRBvKBB; KQRBvKBB -> KQBvKBB; KQRBvKBB -> KQRvKBB; KQRBvKBB -> KQRBvKB; KBBvKPP -> KQPvKBB; KBBvKPP -> KRPvKBB; KBBvKPP -> KBBvKBP; KBBvKPP -> KPPvKB; KBBvKPP -> KBBvKNP; KBBvKPP -> KBBvKP; KQPvKBB -> KQQvKBB; KQPvKBB -> KBBvKP; KQPvKBB -> KQRvKBB; KQPvKBB -> KQBvKBB; KQPvKBB -> KQPvKB; KQPvKBB -> KQNvKBB; KQPvKBB -> KBBvKQ; KQQvKBB -> KBBvKQ; KQQvKBB -> KQQvKB; KRRPvKBB -> KQRRvKBB; KRRPvKBB -> KRRRvKBB; KRRPvKBB -> KRPvKBB; KRRPvKBB -> KRRBvKBB; KRRPvKBB -> KRRPvKB; KRRPvKBB -> KRRNvKBB; KRRPvKBB -> KRRvKBB; KRRRvKBB -> KRRvKBB; KRRRvKBB -> KRRRvKB; KQRRvKBB -> KRRvKBB; KQRRvKBB -> KQRvKBB; KQRRvKBB -> KQRRvKB; KQRPvKBB -> KQQRvKBB; KQRPvKBB -> KRPvKBB; KQRPvKBB -> KQRRvKBB; KQRPvKBB -> KQPvKBB; KQRPvKBB -> KQRBvKBB; KQRPvKBB -> KQRPvKB; KQRPvKBB -> KQRNvKBB; KQRPvKBB -> KQRvKBB; KQQRvKBB -> KQRvKBB; KQQRvKBB -> KQQvKBB; KQQRvKBB -> KQQRvKB; }