2000
0, 8188, 8139, 15, 15, 0.183194919394, 0.184297825286
1, 8189, 8140, 55, 55, 0.671632677983, 0.675675675676
2, 8189, 8140, 6, 6, 0.0732690194163, 0.0737100737101
3, 8189, 8140, 757, 757, 9.24410794969, 9.29975429975