digraph Syzygy {
  KRRPPvKN -> KQRRPvKN;
  KRRPPvKN -> KRRRPvKN;
  KRRPPvKN -> KRPPvKN;
  KRRPPvKN -> KRRBPvKN;
  KRRPPvKN -> KRRNPvKN;
  KRRPPvKN -> KRRPPvK;
  KRRPPvKN -> KRRPvKN;
  KRRPvKN -> KQRRvKN;
  KRRPvKN -> KRRRvKN;
  KRRPvKN -> KRPvKN;
  KRRPvKN -> KRRBvKN;
  KRRPvKN -> KRRNvKN;
  KRRPvKN -> KRRPvK;
  KRRPvKN -> KRRvKN;
  KRRvKN -> KRvKN;
  KRRvKN -> KRRvK;
  KRRvK -> KRvK;
  KRvKN -> KNvK;
  KRvKN -> KRvK;
  KRRPvK -> KQRRvK;
  KRRPvK -> KRRRvK;
  KRRPvK -> KRPvK;
  KRRPvK -> KRRBvK;
  KRRPvK -> KRRNvK;
  KRRPvK -> KRRvK;
  KRRNvK -> KRNvK;
  KRRNvK -> KRRvK;
  KRNvK -> KNvK;
  KRNvK -> KRvK;
  KRRBvK -> KRBvK;
  KRRBvK -> KRRvK;
  KRBvK -> KBvK;
  KRBvK -> KRvK;
  KRPvK -> KQRvK;
  KRPvK -> KRRvK;
  KRPvK -> KPvK;
  KRPvK -> KRBvK;
  KRPvK -> KRNvK;
  KRPvK -> KRvK;
  KPvK -> KQvK;
  KPvK -> KRvK;
  KPvK -> KBvK;
  KPvK -> KNvK;
  KQRvK -> KRvK;
  KQRvK -> KQvK;
  KRRRvK -> KRRvK;
  KQRRvK -> KRRvK;
  KQRRvK -> KQRvK;
  KRRNvKN -> KRNvKN;
  KRRNvKN -> KRRvKN;
  KRRNvKN -> KRRNvK;
  KRNvKN -> KNvKN;
  KRNvKN -> KRvKN;
  KRNvKN -> KRNvK;
  KNvKN -> KNvK;
  KRRBvKN -> KRBvKN;
  KRRBvKN -> KRRvKN;
  KRRBvKN -> KRRBvK;
  KRBvKN -> KBvKN;
  KRBvKN -> KRvKN;
  KRBvKN -> KRBvK;
  KBvKN -> KNvK;
  KBvKN -> KBvK;
  KRPvKN -> KQRvKN;
  KRPvKN -> KRRvKN;
  KRPvKN -> KNvKP;
  KRPvKN -> KRBvKN;
  KRPvKN -> KRNvKN;
  KRPvKN -> KRPvK;
  KRPvKN -> KRvKN;
  KNvKP -> KQvKN;
  KNvKP -> KRvKN;
  KNvKP -> KBvKN;
  KNvKP -> KNvKN;
  KNvKP -> KPvK;
  KNvKP -> KNvK;
  KQvKN -> KNvK;
  KQvKN -> KQvK;
  KQRvKN -> KRvKN;
  KQRvKN -> KQvKN;
  KQRvKN -> KQRvK;
  KRRRvKN -> KRRvKN;
  KRRRvKN -> KRRRvK;
  KQRRvKN -> KRRvKN;
  KQRRvKN -> KQRvKN;
  KQRRvKN -> KQRRvK;
  KRRPPvK -> KQRRPvK;
  KRRPPvK -> KRRRPvK;
  KRRPPvK -> KRPPvK;
  KRRPPvK -> KRRBPvK;
  KRRPPvK -> KRRNPvK;
  KRRPPvK -> KRRPvK;
  KRRNPvK -> KQRRNvK;
  KRRNPvK -> KRRRNvK;
  KRRNPvK -> KRNPvK;
  KRRNPvK -> KRRBNvK;
  KRRNPvK -> KRRNNvK;
  KRRNPvK -> KRRPvK;
  KRRNPvK -> KRRNvK;
  KRRNNvK -> KRNNvK;
  KRRNNvK -> KRRNvK;
  KRNNvK -> KNNvK;
  KRNNvK -> KRNvK;
  KNNvK -> KNvK;
  KRRBNvK -> KRBNvK;
  KRRBNvK -> KRRNvK;
  KRRBNvK -> KRRBvK;
  KRBNvK -> KBNvK;
  KRBNvK -> KRNvK;
  KRBNvK -> KRBvK;
  KBNvK -> KNvK;
  KBNvK -> KBvK;
  KRNPvK -> KQRNvK;
  KRNPvK -> KRRNvK;
  KRNPvK -> KNPvK;
  KRNPvK -> KRBNvK;
  KRNPvK -> KRNNvK;
  KRNPvK -> KRPvK;
  KRNPvK -> KRNvK;
  KNPvK -> KQNvK;
  KNPvK -> KRNvK;
  KNPvK -> KBNvK;
  KNPvK -> KNNvK;
  KNPvK -> KPvK;
  KNPvK -> KNvK;
  KQNvK -> KNvK;
  KQNvK -> KQvK;
  KQRNvK -> KRNvK;
  KQRNvK -> KQNvK;
  KQRNvK -> KQRvK;
  KRRRNvK -> KRRNvK;
  KRRRNvK -> KRRRvK;
  KQRRNvK -> KRRNvK;
  KQRRNvK -> KQRNvK;
  KQRRNvK -> KQRRvK;
  KRRBPvK -> KQRRBvK;
  KRRBPvK -> KRRRBvK;
  KRRBPvK -> KRBPvK;
  KRRBPvK -> KRRBBvK;
  KRRBPvK -> KRRPvK;
  KRRBPvK -> KRRBNvK;
  KRRBPvK -> KRRBvK;
  KRRBBvK -> KRBBvK;
  KRRBBvK -> KRRBvK;
  KRBBvK -> KBBvK;
  KRBBvK -> KRBvK;
  KBBvK -> KBvK;
  KRBPvK -> KQRBvK;
  KRBPvK -> KRRBvK;
  KRBPvK -> KBPvK;
  KRBPvK -> KRBBvK;
  KRBPvK -> KRPvK;
  KRBPvK -> KRBNvK;
  KRBPvK -> KRBvK;
  KBPvK -> KQBvK;
  KBPvK -> KRBvK;
  KBPvK -> KBBvK;
  KBPvK -> KPvK;
  KBPvK -> KBNvK;
  KBPvK -> KBvK;
  KQBvK -> KBvK;
  KQBvK -> KQvK;
  KQRBvK -> KRBvK;
  KQRBvK -> KQBvK;
  KQRBvK -> KQRvK;
  KRRRBvK -> KRRBvK;
  KRRRBvK -> KRRRvK;
  KQRRBvK -> KRRBvK;
  KQRRBvK -> KQRBvK;
  KQRRBvK -> KQRRvK;
  KRPPvK -> KQRPvK;
  KRPPvK -> KRRPvK;
  KRPPvK -> KPPvK;
  KRPPvK -> KRBPvK;
  KRPPvK -> KRNPvK;
  KRPPvK -> KRPvK;
  KPPvK -> KQPvK;
  KPPvK -> KRPvK;
  KPPvK -> KBPvK;
  KPPvK -> KNPvK;
  KPPvK -> KPvK;
  KQPvK -> KQQvK;
  KQPvK -> KPvK;
  KQPvK -> KQRvK;
  KQPvK -> KQBvK;
  KQPvK -> KQNvK;
  KQPvK -> KQvK;
  KQQvK -> KQvK;
  KQRPvK -> KQQRvK;
  KQRPvK -> KRPvK;
  KQRPvK -> KQRRvK;
  KQRPvK -> KQPvK;
  KQRPvK -> KQRBvK;
  KQRPvK -> KQRNvK;
  KQRPvK -> KQRvK;
  KQQRvK -> KQRvK;
  KQQRvK -> KQQvK;
  KRRRPvK -> KQRRRvK;
  KRRRPvK -> KRRRRvK;
  KRRRPvK -> KRRPvK;
  KRRRPvK -> KRRRBvK;
  KRRRPvK -> KRRRNvK;
  KRRRPvK -> KRRRvK;
  KRRRRvK -> KRRRvK;
  KQRRRvK -> KRRRvK;
  KQRRRvK -> KQRRvK;
  KQRRPvK -> KQQRRvK;
  KQRRPvK -> KRRPvK;
  KQRRPvK -> KQRRRvK;
  KQRRPvK -> KQRPvK;
  KQRRPvK -> KQRRBvK;
  KQRRPvK -> KQRRNvK;
  KQRRPvK -> KQRRvK;
  KQQRRvK -> KQRRvK;
  KQQRRvK -> KQQRvK;
  KRRNPvKN -> KQRRNvKN;
  KRRNPvKN -> KRRRNvKN;
  KRRNPvKN -> KRNPvKN;
  KRRNPvKN -> KRRBNvKN;
  KRRNPvKN -> KRRNNvKN;
  KRRNPvKN -> KRRPvKN;
  KRRNPvKN -> KRRNPvK;
  KRRNPvKN -> KRRNvKN;
  KRRNNvKN -> KRNNvKN;
  KRRNNvKN -> KRRNvKN;
  KRRNNvKN -> KRRNNvK;
  KRNNvKN -> KNNvKN;
  KRNNvKN -> KRNvKN;
  KRNNvKN -> KRNNvK;
  KNNvKN -> KNvKN;
  KNNvKN -> KNNvK;
  KRRBNvKN -> KRBNvKN;
  KRRBNvKN -> KRRNvKN;
  KRRBNvKN -> KRRBvKN;
  KRRBNvKN -> KRRBNvK;
  KRBNvKN -> KBNvKN;
  KRBNvKN -> KRNvKN;
  KRBNvKN -> KRBvKN;
  KRBNvKN -> KRBNvK;
  KBNvKN -> KNvKN;
  KBNvKN -> KBvKN;
  KBNvKN -> KBNvK;
  KRNPvKN -> KQRNvKN;
  KRNPvKN -> KRRNvKN;
  KRNPvKN -> KNPvKN;
  KRNPvKN -> KRBNvKN;
  KRNPvKN -> KRNNvKN;
  KRNPvKN -> KRPvKN;
  KRNPvKN -> KRNPvK;
  KRNPvKN -> KRNvKN;
  KNPvKN -> KQNvKN;
  KNPvKN -> KRNvKN;
  KNPvKN -> KBNvKN;
  KNPvKN -> KNNvKN;
  KNPvKN -> KNvKP;
  KNPvKN -> KNPvK;
  KNPvKN -> KNvKN;
  KQNvKN -> KNvKN;
  KQNvKN -> KQvKN;
  KQNvKN -> KQNvK;
  KQRNvKN -> KRNvKN;
  KQRNvKN -> KQNvKN;
  KQRNvKN -> KQRvKN;
  KQRNvKN -> KQRNvK;
  KRRRNvKN -> KRRNvKN;
  KRRRNvKN -> KRRRvKN;
  KRRRNvKN -> KRRRNvK;
  KQRRNvKN -> KRRNvKN;
  KQRRNvKN -> KQRNvKN;
  KQRRNvKN -> KQRRvKN;
  KQRRNvKN -> KQRRNvK;
  KRRBPvKN -> KQRRBvKN;
  KRRBPvKN -> KRRRBvKN;
  KRRBPvKN -> KRBPvKN;
  KRRBPvKN -> KRRBBvKN;
  KRRBPvKN -> KRRPvKN;
  KRRBPvKN -> KRRBNvKN;
  KRRBPvKN -> KRRBPvK;
  KRRBPvKN -> KRRBvKN;
  KRRBBvKN -> KRBBvKN;
  KRRBBvKN -> KRRBvKN;
  KRRBBvKN -> KRRBBvK;
  KRBBvKN -> KBBvKN;
  KRBBvKN -> KRBvKN;
  KRBBvKN -> KRBBvK;
  KBBvKN -> KBvKN;
  KBBvKN -> KBBvK;
  KRBPvKN -> KQRBvKN;
  KRBPvKN -> KRRBvKN;
  KRBPvKN -> KBPvKN;
  KRBPvKN -> KRBBvKN;
  KRBPvKN -> KRPvKN;
  KRBPvKN -> KRBNvKN;
  KRBPvKN -> KRBPvK;
  KRBPvKN -> KRBvKN;
  KBPvKN -> KQBvKN;
  KBPvKN -> KRBvKN;
  KBPvKN -> KBBvKN;
  KBPvKN -> KNvKP;
  KBPvKN -> KBNvKN;
  KBPvKN -> KBPvK;
  KBPvKN -> KBvKN;
  KQBvKN -> KBvKN;
  KQBvKN -> KQvKN;
  KQBvKN -> KQBvK;
  KQRBvKN -> KRBvKN;
  KQRBvKN -> KQBvKN;
  KQRBvKN -> KQRvKN;
  KQRBvKN -> KQRBvK;
  KRRRBvKN -> KRRBvKN;
  KRRRBvKN -> KRRRvKN;
  KRRRBvKN -> KRRRBvK;
  KQRRBvKN -> KRRBvKN;
  KQRRBvKN -> KQRBvKN;
  KQRRBvKN -> KQRRvKN;
  KQRRBvKN -> KQRRBvK;
  KRPPvKN -> KQRPvKN;
  KRPPvKN -> KRRPvKN;
  KRPPvKN -> KPPvKN;
  KRPPvKN -> KRBPvKN;
  KRPPvKN -> KRNPvKN;
  KRPPvKN -> KRPPvK;
  KRPPvKN -> KRPvKN;
  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;
  KQRPvKN -> KQQRvKN;
  KQRPvKN -> KRPvKN;
  KQRPvKN -> KQRRvKN;
  KQRPvKN -> KQPvKN;
  KQRPvKN -> KQRBvKN;
  KQRPvKN -> KQRNvKN;
  KQRPvKN -> KQRPvK;
  KQRPvKN -> KQRvKN;
  KQQRvKN -> KQRvKN;
  KQQRvKN -> KQQvKN;
  KQQRvKN -> KQQRvK;
  KRRRPvKN -> KQRRRvKN;
  KRRRPvKN -> KRRRRvKN;
  KRRRPvKN -> KRRPvKN;
  KRRRPvKN -> KRRRBvKN;
  KRRRPvKN -> KRRRNvKN;
  KRRRPvKN -> KRRRPvK;
  KRRRPvKN -> KRRRvKN;
  KRRRRvKN -> KRRRvKN;
  KRRRRvKN -> KRRRRvK;
  KQRRRvKN -> KRRRvKN;
  KQRRRvKN -> KQRRvKN;
  KQRRRvKN -> KQRRRvK;
  KQRRPvKN -> KQQRRvKN;
  KQRRPvKN -> KRRPvKN;
  KQRRPvKN -> KQRRRvKN;
  KQRRPvKN -> KQRPvKN;
  KQRRPvKN -> KQRRBvKN;
  KQRRPvKN -> KQRRNvKN;
  KQRRPvKN -> KQRRPvK;
  KQRRPvKN -> KQRRvKN;
  KQQRRvKN -> KQRRvKN;
  KQQRRvKN -> KQQRvKN;
  KQQRRvKN -> KQQRRvK;
}