File:Binary search.20181208.out.pdf