digraph Syzygy { KQBBBBvK -> KBBBBvK; KQBBBBvK -> KQBBBvK; KQBBBvK -> KBBBvK; KQBBBvK -> KQBBvK; KQBBvK -> KBBvK; KQBBvK -> KQBvK; KQBvK -> KBvK; KQBvK -> KQvK; KBBvK -> KBvK; KBBBvK -> KBBvK; KBBBBvK -> KBBBvK; }