digraph Syzygy {
  KQQQNvKN -> KQQNvKN;
  KQQQNvKN -> KQQQvKN;
  KQQQNvKN -> KQQQNvK;
  KQQQNvK -> KQQNvK;
  KQQQNvK -> KQQQvK;
  KQQQvK -> KQQvK;
  KQQvK -> KQvK;
  KQQNvK -> KQNvK;
  KQQNvK -> KQQvK;
  KQNvK -> KNvK;
  KQNvK -> KQvK;
  KQQQvKN -> KQQvKN;
  KQQQvKN -> KQQQvK;
  KQQvKN -> KQvKN;
  KQQvKN -> KQQvK;
  KQvKN -> KNvK;
  KQvKN -> KQvK;
  KQQNvKN -> KQNvKN;
  KQQNvKN -> KQQvKN;
  KQQNvKN -> KQQNvK;
  KQNvKN -> KNvKN;
  KQNvKN -> KQvKN;
  KQNvKN -> KQNvK;
  KNvKN -> KNvK;
}