digraph Syzygy { KQQvKNN -> KNNvKQ; KQQvKNN -> KQQvKN; KQQvKN -> KQvKN; KQQvKN -> KQQvK; KQQvK -> KQvK; KQvKN -> KNvK; KQvKN -> KQvK; KNNvKQ -> KNNvK; KNNvKQ -> KQvKN; KNNvK -> KNvK; }