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, 'C:\f1.dat');
  Rewrite(F);
  Writeln(F, '3');
  Close(F);

  Val[1]:= 0; Save[1]:= 1;
  Val[2]:= 0; Save[2]:= 2;

  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);
      Inc(count);          // новая переменная
      Save[count]:= d - 1; // её цикл
      Val[count] := 0;

      d:= d + k;           // последняя запись + счетчик
      k:= 0;               //
                           //
      Append(F);           //
      Writeln(F, d);       // записывается в конец
      Close(F);
    End
    Else Begin
      Step(count);         // если проверка не прошла, то меняем значения
      Inc(k);
    End;
  End;
End.

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, 'C:\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.