digraph Syzygy { KBBNvKQN -> KBBNvKN; KBBNvKQN -> KQNvKBN; KBBNvKQN -> KQNvKBB; KBBNvKQN -> KBBNvKQ; KBBNvKQ -> KBBNvK; KBBNvKQ -> KBNvKQ; KBBNvKQ -> KBBvKQ; KBBvKQ -> KBBvK; KBBvKQ -> KQvKB; KQvKB -> KBvK; KQvKB -> KQvK; KBBvK -> KBvK; KBNvKQ -> KBNvK; KBNvKQ -> KQvKN; KBNvKQ -> KQvKB; KQvKN -> KNvK; KQvKN -> KQvK; KBNvK -> KNvK; KBNvK -> KBvK; KBBNvK -> KBNvK; KBBNvK -> KBBvK; KQNvKBB -> KBBvKN; KQNvKBB -> KQNvKB; KQNvKBB -> KBBvKQ; KQNvKB -> KBvKN; KQNvKB -> KQNvK; KQNvKB -> KQvKB; KQNvK -> KNvK; KQNvK -> KQvK; KBvKN -> KNvK; KBvKN -> KBvK; KBBvKN -> KBvKN; KBBvKN -> KBBvK; KQNvKBN -> KBNvKN; KQNvKBN -> KQNvKN; KQNvKBN -> KBNvKQ; KQNvKBN -> KQNvKB; KQNvKN -> KNvKN; KQNvKN -> KQvKN; KQNvKN -> KQNvK; KNvKN -> KNvK; KBNvKN -> KNvKN; KBNvKN -> KBvKN; KBNvKN -> KBNvK; KBBNvKN -> KBNvKN; KBBNvKN -> KBBvKN; KBBNvKN -> KBBNvK; }