digraph Syzygy {
  KQQRNvKN -> KQRNvKN;
  KQQRNvKN -> KQQNvKN;
  KQQRNvKN -> KQQRvKN;
  KQQRNvKN -> KQQRNvK;
  KQQRNvK -> KQRNvK;
  KQQRNvK -> KQQNvK;
  KQQRNvK -> KQQRvK;
  KQQRvK -> KQRvK;
  KQQRvK -> KQQvK;
  KQQvK -> KQvK;
  KQRvK -> KRvK;
  KQRvK -> KQvK;
  KQQNvK -> KQNvK;
  KQQNvK -> KQQvK;
  KQNvK -> KNvK;
  KQNvK -> KQvK;
  KQRNvK -> KRNvK;
  KQRNvK -> KQNvK;
  KQRNvK -> KQRvK;
  KRNvK -> KNvK;
  KRNvK -> 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;
  KQQNvKN -> KQNvKN;
  KQQNvKN -> KQQvKN;
  KQQNvKN -> KQQNvK;
  KQNvKN -> KNvKN;
  KQNvKN -> KQvKN;
  KQNvKN -> KQNvK;
  KNvKN -> KNvK;
  KQRNvKN -> KRNvKN;
  KQRNvKN -> KQNvKN;
  KQRNvKN -> KQRvKN;
  KQRNvKN -> KQRNvK;
  KRNvKN -> KNvKN;
  KRNvKN -> KRvKN;
  KRNvKN -> KRNvK;
}