Непрерывная последовательность элементов массива, совпадающая с другим массивом (TurboPascal)

[VladKB1]

Даны массивы a[m], и b[n], n<m≤10. Выясните, содержится ли массив b в массиве a.
Массив b следует считать содержащимся в a, если в a существует непрерывная
последовательность элементов, совпадающая с массивом b.

Формат ввода: две пары строк с информацией о массивах a и b. В каждой паре первая
строка – размер соответствующего массива, вторая – его элементы.

Формат вывода: строка "B содержится в A" или строка "B не содержится в A".

input.txt
7
1 7 13 5 6 8 4
4
13 5 6 8
output.txt
B содержится в A

В задачу решил, но при прерывной последовательности выдаёт что "B содержится в A" , а должно "B не содержится в A".
Я не смог это исправить.

var
 n,m,i,j,k: longint;
 a,b: array [1..10] of longint;
begin
 assign(input,'input.txt');
 reset(input);
 assign(output,'output.txt');
 rewrite(output);

 read(n);
 for i:=1 to n do read(a[i]);
 read(m);
 for i:=1 to m do read(b[i]);

 for i:=0 to n-m do
 begin
  for j:=1 to m do
  begin
   if a[i+j] = b [j] then break;
   if j = m then
   begin
    writeln('B contains in A');
    halt;
   end;
  end;
 end;

 writeln('B does not contain in A');
end.

[BDA]

Не проверял:

for i := 0 to n - m do
begin
  j := 1;
  while (j <= m) and (a[i + j] = b[j]) do
    inc(j);
  if j > m then
  begin
    writeln('B contains in A');
    halt;
  end;
end;

[VladKB1]

Сообщение от BDA

Не проверял:

for i := 0 to n - m do
begin
  j := 1;
  while (j <= m) and (a[i + j] = b[j]) do
    inc(j);
  if j > m then
  begin
    writeln('B contains in A');
    halt;
  end;
end;

Большое спасибо BDA , но теперь оно не проходит и в таких случаях:

input.txt
7
1 7 13 2 6 8 4
4
13 5 6 8

output.txt
B contains in A {а должно B does not contain in A}


И проблема в таких случаях:

input.txt
7
13 4 8 5 1 7 6
4
13 5 6 8

Выдаёт ошибку Error 201: Range check error.

И курсор находиться вот здесь:

read(m);
 for i:=1 to m do read(b[i]);

[BDA]

Странно. У меня в Delphi XE6 всё сработало верно и без ошибок.

UPD
Пожалуйста

[VladKB1]

Сообщение от BDA

Странно. У меня в Delphi XE6 всё сработало верно и без ошибок.

Блин я не внимательный да всё работает извините что сразу не заметил)

И в какой раз большое спасибо вам!