digraph Syzygy {
  KPPvKQ -> KQPvKQ;
  KPPvKQ -> KPPvK;
  KPPvKQ -> KRPvKQ;
  KPPvKQ -> KBPvKQ;
  KPPvKQ -> KNPvKQ;
  KPPvKQ -> KQvKP;
  KQvKP -> KQvKQ;
  KQvKP -> KPvK;
  KQvKP -> KQvKR;
  KQvKP -> KQvKB;
  KQvKP -> KQvKN;
  KQvKP -> KQvK;
  KQvKN -> KNvK;
  KQvKN -> KQvK;
  KQvKB -> KBvK;
  KQvKB -> KQvK;
  KQvKR -> KRvK;
  KQvKR -> KQvK;
  KPvK -> KQvK;
  KPvK -> KRvK;
  KPvK -> KBvK;
  KPvK -> KNvK;
  KQvKQ -> KQvK;
  KNPvKQ -> KQNvKQ;
  KNPvKQ -> KNPvK;
  KNPvKQ -> KRNvKQ;
  KNPvKQ -> KBNvKQ;
  KNPvKQ -> KNNvKQ;
  KNPvKQ -> KQvKP;
  KNPvKQ -> KQvKN;
  KNNvKQ -> KNNvK;
  KNNvKQ -> KQvKN;
  KNNvK -> KNvK;
  KBNvKQ -> KBNvK;
  KBNvKQ -> KQvKN;
  KBNvKQ -> KQvKB;
  KBNvK -> KNvK;
  KBNvK -> KBvK;
  KRNvKQ -> KRNvK;
  KRNvKQ -> KQvKN;
  KRNvKQ -> KQvKR;
  KRNvK -> KNvK;
  KRNvK -> KRvK;
  KNPvK -> KQNvK;
  KNPvK -> KRNvK;
  KNPvK -> KBNvK;
  KNPvK -> KNNvK;
  KNPvK -> KPvK;
  KNPvK -> KNvK;
  KQNvK -> KNvK;
  KQNvK -> KQvK;
  KQNvKQ -> KQvKN;
  KQNvKQ -> KQNvK;
  KQNvKQ -> KQvKQ;
  KBPvKQ -> KQBvKQ;
  KBPvKQ -> KBPvK;
  KBPvKQ -> KRBvKQ;
  KBPvKQ -> KBBvKQ;
  KBPvKQ -> KQvKP;
  KBPvKQ -> KBNvKQ;
  KBPvKQ -> KQvKB;
  KBBvKQ -> KBBvK;
  KBBvKQ -> KQvKB;
  KBBvK -> KBvK;
  KRBvKQ -> KRBvK;
  KRBvKQ -> KQvKB;
  KRBvKQ -> KQvKR;
  KRBvK -> KBvK;
  KRBvK -> KRvK;
  KBPvK -> KQBvK;
  KBPvK -> KRBvK;
  KBPvK -> KBBvK;
  KBPvK -> KPvK;
  KBPvK -> KBNvK;
  KBPvK -> KBvK;
  KQBvK -> KBvK;
  KQBvK -> KQvK;
  KQBvKQ -> KQvKB;
  KQBvKQ -> KQBvK;
  KQBvKQ -> KQvKQ;
  KRPvKQ -> KQRvKQ;
  KRPvKQ -> KRPvK;
  KRPvKQ -> KRRvKQ;
  KRPvKQ -> KQvKP;
  KRPvKQ -> KRBvKQ;
  KRPvKQ -> KRNvKQ;
  KRPvKQ -> KQvKR;
  KRRvKQ -> KRRvK;
  KRRvKQ -> KQvKR;
  KRRvK -> KRvK;
  KRPvK -> KQRvK;
  KRPvK -> KRRvK;
  KRPvK -> KPvK;
  KRPvK -> KRBvK;
  KRPvK -> KRNvK;
  KRPvK -> KRvK;
  KQRvK -> KRvK;
  KQRvK -> KQvK;
  KQRvKQ -> KQvKR;
  KQRvKQ -> KQRvK;
  KQRvKQ -> KQvKQ;
  KPPvK -> KQPvK;
  KPPvK -> KRPvK;
  KPPvK -> KBPvK;
  KPPvK -> KNPvK;
  KPPvK -> KPvK;
  KQPvK -> KQQvK;
  KQPvK -> KPvK;
  KQPvK -> KQRvK;
  KQPvK -> KQBvK;
  KQPvK -> KQNvK;
  KQPvK -> KQvK;
  KQQvK -> KQvK;
  KQPvKQ -> KQQvKQ;
  KQPvKQ -> KQvKP;
  KQPvKQ -> KQPvK;
  KQPvKQ -> KQRvKQ;
  KQPvKQ -> KQBvKQ;
  KQPvKQ -> KQNvKQ;
  KQPvKQ -> KQvKQ;
  KQQvKQ -> KQvKQ;
  KQQvKQ -> KQQvK;
}