Resolution_of_singularities loading ...