# different-servers-per-page CDF
1.000000 0.967041
2.000000 0.992098
3.000000 0.995498
4.000000 0.997436
5.000000 0.998440
6.000000 0.999113
7.000000 0.999449
8.000000 0.999613
9.000000 0.999725
10.000000 0.999811
11.000000 0.999842
12.000000 0.999873
13.000000 0.999908
14.000000 0.999929
15.000000 0.999949
16.000000 0.999964
17.000000 0.999980
18.000000 0.999985
20.000000 0.999990
22.000000 0.999995
25.000000 1.000000