summaryrefslogtreecommitdiff
path: root/regress/lib/libm/fpaccuracy/Pix.c
blob: 53c1b6ed81bbc2859080a319685bc08ead8afac1 (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
/*	$OpenBSD: Pix.c,v 1.1 2009/04/09 01:24:43 martynas Exp $	*/

/*
 * Copyright (c) 2009 Gaston H. Gonnet <gonnet@inf.ethz.ch>
 *
 * Permission to use, copy, modify, and distribute this software for any
 * purpose with or without fee is hereby granted, provided that the above
 * copyright notice and this permission notice appear in all copies.
 *
 * THE SOFTWARE IS PROVIDED "AS IS" AND THE AUTHOR DISCLAIMS ALL WARRANTIES
 * WITH REGARD TO THIS SOFTWARE INCLUDING ALL IMPLIED WARRANTIES OF
 * MERCHANTABILITY AND FITNESS. IN NO EVENT SHALL THE AUTHOR BE LIABLE FOR
 * ANY SPECIAL, DIRECT, INDIRECT, OR CONSEQUENTIAL DAMAGES OR ANY DAMAGES
 * WHATSOEVER RESULTING FROM LOSS OF USE, DATA OR PROFITS, WHETHER IN AN
 * ACTION OF CONTRACT, NEGLIGENCE OR OTHER TORTIOUS ACTION, ARISING OUT OF
 * OR IN CONNECTION WITH THE USE OR PERFORMANCE OF THIS SOFTWARE.
 */

/* This program was generated automatically by a program written
   by Gaston H. Gonnet on enigma on 2002-09-01 17:39:55.
   Do not edit, rerun the original maple program.       */
#include "header.h"
#define DBL_MAX_EXP 1024
#define N 720
#define F Pix
#define Fs "Pix"
#define Fn fpaccuracy_Pix
  /* 9 candidate values discarded */

static struct input_point { double arg_m, val, eps;
	int arg_e, val_e; } input_points[N] = {
 -8871213671086022.,-6967434924377296.,-.499987480878433032672,-53,51,
 -8871213671085570.,-6967434924376942.,.499982374768189075098,-53,51,
 -8871213671080146.,-6967434924372682.,.499620642527654368337,-53,51,
 -8871213671077886.,-6967434924370907.,.499469920760764907186,-53,51,
 -8871213671077774.,-6967434924370819.,.464064221274972155129,-53,51,
 -8871213671077765.,-6967434924370811.,-.467352308147993333876,-53,51,
 -8871213671077667.,-6967434924370734.,-.498332295198061991925,-53,51,
 -8871213671019592.,-6967434924325122.,-.499992988389259096493,-53,51,
 -8422041051813989.,-6614655574152621.,.499991261181706114769,-53,51,
 -8422041051757997.,-6614655574108644.,-.486043788894256145738,-53,51,
 -8422041051757955.,-6614655574108611.,-.499320926201428427760,-53,51,
 -8422041051754791.,-6614655574106126.,-.499531936675073673371,-53,51,
 -8422041051748011.,-6614655574100801.,-.499984101975742056823,-53,51,
 -8422041051747559.,-6614655574100447.,.499985753670880050947,-53,51,
 -8245673680839220.,-6476136964905800.,-.499993805121246026602,-53,51,
 -8245673680838768.,-6476136964905446.,.499976050525376081168,-53,51,
 -8245673680831084.,-6476136964899411.,.499463596517951913256,-53,51,
 -8245673680827249.,-6476136964896398.,-.498579774267898123696,-53,51,
 -8245673680827235.,-6476136964896388.,.496994513296377782297,-53,51,
 -8245673680827193.,-6476136964896355.,.483717375989205500275,-53,51,
 -8245673680827179.,-6476136964896344.,.479291663553481406268,-53,51,
 -8245673680827016.,-6476136964896216.,.499192297337550883185,-53,51,
 -8245673680806005.,-6476136964879713.,-.499996558876659058512,-53,51,
 -8108579655010714.,-6368463568807330.,.450067324338521146387,-53,51,
 -8108579655010705.,-6368463568807322.,-.481349205084444342617,-53,51,
 -8108579655010649.,-6368463568807278.,-.499052054827340718646,-53,51,
 -8108579655006129.,-6368463568803728.,-.499353498361119640947,-53,51,
 -8108579654996637.,-6368463568796273.,-.499986529782055377780,-53,51,
 -8108579654930207.,-6368463568744099.,-.499992037292881441601,-53,51,
 -7881394195578848.,-6190032526218937.,.499994386130396151202,-53,51,
 -7881394195512418.,-6190032526166763.,.499988878619570087380,-53,51,
 -7881394195509254.,-6190032526164278.,.499777868145924841770,-53,51,
 -7881394195507963.,-6190032526163264.,.448806814251653030112,-53,51,
 -7881394195507954.,-6190032526163256.,-.482609715171312458892,-53,51,
 -7881394195507898.,-6190032526163213.,.499687435085791165079,-53,51,
 -7834633035957292.,-6153306397333831.,-.499988377953744844717,-53,51,
 -7834633035956840.,-6153306397333477.,.499981477692877263053,-53,51,
 -7834633035951868.,-6153306397329572.,.499649889805720448521,-53,51,
 -7834633035949608.,-6153306397327797.,.499499168038830987371,-53,51,
 -7834633035949473.,-6153306397327690.,-.471748773305651347698,-53,51,
 -7834633035949389.,-6153306397327624.,-.498303047919995911741,-53,51,
 -7834633035890862.,-6153306397281657.,-.499993885464570908539,-53,51,
 -7740586541070435.,-6079442452975727.,.498194028778462971729,-53,51,
 -7740586541070216.,-6079442452975554.,-.499608187180363927382,-53,51,
 -7740586541068408.,-6079442452974134.,-.499728764593875496303,-53,51,
 -7740586541064340.,-6079442452970940.,.499999936225723473626,-53,51,
 -7552125243331951.,-5931425295860421.,-.495356908115508254298,-53,51,
 -7552125243331937.,-5931425295860410.,-.499782620551232348305,-53,51,
 -7552125243331033.,-5931425295859700.,-.499842909257988132765,-53,51,
 -7552125243328773.,-5931425295857925.,-.499993631024877593916,-53,51,
 -7552125243295558.,-5931425295831838.,-.499996384780290625827,-53,51,
 -7546489395550760.,-5926998911363887.,.499996562346616713057,-53,51,
 -7546489395523873.,-5926998911342769.,-.499584170461505827632,-53,51,
 -7546489395523710.,-5926998911342641.,-.479683536677436350715,-53,51,
 -7546489395523696.,-5926998911342630.,-.484109249113160444722,-53,51,
 -7546489395523654.,-5926998911342597.,-.497386386420332726743,-53,51,
 -7546489395522065.,-5926998911341349.,-.499704747875017396552,-53,51,
 -7546489395517997.,-5926998911338154.,-.499976047055418426623,-53,51,
 -7546489395517545.,-5926998911337800.,.499993808591203681146,-53,51,
 -7532060552325985.,-5915666524395199.,.499992527634330663489,-53,51,
 -7532060552269075.,-5915666524350501.,-.490528523584111475486,-53,51,
 -7532060552269047.,-5915666524350479.,-.499379948455559663500,-53,51,
 -7532060552266335.,-5915666524348349.,-.499560814575827016881,-53,51,
 -7532060552260007.,-5915666524343379.,-.499982835523117508103,-53,51,
 -7532060552259555.,-5915666524343025.,.499987020123504599667,-53,51,
 -7165093879021491.,-5627451573153778.,.499992089182803134406,-53,51,
 -7165093878955061.,-5627451573101604.,.499986581671977070584,-53,51,
 -7165093878944665.,-5627451573093439.,.499293261544285549292,-53,51,
 -7165093878940145.,-5627451573089889.,.498991818010506626990,-53,51,
 -7165093878940033.,-5627451573089801.,.463586118524713874933,-53,51,
 -7165093878940024.,-5627451573089793.,-.467830410898251614071,-53,51,
 -7165093878939926.,-5627451573089716.,-.498810397948320272121,-53,51,
 -7109328173686047.,-5583653290602757.,.499994226126150742573,-53,51,
 -7109328173652832.,-5583653290576670.,.499991472370737710662,-53,51,
 -7109328173649216.,-5583653290573830.,.499750317543714572821,-53,51,
 -7109328173647860.,-5583653290572765.,.499659884483580896131,-53,51,
 -7109328173647711.,-5583653290572647.,-.476013769296625532945,-53,51,
 -7109328173647697.,-5583653290572636.,-.480439481732349626952,-53,51,
 -7109328173647641.,-5583653290572592.,-.498142331475246002981,-53,51,
 -7017962821194535.,-5511895110557763.,.499994615415555010429,-53,51,
 -7017962821161320.,-5511895110531676.,.499991861660141978518,-53,51,
 -7017962821150924.,-5511895110523511.,.499298541532450457225,-53,51,
 -7017962821146404.,-5511895110519961.,.498997097998671534924,-53,51,
 -7017962821146362.,-5511895110519928.,.485719960691499252903,-53,51,
 -7017962821146348.,-5511895110519917.,.481294248255775158896,-53,51,
 -7006352136048519.,-5502776099768296.,.499992512427080093573,-53,51,
 -7006352135983021.,-5502776099716853.,-.491101281505541997774,-53,51,
 -7006352135982993.,-5502776099716831.,-.499952706376990185788,-53,51,
 -7006352135982089.,-5502776099716122.,.499987004916254029752,-53,51,
 -6828286958444393.,-5362924036312974.,-.499998451009754596441,-53,51,
 -6828286958443941.,-5362924036312620.,.499971404636867511329,-53,51,
 -6828286958436709.,-5362924036306940.,.499489094982821235646,-53,51,
 -6828286958433093.,-5362924036304100.,.499247940155798097805,-53,51,
 -6828286958433009.,-5362924036304034.,.472693665541453533763,-53,51,
 -6828286958433000.,-5362924036304026.,-.458722863881511955242,-53,51,
 -6638553928868192.,-5213908063347993.,.499994732577732747814,-53,51,
 -6638553928834977.,-5213908063321906.,.499991978822319715903,-53,51,
 -6638553928830005.,-5213908063318001.,.499660390935162901371,-53,51,
 -6638553928827512.,-5213908063316043.,.497281740773722447102,-53,51,
 -6638553928827428.,-5213908063315977.,.470727466159377883059,-53,51,
 -6638553928827293.,-5213908063315871.,.499479524814895547991,-53,51,
 -6595469068453437.,-5180069293108009.,.498712575242771016804,-53,51,
 -6595469068453409.,-5180069293107987.,.489861150371322828789,-53,51,
 -6595469068453400.,-5180069293107979.,-.441555379051642660215,-53,51,
 -6595469068453218.,-5180069293107836.,-.499089640716055882308,-53,51,
 -6595469068449150.,-5180069293104641.,-.499360939896456912379,-53,51,
 -6595469068439658.,-5180069293097186.,-.499993971317392649212,-53,51,
 -6595469068406443.,-5180069293071099.,-.499996725072805681123,-53,51,
 -6320301642428217.,-4963953302080998.,.498293878645587717813,-53,51,
 -6320301642427998.,-4963953302080825.,-.499508337313239181299,-53,51,
 -6320301642425738.,-4963953302079050.,-.499659059080128642449,-53,51,
 -6320301642420766.,-4963953302075145.,-.499990646967285456981,-53,51,
 -6320301642387551.,-4963953302049058.,-.499993400722698488892,-53,51,
 -6277581004369018.,-4930400591410135.,-.477780295562224566197,-53,51,
 -6277581004368948.,-4930400591410080.,-.499908857740845036233,-53,51,
 -6277581004368496.,-4930400591409725.,-.499939002094222928463,-53,51,
 -6277581004367592.,-4930400591409015.,-.499999290800978712923,-53,51,
 -6150458818266508.,-4830559059918156.,.499997930032773041376,-53,51,
 -6150458818233293.,-4830559059892069.,.499995176277360009465,-53,51,
 -6150458818226061.,-4830559059886389.,.499512866623313733783,-53,51,
 -6150458818222995.,-4830559059883980.,-.469718156800262853778,-53,51,
 -6150458818222981.,-4830559059883969.,-.474143869235986947785,-53,51,
 -6150458818222911.,-4830559059883914.,-.496272431414607417821,-53,51,
 -6150458818222897.,-4830559059883904.,.499301856149668488172,-53,51,
 -6134432454524600.,-4817971983269321.,-.499999224791999097306,-53,51,
 -6134432454505658.,-4817971983254444.,-.487988150326698288950,-53,51,
 -6134432454505630.,-4817971983254422.,-.496839575198146476964,-53,51,
 -6134432454505616.,-4817971983254412.,.498734712366129429029,-53,51,
 -6134432454505397.,-4817971983254239.,-.499067503592697470083,-53,51,
 -6134432454501329.,-4817971983251044.,-.499338802773098500154,-53,51,
 -6134432454491837.,-4817971983243589.,-.499971834194034236987,-53,51,
 -6134432454491385.,-4817971983243235.,.499998021452587870783,-53,51,
 -6056160701828513.,-4756497492455915.,-.499507710254536441141,-53,51,
 -6056160701828457.,-4756497492455872.,.482789440002567182830,-53,51,
 -6056160701826253.,-4756497492454140.,-.499658432021425902292,-53,51,
 -6056160701821281.,-4756497492450235.,-.499990019908582716823,-53,51,
 -6056160701788066.,-4756497492424148.,-.499992773663995748734,-53,51,
 -5587044502255591.,-8776108981782703.,-.499988769426218837566,-53,52,
 -5587044502255365.,-8776108981782349.,.499981086220403270204,-53,52,
 -5587044502252427.,-8776108981777734.,.499589209626490671212,-53,52,
 -5587044502247229.,-8776108981769569.,.498895889498799149919,-53,52,
 -5587044502247003.,-8776108981769214.,.498865745145421257689,-53,52,
 -5587044502246989.,-8776108981769192.,.490014320273973069675,-53,52,
 -5587044502246982.,-8776108981769181.,.485588607838248975668,-53,52,
 -5587044502189161.,-8776108981678355.,-.499999784447870965209,-53,52,
 -5574097035275255.,-8755771148208694.,.499994241129902761145,-53,52,
 -5574097035223543.,-8755771148127464.,-.480354541179289995512,-53,52,
 -5574097035223536.,-8755771148127453.,-.484780253615014089519,-53,52,
 -5574097035223515.,-8755771148127420.,-.498057390922186371540,-53,52,
 -5574097035223289.,-8755771148127065.,-.498087535275564263770,-53,52,
 -5574097035214249.,-8755771148112865.,-.499293309410679952975,-53,52,
 -5574097035209051.,-8755771148104700.,-.499986629538371474268,-53,52,
 -5292230209323446.,-8313015773358255.,-.499988833837452517628,-53,52,
 -5292230209323220.,-8313015773357901.,.499981021809169590142,-53,52,
 -5292230209320960.,-8313015773354351.,.499679578275390667841,-53,52,
 -5292230209316666.,-8313015773347606.,.499106835561210715468,-53,52,
 -5292230209316510.,-8313015773347360.,-.456666184434926236690,-53,52,
 -5292230209316489.,-8313015773347327.,-.469943321742098518712,-53,52,
 -5292230209316440.,-8313015773347251.,.499076691207832823238,-53,52,
 -5292230209257016.,-8313015773253907.,-.499999848859104645271,-53,52,
 -5268565944210192.,-8275844032642055.,-.499997928849182926569,-53,52,
 -5268565944204316.,-8275844032632826.,.499218317962991875447,-53,52,
 -5268565944194146.,-8275844032616851.,.497861822060986725091,-53,52,
 -5268565944193920.,-8275844032616496.,.497831677707608832861,-53,52,
 -5268565944193878.,-8275844032616430.,.471277403093264268819,-53,52,
 -5268565944193857.,-8275844032616397.,.458000265786091986797,-53,52,
 -5158589873357801.,-8103094024511784.,-.428699645102076587477,-53,52,
 -5158589873357766.,-8103094024511729.,-.450828207280697057513,-53,52,
 -5158589873357689.,-8103094024511608.,-.499511044073662091591,-53,52,
 -5158589873355429.,-8103094024508058.,-.499812487607441013893,-53,52,
 -5158589873354073.,-8103094024505928.,-.499993353727708367273,-53,52,
 -5158589873320858.,-8103094024453754.,-.499998861238534431095,-53,52,
 -4510984822806980.,-7085838389892731.,-.499990394919130665130,-53,52,
 -4510984822806754.,-7085838389892377.,.499979460727491442640,-53,52,
 -4510984822802008.,-7085838389884922.,.499346429306555705807,-53,52,
 -4510984822793646.,-7085838389871787.,.498231088231573693292,-53,52,
 -4510984822793525.,-7085838389871596.,-.435413369585942788831,-53,52,
 -4510984822793497.,-7085838389871552.,-.453116219328839164859,-53,52,
 -4510984822793427.,-7085838389871442.,-.497373343686080104931,-53,52,
 -4510984822793420.,-7085838389871432.,.498200943878195801062,-53,52,
 -4510984822773765.,-7085838389840557.,-.499995902429956728952,-53,52,
 -4504722288340376.,-7076001223756164.,.499998362589494149688,-53,52,
 -4504722288288487.,-7076001223674656.,-.449400577023007841149,-53,52,
 -4504722288288466.,-7076001223674623.,-.462677714330180123170,-53,52,
 -4504722288288410.,-7076001223674535.,-.498083413815972875227,-53,52,
 -4504722288288184.,-7076001223674180.,-.498113558169350767457,-53,52,
 -4504722288279144.,-7076001223659980.,-.499319332304466456662,-53,52,
 -4504722288274172.,-7076001223652170.,-.499982508078780085725,-53,52,
 -4504722288273946.,-7076001223651816.,.499987347567842022045,-53,52,
 -8854767244029111.,-6954517930772349.,.499996472060156627037,-54,52,
 -8854767244028659.,-6954517930771994.,.499966327706778734807,-54,52,
 -8854767244018263.,-6954517930763829.,.499273007579087213514,-54,52,
 -8854767244013291.,-6954517930759924.,.498941419691930398983,-54,52,
 -8854767244013114.,-6954517930759784.,-.485583658959724218107,-54,52,
 -8854767244013072.,-6954517930759751.,-.498860796266896500128,-54,52,
 -8644717199278767.,-6789545011403876.,-.499995665675766254310,-54,52,
 -8644717199278315.,-6789545011403522.,.499974189970855853460,-54,52,
 -8644717199271083.,-6789545011397842.,.499491880316809577778,-54,52,
 -8644717199267686.,-6789545011395174.,.497052941448613339048,-54,52,
 -8644717199267616.,-6789545011395119.,.474924379269992869013,-54,52,
 -8644717199267467.,-6789545011395002.,.499250725489786439937,-54,52,
 -8644717199245552.,-6789545011377789.,-.499998419431179286221,-54,52,
 -8607732457392748.,-6760497263052869.,.499999269959797487672,-54,52,
 -8607732457385968.,-6760497263047544.,.499547104659129104220,-54,52,
 -8607732457383256.,-6760497263045414.,.499366238538861750840,-54,52,
 -8607732457383107.,-6760497263045296.,-.476307415241344678236,-54,52,
 -8607732457383093.,-6760497263045285.,-.480733127677068772243,-54,52,
 -8607732457383037.,-6760497263045241.,-.498435977419965148272,-54,52,
 -7868743567941793.,-6180096746506969.,.497906962035924216536,-54,52,
 -7868743567941723.,-6180096746506914.,.475778399857303746501,-54,52,
 -7868743567941574.,-6180096746506796.,-.499895253922902682575,-54,52,
 -7868743567941122.,-6180096746506441.,-.499925398276280574805,-54,52,
 -7868743567940218.,-6180096746505731.,-.499985686983036359265,-54,52,
 -7868743567873788.,-6180096746453557.,-.499991194493862423087,-54,52,
 -7730960159951978.,-6071881910925127.,.499997043707141486379,-54,52,
 -7730960159918763.,-6071881910899040.,.499994289951728454469,-54,52,
 -7730960159917859.,-6071881910898330.,.499934001244972670008,-54,52,
 -7730960159917407.,-6071881910897975.,.499903856891594777778,-54,52,
 -7730960159917337.,-6071881910897920.,.477775294712974307743,-54,52,
 -7730960159917328.,-6071881910897912.,-.453641234709991181262,-54,52,
 -7684108841897217.,-6035084971772168.,.498530809240802064153,-54,52,
 -7684108841897189.,-6035084971772146.,.489679384369353876139,-54,52,
 -7684108841896998.,-6035084971771995.,-.499271406718024834959,-54,52,
 -7684108841893834.,-6035084971769510.,-.499482417191670080570,-54,52,
 -7684108841886150.,-6035084971763475.,-.499994871199094248482,-54,52,
 -7684108841852935.,-6035084971737388.,-.499997624954507280393,-54,52,
 -7492339963730572.,-5884470047063296.,.499996940335417860979,-54,52,
 -7492339963697357.,-5884470047037209.,.499994186580004829068,-54,52,
 -7492339963696905.,-5884470047036854.,.499964042226626936838,-54,52,
 -7492339963687413.,-5884470047029399.,.499331010805691200005,-54,52,
 -7492339963682935.,-5884470047025881.,-.487693295420915440275,-54,52,
 -7492339963682893.,-5884470047025849.,.499029567271912277704,-54,52,
 -7489630554940880.,-5882342082375979.,.499993305514308872262,-54,52,
 -7489630554912637.,-5882342082353796.,-.499677860353947345118,-54,52,
 -7489630554912623.,-5882342082353786.,.495896427210328560875,-54,52,
 -7489630554912553.,-5882342082353731.,.473767865031708090839,-54,52,
 -7489630554911281.,-5882342082352731.,-.499768293414081021808,-54,52,
 -7489630554908117.,-5882342082350246.,-.499979303887726267419,-54,52,
 -7489630554907665.,-5882342082349892.,.499990551758895840351,-54,52,
 -7298995560587036.,-5732617707931186.,-.499995109529397296910,-54,52,
 -7298995560586584.,-5732617707930832.,.499974746117224810860,-54,52,
 -7298995560586556.,-5732617707930810.,.491123321245776622845,-54,52,
 -7298995560553821.,-5732617707905099.,-.499997863284810328821,-54,52,
 -7250793807615687.,-5694760139674952.,.499999998725864536198,-54,52,
 -7250793807593772.,-5694760139657739.,-.499249146195101189960,-54,52,
 -7250793807593758.,-5694760139657729.,.496325141369174716033,-54,52,
 -7250793807593674.,-5694760139657663.,.469770866754830151990,-54,52,
 -7250793807590156.,-5694760139654899.,-.499490301022124327801,-54,52,
 -7250793807582924.,-5694760139649219.,-.499972610676170603483,-54,52,
 -7250793807582472.,-5694760139648865.,.499997244970451504287,-54,52,
 -5733088875677982.,-9005514947103657.,-.498672812000268805832,-54,53,
 -5733088875677954.,-9005514947103614.,.483624338256834818139,-54,53,
 -5733088875677940.,-9005514947103592.,.474772913385386630125,-54,53,
 -5733088875677756.,-9005514947103302.,-.498702956353646698062,-54,53,
 -5733088875671654.,-9005514947093717.,-.499516853894849788276,-54,53,
 -5733088875668038.,-9005514947088037.,-.499999163548896063958,-54,53,
 -5586017142948353.,-8774495209556596.,.499995970278343193627,-54,53,
 -5586017142915138.,-8774495209504422.,.499990462767517129805,-54,53,
 -5586017142910166.,-8774495209496612.,.499327286993203500742,-54,53,
 -5586017142901578.,-8774495209483122.,.498181801564843595997,-54,53,
 -5586017142901429.,-8774495209482887.,-.453165505995569262154,-54,53,
 -5586017142901408.,-8774495209482854.,-.466442643302741544176,-54,53,
 -5586017142901359.,-8774495209482777.,-.497422630352810202226,-54,53,
 -5586017142901352.,-8774495209482767.,.498151657211465703767,-54,53,
 -4924871031066986.,-7735969325538616.,-.499877479411448888413,-54,53,
 -4924871031066308.,-7735969325537551.,-.499967912471582565104,-54,53,
 -4924871031066082.,-7735969325537196.,-.499998056824960457334,-54,53,
 -4517699360234927.,-7096385560620678.,.499996852674746250500,-54,53,
 -4517699360174436.,-7096385560525658.,-.459398997237563833096,-54,53,
 -4517699360174422.,-7096385560525636.,-.468250422109012021110,-54,53,
 -4517699360174373.,-7096385560525559.,-.499230409159080679160,-54,53,
 -4517699360170757.,-7096385560519879.,-.499712718813126954842,-54,53,
 -4517699360168723.,-7096385560516684.,-.499984017993527984913,-54,53,
 -4517699360168497.,-7096385560516330.,.499985837653094122857,-54,53,
 -4514338150865804.,-7091105785290071.,.499997180476320579601,-54,53,
 -4514338150834397.,-7091105785240736.,-.499767172207482346380,-54,53,
 -4514338150834334.,-7091105785240638.,.460401415871000807556,-54,53,
 -4514338150834306.,-7091105785240594.,.442698566128104431527,-54,53,
 -4514338150834171.,-7091105785240381.,-.499797316560860238610,-54,53,
 -4514338150833267.,-7091105785238961.,-.499917893974371807531,-54,53,
 -4514338150832589.,-7091105785237897.,.499991672965494515779,-54,53,
 -8612971451642090.,-6764611959514352.,.499992434752359216077,-55,53,
 -8612971451608875.,-6764611959488265.,.499989680996946184166,-55,53,
 -8612971451599383.,-6764611959480810.,.499356649576010447333,-55,53,
 -8612971451595315.,-6764611959477615.,.499085350395609417262,-55,53,
 -8612971451595096.,-6764611959477442.,-.498716865563217481849,-55,53,
 -8612971451595068.,-6764611959477421.,.492431709565334330136,-55,53,
 -8341071156515244.,-6551061967094502.,-.495266048651618717713,-55,53,
 -8341071156515230.,-6551061967094491.,-.499691761087342811720,-55,53,
 -8341071156513874.,-6551061967093426.,-.499782194147476488411,-55,53,
 -8341071156510710.,-6551061967090941.,-.499993204621121734021,-55,53,
 -8341071156477495.,-6551061967064854.,-.499995958376534765932,-55,53,
 -6979532375151293.,-5481711908816855.,-.499999869258167528585,-55,53,
 -6979532375145417.,-5481711908812241.,.499608254147919872423,-55,53,
 -6979532375142705.,-5481711908810111.,.499427388027652519042,-55,53,
 -6979532375142584.,-5481711908810015.,-.467394840881105722019,-55,53,
 -6979532375142570.,-5481711908810004.,-.471820553316829816026,-55,53,
 -6979532375142486.,-5481711908809938.,-.498374827931174380069,-55,53,
 -6842835487566906.,-5374350424365931.,.499996213225374575018,-55,53,
 -6842835487549963.,-5374350424352623.,-.498921343808434336609,-55,53,
 -6842835487549949.,-5374350424352613.,.496652943755841569384,-55,53,
 -6842835487549893.,-5374350424352569.,.478950094012945193356,-55,53,
 -6842835487544991.,-5374350424348718.,-.499252931695591151140,-55,53,
 -6842835487534143.,-5374350424340198.,-.499976396176660564663,-55,53,
 -6842835487533691.,-5374350424339844.,.499993459469961543107,-55,53,
 -6479813464907601.,-5089233594496486.,.499997783174518595217,-55,53,
 -6479813464907149.,-5089233594496131.,.499967638821140702987,-55,53,
 -6479813464897205.,-5089233594488321.,.499304463046827073924,-55,53,
 -6479813464892713.,-5089233594484792.,-.492145555615503660363,-55,53,
 -6479813464892685.,-5089233594484771.,.499003019513048151623,-55,53,
 -6070752678085648.,-4767958003808609.,.499998685007497556398,-55,53,
 -6070752678085196.,-4767958003808254.,.499968540654119664168,-55,53,
 -6070752678076156.,-4767958003801154.,.499365653586561819566,-55,53,
 -6070752678071673.,-4767958003797633.,.439332164347196574283,-55,53,
 -6070752678071664.,-4767958003797625.,-.492084365075768914721,-55,53,
 -6070752678071636.,-4767958003797604.,.499064210052782897264,-55,53,
 -5777052993636915.,-4537286811052163.,-.499996993530083422286,-55,53,
 -5777052993636463.,-4537286811051809.,.499972862116538685484,-55,53,
 -5777052993627423.,-4537286811044709.,.499369975048980840882,-55,53,
 -5777052993623136.,-4537286811041341.,-.498703540090247088301,-55,53,
 -5777052993623122.,-4537286811041331.,.496870747474028817692,-55,53,
 -5777052993623066.,-4537286811041287.,.479167897731132441663,-55,53,
 -5777052993623052.,-4537286811041276.,.474742185295408347656,-55,53,
 -5777052993622903.,-4537286811041159.,.499068531515201918580,-55,53,
 -5777052993603700.,-4537286811026076.,-.499999747285496454197,-55,53,
 -5360050516044502.,-8419547662037794.,.499995907541116224593,-55,54,
 -5360050515984626.,-8419547661943740.,-.499140921232577028377,-55,54,
 -5360050515984570.,-8419547661943653.,.465453379281630219566,-55,54,
 -5360050515984549.,-8419547661943620.,.452176241974457937545,-55,54,
 -5360050515984400.,-8419547661943385.,-.499171065585954920607,-55,54,
 -5360050515980558.,-8419547661937350.,-.499683519593379088519,-55,54,
 -5360050515978298.,-8419547661933800.,-.499984963127158010820,-55,54,
 -5003579018670118.,-7859603543355035.,.499996732437377744418,-55,54,
 -5003579018617057.,-7859603543271686.,-.476107203556358271612,-55,54,
 -5003579018617043.,-7859603543271664.,-.484958628427806459626,-55,54,
 -5003579018617022.,-7859603543271631.,-.498235765734978741648,-55,54,
 -5003579018616796.,-7859603543271276.,-.498265910088356633878,-55,54,
 -5003579018608660.,-7859603543258496.,-.499351106809960754163,-55,54,
 -5003579018603914.,-7859603543251041.,-.499984138230896490995,-55,54,
 -5003579018603688.,-7859603543250687.,.499985717415725616775,-55,54,
 -4966294589214637.,-7801037298519721.,-.499999343866944556680,-55,54,
 -4966294589208987.,-7801037298510847.,.499247047298608137567,-55,54,
 -4966294589199269.,-7801037298495582.,.497950840103358771671,-55,54,
 -4966294589199043.,-7801037298495227.,.497920695749980879441,-55,54,
 -4966294589198973.,-7801037298495117.,.453663571392739939370,-55,54,
 -4966294589198945.,-7801037298495073.,.435960721649843563341,-55,54,
 -5370993780305881.,-8436737301342713.,-.499992289895166308611,-57,56,
 -5370993780305655.,-8436737301342359.,.499977565751455799159,-57,56,
 -5370993780301361.,-8436737301335614.,.499404823037275846787,-57,56,
 -5370993780293451.,-8436737301323189.,.498349770669049618732,-57,56,
 -5370993780293225.,-8436737301322834.,.498319626315671726502,-57,56,
 -5370993780293197.,-8436737301322790.,.480616776572775350473,-57,56,
 -5370993780293183.,-8436737301322768.,.471765351701327162459,-57,56,
 -5370993780272666.,-8436737301290539.,-.499997797405992372433,-57,56,
 -5040083604759785.,-7916944813095852.,.499999436631080484972,-57,56,
 -5040083604726570.,-7916944813043678.,.499993929120254421150,-57,56,
 -5040083604725666.,-7916944813042258.,.499873351706742852230,-57,56,
 -5040083604723695.,-7916944813039161.,-.460566535552141331777,-57,56,
 -5040083604723674.,-7916944813039128.,-.473843672859313613799,-57,56,
 -5040083604723632.,-7916944813039063.,.499602052526341822158,-57,56,
 -7518049176540144.,-5904662015586328.,.499995108278696420712,-58,56,
 -7518049176487041.,-5904662015544621.,.498666002974656130675,-58,56,
 -7518049176486957.,-5904662015544555.,.472111728360311566632,-58,56,
 -7518049176486943.,-5904662015544544.,.467686015924587472625,-58,56,
 -7518049176486822.,-5904662015544448.,-.499136212984170768436,-58,56,
 -7518049176482754.,-5904662015541253.,-.499407512164571798507,-58,56,
 -7518049176474166.,-5904662015534508.,-.499980254878751750880,-58,56,
 -7518049176473714.,-5904662015534154.,.499989600767870356890,-58,56,
 -4503599627370609.,-7074237752028617.,-.499984927823311053885,-1074,1073,
 -4503599627370497.,-7074237752028442.,.429203673205103442001,-1074,1073,
 -4503599627370496.,-7074237752028440.,-.000000000000000000000,-1074,1073,
 0.,0.,0.000000000000000000000,0,0,
 4503599627370496.,7074237752028440.,.000000000000000000000,-1074,1073,
 4503599627370497.,7074237752028442.,-.429203673205103442001,-1074,1073,
 4503599627370609.,7074237752028617.,.499984927823311053885,-1074,1073,
 7327657448542313.,5755128702090764.,.499991961609306478920,-58,56,
 7327657448598347.,5755128702134774.,-.499320225773828063609,-58,56,
 7327657448598361.,5755128702134784.,.496254061790447842384,-58,56,
 7327657448598417.,5755128702134828.,.478551212047551466355,-58,56,
 7327657448598426.,5755128702134836.,-.452865317375414022649,-58,56,
 7327657448601511.,5755128702137259.,-.499531236247473309220,-58,56,
 7327657448608291.,5755128702142584.,-.499983401548141692672,-58,56,
 7327657448608743.,5755128702142938.,.499986454098480415098,-58,56,
 5734161139222657.,9007199254740989.,.064137791945148237005,-57,56,
 5734161139222658.,9007199254740991.,-.365065881259955204996,-57,56,
 5734161139222659.,4503599627370496.,.102865222767470676501,-57,55,
 5734161139222671.,4503599627370506.,-.472356816463149975505,-57,55,
 5734161139222755.,4503599627370572.,-.498911091077494539547,-57,55,
 5734161139227727.,4503599627374477.,-.499242678964651354079,-57,55,
 5734161139238575.,4503599627382997.,-.499966143445720767602,-57,55,
 5734161139239027.,4503599627383352.,-.499996287799098659832,-57,55,
 6940259249728592.,5450866868238988.,.499991422593424772458,-57,55,
 6940259249795022.,5450866868291162.,.499985915082598708636,-57,55,
 6940259249800898.,5450866868295777.,.499594038488686109645,-57,55,
 6940259249803829.,5450866868298080.,-.498389043590408142848,-57,55,
 6940259249803843.,5450866868298090.,.497185243973867763145,-57,55,
 6940259249803885.,5450866868298123.,.483908106666695481124,-57,55,
 6940259249803899.,5450866868298134.,.479482394230971387117,-57,55,
 6940259249804062.,5450866868298262.,.499383028015040864034,-57,55,
 8328945592813027.,6541538571632623.,-.499986667189992850524,-57,55,
 8328945592813479.,6541538571632977.,.499983188456629257246,-57,55,
 8328945592818451.,6541538571636882.,.499651600569472442714,-57,55,
 8328945592820711.,6541538571638657.,.499500878802582981564,-57,55,
 8328945592820916.,6541538571638819.,-.493875624720519823541,-57,55,
 8328945592820930.,6541538571638830.,-.498301337156243917548,-57,55,
 8328945592879457.,6541538571684797.,-.499992174700818914346,-57,55,
 5682480038753320.,8926018771959037.,-.499994745595600420529,-56,55,
 5682480038754450.,8926018771960811.,.499854532637510118320,-56,55,
 5682480038756216.,8926018771963586.,-.473832347575168455478,-56,55,
 5682480038756223.,8926018771963597.,-.478258060010892549485,-56,55,
 5682480038756258.,8926018771963651.,.499613377810486980479,-56,55,
 5682480038786535.,8926018772011210.,.499999746893573515649,-56,55,
 5734161139222657.,9007199254740989.,.064137791945148237005,-56,55,
 5734161139222658.,9007199254740991.,-.365065881259955204996,-56,55,
 5734161139222659.,4503599627370496.,.102865222767470676501,-56,54,
 5734161139222671.,4503599627370506.,-.472356816463149975505,-56,54,
 5734161139222755.,4503599627370572.,-.498911091077494539547,-56,54,
 5734161139227727.,4503599627374477.,-.499242678964651354079,-56,54,
 5734161139238575.,4503599627382997.,-.499966143445720767602,-56,54,
 5734161139239027.,4503599627383352.,-.499996287799098659832,-56,54,
 6175493946621808.,4850221603748827.,.499995315306549059642,-56,54,
 6175493946646216.,4850221603767997.,.498367520224142879215,-56,54,
 6175493946646286.,4850221603768052.,.476238958045522409179,-56,54,
 6175493946646300.,4850221603768063.,.471813245609798315172,-56,54,
 6175493946646435.,4850221603768170.,-.499434695734684019897,-56,54,
 6175493946649147.,4850221603770300.,-.499615561854951373277,-56,54,
 6175493946654571.,4850221603774560.,-.499977294095486080039,-56,54,
 6175493946655023.,4850221603774914.,.499992561551136027731,-56,54,
 6823990675675427.,5359549743716792.,.499996372305823832960,-56,54,
 6823990675708642.,5359549743742879.,.499993618550410801049,-56,54,
 6823990675709094.,5359549743743234.,.499963474197032908819,-56,54,
 6823990675709439.,5359549743743505.,.462329846316689163643,-56,54,
 6823990675709448.,5359549743743513.,-.469086683106276325361,-56,54,
 6823990675709532.,5359549743743579.,-.495640957720620889404,-56,54,
 6823990675709546.,5359549743743589.,.499933329843655016589,-56,54,
 7740553500813505.,6079416503218615.,.499993126692035438907,-56,54,
 7740553500846720.,6079416503244702.,.499990372936622406996,-56,54,
 7740553500857568.,6079416503253222.,.499266908455552993473,-56,54,
 7740553500862088.,6079416503256772.,.498965464921774071172,-56,54,
 7740553500862130.,6079416503256805.,.485688327614601789151,-56,54,
 8359220028906631.,6565316058138433.,-.499814132210995687444,-56,54,
 8359220028906645.,6565316058138443.,.495760155353280218549,-56,54,
 8359220028906701.,6565316058138487.,.478057305610383842520,-56,54,
 8359220028906715.,6565316058138498.,.473631593174659748513,-56,54,
 8359220028907535.,6565316058139143.,-.499874420917751471904,-56,54,
 8359220028909343.,6565316058140563.,-.499994998331263040825,-56,54,
 8359220028942558.,6565316058166650.,-.499997752086676072736,-56,54,
 8513798801012748.,6686721941850809.,.499992369494894006721,-56,54,
 8513798801079178.,6686721941902983.,.499986861984067942899,-56,54,
 8513798801089122.,6686721941910793.,.499323686209754313836,-56,54,
 8513798801093190.,6686721941913988.,.499052387029353283765,-56,54,
 8513798801093409.,6686721941914161.,-.498749828929473615347,-56,54,
 8513798801093423.,6686721941914171.,.496824458634802290646,-56,54,
 8513798801093451.,6686721941914193.,.487973033763354102632,-56,54,
 5173600871676907.,8126673245532961.,-.499999813038071394544,-55,54,
 5173600871710122.,8126673245585134.,.499994679451102541634,-55,54,
 5173600871712156.,8126673245588329.,.499723380270701511563,-55,54,
 5173600871715998.,8126673245594364.,.499210926263277343651,-55,54,
 5173600871716075.,8126673245594485.,.450528089470312309572,-55,54,
 5173600871716103.,8126673245594529.,.432825239727415933544,-55,54,
 5734161139222657.,9007199254740989.,.064137791945148237005,-55,54,
 5734161139222658.,9007199254740991.,-.365065881259955204996,-55,54,
 5734161139222659.,4503599627370496.,.102865222767470676501,-55,53,
 5734161139222671.,4503599627370506.,-.472356816463149975505,-55,53,
 5734161139222755.,4503599627370572.,-.498911091077494539547,-55,53,
 5734161139227727.,4503599627374477.,-.499242678964651354079,-55,53,
 5734161139238575.,4503599627382997.,-.499966143445720767602,-55,53,
 5734161139239027.,4503599627383352.,-.499996287799098659832,-55,53,
 5852820566534167.,4596794523650747.,.499997050805551346286,-55,53,
 5852820566564889.,4596794523674877.,-.497627052788421231355,-55,53,
 5852820566564903.,4596794523674887.,.497947234775854674638,-55,53,
 5852820566565122.,4596794523675060.,-.499854981182972224474,-55,53,
 5852820566565574.,4596794523675415.,-.499885125536350116704,-55,53,
 5852820566567382.,4596794523676834.,.499994297050138314376,-55,53,
 6216155809148255.,4882157355897418.,.499994226556393250860,-55,53,
 6216155809171759.,4882157355915878.,.498426720180742854893,-55,53,
 6216155809171829.,4882157355915933.,.476298158002122384858,-55,53,
 6216155809171843.,4882157355915944.,.471872445566398290850,-55,53,
 6216155809171978.,4882157355916051.,-.499375495778084044218,-55,53,
 6216155809174690.,4882157355918181.,-.499556361898351397599,-55,53,
 6216155809181018.,4882157355923151.,-.499978382845641888821,-55,53,
 6216155809181470.,4882157355923505.,.499991472800980218949,-55,53,
 6575998564307615.,5164777194911457.,.499998429351362183581,-55,53,
 6575998564309875.,5164777194913232.,.499847707584472722431,-55,53,
 6575998564310779.,5164777194913942.,.499787418877716937970,-55,53,
 6575998564310956.,5164777194914082.,-.484737659773937679120,-55,53,
 6575998564310970.,5164777194914093.,-.489163372209661773127,-55,53,
 6575998564310998.,5164777194914115.,-.498014797081109961141,-55,53,
 7082784227659924.,5562805724144519.,-.499872213087147798660,-55,53,
 7082784227659966.,5562805724144551.,.486850649605679919318,-55,53,
 7082784227660376.,5562805724144874.,-.499902357440525690890,-55,53,
 7082784227661732.,5562805724145939.,-.499992790500659367581,-55,53,
 7082784227694947.,5562805724172026.,-.499995544256072399492,-55,53,
 8687303334621778.,6822992083888473.,-.499514222209606728597,-55,53,
 8687303334624038.,6822992083890248.,-.499664943976496189748,-55,53,
 8687303334629010.,6822992083894153.,-.499996531863653004280,-55,53,
 5227720812136349.,8211684649213011.,-.499999400762151324784,-54,53,
 5227720812169564.,8211684649265184.,.499995091727022611394,-54,53,
 5227720812175214.,8211684649274059.,.499241482892575305641,-54,53,
 5227720812184706.,8211684649288969.,.497975420050703831976,-54,53,
 5227720812185081.,8211684649289559.,-.453402031863086918406,-54,53,
 5227720812185102.,8211684649289592.,-.466679169170259200428,-54,53,
 5227720812185151.,8211684649289669.,-.497659156220327858478,-54,53,
 5227720812185158.,8211684649289679.,.497915131343948047515,-54,53,
 5299073463163106.,8323765131352919.,-.499999347112908054669,-54,53,
 5299073463168304.,8323765131361083.,.499307332759400424038,-54,53,
 5299073463177344.,8323765131375283.,.498101558624284734833,-54,53,
 5299073463177570.,8323765131375638.,.498071414270906842603,-54,53,
 5299073463177633.,8323765131375737.,.458240002349389996539,-54,53,
 5299073463177654.,8323765131375770.,.444962865042217714517,-54,53,
 5354986034445319.,8411592392944677.,-.499988805286440296527,-54,53,
 5354986034445545.,8411592392945031.,.499981050360181811243,-54,53,
 5354986034449387.,8411592392951066.,.499468596352757643331,-54,53,
 5354986034456619.,8411592392962426.,.498503977044665091967,-54,53,
 5354986034456682.,8411592392962525.,.458672565123148245902,-54,53,
 5354986034456710.,8411592392962569.,.440969715380251869874,-54,53,
 5354986034511749.,8411592393049025.,-.499999820308092424170,-54,53,
 5734161139222657.,9007199254740989.,.064137791945148237005,-54,53,
 5734161139222658.,9007199254740991.,-.365065881259955204996,-54,53,
 5734161139222659.,4503599627370496.,.102865222767470676501,-54,52,
 5734161139222671.,4503599627370506.,-.472356816463149975505,-54,52,
 5734161139222755.,4503599627370572.,-.498911091077494539547,-54,52,
 5734161139227727.,4503599627374477.,-.499242678964651354079,-54,52,
 5734161139238575.,4503599627382997.,-.499966143445720767602,-54,52,
 5734161139239027.,4503599627383352.,-.499996287799098659832,-54,52,
 6318840445926205.,4962805681031955.,-.498932839391081905944,-54,52,
 6318840445926233.,4962805681031976.,.492215735737469906041,-54,52,
 6318840445931177.,4962805681035860.,-.499264427278238720476,-54,52,
 6318840445942025.,4962805681044380.,-.499987891759308133999,-54,52,
 6318840446008455.,4962805681096554.,-.499993399270134197820,-54,52,
 6779876501427622.,5324902552282771.,.443579883549022113698,-54,52,
 6779876501427631.,5324902552282779.,-.487836645873943375307,-54,52,
 6779876501427659.,5324902552282801.,-.496688070745391563321,-54,52,
 6779876501427673.,5324902552282811.,.498886216818884342672,-54,52,
 6779876501427892.,5324902552282984.,-.498915999139942556440,-54,52,
 6779876501432864.,5324902552286889.,-.499247587027099370971,-54,52,
 6779876501443712.,5324902552295409.,-.499971051508168784494,-54,52,
 6779876501444164.,5324902552295763.,.499998804138453323276,-54,52,
 7852441927966586.,6167293468410074.,.499995281638957678183,-54,52,
 7852441927999801.,6167293468436161.,.499992527883544646272,-54,52,
 7852441928001609.,6167293468437581.,.499871950470033077352,-54,52,
 7852441928002061.,6167293468437936.,.499841806116655185122,-54,52,
 7852441928002201.,6167293468438046.,.455584681759414245050,-54,52,
 7852441928002210.,6167293468438054.,-.475831847663551243954,-54,52,
 7852441928002280.,6167293468438109.,-.497960409842171713990,-54,52,
 8012612783764184.,6293091364383305.,.499990386588144986035,-54,52,
 8012612783817450.,6293091364425141.,-.481438084931825827084,-54,52,
 8012612783817506.,6293091364425185.,-.499140934674722203113,-54,52,
 8012612783821574.,6293091364428380.,-.499412233855123233184,-54,52,
 8012612783830162.,6293091364435125.,-.499984976569303185556,-54,52,
 8633994769842333.,6781123635017342.,.499998719501710375823,-54,52,
 8633994769867412.,6781123635037040.,-.499461435892900595945,-54,52,
 8633994769867426.,6781123635037050.,.496112851671375310048,-54,52,
 8633994769870124.,6781123635039170.,-.499642302013167949326,-54,52,
 8633994769875096.,6781123635043075.,-.499973889900324763857,-54,52,
 8633994769875548.,6781123635043429.,.499995965746297343912,-54,52,
 8717776617241174.,6846925744090438.,-.499212130172336898681,-54,52,
 8717776617241202.,6846925744090459.,.491936444956214913304,-54,52,
 8717776617244790.,6846925744093278.,-.499453284999360036522,-54,52,
 8717776617252926.,6846925744099668.,-.499995883360162096665,-54,52,
 8911976088165993.,6999449651887546.,.499997047804266792070,-54,52,
 8911976088171869.,6999449651892161.,.499605171210354193079,-54,52,
 8911976088174129.,6999449651893936.,.499454449443464731928,-54,52,
 8911976088174348.,6999449651894109.,-.498347766515362167183,-54,52,
 4733303198944315.,7435055278508264.,-.498606904533259509549,-53,52,
 4733303198944322.,7435055278508274.,.496967383031016396444,-53,52,
 4733303198944392.,7435055278508384.,.452710258673775456373,-53,52,
 4733303198944420.,7435055278508428.,.435007408930879080344,-53,52,
 4733303198944541.,7435055278508619.,-.498637048886637401779,-53,52,
 4733303198951095.,7435055278518914.,-.499511235134596276453,-53,52,
 4733303198954711.,7435055278524594.,-.499993544788642552135,-53,52,
 4733303198987926.,7435055278576768.,-.499999052299468615956,-53,52,
 5018163383776846.,7882512610493319.,-.498091465898294671888,-53,52,
 5018163383776853.,7882512610493329.,.497482821665981234105,-53,52,
 5018163383776888.,7882512610493384.,.475354259487360764069,-53,52,
 5018163383776902.,7882512610493406.,.466502834615912576055,-53,52,
 5018163383777072.,7882512610493674.,-.498121610251672564118,-53,52,
 5018163383786112.,7882512610507874.,-.499327384386788253323,-53,52,
 5018163383791084.,7882512610515684.,-.499990560161101882386,-53,52,
 5018163383824299.,7882512610567858.,-.499996067671927946208,-53,52,
 5734161139222657.,9007199254740989.,.064137791945148237005,-53,52,
 5734161139222658.,9007199254740991.,-.365065881259955204996,-53,52,
 5734161139222659.,4503599627370496.,.102865222767470676501,-53,51,
 5734161139222671.,4503599627370506.,-.472356816463149975505,-53,51,
 5734161139222755.,4503599627370572.,-.498911091077494539547,-53,51,
 5734161139227727.,4503599627374477.,-.499242678964651354079,-53,51,
 5734161139238575.,4503599627382997.,-.499966143445720767602,-53,51,
 5734161139239027.,4503599627383352.,-.499996287799098659832,-53,51,
 5949535300084850.,4672754097754927.,.499995993082526624107,-53,51,
 5949535300107902.,4672754097773032.,.498458631060254120371,-53,51,
 5949535300107958.,4672754097773076.,.480755781317357744342,-53,51,
 5949535300108121.,4672754097773205.,-.499343584898572778741,-53,51,
 5949535300110833.,4672754097775335.,-.499524451018840132122,-53,51,
 5949535300117613.,4672754097780660.,-.499976616319508515573,-53,51,
 5949535300118065.,4672754097781014.,.499993239327113592196,-53,51,
 5971604121753111.,4690086909761525.,.499992133089937063062,-53,51,
 5971604121819541.,4690086909813699.,.499986625579110999240,-53,51,
 5971604121825417.,4690086909818314.,.499594748985198400248,-53,51,
 5971604121828059.,4690086909820390.,-.478457554956448483097,-53,51,
 5971604121828073.,4690086909820401.,-.482883267392172577104,-53,51,
 5971604121828115.,4690086909820434.,-.496160404699344859125,-53,51,
 5971604121828129.,4690086909820444.,.499413882864931046868,-53,51,
 6059040276344273.,4758759104991959.,.499992129858827460964,-53,51,
 6059040276408443.,4758759105042359.,-.499862655885109141707,-53,51,
 6059040276408597.,4758759105042479.,.451454507321925824215,-53,51,
 6059040276408606.,4758759105042487.,-.479962022101039664790,-53,51,
 6059040276408662.,4758759105042531.,-.497664871843936040818,-53,51,
 6059040276409347.,4758759105043069.,-.499922944591864926167,-53,51,
 6059040276410251.,4758759105043779.,-.499983233298620710627,-53,51,
 6059040276410703.,4758759105044133.,.499986622348001397143,-53,51,
 6179968525071178.,4853735929444941.,-.499993424376471651271,-53,51,
 6179968525071630.,4853735929445295.,.499976431270150456498,-53,51,
 6179968525075698.,4853735929448490.,.499705132089749426427,-53,51,
 6179968525077506.,4853735929449910.,.499584554676237857507,-53,51,
 6179968525077669.,4853735929450039.,-.480514811539692665576,-53,51,
 6179968525077683.,4853735929450050.,-.484940523975416759583,-53,51,
 6179968525077725.,4853735929450083.,-.498217661282589041605,-53,51,
 6179968525104393.,4853735929471028.,-.499996178131884683182,-53,51,
 6230674196572694.,4893560070716065.,.499995474687695562466,-53,51,
 6230674196597102.,4893560070735235.,.498367679605289382039,-53,51,
 6230674196597144.,4893560070735268.,.485090542298117100017,-53,51,
 6230674196597321.,4893560070735408.,-.499434536353537517073,-53,51,
 6230674196600033.,4893560070737538.,-.499615402473804870453,-53,51,
 6230674196605457.,4893560070741798.,-.499977134714339577215,-53,51,
 6230674196605909.,4893560070742152.,.499992720932282530555,-53,51,
 7267747051745918.,5708075186478463.,.497868672805504175471,-53,51,
 7267747051745988.,5708075186478518.,.475740110626883705436,-53,51,
 7267747051746137.,5708075186478636.,-.499933543153322723640,-53,51,
 7267747051747041.,5708075186479346.,-.499993831860078508100,-53,51,
 7267747051780256.,5708075186505433.,-.499996585615491540011,-53,51,
 7302452754234209.,5735332981472186.,-.499996454588708338918,-53,51,
 7302452754234661.,5735332981472540.,.499973401057913768852,-53,51,
 7302452754241441.,5735332981477865.,.499521235757245385400,-53,51,
 7302452754244605.,5735332981480350.,.499310225283600139790,-53,51,
 7302452754244824.,5735332981480523.,-.498491990675226759322,-53,51,
 7302452754267424.,5735332981498273.,-.499999208344121370828,-53,51,
 7319052364938238.,5748370285232243.,-.499991349735699586176,-53,51,
 7319052364938690.,5748370285232597.,.499978505910922521593,-53,51,
 7319052364943662.,5748370285236502.,.499646918023765707062,-53,51,
 7319052364945703.,5748370285238105.,.497298412215703145023,-53,51,
 7319052364945759.,5748370285238149.,.479595562472806768994,-53,51,
 7319052364945773.,5748370285238160.,.475169850037082674987,-53,51,
 7319052364945922.,5748370285238277.,.499496196256876245911,-53,51,
 7319052364971453.,5748370285258330.,-.499994103491112618087,-53,51,
 7511273082077718.,5899340083440530.,.499999024527371105364,-53,51,
 7511273082104838.,5899340083461830.,.498190363324697571556,-53,51,
 7511273082104880.,5899340083461863.,.484913226017525289535,-53,51,
 7511273082105057.,5899340083462003.,-.499611852634129327555,-53,51,
 7511273082106865.,5899340083463423.,-.499732430047640896476,-53,51,
 7511273082110933.,5899340083466617.,.499996270771958073453,-53,51,
 7913137471605028.,6214963636910117.,-.477660635091996965684,-53,51,
 7913137471605042.,6214963636910128.,-.482086347527721059691,-53,51,
 7913137471605098.,6214963636910172.,-.499789197270617435720,-53,51,
 7913137471606002.,6214963636910882.,-.499849485977373220180,-53,51,
 7913137471608262.,6214963636912656.,.499999792255737318669,-53,51,
 8070217332256338.,6338333870972383.,-.499835762087920798535,-53,51,
 8070217332257242.,6338333870973093.,-.499896050794676582996,-53,51,
 8070217332258598.,6338333870974158.,-.499986483854810259686,-53,51,
 8070217332325028.,6338333871026332.,-.499991991365636323508,-53,51,
 8145371468079802.,6397359791219854.,-.499996400336742752302,-53,51,
 8145371468080254.,6397359791220208.,.499973455309879355468,-53,51,
 8145371468087938.,6397359791226243.,.499461001302455187556,-53,51,
 8145371468091498.,6397359791229040.,-.483077303781671574257,-53,51,
 8145371468091512.,6397359791229051.,-.487503016217395668264,-53,51,
 8145371468091554.,6397359791229083.,.499219846475432049715,-53,51,
 8145371468113017.,6397359791245941.,-.499999154092155784213,-53,51,
 8344755511673594.,6553955652869174.,.499994007755772074120,-53,51,
 8344755511738668.,6553955652920284.,-.499921066694920313012,-53,51,
 8344755511738710.,6553955652920316.,.486801795997907404967,-53,51,
 8344755511739120.,6553955652920639.,-.499951211048298205242,-53,51,
 8344755511740024.,6553955652921348.,.499988500244946010298,-53,51,
 8538353789951656.,6706007385065673.,-.499487005986118504097,-53,51,
 8538353789951838.,6706007385065815.,.442978732349468273810,-53,51,
 8538353789951847.,6706007385065823.,-.488437797073497215194,-53,51,
 8538353789951875.,6706007385065845.,-.497289221944945403209,-53,51,
 8538353789951889.,6706007385065855.,.498285065619330502784,-53,51,
 8538353789954368.,6706007385067803.,-.499667872106385857478,-53,51,
 8538353789959340.,6706007385071708.,-.499999459993542672009,-53,51,
 8575032706797158.,6734814938991537.,.498501630218230573632,-53,51,
 8575032706797172.,6734814938991548.,.494075917782506479625,-53,51,
 8575032706797377.,6734814938991710.,-.499300585740596325479,-53,51,
 8575032706800541.,6734814938994195.,-.499511596214241571090,-53,51,
 8575032706807773.,6734814938999875.,-.499993905868287846772,-53,51,
 8575032706840988.,6734814939025962.,-.499996659623700878683,-53,51,
 8668443273579575.,6808179426584363.,-.499990360136048472839,-53,51,
 8668443273580027.,6808179426584717.,.499979495510573634931,-53,51,
 8668443273589067.,6808179426591817.,.499376608443015790328,-53,51,
 8668443273592902.,6808179426594830.,-.498666762342834246624,-53,51,
 8668443273592916.,6808179426594840.,.496907525221441659369,-53,51,
 8668443273592986.,6808179426594895.,.474778963042821189333,-53,51,
 8668443273593135.,6808179426595012.,.499105309262614760257,-53,51,
 8668443273646005.,6808179426636537.,-.499995867646874536661,-53,51,
 9007199254740766.,7074237752028263.,-.499984927823311053885,-53,51,
 9007199254740991.,7074237752028439.,.214601836602551721001,-53,51,
 4503599627370497.,7074237752028442.,-.429203673205103442001,-52,51,
 4503599627370525.,7074237752028486.,-.446906522947999818030,-52,51,
 4503599627370609.,7074237752028617.,.499984927823311053885,-52,51,
 4503599627436813.,7074237752132611.,-.499995942844963181528,-52,51,
 5734161139222657.,9007199254740989.,.064137791945148237005,-52,51,
 5734161139222658.,9007199254740991.,-.365065881259955204996,-52,51,
 5734161139222659.,4503599627370496.,.102865222767470676501,-52,50,
 5734161139222671.,4503599627370506.,-.472356816463149975505,-52,50,
 5734161139222755.,4503599627370572.,-.498911091077494539547,-52,50,
 5734161139227727.,4503599627374477.,-.499242678964651354079,-52,50,
 5734161139238575.,4503599627382997.,-.499966143445720767602,-52,50,
 5734161139239027.,4503599627383352.,-.499996287799098659832,-52,50,
 9007199254740766.,7074237752028263.,-.499984927823311053885,-52,50,
 9007199254740991.,7074237752028439.,.214601836602551721001,-52,50,
 4503599627370497.,7074237752028442.,-.429203673205103442001,-51,50,
 4503599627370525.,7074237752028486.,-.446906522947999818030,-51,50,
 4503599627370609.,7074237752028617.,.499984927823311053885,-51,50,
 4503599627436813.,7074237752132611.,-.499995942844963181528,-51,50,
 5734161139222657.,9007199254740989.,.064137791945148237005,-51,50,
 5734161139222658.,9007199254740991.,-.365065881259955204996,-51,50,
 5734161139222659.,4503599627370496.,.102865222767470676501,-51,49,
 5734161139222671.,4503599627370506.,-.472356816463149975505,-51,49,
 5734161139222755.,4503599627370572.,-.498911091077494539547,-51,49,
 5734161139227727.,4503599627374477.,-.499242678964651354079,-51,49,
 5734161139238575.,4503599627382997.,-.499966143445720767602,-51,49,
 5734161139239027.,4503599627383352.,-.499996287799098659832,-51,49 };
#define Pix(x) (scalb(7074237752028440.,-51)*x)
#include "trailer.h"