7700 0.000437882016
7800 0.00142660512
7900 0.00552289568
8000 0.01372504
8050 0.0202424736
8100 0.032311448
8150 0.054483192
8200 0.086734908
8250 0.1303525575
8300 0.1891469118
8350 0.251005362
8400 0.3027664008
8450 0.3448397344
8500 0.3739264284
8550 0.39668292
8600 0.4073117076
8650 0.4109098392
8700 0.4107385971
8800 0.3961554744
8900 0.37277149552941
9000 0.322045076
9100 0.3112369839
9200 0.3007755974
9300 0.2298849207
9500 0.1784415558
10000 0.1295865
10500 0.0429327
11000 0.00867312