numbers are used as state names in minimization