digraph Syzygy {
  KQBBvKNN -> KBBvKNN;
  KQBBvKNN -> KQBvKNN;
  KQBBvKNN -> KQBBvKN;
  KQBBvKN -> KBBvKN;
  KQBBvKN -> KQBvKN;
  KQBBvKN -> KQBBvK;
  KQBBvK -> KBBvK;
  KQBBvK -> KQBvK;
  KQBvK -> KBvK;
  KQBvK -> KQvK;
  KBBvK -> KBvK;
  KQBvKN -> KBvKN;
  KQBvKN -> KQvKN;
  KQBvKN -> KQBvK;
  KQvKN -> KNvK;
  KQvKN -> KQvK;
  KBvKN -> KNvK;
  KBvKN -> KBvK;
  KBBvKN -> KBvKN;
  KBBvKN -> KBBvK;
  KQBvKNN -> KNNvKB;
  KQBvKNN -> KNNvKQ;
  KQBvKNN -> KQBvKN;
  KNNvKQ -> KNNvK;
  KNNvKQ -> KQvKN;
  KNNvK -> KNvK;
  KNNvKB -> KNNvK;
  KNNvKB -> KBvKN;
  KBBvKNN -> KNNvKB;
  KBBvKNN -> KBBvKN;
}