digraph Syzygy {
  KQQQvKNN -> KQQvKNN;
  KQQQvKNN -> KQQQvKN;
  KQQQvKN -> KQQvKN;
  KQQQvKN -> KQQQvK;
  KQQQvK -> KQQvK;
  KQQvK -> KQvK;
  KQQvKN -> KQvKN;
  KQQvKN -> KQQvK;
  KQvKN -> KNvK;
  KQvKN -> KQvK;
  KQQvKNN -> KNNvKQ;
  KQQvKNN -> KQQvKN;
  KNNvKQ -> KNNvK;
  KNNvKQ -> KQvKN;
  KNNvK -> KNvK;
}