7000	0.000
7100	0.024
7200	0.232
7300	0.555
7400	0.785
7500	0.910
7600	0.965
7700	0.985
7800	0.990
7900	0.995
8000	1.000
8100	1.000
8200	0.990
8300	0.980
8400	0.950
8500	0.910
8600	0.860
8700	0.750
8800	0.560
8900	0.330
9000	0.150
9100	0.030
9200	0.000
