2000
0, 9001, 6458, 21, 21, 0.233307410288, 0.325178073707
1, 9000, 6457, 19, 19, 0.211111111111, 0.294254297661
2, 9000, 6457, 5, 5, 0.0555555555556, 0.0774353414899
3, 9001, 6458, 2, 2, 0.0222197533607, 0.0309693403531