let resolvents_max_number = 1000