NFA_minimization loading ...