Thompson_sporadic_group loading ...