digraph Syzygy {
  KPPPvKN -> KQPPvKN;
  KPPPvKN -> KRPPvKN;
  KPPPvKN -> KBPPvKN;
  KPPPvKN -> KNPPvKN;
  KPPPvKN -> KPPPvK;
  KPPPvKN -> KPPvKN;
  KPPvKN -> KQPvKN;
  KPPvKN -> KRPvKN;
  KPPvKN -> KBPvKN;
  KPPvKN -> KNPvKN;
  KPPvKN -> KPPvK;
  KPPvKN -> KNvKP;
  KNvKP -> KQvKN;
  KNvKP -> KRvKN;
  KNvKP -> KBvKN;
  KNvKP -> KNvKN;
  KNvKP -> KPvK;
  KNvKP -> KNvK;
  KPvK -> KQvK;
  KPvK -> KRvK;
  KPvK -> KBvK;
  KPvK -> KNvK;
  KNvKN -> KNvK;
  KBvKN -> KNvK;
  KBvKN -> KBvK;
  KRvKN -> KNvK;
  KRvKN -> KRvK;
  KQvKN -> KNvK;
  KQvKN -> KQvK;
  KPPvK -> KQPvK;
  KPPvK -> KRPvK;
  KPPvK -> KBPvK;
  KPPvK -> KNPvK;
  KPPvK -> KPvK;
  KNPvK -> KQNvK;
  KNPvK -> KRNvK;
  KNPvK -> KBNvK;
  KNPvK -> KNNvK;
  KNPvK -> KPvK;
  KNPvK -> KNvK;
  KNNvK -> KNvK;
  KBNvK -> KNvK;
  KBNvK -> KBvK;
  KRNvK -> KNvK;
  KRNvK -> KRvK;
  KQNvK -> KNvK;
  KQNvK -> KQvK;
  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;
  KNPvKN -> KQNvKN;
  KNPvKN -> KRNvKN;
  KNPvKN -> KBNvKN;
  KNPvKN -> KNNvKN;
  KNPvKN -> KNvKP;
  KNPvKN -> KNPvK;
  KNPvKN -> KNvKN;
  KNNvKN -> KNvKN;
  KNNvKN -> KNNvK;
  KBNvKN -> KNvKN;
  KBNvKN -> KBvKN;
  KBNvKN -> KBNvK;
  KRNvKN -> KNvKN;
  KRNvKN -> KRvKN;
  KRNvKN -> KRNvK;
  KQNvKN -> KNvKN;
  KQNvKN -> KQvKN;
  KQNvKN -> KQNvK;
  KBPvKN -> KQBvKN;
  KBPvKN -> KRBvKN;
  KBPvKN -> KBBvKN;
  KBPvKN -> KNvKP;
  KBPvKN -> KBNvKN;
  KBPvKN -> KBPvK;
  KBPvKN -> KBvKN;
  KBBvKN -> KBvKN;
  KBBvKN -> KBBvK;
  KRBvKN -> KBvKN;
  KRBvKN -> KRvKN;
  KRBvKN -> KRBvK;
  KQBvKN -> KBvKN;
  KQBvKN -> KQvKN;
  KQBvKN -> KQBvK;
  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;
  KPPPvK -> KQPPvK;
  KPPPvK -> KRPPvK;
  KPPPvK -> KBPPvK;
  KPPPvK -> KNPPvK;
  KPPPvK -> KPPvK;
  KNPPvK -> KQNPvK;
  KNPPvK -> KRNPvK;
  KNPPvK -> KBNPvK;
  KNPPvK -> KNNPvK;
  KNPPvK -> KPPvK;
  KNPPvK -> KNPvK;
  KNNPvK -> KQNNvK;
  KNNPvK -> KRNNvK;
  KNNPvK -> KBNNvK;
  KNNPvK -> KNNNvK;
  KNNPvK -> KNPvK;
  KNNPvK -> KNNvK;
  KNNNvK -> KNNvK;
  KBNNvK -> KNNvK;
  KBNNvK -> KBNvK;
  KRNNvK -> KNNvK;
  KRNNvK -> KRNvK;
  KQNNvK -> KNNvK;
  KQNNvK -> KQNvK;
  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;
  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;
  KNPPvKN -> KQNPvKN;
  KNPPvKN -> KRNPvKN;
  KNPPvKN -> KBNPvKN;
  KNPPvKN -> KNNPvKN;
  KNPPvKN -> KPPvKN;
  KNPPvKN -> KNPPvK;
  KNPPvKN -> KNPvKN;
  KNNPvKN -> KQNNvKN;
  KNNPvKN -> KRNNvKN;
  KNNPvKN -> KBNNvKN;
  KNNPvKN -> KNNNvKN;
  KNNPvKN -> KNPvKN;
  KNNPvKN -> KNNPvK;
  KNNPvKN -> KNNvKN;
  KNNNvKN -> KNNvKN;
  KNNNvKN -> KNNNvK;
  KBNNvKN -> KNNvKN;
  KBNNvKN -> KBNvKN;
  KBNNvKN -> KBNNvK;
  KRNNvKN -> KNNvKN;
  KRNNvKN -> KRNvKN;
  KRNNvKN -> KRNNvK;
  KQNNvKN -> KNNvKN;
  KQNNvKN -> KQNvKN;
  KQNNvKN -> KQNNvK;
  KBNPvKN -> KQBNvKN;
  KBNPvKN -> KRBNvKN;
  KBNPvKN -> KBBNvKN;
  KBNPvKN -> KNPvKN;
  KBNPvKN -> KBNNvKN;
  KBNPvKN -> KBPvKN;
  KBNPvKN -> KBNPvK;
  KBNPvKN -> KBNvKN;
  KBBNvKN -> KBNvKN;
  KBBNvKN -> KBBvKN;
  KBBNvKN -> KBBNvK;
  KRBNvKN -> KBNvKN;
  KRBNvKN -> KRNvKN;
  KRBNvKN -> KRBvKN;
  KRBNvKN -> KRBNvK;
  KQBNvKN -> KBNvKN;
  KQBNvKN -> KQNvKN;
  KQBNvKN -> KQBvKN;
  KQBNvKN -> KQBNvK;
  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;
  KBPPvKN -> KQBPvKN;
  KBPPvKN -> KRBPvKN;
  KBPPvKN -> KBBPvKN;
  KBPPvKN -> KPPvKN;
  KBPPvKN -> KBNPvKN;
  KBPPvKN -> KBPPvK;
  KBPPvKN -> KBPvKN;
  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;
  KRPPvKN -> KQRPvKN;
  KRPPvKN -> KRRPvKN;
  KRPPvKN -> KPPvKN;
  KRPPvKN -> KRBPvKN;
  KRPPvKN -> KRNPvKN;
  KRPPvKN -> KRPPvK;
  KRPPvKN -> KRPvKN;
  KRRPvKN -> KQRRvKN;
  KRRPvKN -> KRRRvKN;
  KRRPvKN -> KRPvKN;
  KRRPvKN -> KRRBvKN;
  KRRPvKN -> KRRNvKN;
  KRRPvKN -> KRRPvK;
  KRRPvKN -> KRRvKN;
  KRRRvKN -> KRRvKN;
  KRRRvKN -> KRRRvK;
  KQRRvKN -> KRRvKN;
  KQRRvKN -> KQRvKN;
  KQRRvKN -> KQRRvK;
  KQRPvKN -> KQQRvKN;
  KQRPvKN -> KRPvKN;
  KQRPvKN -> KQRRvKN;
  KQRPvKN -> KQPvKN;
  KQRPvKN -> KQRBvKN;
  KQRPvKN -> KQRNvKN;
  KQRPvKN -> KQRPvK;
  KQRPvKN -> KQRvKN;
  KQQRvKN -> KQRvKN;
  KQQRvKN -> KQQvKN;
  KQQRvKN -> KQQRvK;
  KQPPvKN -> KQQPvKN;
  KQPPvKN -> KPPvKN;
  KQPPvKN -> KQRPvKN;
  KQPPvKN -> KQBPvKN;
  KQPPvKN -> KQNPvKN;
  KQPPvKN -> KQPPvK;
  KQPPvKN -> KQPvKN;
  KQQPvKN -> KQQQvKN;
  KQQPvKN -> KQPvKN;
  KQQPvKN -> KQQRvKN;
  KQQPvKN -> KQQBvKN;
  KQQPvKN -> KQQNvKN;
  KQQPvKN -> KQQPvK;
  KQQPvKN -> KQQvKN;
  KQQQvKN -> KQQvKN;
  KQQQvKN -> KQQQvK;
}