Исправление ошибки в программе

type
  fil = file of integer;
 
var
  fa, fb, fc, fd: fil;
  i, j, k, a, b, c: integer;
 
procedure VIV(var f: fil; t: string);
var
  n: integer;
begin
  writeln(t);
  reset(f);
  while not eof(f) do
  begin
    read(f, n);
    write(n, ' ');
  end;
  close(f);
  writeln;
end;
 
procedure SOZD(var f: fil);
var
  i, x: integer;
begin
  rewrite(f);
  for i := 1 to random(20) + 10 do 
  begin
    x := random(20);
    write(f, x);
  end;
  close(f);
end;
 
begin
  cls;
  randomize;
  assign(fa, 'fa.dat');
  assign(fb, 'fb.dat');
  assign(fc, 'fc.dat');
  assign(fd, 'fd.dat');
  SOZD(fa); VIV(fa, '—одержимое файла fa.dat:');
  SOZD(fb); VIV(fb, '—одержимое файла fb.dat:');
  SOZD(fc); VIV(fc, '—одержимое файла fc.dat:');
  
  rewrite(fd);
  reset(fa);reset(fb);reset(fc);
  for i := 0 to filesize(fa) - 1 do 
  begin
    seek(fa, i);read(fa, a);
    for j := 0 to filesize(fb) - 1 do 
    begin 
      seek(fb, j); read(fb, b);
      if a = b then begin
        for k := 0 to filesize(fc) - 1 do 
        begin
          seek(fc, k); read(fc, c);
          if b = c then write(fd, c);
        end;
      end;
    end;
  end;
  VIV(fd, '—одержимое файла fd.dat:');
  
end.

seek(fa, i);read(fa, a);

if Not(a in <множество>) then

if b = c then write(fd, c);
   |
   V
if b = c then
begin
   write(fd, c);
   Inсlude(<множество>, c);
end;

 rewrite(fd);
  reset(fa);reset(fb);reset(fc);
  for i := 0 to filesize(fa) - 1 do 
  begin
    seek(fa, i);read(fa, a);
    for j := 0 to filesize(fb) - 1 do 
    begin 
      seek(fb, j); read(fb, b);
      if a = b then begin
        for k := 0 to filesize(fc) - 1 do 
        begin
          seek(fc, k); read(fc, c);
          if b = c then begin 
          if not (c in mn) then mn:=mn+[c];
          end;
        end;
      end;
    end;
  end;
  VIV(fd, 'Содержимое файла fd.dat:');

var
    state : Boolean;
 
for i := 0 to filesize(fa) - 1 do 
begin
    state := False;
    seek(fa, i);read(fa, a);
    if Not (a in m) then
    begin
        for j := 0 to filesize(fb) - 1 do 
        begin
            seek(fb, j); read(fb, b);
            if a = b then
            begin
                for k := 0 to filesize(fc) - 1 do 
                begin
                    seek(fc, k); read(fc, c);
                    if b = c then
                    begin
                        write(fd, c);
                        Include(m, a);
                        state := True;
                        break;
                    end;
                end;
            end;
            if state then break;
        end;
    end;
end;