digraph Syzygy {
  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;
}