Нужна помощь по программированию. Даны две упорядоченные по неубыванию целочисленные последовательности, получить...

Даны две упорядоченные по неубыванию целочисленные последовательности, получить упорядоченную по невозрастанию последовательность, состоящую из членов первой последовательности, которых нет во второй.
Вот мой код программы, подскажите где ошибка и как её можно исправить. Сама программа работает, но не со всеми тестовыми данными, а именно когда один массив больше другого. Например: при вводе массивов

N = 5; [2,4,6,8,9,10]
P = 3; [5,6,9,10]

C этими данными выходит за пределы массива, может мне надо перестроить алгоритм? Если да, то подскажите как лучше это можно сделать.
___________________________________________________________________________________________

Program PRIV_(A);
Const
N = 5;
P = 5;
Type Mas_Onww = array [0..N] of integer;
Mas_Twww = array [0..P] of integer;
{_______________________________________________________________________________
}
Var
mas1:Mas_Onww;
mas2:Mas_Twww;
i,j:integer;
x,r,s,k:integer;
{_______________________________________________________________________________
}
Begin

write('Введите первый массив размером 6: ');
For i := 0 to N do
Read(mas1[i]);

write('Введите второй массив размером 6: ');
For J:= 0 to N do
Read(mas2[J]);
{_______________________________________________________________________________
}
k := N;
r := P;
s := 0;
x := 0;
{_______________________________________________________________________________
}
write('Ответ: [');
{_______________________________________________________________________________
}
repeat
begin
If mas1[r] = mas2[k] then
r := r - 1;
If mas1[r] > mas2[k] then
write(mas1[r]:3);
If mas1[r] <= mas2[k] then
k := k - 1
else
r := r - 1;
end;
until (k < 0) or (r < 0);
Begin
for i := r downto 0 do
write(mas1[i]:3);
end;
{_______________________________________________________________________________
}
write(' ]');
writeln('');
{_______________________________________________________________________________}
End.