digraph Syzygy {
  KQRRRvKR -> KRRRvKR;
  KQRRRvKR -> KQRRvKR;
  KQRRRvKR -> KQRRRvK;
  KQRRRvK -> KRRRvK;
  KQRRRvK -> KQRRvK;
  KQRRvK -> KRRvK;
  KQRRvK -> KQRvK;
  KQRvK -> KRvK;
  KQRvK -> KQvK;
  KRRvK -> KRvK;
  KRRRvK -> KRRvK;
  KQRRvKR -> KRRvKR;
  KQRRvKR -> KQRvKR;
  KQRRvKR -> KQRRvK;
  KQRvKR -> KRvKR;
  KQRvKR -> KQvKR;
  KQRvKR -> KQRvK;
  KQvKR -> KRvK;
  KQvKR -> KQvK;
  KRvKR -> KRvK;
  KRRvKR -> KRvKR;
  KRRvKR -> KRRvK;
  KRRRvKR -> KRRvKR;
  KRRRvKR -> KRRRvK;
}