digraph Syzygy {
  KQPPvKNN -> KQQPvKNN;
  KQPPvKNN -> KNNvKPP;
  KQPPvKNN -> KQRPvKNN;
  KQPPvKNN -> KQBPvKNN;
  KQPPvKNN -> KQNPvKNN;
  KQPPvKNN -> KQPPvKN;
  KQPPvKNN -> KQPvKNN;
  KQPvKNN -> KQQvKNN;
  KQPvKNN -> KNNvKP;
  KQPvKNN -> KQRvKNN;
  KQPvKNN -> KQBvKNN;
  KQPvKNN -> KQNvKNN;
  KQPvKNN -> KQPvKN;
  KQPvKNN -> KNNvKQ;
  KNNvKQ -> KNNvK;
  KNNvKQ -> KQvKN;
  KQvKN -> KNvK;
  KQvKN -> KQvK;
  KNNvK -> KNvK;
  KQPvKN -> KQQvKN;
  KQPvKN -> KNvKP;
  KQPvKN -> KQRvKN;
  KQPvKN -> KQBvKN;
  KQPvKN -> KQNvKN;
  KQPvKN -> KQPvK;
  KQPvKN -> KQvKN;
  KQPvK -> KQQvK;
  KQPvK -> KPvK;
  KQPvK -> KQRvK;
  KQPvK -> KQBvK;
  KQPvK -> KQNvK;
  KQPvK -> KQvK;
  KQNvK -> KNvK;
  KQNvK -> KQvK;
  KQBvK -> KBvK;
  KQBvK -> KQvK;
  KQRvK -> KRvK;
  KQRvK -> KQvK;
  KPvK -> KQvK;
  KPvK -> KRvK;
  KPvK -> KBvK;
  KPvK -> KNvK;
  KQQvK -> KQvK;
  KQNvKN -> KNvKN;
  KQNvKN -> KQvKN;
  KQNvKN -> KQNvK;
  KNvKN -> KNvK;
  KQBvKN -> KBvKN;
  KQBvKN -> KQvKN;
  KQBvKN -> KQBvK;
  KBvKN -> KNvK;
  KBvKN -> KBvK;
  KQRvKN -> KRvKN;
  KQRvKN -> KQvKN;
  KQRvKN -> KQRvK;
  KRvKN -> KNvK;
  KRvKN -> KRvK;
  KNvKP -> KQvKN;
  KNvKP -> KRvKN;
  KNvKP -> KBvKN;
  KNvKP -> KNvKN;
  KNvKP -> KPvK;
  KNvKP -> KNvK;
  KQQvKN -> KQvKN;
  KQQvKN -> KQQvK;
  KQNvKNN -> KNNvKN;
  KQNvKNN -> KNNvKQ;
  KQNvKNN -> KQNvKN;
  KNNvKN -> KNvKN;
  KNNvKN -> KNNvK;
  KQBvKNN -> KNNvKB;
  KQBvKNN -> KNNvKQ;
  KQBvKNN -> KQBvKN;
  KNNvKB -> KNNvK;
  KNNvKB -> KBvKN;
  KQRvKNN -> KNNvKR;
  KQRvKNN -> KNNvKQ;
  KQRvKNN -> KQRvKN;
  KNNvKR -> KNNvK;
  KNNvKR -> KRvKN;
  KNNvKP -> KNNvKQ;
  KNNvKP -> KNNvKR;
  KNNvKP -> KNNvKB;
  KNNvKP -> KNNvKN;
  KNNvKP -> KNvKP;
  KNNvKP -> KNNvK;
  KQQvKNN -> KNNvKQ;
  KQQvKNN -> KQQvKN;
  KQPPvKN -> KQQPvKN;
  KQPPvKN -> KPPvKN;
  KQPPvKN -> KQRPvKN;
  KQPPvKN -> KQBPvKN;
  KQPPvKN -> KQNPvKN;
  KQPPvKN -> KQPPvK;
  KQPPvKN -> KQPvKN;
  KQPPvK -> KQQPvK;
  KQPPvK -> KPPvK;
  KQPPvK -> KQRPvK;
  KQPPvK -> KQBPvK;
  KQPPvK -> KQNPvK;
  KQPPvK -> KQPvK;
  KQNPvK -> KQQNvK;
  KQNPvK -> KNPvK;
  KQNPvK -> KQRNvK;
  KQNPvK -> KQBNvK;
  KQNPvK -> KQNNvK;
  KQNPvK -> KQPvK;
  KQNPvK -> KQNvK;
  KQNNvK -> KNNvK;
  KQNNvK -> KQNvK;
  KQBNvK -> KBNvK;
  KQBNvK -> KQNvK;
  KQBNvK -> KQBvK;
  KBNvK -> KNvK;
  KBNvK -> KBvK;
  KQRNvK -> KRNvK;
  KQRNvK -> KQNvK;
  KQRNvK -> KQRvK;
  KRNvK -> KNvK;
  KRNvK -> KRvK;
  KNPvK -> KQNvK;
  KNPvK -> KRNvK;
  KNPvK -> KBNvK;
  KNPvK -> KNNvK;
  KNPvK -> KPvK;
  KNPvK -> KNvK;
  KQQNvK -> KQNvK;
  KQQNvK -> KQQvK;
  KQBPvK -> KQQBvK;
  KQBPvK -> KBPvK;
  KQBPvK -> KQRBvK;
  KQBPvK -> KQBBvK;
  KQBPvK -> KQPvK;
  KQBPvK -> KQBNvK;
  KQBPvK -> KQBvK;
  KQBBvK -> KBBvK;
  KQBBvK -> KQBvK;
  KBBvK -> KBvK;
  KQRBvK -> KRBvK;
  KQRBvK -> KQBvK;
  KQRBvK -> KQRvK;
  KRBvK -> KBvK;
  KRBvK -> KRvK;
  KBPvK -> KQBvK;
  KBPvK -> KRBvK;
  KBPvK -> KBBvK;
  KBPvK -> KPvK;
  KBPvK -> KBNvK;
  KBPvK -> KBvK;
  KQQBvK -> KQBvK;
  KQQBvK -> KQQvK;
  KQRPvK -> KQQRvK;
  KQRPvK -> KRPvK;
  KQRPvK -> KQRRvK;
  KQRPvK -> KQPvK;
  KQRPvK -> KQRBvK;
  KQRPvK -> KQRNvK;
  KQRPvK -> KQRvK;
  KQRRvK -> KRRvK;
  KQRRvK -> KQRvK;
  KRRvK -> KRvK;
  KRPvK -> KQRvK;
  KRPvK -> KRRvK;
  KRPvK -> KPvK;
  KRPvK -> KRBvK;
  KRPvK -> KRNvK;
  KRPvK -> KRvK;
  KQQRvK -> KQRvK;
  KQQRvK -> KQQvK;
  KPPvK -> KQPvK;
  KPPvK -> KRPvK;
  KPPvK -> KBPvK;
  KPPvK -> KNPvK;
  KPPvK -> KPvK;
  KQQPvK -> KQQQvK;
  KQQPvK -> KQPvK;
  KQQPvK -> KQQRvK;
  KQQPvK -> KQQBvK;
  KQQPvK -> KQQNvK;
  KQQPvK -> KQQvK;
  KQQQvK -> KQQvK;
  KQNPvKN -> KQQNvKN;
  KQNPvKN -> KNPvKN;
  KQNPvKN -> KQRNvKN;
  KQNPvKN -> KQBNvKN;
  KQNPvKN -> KQNNvKN;
  KQNPvKN -> KQPvKN;
  KQNPvKN -> KQNPvK;
  KQNPvKN -> KQNvKN;
  KQNNvKN -> KNNvKN;
  KQNNvKN -> KQNvKN;
  KQNNvKN -> KQNNvK;
  KQBNvKN -> KBNvKN;
  KQBNvKN -> KQNvKN;
  KQBNvKN -> KQBvKN;
  KQBNvKN -> KQBNvK;
  KBNvKN -> KNvKN;
  KBNvKN -> KBvKN;
  KBNvKN -> KBNvK;
  KQRNvKN -> KRNvKN;
  KQRNvKN -> KQNvKN;
  KQRNvKN -> KQRvKN;
  KQRNvKN -> KQRNvK;
  KRNvKN -> KNvKN;
  KRNvKN -> KRvKN;
  KRNvKN -> KRNvK;
  KNPvKN -> KQNvKN;
  KNPvKN -> KRNvKN;
  KNPvKN -> KBNvKN;
  KNPvKN -> KNNvKN;
  KNPvKN -> KNvKP;
  KNPvKN -> KNPvK;
  KNPvKN -> KNvKN;
  KQQNvKN -> KQNvKN;
  KQQNvKN -> KQQvKN;
  KQQNvKN -> KQQNvK;
  KQBPvKN -> KQQBvKN;
  KQBPvKN -> KBPvKN;
  KQBPvKN -> KQRBvKN;
  KQBPvKN -> KQBBvKN;
  KQBPvKN -> KQPvKN;
  KQBPvKN -> KQBNvKN;
  KQBPvKN -> KQBPvK;
  KQBPvKN -> KQBvKN;
  KQBBvKN -> KBBvKN;
  KQBBvKN -> KQBvKN;
  KQBBvKN -> KQBBvK;
  KBBvKN -> KBvKN;
  KBBvKN -> KBBvK;
  KQRBvKN -> KRBvKN;
  KQRBvKN -> KQBvKN;
  KQRBvKN -> KQRvKN;
  KQRBvKN -> KQRBvK;
  KRBvKN -> KBvKN;
  KRBvKN -> KRvKN;
  KRBvKN -> KRBvK;
  KBPvKN -> KQBvKN;
  KBPvKN -> KRBvKN;
  KBPvKN -> KBBvKN;
  KBPvKN -> KNvKP;
  KBPvKN -> KBNvKN;
  KBPvKN -> KBPvK;
  KBPvKN -> KBvKN;
  KQQBvKN -> KQBvKN;
  KQQBvKN -> KQQvKN;
  KQQBvKN -> KQQBvK;
  KQRPvKN -> KQQRvKN;
  KQRPvKN -> KRPvKN;
  KQRPvKN -> KQRRvKN;
  KQRPvKN -> KQPvKN;
  KQRPvKN -> KQRBvKN;
  KQRPvKN -> KQRNvKN;
  KQRPvKN -> KQRPvK;
  KQRPvKN -> KQRvKN;
  KQRRvKN -> KRRvKN;
  KQRRvKN -> KQRvKN;
  KQRRvKN -> KQRRvK;
  KRRvKN -> KRvKN;
  KRRvKN -> KRRvK;
  KRPvKN -> KQRvKN;
  KRPvKN -> KRRvKN;
  KRPvKN -> KNvKP;
  KRPvKN -> KRBvKN;
  KRPvKN -> KRNvKN;
  KRPvKN -> KRPvK;
  KRPvKN -> KRvKN;
  KQQRvKN -> KQRvKN;
  KQQRvKN -> KQQvKN;
  KQQRvKN -> KQQRvK;
  KPPvKN -> KQPvKN;
  KPPvKN -> KRPvKN;
  KPPvKN -> KBPvKN;
  KPPvKN -> KNPvKN;
  KPPvKN -> KPPvK;
  KPPvKN -> KNvKP;
  KQQPvKN -> KQQQvKN;
  KQQPvKN -> KQPvKN;
  KQQPvKN -> KQQRvKN;
  KQQPvKN -> KQQBvKN;
  KQQPvKN -> KQQNvKN;
  KQQPvKN -> KQQPvK;
  KQQPvKN -> KQQvKN;
  KQQQvKN -> KQQvKN;
  KQQQvKN -> KQQQvK;
  KQNPvKNN -> KQQNvKNN;
  KQNPvKNN -> KNNvKNP;
  KQNPvKNN -> KQRNvKNN;
  KQNPvKNN -> KQBNvKNN;
  KQNPvKNN -> KQNNvKNN;
  KQNPvKNN -> KQPvKNN;
  KQNPvKNN -> KQNPvKN;
  KQNPvKNN -> KQNvKNN;
  KQNNvKNN -> KNNvKNN;
  KQNNvKNN -> KQNvKNN;
  KQNNvKNN -> KQNNvKN;
  KNNvKNN -> KNNvKN;
  KQBNvKNN -> KBNvKNN;
  KQBNvKNN -> KQNvKNN;
  KQBNvKNN -> KQBvKNN;
  KQBNvKNN -> KQBNvKN;
  KBNvKNN -> KNNvKN;
  KBNvKNN -> KNNvKB;
  KBNvKNN -> KBNvKN;
  KQRNvKNN -> KRNvKNN;
  KQRNvKNN -> KQNvKNN;
  KQRNvKNN -> KQRvKNN;
  KQRNvKNN -> KQRNvKN;
  KRNvKNN -> KNNvKN;
  KRNvKNN -> KNNvKR;
  KRNvKNN -> KRNvKN;
  KNNvKNP -> KQNvKNN;
  KNNvKNP -> KRNvKNN;
  KNNvKNP -> KBNvKNN;
  KNNvKNP -> KNNvKNN;
  KNNvKNP -> KNPvKN;
  KNNvKNP -> KNNvKP;
  KNNvKNP -> KNNvKN;
  KQQNvKNN -> KQNvKNN;
  KQQNvKNN -> KQQvKNN;
  KQQNvKNN -> KQQNvKN;
  KQBPvKNN -> KQQBvKNN;
  KQBPvKNN -> KBPvKNN;
  KQBPvKNN -> KQRBvKNN;
  KQBPvKNN -> KQBBvKNN;
  KQBPvKNN -> KQPvKNN;
  KQBPvKNN -> KQBNvKNN;
  KQBPvKNN -> KQBPvKN;
  KQBPvKNN -> KQBvKNN;
  KQBBvKNN -> KBBvKNN;
  KQBBvKNN -> KQBvKNN;
  KQBBvKNN -> KQBBvKN;
  KBBvKNN -> KNNvKB;
  KBBvKNN -> KBBvKN;
  KQRBvKNN -> KRBvKNN;
  KQRBvKNN -> KQBvKNN;
  KQRBvKNN -> KQRvKNN;
  KQRBvKNN -> KQRBvKN;
  KRBvKNN -> KNNvKB;
  KRBvKNN -> KNNvKR;
  KRBvKNN -> KRBvKN;
  KBPvKNN -> KQBvKNN;
  KBPvKNN -> KRBvKNN;
  KBPvKNN -> KBBvKNN;
  KBPvKNN -> KNNvKP;
  KBPvKNN -> KBNvKNN;
  KBPvKNN -> KBPvKN;
  KBPvKNN -> KNNvKB;
  KQQBvKNN -> KQBvKNN;
  KQQBvKNN -> KQQvKNN;
  KQQBvKNN -> KQQBvKN;
  KQRPvKNN -> KQQRvKNN;
  KQRPvKNN -> KRPvKNN;
  KQRPvKNN -> KQRRvKNN;
  KQRPvKNN -> KQPvKNN;
  KQRPvKNN -> KQRBvKNN;
  KQRPvKNN -> KQRNvKNN;
  KQRPvKNN -> KQRPvKN;
  KQRPvKNN -> KQRvKNN;
  KQRRvKNN -> KRRvKNN;
  KQRRvKNN -> KQRvKNN;
  KQRRvKNN -> KQRRvKN;
  KRRvKNN -> KNNvKR;
  KRRvKNN -> KRRvKN;
  KRPvKNN -> KQRvKNN;
  KRPvKNN -> KRRvKNN;
  KRPvKNN -> KNNvKP;
  KRPvKNN -> KRBvKNN;
  KRPvKNN -> KRNvKNN;
  KRPvKNN -> KRPvKN;
  KRPvKNN -> KNNvKR;
  KQQRvKNN -> KQRvKNN;
  KQQRvKNN -> KQQvKNN;
  KQQRvKNN -> KQQRvKN;
  KNNvKPP -> KQPvKNN;
  KNNvKPP -> KRPvKNN;
  KNNvKPP -> KBPvKNN;
  KNNvKPP -> KNNvKNP;
  KNNvKPP -> KPPvKN;
  KNNvKPP -> KNNvKP;
  KQQPvKNN -> KQQQvKNN;
  KQQPvKNN -> KQPvKNN;
  KQQPvKNN -> KQQRvKNN;
  KQQPvKNN -> KQQBvKNN;
  KQQPvKNN -> KQQNvKNN;
  KQQPvKNN -> KQQPvKN;
  KQQPvKNN -> KQQvKNN;
  KQQQvKNN -> KQQvKNN;
  KQQQvKNN -> KQQQvKN;
}