about summary refs log tree commit diff
path: root/benchtests/y0-inputs
blob: 8347e76981c1594540e260ad271153e075c01f39 (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 [-1073,1024]
0x2.70cd267908924p+292
0x1.e00cd73d4d482p-552
0x3.bd22c8229fe5ep-712
0x7.da436210449bcp+124
0x1.559aa5b1205aep-948
0x6.992688b89cc18p+176
0xb.22011754a519p+132
0x4.3bd7c6d4772c8p-436
0xf.7a3aefa24d108p+964
0x2.5fbb9e0b0d678p-608
0x3.41d26b1d7726p-316
0x1.725b40cc05ffp-808
0x1.12456621caecp-580
0x1.271585384ecep-140
0x8.d77b6e18be038p-464
0x5.b7ea80ee655p-796
0x1.16908dfa183acp-932
0x2.220748e0c2d0cp+556
0x3.b461f1f51c6e4p+432
0x2.c45861b115346p-256
0x3.c850f35fe3748p+20
0x1.48591b2e218bep-956
0x2.505e63ed638ep+456
0x2.d4f2d00b0ea58p+600
0x5.7fb17e159d564p-420
0x4.ef71cd1c4cc9p+12
0x3.cc432b9d4c94p-352
0x7.e252b20d60028p-844
0x5.ba0145a47279cp+884
0x5.0d71095ab034p-304
0x2.27e991147c4dcp-648
0xc.d6adef963d3ep-8
0x9.5b249176b4ecp+884
0x1.8560f30fe19fap-1028
0x1.7e3b504dd34c6p-600
0x1.806b5ad17b7bdp+944
0x1.f554ce3b513f2p-348
0xa.407246273f718p-680
0x1.73c9e88e0a1cp+120
0x2.b401471a4acdep+632
0x1.85d1d6e1719f2p+672
0xb.196774c8c989p-596
0x1.aff75f4cd321p-952
0x2.a722108905246p-748
0x4.562f5599fc8c8p+264
0x1.1af9994e82e7ep-316
0x2.9850dbcfcaa08p-188
0x1.f2138ccc7b317p-304
0xd.acfb0fe98ae18p-644
0x3.a79cc8aec249p-364
0x2.01969b0a2ca9p-1004
0x7.415b5648dda94p-872
0x4.e7ffd4446e798p+8
0x1.925430ef4eee3p-676
0x6.d87011a8d18ecp-736
0x1.9d68c86c59043p+840
0x3.45c191e903ce8p-544
0x1.3c15d0993b778p+864
0x1.744881ab6b568p+144
0x4.af1e7a72bdbap+328
0x1.0bc763be1ce12p-284
0x1.49205f38d1293p-1048
0x7.8f15c2a366ff4p+340
0x1.025a43118e3ep-1068
0x6.91aa1553405fp+220
0x1.c7108f35f0f74p-932
0x9.76a91377561f8p-388
0x6.eeda1fb61deap+484
0xa.ed30da8925a58p+288
0x8.b1ac6e7e66cep+908
0x2.dc3d6b3dad748p+228
0xc.e348995f6cbep-484
0x5.fac0a901f4b4p-392
0xe.c2e9b57261cep+848
0x1.2cb0efde64cb8p-984
0xf.f0e051442e0bp-688
0x1.929d4130f84f9p+272
0x3.9f60f5e1e67bap+448
0x1.4dcd09fbe702ep+528
0x1.8162efd81d37cp-436
0x6.3356d7ceb399p+992
0x1.6883db3bbcf42p+80
0x9.1edf5540269dp-592
0x1.d13425d020015p-440
0xa.2ca0de2b28bp+104
0x1.1cba59527401ap+828
0x4.1308708dabe5cp+52
0x5.9ac6ec2f147e8p+764
0x1.04fa4dbcde92bp-372
0x3.c7e48b4782b14p-452
0x4.3db000c1dcaf8p+900
0x6.d5eb7a65408c8p-328
0x6.5c8838adacb88p-524
0xe.10c31a6cd917p-172
0x9.b579ab144167p-944
0x1.4b63146acfcf2p+4
0xb.a953df28bc468p+516
0x5.f3d8f3e37eb14p-944
0x2.376abbcd86bdp-96
0xc.9c34911a493b8p-484
0xf.6e2a69634845p+732
0x1.546d1357cc7fp+896
0x8.5350d8cd3731p+304
0x6.0bb80aa7b89c8p-132
0x2.085d119ce6438p+716
0x1.10b3c121848d3p+664
0xb.6dddca3ac359p+668
0xa.51fc6fb595f08p-696
0x3.a55d4d13fbec6p-944
0xd.70f48fe212f3p-920
0x3.42e8166d042cep-852
0x1.ce7d2863c81fap-576
0x3.0428abb861dfp-1064
0xe.afabd6fc983cp-940
0xe.a121a77d2d9b8p+344
0xb.30835ef1a9a9p-336
0x3.18576c06fdeb2p+532
0x5.580681fc5c9f8p+664
0x1.d69152a45828ep-580
0x1.29d511527f461p+468
0x1.caa03f4dfea18p-312
0x1.a62e378b1895cp+4
0x1.b801a57de13b4p-1064
0x8.fd7d8ae299bdp+572
0x2.d534ac3882516p-188
0xf.e6de529c2a32p+320
0xd.4fe12dd2e1aap-96
0x6.6bf811d7ea668p+104
0x6.9cf744789f508p-808
0xb.71ee9f31dde1p+64
0xc.a4ed5bd46f28p-80
0x3.c1b93a371805ep-336
0x7.4c1bd962fe5b4p-896
0xe.ee4748511f9dp-964
0xb.dd061b3bf033p-252
0xd.5d88eac31a17p-96
0x3.4a90b1a6a628cp-1020
0xe.06d48a573a99p+852
0xe.73ca5f32c54bp+380
0x7.c8ef1104eap+212
0x2.44c73741077b8p+368
0x1.dd618afab13e1p-424
0xc.3036afbeb299p-796
0x1.d13432bd133ep+192
0x6.1cf5a6a9f8a58p-768
0xc.aba80eef58bfp-96
0x3.22d72864214c6p-8
0x1.eae61ab69acap-372
0x4.0f3fbf69fad9p+52
0xc.1ad45615b94f8p-912
0x2.1ab1d8ddd8992p+584
0x1.30d1838d2cf63p+712
0x5.17a2dae494cc8p-736
0x3.0852f5593fep-696
0x1.f494e346505eep+48
0x5.0545faab4148p+176
0xe.1b137605fb318p-236
0x3.b648d11032976p-120
0x1.6d7add25344fep-24
0x1.1ed99dc3286c8p+140
0xb.7423356352b38p+332
0x1.8e09b2180a152p-632
0x1.6727d5ec5f01fp-228
0xb.29c23c387cd7p+644
0xa.2483fb80dbcdp+84
0x5.8ef717982fd78p-616
0xc.838a251d6b73p+884
0x8.acf40f940169p-856
0xe.e7508961774p-784
0x1.61805bc64bf3cp-96
0x1.3442cecbf9d2p-832
0x1.639e8e22d2c18p+796
0x1.070fc95c576fap+280
0x8.681e4a8073258p-704
0x1.3c9f65eee73e2p-584
0xf.fb87248e8dd2p-316
0x1.5e65874e8a35cp+452
0x5.a33fcd6ab47ep-972
0x9.4b51346ae0fd8p+932
0x2.6e4f51879af02p+28
0x3.a66fb4d7ed3acp+1008
0x5.42699e4423c88p+76
0x1.edfea3c657458p+92
0x3.8b30d34219564p+260
0x5.9880a6dd042b8p+144
0x2.838443a165af8p-256
0x7.595eccbdf90a8p+628
0x7.6e05a356ab8b8p+12
0x4.0dab4247ccc8p+232
0x3.4436c197707d6p-96
0x3.301e0c5ced4c6p+184
0x6.08162002aaec8p+556
0xa.7e63a46fc5098p-1028
0x4.76175c328c93p-324
0x1.2b1f6725f0b0ap-988
0x8.23aee984ecff8p+800
0x4.7e1b6f78e2848p-188
0xa.332cc325726ep-824
0x3.0da8dd22aa988p-952
0x3.6dd47a7fc46b8p+960
0x8.4c34a5fd0efcp+16
0x6.f9fe0224387bp+696
0x7.dcf976ec1316p-860
0x9.b2f09b8072b3p+1008
0x3.595a0d5ec1266p+84
0x3.93f9cdda47e64p+956
0x2.3457380cc8814p+104
0x3.957628940b994p+372
0x1.5e62028a00873p+64
0x5.3ee5668de4dep+248
0x6.1c08234391b3p-156
0xd.85ee8006079cp+588
0x5.4f7a5fb5196cp+392
0x1.3ca967357cb8p+456
0xe.62e0cf00124b8p+396
0x1.14728d983aff8p-968
0x6.3af708ab09b14p-412
0x1.96c7b08947b63p-1024
0x7.a8e1a6888ded8p-1036
0x5.c4a6ba9ef584p-620
0xd.9f0bfee7f1978p+928
0xc.c2ab518548cep+804
0x9.55da70f0ceab8p-760
0x7.bab50021e1c98p-716
0x1.d85b535e276dep-540
0x6.bb2a59c8ac558p-648
0x6.f64107fe5814cp+648
0xa.738bcadd1d1cp-1004
0x1.d55612bac45dfp+468
0x3.9d37416cb62ap+144
0x1.46fb233e13afep-616
0x1.0e544d3a32964p+76
0x6.5d77516fc76cp+604
0x1.d546cb080982ap-664
0x2.b9011f4d7cadp-208
0x1.9864c638478fcp-744
0x1.9fa6349d31d1bp+44
0x9.5f5b2c7aab14p-120
0xc.b18413fe9996p-76
0x1.4c433f6c2617ap+472
0x4.50aa3c880c01p+920
0x2.eecc96e1d679ep-476
0xc.8ca864f5d24p+444
0x1.6dead198df50ep+48
0x1.9b9af3f311a34p+664
0xc.69b1c7bcbf06p-1068
0x1.de63ab70317bap-216
0x4.c7e9f5ef942p-1068
0x4.7e0c9446c7fa4p-460
0x4.112d2b9c38f84p+524
0x3.f3018905b7becp-860
0x3.835498c8b5208p+100
0x7.365bf3f347e7cp-200
0x1.7a79f9684a4dep-332
0xb.d6a56143a20cp-1052
0xb.8b9c8575d85p-472
0x6.13ec32fec5888p-96
0x1.3c38ff980ba1fp-516
0x1.b91bfdc9ff0c3p+636
0x1.6210e94e9d038p-32
0x1.0296da5ea51cep-572
0x2.794c6bd5b2e68p+160
0x2.d091f78031034p+24
0x7.d35b48f547ef8p+100
0x5.543d805b063b8p+764
0x1.58a4b9735de22p+576
0x1.2ea0f8a51bebep+60
0x9.7a39242670388p-752
0x2.8e0c94a102eb4p-8
0x2.a30297349497cp-76
0x1.960ad2ba8bf42p-692
0x1.ab8b5f5a2b93ap+164
0x8.d4dc0c7321e38p-52
0x6.ec42dec0994a8p+472
0x1.e2022b4762e98p-400
0x7.7d206e6da97f8p+160
0x8.b9c115eabd1bp-152
0xa.806d2f399ed3p+60
0x2.88626cc8f053ep+816
0xe.f3d77b3467c9p-328
0x2.9aebc8c7198c4p+580
0x1.1c2cbcd37f3ep-592
0x8.8fa6fc3390448p-1052
0x7.4370ba037bcbp+100
0x6.7f3614af2e2acp-224
0xa.ab687f3d5a7fp-564
0x9.7ce1e301ccf7p+320
0x7.123830fcf4334p+472
0x3.b93cdd144f86cp-904
0xc.37d97182bea98p+332
0x1.cf30d56f74fa8p-1020
0xf.780ca413a1e8p-988
0x5.14dd0f64d0b28p-648
0xb.9d156a3720a58p-1044
0x4.6b6b4c91e5534p-568
0x2.21d20b3b58a02p+488
0x3.0b98b8cea0f24p-860
0x1.9822c9f3a1786p-928
0xe.2841918fe1fd8p+132
0xa.7903ed05b4a38p+124
0x1.0f6f0b3f1f814p+256
0xb.84406bb19e96p+496
0x3.ca26a50775c24p-80
0x1.3347ac78c4718p-320
0xa.d47605a17439p+72
0x2.1d67e690f040cp+1004
0x2.72419c84bdc04p+960
0x1.ee851a1c360f4p-60
0x4.63b306da57a08p+504
0x4.c49cd61daa3fp-780
0x1.0a1128dce3739p-324
0x4.3c565dd4bb6dp+64
0x2.65bf4544e2714p-312
0x2.1375e25cd7ae8p-376
0x2.20489e22efa1ep+0
0x2.cbb875583a60cp-96
0x2.08671640ea02p+36
0xe.90412453ba1fp-228
0x5.724cfdcfa8e68p+152
0x3.89335d6a58efcp+60
0x2.48244d90feb8p-32
0x2.f2eff3a7faa2p+744
0x6.509870eabed64p-784
0x6.1478503976ea4p-368
0x1.e93bf1da14cfcp-640
0x1.0bbee67132cb4p-556
0x6.6a6e563fb696cp+160
0xe.d1c66b70562p-500
0x6.2bfaa929b29ep+548
0xd.2f67a0ee5c21p+764
0xa.2f7a413f03188p-568
0xe.d6f1e2b57f38p+236
0x7.4b252d01435bp+232
0x3.436cda8256b4ap-708
0x7.bccb19a42b508p-608
0x3.0b6c0d114afccp-136
0x3.99cbb0d6ed21ap-360
0x6.7233636e226b8p+724
0xb.7be51a9264938p+592
0x2.0700d308d3546p+172
0x7.649c33a33357p+1004
0x3.0ba802649e4d4p-140
0x1.e9f0581c364cbp+796
0x9.46b71bd685ap-652
0xf.ae6cd5e2f6c6p-132
0x1.328297a06620ep+416
0x1.967fffc838929p+92
0x1.85eaa228124a8p-232
0x2.dc92342313fc8p-612
0x1.2d9d2e7181288p+672
0x1.ddcda668b7cccp+364
0x1.a9301d5e1ad3cp-708
0x1.f86d5abf5dec7p-968
0x2.f23fb29ab2adep+0
0x1.439b71872fcbcp-876
0x3.af759b4756e32p+948
0x6.a77dac26d1aa8p-72
0x1.27308d821ec66p-272
0x1.19d6408f4959ep-504
0x4.575891452a938p+756
0x8.6a818cddbd8fp+388
0x2.74ec2ad1abb24p+840
0x2.f67c93a60cbbp-444
0x2.128f2981f2e0ap-184
0x9.bef77576e047p-1028
0x1.39bc02f217cb6p+380
0x3.8f90df84f1cb8p-520
0xa.122deaf2f1d2p+640
0xf.138a0ee59d71p+592
0xb.7c66031a7738p+532
0x4.68d34ac4ae554p+780
0x1.4773f4d608ef6p-840
0x1.362f948a9ddd4p+404
0x2.65be233b2832p+412
0xd.a518aedf45c78p+884
0xa.8ba5ca00a6d38p+308
0xe.8d6e09b59966p-332
0xb.f310348ac144p+888
0x3.d0c7da63e22ep+792
0x1.0dbdc1aab55c8p-196
0x7.ae122e758bp-1000
0x6.7f06dc95f112p-600
0xe.2d43468110adp-308
0xc.b856b747528dp-420
0x1.1adbc79a0d60ap-36
0x4.a507152c5bf18p-172
0x5.477fe5a075e78p-424
0x1.d039ea034dbabp-200
0xd.dc698a2dd7018p+44
0x1.1c3e250cfd2acp-540
0x5.dbdaedf2609fp+444
0x3.a26dc1bb2a52ap+228
0xc.82f5ee08b4838p+792
0x2.d97d83062ec6ap+848
0x4.b5e6f5f47f278p+768
0x5.d98f9bd6e5e3p-388
0x2.e5f4b95fef2ap+560
0x2.76bc2079b8a4cp+552
0x3.bb8f7a2583e8p+148
0x1.a4813ab3c91b6p-220
0x1.8a62505a29dcp+76
0x3.628b6e2f94fb4p+896
0xd.40dbf8dde70bp+68
0xf.a6348df3bc89p+348
0x9.4ef99868b6eap+632
0xc.9c104de2277p+180
0x8.8699fa72621fp+452
0xf.fe857f2539d68p+480
0x5.1587c64419ecp+456
0x5.a007fbbec43ep+228
0x1.3b9e20c4b8ae6p-432
0x6.2a7cdeaa40ab8p+808
0x6.82c409c3347a4p+456
0x5.6f865e378cf88p-104
0x4.a333fd39e3128p+76
0x1.093005cd3b18ep-788
0x1.8ba8a820beb58p+476
0x5.a95c983ac0dfp+492
0xc.14cfc1f0162cp-544
0x3.6889cf062caa4p+416
0x1.b6510d008b061p-456
0x2.222731bcb6414p-328
0x4.58a3be78e0e48p-920
0xb.dc3e48abe7ac8p+216
0x4.2740e53f5297p-564
0x7.01dac067fc78p-500
0x1.1bc407bb72114p+808
0x3.f7998c75f6bfcp+696
0x2.0fcbe02680514p-416
0x1.b675d0b4b3007p-384
0x4.e3769b3e64f28p-252
0x1.33331cb02298ap+436
0xc.dbaaeb15212p+1012
0x2.d508bad064bd8p-96
0x2.c3f493358c9p+888
0x5.991b71f3868f4p-788
0xc.d7ed5b5204c18p-596
0x8.b0f009c6aa93p+804
0x8.80a8c8a396ffp+544
0x7.64c775d7d3bfp+376
0x4.d12fffda82f44p-372
0xd.5eebca806587p-780
0x9.2feb01db05d8p-284
0x3.fdee8c1c5a5a4p-580
0x5.162a1fbdd98bp+40
0x2.2c911871a8724p-1036
0xf.f44b6e88c6038p+444
0x7.d509f72dfc1ccp-412
0x1.af6798ae2ed06p+920
0x1.9f97dab87ad22p-148
0x1.6f23b54596243p-292
0x5.9436501b108c4p-768
0xc.eb421a201384p+128
0xa.430edc96949dp-676
0x3.6d331f61f64dp-48
0x3.803d3b845e4b8p+764
0xc.3bb98a72ffa2p-504
0x1.246479dd3f6f6p-104
0x6.e117677218b4cp-572
0x3.59020424b3034p+588
0x3.2699757feb054p-820
0x5.22ede0cf9a1a8p-108
0x3.87c268edd6164p-164
0xa.995307ee1525p+832
0xa.42d393e26adbp+652
0x1.4d37828c97217p-12
0xd.e5a9240851cfp+892
0x1.36119a3b624bep+544
0x3.9e1b6bb0555cp-756
0x1.67a9e9a8252bcp+876
0xc.75f2c62ef2f5p-396
0x1.520cab8e031acp+176
0x1.399d86ba5d8c6p-96
0xa.8b09d0927fabp+96
0x2.914715e6e3bp+316
0x6.3409e6909d104p-952
0xc.64943d77953fp+136
0x7.8f647af542af8p-424
0x4.029b79812b578p+944
0xb.00a1cd24d7e28p-372
0x2.28fbec694c37ap+60
0x3.4ff55a825f7aap-368
0xa.2f6383c6703p+796
0x2.aba528e0b2fcap+292
0x3.c3087363a86d4p+356
0x4.b8ef842f4cefp-744
0x3.5a92e0092c40cp+544
0x3.428b568f44378p-896
0x8.4812e6fb497p-1072
0x1.9c5aa4fe00d38p+284
0x2.886450efb4044p-316
0xc.29fbe42e35ep-108
0x3.7bb9f9e7279bcp+264
0x1.6c5d72e3b6c5cp+1008
0x2.96b9b24bd06c8p-16
0xd.efd0822f887dp+948
0x1.7be8904472427p+416
0x3.f556871ce2908p-656
0x7.cac50795ad65p+120
0x5.accb95e559ap-688
0xc.dde998eafa978p-104
0x2.c0a883123efe4p-16
0x9.2fbe677bc9898p-340
0xf.0de8cd275c2p+528
0x3.f9ed49edf1218p+288
0x2.18c53673a704ap-1012
0x9.4c5c8de8aba68p+784
0x7.7ea581cee2c08p+492
0x3.a7b51ae55ea38p+956
0xa.3ab8b2fa5232p-892
0xf.ffdacf06eb058p+964
0x7.d3de489b57c2p+1000
0xf.4b828883f032p-932
0x1.55596305d96f6p-1020
0x1.6dc38b883ce2cp-488
0xb.caf33b56cebcp-780
0x8.86c86abf14be8p-444
0x4.8c4b91bcb9218p-188
0x2.d4844539ad24p-416
0x1.219719acf6574p-232
0x2.5618a905f6b18p+852
0xe.fc04971fe14bp+796
0x3.5fb9095e57ffcp-552
0x1.eae77d2fcd661p-960
0x3.b4340901b8664p+792
0x6.37fa298fc5474p+696
0x1.1ddeb75a8a20cp-764
0xf.405490a360008p-208
0x2.4d70f77f7fb7cp+332
0x7.cd44b564f128p+1000
0x4.df4cc54e3d06p-1076
0x1.1f5cdbb277044p+468
0x4.d966e60add6fp-1028
0x2.03ed94e6ae1f4p+832
0x5.0dcfa25ee1c88p-484
0x2.2a35ecd851ccp-748
0xf.53216515daep-960
0x2.26b02b3623beap-284
0x3.8b4425ca9eacp+336
0x1.c154a95f806d8p+448
0x4.a9b832fa39bf8p-396
0x9.69d363a2adf8p+764
0x2.3fa8daa49024cp-912
0xd.f948365cb05dp+980
0xe.91eebfbddb93p-176
0x1.9e93a70e764cap+348
0xc.1d0f70194b91p+640
0xb.a8dc5778c6c3p-32
0xf.dcbe5ed5e617p-300
0x3.82a30bc245796p+896
0x3.4a3470569cc84p+732
0x6.cc00552f45ea8p+384
0x2.39c30a2adb0b4p-480
0x1.238b3ebea229p+676
0x6.8ae205af596c8p+596
0x1.28814662a8d6ep+1020
0x7.6f9a692c81738p-272
0x2.3345603d5a618p-492
0x1.6f161faa2ea8dp-104
0x3.6eda3eac2a0f4p-716
0x4.1d88625ff23a4p+348
0x5.7837d88f3bf28p+820
0x1.a2570a88d3d74p+476
0x3.b9b1404ac3148p+896
0x1.3fad9d3d2debap-428
0x1.75ba0474c6caep-340
0x1.edcb9206616f4p+504
0x1.83b5ba7756885p-660
0x1.893c32ffb840ep+488
0x1.9076fe716f5e2p+196
0x5.284fc27660a4p-224
0x6.f9d0515d3ea94p+460
0x2.d5d6a0a4ec526p-164
0x3.d2706e7a3248cp-404
0x8.a43f260049058p-44
0x7.7f48e0189ea9p+636
0x1.2726db11a3bf2p+500
0xe.5ff7eb730e99p-276
0x1.9d63d8631fb9ap-268
0x6.0afe1522c4a8p-76
0xe.29e0d5c3f76ep-460
0x2.6550fd047a56ep-200
0x1.7156857a21758p+988
0xf.da0b3ad4ccefp-1076
0xf.3ba1e2db775fp-20
0x3.2ab25090e14b8p-244
0x8.7eba31ff035ep+240
0x6.8aa338fa308bp-364
0x2.77ec273c737ccp-688
0xe.e5ad23a9ce818p+20
0x1.f1f7d443181bep+320
0xd.91a70b966571p+516
0x4.39b5edb93e24p+504
0x6.b1458415506dp-128
0xc.d6bab60c5b82p-1040
0x1.280bb1bdc7376p+576
0x1.9cb5c5a799c3dp+0
0x2.fc1367c53098cp+192
0x2.337a77960733cp-988
0x6.c26b486a008fp+776
0x2.0db627656b0f2p-800
0x5.f629e0e8b66cp+92
0x6.02c0ecddcf7a8p+888
0xe.67def8f1e2fb8p-784
0x3.263d6a87e580cp+64
0x7.c4ba608305fccp-472
0x1.85e0fb46715c6p-1072
0x3.c7b84e00b0168p+688
0x1.e40c1a4efea6p+964
0xf.ef45776a1a08p+580
0xa.9225c9d400a18p-480
0x7.ba8297b170138p-420
0x3.d2f6793d355e4p-280
0x4.7579bb7a665d8p-1036
0xb.3be94d2e2b1b8p-148
0x2.f26f74d36d31ap+136
0x2.63c50ccbaefb6p-64
0xe.74dc0e1a45c4p-696
0xf.04957d60b419p+940
0xc.cb7645559cd8p-780
0x5.1de930ba0df6p+644
0x4.fddc8c34a2204p-296
0x1.1e96bc0a2e9f8p+236
0x3.1f4d6ea58498p+180
0x1.6e9c108b7ed3p+856
0x1.332b247ff2b9ap+524
0x1.1e413cdc451c4p-568
0x3.edf107e8798p+232
0x2.a383de4a3d19cp-320
0x1.b86df993f280cp+944
0x2.1ce4def0d47ap+288
0x3.47d473f7ae7fp-780
0x5.d1dcf131e52b4p+960
0xf.9378a89efb4ap+1000
0x1.5d53eaaa68616p-136
0x4.494ebca979fep-388
0x1.65aeba4e2b29cp-1016
0x4.a2f9122ebc99cp+764
0x3.3a6e7c29a3b7cp+100
0x5.3f460f8fd76b8p-884
0xa.15d26875a8a4p-324
0x2.b8d2354850236p+468
0x1.3a5846f4b4d4p+360
0xf.5e3cd9838378p+12
0x9.c9853e0aad0ap+192
0x2.2532d2e0e3b7cp+1004
0x4.fefe8ad29a678p+560
0x1.4901db30649e3p+472
0x8.08567c49afe4p+280
0x3.eb6c876f65be2p-344
0x1.d65dd2546e592p+548
0x3.11a4b0a66baf4p+248
0x6.2fc27a7d90808p+448
0x2.e150ff9d0a254p+972
0xe.36c615115d8ep-136
0x6.f9d9c7a656e68p-712
0x6.d85b892ee3dep-676
0x5.1bce105147bdp-720
0x7.4a01eb1b8886p-320
0x3.4d2db44a44bc4p-220
0x1.811c2048288cap-356
0x5.026a4114746cp-1016
0x1.bf040bc90ca8fp+600
0x2.fa46c4ddb9f7cp-140
0x2.7d77c313a9b64p-12
0xb.0cbb5170e7a5p+384
0x1.f62feb2986688p-8
0x3.97df46551777p-452
0xa.a5118ab430a1p+596
0x1.9a520b99c0a16p-284
0x4.de0b08635a33p+116
0x3.a0721e6bf7a38p-848
0x1.81e0136e92ebcp-524
0x5.1d33cab5ad46p+992
0x5.71153d49d448p-184
0xb.19f85271f84bp-812
0x3.2cb8ab76ba534p-332
0x2.0c7d142010c1cp-676
0x1.210b2d62dc578p+712
0x1.44afb44f0ae03p-1024
0x1.5b17a4fc3af4cp-1008
0x4.9ecc194ef8b48p-880
0xb.0f3232ecd8378p+0
0x1.6a1ec3bb32ef2p-4
0x8.1087a632520a8p+560
0xc.33663771caffp+584
0x3.d524b1b513c42p-872
0x1.3b9f27db0fc7fp-512
0x2.65f08c93bbaap+576
0x1.01cb6a754ada8p-1032
0x3.a81b0027916dp+604
0x3.b370185aece44p+780
0x3.2fa9a898bfb18p+188
0x3.f904a03e5497ap+612
0x6.8a98cfda3384p-452
0x1.bb81786f41e22p+608
0xe.1176d4346357p-452
0x3.f8fb5fecfcdf6p-320
0x2.82ebcd749a62cp+372
0x6.2e67bc1f8d744p-832
0x4.d2f22b6097968p-388
0x6.cf6215f36acdcp-404
0x2.3a32a7b554eb4p+396
0x1.67750e33f6044p-680
0x5.8ad672c8fdd78p-92
0x2.babb42a10a258p-328
0x3.e25774df219ap+700
0x7.1b7eb6272d13p-264
0x3.31efed341c5eep+1016
0x3.a373b9f254a2ap-732
0x6.40a191b7a28dp-1024
0x9.fab55ca41953p+280
0x7.d40219a7abeecp+84
0xe.4d8a14541e02p-708
0x2.b9b70933d711cp-736
0x6.b3b6c04e2c088p+312
0x5.28eab0d7ff26cp-852
0x1.5d1185d647a14p+804
0x3.9f3a8b0ded54p-852
0x2.9e480a0159bdp+272
0xe.2ebbf0e3d0fap-144
0x6.4aec81098a9ap-1044
0x2.29db57a26aac6p+276
0xb.ab5abdfb85888p+400
0x3.8a5d2d8c0575p+680
0x6.ac4f764924a74p+292
0x1.c0730636ca7c5p+916
0xd.4af6df3dd4dep+624
0x5.aa27f1ac23edp+56
0xe.05d56ccee3cap+728
0x1.fcbdf998ed714p-472
0x9.13a48c2764cfp-236
0xf.cc0938ae5e66p-760
0x2.575f742589e86p+224
0x7.8f03b3505b7fp-452
0x1.f7931954e519p+252
0x1.275fd1bed8d7cp+376
0x1.fc56b5270f76cp-980
0xf.95881b992763p-44
0x4.47cdc63aedd48p-576
0x4.d2e2c0ff943e8p-176
0x3.6b6d55ac84f34p+636
0x9.25a823d26344p-1072
0x3.5709584861f88p+120
0xb.a97e2bed7b26p+340
0x3.5d7621572c5cp-780
0x5.e0c2e82e451bcp-248
0x1.e8c198d48781ap+80
0x5.cdfd48c0b1b58p+696
0x5.c838a874a47b8p+612
0x1.0242b7bda03cap+788
0x1.f5565e4e05b86p+252
0x8.2a8802fc9eebp-728
0x1.2b871ebc4496p-268
0x1.43778a2b32aaap-12
0x2.2328324db1778p-392
0xa.67b6ebcd38d88p-344
0x1.7c55eaffe489cp-336
0x6.c7fd4d7eef7ccp-32
0xd.df9c8ec8dd15p-1020
0xd.c3cc9f5a0d9c8p+456
0x6.9058232ec082p+800
0x6.d08d852663b9p+408
0x7.ad5d248596dfp+844
0xf.2c69d77db52ep-932
0xd.849439bb12dd8p+704
0x1.05748d0431f78p-52
0x3.0c2ca52808108p-268
0x1.ba26b01cd787p+152
0x1.bb9aeb2c6deb4p-512
0x7.aa7beb742e878p-372
0x3.311bc79bbd084p-820
0x2.739f2ad2c0aa4p+564
0x2.203faafe7d7bap+28
0xc.9953cc1e39f1p-1024
0x1.319fa2bdcb5d8p-632
0x3.626c5bcae26bcp-564
0x1.00d01bcded6b4p-456
0x6.8ac8c5ca5ebd4p+128
0x7.0a6486256eeep-924
0x2.d01a8671ef998p+592
0x7.1e9120f09e4p+500
0x5.612281cec11ep+364
0x1.46516f74529c4p-880
0xd.be799e6cef398p-540
0x2.da1c379e39e24p-536
0x4.c025501eeba1p-176
0x9.cf668c5224668p+268
0x3.f9224abfbd288p+440
0x3.89741f8cae246p+748
0x1.e7d9e6ee5b556p-964
0x3.cb8b614178cep+688
0x7.4312652efe59p+404
0x3.cf8c4ea52b10ap-728
0x4.4a51b1bf5fdep-32
0x9.60d4dc1851b7p+908
0x5.7932c10330c8p-608
0x6.0052dbe7e672p+712
0x3.745daee2f3e94p+512
0x2.44ca12e513808p-248
0x9.b5bc363511bep+1008
0x1.cc0a386d84262p-488
0x1.5bd5d8bb567e2p+176
0x2.48e6c9aa5905cp+496
0x4.bba1d60ab5678p-364
0x4.02102c4865b18p-56
0x6.e6d683f7fc6d8p+448
0xe.367cbbfab949p-884
0x1.e22cc580a3368p+620
0x5.0849cf59c524p+524
0x8.6064f73a80f9p-124
0x1.c3a97fcc63975p-440
0x2.8e70c323d430ap-672
0x1.bce959fd29b7ep+556
0xc.5648a8ee997ep+904
0x6.272ef25e8bd3p-1032
0x1.981267deae0fap-432
0x1.96a6a780264f5p-844
0xe.11b6078da8eep-360
0x1.d22edd40202e6p+800
0x3.0485da58007d8p-244
0x1.3aa3a720c86p-268
0xd.0ec962396c748p+1008
0x6.db92d1e556bb8p-660
0x1.d5ac319cda3f8p-512
0x3.d72fda8c8d5ecp-828
0x1.80d581c75d7bcp-852
0x4.2e91595c35efp+1008
0x1.8d27aafe9806p+100
0xe.a0e8e92aa392p+532
0xa.36cdcfd36cd7p-84
0x3.1b7e46a247b78p-880
0x1.3338415f1e264p+976
0x1.5ca90dd81f768p+992
0xb.40110b3e5e748p-268
0x8.233b6bc661c1p+160
0x1.7c3e9ebce9142p+816
0x4.9ba53f147bbcp-296
0x1.73b687c76a14p-688
0x3.56c9592bed4c8p+764
0xa.30608345c101p-1008
0x6.ae8116d82ea5p-624
0x7.187484f45d114p+908
0x5.49592760137e8p+684
0x1.3bf9b34d4e3ap-736
0x3.9204238c22a7p-624
0x4.6d1ae117cdf8cp+724
0x3.4fec50f31f964p+680
0x9.832dbee130e9p+664
0x8.404f55477a48p-152
0x4.f5ffe019cc778p-284
0x3.98df7e1104c7p+104
0x8.7da67179c14p+536
0x1.5686cdbb55c22p-904
0x3.a2a4b49879c16p+848
0x3.5b47ff2b12aacp+676
0x2.d01aeb833d98p+304
0x6.410a34df01c88p+516
0xf.f1c35f768b7cp-404
0x1.1bd46067139d8p+920
0x2.16106762a78a4p+80
0xe.9d25d4185639p-644
0x1.a82d2ce6cb1c4p-636
0x3.ffc6c590cd818p-520
0x1.15dc47c834946p+216
0x2.40359d2a2de68p+712
0x9.31d6ae51e88cp-632
0x4.240c2628734cp-572
0x1.2833143c1f1c6p+520
0x4.cffbff6692238p+128
0x6.fbcaf43b9f868p+124
0x1.104ee1c3f7524p+12
0x5.f55c74aad2bf8p-452
0x7.fe28d96a24a0cp-832
0xd.626a5f14badep+52
0x6.e194e8c1de164p-320
0xd.6bf799ad17f78p-320
0x1.0d169f7ce3345p-168
0x2.65f6617592728p-4
0xd.8bf2933f2d5a8p-560
0x3.2cc3c86db7a3cp+956
0x8.d81174bed4818p+132
0x1.d06c815ed3429p+784
0x3.4e6254601fcfp-996
0x1.fad7bf5d8c3d8p-508
0x2.d44e588ea68a8p+744
0x1.7949da740f216p+764
0x1.f495c08bab008p+356
0x1.65187cabc4d92p+732
0x5.3ad7bef697d68p+404
0x1.68fe54f30f6d8p+976
0x5.184453804c354p+116
0x2.39a304c43c538p-620
0xf.d3aaab847bccp-240
0x1.c9f39be99630dp+656
0x3.877ced0cae6d8p-836
0x2.95095a4baa95p-732
0x1.640324c811ep-656
0x6.b11ccd5251c34p+768
0x7.e3dd87822f044p-264
0x1.4084512d00b2ap-816
0x3.b3c7869ae56cep-956
0x6.bb26fa79c347p-444
0x1.7b5259492267ep+248
0x1.54069c2279e82p-756
0x8.4ec365b6a988p+464
0x1.c6f82e84f7312p+148
0x1.41dba3b3e9ce8p+948
0x5.426a2586b4928p-200
0x2.f154d13d9d70ep-1012
0x2.04110120229f4p+292
0xb.5d8acefbed2bp+212
0xd.6084b6a85693p+436
0x5.09fc1fed7c608p+392
0xf.5673f9a8346fp-164
0x3.d49617c270868p-680
0x2.832548d825d22p-224
0x2.f98aafee6c9ap+316
0x1.b89b7230cap-980
0x6.4c462b7f463a8p-516
0x1.6be43e2650733p-924
0x6.700a9751b7c1p-276
0xb.7178bf0a230ap-1052
0x3.fdec4a25ee5d6p-420
0x3.da0a14388b35cp-796
0x6.974e9c180b918p-152
0xa.b97bd1a76801p+80
0x1.b98451912a5ccp+12
0x1.4db3dfa67c9f3p-336
0xc.c732280ad49ep+924
0x6.415169adac3cp-1004
0x5.22f1e9217ccd8p-28
0x1.37f226335a224p-120
0x7.334fe689b2a88p+528
0x2.1420cc08089e8p+780
0x1.febb2847ee35ap+336
0x1.6c9b844083e12p-164
0x2.cdffc5b9699f4p-132
0x6.214e215a9e3fp-116
0x5.50ad55e6c35cp+920
0x4.f758b1a5a07p+360
0x3.c809412956114p-812
0xd.3c8e1c4bce8b8p-316
0x4.4c27581ceac6p+296
0x3.a46c456e6d7acp+124
0xf.b4d73fab7c33p-404
0xb.9ae344baf9aa8p+824
0x5.0fc602dd99ce8p+508
0x2.6a27fb8e9f8c2p+252
0xe.fb069105911dp-900
0x5.f5a83934c9b8p+576
0x4.3026c3112e5fcp-592
0x1.ff9dd0ed124c8p-832
0x1.786cc7642e994p+956
0xa.336588ec1f23p+512
0x9.25b733c7dea4p+64
0x6.83e1a6dcd6838p+264
0x1.64db45a4ed6d2p+124
0x8.fdecde5fa2118p-820
0x1.fa0537e17e5b1p+348
0x2.f324c4e662a48p+136
0x9.fe72d614f9fb8p+572
0x1.b7c0702330c9p+280
0x4.06d743814749p+352
0x5.60dea0ace2718p-348
0x7.f7c1362af8538p-1068
0x6.b60ebbb415bcp+504
0x9.f2fb8d24ef37p-1016
0x1.4171a9e5bb702p-608
0x5.83170b927e098p-968
0x6.9b6347773006p-608
0x6.c43c9bd8648e8p-424
0xf.ee7ebffe9451p-896
0x3.83ff87a574d8cp-584
0x9.3c4c8bab1e6ap-884
0x4.1fa77bde3df68p+36
0x9.1ee49d5a3dc8p+184
0x7.17ddf8b9ff54p+476
0xa.2f0d89c7bd0dp-516
0x1.64e1d4e42e7fep-952
0x4.9fc547671bf84p+180
0xc.fd03c2e768178p+24
0x1.03557e28241b6p-712
0x1.ec9d2ceb8b905p-1040
0x4.f4efa200bb51p-888
0xe.6f1bd3414bf4p+468
0xc.fe7dc35972cbp-332
0x3.b95d2f7ee0fbp+780
0xc.5dc22f6f5f5d8p+284
0x5.12bc2b67f9108p+184
0x3.576dde1a08f3cp-512
0x1.2b62696d02584p-480
0x5.b9610da7e8dfcp+644
0xb.f6964726f7fep-812
0x2.a4d4cd7e4f33ap-20
0xf.8a7057631f128p+312
0x3.372b8e8b4dc58p+836
0xd.06066a2da2e98p-152
0x8.efa9e0a727c5p+924
0x1.6dd0596cee922p+0