Преобразовать файл, заменив каждую матрицу, не являющуюся симметричной, транспонированной

const
  n = 5;
 
type
  matrix = array [1..n, 1..n]  of integer;
 
var
  x: matrix;
  f: file of matrix;
  i, q: integer;
 
//симметрия относительной побочной диагонали
function check1(a: matrix): boolean;
var
  i, j: integer;
  t: boolean;
begin
  t := true;
  for i := 1 to n do
    for j := 1 to n - i do
      if a[i, j] <> a[n - i + 1, n - j + 1] then 
        t := false;
  check1 := t;
end;
 
//Симметричность матрицы относительно главной диагонали 
function check2(a: matrix): boolean;
var
  i, j: integer;
  t: boolean;
begin
  t := true;
  i := 2;
  while t and (i <= n) do
  begin
    j := 1;
    while t and (j < i) do
      if (a[i, j] <> a[j, i]) then 
        t := false
      else 
        inc(j);
    if t then 
      inc(i);
  end;
  check2 := t;
end;
 
procedure Generate(var a: matrix);
var
  i, j: integer;
begin
  for i := 1 to n do
    for j := 1 to n do
      x[i, j] := random(n) + 1;
end;
 
procedure Print(a: matrix);
var
  i, j: integer;
begin
  for i := 1 to n do
  begin
    for j := 1 to n do
      write(x[i, j]:4);
    writeln;
  end;
end;
 
procedure Trans(var a: matrix);
var
  t, i, j: integer;
begin
  for i := 2 to n do
    for j := 1 to i - 1 do
    begin
      t := a[i, j];
      a[i, j] := a[j, i];
      a[j, i] := t;
    end;
end;
 
begin
  assign(f, 'file.dat');
  rewrite(f);
  write('Сколько массивов сгенерировать: ');
  readln(q);
  for i := 1 to q do
  begin
    generate(x);
    write(f, x);
  end;  
  close(f);
  reset(f);
  i := 0;
  while i < FileSize(f) - 1 do
  begin
    seek(f, i);
    read(f, x);
    writeln('Массив № ', i + 1);
    print(x);
    if Check1(x) or Check2(x) then
      writeln('симметричен!')
    else
    begin
      writeln('Не симметричен! Транспонируем и записываем обратно!');
      seek(f, i);
      trans(x);
      write(f, x);
      print(x);
    end; 
    inc(i);
  end;
  close(f);
end.