digraph Syzygy {
  KBNPPvKN -> KQBNPvKN;
  KBNPPvKN -> KRBNPvKN;
  KBNPPvKN -> KBBNPvKN;
  KBNPPvKN -> KNPPvKN;
  KBNPPvKN -> KBNNPvKN;
  KBNPPvKN -> KBPPvKN;
  KBNPPvKN -> KBNPPvK;
  KBNPPvKN -> KBNPvKN;
  KBNPvKN -> KQBNvKN;
  KBNPvKN -> KRBNvKN;
  KBNPvKN -> KBBNvKN;
  KBNPvKN -> KNPvKN;
  KBNPvKN -> KBNNvKN;
  KBNPvKN -> KBPvKN;
  KBNPvKN -> KBNPvK;
  KBNPvKN -> KBNvKN;
  KBNvKN -> KNvKN;
  KBNvKN -> KBvKN;
  KBNvKN -> KBNvK;
  KBNvK -> KNvK;
  KBNvK -> KBvK;
  KBvKN -> KNvK;
  KBvKN -> KBvK;
  KNvKN -> KNvK;
  KBNPvK -> KQBNvK;
  KBNPvK -> KRBNvK;
  KBNPvK -> KBBNvK;
  KBNPvK -> KNPvK;
  KBNPvK -> KBNNvK;
  KBNPvK -> KBPvK;
  KBNPvK -> KBNvK;
  KBPvK -> KQBvK;
  KBPvK -> KRBvK;
  KBPvK -> KBBvK;
  KBPvK -> KPvK;
  KBPvK -> KBNvK;
  KBPvK -> KBvK;
  KPvK -> KQvK;
  KPvK -> KRvK;
  KPvK -> KBvK;
  KPvK -> KNvK;
  KBBvK -> KBvK;
  KRBvK -> KBvK;
  KRBvK -> KRvK;
  KQBvK -> KBvK;
  KQBvK -> KQvK;
  KBNNvK -> KNNvK;
  KBNNvK -> KBNvK;
  KNNvK -> KNvK;
  KNPvK -> KQNvK;
  KNPvK -> KRNvK;
  KNPvK -> KBNvK;
  KNPvK -> KNNvK;
  KNPvK -> KPvK;
  KNPvK -> KNvK;
  KRNvK -> KNvK;
  KRNvK -> KRvK;
  KQNvK -> KNvK;
  KQNvK -> KQvK;
  KBBNvK -> KBNvK;
  KBBNvK -> KBBvK;
  KRBNvK -> KBNvK;
  KRBNvK -> KRNvK;
  KRBNvK -> KRBvK;
  KQBNvK -> KBNvK;
  KQBNvK -> KQNvK;
  KQBNvK -> KQBvK;
  KBPvKN -> KQBvKN;
  KBPvKN -> KRBvKN;
  KBPvKN -> KBBvKN;
  KBPvKN -> KNvKP;
  KBPvKN -> KBNvKN;
  KBPvKN -> KBPvK;
  KBPvKN -> KBvKN;
  KNvKP -> KQvKN;
  KNvKP -> KRvKN;
  KNvKP -> KBvKN;
  KNvKP -> KNvKN;
  KNvKP -> KPvK;
  KNvKP -> KNvK;
  KRvKN -> KNvK;
  KRvKN -> KRvK;
  KQvKN -> KNvK;
  KQvKN -> KQvK;
  KBBvKN -> KBvKN;
  KBBvKN -> KBBvK;
  KRBvKN -> KBvKN;
  KRBvKN -> KRvKN;
  KRBvKN -> KRBvK;
  KQBvKN -> KBvKN;
  KQBvKN -> KQvKN;
  KQBvKN -> KQBvK;
  KBNNvKN -> KNNvKN;
  KBNNvKN -> KBNvKN;
  KBNNvKN -> KBNNvK;
  KNNvKN -> KNvKN;
  KNNvKN -> KNNvK;
  KNPvKN -> KQNvKN;
  KNPvKN -> KRNvKN;
  KNPvKN -> KBNvKN;
  KNPvKN -> KNNvKN;
  KNPvKN -> KNvKP;
  KNPvKN -> KNPvK;
  KNPvKN -> KNvKN;
  KRNvKN -> KNvKN;
  KRNvKN -> KRvKN;
  KRNvKN -> KRNvK;
  KQNvKN -> KNvKN;
  KQNvKN -> KQvKN;
  KQNvKN -> KQNvK;
  KBBNvKN -> KBNvKN;
  KBBNvKN -> KBBvKN;
  KBBNvKN -> KBBNvK;
  KRBNvKN -> KBNvKN;
  KRBNvKN -> KRNvKN;
  KRBNvKN -> KRBvKN;
  KRBNvKN -> KRBNvK;
  KQBNvKN -> KBNvKN;
  KQBNvKN -> KQNvKN;
  KQBNvKN -> KQBvKN;
  KQBNvKN -> KQBNvK;
  KBNPPvK -> KQBNPvK;
  KBNPPvK -> KRBNPvK;
  KBNPPvK -> KBBNPvK;
  KBNPPvK -> KNPPvK;
  KBNPPvK -> KBNNPvK;
  KBNPPvK -> KBPPvK;
  KBNPPvK -> KBNPvK;
  KBPPvK -> KQBPvK;
  KBPPvK -> KRBPvK;
  KBPPvK -> KBBPvK;
  KBPPvK -> KPPvK;
  KBPPvK -> KBNPvK;
  KBPPvK -> KBPvK;
  KPPvK -> KQPvK;
  KPPvK -> KRPvK;
  KPPvK -> KBPvK;
  KPPvK -> KNPvK;
  KPPvK -> KPvK;
  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;
  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;
  KBNNPvK -> KQBNNvK;
  KBNNPvK -> KRBNNvK;
  KBNNPvK -> KBBNNvK;
  KBNNPvK -> KNNPvK;
  KBNNPvK -> KBNNNvK;
  KBNNPvK -> KBNPvK;
  KBNNPvK -> KBNNvK;
  KBNNNvK -> KNNNvK;
  KBNNNvK -> KBNNvK;
  KNNNvK -> KNNvK;
  KNNPvK -> KQNNvK;
  KNNPvK -> KRNNvK;
  KNNPvK -> KBNNvK;
  KNNPvK -> KNNNvK;
  KNNPvK -> KNPvK;
  KNNPvK -> KNNvK;
  KRNNvK -> KNNvK;
  KRNNvK -> KRNvK;
  KQNNvK -> KNNvK;
  KQNNvK -> KQNvK;
  KBBNNvK -> KBNNvK;
  KBBNNvK -> KBBNvK;
  KRBNNvK -> KBNNvK;
  KRBNNvK -> KRNNvK;
  KRBNNvK -> KRBNvK;
  KQBNNvK -> KBNNvK;
  KQBNNvK -> KQNNvK;
  KQBNNvK -> KQBNvK;
  KNPPvK -> KQNPvK;
  KNPPvK -> KRNPvK;
  KNPPvK -> KBNPvK;
  KNPPvK -> KNNPvK;
  KNPPvK -> KPPvK;
  KNPPvK -> KNPvK;
  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;
  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;
  KBPPvKN -> KQBPvKN;
  KBPPvKN -> KRBPvKN;
  KBPPvKN -> KBBPvKN;
  KBPPvKN -> KPPvKN;
  KBPPvKN -> KBNPvKN;
  KBPPvKN -> KBPPvK;
  KBPPvKN -> KBPvKN;
  KPPvKN -> KQPvKN;
  KPPvKN -> KRPvKN;
  KPPvKN -> KBPvKN;
  KPPvKN -> KNPvKN;
  KPPvKN -> KPPvK;
  KPPvKN -> KNvKP;
  KRPvKN -> KQRvKN;
  KRPvKN -> KRRvKN;
  KRPvKN -> KNvKP;
  KRPvKN -> KRBvKN;
  KRPvKN -> KRNvKN;
  KRPvKN -> KRPvK;
  KRPvKN -> KRvKN;
  KRRvKN -> KRvKN;
  KRRvKN -> KRRvK;
  KQRvKN -> KRvKN;
  KQRvKN -> KQvKN;
  KQRvKN -> KQRvK;
  KQPvKN -> KQQvKN;
  KQPvKN -> KNvKP;
  KQPvKN -> KQRvKN;
  KQPvKN -> KQBvKN;
  KQPvKN -> KQNvKN;
  KQPvKN -> KQPvK;
  KQPvKN -> KQvKN;
  KQQvKN -> KQvKN;
  KQQvKN -> KQQvK;
  KBBPvKN -> KQBBvKN;
  KBBPvKN -> KRBBvKN;
  KBBPvKN -> KBBBvKN;
  KBBPvKN -> KBPvKN;
  KBBPvKN -> KBBNvKN;
  KBBPvKN -> KBBPvK;
  KBBPvKN -> KBBvKN;
  KBBBvKN -> KBBvKN;
  KBBBvKN -> KBBBvK;
  KRBBvKN -> KBBvKN;
  KRBBvKN -> KRBvKN;
  KRBBvKN -> KRBBvK;
  KQBBvKN -> KBBvKN;
  KQBBvKN -> KQBvKN;
  KQBBvKN -> KQBBvK;
  KRBPvKN -> KQRBvKN;
  KRBPvKN -> KRRBvKN;
  KRBPvKN -> KBPvKN;
  KRBPvKN -> KRBBvKN;
  KRBPvKN -> KRPvKN;
  KRBPvKN -> KRBNvKN;
  KRBPvKN -> KRBPvK;
  KRBPvKN -> KRBvKN;
  KRRBvKN -> KRBvKN;
  KRRBvKN -> KRRvKN;
  KRRBvKN -> KRRBvK;
  KQRBvKN -> KRBvKN;
  KQRBvKN -> KQBvKN;
  KQRBvKN -> KQRvKN;
  KQRBvKN -> KQRBvK;
  KQBPvKN -> KQQBvKN;
  KQBPvKN -> KBPvKN;
  KQBPvKN -> KQRBvKN;
  KQBPvKN -> KQBBvKN;
  KQBPvKN -> KQPvKN;
  KQBPvKN -> KQBNvKN;
  KQBPvKN -> KQBPvK;
  KQBPvKN -> KQBvKN;
  KQQBvKN -> KQBvKN;
  KQQBvKN -> KQQvKN;
  KQQBvKN -> KQQBvK;
  KBNNPvKN -> KQBNNvKN;
  KBNNPvKN -> KRBNNvKN;
  KBNNPvKN -> KBBNNvKN;
  KBNNPvKN -> KNNPvKN;
  KBNNPvKN -> KBNNNvKN;
  KBNNPvKN -> KBNPvKN;
  KBNNPvKN -> KBNNPvK;
  KBNNPvKN -> KBNNvKN;
  KBNNNvKN -> KNNNvKN;
  KBNNNvKN -> KBNNvKN;
  KBNNNvKN -> KBNNNvK;
  KNNNvKN -> KNNvKN;
  KNNNvKN -> KNNNvK;
  KNNPvKN -> KQNNvKN;
  KNNPvKN -> KRNNvKN;
  KNNPvKN -> KBNNvKN;
  KNNPvKN -> KNNNvKN;
  KNNPvKN -> KNPvKN;
  KNNPvKN -> KNNPvK;
  KNNPvKN -> KNNvKN;
  KRNNvKN -> KNNvKN;
  KRNNvKN -> KRNvKN;
  KRNNvKN -> KRNNvK;
  KQNNvKN -> KNNvKN;
  KQNNvKN -> KQNvKN;
  KQNNvKN -> KQNNvK;
  KBBNNvKN -> KBNNvKN;
  KBBNNvKN -> KBBNvKN;
  KBBNNvKN -> KBBNNvK;
  KRBNNvKN -> KBNNvKN;
  KRBNNvKN -> KRNNvKN;
  KRBNNvKN -> KRBNvKN;
  KRBNNvKN -> KRBNNvK;
  KQBNNvKN -> KBNNvKN;
  KQBNNvKN -> KQNNvKN;
  KQBNNvKN -> KQBNvKN;
  KQBNNvKN -> KQBNNvK;
  KNPPvKN -> KQNPvKN;
  KNPPvKN -> KRNPvKN;
  KNPPvKN -> KBNPvKN;
  KNPPvKN -> KNNPvKN;
  KNPPvKN -> KPPvKN;
  KNPPvKN -> KNPPvK;
  KNPPvKN -> KNPvKN;
  KRNPvKN -> KQRNvKN;
  KRNPvKN -> KRRNvKN;
  KRNPvKN -> KNPvKN;
  KRNPvKN -> KRBNvKN;
  KRNPvKN -> KRNNvKN;
  KRNPvKN -> KRPvKN;
  KRNPvKN -> KRNPvK;
  KRNPvKN -> KRNvKN;
  KRRNvKN -> KRNvKN;
  KRRNvKN -> KRRvKN;
  KRRNvKN -> KRRNvK;
  KQRNvKN -> KRNvKN;
  KQRNvKN -> KQNvKN;
  KQRNvKN -> KQRvKN;
  KQRNvKN -> KQRNvK;
  KQNPvKN -> KQQNvKN;
  KQNPvKN -> KNPvKN;
  KQNPvKN -> KQRNvKN;
  KQNPvKN -> KQBNvKN;
  KQNPvKN -> KQNNvKN;
  KQNPvKN -> KQPvKN;
  KQNPvKN -> KQNPvK;
  KQNPvKN -> KQNvKN;
  KQQNvKN -> KQNvKN;
  KQQNvKN -> KQQvKN;
  KQQNvKN -> KQQNvK;
  KBBNPvKN -> KQBBNvKN;
  KBBNPvKN -> KRBBNvKN;
  KBBNPvKN -> KBBBNvKN;
  KBBNPvKN -> KBNPvKN;
  KBBNPvKN -> KBBNNvKN;
  KBBNPvKN -> KBBPvKN;
  KBBNPvKN -> KBBNPvK;
  KBBNPvKN -> KBBNvKN;
  KBBBNvKN -> KBBNvKN;
  KBBBNvKN -> KBBBvKN;
  KBBBNvKN -> KBBBNvK;
  KRBBNvKN -> KBBNvKN;
  KRBBNvKN -> KRBNvKN;
  KRBBNvKN -> KRBBvKN;
  KRBBNvKN -> KRBBNvK;
  KQBBNvKN -> KBBNvKN;
  KQBBNvKN -> KQBNvKN;
  KQBBNvKN -> KQBBvKN;
  KQBBNvKN -> KQBBNvK;
  KRBNPvKN -> KQRBNvKN;
  KRBNPvKN -> KRRBNvKN;
  KRBNPvKN -> KBNPvKN;
  KRBNPvKN -> KRBBNvKN;
  KRBNPvKN -> KRNPvKN;
  KRBNPvKN -> KRBNNvKN;
  KRBNPvKN -> KRBPvKN;
  KRBNPvKN -> KRBNPvK;
  KRBNPvKN -> KRBNvKN;
  KRRBNvKN -> KRBNvKN;
  KRRBNvKN -> KRRNvKN;
  KRRBNvKN -> KRRBvKN;
  KRRBNvKN -> KRRBNvK;
  KQRBNvKN -> KRBNvKN;
  KQRBNvKN -> KQBNvKN;
  KQRBNvKN -> KQRNvKN;
  KQRBNvKN -> KQRBvKN;
  KQRBNvKN -> KQRBNvK;
  KQBNPvKN -> KQQBNvKN;
  KQBNPvKN -> KBNPvKN;
  KQBNPvKN -> KQRBNvKN;
  KQBNPvKN -> KQBBNvKN;
  KQBNPvKN -> KQNPvKN;
  KQBNPvKN -> KQBNNvKN;
  KQBNPvKN -> KQBPvKN;
  KQBNPvKN -> KQBNPvK;
  KQBNPvKN -> KQBNvKN;
  KQQBNvKN -> KQBNvKN;
  KQQBNvKN -> KQQNvKN;
  KQQBNvKN -> KQQBvKN;
  KQQBNvKN -> KQQBNvK;
}