digraph Syzygy {
  KQNNPvKN -> KQQNNvKN;
  KQNNPvKN -> KNNPvKN;
  KQNNPvKN -> KQRNNvKN;
  KQNNPvKN -> KQBNNvKN;
  KQNNPvKN -> KQNNNvKN;
  KQNNPvKN -> KQNPvKN;
  KQNNPvKN -> KQNNPvK;
  KQNNPvKN -> KQNNvKN;
  KQNNvKN -> KNNvKN;
  KQNNvKN -> KQNvKN;
  KQNNvKN -> KQNNvK;
  KQNNvK -> KNNvK;
  KQNNvK -> KQNvK;
  KQNvK -> KNvK;
  KQNvK -> KQvK;
  KNNvK -> KNvK;
  KQNvKN -> KNvKN;
  KQNvKN -> KQvKN;
  KQNvKN -> KQNvK;
  KQvKN -> KNvK;
  KQvKN -> KQvK;
  KNvKN -> KNvK;
  KNNvKN -> KNvKN;
  KNNvKN -> KNNvK;
  KQNNPvK -> KQQNNvK;
  KQNNPvK -> KNNPvK;
  KQNNPvK -> KQRNNvK;
  KQNNPvK -> KQBNNvK;
  KQNNPvK -> KQNNNvK;
  KQNNPvK -> KQNPvK;
  KQNNPvK -> KQNNvK;
  KQNPvK -> KQQNvK;
  KQNPvK -> KNPvK;
  KQNPvK -> KQRNvK;
  KQNPvK -> KQBNvK;
  KQNPvK -> KQNNvK;
  KQNPvK -> KQPvK;
  KQNPvK -> KQNvK;
  KQPvK -> KQQvK;
  KQPvK -> KPvK;
  KQPvK -> KQRvK;
  KQPvK -> KQBvK;
  KQPvK -> KQNvK;
  KQPvK -> KQvK;
  KQBvK -> KBvK;
  KQBvK -> KQvK;
  KQRvK -> KRvK;
  KQRvK -> KQvK;
  KPvK -> KQvK;
  KPvK -> KRvK;
  KPvK -> KBvK;
  KPvK -> KNvK;
  KQQvK -> KQvK;
  KQBNvK -> KBNvK;
  KQBNvK -> KQNvK;
  KQBNvK -> KQBvK;
  KBNvK -> KNvK;
  KBNvK -> KBvK;
  KQRNvK -> KRNvK;
  KQRNvK -> KQNvK;
  KQRNvK -> KQRvK;
  KRNvK -> KNvK;
  KRNvK -> KRvK;
  KNPvK -> KQNvK;
  KNPvK -> KRNvK;
  KNPvK -> KBNvK;
  KNPvK -> KNNvK;
  KNPvK -> KPvK;
  KNPvK -> KNvK;
  KQQNvK -> KQNvK;
  KQQNvK -> KQQvK;
  KQNNNvK -> KNNNvK;
  KQNNNvK -> KQNNvK;
  KNNNvK -> KNNvK;
  KQBNNvK -> KBNNvK;
  KQBNNvK -> KQNNvK;
  KQBNNvK -> KQBNvK;
  KBNNvK -> KNNvK;
  KBNNvK -> KBNvK;
  KQRNNvK -> KRNNvK;
  KQRNNvK -> KQNNvK;
  KQRNNvK -> KQRNvK;
  KRNNvK -> KNNvK;
  KRNNvK -> KRNvK;
  KNNPvK -> KQNNvK;
  KNNPvK -> KRNNvK;
  KNNPvK -> KBNNvK;
  KNNPvK -> KNNNvK;
  KNNPvK -> KNPvK;
  KNNPvK -> KNNvK;
  KQQNNvK -> KQNNvK;
  KQQNNvK -> KQQNvK;
  KQNPvKN -> KQQNvKN;
  KQNPvKN -> KNPvKN;
  KQNPvKN -> KQRNvKN;
  KQNPvKN -> KQBNvKN;
  KQNPvKN -> KQNNvKN;
  KQNPvKN -> KQPvKN;
  KQNPvKN -> KQNPvK;
  KQNPvKN -> KQNvKN;
  KQPvKN -> KQQvKN;
  KQPvKN -> KNvKP;
  KQPvKN -> KQRvKN;
  KQPvKN -> KQBvKN;
  KQPvKN -> KQNvKN;
  KQPvKN -> KQPvK;
  KQPvKN -> KQvKN;
  KQBvKN -> KBvKN;
  KQBvKN -> KQvKN;
  KQBvKN -> KQBvK;
  KBvKN -> KNvK;
  KBvKN -> KBvK;
  KQRvKN -> KRvKN;
  KQRvKN -> KQvKN;
  KQRvKN -> KQRvK;
  KRvKN -> KNvK;
  KRvKN -> KRvK;
  KNvKP -> KQvKN;
  KNvKP -> KRvKN;
  KNvKP -> KBvKN;
  KNvKP -> KNvKN;
  KNvKP -> KPvK;
  KNvKP -> KNvK;
  KQQvKN -> KQvKN;
  KQQvKN -> KQQvK;
  KQBNvKN -> KBNvKN;
  KQBNvKN -> KQNvKN;
  KQBNvKN -> KQBvKN;
  KQBNvKN -> KQBNvK;
  KBNvKN -> KNvKN;
  KBNvKN -> KBvKN;
  KBNvKN -> KBNvK;
  KQRNvKN -> KRNvKN;
  KQRNvKN -> KQNvKN;
  KQRNvKN -> KQRvKN;
  KQRNvKN -> KQRNvK;
  KRNvKN -> KNvKN;
  KRNvKN -> KRvKN;
  KRNvKN -> KRNvK;
  KNPvKN -> KQNvKN;
  KNPvKN -> KRNvKN;
  KNPvKN -> KBNvKN;
  KNPvKN -> KNNvKN;
  KNPvKN -> KNvKP;
  KNPvKN -> KNPvK;
  KNPvKN -> KNvKN;
  KQQNvKN -> KQNvKN;
  KQQNvKN -> KQQvKN;
  KQQNvKN -> KQQNvK;
  KQNNNvKN -> KNNNvKN;
  KQNNNvKN -> KQNNvKN;
  KQNNNvKN -> KQNNNvK;
  KNNNvKN -> KNNvKN;
  KNNNvKN -> KNNNvK;
  KQBNNvKN -> KBNNvKN;
  KQBNNvKN -> KQNNvKN;
  KQBNNvKN -> KQBNvKN;
  KQBNNvKN -> KQBNNvK;
  KBNNvKN -> KNNvKN;
  KBNNvKN -> KBNvKN;
  KBNNvKN -> KBNNvK;
  KQRNNvKN -> KRNNvKN;
  KQRNNvKN -> KQNNvKN;
  KQRNNvKN -> KQRNvKN;
  KQRNNvKN -> KQRNNvK;
  KRNNvKN -> KNNvKN;
  KRNNvKN -> KRNvKN;
  KRNNvKN -> KRNNvK;
  KNNPvKN -> KQNNvKN;
  KNNPvKN -> KRNNvKN;
  KNNPvKN -> KBNNvKN;
  KNNPvKN -> KNNNvKN;
  KNNPvKN -> KNPvKN;
  KNNPvKN -> KNNPvK;
  KNNPvKN -> KNNvKN;
  KQQNNvKN -> KQNNvKN;
  KQQNNvKN -> KQQNvKN;
  KQQNNvKN -> KQQNNvK;
}