Smallest_grammar_problem loading ...