digraph Syzygy { KRPPvKQB -> KQRPvKQB; KRPPvKQB -> KRPPvKB; KRPPvKQB -> KRRPvKQB; KRPPvKQB -> KQBvKPP; KRPPvKQB -> KRBPvKQB; KRPPvKQB -> KRPPvKQ; KRPPvKQB -> KRNPvKQB; KRPPvKQB -> KQBvKRP; KQBvKRP -> KQRvKQB; KQBvKRP -> KRPvKB; KQBvKRP -> KQBvKRR; KQBvKRP -> KQBvKP; KQBvKRP -> KQBvKRB; KQBvKRP -> KRPvKQ; KQBvKRP -> KQBvKRN; KQBvKRP -> KQBvKR; KQBvKR -> KRvKB; KQBvKR -> KQBvK; KQBvKR -> KQvKR; KQvKR -> KRvK; KQvKR -> KQvK; KQBvK -> KBvK; KQBvK -> KQvK; KRvKB -> KBvK; KRvKB -> KRvK; KQBvKRN -> KRNvKB; KQBvKRN -> KQBvKN; KQBvKRN -> KRNvKQ; KQBvKRN -> KQBvKR; KRNvKQ -> KRNvK; KRNvKQ -> KQvKN; KRNvKQ -> KQvKR; KQvKN -> KNvK; KQvKN -> KQvK; KRNvK -> KNvK; KRNvK -> KRvK; KQBvKN -> KBvKN; KQBvKN -> KQvKN; KQBvKN -> KQBvK; KBvKN -> KNvK; KBvKN -> KBvK; KRNvKB -> KBvKN; KRNvKB -> KRNvK; KRNvKB -> KRvKB; KRPvKQ -> KQRvKQ; KRPvKQ -> KRPvK; KRPvKQ -> KRRvKQ; KRPvKQ -> KQvKP; KRPvKQ -> KRBvKQ; KRPvKQ -> KRNvKQ; KRPvKQ -> KQvKR; KRBvKQ -> KRBvK; KRBvKQ -> KQvKB; KRBvKQ -> KQvKR; KQvKB -> KBvK; KQvKB -> KQvK; KRBvK -> KBvK; KRBvK -> KRvK; KQvKP -> KQvKQ; KQvKP -> KPvK; KQvKP -> KQvKR; KQvKP -> KQvKB; KQvKP -> KQvKN; KQvKP -> KQvK; KPvK -> KQvK; KPvK -> KRvK; KPvK -> KBvK; KPvK -> KNvK; KQvKQ -> KQvK; KRRvKQ -> KRRvK; KRRvKQ -> KQvKR; KRRvK -> KRvK; KRPvK -> KQRvK; KRPvK -> KRRvK; KRPvK -> KPvK; KRPvK -> KRBvK; KRPvK -> KRNvK; KRPvK -> KRvK; KQRvK -> KRvK; KQRvK -> KQvK; KQRvKQ -> KQvKR; KQRvKQ -> KQRvK; KQRvKQ -> KQvKQ; KQBvKRB -> KRBvKB; KQBvKRB -> KQBvKB; KQBvKRB -> KRBvKQ; KQBvKRB -> KQBvKR; KQBvKB -> KBvKB; KQBvKB -> KQvKB; KQBvKB -> KQBvK; KBvKB -> KBvK; KRBvKB -> KBvKB; KRBvKB -> KRvKB; KRBvKB -> KRBvK; KQBvKP -> KQBvKQ; KQBvKP -> KBvKP; KQBvKP -> KQBvKR; KQBvKP -> KQBvKB; KQBvKP -> KQvKP; KQBvKP -> KQBvKN; KQBvKP -> KQBvK; KBvKP -> KQvKB; KBvKP -> KRvKB; KBvKP -> KBvKB; KBvKP -> KPvK; KBvKP -> KBvKN; KBvKP -> KBvK; KQBvKQ -> KQvKB; KQBvKQ -> KQBvK; KQBvKQ -> KQvKQ; KQBvKRR -> KRRvKB; KQBvKRR -> KQBvKR; KQBvKRR -> KRRvKQ; KRRvKB -> KRvKB; KRRvKB -> KRRvK; KRPvKB -> KQRvKB; KRPvKB -> KRRvKB; KRPvKB -> KBvKP; KRPvKB -> KRBvKB; KRPvKB -> KRPvK; KRPvKB -> KRNvKB; KRPvKB -> KRvKB; KQRvKB -> KRvKB; KQRvKB -> KQvKB; KQRvKB -> KQRvK; KQRvKQB -> KQBvKR; KQRvKQB -> KQRvKB; KQRvKQB -> KQBvKQ; KQRvKQB -> KQRvKQ; KRNPvKQB -> KQRNvKQB; KRNPvKQB -> KRNPvKB; KRNPvKQB -> KRRNvKQB; KRNPvKQB -> KQBvKNP; KRNPvKQB -> KRBNvKQB; KRNPvKQB -> KRNPvKQ; KRNPvKQB -> KRNNvKQB; KRNPvKQB -> KQBvKRP; KRNPvKQB -> KQBvKRN; KRNNvKQB -> KRNNvKB; KRNNvKQB -> KQBvKNN; KRNNvKQB -> KRNNvKQ; KRNNvKQB -> KQBvKRN; KRNNvKQ -> KRNNvK; KRNNvKQ -> KNNvKQ; KRNNvKQ -> KRNvKQ; KNNvKQ -> KNNvK; KNNvKQ -> KQvKN; KNNvK -> KNvK; KRNNvK -> KNNvK; KRNNvK -> KRNvK; KQBvKNN -> KNNvKB; KQBvKNN -> KNNvKQ; KQBvKNN -> KQBvKN; KNNvKB -> KNNvK; KNNvKB -> KBvKN; KRNNvKB -> KNNvKB; KRNNvKB -> KRNNvK; KRNNvKB -> KRNvKB; KRNPvKQ -> KQRNvKQ; KRNPvKQ -> KRNPvK; KRNPvKQ -> KRRNvKQ; KRNPvKQ -> KNPvKQ; KRNPvKQ -> KRBNvKQ; KRNPvKQ -> KRNNvKQ; KRNPvKQ -> KRPvKQ; KRNPvKQ -> KRNvKQ; KRBNvKQ -> KRBNvK; KRBNvKQ -> KBNvKQ; KRBNvKQ -> KRNvKQ; KRBNvKQ -> KRBvKQ; KBNvKQ -> KBNvK; KBNvKQ -> KQvKN; KBNvKQ -> KQvKB; KBNvK -> KNvK; KBNvK -> KBvK; KRBNvK -> KBNvK; KRBNvK -> KRNvK; KRBNvK -> KRBvK; KNPvKQ -> KQNvKQ; KNPvKQ -> KNPvK; KNPvKQ -> KRNvKQ; KNPvKQ -> KBNvKQ; KNPvKQ -> KNNvKQ; KNPvKQ -> KQvKP; KNPvKQ -> KQvKN; KNPvK -> KQNvK; KNPvK -> KRNvK; KNPvK -> KBNvK; KNPvK -> KNNvK; KNPvK -> KPvK; KNPvK -> KNvK; KQNvK -> KNvK; KQNvK -> KQvK; KQNvKQ -> KQvKN; KQNvKQ -> KQNvK; KQNvKQ -> KQvKQ; KRRNvKQ -> KRRNvK; KRRNvKQ -> KRNvKQ; KRRNvKQ -> KRRvKQ; KRRNvK -> KRNvK; KRRNvK -> KRRvK; KRNPvK -> KQRNvK; KRNPvK -> KRRNvK; KRNPvK -> KNPvK; KRNPvK -> KRBNvK; KRNPvK -> KRNNvK; KRNPvK -> KRPvK; KRNPvK -> KRNvK; KQRNvK -> KRNvK; KQRNvK -> KQNvK; KQRNvK -> KQRvK; KQRNvKQ -> KRNvKQ; KQRNvKQ -> KQRNvK; KQRNvKQ -> KQNvKQ; KQRNvKQ -> KQRvKQ; KRBNvKQB -> KRBNvKB; KRBNvKQB -> KQBvKBN; KRBNvKQB -> KQBvKRN; KRBNvKQB -> KRBNvKQ; KRBNvKQB -> KQBvKRB; KQBvKBN -> KBNvKB; KQBvKBN -> KBNvKQ; KQBvKBN -> KQBvKN; KQBvKBN -> KQBvKB; KBNvKB -> KBvKN; KBNvKB -> KBNvK; KBNvKB -> KBvKB; KRBNvKB -> KBNvKB; KRBNvKB -> KRNvKB; KRBNvKB -> KRBNvK; KRBNvKB -> KRBvKB; KQBvKNP -> KQBvKQN; KQBvKNP -> KNPvKB; KQBvKNP -> KQBvKRN; KQBvKNP -> KQBvKBN; KQBvKNP -> KNPvKQ; KQBvKNP -> KQBvKNN; KQBvKNP -> KQBvKP; KQBvKNP -> KQBvKN; KNPvKB -> KQNvKB; KNPvKB -> KRNvKB; KNPvKB -> KBNvKB; KNPvKB -> KNPvK; KNPvKB -> KNNvKB; KNPvKB -> KBvKP; KNPvKB -> KBvKN; KQNvKB -> KBvKN; KQNvKB -> KQNvK; KQNvKB -> KQvKB; KQBvKQN -> KQNvKB; KQBvKQN -> KQBvKN; KQBvKQN -> KQNvKQ; KQBvKQN -> KQBvKQ; KRRNvKQB -> KRRNvKB; KRRNvKQB -> KQBvKRN; KRRNvKQB -> KRRNvKQ; KRRNvKQB -> KQBvKRR; KRRNvKB -> KRNvKB; KRRNvKB -> KRRNvK; KRRNvKB -> KRRvKB; KRNPvKB -> KQRNvKB; KRNPvKB -> KRRNvKB; KRNPvKB -> KNPvKB; KRNPvKB -> KRBNvKB; KRNPvKB -> KRNPvK; KRNPvKB -> KRNNvKB; KRNPvKB -> KRPvKB; KRNPvKB -> KRNvKB; KQRNvKB -> KRNvKB; KQRNvKB -> KQNvKB; KQRNvKB -> KQRNvK; KQRNvKB -> KQRvKB; KQRNvKQB -> KQBvKRN; KQRNvKQB -> KQRNvKB; KQRNvKQB -> KQBvKQN; KQRNvKQB -> KQRNvKQ; KQRNvKQB -> KQRvKQB; KRPPvKQ -> KQRPvKQ; KRPPvKQ -> KRPPvK; KRPPvKQ -> KRRPvKQ; KRPPvKQ -> KPPvKQ; KRPPvKQ -> KRBPvKQ; KRPPvKQ -> KRNPvKQ; KRPPvKQ -> KRPvKQ; KRBPvKQ -> KQRBvKQ; KRBPvKQ -> KRBPvK; KRBPvKQ -> KRRBvKQ; KRBPvKQ -> KBPvKQ; KRBPvKQ -> KRBBvKQ; KRBPvKQ -> KRPvKQ; KRBPvKQ -> KRBNvKQ; KRBPvKQ -> KRBvKQ; KRBBvKQ -> KRBBvK; KRBBvKQ -> KBBvKQ; KRBBvKQ -> KRBvKQ; KBBvKQ -> KBBvK; KBBvKQ -> KQvKB; KBBvK -> KBvK; KRBBvK -> KBBvK; KRBBvK -> KRBvK; KBPvKQ -> KQBvKQ; KBPvKQ -> KBPvK; KBPvKQ -> KRBvKQ; KBPvKQ -> KBBvKQ; KBPvKQ -> KQvKP; KBPvKQ -> KBNvKQ; KBPvKQ -> KQvKB; KBPvK -> KQBvK; KBPvK -> KRBvK; KBPvK -> KBBvK; KBPvK -> KPvK; KBPvK -> KBNvK; KBPvK -> KBvK; KRRBvKQ -> KRRBvK; KRRBvKQ -> KRBvKQ; KRRBvKQ -> KRRvKQ; KRRBvK -> KRBvK; KRRBvK -> KRRvK; KRBPvK -> KQRBvK; KRBPvK -> KRRBvK; KRBPvK -> KBPvK; KRBPvK -> KRBBvK; KRBPvK -> KRPvK; KRBPvK -> KRBNvK; KRBPvK -> KRBvK; KQRBvK -> KRBvK; KQRBvK -> KQBvK; KQRBvK -> KQRvK; KQRBvKQ -> KRBvKQ; KQRBvKQ -> KQRBvK; KQRBvKQ -> KQBvKQ; KQRBvKQ -> KQRvKQ; KPPvKQ -> KQPvKQ; KPPvKQ -> KPPvK; KPPvKQ -> KRPvKQ; KPPvKQ -> KBPvKQ; KPPvKQ -> KNPvKQ; KPPvKQ -> KQvKP; KPPvK -> KQPvK; KPPvK -> KRPvK; KPPvK -> KBPvK; KPPvK -> KNPvK; KPPvK -> KPvK; KQPvK -> KQQvK; KQPvK -> KPvK; KQPvK -> KQRvK; KQPvK -> KQBvK; KQPvK -> KQNvK; KQPvK -> KQvK; KQQvK -> KQvK; KQPvKQ -> KQQvKQ; KQPvKQ -> KQvKP; KQPvKQ -> KQPvK; KQPvKQ -> KQRvKQ; KQPvKQ -> KQBvKQ; KQPvKQ -> KQNvKQ; KQPvKQ -> KQvKQ; KQQvKQ -> KQvKQ; KQQvKQ -> KQQvK; KRRPvKQ -> KQRRvKQ; KRRPvKQ -> KRRPvK; KRRPvKQ -> KRRRvKQ; KRRPvKQ -> KRPvKQ; KRRPvKQ -> KRRBvKQ; KRRPvKQ -> KRRNvKQ; KRRPvKQ -> KRRvKQ; KRRRvKQ -> KRRRvK; KRRRvKQ -> KRRvKQ; KRRRvK -> KRRvK; KRRPvK -> KQRRvK; KRRPvK -> KRRRvK; KRRPvK -> KRPvK; KRRPvK -> KRRBvK; KRRPvK -> KRRNvK; KRRPvK -> KRRvK; KQRRvK -> KRRvK; KQRRvK -> KQRvK; KQRRvKQ -> KRRvKQ; KQRRvKQ -> KQRRvK; KQRRvKQ -> KQRvKQ; KRPPvK -> KQRPvK; KRPPvK -> KRRPvK; KRPPvK -> KPPvK; KRPPvK -> KRBPvK; KRPPvK -> KRNPvK; KRPPvK -> KRPvK; KQRPvK -> KQQRvK; KQRPvK -> KRPvK; KQRPvK -> KQRRvK; KQRPvK -> KQPvK; KQRPvK -> KQRBvK; KQRPvK -> KQRNvK; KQRPvK -> KQRvK; KQQRvK -> KQRvK; KQQRvK -> KQQvK; KQRPvKQ -> KQQRvKQ; KQRPvKQ -> KRPvKQ; KQRPvKQ -> KQRPvK; KQRPvKQ -> KQRRvKQ; KQRPvKQ -> KQPvKQ; KQRPvKQ -> KQRBvKQ; KQRPvKQ -> KQRNvKQ; KQRPvKQ -> KQRvKQ; KQQRvKQ -> KQRvKQ; KQQRvKQ -> KQQRvK; KQQRvKQ -> KQQvKQ; KRBPvKQB -> KQRBvKQB; KRBPvKQB -> KRBPvKB; KRBPvKQB -> KRRBvKQB; KRBPvKQB -> KQBvKBP; KRBPvKQB -> KRBBvKQB; KRBPvKQB -> KQBvKRP; KRBPvKQB -> KRBPvKQ; KRBPvKQB -> KRBNvKQB; KRBPvKQB -> KQBvKRB; KRBBvKQB -> KRBBvKB; KRBBvKQB -> KQBvKBB; KRBBvKQB -> KQBvKRB; KRBBvKQB -> KRBBvKQ; KQBvKBB -> KBBvKB; KQBvKBB -> KBBvKQ; KQBvKBB -> KQBvKB; KBBvKB -> KBvKB; KBBvKB -> KBBvK; KRBBvKB -> KBBvKB; KRBBvKB -> KRBvKB; KRBBvKB -> KRBBvK; KQBvKBP -> KQBvKQB; KQBvKBP -> KBPvKB; KQBvKBP -> KQBvKRB; KQBvKBP -> KQBvKBB; KQBvKBP -> KBPvKQ; KQBvKBP -> KQBvKP; KQBvKBP -> KQBvKBN; KQBvKBP -> KQBvKB; KBPvKB -> KQBvKB; KBPvKB -> KRBvKB; KBPvKB -> KBBvKB; KBPvKB -> KBvKP; KBPvKB -> KBPvK; KBPvKB -> KBNvKB; KBPvKB -> KBvKB; KQBvKQB -> KQBvKB; KQBvKQB -> KQBvKQ; KRRBvKQB -> KRRBvKB; KRRBvKQB -> KQBvKRB; KRRBvKQB -> KQBvKRR; KRRBvKQB -> KRRBvKQ; KRRBvKB -> KRBvKB; KRRBvKB -> KRRvKB; KRRBvKB -> KRRBvK; KRBPvKB -> KQRBvKB; KRBPvKB -> KRRBvKB; KRBPvKB -> KBPvKB; KRBPvKB -> KRBBvKB; KRBPvKB -> KRPvKB; KRBPvKB -> KRBPvK; KRBPvKB -> KRBNvKB; KRBPvKB -> KRBvKB; KQRBvKB -> KRBvKB; KQRBvKB -> KQBvKB; KQRBvKB -> KQRvKB; KQRBvKB -> KQRBvK; KQRBvKQB -> KQBvKRB; KQRBvKQB -> KQRBvKB; KQRBvKQB -> KQBvKQB; KQRBvKQB -> KQRvKQB; KQRBvKQB -> KQRBvKQ; KQBvKPP -> KQBvKQP; KQBvKPP -> KPPvKB; KQBvKPP -> KQBvKRP; KQBvKPP -> KQBvKBP; KQBvKPP -> KPPvKQ; KQBvKPP -> KQBvKNP; KQBvKPP -> KQBvKP; 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; KQBvKQP -> KQQvKQB; KQBvKQP -> KQPvKB; KQBvKQP -> KQBvKP; KQBvKQP -> KQRvKQB; KQBvKQP -> KQBvKQB; KQBvKQP -> KQPvKQ; KQBvKQP -> KQBvKQN; KQBvKQP -> KQBvKQ; KQQvKQB -> KQBvKQ; KQQvKQB -> KQQvKB; KQQvKQB -> KQQvKQ; KRRPvKQB -> KQRRvKQB; KRRPvKQB -> KRRPvKB; KRRPvKQB -> KRRRvKQB; KRRPvKQB -> KQBvKRP; KRRPvKQB -> KRRBvKQB; KRRPvKQB -> KRRPvKQ; KRRPvKQB -> KRRNvKQB; KRRPvKQB -> KQBvKRR; KRRRvKQB -> KRRRvKB; KRRRvKQB -> KQBvKRR; KRRRvKQB -> KRRRvKQ; KRRRvKB -> KRRvKB; KRRRvKB -> KRRRvK; KRRPvKB -> KQRRvKB; KRRPvKB -> KRRRvKB; KRRPvKB -> KRPvKB; KRRPvKB -> KRRBvKB; KRRPvKB -> KRRPvK; KRRPvKB -> KRRNvKB; KRRPvKB -> KRRvKB; KQRRvKB -> KRRvKB; KQRRvKB -> KQRvKB; KQRRvKB -> KQRRvK; KQRRvKQB -> KQBvKRR; KQRRvKQB -> KQRRvKB; KQRRvKQB -> KQRvKQB; KQRRvKQB -> KQRRvKQ; KRPPvKB -> KQRPvKB; KRPPvKB -> KRRPvKB; KRPPvKB -> KPPvKB; KRPPvKB -> KRBPvKB; KRPPvKB -> KRPPvK; KRPPvKB -> KRNPvKB; KRPPvKB -> KRPvKB; KQRPvKB -> KQQRvKB; KQRPvKB -> KRPvKB; KQRPvKB -> KQRRvKB; KQRPvKB -> KQPvKB; KQRPvKB -> KQRBvKB; KQRPvKB -> KQRPvK; KQRPvKB -> KQRNvKB; KQRPvKB -> KQRvKB; KQQRvKB -> KQRvKB; KQQRvKB -> KQQvKB; KQQRvKB -> KQQRvK; KQRPvKQB -> KQQRvKQB; KQRPvKQB -> KQBvKRP; KQRPvKQB -> KQRPvKB; KQRPvKQB -> KQRRvKQB; KQRPvKQB -> KQBvKQP; KQRPvKQB -> KQRBvKQB; KQRPvKQB -> KQRPvKQ; KQRPvKQB -> KQRNvKQB; KQRPvKQB -> KQRvKQB; KQQRvKQB -> KQRvKQB; KQQRvKQB -> KQQRvKB; KQQRvKQB -> KQQvKQB; KQQRvKQB -> KQQRvKQ; }