digraph Syzygy { KQNNvKN -> KNNvKN; KQNNvKN -> KQNvKN; KQNNvKN -> KQNNvK; KQNNvK -> KNNvK; KQNNvK -> KQNvK; KQNvK -> KNvK; KQNvK -> KQvK; KNNvK -> KNvK; KQNvKN -> KNvKN; KQNvKN -> KQvKN; KQNvKN -> KQNvK; KQvKN -> KNvK; KQvKN -> KQvK; KNvKN -> KNvK; KNNvKN -> KNvKN; KNNvKN -> KNNvK; }