digraph Syzygy {
  KRRBPPvK -> KQRRBPvK;
  KRRBPPvK -> KRRRBPvK;
  KRRBPPvK -> KRBPPvK;
  KRRBPPvK -> KRRBBPvK;
  KRRBPPvK -> KRRPPvK;
  KRRBPPvK -> KRRBNPvK;
  KRRBPPvK -> KRRBPvK;
  KRRBPvK -> KQRRBvK;
  KRRBPvK -> KRRRBvK;
  KRRBPvK -> KRBPvK;
  KRRBPvK -> KRRBBvK;
  KRRBPvK -> KRRPvK;
  KRRBPvK -> KRRBNvK;
  KRRBPvK -> KRRBvK;
  KRRBvK -> KRBvK;
  KRRBvK -> KRRvK;
  KRRvK -> KRvK;
  KRBvK -> KBvK;
  KRBvK -> KRvK;
  KRRBNvK -> KRBNvK;
  KRRBNvK -> KRRNvK;
  KRRBNvK -> KRRBvK;
  KRRNvK -> KRNvK;
  KRRNvK -> KRRvK;
  KRNvK -> KNvK;
  KRNvK -> KRvK;
  KRBNvK -> KBNvK;
  KRBNvK -> KRNvK;
  KRBNvK -> KRBvK;
  KBNvK -> KNvK;
  KBNvK -> KBvK;
  KRRPvK -> KQRRvK;
  KRRPvK -> KRRRvK;
  KRRPvK -> KRPvK;
  KRRPvK -> KRRBvK;
  KRRPvK -> KRRNvK;
  KRRPvK -> KRRvK;
  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;
  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;
  KRRBNPvK -> KQRRBNvK;
  KRRBNPvK -> KRRRBNvK;
  KRRBNPvK -> KRBNPvK;
  KRRBNPvK -> KRRBBNvK;
  KRRBNPvK -> KRRNPvK;
  KRRBNPvK -> KRRBNNvK;
  KRRBNPvK -> KRRBPvK;
  KRRBNPvK -> KRRBNvK;
  KRRBNNvK -> KRBNNvK;
  KRRBNNvK -> KRRNNvK;
  KRRBNNvK -> KRRBNvK;
  KRRNNvK -> KRNNvK;
  KRRNNvK -> KRRNvK;
  KRNNvK -> KNNvK;
  KRNNvK -> KRNvK;
  KNNvK -> KNvK;
  KRBNNvK -> KBNNvK;
  KRBNNvK -> KRNNvK;
  KRBNNvK -> KRBNvK;
  KBNNvK -> KNNvK;
  KBNNvK -> KBNvK;
  KRRNPvK -> KQRRNvK;
  KRRNPvK -> KRRRNvK;
  KRRNPvK -> KRNPvK;
  KRRNPvK -> KRRBNvK;
  KRRNPvK -> KRRNNvK;
  KRRNPvK -> KRRPvK;
  KRRNPvK -> KRRNvK;
  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;
  KRRBBNvK -> KRBBNvK;
  KRRBBNvK -> KRRBNvK;
  KRRBBNvK -> KRRBBvK;
  KRBBNvK -> KBBNvK;
  KRBBNvK -> KRBNvK;
  KRBBNvK -> KRBBvK;
  KBBNvK -> KBNvK;
  KBBNvK -> KBBvK;
  KRBNPvK -> KQRBNvK;
  KRBNPvK -> KRRBNvK;
  KRBNPvK -> KBNPvK;
  KRBNPvK -> KRBBNvK;
  KRBNPvK -> KRNPvK;
  KRBNPvK -> KRBNNvK;
  KRBNPvK -> KRBPvK;
  KRBNPvK -> KRBNvK;
  KBNPvK -> KQBNvK;
  KBNPvK -> KRBNvK;
  KBNPvK -> KBBNvK;
  KBNPvK -> KNPvK;
  KBNPvK -> KBNNvK;
  KBNPvK -> KBPvK;
  KBNPvK -> KBNvK;
  KQBNvK -> KBNvK;
  KQBNvK -> KQNvK;
  KQBNvK -> KQBvK;
  KQRBNvK -> KRBNvK;
  KQRBNvK -> KQBNvK;
  KQRBNvK -> KQRNvK;
  KQRBNvK -> KQRBvK;
  KRRRBNvK -> KRRBNvK;
  KRRRBNvK -> KRRRNvK;
  KRRRBNvK -> KRRRBvK;
  KQRRBNvK -> KRRBNvK;
  KQRRBNvK -> KQRBNvK;
  KQRRBNvK -> KQRRNvK;
  KQRRBNvK -> KQRRBvK;
  KRRPPvK -> KQRRPvK;
  KRRPPvK -> KRRRPvK;
  KRRPPvK -> KRPPvK;
  KRRPPvK -> KRRBPvK;
  KRRPPvK -> KRRNPvK;
  KRRPPvK -> KRRPvK;
  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;
  KRRBBPvK -> KQRRBBvK;
  KRRBBPvK -> KRRRBBvK;
  KRRBBPvK -> KRBBPvK;
  KRRBBPvK -> KRRBBBvK;
  KRRBBPvK -> KRRBPvK;
  KRRBBPvK -> KRRBBNvK;
  KRRBBPvK -> KRRBBvK;
  KRRBBBvK -> KRBBBvK;
  KRRBBBvK -> KRRBBvK;
  KRBBBvK -> KBBBvK;
  KRBBBvK -> KRBBvK;
  KBBBvK -> KBBvK;
  KRBBPvK -> KQRBBvK;
  KRBBPvK -> KRRBBvK;
  KRBBPvK -> KBBPvK;
  KRBBPvK -> KRBBBvK;
  KRBBPvK -> KRBPvK;
  KRBBPvK -> KRBBNvK;
  KRBBPvK -> KRBBvK;
  KBBPvK -> KQBBvK;
  KBBPvK -> KRBBvK;
  KBBPvK -> KBBBvK;
  KBBPvK -> KBPvK;
  KBBPvK -> KBBNvK;
  KBBPvK -> KBBvK;
  KQBBvK -> KBBvK;
  KQBBvK -> KQBvK;
  KQRBBvK -> KRBBvK;
  KQRBBvK -> KQBBvK;
  KQRBBvK -> KQRBvK;
  KRRRBBvK -> KRRBBvK;
  KRRRBBvK -> KRRRBvK;
  KQRRBBvK -> KRRBBvK;
  KQRRBBvK -> KQRBBvK;
  KQRRBBvK -> KQRRBvK;
  KRBPPvK -> KQRBPvK;
  KRBPPvK -> KRRBPvK;
  KRBPPvK -> KBPPvK;
  KRBPPvK -> KRBBPvK;
  KRBPPvK -> KRPPvK;
  KRBPPvK -> KRBNPvK;
  KRBPPvK -> KRBPvK;
  KBPPvK -> KQBPvK;
  KBPPvK -> KRBPvK;
  KBPPvK -> KBBPvK;
  KBPPvK -> KPPvK;
  KBPPvK -> KBNPvK;
  KBPPvK -> KBPvK;
  KQBPvK -> KQQBvK;
  KQBPvK -> KBPvK;
  KQBPvK -> KQRBvK;
  KQBPvK -> KQBBvK;
  KQBPvK -> KQPvK;
  KQBPvK -> KQBNvK;
  KQBPvK -> KQBvK;
  KQQBvK -> KQBvK;
  KQQBvK -> KQQvK;
  KQRBPvK -> KQQRBvK;
  KQRBPvK -> KRBPvK;
  KQRBPvK -> KQRRBvK;
  KQRBPvK -> KQBPvK;
  KQRBPvK -> KQRBBvK;
  KQRBPvK -> KQRPvK;
  KQRBPvK -> KQRBNvK;
  KQRBPvK -> KQRBvK;
  KQQRBvK -> KQRBvK;
  KQQRBvK -> KQQBvK;
  KQQRBvK -> KQQRvK;
  KRRRBPvK -> KQRRRBvK;
  KRRRBPvK -> KRRRRBvK;
  KRRRBPvK -> KRRBPvK;
  KRRRBPvK -> KRRRBBvK;
  KRRRBPvK -> KRRRPvK;
  KRRRBPvK -> KRRRBNvK;
  KRRRBPvK -> KRRRBvK;
  KRRRRBvK -> KRRRBvK;
  KRRRRBvK -> KRRRRvK;
  KQRRRBvK -> KRRRBvK;
  KQRRRBvK -> KQRRBvK;
  KQRRRBvK -> KQRRRvK;
  KQRRBPvK -> KQQRRBvK;
  KQRRBPvK -> KRRBPvK;
  KQRRBPvK -> KQRRRBvK;
  KQRRBPvK -> KQRBPvK;
  KQRRBPvK -> KQRRBBvK;
  KQRRBPvK -> KQRRPvK;
  KQRRBPvK -> KQRRBNvK;
  KQRRBPvK -> KQRRBvK;
  KQQRRBvK -> KQRRBvK;
  KQQRRBvK -> KQQRBvK;
  KQQRRBvK -> KQQRRvK;
}