i = 512l = -1if x[511] < t l = 1000 - 512 while i != 1 /* инвариант: x[l] < t && x[l+i] >=t && i = 2^j */ i = i / 2 if x[l + i] < t l = l + i /* утверждение: i == 1 && x[l] < t && x[l+i] >= t */p = l + 1if p > 1000 || x[p] != t p = -1