digraph Syzygy { KBBPvKNN -> KQBBvKNN; KBBPvKNN -> KRBBvKNN; KBBPvKNN -> KBBBvKNN; KBBPvKNN -> KBPvKNN; KBBPvKNN -> KBBNvKNN; KBBPvKNN -> KBBPvKN; KBBPvKNN -> KBBvKNN; KBBvKNN -> KNNvKB; KBBvKNN -> KBBvKN; KBBvKN -> KBvKN; KBBvKN -> KBBvK; KBBvK -> KBvK; KBvKN -> KNvK; KBvKN -> KBvK; KNNvKB -> KNNvK; KNNvKB -> KBvKN; KNNvK -> KNvK; KBBPvKN -> KQBBvKN; KBBPvKN -> KRBBvKN; KBBPvKN -> KBBBvKN; KBBPvKN -> KBPvKN; KBBPvKN -> KBBNvKN; KBBPvKN -> KBBPvK; KBBPvKN -> KBBvKN; KBBPvK -> KQBBvK; KBBPvK -> KRBBvK; KBBPvK -> KBBBvK; KBBPvK -> KBPvK; KBBPvK -> KBBNvK; KBBPvK -> KBBvK; KBBNvK -> KBNvK; KBBNvK -> KBBvK; KBNvK -> KNvK; KBNvK -> KBvK; KBPvK -> KQBvK; KBPvK -> KRBvK; KBPvK -> KBBvK; KBPvK -> KPvK; KBPvK -> KBNvK; KBPvK -> KBvK; KPvK -> KQvK; KPvK -> KRvK; KPvK -> KBvK; KPvK -> KNvK; KRBvK -> KBvK; KRBvK -> KRvK; KQBvK -> KBvK; KQBvK -> KQvK; KBBBvK -> KBBvK; KRBBvK -> KBBvK; KRBBvK -> KRBvK; KQBBvK -> KBBvK; KQBBvK -> KQBvK; KBBNvKN -> KBNvKN; KBBNvKN -> KBBvKN; KBBNvKN -> KBBNvK; KBNvKN -> KNvKN; KBNvKN -> KBvKN; KBNvKN -> KBNvK; KNvKN -> KNvK; KBPvKN -> KQBvKN; KBPvKN -> KRBvKN; KBPvKN -> KBBvKN; KBPvKN -> KNvKP; KBPvKN -> KBNvKN; KBPvKN -> KBPvK; KBPvKN -> KBvKN; KNvKP -> KQvKN; KNvKP -> KRvKN; KNvKP -> KBvKN; KNvKP -> KNvKN; KNvKP -> KPvK; KNvKP -> KNvK; KRvKN -> KNvK; KRvKN -> KRvK; KQvKN -> KNvK; KQvKN -> KQvK; KRBvKN -> KBvKN; KRBvKN -> KRvKN; KRBvKN -> KRBvK; KQBvKN -> KBvKN; KQBvKN -> KQvKN; KQBvKN -> KQBvK; KBBBvKN -> KBBvKN; KBBBvKN -> KBBBvK; KRBBvKN -> KBBvKN; KRBBvKN -> KRBvKN; KRBBvKN -> KRBBvK; KQBBvKN -> KBBvKN; KQBBvKN -> KQBvKN; KQBBvKN -> KQBBvK; KBBNvKNN -> KBNvKNN; KBBNvKNN -> KBBvKNN; KBBNvKNN -> KBBNvKN; KBNvKNN -> KNNvKN; KBNvKNN -> KNNvKB; KBNvKNN -> KBNvKN; KNNvKN -> KNvKN; KNNvKN -> KNNvK; KBPvKNN -> KQBvKNN; KBPvKNN -> KRBvKNN; KBPvKNN -> KBBvKNN; KBPvKNN -> KNNvKP; KBPvKNN -> KBNvKNN; KBPvKNN -> KBPvKN; KBPvKNN -> KNNvKB; KNNvKP -> KNNvKQ; KNNvKP -> KNNvKR; KNNvKP -> KNNvKB; KNNvKP -> KNNvKN; KNNvKP -> KNvKP; KNNvKP -> KNNvK; KNNvKR -> KNNvK; KNNvKR -> KRvKN; KNNvKQ -> KNNvK; KNNvKQ -> KQvKN; KRBvKNN -> KNNvKB; KRBvKNN -> KNNvKR; KRBvKNN -> KRBvKN; KQBvKNN -> KNNvKB; KQBvKNN -> KNNvKQ; KQBvKNN -> KQBvKN; KBBBvKNN -> KBBvKNN; KBBBvKNN -> KBBBvKN; KRBBvKNN -> KBBvKNN; KRBBvKNN -> KRBvKNN; KRBBvKNN -> KRBBvKN; KQBBvKNN -> KBBvKNN; KQBBvKNN -> KQBvKNN; KQBBvKNN -> KQBBvKN; }