# w3 from HomaModule util/dist.cc (pinned commit), truncated at 1000000 B
# mean 2423 B
8 0.064882623
32 0.097323934
36 0.108913295
40 0.120502655
46 0.132092016
53 0.143681376
64 0.155270737
70 0.187987804
77 0.220704872
85 0.253421939
96 0.286139007
110 0.318856075
128 0.351573142
137 0.369864095
146 0.388155048
158 0.406446000
171 0.424736953
186 0.443027905
205 0.461318858
228 0.479609811
256 0.497900763
268 0.523993535
282 0.550086306
296 0.576179078
313 0.602271849
331 0.628364621
352 0.654457392
375 0.680550164
402 0.706642935
433 0.732735707
469 0.758828479
512 0.784921250
531 0.790512558
551 0.796103867
573 0.801695175
597 0.807286484
623 0.812877792
652 0.818469101
683 0.824060409
717 0.829651718
755 0.835243026
796 0.840834335
843 0.846425643
896 0.852016951
956 0.857608260
1024 0.863199568
1053 0.865736366
1084 0.868273163
1117 0.870809961
1152 0.873346758
1189 0.875883556
1229 0.878420354
1271 0.880957151
1317 0.883493949
1365 0.886030746
1418 0.888567544
1475 0.891104341
1536 0.893641139
1603 0.896177936
1676 0.898714734
1755 0.901251531
1843 0.903788329
1940 0.906325126
2048 0.908861924
2092 0.909949121
2137 0.911036318
2185 0.912123515
2234 0.913210712
2286 0.914297908
2341 0.915385105
2398 0.916472302
2458 0.917559499
2521 0.918646696
2587 0.919733893
2657 0.920821090
2731 0.921908287
2809 0.922995484
2891 0.924082680
2979 0.925169877
3072 0.926257074
3171 0.927344271
3277 0.928431468
3390 0.929518665
3511 0.930605862
3641 0.931693059
3781 0.932780255
3932 0.933867452
4096 0.934954649
4163 0.935901566
4233 0.936848483
4304 0.937795399
4378 0.938742316
4455 0.939689232
4535 0.940636149
4617 0.941583066
4703 0.942529982
4792 0.943476899
4884 0.944423815
4979 0.945370732
5079 0.946317649
5183 0.947264565
5291 0.948211482
5403 0.949158399
5521 0.950105315
5643 0.951052232
5772 0.951999148
5906 0.952946065
6046 0.953892982
6194 0.954839898
6349 0.955786815
6512 0.956733731
6683 0.957680648
6864 0.958627565
7054 0.959574481
7256 0.960521398
7469 0.961468315
7696 0.962415231
7936 0.963362148
8192 0.964309064
8293 0.964806259
8397 0.965303454
8503 0.965800648
8612 0.966297843
8724 0.966795037
8839 0.967292232
8957 0.967789426
9078 0.968286621
9202 0.968783815
9330 0.969281010
9461 0.969778204
9596 0.970275399
9735 0.970772594
9879 0.971269788
10026 0.971766983
10178 0.972264177
10335 0.972761372
10496 0.973258566
10663 0.973755761
10835 0.974252955
11012 0.974750150
11196 0.975247345
11385 0.975744539
11582 0.976241734
11785 0.976738928
11995 0.977236123
12214 0.977733317
12440 0.978230512
12674 0.978727706
12918 0.979224901
13171 0.979722096
13435 0.980219290
13709 0.980716485
13995 0.981213679
14292 0.981710874
14603 0.982208068
14928 0.982705263
15267 0.983202457
15622 0.983699652
15994 0.984196846
16384 0.984694041
16540 0.984801735
16699 0.984909429
16861 0.985017124
17027 0.985124818
17195 0.985232512
17367 0.985340206
17542 0.985447901
17721 0.985555595
17904 0.985663289
18091 0.985770983
18281 0.985878678
18476 0.985986372
18674 0.986094066
18877 0.986201760
19085 0.986309455
19297 0.986417149
19514 0.986524843
19735 0.986632537
19962 0.986740231
20194 0.986847926
20432 0.986955620
20675 0.987063314
20924 0.987171008
21179 0.987278703
21441 0.987386397
21709 0.987494091
21984 0.987601785
22265 0.987709480
22555 0.987817174
22851 0.987924868
23156 0.988032562
23469 0.988140257
23790 0.988247951
24121 0.988355645
24461 0.988463339
24810 0.988571033
25170 0.988678728
25540 0.988786422
25921 0.988894116
26314 0.989001810
26719 0.989109505
27136 0.989217199
27567 0.989324893
28011 0.989432587
28471 0.989540282
28945 0.989647976
29436 0.989755670
29943 0.989863364
30468 0.989971059
31013 0.990078753
31576 0.990186447
32161 0.990294141
32768 0.990401835
33007 0.990443196
33250 0.990484557
33496 0.990525918
33746 0.990567278
34000 0.990608639
34257 0.990650000
34519 0.990691361
34784 0.990732721
35054 0.990774082
35328 0.990815443
35606 0.990856804
35889 0.990898164
36176 0.990939525
36468 0.990980886
36764 0.991022247
37065 0.991063607
37372 0.991104968
37683 0.991146329
38000 0.991187689
38322 0.991229050
38649 0.991270411
38983 0.991311772
39322 0.991353132
39667 0.991394493
40018 0.991435854
40375 0.991477215
40739 0.991518575
41109 0.991559936
41486 0.991601297
41870 0.991642658
42262 0.991684018
42660 0.991725379
43067 0.991766740
43481 0.991808101
43903 0.991849461
44333 0.991890822
44772 0.991932183
45220 0.991973543
45677 0.992014904
46143 0.992056265
46618 0.992097626
47104 0.992138986
47600 0.992180347
48106 0.992221708
48623 0.992263069
49152 0.992304429
49692 0.992345790
50244 0.992387151
50809 0.992428512
51386 0.992469872
51977 0.992511233
52581 0.992552594
53200 0.992593955
53833 0.992635315
54482 0.992676676
55146 0.992718037
55827 0.992759397
56525 0.992800758
57240 0.992842119
57974 0.992883480
58727 0.992924840
59500 0.992966201
60293 0.993007562
61108 0.993048923
61945 0.993090283
62805 0.993131644
63690 0.993173005
64600 0.993214366
65536 0.993255726
65902 0.993298761
66272 0.993341796
66647 0.993384831
67025 0.993427866
67408 0.993470901
67796 0.993513936
68188 0.993556971
68584 0.993600006
68985 0.993643041
69391 0.993686076
69802 0.993729111
70217 0.993772146
70638 0.993815181
71063 0.993858216
71494 0.993901251
71930 0.993944286
72371 0.993987321
72818 0.994030356
73270 0.994073391
73728 0.994116426
74192 0.994159461
74661 0.994202496
75137 0.994245530
75618 0.994288565
76106 0.994331600
76601 0.994374635
77101 0.994417670
77608 0.994460705
78122 0.994503740
78643 0.994546775
79171 0.994589810
79706 0.994632845
80248 0.994675880
80798 0.994718915
81355 0.994761950
81920 0.994804985
82493 0.994848020
83074 0.994891055
83663 0.994934090
84261 0.994977125
84867 0.995020160
85482 0.995063195
86106 0.995106230
86739 0.995149265
87381 0.995192300
88033 0.995235335
88695 0.995278370
89367 0.995321405
90049 0.995364440
90742 0.995407474
91446 0.995450509
92160 0.995493544
92886 0.995536579
93623 0.995579614
94372 0.995622649
95133 0.995665684
95906 0.995708719
96692 0.995751754
97492 0.995794789
98304 0.995837824
99130 0.995880859
99970 0.995923894
100825 0.995966929
101694 0.996009964
102578 0.996052999
103478 0.996096034
104394 0.996139069
105326 0.996182104
106275 0.996225139
107241 0.996268174
108225 0.996311209
109227 0.996354244
110247 0.996397279
111288 0.996440314
112347 0.996483349
113428 0.996526384
114529 0.996569418
115652 0.996612453
116797 0.996655488
117965 0.996698523
119156 0.996741558
120372 0.996784593
121613 0.996827628
122880 0.996870663
124173 0.996913698
125494 0.996956733
126844 0.996999768
128223 0.997042803
129632 0.997085838
131072 0.997128873
131630 0.997140095
132192 0.997151318
132760 0.997162540
133332 0.997173762
133909 0.997184984
134491 0.997196207
135079 0.997207429
135671 0.997218651
136269 0.997229874
136872 0.997241096
137480 0.997252318
138094 0.997263540
138713 0.997274763
139338 0.997285985
139968 0.997297207
140605 0.997308430
141247 0.997319652
141894 0.997330874
142548 0.997342096
143208 0.997353319
143874 0.997364541
144547 0.997375763
145225 0.997386986
145910 0.997398208
146602 0.997409430
147300 0.997420652
148005 0.997431875
148716 0.997443097
149435 0.997454319
150160 0.997465542
150893 0.997476764
151632 0.997487986
152379 0.997499208
153134 0.997510431
153895 0.997521653
154665 0.997532875
155442 0.997544098
156227 0.997555320
157020 0.997566542
157821 0.997577764
158631 0.997588987
159448 0.997600209
160275 0.997611431
161109 0.997622654
161953 0.997633876
162805 0.997645098
163667 0.997656320
164537 0.997667543
165417 0.997678765
166306 0.997689987
167205 0.997701210
168114 0.997712432
169033 0.997723654
169961 0.997734876
170901 0.997746099
171850 0.997757321
172810 0.997768543
173781 0.997779766
174763 0.997790988
175756 0.997802210
176760 0.997813432
177776 0.997824655
178803 0.997835877
179843 0.997847099
180895 0.997858322
181959 0.997869544
183035 0.997880766
184125 0.997891988
185227 0.997903211
186343 0.997914433
187473 0.997925655
188616 0.997936878
189773 0.997948100
190944 0.997959322
192130 0.997970544
193331 0.997981767
194547 0.997992989
195778 0.998004211
197025 0.998015434
198288 0.998026656
199568 0.998037878
200864 0.998049100
202176 0.998060323
203507 0.998071545
204854 0.998082767
206220 0.998093989
207604 0.998105212
209007 0.998116434
210429 0.998127656
211870 0.998138879
213331 0.998150101
214812 0.998161323
216315 0.998172545
217838 0.998183768
219383 0.998194990
220950 0.998206212
222540 0.998217435
224152 0.998228657
225788 0.998239879
227448 0.998251101
229133 0.998262324
230843 0.998273546
232579 0.998284768
234341 0.998295991
236130 0.998307213
237946 0.998318435
239791 0.998329657
241664 0.998340880
243567 0.998352102
245500 0.998363324
247464 0.998374547
249460 0.998385769
251488 0.998396991
253549 0.998408213
255645 0.998419436
257775 0.998430658
259941 0.998441880
262144 0.998453103
263003 0.998459934
263869 0.998466764
264739 0.998473595
265616 0.998480426
266499 0.998487257
267387 0.998494088
268281 0.998500919
269181 0.998507750
270088 0.998514581
271000 0.998521412
271919 0.998528242
272844 0.998535073
273775 0.998541904
274713 0.998548735
275657 0.998555566
276607 0.998562397
277564 0.998569228
278528 0.998576059
279498 0.998582890
280476 0.998589721
281460 0.998596551
282451 0.998603382
283449 0.998610213
284454 0.998617044
285466 0.998623875
286486 0.998630706
287513 0.998637537
288547 0.998644368
289589 0.998651199
290638 0.998658030
291695 0.998664860
292759 0.998671691
293832 0.998678522
294912 0.998685353
296000 0.998692184
297097 0.998699015
298201 0.998705846
299314 0.998712677
300435 0.998719508
301564 0.998726338
302702 0.998733169
303849 0.998740000
305004 0.998746831
306168 0.998753662
307341 0.998760493
308523 0.998767324
309715 0.998774155
310915 0.998780986
312125 0.998787817
313344 0.998794647
314573 0.998801478
315811 0.998808309
317060 0.998815140
318318 0.998821971
319586 0.998828802
320864 0.998835633
322153 0.998842464
323452 0.998849295
324761 0.998856126
326082 0.998862956
327413 0.998869787
328754 0.998876618
330107 0.998883449
331471 0.998890280
332847 0.998897111
334234 0.998903942
335632 0.998910773
337042 0.998917604
338464 0.998924435
339899 0.998931265
341345 0.998938096
342804 0.998944927
344275 0.998951758
345759 0.998958589
347256 0.998965420
348765 0.998972251
350288 0.998979082
351825 0.998985913
353375 0.998992743
354938 0.998999574
356516 0.999006405
358107 0.999013236
359713 0.999020067
361334 0.999026898
362969 0.999033729
364618 0.999040560
366283 0.999047391
367964 0.999054222
369659 0.999061052
371371 0.999067883
373098 0.999074714
374841 0.999081545
376601 0.999088376
378378 0.999095207
380171 0.999102038
381981 0.999108869
383809 0.999115700
385654 0.999122531
387517 0.999129361
389398 0.999136192
391298 0.999143023
393216 0.999149854
395153 0.999156685
397109 0.999163516
399085 0.999170347
401080 0.999177178
403096 0.999184009
405132 0.999190839
407188 0.999197670
409266 0.999204501
411364 0.999211332
413485 0.999218163
415627 0.999224994
417792 0.999231825
419979 0.999238656
422190 0.999245487
424424 0.999252318
426681 0.999259148
428963 0.999265979
431269 0.999272810
433600 0.999279641
435957 0.999286472
438339 0.999293303
440748 0.999300134
443183 0.999306965
445645 0.999313796
448134 0.999320627
450652 0.999327457
453198 0.999334288
455773 0.999341119
458378 0.999347950
461012 0.999354781
463677 0.999361612
466372 0.999368443
469100 0.999375274
471859 0.999382105
474651 0.999388936
477477 0.999395766
480336 0.999402597
483229 0.999409428
486158 0.999416259
489122 0.999423090
492123 0.999429921
495161 0.999436752
498236 0.999443583
501350 0.999450414
504504 0.999457244
507697 0.999464075
510930 0.999470906
514206 0.999477737
517523 0.999484568
520884 0.999491399
524288 0.999498230
526844 0.999500751
529425 0.999503273
532031 0.999505794
534663 0.999508316
537322 0.999510837
540006 0.999513359
542718 0.999515880
545458 0.999518402
548225 0.999520923
551020 0.999523444
553844 0.999525966
556697 0.999528487
559579 0.999531009
562492 0.999533530
565435 0.999536052
568408 0.999538573
571414 0.999541095
574451 0.999543616
577521 0.999546138
580624 0.999548659
583760 0.999551180
586931 0.999553702
590136 0.999556223
593376 0.999558745
596652 0.999561266
599964 0.999563788
603313 0.999566309
606700 0.999568831
610125 0.999571352
613590 0.999573874
617093 0.999576395
620637 0.999578917
624222 0.999581438
627848 0.999583959
631517 0.999586481
635229 0.999589002
638985 0.999591524
642786 0.999594045
646632 0.999596567
650524 0.999599088
654463 0.999601610
658451 0.999604131
662487 0.999606653
666573 0.999609174
670710 0.999611695
674899 0.999614217
679140 0.999616738
683435 0.999619260
687784 0.999621781
692190 0.999624303
696652 0.999626824
701172 0.999629346
705750 0.999631867
710390 0.999634389
715090 0.999636910
719853 0.999639432
724680 0.999641953
729573 0.999644474
734531 0.999646996
739558 0.999649517
744654 0.999652039
749820 0.999654560
755059 0.999657082
760371 0.999659603
765759 0.999662125
771224 0.999664646
776767 0.999667168
782390 0.999669689
788096 0.999672210
793885 0.999674732
799760 0.999677253
805723 0.999679775
811775 0.999682296
817919 0.999684818
824156 0.999687339
830490 0.999689861
836921 0.999692382
843453 0.999694904
850088 0.999697425
856827 0.999699946
863675 0.999702468
870633 0.999704989
877704 0.999707511
884890 0.999710032
892196 0.999712554
899623 0.999715075
907174 0.999717597
914854 0.999720118
922664 0.999722640
930609 0.999725161
938693 0.999727683
946917 0.999730204
955288 0.999732725
963807 0.999735247
972480 0.999737768
981310 0.999740290
990302 0.999742811
999461 0.999745333
1000000 1.000000000