Subshift_of_finite_type loading ...