Дихотомический поиск одномерного массива

uses crt;
type MyArray=array[1..100]of integer;
var M : MyArray;
N, K : integer;
 
procedure Print(a : MyArray; N : integer); {выводит массив A(N)}
var i : integer;
begin
    for i := 1 to N do Write(a[i]:4);
    Writeln;
end;
 
procedure Fill(var a : MyArray; N : integer); {заполняет массив A(N) случайными числами от -100 до 100}
var i : integer;
begin
    for i := 1 to N do a[i] := -100 + random(201);
end;
 
procedure SortInclude (var a: MyArray; N : integer); {сортировка вставками}
var i, j, tmp : integer;
begin
    for i := 2 to N do
    begin
        tmp := a[i];
        j := i - 1;
        while (a[j] > tmp) and (j>=1) do
        begin
            a[j+1] := a[j];
            j := j - 1;
        end;
        a[j+1] := tmp;
    end;
end;
 
procedure BinSearch(a: MyArray; n: integer; k: integer);
var
  l, r, c: integer;
begin
  L := 1; R := N+1;
  while R - L <> 1 do 
  begin
    c :=L + (R - L) div 2;
    if k <= A[c] then L := c else R := c;  
  end; 
  if a[L] = k then write('Элемент найден в позиции - ',L) else writeln('Элемент не найден');
end;
 
BEGIN
 clrscr;
 write('Введите размерность массива -> ');
 readln(N);
 Fill(M, N);
 writeln('Массив M');
 Print(M, N);
 SortInclude(M, N);
 writeln('Отсортированный массив M');
 Print(M, N);
 write('Введите K -> ');
 readln(k);
 BinSearch(M, N, K);
 readln;
end.