Update binsearch.py