digraph Syzygy {
  KRNNNNvK -> KNNNNvK;
  KRNNNNvK -> KRNNNvK;
  KRNNNvK -> KNNNvK;
  KRNNNvK -> KRNNvK;
  KRNNvK -> KNNvK;
  KRNNvK -> KRNvK;
  KRNvK -> KNvK;
  KRNvK -> KRvK;
  KNNvK -> KNvK;
  KNNNvK -> KNNvK;
  KNNNNvK -> KNNNvK;
}