2000
0, 8437, 7842, 9, 9, 0.106672988029, 0.114766641163
1, 8437, 7842, 28, 28, 0.331871518312, 0.357051772507
2, 8437, 7843, 7, 7, 0.082967879578, 0.0892515619023
3, 8437, 7843, 41, 41, 0.485954723243, 0.522759148285