-
Notifications
You must be signed in to change notification settings - Fork 0
/
normal.go
829 lines (818 loc) · 69.8 KB
/
normal.go
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
209
210
211
212
213
214
215
216
217
218
219
220
221
222
223
224
225
226
227
228
229
230
231
232
233
234
235
236
237
238
239
240
241
242
243
244
245
246
247
248
249
250
251
252
253
254
255
256
257
258
259
260
261
262
263
264
265
266
267
268
269
270
271
272
273
274
275
276
277
278
279
280
281
282
283
284
285
286
287
288
289
290
291
292
293
294
295
296
297
298
299
300
301
302
303
304
305
306
307
308
309
310
311
312
313
314
315
316
317
318
319
320
321
322
323
324
325
326
327
328
329
330
331
332
333
334
335
336
337
338
339
340
341
342
343
344
345
346
347
348
349
350
351
352
353
354
355
356
357
358
359
360
361
362
363
364
365
366
367
368
369
370
371
372
373
374
375
376
377
378
379
380
381
382
383
384
385
386
387
388
389
390
391
392
393
394
395
396
397
398
399
400
401
402
403
404
405
406
407
408
409
410
411
412
413
414
415
416
417
418
419
420
421
422
423
424
425
426
427
428
429
430
431
432
433
434
435
436
437
438
439
440
441
442
443
444
445
446
447
448
449
450
451
452
453
454
455
456
457
458
459
460
461
462
463
464
465
466
467
468
469
470
471
472
473
474
475
476
477
478
479
480
481
482
483
484
485
486
487
488
489
490
491
492
493
494
495
496
497
498
499
500
501
502
503
504
505
506
507
508
509
510
511
512
513
514
515
516
517
518
519
520
521
522
523
524
525
526
527
528
529
530
531
532
533
534
535
536
537
538
539
540
541
542
543
544
545
546
547
548
549
550
551
552
553
554
555
556
557
558
559
560
561
562
563
564
565
566
567
568
569
570
571
572
573
574
575
576
577
578
579
580
581
582
583
584
585
586
587
588
589
590
591
592
593
594
595
596
597
598
599
600
601
602
603
604
605
606
607
608
609
610
611
612
613
614
615
616
617
618
619
620
621
622
623
624
625
626
627
628
629
630
631
632
633
634
635
636
637
638
639
640
641
642
643
644
645
646
647
648
649
650
651
652
653
654
655
656
657
658
659
660
661
662
663
664
665
666
667
668
669
670
671
672
673
674
675
676
677
678
679
680
681
682
683
684
685
686
687
688
689
690
691
692
693
694
695
696
697
698
699
700
701
702
703
704
705
706
707
708
709
710
711
712
713
714
715
716
717
718
719
720
721
722
723
724
725
726
727
728
729
730
731
732
733
734
735
736
737
738
739
740
741
742
743
744
745
746
747
748
749
750
751
752
753
754
755
756
757
758
759
760
761
762
763
764
765
766
767
768
769
770
771
772
773
774
775
776
777
778
779
780
781
782
783
784
785
786
787
788
789
790
791
792
793
794
795
796
797
798
799
800
801
802
803
804
805
806
807
808
809
810
811
812
813
814
815
816
817
818
819
820
821
822
823
824
825
826
827
828
829
package crazy
import "math"
// Normal adapts a Source to produce random numbers under a normal
// distribution.
type Normal struct {
Source
Mean, StdDev float64
}
// NewNormal creates a normal distribution drawing from the specified source
// with given mean and standard deviation.
func NewNormal(src Source, mean, stddev float64) Normal {
return Normal{
Source: src,
Mean: mean,
StdDev: stddev,
}
}
// Next generates a normal variate.
func (n Normal) Next() float64 {
x := normalZig.GenNext(n.Source)
return n.Mean + x*n.StdDev
}
func normalPDF(x float64) float64 {
return math.Exp(-0.5 * x * x)
}
func normalTail(src Source) float64 {
dist := Uniform0_1{src}
for {
x := -math.Log(dist.Next()) / normalR
y := -math.Log(dist.Next())
if y+y >= x*x {
return x + normalR
}
}
}
var normalZig = Ziggurat{
PDF: normalPDF,
Tail: normalTail,
Mirrored: true,
K: normalK,
W: normalW,
F: normalF,
}
const normalR = 4.0388498461095
var normalK = [1024]uint64{
0x1e3e4a8bb4f969, 0x00000000000000, 0x181f29db804409, 0x1b5405b352f86e,
0x1cb0a36a1f2595, 0x1d70cf1f08543f, 0x1dea3fdec95c06, 0x1e3dd13ea3711f,
0x1e7ac893a08e18, 0x1ea9327c8026c9, 0x1ecdb2d523da52, 0x1eeb25f2755db1,
0x1f03679c0bc516, 0x1f17ba339b0015, 0x1f28ffd70bf283, 0x1f37dbc4c52f7b,
0x1f44c6c3ccd493, 0x1f501c1707a95a, 0x1f5a21fa11984b, 0x1f630f59b3e4a2,
0x1f6b0fc75879ee, 0x1f724642d86756, 0x1f78cf3bfdf0b2, 0x1f7ec20a54817f,
0x1f8432047bca75, 0x1f892f52b0ec52, 0x1f8dc78f86f1af, 0x1f92064407767c,
0x1f95f548979015, 0x1f999d11599f25, 0x1f9d04eaf01bed, 0x1fa0332b3b9e8d,
0x1fa32d58c32bba, 0x1fa5f84acbf75e, 0x1fa89843a9c534, 0x1fab11067580f1,
0x1fad65e91365d5, 0x1faf99e33eb118, 0x1fb1af9b29dd9e, 0x1fb3a9702490cd,
0x1fb58983a15ca6, 0x1fb751c0e399e9, 0x1fb903e38fa03a, 0x1fbaa17d4c9e56,
0x1fbc2bfa9e9a72, 0x1fbda4a7182e32, 0x1fbf0cb0fdfea0, 0x1fc0652c7172ad,
0x1fc1af163487b8, 0x1fc2eb5615adbe, 0x1fc41ac110297d, 0x1fc53e1b2b7e2b,
0x1fc6561922bce0, 0x1fc76361db3ca1, 0x1fc8668fb11d50, 0x1fc960319f06f6,
0x1fca50cc45cd32, 0x1fcb38dad7f552, 0x1fcc18cfec8ea5, 0x1fccf1163c5415,
0x1fcdc2114ba767, 0x1fce8c1e039f9e, 0x1fcf4f933c1983, 0x1fd00cc23879c0,
0x1fd0c3f7189988, 0x1fd175793f27b8, 0x1fd2218baea00d, 0x1fd2c86d5dd6f8,
0x1fd36a5984fa74, 0x1fd40787e3cdd6, 0x1fd4a02d01cfc7, 0x1fd5347a68e59f,
0x1fd5c49edb15ee, 0x1fd650c683ccb7, 0x1fd6d91b25168d, 0x1fd75dc44133ec,
0x1fd7dee740dbea, 0x1fd85ca7967c19, 0x1fd8d726debb7d, 0x1fd94e84fe7f49,
0x1fd9c2e03ea9be, 0x1fda345565c5f2, 0x1fdaa2ffcfce40, 0x1fdb0ef98436ae,
0x1fdb785b4a60a6, 0x1fdbdf3cbc99c1, 0x1fdc43b459c453, 0x1fdca5d795c56f,
0x1fdd05bae8d1aa, 0x1fdd6371ddaf92, 0x1fddbf0f1f04b2, 0x1fde18a483c02e,
0x1fde70431ab464, 0x1fdec5fb356f5b, 0x1fdf19dc72608f, 0x1fdf6bf5c65954,
0x1fdfbc55857404, 0x1fe00b096b6d11, 0x1fe0581ea37840, 0x1fe0a3a1cf9b69,
0x1fe0ed9f0f9767, 0x1fe13622076726, 0x1fe17d35e55c22, 0x1fe1c2e567df1b,
0x1fe2073ae2db30, 0x1fe24a4044d923, 0x1fe28bff1bd019, 0x1fe2cc8099b0bf,
0x1fe30bcd98af57, 0x1fe349ee9f50e8, 0x1fe386ebe43f80, 0x1fe3c2cd51e913,
0x1fe3fd9a89ec66, 0x1fe4375ae8570f, 0x1fe4701586b78b, 0x1fe4a7d13f05ff,
0x1fe4de94ae663a, 0x1fe5146637c547, 0x1fe5494c0654b9, 0x1fe57d4c0fe5bf,
0x1fe5b06c1725db, 0x1fe5e2b1adbf0c, 0x1fe61422365d09, 0x1fe644c2e69917,
0x1fe67498c8cdf2, 0x1fe6a3a8bdd51a, 0x1fe6d1f77eaed3, 0x1fe6ff899e15f3,
0x1fe72c638a00b6, 0x1fe758898d0f81, 0x1fe783ffcfeaab, 0x1fe7aeca5a9027,
0x1fe7d8ed1591e8, 0x1fe8026bcb45dc, 0x1fe82b4a28e834, 0x1fe8538bbfb0ae,
0x1fe87b3405db9e, 0x1fe8a24657a740, 0x1fe8c8c5f845fe, 0x1fe8eeb612c634,
0x1fe91419baeff1, 0x1fe938f3ee1944, 0x1fe95d4793f180, 0x1fe981177f43ef,
0x1fe9a4666eb25c, 0x1fe9c7370d67e2, 0x1fe9e98bf3c44b, 0x1fea0b67a8007a,
0x1fea2ccc9ecc0f, 0x1fea4dbd3be4bd, 0x1fea6e3bd2a777, 0x1fea8e4aa69be8,
0x1feaadebebfa4b, 0x1feacd21c82c13, 0x1feaebee524779, 0x1feb0a53938647,
0x1feb285387b805, 0x1feb45f01dafcc, 0x1feb632b37adde, 0x1feb8006abc545,
0x1feb9c84443da0, 0x1febb8a5bff13c, 0x1febd46cd2a7bb, 0x1febefdb256d57,
0x1fec0af256e6f4, 0x1fec25b3fba31f, 0x1fec40219e681f, 0x1fec5a3cc07f32,
0x1fec7406d9fd18, 0x1fec8d815a080a, 0x1feca6ada71b32, 0x1fecbf8d1f47ca,
0x1fecd8211873e9, 0x1fecf06ae0972a, 0x1fed086bbdf533, 0x1fed2024ef563b,
0x1fed3797ac3da1, 0x1fed4ec5251ea8, 0x1fed65ae838f64, 0x1fed7c54ea79fc,
0x1fed92b9764c3b, 0x1feda8dd3d2593, 0x1fedbec14f0397, 0x1fedd466b5ecfd,
0x1fede9ce761b3e, 0x1fedfef98e22d4, 0x1fee13e8f71a2b, 0x1fee289da4bf5a,
0x1fee3d18859c9b, 0x1fee515a832ba1, 0x1fee656481f7cc, 0x1fee793761bf49,
0x1fee8cd3fd932e, 0x1feea03b2bf68b, 0x1feeb36dbefc8f, 0x1feec66c8465b5,
0x1feed93845bc16, 0x1feeebd1c86ed3, 0x1feefe39cdecb0, 0x1fef107113bde3,
0x1fef2278539d12, 0x1fef3450438fa0, 0x1fef45f995fd32, 0x1fef5774f9c68b,
0x1fef68c31a5bbb, 0x1fef79e49fd1a0, 0x1fef8ada2ef6ce, 0x1fef9ba46967da,
0x1fefac43eda30a, 0x1fefbcb9571b77, 0x1fefcd053e4ba5, 0x1fefdd2838c792,
0x1fefed22d94e3b, 0x1feffcf5afdaaf, 0x1ff00ca149b499, 0x1ff01c26318063,
0x1ff02b84ef4ed5, 0x1ff03abe08ac52, 0x1ff049d200afa8, 0x1ff058c158086d,
0x1ff0678c8d0d07, 0x1ff076341bc844, 0x1ff084b87e06a0, 0x1ff0931a2b6325,
0x1ff0a1599953fa, 0x1ff0af773b3694, 0x1ff0bd73825ba2, 0x1ff0cb4ede1296,
0x1ff0d909bbb4ed, 0x1ff0e6a486b127, 0x1ff0f41fa89576, 0x1ff1017b891a25,
0x1ff10eb88e2bbb, 0x1ff11bd71bf4d9, 0x1ff128d794e7dd, 0x1ff135ba59c83a,
0x1ff1427fc9b3a2, 0x1ff14f28422ae8, 0x1ff15bb41f1aaf, 0x1ff16823bae3e0,
0x1ff174776e63ea, 0x1ff180af90fcc9, 0x1ff18ccc789ce2, 0x1ff198ce79c6a4,
0x1ff1a4b5e79801, 0x1ff1b08313d1b4, 0x1ff1bc364ede58, 0x1ff1c7cfe7d957,
0x1ff1d3502c95a9, 0x1ff1deb769a471, 0x1ff1ea05ea5b66, 0x1ff1f53bf8db20,
0x1ff20059de1536, 0x1ff20b5fe1d23d, 0x1ff2164e4ab79f, 0x1ff221255e4d4c,
0x1ff22be5610354, 0x1ff2368e963750, 0x1ff241214039b9, 0x1ff24b9da05312,
0x1ff25603f6c902, 0x1ff2605482e340, 0x1ff26a8f82f072, 0x1ff274b5344ae2,
0x1ff27ec5d35d1e, 0x1ff288c19ba681, 0x1ff292a8c7bf95, 0x1ff29c7b915e6d,
0x1ff2a63a315ad3, 0x1ff2afe4dfb272, 0x1ff2b97bd38cd6, 0x1ff2c2ff433f61,
0x1ff2cc6f645127, 0x1ff2d5cc6b7eaf, 0x1ff2df168cbda7, 0x1ff2e84dfb4081,
0x1ff2f172e979f2, 0x1ff2fa85892070, 0x1ff303860b318c, 0x1ff30c749ff540,
0x1ff3155177012e, 0x1ff31e1cbf3bc8, 0x1ff326d6a6df6a, 0x1ff32f7f5b7d5e,
0x1ff338170a00d8, 0x1ff3409ddeb1de, 0x1ff34914053818, 0x1ff35179a89da4,
0x1ff359cef351c4, 0x1ff362140f2b93, 0x1ff36a49256c9a, 0x1ff3726e5ec365,
0x1ff37a83e34e01, 0x1ff38289da9c72, 0x1ff38a806bb31a, 0x1ff39267bd0d12,
0x1ff39a3ff49e7f, 0x1ff3a20937d6cb, 0x1ff3a9c3aba2e6, 0x1ff3b16f746f6b,
0x1ff3b90cb62ac2, 0x1ff3c09b944738, 0x1ff3c81c31bd05, 0x1ff3cf8eb10c53,
0x1ff3d6f3343f2f, 0x1ff3de49dceb77, 0x1ff3e592cc34be, 0x1ff3ecce22ce25,
0x1ff3f3fc00fc28, 0x1ff3fb1c86966c, 0x1ff4022fd30974, 0x1ff4093605585e,
0x1ff4102f3c1e8b, 0x1ff4171b959149, 0x1ff41dfb2f816b, 0x1ff424ce275cdf,
0x1ff42b949a303c, 0x1ff4324ea4a849, 0x1ff438fc631377, 0x1ff43f9df1635b,
0x1ff446336b2e1e, 0x1ff44cbcebafe4, 0x1ff4533a8dcc30, 0x1ff459ac6c0f40,
0x1ff46012a0af5f, 0x1ff4666d458e38, 0x1ff46cbc743a19, 0x1ff4730045ef3d,
0x1ff47938d39902, 0x1ff47f6635d322, 0x1ff4858884eae8, 0x1ff48b9fd8e052,
0x1ff491ac496743, 0x1ff497adede899, 0x1ff49da4dd8351, 0x1ff4a3912f0d95,
0x1ff4a972f915d8, 0x1ff4af4a51e3d7, 0x1ff4b5174f79aa, 0x1ff4bada0794c1,
0x1ff4c0928faee5, 0x1ff4c640fcff32, 0x1ff4cbe5647b0d, 0x1ff4d17fdad710,
0x1ff4d710748800, 0x1ff4dc9745c3ac, 0x1ff4e2146281d9, 0x1ff4e787de7d20,
0x1ff4ecf1cd33c9, 0x1ff4f25241e8a6, 0x1ff4f7a94fa3e8, 0x1ff4fcf70933f1,
0x1ff5023b812e1f, 0x1ff50776c9ef9a, 0x1ff50ca8f59e19, 0x1ff511d21628a4,
0x1ff516f23d4859, 0x1ff51c097c8121, 0x1ff52117e52273, 0x1ff5261d884803,
0x1ff52b1a76da79, 0x1ff5300ec19020, 0x1ff534fa78ed95, 0x1ff539ddad466f,
0x1ff53eb86ebdeb, 0x1ff5438acd478c, 0x1ff54854d8a7bf, 0x1ff54d16a0747b,
0x1ff551d03415df, 0x1ff55681a2c6ca, 0x1ff55b2afb9571, 0x1ff55fcc4d63fb,
0x1ff56465a6e90c, 0x1ff568f716b059, 0x1ff56d80ab1b36, 0x1ff57202726122,
0x1ff5767c7a904e, 0x1ff57aeed18e28, 0x1ff57f598517db, 0x1ff583bca2c2d6,
0x1ff5881837fd4b, 0x1ff58c6c520eae, 0x1ff590b8fe1830, 0x1ff594fe49153e,
0x1ff5993c3fdbf3, 0x1ff59d72ef1d94, 0x1ff5a1a2636704, 0x1ff5a5caa92134,
0x1ff5a9ebcc9197, 0x1ff5ae05d9da92, 0x1ff5b218dcfbe5, 0x1ff5b624e1d31c,
0x1ff5ba29f41bf8, 0x1ff5be281f70d3, 0x1ff5c21f6f4b0c, 0x1ff5c60fef036d,
0x1ff5c9f9a9d288, 0x1ff5cddcaad120, 0x1ff5d1b8fcf885, 0x1ff5d58eab22f6,
0x1ff5d95dc00bfc, 0x1ff5dd264650ca, 0x1ff5e0e8487091, 0x1ff5e4a3d0cce1,
0x1ff5e858e9a9fc, 0x1ff5ec079d2f2d, 0x1ff5efaff5671e, 0x1ff5f351fc402d,
0x1ff5f6edbb8cbd, 0x1ff5fa833d0387, 0x1ff5fe128a3fec, 0x1ff6019bacc241,
0x1ff6051eadf020, 0x1ff6089b9714b1, 0x1ff60c127160fa, 0x1ff60f8345ec23,
0x1ff612ee1db3c4, 0x1ff61653019c2a, 0x1ff619b1fa70a1, 0x1ff61d0b10e3b4,
0x1ff6205e4d8f79, 0x1ff623abb8f5ce, 0x1ff626f35b80a2, 0x1ff62a353d822f,
0x1ff62d71673541, 0x1ff630a7e0bd75, 0x1ff633d8b22772, 0x1ff63703e3692d,
0x1ff63a297c6224, 0x1ff63d4984db99, 0x1ff640640488cc, 0x1ff64379030737,
0x1ff6468887dec8, 0x1ff649929a8217, 0x1ff64c97424e9d, 0x1ff64f96868cee,
0x1ff652906e70ec, 0x1ff655850119fd, 0x1ff6587445933f, 0x1ff65b5e42d3bc,
0x1ff65e42ffbe9a, 0x1ff66122832352, 0x1ff663fcd3bddc, 0x1ff666d1f836e2,
0x1ff669a1f723f1, 0x1ff66c6cd707a3, 0x1ff66f329e51d2, 0x1ff671f3535fc4,
0x1ff674aefc7c57, 0x1ff677659fe02e, 0x1ff67a1743b1dd, 0x1ff67cc3ee0611,
0x1ff67f6ba4dfbe, 0x1ff6820e6e3048, 0x1ff684ac4fd7a7, 0x1ff687454fa496,
0x1ff689d97354b6, 0x1ff68c68c094b8, 0x1ff68ef33d0080, 0x1ff69178ee234f,
0x1ff693f9d977e4, 0x1ff696760468a4, 0x1ff698ed744fbd, 0x1ff69b602e774a,
0x1ff69dce381973, 0x1ff6a037966094, 0x1ff6a29c4e675d, 0x1ff6a4fc6538f2,
0x1ff6a757dfd10d, 0x1ff6a9aec31c20, 0x1ff6ac0113f771, 0x1ff6ae4ed7313c,
0x1ff6b0981188d2, 0x1ff6b2dcc7aeb7, 0x1ff6b51cfe44be, 0x1ff6b758b9de28,
0x1ff6b98ffeffc2, 0x1ff6bbc2d21fff, 0x1ff6bdf137a714, 0x1ff6c01b33ef17,
0x1ff6c240cb4414, 0x1ff6c46201e42f, 0x1ff6c67edbffb6, 0x1ff6c8975db942,
0x1ff6caab8b25cc, 0x1ff6ccbb684cc6, 0x1ff6cec6f92835, 0x1ff6d0ce41a4c9,
0x1ff6d2d145a1f3, 0x1ff6d4d008f1fd, 0x1ff6d6ca8f5a20, 0x1ff6d8c0dc929d,
0x1ff6dab2f446cf, 0x1ff6dca0da1544, 0x1ff6de8a918fcf, 0x1ff6e0701e3ba1,
0x1ff6e251839158, 0x1ff6e42ec4fd17, 0x1ff6e607e5de9a, 0x1ff6e7dce98945,
0x1ff6e9add3443d, 0x1ff6eb7aa64a73, 0x1ff6ed4365cabe, 0x1ff6ef0814e7e7,
0x1ff6f0c8b6b8bd, 0x1ff6f2854e4827, 0x1ff6f43dde9531, 0x1ff6f5f26a9321,
0x1ff6f7a2f52985, 0x1ff6f94f813440, 0x1ff6faf811839f, 0x1ff6fc9ca8dc62,
0x1ff6fe3d49f7d2, 0x1ff6ffd9f783c7, 0x1ff70172b422bb, 0x1ff70307826bda,
0x1ff7049864eb08, 0x1ff706255e20f5, 0x1ff707ae708327, 0x1ff709339e7c06,
0x1ff70ab4ea6ae7, 0x1ff70c3256a41e, 0x1ff70dabe57101, 0x1ff70f21990ff8,
0x1ff7109373b489, 0x1ff7120177875e, 0x1ff7136ba6a655, 0x1ff714d2032484,
0x1ff716348f0a47, 0x1ff717934c5549, 0x1ff718ee3cf889, 0x1ff71a4562dc69,
0x1ff71b98bfdeb2, 0x1ff71ce855d29d, 0x1ff71e342680dc, 0x1ff71f7c33a7a0,
0x1ff720c07efaa4, 0x1ff722010a232d, 0x1ff7233dd6c019, 0x1ff72476e665de,
0x1ff725ac3a9e96, 0x1ff726ddd4ea03, 0x1ff7280bb6bd90, 0x1ff72935e1845e,
0x1ff72a5c569f44, 0x1ff72b7f1764d5, 0x1ff72c9e252165, 0x1ff72db981170a,
0x1ff72ed12c7da6, 0x1ff72fe52882e4, 0x1ff730f5764a3f, 0x1ff7320216ed05,
0x1ff7330b0b7a59, 0x1ff7341054f733, 0x1ff73511f45e68, 0x1ff7360feaa0a5,
0x1ff7370a38a475, 0x1ff73800df4643, 0x1ff738f3df5857, 0x1ff739e339a2d9,
0x1ff73aceeee3d2, 0x1ff73bb6ffcf2d, 0x1ff73c9b6d0eb2, 0x1ff73d7c37420b,
0x1ff73e595efec1, 0x1ff73f32e4d03b, 0x1ff74008c937bd, 0x1ff740db0cac66,
0x1ff741a9af9b2e, 0x1ff74274b266e5, 0x1ff7433c15682f, 0x1ff743ffd8ed83,
0x1ff744bffd3b27, 0x1ff7457c828b2a, 0x1ff74635690d67, 0x1ff746eab0e779,
0x1ff7479c5a34bd, 0x1ff7484a65064a, 0x1ff748f4d162ee, 0x1ff7499b9f4729,
0x1ff74a3ecea523, 0x1ff74ade5f64ae, 0x1ff74b7a516339, 0x1ff74c12a473cd,
0x1ff74ca7585f06, 0x1ff74d386ce30b, 0x1ff74dc5e1b386, 0x1ff74e4fb679a0,
0x1ff74ed5ead3f3, 0x1ff74f587e5688, 0x1ff74fd7708ac9, 0x1ff75052c0ef7d,
0x1ff750ca6ef8b9, 0x1ff7513e7a0fdb, 0x1ff751aee1937e, 0x1ff7521ba4d76f,
0x1ff75284c324a4, 0x1ff752ea3bb930, 0x1ff7534c0dc837, 0x1ff753aa3879e4,
0x1ff75404baeb5b, 0x1ff7545b942eac, 0x1ff754aec34aca, 0x1ff754fe473b79,
0x1ff7554a1ef144, 0x1ff7559249516b, 0x1ff755d6c535da, 0x1ff75617916d16,
0x1ff75654acba30, 0x1ff7568e15d4b3, 0x1ff756c3cb6898, 0x1ff756f5cc1631,
0x1ff7572416721c, 0x1ff7574ea90531, 0x1ff75775824c6e, 0x1ff75798a0b8ea,
0x1ff757b802afbc, 0x1ff757d3a689ee, 0x1ff757eb8a9465, 0x1ff757ffad0fd3,
0x1ff758100c309b, 0x1ff7581ca61ec5, 0x1ff7582578f5e2, 0x1ff7582a82c4f9,
0x1ff7582bc18e71, 0x1ff758293347fd, 0x1ff75822d5da7f, 0x1ff75818a721f5,
0x1ff7580aa4ed62, 0x1ff757f8ccfeaf, 0x1ff757e31d0a9c, 0x1ff757c992b89c,
0x1ff757ac2ba2c2, 0x1ff7578ae555a4, 0x1ff75765bd5041, 0x1ff7573cb103e2,
0x1ff7570fbdd403, 0x1ff756dee11630, 0x1ff756aa1811ee, 0x1ff75671600098,
0x1ff75634b60d44, 0x1ff755f41754a0, 0x1ff755af80e4d7, 0x1ff75566efbd6d,
0x1ff7551a60cf1e, 0x1ff754c9d0fbbe, 0x1ff754753d1618, 0x1ff7541ca1e1c6,
0x1ff753bffc1313, 0x1ff7535f484ed3, 0x1ff752fa832a3f, 0x1ff75291a92ad1,
0x1ff75224b6c619, 0x1ff751b3a8619c, 0x1ff7513e7a52a8, 0x1ff750c528de2c,
0x1ff75047b0388f, 0x1ff74fc60c8586, 0x1ff74f4039d7e9, 0x1ff74eb6343187,
0x1ff74e27f782fa, 0x1ff74d957fab78, 0x1ff74cfec878a7, 0x1ff74c63cda66c,
0x1ff74bc48adebc, 0x1ff74b20fbb96c, 0x1ff74a791bbbfd, 0x1ff749cce6596a,
0x1ff7491c56f1f6, 0x1ff7486768d2f6, 0x1ff747ae17369b, 0x1ff746f05d43be,
0x1ff7462e360da5, 0x1ff745679c93cc, 0x1ff7449c8bc1ac, 0x1ff743ccfe6e81,
0x1ff742f8ef5d0b, 0x1ff74220593b53, 0x1ff7414336a271, 0x1ff74061821644,
0x1ff73f7b36053a, 0x1ff73e904cc80b, 0x1ff73da0c0a176, 0x1ff73cac8bbdfd,
0x1ff73bb3a833a2, 0x1ff73ab61001a0, 0x1ff739b3bd101f, 0x1ff738aca92ff1,
0x1ff737a0ce1a45, 0x1ff73690257059, 0x1ff7357aa8bb30, 0x1ff73460516b42,
0x1ff7334118d82c, 0x1ff7321cf8405e, 0x1ff730f3e8c8c9, 0x1ff72fc5e37c89,
0x1ff72e92e14c8d, 0x1ff72d5adb0f45, 0x1ff72c1dc98042, 0x1ff72adba53fde,
0x1ff7299466d2df, 0x1ff7284806a216, 0x1ff726f67cfa02, 0x1ff7259fc20a6a,
0x1ff72443cde5fc, 0x1ff722e29881e5, 0x1ff7217c19b568, 0x1ff72010493976,
0x1ff71e9f1ea842, 0x1ff71d28917cd1, 0x1ff71bac99128b, 0x1ff71a2b2ca4c8,
0x1ff718a4434e5a, 0x1ff71717d4091b, 0x1ff71585d5ad6d, 0x1ff713ee3ef1c5,
0x1ff71251066a27, 0x1ff710ae2287ab, 0x1ff70f058997f4, 0x1ff70d5731c4b2,
0x1ff70ba3111313, 0x1ff709e91d633c, 0x1ff708294c6fbc, 0x1ff7066393ccf7,
0x1ff70497e8e898, 0x1ff702c64108f9, 0x1ff700ee914c89, 0x1ff6ff10cea92f,
0x1ff6fd2cedebb0, 0x1ff6fb42e3b704, 0x1ff6f952a483b7, 0x1ff6f75c249f3f,
0x1ff6f55f582b4b, 0x1ff6f35c331d18, 0x1ff6f152a93cba, 0x1ff6ef42ae2467,
0x1ff6ed2c353fb9, 0x1ff6eb0f31caf1, 0x1ff6e8eb96d235, 0x1ff6e6c15730c8,
0x1ff6e49065903c, 0x1ff6e258b467a8, 0x1ff6e01a35fad1, 0x1ff6ddd4dc5952,
0x1ff6db88995dc0, 0x1ff6d9355eaccb, 0x1ff6d6db1db452, 0x1ff6d479c7aa7f,
0x1ff6d2114d8cd3, 0x1ff6cfa1a01f30, 0x1ff6cd2aafeae3, 0x1ff6caac6d3da1,
0x1ff6c826c82883, 0x1ff6c599b07efa, 0x1ff6c30515d5c0, 0x1ff6c068e781c1,
0x1ff6bdc51496fd, 0x1ff6bb198be767, 0x1ff6b8663c01bb, 0x1ff6b5ab13304e,
0x1ff6b2e7ff77d6, 0x1ff6b01cee962f, 0x1ff6ad49ce0117, 0x1ff6aa6e8ae4dd,
0x1ff6a78b122313, 0x1ff6a49f505133, 0x1ff6a1ab31b737, 0x1ff69eaea24e32,
0x1ff69ba98dbee0, 0x1ff6989bdf6021, 0x1ff6958582357e, 0x1ff6926660ed97,
0x1ff68f3e65e08c, 0x1ff68c0d7b0e62, 0x1ff688d38a1d50, 0x1ff685907c5815,
0x1ff682443aac35, 0x1ff67eeeada832, 0x1ff67b8fbd79b6, 0x1ff6782751ebb9,
0x1ff674b5526495, 0x1ff67139a5e411, 0x1ff66db433015c, 0x1ff66a24dfe905,
0x1ff6668b925adc, 0x1ff662e82fa7cb, 0x1ff65f3a9cafa1, 0x1ff65b82bdded0,
0x1ff657c0772c16, 0x1ff653f3ac1625, 0x1ff6501c3fa12b, 0x1ff64c3a14545c,
0x1ff6484d0c375a, 0x1ff6445508cf9b, 0x1ff64051eb1db8, 0x1ff63c43939aaa,
0x1ff63829e234f5, 0x1ff63404b64dc3, 0x1ff62fd3eeb5ec, 0x1ff62b9769aae5,
0x1ff6274f04d3a0, 0x1ff622fa9d3d57, 0x1ff61e9a0f583d, 0x1ff61a2d36f41f,
0x1ff615b3ef3ce8, 0x1ff6112e12b713, 0x1ff60c9b7b3c00, 0x1ff607fc01f632,
0x1ff6034f7f5d75, 0x1ff5fe95cb32e3, 0x1ff5f9cebc7cd8, 0x1ff5f4fa2982be,
0x1ff5f017e7c8c3, 0x1ff5eb27cc0b70, 0x1ff5e629aa3b1b, 0x1ff5e11d557743,
0x1ff5dc02a009c3, 0x1ff5d6d95b61e0, 0x1ff5d1a1580f3e, 0x1ff5cc5a65bca7,
0x1ff5c704532aaf, 0x1ff5c19eee2a33, 0x1ff5bc2a0396a9, 0x1ff5b6a55f5050,
0x1ff5b110cc362c, 0x1ff5ab6c141fd7, 0x1ff5a5b6ffd727, 0x1ff59ff15711a2,
0x1ff59a1ae069be, 0x1ff594336157f4, 0x1ff58e3a9e2b92, 0x1ff588305a0368,
0x1ff5821456c627, 0x1ff57be6551a9a, 0x1ff575a6145f8d, 0x1ff56f5352a388,
0x1ff568edcc9c3a, 0x1ff562753d9da7, 0x1ff55be95f910f, 0x1ff55549eaeb8b,
0x1ff54e9696a459, 0x1ff547cf182ae8, 0x1ff540f3235c80, 0x1ff53a026a79a3,
0x1ff532fc9e1b10, 0x1ff52be16d266d, 0x1ff524b084c292, 0x1ff51d69904b6f,
0x1ff5160c394592, 0x1ff50e9827513e, 0x1ff5070d001d15, 0x1ff4ff6a67584e,
0x1ff4f7affea47a, 0x1ff4efdd6586c6, 0x1ff4e7f23958bf, 0x1ff4dfee153892,
0x1ff4d7d091f8be, 0x1ff4cf99460f37, 0x1ff4c747c583f1, 0x1ff4bedba1dece,
0x1ff4b6546a14e7, 0x1ff4adb1aa7531, 0x1ff4a4f2ec9465, 0x1ff49c17b73838,
0x1ff4931f8e41d1, 0x1ff48a09f29772, 0x1ff480d6620d53, 0x1ff47784574d9d,
0x1ff46e1349bf86, 0x1ff46482ad6d7c, 0x1ff45ad1f2ea57, 0x1ff45100873586,
0x1ff4470dd39e2d, 0x1ff43cf93da529, 0x1ff432c226dde4, 0x1ff42867eccdff,
0x1ff41de9e8cbaa, 0x1ff413476fdaaf, 0x1ff4087fd2881c, 0x1ff3fd925cc472,
0x1ff3f27e55bc50, 0x1ff3e742ffaf8e, 0x1ff3dbdf97c69c, 0x1ff3d05355e633,
0x1ff3c49d6c811e, 0x1ff3b8bd086824, 0x1ff3acb15097e4, 0x1ff3a079660494,
0x1ff39414636388, 0x1ff387815cf25c, 0x1ff37abf603bae, 0x1ff36dcd73d93f,
0x1ff360aa97335f, 0x1ff35355c23d7b, 0x1ff345cde52fa6, 0x1ff33811e83cff,
0x1ff32a20ab46b7, 0x1ff31bf9058b9d, 0x1ff30d99c553f1, 0x1ff2ff01af994e,
0x1ff2f02f7faa77, 0x1ff2e121e6cacd, 0x1ff2d1d78bcd30, 0x1ff2c24f0aa9fc,
0x1ff2b286f40ff7, 0x1ff2a27dccefc9, 0x1ff292320e01bd, 0x1ff281a2234579,
0x1ff270cc6b7b45, 0x1ff25faf379689, 0x1ff24e48ca291a, 0x1ff23c9756c6e6,
0x1ff22a99016188, 0x1ff2184bdd9b42, 0x1ff205adee10dd, 0x1ff1f2bd2399d8,
0x1ff1df775c7e47, 0x1ff1cbda63a1c6, 0x1ff1b7e3efa2bd, 0x1ff1a391a1ed42,
0x1ff18ee105c0be, 0x1ff179cf8f277f, 0x1ff1645a99df44, 0x1ff14e7f6831b7,
0x1ff1383b21bbd2, 0x1ff1218ad222e8, 0x1ff10a6b67b62c, 0x1ff0f2d9b1fb37,
0x1ff0dad260242a, 0x1ff0c251ff6dc6, 0x1ff0a954f963be, 0x1ff08fd792096b,
0x1ff075d5e5e4c3, 0x1ff05b4be7e977, 0x1ff040355f41b4, 0x1ff0248de4f201,
0x1ff00850e1554c, 0x1fefeb79896e21, 0x1fefce02dc0989, 0x1fefafe79eb009,
0x1fef91225a608c, 0x1fef71ad5810eb, 0x1fef51829cef30, 0x1fef309be65e4d,
0x1fef0ef2a5a86b, 0x1feeec7ffb607f, 0x1feec93cb26c08, 0x1feea5213aad4d,
0x1fee8025a34587, 0x1fee5a4194658e, 0x1fee336c48a2ab, 0x1fee0b9c85c3fe,
0x1fede2c894fbb8, 0x1fedb8e63a7e12, 0x1fed8deaac662b, 0x1fed61ca88d768,
0x1fed3479cb47be, 0x1fed05ebc0dd34, 0x1fecd612fbc640, 0x1feca4e14571c2,
0x1fec72478f8813, 0x1fec3e35e382d9, 0x1fec089b50bcfa, 0x1febd165d8cf35,
0x1feb98825a0821, 0x1feb5ddc77c7ff, 0x1feb215e808137, 0x1feae2f15115db,
0x1feaa27c354088, 0x1fea5fe4c4ab79, 0x1fea1b0ebc4b44, 0x1fe9d3dbd38321,
0x1fe98a2b8c864e, 0x1fe93ddaff54db, 0x1fe8eec49e9910, 0x1fe89cbff58d03,
0x1fe847a15ded0d, 0x1fe7ef39acd24e, 0x1fe79355d51f26, 0x1fe733be7dec95,
0x1fe6d0378b20ea, 0x1fe6687f96032e, 0x1fe5fc4f53381e, 0x1fe58b58e31928,
0x1fe5154708be3a, 0x1fe499bc4359d8, 0x1fe41851c4a2c7, 0x1fe390963decfc,
0x1fe3020c7c359c, 0x1fe26c29c9b0d3, 0x1fe1ce54094389, 0x1fe127df7d9d7d,
0x1fe0780c2a3655, 0x1fdfbe02b80705, 0x1fdef8d0c228c6, 0x1fde2764671edb,
0x1fdd4886f1e212, 0x1fdc5ad660fb45, 0x1fdb5cbd80ed3b, 0x1fda4c6a383af4,
0x1fd927c1841e8c, 0x1fd7ec507a1247, 0x1fd697396681f0, 0x1fd5251bcca40f,
0x1fd391f592d6f4, 0x1fd1d8faf7a490, 0x1fcff461e8ca45, 0x1fcddd1bd07028,
0x1fcb8a769788b3, 0x1fc8f199f36e14, 0x1fc604d032640d, 0x1fc2b28000dbca,
0x1fbee3ac0cc16a, 0x1fba79b024d12d, 0x1fb54abd9de691, 0x1faf1c31164e6c,
0x1fa79908ab5576, 0x1f9e40f74adba6, 0x1f92485b7f7ce4, 0x1f82566f32613d,
0x1f6beeb86a3986, 0x1f49e14c562fc1, 0x1f0f1b3f87a334, 0x1e8d218970e9f8,
}
var normalW = [1024]float64{
4.74447736997673454e-16, 1.49950672584574354e-17, 1.98925244441675334e-17, 2.32931734656154252e-17,
2.59805409399221482e-17, 2.82390849337205807e-17, 3.02072404382168115e-17, 3.19637756999175384e-17,
3.35581847741996873e-17, 3.50237918907125268e-17, 3.63842088069319060e-17, 3.76568359621902072e-17,
3.88549029674455544e-17, 3.99887271404885479e-17, 4.10665260620887388e-17, 4.20949623559874980e-17,
4.30795206891502077e-17, 4.40247757990233704e-17, 4.49345875327002910e-17, 4.58122456815039448e-17,
4.66605794695609696e-17, 4.74820416413924252e-17, 4.82787739593837055e-17, 4.90526588719055837e-17,
4.98053607414183723e-17, 5.05383590857482273e-17, 5.12529756349615950e-17, 5.19503965463335850e-17,
5.26316907899034361e-17, 5.32978254770334355e-17, 5.39496787274974680e-17, 5.45880505387522068e-17,
5.52136720216588931e-17, 5.58272132912632662e-17, 5.64292902430992755e-17, 5.70204704004093791e-17,
5.76012779824455802e-17, 5.81721983162684134e-17, 5.87336816924484999e-17, 5.92861467474938743e-17,
5.98299834416924934e-17, 6.03655556896294455e-17, 6.08932036913414661e-17, 6.14132460044681435e-17,
6.19259813915100218e-17, 6.24316904711406697e-17, 6.29306371982363009e-17, 6.34230701937148089e-17,
6.39092239422872284e-17, 6.43893198737117100e-17, 6.48635673410207942e-17, 6.53321645073973591e-17,
6.57952991518495417e-17, 6.62531494025336163e-17, 6.67058844054618932e-17, 6.71536649353770298e-17,
6.75966439547528951e-17, 6.80349671261725714e-17, 6.84687732827198133e-17, 6.88981948604878165e-17,
6.93233582968452103e-17, 6.97443843976946282e-17, 7.01613886766060445e-17, 7.05744816683965032e-17,
7.09837692194563100e-17, 7.13893527568816509e-17, 7.17913295382624915e-17, 7.21897928837879015e-17,
7.25848323921652097e-17, 7.29765341417029167e-17, 7.33649808777767593e-17, 7.37502521877819875e-17,
7.41324246645715269e-17, 7.45115720592869447e-17, 7.48877654244062334e-17, 7.52610732477584599e-17,
7.56315615781880504e-17, 7.59992941434922814e-17, 7.63643324612008193e-17, 7.67267359427181052e-17,
7.70865619913048833e-17, 7.74438660943359153e-17, 7.77987019102345971e-17, 7.81511213504527397e-17,
7.85011746568341703e-17, 7.88489104746738531e-17, 7.91943759217598825e-17, 7.95376166536632234e-17,
7.98786769255199909e-17, 8.02175996505322284e-17, 8.05544264553965537e-17, 8.08891977328541654e-17,
8.12219526915416622e-17, 8.15527294033093489e-17, 8.18815648481611505e-17, 8.22084949569601272e-17,
8.25335546520325750e-17, 8.28567778857952906e-17, 8.31781976775214191e-17, 8.34978461483526289e-17,
8.38157545546582758e-17, 8.41319533198352248e-17, 8.44464720646359403e-17, 8.47593396361067142e-17,
8.50705841352126876e-17, 8.53802329432211436e-17, 8.56883127469103091e-17, 8.59948495626664423e-17,
8.62998687595283339e-17, 8.66033950812341692e-17, 8.69054526673231507e-17, 8.72060650733402476e-17,
8.75052552901901087e-17, 8.78030457626832078e-17, 8.80994584073148199e-17, 8.83945146293149688e-17,
8.86882353390052602e-17, 8.89806409674966714e-17, 8.92717514817601226e-17, 8.95615863991000534e-17,
8.98501648010593776e-17, 9.01375053467829477e-17, 9.04236262858645734e-17, 9.07085454707019519e-17,
9.09922803683819417e-17, 9.12748480721179123e-17, 9.15562653122592837e-17, 9.18365484668927203e-17,
9.21157135720530599e-17, 9.23937763315613461e-17, 9.26707521265065175e-17, 9.29466560243859386e-17,
9.32215027879200085e-17, 9.34953068835544793e-17, 9.37680824896640050e-17, 9.40398435044695816e-17,
9.43106035536817829e-17, 9.45803759978813803e-17, 9.48491739396480449e-17, 9.51170102304477559e-17,
9.53838974772884575e-17, 9.56498480491536385e-17, 9.59148740832225374e-17, 9.61789874908857124e-17,
9.64421999635639259e-17, 9.67045229783381953e-17, 9.69659678033983937e-17, 9.72265455033173770e-17,
9.74862669441574773e-17, 9.77451427984157614e-17, 9.80031835498141046e-17, 9.82603994979400724e-17,
9.85168007627442285e-17, 9.87723972888990225e-17, 9.90271988500247306e-17, 9.92812150527869959e-17,
9.95344553408709128e-17, 9.97869289988361404e-17, 1.00038645155857078e-16, 1.00289612789352646e-16,
1.00539840728509293e-16, 1.00789337657701088e-16, 1.01038112119810637e-16, 1.01286172519454187e-16,
1.01533527126114272e-16, 1.01780184077183157e-16, 1.02026151380920064e-16, 1.02271436919325215e-16,
1.02516048450933459e-16, 1.02759993613530225e-16, 1.03003279926792351e-16, 1.03245914794856472e-16,
1.03487905508817134e-16, 1.03729259249157121e-16, 1.03969983088112181e-16, 1.04210083991972242e-16,
1.04449568823321212e-16, 1.04688444343217438e-16, 1.04926717213316494e-16, 1.05164393997938393e-16,
1.05401481166080830e-16, 1.05637985093380197e-16, 1.05873912064022036e-16, 1.06109268272602417e-16,
1.06344059825941985e-16, 1.06578292744853757e-16, 1.06811972965866535e-16, 1.07045106342904891e-16,
1.07277698648927354e-16, 1.07509755577523864e-16, 1.07741282744473731e-16, 1.07972285689265456e-16,
1.08202769876579329e-16, 1.08432740697733980e-16, 1.08662203472098044e-16, 1.08891163448467797e-16,
1.09119625806411894e-16, 1.09347595657584053e-16, 1.09575078047004702e-16, 1.09802077954312416e-16,
1.10028600294985997e-16, 1.10254649921538112e-16, 1.10480231624681227e-16, 1.10705350134466619e-16,
1.10930010121397184e-16, 1.11154216197514961e-16, 1.11377972917463705e-16, 1.11601284779527719e-16,
1.11824156226646909e-16, 1.12046591647409526e-16, 1.12268595377022417e-16, 1.12490171698260027e-16,
1.12711324842392217e-16, 1.12932058990091879e-16, 1.13152378272322600e-16, 1.13372286771207094e-16,
1.13591788520876717e-16, 1.13810887508302768e-16, 1.14029587674109985e-16, 1.14247892913372475e-16,
1.14465807076393063e-16, 1.14683333969465801e-16, 1.14900477355622693e-16, 1.15117240955364632e-16,
1.15333628447377160e-16, 1.15549643469231402e-16, 1.15765289618070321e-16, 1.15980570451281153e-16,
1.16195489487153828e-16, 1.16410050205526140e-16, 1.16624256048415675e-16, 1.16838110420639135e-16,
1.17051616690419100e-16, 1.17264778189978654e-16, 1.17477598216124283e-16, 1.17690080030816980e-16,
1.17902226861732367e-16, 1.18114041902809514e-16, 1.18325528314789292e-16, 1.18536689225741999e-16,
1.18747527731584844e-16, 1.18958046896589566e-16, 1.19168249753880024e-16, 1.19378139305920529e-16,
1.19587718524994711e-16, 1.19796990353675279e-16, 1.20005957705285091e-16, 1.20214623464349316e-16,
1.20422990487039293e-16, 1.20631061601607983e-16, 1.20838839608817553e-16, 1.21046327282358784e-16,
1.21253527369262875e-16, 1.21460442590305813e-16, 1.21667075640405169e-16, 1.21873429189009816e-16,
1.22079505880482533e-16, 1.22285308334475695e-16, 1.22490839146300340e-16, 1.22696100887288524e-16,
1.22901096105149173e-16, 1.23105827324317920e-16, 1.23310297046300403e-16, 1.23514507750009754e-16,
1.23718461892098188e-16, 1.23922161907282683e-16, 1.24125610208665206e-16, 1.24328809188047147e-16,
1.24531761216238629e-16, 1.24734468643362243e-16, 1.24936933799151901e-16, 1.25139158993246347e-16,
1.25341146515477847e-16, 1.25542898636156042e-16, 1.25744417606346799e-16, 1.25945705658146865e-16,
1.26146765004953410e-16, 1.26347597841729526e-16, 1.26548206345265193e-16, 1.26748592674433881e-16,
1.26948758970445083e-16, 1.27148707357092735e-16, 1.27348439940999464e-16, 1.27547958811857043e-16,
1.27747266042662928e-16, 1.27946363689952995e-16, 1.28145253794030531e-16, 1.28343938379191752e-16,
1.28542419453947447e-16, 1.28740699011241539e-16, 1.28938779028665833e-16, 1.29136661468671601e-16,
1.29334348278777961e-16, 1.29531841391776789e-16, 1.29729142725934690e-16, 1.29926254185191790e-16,
1.30123177659357399e-16, 1.30319915024302888e-16, 1.30516468142151432e-16, 1.30712838861465124e-16,
1.30909029017429017e-16, 1.31105040432032597e-16, 1.31300874914248551e-16, 1.31496534260208708e-16,
1.31692020253377668e-16, 1.31887334664723511e-16, 1.32082479252886468e-16, 1.32277455764344604e-16,
1.32472265933577584e-16, 1.32666911483227721e-16, 1.32861394124258933e-16, 1.33055715556113282e-16,
1.33249877466865345e-16, 1.33443881533374438e-16, 1.33637729421434525e-16, 1.33831422785922204e-16,
1.34024963270942571e-16, 1.34218352509972918e-16, 1.34411592126004677e-16, 1.34604683731683146e-16,
1.34797628929445493e-16, 1.34990429311656808e-16, 1.35183086460744187e-16, 1.35375601949329231e-16,
1.35567977340358535e-16, 1.35760214187232539e-16, 1.35952314033932682e-16, 1.36144278415146737e-16,
1.36336108856392608e-16, 1.36527806874140459e-16, 1.36719373975933210e-16, 1.36910811660505482e-16,
1.37102121417901019e-16, 1.37293304729588643e-16, 1.37484363068576449e-16, 1.37675297899525000e-16,
1.37866110678858586e-16, 1.38056802854875466e-16, 1.38247375867856532e-16, 1.38437831150172545e-16,
1.38628170126390264e-16, 1.38818394213377092e-16, 1.39008504820404364e-16, 1.39198503349249610e-16,
1.39388391194297375e-16, 1.39578169742638765e-16, 1.39767840374170084e-16, 1.39957404461689955e-16,
1.40146863370995443e-16, 1.40336218460977037e-16, 1.40525471083712499e-16, 1.40714622584559582e-16,
1.40903674302247659e-16, 1.41092627568968296e-16, 1.41281483710464933e-16, 1.41470244046121191e-16,
1.41658909889048506e-16, 1.41847482546172657e-16, 1.42035963318319189e-16, 1.42224353500298137e-16,
1.42412654380987524e-16, 1.42600867243416144e-16, 1.42788993364845401e-16, 1.42977034016850123e-16,
1.43164990465398655e-16, 1.43352863970932038e-16, 1.43540655788442258e-16, 1.43728367167549800e-16,
1.43915999352580287e-16, 1.44103553582640315e-16, 1.44291031091692587e-16, 1.44478433108630120e-16,
1.44665760857349899e-16, 1.44853015556825483e-16, 1.45040198421179183e-16, 1.45227310659753352e-16,
1.45414353477180922e-16, 1.45601328073455406e-16, 1.45788235643999982e-16, 1.45975077379736164e-16,
1.46161854467151629e-16, 1.46348568088367408e-16, 1.46535219421204479e-16, 1.46721809639249732e-16,
1.46908339911921321e-16, 1.47094811404533351e-16, 1.47281225278359998e-16, 1.47467582690699136e-16,
1.47653884794935197e-16, 1.47840132740601544e-16, 1.48026327673442515e-16, 1.48212470735474443e-16,
1.48398563065046663e-16, 1.48584605796901542e-16, 1.48770600062234361e-16, 1.48956546988752401e-16,
1.49142447700733740e-16, 1.49328303319085359e-16, 1.49514114961401023e-16, 1.49699883742018446e-16,
1.49885610772076122e-16, 1.50071297159569644e-16, 1.50256944009407648e-16, 1.50442552423467298e-16,
1.50628123500649215e-16, 1.50813658336932202e-16, 1.50999158025427356e-16, 1.51184623656431905e-16,
1.51370056317482610e-16, 1.51555457093408735e-16, 1.51740827066384657e-16, 1.51926167315982156e-16,
1.52111478919222251e-16, 1.52296762950626730e-16, 1.52482020482269297e-16, 1.52667252583826406e-16,
1.52852460322627702e-16, 1.53037644763706229e-16, 1.53222806969848164e-16, 1.53407948001642307e-16,
1.53593068917529416e-16, 1.53778170773850820e-16, 1.53963254624897277e-16, 1.54148321522957072e-16,
1.54333372518364035e-16, 1.54518408659545323e-16, 1.54703430993068819e-16, 1.54888440563690345e-16,
1.55073438414400447e-16, 1.55258425586471264e-16, 1.55443403119502720e-16, 1.55628372051468800e-16,
1.55813333418763447e-16, 1.55998288256246273e-16, 1.56183237597287937e-16, 1.56368182473815509e-16,
1.56553123916357383e-16, 1.56738062954088145e-16, 1.56923000614873167e-16, 1.57107937925313055e-16,
1.57292875910787753e-16, 1.57477815595500715e-16, 1.57662758002522667e-16, 1.57847704153835213e-16,
1.58032655070374495e-16, 1.58217611772074282e-16, 1.58402575277909386e-16, 1.58587546605938480e-16,
1.58772526773346968e-16, 1.58957516796489804e-16, 1.59142517690933871e-16, 1.59327530471500604e-16,
1.59512556152308068e-16, 1.59697595746813264e-16, 1.59882650267854158e-16, 1.60067720727691494e-16,
1.60252808138050671e-16, 1.60437913510163487e-16, 1.60623037854809549e-16, 1.60808182182358008e-16,
1.60993347502808732e-16, 1.61178534825833717e-16, 1.61363745160818308e-16, 1.61548979516902315e-16,
1.61734238903021013e-16, 1.61919524327946235e-16, 1.62104836800327194e-16, 1.62290177328731408e-16,
1.62475546921685447e-16, 1.62660946587715659e-16, 1.62846377335388972e-16, 1.63031840173353340e-16,
1.63217336110378526e-16, 1.63402866155396600e-16, 1.63588431317542441e-16, 1.63774032606194296e-16,
1.63959671031014176e-16, 1.64145347601988414e-16, 1.64331063329468093e-16, 1.64516819224209351e-16,
1.64702616297413983e-16, 1.64888455560769796e-16, 1.65074338026490941e-16, 1.65260264707358512e-16,
1.65446236616760854e-16, 1.65632254768734066e-16, 1.65818320178002477e-16, 1.66004433860019153e-16,
1.66190596831006396e-16, 1.66376810107996302e-16, 1.66563074708871354e-16, 1.66749391652405106e-16,
1.66935761958302707e-16, 1.67122186647241872e-16, 1.67308666740913411e-16, 1.67495203262062202e-16,
1.67681797234528034e-16, 1.67868449683286657e-16, 1.68055161634490654e-16, 1.68241934115510684e-16,
1.68428768154976623e-16, 1.68615664782818811e-16, 1.68802625030309414e-16, 1.68989649930103916e-16,
1.69176740516282557e-16, 1.69363897824392121e-16, 1.69551122891487517e-16, 1.69738416756173820e-16,
1.69925780458648072e-16, 1.70113215040741441e-16, 1.70300721545961501e-16, 1.70488301019534381e-16,
1.70675954508447491e-16, 1.70863683061491848e-16, 1.71051487729305094e-16, 1.71239369564414194e-16,
1.71427329621278499e-16, 1.71615368956333015e-16, 1.71803488628031764e-16, 1.71991689696891194e-16,
1.72179973225533961e-16, 1.72368340278732717e-16, 1.72556791923454226e-16, 1.72745329228903502e-16,
1.72933953266568298e-16, 1.73122665110263629e-16, 1.73311465836176617e-16, 1.73500356522911404e-16,
1.73689338251534511e-16, 1.73878412105620125e-16, 1.74067579171295755e-16, 1.74256840537288131e-16,
1.74446197294969232e-16, 1.74635650538402629e-16, 1.74825201364390081e-16, 1.75014850872518221e-16,
1.75204600165205693e-16, 1.75394450347750386e-16, 1.75584402528377059e-16, 1.75774457818285092e-16,
1.75964617331696586e-16, 1.76154882185904747e-16, 1.76345253501322533e-16, 1.76535732401531556e-16,
1.76726320013331317e-16, 1.76917017466788702e-16, 1.77107825895287836e-16, 1.77298746435580239e-16,
1.77489780227835149e-16, 1.77680928415690476e-16, 1.77872192146303730e-16, 1.78063572570403470e-16,
1.78255070842341199e-16, 1.78446688120143329e-16, 1.78638425565563711e-16, 1.78830284344136445e-16,
1.79022265625229025e-16, 1.79214370582096009e-16, 1.79406600391932782e-16, 1.79598956235930015e-16,
1.79791439299328341e-16, 1.79984050771473379e-16, 1.80176791845871372e-16, 1.80369663720244977e-16,
1.80562667596589690e-16, 1.80755804681230620e-16, 1.80949076184879612e-16, 1.81142483322692948e-16,
1.81336027314329363e-16, 1.81529709384008685e-16, 1.81723530760570754e-16, 1.81917492677534886e-16,
1.82111596373159921e-16, 1.82305843090504525e-16, 1.82500234077488199e-16, 1.82694770586952716e-16,
1.82889453876723996e-16, 1.83084285209674620e-16, 1.83279265853786772e-16, 1.83474397082215812e-16,
1.83669680173354273e-16, 1.83865116410896499e-16, 1.84060707083903826e-16, 1.84256453486870350e-16,
1.84452356919789194e-16, 1.84648418688219438e-16, 1.84844640103353661e-16, 1.85041022482086013e-16,
1.85237567147080959e-16, 1.85434275426842659e-16, 1.85631148655784948e-16, 1.85828188174301943e-16,
1.86025395328839383e-16, 1.86222771471966616e-16, 1.86420317962449118e-16, 1.86618036165322016e-16,
1.86815927451963908e-16, 1.87013993200171716e-16, 1.87212234794236140e-16, 1.87410653625017811e-16,
1.87609251090024227e-16, 1.87808028593487431e-16, 1.88006987546442507e-16, 1.88206129366806730e-16,
1.88405455479459693e-16, 1.88604967316324034e-16, 1.88804666316447089e-16, 1.89004553926083401e-16,
1.89204631598778014e-16, 1.89404900795450567e-16, 1.89605362984480414e-16, 1.89806019641792510e-16,
1.90006872250944115e-16, 1.90207922303212699e-16, 1.90409171297684347e-16, 1.90610620741343491e-16,
1.90812272149163355e-16, 1.91014127044197493e-16, 1.91216186957672204e-16, 1.91418453429080014e-16,
1.91620928006274167e-16, 1.91823612245564126e-16, 1.92026507711812086e-16, 1.92229615978530618e-16,
1.92432938627981378e-16, 1.92636477251274823e-16, 1.92840233448471084e-16, 1.93044208828682129e-16,
1.93248405010174753e-16, 1.93452823620475007e-16, 1.93657466296473707e-16, 1.93862334684533052e-16,
1.94067430440594702e-16, 1.94272755230288857e-16, 1.94478310729044679e-16, 1.94684098622202085e-16,
1.94890120605124601e-16, 1.95096378383313925e-16, 1.95302873672525343e-16, 1.95509608198885001e-16,
1.95716583699008082e-16, 1.95923801920118843e-16, 1.96131264620171745e-16, 1.96338973567974205e-16,
1.96546930543310761e-16, 1.96755137337068747e-16, 1.96963595751365526e-16, 1.97172307599677147e-16,
1.97381274706968798e-16, 1.97590498909826627e-16, 1.97799982056591400e-16, 1.98009726007493495e-16,
1.98219732634790018e-16, 1.98430003822903198e-16, 1.98640541468560777e-16, 1.98851347480938084e-16,
1.99062423781801849e-16, 1.99273772305655999e-16, 1.99485394999888997e-16, 1.99697293824923460e-16,
1.99909470754367371e-16, 2.00121927775167314e-16, 2.00334666887763859e-16, 2.00547690106248615e-16,
2.00760999458523754e-16, 2.00974596986463113e-16, 2.01188484746075952e-16, 2.01402664807672376e-16,
2.01617139256031204e-16, 2.01831910190570004e-16, 2.02046979725517451e-16, 2.02262349990087744e-16,
2.02478023128657676e-16, 2.02694001300945836e-16, 2.02910286682194359e-16, 2.03126881463353032e-16,
2.03343787851266055e-16, 2.03561008068861073e-16, 2.03778544355341163e-16, 2.03996398966379117e-16,
2.04214574174314534e-16, 2.04433072268353697e-16, 2.04651895554772137e-16, 2.04871046357119987e-16,
2.05090527016430335e-16, 2.05310339891430272e-16, 2.05530487358755239e-16, 2.05750971813166063e-16,
2.05971795667769198e-16, 2.06192961354240216e-16, 2.06414471323050314e-16, 2.06636328043696062e-16,
2.06858534004932669e-16, 2.07081091715010262e-16, 2.07304003701913928e-16, 2.07527272513607002e-16,
2.07750900718278004e-16, 2.07974890904591225e-16, 2.08199245681940768e-16, 2.08423967680708700e-16,
2.08649059552526584e-16, 2.08874523970541329e-16, 2.09100363629684556e-16, 2.09326581246946409e-16,
2.09553179561653111e-16, 2.09780161335748933e-16, 2.10007529354082279e-16, 2.10235286424696207e-16,
2.10463435379123218e-16, 2.10691979072684753e-16, 2.10920920384795075e-16, 2.11150262219269886e-16,
2.11380007504639803e-16, 2.11610159194468464e-16, 2.11840720267675765e-16, 2.12071693728866099e-16,
2.12303082608661626e-16, 2.12534889964040817e-16, 2.12767118878682447e-16, 2.12999772463314863e-16,
2.13232853856070774e-16, 2.13466366222847959e-16, 2.13700312757675320e-16, 2.13934696683085155e-16,
2.14169521250491287e-16, 2.14404789740573224e-16, 2.14640505463666660e-16, 2.14876671760160278e-16,
2.15113292000899053e-16, 2.15350369587594066e-16, 2.15587907953239220e-16, 2.15825910562534686e-16,
2.16064380912317420e-16, 2.16303322531998814e-16, 2.16542738984009734e-16, 2.16782633864252784e-16,
2.17023010802562531e-16, 2.17263873463173056e-16, 2.17505225545193831e-16, 2.17747070783093344e-16,
2.17989412947191270e-16, 2.18232255844158759e-16, 2.18475603317527623e-16, 2.18719459248207995e-16,
2.18963827555015296e-16, 2.19208712195205965e-16, 2.19454117165022956e-16, 2.19700046500250362e-16,
2.19946504276778083e-16, 2.20193494611176348e-16, 2.20441021661280425e-16, 2.20689089626785699e-16,
2.20937702749853317e-16, 2.21186865315726858e-16, 2.21436581653359894e-16, 2.21686856136054942e-16,
2.21937693182114032e-16, 2.22189097255501124e-16, 2.22441072866516438e-16, 2.22693624572483403e-16,
2.22946756978448060e-16, 2.23200474737891420e-16, 2.23454782553455078e-16, 2.23709685177680317e-16,
2.23965187413761033e-16, 2.24221294116310704e-16, 2.24478010192143950e-16, 2.24735340601072695e-16,
2.24993290356717806e-16, 2.25251864527335669e-16, 2.25511068236660988e-16, 2.25770906664765761e-16,
2.26031385048934614e-16, 2.26292508684557299e-16, 2.26554282926038454e-16, 2.26816713187725245e-16,
2.27079804944853071e-16, 2.27343563734509889e-16, 2.27607995156619834e-16, 2.27873104874946097e-16,
2.28138898618114040e-16, 2.28405382180654552e-16, 2.28672561424068725e-16, 2.28940442277913664e-16,
2.29209030740910595e-16, 2.29478332882075400e-16, 2.29748354841872325e-16, 2.30019102833391553e-16,
2.30290583143550690e-16, 2.30562802134321389e-16, 2.30835766243981675e-16, 2.31109481988394137e-16,
2.31383955962310960e-16, 2.31659194840706844e-16, 2.31935205380139600e-16, 2.32211994420140264e-16,
2.32489568884632461e-16, 2.32767935783382326e-16, 2.33047102213479990e-16, 2.33327075360852757e-16,
2.33607862501811426e-16, 2.33889471004630226e-16, 2.34171908331161568e-16, 2.34455182038486539e-16,
2.34739299780601484e-16, 2.35024269310142658e-16, 2.35310098480149078e-16, 2.35596795245865223e-16,
2.35884367666584153e-16, 2.36172823907532549e-16, 2.36462172241798779e-16, 2.36752421052304909e-16,
2.37043578833824211e-16, 2.37335654195045218e-16, 2.37628655860683558e-16, 2.37922592673643427e-16,
2.38217473597229409e-16, 2.38513307717410312e-16, 2.38810104245136988e-16, 2.39107872518714978e-16,
2.39406622006233812e-16, 2.39706362308055024e-16, 2.40007103159359781e-16, 2.40308854432758683e-16,
2.40611626140965008e-16, 2.40915428439533449e-16, 2.41220271629666530e-16, 2.41526166161090201e-16,
2.41833122635001274e-16, 2.42141151807088262e-16, 2.42450264590628499e-16, 2.42760472059663353e-16,
2.43071785452253955e-16, 2.43384216173820543e-16, 2.43697775800567012e-16, 2.44012476082994146e-16,
2.44328328949503883e-16, 2.44645346510097687e-16, 2.44963541060172056e-16, 2.45282925084413619e-16,
2.45603511260798023e-16, 2.45925312464695211e-16, 2.46248341773084802e-16, 2.46572612468884914e-16,
2.46898138045398530e-16, 2.47224932210881050e-16, 2.47553008893232735e-16, 2.47882382244820962e-16,
2.48213066647435849e-16, 2.48545076717383929e-16, 2.48878427310725201e-16, 2.49213133528657057e-16,
2.49549210723051837e-16, 2.49886674502151619e-16, 2.50225540736427036e-16, 2.50565825564604868e-16,
2.50907545399870849e-16, 2.51250716936253727e-16, 2.51595357155197067e-16, 2.51941483332325008e-16,
2.52289113044409985e-16, 2.52638264176548250e-16, 2.52988954929552291e-16, 2.53341203827566889e-16,
2.53695029725917248e-16, 2.54050451819198764e-16, 2.54407489649615630e-16, 2.54766163115579469e-16,
2.55126492480576575e-16, 2.55488498382314161e-16, 2.55852201842156964e-16, 2.56217624274864101e-16,
2.56584787498639260e-16, 2.56953713745505156e-16, 2.57324425672015814e-16, 2.57696946370319564e-16,
2.58071299379586766e-16, 2.58447508697817042e-16, 2.58825598794041129e-16, 2.59205594620933284e-16,
2.59587521627851403e-16, 2.59971405774321563e-16, 2.60357273543986857e-16, 2.60745151959038123e-16,
2.61135068595148270e-16, 2.61527051596930741e-16, 2.61921129693944567e-16, 2.62317332217269715e-16,
2.62715689116676891e-16, 2.63116230978418474e-16, 2.63518989043666858e-16, 2.63923995227629638e-16,
2.64331282139371511e-16, 2.64740883102374362e-16, 2.65152832175869293e-16, 2.65567164176975513e-16,
2.65983914703683452e-16, 2.66403120158720668e-16, 2.66824817774342438e-16, 2.67249045638089843e-16,
2.67675842719561636e-16, 2.68105248898248263e-16, 2.68537304992478964e-16, 2.68972052789536590e-16,
2.69409535076996728e-16, 2.69849795675352128e-16, 2.70292879471985739e-16, 2.70738832456561375e-16,
2.71187701757902172e-16, 2.71639535682434544e-16, 2.72094383754277006e-16, 2.72552296757060603e-16,
2.73013326777570319e-16, 2.73477527251305989e-16, 2.73944953010062883e-16, 2.74415660331643014e-16,
2.74889706991811436e-16, 2.75367152318622187e-16, 2.75848057249244035e-16, 2.76332484389427272e-16,
2.76820498075759143e-16, 2.77312164440868967e-16, 2.77807551481750737e-16, 2.78306729131386911e-16,
2.78809769333864928e-16, 2.79316746123195850e-16, 2.79827735706055869e-16, 2.80342816548688546e-16,
2.80862069468222715e-16, 2.81385577728678776e-16, 2.81913427141956598e-16, 2.82445706174119685e-16,
2.82982506057313632e-16, 2.83523920907682935e-16, 2.84070047849676934e-16, 2.84620987147167709e-16,
2.85176842341833248e-16, 2.85737720399297479e-16, 2.86303731863556198e-16, 2.86874991020261423e-16,
2.87451616069484142e-16, 2.88033729308625231e-16, 2.88621457326201151e-16, 2.89214931207294048e-16,
2.89814286751520329e-16, 2.90419664704450013e-16, 2.91031211003487324e-16, 2.91649077039316802e-16,
2.92273419934115806e-16, 2.92904402837846035e-16, 2.93542195244058016e-16, 2.94186973326777314e-16,
2.94838920300190389e-16, 2.95498226803014513e-16, 2.96165091309621205e-16, 2.96839720570187142e-16,
2.97522330082377811e-16, 2.98213144597323628e-16, 2.98912398662936796e-16, 2.99620337207938216e-16,
3.00337216170323839e-16, 3.01063303174408234e-16, 3.01798878261037434e-16, 3.02544234676082479e-16,
3.03299679722906963e-16, 3.04065535685164049e-16, 3.04842140827029101e-16, 3.05629850478829276e-16,
3.06429038217004164e-16, 3.07240097148445145e-16, 3.08063441310535995e-16, 3.08899507199679313e-16,
3.09748755442777747e-16, 3.10611672628080962e-16, 3.11488773314056120e-16, 3.12380602237545336e-16,
3.13287736745505053e-16, 3.14210789478158786e-16, 3.15150411335531828e-16, 3.16107294764196377e-16,
3.17082177406775642e-16, 3.18075846163520967e-16, 3.19089141723296803e-16, 3.20122963630864177e-16,
3.21178275968770732e-16, 3.22256113745867004e-16, 3.23357590100994689e-16, 3.24483904450408877e-16,
3.25636351731853417e-16, 3.26816332927997937e-16, 3.28025367088565772e-16, 3.29265105115761608e-16,
3.30537345633910606e-16, 3.31844053334676314e-16, 3.33187380277964729e-16, 3.34569690741175435e-16,
3.35993590353275734e-16, 3.37461960435388315e-16, 3.38977998710125106e-16, 3.40545267857112052e-16,
3.42167753809213188e-16, 3.43849936241510247e-16, 3.45596874458802672e-16, 3.47414312918604623e-16,
3.49308812056019781e-16, 3.51287912086532920e-16, 3.53360340332304427e-16, 3.55536276785065996e-16,
3.57827698785524979e-16, 3.60248835015253167e-16, 3.62816773398704201e-16, 3.65552290358827903e-16,
3.68481006182555539e-16, 3.71635034248583084e-16, 3.75055402359963201e-16, 3.78795726991530772e-16,
3.82928012531150890e-16, 3.87552252064390461e-16, 3.92813291480759925e-16, 3.98932778384521284e-16,
4.06276074536607163e-16, 4.15513537416232808e-16, 4.28102293057815158e-16, 4.48402409215454173e-16,
}
var normalF = [1024]float64{
1.00000000000000000e+00, 9.90920388454552659e-01, 9.84076139692321328e-01, 9.78231105909971754e-01,
9.72990668995302288e-01, 9.68169358881174835e-01, 9.63662181667052309e-01, 9.59402691577932454e-01,
9.55345577442565874e-01, 9.51458237481504931e-01, 9.47716246374123439e-01, 9.44100717285557556e-01,
9.40596670809911495e-01, 9.37191976648821257e-01, 9.33876639344691784e-01, 9.30642300170011705e-01,
9.27481880006865822e-01, 9.24389317163929802e-01, 9.21359370895800223e-01, 9.18387471488135487e-01,
9.15469604043015805e-01, 9.12602217108963720e-01, 9.09782149931632533e-01, 9.07006573868361698e-01,
9.04272944721260075e-01, 9.01578963589548921e-01, 8.98922544442798399e-01, 8.96301787050057031e-01,
8.93714954216809576e-01, 8.91160452516485568e-01, 8.88636815879234265e-01, 8.86142691534053673e-01,
8.83676827902465489e-01, 8.81238064120824949e-01, 8.78825320929866649e-01, 8.76437592718426473e-01,
8.74073940546574613e-01, 8.71733486003934854e-01, 8.69415405783498851e-01, 8.67118926871072171e-01,
8.64843322266612646e-01, 8.62587907166904810e-01, 8.60352035549855843e-01, 8.58135097109657741e-01,
8.55936514499494705e-01, 8.53755740844685751e-01, 8.51592257494346083e-01, 8.49445571984029368e-01,
8.47315216185504871e-01, 8.45200744622958799e-01, 8.43101732937572401e-01, 8.41017776484710100e-01,
8.38948489049897606e-01, 8.36893501671449380e-01, 8.34852461559049686e-01, 8.32825031098840651e-01,
8.30810886936657389e-01, 8.28809719131987754e-01, 8.26821230376063032e-01, 8.24845135268196361e-01,
8.22881159645122096e-01, 8.20929039958635198e-01, 8.18988522697322141e-01, 8.17059363848598785e-01,
8.15141328397653298e-01, 8.13234189860225887e-01, 8.11337729846456579e-01, 8.09451737653296699e-01,
8.07576009883215873e-01, 8.05710350087146532e-01, 8.03854568429798744e-01, 8.02008481375642179e-01,
8.00171911394008784e-01, 7.98344686681902060e-01, 7.96526640903221672e-01, 7.94717612943223628e-01,
7.92917446677135151e-01, 7.91125990751931574e-01, 7.89343098380367647e-01, 7.87568627146425171e-01,
7.85802438821409321e-01, 7.84044399189983920e-01, 7.82294377885492942e-01, 7.80552248233966739e-01,
7.78817887106253326e-01, 7.77091174777763016e-01, 7.75371994795346575e-01, 7.73660233850868018e-01,
7.71955781661060270e-01, 7.70258530853285106e-01, 7.68568376856843427e-01, 7.66885217799508023e-01,
7.65208954408972408e-01, 7.63539489918932612e-01, 7.61876729979535705e-01, 7.60220582571948023e-01,
7.58570957926812284e-01, 7.56927768446377658e-01, 7.55290928630101610e-01, 7.53660355003534566e-01,
7.52035966050311422e-01, 7.50417682147083043e-01, 7.48805425501234856e-01, 7.47199120091244895e-01,
7.45598691609547282e-01, 7.44004067407769920e-01, 7.42415176444228830e-01, 7.40831949233563880e-01,
7.39254317798410443e-01, 7.37682215623005622e-01, 7.36115577608635774e-01, 7.34554340030834862e-01,
7.32998440498250803e-01, 7.31447817913099985e-01, 7.29902412433134584e-01, 7.28362165435053277e-01,
7.26827019479287850e-01, 7.25296918276101654e-01, 7.23771806652941940e-01, 7.22251630522988797e-01,
7.20736336854845838e-01, 7.19225873643324132e-01, 7.17720189881270398e-01, 7.16219235532392307e-01,
7.14722961505041332e-01, 7.13231319626907778e-01, 7.11744262620592538e-01, 7.10261744080016855e-01,
7.08783718447634881e-01, 7.07310140992416736e-01, 7.05840967788569307e-01, 7.04376155694964479e-01,
7.02915662335246938e-01, 7.01459446078593341e-01, 7.00007466021097091e-01, 6.98559681967754087e-01,
6.97116054415024444e-01, 6.95676544533950447e-01, 6.94241114153805183e-01, 6.92809725746255434e-01,
6.91382342410016060e-01, 6.89958927855978454e-01, 6.88539446392795629e-01, 6.87123862912905614e-01,
6.85712142878977637e-01, 6.84304252310765526e-01, 6.82900157772352912e-01, 6.81499826359775795e-01,
6.80103225689010160e-01, 6.78710323884309297e-01, 6.77321089566880752e-01, 6.75935491843888570e-01,
6.74553500297771169e-01, 6.73175084975862648e-01, 6.71800216380307957e-01, 6.70428865458260304e-01,
6.69061003592352765e-01, 6.67696602591433708e-01, 6.66335634681557210e-01, 6.64978072497219963e-01,
6.63623889072836981e-01, 6.62273057834447121e-01, 6.60925552591641208e-01, 6.59581347529706430e-01,
6.58240417201978012e-01, 6.56902736522392949e-01, 6.55568280758239696e-01, 6.54237025523094706e-01,
6.52908946769944043e-01, 6.51584020784480300e-01, 6.50262224178572046e-01, 6.48943533883898693e-01,
6.47627927145746574e-01, 6.46315381516960996e-01, 6.45005874852049188e-01, 6.43699385301430116e-01,
6.42395891305825861e-01, 6.41095371590791330e-01, 6.39797805161376965e-01, 6.38503171296921690e-01,
6.37211449545970976e-01, 6.35922619721317472e-01, 6.34636661895159881e-01, 6.33353556394376738e-01,
6.32073283795911989e-01, 6.30795824922268822e-01, 6.29521160837109073e-01, 6.28249272840954220e-01,
6.26980142466987078e-01, 6.25713751476948299e-01, 6.24450081857128136e-01, 6.23189115814448580e-01,
6.21930835772635082e-01, 6.20675224368472667e-01, 6.19422264448148518e-01, 6.18171939063673404e-01,
6.16924231469384243e-01, 6.15679125118523185e-01, 6.14436603659891389e-01, 6.13196650934576870e-01,
6.11959250972752056e-01, 6.10724387990541850e-01, 6.09492046386958308e-01, 6.08262210740900700e-01,
6.07034865808220636e-01, 6.05809996518847704e-01, 6.04587587973977381e-01, 6.03367625443316347e-01,
6.02150094362386978e-01, 6.00934980329886126e-01, 5.99722269105100403e-01, 5.98511946605372547e-01,
5.97303998903621736e-01, 5.96098412225913199e-01, 5.94895172949077344e-01, 5.93694267598377290e-01,
5.92495682845222915e-01, 5.91299405504931430e-01, 5.90105422534531132e-01, 5.88913721030610349e-01,
5.87724288227207459e-01, 5.86537111493743324e-01, 5.85352178332993578e-01, 5.84169476379100883e-01,
5.82988993395625044e-01, 5.81810717273631650e-01, 5.80634636029816353e-01, 5.79460737804666337e-01,
5.78289010860655317e-01, 5.77119443580473956e-01, 5.75952024465293255e-01, 5.74786742133060247e-01,
5.73623585316826445e-01, 5.72462542863106272e-01, 5.71303603730266896e-01, 5.70146756986947501e-01,
5.68991991810507525e-01, 5.67839297485503547e-01, 5.66688663402193593e-01, 5.65540079055069089e-01,
5.64393534041412903e-01, 5.63249018059883699e-01, 5.62106520909125495e-01, 5.60966032486402200e-01,
5.59827542786256349e-01, 5.58691041899191498e-01, 5.57556520010378143e-01, 5.56423967398382291e-01,
5.55293374433915909e-01, 5.54164731578609793e-01, 5.53038029383807195e-01, 5.51913258489378777e-01,
5.50790409622557542e-01, 5.49669473596794078e-01, 5.48550441310631132e-01, 5.47433303746597377e-01,
5.46318051970120289e-01, 5.45204677128456994e-01, 5.44093170449642893e-01, 5.42983523241458821e-01,
5.41875726890414411e-01, 5.40769772860748787e-01, 5.39665652693448128e-01, 5.38563358005279103e-01,
5.37462880487837968e-01, 5.36364211906615873e-01, 5.35267344100078812e-01, 5.34172268978763021e-01,
5.33078978524384572e-01, 5.31987464788963749e-01, 5.30897719893963171e-01, 5.29809736029440037e-01,
5.28723505453211451e-01, 5.27639020490033861e-01, 5.26556273530794039e-01, 5.25475257031714604e-01,
5.24395963513570873e-01, 5.23318385560920030e-01, 5.22242515821342734e-01, 5.21168347004696719e-01,
5.20095871882381044e-01, 5.19025083286612787e-01, 5.17955974109714057e-01, 5.16888537303410667e-01,
5.15822765878140577e-01, 5.14758652902373770e-01, 5.13696191501942345e-01, 5.12635374859379933e-01,
5.11576196213272216e-01, 5.10518648857616109e-01, 5.09462726141189703e-01, 5.08408421466930549e-01,
5.07355728291323471e-01, 5.06304640123798277e-01, 5.05255150526135011e-01, 5.04207253111878750e-01,
5.03160941545763629e-01, 5.02116209543143288e-01, 5.01073050869431991e-01, 5.00031459339552176e-01,
4.98991428817390670e-01, 4.97952953215262784e-01, 4.96916026493384011e-01, 4.95880642659349002e-01,
4.94846795767618586e-01, 4.93814479919013727e-01, 4.92783689260216540e-01, 4.91754417983278735e-01,
4.90726660325136788e-01, 4.89700410567133926e-01, 4.88675663034548846e-01, 4.87652412096130972e-01,
4.86630652163642430e-01, 4.85610377691405970e-01, 4.84591583175859431e-01, 4.83574263155116368e-01,
4.82558412208532517e-01, 4.81544024956278516e-01, 4.80531096058918139e-01, 4.79519620216992404e-01,
4.78509592170609566e-01, 4.77501006699040165e-01, 4.76493858620318178e-01, 4.75488142790846835e-01,
4.74483854105010427e-01, 4.73480987494790728e-01, 4.72479537929388904e-01, 4.71479500414852426e-01,
4.70480869993706530e-01, 4.69483641744591229e-01, 4.68487810781902547e-01, 4.67493372255438633e-01,
4.66500321350050706e-01, 4.65508653285298335e-01, 4.64518363315109206e-01, 4.63529446727443561e-01,
4.62541898843962684e-01, 4.61555715019701773e-01, 4.60570890642747366e-01, 4.59587421133918039e-01,
4.58605301946450494e-01, 4.57624528565688138e-01, 4.56645096508775161e-01, 4.55667001324353171e-01,
4.54690238592262597e-01, 4.53714803923247423e-01, 4.52740692958663815e-01, 4.51767901370192237e-01,
4.50796424859553291e-01, 4.49826259158227160e-01, 4.48857400027176501e-01, 4.47889843256572662e-01,
4.46923584665525564e-01, 4.45958620101816527e-01, 4.44994945441634815e-01, 4.44032556589317173e-01,
4.43071449477090429e-01, 4.42111620064817745e-01, 4.41153064339747436e-01, 4.40195778316265107e-01,
4.39239758035648631e-01, 4.38284999565826339e-01, 4.37331499001138102e-01, 4.36379252462098799e-01,
4.35428256095165389e-01, 4.34478506072506210e-01, 4.33529998591773269e-01, 4.32582729875877148e-01,
4.31636696172764678e-01, 4.30691893755199229e-01, 4.29748318920543493e-01, 4.28805967990544989e-01,
4.27864837311123847e-01, 4.26924923252163580e-01, 4.25986222207303700e-01, 4.25048730593734991e-01,
4.24112444851997561e-01, 4.23177361445780553e-01, 4.22243476861724587e-01, 4.21310787609226522e-01,
4.20379290220246393e-01, 4.19448981249116282e-01, 4.18519857272352080e-01, 4.17591914888466476e-01,
4.16665150717785093e-01, 4.15739561402263869e-01, 4.14815143605308911e-01, 4.13891894011598427e-01,
4.12969809326906689e-01, 4.12048886277929627e-01, 4.11129121612112847e-01, 4.10210512097481328e-01,
4.09293054522471167e-01, 4.08376745695763044e-01, 4.07461582446117632e-01, 4.06547561622213005e-01,
4.05634680092483491e-01, 4.04722934744960683e-01, 4.03812322487115960e-01, 4.02902840245705052e-01,
4.01994484966613663e-01, 4.01087253614705763e-01, 4.00181143173672649e-01, 3.99276150645884287e-01,
3.98372273052241765e-01, 3.97469507432031965e-01, 3.96567850842783176e-01, 3.95667300360122653e-01,
3.94767853077635733e-01, 3.93869506106726330e-01, 3.92972256576479051e-01, 3.92076101633522578e-01,
3.91181038441894835e-01, 3.90287064182909538e-01, 3.89394176055023800e-01, 3.88502371273707681e-01,
3.87611647071314847e-01, 3.86722000696954726e-01, 3.85833429416365614e-01, 3.84945930511790047e-01,
3.84059501281850291e-01, 3.83174139041426220e-01, 3.82289841121533858e-01, 3.81406604869205468e-01,
3.80524427647370656e-01, 3.79643306834738958e-01, 3.78763239825683773e-01, 3.77884224030126947e-01,
3.77006256873425205e-01, 3.76129335796257513e-01, 3.75253458254513395e-01, 3.74378621719182791e-01,
3.73504823676246767e-01, 3.72632061626569588e-01, 3.71760333085791705e-01, 3.70889635584223942e-01,
3.70019966666742639e-01, 3.69151323892686345e-01, 3.68283704835752845e-01, 3.67417107083897854e-01,
3.66551528239234425e-01, 3.65686965917933482e-01, 3.64823417750125389e-01, 3.63960881379802481e-01,
3.63099354464722690e-01, 3.62238834676313903e-01, 3.61379319699579538e-01, 3.60520807233005114e-01,
3.59663294988465443e-01, 3.58806780691133032e-01, 3.57951262079387433e-01, 3.57096736904725265e-01,
3.56243202931671443e-01, 3.55390657937691035e-01, 3.54539099713102213e-01, 3.53688526060989883e-01,
3.52838934797120363e-01, 3.51990323749856726e-01, 3.51142690760075260e-01, 3.50296033681082530e-01,
3.49450350378533170e-01, 3.48605638730348943e-01, 3.47761896626638090e-01, 3.46919121969615829e-01,
3.46077312673525539e-01, 3.45236466664560648e-01, 3.44396581880787367e-01, 3.43557656272068135e-01,
3.42719687799986183e-01, 3.41882674437769984e-01, 3.41046614170219531e-01, 3.40211504993632396e-01,
3.39377344915731294e-01, 3.38544131955591576e-01, 3.37711864143570240e-01, 3.36880539521235089e-01,
3.36050156141294687e-01, 3.35220712067529181e-01, 3.34392205374721585e-01, 3.33564634148590000e-01,
3.32737996485720111e-01, 3.31912290493498796e-01, 3.31087514290047957e-01, 3.30263666004159351e-01,
3.29440743775229916e-01, 3.28618745753197605e-01, 3.27797670098478044e-01, 3.26977514981901751e-01,
3.26158278584651795e-01, 3.25339959098202514e-01, 3.24522554724258172e-01, 3.23706063674692845e-01,
3.22890484171490522e-01, 3.22075814446685926e-01, 3.21262052742305848e-01, 3.20449197310310963e-01,
3.19637246412538656e-01, 3.18826198320645737e-01, 3.18016051316052317e-01, 3.17206803689885741e-01,
3.16398453742925523e-01, 3.15590999785548443e-01, 3.14784440137674482e-01, 3.13978773128712918e-01,
3.13173997097509316e-01, 3.12370110392293010e-01, 3.11567111370624539e-01, 3.10764998399344572e-01,
3.09963769854522453e-01, 3.09163424121405572e-01, 3.08363959594369463e-01, 3.07565374676868009e-01,
3.06767667781384312e-01, 3.05970837329382073e-01, 3.05174881751257510e-01, 3.04379799486291347e-01,
3.03585588982601906e-01, 3.02792248697098143e-01, 3.01999777095433408e-01, 3.01208172651959483e-01,
3.00417433849681281e-01, 2.99627559180211889e-01, 2.98838547143727984e-01, 2.98050396248925875e-01,
2.97263105012977646e-01, 2.96476671961488192e-01, 2.95691095628452361e-01, 2.94906374556212547e-01,
2.94122507295416835e-01, 2.93339492404977475e-01, 2.92557328452029808e-01, 2.91776014011891571e-01,
2.90995547668022603e-01, 2.90215928011984980e-01, 2.89437153643403722e-01, 2.88659223169927370e-01,
2.87882135207189693e-01, 2.87105888378771157e-01, 2.86330481316161234e-01, 2.85555912658720656e-01,
2.84782181053644612e-01, 2.84009285155925661e-01, 2.83237223628317658e-01, 2.82465995141299664e-01,
2.81695598373040257e-01, 2.80926032009362392e-01, 2.80157294743708485e-01, 2.79389385277105884e-01,
2.78622302318132842e-01, 2.77856044582884376e-01, 2.77090610794939241e-01, 2.76325999685326562e-01,
2.75562209992493257e-01, 2.74799240462271555e-01, 2.74037089847846860e-01, 2.73275756909726331e-01,
2.72515240415707294e-01, 2.71755539140846158e-01, 2.70996651867428051e-01, 2.70238577384936063e-01,
2.69481314490021606e-01, 2.68724861986474384e-01, 2.67969218685193300e-01, 2.67214383404157207e-01,
2.66460354968396429e-01, 2.65707132209964114e-01, 2.64954713967908317e-01, 2.64203099088244187e-01,
2.63452286423926541e-01, 2.62702274834822724e-01, 2.61953063187685908e-01, 2.61204650356128276e-01,
2.60457035220595323e-01, 2.59710216668339378e-01, 2.58964193593394454e-01, 2.58218964896550884e-01,
2.57474529485330172e-01, 2.56730886273960457e-01, 2.55988034183352142e-01, 2.55245972141073585e-01,
2.54504699081327723e-01, 2.53764213944928096e-01, 2.53024515679276085e-01, 2.52285603238337597e-01,
2.51547475582620750e-01, 2.50810131679153392e-01, 2.50073570501461007e-01, 2.49337791029545092e-01,
2.48602792249861565e-01, 2.47868573155299615e-01, 2.47135132745160718e-01, 2.46402470025138154e-01,
2.45670584007296466e-01, 2.44939473710051508e-01, 2.44209138158150596e-01, 2.43479576382652968e-01,
2.42750787420910635e-01, 2.42022770316549229e-01, 2.41295524119449517e-01, 2.40569047885728748e-01,
2.39843340677722672e-01, 2.39118401563967603e-01, 2.38394229619182746e-01, 2.37670823924252900e-01,
2.36948183566211390e-01, 2.36226307638223221e-01, 2.35505195239568560e-01, 2.34784845475626364e-01,
2.34065257457858583e-01, 2.33346430303794150e-01, 2.32628363137013683e-01, 2.31911055087134138e-01,
2.31194505289793989e-01, 2.30478712886638376e-01, 2.29763677025304813e-01, 2.29049396859408921e-01,
2.28335871548530495e-01, 2.27623100258199956e-01, 2.26911082159884953e-01, 2.26199816430977085e-01,
2.25489302254779228e-01, 2.24779538820492730e-01, 2.24070525323205261e-01, 2.23362260963878567e-01,
2.22654744949336708e-01, 2.21947976492254423e-01, 2.21241954811145891e-01, 2.20536679130353658e-01,
2.19832148680037726e-01, 2.19128362696165230e-01, 2.18425320420499919e-01, 2.17723021100592301e-01,
2.17021463989769819e-01, 2.16320648347127276e-01, 2.15620573437517754e-01, 2.14921238531543435e-01,
2.14222642905547045e-01, 2.13524785841603226e-01, 2.12827666627510459e-01, 2.12131284556783040e-01,
2.11435638928643338e-01, 2.10740729048014552e-01, 2.10046554225513299e-01, 2.09353113777442951e-01,
2.08660407025786782e-01, 2.07968433298201666e-01, 2.07277191928012028e-01, 2.06586682254203902e-01,
2.05896903621419325e-01, 2.05207855379951065e-01, 2.04519536885737568e-01, 2.03831947500358102e-01,
2.03145086591028257e-01, 2.02458953530595731e-01, 2.01773547697536221e-01, 2.01088868475949839e-01,
2.00404915255557592e-01, 1.99721687431698186e-01, 1.99039184405325115e-01, 1.98357405583004104e-01,
1.97676350376910642e-01, 1.96996018204827983e-01, 1.96316408490145256e-01, 1.95637520661856051e-01,
1.94959354154557007e-01, 1.94281908408447002e-01, 1.93605182869326375e-01, 1.92929176988596518e-01,
1.92253890223259810e-01, 1.91579322035919652e-01, 1.90905471894781159e-01, 1.90232339273651602e-01,
1.89559923651941686e-01, 1.88888224514666747e-01, 1.88217241352448411e-01, 1.87546973661516458e-01,
1.86877420943711098e-01, 1.86208582706485465e-01, 1.85540458462908397e-01, 1.84873047731667545e-01,
1.84206350037072863e-01, 1.83540364909060255e-01, 1.82875091883195645e-01, 1.82210530500679341e-01,
1.81546680308350666e-01, 1.80883540858692904e-01, 1.80221111709838705e-01, 1.79559392425575587e-01,
1.78898382575351927e-01, 1.78238081734283210e-01, 1.77578489483158686e-01, 1.76919605408448172e-01,
1.76261429102309380e-01, 1.75603960162595552e-01, 1.74947198192863307e-01, 1.74291142802380977e-01,
1.73635793606137179e-01, 1.72981150224849806e-01, 1.72327212284975412e-01, 1.71673979418718786e-01,
1.71021451264043001e-01, 1.70369627464679818e-01, 1.69718507670140545e-01, 1.69068091535726966e-01,
1.68418378722542977e-01, 1.67769368897506432e-01, 1.67121061733361415e-01, 1.66473456908690753e-01,
1.65826554107929208e-01, 1.65180353021376791e-01, 1.64534853345212534e-01, 1.63890054781508809e-01,
1.63245957038245848e-01, 1.62602559829326726e-01, 1.61959862874592936e-01, 1.61317865899840041e-01,
1.60676568636834161e-01, 1.60035970823328405e-01, 1.59396072203080219e-01, 1.58756872525868814e-01,
1.58118371547513265e-01, 1.57480569029890799e-01, 1.56843464740955868e-01, 1.56207058454759407e-01,
1.55571349951468652e-01, 1.54936339017387431e-01, 1.54302025444976926e-01, 1.53668409032876985e-01,
1.53035489585927692e-01, 1.52403266915191710e-01, 1.51771740837976926e-01, 1.51140911177859744e-01,
1.50510777764708670e-01, 1.49881340434708771e-01, 1.49252599030386235e-01, 1.48624553400633880e-01,
1.47997203400736826e-01, 1.47370548892398923e-01, 1.46744589743769832e-01, 1.46119325829472319e-01,
1.45494757030630556e-01, 1.44870883234898579e-01, 1.44247704336489618e-01, 1.43625220236205942e-01,
1.43003430841469298e-01, 1.42382336066351950e-01, 1.41761935831608232e-01, 1.41142230064707108e-01,
1.40523218699864866e-01, 1.39904901678078813e-01, 1.39287278947161447e-01, 1.38670350461775532e-01,
1.38054116183469494e-01, 1.37438576080713803e-01, 1.36823730128937976e-01, 1.36209578310568125e-01,
1.35596120615065596e-01, 1.34983357038965857e-01, 1.34371287585918625e-01, 1.33759912266728315e-01,
1.33149231099395554e-01, 1.32539244109159376e-01, 1.31929951328540213e-01, 1.31321352797383578e-01,
1.30713448562904816e-01, 1.30106238679734559e-01, 1.29499723209964890e-01, 1.28893902223196605e-01,
1.28288775796587207e-01, 1.27684344014899864e-01, 1.27080606970553261e-01, 1.26477564763672223e-01,
1.25875217502139619e-01, 1.25273565301648793e-01, 1.24672608285757394e-01, 1.24072346585941809e-01,
1.23472780341652863e-01, 1.22873909700372499e-01, 1.22275734817671372e-01, 1.21678255857267645e-01,
1.21081472991086847e-01, 1.20485386399322714e-01, 1.19889996270499330e-01, 1.19295302801534261e-01,
1.18701306197802933e-01, 1.18108006673204174e-01, 1.17515404450226971e-01, 1.16923499760018409e-01,
1.16332292842452945e-01, 1.15741783946202922e-01, 1.15151973328810359e-01, 1.14562861256760073e-01,
1.13974448005554244e-01, 1.13386733859788230e-01, 1.12799719113227850e-01, 1.12213404068888176e-01,
1.11627789039113606e-01, 1.11042874345659640e-01, 1.10458660319776011e-01, 1.09875147302291490e-01,
1.09292335643700181e-01, 1.08710225704249541e-01, 1.08128817854029904e-01, 1.07548112473065866e-01,
1.06968109951409290e-01, 1.06388810689234004e-01, 1.05810215096932489e-01, 1.05232323595214200e-01,
1.04655136615205868e-01, 1.04078654598553699e-01, 1.03502877997527526e-01, 1.02927807275126876e-01,
1.02353442905189260e-01, 1.01779785372500292e-01, 1.01206835172906212e-01, 1.00634592813428375e-01,
1.00063058812380049e-01, 9.94922336994854689e-02, 9.89221180160012731e-02, 9.83527123148402044e-02,
9.77840171606973729e-02, 9.72160331301788888e-02, 9.66487608119331737e-02, 9.60822008067846872e-02,
9.55163537278705260e-02, 9.49512202007796319e-02, 9.43868008636947475e-02, 9.38230963675374119e-02,
9.32601073761156751e-02, 9.26978345662749087e-02, 9.21362786280517237e-02, 9.15754402648309290e-02,
9.10153201935057637e-02, 9.04559191446414751e-02, 8.98972378626421292e-02, 8.93392771059210583e-02,
8.87820376470747213e-02, 8.82255202730602844e-02, 8.76697257853768924e-02, 8.71146550002507153e-02,
8.65603087488240469e-02, 8.60066878773483035e-02, 8.54537932473811712e-02, 8.49016257359880289e-02,
8.43501862359476717e-02, 8.37994756559624909e-02, 8.32494949208732599e-02, 8.27002449718785698e-02,
8.21517267667591089e-02, 8.16039412801068675e-02, 8.10568895035594927e-02, 8.05105724460397493e-02,
7.99649911340004627e-02, 7.94201466116748883e-02, 7.88760399413327845e-02, 7.83326722035422862e-02,
7.77900444974377464e-02, 7.72481579409938363e-02, 7.67070136713058071e-02, 7.61666128448763580e-02,
7.56269566379092206e-02, 7.50880462466095577e-02, 7.45498828874915226e-02, 7.40124677976930212e-02,
7.34758022352981210e-02, 7.29398874796670510e-02, 7.24047248317742365e-02, 7.18703156145545918e-02,
7.13366611732581257e-02, 7.08037628758133725e-02, 7.02716221131997887e-02, 6.97402402998293230e-02,
6.92096188739376172e-02, 6.86797592979849769e-02, 6.81506630590675427e-02, 6.76223316693389392e-02,
6.70947666664426096e-02, 6.65679696139554883e-02, 6.60419421018430125e-02, 6.55166857469261510e-02,
6.49922021933606042e-02, 6.44684931131287581e-02, 6.39455602065447243e-02, 6.34234052027729256e-02,
6.29020298603606420e-02, 6.23814359677851010e-02, 6.18616253440154931e-02, 6.13425998390904822e-02,
6.08243613347117726e-02, 6.03069117448542108e-02, 5.97902530163931314e-02, 5.92743871297494243e-02,
5.87593160995530661e-02, 5.82450419753257134e-02, 5.77315668421830783e-02, 5.72188928215578499e-02,
5.67070220719438148e-02, 5.61959567896620910e-02, 5.56856992096501982e-02, 5.51762516062749356e-02,
5.46676162941698712e-02, 5.41597956290984436e-02, 5.36527920088436597e-02, 5.31466078741254580e-02,
5.26412457095467648e-02, 5.21367080445694422e-02, 5.16329974545212816e-02, 5.11301165616353456e-02,
5.06280680361229501e-02, 5.01268545972816393e-02, 4.96264790146396864e-02, 4.91269441091385720e-02,
4.86282527543550960e-02, 4.81304078777647845e-02, 4.76334124620483718e-02, 4.71372695464432334e-02,
4.66419822281417679e-02, 4.61475536637387246e-02, 4.56539870707297624e-02, 4.51612857290634717e-02,
4.46694529827493317e-02, 4.41784922415241407e-02, 4.36884069825797181e-02, 4.31992007523545954e-02,
4.27108771683928912e-02, 4.22234399212734479e-02, 4.17368927766127509e-02, 4.12512395771450768e-02,
4.07664842448838272e-02, 4.02826307833680092e-02, 3.97996832799981382e-02, 3.93176459084662172e-02,
3.88365229312844576e-02, 3.83563187024180685e-02, 3.78770376700274317e-02, 3.73986843793256071e-02,
3.69212634755572283e-02, 3.64447797071055443e-02, 3.59692379287345418e-02, 3.54946431049737166e-02,
3.50210003136535233e-02, 3.45483147496001355e-02, 3.40765917284985773e-02, 3.36058366909342612e-02,
3.31360552066233063e-02, 3.26672529788430213e-02, 3.21994358490746979e-02, 3.17326098018717584e-02,
3.12667809699672325e-02, 3.08019556396357391e-02, 3.03381402563261890e-02, 2.98753414305827462e-02,
2.94135659442730339e-02, 2.89528207571440113e-02, 2.84931130137276376e-02, 2.80344500506203888e-02,
2.75768394041625113e-02, 2.71202888185453281e-02, 2.66648062543771679e-02, 2.62103998977413627e-02,
2.57570781697826177e-02, 2.53048497368613956e-02, 2.48537235213196345e-02, 2.44037087129051963e-02,
2.39548147809068648e-02, 2.35070514870568785e-02, 2.30604288992634701e-02, 2.26149574062422705e-02,
2.21706477331223457e-02, 2.17275109581106241e-02, 2.12855585303072629e-02, 2.08448022887745103e-02,
2.04052544829729059e-02, 1.99669277946913880e-02, 1.95298353616123362e-02, 1.90939908026690856e-02,
1.86594082453720861e-02, 1.82261023553013900e-02, 1.77940883679875810e-02, 1.73633821234315602e-02,
1.69340001035459473e-02, 1.65059594728384634e-02, 1.60792781227011572e-02, 1.56539747197199063e-02,
1.52300687584777193e-02, 1.48075806193945971e-02, 1.43865316322280175e-02, 1.39669441459542316e-02,
1.35488416058644739e-02, 1.31322486388457602e-02, 1.27171911479783233e-02, 1.23036964177767032e-02,
1.18917932316373563e-02, 1.14815120033420325e-02, 1.10728849248162304e-02, 1.06659461327725247e-02,
1.02607318974012561e-02, 9.85728083693508499e-03, 9.45563416274760454e-03, 9.05583596070130142e-03,
8.65793351580707894e-03, 8.26197768899249348e-03, 7.86802335703316348e-03, 7.47612992967011582e-03,
7.08636196188459216e-03, 6.69878988462190451e-03, 6.31349088452298670e-03, 5.93054997330070676e-03,
5.55006130161110785e-03, 5.17212979268926679e-03, 4.79687320096870273e-03, 4.42442474586257975e-03,
4.05493654017417653e-03, 3.68858414264003776e-03, 3.32557274499596569e-03, 2.96614581353088578e-03,
2.61059756072821439e-03, 2.25929167854221858e-03, 1.91269091742383187e-03, 1.57140688868097670e-03,
1.23629144788141646e-03, 9.08626104770669514e-04, 5.90596073134601871e-04, 2.86963927083327475e-04,
}