digraph Syzygy {
  KQQNvKQQ -> KQQvKQN;
  KQQNvKQQ -> KQQNvKQ;
  KQQNvKQQ -> KQQvKQQ;
  KQQvKQQ -> KQQvKQ;
  KQQvKQ -> KQvKQ;
  KQQvKQ -> KQQvK;
  KQQvK -> KQvK;
  KQvKQ -> KQvK;
  KQQNvKQ -> KQNvKQ;
  KQQNvKQ -> KQQNvK;
  KQQNvKQ -> KQQvKQ;
  KQQNvK -> KQNvK;
  KQQNvK -> KQQvK;
  KQNvK -> KNvK;
  KQNvK -> KQvK;
  KQNvKQ -> KQvKN;
  KQNvKQ -> KQNvK;
  KQNvKQ -> KQvKQ;
  KQvKN -> KNvK;
  KQvKN -> KQvK;
  KQQvKQN -> KQNvKQ;
  KQQvKQN -> KQQvKN;
  KQQvKQN -> KQQvKQ;
  KQQvKN -> KQvKN;
  KQQvKN -> KQQvK;
}