digraph Syzygy { KBNPvKBB -> KQBNvKBB; KBNPvKBB -> KRBNvKBB; KBNPvKBB -> KBBNvKBB; KBNPvKBB -> KBBvKNP; KBNPvKBB -> KBNPvKB; KBNPvKBB -> KBNNvKBB; KBNPvKBB -> KBBvKBP; KBNPvKBB -> KBBvKBN; KBBvKBN -> KBNvKB; KBBvKBN -> KBBvKN; KBBvKBN -> KBBvKB; KBBvKB -> KBvKB; KBBvKB -> KBBvK; KBBvK -> KBvK; KBvKB -> KBvK; KBBvKN -> KBvKN; KBBvKN -> KBBvK; KBvKN -> KNvK; KBvKN -> KBvK; KBNvKB -> KBvKN; KBNvKB -> KBNvK; KBNvKB -> KBvKB; KBNvK -> KNvK; KBNvK -> KBvK; KBBvKBP -> KQBvKBB; KBBvKBP -> KRBvKBB; KBBvKBP -> KBBvKBB; KBBvKBP -> KBPvKB; KBBvKBP -> KBBvKP; KBBvKBP -> KBBvKBN; KBBvKBP -> KBBvKB; 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; KRvKB -> KBvK; KRvKB -> KRvK; KQvKB -> KBvK; KQvKB -> KQvK; KBBvKR -> KBBvK; KBBvKR -> KRvKB; KBBvKQ -> KBBvK; KBBvKQ -> KQvKB; KBPvKB -> KQBvKB; KBPvKB -> KRBvKB; KBPvKB -> KBBvKB; KBPvKB -> KBvKP; KBPvKB -> KBPvK; KBPvKB -> KBNvKB; KBPvKB -> KBvKB; KBPvK -> KQBvK; KBPvK -> KRBvK; KBPvK -> KBBvK; KBPvK -> KPvK; KBPvK -> KBNvK; KBPvK -> KBvK; KRBvK -> KBvK; KRBvK -> KRvK; KQBvK -> KBvK; KQBvK -> KQvK; KRBvKB -> KBvKB; KRBvKB -> KRvKB; KRBvKB -> KRBvK; KQBvKB -> KBvKB; KQBvKB -> KQvKB; KQBvKB -> KQBvK; KBBvKBB -> KBBvKB; KRBvKBB -> KBBvKB; KRBvKBB -> KBBvKR; KRBvKBB -> KRBvKB; KQBvKBB -> KBBvKB; KQBvKBB -> KBBvKQ; KQBvKBB -> KQBvKB; KBNNvKBB -> KBBvKNN; KBNNvKBB -> KBNNvKB; KBNNvKBB -> KBBvKBN; KBNNvKB -> KNNvKB; KBNNvKB -> KBNNvK; KBNNvKB -> KBNvKB; KBNNvK -> KNNvK; KBNNvK -> KBNvK; KNNvK -> KNvK; KNNvKB -> KNNvK; KNNvKB -> KBvKN; KBBvKNN -> KNNvKB; KBBvKNN -> KBBvKN; KBNPvKB -> KQBNvKB; KBNPvKB -> KRBNvKB; KBNPvKB -> KBBNvKB; KBNPvKB -> KNPvKB; KBNPvKB -> KBNPvK; KBNPvKB -> KBNNvKB; KBNPvKB -> KBPvKB; KBNPvKB -> KBNvKB; KBNPvK -> KQBNvK; KBNPvK -> KRBNvK; KBNPvK -> KBBNvK; KBNPvK -> KNPvK; KBNPvK -> KBNNvK; KBNPvK -> KBPvK; KBNPvK -> KBNvK; KNPvK -> KQNvK; KNPvK -> KRNvK; KNPvK -> KBNvK; KNPvK -> KNNvK; KNPvK -> KPvK; KNPvK -> KNvK; KRNvK -> KNvK; KRNvK -> KRvK; KQNvK -> KNvK; KQNvK -> KQvK; KBBNvK -> KBNvK; KBBNvK -> KBBvK; KRBNvK -> KBNvK; KRBNvK -> KRNvK; KRBNvK -> KRBvK; KQBNvK -> KBNvK; KQBNvK -> KQNvK; KQBNvK -> KQBvK; KNPvKB -> KQNvKB; KNPvKB -> KRNvKB; KNPvKB -> KBNvKB; KNPvKB -> KNPvK; KNPvKB -> KNNvKB; KNPvKB -> KBvKP; KNPvKB -> KBvKN; KRNvKB -> KBvKN; KRNvKB -> KRNvK; KRNvKB -> KRvKB; KQNvKB -> KBvKN; KQNvKB -> KQNvK; KQNvKB -> KQvKB; KBBNvKB -> KBNvKB; KBBNvKB -> KBBNvK; KBBNvKB -> KBBvKB; KRBNvKB -> KBNvKB; KRBNvKB -> KRNvKB; KRBNvKB -> KRBNvK; KRBNvKB -> KRBvKB; KQBNvKB -> KBNvKB; KQBNvKB -> KQNvKB; KQBNvKB -> KQBNvK; KQBNvKB -> KQBvKB; KBBvKNP -> KQNvKBB; KBBvKNP -> KRNvKBB; KBBvKNP -> KBBvKBN; KBBvKNP -> KNPvKB; KBBvKNP -> KBBvKNN; KBBvKNP -> KBBvKP; KBBvKNP -> KBBvKN; KRNvKBB -> KBBvKN; KRNvKBB -> KRNvKB; KRNvKBB -> KBBvKR; KQNvKBB -> KBBvKN; KQNvKBB -> KQNvKB; KQNvKBB -> KBBvKQ; KBBNvKBB -> KBBvKBN; KBBNvKBB -> KBBNvKB; KBBNvKBB -> KBBvKBB; KRBNvKBB -> KBBvKBN; KRBNvKBB -> KRNvKBB; KRBNvKBB -> KRBNvKB; KRBNvKBB -> KRBvKBB; KQBNvKBB -> KBBvKBN; KQBNvKBB -> KQNvKBB; KQBNvKBB -> KQBNvKB; KQBNvKBB -> KQBvKBB; }