  5200.  0.
  5400.  0.0599999987
  5600.  0.280000001
  5800.  0.5
  6000.  0.689999998
  6200.  0.790000021
  6400.  0.879999995
  6600.  0.939999998
  6800.  0.980000019
  7000.  1.
  7200.  0.939999998
  7400.  0.850000024
  7600.  0.730000019
  7800.  0.569999993
  8000.  0.419999987
  8200.  0.310000002
  8400.  0.170000002
  8600.  0.109999999
  8800.  0.0599999987
  9000.  0.0399999991
  9200.  0.0199999996
  9400.  0.00999999978
  9600.  0.