digraph Syzygy {
  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;
}