Функция: определить, входит ли список М1 в список М2

program list1;
uses
  crt;
type
  pNode = ^Node;
  Node  = record
  TData : integer;
  pNext : pNode;
  end; 
  TList = record
  First, Last : pNode;
  end;
procedure InitList(var aList : TList);
begin
  aList.First := nil; aList.Last := nil;
end;  
procedure AddList(var aList : TList; const apElem : pNode);
begin
  if apElem = nil then exit;
  if aList.First = nil then begin
   aList.First := apElem;
   aList.Last := aList.First;
  end   
  else begin
   aList.Last^.pNext := apElem;
   aList.Last := apElem;
   aList.Last^.pNext := nil; 
  end;
end;  
procedure PrintList(aList : TList);
begin
  if aList.Last = nil then begin
    writeln('Список Пуст.');
    exit;
  end;
  while aList.First<>nil do begin
    write(aList.First^.TData : 4);
    aList.First := aList.First^.pNext; 
  end;
  writeln; 
end;
//Написать программу, содержащую функцию, которая определяет,
//входит ли список М1 в список М2. Предполагается, что списки существуют.
function ContList(aList1, aList2 : TList) : boolean;
var bol : boolean;
    apElem1, apElem2, apElem : pNode;
begin
  apElem1 := aList1.First; apElem2 := aList2.First;
  bol := true;
  while (apElem2 <> nil) do begin
   apElem := apElem2;
   apElem1 := aList1.First; 
   bol := true;
   while (apElem1 <> nil) and (apElem <> nil) do begin
    if (apElem1^.TData <> apElem^.TData) then begin 
     bol := false;
     break;
    end;
    apElem1 := apElem1^.pNext;
    apElem := apElem^.pNext;
    if (apElem = nil) and (apElem1 <> nil) then begin 
     ContList := false;
     exit;
    end;
   end;
   if bol then begin
    ContList := bol;
    exit;
   end;
   apElem2 := apElem2^.pNext;
  end;
  ContList := bol;
end;
procedure FreeMemor(aList : TList);
var apElem : pNode;
begin
  while aList.First <> nil do begin
  apElem := aList.First;
  FreeMem(apElem, SizeOf(pNode));
  aList.First := aList.First^.pNext;
  end;
end;
var
  M1, M2 : TList;
  pElem : pNode;
  n1, n2, i : byte;
begin
  clrscr;
  write('Кол-во элементов исходного списка М1 : ');
  readln(n1); 
  InitList(M1);
  randomize;
  for i := 1 to n1 do begin
   GetMem(pElem, SizeOf(pNode));
   pElem^.TData := random(61)-30;
   AddList(M1,pElem);
  end;
  writeln('List M1 : ');
  PrintList(M1); 
  write('Кол-во элементов исходного списка М2 : ');
  readln(n2);
  if n1>n2 then begin
   writeln('Список М1 не входит в список М2.');
   readln;
   exit;
  end;  
  InitList(M2);
  for i := 1 to n2 do begin
   GetMem(pElem, SizeOf(pNode));
   write(i,'-ый элемент : '); Readln(pElem^.TData);
   gotoXY(1,WhereY-1); ClrEol;
   AddList(M2,pElem);
  end;
  writeln('List M2 : ');
  PrintList(M2);
  if ContList(M1,M2) then writeln('Список М1 входит в список М2.')
  else writeln('Список М1 не входит в список М2.');
  FreeMemor(M1);
  FreeMemor(M2);
  readln; 
end.