digraph Syzygy {
  KQQQQRvK -> KQQQRvK;
  KQQQQRvK -> KQQQQvK;
  KQQQQvK -> KQQQvK;
  KQQQvK -> KQQvK;
  KQQvK -> KQvK;
  KQQQRvK -> KQQRvK;
  KQQQRvK -> KQQQvK;
  KQQRvK -> KQRvK;
  KQQRvK -> KQQvK;
  KQRvK -> KRvK;
  KQRvK -> KQvK;
}