digraph Syzygy {
  KQRNvKRP -> KQRNvKQR;
  KQRNvKRP -> KRNvKRP;
  KQRNvKRP -> KQRNvKRR;
  KQRNvKRP -> KQNvKRP;
  KQRNvKRP -> KQRNvKP;
  KQRNvKRP -> KQRNvKRB;
  KQRNvKRP -> KQRNvKRN;
  KQRNvKRP -> KQRvKRP;
  KQRNvKRP -> KQRNvKR;
  KQRNvKR -> KRNvKR;
  KQRNvKR -> KQNvKR;
  KQRNvKR -> KQRNvK;
  KQRNvKR -> KQRvKR;
  KQRvKR -> KRvKR;
  KQRvKR -> KQvKR;
  KQRvKR -> KQRvK;
  KQRvK -> KRvK;
  KQRvK -> KQvK;
  KQvKR -> KRvK;
  KQvKR -> KQvK;
  KRvKR -> KRvK;
  KQRNvK -> KRNvK;
  KQRNvK -> KQNvK;
  KQRNvK -> KQRvK;
  KQNvK -> KNvK;
  KQNvK -> KQvK;
  KRNvK -> KNvK;
  KRNvK -> KRvK;
  KQNvKR -> KRvKN;
  KQNvKR -> KQNvK;
  KQNvKR -> KQvKR;
  KRvKN -> KNvK;
  KRvKN -> KRvK;
  KRNvKR -> KRvKN;
  KRNvKR -> KRNvK;
  KRNvKR -> KRvKR;
  KQRvKRP -> KQRvKQR;
  KQRvKRP -> KRPvKR;
  KQRvKRP -> KQRvKRR;
  KQRvKRP -> KRPvKQ;
  KQRvKRP -> KQRvKP;
  KQRvKRP -> KQRvKRB;
  KQRvKRP -> KQRvKRN;
  KQRvKRP -> KQRvKR;
  KQRvKRN -> KRNvKR;
  KQRvKRN -> KRNvKQ;
  KQRvKRN -> KQRvKN;
  KQRvKRN -> KQRvKR;
  KQRvKN -> KRvKN;
  KQRvKN -> KQvKN;
  KQRvKN -> KQRvK;
  KQvKN -> KNvK;
  KQvKN -> KQvK;
  KRNvKQ -> KRNvK;
  KRNvKQ -> KQvKN;
  KRNvKQ -> KQvKR;
  KQRvKRB -> KRBvKR;
  KQRvKRB -> KRBvKQ;
  KQRvKRB -> KQRvKB;
  KQRvKRB -> KQRvKR;
  KQRvKB -> KRvKB;
  KQRvKB -> KQvKB;
  KQRvKB -> KQRvK;
  KQvKB -> KBvK;
  KQvKB -> KQvK;
  KRvKB -> KBvK;
  KRvKB -> KRvK;
  KRBvKQ -> KRBvK;
  KRBvKQ -> KQvKB;
  KRBvKQ -> KQvKR;
  KRBvK -> KBvK;
  KRBvK -> KRvK;
  KRBvKR -> KRvKB;
  KRBvKR -> KRBvK;
  KRBvKR -> KRvKR;
  KQRvKP -> KQRvKQ;
  KQRvKP -> KRvKP;
  KQRvKP -> KQRvKR;
  KQRvKP -> KQvKP;
  KQRvKP -> KQRvKB;
  KQRvKP -> KQRvKN;
  KQRvKP -> KQRvK;
  KQvKP -> KQvKQ;
  KQvKP -> KPvK;
  KQvKP -> KQvKR;
  KQvKP -> KQvKB;
  KQvKP -> KQvKN;
  KQvKP -> KQvK;
  KPvK -> KQvK;
  KPvK -> KRvK;
  KPvK -> KBvK;
  KPvK -> KNvK;
  KQvKQ -> KQvK;
  KRvKP -> KQvKR;
  KRvKP -> KRvKR;
  KRvKP -> KPvK;
  KRvKP -> KRvKB;
  KRvKP -> KRvKN;
  KRvKP -> KRvK;
  KQRvKQ -> KQvKR;
  KQRvKQ -> KQRvK;
  KQRvKQ -> KQvKQ;
  KRPvKQ -> KQRvKQ;
  KRPvKQ -> KRPvK;
  KRPvKQ -> KRRvKQ;
  KRPvKQ -> KQvKP;
  KRPvKQ -> KRBvKQ;
  KRPvKQ -> KRNvKQ;
  KRPvKQ -> KQvKR;
  KRRvKQ -> KRRvK;
  KRRvKQ -> KQvKR;
  KRRvK -> KRvK;
  KRPvK -> KQRvK;
  KRPvK -> KRRvK;
  KRPvK -> KPvK;
  KRPvK -> KRBvK;
  KRPvK -> KRNvK;
  KRPvK -> KRvK;
  KQRvKRR -> KRRvKR;
  KQRvKRR -> KRRvKQ;
  KQRvKRR -> KQRvKR;
  KRRvKR -> KRvKR;
  KRRvKR -> KRRvK;
  KRPvKR -> KQRvKR;
  KRPvKR -> KRRvKR;
  KRPvKR -> KRvKP;
  KRPvKR -> KRPvK;
  KRPvKR -> KRBvKR;
  KRPvKR -> KRNvKR;
  KRPvKR -> KRvKR;
  KQRvKQR -> KQRvKR;
  KQRvKQR -> KQRvKQ;
  KQRNvKRN -> KRNvKRN;
  KQRNvKRN -> KQNvKRN;
  KQRNvKRN -> KQRNvKN;
  KQRNvKRN -> KQRvKRN;
  KQRNvKRN -> KQRNvKR;
  KQRNvKN -> KRNvKN;
  KQRNvKN -> KQNvKN;
  KQRNvKN -> KQRvKN;
  KQRNvKN -> KQRNvK;
  KQNvKN -> KNvKN;
  KQNvKN -> KQvKN;
  KQNvKN -> KQNvK;
  KNvKN -> KNvK;
  KRNvKN -> KNvKN;
  KRNvKN -> KRvKN;
  KRNvKN -> KRNvK;
  KQNvKRN -> KRNvKN;
  KQNvKRN -> KQNvKN;
  KQNvKRN -> KRNvKQ;
  KQNvKRN -> KQNvKR;
  KRNvKRN -> KRNvKN;
  KRNvKRN -> KRNvKR;
  KQRNvKRB -> KRBvKRN;
  KQRNvKRB -> KQNvKRB;
  KQRNvKRB -> KQRNvKB;
  KQRNvKRB -> KQRNvKR;
  KQRNvKRB -> KQRvKRB;
  KQRNvKB -> KRNvKB;
  KQRNvKB -> KQNvKB;
  KQRNvKB -> KQRNvK;
  KQRNvKB -> KQRvKB;
  KQNvKB -> KBvKN;
  KQNvKB -> KQNvK;
  KQNvKB -> KQvKB;
  KBvKN -> KNvK;
  KBvKN -> KBvK;
  KRNvKB -> KBvKN;
  KRNvKB -> KRNvK;
  KRNvKB -> KRvKB;
  KQNvKRB -> KRBvKN;
  KQNvKRB -> KQNvKB;
  KQNvKRB -> KQNvKR;
  KQNvKRB -> KRBvKQ;
  KRBvKN -> KBvKN;
  KRBvKN -> KRvKN;
  KRBvKN -> KRBvK;
  KRBvKRN -> KRNvKB;
  KRBvKRN -> KRBvKN;
  KRBvKRN -> KRNvKR;
  KRBvKRN -> KRBvKR;
  KQRNvKP -> KQRNvKQ;
  KQRNvKP -> KRNvKP;
  KQRNvKP -> KQRNvKR;
  KQRNvKP -> KQNvKP;
  KQRNvKP -> KQRNvKB;
  KQRNvKP -> KQRNvKN;
  KQRNvKP -> KQRvKP;
  KQRNvKP -> KQRNvK;
  KQNvKP -> KQNvKQ;
  KQNvKP -> KNvKP;
  KQNvKP -> KQNvKR;
  KQNvKP -> KQNvKB;
  KQNvKP -> KQNvKN;
  KQNvKP -> KQvKP;
  KQNvKP -> KQNvK;
  KNvKP -> KQvKN;
  KNvKP -> KRvKN;
  KNvKP -> KBvKN;
  KNvKP -> KNvKN;
  KNvKP -> KPvK;
  KNvKP -> KNvK;
  KQNvKQ -> KQvKN;
  KQNvKQ -> KQNvK;
  KQNvKQ -> KQvKQ;
  KRNvKP -> KRNvKQ;
  KRNvKP -> KRNvKR;
  KRNvKP -> KNvKP;
  KRNvKP -> KRNvKB;
  KRNvKP -> KRNvKN;
  KRNvKP -> KRvKP;
  KRNvKP -> KRNvK;
  KQRNvKQ -> KRNvKQ;
  KQRNvKQ -> KQRNvK;
  KQRNvKQ -> KQNvKQ;
  KQRNvKQ -> KQRvKQ;
  KQNvKRP -> KQRvKQN;
  KQNvKRP -> KRPvKN;
  KQNvKRP -> KQNvKRR;
  KQNvKRP -> KQNvKP;
  KQNvKRP -> KQNvKRB;
  KQNvKRP -> KQNvKRN;
  KQNvKRP -> KRPvKQ;
  KQNvKRP -> KQNvKR;
  KQNvKRR -> KRRvKN;
  KQNvKRR -> KQNvKR;
  KQNvKRR -> KRRvKQ;
  KRRvKN -> KRvKN;
  KRRvKN -> KRRvK;
  KRPvKN -> KQRvKN;
  KRPvKN -> KRRvKN;
  KRPvKN -> KNvKP;
  KRPvKN -> KRBvKN;
  KRPvKN -> KRNvKN;
  KRPvKN -> KRPvK;
  KRPvKN -> KRvKN;
  KQRvKQN -> KQNvKR;
  KQRvKQN -> KQRvKN;
  KQRvKQN -> KQNvKQ;
  KQRvKQN -> KQRvKQ;
  KQRNvKRR -> KRRvKRN;
  KQRNvKRR -> KQNvKRR;
  KQRNvKRR -> KQRNvKR;
  KQRNvKRR -> KQRvKRR;
  KRRvKRN -> KRNvKR;
  KRRvKRN -> KRRvKN;
  KRRvKRN -> KRRvKR;
  KRNvKRP -> KQRvKRN;
  KRNvKRP -> KRRvKRN;
  KRNvKRP -> KRPvKN;
  KRNvKRP -> KRNvKP;
  KRNvKRP -> KRBvKRN;
  KRNvKRP -> KRNvKRN;
  KRNvKRP -> KRPvKR;
  KRNvKRP -> KRNvKR;
  KQRNvKQR -> KQRvKRN;
  KQRNvKQR -> KQRNvKR;
  KQRNvKQR -> KQRvKQN;
  KQRNvKQR -> KQRNvKQ;
  KQRNvKQR -> KQRvKQR;
}