digraph Syzygy {
  KNNPPvKN -> KQNNPvKN;
  KNNPPvKN -> KRNNPvKN;
  KNNPPvKN -> KBNNPvKN;
  KNNPPvKN -> KNNNPvKN;
  KNNPPvKN -> KNPPvKN;
  KNNPPvKN -> KNNPPvK;
  KNNPPvKN -> KNNPvKN;
  KNNPvKN -> KQNNvKN;
  KNNPvKN -> KRNNvKN;
  KNNPvKN -> KBNNvKN;
  KNNPvKN -> KNNNvKN;
  KNNPvKN -> KNPvKN;
  KNNPvKN -> KNNPvK;
  KNNPvKN -> KNNvKN;
  KNNvKN -> KNvKN;
  KNNvKN -> KNNvK;
  KNNvK -> KNvK;
  KNvKN -> KNvK;
  KNNPvK -> KQNNvK;
  KNNPvK -> KRNNvK;
  KNNPvK -> KBNNvK;
  KNNPvK -> KNNNvK;
  KNNPvK -> KNPvK;
  KNNPvK -> KNNvK;
  KNPvK -> KQNvK;
  KNPvK -> KRNvK;
  KNPvK -> KBNvK;
  KNPvK -> KNNvK;
  KNPvK -> KPvK;
  KNPvK -> KNvK;
  KPvK -> KQvK;
  KPvK -> KRvK;
  KPvK -> KBvK;
  KPvK -> KNvK;
  KBNvK -> KNvK;
  KBNvK -> KBvK;
  KRNvK -> KNvK;
  KRNvK -> KRvK;
  KQNvK -> KNvK;
  KQNvK -> KQvK;
  KNNNvK -> KNNvK;
  KBNNvK -> KNNvK;
  KBNNvK -> KBNvK;
  KRNNvK -> KNNvK;
  KRNNvK -> KRNvK;
  KQNNvK -> KNNvK;
  KQNNvK -> KQNvK;
  KNPvKN -> KQNvKN;
  KNPvKN -> KRNvKN;
  KNPvKN -> KBNvKN;
  KNPvKN -> KNNvKN;
  KNPvKN -> KNvKP;
  KNPvKN -> KNPvK;
  KNPvKN -> KNvKN;
  KNvKP -> KQvKN;
  KNvKP -> KRvKN;
  KNvKP -> KBvKN;
  KNvKP -> KNvKN;
  KNvKP -> KPvK;
  KNvKP -> KNvK;
  KBvKN -> KNvK;
  KBvKN -> KBvK;
  KRvKN -> KNvK;
  KRvKN -> KRvK;
  KQvKN -> KNvK;
  KQvKN -> KQvK;
  KBNvKN -> KNvKN;
  KBNvKN -> KBvKN;
  KBNvKN -> KBNvK;
  KRNvKN -> KNvKN;
  KRNvKN -> KRvKN;
  KRNvKN -> KRNvK;
  KQNvKN -> KNvKN;
  KQNvKN -> KQvKN;
  KQNvKN -> KQNvK;
  KNNNvKN -> KNNvKN;
  KNNNvKN -> KNNNvK;
  KBNNvKN -> KNNvKN;
  KBNNvKN -> KBNvKN;
  KBNNvKN -> KBNNvK;
  KRNNvKN -> KNNvKN;
  KRNNvKN -> KRNvKN;
  KRNNvKN -> KRNNvK;
  KQNNvKN -> KNNvKN;
  KQNNvKN -> KQNvKN;
  KQNNvKN -> KQNNvK;
  KNNPPvK -> KQNNPvK;
  KNNPPvK -> KRNNPvK;
  KNNPPvK -> KBNNPvK;
  KNNPPvK -> KNNNPvK;
  KNNPPvK -> KNPPvK;
  KNNPPvK -> KNNPvK;
  KNPPvK -> KQNPvK;
  KNPPvK -> KRNPvK;
  KNPPvK -> KBNPvK;
  KNPPvK -> KNNPvK;
  KNPPvK -> KPPvK;
  KNPPvK -> KNPvK;
  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;
  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;
  KNNNPvK -> KQNNNvK;
  KNNNPvK -> KRNNNvK;
  KNNNPvK -> KBNNNvK;
  KNNNPvK -> KNNNNvK;
  KNNNPvK -> KNNPvK;
  KNNNPvK -> KNNNvK;
  KNNNNvK -> KNNNvK;
  KBNNNvK -> KNNNvK;
  KBNNNvK -> KBNNvK;
  KRNNNvK -> KNNNvK;
  KRNNNvK -> KRNNvK;
  KQNNNvK -> KNNNvK;
  KQNNNvK -> KQNNvK;
  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;
  KNPPvKN -> KQNPvKN;
  KNPPvKN -> KRNPvKN;
  KNPPvKN -> KBNPvKN;
  KNPPvKN -> KNNPvKN;
  KNPPvKN -> KPPvKN;
  KNPPvKN -> KNPPvK;
  KNPPvKN -> KNPvKN;
  KPPvKN -> KQPvKN;
  KPPvKN -> KRPvKN;
  KPPvKN -> KBPvKN;
  KPPvKN -> KNPvKN;
  KPPvKN -> KPPvK;
  KPPvKN -> KNvKP;
  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;
  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;
  KNNNPvKN -> KQNNNvKN;
  KNNNPvKN -> KRNNNvKN;
  KNNNPvKN -> KBNNNvKN;
  KNNNPvKN -> KNNNNvKN;
  KNNNPvKN -> KNNPvKN;
  KNNNPvKN -> KNNNPvK;
  KNNNPvKN -> KNNNvKN;
  KNNNNvKN -> KNNNvKN;
  KNNNNvKN -> KNNNNvK;
  KBNNNvKN -> KNNNvKN;
  KBNNNvKN -> KBNNvKN;
  KBNNNvKN -> KBNNNvK;
  KRNNNvKN -> KNNNvKN;
  KRNNNvKN -> KRNNvKN;
  KRNNNvKN -> KRNNNvK;
  KQNNNvKN -> KNNNvKN;
  KQNNNvKN -> KQNNvKN;
  KQNNNvKN -> KQNNNvK;
  KBNNPvKN -> KQBNNvKN;
  KBNNPvKN -> KRBNNvKN;
  KBNNPvKN -> KBBNNvKN;
  KBNNPvKN -> KNNPvKN;
  KBNNPvKN -> KBNNNvKN;
  KBNNPvKN -> KBNPvKN;
  KBNNPvKN -> KBNNPvK;
  KBNNPvKN -> KBNNvKN;
  KBBNNvKN -> KBNNvKN;
  KBBNNvKN -> KBBNvKN;
  KBBNNvKN -> KBBNNvK;
  KRBNNvKN -> KBNNvKN;
  KRBNNvKN -> KRNNvKN;
  KRBNNvKN -> KRBNvKN;
  KRBNNvKN -> KRBNNvK;
  KQBNNvKN -> KBNNvKN;
  KQBNNvKN -> KQNNvKN;
  KQBNNvKN -> KQBNvKN;
  KQBNNvKN -> KQBNNvK;
  KRNNPvKN -> KQRNNvKN;
  KRNNPvKN -> KRRNNvKN;
  KRNNPvKN -> KNNPvKN;
  KRNNPvKN -> KRBNNvKN;
  KRNNPvKN -> KRNNNvKN;
  KRNNPvKN -> KRNPvKN;
  KRNNPvKN -> KRNNPvK;
  KRNNPvKN -> KRNNvKN;
  KRRNNvKN -> KRNNvKN;
  KRRNNvKN -> KRRNvKN;
  KRRNNvKN -> KRRNNvK;
  KQRNNvKN -> KRNNvKN;
  KQRNNvKN -> KQNNvKN;
  KQRNNvKN -> KQRNvKN;
  KQRNNvKN -> KQRNNvK;
  KQNNPvKN -> KQQNNvKN;
  KQNNPvKN -> KNNPvKN;
  KQNNPvKN -> KQRNNvKN;
  KQNNPvKN -> KQBNNvKN;
  KQNNPvKN -> KQNNNvKN;
  KQNNPvKN -> KQNPvKN;
  KQNNPvKN -> KQNNPvK;
  KQNNPvKN -> KQNNvKN;
  KQQNNvKN -> KQNNvKN;
  KQQNNvKN -> KQQNvKN;
  KQQNNvKN -> KQQNNvK;
}