digraph Syzygy { KQQQvKQN -> KQQvKQN; KQQQvKQN -> KQQQvKN; KQQQvKQN -> KQQQvKQ; KQQQvKQ -> KQQvKQ; KQQQvKQ -> KQQQvK; KQQQvK -> KQQvK; KQQvK -> KQvK; KQQvKQ -> KQvKQ; KQQvKQ -> KQQvK; KQvKQ -> KQvK; KQQQvKN -> KQQvKN; KQQQvKN -> KQQQvK; KQQvKN -> KQvKN; KQQvKN -> KQQvK; KQvKN -> KNvK; KQvKN -> KQvK; KQQvKQN -> KQNvKQ; KQQvKQN -> KQQvKN; KQQvKQN -> KQQvKQ; KQNvKQ -> KQvKN; KQNvKQ -> KQNvK; KQNvKQ -> KQvKQ; KQNvK -> KNvK; KQNvK -> KQvK; }