digraph Syzygy {
  KQNNvKRR -> KRRvKNN;
  KQNNvKRR -> KQNNvKR;
  KQNNvKRR -> KQNvKRR;
  KQNvKRR -> KRRvKN;
  KQNvKRR -> KQNvKR;
  KQNvKRR -> KRRvKQ;
  KRRvKQ -> KRRvK;
  KRRvKQ -> KQvKR;
  KQvKR -> KRvK;
  KQvKR -> KQvK;
  KRRvK -> KRvK;
  KQNvKR -> KRvKN;
  KQNvKR -> KQNvK;
  KQNvKR -> KQvKR;
  KQNvK -> KNvK;
  KQNvK -> KQvK;
  KRvKN -> KNvK;
  KRvKN -> KRvK;
  KRRvKN -> KRvKN;
  KRRvKN -> KRRvK;
  KQNNvKR -> KNNvKR;
  KQNNvKR -> KQNNvK;
  KQNNvKR -> KQNvKR;
  KQNNvK -> KNNvK;
  KQNNvK -> KQNvK;
  KNNvK -> KNvK;
  KNNvKR -> KNNvK;
  KNNvKR -> KRvKN;
  KRRvKNN -> KNNvKR;
  KRRvKNN -> KRRvKN;
}