digraph Syzygy { KQQBvKQN -> KQBvKQN; KQQBvKQN -> KQQBvKN; KQQBvKQN -> KQQvKQN; KQQBvKQN -> KQQBvKQ; KQQBvKQ -> KQBvKQ; KQQBvKQ -> KQQBvK; KQQBvKQ -> KQQvKQ; KQQvKQ -> KQvKQ; KQQvKQ -> KQQvK; KQQvK -> KQvK; KQvKQ -> KQvK; KQQBvK -> KQBvK; KQQBvK -> KQQvK; KQBvK -> KBvK; KQBvK -> KQvK; KQBvKQ -> KQvKB; KQBvKQ -> KQBvK; KQBvKQ -> KQvKQ; KQvKB -> KBvK; KQvKB -> KQvK; KQQvKQN -> KQNvKQ; KQQvKQN -> KQQvKN; KQQvKQN -> KQQvKQ; KQQvKN -> KQvKN; KQQvKN -> KQQvK; KQvKN -> KNvK; KQvKN -> KQvK; KQNvKQ -> KQvKN; KQNvKQ -> KQNvK; KQNvKQ -> KQvKQ; KQNvK -> KNvK; KQNvK -> KQvK; KQQBvKN -> KQBvKN; KQQBvKN -> KQQvKN; KQQBvKN -> KQQBvK; KQBvKN -> KBvKN; KQBvKN -> KQvKN; KQBvKN -> KQBvK; KBvKN -> KNvK; KBvKN -> KBvK; KQBvKQN -> KQNvKB; KQBvKQN -> KQBvKN; KQBvKQN -> KQNvKQ; KQBvKQN -> KQBvKQ; KQNvKB -> KBvKN; KQNvKB -> KQNvK; KQNvKB -> KQvKB; }