Chabauty_topology loading ...