digraph Syzygy { KRBPvKNN -> KQRBvKNN; KRBPvKNN -> KRRBvKNN; KRBPvKNN -> KBPvKNN; KRBPvKNN -> KRBBvKNN; KRBPvKNN -> KRPvKNN; KRBPvKNN -> KRBNvKNN; KRBPvKNN -> KRBPvKN; KRBPvKNN -> KRBvKNN; KRBvKNN -> KNNvKB; KRBvKNN -> KNNvKR; KRBvKNN -> KRBvKN; KRBvKN -> KBvKN; KRBvKN -> KRvKN; KRBvKN -> KRBvK; KRBvK -> KBvK; KRBvK -> KRvK; KRvKN -> KNvK; KRvKN -> KRvK; KBvKN -> KNvK; KBvKN -> KBvK; KNNvKR -> KNNvK; KNNvKR -> KRvKN; KNNvK -> KNvK; KNNvKB -> KNNvK; KNNvKB -> KBvKN; KRBPvKN -> KQRBvKN; KRBPvKN -> KRRBvKN; KRBPvKN -> KBPvKN; KRBPvKN -> KRBBvKN; KRBPvKN -> KRPvKN; KRBPvKN -> KRBNvKN; KRBPvKN -> KRBPvK; KRBPvKN -> KRBvKN; KRBPvK -> KQRBvK; KRBPvK -> KRRBvK; KRBPvK -> KBPvK; KRBPvK -> KRBBvK; KRBPvK -> KRPvK; KRBPvK -> KRBNvK; KRBPvK -> KRBvK; KRBNvK -> KBNvK; KRBNvK -> KRNvK; KRBNvK -> KRBvK; KRNvK -> KNvK; KRNvK -> KRvK; KBNvK -> KNvK; KBNvK -> KBvK; 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; KRBBvK -> KBBvK; KRBBvK -> KRBvK; KBBvK -> KBvK; KBPvK -> KQBvK; KBPvK -> KRBvK; KBPvK -> KBBvK; KBPvK -> KPvK; KBPvK -> KBNvK; KBPvK -> KBvK; KQBvK -> KBvK; KQBvK -> KQvK; KRRBvK -> KRBvK; KRRBvK -> KRRvK; KQRBvK -> KRBvK; KQRBvK -> KQBvK; KQRBvK -> KQRvK; KRBNvKN -> KBNvKN; KRBNvKN -> KRNvKN; KRBNvKN -> KRBvKN; KRBNvKN -> KRBNvK; KRNvKN -> KNvKN; KRNvKN -> KRvKN; KRNvKN -> KRNvK; KNvKN -> KNvK; KBNvKN -> KNvKN; KBNvKN -> KBvKN; KBNvKN -> KBNvK; 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; KRRvKN -> KRvKN; KRRvKN -> KRRvK; KQRvKN -> KRvKN; KQRvKN -> KQvKN; KQRvKN -> KQRvK; KRBBvKN -> KBBvKN; KRBBvKN -> KRBvKN; KRBBvKN -> KRBBvK; KBBvKN -> KBvKN; KBBvKN -> KBBvK; KBPvKN -> KQBvKN; KBPvKN -> KRBvKN; KBPvKN -> KBBvKN; KBPvKN -> KNvKP; KBPvKN -> KBNvKN; KBPvKN -> KBPvK; KBPvKN -> KBvKN; KQBvKN -> KBvKN; KQBvKN -> KQvKN; KQBvKN -> KQBvK; KRRBvKN -> KRBvKN; KRRBvKN -> KRRvKN; KRRBvKN -> KRRBvK; KQRBvKN -> KRBvKN; KQRBvKN -> KQBvKN; KQRBvKN -> KQRvKN; KQRBvKN -> KQRBvK; KRBNvKNN -> KBNvKNN; KRBNvKNN -> KRNvKNN; KRBNvKNN -> KRBvKNN; KRBNvKNN -> KRBNvKN; KRNvKNN -> KNNvKN; KRNvKNN -> KNNvKR; KRNvKNN -> KRNvKN; KNNvKN -> KNvKN; KNNvKN -> KNNvK; KBNvKNN -> KNNvKN; KBNvKNN -> KNNvKB; KBNvKNN -> KBNvKN; 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; KRRvKNN -> KNNvKR; KRRvKNN -> KRRvKN; KQRvKNN -> KNNvKR; KQRvKNN -> KNNvKQ; KQRvKNN -> KQRvKN; KRBBvKNN -> KBBvKNN; KRBBvKNN -> KRBvKNN; KRBBvKNN -> KRBBvKN; KBBvKNN -> KNNvKB; KBBvKNN -> KBBvKN; KBPvKNN -> KQBvKNN; KBPvKNN -> KRBvKNN; KBPvKNN -> KBBvKNN; KBPvKNN -> KNNvKP; KBPvKNN -> KBNvKNN; KBPvKNN -> KBPvKN; KBPvKNN -> KNNvKB; KQBvKNN -> KNNvKB; KQBvKNN -> KNNvKQ; KQBvKNN -> KQBvKN; KRRBvKNN -> KRBvKNN; KRRBvKNN -> KRRvKNN; KRRBvKNN -> KRRBvKN; KQRBvKNN -> KRBvKNN; KQRBvKNN -> KQBvKNN; KQRBvKNN -> KQRvKNN; KQRBvKNN -> KQRBvKN; }