digraph Syzygy { KQQBBvKQ -> KQBBvKQ; KQQBBvKQ -> KQQBBvK; KQQBBvKQ -> KQQBvKQ; KQQBvKQ -> KQBvKQ; KQQBvKQ -> KQQBvK; KQQBvKQ -> KQQvKQ; KQQvKQ -> KQvKQ; KQQvKQ -> KQQvK; KQQvK -> KQvK; KQvKQ -> KQvK; KQQBvK -> KQBvK; KQQBvK -> KQQvK; KQBvK -> KBvK; KQBvK -> KQvK; KQBvKQ -> KQvKB; KQBvKQ -> KQBvK; KQBvKQ -> KQvKQ; KQvKB -> KBvK; KQvKB -> KQvK; KQQBBvK -> KQBBvK; KQQBBvK -> KQQBvK; KQBBvK -> KBBvK; KQBBvK -> KQBvK; KBBvK -> KBvK; KQBBvKQ -> KBBvKQ; KQBBvKQ -> KQBBvK; KQBBvKQ -> KQBvKQ; KBBvKQ -> KBBvK; KBBvKQ -> KQvKB; }