digraph Syzygy {
  KQBNNvKN -> KBNNvKN;
  KQBNNvKN -> KQNNvKN;
  KQBNNvKN -> KQBNvKN;
  KQBNNvKN -> KQBNNvK;
  KQBNNvK -> KBNNvK;
  KQBNNvK -> KQNNvK;
  KQBNNvK -> KQBNvK;
  KQBNvK -> KBNvK;
  KQBNvK -> KQNvK;
  KQBNvK -> KQBvK;
  KQBvK -> KBvK;
  KQBvK -> KQvK;
  KQNvK -> KNvK;
  KQNvK -> KQvK;
  KBNvK -> KNvK;
  KBNvK -> KBvK;
  KQNNvK -> KNNvK;
  KQNNvK -> KQNvK;
  KNNvK -> KNvK;
  KBNNvK -> KNNvK;
  KBNNvK -> KBNvK;
  KQBNvKN -> KBNvKN;
  KQBNvKN -> KQNvKN;
  KQBNvKN -> KQBvKN;
  KQBNvKN -> KQBNvK;
  KQBvKN -> KBvKN;
  KQBvKN -> KQvKN;
  KQBvKN -> KQBvK;
  KQvKN -> KNvK;
  KQvKN -> KQvK;
  KBvKN -> KNvK;
  KBvKN -> KBvK;
  KQNvKN -> KNvKN;
  KQNvKN -> KQvKN;
  KQNvKN -> KQNvK;
  KNvKN -> KNvK;
  KBNvKN -> KNvKN;
  KBNvKN -> KBvKN;
  KBNvKN -> KBNvK;
  KQNNvKN -> KNNvKN;
  KQNNvKN -> KQNvKN;
  KQNNvKN -> KQNNvK;
  KNNvKN -> KNvKN;
  KNNvKN -> KNNvK;
  KBNNvKN -> KNNvKN;
  KBNNvKN -> KBNvKN;
  KBNNvKN -> KBNNvK;
}