7400    0.00117336
7500    0.00615332
7600      0.160412
7700      0.672561
7800      0.837351
7900      0.878333
8000      0.924451
8100      0.872657
8200      0.822510
8300      0.774276
8400      0.708760
8500      0.660900
8600      0.617692
8700      0.495119
8800      0.218265
8900     0.0686902
9000     0.0156349
9100   0.000743666