digraph Syzygy {
  KQQQQQvK -> KQQQQvK;
  KQQQQvK -> KQQQvK;
  KQQQvK -> KQQvK;
  KQQvK -> KQvK;
}