aboutsummaryrefslogtreecommitdiff
path: root/benchtests/j0-inputs
blob: 14d901c914260003ee9f97d2edc51abbff0f96f3 (plain)
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 [-23,1024]
0xd.447c2c78361p+552
0x1.6464b5dd324bep+660
0x1.dcd519e1c86p+936
0x5.0a32ef3f79af8p+360
0x6.213e1b66945e8p+84
0xf.d1e6f2b42f7f8p+548
0x1.028a53e4c903dp+932
0x1.d793b37c40708p+944
0x2.260b7be806dc4p+60
0x2.f17f206ab777p+212
0x1.231b2bbdc1a4ap+612
0x7.7bdea07f9148p-12
0x2.97547a33d9e7cp+352
0x8.f406ac340115p+416
0xb.40ec38aba7aap+996
0x8.0577824701eap+856
0x4.584f852840308p+652
0xe.a0889625f6acp+756
0x5.0b6ea6e127a4cp+600
0xe.e489b0adaa0dp+904
0x1.71e534ed8bb22p+88
0x6.0612635cdbcap+416
0x1.3ff1fc700e6adp+644
0x2.235ae43b007eep+432
0xa.d70447a8cd488p+1008
0x6.8b971aa5c5b28p+932
0x5.b829a1430e7d8p+184
0xd.2e2bd7d34697p+1000
0x8.93c381f17194p+616
0x2.f5d3162fcb3c4p+1004
0x1.86ba2090d94c2p+608
0x1.e101d5ca2bce9p+100
0x3.4359bdcfde93p+68
0xb.9b03953fe9e1p+544
0xa.4f838e5b9effp+1008
0x3.7cf69bc7405p+512
0x2.8ea8f6e0e66c4p+96
0xd.68e2eec345038p+336
0xe.feece47f59bep+696
0x2.a038a423e5e4cp+768
0x1.e7350f633be32p+844
0xb.6df88ca2d25cp+304
0x1.29b02592c6c4cp+952
0xa.889b52b89bf9p+160
0x1.47d9e623c956ap+372
0x3.06896f5fc36fp-20
0xb.40fadcf4ec9ep+112
0x9.6122f006c9ddp+876
0x9.4b13ead4762dp+948
0x2.fa703f5705a24p+600
0x2.296dafd88265cp+804
0x2.a4de1083b7628p+468
0x1.1d3287b00073ep+16
0x1.83c471052356ap+452
0x4.51df86e5b18c4p-8
0xe.120e74a1e65ap+804
0x6.3e72bb5c5beep+284
0x5.6f7e05ae38c54p+828
0x8.7d0a4a4ee9d88p+364
0x3.bcebbe7847d9p+260
0x5.f332650777788p+736
0x9.1fac1b30ba37p+424
0x2.3d659cadd7c3cp+376
0x1.d7e4869eb31b4p-12
0x3.a009bcd56069ep+240
0x4.33e750631b718p+916
0x2.65d59f6468d5cp+248
0x1.da5f85148fe29p+448
0x2.4c88dccb2d64p+276
0x1.a33b0ebb71c94p+740
0x1.b4f0e99131cb1p+352
0xf.7a0247808c4cp+932
0x3.e1b4fbf79fad6p+1020
0x1.8264b03ac73c4p+532
0xd.1dde901efbf6p+756
0x2.924027e7c5448p+60
0x1.0e023c778ee19p+472
0x3.7bf04eff4d3e4p+236
0x1.a92c8250a7bb1p+652
0xc.8b8af6d2bce6p+676
0x4.bdbc076468a5p+100
0x4.2493e9f03bd54p+436
0x6.b021388979008p+300
0x1.e043b1173bb6cp+740
0x1.5fff2b632545ap+632
0x1.dddf21446c106p+452
0x3.25359784563a8p+952
0xd.15b1081c6d09p+424
0x8.d318c13acb78p+728
0xf.b542233e8997p+180
0x3.1f37e847e677p+592
0x6.0c76fa632beb8p+812
0x1.3663c02c78458p+540
0xb.1f46dd51c482p+704
0x3.22dc8e2271c5ap+148
0x5.3c149eb6ba3p+956
0x1.0a1ace208b78ap+920
0x1.27d6c21bdc007p+720
0xc.12ae83e9dca6p+984
0xc.2118c5a6f596p+884
0x1.33b8e77b1e697p+936
0xa.174d72c5482cp+104
0xa.0d9cd9d44b18p+488
0x1.684551382889ap-24
0x6.66964859226ap+828
0xa.1afd9b250679p+32
0xb.1b4f0ee78575p+784
0x1.bf7dcd721156ap+308
0x1.6d2cb4d377b05p+128
0x3.a91acf18273a8p+736
0x1.be72c1209e0bp+192
0xc.8264a01053728p+16
0xd.a33acccb7259p+104
0x8.14fcc00480d2p+64
0x5.d2a68348360ap+652
0xd.5133cbc060dcp+572
0x8.157463d18ba4p+920
0xc.743968d7e1968p+212
0x5.cc55077ad442p+64
0x6.82088dcf948a8p+668
0xb.e11e567b7355p+312
0x3.f9ecd1e9a7e1cp+904
0x1.e2fe35f73b6eap+184
0x5.ecb261c4822d8p+1020
0x3.1842b9f86b8e4p+328
0x1.69f9f830575e8p+620
0xe.b3eb298b9cf5p+924
0x3.3a6d421bc3efep+1012
0x1.836812b1491a3p+936
0x1.d3480374fa3c8p+208
0x4.f6a28b190c128p+104
0x2.6300ec9e0df0cp+740
0x7.df2dc0611ff58p+580
0xb.bc07b9419709p+828
0x1.a93f8a3a08df5p+332
0x6.599930c8c3c8p+952
0x7.99eecb9e5a9bcp+188
0x8.09216073db9f8p+664
0xc.f58b4456d44fp+1008
0x6.f1d796379f61p+432
0x6.1097ab8e864ccp+800
0x7.6faeaa84fda7p+340
0xe.0d92a7a0103dp-12
0x2.873793f6a04c6p+472
0x4.342ee46c50074p+168
0xb.04ec0d7eb80ap+404
0x1.a7c39c5cc94bbp+836
0x1.205a554b3f8ep+584
0x2.966918c849106p+732
0x1.0a63105ba84cp+496
0x6.cfd9eb08f8cap+164
0x2.0c6b468a1f99cp+936
0x6.cf6c8f5849d08p+808
0x7.f4f0a258f3414p+868
0x3.094db507b7458p+996
0x3.c9758be1ec3e2p+272
0xb.b5c4e1790e3p+928
0xf.3aaab54319b4p+52
0xe.603e9208fc9a8p+1020
0x5.880ccf35051c4p+944
0x8.29aeaf2aa479p+472
0x1.3d3934ffba2e8p+656
0x1.0e71ee3726ffap+144
0x8.9fa3e4d2ed41p+348
0x8.ecd3e09b110ap+972
0x7.c7a011d69243cp+400
0x4.b5b22c387cd78p+112
0x9.3342b09c31b7p+888
0x1.63fbbe2038386p+700
0x3.a7d554213cb88p+356
0x3.705271261d3ep+20
0x1.759ac4f20a09ep+792
0x1.b3aae51329e87p+432
0xe.99d12f67b5a2p+520
0x5.4084a29571b88p+888
0x1.5502935cb4996p+896
0x2.b3daf8f64998cp+920
0x2.bb0e02966e55cp+224
0x1.aa9f8181e03ccp+200
0x4.eb7963886f91p+508
0x4.44c24f15e7418p+288
0x3.f3744de92d9f6p+308
0x2.b65fadee9a6a4p+140
0xd.4b498e5365bap+484
0xc.d271f330039fp+384
0x8.ef68f56fca2cp+656
0x6.6d916fe45aa8p+964
0x2.22d95fac5affcp+356
0x2.5d794647d4df8p+976
0x3.1698289631582p+176
0x1.c4487f5ba80edp+272
0x3.3bd88d6a746bap+400
0xb.f53af7050e5ap+192
0x5.25fcb8056e848p+544
0x1.cf775381aedd2p+512
0x1.e72a98574c954p+308
0x2.5fc6caac9cc4ap+956
0x2.a7991a00bdc5ep+412
0x1.cff143cb86c92p+120
0xf.0c67362358f2p+1016
0x1.9986cbe574505p-8
0x9.d3007a5b8c75p+512
0x4.b02b4ad503c5cp+128
0x7.b94c35cdc6cdp+184
0x2.3e6233ed6479p+36
0x4.912452ac21e4cp+448
0x4.5e8b14ba8a27p+848
0xa.1cea3c89ed658p+284
0x1.42a6f670d3fdap+984
0x7.de084403f7d6p+572
0x4.c119b1c36a5cp+720
0x2.ec4272ec87ee4p+636
0x5.2434b0eb1ad68p+836
0x2.e01b8f8d773f4p+212
0x6.af2a9807a8fcp+40
0x3.dbd2695dd2e9p+844
0x6.db502e5b417c8p+300
0xa.04f2c0994fb3p+584
0x4.dc5bb11f1c908p+784
0x5.84aa7a5708c7p+760
0x5.667c81ba4c7d8p+956
0x1.6d3bd8a2939e8p+212
0x9.7dc777a46006p+64
0x1.9230a6536958cp+220
0x1.a1cda42f4de51p+508
0x6.f79cc2f208ea8p+304
0x2.7aa3823704474p+308
0xf.67d1dc60ee4p+804
0x2.c2857d032138cp+896
0x1.eae435540e748p+724
0xe.47134c74c53fp+956
0x8.f9dc83921f64p+748
0x1.0f55620d757cdp+468
0x1.3816d6a18d642p+260
0x4.c038f7d73b668p+488
0x1.407269222160ap+12
0x3.dfe3db8bac86p+896
0x4.3bd6d882b556p+104
0x3.c27e12adbb1c4p+948
0x3.7d5bd270a6bp+440
0x1.9c060c8eb264p+560
0x2.268cff4ad5092p+836
0xc.63f166bc7b27p+448
0x3.9a6dbdb702f9ep+328
0x7.4fbac4749de74p+224
0x5.292db991974bcp+540
0x2.72f049897b6bcp+968
0x5.57e0f15ef70ep+240
0x3.da33131a3a6ep+980
0x2.c8a472621a498p-16
0x3.181a98a4df3p+576
0x5.fe2b9e4eb1a94p+128
0x9.c88afcdd54b2p+588
0x1.1ad8c68273227p+200
0x1.33b9a825304f4p+952
0x9.0fcaff7c8c33p+504
0x3.820b13fbc4aap+384
0xe.c8a5afc3b1afp+652
0x6.97ab4bd658f64p+108
0x3.25332749178fp+468
0xf.d05a82531979p+744
0xa.abeb051e1c6ap+148
0x1.58bd31353b73fp+448
0x4.781684024d318p+48
0x7.4c4b55d8c4318p+856
0x1.461e3eadf651ep+228
0x1.cff0816a84a78p+136
0x2.a6ac811639a48p+4
0x2.aa55c14da96ecp+404
0x5.53ce36ee340c8p+560
0x3.f8108923a3514p+792
0x1.506946a32ca65p+608
0x1.5f18a2499536bp+736
0x2.457375001b14cp+196
0x3.f69a1738e408cp+928
0x3.6e6c26f72dae8p+244
0x2.527442d819c74p+176
0x3.590190a001338p+860
0x2.1794dfd35d95p+92
0x2.1833bb3477b9p+544
0x6.91435dcaa1c88p+920
0x9.9f6d80fa4c64p+988
0xe.559b2754b3fap+812
0x7.dbe433a186974p+1000
0x2.8430bbea774ap+768
0xa.1dd840e72f66p+32
0x2.e93667899bbfp+224
0x1.064b56bc58ce5p+280
0x6.a8820bb49aeap-12
0x2.777c3442a7da8p+636
0xe.96c18d4db0378p+936
0x8.dde8e44fa32cp+992
0x5.ba7f31983485p+76
0x1.3737909dfd41ep+160
0x3.84302ef49c5ap+1008
0x1.84d54f80ea8f4p+316
0x1.40f8537f7113ap+784
0x3.0ff846f0ab214p+312
0x1.4448f79dd3b77p+80
0x5.b916896dbc9cp+140
0xa.b24a5398f33ep+160
0x1.e66daa6c67f18p+876
0x6.bf975cc512d24p+404
0x1.9a8a2970b6f93p+956
0x4.ae8c42665ae28p+80
0x1.db4a82ac7214ap+368
0x5.cc20f8e3fc3c4p+284
0x1.599270322507ap+552
0x5.2760be021dbf8p+128
0xa.5a4ff626fbf8p+936
0x1.fd76d3627f7c8p+348
0xe.2aa0017b9e988p-20
0x6.346728300a668p+164
0x1.77e3f6f0cd12fp+984
0xe.b105576ecd7p+160
0xd.86e5d26d5acc8p+512
0x2.b91cc33fedb6cp+676
0x7.1f1511643a058p+32
0x6.37766b8a8f6a8p+92
0x7.66668ca57940cp+168
0xc.7b3382cebeafp+400
0x6.4213b5522bf18p+648
0x1.2d499660e11bap+372
0x3.40e2416d1a222p+988
0x1.62ed1fd05bf64p+364
0x3.96f6af11b3092p+508
0x1.ede1f33f241d8p+488
0x1.c81c23d93e7cep+928
0x1.de430b5453f91p+88
0x3.44a76f5154fa8p+532
0x7.f516c599667ep+588
0x3.6e5cbd7445e18p+104
0x3.bb0ebe278a8bap+312
0x1.786bd57a8cb4p+468
0xb.352aa0ad8df28p+672
0xc.b94bdae8577a8p+900
0x6.14560403fdf24p+92
0xd.c5bc3f9d81dd8p+708
0x1.e9a8bffa8a3c1p+124
0xb.3a764ca0e0dc8p+432
0x3.ea29d46c4e6ecp+360
0x3.567bbd3c1d008p+508
0x3.feff699ad064p+280
0xc.9a59d30caf858p+756
0x4.854b2353a478cp+580
0x1.ad1750adb590ep+244
0x1.bfcbfe79e1292p+884
0x1.64f1d6c525099p+1008
0x1.11c0b19a59e56p-4
0xc.55e70fdabf758p+120
0x1.051343caa7fe3p+452
0x1.a6b6568030833p+984
0x2.1c8b9170cb62cp+1020
0x4.2d4a208bac8d8p+444
0x1.5f8f54b44efeep+308
0x5.b1642fb030754p+560
0x6.810ded3984cc8p+904
0x7.3adb8221fed8p+268
0x2.ac1b36e36a3cap+480
0x1.a39066baaf5e6p+288
0xe.c8134e83f35ep+152
0x3.f1c6849d8fb26p+68
0x1.96fe693728bd4p+608
0x6.6f455f3193e68p+112
0xe.e403b62d4b3a8p+592
0x1.ef6a39ba59ac6p+972
0x1.5c15c021cdbep+860
0x4.17301ffc39968p+936
0x8.d7d7d022d54ap+172
0x1.eecf10b437049p+404
0x1.8c6d2e55a3c45p+124
0x9.62d0b34d3074p+652
0x6.0ca13bf97a7e8p+776
0x1.a15d615e53fcap+760
0x1.544e441dbf90ap+356
0x3.4174514be479ep-12
0x3.d588869591c8p+924
0x9.96a7c1dc75c7p+836
0x1.381d03f0590dfp+296
0xa.bec236f209f1p+760
0x1.a771972610f7ap+928
0x6.12f9d94063cfp+672
0xb.d3d65ec97639p+920
0x1.a025bc38383ecp+1000
0x2.d1279ee9c550cp+480
0x2.66c5ddadaff8cp+872
0x1.f5a633e9374acp+784
0x3.2d09f3cff454p+664
0x1.42956b7b9d396p+620
0xa.c001a02125878p+636
0xa.637df352d57ap-16
0x3.7da324480d454p+852
0x4.3d5df594562ecp+720
0x2.5ccaa8ea424eep+308
0x2.9ff71b4ef5aeep+344
0x3.c543ceb3b6e6cp+448
0x6.c470fc51f3804p+564
0x1.d1d86500c2998p+424
0x6.1793a595426b8p+516
0x1.77323ebf68eefp+416
0x3.071f49cf3a73p+456
0xf.5057e44628dbp+212
0x1.a9d7275dec33p+268
0x2.21c0718196964p+764
0x2.bce50a7b76af4p+632
0x1.88364f9318466p+156
0x3.ca0e498548cacp+912
0x5.56cbc888a0858p+468
0x1.e72e51fbb88b6p+360
0x7.750d103e52248p+208
0x2.ea7acf3667ca4p+548
0x2.d47297fc32024p+520
0x1.7ba3a624dff81p+116
0x7.4449a93961a3p+596
0xc.85d92fe3cacd8p+792
0x1.57e74798e78cep+964
0x3.480afbdf32c0cp+624
0x4.33d82cef0543p+436
0x6.9791ee4d7bbf4p+948
0x8.10a00bd6bc2f8p+704
0x7.5b5ff5eb6ac08p+480
0x9.a3a8dca7e7948p+792
0x1.1d37ccfd767cap+500
0x5.459d0668e11d8p+584
0x3.07dd0a8ce28acp+996
0x5.e8ea2bb2a6fecp+548
0x1.a6763347fe228p+896
0x2.de398e03ac934p+952
0x9.bc356e1d3c1bp+1004
0x5.43b3ebf7d57a8p+444
0x6.00f18f30bbe3p+920
0x6.f9420d2aba87p+100
0xd.f4f1cd4432e1p+160
0x4.d65ba68c36c9cp+52
0x2.6c7b3e9dc6ebcp+552
0x9.ec0952ae874dp+972
0x4.b6f8f311ebbccp+96
0xd.7e54c28f8e91p+332
0x1.23fdd282f72bap+440
0x6.f1766d9da871p+344
0x1.a8c538c1ec47bp-8
0xf.5965e5b626e6p+216
0x3.a54326ea086e6p+932
0x4.c0bb33a56491cp-20
0x6.e0348f11aae58p+404
0x7.cceb599fcdcc8p+40
0x2.84380295e5548p+508
0x1.0930fcb020fbfp+900
0x4.36c9bd2b0b9f8p+148
0x1.4aee1c251d664p+80
0x2.2493e4096377p+800
0xa.7b9ef3ef9359p+160
0x5.8a01edeafbb24p+744
0x1.72b0bda4e55ebp+224
0x9.c7794e20a52ep+708
0x4.b08df3641a018p+52
0x2.235a24826dfa6p+328
0x1.8880c439b466dp+864
0x1.34448d90a66bep+336
0x3.06d1295381d38p+948
0xf.b2418dd4e235p+688
0x4.7550476dc0014p+384
0x3.c3b1c9bd69ea4p+464
0xc.2008e42d97918p+332
0xa.ec7771cf405bp+988
0x2.724528d305814p+964
0x7.1c93ed560a47p+840
0x1.e231b0e53b5b7p+692
0x7.b9f028c3f61dp-12
0xe.133a2a9a61798p+60
0xc.d248141e3729p+320
0x4.3af9285abc6a8p+816
0x2.d7091922a9834p+544
0x3.655085a811ee8p+892
0x1.936656828d3a7p+708
0x3.b56b2f75b226cp+924
0x8.803c5ffc5307p+680
0x4.e048eb54b9b08p+344
0x6.e8cf25ad1b194p+1008
0x1.f375a065f7573p+20
0x2.7ba5d085abee8p+448
0x3.1a66c9808ba1p+808
0xc.30e110964fcap+236
0x2.750feaf87e208p+368
0x8.0e7daae69a72p+424
0x4.8a74d8e9f2138p+396
0x2.91861e1672dc8p+432
0x7.3170e4671b618p+608
0x2.1c9d9fabbbde4p+144
0x5.79e419dfe5af4p+756
0x3.f66f084550c22p+708
0x1.2e7c1087e4058p+652
0x1.1c7910e37f333p+324
0x1.4fdbc65e0bb96p+916
0x4.5c9f88524b8d4p+20
0x1.cc7b84a0f6988p+652
0xb.7d589d1f84bfp+544
0x3.03686bbaf57e8p+0
0x4.95e993f06bd64p+744
0x1.a3798bf9dd5dap+32
0xe.4f3ad3069be4p+456
0x1.57b2c51d14a96p+512
0x1.32ef1d5e68331p+136
0xf.fba65debece4p+872
0x4.b4c238b62755p+700
0xf.6af873035735p+252
0x4.662c90c0c3dbp+460
0x6.cfabec7802518p+564
0x2.64792cc749608p+260
0x4.dcaf436115a24p+200
0xd.86ff33eb52b3p+1020
0x8.11a6622753e68p+604
0x6.4a78e9cb1a38p+756
0x2.1f363d67a9fc4p+284
0x5.906e9a3c8bf9p+276
0x3.75ef5b9f17726p+512
0x2.1bfd601487646p+672
0x6.50d02ff80ccfp+768
0x9.4554af6edc258p+776
0xa.1901bd25d0f4p+380
0x2.e38e1b7e7e6cap+704
0xd.cd123207147a8p+244
0x9.cb1e214e911dp+888
0x2.3b1921bed804cp+40
0x2.28f409a03658ap+20
0x2.76a402e86eb9cp+908
0x5.8079215aaabb8p+892
0xe.6de9c9eeedbbp+892
0x1.3ec5c44d6c0acp+880
0x5.15f4466a344ecp+616
0x5.96645befeccf4p+36
0x3.43943b33808b8p+936
0xa.3962a3055dfb8p+900
0x7.f04f56f15d4p+760
0x1.ee0b23afc268ap+408
0xd.9f55ff2b1ed9p+688
0x1.6ae8fc63262ep+952
0x1.823bacd6cdc82p+992
0x9.7b77fea6c478p+664
0x6.e4ab474f0309cp+404
0x1.e61c1616e8d58p+936
0x6.dcee4ccf8a47p+344
0x4.60b5c44fe831p+572
0x2.8110b995da142p+12
0x2.c513cb0d5eb7cp+80
0x7.66b4220a2fc4cp+296
0x5.6d2c6bc0cdf6p+828
0x1.5c57a62b64598p+828
0x2.699b24a7e2ec8p+536
0x1.e1c1ef8c12578p+860
0xf.f2d889a43b04p+388
0x6.51014548bfebp+200
0x5.6ac02e78f4b48p+888
0x5.a7f23853db428p+608
0x1.e22799319c0fap+8
0xd.d07efec68df58p+444
0x9.41b759bd1406p+764
0x3.2a845a788a024p+580
0xc.36f7ebd38fdcp+832
0x7.33df5218c217p+412
0x1.3cfd1c2179274p+220
0xd.fff657960459p+620
0x2.58c29b36a8528p+668
0x4.cf24b6cfbecc8p+584
0x4.9833ed021fc2cp+428
0xd.049b6920ec0b8p+160
0x1.df68676fac8c1p+624
0x7.b7130cfb86e8p+504
0x1.da72dd20c190bp+880
0x7.fc16b3e6f2d78p+744
0x3.5b223627ad3ccp+588
0x2.46008d7348e78p+540
0x3.342a93250630ap+452
0x1.0a57822f222f2p+64
0x1.f8da6ef32da1ep+152
0x4.681534c9b4498p+836
0x9.c4c6dd2a48fap+668
0x4.5c09749115728p+444
0x5.1f0fd8125565p+444
0x8.908ce122b1078p+488
0x3.13dded32c8584p+32
0xb.3c47ec7f3cddp+684
0x4.abc2b35e7152cp+656
0x9.2a4612b1103b8p+952
0x2.b91fa983a5e66p+304
0x1.e3f868609c6ap+300
0x2.ce175937c4dd4p+100
0x1.f58d42741785ep+372
0xc.4b0cba7c26c5p+664
0x6.5369f38ea0884p+636
0x1.11f1cf27729bp+692
0x2.0d02c751c1228p+552
0x6.c32a26d780648p+888
0x5.a90190462b8b8p+664
0x2.0dc60c187cf88p+152
0x4.07eeb219a233p+664
0x1.a4fb1b15dd828p+468
0x1.49af79c6884c7p+292
0x2.f9ff7f637a5bp+100
0x1.289175cbc329ep+756
0xe.5bc185c6ae498p+348
0x7.5143fa039fac8p+56
0x4.48abb9775e968p+856
0x1.fca4fe94a2147p+316
0x5.7ae36cafba57p+860
0x6.8d1b1513ece24p+468
0x3.9b31d41f5e318p+436
0xa.016151473fb5p+380
0xb.706d04ea30c4p+848
0x3.1e3f2a060ec8p+324
0x5.1367664f13888p+680
0x1.9d81996f3e5b8p+504
0x3.88a0b10a910cp+68
0x1.b4a0ef0f69998p+840
0x1.90b2ed338c9ebp+364
0x3.27945d884b46p+328
0x2.b4b589a9ae9b4p+1016
0x1.850473640834fp+544
0x5.266c702a18b38p+984
0x2.c441875e053f6p+112
0xf.0d52b072dc168p+212
0x7.525d2ec4806d8p+0
0x9.e82f11ba98508p+480
0xa.4e7d5159983cp+796
0x4.56c07ae49091p+620
0x5.ad571a714441p+332
0x3.e2805a0f75ffp+32
0x4.cc102d368932cp+168
0x1.86dda3e69b42p+576
0xc.b9867dcb0d3f8p+688
0xf.6e996b52ed0fp+896
0x1.f110a2f2d1006p+920
0x2.9337bf2136f68p+672
0x9.4f5f9d91d163p+912
0x2.ae490928ee4c6p+544
0x1.848f5d8966669p+968
0x8.d130ee6c00e2p+156
0x7.35786e9de0b8p+476
0x1.c4c175302bf9ep+888
0x1.02d23a1849aaep+664
0x3.d10e565514272p+164
0xf.fe96fe774a28p+920
0x7.8e8dc8848e36cp+964
0x1.afcb67ad4e5fap+780
0x3.7bfcdae24523cp+528
0x4.f72f67e5c038cp+388
0x3.b306a76d9523cp+652
0x1.03613e071e6cep+140
0x2.511e000d554acp+772
0x1.beaee1beed94ep+480
0x6.90d78959d3aap+684
0x2.11efc569e2fe8p+972
0x6.43998bd264a74p+636
0x8.e73ef019373c8p+68
0x1.e626a3da0d3bbp+436
0x2.3f9c34bcfbd5p+996
0x1.cb476e1b7d2bcp+36
0x1.3138c45d4496cp+828
0x5.7efba48dec02p+212
0xb.fb077a62252cp+40
0x1.ffeef3da6e3cep+652
0x1.12b83290a5582p+864
0x3.f18a3f36eae8cp+48
0x7.e801911c5d1bcp+1020
0x2.cdafda7ee06b6p+496
0x7.6ad2e7451b8bp+984
0xa.f91c6718aaa5p+412
0x1.3489be8db1698p+600
0x3.d3fca62aaf438p+604
0x7.dd3a17cc8cbc8p+816
0x2.f48bac62af2cap+296
0xb.15f6d7801fbdp+772
0x3.0cbbad2658188p+320
0x1.4f9b85b1676p+364
0xc.d960de27d38fp+504
0x5.b7022942e02b8p+620
0x5.8e42ef9dd979p+360
0x5.9076a284ef47p+716
0x4.0b667ab8eb0f8p+956
0x3.928e63bf70932p+44
0xe.16071ac8f46fp+616
0x6.2bdc85178f12p+16
0x2.c4c9703ef849cp+764
0x3.7850430d63a7p+96
0x2.0b0d8a175379p+500
0x2.e36a168a16da8p+176
0xf.038c5844896ep+624
0x4.7e1839370476p+744
0x2.b8ced8f208416p+412
0x2.fd02f17e1813ep+160
0x8.61f51fe1b3c8p+384
0x1.19b5e97942b25p+952
0x2.f242b59843fcap+560
0x1.e1086b7c5af91p+244
0x6.d8647fd4dd5p+256
0x3.401911f853a1p+260
0x1.16f920cad84e4p+976
0x1.7557518bd617p+472
0x1.96a35c384f8b3p+168
0x6.fa8f83e5f232cp+828
0xb.6103a0fa1105p+320
0xe.83931bd15e8bp+368
0x8.2bc0c32c712ep+8
0xd.a8fa95e288aep+480
0x1.037dbf003673p+804
0xb.bc9f7249ed0ep+840
0x5.d99552826439cp+228
0x7.b7efdb9ecd4e8p+832
0x1.32dc277676ffp+1004
0x2.308b94ea88f6cp+412
0x1.86d46f90e0549p+140
0x2.f96343b675244p+372
0x3.f42b62651d3a2p+28
0x1.18844e83d491fp+536
0x1.bc58355e469ffp+424
0x1.e5389a8423f02p+252
0x2.3b85764c89a4ep+608
0x5.0934c43fcf6d8p+324
0x1.bc973e0667afep+248
0x1.aa01a31d205d1p+188
0x7.95ab26407e544p+12
0x1.00702e355318p+764
0x3.a9f4522ca433ap+796
0xd.17d42c6ac427p+720
0x2.671e4b78ec8d4p+436
0x5.700d953c5fb38p+352
0xd.5d0d18f92c3cp+716
0x7.4187c35343ce8p+812
0x3.1bc8e29dbd148p+780
0x4.6b6f1079a010cp+560
0x1.c1101c3ba876cp+244
0xe.2a51a4b4d146p+528
0x2.bb9f5b94675e8p+740
0x1.ff4ab799342d7p+268
0x6.f62bb27632fap+692
0x2.158c39ffbc694p+1008
0x7.912970acf7f44p+924
0x1.4e5413d21f11p+840
0x1.26bf875d00266p+884
0x1.79f78266f1fp+952
0x5.99723c23e13dp+100
0x1.5ff5d03989274p+548
0x7.b7f846a65be68p+76
0x6.8ade6b94d80c4p+56
0xa.27656e7e2985p+252
0x1.5fdb93c5499f9p+248
0xa.bc1bdb32188fp+204
0x3.1c4b57dfe838ep+224
0x3.704e31830a16p+676
0xd.be7355dab16dp+604
0x1.57d5f2c8655c5p+64
0x3.e8598340b06cap+884
0x1.5f7e3c77ce9d8p+780
0x8.88944f25304bp+592
0x1.8c2ca4d55365p+352
0x4.cedc0dc95d5c4p+888
0x9.53ffa734b58fp+640
0x2.c2b17013eb584p+8
0x2.63ca4bedd28e4p+164
0x1.827e9225bb60cp+532
0x2.ab339a40e0294p+320
0xd.6624eb5652fdp+252
0x1.9a6996d38528ep+488
0x1.f83a4572e14fp+292
0x1.a3abcb95c9aacp+560
0xf.284aaf8dcb9dp+348
0x9.9e591d15514cp+952
0x5.ce160c719ff08p+464
0xa.6d4bb84e7d04p+408
0x2.2808a6ae3e22p+224
0xc.0311f07d5207p+660
0xa.f8a94ad2a9cbp+80
0x1.78b9b005a10cbp+516
0x2.1b7825effa53cp+628
0x2.bdd2ff23a3854p+404
0x4.06cbe4283046p+472
0xe.5532295ad396p+308
0x3.32ca66d3c82d8p+980
0x8.6a0c3d8c72d2p+40
0x4.a7b04272e18ep+856
0x5.d76c6aaf62978p+412
0x6.366d1b255891cp+172
0x1.e3743cfb1892p+668
0xe.1f97e0422bcdp+128
0x3.937e3cc9e3d02p+64
0x9.e7ad537e104dp+188
0x6.b65a4565dd0bcp+124
0x7.42c191d1a1358p+304
0x2.259c775f35a4ap+788
0xe.ac711fe7d3e78p+492
0x1.8128354536f58p+312
0x3.45ffc7ffe12f6p+616
0x1.cb6f268d9281fp+200
0x1.425e3b8e006fcp+300
0x7.ce0ae6bb58198p+732
0xf.2f697ebbb1fp+692
0xe.b21eb40ef3f2p+632
0x6.de06e9b0ab57cp+744
0x2.6ddf6515e9504p+16
0x7.a82aea7c541ccp+704
0x3.24e2e76039d04p-16
0x9.21a8c95c8deap+588
0x2.23849dc388b8ep+288
0x3.2201a18d069b4p+116
0xb.0d0cb159d8c6p+412
0x2.c080671f12a74p+964
0x1.d7c17b8f9ba3p+360
0x1.c0af85a83eb76p+208
0x1.a5293e2cf3e02p+720
0x1.8b25658817c9cp+904
0xc.dd0f48f0e993p+476
0x2.a13612839213p+584
0xf.555b1597fad7p+216
0xf.a9e2eb88025p+584
0x6.3af427493d9d8p+420
0x1.f7ec7d7d98b8ep+576
0x1.733a0df639a58p+848
0x7.4bc3e7a3dbbdp+316
0x1.4f82c0e7a38eap+1004
0x2.c9fda69c36e9p+204
0xe.9a07b56fb7208p+260
0xb.b6d88b4911378p+336
0x1.35482f45c8fd1p+656
0x4.c1f5293199fp+984
0xf.95ece3291bf9p+928
0x7.3c1f18b3eaeap+356
0x7.7de76c477b8p+272
0x6.f676912527a7cp+228
0x8.53b7d92f0b5ap+732
0xc.e2160e18fd7ap+912
0x1.0f2229fd855c6p+524
0x1.b644da26fb37ep+384
0x1.d212e22e919b2p+536
0xf.377c01a7407bp+788
0x1.77865315ced2cp+760
0xb.d3d299544bdc8p+452
0x4.c96ab40ef9c64p+684
0x2.d72cf2ff2fa8ap+488
0x3.481236545c234p+708
0x1.232ac25a7a474p+460
0x9.c09c327ec8bcp+528
0x1.a237b0a1524b9p+744
0xc.8cffa51f81a3p+440
0x7.782129c3d44dp+696
0x2.b779bb4467c3p+352
0x3.79df70ae1033p+496
0x3.d1c3d9307a864p+432
0x4.508fe083498ecp+536
0x1.6e35722a0b3dap+512
0x8.a6396abc8a5d8p+504
0x1.4ae9baec27686p+212
0x4.6d91d1f93ec7cp+200
0x9.ca0918138d958p+1000
0x2.0a4a73b76d19cp+828
0x7.8bd1749b61378p+480
0xf.8c07d521ffafp+12
0xb.fc89648ec7fdp+440
0x1.3c68dd383ac76p+724
0x6.97b68317e32dp+104
0x3.1f42c8c8f94fcp+716
0x5.18bc0cd87585cp+20
0x3.a2340bccd1844p+484
0x2.840894c89a242p+960
0x9.b90a74616992p+920
0x1.2759adcbc463ap+616
0x8.cff6391e122fp+452
0x1.e16ae343c525ap+700
0xf.442178e2301bp+328
0x1.4ef855aee0cadp+764
0x1.d3901a4fee2eap+556
0x1.ca08a502edaa4p+500
0xb.7200d80217a3p+932
0xa.ef43b9151723p+724
0x9.a7ef9b1491f6p+264
0x1.970b416c593b4p+724
0x9.d6e357897e2d8p+752
0x1.9137a0733c06fp+276
0x8.5d98abcf215c8p+316
0x5.3824a5011dc74p+604
0x4.9a8fc9ce5a638p+976
0x1.c88cec68f7bcbp-4
0x8.31bd7747df118p+8
0x2.d3fdfbc68f88p+84
0x1.71474fbdaaec8p+100
0x2.85e8ce325e8a4p+396
0x1.0f44915adab8cp+528
0xf.adb68622acbfp+416
0x2.4c4c7bf341c0cp+976
0x2.c8cadb9f152b6p+992
0x7.2e3b2c16d831p+496
0x1.48e8dabf1dcp+688
0x5.2827182b077f4p+112
0x1.e7b48b30956eap+1000
0x2.849fa1acb057p+508
0x2.6e34b3ee10af4p+816
0x3.0e9ba2be418e4p+236
0x1.783750e8476e4p+712
0x3.96c3d21bc27b4p+428
0x9.4d31514bd526p+312
0x1.437ce37526076p+888
0x2.af8c275da4a22p+32
0xf.3546870e73abp+304
0x4.4fc7a9dbb186p+1012
0x1.99d1b34e76768p+488
0x5.f07a5eb512a9cp+752
0x1.19370798f91cfp+852
0x7.0c56bbaf88218p+48
0xd.3c0f3cbd9a628p-24
0x5.d619eb5dc0738p+252
0x1.febefc426bfdbp+528
0x3.b57c448f480dep+652
0x3.b3d0deb84899cp+868
0x1.7fbdd1a276072p-12
0x1.146219f2e6f06p+276
0x1.1706f1904c3eap+972
0xb.29dfbe706fa68p+312
0xe.d96b78f97826p+492
0x7.31392ecd43098p+20
0x2.7c64fb58dc77ep+412
0x7.91e8f3ca2c948p+936
0x5.0a3fc9899a728p+548
0x1.7e97380d8033ap+336
0x1.173ac93694d45p+720
0xc.21adee7705b18p+504
0x1.ac4c128d7430fp+640
0x6.1d600a7ca8a8p+256
0x1.0afa3766cfdf1p+616
0x1.a30e2ddba298ap+548
0x1.ceb6e242dfcf5p+20
0x6.a46b818029478p+212
0x8.c34e072f8df68p+96
0x6.387d96d78f3cp-4
0x4.5e67756fca6cp+196
0x1.5e9605a8244cep+348
0x1.2ee37474853f3p+920
0x9.ed8649a7fdf4p+664
0x5.621b0c30ac01cp+860
0x7.71e094b4011d8p+456
0x7.c46cfd8bbd8f4p+908
0xb.117acd6369ecp+940
0x1.5257ce6bf695p+208
0x2.77decff8e5c5p+120
0x8.0b6ba614b494p+952
0x1.83efe58d5cf9ap+68
0x1.a377f82043057p+408
0x5.2b9a1da6f6b08p+592
0x7.88a7de7b9d864p+308
0x2.1f56a80bb4034p+52
0x2.94431d5a1a148p+804
0x3.3ba4519cd5d3p+688
0xf.a005bfebf785p+300
0x1.653bd437fcfb2p+248
0x1.eddfef1371d44p+40
0xb.5676b80dd9da8p+904
0x1.4c9f3009eb3f3p+172
0x1.31247feda91e4p+960
0xe.8f4a26201e79p+128
0x6.5d578834adc34p+344
0x6.ec87893c048ecp+192
0x1.657280f5f2f1ap+392
0x1.1e90b0ea0c544p+556
0x5.9b5255e9a4abcp+760
0x2.d3d2d683f74d6p+44
0x2.8df79261dbab8p+96
0x1.0aa1e518d5eefp+624
0x3.36f4588e2605p+628
0x3.d0517a1153b2cp+656
0x8.fac877d51946p+300
0x1.00b28b2ac3fbfp+584
0x6.0300c48bb2928p+244
0x3.0ac9826059124p+892
0x5.c5d00fa9bd99p+904
0x3.a56fa76ee883p+696
0x3.1376e2acd4bd2p+676
0x5.ce18e760eb80cp+68
0x3.50cbc95837c18p+84
0xe.da5472e153258p+388
0xf.0924938f76edp+900
0x1.95695a2f8a796p+572
0x8.6c1aa6cf39178p+652
0x3.e375724c050a6p+928
0x1.dcdc0014f2c6cp+1004
0x3.3a498de5e902p+24
0xa.ca56533cd8ecp+724
0x7.dcb2d093642c8p+616
0xc.4394f165c79ep+688
0xc.6ce7582fd6a9p+464
0x1.efa190b6e0f83p+596
0x9.8b6bf73bc061p+408
0x7.8bf58669aeb8p+380
0x1.f720a15a1c79p-20
0x2.bdc996ec74934p+320
0x2.96ef2f30866dcp+316
0x7.cb09f83280988p+156
0x7.70d244b8aff4p+240
0x2.b8b7b799d1a58p+624
0x4.dd2ff19170d24p+552
0x2.b322ec8f4a5bp+572
0x1.ccc5257a35844p+956
0x2.c2389e4d7e548p+608