digraph Syzygy {
  KNNPvKQ -> KQNNvKQ;
  KNNPvKQ -> KNNPvK;
  KNNPvKQ -> KRNNvKQ;
  KNNPvKQ -> KBNNvKQ;
  KNNPvKQ -> KNNNvKQ;
  KNNPvKQ -> KNPvKQ;
  KNNPvKQ -> KNNvKQ;
  KNNvKQ -> KNNvK;
  KNNvKQ -> KQvKN;
  KQvKN -> KNvK;
  KQvKN -> KQvK;
  KNNvK -> KNvK;
  KNPvKQ -> KQNvKQ;
  KNPvKQ -> KNPvK;
  KNPvKQ -> KRNvKQ;
  KNPvKQ -> KBNvKQ;
  KNPvKQ -> KNNvKQ;
  KNPvKQ -> KQvKP;
  KNPvKQ -> KQvKN;
  KQvKP -> KQvKQ;
  KQvKP -> KPvK;
  KQvKP -> KQvKR;
  KQvKP -> KQvKB;
  KQvKP -> KQvKN;
  KQvKP -> KQvK;
  KQvKB -> KBvK;
  KQvKB -> KQvK;
  KQvKR -> KRvK;
  KQvKR -> KQvK;
  KPvK -> KQvK;
  KPvK -> KRvK;
  KPvK -> KBvK;
  KPvK -> KNvK;
  KQvKQ -> KQvK;
  KBNvKQ -> KBNvK;
  KBNvKQ -> KQvKN;
  KBNvKQ -> KQvKB;
  KBNvK -> KNvK;
  KBNvK -> KBvK;
  KRNvKQ -> KRNvK;
  KRNvKQ -> KQvKN;
  KRNvKQ -> KQvKR;
  KRNvK -> KNvK;
  KRNvK -> KRvK;
  KNPvK -> KQNvK;
  KNPvK -> KRNvK;
  KNPvK -> KBNvK;
  KNPvK -> KNNvK;
  KNPvK -> KPvK;
  KNPvK -> KNvK;
  KQNvK -> KNvK;
  KQNvK -> KQvK;
  KQNvKQ -> KQvKN;
  KQNvKQ -> KQNvK;
  KQNvKQ -> KQvKQ;
  KNNNvKQ -> KNNNvK;
  KNNNvKQ -> KNNvKQ;
  KNNNvK -> KNNvK;
  KBNNvKQ -> KBNNvK;
  KBNNvKQ -> KNNvKQ;
  KBNNvKQ -> KBNvKQ;
  KBNNvK -> KNNvK;
  KBNNvK -> KBNvK;
  KRNNvKQ -> KRNNvK;
  KRNNvKQ -> KNNvKQ;
  KRNNvKQ -> KRNvKQ;
  KRNNvK -> KNNvK;
  KRNNvK -> KRNvK;
  KNNPvK -> KQNNvK;
  KNNPvK -> KRNNvK;
  KNNPvK -> KBNNvK;
  KNNPvK -> KNNNvK;
  KNNPvK -> KNPvK;
  KNNPvK -> KNNvK;
  KQNNvK -> KNNvK;
  KQNNvK -> KQNvK;
  KQNNvKQ -> KNNvKQ;
  KQNNvKQ -> KQNNvK;
  KQNNvKQ -> KQNvKQ;
}