Реализация бинарной операции над множествами: "Симметрическая разность"

var m1,m2,m3:set of integer;
    n1,n2,n3,a,mn,mx:integer;
begin
readln(n1);//читаем первое число
m1:=[];
for var i:=1 to n1 do//читаем числа из 2 строки
 begin
  read(a);
  include(m1,a);//заносим их в множество
 end;
readln(n2);//читаем второе число
m2:=[];
for var i:=1 to n2 do//читаем числа из 4 строки
 begin
  read(a);
  include(m2,a);//заносим во 2 множество
 end; 
m3:=(m1-m2)+(m2-m1);//получаем симметрическую разность
n3:=0;//считаем число элементов в множестве
mn:=maxint;//и находим минимальный и максимальный
mx:=-maxint-1;//в АВС.net выводит множество не в порядке возрастания
foreach var s in m3 do
 begin
  inc(n3);
  if s<mn then mn:=s
  else if s>mx then mx:=s;
 end; 
 writeln(n3);//выводим количество чисел в новом множестве
 if n3>0 then//если в множестве есть числа
 for var s:=mn to mx do//выводим числа в порядке возрастания
 if s in m3 then write(s,' ');
 end.

const TSetMaxSize=256;
type
  TSet = record
    count: Word;
    data: array [0..TSetMaxSize-1] of LongInt;
  end;
 
function SymDiff(var s: TSet; const a, b: TSet): Boolean;
var ai, bi: Word;
begin with s do begin
  SymDiff:=False; count:=0; ai:=0; bi:=0;
  while (ai<a.count) and (bi<b.count) do begin
    if a.data[ai]<b.data[bi] then
      if count<TSetMaxSize then begin
        data[count]:=a.data[ai]; Inc(count); Inc(ai);
      end else Exit
    else if a.data[ai]>b.data[bi] then
      if count<TSetMaxSize then begin
        data[count]:=b.data[bi]; Inc(count); Inc(bi);
      end else Exit
    else begin
      Inc(ai); Inc(bi);
    end;
  end;
  while ai<a.count do
    if count<TSetMaxSize then begin
      data[count]:=a.data[ai]; Inc(count); Inc(ai);
    end else Exit;
  while bi<b.count do 
    if count<TSetMaxSize then begin
      data[count]:=b.data[bi]; Inc(count); Inc(bi);
    end else Exit;
  SymDiff:=True;
end; end;

function LowerBound(const v: array of LongInt; left, right: Word; x: LongInt): Word;
var m: Word;
begin
  while left<right do begin
    m:=left+(right-left) div 2;
    if x>v[m] then left:=m+1 else right:=m;
  end;
  LowerBound:=left;
end;
 
function sInclude(var s: TSet; x: LongInt): Boolean;
var i, j: Word;
begin with s do begin
  sInclude:=True;
  i:=LowerBound(data,0,count,x);
  if (i<count) and (data[i]=x) then Exit;
  if count=TSetMaxSize then begin
    sInclude:=False; Exit;
  end;
  Inc(count); for j:=count downto i+1 do data[j]:=data[j-1];
  data[i]:=x;
end; end;
 
procedure sExclude(var s: TSet; x: LongInt);
var i: Word;
begin with s do begin
  i:=LowerBound(data,0,count,x);
  if (i<count) and (data[i]=x) then begin
    Dec(count); for i:=i to count do data[i]:=data[i+1];
  end;
end; end;
 
function sIsIn(const s: TSet; x: Longint): Boolean;
var i: Integer;
begin with s do begin
  i:=LowerBound(data,0,count,x);
  sIsIn:=(i<count) and (data[i]=x);
end; end;

var
  a, b, c: TSet;
  n: Word; x: LongInt;
begin
  Read(n); for n:=1 to n do begin Read(x); sInclude(a,x); end;
  Read(n); for n:=1 to n do begin Read(x); sInclude(b,x); end;
  if SymDiff(c,a,b) then with c do begin
    WriteLn(count); if count>1 then for n:=0 to count-1 do Write(' ',data[n]); WriteLn;
  end else WriteLn('Ошибка: слишком много значений');
end.