digraph Syzygy {
  KQQNNvKQ -> KQNNvKQ;
  KQQNNvKQ -> KQQNNvK;
  KQQNNvKQ -> KQQNvKQ;
  KQQNvKQ -> KQNvKQ;
  KQQNvKQ -> KQQNvK;
  KQQNvKQ -> KQQvKQ;
  KQQvKQ -> KQvKQ;
  KQQvKQ -> KQQvK;
  KQQvK -> KQvK;
  KQvKQ -> KQvK;
  KQQNvK -> KQNvK;
  KQQNvK -> KQQvK;
  KQNvK -> KNvK;
  KQNvK -> KQvK;
  KQNvKQ -> KQvKN;
  KQNvKQ -> KQNvK;
  KQNvKQ -> KQvKQ;
  KQvKN -> KNvK;
  KQvKN -> KQvK;
  KQQNNvK -> KQNNvK;
  KQQNNvK -> KQQNvK;
  KQNNvK -> KNNvK;
  KQNNvK -> KQNvK;
  KNNvK -> KNvK;
  KQNNvKQ -> KNNvKQ;
  KQNNvKQ -> KQNNvK;
  KQNNvKQ -> KQNvKQ;
  KNNvKQ -> KNNvK;
  KNNvKQ -> KQvKN;
}