  7000.  0.
  7050.  0.0309999995
  7100.  0.074000001
  7150.  0.158000007
  7200.  0.31400001
  7250.  0.433999985
  7300.  0.587000012
  7350.  0.722000003
  7400.  0.808000028
  7450.  0.870000005
  7500.  0.91900003
  7550.  0.938000023
  7600.  0.950999975
  7650.  0.968999982
  7700.  0.980000019
  7750.  0.984000027
  7800.  0.995000005
  7850.  0.999000013
  7900.  1.
  7950.  0.995999992
  8000.  0.994000018
  8050.  0.985000014
  8100.  0.973999977
  8150.  0.964999974
  8200.  0.957000017
  8250.  0.934000015
  8300.  0.912999988
  8350.  0.879000008
  8400.  0.869000018
  8450.  0.782000005
  8500.  0.635999978
  8550.  0.460000008
  8600.  0.261000007
  8650.  0.115999997
  8700.  0.0460000001
  8750.  0.0109999999
  8800.  0.00499999989
  8850.  0.00300000003
  8900.  0.