digraph Syzygy { KQNNvKRP -> KQNNvKQR; KQNNvKRP -> KRPvKNN; KQNNvKRP -> KQNNvKRR; KQNNvKRP -> KQNNvKP; KQNNvKRP -> KQNNvKRB; KQNNvKRP -> KQNNvKRN; KQNNvKRP -> KQNvKRP; KQNNvKRP -> KQNNvKR; KQNNvKR -> KNNvKR; KQNNvKR -> KQNNvK; KQNNvKR -> KQNvKR; KQNvKR -> KRvKN; KQNvKR -> KQNvK; KQNvKR -> KQvKR; KQvKR -> KRvK; KQvKR -> KQvK; KQNvK -> KNvK; KQNvK -> KQvK; KRvKN -> KNvK; KRvKN -> KRvK; KQNNvK -> KNNvK; KQNNvK -> KQNvK; KNNvK -> KNvK; KNNvKR -> KNNvK; KNNvKR -> KRvKN; KQNvKRP -> KQRvKQN; KQNvKRP -> KRPvKN; KQNvKRP -> KQNvKRR; KQNvKRP -> KQNvKP; KQNvKRP -> KQNvKRB; KQNvKRP -> KQNvKRN; KQNvKRP -> KRPvKQ; KQNvKRP -> KQNvKR; 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; KQNNvKRN -> KRNvKNN; KQNNvKRN -> KQNNvKN; KQNNvKRN -> KQNvKRN; KQNNvKRN -> KQNNvKR; KQNNvKN -> KNNvKN; KQNNvKN -> KQNvKN; KQNNvKN -> KQNNvK; KNNvKN -> KNvKN; KNNvKN -> KNNvK; KRNvKNN -> KNNvKN; KRNvKNN -> KNNvKR; KRNvKNN -> KRNvKN; KQNNvKRB -> KRBvKNN; KQNNvKRB -> KQNNvKB; KQNNvKRB -> KQNNvKR; KQNNvKRB -> KQNvKRB; KQNNvKB -> KNNvKB; KQNNvKB -> KQNNvK; KQNNvKB -> KQNvKB; KNNvKB -> KNNvK; KNNvKB -> KBvKN; KRBvKNN -> KNNvKB; KRBvKNN -> KNNvKR; KRBvKNN -> KRBvKN; KQNNvKP -> KQNNvKQ; KQNNvKP -> KNNvKP; KQNNvKP -> KQNNvKR; KQNNvKP -> KQNNvKB; KQNNvKP -> KQNNvKN; KQNNvKP -> KQNvKP; KQNNvKP -> KQNNvK; KNNvKP -> KNNvKQ; KNNvKP -> KNNvKR; KNNvKP -> KNNvKB; KNNvKP -> KNNvKN; KNNvKP -> KNvKP; KNNvKP -> KNNvK; KNNvKQ -> KNNvK; KNNvKQ -> KQvKN; KQNNvKQ -> KNNvKQ; KQNNvKQ -> KQNNvK; KQNNvKQ -> KQNvKQ; KQNNvKRR -> KRRvKNN; KQNNvKRR -> KQNNvKR; KQNNvKRR -> KQNvKRR; KRRvKNN -> KNNvKR; KRRvKNN -> KRRvKN; KRPvKNN -> KQRvKNN; KRPvKNN -> KRRvKNN; KRPvKNN -> KNNvKP; KRPvKNN -> KRBvKNN; KRPvKNN -> KRNvKNN; KRPvKNN -> KRPvKN; KRPvKNN -> KNNvKR; KQRvKNN -> KNNvKR; KQRvKNN -> KNNvKQ; KQRvKNN -> KQRvKN; KQNNvKQR -> KQRvKNN; KQNNvKQR -> KQNNvKR; KQNNvKQR -> KQNNvKQ; KQNNvKQR -> KQRvKQN; }