digraph Syzygy { KRPPvKQN -> KQRPvKQN; KRPPvKQN -> KRPPvKN; KRPPvKQN -> KRRPvKQN; KRPPvKQN -> KQNvKPP; KRPPvKQN -> KRBPvKQN; KRPPvKQN -> KRNPvKQN; KRPPvKQN -> KRPPvKQ; KRPPvKQN -> KQNvKRP; KQNvKRP -> KQRvKQN; KQNvKRP -> KRPvKN; KQNvKRP -> KQNvKRR; KQNvKRP -> KQNvKP; KQNvKRP -> KQNvKRB; KQNvKRP -> KQNvKRN; KQNvKRP -> KRPvKQ; KQNvKRP -> KQNvKR; KQNvKR -> KRvKN; KQNvKR -> KQNvK; KQNvKR -> KQvKR; KQvKR -> KRvK; KQvKR -> KQvK; KQNvK -> KNvK; KQNvK -> KQvK; KRvKN -> KNvK; KRvKN -> KRvK; KRPvKQ -> KQRvKQ; KRPvKQ -> KRPvK; KRPvKQ -> KRRvKQ; KRPvKQ -> KQvKP; KRPvKQ -> KRBvKQ; KRPvKQ -> KRNvKQ; KRPvKQ -> KQvKR; KRNvKQ -> KRNvK; KRNvKQ -> KQvKN; KRNvKQ -> KQvKR; KQvKN -> KNvK; KQvKN -> KQvK; KRNvK -> KNvK; KRNvK -> KRvK; 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; KQNvKRN -> KRNvKN; KQNvKRN -> KQNvKN; KQNvKRN -> KRNvKQ; KQNvKRN -> KQNvKR; KQNvKN -> KNvKN; KQNvKN -> KQvKN; KQNvKN -> KQNvK; KNvKN -> KNvK; KRNvKN -> KNvKN; KRNvKN -> KRvKN; KRNvKN -> KRNvK; KQNvKRB -> KRBvKN; KQNvKRB -> KQNvKB; KQNvKRB -> KQNvKR; KQNvKRB -> KRBvKQ; KQNvKB -> KBvKN; KQNvKB -> KQNvK; KQNvKB -> KQvKB; KBvKN -> KNvK; KBvKN -> KBvK; KRBvKN -> KBvKN; KRBvKN -> KRvKN; KRBvKN -> KRBvK; KQNvKP -> KQNvKQ; KQNvKP -> KNvKP; KQNvKP -> KQNvKR; KQNvKP -> KQNvKB; KQNvKP -> KQNvKN; KQNvKP -> KQvKP; KQNvKP -> KQNvK; KNvKP -> KQvKN; KNvKP -> KRvKN; KNvKP -> KBvKN; KNvKP -> KNvKN; KNvKP -> KPvK; KNvKP -> KNvK; KQNvKQ -> KQvKN; KQNvKQ -> KQNvK; KQNvKQ -> KQvKQ; KQNvKRR -> KRRvKN; KQNvKRR -> KQNvKR; KQNvKRR -> KRRvKQ; KRRvKN -> KRvKN; KRRvKN -> KRRvK; KRPvKN -> KQRvKN; KRPvKN -> KRRvKN; KRPvKN -> KNvKP; KRPvKN -> KRBvKN; KRPvKN -> KRNvKN; KRPvKN -> KRPvK; KRPvKN -> KRvKN; KQRvKN -> KRvKN; KQRvKN -> KQvKN; KQRvKN -> KQRvK; KQRvKQN -> KQNvKR; KQRvKQN -> KQRvKN; KQRvKQN -> KQNvKQ; KQRvKQN -> KQRvKQ; KRPPvKQ -> KQRPvKQ; KRPPvKQ -> KRPPvK; KRPPvKQ -> KRRPvKQ; KRPPvKQ -> KPPvKQ; KRPPvKQ -> KRBPvKQ; KRPPvKQ -> KRNPvKQ; KRPPvKQ -> KRPvKQ; KRNPvKQ -> KQRNvKQ; KRNPvKQ -> KRNPvK; KRNPvKQ -> KRRNvKQ; KRNPvKQ -> KNPvKQ; KRNPvKQ -> KRBNvKQ; KRNPvKQ -> KRNNvKQ; KRNPvKQ -> KRPvKQ; KRNPvKQ -> KRNvKQ; KRNNvKQ -> KRNNvK; KRNNvKQ -> KNNvKQ; KRNNvKQ -> KRNvKQ; KNNvKQ -> KNNvK; KNNvKQ -> KQvKN; KNNvK -> KNvK; KRNNvK -> KNNvK; KRNNvK -> KRNvK; 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; 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; 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; KQBvK -> KBvK; KQBvK -> KQvK; KQBvKQ -> KQvKB; KQBvKQ -> KQBvK; KQBvKQ -> KQvKQ; 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; KRNPvKQN -> KQRNvKQN; KRNPvKQN -> KRNPvKN; KRNPvKQN -> KRRNvKQN; KRNPvKQN -> KQNvKNP; KRNPvKQN -> KRBNvKQN; KRNPvKQN -> KRNNvKQN; KRNPvKQN -> KQNvKRP; KRNPvKQN -> KRNPvKQ; KRNPvKQN -> KQNvKRN; KRNNvKQN -> KRNNvKN; KRNNvKQN -> KQNvKNN; KRNNvKQN -> KQNvKRN; KRNNvKQN -> KRNNvKQ; KQNvKNN -> KNNvKN; KQNvKNN -> KNNvKQ; KQNvKNN -> KQNvKN; KNNvKN -> KNvKN; KNNvKN -> KNNvK; KRNNvKN -> KNNvKN; KRNNvKN -> KRNvKN; KRNNvKN -> KRNNvK; KRBNvKQN -> KRBNvKN; KRBNvKQN -> KQNvKBN; KRBNvKQN -> KQNvKRN; KRBNvKQN -> KQNvKRB; KRBNvKQN -> KRBNvKQ; KQNvKBN -> KBNvKN; KQNvKBN -> KQNvKN; KQNvKBN -> KBNvKQ; KQNvKBN -> KQNvKB; KBNvKN -> KNvKN; KBNvKN -> KBvKN; KBNvKN -> KBNvK; KRBNvKN -> KBNvKN; KRBNvKN -> KRNvKN; KRBNvKN -> KRBvKN; KRBNvKN -> KRBNvK; KQNvKNP -> KQNvKQN; KQNvKNP -> KNPvKN; KQNvKNP -> KQNvKRN; KQNvKNP -> KQNvKBN; KQNvKNP -> KQNvKNN; KQNvKNP -> KNPvKQ; KQNvKNP -> KQNvKP; KQNvKNP -> KQNvKN; KNPvKN -> KQNvKN; KNPvKN -> KRNvKN; KNPvKN -> KBNvKN; KNPvKN -> KNNvKN; KNPvKN -> KNvKP; KNPvKN -> KNPvK; KNPvKN -> KNvKN; KQNvKQN -> KQNvKN; KQNvKQN -> KQNvKQ; KRRNvKQN -> KRRNvKN; KRRNvKQN -> KQNvKRN; KRRNvKQN -> KQNvKRR; KRRNvKQN -> KRRNvKQ; KRRNvKN -> KRNvKN; KRRNvKN -> KRRvKN; KRRNvKN -> KRRNvK; KRNPvKN -> KQRNvKN; KRNPvKN -> KRRNvKN; KRNPvKN -> KNPvKN; KRNPvKN -> KRBNvKN; KRNPvKN -> KRNNvKN; KRNPvKN -> KRPvKN; KRNPvKN -> KRNPvK; KRNPvKN -> KRNvKN; KQRNvKN -> KRNvKN; KQRNvKN -> KQNvKN; KQRNvKN -> KQRvKN; KQRNvKN -> KQRNvK; KQRNvKQN -> KQNvKRN; KQRNvKQN -> KQRNvKN; KQRNvKQN -> KQNvKQN; KQRNvKQN -> KQRvKQN; KQRNvKQN -> KQRNvKQ; KRBPvKQN -> KQRBvKQN; KRBPvKQN -> KRBPvKN; KRBPvKQN -> KRRBvKQN; KRBPvKQN -> KQNvKBP; KRBPvKQN -> KRBBvKQN; KRBPvKQN -> KQNvKRP; KRBPvKQN -> KRBNvKQN; KRBPvKQN -> KRBPvKQ; KRBPvKQN -> KQNvKRB; KRBBvKQN -> KRBBvKN; KRBBvKQN -> KQNvKBB; KRBBvKQN -> KQNvKRB; KRBBvKQN -> KRBBvKQ; KQNvKBB -> KBBvKN; KQNvKBB -> KQNvKB; KQNvKBB -> KBBvKQ; KBBvKN -> KBvKN; KBBvKN -> KBBvK; KRBBvKN -> KBBvKN; KRBBvKN -> KRBvKN; KRBBvKN -> KRBBvK; KQNvKBP -> KQBvKQN; KQNvKBP -> KBPvKN; KQNvKBP -> KQNvKRB; KQNvKBP -> KQNvKBB; KQNvKBP -> KQNvKP; KQNvKBP -> KQNvKBN; KQNvKBP -> KBPvKQ; KQNvKBP -> KQNvKB; KBPvKN -> KQBvKN; KBPvKN -> KRBvKN; KBPvKN -> KBBvKN; KBPvKN -> KNvKP; KBPvKN -> KBNvKN; KBPvKN -> KBPvK; KBPvKN -> KBvKN; KQBvKN -> KBvKN; KQBvKN -> KQvKN; KQBvKN -> KQBvK; KQBvKQN -> KQNvKB; KQBvKQN -> KQBvKN; KQBvKQN -> KQNvKQ; KQBvKQN -> KQBvKQ; KRRBvKQN -> KRRBvKN; KRRBvKQN -> KQNvKRB; KRRBvKQN -> KQNvKRR; KRRBvKQN -> KRRBvKQ; KRRBvKN -> KRBvKN; KRRBvKN -> KRRvKN; KRRBvKN -> KRRBvK; KRBPvKN -> KQRBvKN; KRBPvKN -> KRRBvKN; KRBPvKN -> KBPvKN; KRBPvKN -> KRBBvKN; KRBPvKN -> KRPvKN; KRBPvKN -> KRBNvKN; KRBPvKN -> KRBPvK; KRBPvKN -> KRBvKN; KQRBvKN -> KRBvKN; KQRBvKN -> KQBvKN; KQRBvKN -> KQRvKN; KQRBvKN -> KQRBvK; KQRBvKQN -> KQNvKRB; KQRBvKQN -> KQRBvKN; KQRBvKQN -> KQBvKQN; KQRBvKQN -> KQRvKQN; KQRBvKQN -> KQRBvKQ; KQNvKPP -> KQNvKQP; KQNvKPP -> KPPvKN; KQNvKPP -> KQNvKRP; KQNvKPP -> KQNvKBP; KQNvKPP -> KQNvKNP; KQNvKPP -> KPPvKQ; KQNvKPP -> KQNvKP; KPPvKN -> KQPvKN; KPPvKN -> KRPvKN; KPPvKN -> KBPvKN; KPPvKN -> KNPvKN; KPPvKN -> KPPvK; KPPvKN -> KNvKP; KQPvKN -> KQQvKN; KQPvKN -> KNvKP; KQPvKN -> KQRvKN; KQPvKN -> KQBvKN; KQPvKN -> KQNvKN; KQPvKN -> KQPvK; KQPvKN -> KQvKN; KQQvKN -> KQvKN; KQQvKN -> KQQvK; KQNvKQP -> KQQvKQN; KQNvKQP -> KQPvKN; KQNvKQP -> KQNvKP; KQNvKQP -> KQRvKQN; KQNvKQP -> KQBvKQN; KQNvKQP -> KQNvKQN; KQNvKQP -> KQPvKQ; KQNvKQP -> KQNvKQ; KQQvKQN -> KQNvKQ; KQQvKQN -> KQQvKN; KQQvKQN -> KQQvKQ; KRRPvKQN -> KQRRvKQN; KRRPvKQN -> KRRPvKN; KRRPvKQN -> KRRRvKQN; KRRPvKQN -> KQNvKRP; KRRPvKQN -> KRRBvKQN; KRRPvKQN -> KRRNvKQN; KRRPvKQN -> KRRPvKQ; KRRPvKQN -> KQNvKRR; KRRRvKQN -> KRRRvKN; KRRRvKQN -> KQNvKRR; KRRRvKQN -> KRRRvKQ; KRRRvKN -> KRRvKN; KRRRvKN -> KRRRvK; KRRPvKN -> KQRRvKN; KRRPvKN -> KRRRvKN; KRRPvKN -> KRPvKN; KRRPvKN -> KRRBvKN; KRRPvKN -> KRRNvKN; KRRPvKN -> KRRPvK; KRRPvKN -> KRRvKN; KQRRvKN -> KRRvKN; KQRRvKN -> KQRvKN; KQRRvKN -> KQRRvK; KQRRvKQN -> KQNvKRR; KQRRvKQN -> KQRRvKN; KQRRvKQN -> KQRvKQN; KQRRvKQN -> KQRRvKQ; KRPPvKN -> KQRPvKN; KRPPvKN -> KRRPvKN; KRPPvKN -> KPPvKN; KRPPvKN -> KRBPvKN; KRPPvKN -> KRNPvKN; KRPPvKN -> KRPPvK; KRPPvKN -> KRPvKN; KQRPvKN -> KQQRvKN; KQRPvKN -> KRPvKN; KQRPvKN -> KQRRvKN; KQRPvKN -> KQPvKN; KQRPvKN -> KQRBvKN; KQRPvKN -> KQRNvKN; KQRPvKN -> KQRPvK; KQRPvKN -> KQRvKN; KQQRvKN -> KQRvKN; KQQRvKN -> KQQvKN; KQQRvKN -> KQQRvK; KQRPvKQN -> KQQRvKQN; KQRPvKQN -> KQNvKRP; KQRPvKQN -> KQRPvKN; KQRPvKQN -> KQRRvKQN; KQRPvKQN -> KQNvKQP; KQRPvKQN -> KQRBvKQN; KQRPvKQN -> KQRNvKQN; KQRPvKQN -> KQRPvKQ; KQRPvKQN -> KQRvKQN; KQQRvKQN -> KQRvKQN; KQQRvKQN -> KQQRvKN; KQQRvKQN -> KQQvKQN; KQQRvKQN -> KQQRvKQ; }