digraph Syzygy { KRNPvKRR -> KQRNvKRR; KRNPvKRR -> KRRNvKRR; KRNPvKRR -> KRRvKNP; KRNPvKRR -> KRNPvKR; KRNPvKRR -> KRBNvKRR; KRNPvKRR -> KRNNvKRR; KRNPvKRR -> KRRvKRP; KRNPvKRR -> KRRvKRN; KRRvKRN -> KRNvKR; KRRvKRN -> KRRvKN; KRRvKRN -> KRRvKR; KRRvKR -> KRvKR; KRRvKR -> KRRvK; KRRvK -> KRvK; KRvKR -> KRvK; KRRvKN -> KRvKN; KRRvKN -> KRRvK; KRvKN -> KNvK; KRvKN -> KRvK; KRNvKR -> KRvKN; KRNvKR -> KRNvK; KRNvKR -> KRvKR; KRNvK -> KNvK; KRNvK -> KRvK; KRRvKRP -> KQRvKRR; KRRvKRP -> KRRvKRR; KRRvKRP -> KRPvKR; KRRvKRP -> KRRvKP; KRRvKRP -> KRRvKRB; KRRvKRP -> KRRvKRN; KRRvKRP -> KRRvKR; KRRvKRB -> KRBvKR; KRRvKRB -> KRRvKB; KRRvKRB -> KRRvKR; KRRvKB -> KRvKB; KRRvKB -> KRRvK; KRvKB -> KBvK; KRvKB -> KRvK; KRBvKR -> KRvKB; KRBvKR -> KRBvK; KRBvKR -> KRvKR; KRBvK -> KBvK; KRBvK -> KRvK; KRRvKP -> KRRvKQ; KRRvKP -> KRRvKR; KRRvKP -> KRvKP; KRRvKP -> KRRvKB; KRRvKP -> KRRvKN; KRRvKP -> KRRvK; KRvKP -> KQvKR; KRvKP -> KRvKR; KRvKP -> KPvK; KRvKP -> KRvKB; KRvKP -> KRvKN; KRvKP -> KRvK; KPvK -> KQvK; KPvK -> KRvK; KPvK -> KBvK; KPvK -> KNvK; KQvKR -> KRvK; KQvKR -> KQvK; KRRvKQ -> KRRvK; KRRvKQ -> KQvKR; KRPvKR -> KQRvKR; KRPvKR -> KRRvKR; KRPvKR -> KRvKP; KRPvKR -> KRPvK; KRPvKR -> KRBvKR; KRPvKR -> KRNvKR; KRPvKR -> KRvKR; KRPvK -> KQRvK; KRPvK -> KRRvK; KRPvK -> KPvK; KRPvK -> KRBvK; KRPvK -> KRNvK; KRPvK -> KRvK; KQRvK -> KRvK; KQRvK -> KQvK; KQRvKR -> KRvKR; KQRvKR -> KQvKR; KQRvKR -> KQRvK; KRRvKRR -> KRRvKR; KQRvKRR -> KRRvKR; KQRvKRR -> KRRvKQ; KQRvKRR -> KQRvKR; KRNNvKRR -> KRRvKNN; KRNNvKRR -> KRNNvKR; KRNNvKRR -> KRRvKRN; KRNNvKR -> KNNvKR; KRNNvKR -> KRNNvK; KRNNvKR -> KRNvKR; KRNNvK -> KNNvK; KRNNvK -> KRNvK; KNNvK -> KNvK; KNNvKR -> KNNvK; KNNvKR -> KRvKN; KRRvKNN -> KNNvKR; KRRvKNN -> KRRvKN; KRBNvKRR -> KRRvKBN; KRBNvKRR -> KRBNvKR; KRBNvKRR -> KRRvKRN; KRBNvKRR -> KRRvKRB; KRBNvKR -> KBNvKR; KRBNvKR -> KRBNvK; KRBNvKR -> KRNvKR; KRBNvKR -> KRBvKR; KRBNvK -> KBNvK; KRBNvK -> KRNvK; KRBNvK -> KRBvK; KBNvK -> KNvK; KBNvK -> KBvK; KBNvKR -> KBNvK; KBNvKR -> KRvKN; KBNvKR -> KRvKB; KRRvKBN -> KBNvKR; KRRvKBN -> KRRvKN; KRRvKBN -> KRRvKB; KRNPvKR -> KQRNvKR; KRNPvKR -> KRRNvKR; KRNPvKR -> KNPvKR; KRNPvKR -> KRNPvK; KRNPvKR -> KRBNvKR; KRNPvKR -> KRNNvKR; KRNPvKR -> KRPvKR; KRNPvKR -> KRNvKR; KRNPvK -> KQRNvK; KRNPvK -> KRRNvK; KRNPvK -> KNPvK; KRNPvK -> KRBNvK; KRNPvK -> KRNNvK; KRNPvK -> KRPvK; KRNPvK -> KRNvK; KNPvK -> KQNvK; KNPvK -> KRNvK; KNPvK -> KBNvK; KNPvK -> KNNvK; KNPvK -> KPvK; KNPvK -> KNvK; KQNvK -> KNvK; KQNvK -> KQvK; KRRNvK -> KRNvK; KRRNvK -> KRRvK; KQRNvK -> KRNvK; KQRNvK -> KQNvK; KQRNvK -> KQRvK; KNPvKR -> KQNvKR; KNPvKR -> KRNvKR; KNPvKR -> KNPvK; KNPvKR -> KBNvKR; KNPvKR -> KNNvKR; KNPvKR -> KRvKP; KNPvKR -> KRvKN; KQNvKR -> KRvKN; KQNvKR -> KQNvK; KQNvKR -> KQvKR; KRRNvKR -> KRNvKR; KRRNvKR -> KRRNvK; KRRNvKR -> KRRvKR; KQRNvKR -> KRNvKR; KQRNvKR -> KQNvKR; KQRNvKR -> KQRNvK; KQRNvKR -> KQRvKR; KRRvKNP -> KQNvKRR; KRRvKNP -> KRRvKRN; KRRvKNP -> KNPvKR; KRRvKNP -> KRRvKBN; KRRvKNP -> KRRvKNN; KRRvKNP -> KRRvKP; KRRvKNP -> KRRvKN; KQNvKRR -> KRRvKN; KQNvKRR -> KQNvKR; KQNvKRR -> KRRvKQ; KRRNvKRR -> KRRvKRN; KRRNvKRR -> KRRNvKR; KRRNvKRR -> KRRvKRR; KQRNvKRR -> KRRvKRN; KQRNvKRR -> KQNvKRR; KQRNvKRR -> KQRNvKR; KQRNvKRR -> KQRvKRR; }