Списки, приведение подобных Опции

[It's not important]

Здравствуйте!
Требуется ввести многочлен из файла и привести в нем подобные при помощи списка, и вывести результирующий многочлен в конец файла, расположив его члены в порядке убывания степеней.

type    Spisok = ^Elem;
          Elem = record
                    koef,step:integer; 
                    next:Spisok;
                 end;
var     a,b,c: Spisok;   
      vk, vst: Integer;
          n,i: Integer;
            f: text;
procedure Vvod;
begin
   while not eof(f) do
   begin
      read(f, vk);
      read(f, vst);
   end;
end;
procedure Pr;
begin
   c:=nil;
   while (b<>nil) and (b^.step<>vst) do  b:=b^.next;
   if b<>nil then   b^.koef:=b^.koef+vk;           
       else
         begin                          
            new©;                       
            c^.koef:=vk;                
            c^.step:=vst;                 
         end;
        if c<>nil then                   
            begin
               if (c^.step>a^.step) or (a=nil) then 
                  begin
                     c^.next:=a;
                     a:=c;
                  end
               else
                 begin                    
                    b:=a;
                    while (b^.next^.step > c^.step) and (b^.next<>nil) do b:=b^.next;
                    c^.next:=b^.next;
                    b^.next:=c;
                 end;
            end;
end;
procedure  Vivod;
begin
   append(f);
   writeln(f);   writeln(f);
   c:=a;
   while b<>nil do
     begin
        a:=b;
        if (c=nil) and (b^.koef>0) then write(f, '+');
        if a^.koef <> 0 then
          begin
            write(f,a^.koef,'x^',a^.step);
          end;
        b:=b^.next;
        dispose(a);
     end;
    close(f);
end;
BEGIN
   assign(f, 'pr_1.txt');  reset(f);
   a:=nil;
   while not eof(f) do
     begin
        b:=a;
        Vvod;
        if (vk<>0) or (vst<>0) then Pr; 

     end;
   b:=a;
   close(f);
   Vivod;
END. 

Пожалуйста, помогите разобраться с выводом в файл.
Я не могу понять почему он выводит толкьо последние данные в файле...
Благодарю за внимание.