tune    540385 710771
p_novib 827221 1023944
p_novib 1111523 1276645
p_novib 1370949 1531721
m_novib 1670119 1810573
m_novib 1930776 2070826
m_novib 2182811 2333885
f_novib 2470244 2570974
f_novib 2674040 2779989
f_novib 2896413 3004635
p_vib   3120741 3297412
p_vib   3367164 3553410
p_vib   3637305 3822697
m_vib   3931603 4079412
m_vib   4150786 4305616
m_vib   4404134 4535854
f_vib   4767679 4858211
f_vib   4938780 5031517
f_vib   5109710 5201283
