digraph Syzygy {
  KRRPvKQ -> KQRRvKQ;
  KRRPvKQ -> KRRPvK;
  KRRPvKQ -> KRRRvKQ;
  KRRPvKQ -> KRPvKQ;
  KRRPvKQ -> KRRBvKQ;
  KRRPvKQ -> KRRNvKQ;
  KRRPvKQ -> KRRvKQ;
  KRRvKQ -> KRRvK;
  KRRvKQ -> KQvKR;
  KQvKR -> KRvK;
  KQvKR -> KQvK;
  KRRvK -> KRvK;
  KRRNvKQ -> KRRNvK;
  KRRNvKQ -> KRNvKQ;
  KRRNvKQ -> KRRvKQ;
  KRNvKQ -> KRNvK;
  KRNvKQ -> KQvKN;
  KRNvKQ -> KQvKR;
  KQvKN -> KNvK;
  KQvKN -> KQvK;
  KRNvK -> KNvK;
  KRNvK -> KRvK;
  KRRNvK -> KRNvK;
  KRRNvK -> KRRvK;
  KRRBvKQ -> KRRBvK;
  KRRBvKQ -> KRBvKQ;
  KRRBvKQ -> KRRvKQ;
  KRBvKQ -> KRBvK;
  KRBvKQ -> KQvKB;
  KRBvKQ -> KQvKR;
  KQvKB -> KBvK;
  KQvKB -> KQvK;
  KRBvK -> KBvK;
  KRBvK -> KRvK;
  KRRBvK -> KRBvK;
  KRRBvK -> KRRvK;
  KRPvKQ -> KQRvKQ;
  KRPvKQ -> KRPvK;
  KRPvKQ -> KRRvKQ;
  KRPvKQ -> KQvKP;
  KRPvKQ -> KRBvKQ;
  KRPvKQ -> KRNvKQ;
  KRPvKQ -> KQvKR;
  KQvKP -> KQvKQ;
  KQvKP -> KPvK;
  KQvKP -> KQvKR;
  KQvKP -> KQvKB;
  KQvKP -> KQvKN;
  KQvKP -> KQvK;
  KPvK -> KQvK;
  KPvK -> KRvK;
  KPvK -> KBvK;
  KPvK -> KNvK;
  KQvKQ -> KQvK;
  KRPvK -> KQRvK;
  KRPvK -> KRRvK;
  KRPvK -> KPvK;
  KRPvK -> KRBvK;
  KRPvK -> KRNvK;
  KRPvK -> KRvK;
  KQRvK -> KRvK;
  KQRvK -> KQvK;
  KQRvKQ -> KQvKR;
  KQRvKQ -> KQRvK;
  KQRvKQ -> KQvKQ;
  KRRRvKQ -> KRRRvK;
  KRRRvKQ -> KRRvKQ;
  KRRRvK -> KRRvK;
  KRRPvK -> KQRRvK;
  KRRPvK -> KRRRvK;
  KRRPvK -> KRPvK;
  KRRPvK -> KRRBvK;
  KRRPvK -> KRRNvK;
  KRRPvK -> KRRvK;
  KQRRvK -> KRRvK;
  KQRRvK -> KQRvK;
  KQRRvKQ -> KRRvKQ;
  KQRRvKQ -> KQRRvK;
  KQRRvKQ -> KQRvKQ;
}