digraph Syzygy { KQQQBBvK -> KQQBBvK; KQQQBBvK -> KQQQBvK; KQQQBvK -> KQQBvK; KQQQBvK -> KQQQvK; KQQQvK -> KQQvK; KQQvK -> KQvK; KQQBvK -> KQBvK; KQQBvK -> KQQvK; KQBvK -> KBvK; KQBvK -> KQvK; KQQBBvK -> KQBBvK; KQQBBvK -> KQQBvK; KQBBvK -> KBBvK; KQBBvK -> KQBvK; KBBvK -> KBvK; }