digraph Syzygy { KBNNNvKP -> KBNNNvKQ; KBNNNvKP -> KBNNNvKR; KBNNNvKP -> KBNNNvKB; KBNNNvKP -> KNNNvKP; KBNNNvKP -> KBNNNvKN; KBNNNvKP -> KBNNvKP; KBNNNvKP -> KBNNNvK; KBNNNvK -> KNNNvK; KBNNNvK -> KBNNvK; KBNNvK -> KNNvK; KBNNvK -> KBNvK; KBNvK -> KNvK; KBNvK -> KBvK; KNNvK -> KNvK; KNNNvK -> KNNvK; KBNNvKP -> KBNNvKQ; KBNNvKP -> KBNNvKR; KBNNvKP -> KBNNvKB; KBNNvKP -> KNNvKP; KBNNvKP -> KBNNvKN; KBNNvKP -> KBNvKP; KBNNvKP -> KBNNvK; KBNvKP -> KBNvKQ; KBNvKP -> KBNvKR; KBNvKP -> KBNvKB; KBNvKP -> KNvKP; KBNvKP -> KBNvKN; KBNvKP -> KBvKP; KBNvKP -> KBNvK; KBvKP -> KQvKB; KBvKP -> KRvKB; KBvKP -> KBvKB; KBvKP -> KPvK; KBvKP -> KBvKN; KBvKP -> KBvK; KBvKN -> KNvK; KBvKN -> KBvK; KPvK -> KQvK; KPvK -> KRvK; KPvK -> KBvK; KPvK -> KNvK; KBvKB -> KBvK; KRvKB -> KBvK; KRvKB -> KRvK; KQvKB -> KBvK; KQvKB -> KQvK; KBNvKN -> KNvKN; KBNvKN -> KBvKN; KBNvKN -> KBNvK; KNvKN -> KNvK; KNvKP -> KQvKN; KNvKP -> KRvKN; KNvKP -> KBvKN; KNvKP -> KNvKN; KNvKP -> KPvK; KNvKP -> KNvK; KRvKN -> KNvK; KRvKN -> KRvK; KQvKN -> KNvK; KQvKN -> KQvK; KBNvKB -> KBvKN; KBNvKB -> KBNvK; KBNvKB -> KBvKB; KBNvKR -> KBNvK; KBNvKR -> KRvKN; KBNvKR -> KRvKB; KBNvKQ -> KBNvK; KBNvKQ -> KQvKN; KBNvKQ -> KQvKB; KBNNvKN -> KNNvKN; KBNNvKN -> KBNvKN; KBNNvKN -> KBNNvK; KNNvKN -> KNvKN; KNNvKN -> KNNvK; KNNvKP -> KNNvKQ; KNNvKP -> KNNvKR; KNNvKP -> KNNvKB; KNNvKP -> KNNvKN; KNNvKP -> KNvKP; KNNvKP -> KNNvK; KNNvKB -> KNNvK; KNNvKB -> KBvKN; KNNvKR -> KNNvK; KNNvKR -> KRvKN; KNNvKQ -> KNNvK; KNNvKQ -> KQvKN; KBNNvKB -> KNNvKB; KBNNvKB -> KBNNvK; KBNNvKB -> KBNvKB; KBNNvKR -> KBNNvK; KBNNvKR -> KNNvKR; KBNNvKR -> KBNvKR; KBNNvKQ -> KBNNvK; KBNNvKQ -> KNNvKQ; KBNNvKQ -> KBNvKQ; KBNNNvKN -> KNNNvKN; KBNNNvKN -> KBNNvKN; KBNNNvKN -> KBNNNvK; KNNNvKN -> KNNvKN; KNNNvKN -> KNNNvK; KNNNvKP -> KNNNvKQ; KNNNvKP -> KNNNvKR; KNNNvKP -> KNNNvKB; KNNNvKP -> KNNNvKN; KNNNvKP -> KNNvKP; KNNNvKP -> KNNNvK; KNNNvKB -> KNNNvK; KNNNvKB -> KNNvKB; KNNNvKR -> KNNNvK; KNNNvKR -> KNNvKR; KNNNvKQ -> KNNNvK; KNNNvKQ -> KNNvKQ; KBNNNvKB -> KNNNvKB; KBNNNvKB -> KBNNNvK; KBNNNvKB -> KBNNvKB; KBNNNvKR -> KBNNNvK; KBNNNvKR -> KNNNvKR; KBNNNvKR -> KBNNvKR; KBNNNvKQ -> KBNNNvK; KBNNNvKQ -> KNNNvKQ; KBNNNvKQ -> KBNNvKQ; }