digraph Syzygy {
  KQQRRRvK -> KQRRRvK;
  KQQRRRvK -> KQQRRvK;
  KQQRRvK -> KQRRvK;
  KQQRRvK -> KQQRvK;
  KQQRvK -> KQRvK;
  KQQRvK -> KQQvK;
  KQQvK -> KQvK;
  KQRvK -> KRvK;
  KQRvK -> KQvK;
  KQRRvK -> KRRvK;
  KQRRvK -> KQRvK;
  KRRvK -> KRvK;
  KQRRRvK -> KRRRvK;
  KQRRRvK -> KQRRvK;
  KRRRvK -> KRRvK;
}