digraph Syzygy {
  KQNvKRN -> KRNvKN;
  KQNvKRN -> KQNvKN;
  KQNvKRN -> KRNvKQ;
  KQNvKRN -> KQNvKR;
  KQNvKR -> KRvKN;
  KQNvKR -> KQNvK;
  KQNvKR -> KQvKR;
  KQvKR -> KRvK;
  KQvKR -> KQvK;
  KQNvK -> KNvK;
  KQNvK -> KQvK;
  KRvKN -> KNvK;
  KRvKN -> KRvK;
  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;
}