digraph Syzygy { KQQQvKQ -> KQQvKQ; KQQQvKQ -> KQQQvK; KQQQvK -> KQQvK; KQQvK -> KQvK; KQQvKQ -> KQvKQ; KQQvKQ -> KQQvK; KQvKQ -> KQvK; }