digraph Syzygy {
  KQPvKRP -> KQQvKRP;
  KQPvKRP -> KQRvKQP;
  KQPvKRP -> KRPvKP;
  KQPvKRP -> KQRvKRP;
  KQPvKRP -> KQPvKRR;
  KQPvKRP -> KQPvKP;
  KQPvKRP -> KQBvKRP;
  KQPvKRP -> KQPvKRB;
  KQPvKRP -> KQNvKRP;
  KQPvKRP -> KQPvKRN;
  KQPvKRP -> KRPvKQ;
  KQPvKRP -> KQPvKR;
  KQPvKR -> KQQvKR;
  KQPvKR -> KRvKP;
  KQPvKR -> KQRvKR;
  KQPvKR -> KQPvK;
  KQPvKR -> KQBvKR;
  KQPvKR -> KQNvKR;
  KQPvKR -> KQvKR;
  KQvKR -> KRvK;
  KQvKR -> KQvK;
  KQNvKR -> KRvKN;
  KQNvKR -> KQNvK;
  KQNvKR -> KQvKR;
  KQNvK -> KNvK;
  KQNvK -> KQvK;
  KRvKN -> KNvK;
  KRvKN -> KRvK;
  KQBvKR -> KRvKB;
  KQBvKR -> KQBvK;
  KQBvKR -> KQvKR;
  KQBvK -> KBvK;
  KQBvK -> KQvK;
  KRvKB -> KBvK;
  KRvKB -> KRvK;
  KQPvK -> KQQvK;
  KQPvK -> KPvK;
  KQPvK -> KQRvK;
  KQPvK -> KQBvK;
  KQPvK -> KQNvK;
  KQPvK -> KQvK;
  KQRvK -> KRvK;
  KQRvK -> KQvK;
  KPvK -> KQvK;
  KPvK -> KRvK;
  KPvK -> KBvK;
  KPvK -> KNvK;
  KQQvK -> KQvK;
  KQRvKR -> KRvKR;
  KQRvKR -> KQvKR;
  KQRvKR -> KQRvK;
  KRvKR -> KRvK;
  KRvKP -> KQvKR;
  KRvKP -> KRvKR;
  KRvKP -> KPvK;
  KRvKP -> KRvKB;
  KRvKP -> KRvKN;
  KRvKP -> KRvK;
  KQQvKR -> KQvKR;
  KQQvKR -> KQQvK;
  KRPvKQ -> KQRvKQ;
  KRPvKQ -> KRPvK;
  KRPvKQ -> KRRvKQ;
  KRPvKQ -> KQvKP;
  KRPvKQ -> KRBvKQ;
  KRPvKQ -> KRNvKQ;
  KRPvKQ -> KQvKR;
  KRNvKQ -> KRNvK;
  KRNvKQ -> KQvKN;
  KRNvKQ -> KQvKR;
  KQvKN -> KNvK;
  KQvKN -> KQvK;
  KRNvK -> KNvK;
  KRNvK -> KRvK;
  KRBvKQ -> KRBvK;
  KRBvKQ -> KQvKB;
  KRBvKQ -> KQvKR;
  KQvKB -> KBvK;
  KQvKB -> KQvK;
  KRBvK -> KBvK;
  KRBvK -> KRvK;
  KQvKP -> KQvKQ;
  KQvKP -> KPvK;
  KQvKP -> KQvKR;
  KQvKP -> KQvKB;
  KQvKP -> KQvKN;
  KQvKP -> KQvK;
  KQvKQ -> KQvK;
  KRRvKQ -> KRRvK;
  KRRvKQ -> KQvKR;
  KRRvK -> KRvK;
  KRPvK -> KQRvK;
  KRPvK -> KRRvK;
  KRPvK -> KPvK;
  KRPvK -> KRBvK;
  KRPvK -> KRNvK;
  KRPvK -> KRvK;
  KQRvKQ -> KQvKR;
  KQRvKQ -> KQRvK;
  KQRvKQ -> KQvKQ;
  KQPvKRN -> KQQvKRN;
  KQPvKRN -> KRNvKP;
  KQPvKRN -> KQRvKRN;
  KQPvKRN -> KQPvKN;
  KQPvKRN -> KQBvKRN;
  KQPvKRN -> KQNvKRN;
  KQPvKRN -> KQPvKR;
  KQPvKRN -> KRNvKQ;
  KQNvKRN -> KRNvKN;
  KQNvKRN -> KQNvKN;
  KQNvKRN -> KRNvKQ;
  KQNvKRN -> KQNvKR;
  KQNvKN -> KNvKN;
  KQNvKN -> KQvKN;
  KQNvKN -> KQNvK;
  KNvKN -> KNvK;
  KRNvKN -> KNvKN;
  KRNvKN -> KRvKN;
  KRNvKN -> KRNvK;
  KQBvKRN -> KRNvKB;
  KQBvKRN -> KQBvKN;
  KQBvKRN -> KRNvKQ;
  KQBvKRN -> KQBvKR;
  KQBvKN -> KBvKN;
  KQBvKN -> KQvKN;
  KQBvKN -> KQBvK;
  KBvKN -> KNvK;
  KBvKN -> KBvK;
  KRNvKB -> KBvKN;
  KRNvKB -> KRNvK;
  KRNvKB -> KRvKB;
  KQPvKN -> KQQvKN;
  KQPvKN -> KNvKP;
  KQPvKN -> KQRvKN;
  KQPvKN -> KQBvKN;
  KQPvKN -> KQNvKN;
  KQPvKN -> KQPvK;
  KQPvKN -> KQvKN;
  KQRvKN -> KRvKN;
  KQRvKN -> KQvKN;
  KQRvKN -> KQRvK;
  KNvKP -> KQvKN;
  KNvKP -> KRvKN;
  KNvKP -> KBvKN;
  KNvKP -> KNvKN;
  KNvKP -> KPvK;
  KNvKP -> KNvK;
  KQQvKN -> KQvKN;
  KQQvKN -> KQQvK;
  KQRvKRN -> KRNvKR;
  KQRvKRN -> KRNvKQ;
  KQRvKRN -> KQRvKN;
  KQRvKRN -> KQRvKR;
  KRNvKR -> KRvKN;
  KRNvKR -> KRNvK;
  KRNvKR -> KRvKR;
  KRNvKP -> KRNvKQ;
  KRNvKP -> KRNvKR;
  KRNvKP -> KNvKP;
  KRNvKP -> KRNvKB;
  KRNvKP -> KRNvKN;
  KRNvKP -> KRvKP;
  KRNvKP -> KRNvK;
  KQQvKRN -> KRNvKQ;
  KQQvKRN -> KQQvKN;
  KQQvKRN -> KQQvKR;
  KQNvKRP -> KQRvKQN;
  KQNvKRP -> KRPvKN;
  KQNvKRP -> KQNvKRR;
  KQNvKRP -> KQNvKP;
  KQNvKRP -> KQNvKRB;
  KQNvKRP -> KQNvKRN;
  KQNvKRP -> KRPvKQ;
  KQNvKRP -> KQNvKR;
  KQNvKRB -> KRBvKN;
  KQNvKRB -> KQNvKB;
  KQNvKRB -> KQNvKR;
  KQNvKRB -> KRBvKQ;
  KQNvKB -> KBvKN;
  KQNvKB -> KQNvK;
  KQNvKB -> KQvKB;
  KRBvKN -> KBvKN;
  KRBvKN -> KRvKN;
  KRBvKN -> KRBvK;
  KQNvKP -> KQNvKQ;
  KQNvKP -> KNvKP;
  KQNvKP -> KQNvKR;
  KQNvKP -> KQNvKB;
  KQNvKP -> KQNvKN;
  KQNvKP -> KQvKP;
  KQNvKP -> KQNvK;
  KQNvKQ -> KQvKN;
  KQNvKQ -> KQNvK;
  KQNvKQ -> KQvKQ;
  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;
  KQPvKRB -> KQQvKRB;
  KQPvKRB -> KRBvKP;
  KQPvKRB -> KQRvKRB;
  KQPvKRB -> KQPvKB;
  KQPvKRB -> KQBvKRB;
  KQPvKRB -> KQPvKR;
  KQPvKRB -> KQNvKRB;
  KQPvKRB -> KRBvKQ;
  KQBvKRB -> KRBvKB;
  KQBvKRB -> KQBvKB;
  KQBvKRB -> KRBvKQ;
  KQBvKRB -> KQBvKR;
  KQBvKB -> KBvKB;
  KQBvKB -> KQvKB;
  KQBvKB -> KQBvK;
  KBvKB -> KBvK;
  KRBvKB -> KBvKB;
  KRBvKB -> KRvKB;
  KRBvKB -> KRBvK;
  KQPvKB -> KQQvKB;
  KQPvKB -> KBvKP;
  KQPvKB -> KQRvKB;
  KQPvKB -> KQBvKB;
  KQPvKB -> KQPvK;
  KQPvKB -> KQNvKB;
  KQPvKB -> KQvKB;
  KQRvKB -> KRvKB;
  KQRvKB -> KQvKB;
  KQRvKB -> KQRvK;
  KBvKP -> KQvKB;
  KBvKP -> KRvKB;
  KBvKP -> KBvKB;
  KBvKP -> KPvK;
  KBvKP -> KBvKN;
  KBvKP -> KBvK;
  KQQvKB -> KQvKB;
  KQQvKB -> KQQvK;
  KQRvKRB -> KRBvKR;
  KQRvKRB -> KRBvKQ;
  KQRvKRB -> KQRvKB;
  KQRvKRB -> KQRvKR;
  KRBvKR -> KRvKB;
  KRBvKR -> KRBvK;
  KRBvKR -> KRvKR;
  KRBvKP -> KRBvKQ;
  KRBvKP -> KRBvKR;
  KRBvKP -> KBvKP;
  KRBvKP -> KRBvKB;
  KRBvKP -> KRvKP;
  KRBvKP -> KRBvKN;
  KRBvKP -> KRBvK;
  KQQvKRB -> KRBvKQ;
  KQQvKRB -> KQQvKB;
  KQQvKRB -> KQQvKR;
  KQBvKRP -> KQRvKQB;
  KQBvKRP -> KRPvKB;
  KQBvKRP -> KQBvKRR;
  KQBvKRP -> KQBvKP;
  KQBvKRP -> KQBvKRB;
  KQBvKRP -> KRPvKQ;
  KQBvKRP -> KQBvKRN;
  KQBvKRP -> KQBvKR;
  KQBvKP -> KQBvKQ;
  KQBvKP -> KBvKP;
  KQBvKP -> KQBvKR;
  KQBvKP -> KQBvKB;
  KQBvKP -> KQvKP;
  KQBvKP -> KQBvKN;
  KQBvKP -> KQBvK;
  KQBvKQ -> KQvKB;
  KQBvKQ -> KQBvK;
  KQBvKQ -> KQvKQ;
  KQBvKRR -> KRRvKB;
  KQBvKRR -> KQBvKR;
  KQBvKRR -> KRRvKQ;
  KRRvKB -> KRvKB;
  KRRvKB -> KRRvK;
  KRPvKB -> KQRvKB;
  KRPvKB -> KRRvKB;
  KRPvKB -> KBvKP;
  KRPvKB -> KRBvKB;
  KRPvKB -> KRPvK;
  KRPvKB -> KRNvKB;
  KRPvKB -> KRvKB;
  KQRvKQB -> KQBvKR;
  KQRvKQB -> KQRvKB;
  KQRvKQB -> KQBvKQ;
  KQRvKQB -> KQRvKQ;
  KQPvKP -> KQQvKP;
  KQPvKP -> KQPvKQ;
  KQPvKP -> KPvKP;
  KQPvKP -> KQRvKP;
  KQPvKP -> KQPvKR;
  KQPvKP -> KQBvKP;
  KQPvKP -> KQPvKB;
  KQPvKP -> KQNvKP;
  KQPvKP -> KQPvKN;
  KQPvKP -> KQvKP;
  KQPvKP -> KQPvK;
  KQRvKP -> KQRvKQ;
  KQRvKP -> KRvKP;
  KQRvKP -> KQRvKR;
  KQRvKP -> KQvKP;
  KQRvKP -> KQRvKB;
  KQRvKP -> KQRvKN;
  KQRvKP -> KQRvK;
  KPvKP -> KQvKP;
  KPvKP -> KRvKP;
  KPvKP -> KBvKP;
  KPvKP -> KNvKP;
  KPvKP -> KPvK;
  KQPvKQ -> KQQvKQ;
  KQPvKQ -> KQvKP;
  KQPvKQ -> KQPvK;
  KQPvKQ -> KQRvKQ;
  KQPvKQ -> KQBvKQ;
  KQPvKQ -> KQNvKQ;
  KQPvKQ -> KQvKQ;
  KQQvKQ -> KQvKQ;
  KQQvKQ -> KQQvK;
  KQQvKP -> KQQvKQ;
  KQQvKP -> KQvKP;
  KQQvKP -> KQQvKR;
  KQQvKP -> KQQvKB;
  KQQvKP -> KQQvKN;
  KQQvKP -> KQQvK;
  KQPvKRR -> KQQvKRR;
  KQPvKRR -> KRRvKP;
  KQPvKRR -> KQRvKRR;
  KQPvKRR -> KQPvKR;
  KQPvKRR -> KQBvKRR;
  KQPvKRR -> KQNvKRR;
  KQPvKRR -> KRRvKQ;
  KQRvKRR -> KRRvKR;
  KQRvKRR -> KRRvKQ;
  KQRvKRR -> KQRvKR;
  KRRvKR -> KRvKR;
  KRRvKR -> KRRvK;
  KRRvKP -> KRRvKQ;
  KRRvKP -> KRRvKR;
  KRRvKP -> KRvKP;
  KRRvKP -> KRRvKB;
  KRRvKP -> KRRvKN;
  KRRvKP -> KRRvK;
  KQQvKRR -> KRRvKQ;
  KQQvKRR -> KQQvKR;
  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;
  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;
  KQQvKQR -> KQRvKQ;
  KQQvKQR -> KQQvKR;
  KQQvKQR -> KQQvKQ;
  KQQvKRP -> KQQvKQR;
  KQQvKRP -> KRPvKQ;
  KQQvKRP -> KQQvKRR;
  KQQvKRP -> KQQvKP;
  KQQvKRP -> KQQvKRB;
  KQQvKRP -> KQQvKRN;
  KQQvKRP -> KQQvKR;
}