2000
0, 8717, 6709, 1, 1, 0.011471836641, 0.014905351021
1, 8717, 6709, 4, 4, 0.0458873465642, 0.0596214040841
2, 8717, 6709, 20, 20, 0.229436732821, 0.29810702042
3, 8717, 6709, 12, 12, 0.137662039693, 0.178864212252