File:Binary search.20181219.c.pdf