digraph Syzygy {
  KQQQNvKQ -> KQQNvKQ;
  KQQQNvKQ -> KQQQNvK;
  KQQQNvKQ -> KQQQvKQ;
  KQQQvKQ -> KQQvKQ;
  KQQQvKQ -> KQQQvK;
  KQQQvK -> KQQvK;
  KQQvK -> KQvK;
  KQQvKQ -> KQvKQ;
  KQQvKQ -> KQQvK;
  KQvKQ -> KQvK;
  KQQQNvK -> KQQNvK;
  KQQQNvK -> KQQQvK;
  KQQNvK -> KQNvK;
  KQQNvK -> KQQvK;
  KQNvK -> KNvK;
  KQNvK -> KQvK;
  KQQNvKQ -> KQNvKQ;
  KQQNvKQ -> KQQNvK;
  KQQNvKQ -> KQQvKQ;
  KQNvKQ -> KQvKN;
  KQNvKQ -> KQNvK;
  KQNvKQ -> KQvKQ;
  KQvKN -> KNvK;
  KQvKN -> KQvK;
}