File:Binary search.20181227.out.pdf