digraph Syzygy { KNNPvKBB -> KQNNvKBB; KNNPvKBB -> KRNNvKBB; KNNPvKBB -> KBNNvKBB; KNNPvKBB -> KNNPvKB; KNNPvKBB -> KNNNvKBB; KNNPvKBB -> KBBvKNP; KNNPvKBB -> KBBvKNN; KBBvKNN -> KNNvKB; KBBvKNN -> KBBvKN; KBBvKN -> KBvKN; KBBvKN -> KBBvK; KBBvK -> KBvK; KBvKN -> KNvK; KBvKN -> KBvK; KNNvKB -> KNNvK; KNNvKB -> KBvKN; KNNvK -> KNvK; KBBvKNP -> KQNvKBB; KBBvKNP -> KRNvKBB; KBBvKNP -> KBBvKBN; KBBvKNP -> KNPvKB; KBBvKNP -> KBBvKNN; KBBvKNP -> KBBvKP; KBBvKNP -> KBBvKN; KBBvKP -> KBBvKQ; KBBvKP -> KBBvKR; KBBvKP -> KBBvKB; KBBvKP -> KBvKP; KBBvKP -> KBBvKN; KBBvKP -> KBBvK; KBvKP -> KQvKB; KBvKP -> KRvKB; KBvKP -> KBvKB; KBvKP -> KPvK; KBvKP -> KBvKN; KBvKP -> KBvK; KPvK -> KQvK; KPvK -> KRvK; KPvK -> KBvK; KPvK -> KNvK; KBvKB -> KBvK; KRvKB -> KBvK; KRvKB -> KRvK; KQvKB -> KBvK; KQvKB -> KQvK; KBBvKB -> KBvKB; KBBvKB -> KBBvK; KBBvKR -> KBBvK; KBBvKR -> KRvKB; KBBvKQ -> KBBvK; KBBvKQ -> KQvKB; KNPvKB -> KQNvKB; KNPvKB -> KRNvKB; KNPvKB -> KBNvKB; KNPvKB -> KNPvK; KNPvKB -> KNNvKB; KNPvKB -> KBvKP; KNPvKB -> KBvKN; KNPvK -> KQNvK; KNPvK -> KRNvK; KNPvK -> KBNvK; KNPvK -> KNNvK; KNPvK -> KPvK; KNPvK -> KNvK; KBNvK -> KNvK; KBNvK -> KBvK; KRNvK -> KNvK; KRNvK -> KRvK; KQNvK -> KNvK; KQNvK -> KQvK; KBNvKB -> KBvKN; KBNvKB -> KBNvK; KBNvKB -> KBvKB; KRNvKB -> KBvKN; KRNvKB -> KRNvK; KRNvKB -> KRvKB; KQNvKB -> KBvKN; KQNvKB -> KQNvK; KQNvKB -> KQvKB; KBBvKBN -> KBNvKB; KBBvKBN -> KBBvKN; KBBvKBN -> KBBvKB; KRNvKBB -> KBBvKN; KRNvKBB -> KRNvKB; KRNvKBB -> KBBvKR; KQNvKBB -> KBBvKN; KQNvKBB -> KQNvKB; KQNvKBB -> KBBvKQ; KNNNvKBB -> KNNNvKB; KNNNvKBB -> KBBvKNN; KNNNvKB -> KNNNvK; KNNNvKB -> KNNvKB; KNNNvK -> KNNvK; KNNPvKB -> KQNNvKB; KNNPvKB -> KRNNvKB; KNNPvKB -> KBNNvKB; KNNPvKB -> KNNPvK; KNNPvKB -> KNNNvKB; KNNPvKB -> KNPvKB; KNNPvKB -> KNNvKB; KNNPvK -> KQNNvK; KNNPvK -> KRNNvK; KNNPvK -> KBNNvK; KNNPvK -> KNNNvK; KNNPvK -> KNPvK; KNNPvK -> KNNvK; KBNNvK -> KNNvK; KBNNvK -> KBNvK; KRNNvK -> KNNvK; KRNNvK -> KRNvK; KQNNvK -> KNNvK; KQNNvK -> KQNvK; KBNNvKB -> KNNvKB; KBNNvKB -> KBNNvK; KBNNvKB -> KBNvKB; KRNNvKB -> KNNvKB; KRNNvKB -> KRNNvK; KRNNvKB -> KRNvKB; KQNNvKB -> KNNvKB; KQNNvKB -> KQNNvK; KQNNvKB -> KQNvKB; KBNNvKBB -> KBBvKNN; KBNNvKBB -> KBNNvKB; KBNNvKBB -> KBBvKBN; KRNNvKBB -> KBBvKNN; KRNNvKBB -> KRNNvKB; KRNNvKBB -> KRNvKBB; KQNNvKBB -> KBBvKNN; KQNNvKBB -> KQNNvKB; KQNNvKBB -> KQNvKBB; }