autogam	autogam
smooth_formula_string	smooth_formula_string
