digraph Syzygy { KRNNvKRP -> KRNNvKQR; KRNNvKRP -> KRNNvKRR; KRNNvKRP -> KRPvKNN; KRNNvKRP -> KRNNvKP; KRNNvKRP -> KRNNvKRB; KRNNvKRP -> KRNNvKRN; KRNNvKRP -> KRNvKRP; KRNNvKRP -> KRNNvKR; KRNNvKR -> KNNvKR; KRNNvKR -> KRNNvK; KRNNvKR -> KRNvKR; KRNvKR -> KRvKN; KRNvKR -> KRNvK; KRNvKR -> KRvKR; KRvKR -> KRvK; KRNvK -> KNvK; KRNvK -> KRvK; KRvKN -> KNvK; KRvKN -> KRvK; KRNNvK -> KNNvK; KRNNvK -> KRNvK; KNNvK -> KNvK; KNNvKR -> KNNvK; KNNvKR -> KRvKN; KRNvKRP -> KQRvKRN; KRNvKRP -> KRRvKRN; KRNvKRP -> KRPvKN; KRNvKRP -> KRNvKP; KRNvKRP -> KRBvKRN; KRNvKRP -> KRNvKRN; KRNvKRP -> KRPvKR; KRNvKRP -> KRNvKR; KRPvKR -> KQRvKR; KRPvKR -> KRRvKR; KRPvKR -> KRvKP; KRPvKR -> KRPvK; KRPvKR -> KRBvKR; KRPvKR -> KRNvKR; KRPvKR -> KRvKR; KRBvKR -> KRvKB; KRBvKR -> KRBvK; KRBvKR -> KRvKR; KRBvK -> KBvK; KRBvK -> KRvK; KRvKB -> KBvK; KRvKB -> KRvK; KRPvK -> KQRvK; KRPvK -> KRRvK; KRPvK -> KPvK; KRPvK -> KRBvK; KRPvK -> KRNvK; KRPvK -> KRvK; KPvK -> KQvK; KPvK -> KRvK; KPvK -> KBvK; KPvK -> KNvK; KRRvK -> KRvK; KQRvK -> KRvK; KQRvK -> KQvK; KRvKP -> KQvKR; KRvKP -> KRvKR; KRvKP -> KPvK; KRvKP -> KRvKB; KRvKP -> KRvKN; KRvKP -> KRvK; KQvKR -> KRvK; KQvKR -> KQvK; KRRvKR -> KRvKR; KRRvKR -> KRRvK; KQRvKR -> KRvKR; KQRvKR -> KQvKR; KQRvKR -> KQRvK; KRNvKRN -> KRNvKN; KRNvKRN -> KRNvKR; KRNvKN -> KNvKN; KRNvKN -> KRvKN; KRNvKN -> KRNvK; KNvKN -> KNvK; KRBvKRN -> KRNvKB; KRBvKRN -> KRBvKN; KRBvKRN -> KRNvKR; KRBvKRN -> KRBvKR; KRBvKN -> KBvKN; KRBvKN -> KRvKN; KRBvKN -> KRBvK; KBvKN -> KNvK; KBvKN -> KBvK; KRNvKB -> KBvKN; KRNvKB -> KRNvK; KRNvKB -> KRvKB; KRNvKP -> KRNvKQ; KRNvKP -> KRNvKR; KRNvKP -> KNvKP; KRNvKP -> KRNvKB; KRNvKP -> KRNvKN; KRNvKP -> KRvKP; KRNvKP -> KRNvK; KNvKP -> KQvKN; KNvKP -> KRvKN; KNvKP -> KBvKN; KNvKP -> KNvKN; KNvKP -> KPvK; KNvKP -> KNvK; KQvKN -> KNvK; KQvKN -> KQvK; KRNvKQ -> KRNvK; KRNvKQ -> KQvKN; KRNvKQ -> KQvKR; KRPvKN -> KQRvKN; KRPvKN -> KRRvKN; KRPvKN -> KNvKP; KRPvKN -> KRBvKN; KRPvKN -> KRNvKN; KRPvKN -> KRPvK; KRPvKN -> KRvKN; KRRvKN -> KRvKN; KRRvKN -> KRRvK; KQRvKN -> KRvKN; KQRvKN -> KQvKN; KQRvKN -> KQRvK; KRRvKRN -> KRNvKR; KRRvKRN -> KRRvKN; KRRvKRN -> KRRvKR; KQRvKRN -> KRNvKR; KQRvKRN -> KRNvKQ; KQRvKRN -> KQRvKN; KQRvKRN -> KQRvKR; KRNNvKRN -> KRNvKNN; KRNNvKRN -> KRNNvKN; KRNNvKRN -> KRNvKRN; KRNNvKRN -> KRNNvKR; KRNNvKN -> KNNvKN; KRNNvKN -> KRNvKN; KRNNvKN -> KRNNvK; KNNvKN -> KNvKN; KNNvKN -> KNNvK; KRNvKNN -> KNNvKN; KRNvKNN -> KNNvKR; KRNvKNN -> KRNvKN; KRNNvKRB -> KRBvKNN; KRNNvKRB -> KRNNvKB; KRNNvKRB -> KRNNvKR; KRNNvKRB -> KRBvKRN; KRNNvKB -> KNNvKB; KRNNvKB -> KRNNvK; KRNNvKB -> KRNvKB; KNNvKB -> KNNvK; KNNvKB -> KBvKN; KRBvKNN -> KNNvKB; KRBvKNN -> KNNvKR; KRBvKNN -> KRBvKN; KRNNvKP -> KRNNvKQ; KRNNvKP -> KRNNvKR; KRNNvKP -> KNNvKP; KRNNvKP -> KRNNvKB; KRNNvKP -> KRNNvKN; KRNNvKP -> KRNvKP; KRNNvKP -> KRNNvK; KNNvKP -> KNNvKQ; KNNvKP -> KNNvKR; KNNvKP -> KNNvKB; KNNvKP -> KNNvKN; KNNvKP -> KNvKP; KNNvKP -> KNNvK; KNNvKQ -> KNNvK; KNNvKQ -> KQvKN; KRNNvKQ -> KRNNvK; KRNNvKQ -> KNNvKQ; KRNNvKQ -> KRNvKQ; KRPvKNN -> KQRvKNN; KRPvKNN -> KRRvKNN; KRPvKNN -> KNNvKP; KRPvKNN -> KRBvKNN; KRPvKNN -> KRNvKNN; KRPvKNN -> KRPvKN; KRPvKNN -> KNNvKR; KRRvKNN -> KNNvKR; KRRvKNN -> KRRvKN; KQRvKNN -> KNNvKR; KQRvKNN -> KNNvKQ; KQRvKNN -> KQRvKN; KRNNvKRR -> KRRvKNN; KRNNvKRR -> KRNNvKR; KRNNvKRR -> KRRvKRN; KRNNvKQR -> KRNNvKR; KRNNvKQR -> KQRvKNN; KRNNvKQR -> KRNNvKQ; KRNNvKQR -> KQRvKRN; }