digraph Syzygy { KRRPvKNN -> KQRRvKNN; KRRPvKNN -> KRRRvKNN; KRRPvKNN -> KRPvKNN; KRRPvKNN -> KRRBvKNN; KRRPvKNN -> KRRNvKNN; KRRPvKNN -> KRRPvKN; KRRPvKNN -> KRRvKNN; KRRvKNN -> KNNvKR; KRRvKNN -> KRRvKN; KRRvKN -> KRvKN; KRRvKN -> KRRvK; KRRvK -> KRvK; KRvKN -> KNvK; KRvKN -> KRvK; KNNvKR -> KNNvK; KNNvKR -> KRvKN; KNNvK -> KNvK; KRRPvKN -> KQRRvKN; KRRPvKN -> KRRRvKN; KRRPvKN -> KRPvKN; KRRPvKN -> KRRBvKN; KRRPvKN -> KRRNvKN; KRRPvKN -> KRRPvK; KRRPvKN -> KRRvKN; KRRPvK -> KQRRvK; KRRPvK -> KRRRvK; KRRPvK -> KRPvK; KRRPvK -> KRRBvK; KRRPvK -> KRRNvK; KRRPvK -> KRRvK; KRRNvK -> KRNvK; KRRNvK -> KRRvK; KRNvK -> KNvK; KRNvK -> KRvK; KRRBvK -> KRBvK; KRRBvK -> KRRvK; KRBvK -> KBvK; KRBvK -> KRvK; KRPvK -> KQRvK; KRPvK -> KRRvK; KRPvK -> KPvK; KRPvK -> KRBvK; KRPvK -> KRNvK; KRPvK -> KRvK; KPvK -> KQvK; KPvK -> KRvK; KPvK -> KBvK; KPvK -> KNvK; KQRvK -> KRvK; KQRvK -> KQvK; KRRRvK -> KRRvK; KQRRvK -> KRRvK; KQRRvK -> KQRvK; KRRNvKN -> KRNvKN; KRRNvKN -> KRRvKN; KRRNvKN -> KRRNvK; KRNvKN -> KNvKN; KRNvKN -> KRvKN; KRNvKN -> KRNvK; KNvKN -> KNvK; KRRBvKN -> KRBvKN; KRRBvKN -> KRRvKN; KRRBvKN -> KRRBvK; KRBvKN -> KBvKN; KRBvKN -> KRvKN; KRBvKN -> KRBvK; KBvKN -> KNvK; KBvKN -> KBvK; KRPvKN -> KQRvKN; KRPvKN -> KRRvKN; KRPvKN -> KNvKP; KRPvKN -> KRBvKN; KRPvKN -> KRNvKN; KRPvKN -> KRPvK; KRPvKN -> KRvKN; KNvKP -> KQvKN; KNvKP -> KRvKN; KNvKP -> KBvKN; KNvKP -> KNvKN; KNvKP -> KPvK; KNvKP -> KNvK; KQvKN -> KNvK; KQvKN -> KQvK; KQRvKN -> KRvKN; KQRvKN -> KQvKN; KQRvKN -> KQRvK; KRRRvKN -> KRRvKN; KRRRvKN -> KRRRvK; KQRRvKN -> KRRvKN; KQRRvKN -> KQRvKN; KQRRvKN -> KQRRvK; KRRNvKNN -> KRNvKNN; KRRNvKNN -> KRRvKNN; KRRNvKNN -> KRRNvKN; KRNvKNN -> KNNvKN; KRNvKNN -> KNNvKR; KRNvKNN -> KRNvKN; KNNvKN -> KNvKN; KNNvKN -> KNNvK; KRRBvKNN -> KRBvKNN; KRRBvKNN -> KRRvKNN; KRRBvKNN -> KRRBvKN; KRBvKNN -> KNNvKB; KRBvKNN -> KNNvKR; KRBvKNN -> KRBvKN; KNNvKB -> KNNvK; KNNvKB -> KBvKN; KRPvKNN -> KQRvKNN; KRPvKNN -> KRRvKNN; KRPvKNN -> KNNvKP; KRPvKNN -> KRBvKNN; KRPvKNN -> KRNvKNN; KRPvKNN -> KRPvKN; KRPvKNN -> KNNvKR; KNNvKP -> KNNvKQ; KNNvKP -> KNNvKR; KNNvKP -> KNNvKB; KNNvKP -> KNNvKN; KNNvKP -> KNvKP; KNNvKP -> KNNvK; KNNvKQ -> KNNvK; KNNvKQ -> KQvKN; KQRvKNN -> KNNvKR; KQRvKNN -> KNNvKQ; KQRvKNN -> KQRvKN; KRRRvKNN -> KRRvKNN; KRRRvKNN -> KRRRvKN; KQRRvKNN -> KRRvKNN; KQRRvKNN -> KQRvKNN; KQRRvKNN -> KQRRvKN; }