with ada.text_io; use ada.text_io; 
with ada.float_text_io; use ada.float_text_io; 
 
procedure rec1  is 
    namesize: constant := 20;
    idsize: constant := 6;

    name: string(1 .. namesize);
    id: string(1 .. idsize);
    salary: float;
begin
    skip_line;
    while not end_of_file loop
        get(name);
        get(id);
        get(salary);

        if salary > 100_000.00 then
            put(name & " ");
            put(id & " ");
            put(salary, fore=>7, aft=>2, exp=>0);
            new_line;
        end if;
    end loop;

end rec1;