digraph Syzygy {
  KRNNvKQ -> KRNNvK;
  KRNNvKQ -> KNNvKQ;
  KRNNvKQ -> KRNvKQ;
  KRNvKQ -> KRNvK;
  KRNvKQ -> KQvKN;
  KRNvKQ -> KQvKR;
  KQvKR -> KRvK;
  KQvKR -> KQvK;
  KQvKN -> KNvK;
  KQvKN -> KQvK;
  KRNvK -> KNvK;
  KRNvK -> KRvK;
  KNNvKQ -> KNNvK;
  KNNvKQ -> KQvKN;
  KNNvK -> KNvK;
  KRNNvK -> KNNvK;
  KRNNvK -> KRNvK;
}