let resolvent_max_size = 3