digraph Syzygy { KQPPvKQR -> KQQPvKQR; KQPPvKQR -> KQRvKPP; KQPPvKQR -> KQPPvKR; KQPPvKQR -> KQRPvKQR; KQPPvKQR -> KQPPvKQ; KQPPvKQR -> KQBPvKQR; KQPPvKQR -> KQNPvKQR; KQPPvKQR -> KQRvKQP; KQRvKQP -> KQQvKQR; KQRvKQP -> KQPvKR; KQRvKQP -> KQRvKP; KQRvKQP -> KQRvKQR; KQRvKQP -> KQPvKQ; KQRvKQP -> KQRvKQB; KQRvKQP -> KQRvKQN; KQRvKQP -> KQRvKQ; KQRvKQ -> KQvKR; KQRvKQ -> KQRvK; KQRvKQ -> KQvKQ; KQvKQ -> KQvK; KQRvK -> KRvK; KQRvK -> KQvK; KQvKR -> KRvK; KQvKR -> KQvK; KQRvKQN -> KQNvKR; KQRvKQN -> KQRvKN; KQRvKQN -> KQNvKQ; KQRvKQN -> KQRvKQ; KQNvKQ -> KQvKN; KQNvKQ -> KQNvK; KQNvKQ -> KQvKQ; KQNvK -> KNvK; KQNvK -> KQvK; KQvKN -> KNvK; KQvKN -> KQvK; KQRvKN -> KRvKN; KQRvKN -> KQvKN; KQRvKN -> KQRvK; KRvKN -> KNvK; KRvKN -> KRvK; KQNvKR -> KRvKN; KQNvKR -> KQNvK; KQNvKR -> KQvKR; KQRvKQB -> KQBvKR; KQRvKQB -> KQRvKB; KQRvKQB -> KQBvKQ; KQRvKQB -> KQRvKQ; KQBvKQ -> KQvKB; KQBvKQ -> KQBvK; KQBvKQ -> KQvKQ; KQBvK -> KBvK; KQBvK -> KQvK; KQvKB -> KBvK; KQvKB -> KQvK; KQRvKB -> KRvKB; KQRvKB -> KQvKB; KQRvKB -> KQRvK; KRvKB -> KBvK; KRvKB -> KRvK; KQBvKR -> KRvKB; KQBvKR -> KQBvK; KQBvKR -> KQvKR; KQPvKQ -> KQQvKQ; KQPvKQ -> KQvKP; KQPvKQ -> KQPvK; KQPvKQ -> KQRvKQ; KQPvKQ -> KQBvKQ; KQPvKQ -> KQNvKQ; KQPvKQ -> KQvKQ; KQPvK -> KQQvK; KQPvK -> KPvK; KQPvK -> KQRvK; KQPvK -> KQBvK; KQPvK -> KQNvK; KQPvK -> KQvK; KPvK -> KQvK; KPvK -> KRvK; KPvK -> KBvK; KPvK -> KNvK; KQQvK -> KQvK; KQvKP -> KQvKQ; KQvKP -> KPvK; KQvKP -> KQvKR; KQvKP -> KQvKB; KQvKP -> KQvKN; KQvKP -> KQvK; KQQvKQ -> KQvKQ; KQQvKQ -> KQQvK; KQRvKQR -> KQRvKR; KQRvKQR -> KQRvKQ; KQRvKR -> KRvKR; KQRvKR -> KQvKR; KQRvKR -> KQRvK; KRvKR -> KRvK; KQRvKP -> KQRvKQ; KQRvKP -> KRvKP; KQRvKP -> KQRvKR; KQRvKP -> KQvKP; KQRvKP -> KQRvKB; KQRvKP -> KQRvKN; KQRvKP -> KQRvK; KRvKP -> KQvKR; KRvKP -> KRvKR; KRvKP -> KPvK; KRvKP -> KRvKB; KRvKP -> KRvKN; KRvKP -> KRvK; KQPvKR -> KQQvKR; KQPvKR -> KRvKP; KQPvKR -> KQRvKR; KQPvKR -> KQPvK; KQPvKR -> KQBvKR; KQPvKR -> KQNvKR; KQPvKR -> KQvKR; KQQvKR -> KQvKR; KQQvKR -> KQQvK; KQQvKQR -> KQRvKQ; KQQvKQR -> KQQvKR; KQQvKQR -> KQQvKQ; KQNPvKQR -> KQQNvKQR; KQNPvKQR -> KQRvKNP; KQNPvKQR -> KQNPvKR; KQNPvKQR -> KQRNvKQR; KQNPvKQR -> KQNPvKQ; KQNPvKQR -> KQBNvKQR; KQNPvKQR -> KQNNvKQR; KQNPvKQR -> KQRvKQP; KQNPvKQR -> KQRvKQN; KQNNvKQR -> KQRvKNN; KQNNvKQR -> KQNNvKR; KQNNvKQR -> KQNNvKQ; KQNNvKQR -> KQRvKQN; KQNNvKQ -> KNNvKQ; KQNNvKQ -> KQNNvK; KQNNvKQ -> KQNvKQ; KQNNvK -> KNNvK; KQNNvK -> KQNvK; KNNvK -> KNvK; KNNvKQ -> KNNvK; KNNvKQ -> KQvKN; KQNNvKR -> KNNvKR; KQNNvKR -> KQNNvK; KQNNvKR -> KQNvKR; KNNvKR -> KNNvK; KNNvKR -> KRvKN; KQRvKNN -> KNNvKR; KQRvKNN -> KNNvKQ; KQRvKNN -> KQRvKN; KQBNvKQR -> KQRvKBN; KQBNvKQR -> KQBNvKR; KQBNvKQR -> KQBNvKQ; KQBNvKQR -> KQRvKQN; KQBNvKQR -> KQRvKQB; KQBNvKQ -> KBNvKQ; KQBNvKQ -> KQBNvK; KQBNvKQ -> KQNvKQ; KQBNvKQ -> KQBvKQ; KQBNvK -> KBNvK; KQBNvK -> KQNvK; KQBNvK -> KQBvK; KBNvK -> KNvK; KBNvK -> KBvK; KBNvKQ -> KBNvK; KBNvKQ -> KQvKN; KBNvKQ -> KQvKB; KQBNvKR -> KBNvKR; KQBNvKR -> KQBNvK; KQBNvKR -> KQNvKR; KQBNvKR -> KQBvKR; KBNvKR -> KBNvK; KBNvKR -> KRvKN; KBNvKR -> KRvKB; KQRvKBN -> KBNvKR; KQRvKBN -> KBNvKQ; KQRvKBN -> KQRvKN; KQRvKBN -> KQRvKB; KQNPvKQ -> KQQNvKQ; KQNPvKQ -> KNPvKQ; KQNPvKQ -> KQNPvK; KQNPvKQ -> KQRNvKQ; KQNPvKQ -> KQBNvKQ; KQNPvKQ -> KQNNvKQ; KQNPvKQ -> KQPvKQ; KQNPvKQ -> KQNvKQ; KQRNvKQ -> KRNvKQ; KQRNvKQ -> KQRNvK; KQRNvKQ -> KQNvKQ; KQRNvKQ -> KQRvKQ; KQRNvK -> KRNvK; KQRNvK -> KQNvK; KQRNvK -> KQRvK; KRNvK -> KNvK; KRNvK -> KRvK; KRNvKQ -> KRNvK; KRNvKQ -> KQvKN; KRNvKQ -> KQvKR; KQNPvK -> KQQNvK; KQNPvK -> KNPvK; KQNPvK -> KQRNvK; KQNPvK -> KQBNvK; KQNPvK -> KQNNvK; KQNPvK -> KQPvK; KQNPvK -> KQNvK; KNPvK -> KQNvK; KNPvK -> KRNvK; KNPvK -> KBNvK; KNPvK -> KNNvK; KNPvK -> KPvK; KNPvK -> KNvK; KQQNvK -> KQNvK; KQQNvK -> KQQvK; KNPvKQ -> KQNvKQ; KNPvKQ -> KNPvK; KNPvKQ -> KRNvKQ; KNPvKQ -> KBNvKQ; KNPvKQ -> KNNvKQ; KNPvKQ -> KQvKP; KNPvKQ -> KQvKN; KQQNvKQ -> KQNvKQ; KQQNvKQ -> KQQNvK; KQQNvKQ -> KQQvKQ; KQRNvKQR -> KQRvKRN; KQRNvKQR -> KQRNvKR; KQRNvKQR -> KQRvKQN; KQRNvKQR -> KQRNvKQ; KQRNvKQR -> KQRvKQR; KQRNvKR -> KRNvKR; KQRNvKR -> KQNvKR; KQRNvKR -> KQRNvK; KQRNvKR -> KQRvKR; KRNvKR -> KRvKN; KRNvKR -> KRNvK; KRNvKR -> KRvKR; KQRvKRN -> KRNvKR; KQRvKRN -> KRNvKQ; KQRvKRN -> KQRvKN; KQRvKRN -> KQRvKR; KQNPvKR -> KQQNvKR; KQNPvKR -> KNPvKR; KQNPvKR -> KQRNvKR; KQNPvKR -> KQNPvK; KQNPvKR -> KQBNvKR; KQNPvKR -> KQNNvKR; KQNPvKR -> KQPvKR; KQNPvKR -> KQNvKR; KNPvKR -> KQNvKR; KNPvKR -> KRNvKR; KNPvKR -> KNPvK; KNPvKR -> KBNvKR; KNPvKR -> KNNvKR; KNPvKR -> KRvKP; KNPvKR -> KRvKN; KQQNvKR -> KQNvKR; KQQNvKR -> KQQNvK; KQQNvKR -> KQQvKR; KQRvKNP -> KQRvKQN; KQRvKNP -> KNPvKR; KQRvKNP -> KQRvKRN; KQRvKNP -> KNPvKQ; KQRvKNP -> KQRvKBN; KQRvKNP -> KQRvKNN; KQRvKNP -> KQRvKP; KQRvKNP -> KQRvKN; KQQNvKQR -> KQRvKQN; KQQNvKQR -> KQQNvKR; KQQNvKQR -> KQQNvKQ; KQQNvKQR -> KQQvKQR; KQBPvKQR -> KQQBvKQR; KQBPvKQR -> KQRvKBP; KQBPvKQR -> KQBPvKR; KQBPvKQR -> KQRBvKQR; KQBPvKQR -> KQBPvKQ; KQBPvKQR -> KQBBvKQR; KQBPvKQR -> KQRvKQP; KQBPvKQR -> KQBNvKQR; KQBPvKQR -> KQRvKQB; KQBBvKQR -> KQRvKBB; KQBBvKQR -> KQBBvKR; KQBBvKQR -> KQBBvKQ; KQBBvKQR -> KQRvKQB; KQBBvKQ -> KBBvKQ; KQBBvKQ -> KQBBvK; KQBBvKQ -> KQBvKQ; KQBBvK -> KBBvK; KQBBvK -> KQBvK; KBBvK -> KBvK; KBBvKQ -> KBBvK; KBBvKQ -> KQvKB; KQBBvKR -> KBBvKR; KQBBvKR -> KQBBvK; KQBBvKR -> KQBvKR; KBBvKR -> KBBvK; KBBvKR -> KRvKB; KQRvKBB -> KBBvKR; KQRvKBB -> KBBvKQ; KQRvKBB -> KQRvKB; KQBPvKQ -> KQQBvKQ; KQBPvKQ -> KBPvKQ; KQBPvKQ -> KQBPvK; KQBPvKQ -> KQRBvKQ; KQBPvKQ -> KQBBvKQ; KQBPvKQ -> KQPvKQ; KQBPvKQ -> KQBNvKQ; KQBPvKQ -> KQBvKQ; KQRBvKQ -> KRBvKQ; KQRBvKQ -> KQRBvK; KQRBvKQ -> KQBvKQ; KQRBvKQ -> KQRvKQ; KQRBvK -> KRBvK; KQRBvK -> KQBvK; KQRBvK -> KQRvK; KRBvK -> KBvK; KRBvK -> KRvK; KRBvKQ -> KRBvK; KRBvKQ -> KQvKB; KRBvKQ -> KQvKR; KQBPvK -> KQQBvK; KQBPvK -> KBPvK; KQBPvK -> KQRBvK; KQBPvK -> KQBBvK; KQBPvK -> KQPvK; KQBPvK -> KQBNvK; KQBPvK -> KQBvK; KBPvK -> KQBvK; KBPvK -> KRBvK; KBPvK -> KBBvK; KBPvK -> KPvK; KBPvK -> KBNvK; KBPvK -> KBvK; KQQBvK -> KQBvK; KQQBvK -> KQQvK; KBPvKQ -> KQBvKQ; KBPvKQ -> KBPvK; KBPvKQ -> KRBvKQ; KBPvKQ -> KBBvKQ; KBPvKQ -> KQvKP; KBPvKQ -> KBNvKQ; KBPvKQ -> KQvKB; KQQBvKQ -> KQBvKQ; KQQBvKQ -> KQQBvK; KQQBvKQ -> KQQvKQ; KQRBvKQR -> KQRvKRB; KQRBvKQR -> KQRBvKR; KQRBvKQR -> KQRvKQB; KQRBvKQR -> KQRBvKQ; KQRBvKQR -> KQRvKQR; KQRBvKR -> KRBvKR; KQRBvKR -> KQBvKR; KQRBvKR -> KQRBvK; KQRBvKR -> KQRvKR; KRBvKR -> KRvKB; KRBvKR -> KRBvK; KRBvKR -> KRvKR; KQRvKRB -> KRBvKR; KQRvKRB -> KRBvKQ; KQRvKRB -> KQRvKB; KQRvKRB -> KQRvKR; KQBPvKR -> KQQBvKR; KQBPvKR -> KBPvKR; KQBPvKR -> KQRBvKR; KQBPvKR -> KQBPvK; KQBPvKR -> KQBBvKR; KQBPvKR -> KQPvKR; KQBPvKR -> KQBNvKR; KQBPvKR -> KQBvKR; KBPvKR -> KQBvKR; KBPvKR -> KRBvKR; KBPvKR -> KBPvK; KBPvKR -> KBBvKR; KBPvKR -> KRvKP; KBPvKR -> KBNvKR; KBPvKR -> KRvKB; KQQBvKR -> KQBvKR; KQQBvKR -> KQQBvK; KQQBvKR -> KQQvKR; KQRvKBP -> KQRvKQB; KQRvKBP -> KBPvKR; KQRvKBP -> KQRvKRB; KQRvKBP -> KBPvKQ; KQRvKBP -> KQRvKBB; KQRvKBP -> KQRvKP; KQRvKBP -> KQRvKBN; KQRvKBP -> KQRvKB; KQQBvKQR -> KQRvKQB; KQQBvKQR -> KQQBvKR; KQQBvKQR -> KQQBvKQ; KQQBvKQR -> KQQvKQR; KQPPvKQ -> KQQPvKQ; KQPPvKQ -> KPPvKQ; KQPPvKQ -> KQPPvK; KQPPvKQ -> KQRPvKQ; KQPPvKQ -> KQBPvKQ; KQPPvKQ -> KQNPvKQ; KQPPvKQ -> KQPvKQ; KQRPvKQ -> KQQRvKQ; KQRPvKQ -> KRPvKQ; KQRPvKQ -> KQRPvK; KQRPvKQ -> KQRRvKQ; KQRPvKQ -> KQPvKQ; KQRPvKQ -> KQRBvKQ; KQRPvKQ -> KQRNvKQ; KQRPvKQ -> KQRvKQ; KQRRvKQ -> KRRvKQ; KQRRvKQ -> KQRRvK; KQRRvKQ -> KQRvKQ; KQRRvK -> KRRvK; KQRRvK -> KQRvK; KRRvK -> KRvK; KRRvKQ -> KRRvK; KRRvKQ -> KQvKR; KQRPvK -> KQQRvK; KQRPvK -> KRPvK; KQRPvK -> KQRRvK; KQRPvK -> KQPvK; KQRPvK -> KQRBvK; KQRPvK -> KQRNvK; KQRPvK -> KQRvK; KRPvK -> KQRvK; KRPvK -> KRRvK; KRPvK -> KPvK; KRPvK -> KRBvK; KRPvK -> KRNvK; KRPvK -> KRvK; KQQRvK -> KQRvK; KQQRvK -> KQQvK; KRPvKQ -> KQRvKQ; KRPvKQ -> KRPvK; KRPvKQ -> KRRvKQ; KRPvKQ -> KQvKP; KRPvKQ -> KRBvKQ; KRPvKQ -> KRNvKQ; KRPvKQ -> KQvKR; KQQRvKQ -> KQRvKQ; KQQRvKQ -> KQQRvK; KQQRvKQ -> KQQvKQ; KQPPvK -> KQQPvK; KQPPvK -> KPPvK; KQPPvK -> KQRPvK; KQPPvK -> KQBPvK; KQPPvK -> KQNPvK; KQPPvK -> KQPvK; KPPvK -> KQPvK; KPPvK -> KRPvK; KPPvK -> KBPvK; KPPvK -> KNPvK; KPPvK -> KPvK; KQQPvK -> KQQQvK; KQQPvK -> KQPvK; KQQPvK -> KQQRvK; KQQPvK -> KQQBvK; KQQPvK -> KQQNvK; KQQPvK -> KQQvK; KQQQvK -> KQQvK; KPPvKQ -> KQPvKQ; KPPvKQ -> KPPvK; KPPvKQ -> KRPvKQ; KPPvKQ -> KBPvKQ; KPPvKQ -> KNPvKQ; KPPvKQ -> KQvKP; KQQPvKQ -> KQQQvKQ; KQQPvKQ -> KQPvKQ; KQQPvKQ -> KQQPvK; KQQPvKQ -> KQQRvKQ; KQQPvKQ -> KQQBvKQ; KQQPvKQ -> KQQNvKQ; KQQPvKQ -> KQQvKQ; KQQQvKQ -> KQQvKQ; KQQQvKQ -> KQQQvK; KQRPvKQR -> KQQRvKQR; KQRPvKQR -> KQRvKRP; KQRPvKQR -> KQRPvKR; KQRPvKQR -> KQRRvKQR; KQRPvKQR -> KQRvKQP; KQRPvKQR -> KQRPvKQ; KQRPvKQR -> KQRBvKQR; KQRPvKQR -> KQRNvKQR; KQRPvKQR -> KQRvKQR; KQRRvKQR -> KQRvKRR; KQRRvKQR -> KQRRvKR; KQRRvKQR -> KQRvKQR; KQRRvKQR -> KQRRvKQ; KQRRvKR -> KRRvKR; KQRRvKR -> KQRvKR; KQRRvKR -> KQRRvK; KRRvKR -> KRvKR; KRRvKR -> KRRvK; KQRvKRR -> KRRvKR; KQRvKRR -> KRRvKQ; KQRvKRR -> KQRvKR; KQRPvKR -> KQQRvKR; KQRPvKR -> KRPvKR; KQRPvKR -> KQRRvKR; KQRPvKR -> KQPvKR; KQRPvKR -> KQRPvK; KQRPvKR -> KQRBvKR; KQRPvKR -> KQRNvKR; KQRPvKR -> KQRvKR; KRPvKR -> KQRvKR; KRPvKR -> KRRvKR; KRPvKR -> KRvKP; KRPvKR -> KRPvK; KRPvKR -> KRBvKR; KRPvKR -> KRNvKR; KRPvKR -> KRvKR; KQQRvKR -> KQRvKR; KQQRvKR -> KQQvKR; KQQRvKR -> KQQRvK; KQRvKRP -> KQRvKQR; KQRvKRP -> KRPvKR; KQRvKRP -> KQRvKRR; KQRvKRP -> KRPvKQ; KQRvKRP -> KQRvKP; KQRvKRP -> KQRvKRB; KQRvKRP -> KQRvKRN; KQRvKRP -> KQRvKR; KQQRvKQR -> KQRvKQR; KQQRvKQR -> KQQRvKR; KQQRvKQR -> KQQvKQR; KQQRvKQR -> KQQRvKQ; KQPPvKR -> KQQPvKR; KQPPvKR -> KPPvKR; KQPPvKR -> KQRPvKR; KQPPvKR -> KQPPvK; KQPPvKR -> KQBPvKR; KQPPvKR -> KQNPvKR; KQPPvKR -> KQPvKR; KPPvKR -> KQPvKR; KPPvKR -> KRPvKR; KPPvKR -> KPPvK; KPPvKR -> KBPvKR; KPPvKR -> KNPvKR; KPPvKR -> KRvKP; KQQPvKR -> KQQQvKR; KQQPvKR -> KQPvKR; KQQPvKR -> KQQRvKR; KQQPvKR -> KQQPvK; KQQPvKR -> KQQBvKR; KQQPvKR -> KQQNvKR; KQQPvKR -> KQQvKR; KQQQvKR -> KQQvKR; KQQQvKR -> KQQQvK; KQRvKPP -> KQRvKQP; KQRvKPP -> KPPvKR; KQRvKPP -> KQRvKRP; KQRvKPP -> KPPvKQ; KQRvKPP -> KQRvKBP; KQRvKPP -> KQRvKNP; KQRvKPP -> KQRvKP; KQQPvKQR -> KQQQvKQR; KQQPvKQR -> KQRvKQP; KQQPvKQR -> KQQPvKR; KQQPvKQR -> KQQRvKQR; KQQPvKQR -> KQQPvKQ; KQQPvKQR -> KQQBvKQR; KQQPvKQR -> KQQNvKQR; KQQPvKQR -> KQQvKQR; KQQQvKQR -> KQQvKQR; KQQQvKQR -> KQQQvKR; KQQQvKQR -> KQQQvKQ; }