2000
0, 16128, 14215, 77, 77, 0.477430555556, 0.541681322547
1, 16129, 14217, 122, 122, 0.756401512803, 0.858127593726
2, 16129, 14215, 1285, 1285, 7.96701593403, 9.03974674639
3, 16127, 14211, 12434, 12434, 77.1005146648, 87.4956019985