digraph Syzygy {
  KPPPvKQ -> KQPPvKQ;
  KPPPvKQ -> KPPPvK;
  KPPPvKQ -> KRPPvKQ;
  KPPPvKQ -> KBPPvKQ;
  KPPPvKQ -> KNPPvKQ;
  KPPPvKQ -> KPPvKQ;
  KPPvKQ -> KQPvKQ;
  KPPvKQ -> KPPvK;
  KPPvKQ -> KRPvKQ;
  KPPvKQ -> KBPvKQ;
  KPPvKQ -> KNPvKQ;
  KPPvKQ -> KQvKP;
  KQvKP -> KQvKQ;
  KQvKP -> KPvK;
  KQvKP -> KQvKR;
  KQvKP -> KQvKB;
  KQvKP -> KQvKN;
  KQvKP -> KQvK;
  KQvKN -> KNvK;
  KQvKN -> KQvK;
  KQvKB -> KBvK;
  KQvKB -> KQvK;
  KQvKR -> KRvK;
  KQvKR -> KQvK;
  KPvK -> KQvK;
  KPvK -> KRvK;
  KPvK -> KBvK;
  KPvK -> KNvK;
  KQvKQ -> KQvK;
  KNPvKQ -> KQNvKQ;
  KNPvKQ -> KNPvK;
  KNPvKQ -> KRNvKQ;
  KNPvKQ -> KBNvKQ;
  KNPvKQ -> KNNvKQ;
  KNPvKQ -> KQvKP;
  KNPvKQ -> KQvKN;
  KNNvKQ -> KNNvK;
  KNNvKQ -> KQvKN;
  KNNvK -> KNvK;
  KBNvKQ -> KBNvK;
  KBNvKQ -> KQvKN;
  KBNvKQ -> KQvKB;
  KBNvK -> KNvK;
  KBNvK -> KBvK;
  KRNvKQ -> KRNvK;
  KRNvKQ -> KQvKN;
  KRNvKQ -> KQvKR;
  KRNvK -> KNvK;
  KRNvK -> KRvK;
  KNPvK -> KQNvK;
  KNPvK -> KRNvK;
  KNPvK -> KBNvK;
  KNPvK -> KNNvK;
  KNPvK -> KPvK;
  KNPvK -> KNvK;
  KQNvK -> KNvK;
  KQNvK -> KQvK;
  KQNvKQ -> KQvKN;
  KQNvKQ -> KQNvK;
  KQNvKQ -> KQvKQ;
  KBPvKQ -> KQBvKQ;
  KBPvKQ -> KBPvK;
  KBPvKQ -> KRBvKQ;
  KBPvKQ -> KBBvKQ;
  KBPvKQ -> KQvKP;
  KBPvKQ -> KBNvKQ;
  KBPvKQ -> KQvKB;
  KBBvKQ -> KBBvK;
  KBBvKQ -> KQvKB;
  KBBvK -> KBvK;
  KRBvKQ -> KRBvK;
  KRBvKQ -> KQvKB;
  KRBvKQ -> KQvKR;
  KRBvK -> KBvK;
  KRBvK -> KRvK;
  KBPvK -> KQBvK;
  KBPvK -> KRBvK;
  KBPvK -> KBBvK;
  KBPvK -> KPvK;
  KBPvK -> KBNvK;
  KBPvK -> KBvK;
  KQBvK -> KBvK;
  KQBvK -> KQvK;
  KQBvKQ -> KQvKB;
  KQBvKQ -> KQBvK;
  KQBvKQ -> 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;
  KQRvK -> KRvK;
  KQRvK -> KQvK;
  KQRvKQ -> KQvKR;
  KQRvKQ -> KQRvK;
  KQRvKQ -> KQvKQ;
  KPPvK -> KQPvK;
  KPPvK -> KRPvK;
  KPPvK -> KBPvK;
  KPPvK -> KNPvK;
  KPPvK -> KPvK;
  KQPvK -> KQQvK;
  KQPvK -> KPvK;
  KQPvK -> KQRvK;
  KQPvK -> KQBvK;
  KQPvK -> KQNvK;
  KQPvK -> KQvK;
  KQQvK -> KQvK;
  KQPvKQ -> KQQvKQ;
  KQPvKQ -> KQvKP;
  KQPvKQ -> KQPvK;
  KQPvKQ -> KQRvKQ;
  KQPvKQ -> KQBvKQ;
  KQPvKQ -> KQNvKQ;
  KQPvKQ -> KQvKQ;
  KQQvKQ -> KQvKQ;
  KQQvKQ -> KQQvK;
  KNPPvKQ -> KQNPvKQ;
  KNPPvKQ -> KNPPvK;
  KNPPvKQ -> KRNPvKQ;
  KNPPvKQ -> KBNPvKQ;
  KNPPvKQ -> KNNPvKQ;
  KNPPvKQ -> KPPvKQ;
  KNPPvKQ -> KNPvKQ;
  KNNPvKQ -> KQNNvKQ;
  KNNPvKQ -> KNNPvK;
  KNNPvKQ -> KRNNvKQ;
  KNNPvKQ -> KBNNvKQ;
  KNNPvKQ -> KNNNvKQ;
  KNNPvKQ -> KNPvKQ;
  KNNPvKQ -> KNNvKQ;
  KNNNvKQ -> KNNNvK;
  KNNNvKQ -> KNNvKQ;
  KNNNvK -> KNNvK;
  KBNNvKQ -> KBNNvK;
  KBNNvKQ -> KNNvKQ;
  KBNNvKQ -> KBNvKQ;
  KBNNvK -> KNNvK;
  KBNNvK -> KBNvK;
  KRNNvKQ -> KRNNvK;
  KRNNvKQ -> KNNvKQ;
  KRNNvKQ -> KRNvKQ;
  KRNNvK -> KNNvK;
  KRNNvK -> KRNvK;
  KNNPvK -> KQNNvK;
  KNNPvK -> KRNNvK;
  KNNPvK -> KBNNvK;
  KNNPvK -> KNNNvK;
  KNNPvK -> KNPvK;
  KNNPvK -> KNNvK;
  KQNNvK -> KNNvK;
  KQNNvK -> KQNvK;
  KQNNvKQ -> KNNvKQ;
  KQNNvKQ -> KQNNvK;
  KQNNvKQ -> KQNvKQ;
  KBNPvKQ -> KQBNvKQ;
  KBNPvKQ -> KBNPvK;
  KBNPvKQ -> KRBNvKQ;
  KBNPvKQ -> KBBNvKQ;
  KBNPvKQ -> KNPvKQ;
  KBNPvKQ -> KBNNvKQ;
  KBNPvKQ -> KBPvKQ;
  KBNPvKQ -> KBNvKQ;
  KBBNvKQ -> KBBNvK;
  KBBNvKQ -> KBNvKQ;
  KBBNvKQ -> KBBvKQ;
  KBBNvK -> KBNvK;
  KBBNvK -> KBBvK;
  KRBNvKQ -> KRBNvK;
  KRBNvKQ -> KBNvKQ;
  KRBNvKQ -> KRNvKQ;
  KRBNvKQ -> KRBvKQ;
  KRBNvK -> KBNvK;
  KRBNvK -> KRNvK;
  KRBNvK -> KRBvK;
  KBNPvK -> KQBNvK;
  KBNPvK -> KRBNvK;
  KBNPvK -> KBBNvK;
  KBNPvK -> KNPvK;
  KBNPvK -> KBNNvK;
  KBNPvK -> KBPvK;
  KBNPvK -> KBNvK;
  KQBNvK -> KBNvK;
  KQBNvK -> KQNvK;
  KQBNvK -> KQBvK;
  KQBNvKQ -> KBNvKQ;
  KQBNvKQ -> KQBNvK;
  KQBNvKQ -> KQNvKQ;
  KQBNvKQ -> KQBvKQ;
  KRNPvKQ -> KQRNvKQ;
  KRNPvKQ -> KRNPvK;
  KRNPvKQ -> KRRNvKQ;
  KRNPvKQ -> KNPvKQ;
  KRNPvKQ -> KRBNvKQ;
  KRNPvKQ -> KRNNvKQ;
  KRNPvKQ -> KRPvKQ;
  KRNPvKQ -> KRNvKQ;
  KRRNvKQ -> KRRNvK;
  KRRNvKQ -> KRNvKQ;
  KRRNvKQ -> KRRvKQ;
  KRRNvK -> KRNvK;
  KRRNvK -> KRRvK;
  KRNPvK -> KQRNvK;
  KRNPvK -> KRRNvK;
  KRNPvK -> KNPvK;
  KRNPvK -> KRBNvK;
  KRNPvK -> KRNNvK;
  KRNPvK -> KRPvK;
  KRNPvK -> KRNvK;
  KQRNvK -> KRNvK;
  KQRNvK -> KQNvK;
  KQRNvK -> KQRvK;
  KQRNvKQ -> KRNvKQ;
  KQRNvKQ -> KQRNvK;
  KQRNvKQ -> KQNvKQ;
  KQRNvKQ -> KQRvKQ;
  KNPPvK -> KQNPvK;
  KNPPvK -> KRNPvK;
  KNPPvK -> KBNPvK;
  KNPPvK -> KNNPvK;
  KNPPvK -> KPPvK;
  KNPPvK -> KNPvK;
  KQNPvK -> KQQNvK;
  KQNPvK -> KNPvK;
  KQNPvK -> KQRNvK;
  KQNPvK -> KQBNvK;
  KQNPvK -> KQNNvK;
  KQNPvK -> KQPvK;
  KQNPvK -> KQNvK;
  KQQNvK -> KQNvK;
  KQQNvK -> KQQvK;
  KQNPvKQ -> KQQNvKQ;
  KQNPvKQ -> KNPvKQ;
  KQNPvKQ -> KQNPvK;
  KQNPvKQ -> KQRNvKQ;
  KQNPvKQ -> KQBNvKQ;
  KQNPvKQ -> KQNNvKQ;
  KQNPvKQ -> KQPvKQ;
  KQNPvKQ -> KQNvKQ;
  KQQNvKQ -> KQNvKQ;
  KQQNvKQ -> KQQNvK;
  KQQNvKQ -> KQQvKQ;
  KBPPvKQ -> KQBPvKQ;
  KBPPvKQ -> KBPPvK;
  KBPPvKQ -> KRBPvKQ;
  KBPPvKQ -> KBBPvKQ;
  KBPPvKQ -> KPPvKQ;
  KBPPvKQ -> KBNPvKQ;
  KBPPvKQ -> KBPvKQ;
  KBBPvKQ -> KQBBvKQ;
  KBBPvKQ -> KBBPvK;
  KBBPvKQ -> KRBBvKQ;
  KBBPvKQ -> KBBBvKQ;
  KBBPvKQ -> KBPvKQ;
  KBBPvKQ -> KBBNvKQ;
  KBBPvKQ -> KBBvKQ;
  KBBBvKQ -> KBBBvK;
  KBBBvKQ -> KBBvKQ;
  KBBBvK -> KBBvK;
  KRBBvKQ -> KRBBvK;
  KRBBvKQ -> KBBvKQ;
  KRBBvKQ -> KRBvKQ;
  KRBBvK -> KBBvK;
  KRBBvK -> KRBvK;
  KBBPvK -> KQBBvK;
  KBBPvK -> KRBBvK;
  KBBPvK -> KBBBvK;
  KBBPvK -> KBPvK;
  KBBPvK -> KBBNvK;
  KBBPvK -> KBBvK;
  KQBBvK -> KBBvK;
  KQBBvK -> KQBvK;
  KQBBvKQ -> KBBvKQ;
  KQBBvKQ -> KQBBvK;
  KQBBvKQ -> KQBvKQ;
  KRBPvKQ -> KQRBvKQ;
  KRBPvKQ -> KRBPvK;
  KRBPvKQ -> KRRBvKQ;
  KRBPvKQ -> KBPvKQ;
  KRBPvKQ -> KRBBvKQ;
  KRBPvKQ -> KRPvKQ;
  KRBPvKQ -> KRBNvKQ;
  KRBPvKQ -> KRBvKQ;
  KRRBvKQ -> KRRBvK;
  KRRBvKQ -> KRBvKQ;
  KRRBvKQ -> KRRvKQ;
  KRRBvK -> KRBvK;
  KRRBvK -> KRRvK;
  KRBPvK -> KQRBvK;
  KRBPvK -> KRRBvK;
  KRBPvK -> KBPvK;
  KRBPvK -> KRBBvK;
  KRBPvK -> KRPvK;
  KRBPvK -> KRBNvK;
  KRBPvK -> KRBvK;
  KQRBvK -> KRBvK;
  KQRBvK -> KQBvK;
  KQRBvK -> KQRvK;
  KQRBvKQ -> KRBvKQ;
  KQRBvKQ -> KQRBvK;
  KQRBvKQ -> KQBvKQ;
  KQRBvKQ -> KQRvKQ;
  KBPPvK -> KQBPvK;
  KBPPvK -> KRBPvK;
  KBPPvK -> KBBPvK;
  KBPPvK -> KPPvK;
  KBPPvK -> KBNPvK;
  KBPPvK -> KBPvK;
  KQBPvK -> KQQBvK;
  KQBPvK -> KBPvK;
  KQBPvK -> KQRBvK;
  KQBPvK -> KQBBvK;
  KQBPvK -> KQPvK;
  KQBPvK -> KQBNvK;
  KQBPvK -> KQBvK;
  KQQBvK -> KQBvK;
  KQQBvK -> KQQvK;
  KQBPvKQ -> KQQBvKQ;
  KQBPvKQ -> KBPvKQ;
  KQBPvKQ -> KQBPvK;
  KQBPvKQ -> KQRBvKQ;
  KQBPvKQ -> KQBBvKQ;
  KQBPvKQ -> KQPvKQ;
  KQBPvKQ -> KQBNvKQ;
  KQBPvKQ -> KQBvKQ;
  KQQBvKQ -> KQBvKQ;
  KQQBvKQ -> KQQBvK;
  KQQBvKQ -> KQQvKQ;
  KRPPvKQ -> KQRPvKQ;
  KRPPvKQ -> KRPPvK;
  KRPPvKQ -> KRRPvKQ;
  KRPPvKQ -> KPPvKQ;
  KRPPvKQ -> KRBPvKQ;
  KRPPvKQ -> KRNPvKQ;
  KRPPvKQ -> KRPvKQ;
  KRRPvKQ -> KQRRvKQ;
  KRRPvKQ -> KRRPvK;
  KRRPvKQ -> KRRRvKQ;
  KRRPvKQ -> KRPvKQ;
  KRRPvKQ -> KRRBvKQ;
  KRRPvKQ -> KRRNvKQ;
  KRRPvKQ -> KRRvKQ;
  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;
  KRPPvK -> KQRPvK;
  KRPPvK -> KRRPvK;
  KRPPvK -> KPPvK;
  KRPPvK -> KRBPvK;
  KRPPvK -> KRNPvK;
  KRPPvK -> KRPvK;
  KQRPvK -> KQQRvK;
  KQRPvK -> KRPvK;
  KQRPvK -> KQRRvK;
  KQRPvK -> KQPvK;
  KQRPvK -> KQRBvK;
  KQRPvK -> KQRNvK;
  KQRPvK -> KQRvK;
  KQQRvK -> KQRvK;
  KQQRvK -> KQQvK;
  KQRPvKQ -> KQQRvKQ;
  KQRPvKQ -> KRPvKQ;
  KQRPvKQ -> KQRPvK;
  KQRPvKQ -> KQRRvKQ;
  KQRPvKQ -> KQPvKQ;
  KQRPvKQ -> KQRBvKQ;
  KQRPvKQ -> KQRNvKQ;
  KQRPvKQ -> KQRvKQ;
  KQQRvKQ -> KQRvKQ;
  KQQRvKQ -> KQQRvK;
  KQQRvKQ -> KQQvKQ;
  KPPPvK -> KQPPvK;
  KPPPvK -> KRPPvK;
  KPPPvK -> KBPPvK;
  KPPPvK -> KNPPvK;
  KPPPvK -> KPPvK;
  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;
  KQPPvKQ -> KQQPvKQ;
  KQPPvKQ -> KPPvKQ;
  KQPPvKQ -> KQPPvK;
  KQPPvKQ -> KQRPvKQ;
  KQPPvKQ -> KQBPvKQ;
  KQPPvKQ -> KQNPvKQ;
  KQPPvKQ -> KQPvKQ;
  KQQPvKQ -> KQQQvKQ;
  KQQPvKQ -> KQPvKQ;
  KQQPvKQ -> KQQPvK;
  KQQPvKQ -> KQQRvKQ;
  KQQPvKQ -> KQQBvKQ;
  KQQPvKQ -> KQQNvKQ;
  KQQPvKQ -> KQQvKQ;
  KQQQvKQ -> KQQvKQ;
  KQQQvKQ -> KQQQvK;
}