let run_example n =
  print_dist term_to_string (dist n);
  print_string "\n"