digraph Syzygy {
  KQRRRRvK -> KRRRRvK;
  KQRRRRvK -> KQRRRvK;
  KQRRRvK -> KRRRvK;
  KQRRRvK -> KQRRvK;
  KQRRvK -> KRRvK;
  KQRRvK -> KQRvK;
  KQRvK -> KRvK;
  KQRvK -> KQvK;
  KRRvK -> KRvK;
  KRRRvK -> KRRvK;
  KRRRRvK -> KRRRvK;
}