Poincaré_half-plane_model loading ...