digraph Syzygy {
  KPPPvKB -> KQPPvKB;
  KPPPvKB -> KRPPvKB;
  KPPPvKB -> KBPPvKB;
  KPPPvKB -> KPPPvK;
  KPPPvKB -> KNPPvKB;
  KPPPvKB -> KPPvKB;
  KPPvKB -> KQPvKB;
  KPPvKB -> KRPvKB;
  KPPvKB -> KBPvKB;
  KPPvKB -> KPPvK;
  KPPvKB -> KNPvKB;
  KPPvKB -> KBvKP;
  KBvKP -> KQvKB;
  KBvKP -> KRvKB;
  KBvKP -> KBvKB;
  KBvKP -> KPvK;
  KBvKP -> KBvKN;
  KBvKP -> KBvK;
  KBvKN -> KNvK;
  KBvKN -> KBvK;
  KPvK -> KQvK;
  KPvK -> KRvK;
  KPvK -> KBvK;
  KPvK -> KNvK;
  KBvKB -> KBvK;
  KRvKB -> KBvK;
  KRvKB -> KRvK;
  KQvKB -> KBvK;
  KQvKB -> KQvK;
  KNPvKB -> KQNvKB;
  KNPvKB -> KRNvKB;
  KNPvKB -> KBNvKB;
  KNPvKB -> KNPvK;
  KNPvKB -> KNNvKB;
  KNPvKB -> KBvKP;
  KNPvKB -> KBvKN;
  KNNvKB -> KNNvK;
  KNNvKB -> KBvKN;
  KNNvK -> KNvK;
  KNPvK -> KQNvK;
  KNPvK -> KRNvK;
  KNPvK -> KBNvK;
  KNPvK -> KNNvK;
  KNPvK -> KPvK;
  KNPvK -> KNvK;
  KBNvK -> KNvK;
  KBNvK -> KBvK;
  KRNvK -> KNvK;
  KRNvK -> KRvK;
  KQNvK -> KNvK;
  KQNvK -> KQvK;
  KBNvKB -> KBvKN;
  KBNvKB -> KBNvK;
  KBNvKB -> KBvKB;
  KRNvKB -> KBvKN;
  KRNvKB -> KRNvK;
  KRNvKB -> KRvKB;
  KQNvKB -> KBvKN;
  KQNvKB -> KQNvK;
  KQNvKB -> KQvKB;
  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;
  KBPvKB -> KQBvKB;
  KBPvKB -> KRBvKB;
  KBPvKB -> KBBvKB;
  KBPvKB -> KBvKP;
  KBPvKB -> KBPvK;
  KBPvKB -> KBNvKB;
  KBPvKB -> KBvKB;
  KBBvKB -> KBvKB;
  KBBvKB -> KBBvK;
  KRBvKB -> KBvKB;
  KRBvKB -> KRvKB;
  KRBvKB -> KRBvK;
  KQBvKB -> KBvKB;
  KQBvKB -> KQvKB;
  KQBvKB -> KQBvK;
  KRPvKB -> KQRvKB;
  KRPvKB -> KRRvKB;
  KRPvKB -> KBvKP;
  KRPvKB -> KRBvKB;
  KRPvKB -> KRPvK;
  KRPvKB -> KRNvKB;
  KRPvKB -> KRvKB;
  KRRvKB -> KRvKB;
  KRRvKB -> KRRvK;
  KQRvKB -> KRvKB;
  KQRvKB -> KQvKB;
  KQRvKB -> KQRvK;
  KQPvKB -> KQQvKB;
  KQPvKB -> KBvKP;
  KQPvKB -> KQRvKB;
  KQPvKB -> KQBvKB;
  KQPvKB -> KQPvK;
  KQPvKB -> KQNvKB;
  KQPvKB -> KQvKB;
  KQQvKB -> KQvKB;
  KQQvKB -> KQQvK;
  KNPPvKB -> KQNPvKB;
  KNPPvKB -> KRNPvKB;
  KNPPvKB -> KBNPvKB;
  KNPPvKB -> KNPPvK;
  KNPPvKB -> KNNPvKB;
  KNPPvKB -> KPPvKB;
  KNPPvKB -> KNPvKB;
  KNNPvKB -> KQNNvKB;
  KNNPvKB -> KRNNvKB;
  KNNPvKB -> KBNNvKB;
  KNNPvKB -> KNNPvK;
  KNNPvKB -> KNNNvKB;
  KNNPvKB -> KNPvKB;
  KNNPvKB -> KNNvKB;
  KNNNvKB -> KNNNvK;
  KNNNvKB -> KNNvKB;
  KNNNvK -> KNNvK;
  KNNPvK -> KQNNvK;
  KNNPvK -> KRNNvK;
  KNNPvK -> KBNNvK;
  KNNPvK -> KNNNvK;
  KNNPvK -> KNPvK;
  KNNPvK -> KNNvK;
  KBNNvK -> KNNvK;
  KBNNvK -> KBNvK;
  KRNNvK -> KNNvK;
  KRNNvK -> KRNvK;
  KQNNvK -> KNNvK;
  KQNNvK -> KQNvK;
  KBNNvKB -> KNNvKB;
  KBNNvKB -> KBNNvK;
  KBNNvKB -> KBNvKB;
  KRNNvKB -> KNNvKB;
  KRNNvKB -> KRNNvK;
  KRNNvKB -> KRNvKB;
  KQNNvKB -> KNNvKB;
  KQNNvKB -> KQNNvK;
  KQNNvKB -> KQNvKB;
  KNPPvK -> KQNPvK;
  KNPPvK -> KRNPvK;
  KNPPvK -> KBNPvK;
  KNPPvK -> KNNPvK;
  KNPPvK -> KPPvK;
  KNPPvK -> KNPvK;
  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;
  KBNPvKB -> KQBNvKB;
  KBNPvKB -> KRBNvKB;
  KBNPvKB -> KBBNvKB;
  KBNPvKB -> KNPvKB;
  KBNPvKB -> KBNPvK;
  KBNPvKB -> KBNNvKB;
  KBNPvKB -> KBPvKB;
  KBNPvKB -> KBNvKB;
  KBBNvKB -> KBNvKB;
  KBBNvKB -> KBBNvK;
  KBBNvKB -> KBBvKB;
  KRBNvKB -> KBNvKB;
  KRBNvKB -> KRNvKB;
  KRBNvKB -> KRBNvK;
  KRBNvKB -> KRBvKB;
  KQBNvKB -> KBNvKB;
  KQBNvKB -> KQNvKB;
  KQBNvKB -> KQBNvK;
  KQBNvKB -> KQBvKB;
  KRNPvKB -> KQRNvKB;
  KRNPvKB -> KRRNvKB;
  KRNPvKB -> KNPvKB;
  KRNPvKB -> KRBNvKB;
  KRNPvKB -> KRNPvK;
  KRNPvKB -> KRNNvKB;
  KRNPvKB -> KRPvKB;
  KRNPvKB -> KRNvKB;
  KRRNvKB -> KRNvKB;
  KRRNvKB -> KRRNvK;
  KRRNvKB -> KRRvKB;
  KQRNvKB -> KRNvKB;
  KQRNvKB -> KQNvKB;
  KQRNvKB -> KQRNvK;
  KQRNvKB -> KQRvKB;
  KQNPvKB -> KQQNvKB;
  KQNPvKB -> KNPvKB;
  KQNPvKB -> KQRNvKB;
  KQNPvKB -> KQBNvKB;
  KQNPvKB -> KQNPvK;
  KQNPvKB -> KQNNvKB;
  KQNPvKB -> KQPvKB;
  KQNPvKB -> KQNvKB;
  KQQNvKB -> KQNvKB;
  KQQNvKB -> KQQNvK;
  KQQNvKB -> KQQvKB;
  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;
  KBPPvKB -> KQBPvKB;
  KBPPvKB -> KRBPvKB;
  KBPPvKB -> KBBPvKB;
  KBPPvKB -> KPPvKB;
  KBPPvKB -> KBPPvK;
  KBPPvKB -> KBNPvKB;
  KBPPvKB -> KBPvKB;
  KBBPvKB -> KQBBvKB;
  KBBPvKB -> KRBBvKB;
  KBBPvKB -> KBBBvKB;
  KBBPvKB -> KBPvKB;
  KBBPvKB -> KBBPvK;
  KBBPvKB -> KBBNvKB;
  KBBPvKB -> KBBvKB;
  KBBBvKB -> KBBvKB;
  KBBBvKB -> KBBBvK;
  KRBBvKB -> KBBvKB;
  KRBBvKB -> KRBvKB;
  KRBBvKB -> KRBBvK;
  KQBBvKB -> KBBvKB;
  KQBBvKB -> KQBvKB;
  KQBBvKB -> KQBBvK;
  KRBPvKB -> KQRBvKB;
  KRBPvKB -> KRRBvKB;
  KRBPvKB -> KBPvKB;
  KRBPvKB -> KRBBvKB;
  KRBPvKB -> KRPvKB;
  KRBPvKB -> KRBPvK;
  KRBPvKB -> KRBNvKB;
  KRBPvKB -> KRBvKB;
  KRRBvKB -> KRBvKB;
  KRRBvKB -> KRRvKB;
  KRRBvKB -> KRRBvK;
  KQRBvKB -> KRBvKB;
  KQRBvKB -> KQBvKB;
  KQRBvKB -> KQRvKB;
  KQRBvKB -> KQRBvK;
  KQBPvKB -> KQQBvKB;
  KQBPvKB -> KBPvKB;
  KQBPvKB -> KQRBvKB;
  KQBPvKB -> KQBBvKB;
  KQBPvKB -> KQPvKB;
  KQBPvKB -> KQBPvK;
  KQBPvKB -> KQBNvKB;
  KQBPvKB -> KQBvKB;
  KQQBvKB -> KQBvKB;
  KQQBvKB -> KQQvKB;
  KQQBvKB -> KQQBvK;
  KRPPvKB -> KQRPvKB;
  KRPPvKB -> KRRPvKB;
  KRPPvKB -> KPPvKB;
  KRPPvKB -> KRBPvKB;
  KRPPvKB -> KRPPvK;
  KRPPvKB -> KRNPvKB;
  KRPPvKB -> KRPvKB;
  KRRPvKB -> KQRRvKB;
  KRRPvKB -> KRRRvKB;
  KRRPvKB -> KRPvKB;
  KRRPvKB -> KRRBvKB;
  KRRPvKB -> KRRPvK;
  KRRPvKB -> KRRNvKB;
  KRRPvKB -> KRRvKB;
  KRRRvKB -> KRRvKB;
  KRRRvKB -> KRRRvK;
  KQRRvKB -> KRRvKB;
  KQRRvKB -> KQRvKB;
  KQRRvKB -> KQRRvK;
  KQRPvKB -> KQQRvKB;
  KQRPvKB -> KRPvKB;
  KQRPvKB -> KQRRvKB;
  KQRPvKB -> KQPvKB;
  KQRPvKB -> KQRBvKB;
  KQRPvKB -> KQRPvK;
  KQRPvKB -> KQRNvKB;
  KQRPvKB -> KQRvKB;
  KQQRvKB -> KQRvKB;
  KQQRvKB -> KQQvKB;
  KQQRvKB -> KQQRvK;
  KQPPvKB -> KQQPvKB;
  KQPPvKB -> KPPvKB;
  KQPPvKB -> KQRPvKB;
  KQPPvKB -> KQBPvKB;
  KQPPvKB -> KQPPvK;
  KQPPvKB -> KQNPvKB;
  KQPPvKB -> KQPvKB;
  KQQPvKB -> KQQQvKB;
  KQQPvKB -> KQPvKB;
  KQQPvKB -> KQQRvKB;
  KQQPvKB -> KQQBvKB;
  KQQPvKB -> KQQPvK;
  KQQPvKB -> KQQNvKB;
  KQQPvKB -> KQQvKB;
  KQQQvKB -> KQQvKB;
  KQQQvKB -> KQQQvK;
}