Class_number_formula loading ...