File:Binary search.20181208.c.pdf