digraph Syzygy {
  KQQQQvKQ -> KQQQvKQ;
  KQQQQvKQ -> KQQQQvK;
  KQQQQvK -> KQQQvK;
  KQQQvK -> KQQvK;
  KQQvK -> KQvK;
  KQQQvKQ -> KQQvKQ;
  KQQQvKQ -> KQQQvK;
  KQQvKQ -> KQvKQ;
  KQQvKQ -> KQQvK;
  KQvKQ -> KQvK;
}