digraph Syzygy { KQBNNNvK -> KBNNNvK; KQBNNNvK -> KQNNNvK; KQBNNNvK -> KQBNNvK; KQBNNvK -> KBNNvK; KQBNNvK -> KQNNvK; KQBNNvK -> KQBNvK; KQBNvK -> KBNvK; KQBNvK -> KQNvK; KQBNvK -> KQBvK; KQBvK -> KBvK; KQBvK -> KQvK; KQNvK -> KNvK; KQNvK -> KQvK; KBNvK -> KNvK; KBNvK -> KBvK; KQNNvK -> KNNvK; KQNNvK -> KQNvK; KNNvK -> KNvK; KBNNvK -> KNNvK; KBNNvK -> KBNvK; KQNNNvK -> KNNNvK; KQNNNvK -> KQNNvK; KNNNvK -> KNNvK; KBNNNvK -> KNNNvK; KBNNNvK -> KBNNvK; }