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