$ EHIGH:  4.000000e+04
  1.500000e+03  0  4.0  2.050000e+02  1.032000e+00  0.000000e+00  0.000000e+00
  3.330000e+03  0  4.0  5.000000e-01  6.700000e-01  0.000000e+00  0.000000e+00
  4.327000e+03  0  4.0  9.200000e+01  5.175400e-01  0.000000e+00  0.000000e+00
  5.179000e+03  0  3.0  8.500000e+01  1.123600e+00  0.000000e+00  0.000000e+00
  5.202000e+03  0  4.0  8.000000e+00  7.500000e-01  0.000000e+00  0.000000e+00
  6.965000e+03  0  3.0  2.900000e+01  6.875600e-01  0.000000e+00  0.000000e+00
  8.860000e+03  0  4.0  2.850000e+02  6.797700e-01  0.000000e+00  0.000000e+00
  1.049000e+04  0  4.0  1.000000e+00  6.900000e-01  0.000000e+00  0.000000e+00
  1.397000e+04  0  4.0  3.700000e+02  9.993900e-01  0.000000e+00  0.000000e+00
  1.435000e+04  0  3.0  3.030000e+01  8.400000e-01  0.000000e+00  0.000000e+00
  1.664000e+04  0  3.0  2.000000e+00  7.600000e-01  0.000000e+00  0.000000e+00
  1.915000e+04  0  4.0  6.200000e+02  6.491800e-01  0.000000e+00  0.000000e+00
  2.029000e+04  0  3.0  2.700000e+00  7.600000e-01  0.000000e+00  0.000000e+00
  2.141000e+04  0  3.0  4.800000e+01  7.900000e-01  0.000000e+00  0.000000e+00
  2.194000e+04  1  3.0  5.700000e+00  4.600000e-01  0.000000e+00  0.000000e+00
  2.293000e+04  0  4.0  3.020000e+02  5.700000e-01  0.000000e+00  0.000000e+00
  2.418000e+04  1  2.0  3.700000e+00  9.200000e-01  0.000000e+00  0.000000e+00
  2.435000e+04  0  3.0  9.400000e+00  8.200000e-01  0.000000e+00  0.000000e+00
  2.470000e+04  1  2.0  3.400000e+00  7.400000e-01  0.000000e+00  0.000000e+00
  2.705000e+04  0  4.0  6.500000e+02  5.700000e-01  0.000000e+00  0.000000e+00
  2.734000e+04  0  3.0  2.000000e+00  8.500000e-01  0.000000e+00  0.000000e+00
  2.967000e+04  0  4.0  2.000000e+02  6.600000e-01  0.000000e+00  0.000000e+00
  2.980000e+04  0  4.0  9.200000e+00  7.500000e-01  0.000000e+00  0.000000e+00
  3.108000e+04  0  4.0  1.600000e+02  6.600000e-01  0.000000e+00  0.000000e+00
  3.150000e+04  0  4.0  5.800000e+00  7.200000e-01  0.000000e+00  0.000000e+00
  3.715000e+04  0  4.0  2.490000e+02  1.100000e+00  0.000000e+00  0.000000e+00