Normally_hyperbolic_invariant_manifold loading ...