digraph Syzygy { KNNNvKRP -> KNNNvKQR; KNNNvKRP -> KNNNvKRR; KNNNvKRP -> KNNNvKP; KNNNvKRP -> KNNNvKRB; KNNNvKRP -> KNNNvKRN; KNNNvKRP -> KRPvKNN; KNNNvKRP -> KNNNvKR; KNNNvKR -> KNNNvK; KNNNvKR -> KNNvKR; KNNvKR -> KNNvK; KNNvKR -> KRvKN; KRvKN -> KNvK; KRvKN -> KRvK; KNNvK -> KNvK; KNNNvK -> KNNvK; KRPvKNN -> KQRvKNN; KRPvKNN -> KRRvKNN; KRPvKNN -> KNNvKP; KRPvKNN -> KRBvKNN; KRPvKNN -> KRNvKNN; KRPvKNN -> KRPvKN; KRPvKNN -> KNNvKR; KRPvKN -> KQRvKN; KRPvKN -> KRRvKN; KRPvKN -> KNvKP; KRPvKN -> KRBvKN; KRPvKN -> KRNvKN; KRPvKN -> KRPvK; KRPvKN -> KRvKN; KRPvK -> KQRvK; KRPvK -> KRRvK; KRPvK -> KPvK; KRPvK -> KRBvK; KRPvK -> KRNvK; KRPvK -> KRvK; KRNvK -> KNvK; KRNvK -> KRvK; KRBvK -> KBvK; KRBvK -> KRvK; KPvK -> KQvK; KPvK -> KRvK; KPvK -> KBvK; KPvK -> KNvK; KRRvK -> KRvK; KQRvK -> KRvK; KQRvK -> KQvK; KRNvKN -> KNvKN; KRNvKN -> KRvKN; KRNvKN -> KRNvK; KNvKN -> KNvK; KRBvKN -> KBvKN; KRBvKN -> KRvKN; KRBvKN -> KRBvK; KBvKN -> KNvK; KBvKN -> KBvK; KNvKP -> KQvKN; KNvKP -> KRvKN; KNvKP -> KBvKN; KNvKP -> KNvKN; KNvKP -> KPvK; KNvKP -> KNvK; KQvKN -> KNvK; KQvKN -> KQvK; KRRvKN -> KRvKN; KRRvKN -> KRRvK; KQRvKN -> KRvKN; KQRvKN -> KQvKN; KQRvKN -> KQRvK; KRNvKNN -> KNNvKN; KRNvKNN -> KNNvKR; KRNvKNN -> KRNvKN; KNNvKN -> KNvKN; KNNvKN -> KNNvK; KRBvKNN -> KNNvKB; KRBvKNN -> KNNvKR; KRBvKNN -> KRBvKN; KNNvKB -> KNNvK; KNNvKB -> KBvKN; KNNvKP -> KNNvKQ; KNNvKP -> KNNvKR; KNNvKP -> KNNvKB; KNNvKP -> KNNvKN; KNNvKP -> KNvKP; KNNvKP -> KNNvK; KNNvKQ -> KNNvK; KNNvKQ -> KQvKN; KRRvKNN -> KNNvKR; KRRvKNN -> KRRvKN; KQRvKNN -> KNNvKR; KQRvKNN -> KNNvKQ; KQRvKNN -> KQRvKN; KNNNvKRN -> KNNNvKN; KNNNvKRN -> KRNvKNN; KNNNvKRN -> KNNNvKR; KNNNvKN -> KNNvKN; KNNNvKN -> KNNNvK; KNNNvKRB -> KNNNvKB; KNNNvKRB -> KNNNvKR; KNNNvKRB -> KRBvKNN; KNNNvKB -> KNNNvK; KNNNvKB -> KNNvKB; KNNNvKP -> KNNNvKQ; KNNNvKP -> KNNNvKR; KNNNvKP -> KNNNvKB; KNNNvKP -> KNNNvKN; KNNNvKP -> KNNvKP; KNNNvKP -> KNNNvK; KNNNvKQ -> KNNNvK; KNNNvKQ -> KNNvKQ; KNNNvKRR -> KNNNvKR; KNNNvKRR -> KRRvKNN; KNNNvKQR -> KNNNvKR; KNNNvKQR -> KNNNvKQ; KNNNvKQR -> KQRvKNN; }