digraph Syzygy {
  KNvKP -> KQvKN;
  KNvKP -> KRvKN;
  KNvKP -> KBvKN;
  KNvKP -> KNvKN;
  KNvKP -> KPvK;
  KNvKP -> KNvK;
  KPvK -> KQvK;
  KPvK -> KRvK;
  KPvK -> KBvK;
  KPvK -> KNvK;
  KNvKN -> KNvK;
  KBvKN -> KNvK;
  KBvKN -> KBvK;
  KRvKN -> KNvK;
  KRvKN -> KRvK;
  KQvKN -> KNvK;
  KQvKN -> KQvK;
}