Как снять ограничение массива переменных ?

Program Progression;
 
Const
  N = 1000;
 
Type
  MyArray = Array [1..N] of Integer;
 
Var
  Save: MyArray;  // массив циклов (кол-во нулей)
  Val : MyArray;  // массив значений (ноль = 1, число = кол-во нулей до 1)
 
Function Check(count: Integer): Boolean;
Var
  i: Integer;
Begin
  Check:= True;
  For i:= 1 to count do
    If (Val[i] = 0) then Begin   //если хоть одна единица
      Check:= False;
      Exit;
    End;
End;
 
Procedure Step(count: Integer);  //процедура меняет значения переменных
Var
  i: Integer;
 
Begin
  For i:= 1 to count do Begin
    If (Val[i] = 0) then
      Val[i]:= Save[i]
    else
      Dec(Val[i]);
  End;
End;
 
Var
  F: text;
  d: Integer;     //последняя запись файла
  k, i: Integer;  //счетчики
  count: Integer; //кол-во активных переменных
 
Begin
  Assign(F, 'D:\f1.dat');
  Rewrite(F);
  Writeln(F, '3');
  Close(F);
 
  Val[1]:= 1; Save[1]:= 1;  //иначе говоря, а = 0
  Val[2]:= 0; Save[2]:= 2;  //              b = 1
 
  K:= 0;
  count:= 2;
 
  For i:= 1 to N do Begin
    If Check(count) then begin    // если проверка удачна, значит все нули
      Reset(F);
      Repeat
        Readln(F, d);      // доходим до конца файла
      Until EoF(F);
      Close(F);
      d:= d + k;           // число + счетчик шагов
 
      Append(F);
      Writeln(F, d);       // пишем в файл
      Close(f);
 
      Inc(count);          // берем еще одну переменную
      Save[count]:= d - 1; // отнимаем 1 (новое кол-во нулей)
      Val[count] := 0;
 
      k:= 0;
    End
    Else Begin
      Step(count);         //если проверка не прошла, то двигаем значения по циклу
      Inc(k);
    End;
  End;
End.

uses crt;
var c:char;
.......................
repeat
//что-то делаем
c:=readkey;
until c=#27;

uses crt;
var c:char;
.......................
repeat
//что-то делаем
c:=readkey;
until c=#27;