4041424344454647484950
} finally { txt_reader.close(); } lines = new IntArray(txt.length / 20 + 20); boolean eol = true, cr = false; for (int i = 0; i < txt.length; i++) { if (eol)