digraph Syzygy {
  KRNPPvKR -> KQRNPvKR;
  KRNPPvKR -> KRRNPvKR;
  KRNPPvKR -> KNPPvKR;
  KRNPPvKR -> KRNPPvK;
  KRNPPvKR -> KRBNPvKR;
  KRNPPvKR -> KRNNPvKR;
  KRNPPvKR -> KRPPvKR;
  KRNPPvKR -> KRNPvKR;
  KRNPvKR -> KQRNvKR;
  KRNPvKR -> KRRNvKR;
  KRNPvKR -> KNPvKR;
  KRNPvKR -> KRNPvK;
  KRNPvKR -> KRBNvKR;
  KRNPvKR -> KRNNvKR;
  KRNPvKR -> KRPvKR;
  KRNPvKR -> KRNvKR;
  KRNvKR -> KRvKN;
  KRNvKR -> KRNvK;
  KRNvKR -> KRvKR;
  KRvKR -> KRvK;
  KRNvK -> KNvK;
  KRNvK -> KRvK;
  KRvKN -> KNvK;
  KRvKN -> KRvK;
  KRPvKR -> KQRvKR;
  KRPvKR -> KRRvKR;
  KRPvKR -> KRvKP;
  KRPvKR -> KRPvK;
  KRPvKR -> KRBvKR;
  KRPvKR -> KRNvKR;
  KRPvKR -> KRvKR;
  KRBvKR -> KRvKB;
  KRBvKR -> KRBvK;
  KRBvKR -> KRvKR;
  KRBvK -> KBvK;
  KRBvK -> KRvK;
  KRvKB -> KBvK;
  KRvKB -> KRvK;
  KRPvK -> KQRvK;
  KRPvK -> KRRvK;
  KRPvK -> KPvK;
  KRPvK -> KRBvK;
  KRPvK -> KRNvK;
  KRPvK -> KRvK;
  KPvK -> KQvK;
  KPvK -> KRvK;
  KPvK -> KBvK;
  KPvK -> KNvK;
  KRRvK -> KRvK;
  KQRvK -> KRvK;
  KQRvK -> KQvK;
  KRvKP -> KQvKR;
  KRvKP -> KRvKR;
  KRvKP -> KPvK;
  KRvKP -> KRvKB;
  KRvKP -> KRvKN;
  KRvKP -> KRvK;
  KQvKR -> KRvK;
  KQvKR -> KQvK;
  KRRvKR -> KRvKR;
  KRRvKR -> KRRvK;
  KQRvKR -> KRvKR;
  KQRvKR -> KQvKR;
  KQRvKR -> KQRvK;
  KRNNvKR -> KNNvKR;
  KRNNvKR -> KRNNvK;
  KRNNvKR -> KRNvKR;
  KRNNvK -> KNNvK;
  KRNNvK -> KRNvK;
  KNNvK -> KNvK;
  KNNvKR -> KNNvK;
  KNNvKR -> KRvKN;
  KRBNvKR -> KBNvKR;
  KRBNvKR -> KRBNvK;
  KRBNvKR -> KRNvKR;
  KRBNvKR -> KRBvKR;
  KRBNvK -> KBNvK;
  KRBNvK -> KRNvK;
  KRBNvK -> KRBvK;
  KBNvK -> KNvK;
  KBNvK -> KBvK;
  KBNvKR -> KBNvK;
  KBNvKR -> KRvKN;
  KBNvKR -> KRvKB;
  KRNPvK -> KQRNvK;
  KRNPvK -> KRRNvK;
  KRNPvK -> KNPvK;
  KRNPvK -> KRBNvK;
  KRNPvK -> KRNNvK;
  KRNPvK -> KRPvK;
  KRNPvK -> KRNvK;
  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;
  KNPvKR -> KQNvKR;
  KNPvKR -> KRNvKR;
  KNPvKR -> KNPvK;
  KNPvKR -> KBNvKR;
  KNPvKR -> KNNvKR;
  KNPvKR -> KRvKP;
  KNPvKR -> KRvKN;
  KQNvKR -> KRvKN;
  KQNvKR -> KQNvK;
  KQNvKR -> KQvKR;
  KRRNvKR -> KRNvKR;
  KRRNvKR -> KRRNvK;
  KRRNvKR -> KRRvKR;
  KQRNvKR -> KRNvKR;
  KQRNvKR -> KQNvKR;
  KQRNvKR -> KQRNvK;
  KQRNvKR -> KQRvKR;
  KRPPvKR -> KQRPvKR;
  KRPPvKR -> KRRPvKR;
  KRPPvKR -> KPPvKR;
  KRPPvKR -> KRPPvK;
  KRPPvKR -> KRBPvKR;
  KRPPvKR -> KRNPvKR;
  KRPPvKR -> KRPvKR;
  KRBPvKR -> KQRBvKR;
  KRBPvKR -> KRRBvKR;
  KRBPvKR -> KBPvKR;
  KRBPvKR -> KRBPvK;
  KRBPvKR -> KRBBvKR;
  KRBPvKR -> KRPvKR;
  KRBPvKR -> KRBNvKR;
  KRBPvKR -> KRBvKR;
  KRBBvKR -> KBBvKR;
  KRBBvKR -> KRBBvK;
  KRBBvKR -> KRBvKR;
  KRBBvK -> KBBvK;
  KRBBvK -> KRBvK;
  KBBvK -> KBvK;
  KBBvKR -> KBBvK;
  KBBvKR -> KRvKB;
  KRBPvK -> KQRBvK;
  KRBPvK -> KRRBvK;
  KRBPvK -> KBPvK;
  KRBPvK -> KRBBvK;
  KRBPvK -> KRPvK;
  KRBPvK -> KRBNvK;
  KRBPvK -> KRBvK;
  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;
  KBPvKR -> KQBvKR;
  KBPvKR -> KRBvKR;
  KBPvKR -> KBPvK;
  KBPvKR -> KBBvKR;
  KBPvKR -> KRvKP;
  KBPvKR -> KBNvKR;
  KBPvKR -> KRvKB;
  KQBvKR -> KRvKB;
  KQBvKR -> KQBvK;
  KQBvKR -> KQvKR;
  KRRBvKR -> KRBvKR;
  KRRBvKR -> KRRBvK;
  KRRBvKR -> KRRvKR;
  KQRBvKR -> KRBvKR;
  KQRBvKR -> KQBvKR;
  KQRBvKR -> KQRBvK;
  KQRBvKR -> KQRvKR;
  KRPPvK -> KQRPvK;
  KRPPvK -> KRRPvK;
  KRPPvK -> KPPvK;
  KRPPvK -> KRBPvK;
  KRPPvK -> KRNPvK;
  KRPPvK -> KRPvK;
  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;
  KPPvKR -> KQPvKR;
  KPPvKR -> KRPvKR;
  KPPvKR -> KPPvK;
  KPPvKR -> KBPvKR;
  KPPvKR -> KNPvKR;
  KPPvKR -> KRvKP;
  KQPvKR -> KQQvKR;
  KQPvKR -> KRvKP;
  KQPvKR -> KQRvKR;
  KQPvKR -> KQPvK;
  KQPvKR -> KQBvKR;
  KQPvKR -> KQNvKR;
  KQPvKR -> KQvKR;
  KQQvKR -> KQvKR;
  KQQvKR -> KQQvK;
  KRRPvKR -> KQRRvKR;
  KRRPvKR -> KRRRvKR;
  KRRPvKR -> KRPvKR;
  KRRPvKR -> KRRPvK;
  KRRPvKR -> KRRBvKR;
  KRRPvKR -> KRRNvKR;
  KRRPvKR -> KRRvKR;
  KRRRvKR -> KRRvKR;
  KRRRvKR -> KRRRvK;
  KQRRvKR -> KRRvKR;
  KQRRvKR -> KQRvKR;
  KQRRvKR -> KQRRvK;
  KQRPvKR -> KQQRvKR;
  KQRPvKR -> KRPvKR;
  KQRPvKR -> KQRRvKR;
  KQRPvKR -> KQPvKR;
  KQRPvKR -> KQRPvK;
  KQRPvKR -> KQRBvKR;
  KQRPvKR -> KQRNvKR;
  KQRPvKR -> KQRvKR;
  KQQRvKR -> KQRvKR;
  KQQRvKR -> KQQvKR;
  KQQRvKR -> KQQRvK;
  KRNNPvKR -> KQRNNvKR;
  KRNNPvKR -> KRRNNvKR;
  KRNNPvKR -> KNNPvKR;
  KRNNPvKR -> KRNNPvK;
  KRNNPvKR -> KRBNNvKR;
  KRNNPvKR -> KRNNNvKR;
  KRNNPvKR -> KRNPvKR;
  KRNNPvKR -> KRNNvKR;
  KRNNNvKR -> KNNNvKR;
  KRNNNvKR -> KRNNNvK;
  KRNNNvKR -> KRNNvKR;
  KRNNNvK -> KNNNvK;
  KRNNNvK -> KRNNvK;
  KNNNvK -> KNNvK;
  KNNNvKR -> KNNNvK;
  KNNNvKR -> KNNvKR;
  KRBNNvKR -> KBNNvKR;
  KRBNNvKR -> KRBNNvK;
  KRBNNvKR -> KRNNvKR;
  KRBNNvKR -> KRBNvKR;
  KRBNNvK -> KBNNvK;
  KRBNNvK -> KRNNvK;
  KRBNNvK -> KRBNvK;
  KBNNvK -> KNNvK;
  KBNNvK -> KBNvK;
  KBNNvKR -> KBNNvK;
  KBNNvKR -> KNNvKR;
  KBNNvKR -> KBNvKR;
  KRNNPvK -> KQRNNvK;
  KRNNPvK -> KRRNNvK;
  KRNNPvK -> KNNPvK;
  KRNNPvK -> KRBNNvK;
  KRNNPvK -> KRNNNvK;
  KRNNPvK -> KRNPvK;
  KRNNPvK -> KRNNvK;
  KNNPvK -> KQNNvK;
  KNNPvK -> KRNNvK;
  KNNPvK -> KBNNvK;
  KNNPvK -> KNNNvK;
  KNNPvK -> KNPvK;
  KNNPvK -> KNNvK;
  KQNNvK -> KNNvK;
  KQNNvK -> KQNvK;
  KRRNNvK -> KRNNvK;
  KRRNNvK -> KRRNvK;
  KQRNNvK -> KRNNvK;
  KQRNNvK -> KQNNvK;
  KQRNNvK -> KQRNvK;
  KNNPvKR -> KQNNvKR;
  KNNPvKR -> KRNNvKR;
  KNNPvKR -> KNNPvK;
  KNNPvKR -> KBNNvKR;
  KNNPvKR -> KNNNvKR;
  KNNPvKR -> KNPvKR;
  KNNPvKR -> KNNvKR;
  KQNNvKR -> KNNvKR;
  KQNNvKR -> KQNNvK;
  KQNNvKR -> KQNvKR;
  KRRNNvKR -> KRNNvKR;
  KRRNNvKR -> KRRNNvK;
  KRRNNvKR -> KRRNvKR;
  KQRNNvKR -> KRNNvKR;
  KQRNNvKR -> KQNNvKR;
  KQRNNvKR -> KQRNNvK;
  KQRNNvKR -> KQRNvKR;
  KRBNPvKR -> KQRBNvKR;
  KRBNPvKR -> KRRBNvKR;
  KRBNPvKR -> KBNPvKR;
  KRBNPvKR -> KRBNPvK;
  KRBNPvKR -> KRBBNvKR;
  KRBNPvKR -> KRNPvKR;
  KRBNPvKR -> KRBNNvKR;
  KRBNPvKR -> KRBPvKR;
  KRBNPvKR -> KRBNvKR;
  KRBBNvKR -> KBBNvKR;
  KRBBNvKR -> KRBBNvK;
  KRBBNvKR -> KRBNvKR;
  KRBBNvKR -> KRBBvKR;
  KRBBNvK -> KBBNvK;
  KRBBNvK -> KRBNvK;
  KRBBNvK -> KRBBvK;
  KBBNvK -> KBNvK;
  KBBNvK -> KBBvK;
  KBBNvKR -> KBBNvK;
  KBBNvKR -> KBNvKR;
  KBBNvKR -> KBBvKR;
  KRBNPvK -> KQRBNvK;
  KRBNPvK -> KRRBNvK;
  KRBNPvK -> KBNPvK;
  KRBNPvK -> KRBBNvK;
  KRBNPvK -> KRNPvK;
  KRBNPvK -> KRBNNvK;
  KRBNPvK -> KRBPvK;
  KRBNPvK -> KRBNvK;
  KBNPvK -> KQBNvK;
  KBNPvK -> KRBNvK;
  KBNPvK -> KBBNvK;
  KBNPvK -> KNPvK;
  KBNPvK -> KBNNvK;
  KBNPvK -> KBPvK;
  KBNPvK -> KBNvK;
  KQBNvK -> KBNvK;
  KQBNvK -> KQNvK;
  KQBNvK -> KQBvK;
  KRRBNvK -> KRBNvK;
  KRRBNvK -> KRRNvK;
  KRRBNvK -> KRRBvK;
  KQRBNvK -> KRBNvK;
  KQRBNvK -> KQBNvK;
  KQRBNvK -> KQRNvK;
  KQRBNvK -> KQRBvK;
  KBNPvKR -> KQBNvKR;
  KBNPvKR -> KRBNvKR;
  KBNPvKR -> KBNPvK;
  KBNPvKR -> KBBNvKR;
  KBNPvKR -> KNPvKR;
  KBNPvKR -> KBNNvKR;
  KBNPvKR -> KBPvKR;
  KBNPvKR -> KBNvKR;
  KQBNvKR -> KBNvKR;
  KQBNvKR -> KQBNvK;
  KQBNvKR -> KQNvKR;
  KQBNvKR -> KQBvKR;
  KRRBNvKR -> KRBNvKR;
  KRRBNvKR -> KRRBNvK;
  KRRBNvKR -> KRRNvKR;
  KRRBNvKR -> KRRBvKR;
  KQRBNvKR -> KRBNvKR;
  KQRBNvKR -> KQBNvKR;
  KQRBNvKR -> KQRBNvK;
  KQRBNvKR -> KQRNvKR;
  KQRBNvKR -> KQRBvKR;
  KRNPPvK -> KQRNPvK;
  KRNPPvK -> KRRNPvK;
  KRNPPvK -> KNPPvK;
  KRNPPvK -> KRBNPvK;
  KRNPPvK -> KRNNPvK;
  KRNPPvK -> KRPPvK;
  KRNPPvK -> KRNPvK;
  KNPPvK -> KQNPvK;
  KNPPvK -> KRNPvK;
  KNPPvK -> KBNPvK;
  KNPPvK -> KNNPvK;
  KNPPvK -> KPPvK;
  KNPPvK -> KNPvK;
  KQNPvK -> KQQNvK;
  KQNPvK -> KNPvK;
  KQNPvK -> KQRNvK;
  KQNPvK -> KQBNvK;
  KQNPvK -> KQNNvK;
  KQNPvK -> KQPvK;
  KQNPvK -> KQNvK;
  KQQNvK -> KQNvK;
  KQQNvK -> KQQvK;
  KRRNPvK -> KQRRNvK;
  KRRNPvK -> KRRRNvK;
  KRRNPvK -> KRNPvK;
  KRRNPvK -> KRRBNvK;
  KRRNPvK -> KRRNNvK;
  KRRNPvK -> KRRPvK;
  KRRNPvK -> KRRNvK;
  KRRRNvK -> KRRNvK;
  KRRRNvK -> KRRRvK;
  KQRRNvK -> KRRNvK;
  KQRRNvK -> KQRNvK;
  KQRRNvK -> KQRRvK;
  KQRNPvK -> KQQRNvK;
  KQRNPvK -> KRNPvK;
  KQRNPvK -> KQRRNvK;
  KQRNPvK -> KQNPvK;
  KQRNPvK -> KQRBNvK;
  KQRNPvK -> KQRNNvK;
  KQRNPvK -> KQRPvK;
  KQRNPvK -> KQRNvK;
  KQQRNvK -> KQRNvK;
  KQQRNvK -> KQQNvK;
  KQQRNvK -> KQQRvK;
  KNPPvKR -> KQNPvKR;
  KNPPvKR -> KRNPvKR;
  KNPPvKR -> KNPPvK;
  KNPPvKR -> KBNPvKR;
  KNPPvKR -> KNNPvKR;
  KNPPvKR -> KPPvKR;
  KNPPvKR -> KNPvKR;
  KQNPvKR -> KQQNvKR;
  KQNPvKR -> KNPvKR;
  KQNPvKR -> KQRNvKR;
  KQNPvKR -> KQNPvK;
  KQNPvKR -> KQBNvKR;
  KQNPvKR -> KQNNvKR;
  KQNPvKR -> KQPvKR;
  KQNPvKR -> KQNvKR;
  KQQNvKR -> KQNvKR;
  KQQNvKR -> KQQNvK;
  KQQNvKR -> KQQvKR;
  KRRNPvKR -> KQRRNvKR;
  KRRNPvKR -> KRRRNvKR;
  KRRNPvKR -> KRNPvKR;
  KRRNPvKR -> KRRNPvK;
  KRRNPvKR -> KRRBNvKR;
  KRRNPvKR -> KRRNNvKR;
  KRRNPvKR -> KRRPvKR;
  KRRNPvKR -> KRRNvKR;
  KRRRNvKR -> KRRNvKR;
  KRRRNvKR -> KRRRNvK;
  KRRRNvKR -> KRRRvKR;
  KQRRNvKR -> KRRNvKR;
  KQRRNvKR -> KQRNvKR;
  KQRRNvKR -> KQRRNvK;
  KQRRNvKR -> KQRRvKR;
  KQRNPvKR -> KQQRNvKR;
  KQRNPvKR -> KRNPvKR;
  KQRNPvKR -> KQRRNvKR;
  KQRNPvKR -> KQNPvKR;
  KQRNPvKR -> KQRNPvK;
  KQRNPvKR -> KQRBNvKR;
  KQRNPvKR -> KQRNNvKR;
  KQRNPvKR -> KQRPvKR;
  KQRNPvKR -> KQRNvKR;
  KQQRNvKR -> KQRNvKR;
  KQQRNvKR -> KQQNvKR;
  KQQRNvKR -> KQQRNvK;
  KQQRNvKR -> KQQRvKR;
}