digraph Syzygy {
  KQQNvKQN -> KQNvKQN;
  KQQNvKQN -> KQQNvKN;
  KQQNvKQN -> KQQvKQN;
  KQQNvKQN -> 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;
  KQQvKQN -> KQNvKQ;
  KQQvKQN -> KQQvKN;
  KQQvKQN -> KQQvKQ;
  KQQvKN -> KQvKN;
  KQQvKN -> KQQvK;
  KQQNvKN -> KQNvKN;
  KQQNvKN -> KQQvKN;
  KQQNvKN -> KQQNvK;
  KQNvKN -> KNvKN;
  KQNvKN -> KQvKN;
  KQNvKN -> KQNvK;
  KNvKN -> KNvK;
  KQNvKQN -> KQNvKN;
  KQNvKQN -> KQNvKQ;
}