  500 0.000180
 1500 0.000207
 2500 0.000320
 3500 0.000343
 4500 0.000399
 6000 0.000422
 8000 0.000514
10000 0.000676
12000 0.000709
15000 0.000916
