digraph Syzygy { KQBBvKBB -> KBBvKBB; KQBBvKBB -> KQBvKBB; KQBBvKBB -> KQBBvKB; KQBBvKB -> KBBvKB; KQBBvKB -> KQBvKB; KQBBvKB -> KQBBvK; KQBBvK -> KBBvK; KQBBvK -> KQBvK; KQBvK -> KBvK; KQBvK -> KQvK; KBBvK -> KBvK; KQBvKB -> KBvKB; KQBvKB -> KQvKB; KQBvKB -> KQBvK; KQvKB -> KBvK; KQvKB -> KQvK; KBvKB -> KBvK; KBBvKB -> KBvKB; KBBvKB -> KBBvK; KQBvKBB -> KBBvKB; KQBvKBB -> KBBvKQ; KQBvKBB -> KQBvKB; KBBvKQ -> KBBvK; KBBvKQ -> KQvKB; KBBvKBB -> KBBvKB; }