Manin_obstruction loading ...