digraph Syzygy {
  KRRNvKQQ -> KRRNvKQ;
  KRRNvKQQ -> KQQvKRN;
  KRRNvKQQ -> KQQvKRR;
  KQQvKRR -> KRRvKQ;
  KQQvKRR -> KQQvKR;
  KQQvKR -> KQvKR;
  KQQvKR -> KQQvK;
  KQQvK -> KQvK;
  KQvKR -> KRvK;
  KQvKR -> KQvK;
  KRRvKQ -> KRRvK;
  KRRvKQ -> KQvKR;
  KRRvK -> KRvK;
  KQQvKRN -> KRNvKQ;
  KQQvKRN -> KQQvKN;
  KQQvKRN -> KQQvKR;
  KQQvKN -> KQvKN;
  KQQvKN -> KQQvK;
  KQvKN -> KNvK;
  KQvKN -> KQvK;
  KRNvKQ -> KRNvK;
  KRNvKQ -> KQvKN;
  KRNvKQ -> KQvKR;
  KRNvK -> KNvK;
  KRNvK -> KRvK;
  KRRNvKQ -> KRRNvK;
  KRRNvKQ -> KRNvKQ;
  KRRNvKQ -> KRRvKQ;
  KRRNvK -> KRNvK;
  KRRNvK -> KRRvK;
}