about summary refs log tree commit diff
path: root/benchtests/log1p-inputs
blob: 43b48e6345dee6ce0b38d050fb5628094fac76de (plain) (blame)
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
830
831
832
833
834
835
836
837
838
839
840
841
842
843
844
845
846
847
848
849
850
851
852
853
854
855
856
857
858
859
860
861
862
863
864
865
866
867
868
869
870
871
872
873
874
875
876
877
878
879
880
881
882
883
884
885
886
887
888
889
890
891
892
893
894
895
896
897
898
899
900
901
902
903
904
905
906
907
908
909
910
911
912
913
914
915
916
917
918
919
920
921
922
923
924
925
926
927
928
929
930
931
932
933
934
935
936
937
938
939
940
941
942
943
944
945
946
947
948
949
950
951
952
953
954
955
956
957
958
959
960
961
962
963
964
965
966
967
968
969
970
971
972
973
974
975
976
977
978
979
980
981
982
983
984
985
986
987
988
989
990
991
992
993
994
995
996
997
998
999
1000
1001
1002
1003
1004
## args: double
## ret: double
## includes: math.h
# Random inputs x*2^e where x is random in [1/2,1] and e in [-53,1024]
0x3.45ca96813162cp+456
0x8.64348c812ca68p+280
0x1.d3d8698980da4p+580
0x2.9f3e3fb69268p+424
0xa.253bba286f7cp+4
0x2.c287060e1f5d6p+924
0x1.caf7ddab242bdp+704
0x5.9e9892e0424b4p+832
0x1.969e7b406fad3p+164
0x8.8dd1259060abp+628
0xc.0da4664954e28p+808
0x5.3e4974a17756p+652
0xa.de74f564b4098p+376
0x4.636e453001ep+548
0x1.a33ad212ec1fcp+684
0x5.7c05ed36b24ep+796
0x1.de33883e623dap+740
0x1.069e4c8855dbcp+36
0xf.4e83bd53a9bbp+212
0xd.9ba29298454cp+504
0x2.a0bc177354ea8p+8
0x1.0065b24d5834cp+612
0x6.59c077f17b0dp+396
0xa.f303d3301f9ap+416
0x9.5e1e3d9e378cp+480
0x2.b0c174749d20cp+972
0xa.dc03ead8019ap+520
0x5.696bce116666p+616
0xb.caf9640d4a58p+516
0x2.9875fdaf04eb8p+676
0xf.0e7539d5594ap+392
0x4.cda43baf18afp+484
0x2.3d01016fdcc48p+540
0xc.bcd0f58003e6p+572
0x5.c83da598ec05p+276
0x1.491f18572906fp+680
0x6.77a3d8075a3dp+264
0x6.5dae03e49815p+188
0x2.e05e31845b59p+908
0x1.1b11e49528214p+308
0x7.8c05ad0e269e8p+348
0x1.e57fb75cf8376p+128
0x3.fa0fbbafbc7cp+296
0x5.e51c207a80ca8p-24
0xb.5cd77ed3bc12p+756
0x7.ebf0c0775bdp+60
0x6.50dfe0b7c1ba8p+156
0x4.cb96adb47ccb8p+24
0x4.64122e7268c9p-44
0x4.d4246d32d26fcp+192
0x2.b533218acf42cp+552
0x1.63910b8afc761p+748
0x7.1a8a445c37898p+384
0x1.69a2c7b7293f7p+568
0x1.5815bffae2fdep+492
0xf.fcdc03c7edec8p+952
0x1.84d63c35104fep+400
0x2.136bcd08bbffep+532
0x6.411a619382538p+748
0xf.8c1d3c41e1688p+904
0x2.040fff8538b9ep+180
0x9.daa2985a6645p+1016
0xc.053640358c6fp+32
0x1.a2e346c1cd04bp+148
0x1.c62d08b27292cp+840
0x2.61a5fa25b847cp-16
0x7.b1d0702ebb22p+904
0x5.c15bd12189814p+548
0x1.cca555c0ea19p+676
0x4.761c9059504cp+944
0xf.dc80d4efbb1bp+520
0x2.cc45adc8f5404p+132
0x1.d4ae79b6e0277p+764
0x4.13aea6971d938p+344
0x6.b18424cd3c8ap+452
0x1.beaf67c973a8dp+396
0x3.ddf3e3c9e656cp+808
0x2.eb8c280d6f14p+876
0x9.0fae165cca2cp+364
0xc.1b215bdc8b88p+8
0x2.3bb7ac55ab028p-44
0x1.ad268397d0f62p-16
0xa.0e32d7b8dcaap+864
0x8.351b699c7421p+436
0x2.c21b518b92908p+936
0x3.a413ec2ab758ap+388
0x3.4c089be1f98bp+268
0x1.0d6e159f3ebap+448
0x1.c360890b3f6fbp+880
0x2.e20b037343e84p+716
0xe.956abbfc0a17p+744
0x2.354ff4bdebc6ap+572
0xa.93000b82ae53p+444
0x1.e674b4eaa3ce8p+16
0x1.3efe856447724p+624
0x1.ca529b7f68f52p-8
0x3.0b52b152e6aeap+740
0x9.5bc90a69b848p+172
0x4.ecaf894b81c08p+980
0x8.1dedba8407968p+892
0x6.ecb88241edba8p+948
0x2.4f6fc3756bcep+40
0x1.41bcb8404e25bp+492
0x5.14267a0d19d78p+232
0xd.74a166d5cf4cp+796
0x3.9f4ee69785c84p+456
0xf.907ff53f0c76p+120
0x6.6b1f9dc685edp+136
0xa.a0dae0d6aa32p+696
0x1.b013d9549d774p+168
0x6.774eff8585afp+916
0xc.241de5a24a8d8p+788
0xa.bd24528c37d7p+980
0xf.55944a6ed1a6p+412
0x1.6eae340d0057ep+972
0x1.2db9ad9b3d3d3p+4
0x7.add534a410148p+64
0xd.c49f7bd396aep+696
0x3.55e63740f8522p+508
0x7.22387a2a00078p+164
0xc.11712b65b9d5p+220
0x8.4e525f3c8931p+872
0x6.6653eecde6afcp+236
0xf.a1c5651f47a38p+480
0xf.907f8651d1ebp+1012
0x2.a7947e989029p+152
0xf.1186e55f9d01p+872
0x3.11128af5513c4p+468
0x1.1c4adfb36cc7ep+236
0x7.790714f12d3ccp+984
0xe.0dee342382c8p+432
0x1.a40bf2095645ep+112
0x3.4a28ec200f1dp+428
0x7.1bae43af64228p+792
0x1.3d1970b61a1f4p+140
0x1.dddea10b9958p+732
0x3.b8de677ec989ap+28
0x4.d7cbc94ad5508p+700
0x3.c08998640d834p+736
0x7.0c5c05ec62438p+436
0x6.ee72749d615c8p+252
0x3.9ec44e38f488p+584
0x1.4d60e799a4063p+536
0x1.82b6fca915926p+864
0x3.c82e8165ed47cp+868
0xc.df1d40c91a51p+532
0x9.c9f9f73e0e378p-44
0x2.e9c0a9e1c564cp+376
0x1.8af28d9e36e1p+372
0x5.2634c780c352p+780
0x3.67424e9711832p+304
0xf.6a3e678891508p+280
0x3.39504ba4684fcp+208
0xa.e6c191991dc68p+796
0x2.4f2eebcd9a7fap+964
0x3.5baa6c11bcf9cp+624
0x1.346687478772ap+268
0x4.dfc5e0d7472b8p+668
0x2.6c291f52e727ap-4
0x5.dd7e9429d1328p+116
0xf.0b60dc494a248p+216
0x6.65f64ffe3ca2p+320
0x2.7d48a505e64f2p+220
0x2.57365a8e77cbp+52
0x1.98c2514504c84p+372
0x1.0ca67948dbf3p+500
0x9.a353a139e66dp-36
0x8.9a76596e3de88p+216
0xb.fe9f442f6739p+168
0xb.1e19ecdd67b2p-4
0x4.95878725a82ccp+156
0x1.03c6cb4a6ca86p+4
0xb.4d353ee362eap+980
0x2.e14f984152b98p+408
0x7.1ca8e9aef521p+296
0x1.1a4af9061ef82p+36
0x2.ffe97da47ca54p+896
0x7.07d7e7da8c38p+416
0x1.e7169196303dp+500
0x5.a512e26ba573p+760
0x3.8966876206f4cp+244
0x6.b1c5c8faed4ep+728
0xf.1e94d64d66a38p+968
0x6.1b6c8b1058edp+396
0x7.68fbcc5544d5p+312
0x3.8776f982edd56p+988
0x2.a6b2f8bd6cbacp+8
0x9.404f4ffae4eep+76
0x3.7745722569a78p+612
0x8.af62b8e435e2p+356
0x7.ce8789b96cf4p+744
0x1.9d23c2c316243p+788
0x9.4e57c1966d42p+868
0x2.bb98867cd53dcp+864
0x3.3c14990a9f60ep+820
0x1.cb0cac7e0c398p+456
0xd.3ce81a87fb02p+544
0x3.8da99aec083cep+28
0x2.5e1b72674632ep+1012
0x3.f53827adc4b64p+608
0x1.6a17d0c32e2f2p+88
0x7.9bf5a7a3f96fcp+296
0xe.4518596d2596p+188
0x6.69780c2689f4p+48
0x1.5898ce8dff403p+692
0x3.bcd253347a064p+628
0x1.862394ac584cp+936
0xa.74d4a6b81f1dp+200
0x3.89d003648b764p-28
0xb.41ef6a31b74dp+840
0x6.5336257df0c68p+424
0x4.c155792c0e848p+1016
0x6.606cd506e9efp+820
0x7.2414b604624fp+972
0xb.eccb69241653p+372
0x5.2f53f01bdbbc8p+592
0xb.47c7d557fcfa8p+864
0x6.19d8456c9a38cp+544
0x3.044316bc7c13p+636
0x1.3bd6e6e3e6b2ep+192
0x1.77cf55c41f4cdp-48
0x2.90b43520c6c82p+616
0x5.f448f71652e1cp+672
0xf.5e0d29d7076e8p+532
0xf.30570335ef6p+620
0x1.de66ce1d67ac2p+396
0x6.e82db763cbbf8p+764
0x1.e29559b928c9ep+188
0x7.cdea436193908p+252
0x2.9d1762477bddp+104
0x1.c1f5083940882p+748
0xd.1f42e8ab39f6p+748
0x1.fd92044bafe4bp+748
0x8.39e0d7262f7dp+112
0xd.ce3ce4614009p+780
0x6.56b439bb954fp+196
0x3.0430d78528394p+732
0x9.d3a0a15865a5p+360
0x1.9f3417bb96a34p-40
0x7.37a52736c15bp+884
0x2.326794e586c08p+848
0xc.16e395a4358dp+476
0x9.84a33be1f9dap+732
0x1.a50f2c9176f9cp+864
0x1.85542250f28cap+900
0x2.f7387bd0edaf4p+212
0xc.bf0433c7d3208p+184
0xb.bae4de84666bp+192
0x2.d762470e73b34p+456
0xa.a5f5bae93d57p+124
0x5.50006f8b985ep+896
0x1.4dac840b8cf99p+960
0x6.1e7ed83be33ccp+664
0xc.13136d361d1p+48
0x3.de4b7e0ffd542p+520
0xb.8e7e053ab868p+620
0x1.ec287672ebe9p-4
0x8.cabc4c79ad0fp+592
0x4.b088d66eb8e68p+772
0xe.89f3a6ea1d96p+780
0x9.32b71420e9b5p+352
0x6.32c360c95bc8p+0
0xf.5ac76941fc59p+944
0xf.47c02580030c8p+872
0x6.a349b1a59363p+372
0x1.51f08cc940112p+252
0x3.022e115f5e8f4p+788
0xb.44654db5ddab8p+1012
0x3.10bd653931c56p+144
0x1.052fbf27e146ep+8
0x2.aedce6a82b92p+888
0x2.b241a170773bcp+992
0x3.60cb63f20065ap+564
0xd.b746588be41b8p+788
0x7.5672dc35500ep+848
0x1.31a0c52ede1c6p+84
0xe.52e4ec775d8ep+512
0x3.9d6ace0a627ecp+12
0x2.dbab66299f0b6p+300
0xe.f05569cfea85p+428
0x3.286587fe602dcp+684
0xd.3311c88d13cp+540
0xa.f82d0f9dcdf3p+988
0x9.2abdc706583p+380
0x4.745dd445f0744p+72
0x1.a754f428538b1p+768
0x2.c6d457b16236cp+36
0x6.3d63e2b4933acp+336
0x2.5adbe5efb4a5cp+624
0x7.02d2430a519ep+548
0x2.9499babf5a2fcp+148
0x5.02857fdcaafe8p+524
0xd.190a67b387858p+96
0x2.fffa06c62ff9p+876
0x6.67057cf42d8cp+148
0x7.75410bb9bc19cp+204
0x3.8be6d95753b5p+752
0x3.c34f6ef838b6ep+536
0x2.6caae7045a3c6p+72
0x2.c54326f410308p+780
0x3.692ba3e7b414cp+236
0x1.771ec383da922p+696
0xb.0eb9047c5ac9p+524
0x1.0a3f71d885388p+96
0xc.eae21934bcda8p+436
0x5.245349b710a9cp+284
0x1.0bb014a711b7ep+988
0x2.53f20d51ceff4p+392
0x1.9f0dd7c026a21p+868
0x3.7abc975f5477cp+368
0xb.f8912b494e548p+444
0x2.c6e7122f5b584p+1004
0x1.f9a2ded443faep+876
0xa.c09fd7290254p+180
0x1.1a80f88c81482p+544
0x8.811a56f5a9fcp-20
0x5.63a90ff1c655p+952
0x2.30a54a8f53cp+732
0xb.43eac994632cp+964
0x4.921ce59722604p-44
0xb.3177699e332p+940
0x3.db41da0846bd4p+64
0x7.b73f6cbd4b49p+856
0x1.6a4effd1aedccp+488
0x2.1276def683ea2p-48
0x8.3dfb3e559b01p+552
0x1.a181a97bb20f2p+576
0x2.55fee49ca2462p+884
0x3.a30331f8c1d8p+856
0x6.fafea5bb28f2cp+68
0x1.09379d9251e32p-44
0x1.e999500e989b4p+624
0xf.f85b7e9b4245p+780
0x4.286def36ad0ccp+520
0x2.2325a5fd1afc4p+492
0x3.96ca4cd927b68p+800
0x1.80742f895cfabp+724
0x4.e1ca7c954a558p+768
0x5.342040daa97dp+528
0x1.95f3e16142eeap+948
0x8.4065a7a27578p+896
0x7.349ecf2b779fp+816
0x3.eb79ef8e099ap+468
0x1.afcae058dc164p+728
0x5.b25e778ff38e8p+464
0xa.3085fef00fc28p+276
0x1.1e09450c7737ep+232
0x9.a3e4416906778p+124
0x3.2876fd5a6977ep+928
0x1.8de6b947c9704p+8
0x7.42ff999649e64p+396
0xc.22c08772d0518p+796
0x8.bbe73c5b487fp+768
0x1.caca80e0ec18p+396
0x3.fc264de302c68p+532
0x1.559d67f30af8ep+984
0xd.90553ea8ae0cp+352
0x6.7d3aa6198fc1cp+952
0x3.60d3c76dc2b14p+448
0x8.bb7285d4feb18p+340
0x6.eceb57c2e6cdcp+152
0x2.933b1ab486c78p+216
0x3.0d1db22af92cap+28
0x1.954c980e18506p-48
0x9.ee57497469d8p+256
0x3.9f2a9cf733b9p+280
0x5.f57d6a8b5baacp+980
0x1.6f260831455f6p+300
0x5.f88bbb7ecfdap+756
0x1.4abe83b5bcc66p+324
0xd.6ad1c0742bbb8p+364
0x9.276df996c22cp+440
0x5.e15d8e30237bp+80
0x7.0bcf00c0c8dbp+568
0x3.e117c6acc38a4p+252
0x3.73b2b0d0dbef2p+116
0x1.5a6b2cc5804cp-36
0x1.b8e33c0e30026p+312
0xa.4073a826b52p+684
0x4.bf0ef9cfe4afp+36
0x3.24567b495fb48p+8
0x1.ff4ffcfcd6cb7p+360
0xf.41dce3857f35p-52
0x1.fba84a128df39p+108
0x7.ab01109f118ep+556
0x4.bf72886bfe778p+336
0x1.afb8ee1ea651ap+236
0x7.7c76eee206c88p-28
0x1.56450fb3e8db8p+500
0x1.9eabaa9335a44p+152
0x1.806960e7d756ap+412
0x3.3b265b3994b18p+244
0x4.b437872dee64p+188
0x5.35437f33debf8p+600
0x3.795d9ea8af12p+956
0x9.bbebfa131e0cp+88
0x1.64096e0e3cf2ap-52
0x6.e5f6c1f98ab2cp+708
0x3.ce32df7f1b95ep+872
0xb.493b89fc96abp+508
0x1.03d56013fe8fep+780
0x1.25f3a8db3cc16p+36
0x3.1ad1979d4631cp+284
0x1.6c20eae486ae8p+832
0x5.5c734947a6f98p+836
0x8.850d583e0bd5p+248
0x2.77bed59ea789cp+528
0x1.18c27914d76c6p+56
0x3.d7a7fd10e09d4p+24
0x9.3c6a3f11c6ca8p+76
0xd.8c7f33faad66p+504
0x4.d47489edd7c5p+420
0x7.97eeb5f8be394p+116
0x8.0d9601f4eea5p+896
0xf.db0eea27be48p+624
0xa.15cf0db91614p+784
0x7.8d83a52fc5d48p+636
0x8.8711ac26a4d18p+232
0x5.95d6faa78e668p+308
0x1.1dd93851e0f84p+272
0xf.1e1da77f6ef1p+844
0x5.c34c25d2165p+80
0x9.aea58c155921p+276
0x3.89cd77395cb1p+620
0x1.cda5d0bc8225ep+472
0x1.703c1bc674f8cp+540
0x2.1e0300bdb54acp+728
0xa.420c92bd3574p+420
0xe.ac7a36b0ab2bp-44
0x1.a111afa0e1a14p+928
0x5.0ae1cbd50239cp+488
0x1.536c40a69e808p+984
0x1.14790b7840822p+24
0xf.6fd0eb00c2aep+296
0x3.4d6573e5d4ed2p+332
0x7.0268c3270e69cp+0
0x5.9f0a120d90008p+708
0x3.a1892c2c996cp-40
0x7.fed86244ce49p+636
0xf.1d56f77d8dca8p+472
0x3.0f53e2159c9dcp+880
0x2.e96c2a5bdb52ap+752
0x1.8c02fd9ff73fap+528
0x1.b5762e7d4a4ap+904
0xd.b8d01c445df1p+896
0x2.49cdea0cd26f6p+572
0x2.287cd91cdf938p+704
0x3.fca1ce3065168p+820
0x6.46f88c32838ap+764
0x4.c86d352d07b58p+296
0x7.769e7e221c008p+196
0xe.2e84e50c17a3p+904
0x5.477673ebf858cp+464
0x1.318227d59fac6p+836
0x1.219108322c94ap+144
0x1.7e82850ea8b12p+720
0x1.aa5790b4d16dap+976
0xe.55d84ddaf4afp+288
0x2.2188fa21b8258p+928
0xd.a7130f46459c8p+980
0x1.0ac4aa5193aa9p+108
0x1.d86a11bb88b64p+568
0x8.636d4629002fp+856
0x2.00db3ff1aae8p+120
0x6.ca777f863c36p+532
0x3.5a6ace89fcbccp+552
0x8.6bf5f132fab9p+360
0xb.44a000c20236p-24
0x5.5cfd939fd593p+668
0x3.188715bdecc2p+480
0x1.ca6dce3709266p+936
0xd.b5651d8e9986p+424
0x3.2233b25750e64p+524
0x3.1b402dc3abeb4p+376
0x2.8f2f06c8d5b9p+848
0x2.780ce3cbb1d9p+756
0xf.2ae7490256778p+964
0x4.e06ae7cddd36p+1012
0x1.a2586c61e121fp+136
0x3.d8701a0fbfdfcp+28
0x4.3aba77688bd7p+432
0xf.d7d2a4f8669bp-52
0x7.450714975d6e8p+708
0x1.91a67f3850b72p+420
0x2.8bd9778d4f128p+748
0x1.f119606851c98p+724
0x7.152152fc8e5cp+104
0x8.e3f975a2f4bap+40
0x4.322722348d24p+848
0xb.7787d01c2a008p+932
0x3.7cadc99159ddap+812
0x3.368dbdbfd135p+32
0x3.5ebfa7592cd0cp+796
0x4.10e742966f274p+964
0x3.988f4ca201ab2p+92
0x2.67c8801e704e8p+156
0x3.6c11b41b1d1b8p+76
0x2.3d66dd3d3cf3p+164
0x7.765518a9fd3bp+716
0x1.e08fcc428765ep+508
0x1.1491aa8168a2ap+540
0x1.b9eda7a8a54fbp+188
0x4.b5ac803e9615p+532
0x1.551ccae20f5eep-12
0xb.2f3b409d4d2dp+528
0x1.4bea8da37ab5cp+508
0xc.8a1a5776accfp+816
0x2.fc9c72fe4d28cp+324
0x6.ff1f51db4c7d4p+852
0xa.6f9233bf4002p+748
0xa.4d93066071df8p+792
0x3.8229ef09342e4p+376
0x1.b726a892abda8p+4
0x1.3cdb827f863cfp+552
0x9.0d16386c04bfp-12
0x2.9a7ba13f9caa8p+292
0xe.55015bc23e9ep+188
0x6.7276e9fbf3e5p-12
0x1.535608a3ee208p+672
0x1.6b919a83cb9f1p+404
0x1.d94c24f5b66f6p+712
0x1.b778b3acdf23ap+196
0xe.8cc44e2141eap+424
0x5.d715d385b30e8p+900
0x3.357b8ad087bd4p+484
0x1.996b1f74a48a2p+636
0xe.322c7f0494c58p+548
0x4.b3f50594ecf4p+688
0x1.56673fa8be942p+308
0x1.6fb4446b32d56p+912
0x1.3a85107270bfap+436
0x4.db5d8dc8e2b58p+240
0x7.ee711b059eaa8p+400
0xf.685ff6a95363p+756
0x3.14b962c5de674p+648
0x1.53ea6eb013e14p+412
0xc.480c09fcfe34p-28
0x2.1f9208a8aa6bep+672
0x3.a332e5c2cf1p+652
0xb.ca8f065c0b2ep+552
0xf.dcbc510b20b68p+496
0x2.f333681177a0cp+4
0x3.4a009857c1f1ap+160
0x6.d1c2aec329f1p+72
0x9.d44f443d5d228p+904
0xc.b83cbbdfffb1p-28
0x1.b4707c653a13p+900
0x3.320892069b434p+968
0x3.330d55b7f8c4p+932
0xd.e4ae781a93dep-8
0x2.ff032086ba57p+804
0x2.d4489fc2fe084p+980
0x2.6bad06db0a754p+432
0x1.e6b68d82beb44p+664
0xc.5a852167a41a8p+536
0xc.f3e00e838e9dp+184
0x3.04e4556e87e24p+376
0x5.9d7c30be031ep+816
0x6.97e83f3a1e334p+476
0x2.c8da8aa814ad2p+472
0x1.7940edb20082p+900
0x2.400e1619272d4p+1016
0xc.454212524398p+796
0x1.b317ada9a5139p+380
0x6.8594477e0a78p+760
0x1.a97bb19030e02p+672
0x3.94265801b4f02p+260
0x4.41049068a76d8p+832
0x1.24cda73ed4aaep+36
0x1.3ead36229e7f7p+404
0x1.92113664a6056p+536
0x8.0c51e595abd9p+432
0x1.4be90f67ce626p+116
0x5.8ad35aa93794p+708
0x6.b0c4daa8668ep+408
0x3.0ea7ff76c87ep+896
0x4.746d3c79cb728p-40
0x6.b8be650d3b108p+908
0x4.efbeffad9256p+620
0x1.49fca1f932b6ap+812
0x1.1380aaa8f661dp+980
0x1.e1df1e7fbc088p+872
0x1.91e87baba0c16p+28
0x5.2388f068b6658p+992
0x1.02589619a4fc1p+684
0x1.f8c9b5a47c748p+580
0x1.11cd34020883bp+428
0x2.b257cfc1021ccp+744
0x8.53556d0207788p+600
0x2.38de8360310b8p+188
0x5.5413a4ad08ad4p+244
0x2.1e2e73cf344ep+788
0x8.097a436ccfb5p+628
0xc.8c03d99f9ed1p+500
0x6.a49f1d5c0694cp+840
0x1.de88d80706a5ep+1016
0x5.0b97c69b89ad8p+504
0x1.e59f4b97f4dc5p+896
0xf.febc4fa5a1f6p+224
0x1.122e266298ce8p+420
0xf.b11287391ce1p+232
0x7.de6aa4a8a00d8p+440
0x8.ba800ba27071p+44
0xe.a2c2ddaa54cp+104
0x5.e504101e8fb2p+972
0x4.4df854715df1p+560
0x6.e001e95e79458p+936
0xe.fcfbde4581f08p+264
0xb.e85429cb082ap+892
0x1.a42fb4f1a4ee4p+780
0x1.7fcb71991f994p+540
0x1.223e311d06e43p+460
0x3.9dfc1164336e4p+428
0x6.0aaae210b1fd8p+16
0x6.f802dcef77c8cp+400
0xb.8f298cc1452ap+944
0xa.2f84acab0fadp+976
0x9.f7cea8ddb6d9p+672
0xe.6b88da0407a7p+60
0x3.537ad845fad78p+896
0x4.61da2446f82p+24
0x1.3560a118ec4dep+804
0x1.f59eee5364f9p+576
0x8.4414ec28104fp+156
0x4.dc4a7e391f8ap+400
0x2.d0c3be163e286p+624
0xe.cc2245d49d69p+560
0x1.430e84e593262p+384
0xd.cf36e1faf7bbp+584
0x9.e12ae993f5aep+72
0x6.a7d677ddba538p+1000
0x1.1747480763d84p+328
0x5.c7bf9ab70f9e4p+820
0xa.a4b82d0a5fep+1020
0x2.4edc723e74c4cp+332
0xd.62f8342e5147p+312
0x1.00b8fe11f85a6p+676
0xd.1a016eb0d4f08p+124
0xb.37b627c04749p+132
0x6.8ce519056572p+336
0xc.1d496d3ad181p+56
0xb.3eb5ab9d54188p+112
0x1.6c50e593aac82p+120
0x1.3b7be6334367bp+296
0x3.03021ac4fa482p-24
0x2.c595faacf681ap+292
0x1.f3431d9aa484ap+240
0xb.d4bb2292a3868p+984
0x7.67e75c97e18acp+776
0x1.bf8dadf2e53b1p+224
0xd.01d2b051cde78p+128
0x3.9aeac111b007cp-8
0x3.f25e99c4e53e4p+848
0x1.10bfcfc085322p+548
0x1.b1b84686cb978p+992
0x1.2f46947274e49p+636
0x1.96dde66b87ca6p+996
0x9.1b56e6c585c28p-4
0xc.d646289f16cfp+168
0x6.355057473c5p+136
0xb.15efdb86b99ap+888
0x1.995bfd9768dd4p+732
0x5.ad108eaa7e838p+744
0xf.9595fa82d98a8p-32
0x6.08a10bc57ed1p+264
0x7.1a4a24c49e934p+1004
0xc.81cdfd630c0d8p+772
0xe.04915c08ecb6p+820
0x3.e4efca032bf6cp+172
0x1.afa2b4174bb96p+28
0x3.95689ea2c134p+236
0x8.784ea64568d3p+152
0xf.0f414befeab78p+340
0x7.5b2729f4c94c4p+112
0x4.712268de6a188p+76
0xf.3dbef9267dabp+404
0x1.cf134791f4797p+108
0x1.2128ce76ab608p+204
0x1.61caedea1284p+32
0x1.b56bcb819fd22p+716
0xb.da41ebf09bbbp+912
0xe.e360583229b2p+692
0x7.866dee89026f8p+180
0x3.22ba376d12488p+896
0x1.45a15ec9a5c81p+624
0x2.04de89f984e7cp+300
0xf.84c6ca2511c1p-56
0x9.01df46d69be2p-44
0x1.670c39602dc18p+652
0xd.b1bbba6b9af8p+876
0xa.5883b0790bffp+688
0x4.660441fcdebc8p+988
0x4.ad8371f6998cp-24
0x1.16b5c812315fbp+308
0x4.df3761baabb28p+56
0x2.f83bc30958924p+992
0x1.f75f5d23cf078p+248
0x1.f5a66aba902fbp+864
0x1.cbdfb54f0825ap+912
0x1.70bfdbde499b5p+224
0x4.fd1a84ff99768p+1020
0x2.62c3a2c4c3062p+128
0x1.0fe4cdb2a4f36p+896
0xa.06d61b3560d48p+480
0xf.c4c923be07b8p+908
0xc.7e3370f0e0e1p+156
0x4.a7a28a6f61828p+844
0xc.4689dabc0d3d8p+528
0x1.aa257015d97a6p+672
0x2.82b362b27a128p+488
0x3.6e27f49da6bacp+164
0x1.ad38687b71bcdp+808
0x6.9bee9701946b4p-28
0x3.2a39b9d3cdc24p+724
0x2.12aac33ae2e1ap+452
0x4.e30138202c418p+24
0x8.5f22b80a113a8p+100
0x1.87101db8b20b8p+184
0x1.a85c97f6374ecp+396
0xe.cb7b33d409eap+688
0x3.0902e1a51defp+376
0xb.2d9ca349f0728p+64
0x3.5f65d4cdcd864p+848
0x8.443241dd0c39p+60
0x1.2102bce92dc14p+600
0x7.8fc640068715p+304
0x5.eaa0d1072227p+644
0x4.cf4c85d090408p+840
0x1.454eb402d79dp+48
0x1.fb240f4bb4a5cp+516
0x1.c182f02921334p+652
0x1.60fcbd62251b2p+992
0x5.c82e5062829p+672
0x2.27835a3436d48p+60
0x1.cecac83378c9cp+680
0x1.5b45f703fce0cp+800
0x3.514b0c4fbe462p+556
0xe.ea4f71d1e795p+228
0x3.836402c679704p+508
0x7.1812f0d934b88p-28
0x1.048bb69328fdap+980
0xb.2d43ede6426b8p+460
0xb.d9faddf88eafp+556
0x8.45f4340a901dp+1020
0x1.d71fa406e4a23p+612
0x1.2745ce3e54ad2p+544
0x2.74df589ec7274p+84
0x1.63cf8c30e307p+340
0x5.35a3701aef798p+332
0x1.6ed4623aa8e36p+856
0xf.e78368f8836ap+732
0xa.2d7c108f2bd4p+36
0x2.f717d0047ea58p+332
0x6.7340b49036ac8p+492
0x1.f55a3a453878ep+296
0x3.5033d85ff6092p+364
0x2.1c17609096ea8p+976
0x7.105fe9c49e42cp+200
0x3.6832019824578p+1016
0x1.5a61ca0cc2ad4p+324
0x1.b70e80b38f94cp-28
0x5.9d512e63dc3c8p+288
0x3.d0c4624a27bbp+804
0x9.31c7c844b483p+204
0x1.bf521b58661ap+416
0x1.d91f3c9f524f2p+948
0x2.a8c7d344d4ed2p+580
0xc.004f74d79694p+628
0x7.ecce2e14cd9f8p+76
0xd.7951a5070ec3p-44
0x4.940628934c5acp+608
0x2.2fb17d0135046p+940
0xe.87c80281426cp+936
0xb.3999d9502dep+40
0x2.5dd160edaddecp+832
0x1.5e81651648f5ep+652
0x2.6dee76ef745e6p+336
0x4.1817a4e6e4c1cp+448
0x3.87e113317a734p+952
0x9.4b2c9c7f18c8p+240
0x5.09f4f08a5caep-12
0x3.e138a8ab8bbacp+440
0x1.8050e8fb819bcp-16
0x1.f753870aeef5bp+36
0x1.4e5957f5434acp+684
0x7.2976bd8a43f2p+268
0x4.8fa7ebd2eae98p+452
0x1.9f8b07f6375eep+284
0x3.5c4874daf9c7ap+900
0xc.4a7f8a477f278p+20
0x9.2ff8158f2584p+512
0x7.3fa35ef5f3f24p+104
0x6.be47f358d7c18p+164
0x2.8ac76f38fa3f4p+68
0x8.a869cb7a4dfap+688
0xc.e85268ae3d9ep+708
0x2.eacd55c0a02b2p+712
0x5.08aa1322be11cp+468
0x5.2f53099ed6a2p+444
0xb.08407689561fp+52
0x6.5d78a09396f68p-36
0x1.c3c64a686d0e2p+632
0x2.5427700754de8p+528
0x5.b29b6e33ab4c4p-4
0x3.483c4e81859bp-48
0x2.f9eb185789794p+56
0xb.be3c29ff6f4a8p+960
0x1.65349748ac98ep+32
0x3.a5fbdd5b403fcp+260
0x2.ee3af7b72d0e4p-32
0x3.eb5329902110ap+936
0x7.f5402ff2ceff8p+524
0x8.6f8262cd4c8ap+776
0x4.08df18aa9711p+604
0x7.92683bd8802ccp+972
0x8.c3b9799acbdbp+136
0x1.fbf701fbb35f3p+120
0x3.88aecc7379cc2p+56
0x2.90005b96c7a24p+348
0x3.5b75c4635f7b6p+536
0x6.16296bb14f0ap+92
0x1.da0cd6af829f2p+544
0xc.e542350311d8p+292
0x1.8d54fab58784p+108
0xf.8d5b0bcdab508p+472
0x2.79d405c0c420cp+608
0x1.3c64e01d06012p+528
0x6.b7f64b227756p+996
0x9.a0e526cbddb9p+324
0x4.f22d4b0c8c68cp+876
0xa.438247a3f202p+96
0x7.a8e36968cbc18p+200
0x3.2ec57542452a8p+944
0x7.bedf7ea92ecbp+1000
0x1.bc5ae910eefccp+600
0x6.2985c173993f8p-36
0xe.cf6f9d3e5da9p-28
0xb.778c6a3d5255p+396
0x2.688a3d889c5fcp+412
0x6.9ffe647a1910cp+956
0xd.8b1fa369d0198p+804
0x1.82fe6a9fd669ep+56
0x5.5cb97f8b6e978p+640
0x8.c2c62df47b038p-44
0x1.f51bab8d62587p+812
0x6.541d1c36efa48p+100
0x6.8db90344c17fp+608
0x3.b15135f2f1d8cp+316
0xf.673dadeaa7438p+860
0xb.d8f7c7886b95p+160
0xe.283ae21e3204p+736
0x1.cce9f66942118p+968
0x7.77f267f0e11a8p+688
0x3.db56c2b09274p+320
0x5.11eaa7aed4p+968
0x3.b2c41d163713ap+684
0x1.9f6f20311a01cp-52
0xb.6cc4640b54088p-56
0x4.67c78512ffd58p+408
0x1.96911a2ad43f6p+548
0x5.123164347dc9p+232
0xd.9348720ffa808p+0
0x3.e9a495cf6e7dep+332
0x1.fedec661ee7fap+596
0x9.ecc1ee5450088p+284
0x1.0eb853ca277a5p+968
0xe.678c439bfe448p+252
0xf.9a5ef41099a4p+1000
0x4.8a8e5218250acp+52
0x1.190b00e45f21bp+828
0x3.51615ed051fb4p-48
0x4.12513eeec6454p+456
0x9.985a6ce3b9a08p+200
0x1.a7d5f88c88c2p+704
0x2.ffbab84a2fbc6p+896
0x1.8b4830d5abd66p+288
0x3.fbf7fee2356bcp+532
0x7.b364b398b4308p+460
0xe.7fe27b5722dcp+176
0xd.460559a216878p+76
0x9.341fd528459e8p+56
0xb.1f723e122dd8p+240
0xb.56ccfbb1820cp+356
0xf.82bbd1c3a39fp+436
0x3.a309f59306b86p+1000
0xc.f7096ea98e3fp+1020
0x7.b2bf6e0b781bp+636
0xe.aa8dddbf5eedp+908
0xa.2d9526a2dd99p+36
0xe.bb8e3c2dc01fp+984
0x1.944468f05494ap+372
0x1.28c44cb6ad69bp+572
0x2.66726ba7fbebcp+776
0x1.911114492d26p+604
0x6.2d8b72af2a71p+808
0x3.1673df7688deep+240
0x1.907814a823932p+744
0x1.488df4693474cp+876
0x3.6fef15cb9fd5ep+940
0x2.8537f0eba58c8p+104
0x1.edc9f364330eep+404
0x4.4999bf593895p+880
0xa.81e225cb14348p+560
0xa.fca2815e191cp+984
0x5.5031071acdf7p+40
0x5.6e0e01293668p+984
0x4.c7d189e8132ep+4
0x1.d1c9edc2f4704p+944
0x1.9527429093acep+224
0x4.7ac10a89adcd8p+816
0x2.c366737085c2cp+1012
0xd.3dec1d902709p+372
0x3.3def086ab0d76p+464
0x9.7a770ece5bf9p+184
0x7.0f30b20efd8fcp+880
0x1.d45d8d9a6ee6cp+292
0x3.59129b5ba4c7cp+928
0x2.984229e1c7p+648
0x3.5adfda1362dcp-52
0x3.fe343605b09c6p+540
0xb.870f183fe44bp+28
0x1.51cbf678c0a44p+704
0x5.db721f14e222p+948
0x1.f689bbceb07dcp+880
0x2.333f1da40efb2p+380
0x2.e4872890ff39p+980
0x1.1167fa18fc1adp+856
0x2.9133adddb446ep+948
0x1.f23c15077644p+516
0x2.2ea40f330624cp+76
0x6.d40fb7aeb64b4p+724
0xb.3a8816d09cddp+880
0x1.1550777d3fd0ep+700
0xc.fb4053adc6408p+32
0xb.88ba5f727d63p+120
0x1.20ac690e00bf6p+284
0x3.dfae33038fbd8p+424
0x5.e82f5a9157a6p+56
0x2.8b4307d2bd3e8p+404
0xe.fadba312ead48p+164
0x5.0812d1d5a769p+356
0x2.f26be9ff11b64p+816
0xe.6fe5e62b00218p+1016
0x2.1991c95c297a4p+328
0x2.710d8428b52d4p+8
0x8.e4fefc7a924cp+152
0x7.82f5f16677d18p+716
0x1.831ce5f3c4436p+820
0x1.7de8a1664d7eap+708
0x2.68accc691c53ep-20
0x6.dbf64e5b171b8p+152
0x1.347fc632a760cp+636
0x1.984981693627cp+716
0x4.1f5558f9d9cb8p-48
0x1.b3f5b8ab490fap+656
0x3.c0ae46033bba8p+200
0x5.a414ab9183af8p+540
0x3.892e62997606ep+28
0xc.45cac4fb76018p+624
0x8.7edbdc370c0ap+936
0x1.11c533bf1ba9cp+568
0x1.c8706771592fep+772
0x3.6beb247bf5d1cp+328
0x5.6ebd8b7666358p+712
0x1.993d7d1620a64p+876
0x7.6cdb3a29e79ecp+252
0x6.7a8210143f39p+732
0x4.0b6f7ce7e923p+948
0x6.990ac3773e64p+168
0xd.b5c37d7c05398p+128
0x3.fd99f79eeb8b8p+872
0xe.67ef289a0e42p+884
0x2.944972b7ca838p+68
0x3.b7129da4961ecp+120
0x3.349dc9c7d6948p+460
0x1.08f053a31556fp+676
0xe.4ac0c5b11e2cp+464
0x2.5da8f9324ae78p+48
0x4.be83a994acab8p+488
0x3.408804489356cp+416
0x1.635cb175c8162p+16
0x1.f2fc3060e29d6p+892
0x7.1c5133f0fd198p+596
0x1.bc0b176e630bp+992
0x4.19afe04fe1e98p+932
0xb.7a86525d370bp+572
0x1.05fba28b288e1p+136
0x1.54fbb9f7abb5ep+432
0x2.6bce1785f4c3p+184
0x7.46895bd9f78fp+656
0x1.101312383a7e6p+444
0x3.58c53663c521cp+500
0x6.ca713c542a5d8p+372
0x2.18c2532a1e114p+264
0xb.4923732b8291p+440
0xb.a686bfb8dae9p-28
0x1.b9546ac6fe9c2p+164
0xe.bc6f81cb5e6bp+400
0x1.33b9cd759817fp+204
0x5.969e42f376088p+76