digraph Syzygy { KQQQQBvK -> KQQQBvK; KQQQQBvK -> KQQQQvK; KQQQQvK -> KQQQvK; KQQQvK -> KQQvK; KQQvK -> KQvK; KQQQBvK -> KQQBvK; KQQQBvK -> KQQQvK; KQQBvK -> KQBvK; KQQBvK -> KQQvK; KQBvK -> KBvK; KQBvK -> KQvK; }