# different-servers-per-page CDF
1.000000 0.912297
2.000000 0.970237
3.000000 0.985984
4.000000 0.992877
5.000000 0.996569
6.000000 0.998211
7.000000 0.999306
8.000000 0.999563
9.000000 0.999743
10.000000 0.999843
11.000000 0.999882
12.000000 0.999911
13.000000 0.999937
14.000000 0.999950
15.000000 0.999968
16.000000 0.999982
17.000000 0.999984
18.000000 0.999987
20.000000 0.999989
25.000000 0.999992
26.000000 0.999995
31.000000 0.999997
89.000000 1.000000