File:Binary search.20181130.out.pdf