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