digraph Syzygy {
  KQQPvKRP -> KQQQvKRP;
  KQQPvKRP -> KQQPvKQR;
  KQQPvKRP -> KQPvKRP;
  KQQPvKRP -> KQQRvKRP;
  KQQPvKRP -> KQQPvKRR;
  KQQPvKRP -> KQQPvKP;
  KQQPvKRP -> KQQBvKRP;
  KQQPvKRP -> KQQPvKRB;
  KQQPvKRP -> KQQNvKRP;
  KQQPvKRP -> KQQPvKRN;
  KQQPvKRP -> KQQvKRP;
  KQQPvKRP -> KQQPvKR;
  KQQPvKR -> KQQQvKR;
  KQQPvKR -> KQPvKR;
  KQQPvKR -> KQQRvKR;
  KQQPvKR -> KQQPvK;
  KQQPvKR -> KQQBvKR;
  KQQPvKR -> KQQNvKR;
  KQQPvKR -> KQQvKR;
  KQQvKR -> KQvKR;
  KQQvKR -> KQQvK;
  KQQvK -> KQvK;
  KQvKR -> KRvK;
  KQvKR -> KQvK;
  KQQNvKR -> KQNvKR;
  KQQNvKR -> KQQNvK;
  KQQNvKR -> KQQvKR;
  KQQNvK -> KQNvK;
  KQQNvK -> KQQvK;
  KQNvK -> KNvK;
  KQNvK -> KQvK;
  KQNvKR -> KRvKN;
  KQNvKR -> KQNvK;
  KQNvKR -> KQvKR;
  KRvKN -> KNvK;
  KRvKN -> KRvK;
  KQQBvKR -> KQBvKR;
  KQQBvKR -> KQQBvK;
  KQQBvKR -> KQQvKR;
  KQQBvK -> KQBvK;
  KQQBvK -> KQQvK;
  KQBvK -> KBvK;
  KQBvK -> KQvK;
  KQBvKR -> KRvKB;
  KQBvKR -> KQBvK;
  KQBvKR -> KQvKR;
  KRvKB -> KBvK;
  KRvKB -> KRvK;
  KQQPvK -> KQQQvK;
  KQQPvK -> KQPvK;
  KQQPvK -> KQQRvK;
  KQQPvK -> KQQBvK;
  KQQPvK -> KQQNvK;
  KQQPvK -> KQQvK;
  KQQRvK -> KQRvK;
  KQQRvK -> KQQvK;
  KQRvK -> KRvK;
  KQRvK -> KQvK;
  KQPvK -> KQQvK;
  KQPvK -> KPvK;
  KQPvK -> KQRvK;
  KQPvK -> KQBvK;
  KQPvK -> KQNvK;
  KQPvK -> KQvK;
  KPvK -> KQvK;
  KPvK -> KRvK;
  KPvK -> KBvK;
  KPvK -> KNvK;
  KQQQvK -> KQQvK;
  KQQRvKR -> KQRvKR;
  KQQRvKR -> KQQvKR;
  KQQRvKR -> KQQRvK;
  KQRvKR -> KRvKR;
  KQRvKR -> KQvKR;
  KQRvKR -> KQRvK;
  KRvKR -> KRvK;
  KQPvKR -> KQQvKR;
  KQPvKR -> KRvKP;
  KQPvKR -> KQRvKR;
  KQPvKR -> KQPvK;
  KQPvKR -> KQBvKR;
  KQPvKR -> KQNvKR;
  KQPvKR -> KQvKR;
  KRvKP -> KQvKR;
  KRvKP -> KRvKR;
  KRvKP -> KPvK;
  KRvKP -> KRvKB;
  KRvKP -> KRvKN;
  KRvKP -> KRvK;
  KQQQvKR -> KQQvKR;
  KQQQvKR -> KQQQvK;
  KQQvKRP -> KQQvKQR;
  KQQvKRP -> KRPvKQ;
  KQQvKRP -> KQQvKRR;
  KQQvKRP -> KQQvKP;
  KQQvKRP -> KQQvKRB;
  KQQvKRP -> KQQvKRN;
  KQQvKRP -> KQQvKR;
  KQQvKRN -> KRNvKQ;
  KQQvKRN -> KQQvKN;
  KQQvKRN -> KQQvKR;
  KQQvKN -> KQvKN;
  KQQvKN -> KQQvK;
  KQvKN -> KNvK;
  KQvKN -> KQvK;
  KRNvKQ -> KRNvK;
  KRNvKQ -> KQvKN;
  KRNvKQ -> KQvKR;
  KRNvK -> KNvK;
  KRNvK -> KRvK;
  KQQvKRB -> KRBvKQ;
  KQQvKRB -> KQQvKB;
  KQQvKRB -> KQQvKR;
  KQQvKB -> KQvKB;
  KQQvKB -> KQQvK;
  KQvKB -> KBvK;
  KQvKB -> KQvK;
  KRBvKQ -> KRBvK;
  KRBvKQ -> KQvKB;
  KRBvKQ -> KQvKR;
  KRBvK -> KBvK;
  KRBvK -> KRvK;
  KQQvKP -> KQQvKQ;
  KQQvKP -> KQvKP;
  KQQvKP -> KQQvKR;
  KQQvKP -> KQQvKB;
  KQQvKP -> KQQvKN;
  KQQvKP -> KQQvK;
  KQvKP -> KQvKQ;
  KQvKP -> KPvK;
  KQvKP -> KQvKR;
  KQvKP -> KQvKB;
  KQvKP -> KQvKN;
  KQvKP -> KQvK;
  KQvKQ -> KQvK;
  KQQvKQ -> KQvKQ;
  KQQvKQ -> KQQvK;
  KQQvKRR -> KRRvKQ;
  KQQvKRR -> KQQvKR;
  KRRvKQ -> KRRvK;
  KRRvKQ -> KQvKR;
  KRRvK -> KRvK;
  KRPvKQ -> KQRvKQ;
  KRPvKQ -> KRPvK;
  KRPvKQ -> KRRvKQ;
  KRPvKQ -> KQvKP;
  KRPvKQ -> KRBvKQ;
  KRPvKQ -> KRNvKQ;
  KRPvKQ -> KQvKR;
  KRPvK -> KQRvK;
  KRPvK -> KRRvK;
  KRPvK -> KPvK;
  KRPvK -> KRBvK;
  KRPvK -> KRNvK;
  KRPvK -> KRvK;
  KQRvKQ -> KQvKR;
  KQRvKQ -> KQRvK;
  KQRvKQ -> KQvKQ;
  KQQvKQR -> KQRvKQ;
  KQQvKQR -> KQQvKR;
  KQQvKQR -> KQQvKQ;
  KQQPvKRN -> KQQQvKRN;
  KQQPvKRN -> KQPvKRN;
  KQQPvKRN -> KQQRvKRN;
  KQQPvKRN -> KQQPvKN;
  KQQPvKRN -> KQQBvKRN;
  KQQPvKRN -> KQQNvKRN;
  KQQPvKRN -> KQQPvKR;
  KQQPvKRN -> KQQvKRN;
  KQQNvKRN -> KQNvKRN;
  KQQNvKRN -> KQQNvKN;
  KQQNvKRN -> KQQvKRN;
  KQQNvKRN -> KQQNvKR;
  KQQNvKN -> KQNvKN;
  KQQNvKN -> KQQvKN;
  KQQNvKN -> KQQNvK;
  KQNvKN -> KNvKN;
  KQNvKN -> KQvKN;
  KQNvKN -> KQNvK;
  KNvKN -> KNvK;
  KQNvKRN -> KRNvKN;
  KQNvKRN -> KQNvKN;
  KQNvKRN -> KRNvKQ;
  KQNvKRN -> KQNvKR;
  KRNvKN -> KNvKN;
  KRNvKN -> KRvKN;
  KRNvKN -> KRNvK;
  KQQBvKRN -> KQBvKRN;
  KQQBvKRN -> KQQBvKN;
  KQQBvKRN -> KQQvKRN;
  KQQBvKRN -> KQQBvKR;
  KQQBvKN -> KQBvKN;
  KQQBvKN -> KQQvKN;
  KQQBvKN -> KQQBvK;
  KQBvKN -> KBvKN;
  KQBvKN -> KQvKN;
  KQBvKN -> KQBvK;
  KBvKN -> KNvK;
  KBvKN -> KBvK;
  KQBvKRN -> KRNvKB;
  KQBvKRN -> KQBvKN;
  KQBvKRN -> KRNvKQ;
  KQBvKRN -> KQBvKR;
  KRNvKB -> KBvKN;
  KRNvKB -> KRNvK;
  KRNvKB -> KRvKB;
  KQQPvKN -> KQQQvKN;
  KQQPvKN -> KQPvKN;
  KQQPvKN -> KQQRvKN;
  KQQPvKN -> KQQBvKN;
  KQQPvKN -> KQQNvKN;
  KQQPvKN -> KQQPvK;
  KQQPvKN -> KQQvKN;
  KQQRvKN -> KQRvKN;
  KQQRvKN -> KQQvKN;
  KQQRvKN -> KQQRvK;
  KQRvKN -> KRvKN;
  KQRvKN -> KQvKN;
  KQRvKN -> KQRvK;
  KQPvKN -> KQQvKN;
  KQPvKN -> KNvKP;
  KQPvKN -> KQRvKN;
  KQPvKN -> KQBvKN;
  KQPvKN -> KQNvKN;
  KQPvKN -> KQPvK;
  KQPvKN -> KQvKN;
  KNvKP -> KQvKN;
  KNvKP -> KRvKN;
  KNvKP -> KBvKN;
  KNvKP -> KNvKN;
  KNvKP -> KPvK;
  KNvKP -> KNvK;
  KQQQvKN -> KQQvKN;
  KQQQvKN -> KQQQvK;
  KQQRvKRN -> KQRvKRN;
  KQQRvKRN -> KQQvKRN;
  KQQRvKRN -> KQQRvKN;
  KQQRvKRN -> KQQRvKR;
  KQRvKRN -> KRNvKR;
  KQRvKRN -> KRNvKQ;
  KQRvKRN -> KQRvKN;
  KQRvKRN -> KQRvKR;
  KRNvKR -> KRvKN;
  KRNvKR -> KRNvK;
  KRNvKR -> KRvKR;
  KQPvKRN -> KQQvKRN;
  KQPvKRN -> KRNvKP;
  KQPvKRN -> KQRvKRN;
  KQPvKRN -> KQPvKN;
  KQPvKRN -> KQBvKRN;
  KQPvKRN -> KQNvKRN;
  KQPvKRN -> KQPvKR;
  KQPvKRN -> KRNvKQ;
  KRNvKP -> KRNvKQ;
  KRNvKP -> KRNvKR;
  KRNvKP -> KNvKP;
  KRNvKP -> KRNvKB;
  KRNvKP -> KRNvKN;
  KRNvKP -> KRvKP;
  KRNvKP -> KRNvK;
  KQQQvKRN -> KQQvKRN;
  KQQQvKRN -> KQQQvKN;
  KQQQvKRN -> KQQQvKR;
  KQQNvKRP -> KQQNvKQR;
  KQQNvKRP -> KQNvKRP;
  KQQNvKRP -> KQQNvKRR;
  KQQNvKRP -> KQQNvKP;
  KQQNvKRP -> KQQNvKRB;
  KQQNvKRP -> KQQNvKRN;
  KQQNvKRP -> KQQvKRP;
  KQQNvKRP -> KQQNvKR;
  KQQNvKRB -> KQNvKRB;
  KQQNvKRB -> KQQNvKB;
  KQQNvKRB -> KQQNvKR;
  KQQNvKRB -> KQQvKRB;
  KQQNvKB -> KQNvKB;
  KQQNvKB -> KQQNvK;
  KQQNvKB -> KQQvKB;
  KQNvKB -> KBvKN;
  KQNvKB -> KQNvK;
  KQNvKB -> KQvKB;
  KQNvKRB -> KRBvKN;
  KQNvKRB -> KQNvKB;
  KQNvKRB -> KQNvKR;
  KQNvKRB -> KRBvKQ;
  KRBvKN -> KBvKN;
  KRBvKN -> KRvKN;
  KRBvKN -> KRBvK;
  KQQNvKP -> KQQNvKQ;
  KQQNvKP -> KQNvKP;
  KQQNvKP -> KQQNvKR;
  KQQNvKP -> KQQNvKB;
  KQQNvKP -> KQQNvKN;
  KQQNvKP -> KQQvKP;
  KQQNvKP -> KQQNvK;
  KQNvKP -> KQNvKQ;
  KQNvKP -> KNvKP;
  KQNvKP -> KQNvKR;
  KQNvKP -> KQNvKB;
  KQNvKP -> KQNvKN;
  KQNvKP -> KQvKP;
  KQNvKP -> KQNvK;
  KQNvKQ -> KQvKN;
  KQNvKQ -> KQNvK;
  KQNvKQ -> KQvKQ;
  KQQNvKQ -> KQNvKQ;
  KQQNvKQ -> KQQNvK;
  KQQNvKQ -> KQQvKQ;
  KQQNvKRR -> KQNvKRR;
  KQQNvKRR -> KQQNvKR;
  KQQNvKRR -> KQQvKRR;
  KQNvKRR -> KRRvKN;
  KQNvKRR -> KQNvKR;
  KQNvKRR -> KRRvKQ;
  KRRvKN -> KRvKN;
  KRRvKN -> KRRvK;
  KQNvKRP -> KQRvKQN;
  KQNvKRP -> KRPvKN;
  KQNvKRP -> KQNvKRR;
  KQNvKRP -> KQNvKP;
  KQNvKRP -> KQNvKRB;
  KQNvKRP -> KQNvKRN;
  KQNvKRP -> KRPvKQ;
  KQNvKRP -> KQNvKR;
  KRPvKN -> KQRvKN;
  KRPvKN -> KRRvKN;
  KRPvKN -> KNvKP;
  KRPvKN -> KRBvKN;
  KRPvKN -> KRNvKN;
  KRPvKN -> KRPvK;
  KRPvKN -> KRvKN;
  KQRvKQN -> KQNvKR;
  KQRvKQN -> KQRvKN;
  KQRvKQN -> KQNvKQ;
  KQRvKQN -> KQRvKQ;
  KQQNvKQR -> KQRvKQN;
  KQQNvKQR -> KQQNvKR;
  KQQNvKQR -> KQQNvKQ;
  KQQNvKQR -> KQQvKQR;
  KQQPvKRB -> KQQQvKRB;
  KQQPvKRB -> KQPvKRB;
  KQQPvKRB -> KQQRvKRB;
  KQQPvKRB -> KQQPvKB;
  KQQPvKRB -> KQQBvKRB;
  KQQPvKRB -> KQQPvKR;
  KQQPvKRB -> KQQNvKRB;
  KQQPvKRB -> KQQvKRB;
  KQQBvKRB -> KQBvKRB;
  KQQBvKRB -> KQQBvKB;
  KQQBvKRB -> KQQvKRB;
  KQQBvKRB -> KQQBvKR;
  KQQBvKB -> KQBvKB;
  KQQBvKB -> KQQvKB;
  KQQBvKB -> KQQBvK;
  KQBvKB -> KBvKB;
  KQBvKB -> KQvKB;
  KQBvKB -> KQBvK;
  KBvKB -> KBvK;
  KQBvKRB -> KRBvKB;
  KQBvKRB -> KQBvKB;
  KQBvKRB -> KRBvKQ;
  KQBvKRB -> KQBvKR;
  KRBvKB -> KBvKB;
  KRBvKB -> KRvKB;
  KRBvKB -> KRBvK;
  KQQPvKB -> KQQQvKB;
  KQQPvKB -> KQPvKB;
  KQQPvKB -> KQQRvKB;
  KQQPvKB -> KQQBvKB;
  KQQPvKB -> KQQPvK;
  KQQPvKB -> KQQNvKB;
  KQQPvKB -> KQQvKB;
  KQQRvKB -> KQRvKB;
  KQQRvKB -> KQQvKB;
  KQQRvKB -> KQQRvK;
  KQRvKB -> KRvKB;
  KQRvKB -> KQvKB;
  KQRvKB -> KQRvK;
  KQPvKB -> KQQvKB;
  KQPvKB -> KBvKP;
  KQPvKB -> KQRvKB;
  KQPvKB -> KQBvKB;
  KQPvKB -> KQPvK;
  KQPvKB -> KQNvKB;
  KQPvKB -> KQvKB;
  KBvKP -> KQvKB;
  KBvKP -> KRvKB;
  KBvKP -> KBvKB;
  KBvKP -> KPvK;
  KBvKP -> KBvKN;
  KBvKP -> KBvK;
  KQQQvKB -> KQQvKB;
  KQQQvKB -> KQQQvK;
  KQQRvKRB -> KQRvKRB;
  KQQRvKRB -> KQQvKRB;
  KQQRvKRB -> KQQRvKB;
  KQQRvKRB -> KQQRvKR;
  KQRvKRB -> KRBvKR;
  KQRvKRB -> KRBvKQ;
  KQRvKRB -> KQRvKB;
  KQRvKRB -> KQRvKR;
  KRBvKR -> KRvKB;
  KRBvKR -> KRBvK;
  KRBvKR -> KRvKR;
  KQPvKRB -> KQQvKRB;
  KQPvKRB -> KRBvKP;
  KQPvKRB -> KQRvKRB;
  KQPvKRB -> KQPvKB;
  KQPvKRB -> KQBvKRB;
  KQPvKRB -> KQPvKR;
  KQPvKRB -> KQNvKRB;
  KQPvKRB -> KRBvKQ;
  KRBvKP -> KRBvKQ;
  KRBvKP -> KRBvKR;
  KRBvKP -> KBvKP;
  KRBvKP -> KRBvKB;
  KRBvKP -> KRvKP;
  KRBvKP -> KRBvKN;
  KRBvKP -> KRBvK;
  KQQQvKRB -> KQQvKRB;
  KQQQvKRB -> KQQQvKB;
  KQQQvKRB -> KQQQvKR;
  KQQBvKRP -> KQQBvKQR;
  KQQBvKRP -> KQBvKRP;
  KQQBvKRP -> KQQBvKRR;
  KQQBvKRP -> KQQBvKP;
  KQQBvKRP -> KQQBvKRB;
  KQQBvKRP -> KQQvKRP;
  KQQBvKRP -> KQQBvKRN;
  KQQBvKRP -> KQQBvKR;
  KQQBvKP -> KQQBvKQ;
  KQQBvKP -> KQBvKP;
  KQQBvKP -> KQQBvKR;
  KQQBvKP -> KQQBvKB;
  KQQBvKP -> KQQvKP;
  KQQBvKP -> KQQBvKN;
  KQQBvKP -> KQQBvK;
  KQBvKP -> KQBvKQ;
  KQBvKP -> KBvKP;
  KQBvKP -> KQBvKR;
  KQBvKP -> KQBvKB;
  KQBvKP -> KQvKP;
  KQBvKP -> KQBvKN;
  KQBvKP -> KQBvK;
  KQBvKQ -> KQvKB;
  KQBvKQ -> KQBvK;
  KQBvKQ -> KQvKQ;
  KQQBvKQ -> KQBvKQ;
  KQQBvKQ -> KQQBvK;
  KQQBvKQ -> KQQvKQ;
  KQQBvKRR -> KQBvKRR;
  KQQBvKRR -> KQQBvKR;
  KQQBvKRR -> KQQvKRR;
  KQBvKRR -> KRRvKB;
  KQBvKRR -> KQBvKR;
  KQBvKRR -> KRRvKQ;
  KRRvKB -> KRvKB;
  KRRvKB -> KRRvK;
  KQBvKRP -> KQRvKQB;
  KQBvKRP -> KRPvKB;
  KQBvKRP -> KQBvKRR;
  KQBvKRP -> KQBvKP;
  KQBvKRP -> KQBvKRB;
  KQBvKRP -> KRPvKQ;
  KQBvKRP -> KQBvKRN;
  KQBvKRP -> KQBvKR;
  KRPvKB -> KQRvKB;
  KRPvKB -> KRRvKB;
  KRPvKB -> KBvKP;
  KRPvKB -> KRBvKB;
  KRPvKB -> KRPvK;
  KRPvKB -> KRNvKB;
  KRPvKB -> KRvKB;
  KQRvKQB -> KQBvKR;
  KQRvKQB -> KQRvKB;
  KQRvKQB -> KQBvKQ;
  KQRvKQB -> KQRvKQ;
  KQQBvKQR -> KQRvKQB;
  KQQBvKQR -> KQQBvKR;
  KQQBvKQR -> KQQBvKQ;
  KQQBvKQR -> KQQvKQR;
  KQQPvKP -> KQQQvKP;
  KQQPvKP -> KQQPvKQ;
  KQQPvKP -> KQPvKP;
  KQQPvKP -> KQQRvKP;
  KQQPvKP -> KQQPvKR;
  KQQPvKP -> KQQBvKP;
  KQQPvKP -> KQQPvKB;
  KQQPvKP -> KQQNvKP;
  KQQPvKP -> KQQPvKN;
  KQQPvKP -> KQQvKP;
  KQQPvKP -> KQQPvK;
  KQQRvKP -> KQQRvKQ;
  KQQRvKP -> KQRvKP;
  KQQRvKP -> KQQRvKR;
  KQQRvKP -> KQQvKP;
  KQQRvKP -> KQQRvKB;
  KQQRvKP -> KQQRvKN;
  KQQRvKP -> KQQRvK;
  KQRvKP -> KQRvKQ;
  KQRvKP -> KRvKP;
  KQRvKP -> KQRvKR;
  KQRvKP -> KQvKP;
  KQRvKP -> KQRvKB;
  KQRvKP -> KQRvKN;
  KQRvKP -> KQRvK;
  KQQRvKQ -> KQRvKQ;
  KQQRvKQ -> KQQRvK;
  KQQRvKQ -> KQQvKQ;
  KQPvKP -> KQQvKP;
  KQPvKP -> KQPvKQ;
  KQPvKP -> KPvKP;
  KQPvKP -> KQRvKP;
  KQPvKP -> KQPvKR;
  KQPvKP -> KQBvKP;
  KQPvKP -> KQPvKB;
  KQPvKP -> KQNvKP;
  KQPvKP -> KQPvKN;
  KQPvKP -> KQvKP;
  KQPvKP -> KQPvK;
  KPvKP -> KQvKP;
  KPvKP -> KRvKP;
  KPvKP -> KBvKP;
  KPvKP -> KNvKP;
  KPvKP -> KPvK;
  KQPvKQ -> KQQvKQ;
  KQPvKQ -> KQvKP;
  KQPvKQ -> KQPvK;
  KQPvKQ -> KQRvKQ;
  KQPvKQ -> KQBvKQ;
  KQPvKQ -> KQNvKQ;
  KQPvKQ -> KQvKQ;
  KQQPvKQ -> KQQQvKQ;
  KQQPvKQ -> KQPvKQ;
  KQQPvKQ -> KQQPvK;
  KQQPvKQ -> KQQRvKQ;
  KQQPvKQ -> KQQBvKQ;
  KQQPvKQ -> KQQNvKQ;
  KQQPvKQ -> KQQvKQ;
  KQQQvKQ -> KQQvKQ;
  KQQQvKQ -> KQQQvK;
  KQQQvKP -> KQQQvKQ;
  KQQQvKP -> KQQvKP;
  KQQQvKP -> KQQQvKR;
  KQQQvKP -> KQQQvKB;
  KQQQvKP -> KQQQvKN;
  KQQQvKP -> KQQQvK;
  KQQPvKRR -> KQQQvKRR;
  KQQPvKRR -> KQPvKRR;
  KQQPvKRR -> KQQRvKRR;
  KQQPvKRR -> KQQPvKR;
  KQQPvKRR -> KQQBvKRR;
  KQQPvKRR -> KQQNvKRR;
  KQQPvKRR -> KQQvKRR;
  KQQRvKRR -> KQRvKRR;
  KQQRvKRR -> KQQvKRR;
  KQQRvKRR -> KQQRvKR;
  KQRvKRR -> KRRvKR;
  KQRvKRR -> KRRvKQ;
  KQRvKRR -> KQRvKR;
  KRRvKR -> KRvKR;
  KRRvKR -> KRRvK;
  KQPvKRR -> KQQvKRR;
  KQPvKRR -> KRRvKP;
  KQPvKRR -> KQRvKRR;
  KQPvKRR -> KQPvKR;
  KQPvKRR -> KQBvKRR;
  KQPvKRR -> KQNvKRR;
  KQPvKRR -> KRRvKQ;
  KRRvKP -> KRRvKQ;
  KRRvKP -> KRRvKR;
  KRRvKP -> KRvKP;
  KRRvKP -> KRRvKB;
  KRRvKP -> KRRvKN;
  KRRvKP -> KRRvK;
  KQQQvKRR -> KQQvKRR;
  KQQQvKRR -> KQQQvKR;
  KQQRvKRP -> KQQRvKQR;
  KQQRvKRP -> KQRvKRP;
  KQQRvKRP -> KQQRvKRR;
  KQQRvKRP -> KQQvKRP;
  KQQRvKRP -> KQQRvKP;
  KQQRvKRP -> KQQRvKRB;
  KQQRvKRP -> KQQRvKRN;
  KQQRvKRP -> KQQRvKR;
  KQRvKRP -> KQRvKQR;
  KQRvKRP -> KRPvKR;
  KQRvKRP -> KQRvKRR;
  KQRvKRP -> KRPvKQ;
  KQRvKRP -> KQRvKP;
  KQRvKRP -> KQRvKRB;
  KQRvKRP -> KQRvKRN;
  KQRvKRP -> KQRvKR;
  KRPvKR -> KQRvKR;
  KRPvKR -> KRRvKR;
  KRPvKR -> KRvKP;
  KRPvKR -> KRPvK;
  KRPvKR -> KRBvKR;
  KRPvKR -> KRNvKR;
  KRPvKR -> KRvKR;
  KQRvKQR -> KQRvKR;
  KQRvKQR -> KQRvKQ;
  KQQRvKQR -> KQRvKQR;
  KQQRvKQR -> KQQRvKR;
  KQQRvKQR -> KQQvKQR;
  KQQRvKQR -> KQQRvKQ;
  KQPvKRP -> KQQvKRP;
  KQPvKRP -> KQRvKQP;
  KQPvKRP -> KRPvKP;
  KQPvKRP -> KQRvKRP;
  KQPvKRP -> KQPvKRR;
  KQPvKRP -> KQPvKP;
  KQPvKRP -> KQBvKRP;
  KQPvKRP -> KQPvKRB;
  KQPvKRP -> KQNvKRP;
  KQPvKRP -> KQPvKRN;
  KQPvKRP -> KRPvKQ;
  KQPvKRP -> KQPvKR;
  KRPvKP -> KQRvKP;
  KRPvKP -> KRPvKQ;
  KRPvKP -> KRRvKP;
  KRPvKP -> KRPvKR;
  KRPvKP -> KPvKP;
  KRPvKP -> KRBvKP;
  KRPvKP -> KRPvKB;
  KRPvKP -> KRNvKP;
  KRPvKP -> KRPvKN;
  KRPvKP -> KRvKP;
  KRPvKP -> KRPvK;
  KQRvKQP -> KQQvKQR;
  KQRvKQP -> KQPvKR;
  KQRvKQP -> KQRvKP;
  KQRvKQP -> KQRvKQR;
  KQRvKQP -> KQPvKQ;
  KQRvKQP -> KQRvKQB;
  KQRvKQP -> KQRvKQN;
  KQRvKQP -> KQRvKQ;
  KQQPvKQR -> KQQQvKQR;
  KQQPvKQR -> KQRvKQP;
  KQQPvKQR -> KQQPvKR;
  KQQPvKQR -> KQQRvKQR;
  KQQPvKQR -> KQQPvKQ;
  KQQPvKQR -> KQQBvKQR;
  KQQPvKQR -> KQQNvKQR;
  KQQPvKQR -> KQQvKQR;
  KQQQvKQR -> KQQvKQR;
  KQQQvKQR -> KQQQvKR;
  KQQQvKQR -> KQQQvKQ;
  KQQQvKRP -> KQQQvKQR;
  KQQQvKRP -> KQQvKRP;
  KQQQvKRP -> KQQQvKRR;
  KQQQvKRP -> KQQQvKP;
  KQQQvKRP -> KQQQvKRB;
  KQQQvKRP -> KQQQvKRN;
  KQQQvKRP -> KQQQvKR;
}