digraph Syzygy {
  KQQRvKRR -> KQRvKRR;
  KQQRvKRR -> KQQvKRR;
  KQQRvKRR -> KQQRvKR;
  KQQRvKR -> KQRvKR;
  KQQRvKR -> KQQvKR;
  KQQRvKR -> KQQRvK;
  KQQRvK -> KQRvK;
  KQQRvK -> KQQvK;
  KQQvK -> KQvK;
  KQRvK -> KRvK;
  KQRvK -> KQvK;
  KQQvKR -> KQvKR;
  KQQvKR -> KQQvK;
  KQvKR -> KRvK;
  KQvKR -> KQvK;
  KQRvKR -> KRvKR;
  KQRvKR -> KQvKR;
  KQRvKR -> KQRvK;
  KRvKR -> KRvK;
  KQQvKRR -> KRRvKQ;
  KQQvKRR -> KQQvKR;
  KRRvKQ -> KRRvK;
  KRRvKQ -> KQvKR;
  KRRvK -> KRvK;
  KQRvKRR -> KRRvKR;
  KQRvKRR -> KRRvKQ;
  KQRvKRR -> KQRvKR;
  KRRvKR -> KRvKR;
  KRRvKR -> KRRvK;
}