digraph Syzygy { KQBBvKQQ -> KQQvKBB; KQBBvKQQ -> KQBBvKQ; KQBBvKQQ -> KQQvKQB; KQQvKQB -> KQBvKQ; KQQvKQB -> KQQvKB; KQQvKQB -> KQQvKQ; KQQvKQ -> KQvKQ; KQQvKQ -> KQQvK; KQQvK -> KQvK; KQvKQ -> KQvK; KQQvKB -> KQvKB; KQQvKB -> KQQvK; KQvKB -> KBvK; KQvKB -> KQvK; KQBvKQ -> KQvKB; KQBvKQ -> KQBvK; KQBvKQ -> KQvKQ; KQBvK -> KBvK; KQBvK -> KQvK; KQBBvKQ -> KBBvKQ; KQBBvKQ -> KQBBvK; KQBBvKQ -> KQBvKQ; KQBBvK -> KBBvK; KQBBvK -> KQBvK; KBBvK -> KBvK; KBBvKQ -> KBBvK; KBBvKQ -> KQvKB; KQQvKBB -> KBBvKQ; KQQvKBB -> KQQvKB; }