digraph Syzygy { KQQNvKQ -> KQNvKQ; KQQNvKQ -> KQQNvK; KQQNvKQ -> KQQvKQ; KQQvKQ -> KQvKQ; KQQvKQ -> KQQvK; KQQvK -> KQvK; KQvKQ -> KQvK; KQQNvK -> KQNvK; KQQNvK -> KQQvK; KQNvK -> KNvK; KQNvK -> KQvK; KQNvKQ -> KQvKN; KQNvKQ -> KQNvK; KQNvKQ -> KQvKQ; KQvKN -> KNvK; KQvKN -> KQvK; }