Методом бинарного поиска определить, содержит ли файл заданное число

Program Pr2;
   Var
       a: array[1..12] of integer;
       k: real;    l, r, m, i: integer;
BEGIN
            {формирование и вывод массива}
     for i:=1 to 12 do
          begin
               a[i]:=2*i-1; write(a[i]:4);
     end;
     writeln;
     write('Введите ключ поиска'); readln(k);
      l:=1; r:=12;    {установка начальных границ поиска}
      m:=(l+r) div 2;     {выбор серединного элемента}
                  {поиск заданного элемента}
      while (l<=r) and (k<>a[m]) do
             begin
                   if     k<a[m]    then r:=m-1    else l:=m+1;
                   m:=(l+r) div 2;
            end;
     if   k=a[m]   then writeln('Элемент найден. Его номер - ',m)  else writeln('элемент не найден');
END.

Program Pr2;
const COL = 12;
   Var
       a: array[1..12] of integer;
       k: real;    l, r, m, i, del: integer;
BEGIN
            {ôîðìèðîâàíèå è âûâîä ìàññèâà}
     for i:=1 to 12 do
          begin
               a[i]:=2*i-1; write(a[i]:4);
     end;
     writeln;
     del := COL;
     write('Ââåäèòå êëþ÷ ïîèñêà');
     readln(k);
     l:=1; r:=12;    {óñòàíîâêà íà÷àëüíûõ ãðàíèö ïîèñêà}
     m:=(l+r) div 2;     {âûáîð ñåðåäèííîãî ýëåìåíòà}
                  {ïîèñê çàäàííîãî ýëåìåíòà}
      while (l<=r) and (k<>a[m]) do
             begin
                   if     k<a[m]    then r:=m-1    else l:=m+1;
                   m:=(l+r) div 2;
            end;
     if   k=a[m]   then begin
      writeln('Ýëåìåíò íàéäåí. Åãî íîìåð - ',m);
      a[m] := a[m+1];    //присваиваем элементу m значение следующего элемента
      a[del] := 0;           // последний элемент обнуляем
      del := del - 1;       //счетчик элементов в массиве уменьшаем на 1
     end
     else writeln('ýëåìåíò íå íàéäåí');
END.