use Ada.Text_IO, Ada.Vectors;