Сформировать два списка, отсортировать их и объединить в один, не нарушая порядка

program listsPascal;
 
type
  TData = Integer;
  TPElem = ^TElem;
  {Тип, описывающий элемент списка.}
  TElem = record
    Data: TData;
    PNext: TPElem; {Указатель на следующий элемент.}
  end;
  TList = record
    PFirst: TPElem; 
    PLast: TPElem; 
  end;
 
procedure Init(var emptylst: TList);
begin
  emptylst.PFirst := nil;
end;
 
procedure LFree(var lst: TList);
var
  P, PDel: TPElem;
begin
  P := lst.PFirst;
  while P <> nil do
  begin
    PDel := P; 
    P := P^.PNext; 
    Dispose(PDel);
  end;
  Init(lst);
end;
 
procedure SortBublLink(var lstFirst: TPElem);
var
  tmp, prev, prev1, next, cur: TPElem;
begin
  cur := lstFirst;
  while cur <> nil do
  begin
    tmp := cur^.PNext;
    while tmp <> nil do
    begin
      if tmp^.data < cur^.data then
      begin
        prev := lstFirst;
        prev1 := lstFirst;
        if cur <> lstFirst then
          while prev^.PNext <> cur do prev := prev^.PNext;
        while prev1^.PNext <> tmp do prev1 := prev1^.PNext;
        next := tmp^.PNext;
        if cur^.PNext = tmp then
        begin
          tmp^.PNext := cur;
          cur^.PNext := next;
        end
        else
        begin
          tmp^.PNext := cur^.PNext;
          cur^.PNext := next;
        end;
        if prev1 <> cur then
          prev1^.PNext := cur;
        if cur <> lstFirst then
          prev^.PNext := tmp
        else
          lstFirst := tmp;
        prev1 := tmp;
        tmp := cur;
        cur := prev1;
      end;
      tmp := tmp^.PNext;
    end;
    cur := cur^.PNext;
  end;
end;
 
procedure AddToList(var aL: TList; const aData: TData);
var
  PNew, PCur, PPrev: TPElem;
begin
  New(PNew); 
  PNew^.Data := aData; 
  PNew^.PNext := nil;
  if(al.PFirst = nil) then
  begin
    al.PFirst := PNew;
    al.PLast := PNew;
  end
  else 
  begin
    aL.PLast^.PNext := PNew;
    aL.PLast := PNew;
  end;
end;
 
procedure MergeLists(var lst1: TList; var lst2: TList);
begin
  lst1.PLast^.PNext := lst2.PFirst;  
end;
 
procedure LWriteln(const lst: TList);
var
  P: TPElem;
begin
  P := lst.PFirst; 
  if P <> nil then
    repeat
      if P <> lst.PFirst then
        Write(', ');
      Write(P^.Data); {Распечатываем данные текущего элемента.}
      P := P^.PNext; {Получаем указатель на следующий элемент.}
    until P = nil
  else
    Write('Список пуст.');
  Writeln;
end;
 
var
  L1, L2: TList;
  i, m, n: Integer;
  S: String;
 
begin
  {Начальная инициализация списков.}
  Init(L1);
  Init(L2);
  repeat
    Randomize; {Инициализируем генератор случайных чисел.}
    m := random(5) + 2;
    n := random(5) + 2;
    for i := 1 to M do
    begin
      AddToList(L1, Random(100)); {Случайные целые числа из диапазона: 0..99.}
    end;
    for i := 1 to n do
    begin
      AddToList(L2, Random(100)); {Случайные целые числа из диапазона: 0..99.}
    end;
    Writeln('Заданы списки: ');
    LWriteln(L1);
    LWriteln(L2);
    
    SortBublLink(L1.PFirst);
    SortBublLink(L2.PFirst);
    Writeln('После сортировки: ');
    LWriteln(L1);
    LWriteln(L2);
    
    mergeLists(L1, l2);
    
    Writeln('Результат слияния:');
    LWriteln(L1);
    
    LFree(L1);
    Writeln('Память, выделенная для списков, освобождена.');
    
    Writeln('Повторить - Enter, выход - любой символ + Enter.');
    Readln(S);
  until S <> '';
end.