digraph Syzygy { KQBBvKN -> KBBvKN; KQBBvKN -> KQBvKN; KQBBvKN -> KQBBvK; KQBBvK -> KBBvK; KQBBvK -> KQBvK; KQBvK -> KBvK; KQBvK -> KQvK; KBBvK -> KBvK; KQBvKN -> KBvKN; KQBvKN -> KQvKN; KQBvKN -> KQBvK; KQvKN -> KNvK; KQvKN -> KQvK; KBvKN -> KNvK; KBvKN -> KBvK; KBBvKN -> KBvKN; KBBvKN -> KBBvK; }