298	0	0
312	0	0
326	0	0
335	0	0.01
352	0	0.01
402	0	0.01
412	0	0.01
458	0	0.01
464	0	0.01
499	0	0.02
507	0	0.02
517	0	0.02
526	0	0.02
567	0	0.02
575	0.24	0.26
584	0	0.26
594	0	0.26
604	0	0.26
613	0	0.27
632	0.02	0.29
651	0	0.29
660	0	0.29
698	0	0.29
736	0	0.29
747	0	0.29
759	0	0.3
768	0	0.3
776	0	0.3
824	0	0.3
903	0	0.3
975	0.01	0.31
cache: 305
1065	0.16	0.47
1105	0.02	0.49
1138	0	0.49
1173	0	0.49
1214	0	0.49
1252	0.02	0.51
1284	0.02	0.53
1290	0	0.53
1296	0.05	0.59
1305	0	0.59
1322	0	0.59
1330	0	0.59
1340	0	0.59
1348	0	0.59
1358	0	0.59
1380	0	0.59
1388	0.02	0.61
1392	0.01	0.62
1395	0	0.62
1395	0.23	0.85
1395	0.16	1.01
1395	0.22	1.23
1395	0.16	1.39
1395	0.28	1.67
1395	0.21	1.88
1395	0.15	2.03
1395	0.17	2.2
1395	0.21	2.41
1395	0.34	2.75
1395	0.26	3.01
1395	0.16	3.17
1395	0.27	3.44
1395	0.6	4.04
1395	0.22	4.25
1395	0.54	4.8
1395	0.15	4.95
1395	0.21	5.16
1395	0.14	5.3
1419	0.21	5.51
1433	1.04	6.56

Exit: 1433