import static java.lang.System.in;
import java.io.BufferedInputStream;
import java.util.ArrayList;
import java.util.List;
var is = new BufferedInputStream(in);
List<String> lines = new ArrayList<>();
String s = "";
int c, eof = -1, n = 0xf;
final int cr = '\r', lf = '\n';
while ((c = is.read()) != eof)
switch (c) {
case cr, lf:
lines.add(s);
s = "";
if (c == cr) {
is.mark(n);
if (is.read() != lf)
is.reset();
}
break;
default:
s += (char) c;
}
lines.add(s);
declare
package String_Vectors is new
Ada.Containers.Indefinite_Vectors
(Index_Type => Positive, Element_Type => String);
use String_Vectors, Ada.Text_IO;
Lines : Vector;
begin
while not End_Of_File loop
Lines.Append (Get_Line);
end loop;
end;