digraph Syzygy { KNNNvKNN -> KNNvKNN; KNNNvKNN -> KNNNvKN; KNNNvKN -> KNNvKN; KNNNvKN -> KNNNvK; KNNNvK -> KNNvK; KNNvK -> KNvK; KNNvKN -> KNvKN; KNNvKN -> KNNvK; KNvKN -> KNvK; KNNvKNN -> KNNvKN; }