digraph Syzygy {
  KNNNPvKR -> KQNNNvKR;
  KNNNPvKR -> KRNNNvKR;
  KNNNPvKR -> KNNNPvK;
  KNNNPvKR -> KBNNNvKR;
  KNNNPvKR -> KNNNNvKR;
  KNNNPvKR -> KNNPvKR;
  KNNNPvKR -> KNNNvKR;
  KNNNvKR -> KNNNvK;
  KNNNvKR -> KNNvKR;
  KNNvKR -> KNNvK;
  KNNvKR -> KRvKN;
  KRvKN -> KNvK;
  KRvKN -> KRvK;
  KNNvK -> KNvK;
  KNNNvK -> KNNvK;
  KNNPvKR -> KQNNvKR;
  KNNPvKR -> KRNNvKR;
  KNNPvKR -> KNNPvK;
  KNNPvKR -> KBNNvKR;
  KNNPvKR -> KNNNvKR;
  KNNPvKR -> KNPvKR;
  KNNPvKR -> KNNvKR;
  KNPvKR -> KQNvKR;
  KNPvKR -> KRNvKR;
  KNPvKR -> KNPvK;
  KNPvKR -> KBNvKR;
  KNPvKR -> KNNvKR;
  KNPvKR -> KRvKP;
  KNPvKR -> KRvKN;
  KRvKP -> KQvKR;
  KRvKP -> KRvKR;
  KRvKP -> KPvK;
  KRvKP -> KRvKB;
  KRvKP -> KRvKN;
  KRvKP -> KRvK;
  KRvKB -> KBvK;
  KRvKB -> KRvK;
  KPvK -> KQvK;
  KPvK -> KRvK;
  KPvK -> KBvK;
  KPvK -> KNvK;
  KRvKR -> KRvK;
  KQvKR -> KRvK;
  KQvKR -> KQvK;
  KBNvKR -> KBNvK;
  KBNvKR -> KRvKN;
  KBNvKR -> KRvKB;
  KBNvK -> KNvK;
  KBNvK -> KBvK;
  KNPvK -> KQNvK;
  KNPvK -> KRNvK;
  KNPvK -> KBNvK;
  KNPvK -> KNNvK;
  KNPvK -> KPvK;
  KNPvK -> KNvK;
  KRNvK -> KNvK;
  KRNvK -> KRvK;
  KQNvK -> KNvK;
  KQNvK -> KQvK;
  KRNvKR -> KRvKN;
  KRNvKR -> KRNvK;
  KRNvKR -> KRvKR;
  KQNvKR -> KRvKN;
  KQNvKR -> KQNvK;
  KQNvKR -> KQvKR;
  KBNNvKR -> KBNNvK;
  KBNNvKR -> KNNvKR;
  KBNNvKR -> KBNvKR;
  KBNNvK -> KNNvK;
  KBNNvK -> KBNvK;
  KNNPvK -> KQNNvK;
  KNNPvK -> KRNNvK;
  KNNPvK -> KBNNvK;
  KNNPvK -> KNNNvK;
  KNNPvK -> KNPvK;
  KNNPvK -> KNNvK;
  KRNNvK -> KNNvK;
  KRNNvK -> KRNvK;
  KQNNvK -> KNNvK;
  KQNNvK -> KQNvK;
  KRNNvKR -> KNNvKR;
  KRNNvKR -> KRNNvK;
  KRNNvKR -> KRNvKR;
  KQNNvKR -> KNNvKR;
  KQNNvKR -> KQNNvK;
  KQNNvKR -> KQNvKR;
  KNNNNvKR -> KNNNNvK;
  KNNNNvKR -> KNNNvKR;
  KNNNNvK -> KNNNvK;
  KBNNNvKR -> KBNNNvK;
  KBNNNvKR -> KNNNvKR;
  KBNNNvKR -> KBNNvKR;
  KBNNNvK -> KNNNvK;
  KBNNNvK -> KBNNvK;
  KNNNPvK -> KQNNNvK;
  KNNNPvK -> KRNNNvK;
  KNNNPvK -> KBNNNvK;
  KNNNPvK -> KNNNNvK;
  KNNNPvK -> KNNPvK;
  KNNNPvK -> KNNNvK;
  KRNNNvK -> KNNNvK;
  KRNNNvK -> KRNNvK;
  KQNNNvK -> KNNNvK;
  KQNNNvK -> KQNNvK;
  KRNNNvKR -> KNNNvKR;
  KRNNNvKR -> KRNNNvK;
  KRNNNvKR -> KRNNvKR;
  KQNNNvKR -> KNNNvKR;
  KQNNNvKR -> KQNNNvK;
  KQNNNvKR -> KQNNvKR;
}