MIT isIn recursive bisection search