15000 0
15050 0.0005
15100 0.0154
15150 0.0227
15200 0.0308
15250 0.057
15300 0.0744
15350 0.1054
15400 0.1491
15450 0.217
15500 0.3175
15550 0.4406
15600 0.5808
15650 0.703
15700 0.7975
15750 0.8593
15800 0.8919
15850 0.8873
15900 0.892
15950 0.8979
16000 0.9099
16050 0.9245
16100 0.9631
16150 0.9838
16200 0.9952
16250 0.9851
16300 1
16350 0.9975
16400 0.9456
16450 0.9634
16500 0.9062
16550 0.8954
16600 0.9057
16650 0.884
16700 0.8519
16750 0.8685
16800 0.7749
16850 0.6315
16900 0.4375
16950 0.267
17000 0.1564
17050 0.0937
17100 0.0531
17150 0.0315
17200 0.0187
17250 0.0068
17300 0.0042
17350 0.0012
17400 0