digraph Syzygy {
  KQRNPvKQ -> KQQRNvKQ;
  KQRNPvKQ -> KRNPvKQ;
  KQRNPvKQ -> KQRNPvK;
  KQRNPvKQ -> KQRRNvKQ;
  KQRNPvKQ -> KQNPvKQ;
  KQRNPvKQ -> KQRBNvKQ;
  KQRNPvKQ -> KQRNNvKQ;
  KQRNPvKQ -> KQRPvKQ;
  KQRNPvKQ -> KQRNvKQ;
  KQRNvKQ -> KRNvKQ;
  KQRNvKQ -> KQRNvK;
  KQRNvKQ -> KQNvKQ;
  KQRNvKQ -> KQRvKQ;
  KQRvKQ -> KQvKR;
  KQRvKQ -> KQRvK;
  KQRvKQ -> KQvKQ;
  KQvKQ -> KQvK;
  KQRvK -> KRvK;
  KQRvK -> KQvK;
  KQvKR -> KRvK;
  KQvKR -> KQvK;
  KQNvKQ -> KQvKN;
  KQNvKQ -> KQNvK;
  KQNvKQ -> KQvKQ;
  KQNvK -> KNvK;
  KQNvK -> KQvK;
  KQvKN -> KNvK;
  KQvKN -> KQvK;
  KQRNvK -> KRNvK;
  KQRNvK -> KQNvK;
  KQRNvK -> KQRvK;
  KRNvK -> KNvK;
  KRNvK -> KRvK;
  KRNvKQ -> KRNvK;
  KRNvKQ -> KQvKN;
  KRNvKQ -> KQvKR;
  KQRPvKQ -> KQQRvKQ;
  KQRPvKQ -> KRPvKQ;
  KQRPvKQ -> KQRPvK;
  KQRPvKQ -> KQRRvKQ;
  KQRPvKQ -> KQPvKQ;
  KQRPvKQ -> KQRBvKQ;
  KQRPvKQ -> KQRNvKQ;
  KQRPvKQ -> KQRvKQ;
  KQRBvKQ -> KRBvKQ;
  KQRBvKQ -> KQRBvK;
  KQRBvKQ -> KQBvKQ;
  KQRBvKQ -> KQRvKQ;
  KQBvKQ -> KQvKB;
  KQBvKQ -> KQBvK;
  KQBvKQ -> KQvKQ;
  KQBvK -> KBvK;
  KQBvK -> KQvK;
  KQvKB -> KBvK;
  KQvKB -> KQvK;
  KQRBvK -> KRBvK;
  KQRBvK -> KQBvK;
  KQRBvK -> KQRvK;
  KRBvK -> KBvK;
  KRBvK -> KRvK;
  KRBvKQ -> KRBvK;
  KRBvKQ -> KQvKB;
  KRBvKQ -> KQvKR;
  KQPvKQ -> KQQvKQ;
  KQPvKQ -> KQvKP;
  KQPvKQ -> KQPvK;
  KQPvKQ -> KQRvKQ;
  KQPvKQ -> KQBvKQ;
  KQPvKQ -> KQNvKQ;
  KQPvKQ -> KQvKQ;
  KQPvK -> KQQvK;
  KQPvK -> KPvK;
  KQPvK -> KQRvK;
  KQPvK -> KQBvK;
  KQPvK -> KQNvK;
  KQPvK -> KQvK;
  KPvK -> KQvK;
  KPvK -> KRvK;
  KPvK -> KBvK;
  KPvK -> KNvK;
  KQQvK -> KQvK;
  KQvKP -> KQvKQ;
  KQvKP -> KPvK;
  KQvKP -> KQvKR;
  KQvKP -> KQvKB;
  KQvKP -> KQvKN;
  KQvKP -> KQvK;
  KQQvKQ -> KQvKQ;
  KQQvKQ -> KQQvK;
  KQRRvKQ -> KRRvKQ;
  KQRRvKQ -> KQRRvK;
  KQRRvKQ -> KQRvKQ;
  KQRRvK -> KRRvK;
  KQRRvK -> KQRvK;
  KRRvK -> KRvK;
  KRRvKQ -> KRRvK;
  KRRvKQ -> KQvKR;
  KQRPvK -> KQQRvK;
  KQRPvK -> KRPvK;
  KQRPvK -> KQRRvK;
  KQRPvK -> KQPvK;
  KQRPvK -> KQRBvK;
  KQRPvK -> KQRNvK;
  KQRPvK -> KQRvK;
  KRPvK -> KQRvK;
  KRPvK -> KRRvK;
  KRPvK -> KPvK;
  KRPvK -> KRBvK;
  KRPvK -> KRNvK;
  KRPvK -> KRvK;
  KQQRvK -> KQRvK;
  KQQRvK -> KQQvK;
  KRPvKQ -> KQRvKQ;
  KRPvKQ -> KRPvK;
  KRPvKQ -> KRRvKQ;
  KRPvKQ -> KQvKP;
  KRPvKQ -> KRBvKQ;
  KRPvKQ -> KRNvKQ;
  KRPvKQ -> KQvKR;
  KQQRvKQ -> KQRvKQ;
  KQQRvKQ -> KQQRvK;
  KQQRvKQ -> KQQvKQ;
  KQRNNvKQ -> KRNNvKQ;
  KQRNNvKQ -> KQRNNvK;
  KQRNNvKQ -> KQNNvKQ;
  KQRNNvKQ -> KQRNvKQ;
  KQNNvKQ -> KNNvKQ;
  KQNNvKQ -> KQNNvK;
  KQNNvKQ -> KQNvKQ;
  KQNNvK -> KNNvK;
  KQNNvK -> KQNvK;
  KNNvK -> KNvK;
  KNNvKQ -> KNNvK;
  KNNvKQ -> KQvKN;
  KQRNNvK -> KRNNvK;
  KQRNNvK -> KQNNvK;
  KQRNNvK -> KQRNvK;
  KRNNvK -> KNNvK;
  KRNNvK -> KRNvK;
  KRNNvKQ -> KRNNvK;
  KRNNvKQ -> KNNvKQ;
  KRNNvKQ -> KRNvKQ;
  KQRBNvKQ -> KRBNvKQ;
  KQRBNvKQ -> KQRBNvK;
  KQRBNvKQ -> KQBNvKQ;
  KQRBNvKQ -> KQRNvKQ;
  KQRBNvKQ -> KQRBvKQ;
  KQBNvKQ -> KBNvKQ;
  KQBNvKQ -> KQBNvK;
  KQBNvKQ -> KQNvKQ;
  KQBNvKQ -> KQBvKQ;
  KQBNvK -> KBNvK;
  KQBNvK -> KQNvK;
  KQBNvK -> KQBvK;
  KBNvK -> KNvK;
  KBNvK -> KBvK;
  KBNvKQ -> KBNvK;
  KBNvKQ -> KQvKN;
  KBNvKQ -> KQvKB;
  KQRBNvK -> KRBNvK;
  KQRBNvK -> KQBNvK;
  KQRBNvK -> KQRNvK;
  KQRBNvK -> KQRBvK;
  KRBNvK -> KBNvK;
  KRBNvK -> KRNvK;
  KRBNvK -> KRBvK;
  KRBNvKQ -> KRBNvK;
  KRBNvKQ -> KBNvKQ;
  KRBNvKQ -> KRNvKQ;
  KRBNvKQ -> KRBvKQ;
  KQNPvKQ -> KQQNvKQ;
  KQNPvKQ -> KNPvKQ;
  KQNPvKQ -> KQNPvK;
  KQNPvKQ -> KQRNvKQ;
  KQNPvKQ -> KQBNvKQ;
  KQNPvKQ -> KQNNvKQ;
  KQNPvKQ -> KQPvKQ;
  KQNPvKQ -> KQNvKQ;
  KQNPvK -> KQQNvK;
  KQNPvK -> KNPvK;
  KQNPvK -> KQRNvK;
  KQNPvK -> KQBNvK;
  KQNPvK -> KQNNvK;
  KQNPvK -> KQPvK;
  KQNPvK -> KQNvK;
  KNPvK -> KQNvK;
  KNPvK -> KRNvK;
  KNPvK -> KBNvK;
  KNPvK -> KNNvK;
  KNPvK -> KPvK;
  KNPvK -> KNvK;
  KQQNvK -> KQNvK;
  KQQNvK -> KQQvK;
  KNPvKQ -> KQNvKQ;
  KNPvKQ -> KNPvK;
  KNPvKQ -> KRNvKQ;
  KNPvKQ -> KBNvKQ;
  KNPvKQ -> KNNvKQ;
  KNPvKQ -> KQvKP;
  KNPvKQ -> KQvKN;
  KQQNvKQ -> KQNvKQ;
  KQQNvKQ -> KQQNvK;
  KQQNvKQ -> KQQvKQ;
  KQRRNvKQ -> KRRNvKQ;
  KQRRNvKQ -> KQRRNvK;
  KQRRNvKQ -> KQRNvKQ;
  KQRRNvKQ -> KQRRvKQ;
  KQRRNvK -> KRRNvK;
  KQRRNvK -> KQRNvK;
  KQRRNvK -> KQRRvK;
  KRRNvK -> KRNvK;
  KRRNvK -> KRRvK;
  KRRNvKQ -> KRRNvK;
  KRRNvKQ -> KRNvKQ;
  KRRNvKQ -> KRRvKQ;
  KQRNPvK -> KQQRNvK;
  KQRNPvK -> KRNPvK;
  KQRNPvK -> KQRRNvK;
  KQRNPvK -> KQNPvK;
  KQRNPvK -> KQRBNvK;
  KQRNPvK -> KQRNNvK;
  KQRNPvK -> KQRPvK;
  KQRNPvK -> KQRNvK;
  KRNPvK -> KQRNvK;
  KRNPvK -> KRRNvK;
  KRNPvK -> KNPvK;
  KRNPvK -> KRBNvK;
  KRNPvK -> KRNNvK;
  KRNPvK -> KRPvK;
  KRNPvK -> KRNvK;
  KQQRNvK -> KQRNvK;
  KQQRNvK -> KQQNvK;
  KQQRNvK -> KQQRvK;
  KRNPvKQ -> KQRNvKQ;
  KRNPvKQ -> KRNPvK;
  KRNPvKQ -> KRRNvKQ;
  KRNPvKQ -> KNPvKQ;
  KRNPvKQ -> KRBNvKQ;
  KRNPvKQ -> KRNNvKQ;
  KRNPvKQ -> KRPvKQ;
  KRNPvKQ -> KRNvKQ;
  KQQRNvKQ -> KQRNvKQ;
  KQQRNvKQ -> KQQRNvK;
  KQQRNvKQ -> KQQNvKQ;
  KQQRNvKQ -> KQQRvKQ;
}