digraph Syzygy {
  KRRPvKRR -> KQRRvKRR;
  KRRPvKRR -> KRRRvKRR;
  KRRPvKRR -> KRRvKRP;
  KRRPvKRR -> KRRPvKR;
  KRRPvKRR -> KRRBvKRR;
  KRRPvKRR -> KRRNvKRR;
  KRRPvKRR -> KRRvKRR;
  KRRvKRR -> KRRvKR;
  KRRvKR -> KRvKR;
  KRRvKR -> KRRvK;
  KRRvK -> KRvK;
  KRvKR -> KRvK;
  KRRNvKRR -> KRRvKRN;
  KRRNvKRR -> KRRNvKR;
  KRRNvKRR -> KRRvKRR;
  KRRNvKR -> KRNvKR;
  KRRNvKR -> KRRNvK;
  KRRNvKR -> KRRvKR;
  KRRNvK -> KRNvK;
  KRRNvK -> KRRvK;
  KRNvK -> KNvK;
  KRNvK -> KRvK;
  KRNvKR -> KRvKN;
  KRNvKR -> KRNvK;
  KRNvKR -> KRvKR;
  KRvKN -> KNvK;
  KRvKN -> KRvK;
  KRRvKRN -> KRNvKR;
  KRRvKRN -> KRRvKN;
  KRRvKRN -> KRRvKR;
  KRRvKN -> KRvKN;
  KRRvKN -> KRRvK;
  KRRBvKRR -> KRRvKRB;
  KRRBvKRR -> KRRBvKR;
  KRRBvKRR -> KRRvKRR;
  KRRBvKR -> KRBvKR;
  KRRBvKR -> KRRBvK;
  KRRBvKR -> KRRvKR;
  KRRBvK -> KRBvK;
  KRRBvK -> KRRvK;
  KRBvK -> KBvK;
  KRBvK -> KRvK;
  KRBvKR -> KRvKB;
  KRBvKR -> KRBvK;
  KRBvKR -> KRvKR;
  KRvKB -> KBvK;
  KRvKB -> KRvK;
  KRRvKRB -> KRBvKR;
  KRRvKRB -> KRRvKB;
  KRRvKRB -> KRRvKR;
  KRRvKB -> KRvKB;
  KRRvKB -> KRRvK;
  KRRPvKR -> KQRRvKR;
  KRRPvKR -> KRRRvKR;
  KRRPvKR -> KRPvKR;
  KRRPvKR -> KRRPvK;
  KRRPvKR -> KRRBvKR;
  KRRPvKR -> KRRNvKR;
  KRRPvKR -> KRRvKR;
  KRRPvK -> KQRRvK;
  KRRPvK -> KRRRvK;
  KRRPvK -> KRPvK;
  KRRPvK -> KRRBvK;
  KRRPvK -> KRRNvK;
  KRRPvK -> KRRvK;
  KRPvK -> KQRvK;
  KRPvK -> KRRvK;
  KRPvK -> KPvK;
  KRPvK -> KRBvK;
  KRPvK -> KRNvK;
  KRPvK -> KRvK;
  KPvK -> KQvK;
  KPvK -> KRvK;
  KPvK -> KBvK;
  KPvK -> KNvK;
  KQRvK -> KRvK;
  KQRvK -> KQvK;
  KRRRvK -> KRRvK;
  KQRRvK -> KRRvK;
  KQRRvK -> KQRvK;
  KRPvKR -> KQRvKR;
  KRPvKR -> KRRvKR;
  KRPvKR -> KRvKP;
  KRPvKR -> KRPvK;
  KRPvKR -> KRBvKR;
  KRPvKR -> KRNvKR;
  KRPvKR -> KRvKR;
  KRvKP -> KQvKR;
  KRvKP -> KRvKR;
  KRvKP -> KPvK;
  KRvKP -> KRvKB;
  KRvKP -> KRvKN;
  KRvKP -> KRvK;
  KQvKR -> KRvK;
  KQvKR -> KQvK;
  KQRvKR -> KRvKR;
  KQRvKR -> KQvKR;
  KQRvKR -> KQRvK;
  KRRRvKR -> KRRvKR;
  KRRRvKR -> KRRRvK;
  KQRRvKR -> KRRvKR;
  KQRRvKR -> KQRvKR;
  KQRRvKR -> KQRRvK;
  KRRvKRP -> KQRvKRR;
  KRRvKRP -> KRRvKRR;
  KRRvKRP -> KRPvKR;
  KRRvKRP -> KRRvKP;
  KRRvKRP -> KRRvKRB;
  KRRvKRP -> KRRvKRN;
  KRRvKRP -> KRRvKR;
  KRRvKP -> KRRvKQ;
  KRRvKP -> KRRvKR;
  KRRvKP -> KRvKP;
  KRRvKP -> KRRvKB;
  KRRvKP -> KRRvKN;
  KRRvKP -> KRRvK;
  KRRvKQ -> KRRvK;
  KRRvKQ -> KQvKR;
  KQRvKRR -> KRRvKR;
  KQRvKRR -> KRRvKQ;
  KQRvKRR -> KQRvKR;
  KRRRvKRR -> KRRvKRR;
  KRRRvKRR -> KRRRvKR;
  KQRRvKRR -> KRRvKRR;
  KQRRvKRR -> KQRvKRR;
  KQRRvKRR -> KQRRvKR;
}