digraph Syzygy { 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; }