pair lab2_1

with Ada.Text_IO,Ada.Numerics.Discrete_Random;
use Ada.Text_IO;

procedure lab2_1 is
    type Index is range 1..5;

    type Wektor is array (Index) of Integer;
    Wektor1: Wektor;

    package Los_Boolean is new Ada.Numerics.Discrete_Random(Integer);
    use Los_Boolean;
    Gen : Generator;
    Sort : Boolean := True;

begin
    for E of Wektor1 loop
        E:=Random(Gen);
    end loop;


    for I in Index loop

        Put (Integer'Image (Wektor1(I)));
    end loop;
    New_Line;

    for I in Index loop
        if (Wektor1(I) > Wektor1(I+1)) then
            Sort:=False;
        end if;
    end loop;

    Put (Boolean'Image(Sort));
    New_Line;



end lab2_1;