digraph Syzygy {
  KPPPPvKB -> KQPPPvKB;
  KPPPPvKB -> KRPPPvKB;
  KPPPPvKB -> KBPPPvKB;
  KPPPPvKB -> KPPPPvK;
  KPPPPvKB -> KNPPPvKB;
  KPPPPvKB -> KPPPvKB;
  KPPPvKB -> KQPPvKB;
  KPPPvKB -> KRPPvKB;
  KPPPvKB -> KBPPvKB;
  KPPPvKB -> KPPPvK;
  KPPPvKB -> KNPPvKB;
  KPPPvKB -> KPPvKB;
  KPPvKB -> KQPvKB;
  KPPvKB -> KRPvKB;
  KPPvKB -> KBPvKB;
  KPPvKB -> KPPvK;
  KPPvKB -> KNPvKB;
  KPPvKB -> KBvKP;
  KBvKP -> KQvKB;
  KBvKP -> KRvKB;
  KBvKP -> KBvKB;
  KBvKP -> KPvK;
  KBvKP -> KBvKN;
  KBvKP -> KBvK;
  KBvKN -> KNvK;
  KBvKN -> KBvK;
  KPvK -> KQvK;
  KPvK -> KRvK;
  KPvK -> KBvK;
  KPvK -> KNvK;
  KBvKB -> KBvK;
  KRvKB -> KBvK;
  KRvKB -> KRvK;
  KQvKB -> KBvK;
  KQvKB -> KQvK;
  KNPvKB -> KQNvKB;
  KNPvKB -> KRNvKB;
  KNPvKB -> KBNvKB;
  KNPvKB -> KNPvK;
  KNPvKB -> KNNvKB;
  KNPvKB -> KBvKP;
  KNPvKB -> KBvKN;
  KNNvKB -> KNNvK;
  KNNvKB -> KBvKN;
  KNNvK -> KNvK;
  KNPvK -> KQNvK;
  KNPvK -> KRNvK;
  KNPvK -> KBNvK;
  KNPvK -> KNNvK;
  KNPvK -> KPvK;
  KNPvK -> KNvK;
  KBNvK -> KNvK;
  KBNvK -> KBvK;
  KRNvK -> KNvK;
  KRNvK -> KRvK;
  KQNvK -> KNvK;
  KQNvK -> KQvK;
  KBNvKB -> KBvKN;
  KBNvKB -> KBNvK;
  KBNvKB -> KBvKB;
  KRNvKB -> KBvKN;
  KRNvKB -> KRNvK;
  KRNvKB -> KRvKB;
  KQNvKB -> KBvKN;
  KQNvKB -> KQNvK;
  KQNvKB -> KQvKB;
  KPPvK -> KQPvK;
  KPPvK -> KRPvK;
  KPPvK -> KBPvK;
  KPPvK -> KNPvK;
  KPPvK -> KPvK;
  KBPvK -> KQBvK;
  KBPvK -> KRBvK;
  KBPvK -> KBBvK;
  KBPvK -> KPvK;
  KBPvK -> KBNvK;
  KBPvK -> KBvK;
  KBBvK -> KBvK;
  KRBvK -> KBvK;
  KRBvK -> KRvK;
  KQBvK -> KBvK;
  KQBvK -> KQvK;
  KRPvK -> KQRvK;
  KRPvK -> KRRvK;
  KRPvK -> KPvK;
  KRPvK -> KRBvK;
  KRPvK -> KRNvK;
  KRPvK -> KRvK;
  KRRvK -> KRvK;
  KQRvK -> KRvK;
  KQRvK -> KQvK;
  KQPvK -> KQQvK;
  KQPvK -> KPvK;
  KQPvK -> KQRvK;
  KQPvK -> KQBvK;
  KQPvK -> KQNvK;
  KQPvK -> KQvK;
  KQQvK -> KQvK;
  KBPvKB -> KQBvKB;
  KBPvKB -> KRBvKB;
  KBPvKB -> KBBvKB;
  KBPvKB -> KBvKP;
  KBPvKB -> KBPvK;
  KBPvKB -> KBNvKB;
  KBPvKB -> KBvKB;
  KBBvKB -> KBvKB;
  KBBvKB -> KBBvK;
  KRBvKB -> KBvKB;
  KRBvKB -> KRvKB;
  KRBvKB -> KRBvK;
  KQBvKB -> KBvKB;
  KQBvKB -> KQvKB;
  KQBvKB -> KQBvK;
  KRPvKB -> KQRvKB;
  KRPvKB -> KRRvKB;
  KRPvKB -> KBvKP;
  KRPvKB -> KRBvKB;
  KRPvKB -> KRPvK;
  KRPvKB -> KRNvKB;
  KRPvKB -> KRvKB;
  KRRvKB -> KRvKB;
  KRRvKB -> KRRvK;
  KQRvKB -> KRvKB;
  KQRvKB -> KQvKB;
  KQRvKB -> KQRvK;
  KQPvKB -> KQQvKB;
  KQPvKB -> KBvKP;
  KQPvKB -> KQRvKB;
  KQPvKB -> KQBvKB;
  KQPvKB -> KQPvK;
  KQPvKB -> KQNvKB;
  KQPvKB -> KQvKB;
  KQQvKB -> KQvKB;
  KQQvKB -> KQQvK;
  KNPPvKB -> KQNPvKB;
  KNPPvKB -> KRNPvKB;
  KNPPvKB -> KBNPvKB;
  KNPPvKB -> KNPPvK;
  KNPPvKB -> KNNPvKB;
  KNPPvKB -> KPPvKB;
  KNPPvKB -> KNPvKB;
  KNNPvKB -> KQNNvKB;
  KNNPvKB -> KRNNvKB;
  KNNPvKB -> KBNNvKB;
  KNNPvKB -> KNNPvK;
  KNNPvKB -> KNNNvKB;
  KNNPvKB -> KNPvKB;
  KNNPvKB -> KNNvKB;
  KNNNvKB -> KNNNvK;
  KNNNvKB -> KNNvKB;
  KNNNvK -> KNNvK;
  KNNPvK -> KQNNvK;
  KNNPvK -> KRNNvK;
  KNNPvK -> KBNNvK;
  KNNPvK -> KNNNvK;
  KNNPvK -> KNPvK;
  KNNPvK -> KNNvK;
  KBNNvK -> KNNvK;
  KBNNvK -> KBNvK;
  KRNNvK -> KNNvK;
  KRNNvK -> KRNvK;
  KQNNvK -> KNNvK;
  KQNNvK -> KQNvK;
  KBNNvKB -> KNNvKB;
  KBNNvKB -> KBNNvK;
  KBNNvKB -> KBNvKB;
  KRNNvKB -> KNNvKB;
  KRNNvKB -> KRNNvK;
  KRNNvKB -> KRNvKB;
  KQNNvKB -> KNNvKB;
  KQNNvKB -> KQNNvK;
  KQNNvKB -> KQNvKB;
  KNPPvK -> KQNPvK;
  KNPPvK -> KRNPvK;
  KNPPvK -> KBNPvK;
  KNPPvK -> KNNPvK;
  KNPPvK -> KPPvK;
  KNPPvK -> KNPvK;
  KBNPvK -> KQBNvK;
  KBNPvK -> KRBNvK;
  KBNPvK -> KBBNvK;
  KBNPvK -> KNPvK;
  KBNPvK -> KBNNvK;
  KBNPvK -> KBPvK;
  KBNPvK -> KBNvK;
  KBBNvK -> KBNvK;
  KBBNvK -> KBBvK;
  KRBNvK -> KBNvK;
  KRBNvK -> KRNvK;
  KRBNvK -> KRBvK;
  KQBNvK -> KBNvK;
  KQBNvK -> KQNvK;
  KQBNvK -> KQBvK;
  KRNPvK -> KQRNvK;
  KRNPvK -> KRRNvK;
  KRNPvK -> KNPvK;
  KRNPvK -> KRBNvK;
  KRNPvK -> KRNNvK;
  KRNPvK -> KRPvK;
  KRNPvK -> KRNvK;
  KRRNvK -> KRNvK;
  KRRNvK -> KRRvK;
  KQRNvK -> KRNvK;
  KQRNvK -> KQNvK;
  KQRNvK -> KQRvK;
  KQNPvK -> KQQNvK;
  KQNPvK -> KNPvK;
  KQNPvK -> KQRNvK;
  KQNPvK -> KQBNvK;
  KQNPvK -> KQNNvK;
  KQNPvK -> KQPvK;
  KQNPvK -> KQNvK;
  KQQNvK -> KQNvK;
  KQQNvK -> KQQvK;
  KBNPvKB -> KQBNvKB;
  KBNPvKB -> KRBNvKB;
  KBNPvKB -> KBBNvKB;
  KBNPvKB -> KNPvKB;
  KBNPvKB -> KBNPvK;
  KBNPvKB -> KBNNvKB;
  KBNPvKB -> KBPvKB;
  KBNPvKB -> KBNvKB;
  KBBNvKB -> KBNvKB;
  KBBNvKB -> KBBNvK;
  KBBNvKB -> KBBvKB;
  KRBNvKB -> KBNvKB;
  KRBNvKB -> KRNvKB;
  KRBNvKB -> KRBNvK;
  KRBNvKB -> KRBvKB;
  KQBNvKB -> KBNvKB;
  KQBNvKB -> KQNvKB;
  KQBNvKB -> KQBNvK;
  KQBNvKB -> KQBvKB;
  KRNPvKB -> KQRNvKB;
  KRNPvKB -> KRRNvKB;
  KRNPvKB -> KNPvKB;
  KRNPvKB -> KRBNvKB;
  KRNPvKB -> KRNPvK;
  KRNPvKB -> KRNNvKB;
  KRNPvKB -> KRPvKB;
  KRNPvKB -> KRNvKB;
  KRRNvKB -> KRNvKB;
  KRRNvKB -> KRRNvK;
  KRRNvKB -> KRRvKB;
  KQRNvKB -> KRNvKB;
  KQRNvKB -> KQNvKB;
  KQRNvKB -> KQRNvK;
  KQRNvKB -> KQRvKB;
  KQNPvKB -> KQQNvKB;
  KQNPvKB -> KNPvKB;
  KQNPvKB -> KQRNvKB;
  KQNPvKB -> KQBNvKB;
  KQNPvKB -> KQNPvK;
  KQNPvKB -> KQNNvKB;
  KQNPvKB -> KQPvKB;
  KQNPvKB -> KQNvKB;
  KQQNvKB -> KQNvKB;
  KQQNvKB -> KQQNvK;
  KQQNvKB -> KQQvKB;
  KPPPvK -> KQPPvK;
  KPPPvK -> KRPPvK;
  KPPPvK -> KBPPvK;
  KPPPvK -> KNPPvK;
  KPPPvK -> KPPvK;
  KBPPvK -> KQBPvK;
  KBPPvK -> KRBPvK;
  KBPPvK -> KBBPvK;
  KBPPvK -> KPPvK;
  KBPPvK -> KBNPvK;
  KBPPvK -> KBPvK;
  KBBPvK -> KQBBvK;
  KBBPvK -> KRBBvK;
  KBBPvK -> KBBBvK;
  KBBPvK -> KBPvK;
  KBBPvK -> KBBNvK;
  KBBPvK -> KBBvK;
  KBBBvK -> KBBvK;
  KRBBvK -> KBBvK;
  KRBBvK -> KRBvK;
  KQBBvK -> KBBvK;
  KQBBvK -> KQBvK;
  KRBPvK -> KQRBvK;
  KRBPvK -> KRRBvK;
  KRBPvK -> KBPvK;
  KRBPvK -> KRBBvK;
  KRBPvK -> KRPvK;
  KRBPvK -> KRBNvK;
  KRBPvK -> KRBvK;
  KRRBvK -> KRBvK;
  KRRBvK -> KRRvK;
  KQRBvK -> KRBvK;
  KQRBvK -> KQBvK;
  KQRBvK -> KQRvK;
  KQBPvK -> KQQBvK;
  KQBPvK -> KBPvK;
  KQBPvK -> KQRBvK;
  KQBPvK -> KQBBvK;
  KQBPvK -> KQPvK;
  KQBPvK -> KQBNvK;
  KQBPvK -> KQBvK;
  KQQBvK -> KQBvK;
  KQQBvK -> KQQvK;
  KRPPvK -> KQRPvK;
  KRPPvK -> KRRPvK;
  KRPPvK -> KPPvK;
  KRPPvK -> KRBPvK;
  KRPPvK -> KRNPvK;
  KRPPvK -> KRPvK;
  KRRPvK -> KQRRvK;
  KRRPvK -> KRRRvK;
  KRRPvK -> KRPvK;
  KRRPvK -> KRRBvK;
  KRRPvK -> KRRNvK;
  KRRPvK -> KRRvK;
  KRRRvK -> KRRvK;
  KQRRvK -> KRRvK;
  KQRRvK -> KQRvK;
  KQRPvK -> KQQRvK;
  KQRPvK -> KRPvK;
  KQRPvK -> KQRRvK;
  KQRPvK -> KQPvK;
  KQRPvK -> KQRBvK;
  KQRPvK -> KQRNvK;
  KQRPvK -> KQRvK;
  KQQRvK -> KQRvK;
  KQQRvK -> KQQvK;
  KQPPvK -> KQQPvK;
  KQPPvK -> KPPvK;
  KQPPvK -> KQRPvK;
  KQPPvK -> KQBPvK;
  KQPPvK -> KQNPvK;
  KQPPvK -> KQPvK;
  KQQPvK -> KQQQvK;
  KQQPvK -> KQPvK;
  KQQPvK -> KQQRvK;
  KQQPvK -> KQQBvK;
  KQQPvK -> KQQNvK;
  KQQPvK -> KQQvK;
  KQQQvK -> KQQvK;
  KBPPvKB -> KQBPvKB;
  KBPPvKB -> KRBPvKB;
  KBPPvKB -> KBBPvKB;
  KBPPvKB -> KPPvKB;
  KBPPvKB -> KBPPvK;
  KBPPvKB -> KBNPvKB;
  KBPPvKB -> KBPvKB;
  KBBPvKB -> KQBBvKB;
  KBBPvKB -> KRBBvKB;
  KBBPvKB -> KBBBvKB;
  KBBPvKB -> KBPvKB;
  KBBPvKB -> KBBPvK;
  KBBPvKB -> KBBNvKB;
  KBBPvKB -> KBBvKB;
  KBBBvKB -> KBBvKB;
  KBBBvKB -> KBBBvK;
  KRBBvKB -> KBBvKB;
  KRBBvKB -> KRBvKB;
  KRBBvKB -> KRBBvK;
  KQBBvKB -> KBBvKB;
  KQBBvKB -> KQBvKB;
  KQBBvKB -> KQBBvK;
  KRBPvKB -> KQRBvKB;
  KRBPvKB -> KRRBvKB;
  KRBPvKB -> KBPvKB;
  KRBPvKB -> KRBBvKB;
  KRBPvKB -> KRPvKB;
  KRBPvKB -> KRBPvK;
  KRBPvKB -> KRBNvKB;
  KRBPvKB -> KRBvKB;
  KRRBvKB -> KRBvKB;
  KRRBvKB -> KRRvKB;
  KRRBvKB -> KRRBvK;
  KQRBvKB -> KRBvKB;
  KQRBvKB -> KQBvKB;
  KQRBvKB -> KQRvKB;
  KQRBvKB -> KQRBvK;
  KQBPvKB -> KQQBvKB;
  KQBPvKB -> KBPvKB;
  KQBPvKB -> KQRBvKB;
  KQBPvKB -> KQBBvKB;
  KQBPvKB -> KQPvKB;
  KQBPvKB -> KQBPvK;
  KQBPvKB -> KQBNvKB;
  KQBPvKB -> KQBvKB;
  KQQBvKB -> KQBvKB;
  KQQBvKB -> KQQvKB;
  KQQBvKB -> KQQBvK;
  KRPPvKB -> KQRPvKB;
  KRPPvKB -> KRRPvKB;
  KRPPvKB -> KPPvKB;
  KRPPvKB -> KRBPvKB;
  KRPPvKB -> KRPPvK;
  KRPPvKB -> KRNPvKB;
  KRPPvKB -> KRPvKB;
  KRRPvKB -> KQRRvKB;
  KRRPvKB -> KRRRvKB;
  KRRPvKB -> KRPvKB;
  KRRPvKB -> KRRBvKB;
  KRRPvKB -> KRRPvK;
  KRRPvKB -> KRRNvKB;
  KRRPvKB -> KRRvKB;
  KRRRvKB -> KRRvKB;
  KRRRvKB -> KRRRvK;
  KQRRvKB -> KRRvKB;
  KQRRvKB -> KQRvKB;
  KQRRvKB -> KQRRvK;
  KQRPvKB -> KQQRvKB;
  KQRPvKB -> KRPvKB;
  KQRPvKB -> KQRRvKB;
  KQRPvKB -> KQPvKB;
  KQRPvKB -> KQRBvKB;
  KQRPvKB -> KQRPvK;
  KQRPvKB -> KQRNvKB;
  KQRPvKB -> KQRvKB;
  KQQRvKB -> KQRvKB;
  KQQRvKB -> KQQvKB;
  KQQRvKB -> KQQRvK;
  KQPPvKB -> KQQPvKB;
  KQPPvKB -> KPPvKB;
  KQPPvKB -> KQRPvKB;
  KQPPvKB -> KQBPvKB;
  KQPPvKB -> KQPPvK;
  KQPPvKB -> KQNPvKB;
  KQPPvKB -> KQPvKB;
  KQQPvKB -> KQQQvKB;
  KQQPvKB -> KQPvKB;
  KQQPvKB -> KQQRvKB;
  KQQPvKB -> KQQBvKB;
  KQQPvKB -> KQQPvK;
  KQQPvKB -> KQQNvKB;
  KQQPvKB -> KQQvKB;
  KQQQvKB -> KQQvKB;
  KQQQvKB -> KQQQvK;
  KNPPPvKB -> KQNPPvKB;
  KNPPPvKB -> KRNPPvKB;
  KNPPPvKB -> KBNPPvKB;
  KNPPPvKB -> KNPPPvK;
  KNPPPvKB -> KNNPPvKB;
  KNPPPvKB -> KPPPvKB;
  KNPPPvKB -> KNPPvKB;
  KNNPPvKB -> KQNNPvKB;
  KNNPPvKB -> KRNNPvKB;
  KNNPPvKB -> KBNNPvKB;
  KNNPPvKB -> KNNPPvK;
  KNNPPvKB -> KNNNPvKB;
  KNNPPvKB -> KNPPvKB;
  KNNPPvKB -> KNNPvKB;
  KNNNPvKB -> KQNNNvKB;
  KNNNPvKB -> KRNNNvKB;
  KNNNPvKB -> KBNNNvKB;
  KNNNPvKB -> KNNNPvK;
  KNNNPvKB -> KNNNNvKB;
  KNNNPvKB -> KNNPvKB;
  KNNNPvKB -> KNNNvKB;
  KNNNNvKB -> KNNNNvK;
  KNNNNvKB -> KNNNvKB;
  KNNNNvK -> KNNNvK;
  KNNNPvK -> KQNNNvK;
  KNNNPvK -> KRNNNvK;
  KNNNPvK -> KBNNNvK;
  KNNNPvK -> KNNNNvK;
  KNNNPvK -> KNNPvK;
  KNNNPvK -> KNNNvK;
  KBNNNvK -> KNNNvK;
  KBNNNvK -> KBNNvK;
  KRNNNvK -> KNNNvK;
  KRNNNvK -> KRNNvK;
  KQNNNvK -> KNNNvK;
  KQNNNvK -> KQNNvK;
  KBNNNvKB -> KNNNvKB;
  KBNNNvKB -> KBNNNvK;
  KBNNNvKB -> KBNNvKB;
  KRNNNvKB -> KNNNvKB;
  KRNNNvKB -> KRNNNvK;
  KRNNNvKB -> KRNNvKB;
  KQNNNvKB -> KNNNvKB;
  KQNNNvKB -> KQNNNvK;
  KQNNNvKB -> KQNNvKB;
  KNNPPvK -> KQNNPvK;
  KNNPPvK -> KRNNPvK;
  KNNPPvK -> KBNNPvK;
  KNNPPvK -> KNNNPvK;
  KNNPPvK -> KNPPvK;
  KNNPPvK -> KNNPvK;
  KBNNPvK -> KQBNNvK;
  KBNNPvK -> KRBNNvK;
  KBNNPvK -> KBBNNvK;
  KBNNPvK -> KNNPvK;
  KBNNPvK -> KBNNNvK;
  KBNNPvK -> KBNPvK;
  KBNNPvK -> KBNNvK;
  KBBNNvK -> KBNNvK;
  KBBNNvK -> KBBNvK;
  KRBNNvK -> KBNNvK;
  KRBNNvK -> KRNNvK;
  KRBNNvK -> KRBNvK;
  KQBNNvK -> KBNNvK;
  KQBNNvK -> KQNNvK;
  KQBNNvK -> KQBNvK;
  KRNNPvK -> KQRNNvK;
  KRNNPvK -> KRRNNvK;
  KRNNPvK -> KNNPvK;
  KRNNPvK -> KRBNNvK;
  KRNNPvK -> KRNNNvK;
  KRNNPvK -> KRNPvK;
  KRNNPvK -> KRNNvK;
  KRRNNvK -> KRNNvK;
  KRRNNvK -> KRRNvK;
  KQRNNvK -> KRNNvK;
  KQRNNvK -> KQNNvK;
  KQRNNvK -> KQRNvK;
  KQNNPvK -> KQQNNvK;
  KQNNPvK -> KNNPvK;
  KQNNPvK -> KQRNNvK;
  KQNNPvK -> KQBNNvK;
  KQNNPvK -> KQNNNvK;
  KQNNPvK -> KQNPvK;
  KQNNPvK -> KQNNvK;
  KQQNNvK -> KQNNvK;
  KQQNNvK -> KQQNvK;
  KBNNPvKB -> KQBNNvKB;
  KBNNPvKB -> KRBNNvKB;
  KBNNPvKB -> KBBNNvKB;
  KBNNPvKB -> KNNPvKB;
  KBNNPvKB -> KBNNPvK;
  KBNNPvKB -> KBNNNvKB;
  KBNNPvKB -> KBNPvKB;
  KBNNPvKB -> KBNNvKB;
  KBBNNvKB -> KBNNvKB;
  KBBNNvKB -> KBBNNvK;
  KBBNNvKB -> KBBNvKB;
  KRBNNvKB -> KBNNvKB;
  KRBNNvKB -> KRNNvKB;
  KRBNNvKB -> KRBNNvK;
  KRBNNvKB -> KRBNvKB;
  KQBNNvKB -> KBNNvKB;
  KQBNNvKB -> KQNNvKB;
  KQBNNvKB -> KQBNNvK;
  KQBNNvKB -> KQBNvKB;
  KRNNPvKB -> KQRNNvKB;
  KRNNPvKB -> KRRNNvKB;
  KRNNPvKB -> KNNPvKB;
  KRNNPvKB -> KRBNNvKB;
  KRNNPvKB -> KRNNPvK;
  KRNNPvKB -> KRNNNvKB;
  KRNNPvKB -> KRNPvKB;
  KRNNPvKB -> KRNNvKB;
  KRRNNvKB -> KRNNvKB;
  KRRNNvKB -> KRRNNvK;
  KRRNNvKB -> KRRNvKB;
  KQRNNvKB -> KRNNvKB;
  KQRNNvKB -> KQNNvKB;
  KQRNNvKB -> KQRNNvK;
  KQRNNvKB -> KQRNvKB;
  KQNNPvKB -> KQQNNvKB;
  KQNNPvKB -> KNNPvKB;
  KQNNPvKB -> KQRNNvKB;
  KQNNPvKB -> KQBNNvKB;
  KQNNPvKB -> KQNNPvK;
  KQNNPvKB -> KQNNNvKB;
  KQNNPvKB -> KQNPvKB;
  KQNNPvKB -> KQNNvKB;
  KQQNNvKB -> KQNNvKB;
  KQQNNvKB -> KQQNNvK;
  KQQNNvKB -> KQQNvKB;
  KNPPPvK -> KQNPPvK;
  KNPPPvK -> KRNPPvK;
  KNPPPvK -> KBNPPvK;
  KNPPPvK -> KNNPPvK;
  KNPPPvK -> KPPPvK;
  KNPPPvK -> KNPPvK;
  KBNPPvK -> KQBNPvK;
  KBNPPvK -> KRBNPvK;
  KBNPPvK -> KBBNPvK;
  KBNPPvK -> KNPPvK;
  KBNPPvK -> KBNNPvK;
  KBNPPvK -> KBPPvK;
  KBNPPvK -> KBNPvK;
  KBBNPvK -> KQBBNvK;
  KBBNPvK -> KRBBNvK;
  KBBNPvK -> KBBBNvK;
  KBBNPvK -> KBNPvK;
  KBBNPvK -> KBBNNvK;
  KBBNPvK -> KBBPvK;
  KBBNPvK -> KBBNvK;
  KBBBNvK -> KBBNvK;
  KBBBNvK -> KBBBvK;
  KRBBNvK -> KBBNvK;
  KRBBNvK -> KRBNvK;
  KRBBNvK -> KRBBvK;
  KQBBNvK -> KBBNvK;
  KQBBNvK -> KQBNvK;
  KQBBNvK -> KQBBvK;
  KRBNPvK -> KQRBNvK;
  KRBNPvK -> KRRBNvK;
  KRBNPvK -> KBNPvK;
  KRBNPvK -> KRBBNvK;
  KRBNPvK -> KRNPvK;
  KRBNPvK -> KRBNNvK;
  KRBNPvK -> KRBPvK;
  KRBNPvK -> KRBNvK;
  KRRBNvK -> KRBNvK;
  KRRBNvK -> KRRNvK;
  KRRBNvK -> KRRBvK;
  KQRBNvK -> KRBNvK;
  KQRBNvK -> KQBNvK;
  KQRBNvK -> KQRNvK;
  KQRBNvK -> KQRBvK;
  KQBNPvK -> KQQBNvK;
  KQBNPvK -> KBNPvK;
  KQBNPvK -> KQRBNvK;
  KQBNPvK -> KQBBNvK;
  KQBNPvK -> KQNPvK;
  KQBNPvK -> KQBNNvK;
  KQBNPvK -> KQBPvK;
  KQBNPvK -> KQBNvK;
  KQQBNvK -> KQBNvK;
  KQQBNvK -> KQQNvK;
  KQQBNvK -> KQQBvK;
  KRNPPvK -> KQRNPvK;
  KRNPPvK -> KRRNPvK;
  KRNPPvK -> KNPPvK;
  KRNPPvK -> KRBNPvK;
  KRNPPvK -> KRNNPvK;
  KRNPPvK -> KRPPvK;
  KRNPPvK -> KRNPvK;
  KRRNPvK -> KQRRNvK;
  KRRNPvK -> KRRRNvK;
  KRRNPvK -> KRNPvK;
  KRRNPvK -> KRRBNvK;
  KRRNPvK -> KRRNNvK;
  KRRNPvK -> KRRPvK;
  KRRNPvK -> KRRNvK;
  KRRRNvK -> KRRNvK;
  KRRRNvK -> KRRRvK;
  KQRRNvK -> KRRNvK;
  KQRRNvK -> KQRNvK;
  KQRRNvK -> KQRRvK;
  KQRNPvK -> KQQRNvK;
  KQRNPvK -> KRNPvK;
  KQRNPvK -> KQRRNvK;
  KQRNPvK -> KQNPvK;
  KQRNPvK -> KQRBNvK;
  KQRNPvK -> KQRNNvK;
  KQRNPvK -> KQRPvK;
  KQRNPvK -> KQRNvK;
  KQQRNvK -> KQRNvK;
  KQQRNvK -> KQQNvK;
  KQQRNvK -> KQQRvK;
  KQNPPvK -> KQQNPvK;
  KQNPPvK -> KNPPvK;
  KQNPPvK -> KQRNPvK;
  KQNPPvK -> KQBNPvK;
  KQNPPvK -> KQNNPvK;
  KQNPPvK -> KQPPvK;
  KQNPPvK -> KQNPvK;
  KQQNPvK -> KQQQNvK;
  KQQNPvK -> KQNPvK;
  KQQNPvK -> KQQRNvK;
  KQQNPvK -> KQQBNvK;
  KQQNPvK -> KQQNNvK;
  KQQNPvK -> KQQPvK;
  KQQNPvK -> KQQNvK;
  KQQQNvK -> KQQNvK;
  KQQQNvK -> KQQQvK;
  KBNPPvKB -> KQBNPvKB;
  KBNPPvKB -> KRBNPvKB;
  KBNPPvKB -> KBBNPvKB;
  KBNPPvKB -> KNPPvKB;
  KBNPPvKB -> KBNPPvK;
  KBNPPvKB -> KBNNPvKB;
  KBNPPvKB -> KBPPvKB;
  KBNPPvKB -> KBNPvKB;
  KBBNPvKB -> KQBBNvKB;
  KBBNPvKB -> KRBBNvKB;
  KBBNPvKB -> KBBBNvKB;
  KBBNPvKB -> KBNPvKB;
  KBBNPvKB -> KBBNPvK;
  KBBNPvKB -> KBBNNvKB;
  KBBNPvKB -> KBBPvKB;
  KBBNPvKB -> KBBNvKB;
  KBBBNvKB -> KBBNvKB;
  KBBBNvKB -> KBBBNvK;
  KBBBNvKB -> KBBBvKB;
  KRBBNvKB -> KBBNvKB;
  KRBBNvKB -> KRBNvKB;
  KRBBNvKB -> KRBBNvK;
  KRBBNvKB -> KRBBvKB;
  KQBBNvKB -> KBBNvKB;
  KQBBNvKB -> KQBNvKB;
  KQBBNvKB -> KQBBNvK;
  KQBBNvKB -> KQBBvKB;
  KRBNPvKB -> KQRBNvKB;
  KRBNPvKB -> KRRBNvKB;
  KRBNPvKB -> KBNPvKB;
  KRBNPvKB -> KRBBNvKB;
  KRBNPvKB -> KRNPvKB;
  KRBNPvKB -> KRBNPvK;
  KRBNPvKB -> KRBNNvKB;
  KRBNPvKB -> KRBPvKB;
  KRBNPvKB -> KRBNvKB;
  KRRBNvKB -> KRBNvKB;
  KRRBNvKB -> KRRNvKB;
  KRRBNvKB -> KRRBNvK;
  KRRBNvKB -> KRRBvKB;
  KQRBNvKB -> KRBNvKB;
  KQRBNvKB -> KQBNvKB;
  KQRBNvKB -> KQRNvKB;
  KQRBNvKB -> KQRBNvK;
  KQRBNvKB -> KQRBvKB;
  KQBNPvKB -> KQQBNvKB;
  KQBNPvKB -> KBNPvKB;
  KQBNPvKB -> KQRBNvKB;
  KQBNPvKB -> KQBBNvKB;
  KQBNPvKB -> KQNPvKB;
  KQBNPvKB -> KQBNPvK;
  KQBNPvKB -> KQBNNvKB;
  KQBNPvKB -> KQBPvKB;
  KQBNPvKB -> KQBNvKB;
  KQQBNvKB -> KQBNvKB;
  KQQBNvKB -> KQQNvKB;
  KQQBNvKB -> KQQBNvK;
  KQQBNvKB -> KQQBvKB;
  KRNPPvKB -> KQRNPvKB;
  KRNPPvKB -> KRRNPvKB;
  KRNPPvKB -> KNPPvKB;
  KRNPPvKB -> KRBNPvKB;
  KRNPPvKB -> KRNPPvK;
  KRNPPvKB -> KRNNPvKB;
  KRNPPvKB -> KRPPvKB;
  KRNPPvKB -> KRNPvKB;
  KRRNPvKB -> KQRRNvKB;
  KRRNPvKB -> KRRRNvKB;
  KRRNPvKB -> KRNPvKB;
  KRRNPvKB -> KRRBNvKB;
  KRRNPvKB -> KRRNPvK;
  KRRNPvKB -> KRRNNvKB;
  KRRNPvKB -> KRRPvKB;
  KRRNPvKB -> KRRNvKB;
  KRRRNvKB -> KRRNvKB;
  KRRRNvKB -> KRRRNvK;
  KRRRNvKB -> KRRRvKB;
  KQRRNvKB -> KRRNvKB;
  KQRRNvKB -> KQRNvKB;
  KQRRNvKB -> KQRRNvK;
  KQRRNvKB -> KQRRvKB;
  KQRNPvKB -> KQQRNvKB;
  KQRNPvKB -> KRNPvKB;
  KQRNPvKB -> KQRRNvKB;
  KQRNPvKB -> KQNPvKB;
  KQRNPvKB -> KQRBNvKB;
  KQRNPvKB -> KQRNPvK;
  KQRNPvKB -> KQRNNvKB;
  KQRNPvKB -> KQRPvKB;
  KQRNPvKB -> KQRNvKB;
  KQQRNvKB -> KQRNvKB;
  KQQRNvKB -> KQQNvKB;
  KQQRNvKB -> KQQRNvK;
  KQQRNvKB -> KQQRvKB;
  KQNPPvKB -> KQQNPvKB;
  KQNPPvKB -> KNPPvKB;
  KQNPPvKB -> KQRNPvKB;
  KQNPPvKB -> KQBNPvKB;
  KQNPPvKB -> KQNPPvK;
  KQNPPvKB -> KQNNPvKB;
  KQNPPvKB -> KQPPvKB;
  KQNPPvKB -> KQNPvKB;
  KQQNPvKB -> KQQQNvKB;
  KQQNPvKB -> KQNPvKB;
  KQQNPvKB -> KQQRNvKB;
  KQQNPvKB -> KQQBNvKB;
  KQQNPvKB -> KQQNPvK;
  KQQNPvKB -> KQQNNvKB;
  KQQNPvKB -> KQQPvKB;
  KQQNPvKB -> KQQNvKB;
  KQQQNvKB -> KQQNvKB;
  KQQQNvKB -> KQQQNvK;
  KQQQNvKB -> KQQQvKB;
  KPPPPvK -> KQPPPvK;
  KPPPPvK -> KRPPPvK;
  KPPPPvK -> KBPPPvK;
  KPPPPvK -> KNPPPvK;
  KPPPPvK -> KPPPvK;
  KBPPPvK -> KQBPPvK;
  KBPPPvK -> KRBPPvK;
  KBPPPvK -> KBBPPvK;
  KBPPPvK -> KPPPvK;
  KBPPPvK -> KBNPPvK;
  KBPPPvK -> KBPPvK;
  KBBPPvK -> KQBBPvK;
  KBBPPvK -> KRBBPvK;
  KBBPPvK -> KBBBPvK;
  KBBPPvK -> KBPPvK;
  KBBPPvK -> KBBNPvK;
  KBBPPvK -> KBBPvK;
  KBBBPvK -> KQBBBvK;
  KBBBPvK -> KRBBBvK;
  KBBBPvK -> KBBBBvK;
  KBBBPvK -> KBBPvK;
  KBBBPvK -> KBBBNvK;
  KBBBPvK -> KBBBvK;
  KBBBBvK -> KBBBvK;
  KRBBBvK -> KBBBvK;
  KRBBBvK -> KRBBvK;
  KQBBBvK -> KBBBvK;
  KQBBBvK -> KQBBvK;
  KRBBPvK -> KQRBBvK;
  KRBBPvK -> KRRBBvK;
  KRBBPvK -> KBBPvK;
  KRBBPvK -> KRBBBvK;
  KRBBPvK -> KRBPvK;
  KRBBPvK -> KRBBNvK;
  KRBBPvK -> KRBBvK;
  KRRBBvK -> KRBBvK;
  KRRBBvK -> KRRBvK;
  KQRBBvK -> KRBBvK;
  KQRBBvK -> KQBBvK;
  KQRBBvK -> KQRBvK;
  KQBBPvK -> KQQBBvK;
  KQBBPvK -> KBBPvK;
  KQBBPvK -> KQRBBvK;
  KQBBPvK -> KQBBBvK;
  KQBBPvK -> KQBPvK;
  KQBBPvK -> KQBBNvK;
  KQBBPvK -> KQBBvK;
  KQQBBvK -> KQBBvK;
  KQQBBvK -> KQQBvK;
  KRBPPvK -> KQRBPvK;
  KRBPPvK -> KRRBPvK;
  KRBPPvK -> KBPPvK;
  KRBPPvK -> KRBBPvK;
  KRBPPvK -> KRPPvK;
  KRBPPvK -> KRBNPvK;
  KRBPPvK -> KRBPvK;
  KRRBPvK -> KQRRBvK;
  KRRBPvK -> KRRRBvK;
  KRRBPvK -> KRBPvK;
  KRRBPvK -> KRRBBvK;
  KRRBPvK -> KRRPvK;
  KRRBPvK -> KRRBNvK;
  KRRBPvK -> KRRBvK;
  KRRRBvK -> KRRBvK;
  KRRRBvK -> KRRRvK;
  KQRRBvK -> KRRBvK;
  KQRRBvK -> KQRBvK;
  KQRRBvK -> KQRRvK;
  KQRBPvK -> KQQRBvK;
  KQRBPvK -> KRBPvK;
  KQRBPvK -> KQRRBvK;
  KQRBPvK -> KQBPvK;
  KQRBPvK -> KQRBBvK;
  KQRBPvK -> KQRPvK;
  KQRBPvK -> KQRBNvK;
  KQRBPvK -> KQRBvK;
  KQQRBvK -> KQRBvK;
  KQQRBvK -> KQQBvK;
  KQQRBvK -> KQQRvK;
  KQBPPvK -> KQQBPvK;
  KQBPPvK -> KBPPvK;
  KQBPPvK -> KQRBPvK;
  KQBPPvK -> KQBBPvK;
  KQBPPvK -> KQPPvK;
  KQBPPvK -> KQBNPvK;
  KQBPPvK -> KQBPvK;
  KQQBPvK -> KQQQBvK;
  KQQBPvK -> KQBPvK;
  KQQBPvK -> KQQRBvK;
  KQQBPvK -> KQQBBvK;
  KQQBPvK -> KQQPvK;
  KQQBPvK -> KQQBNvK;
  KQQBPvK -> KQQBvK;
  KQQQBvK -> KQQBvK;
  KQQQBvK -> KQQQvK;
  KRPPPvK -> KQRPPvK;
  KRPPPvK -> KRRPPvK;
  KRPPPvK -> KPPPvK;
  KRPPPvK -> KRBPPvK;
  KRPPPvK -> KRNPPvK;
  KRPPPvK -> KRPPvK;
  KRRPPvK -> KQRRPvK;
  KRRPPvK -> KRRRPvK;
  KRRPPvK -> KRPPvK;
  KRRPPvK -> KRRBPvK;
  KRRPPvK -> KRRNPvK;
  KRRPPvK -> KRRPvK;
  KRRRPvK -> KQRRRvK;
  KRRRPvK -> KRRRRvK;
  KRRRPvK -> KRRPvK;
  KRRRPvK -> KRRRBvK;
  KRRRPvK -> KRRRNvK;
  KRRRPvK -> KRRRvK;
  KRRRRvK -> KRRRvK;
  KQRRRvK -> KRRRvK;
  KQRRRvK -> KQRRvK;
  KQRRPvK -> KQQRRvK;
  KQRRPvK -> KRRPvK;
  KQRRPvK -> KQRRRvK;
  KQRRPvK -> KQRPvK;
  KQRRPvK -> KQRRBvK;
  KQRRPvK -> KQRRNvK;
  KQRRPvK -> KQRRvK;
  KQQRRvK -> KQRRvK;
  KQQRRvK -> KQQRvK;
  KQRPPvK -> KQQRPvK;
  KQRPPvK -> KRPPvK;
  KQRPPvK -> KQRRPvK;
  KQRPPvK -> KQPPvK;
  KQRPPvK -> KQRBPvK;
  KQRPPvK -> KQRNPvK;
  KQRPPvK -> KQRPvK;
  KQQRPvK -> KQQQRvK;
  KQQRPvK -> KQRPvK;
  KQQRPvK -> KQQRRvK;
  KQQRPvK -> KQQPvK;
  KQQRPvK -> KQQRBvK;
  KQQRPvK -> KQQRNvK;
  KQQRPvK -> KQQRvK;
  KQQQRvK -> KQQRvK;
  KQQQRvK -> KQQQvK;
  KQPPPvK -> KQQPPvK;
  KQPPPvK -> KPPPvK;
  KQPPPvK -> KQRPPvK;
  KQPPPvK -> KQBPPvK;
  KQPPPvK -> KQNPPvK;
  KQPPPvK -> KQPPvK;
  KQQPPvK -> KQQQPvK;
  KQQPPvK -> KQPPvK;
  KQQPPvK -> KQQRPvK;
  KQQPPvK -> KQQBPvK;
  KQQPPvK -> KQQNPvK;
  KQQPPvK -> KQQPvK;
  KQQQPvK -> KQQQQvK;
  KQQQPvK -> KQQPvK;
  KQQQPvK -> KQQQRvK;
  KQQQPvK -> KQQQBvK;
  KQQQPvK -> KQQQNvK;
  KQQQPvK -> KQQQvK;
  KQQQQvK -> KQQQvK;
  KBPPPvKB -> KQBPPvKB;
  KBPPPvKB -> KRBPPvKB;
  KBPPPvKB -> KBBPPvKB;
  KBPPPvKB -> KPPPvKB;
  KBPPPvKB -> KBPPPvK;
  KBPPPvKB -> KBNPPvKB;
  KBPPPvKB -> KBPPvKB;
  KBBPPvKB -> KQBBPvKB;
  KBBPPvKB -> KRBBPvKB;
  KBBPPvKB -> KBBBPvKB;
  KBBPPvKB -> KBPPvKB;
  KBBPPvKB -> KBBPPvK;
  KBBPPvKB -> KBBNPvKB;
  KBBPPvKB -> KBBPvKB;
  KBBBPvKB -> KQBBBvKB;
  KBBBPvKB -> KRBBBvKB;
  KBBBPvKB -> KBBBBvKB;
  KBBBPvKB -> KBBPvKB;
  KBBBPvKB -> KBBBPvK;
  KBBBPvKB -> KBBBNvKB;
  KBBBPvKB -> KBBBvKB;
  KBBBBvKB -> KBBBvKB;
  KBBBBvKB -> KBBBBvK;
  KRBBBvKB -> KBBBvKB;
  KRBBBvKB -> KRBBvKB;
  KRBBBvKB -> KRBBBvK;
  KQBBBvKB -> KBBBvKB;
  KQBBBvKB -> KQBBvKB;
  KQBBBvKB -> KQBBBvK;
  KRBBPvKB -> KQRBBvKB;
  KRBBPvKB -> KRRBBvKB;
  KRBBPvKB -> KBBPvKB;
  KRBBPvKB -> KRBBBvKB;
  KRBBPvKB -> KRBPvKB;
  KRBBPvKB -> KRBBPvK;
  KRBBPvKB -> KRBBNvKB;
  KRBBPvKB -> KRBBvKB;
  KRRBBvKB -> KRBBvKB;
  KRRBBvKB -> KRRBvKB;
  KRRBBvKB -> KRRBBvK;
  KQRBBvKB -> KRBBvKB;
  KQRBBvKB -> KQBBvKB;
  KQRBBvKB -> KQRBvKB;
  KQRBBvKB -> KQRBBvK;
  KQBBPvKB -> KQQBBvKB;
  KQBBPvKB -> KBBPvKB;
  KQBBPvKB -> KQRBBvKB;
  KQBBPvKB -> KQBBBvKB;
  KQBBPvKB -> KQBPvKB;
  KQBBPvKB -> KQBBPvK;
  KQBBPvKB -> KQBBNvKB;
  KQBBPvKB -> KQBBvKB;
  KQQBBvKB -> KQBBvKB;
  KQQBBvKB -> KQQBvKB;
  KQQBBvKB -> KQQBBvK;
  KRBPPvKB -> KQRBPvKB;
  KRBPPvKB -> KRRBPvKB;
  KRBPPvKB -> KBPPvKB;
  KRBPPvKB -> KRBBPvKB;
  KRBPPvKB -> KRPPvKB;
  KRBPPvKB -> KRBPPvK;
  KRBPPvKB -> KRBNPvKB;
  KRBPPvKB -> KRBPvKB;
  KRRBPvKB -> KQRRBvKB;
  KRRBPvKB -> KRRRBvKB;
  KRRBPvKB -> KRBPvKB;
  KRRBPvKB -> KRRBBvKB;
  KRRBPvKB -> KRRPvKB;
  KRRBPvKB -> KRRBPvK;
  KRRBPvKB -> KRRBNvKB;
  KRRBPvKB -> KRRBvKB;
  KRRRBvKB -> KRRBvKB;
  KRRRBvKB -> KRRRvKB;
  KRRRBvKB -> KRRRBvK;
  KQRRBvKB -> KRRBvKB;
  KQRRBvKB -> KQRBvKB;
  KQRRBvKB -> KQRRvKB;
  KQRRBvKB -> KQRRBvK;
  KQRBPvKB -> KQQRBvKB;
  KQRBPvKB -> KRBPvKB;
  KQRBPvKB -> KQRRBvKB;
  KQRBPvKB -> KQBPvKB;
  KQRBPvKB -> KQRBBvKB;
  KQRBPvKB -> KQRPvKB;
  KQRBPvKB -> KQRBPvK;
  KQRBPvKB -> KQRBNvKB;
  KQRBPvKB -> KQRBvKB;
  KQQRBvKB -> KQRBvKB;
  KQQRBvKB -> KQQBvKB;
  KQQRBvKB -> KQQRvKB;
  KQQRBvKB -> KQQRBvK;
  KQBPPvKB -> KQQBPvKB;
  KQBPPvKB -> KBPPvKB;
  KQBPPvKB -> KQRBPvKB;
  KQBPPvKB -> KQBBPvKB;
  KQBPPvKB -> KQPPvKB;
  KQBPPvKB -> KQBPPvK;
  KQBPPvKB -> KQBNPvKB;
  KQBPPvKB -> KQBPvKB;
  KQQBPvKB -> KQQQBvKB;
  KQQBPvKB -> KQBPvKB;
  KQQBPvKB -> KQQRBvKB;
  KQQBPvKB -> KQQBBvKB;
  KQQBPvKB -> KQQPvKB;
  KQQBPvKB -> KQQBPvK;
  KQQBPvKB -> KQQBNvKB;
  KQQBPvKB -> KQQBvKB;
  KQQQBvKB -> KQQBvKB;
  KQQQBvKB -> KQQQvKB;
  KQQQBvKB -> KQQQBvK;
  KRPPPvKB -> KQRPPvKB;
  KRPPPvKB -> KRRPPvKB;
  KRPPPvKB -> KPPPvKB;
  KRPPPvKB -> KRBPPvKB;
  KRPPPvKB -> KRPPPvK;
  KRPPPvKB -> KRNPPvKB;
  KRPPPvKB -> KRPPvKB;
  KRRPPvKB -> KQRRPvKB;
  KRRPPvKB -> KRRRPvKB;
  KRRPPvKB -> KRPPvKB;
  KRRPPvKB -> KRRBPvKB;
  KRRPPvKB -> KRRPPvK;
  KRRPPvKB -> KRRNPvKB;
  KRRPPvKB -> KRRPvKB;
  KRRRPvKB -> KQRRRvKB;
  KRRRPvKB -> KRRRRvKB;
  KRRRPvKB -> KRRPvKB;
  KRRRPvKB -> KRRRBvKB;
  KRRRPvKB -> KRRRPvK;
  KRRRPvKB -> KRRRNvKB;
  KRRRPvKB -> KRRRvKB;
  KRRRRvKB -> KRRRvKB;
  KRRRRvKB -> KRRRRvK;
  KQRRRvKB -> KRRRvKB;
  KQRRRvKB -> KQRRvKB;
  KQRRRvKB -> KQRRRvK;
  KQRRPvKB -> KQQRRvKB;
  KQRRPvKB -> KRRPvKB;
  KQRRPvKB -> KQRRRvKB;
  KQRRPvKB -> KQRPvKB;
  KQRRPvKB -> KQRRBvKB;
  KQRRPvKB -> KQRRPvK;
  KQRRPvKB -> KQRRNvKB;
  KQRRPvKB -> KQRRvKB;
  KQQRRvKB -> KQRRvKB;
  KQQRRvKB -> KQQRvKB;
  KQQRRvKB -> KQQRRvK;
  KQRPPvKB -> KQQRPvKB;
  KQRPPvKB -> KRPPvKB;
  KQRPPvKB -> KQRRPvKB;
  KQRPPvKB -> KQPPvKB;
  KQRPPvKB -> KQRBPvKB;
  KQRPPvKB -> KQRPPvK;
  KQRPPvKB -> KQRNPvKB;
  KQRPPvKB -> KQRPvKB;
  KQQRPvKB -> KQQQRvKB;
  KQQRPvKB -> KQRPvKB;
  KQQRPvKB -> KQQRRvKB;
  KQQRPvKB -> KQQPvKB;
  KQQRPvKB -> KQQRBvKB;
  KQQRPvKB -> KQQRPvK;
  KQQRPvKB -> KQQRNvKB;
  KQQRPvKB -> KQQRvKB;
  KQQQRvKB -> KQQRvKB;
  KQQQRvKB -> KQQQvKB;
  KQQQRvKB -> KQQQRvK;
  KQPPPvKB -> KQQPPvKB;
  KQPPPvKB -> KPPPvKB;
  KQPPPvKB -> KQRPPvKB;
  KQPPPvKB -> KQBPPvKB;
  KQPPPvKB -> KQPPPvK;
  KQPPPvKB -> KQNPPvKB;
  KQPPPvKB -> KQPPvKB;
  KQQPPvKB -> KQQQPvKB;
  KQQPPvKB -> KQPPvKB;
  KQQPPvKB -> KQQRPvKB;
  KQQPPvKB -> KQQBPvKB;
  KQQPPvKB -> KQQPPvK;
  KQQPPvKB -> KQQNPvKB;
  KQQPPvKB -> KQQPvKB;
  KQQQPvKB -> KQQQQvKB;
  KQQQPvKB -> KQQPvKB;
  KQQQPvKB -> KQQQRvKB;
  KQQQPvKB -> KQQQBvKB;
  KQQQPvKB -> KQQQPvK;
  KQQQPvKB -> KQQQNvKB;
  KQQQPvKB -> KQQQvKB;
  KQQQQvKB -> KQQQvKB;
  KQQQQvKB -> KQQQQvK;
}