digraph Syzygy { KQBNvKQB -> KQBvKBN; KQBNvKQB -> KQBNvKB; KQBNvKQB -> KQBvKQN; KQBNvKQB -> KQBNvKQ; KQBNvKQB -> KQBvKQB; KQBvKQB -> KQBvKB; KQBvKQB -> KQBvKQ; KQBvKQ -> KQvKB; KQBvKQ -> KQBvK; KQBvKQ -> KQvKQ; KQvKQ -> KQvK; KQBvK -> KBvK; KQBvK -> KQvK; KQvKB -> KBvK; KQvKB -> KQvK; KQBvKB -> KBvKB; KQBvKB -> KQvKB; KQBvKB -> KQBvK; KBvKB -> KBvK; KQBNvKQ -> KBNvKQ; KQBNvKQ -> KQBNvK; KQBNvKQ -> KQNvKQ; KQBNvKQ -> KQBvKQ; KQNvKQ -> KQvKN; KQNvKQ -> KQNvK; KQNvKQ -> KQvKQ; KQNvK -> KNvK; KQNvK -> KQvK; KQvKN -> KNvK; KQvKN -> KQvK; KQBNvK -> KBNvK; KQBNvK -> KQNvK; KQBNvK -> KQBvK; KBNvK -> KNvK; KBNvK -> KBvK; KBNvKQ -> KBNvK; KBNvKQ -> KQvKN; KBNvKQ -> KQvKB; KQBvKQN -> KQNvKB; KQBvKQN -> KQBvKN; KQBvKQN -> KQNvKQ; KQBvKQN -> KQBvKQ; KQBvKN -> KBvKN; KQBvKN -> KQvKN; KQBvKN -> KQBvK; KBvKN -> KNvK; KBvKN -> KBvK; KQNvKB -> KBvKN; KQNvKB -> KQNvK; KQNvKB -> KQvKB; KQBNvKB -> KBNvKB; KQBNvKB -> KQNvKB; KQBNvKB -> KQBNvK; KQBNvKB -> KQBvKB; KBNvKB -> KBvKN; KBNvKB -> KBNvK; KBNvKB -> KBvKB; KQBvKBN -> KBNvKB; KQBvKBN -> KBNvKQ; KQBvKBN -> KQBvKN; KQBvKBN -> KQBvKB; }