digraph Syzygy {
  KRNvKQ -> KRNvK;
  KRNvKQ -> KQvKN;
  KRNvKQ -> KQvKR;
  KQvKR -> KRvK;
  KQvKR -> KQvK;
  KQvKN -> KNvK;
  KQvKN -> KQvK;
  KRNvK -> KNvK;
  KRNvK -> KRvK;
}