digraph Syzygy { KQBNNvKQ -> KBNNvKQ; KQBNNvKQ -> KQBNNvK; KQBNNvKQ -> KQNNvKQ; KQBNNvKQ -> KQBNvKQ; KQBNvKQ -> KBNvKQ; KQBNvKQ -> KQBNvK; KQBNvKQ -> KQNvKQ; KQBNvKQ -> KQBvKQ; KQBvKQ -> KQvKB; KQBvKQ -> KQBvK; KQBvKQ -> KQvKQ; KQvKQ -> KQvK; KQBvK -> KBvK; KQBvK -> KQvK; KQvKB -> KBvK; KQvKB -> KQvK; KQNvKQ -> KQvKN; KQNvKQ -> KQNvK; KQNvKQ -> KQvKQ; KQNvK -> KNvK; KQNvK -> KQvK; KQvKN -> KNvK; KQvKN -> KQvK; KQBNvK -> KBNvK; KQBNvK -> KQNvK; KQBNvK -> KQBvK; KBNvK -> KNvK; KBNvK -> KBvK; KBNvKQ -> KBNvK; KBNvKQ -> KQvKN; KBNvKQ -> KQvKB; KQNNvKQ -> KNNvKQ; KQNNvKQ -> KQNNvK; KQNNvKQ -> KQNvKQ; KQNNvK -> KNNvK; KQNNvK -> KQNvK; KNNvK -> KNvK; KNNvKQ -> KNNvK; KNNvKQ -> KQvKN; KQBNNvK -> KBNNvK; KQBNNvK -> KQNNvK; KQBNNvK -> KQBNvK; KBNNvK -> KNNvK; KBNNvK -> KBNvK; KBNNvKQ -> KBNNvK; KBNNvKQ -> KNNvKQ; KBNNvKQ -> KBNvKQ; }