digraph Syzygy { KQBBvKQB -> KQBvKBB; KQBBvKQB -> KQBBvKB; KQBBvKQB -> KQBvKQB; KQBBvKQB -> KQBBvKQ; KQBBvKQ -> KBBvKQ; KQBBvKQ -> KQBBvK; KQBBvKQ -> KQBvKQ; KQBvKQ -> KQvKB; KQBvKQ -> KQBvK; KQBvKQ -> KQvKQ; KQvKQ -> KQvK; KQBvK -> KBvK; KQBvK -> KQvK; KQvKB -> KBvK; KQvKB -> KQvK; KQBBvK -> KBBvK; KQBBvK -> KQBvK; KBBvK -> KBvK; KBBvKQ -> KBBvK; KBBvKQ -> KQvKB; KQBvKQB -> KQBvKB; KQBvKQB -> KQBvKQ; KQBvKB -> KBvKB; KQBvKB -> KQvKB; KQBvKB -> KQBvK; KBvKB -> KBvK; KQBBvKB -> KBBvKB; KQBBvKB -> KQBvKB; KQBBvKB -> KQBBvK; KBBvKB -> KBvKB; KBBvKB -> KBBvK; KQBvKBB -> KBBvKB; KQBvKBB -> KBBvKQ; KQBvKBB -> KQBvKB; }