Update binary_search.txt