digraph Syzygy { KQBvKQ -> KQvKB; KQBvKQ -> KQBvK; KQBvKQ -> KQvKQ; KQvKQ -> KQvK; KQBvK -> KBvK; KQBvK -> KQvK; KQvKB -> KBvK; KQvKB -> KQvK; }