lines	time
1	0.078889
2	0.111543
3	0.160357
4	0.209586
5	0.253924
6	0.301284
7	0.362769
8	0.397310
9	0.476950
10	0.493070
11	0.535580
12	0.588997
13	0.665211
14	0.663649
15	0.729160
16	0.765737
17	0.811826
18	0.831478
19	0.877358
20	0.942805