digraph Syzygy {
  KRRNvKQ -> KRRNvK;
  KRRNvKQ -> KRNvKQ;
  KRRNvKQ -> KRRvKQ;
  KRRvKQ -> KRRvK;
  KRRvKQ -> KQvKR;
  KQvKR -> KRvK;
  KQvKR -> KQvK;
  KRRvK -> KRvK;
  KRNvKQ -> KRNvK;
  KRNvKQ -> KQvKN;
  KRNvKQ -> KQvKR;
  KQvKN -> KNvK;
  KQvKN -> KQvK;
  KRNvK -> KNvK;
  KRNvK -> KRvK;
  KRRNvK -> KRNvK;
  KRRNvK -> KRRvK;
}