digraph Syzygy {
  KNNPvKRN -> KQNNvKRN;
  KNNPvKRN -> KRNNvKRN;
  KNNPvKRN -> KNNPvKN;
  KNNPvKRN -> KBNNvKRN;
  KNNPvKRN -> KNNNvKRN;
  KNNPvKRN -> KRNvKNP;
  KNNPvKRN -> KNNPvKR;
  KNNPvKRN -> KRNvKNN;
  KRNvKNN -> KNNvKN;
  KRNvKNN -> KNNvKR;
  KRNvKNN -> KRNvKN;
  KRNvKN -> KNvKN;
  KRNvKN -> KRvKN;
  KRNvKN -> KRNvK;
  KRNvK -> KNvK;
  KRNvK -> KRvK;
  KRvKN -> KNvK;
  KRvKN -> KRvK;
  KNvKN -> KNvK;
  KNNvKR -> KNNvK;
  KNNvKR -> KRvKN;
  KNNvK -> KNvK;
  KNNvKN -> KNvKN;
  KNNvKN -> 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;
  KQNvK -> KNvK;
  KQNvK -> KQvK;
  KRNvKR -> KRvKN;
  KRNvKR -> KRNvK;
  KRNvKR -> KRvKR;
  KQNvKR -> KRvKN;
  KQNvKR -> KQNvK;
  KQNvKR -> KQvKR;
  KNNNvKR -> KNNNvK;
  KNNNvKR -> KNNvKR;
  KNNNvK -> KNNvK;
  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;
  KRNvKNP -> KQNvKRN;
  KRNvKNP -> KRNvKRN;
  KRNvKNP -> KNPvKN;
  KRNvKNP -> KRNvKBN;
  KRNvKNP -> KRNvKNN;
  KRNvKNP -> KNPvKR;
  KRNvKNP -> KRNvKP;
  KRNvKNP -> KRNvKN;
  KRNvKP -> KRNvKQ;
  KRNvKP -> KRNvKR;
  KRNvKP -> KNvKP;
  KRNvKP -> KRNvKB;
  KRNvKP -> KRNvKN;
  KRNvKP -> KRvKP;
  KRNvKP -> KRNvK;
  KRNvKB -> KBvKN;
  KRNvKB -> KRNvK;
  KRNvKB -> KRvKB;
  KBvKN -> KNvK;
  KBvKN -> KBvK;
  KNvKP -> KQvKN;
  KNvKP -> KRvKN;
  KNvKP -> KBvKN;
  KNvKP -> KNvKN;
  KNvKP -> KPvK;
  KNvKP -> KNvK;
  KQvKN -> KNvK;
  KQvKN -> KQvK;
  KRNvKQ -> KRNvK;
  KRNvKQ -> KQvKN;
  KRNvKQ -> KQvKR;
  KRNvKBN -> KBNvKN;
  KRNvKBN -> KRNvKN;
  KRNvKBN -> KBNvKR;
  KRNvKBN -> KRNvKB;
  KBNvKN -> KNvKN;
  KBNvKN -> KBvKN;
  KBNvKN -> KBNvK;
  KNPvKN -> KQNvKN;
  KNPvKN -> KRNvKN;
  KNPvKN -> KBNvKN;
  KNPvKN -> KNNvKN;
  KNPvKN -> KNvKP;
  KNPvKN -> KNPvK;
  KNPvKN -> KNvKN;
  KQNvKN -> KNvKN;
  KQNvKN -> KQvKN;
  KQNvKN -> KQNvK;
  KRNvKRN -> KRNvKN;
  KRNvKRN -> KRNvKR;
  KQNvKRN -> KRNvKN;
  KQNvKRN -> KQNvKN;
  KQNvKRN -> KRNvKQ;
  KQNvKRN -> KQNvKR;
  KNNNvKRN -> KNNNvKN;
  KNNNvKRN -> KRNvKNN;
  KNNNvKRN -> KNNNvKR;
  KNNNvKN -> KNNvKN;
  KNNNvKN -> KNNNvK;
  KBNNvKRN -> KBNNvKN;
  KBNNvKRN -> KRNvKNN;
  KBNNvKRN -> KRNvKBN;
  KBNNvKRN -> KBNNvKR;
  KBNNvKN -> KNNvKN;
  KBNNvKN -> KBNvKN;
  KBNNvKN -> KBNNvK;
  KNNPvKN -> KQNNvKN;
  KNNPvKN -> KRNNvKN;
  KNNPvKN -> KBNNvKN;
  KNNPvKN -> KNNNvKN;
  KNNPvKN -> KNPvKN;
  KNNPvKN -> KNNPvK;
  KNNPvKN -> KNNvKN;
  KRNNvKN -> KNNvKN;
  KRNNvKN -> KRNvKN;
  KRNNvKN -> KRNNvK;
  KQNNvKN -> KNNvKN;
  KQNNvKN -> KQNvKN;
  KQNNvKN -> KQNNvK;
  KRNNvKRN -> KRNvKNN;
  KRNNvKRN -> KRNNvKN;
  KRNNvKRN -> KRNvKRN;
  KRNNvKRN -> KRNNvKR;
  KQNNvKRN -> KRNvKNN;
  KQNNvKRN -> KQNNvKN;
  KQNNvKRN -> KQNvKRN;
  KQNNvKRN -> KQNNvKR;
}