digraph Syzygy {
  KRNNvKQQ -> KRNNvKQ;
  KRNNvKQQ -> KQQvKNN;
  KRNNvKQQ -> KQQvKRN;
  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;
  KQQvKNN -> KNNvKQ;
  KQQvKNN -> KQQvKN;
  KNNvKQ -> KNNvK;
  KNNvKQ -> KQvKN;
  KNNvK -> KNvK;
  KRNNvKQ -> KRNNvK;
  KRNNvKQ -> KNNvKQ;
  KRNNvKQ -> KRNvKQ;
  KRNNvK -> KNNvK;
  KRNNvK -> KRNvK;
}