digraph Syzygy {
  KQQQvKN -> KQQvKN;
  KQQQvKN -> KQQQvK;
  KQQQvK -> KQQvK;
  KQQvK -> KQvK;
  KQQvKN -> KQvKN;
  KQQvKN -> KQQvK;
  KQvKN -> KNvK;
  KQvKN -> KQvK;
}