digraph Syzygy {
  KRNPvKB -> KQRNvKB;
  KRNPvKB -> KRRNvKB;
  KRNPvKB -> KNPvKB;
  KRNPvKB -> KRBNvKB;
  KRNPvKB -> KRNPvK;
  KRNPvKB -> KRNNvKB;
  KRNPvKB -> KRPvKB;
  KRNPvKB -> KRNvKB;
  KRNvKB -> KBvKN;
  KRNvKB -> KRNvK;
  KRNvKB -> KRvKB;
  KRvKB -> KBvK;
  KRvKB -> KRvK;
  KRNvK -> KNvK;
  KRNvK -> KRvK;
  KBvKN -> KNvK;
  KBvKN -> KBvK;
  KRPvKB -> KQRvKB;
  KRPvKB -> KRRvKB;
  KRPvKB -> KBvKP;
  KRPvKB -> KRBvKB;
  KRPvKB -> KRPvK;
  KRPvKB -> KRNvKB;
  KRPvKB -> KRvKB;
  KRPvK -> KQRvK;
  KRPvK -> KRRvK;
  KRPvK -> KPvK;
  KRPvK -> KRBvK;
  KRPvK -> KRNvK;
  KRPvK -> KRvK;
  KRBvK -> KBvK;
  KRBvK -> KRvK;
  KPvK -> KQvK;
  KPvK -> KRvK;
  KPvK -> KBvK;
  KPvK -> KNvK;
  KRRvK -> KRvK;
  KQRvK -> KRvK;
  KQRvK -> KQvK;
  KRBvKB -> KBvKB;
  KRBvKB -> KRvKB;
  KRBvKB -> KRBvK;
  KBvKB -> KBvK;
  KBvKP -> KQvKB;
  KBvKP -> KRvKB;
  KBvKP -> KBvKB;
  KBvKP -> KPvK;
  KBvKP -> KBvKN;
  KBvKP -> KBvK;
  KQvKB -> KBvK;
  KQvKB -> KQvK;
  KRRvKB -> KRvKB;
  KRRvKB -> KRRvK;
  KQRvKB -> KRvKB;
  KQRvKB -> KQvKB;
  KQRvKB -> KQRvK;
  KRNNvKB -> KNNvKB;
  KRNNvKB -> KRNNvK;
  KRNNvKB -> KRNvKB;
  KRNNvK -> KNNvK;
  KRNNvK -> KRNvK;
  KNNvK -> KNvK;
  KNNvKB -> KNNvK;
  KNNvKB -> KBvKN;
  KRNPvK -> KQRNvK;
  KRNPvK -> KRRNvK;
  KRNPvK -> KNPvK;
  KRNPvK -> KRBNvK;
  KRNPvK -> KRNNvK;
  KRNPvK -> KRPvK;
  KRNPvK -> KRNvK;
  KRBNvK -> KBNvK;
  KRBNvK -> KRNvK;
  KRBNvK -> KRBvK;
  KBNvK -> KNvK;
  KBNvK -> KBvK;
  KNPvK -> KQNvK;
  KNPvK -> KRNvK;
  KNPvK -> KBNvK;
  KNPvK -> KNNvK;
  KNPvK -> KPvK;
  KNPvK -> KNvK;
  KQNvK -> KNvK;
  KQNvK -> KQvK;
  KRRNvK -> KRNvK;
  KRRNvK -> KRRvK;
  KQRNvK -> KRNvK;
  KQRNvK -> KQNvK;
  KQRNvK -> KQRvK;
  KRBNvKB -> KBNvKB;
  KRBNvKB -> KRNvKB;
  KRBNvKB -> KRBNvK;
  KRBNvKB -> KRBvKB;
  KBNvKB -> KBvKN;
  KBNvKB -> KBNvK;
  KBNvKB -> KBvKB;
  KNPvKB -> KQNvKB;
  KNPvKB -> KRNvKB;
  KNPvKB -> KBNvKB;
  KNPvKB -> KNPvK;
  KNPvKB -> KNNvKB;
  KNPvKB -> KBvKP;
  KNPvKB -> KBvKN;
  KQNvKB -> KBvKN;
  KQNvKB -> KQNvK;
  KQNvKB -> KQvKB;
  KRRNvKB -> KRNvKB;
  KRRNvKB -> KRRNvK;
  KRRNvKB -> KRRvKB;
  KQRNvKB -> KRNvKB;
  KQRNvKB -> KQNvKB;
  KQRNvKB -> KQRNvK;
  KQRNvKB -> KQRvKB;
}