File:Binary search.20181205.out.pdf