digraph Syzygy {
  KRNPPvKN -> KQRNPvKN;
  KRNPPvKN -> KRRNPvKN;
  KRNPPvKN -> KNPPvKN;
  KRNPPvKN -> KRBNPvKN;
  KRNPPvKN -> KRNNPvKN;
  KRNPPvKN -> KRPPvKN;
  KRNPPvKN -> KRNPPvK;
  KRNPPvKN -> KRNPvKN;
  KRNPvKN -> KQRNvKN;
  KRNPvKN -> KRRNvKN;
  KRNPvKN -> KNPvKN;
  KRNPvKN -> KRBNvKN;
  KRNPvKN -> KRNNvKN;
  KRNPvKN -> KRPvKN;
  KRNPvKN -> KRNPvK;
  KRNPvKN -> KRNvKN;
  KRNvKN -> KNvKN;
  KRNvKN -> KRvKN;
  KRNvKN -> KRNvK;
  KRNvK -> KNvK;
  KRNvK -> KRvK;
  KRvKN -> KNvK;
  KRvKN -> KRvK;
  KNvKN -> KNvK;
  KRNPvK -> KQRNvK;
  KRNPvK -> KRRNvK;
  KRNPvK -> KNPvK;
  KRNPvK -> KRBNvK;
  KRNPvK -> KRNNvK;
  KRNPvK -> KRPvK;
  KRNPvK -> KRNvK;
  KRPvK -> KQRvK;
  KRPvK -> KRRvK;
  KRPvK -> KPvK;
  KRPvK -> KRBvK;
  KRPvK -> KRNvK;
  KRPvK -> KRvK;
  KRBvK -> KBvK;
  KRBvK -> KRvK;
  KPvK -> KQvK;
  KPvK -> KRvK;
  KPvK -> KBvK;
  KPvK -> KNvK;
  KRRvK -> KRvK;
  KQRvK -> KRvK;
  KQRvK -> KQvK;
  KRNNvK -> KNNvK;
  KRNNvK -> KRNvK;
  KNNvK -> KNvK;
  KRBNvK -> KBNvK;
  KRBNvK -> KRNvK;
  KRBNvK -> KRBvK;
  KBNvK -> KNvK;
  KBNvK -> KBvK;
  KNPvK -> KQNvK;
  KNPvK -> KRNvK;
  KNPvK -> KBNvK;
  KNPvK -> KNNvK;
  KNPvK -> KPvK;
  KNPvK -> KNvK;
  KQNvK -> KNvK;
  KQNvK -> KQvK;
  KRRNvK -> KRNvK;
  KRRNvK -> KRRvK;
  KQRNvK -> KRNvK;
  KQRNvK -> KQNvK;
  KQRNvK -> KQRvK;
  KRPvKN -> KQRvKN;
  KRPvKN -> KRRvKN;
  KRPvKN -> KNvKP;
  KRPvKN -> KRBvKN;
  KRPvKN -> KRNvKN;
  KRPvKN -> KRPvK;
  KRPvKN -> KRvKN;
  KRBvKN -> KBvKN;
  KRBvKN -> KRvKN;
  KRBvKN -> KRBvK;
  KBvKN -> KNvK;
  KBvKN -> KBvK;
  KNvKP -> KQvKN;
  KNvKP -> KRvKN;
  KNvKP -> KBvKN;
  KNvKP -> KNvKN;
  KNvKP -> KPvK;
  KNvKP -> KNvK;
  KQvKN -> KNvK;
  KQvKN -> KQvK;
  KRRvKN -> KRvKN;
  KRRvKN -> KRRvK;
  KQRvKN -> KRvKN;
  KQRvKN -> KQvKN;
  KQRvKN -> KQRvK;
  KRNNvKN -> KNNvKN;
  KRNNvKN -> KRNvKN;
  KRNNvKN -> KRNNvK;
  KNNvKN -> KNvKN;
  KNNvKN -> KNNvK;
  KRBNvKN -> KBNvKN;
  KRBNvKN -> KRNvKN;
  KRBNvKN -> KRBvKN;
  KRBNvKN -> KRBNvK;
  KBNvKN -> KNvKN;
  KBNvKN -> KBvKN;
  KBNvKN -> KBNvK;
  KNPvKN -> KQNvKN;
  KNPvKN -> KRNvKN;
  KNPvKN -> KBNvKN;
  KNPvKN -> KNNvKN;
  KNPvKN -> KNvKP;
  KNPvKN -> KNPvK;
  KNPvKN -> KNvKN;
  KQNvKN -> KNvKN;
  KQNvKN -> KQvKN;
  KQNvKN -> KQNvK;
  KRRNvKN -> KRNvKN;
  KRRNvKN -> KRRvKN;
  KRRNvKN -> KRRNvK;
  KQRNvKN -> KRNvKN;
  KQRNvKN -> KQNvKN;
  KQRNvKN -> KQRvKN;
  KQRNvKN -> KQRNvK;
  KRNPPvK -> KQRNPvK;
  KRNPPvK -> KRRNPvK;
  KRNPPvK -> KNPPvK;
  KRNPPvK -> KRBNPvK;
  KRNPPvK -> KRNNPvK;
  KRNPPvK -> KRPPvK;
  KRNPPvK -> KRNPvK;
  KRPPvK -> KQRPvK;
  KRPPvK -> KRRPvK;
  KRPPvK -> KPPvK;
  KRPPvK -> KRBPvK;
  KRPPvK -> KRNPvK;
  KRPPvK -> KRPvK;
  KRBPvK -> KQRBvK;
  KRBPvK -> KRRBvK;
  KRBPvK -> KBPvK;
  KRBPvK -> KRBBvK;
  KRBPvK -> KRPvK;
  KRBPvK -> KRBNvK;
  KRBPvK -> KRBvK;
  KRBBvK -> KBBvK;
  KRBBvK -> KRBvK;
  KBBvK -> KBvK;
  KBPvK -> KQBvK;
  KBPvK -> KRBvK;
  KBPvK -> KBBvK;
  KBPvK -> KPvK;
  KBPvK -> KBNvK;
  KBPvK -> KBvK;
  KQBvK -> KBvK;
  KQBvK -> KQvK;
  KRRBvK -> KRBvK;
  KRRBvK -> KRRvK;
  KQRBvK -> KRBvK;
  KQRBvK -> KQBvK;
  KQRBvK -> KQRvK;
  KPPvK -> KQPvK;
  KPPvK -> KRPvK;
  KPPvK -> KBPvK;
  KPPvK -> KNPvK;
  KPPvK -> KPvK;
  KQPvK -> KQQvK;
  KQPvK -> KPvK;
  KQPvK -> KQRvK;
  KQPvK -> KQBvK;
  KQPvK -> KQNvK;
  KQPvK -> KQvK;
  KQQvK -> KQvK;
  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;
  KRNNPvK -> KQRNNvK;
  KRNNPvK -> KRRNNvK;
  KRNNPvK -> KNNPvK;
  KRNNPvK -> KRBNNvK;
  KRNNPvK -> KRNNNvK;
  KRNNPvK -> KRNPvK;
  KRNNPvK -> KRNNvK;
  KRNNNvK -> KNNNvK;
  KRNNNvK -> KRNNvK;
  KNNNvK -> KNNvK;
  KRBNNvK -> KBNNvK;
  KRBNNvK -> KRNNvK;
  KRBNNvK -> KRBNvK;
  KBNNvK -> KNNvK;
  KBNNvK -> KBNvK;
  KNNPvK -> KQNNvK;
  KNNPvK -> KRNNvK;
  KNNPvK -> KBNNvK;
  KNNPvK -> KNNNvK;
  KNNPvK -> KNPvK;
  KNNPvK -> KNNvK;
  KQNNvK -> KNNvK;
  KQNNvK -> KQNvK;
  KRRNNvK -> KRNNvK;
  KRRNNvK -> KRRNvK;
  KQRNNvK -> KRNNvK;
  KQRNNvK -> KQNNvK;
  KQRNNvK -> KQRNvK;
  KRBNPvK -> KQRBNvK;
  KRBNPvK -> KRRBNvK;
  KRBNPvK -> KBNPvK;
  KRBNPvK -> KRBBNvK;
  KRBNPvK -> KRNPvK;
  KRBNPvK -> KRBNNvK;
  KRBNPvK -> KRBPvK;
  KRBNPvK -> KRBNvK;
  KRBBNvK -> KBBNvK;
  KRBBNvK -> KRBNvK;
  KRBBNvK -> KRBBvK;
  KBBNvK -> KBNvK;
  KBBNvK -> KBBvK;
  KBNPvK -> KQBNvK;
  KBNPvK -> KRBNvK;
  KBNPvK -> KBBNvK;
  KBNPvK -> KNPvK;
  KBNPvK -> KBNNvK;
  KBNPvK -> KBPvK;
  KBNPvK -> KBNvK;
  KQBNvK -> KBNvK;
  KQBNvK -> KQNvK;
  KQBNvK -> KQBvK;
  KRRBNvK -> KRBNvK;
  KRRBNvK -> KRRNvK;
  KRRBNvK -> KRRBvK;
  KQRBNvK -> KRBNvK;
  KQRBNvK -> KQBNvK;
  KQRBNvK -> KQRNvK;
  KQRBNvK -> KQRBvK;
  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;
  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;
  KRPPvKN -> KQRPvKN;
  KRPPvKN -> KRRPvKN;
  KRPPvKN -> KPPvKN;
  KRPPvKN -> KRBPvKN;
  KRPPvKN -> KRNPvKN;
  KRPPvKN -> KRPPvK;
  KRPPvKN -> KRPvKN;
  KRBPvKN -> KQRBvKN;
  KRBPvKN -> KRRBvKN;
  KRBPvKN -> KBPvKN;
  KRBPvKN -> KRBBvKN;
  KRBPvKN -> KRPvKN;
  KRBPvKN -> KRBNvKN;
  KRBPvKN -> KRBPvK;
  KRBPvKN -> KRBvKN;
  KRBBvKN -> KBBvKN;
  KRBBvKN -> KRBvKN;
  KRBBvKN -> KRBBvK;
  KBBvKN -> KBvKN;
  KBBvKN -> KBBvK;
  KBPvKN -> KQBvKN;
  KBPvKN -> KRBvKN;
  KBPvKN -> KBBvKN;
  KBPvKN -> KNvKP;
  KBPvKN -> KBNvKN;
  KBPvKN -> KBPvK;
  KBPvKN -> KBvKN;
  KQBvKN -> KBvKN;
  KQBvKN -> KQvKN;
  KQBvKN -> KQBvK;
  KRRBvKN -> KRBvKN;
  KRRBvKN -> KRRvKN;
  KRRBvKN -> KRRBvK;
  KQRBvKN -> KRBvKN;
  KQRBvKN -> KQBvKN;
  KQRBvKN -> KQRvKN;
  KQRBvKN -> KQRBvK;
  KPPvKN -> KQPvKN;
  KPPvKN -> KRPvKN;
  KPPvKN -> KBPvKN;
  KPPvKN -> KNPvKN;
  KPPvKN -> KPPvK;
  KPPvKN -> KNvKP;
  KQPvKN -> KQQvKN;
  KQPvKN -> KNvKP;
  KQPvKN -> KQRvKN;
  KQPvKN -> KQBvKN;
  KQPvKN -> KQNvKN;
  KQPvKN -> KQPvK;
  KQPvKN -> KQvKN;
  KQQvKN -> KQvKN;
  KQQvKN -> KQQvK;
  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;
  KRNNPvKN -> KQRNNvKN;
  KRNNPvKN -> KRRNNvKN;
  KRNNPvKN -> KNNPvKN;
  KRNNPvKN -> KRBNNvKN;
  KRNNPvKN -> KRNNNvKN;
  KRNNPvKN -> KRNPvKN;
  KRNNPvKN -> KRNNPvK;
  KRNNPvKN -> KRNNvKN;
  KRNNNvKN -> KNNNvKN;
  KRNNNvKN -> KRNNvKN;
  KRNNNvKN -> KRNNNvK;
  KNNNvKN -> KNNvKN;
  KNNNvKN -> KNNNvK;
  KRBNNvKN -> KBNNvKN;
  KRBNNvKN -> KRNNvKN;
  KRBNNvKN -> KRBNvKN;
  KRBNNvKN -> KRBNNvK;
  KBNNvKN -> KNNvKN;
  KBNNvKN -> KBNvKN;
  KBNNvKN -> KBNNvK;
  KNNPvKN -> KQNNvKN;
  KNNPvKN -> KRNNvKN;
  KNNPvKN -> KBNNvKN;
  KNNPvKN -> KNNNvKN;
  KNNPvKN -> KNPvKN;
  KNNPvKN -> KNNPvK;
  KNNPvKN -> KNNvKN;
  KQNNvKN -> KNNvKN;
  KQNNvKN -> KQNvKN;
  KQNNvKN -> KQNNvK;
  KRRNNvKN -> KRNNvKN;
  KRRNNvKN -> KRRNvKN;
  KRRNNvKN -> KRRNNvK;
  KQRNNvKN -> KRNNvKN;
  KQRNNvKN -> KQNNvKN;
  KQRNNvKN -> KQRNvKN;
  KQRNNvKN -> KQRNNvK;
  KRBNPvKN -> KQRBNvKN;
  KRBNPvKN -> KRRBNvKN;
  KRBNPvKN -> KBNPvKN;
  KRBNPvKN -> KRBBNvKN;
  KRBNPvKN -> KRNPvKN;
  KRBNPvKN -> KRBNNvKN;
  KRBNPvKN -> KRBPvKN;
  KRBNPvKN -> KRBNPvK;
  KRBNPvKN -> KRBNvKN;
  KRBBNvKN -> KBBNvKN;
  KRBBNvKN -> KRBNvKN;
  KRBBNvKN -> KRBBvKN;
  KRBBNvKN -> KRBBNvK;
  KBBNvKN -> KBNvKN;
  KBBNvKN -> KBBvKN;
  KBBNvKN -> KBBNvK;
  KBNPvKN -> KQBNvKN;
  KBNPvKN -> KRBNvKN;
  KBNPvKN -> KBBNvKN;
  KBNPvKN -> KNPvKN;
  KBNPvKN -> KBNNvKN;
  KBNPvKN -> KBPvKN;
  KBNPvKN -> KBNPvK;
  KBNPvKN -> KBNvKN;
  KQBNvKN -> KBNvKN;
  KQBNvKN -> KQNvKN;
  KQBNvKN -> KQBvKN;
  KQBNvKN -> KQBNvK;
  KRRBNvKN -> KRBNvKN;
  KRRBNvKN -> KRRNvKN;
  KRRBNvKN -> KRRBvKN;
  KRRBNvKN -> KRRBNvK;
  KQRBNvKN -> KRBNvKN;
  KQRBNvKN -> KQBNvKN;
  KQRBNvKN -> KQRNvKN;
  KQRBNvKN -> KQRBvKN;
  KQRBNvKN -> KQRBNvK;
  KNPPvKN -> KQNPvKN;
  KNPPvKN -> KRNPvKN;
  KNPPvKN -> KBNPvKN;
  KNPPvKN -> KNNPvKN;
  KNPPvKN -> KPPvKN;
  KNPPvKN -> KNPPvK;
  KNPPvKN -> KNPvKN;
  KQNPvKN -> KQQNvKN;
  KQNPvKN -> KNPvKN;
  KQNPvKN -> KQRNvKN;
  KQNPvKN -> KQBNvKN;
  KQNPvKN -> KQNNvKN;
  KQNPvKN -> KQPvKN;
  KQNPvKN -> KQNPvK;
  KQNPvKN -> KQNvKN;
  KQQNvKN -> KQNvKN;
  KQQNvKN -> KQQvKN;
  KQQNvKN -> KQQNvK;
  KRRNPvKN -> KQRRNvKN;
  KRRNPvKN -> KRRRNvKN;
  KRRNPvKN -> KRNPvKN;
  KRRNPvKN -> KRRBNvKN;
  KRRNPvKN -> KRRNNvKN;
  KRRNPvKN -> KRRPvKN;
  KRRNPvKN -> KRRNPvK;
  KRRNPvKN -> KRRNvKN;
  KRRRNvKN -> KRRNvKN;
  KRRRNvKN -> KRRRvKN;
  KRRRNvKN -> KRRRNvK;
  KQRRNvKN -> KRRNvKN;
  KQRRNvKN -> KQRNvKN;
  KQRRNvKN -> KQRRvKN;
  KQRRNvKN -> KQRRNvK;
  KQRNPvKN -> KQQRNvKN;
  KQRNPvKN -> KRNPvKN;
  KQRNPvKN -> KQRRNvKN;
  KQRNPvKN -> KQNPvKN;
  KQRNPvKN -> KQRBNvKN;
  KQRNPvKN -> KQRNNvKN;
  KQRNPvKN -> KQRPvKN;
  KQRNPvKN -> KQRNPvK;
  KQRNPvKN -> KQRNvKN;
  KQQRNvKN -> KQRNvKN;
  KQQRNvKN -> KQQNvKN;
  KQQRNvKN -> KQQRvKN;
  KQQRNvKN -> KQQRNvK;
}