digraph Syzygy {
  KQQvKRN -> KRNvKQ;
  KQQvKRN -> KQQvKN;
  KQQvKRN -> KQQvKR;
  KQQvKR -> KQvKR;
  KQQvKR -> KQQvK;
  KQQvK -> KQvK;
  KQvKR -> KRvK;
  KQvKR -> KQvK;
  KQQvKN -> KQvKN;
  KQQvKN -> KQQvK;
  KQvKN -> KNvK;
  KQvKN -> KQvK;
  KRNvKQ -> KRNvK;
  KRNvKQ -> KQvKN;
  KRNvKQ -> KQvKR;
  KRNvK -> KNvK;
  KRNvK -> KRvK;
}