digraph Syzygy {
  KNNPPPvK -> KQNNPPvK;
  KNNPPPvK -> KRNNPPvK;
  KNNPPPvK -> KBNNPPvK;
  KNNPPPvK -> KNNNPPvK;
  KNNPPPvK -> KNPPPvK;
  KNNPPPvK -> KNNPPvK;
  KNNPPvK -> KQNNPvK;
  KNNPPvK -> KRNNPvK;
  KNNPPvK -> KBNNPvK;
  KNNPPvK -> KNNNPvK;
  KNNPPvK -> KNPPvK;
  KNNPPvK -> KNNPvK;
  KNNPvK -> KQNNvK;
  KNNPvK -> KRNNvK;
  KNNPvK -> KBNNvK;
  KNNPvK -> KNNNvK;
  KNNPvK -> KNPvK;
  KNNPvK -> KNNvK;
  KNNvK -> KNvK;
  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;
  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;
  KNPPPvK -> KQNPPvK;
  KNPPPvK -> KRNPPvK;
  KNPPPvK -> KBNPPvK;
  KNPPPvK -> KNNPPvK;
  KNPPPvK -> KPPPvK;
  KNPPPvK -> KNPPvK;
  KPPPvK -> KQPPvK;
  KPPPvK -> KRPPvK;
  KPPPvK -> KBPPvK;
  KPPPvK -> KNPPvK;
  KPPPvK -> KPPvK;
  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;
  KBNPPvK -> KQBNPvK;
  KBNPPvK -> KRBNPvK;
  KBNPPvK -> KBBNPvK;
  KBNPPvK -> KNPPvK;
  KBNPPvK -> KBNNPvK;
  KBNPPvK -> KBPPvK;
  KBNPPvK -> KBNPvK;
  KBBNPvK -> KQBBNvK;
  KBBNPvK -> KRBBNvK;
  KBBNPvK -> KBBBNvK;
  KBBNPvK -> KBNPvK;
  KBBNPvK -> KBBNNvK;
  KBBNPvK -> KBBPvK;
  KBBNPvK -> KBBNvK;
  KBBBNvK -> KBBNvK;
  KBBBNvK -> KBBBvK;
  KRBBNvK -> KBBNvK;
  KRBBNvK -> KRBNvK;
  KRBBNvK -> KRBBvK;
  KQBBNvK -> KBBNvK;
  KQBBNvK -> KQBNvK;
  KQBBNvK -> KQBBvK;
  KRBNPvK -> KQRBNvK;
  KRBNPvK -> KRRBNvK;
  KRBNPvK -> KBNPvK;
  KRBNPvK -> KRBBNvK;
  KRBNPvK -> KRNPvK;
  KRBNPvK -> KRBNNvK;
  KRBNPvK -> KRBPvK;
  KRBNPvK -> KRBNvK;
  KRRBNvK -> KRBNvK;
  KRRBNvK -> KRRNvK;
  KRRBNvK -> KRRBvK;
  KQRBNvK -> KRBNvK;
  KQRBNvK -> KQBNvK;
  KQRBNvK -> KQRNvK;
  KQRBNvK -> KQRBvK;
  KQBNPvK -> KQQBNvK;
  KQBNPvK -> KBNPvK;
  KQBNPvK -> KQRBNvK;
  KQBNPvK -> KQBBNvK;
  KQBNPvK -> KQNPvK;
  KQBNPvK -> KQBNNvK;
  KQBNPvK -> KQBPvK;
  KQBNPvK -> KQBNvK;
  KQQBNvK -> KQBNvK;
  KQQBNvK -> KQQNvK;
  KQQBNvK -> KQQBvK;
  KRNPPvK -> KQRNPvK;
  KRNPPvK -> KRRNPvK;
  KRNPPvK -> KNPPvK;
  KRNPPvK -> KRBNPvK;
  KRNPPvK -> KRNNPvK;
  KRNPPvK -> KRPPvK;
  KRNPPvK -> KRNPvK;
  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;
  KQNPPvK -> KQQNPvK;
  KQNPPvK -> KNPPvK;
  KQNPPvK -> KQRNPvK;
  KQNPPvK -> KQBNPvK;
  KQNPPvK -> KQNNPvK;
  KQNPPvK -> KQPPvK;
  KQNPPvK -> KQNPvK;
  KQQNPvK -> KQQQNvK;
  KQQNPvK -> KQNPvK;
  KQQNPvK -> KQQRNvK;
  KQQNPvK -> KQQBNvK;
  KQQNPvK -> KQQNNvK;
  KQQNPvK -> KQQPvK;
  KQQNPvK -> KQQNvK;
  KQQQNvK -> KQQNvK;
  KQQQNvK -> KQQQvK;
  KNNNPPvK -> KQNNNPvK;
  KNNNPPvK -> KRNNNPvK;
  KNNNPPvK -> KBNNNPvK;
  KNNNPPvK -> KNNNNPvK;
  KNNNPPvK -> KNNPPvK;
  KNNNPPvK -> KNNNPvK;
  KNNNNPvK -> KQNNNNvK;
  KNNNNPvK -> KRNNNNvK;
  KNNNNPvK -> KBNNNNvK;
  KNNNNPvK -> KNNNNNvK;
  KNNNNPvK -> KNNNPvK;
  KNNNNPvK -> KNNNNvK;
  KNNNNNvK -> KNNNNvK;
  KBNNNNvK -> KNNNNvK;
  KBNNNNvK -> KBNNNvK;
  KRNNNNvK -> KNNNNvK;
  KRNNNNvK -> KRNNNvK;
  KQNNNNvK -> KNNNNvK;
  KQNNNNvK -> KQNNNvK;
  KBNNNPvK -> KQBNNNvK;
  KBNNNPvK -> KRBNNNvK;
  KBNNNPvK -> KBBNNNvK;
  KBNNNPvK -> KNNNPvK;
  KBNNNPvK -> KBNNNNvK;
  KBNNNPvK -> KBNNPvK;
  KBNNNPvK -> KBNNNvK;
  KBBNNNvK -> KBNNNvK;
  KBBNNNvK -> KBBNNvK;
  KRBNNNvK -> KBNNNvK;
  KRBNNNvK -> KRNNNvK;
  KRBNNNvK -> KRBNNvK;
  KQBNNNvK -> KBNNNvK;
  KQBNNNvK -> KQNNNvK;
  KQBNNNvK -> KQBNNvK;
  KRNNNPvK -> KQRNNNvK;
  KRNNNPvK -> KRRNNNvK;
  KRNNNPvK -> KNNNPvK;
  KRNNNPvK -> KRBNNNvK;
  KRNNNPvK -> KRNNNNvK;
  KRNNNPvK -> KRNNPvK;
  KRNNNPvK -> KRNNNvK;
  KRRNNNvK -> KRNNNvK;
  KRRNNNvK -> KRRNNvK;
  KQRNNNvK -> KRNNNvK;
  KQRNNNvK -> KQNNNvK;
  KQRNNNvK -> KQRNNvK;
  KQNNNPvK -> KQQNNNvK;
  KQNNNPvK -> KNNNPvK;
  KQNNNPvK -> KQRNNNvK;
  KQNNNPvK -> KQBNNNvK;
  KQNNNPvK -> KQNNNNvK;
  KQNNNPvK -> KQNNPvK;
  KQNNNPvK -> KQNNNvK;
  KQQNNNvK -> KQNNNvK;
  KQQNNNvK -> KQQNNvK;
  KBNNPPvK -> KQBNNPvK;
  KBNNPPvK -> KRBNNPvK;
  KBNNPPvK -> KBBNNPvK;
  KBNNPPvK -> KNNPPvK;
  KBNNPPvK -> KBNNNPvK;
  KBNNPPvK -> KBNPPvK;
  KBNNPPvK -> KBNNPvK;
  KBBNNPvK -> KQBBNNvK;
  KBBNNPvK -> KRBBNNvK;
  KBBNNPvK -> KBBBNNvK;
  KBBNNPvK -> KBNNPvK;
  KBBNNPvK -> KBBNNNvK;
  KBBNNPvK -> KBBNPvK;
  KBBNNPvK -> KBBNNvK;
  KBBBNNvK -> KBBNNvK;
  KBBBNNvK -> KBBBNvK;
  KRBBNNvK -> KBBNNvK;
  KRBBNNvK -> KRBNNvK;
  KRBBNNvK -> KRBBNvK;
  KQBBNNvK -> KBBNNvK;
  KQBBNNvK -> KQBNNvK;
  KQBBNNvK -> KQBBNvK;
  KRBNNPvK -> KQRBNNvK;
  KRBNNPvK -> KRRBNNvK;
  KRBNNPvK -> KBNNPvK;
  KRBNNPvK -> KRBBNNvK;
  KRBNNPvK -> KRNNPvK;
  KRBNNPvK -> KRBNNNvK;
  KRBNNPvK -> KRBNPvK;
  KRBNNPvK -> KRBNNvK;
  KRRBNNvK -> KRBNNvK;
  KRRBNNvK -> KRRNNvK;
  KRRBNNvK -> KRRBNvK;
  KQRBNNvK -> KRBNNvK;
  KQRBNNvK -> KQBNNvK;
  KQRBNNvK -> KQRNNvK;
  KQRBNNvK -> KQRBNvK;
  KQBNNPvK -> KQQBNNvK;
  KQBNNPvK -> KBNNPvK;
  KQBNNPvK -> KQRBNNvK;
  KQBNNPvK -> KQBBNNvK;
  KQBNNPvK -> KQNNPvK;
  KQBNNPvK -> KQBNNNvK;
  KQBNNPvK -> KQBNPvK;
  KQBNNPvK -> KQBNNvK;
  KQQBNNvK -> KQBNNvK;
  KQQBNNvK -> KQQNNvK;
  KQQBNNvK -> KQQBNvK;
  KRNNPPvK -> KQRNNPvK;
  KRNNPPvK -> KRRNNPvK;
  KRNNPPvK -> KNNPPvK;
  KRNNPPvK -> KRBNNPvK;
  KRNNPPvK -> KRNNNPvK;
  KRNNPPvK -> KRNPPvK;
  KRNNPPvK -> KRNNPvK;
  KRRNNPvK -> KQRRNNvK;
  KRRNNPvK -> KRRRNNvK;
  KRRNNPvK -> KRNNPvK;
  KRRNNPvK -> KRRBNNvK;
  KRRNNPvK -> KRRNNNvK;
  KRRNNPvK -> KRRNPvK;
  KRRNNPvK -> KRRNNvK;
  KRRRNNvK -> KRRNNvK;
  KRRRNNvK -> KRRRNvK;
  KQRRNNvK -> KRRNNvK;
  KQRRNNvK -> KQRNNvK;
  KQRRNNvK -> KQRRNvK;
  KQRNNPvK -> KQQRNNvK;
  KQRNNPvK -> KRNNPvK;
  KQRNNPvK -> KQRRNNvK;
  KQRNNPvK -> KQNNPvK;
  KQRNNPvK -> KQRBNNvK;
  KQRNNPvK -> KQRNNNvK;
  KQRNNPvK -> KQRNPvK;
  KQRNNPvK -> KQRNNvK;
  KQQRNNvK -> KQRNNvK;
  KQQRNNvK -> KQQNNvK;
  KQQRNNvK -> KQQRNvK;
  KQNNPPvK -> KQQNNPvK;
  KQNNPPvK -> KNNPPvK;
  KQNNPPvK -> KQRNNPvK;
  KQNNPPvK -> KQBNNPvK;
  KQNNPPvK -> KQNNNPvK;
  KQNNPPvK -> KQNPPvK;
  KQNNPPvK -> KQNNPvK;
  KQQNNPvK -> KQQQNNvK;
  KQQNNPvK -> KQNNPvK;
  KQQNNPvK -> KQQRNNvK;
  KQQNNPvK -> KQQBNNvK;
  KQQNNPvK -> KQQNNNvK;
  KQQNNPvK -> KQQNPvK;
  KQQNNPvK -> KQQNNvK;
  KQQQNNvK -> KQQNNvK;
  KQQQNNvK -> KQQQNvK;
}