digraph Syzygy { KBBBvKQ -> KBBBvK; KBBBvKQ -> KBBvKQ; KBBvKQ -> KBBvK; KBBvKQ -> KQvKB; KQvKB -> KBvK; KQvKB -> KQvK; KBBvK -> KBvK; KBBBvK -> KBBvK; }