digraph Syzygy { KBBBvKNP -> KBBBvKQN; KBBBvKNP -> KBBBvKRN; KBBBvKNP -> KBBBvKBN; KBBBvKNP -> KBBvKNP; KBBBvKNP -> KBBBvKNN; KBBBvKNP -> KBBBvKP; KBBBvKNP -> KBBBvKN; KBBBvKN -> KBBvKN; KBBBvKN -> KBBBvK; KBBBvK -> KBBvK; KBBvK -> KBvK; KBBvKN -> KBvKN; KBBvKN -> KBBvK; KBvKN -> KNvK; KBvKN -> KBvK; KBBBvKP -> KBBBvKQ; KBBBvKP -> KBBBvKR; KBBBvKP -> KBBBvKB; KBBBvKP -> KBBvKP; KBBBvKP -> KBBBvKN; KBBBvKP -> KBBBvK; 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; KBBBvKB -> KBBvKB; KBBBvKB -> KBBBvK; KBBBvKR -> KBBBvK; KBBBvKR -> KBBvKR; KBBBvKQ -> KBBBvK; KBBBvKQ -> KBBvKQ; KBBBvKNN -> KBBvKNN; KBBBvKNN -> KBBBvKN; KBBvKNN -> KNNvKB; KBBvKNN -> KBBvKN; KNNvKB -> KNNvK; KNNvKB -> KBvKN; KNNvK -> KNvK; KBBvKNP -> KQNvKBB; KBBvKNP -> KRNvKBB; KBBvKNP -> KBBvKBN; KBBvKNP -> KNPvKB; KBBvKNP -> KBBvKNN; KBBvKNP -> KBBvKP; KBBvKNP -> KBBvKN; 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; KBBBvKBN -> KBBvKBN; KBBBvKBN -> KBBBvKN; KBBBvKBN -> KBBBvKB; KBBBvKRN -> KBBBvKN; KBBBvKRN -> KRNvKBB; KBBBvKRN -> KBBBvKR; KBBBvKQN -> KBBBvKN; KBBBvKQN -> KQNvKBB; KBBBvKQN -> KBBBvKQ; }