File:Binary search.20181201.out.pdf