digraph Syzygy {
  KQQRRvKN -> KQRRvKN;
  KQQRRvKN -> KQQRvKN;
  KQQRRvKN -> KQQRRvK;
  KQQRRvK -> KQRRvK;
  KQQRRvK -> KQQRvK;
  KQQRvK -> KQRvK;
  KQQRvK -> KQQvK;
  KQQvK -> KQvK;
  KQRvK -> KRvK;
  KQRvK -> KQvK;
  KQRRvK -> KRRvK;
  KQRRvK -> KQRvK;
  KRRvK -> KRvK;
  KQQRvKN -> KQRvKN;
  KQQRvKN -> KQQvKN;
  KQQRvKN -> KQQRvK;
  KQQvKN -> KQvKN;
  KQQvKN -> KQQvK;
  KQvKN -> KNvK;
  KQvKN -> KQvK;
  KQRvKN -> KRvKN;
  KQRvKN -> KQvKN;
  KQRvKN -> KQRvK;
  KRvKN -> KNvK;
  KRvKN -> KRvK;
  KQRRvKN -> KRRvKN;
  KQRRvKN -> KQRvKN;
  KQRRvKN -> KQRRvK;
  KRRvKN -> KRvKN;
  KRRvKN -> KRRvK;
}