digraph Syzygy { KRPPvKQQ -> KQRPvKQQ; KRPPvKQQ -> KRPPvKQ; KRPPvKQQ -> KRRPvKQQ; KRPPvKQQ -> KQQvKPP; KRPPvKQQ -> KRBPvKQQ; KRPPvKQQ -> KRNPvKQQ; KRPPvKQQ -> KQQvKRP; KQQvKRP -> KQQvKQR; KQQvKRP -> KRPvKQ; KQQvKRP -> KQQvKRR; KQQvKRP -> KQQvKP; KQQvKRP -> KQQvKRB; KQQvKRP -> KQQvKRN; KQQvKRP -> KQQvKR; KQQvKR -> KQvKR; KQQvKR -> KQQvK; KQQvK -> KQvK; KQvKR -> KRvK; KQvKR -> KQvK; KQQvKRN -> KRNvKQ; KQQvKRN -> KQQvKN; KQQvKRN -> KQQvKR; KQQvKN -> KQvKN; KQQvKN -> KQQvK; KQvKN -> KNvK; KQvKN -> KQvK; KRNvKQ -> KRNvK; KRNvKQ -> KQvKN; KRNvKQ -> KQvKR; KRNvK -> KNvK; KRNvK -> KRvK; KQQvKRB -> KRBvKQ; KQQvKRB -> KQQvKB; KQQvKRB -> KQQvKR; KQQvKB -> KQvKB; KQQvKB -> KQQvK; KQvKB -> KBvK; KQvKB -> KQvK; KRBvKQ -> KRBvK; KRBvKQ -> KQvKB; KRBvKQ -> KQvKR; KRBvK -> KBvK; KRBvK -> KRvK; KQQvKP -> KQQvKQ; KQQvKP -> KQvKP; KQQvKP -> KQQvKR; KQQvKP -> KQQvKB; KQQvKP -> KQQvKN; KQQvKP -> KQQvK; KQvKP -> KQvKQ; KQvKP -> KPvK; KQvKP -> KQvKR; KQvKP -> KQvKB; KQvKP -> KQvKN; KQvKP -> KQvK; KPvK -> KQvK; KPvK -> KRvK; KPvK -> KBvK; KPvK -> KNvK; KQvKQ -> KQvK; KQQvKQ -> KQvKQ; KQQvKQ -> KQQvK; KQQvKRR -> KRRvKQ; KQQvKRR -> KQQvKR; KRRvKQ -> KRRvK; KRRvKQ -> KQvKR; KRRvK -> KRvK; KRPvKQ -> KQRvKQ; KRPvKQ -> KRPvK; KRPvKQ -> KRRvKQ; KRPvKQ -> KQvKP; KRPvKQ -> KRBvKQ; KRPvKQ -> KRNvKQ; KRPvKQ -> KQvKR; KRPvK -> KQRvK; KRPvK -> KRRvK; KRPvK -> KPvK; KRPvK -> KRBvK; KRPvK -> KRNvK; KRPvK -> KRvK; KQRvK -> KRvK; KQRvK -> KQvK; KQRvKQ -> KQvKR; KQRvKQ -> KQRvK; KQRvKQ -> KQvKQ; KQQvKQR -> KQRvKQ; KQQvKQR -> KQQvKR; KQQvKQR -> KQQvKQ; KRNPvKQQ -> KQRNvKQQ; KRNPvKQQ -> KRNPvKQ; KRNPvKQQ -> KRRNvKQQ; KRNPvKQQ -> KQQvKNP; KRNPvKQQ -> KRBNvKQQ; KRNPvKQQ -> KRNNvKQQ; KRNPvKQQ -> KQQvKRP; KRNPvKQQ -> KQQvKRN; KRNNvKQQ -> KRNNvKQ; KRNNvKQQ -> KQQvKNN; KRNNvKQQ -> KQQvKRN; KQQvKNN -> KNNvKQ; KQQvKNN -> KQQvKN; KNNvKQ -> KNNvK; KNNvKQ -> KQvKN; KNNvK -> KNvK; KRNNvKQ -> KRNNvK; KRNNvKQ -> KNNvKQ; KRNNvKQ -> KRNvKQ; KRNNvK -> KNNvK; KRNNvK -> KRNvK; KRBNvKQQ -> KRBNvKQ; KRBNvKQQ -> KQQvKBN; KRBNvKQQ -> KQQvKRN; KRBNvKQQ -> KQQvKRB; KQQvKBN -> KBNvKQ; KQQvKBN -> KQQvKN; KQQvKBN -> KQQvKB; KBNvKQ -> KBNvK; KBNvKQ -> KQvKN; KBNvKQ -> KQvKB; KBNvK -> KNvK; KBNvK -> KBvK; KRBNvKQ -> KRBNvK; KRBNvKQ -> KBNvKQ; KRBNvKQ -> KRNvKQ; KRBNvKQ -> KRBvKQ; KRBNvK -> KBNvK; KRBNvK -> KRNvK; KRBNvK -> KRBvK; KQQvKNP -> KQQvKQN; KQQvKNP -> KNPvKQ; KQQvKNP -> KQQvKRN; KQQvKNP -> KQQvKBN; KQQvKNP -> KQQvKNN; KQQvKNP -> KQQvKP; KQQvKNP -> KQQvKN; 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; KQQvKQN -> KQNvKQ; KQQvKQN -> KQQvKN; KQQvKQN -> KQQvKQ; KRRNvKQQ -> KRRNvKQ; KRRNvKQQ -> KQQvKRN; KRRNvKQQ -> KQQvKRR; KRRNvKQ -> KRRNvK; KRRNvKQ -> KRNvKQ; KRRNvKQ -> KRRvKQ; KRRNvK -> KRNvK; KRRNvK -> KRRvK; KRNPvKQ -> KQRNvKQ; KRNPvKQ -> KRNPvK; KRNPvKQ -> KRRNvKQ; KRNPvKQ -> KNPvKQ; KRNPvKQ -> KRBNvKQ; KRNPvKQ -> KRNNvKQ; KRNPvKQ -> KRPvKQ; KRNPvKQ -> KRNvKQ; 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; KQRNvKQQ -> KQQvKRN; KQRNvKQQ -> KQRNvKQ; KQRNvKQQ -> KQQvKQN; KQRNvKQQ -> KQQvKQR; KRBPvKQQ -> KQRBvKQQ; KRBPvKQQ -> KRBPvKQ; KRBPvKQQ -> KRRBvKQQ; KRBPvKQQ -> KQQvKBP; KRBPvKQQ -> KRBBvKQQ; KRBPvKQQ -> KQQvKRP; KRBPvKQQ -> KRBNvKQQ; KRBPvKQQ -> KQQvKRB; KRBBvKQQ -> KRBBvKQ; KRBBvKQQ -> KQQvKBB; KRBBvKQQ -> KQQvKRB; KQQvKBB -> KBBvKQ; KQQvKBB -> KQQvKB; KBBvKQ -> KBBvK; KBBvKQ -> KQvKB; KBBvK -> KBvK; KRBBvKQ -> KRBBvK; KRBBvKQ -> KBBvKQ; KRBBvKQ -> KRBvKQ; KRBBvK -> KBBvK; KRBBvK -> KRBvK; KQQvKBP -> KQQvKQB; KQQvKBP -> KBPvKQ; KQQvKBP -> KQQvKRB; KQQvKBP -> KQQvKBB; KQQvKBP -> KQQvKP; KQQvKBP -> KQQvKBN; KQQvKBP -> KQQvKB; 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; KQQvKQB -> KQBvKQ; KQQvKQB -> KQQvKB; KQQvKQB -> KQQvKQ; KRRBvKQQ -> KRRBvKQ; KRRBvKQQ -> KQQvKRB; KRRBvKQQ -> KQQvKRR; KRRBvKQ -> KRRBvK; KRRBvKQ -> KRBvKQ; KRRBvKQ -> KRRvKQ; KRRBvK -> KRBvK; KRRBvK -> KRRvK; KRBPvKQ -> KQRBvKQ; KRBPvKQ -> KRBPvK; KRBPvKQ -> KRRBvKQ; KRBPvKQ -> KBPvKQ; KRBPvKQ -> KRBBvKQ; KRBPvKQ -> KRPvKQ; KRBPvKQ -> KRBNvKQ; KRBPvKQ -> KRBvKQ; 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; KQRBvKQQ -> KQQvKRB; KQRBvKQQ -> KQRBvKQ; KQRBvKQQ -> KQQvKQB; KQRBvKQQ -> KQQvKQR; KQQvKPP -> KQQvKQP; KQQvKPP -> KPPvKQ; KQQvKPP -> KQQvKRP; KQQvKPP -> KQQvKBP; KQQvKPP -> KQQvKNP; KQQvKPP -> KQQvKP; 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; KQPvKQ -> KQQvKQ; KQPvKQ -> KQvKP; KQPvKQ -> KQPvK; KQPvKQ -> KQRvKQ; KQPvKQ -> KQBvKQ; KQPvKQ -> KQNvKQ; KQPvKQ -> KQvKQ; KQQvKQP -> KQQvKQQ; KQQvKQP -> KQPvKQ; KQQvKQP -> KQQvKP; KQQvKQP -> KQQvKQR; KQQvKQP -> KQQvKQB; KQQvKQP -> KQQvKQN; KQQvKQP -> KQQvKQ; KQQvKQQ -> KQQvKQ; KRRPvKQQ -> KQRRvKQQ; KRRPvKQQ -> KRRPvKQ; KRRPvKQQ -> KRRRvKQQ; KRRPvKQQ -> KQQvKRP; KRRPvKQQ -> KRRBvKQQ; KRRPvKQQ -> KRRNvKQQ; KRRPvKQQ -> KQQvKRR; KRRRvKQQ -> KRRRvKQ; KRRRvKQQ -> KQQvKRR; KRRRvKQ -> KRRRvK; KRRRvKQ -> KRRvKQ; KRRRvK -> KRRvK; KRRPvKQ -> KQRRvKQ; KRRPvKQ -> KRRPvK; KRRPvKQ -> KRRRvKQ; KRRPvKQ -> KRPvKQ; KRRPvKQ -> KRRBvKQ; KRRPvKQ -> KRRNvKQ; KRRPvKQ -> KRRvKQ; KRRPvK -> KQRRvK; KRRPvK -> KRRRvK; KRRPvK -> KRPvK; KRRPvK -> KRRBvK; KRRPvK -> KRRNvK; KRRPvK -> KRRvK; KQRRvK -> KRRvK; KQRRvK -> KQRvK; KQRRvKQ -> KRRvKQ; KQRRvKQ -> KQRRvK; KQRRvKQ -> KQRvKQ; KQRRvKQQ -> KQQvKRR; KQRRvKQQ -> KQRRvKQ; KQRRvKQQ -> KQQvKQR; KRPPvKQ -> KQRPvKQ; KRPPvKQ -> KRPPvK; KRPPvKQ -> KRRPvKQ; KRPPvKQ -> KPPvKQ; KRPPvKQ -> KRBPvKQ; KRPPvKQ -> KRNPvKQ; KRPPvKQ -> KRPvKQ; 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; KQRPvKQQ -> KQQRvKQQ; KQRPvKQQ -> KQQvKRP; KQRPvKQQ -> KQRPvKQ; KQRPvKQQ -> KQRRvKQQ; KQRPvKQQ -> KQQvKQP; KQRPvKQQ -> KQRBvKQQ; KQRPvKQQ -> KQRNvKQQ; KQRPvKQQ -> KQQvKQR; KQQRvKQQ -> KQQvKQR; KQQRvKQQ -> KQQRvKQ; KQQRvKQQ -> KQQvKQQ; }