6880 0.000700
6920 0.001800
6960 0.005500
7000 0.015500
7040 0.037500
7080 0.037800
7120 0.151500
7160 0.222700
7200 0.291500
7240 0.354900
7280 0.411200
7320 0.492300
7360 0.616200
7400 0.746900
7440 0.844900
7480 0.880800
7520 0.869800
7560 0.856700
7600 0.849600
7640 0.857500
7680 0.904400
7720 0.958800
7760 0.991500
7800 1.000000
7840 0.990000
7880 0.984800
7920 0.988100
7960 0.977600
8000 0.962600
8040 0.954800
8080 0.959000
8120 0.969200
8160 0.975400
8200 0.978900
8240 0.979500
8280 0.978200
8320 0.973900
8360 0.971700
8400 0.968800
8440 0.965000
8480 0.954100
8520 0.941100
8560 0.928200
8600 0.915600
8640 0.909900
8680 0.908200
8720 0.914700
8760 0.924200
8800 0.937300
8840 0.942700
8880 0.940000
8920 0.927400
8960 0.911000
9000 0.897000
9040 0.890900
9080 0.896200
9120 0.908200
9160 0.921800
9200 0.929500
9240 0.924700
9280 0.908000
9320 0.887100
9360 0.862300
9400 0.841000
9440 0.814600
9480 0.798800
9520 0.789400
9560 0.785000
9600 0.786300
9640 0.783700
9680 0.770800
9720 0.744600
9760 0.689800
9800 0.587600
9840 0.460400
9880 0.344100
9920 0.251400
9960 0.179100
10000 0.117900
10040 0.069400
10080 0.036000
10120 0.017200
10160 0.008100
10200 0.003800
10240 0.001800
10280 0.000800