digraph Syzygy {
  KRPPvKNN -> KQRPvKNN;
  KRPPvKNN -> KRRPvKNN;
  KRPPvKNN -> KNNvKPP;
  KRPPvKNN -> KRBPvKNN;
  KRPPvKNN -> KRNPvKNN;
  KRPPvKNN -> KRPPvKN;
  KRPPvKNN -> KRPvKNN;
  KRPvKNN -> KQRvKNN;
  KRPvKNN -> KRRvKNN;
  KRPvKNN -> KNNvKP;
  KRPvKNN -> KRBvKNN;
  KRPvKNN -> KRNvKNN;
  KRPvKNN -> KRPvKN;
  KRPvKNN -> KNNvKR;
  KNNvKR -> KNNvK;
  KNNvKR -> KRvKN;
  KRvKN -> KNvK;
  KRvKN -> KRvK;
  KNNvK -> KNvK;
  KRPvKN -> KQRvKN;
  KRPvKN -> KRRvKN;
  KRPvKN -> KNvKP;
  KRPvKN -> KRBvKN;
  KRPvKN -> KRNvKN;
  KRPvKN -> KRPvK;
  KRPvKN -> KRvKN;
  KRPvK -> KQRvK;
  KRPvK -> KRRvK;
  KRPvK -> KPvK;
  KRPvK -> KRBvK;
  KRPvK -> KRNvK;
  KRPvK -> KRvK;
  KRNvK -> KNvK;
  KRNvK -> KRvK;
  KRBvK -> KBvK;
  KRBvK -> KRvK;
  KPvK -> KQvK;
  KPvK -> KRvK;
  KPvK -> KBvK;
  KPvK -> KNvK;
  KRRvK -> KRvK;
  KQRvK -> KRvK;
  KQRvK -> KQvK;
  KRNvKN -> KNvKN;
  KRNvKN -> KRvKN;
  KRNvKN -> KRNvK;
  KNvKN -> KNvK;
  KRBvKN -> KBvKN;
  KRBvKN -> KRvKN;
  KRBvKN -> KRBvK;
  KBvKN -> KNvK;
  KBvKN -> KBvK;
  KNvKP -> KQvKN;
  KNvKP -> KRvKN;
  KNvKP -> KBvKN;
  KNvKP -> KNvKN;
  KNvKP -> KPvK;
  KNvKP -> KNvK;
  KQvKN -> KNvK;
  KQvKN -> KQvK;
  KRRvKN -> KRvKN;
  KRRvKN -> KRRvK;
  KQRvKN -> KRvKN;
  KQRvKN -> KQvKN;
  KQRvKN -> KQRvK;
  KRNvKNN -> KNNvKN;
  KRNvKNN -> KNNvKR;
  KRNvKNN -> KRNvKN;
  KNNvKN -> KNvKN;
  KNNvKN -> KNNvK;
  KRBvKNN -> KNNvKB;
  KRBvKNN -> KNNvKR;
  KRBvKNN -> KRBvKN;
  KNNvKB -> KNNvK;
  KNNvKB -> KBvKN;
  KNNvKP -> KNNvKQ;
  KNNvKP -> KNNvKR;
  KNNvKP -> KNNvKB;
  KNNvKP -> KNNvKN;
  KNNvKP -> KNvKP;
  KNNvKP -> KNNvK;
  KNNvKQ -> KNNvK;
  KNNvKQ -> KQvKN;
  KRRvKNN -> KNNvKR;
  KRRvKNN -> KRRvKN;
  KQRvKNN -> KNNvKR;
  KQRvKNN -> KNNvKQ;
  KQRvKNN -> KQRvKN;
  KRPPvKN -> KQRPvKN;
  KRPPvKN -> KRRPvKN;
  KRPPvKN -> KPPvKN;
  KRPPvKN -> KRBPvKN;
  KRPPvKN -> KRNPvKN;
  KRPPvKN -> KRPPvK;
  KRPPvKN -> KRPvKN;
  KRPPvK -> KQRPvK;
  KRPPvK -> KRRPvK;
  KRPPvK -> KPPvK;
  KRPPvK -> KRBPvK;
  KRPPvK -> KRNPvK;
  KRPPvK -> KRPvK;
  KRNPvK -> KQRNvK;
  KRNPvK -> KRRNvK;
  KRNPvK -> KNPvK;
  KRNPvK -> KRBNvK;
  KRNPvK -> KRNNvK;
  KRNPvK -> KRPvK;
  KRNPvK -> KRNvK;
  KRNNvK -> KNNvK;
  KRNNvK -> KRNvK;
  KRBNvK -> KBNvK;
  KRBNvK -> KRNvK;
  KRBNvK -> KRBvK;
  KBNvK -> KNvK;
  KBNvK -> KBvK;
  KNPvK -> KQNvK;
  KNPvK -> KRNvK;
  KNPvK -> KBNvK;
  KNPvK -> KNNvK;
  KNPvK -> KPvK;
  KNPvK -> KNvK;
  KQNvK -> KNvK;
  KQNvK -> KQvK;
  KRRNvK -> KRNvK;
  KRRNvK -> KRRvK;
  KQRNvK -> KRNvK;
  KQRNvK -> KQNvK;
  KQRNvK -> KQRvK;
  KRBPvK -> KQRBvK;
  KRBPvK -> KRRBvK;
  KRBPvK -> KBPvK;
  KRBPvK -> KRBBvK;
  KRBPvK -> KRPvK;
  KRBPvK -> KRBNvK;
  KRBPvK -> KRBvK;
  KRBBvK -> KBBvK;
  KRBBvK -> KRBvK;
  KBBvK -> KBvK;
  KBPvK -> KQBvK;
  KBPvK -> KRBvK;
  KBPvK -> KBBvK;
  KBPvK -> KPvK;
  KBPvK -> KBNvK;
  KBPvK -> KBvK;
  KQBvK -> KBvK;
  KQBvK -> KQvK;
  KRRBvK -> KRBvK;
  KRRBvK -> KRRvK;
  KQRBvK -> KRBvK;
  KQRBvK -> KQBvK;
  KQRBvK -> KQRvK;
  KPPvK -> KQPvK;
  KPPvK -> KRPvK;
  KPPvK -> KBPvK;
  KPPvK -> KNPvK;
  KPPvK -> KPvK;
  KQPvK -> KQQvK;
  KQPvK -> KPvK;
  KQPvK -> KQRvK;
  KQPvK -> KQBvK;
  KQPvK -> KQNvK;
  KQPvK -> KQvK;
  KQQvK -> KQvK;
  KRRPvK -> KQRRvK;
  KRRPvK -> KRRRvK;
  KRRPvK -> KRPvK;
  KRRPvK -> KRRBvK;
  KRRPvK -> KRRNvK;
  KRRPvK -> KRRvK;
  KRRRvK -> KRRvK;
  KQRRvK -> KRRvK;
  KQRRvK -> KQRvK;
  KQRPvK -> KQQRvK;
  KQRPvK -> KRPvK;
  KQRPvK -> KQRRvK;
  KQRPvK -> KQPvK;
  KQRPvK -> KQRBvK;
  KQRPvK -> KQRNvK;
  KQRPvK -> KQRvK;
  KQQRvK -> KQRvK;
  KQQRvK -> KQQvK;
  KRNPvKN -> KQRNvKN;
  KRNPvKN -> KRRNvKN;
  KRNPvKN -> KNPvKN;
  KRNPvKN -> KRBNvKN;
  KRNPvKN -> KRNNvKN;
  KRNPvKN -> KRPvKN;
  KRNPvKN -> KRNPvK;
  KRNPvKN -> KRNvKN;
  KRNNvKN -> KNNvKN;
  KRNNvKN -> KRNvKN;
  KRNNvKN -> KRNNvK;
  KRBNvKN -> KBNvKN;
  KRBNvKN -> KRNvKN;
  KRBNvKN -> KRBvKN;
  KRBNvKN -> KRBNvK;
  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;
  KRRNvKN -> KRNvKN;
  KRRNvKN -> KRRvKN;
  KRRNvKN -> KRRNvK;
  KQRNvKN -> KRNvKN;
  KQRNvKN -> KQNvKN;
  KQRNvKN -> KQRvKN;
  KQRNvKN -> KQRNvK;
  KRBPvKN -> KQRBvKN;
  KRBPvKN -> KRRBvKN;
  KRBPvKN -> KBPvKN;
  KRBPvKN -> KRBBvKN;
  KRBPvKN -> KRPvKN;
  KRBPvKN -> KRBNvKN;
  KRBPvKN -> KRBPvK;
  KRBPvKN -> KRBvKN;
  KRBBvKN -> KBBvKN;
  KRBBvKN -> KRBvKN;
  KRBBvKN -> KRBBvK;
  KBBvKN -> KBvKN;
  KBBvKN -> KBBvK;
  KBPvKN -> KQBvKN;
  KBPvKN -> KRBvKN;
  KBPvKN -> KBBvKN;
  KBPvKN -> KNvKP;
  KBPvKN -> KBNvKN;
  KBPvKN -> KBPvK;
  KBPvKN -> KBvKN;
  KQBvKN -> KBvKN;
  KQBvKN -> KQvKN;
  KQBvKN -> KQBvK;
  KRRBvKN -> KRBvKN;
  KRRBvKN -> KRRvKN;
  KRRBvKN -> KRRBvK;
  KQRBvKN -> KRBvKN;
  KQRBvKN -> KQBvKN;
  KQRBvKN -> KQRvKN;
  KQRBvKN -> KQRBvK;
  KPPvKN -> KQPvKN;
  KPPvKN -> KRPvKN;
  KPPvKN -> KBPvKN;
  KPPvKN -> KNPvKN;
  KPPvKN -> KPPvK;
  KPPvKN -> KNvKP;
  KQPvKN -> KQQvKN;
  KQPvKN -> KNvKP;
  KQPvKN -> KQRvKN;
  KQPvKN -> KQBvKN;
  KQPvKN -> KQNvKN;
  KQPvKN -> KQPvK;
  KQPvKN -> KQvKN;
  KQQvKN -> KQvKN;
  KQQvKN -> KQQvK;
  KRRPvKN -> KQRRvKN;
  KRRPvKN -> KRRRvKN;
  KRRPvKN -> KRPvKN;
  KRRPvKN -> KRRBvKN;
  KRRPvKN -> KRRNvKN;
  KRRPvKN -> KRRPvK;
  KRRPvKN -> KRRvKN;
  KRRRvKN -> KRRvKN;
  KRRRvKN -> KRRRvK;
  KQRRvKN -> KRRvKN;
  KQRRvKN -> KQRvKN;
  KQRRvKN -> KQRRvK;
  KQRPvKN -> KQQRvKN;
  KQRPvKN -> KRPvKN;
  KQRPvKN -> KQRRvKN;
  KQRPvKN -> KQPvKN;
  KQRPvKN -> KQRBvKN;
  KQRPvKN -> KQRNvKN;
  KQRPvKN -> KQRPvK;
  KQRPvKN -> KQRvKN;
  KQQRvKN -> KQRvKN;
  KQQRvKN -> KQQvKN;
  KQQRvKN -> KQQRvK;
  KRNPvKNN -> KQRNvKNN;
  KRNPvKNN -> KRRNvKNN;
  KRNPvKNN -> KNNvKNP;
  KRNPvKNN -> KRBNvKNN;
  KRNPvKNN -> KRNNvKNN;
  KRNPvKNN -> KRPvKNN;
  KRNPvKNN -> KRNPvKN;
  KRNPvKNN -> KRNvKNN;
  KRNNvKNN -> KNNvKNN;
  KRNNvKNN -> KRNvKNN;
  KRNNvKNN -> KRNNvKN;
  KNNvKNN -> KNNvKN;
  KRBNvKNN -> KBNvKNN;
  KRBNvKNN -> KRNvKNN;
  KRBNvKNN -> KRBvKNN;
  KRBNvKNN -> KRBNvKN;
  KBNvKNN -> KNNvKN;
  KBNvKNN -> KNNvKB;
  KBNvKNN -> KBNvKN;
  KNNvKNP -> KQNvKNN;
  KNNvKNP -> KRNvKNN;
  KNNvKNP -> KBNvKNN;
  KNNvKNP -> KNNvKNN;
  KNNvKNP -> KNPvKN;
  KNNvKNP -> KNNvKP;
  KNNvKNP -> KNNvKN;
  KQNvKNN -> KNNvKN;
  KQNvKNN -> KNNvKQ;
  KQNvKNN -> KQNvKN;
  KRRNvKNN -> KRNvKNN;
  KRRNvKNN -> KRRvKNN;
  KRRNvKNN -> KRRNvKN;
  KQRNvKNN -> KRNvKNN;
  KQRNvKNN -> KQNvKNN;
  KQRNvKNN -> KQRvKNN;
  KQRNvKNN -> KQRNvKN;
  KRBPvKNN -> KQRBvKNN;
  KRBPvKNN -> KRRBvKNN;
  KRBPvKNN -> KBPvKNN;
  KRBPvKNN -> KRBBvKNN;
  KRBPvKNN -> KRPvKNN;
  KRBPvKNN -> KRBNvKNN;
  KRBPvKNN -> KRBPvKN;
  KRBPvKNN -> KRBvKNN;
  KRBBvKNN -> KBBvKNN;
  KRBBvKNN -> KRBvKNN;
  KRBBvKNN -> KRBBvKN;
  KBBvKNN -> KNNvKB;
  KBBvKNN -> KBBvKN;
  KBPvKNN -> KQBvKNN;
  KBPvKNN -> KRBvKNN;
  KBPvKNN -> KBBvKNN;
  KBPvKNN -> KNNvKP;
  KBPvKNN -> KBNvKNN;
  KBPvKNN -> KBPvKN;
  KBPvKNN -> KNNvKB;
  KQBvKNN -> KNNvKB;
  KQBvKNN -> KNNvKQ;
  KQBvKNN -> KQBvKN;
  KRRBvKNN -> KRBvKNN;
  KRRBvKNN -> KRRvKNN;
  KRRBvKNN -> KRRBvKN;
  KQRBvKNN -> KRBvKNN;
  KQRBvKNN -> KQBvKNN;
  KQRBvKNN -> KQRvKNN;
  KQRBvKNN -> KQRBvKN;
  KNNvKPP -> KQPvKNN;
  KNNvKPP -> KRPvKNN;
  KNNvKPP -> KBPvKNN;
  KNNvKPP -> KNNvKNP;
  KNNvKPP -> KPPvKN;
  KNNvKPP -> KNNvKP;
  KQPvKNN -> KQQvKNN;
  KQPvKNN -> KNNvKP;
  KQPvKNN -> KQRvKNN;
  KQPvKNN -> KQBvKNN;
  KQPvKNN -> KQNvKNN;
  KQPvKNN -> KQPvKN;
  KQPvKNN -> KNNvKQ;
  KQQvKNN -> KNNvKQ;
  KQQvKNN -> KQQvKN;
  KRRPvKNN -> KQRRvKNN;
  KRRPvKNN -> KRRRvKNN;
  KRRPvKNN -> KRPvKNN;
  KRRPvKNN -> KRRBvKNN;
  KRRPvKNN -> KRRNvKNN;
  KRRPvKNN -> KRRPvKN;
  KRRPvKNN -> KRRvKNN;
  KRRRvKNN -> KRRvKNN;
  KRRRvKNN -> KRRRvKN;
  KQRRvKNN -> KRRvKNN;
  KQRRvKNN -> KQRvKNN;
  KQRRvKNN -> KQRRvKN;
  KQRPvKNN -> KQQRvKNN;
  KQRPvKNN -> KRPvKNN;
  KQRPvKNN -> KQRRvKNN;
  KQRPvKNN -> KQPvKNN;
  KQRPvKNN -> KQRBvKNN;
  KQRPvKNN -> KQRNvKNN;
  KQRPvKNN -> KQRPvKN;
  KQRPvKNN -> KQRvKNN;
  KQQRvKNN -> KQRvKNN;
  KQQRvKNN -> KQQvKNN;
  KQQRvKNN -> KQQRvKN;
}