Thin_finite_group loading ...