digraph Syzygy {
  KQNNvKRN -> KRNvKNN;
  KQNNvKRN -> KQNNvKN;
  KQNNvKRN -> KQNvKRN;
  KQNNvKRN -> KQNNvKR;
  KQNNvKR -> KNNvKR;
  KQNNvKR -> KQNNvK;
  KQNNvKR -> KQNvKR;
  KQNvKR -> KRvKN;
  KQNvKR -> KQNvK;
  KQNvKR -> KQvKR;
  KQvKR -> KRvK;
  KQvKR -> KQvK;
  KQNvK -> KNvK;
  KQNvK -> KQvK;
  KRvKN -> KNvK;
  KRvKN -> KRvK;
  KQNNvK -> KNNvK;
  KQNNvK -> KQNvK;
  KNNvK -> KNvK;
  KNNvKR -> KNNvK;
  KNNvKR -> KRvKN;
  KQNvKRN -> KRNvKN;
  KQNvKRN -> KQNvKN;
  KQNvKRN -> KRNvKQ;
  KQNvKRN -> KQNvKR;
  KRNvKQ -> KRNvK;
  KRNvKQ -> KQvKN;
  KRNvKQ -> KQvKR;
  KQvKN -> KNvK;
  KQvKN -> KQvK;
  KRNvK -> KNvK;
  KRNvK -> KRvK;
  KQNvKN -> KNvKN;
  KQNvKN -> KQvKN;
  KQNvKN -> KQNvK;
  KNvKN -> KNvK;
  KRNvKN -> KNvKN;
  KRNvKN -> KRvKN;
  KRNvKN -> KRNvK;
  KQNNvKN -> KNNvKN;
  KQNNvKN -> KQNvKN;
  KQNNvKN -> KQNNvK;
  KNNvKN -> KNvKN;
  KNNvKN -> KNNvK;
  KRNvKNN -> KNNvKN;
  KRNvKNN -> KNNvKR;
  KRNvKNN -> KRNvKN;
}