digraph Syzygy { KQQBvKQB -> KQBvKQB; KQQBvKQB -> KQQBvKB; KQQBvKQB -> KQQvKQB; KQQBvKQB -> 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; KQQvKQB -> KQBvKQ; KQQvKQB -> KQQvKB; KQQvKQB -> KQQvKQ; KQQvKB -> KQvKB; KQQvKB -> KQQvK; KQQBvKB -> KQBvKB; KQQBvKB -> KQQvKB; KQQBvKB -> KQQBvK; KQBvKB -> KBvKB; KQBvKB -> KQvKB; KQBvKB -> KQBvK; KBvKB -> KBvK; KQBvKQB -> KQBvKB; KQBvKQB -> KQBvKQ; }