digraph Syzygy { KRPPvKQR -> KQRPvKQR; KRPPvKQR -> KRPPvKR; KRPPvKQR -> KRRPvKQR; KRPPvKQR -> KQRvKPP; KRPPvKQR -> KRPPvKQ; KRPPvKQR -> KRBPvKQR; KRPPvKQR -> KRNPvKQR; KRPPvKQR -> KQRvKRP; KQRvKRP -> KQRvKQR; KQRvKRP -> KRPvKR; KQRvKRP -> KQRvKRR; KQRvKRP -> KRPvKQ; KQRvKRP -> KQRvKP; KQRvKRP -> KQRvKRB; KQRvKRP -> KQRvKRN; KQRvKRP -> KQRvKR; KQRvKR -> KRvKR; KQRvKR -> KQvKR; KQRvKR -> KQRvK; KQRvK -> KRvK; KQRvK -> KQvK; KQvKR -> KRvK; KQvKR -> KQvK; KRvKR -> KRvK; KQRvKRN -> KRNvKR; KQRvKRN -> KRNvKQ; KQRvKRN -> KQRvKN; KQRvKRN -> KQRvKR; KQRvKN -> KRvKN; KQRvKN -> KQvKN; KQRvKN -> KQRvK; KQvKN -> KNvK; KQvKN -> KQvK; KRvKN -> KNvK; KRvKN -> KRvK; KRNvKQ -> KRNvK; KRNvKQ -> KQvKN; KRNvKQ -> KQvKR; KRNvK -> KNvK; KRNvK -> KRvK; KRNvKR -> KRvKN; KRNvKR -> KRNvK; KRNvKR -> KRvKR; KQRvKRB -> KRBvKR; KQRvKRB -> KRBvKQ; KQRvKRB -> KQRvKB; KQRvKRB -> KQRvKR; KQRvKB -> KRvKB; KQRvKB -> KQvKB; KQRvKB -> KQRvK; KQvKB -> KBvK; KQvKB -> KQvK; KRvKB -> KBvK; KRvKB -> KRvK; KRBvKQ -> KRBvK; KRBvKQ -> KQvKB; KRBvKQ -> KQvKR; KRBvK -> KBvK; KRBvK -> KRvK; KRBvKR -> KRvKB; KRBvKR -> KRBvK; KRBvKR -> KRvKR; KQRvKP -> KQRvKQ; KQRvKP -> KRvKP; KQRvKP -> KQRvKR; KQRvKP -> KQvKP; KQRvKP -> KQRvKB; KQRvKP -> KQRvKN; KQRvKP -> KQRvK; KQvKP -> KQvKQ; KQvKP -> KPvK; KQvKP -> KQvKR; KQvKP -> KQvKB; KQvKP -> KQvKN; KQvKP -> KQvK; KPvK -> KQvK; KPvK -> KRvK; KPvK -> KBvK; KPvK -> KNvK; KQvKQ -> KQvK; KRvKP -> KQvKR; KRvKP -> KRvKR; KRvKP -> KPvK; KRvKP -> KRvKB; KRvKP -> KRvKN; KRvKP -> KRvK; KQRvKQ -> KQvKR; KQRvKQ -> KQRvK; KQRvKQ -> KQvKQ; KRPvKQ -> KQRvKQ; KRPvKQ -> KRPvK; KRPvKQ -> KRRvKQ; KRPvKQ -> KQvKP; KRPvKQ -> KRBvKQ; KRPvKQ -> KRNvKQ; KRPvKQ -> KQvKR; KRRvKQ -> KRRvK; KRRvKQ -> KQvKR; KRRvK -> KRvK; KRPvK -> KQRvK; KRPvK -> KRRvK; KRPvK -> KPvK; KRPvK -> KRBvK; KRPvK -> KRNvK; KRPvK -> KRvK; KQRvKRR -> KRRvKR; KQRvKRR -> KRRvKQ; KQRvKRR -> KQRvKR; KRRvKR -> KRvKR; KRRvKR -> KRRvK; KRPvKR -> KQRvKR; KRPvKR -> KRRvKR; KRPvKR -> KRvKP; KRPvKR -> KRPvK; KRPvKR -> KRBvKR; KRPvKR -> KRNvKR; KRPvKR -> KRvKR; KQRvKQR -> KQRvKR; KQRvKQR -> KQRvKQ; KRNPvKQR -> KQRNvKQR; KRNPvKQR -> KRNPvKR; KRNPvKQR -> KRRNvKQR; KRNPvKQR -> KQRvKNP; KRNPvKQR -> KRNPvKQ; KRNPvKQR -> KRBNvKQR; KRNPvKQR -> KRNNvKQR; KRNPvKQR -> KQRvKRP; KRNPvKQR -> KQRvKRN; KRNNvKQR -> KRNNvKR; KRNNvKQR -> KQRvKNN; KRNNvKQR -> KRNNvKQ; KRNNvKQR -> KQRvKRN; KRNNvKQ -> KRNNvK; KRNNvKQ -> KNNvKQ; KRNNvKQ -> KRNvKQ; KNNvKQ -> KNNvK; KNNvKQ -> KQvKN; KNNvK -> KNvK; KRNNvK -> KNNvK; KRNNvK -> KRNvK; KQRvKNN -> KNNvKR; KQRvKNN -> KNNvKQ; KQRvKNN -> KQRvKN; KNNvKR -> KNNvK; KNNvKR -> KRvKN; KRNNvKR -> KNNvKR; KRNNvKR -> KRNNvK; KRNNvKR -> KRNvKR; KRBNvKQR -> KRBNvKR; KRBNvKQR -> KQRvKBN; KRBNvKQR -> KRBNvKQ; KRBNvKQR -> KQRvKRN; KRBNvKQR -> KQRvKRB; KRBNvKQ -> KRBNvK; KRBNvKQ -> KBNvKQ; KRBNvKQ -> KRNvKQ; KRBNvKQ -> KRBvKQ; KBNvKQ -> KBNvK; KBNvKQ -> KQvKN; KBNvKQ -> KQvKB; KBNvK -> KNvK; KBNvK -> KBvK; KRBNvK -> KBNvK; KRBNvK -> KRNvK; KRBNvK -> KRBvK; KQRvKBN -> KBNvKR; KQRvKBN -> KBNvKQ; KQRvKBN -> KQRvKN; KQRvKBN -> KQRvKB; KBNvKR -> KBNvK; KBNvKR -> KRvKN; KBNvKR -> KRvKB; KRBNvKR -> KBNvKR; KRBNvKR -> KRBNvK; KRBNvKR -> KRNvKR; KRBNvKR -> KRBvKR; KRNPvKQ -> KQRNvKQ; KRNPvKQ -> KRNPvK; KRNPvKQ -> KRRNvKQ; KRNPvKQ -> KNPvKQ; KRNPvKQ -> KRBNvKQ; KRNPvKQ -> KRNNvKQ; KRNPvKQ -> KRPvKQ; KRNPvKQ -> KRNvKQ; 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; KQRvKNP -> KQRvKQN; KQRvKNP -> KNPvKR; KQRvKNP -> KQRvKRN; KQRvKNP -> KNPvKQ; KQRvKNP -> KQRvKBN; KQRvKNP -> KQRvKNN; KQRvKNP -> KQRvKP; KQRvKNP -> KQRvKN; KNPvKR -> KQNvKR; KNPvKR -> KRNvKR; KNPvKR -> KNPvK; KNPvKR -> KBNvKR; KNPvKR -> KNNvKR; KNPvKR -> KRvKP; KNPvKR -> KRvKN; KQNvKR -> KRvKN; KQNvKR -> KQNvK; KQNvKR -> KQvKR; KQRvKQN -> KQNvKR; KQRvKQN -> KQRvKN; KQRvKQN -> KQNvKQ; KQRvKQN -> KQRvKQ; KRRNvKQR -> KRRNvKR; KRRNvKQR -> KQRvKRN; KRRNvKQR -> KRRNvKQ; KRRNvKQR -> KQRvKRR; KRRNvKR -> KRNvKR; KRRNvKR -> KRRNvK; KRRNvKR -> KRRvKR; KRNPvKR -> KQRNvKR; KRNPvKR -> KRRNvKR; KRNPvKR -> KNPvKR; KRNPvKR -> KRNPvK; KRNPvKR -> KRBNvKR; KRNPvKR -> KRNNvKR; KRNPvKR -> KRPvKR; KRNPvKR -> KRNvKR; KQRNvKR -> KRNvKR; KQRNvKR -> KQNvKR; KQRNvKR -> KQRNvK; KQRNvKR -> KQRvKR; KQRNvKQR -> KQRvKRN; KQRNvKQR -> KQRNvKR; KQRNvKQR -> KQRvKQN; KQRNvKQR -> KQRNvKQ; KQRNvKQR -> KQRvKQR; KRBPvKQR -> KQRBvKQR; KRBPvKQR -> KRBPvKR; KRBPvKQR -> KRRBvKQR; KRBPvKQR -> KQRvKBP; KRBPvKQR -> KRBPvKQ; KRBPvKQR -> KRBBvKQR; KRBPvKQR -> KQRvKRP; KRBPvKQR -> KRBNvKQR; KRBPvKQR -> KQRvKRB; KRBBvKQR -> KRBBvKR; KRBBvKQR -> KQRvKBB; KRBBvKQR -> KRBBvKQ; KRBBvKQR -> KQRvKRB; KRBBvKQ -> KRBBvK; KRBBvKQ -> KBBvKQ; KRBBvKQ -> KRBvKQ; KBBvKQ -> KBBvK; KBBvKQ -> KQvKB; KBBvK -> KBvK; KRBBvK -> KBBvK; KRBBvK -> KRBvK; KQRvKBB -> KBBvKR; KQRvKBB -> KBBvKQ; KQRvKBB -> KQRvKB; KBBvKR -> KBBvK; KBBvKR -> KRvKB; KRBBvKR -> KBBvKR; KRBBvKR -> KRBBvK; KRBBvKR -> KRBvKR; KRBPvKQ -> KQRBvKQ; KRBPvKQ -> KRBPvK; KRBPvKQ -> KRRBvKQ; KRBPvKQ -> KBPvKQ; KRBPvKQ -> KRBBvKQ; KRBPvKQ -> KRPvKQ; KRBPvKQ -> KRBNvKQ; KRBPvKQ -> KRBvKQ; 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; KQRvKBP -> KQRvKQB; KQRvKBP -> KBPvKR; KQRvKBP -> KQRvKRB; KQRvKBP -> KBPvKQ; KQRvKBP -> KQRvKBB; KQRvKBP -> KQRvKP; KQRvKBP -> KQRvKBN; KQRvKBP -> KQRvKB; KBPvKR -> KQBvKR; KBPvKR -> KRBvKR; KBPvKR -> KBPvK; KBPvKR -> KBBvKR; KBPvKR -> KRvKP; KBPvKR -> KBNvKR; KBPvKR -> KRvKB; KQBvKR -> KRvKB; KQBvKR -> KQBvK; KQBvKR -> KQvKR; KQRvKQB -> KQBvKR; KQRvKQB -> KQRvKB; KQRvKQB -> KQBvKQ; KQRvKQB -> KQRvKQ; KRRBvKQR -> KRRBvKR; KRRBvKQR -> KQRvKRB; KRRBvKQR -> KRRBvKQ; KRRBvKQR -> KQRvKRR; KRRBvKR -> KRBvKR; KRRBvKR -> KRRBvK; KRRBvKR -> KRRvKR; KRBPvKR -> KQRBvKR; KRBPvKR -> KRRBvKR; KRBPvKR -> KBPvKR; KRBPvKR -> KRBPvK; KRBPvKR -> KRBBvKR; KRBPvKR -> KRPvKR; KRBPvKR -> KRBNvKR; KRBPvKR -> KRBvKR; KQRBvKR -> KRBvKR; KQRBvKR -> KQBvKR; KQRBvKR -> KQRBvK; KQRBvKR -> KQRvKR; KQRBvKQR -> KQRvKRB; KQRBvKQR -> KQRBvKR; KQRBvKQR -> KQRvKQB; KQRBvKQR -> KQRBvKQ; KQRBvKQR -> KQRvKQR; KRPPvKQ -> KQRPvKQ; KRPPvKQ -> KRPPvK; KRPPvKQ -> KRRPvKQ; KRPPvKQ -> KPPvKQ; KRPPvKQ -> KRBPvKQ; KRPPvKQ -> KRNPvKQ; KRPPvKQ -> KRPvKQ; 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; KQRvKPP -> KQRvKQP; KQRvKPP -> KPPvKR; KQRvKPP -> KQRvKRP; KQRvKPP -> KPPvKQ; KQRvKPP -> KQRvKBP; KQRvKPP -> KQRvKNP; KQRvKPP -> KQRvKP; KPPvKR -> KQPvKR; KPPvKR -> KRPvKR; KPPvKR -> KPPvK; KPPvKR -> KBPvKR; KPPvKR -> KNPvKR; KPPvKR -> KRvKP; KQPvKR -> KQQvKR; KQPvKR -> KRvKP; KQPvKR -> KQRvKR; KQPvKR -> KQPvK; KQPvKR -> KQBvKR; KQPvKR -> KQNvKR; KQPvKR -> KQvKR; KQQvKR -> KQvKR; KQQvKR -> KQQvK; KQRvKQP -> KQQvKQR; KQRvKQP -> KQPvKR; KQRvKQP -> KQRvKP; KQRvKQP -> KQRvKQR; KQRvKQP -> KQPvKQ; KQRvKQP -> KQRvKQB; KQRvKQP -> KQRvKQN; KQRvKQP -> KQRvKQ; KQQvKQR -> KQRvKQ; KQQvKQR -> KQQvKR; KQQvKQR -> KQQvKQ; KRRPvKQR -> KQRRvKQR; KRRPvKQR -> KRRPvKR; KRRPvKQR -> KRRRvKQR; KRRPvKQR -> KQRvKRP; KRRPvKQR -> KRRPvKQ; KRRPvKQR -> KRRBvKQR; KRRPvKQR -> KRRNvKQR; KRRPvKQR -> KQRvKRR; KRRRvKQR -> KRRRvKR; KRRRvKQR -> KQRvKRR; KRRRvKQR -> KRRRvKQ; KRRRvKR -> KRRvKR; KRRRvKR -> KRRRvK; KRRPvKR -> KQRRvKR; KRRPvKR -> KRRRvKR; KRRPvKR -> KRPvKR; KRRPvKR -> KRRPvK; KRRPvKR -> KRRBvKR; KRRPvKR -> KRRNvKR; KRRPvKR -> KRRvKR; KQRRvKR -> KRRvKR; KQRRvKR -> KQRvKR; KQRRvKR -> KQRRvK; KQRRvKQR -> KQRvKRR; KQRRvKQR -> KQRRvKR; KQRRvKQR -> KQRvKQR; KQRRvKQR -> KQRRvKQ; KRPPvKR -> KQRPvKR; KRPPvKR -> KRRPvKR; KRPPvKR -> KPPvKR; KRPPvKR -> KRPPvK; KRPPvKR -> KRBPvKR; KRPPvKR -> KRNPvKR; KRPPvKR -> KRPvKR; KQRPvKR -> KQQRvKR; KQRPvKR -> KRPvKR; KQRPvKR -> KQRRvKR; KQRPvKR -> KQPvKR; KQRPvKR -> KQRPvK; KQRPvKR -> KQRBvKR; KQRPvKR -> KQRNvKR; KQRPvKR -> KQRvKR; KQQRvKR -> KQRvKR; KQQRvKR -> KQQvKR; KQQRvKR -> KQQRvK; KQRPvKQR -> KQQRvKQR; KQRPvKQR -> KQRvKRP; KQRPvKQR -> KQRPvKR; KQRPvKQR -> KQRRvKQR; KQRPvKQR -> KQRvKQP; KQRPvKQR -> KQRPvKQ; KQRPvKQR -> KQRBvKQR; KQRPvKQR -> KQRNvKQR; KQRPvKQR -> KQRvKQR; KQQRvKQR -> KQRvKQR; KQQRvKQR -> KQQRvKR; KQQRvKQR -> KQQvKQR; KQQRvKQR -> KQQRvKQ; }