# different-servers-per-page CDF
1.000000 0.979238
2.000000 0.994634
3.000000 0.997569
4.000000 0.998861
5.000000 0.999442
6.000000 0.999664
7.000000 0.999855
8.000000 0.999909
9.000000 0.999939
10.000000 0.999947
11.000000 0.999954
12.000000 0.999970
13.000000 0.999993
14.000000 1.000000