summaryrefslogtreecommitdiff
path: root/regress/lib/libm/fpaccuracy/sqrt.c
blob: 336c729053558097e40a12f2a9c62c4536df0553 (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
1005
1006
1007
1008
1009
1010
1011
1012
1013
1014
1015
1016
1017
1018
1019
1020
1021
1022
1023
1024
1025
1026
1027
1028
1029
1030
1031
1032
1033
1034
1035
1036
1037
1038
1039
1040
1041
1042
1043
1044
1045
1046
1047
1048
1049
1050
1051
1052
1053
1054
1055
1056
1057
1058
1059
1060
1061
1062
1063
1064
1065
1066
1067
1068
1069
1070
1071
1072
1073
1074
1075
1076
1077
1078
1079
1080
1081
1082
1083
1084
1085
1086
1087
/*	$OpenBSD: sqrt.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:43:39.
   Do not edit, rerun the original maple program.       */
#include "header.h"
#define DBL_MAX_EXP 1024
#define N 1055
#define F sqrt
#define Fs "sqrt"
#define Fn fpaccuracy_sqrt
  /* 1 candidate values discarded */

static struct input_point { double arg_m, val, eps;
	int arg_e, val_e; } input_points[N] = {
 0.,0.,0.000000000000000000000,0,0,
 4503599627370496.,4503599627370496.,0.000000000000000000000,-1074,563,
 4710873812716024.,4606070944692158.,.499997259338650944577,-1074,563,
 4710873812732161.,4606070944700047.,.499977878675464743553,-1074,563,
 4710873812733104.,4606070944700509.,-.489488458481905994116,-1074,563,
 4710873812733106.,4606070944700509.,.488264529138071756924,-1074,563,
 4710873812733108.,4606070944700510.,.466017516758049300413,-1074,563,
 4710873812733599.,4606070944700751.,-.495624022543743866703,-1074,563,
 4710873812733959.,4606070944700926.,.499913749039661194281,-1074,563,
 4754513311658284.,4627356089465377.,.499993780938020603067,-1074,563,
 4754513311664790.,4627356089468544.,-.499961142819193643275,-1074,563,
 4754513311667445.,4627356089469835.,.496675757484457497115,-1074,563,
 4754513311667482.,4627356089469854.,-.498098040894273776981,-1074,563,
 4754513311668043.,4627356089470127.,-.499938605510107737070,-1074,563,
 5043178920574909.,4765758985456976.,-.499999191851991754531,-1074,563,
 5043178920597269.,4765758985467541.,-.499967173155709525013,-1074,563,
 5043178920640971.,4765758985488189.,.499648111685199847172,-1074,563,
 5043178920641062.,4765758985488232.,.496741265015511248168,-1074,563,
 5043178920641098.,4765758985488250.,-.493419685315461658911,-1074,563,
 5043178920641100.,4765758985488250.,.451571372999482510586,-1074,563,
 5043178920641989.,4765758985488671.,-.499903206026387090861,-1074,563,
 5067536030740754.,4777253748727465.,.499998272055392635598,-1074,563,
 5067536030787941.,4777253748749707.,.499983393665569703561,-1074,563,
 5067536030788552.,4777253748749996.,-.499889646000900869460,-1074,563,
 5067536030789163.,4777253748750284.,-.499762685684733734185,-1074,563,
 5067536030789390.,4777253748750390.,.498647821662348410968,-1074,563,
 5067536030789407.,4777253748750399.,-.488255356201622951379,-1074,563,
 5067536030789426.,4777253748750407.,.467558739126863738020,-1074,563,
 5085234186983333.,4785588656538488.,-.499971602327841069839,-1074,563,
 5085234186983418.,4785588656538527.,.495731727028281901160,-1074,563,
 5085234186983435.,4785588656538535.,.494872392899466383523,-1074,563,
 5085234186999625.,4785588656546154.,-.499987586436385915888,-1074,563,
 5085234187015917.,4785588656553819.,.499996417174959104809,-1074,563,
 5138672529716431.,4810667696901328.,-.490375994519725085964,-1074,563,
 5138672529716448.,4810667696901335.,.467063438951575167411,-1074,563,
 5138672529716463.,4810667696901342.,.488333527308593871871,-1074,563,
 5138672529716478.,4810667696901350.,-.490396384334397671359,-1074,563,
 5138672529719956.,4810667696902978.,-.491905230899360486486,-1074,563,
 5138672529737487.,4810667696911184.,-.499510641566876171180,-1074,563,
 5138672529738615.,4810667696911712.,-.499999998228540316665,-1074,563,
 5247429781477257.,4861308754699070.,-.499793899879152420383,-1074,563,
 5247429781477393.,4861308754699132.,.496569860222991299678,-1074,563,
 5247429781477434.,4861308754699151.,.488120699665389182885,-1074,563,
 5247429781477488.,4861308754699177.,-.498617219117907303548,-1074,563,
 5247429781478086.,4861308754699454.,-.499900097504498683021,-1074,563,
 5247429781478915.,4861308754699837.,.499993704839822498670,-1074,563,
 5247429781488265.,4861308754704169.,-.499997790723225822225,-1074,563,
 5430093347267257.,4945196292902823.,.484371323556506826574,-1074,563,
 5430093347267268.,4945196292902828.,.493231737466968167679,-1074,563,
 5430093347267279.,4945196292902834.,-.497907848622575564560,-1074,563,
 5430093347267391.,4945196292902885.,-.498601816080036914254,-1074,563,
 5430093347267615.,4945196292902987.,-.499989750996537465597,-1074,563,
 5430093347286350.,4945196292911517.,.499997024322042743169,-1074,563,
 5548521715332800.,4998831896516416.,-.499993470464549403794,-1074,563,
 5548521715336454.,4998831896518061.,.499850000671392568044,-1074,563,
 5548521715337100.,4998831896518353.,-.499630327148036535183,-1074,563,
 5548521715337171.,4998831896518384.,.483398924746937242267,-1074,563,
 5548521715337211.,4998831896518403.,-.497993046016547929733,-1074,563,
 5548521715371278.,4998831896533749.,-.499999769590908093218,-1074,563,
 5628288433399513.,5034635805238719.,-.499968849241698935811,-1074,563,
 5628288433405429.,5034635805241365.,-.499699297117204429845,-1074,563,
 5628288433407088.,5034635805242107.,-.492524316471915496696,-1074,563,
 5628288433407126.,5034635805242124.,-.496579380207662575395,-1074,563,
 5628288433407164.,5034635805242140.,.499365556056532970923,-1074,563,
 5628288433407401.,5034635805242247.,-.499609446718068564478,-1074,563,
 5628288433420968.,5034635805248314.,.499994504654068069095,-1074,563,
 5628288433443409.,5034635805258352.,-.499997235970546004388,-1074,563,
 5813862287855054.,5116962774260470.,-.499992830343937341389,-1074,563,
 5813862287858708.,5116962774262078.,-.499918920529641588928,-1074,563,
 5813862287875151.,5116962774269314.,-.499586332618550437633,-1074,563,
 5813862287876160.,5116962774269758.,-.473293346197387725127,-1074,563,
 5813862287876169.,5116962774269761.,.487297968844847686574,-1074,563,
 5813862287876219.,5116962774269783.,.490583052412766372811,-1074,563,
 5813862287876369.,5116962774269850.,-.499561696884045262135,-1074,563,
 5813862287936026.,5116962774296103.,-.499997156399247622707,-1074,563,
 6075263211422701.,5230731606108361.,.499985939998831666027,-1074,563,
 6075263211441031.,5230731606116252.,.459357018918231745789,-1074,563,
 6075263211441045.,5230731606116258.,.486276342159992746296,-1074,563,
 6075263211441052.,5230731606116261.,.499736003780870642438,-1074,563,
 6075263211441275.,5230731606116357.,.499950938273643586312,-1074,563,
 6075263211473891.,5230731606130398.,.499997122959928686152,-1074,563,
 6129086353426435.,5253851065400777.,.499997347455951901461,-1074,563,
 6129086353435560.,5253851065404688.,.473689614237001860121,-1074,563,
 6129086353435630.,5253851065404718.,.475679582299686258365,-1074,563,
 6129086353436386.,5253851065405042.,.497171237365760889548,-1074,563,
 6129086353436484.,5253851065405084.,.499957192650640776319,-1074,563,
 6501921822811604.,5411289374853874.,.499948985205935215845,-1074,563,
 6501921822812534.,5411289374854262.,-.499156836268183540560,-1074,563,
 6501921822813154.,5411289374854520.,-.498560717266305636710,-1074,563,
 6501921822813202.,5411289374854539.,.475678982268810587736,-1074,563,
 6501921822813214.,5411289374854544.,.469238907152578123654,-1074,563,
 6501921822831790.,5411289374862275.,-.499997378300020180297,-1074,563,
 6507822719580630.,5413744358103416.,.499993520761662190230,-1074,563,
 6507822719617967.,5413744358118946.,.499949576953387955421,-1074,563,
 6507822719619234.,5413744358119473.,.497564390516742214038,-1074,563,
 6507822719619246.,5413744358119478.,.488859874149299068263,-1074,563,
 6507822719619258.,5413744358119483.,.480155357781851320677,-1074,563,
 6507822719619347.,5413744358119520.,.498930194723136895239,-1074,563,
 6507822719619460.,5413744358119568.,-.499704001070876482796,-1074,563,
 6507822719629685.,5413744358123820.,.499989342427825661033,-1074,563,
 6593474862793193.,5449254163199966.,-.499999844140823048662,-1074,563,
 6593474862828701.,5449254163214639.,-.499734194016901497424,-1074,563,
 6593474862828943.,5449254163214739.,-.497873647590271838588,-1074,563,
 6593474862829047.,5449254163214781.,.478132537650360574882,-1074,563,
 6593474862829064.,5449254163214789.,-.496943374377645202349,-1074,563,
 6593474862829744.,5449254163215070.,-.499979855505302379023,-1074,563,
 6715856444711635.,5499593492420786.,.499989094616012296321,-1074,563,
 6715856444711762.,5499593492420838.,.499937223899358940764,-1074,563,
 6715856444714683.,5499593492422034.,.498744197280630367557,-1074,563,
 6715856444715147.,5499593492422224.,.482806653829409129507,-1074,563,
 6715856444715191.,5499593492422242.,.498536714363866429636,-1074,563,
 6715856444750160.,5499593492436561.,-.499997694537856786647,-1074,563,
 6845184054394453.,5552293972463393.,-.499997189841731497427,-1074,563,
 6845184054407218.,5552293972468569.,.499773397919069162324,-1074,563,
 6845184054407324.,5552293972468612.,.489352378102749975152,-1074,563,
 6845184054407329.,5552293972468615.,-.482837292643311037327,-1074,563,
 6845184054407361.,5552293972468627.,.495148814581880945457,-1074,563,
 6845184054407398.,5552293972468643.,-.499054748939028639354,-1074,563,
 6845184054408081.,5552293972468919.,.499836227140680776491,-1074,563,
 6845184054410670.,5552293972469970.,-.499975285326862145501,-1074,563,
 6862307434190629.,5559234228157930.,.499992627063595284694,-1074,563,
 6862307434195295.,5559234228159820.,.490142247917823358498,-1074,563,
 6862307434195337.,5559234228159838.,-.497516070971533122819,-1074,563,
 6862307434195416.,5559234228159870.,-.498111480311178038333,-1074,563,
 6862307434195653.,5559234228159966.,-.499897708331217931935,-1074,563,
 6862307434209103.,5559234228165413.,.499997787393021721227,-1074,563,
 6931506210289703.,5587193283373772.,-.499987927689124592844,-1074,563,
 6931506210291750.,5587193283374596.,.499969086506203378661,-1074,563,
 6931506210293400.,5587193283375261.,.497491838455779102042,-1074,563,
 6931506210293405.,5587193283375264.,-.487364153205100045789,-1074,563,
 6931506210293467.,5587193283375289.,-.499578449800061861927,-1074,563,
 6931506210293797.,5587193283375421.,.499926100579712595282,-1074,563,
 6931506210313937.,5587193283383538.,.499991684431384663150,-1074,563,
 6971536772633227.,5603303526619874.,-.499974329079870201863,-1074,563,
 6971536772634083.,5603303526620218.,-.499219888907826579793,-1074,563,
 6971536772634700.,5603303526620465.,.454594935361962604862,-1074,563,
 6971536772634720.,5603303526620473.,.491995740038271363521,-1074,563,
 6971536772634725.,5603303526620476.,-.498654058792653248202,-1074,563,
 6971536772643815.,5603303526624129.,-.499988334605014114616,-1074,563,
 6971536772654403.,5603303526628383.,.499997656638707911310,-1074,563,
 7115010065357803.,5660667511794234.,.499942835199262823698,-1074,563,
 7115010065357808.,5660667511794236.,.488930714273179205224,-1074,563,
 7115010065357828.,5660667511794244.,.444882230568837742624,-1074,563,
 7115010065390131.,5660667511807094.,.499973760907495923837,-1074,563,
 7115010065414377.,5660667511816739.,.499996936015956083148,-1074,563,
 7118157106898115.,5661919258890134.,-.499999452008503299781,-1074,563,
 7118157106918200.,5661919258898121.,.497919596719386373474,-1074,563,
 7118157106918376.,5661919258898191.,.494814481039808827320,-1074,563,
 7118157106918401.,5661919258898201.,.437555231653435008706,-1074,563,
 7118157106918723.,5661919258898330.,-.499943900444620491069,-1074,563,
 7364629986173836.,5759109728200537.,.499992951884051390037,-1074,563,
 7364629986178235.,5759109728202257.,.499758175145708178091,-1074,563,
 7364629986178304.,5759109728202284.,.478613324131171696926,-1074,563,
 7364629986180079.,5759109728202978.,.499887084221029065706,-1074,563,
 7364629986181923.,5759109728203700.,-.499984006793914203888,-1074,563,
 7364629986220514.,5759109728218789.,-.499997733230616893873,-1074,563,
 7379721516100053.,5765007464869948.,.499996636417506778989,-1074,563,
 7379721516103499.,5765007464871295.,-.499637320082822554697,-1074,563,
 7379721516103563.,5765007464871319.,.498628329009962065624,-1074,563,
 7379721516103691.,5765007464871369.,.495159627195206113305,-1074,563,
 7379721516103709.,5765007464871377.,-.474078158997528716543,-1074,563,
 7379721516104669.,5765007464871751.,.499906577377523637550,-1074,563,
 7379721516111008.,5765007464874227.,.499999539141811990184,-1074,563,
 7581837714778646.,5843420360290768.,-.499999783903159105917,-1074,563,
 7581837714779165.,5843420360290968.,-.499994436954234410695,-1074,563,
 7581837714813938.,5843420360304368.,-.499636206969887556023,-1074,563,
 7581837714851306.,5843420360318768.,-.499251277658531961810,-1074,563,
 7581837714851825.,5843420360318968.,-.499245931667950146974,-1074,563,
 7581837714851934.,5843420360319010.,-.495391244360585991086,-1074,563,
 7729065683330441.,5899882823528706.,.499996633196319779697,-1074,563,
 7729065683354171.,5899882823537763.,.495055180891869895738,-1074,563,
 7729065683354192.,5899882823537772.,-.489904944293318036683,-1074,563,
 7729065683354378.,5899882823537843.,-.499551767362600754412,-1074,563,
 7729065683355109.,5899882823538122.,-.499830410723809791270,-1074,563,
 7729065683359364.,5899882823539745.,.499915652623111833812,-1074,563,
 7729065683369936.,5899882823543780.,.499989770947361650230,-1074,563,
 7753456497536190.,5909184697835847.,.499979882352204752940,-1074,563,
 7753456497537014.,5909184697836161.,.499819345169908120679,-1074,563,
 7753456497541134.,5909184697837731.,.499016659008147033845,-1074,563,
 7753456497541412.,5909184697837837.,.435855701043374473495,-1074,563,
 7753456497541420.,5909184697837840.,.484397831749396071268,-1074,563,
 7753456497541504.,5909184697837872.,.494090204162527893718,-1074,563,
 7753456497541546.,5909184697837888.,.498936390369028781988,-1074,563,
 7753456497548571.,5909184697840565.,.499994915965429528097,-1074,563,
 7942294164252990.,5980711750167921.,-.499878454392265357881,-1074,563,
 7942294164253237.,5980711750168013.,.498175492052428612191,-1074,563,
 7942294164253253.,5980711750168020.,-.477659070121244321316,-1074,563,
 7942294164253277.,5980711750168029.,-.441410913381765098955,-1074,563,
 7942294164253322.,5980711750168046.,-.498445619495278355733,-1074,563,
 7942294164255059.,5980711750168700.,-.499985275513574217820,-1074,563,
 7942294164264825.,5980711750172376.,.499993836180572477431,-1074,563,
 8012046509305654.,6006916819282919.,.499989726937894323695,-1074,563,
 8012046509306601.,6006916819283274.,.499815380330294061467,-1074,563,
 8012046509306665.,6006916819283298.,.491355867992803937742,-1074,563,
 8012046509306777.,6006916819283340.,.476551721401965649844,-1074,563,
 8012046509311328.,6006916819285047.,-.499998913979340960567,-1074,563,
 8095156314231791.,6037991633008463.,.499964202998383349692,-1074,563,
 8095156314231909.,6037991633008508.,-.493287499726219516545,-1074,563,
 8095156314231917.,6037991633008510.,.490220859411083933897,-1074,563,
 8095156314231925.,6037991633008513.,.473729218548385910119,-1074,563,
 8095156314234459.,6037991633009459.,-.499998024785401212841,-1074,563,
 8127503301001679.,6050043044296763.,-.499999712144082922400,-1074,563,
 8127503301007117.,6050043044298787.,-.499955884078547773427,-1074,563,
 8127503301011561.,6050043044300441.,-.462406275915776245338,-1074,563,
 8127503301011577.,6050043044300446.,.492724415741958611890,-1074,563,
 8127503301011620.,6050043044300462.,.497138149572091995471,-1074,563,
 8127503301011663.,6050043044300479.,-.498448116597816958044,-1074,563,
 8127503301012332.,6050043044300728.,-.499546071665342127396,-1074,563,
 8127503301012555.,6050043044300811.,-.499912056690127836266,-1074,563,
 8172636478209818.,6066818160939082.,-.491721627877953604455,-1074,563,
 8172636478209826.,6066818160939084.,.477610570912315499591,-1074,563,
 8172636478209853.,6066818160939094.,.499106741829462996273,-1074,563,
 8172636478210179.,6066818160939215.,.499393842531492848879,-1074,563,
 8172636478210831.,6066818160939457.,.499968043928312645581,-1074,563,
 8172636478224787.,6066818160944637.,.499988831021594922112,-1074,563,
 8172636478231765.,6066818160947227.,.499999222909681309961,-1074,563,
 8182544317654696.,6070494505386877.,-.499997096791461348697,-1074,563,
 8182544317659039.,6070494505388487.,.499993456774877093305,-1074,563,
 8182544317676322.,6070494505394898.,.486140525365763091264,-1074,563,
 8182544317676349.,6070494505394909.,-.498432409265932311375,-1074,563,
 8182544317676411.,6070494505394931.,.499955666764926819350,-1074,563,
 8343868806112156.,6130044408161739.,.499989686019540422092,-1074,563,
 8343868806114489.,6130044408162597.,-.499862267303277343542,-1074,563,
 8343868806114538.,6130044408162614.,.499712209458053517239,-1074,563,
 8343868806114557.,6130044408162621.,.479139047385902284019,-1074,563,
 8343868806119204.,6130044408164329.,-.499991697552049037184,-1074,563,
 8355919228149707.,6134469392069128.,.499753631511410906732,-1074,563,
 8355919228149786.,6134469392069157.,.498542917365513141547,-1074,563,
 8355919228149816.,6134469392069169.,-.489258619651952302092,-1074,563,
 8355919228149824.,6134469392069171.,.447327637143386907612,-1074,563,
 8355919228151347.,6134469392069730.,.499936274530481073857,-1074,563,
 8355919228152167.,6134469392070032.,-.499972403982137605813,-1074,563,
 8355919228162906.,6134469392073974.,-.499995940158839319761,-1074,563,
 8437646297787932.,6164396217197738.,-.499992746529245130007,-1074,563,
 8437646297835286.,6164396217215036.,-.499569020495409015480,-1074,563,
 8437646297835338.,6164396217215054.,.495574410523941605021,-1074,563,
 8437646297836934.,6164396217215638.,-.499638745141379841499,-1074,563,
 8437646297845174.,6164396217218648.,-.499987369253081690203,-1074,563,
 8554985304582939.,6207111134004271.,.499996192538127011287,-1074,563,
 8554985304598709.,6207111134009993.,-.499961249570917786022,-1074,563,
 8554985304602899.,6207111134011513.,-.462537133934825955212,-1074,563,
 8554985304602921.,6207111134011521.,-.481433713758244112997,-1074,563,
 8554985304602943.,6207111134011528.,.499669706418327467115,-1074,563,
 8554985304603260.,6207111134011644.,-.499885557402212199140,-1074,563,
 8554985304609928.,6207111134014063.,-.499994388039067000201,-1074,563,
 8782580996079924.,6289135751539852.,.499998972815982777397,-1074,563,
 8782580996088624.,6289135751542968.,-.499919456331404581506,-1074,563,
 8782580996094950.,6289135751545232.,.498990429735855502210,-1074,563,
 8782580996094978.,6289135751545243.,-.475721951421524745713,-1074,563,
 8782580996094989.,6289135751545246.,.462783898838071498834,-1074,563,
 8782580996095031.,6289135751545262.,-.499284672898038254689,-1074,563,
 8782580996095584.,6289135751545460.,-.499854200760170179475,-1074,563,
 8877618193246117.,6323071879003176.,-.499998439581218641711,-1074,563,
 8877618193270381.,6323071879011817.,-.498958951938139184729,-1074,563,
 8877618193270395.,6323071879011821.,.486781839058575904163,-1074,563,
 8877618193270412.,6323071879011828.,-.459104343302561058743,-1074,563,
 8877618193271083.,6323071879012067.,-.499670717679126212300,-1074,563,
 8877618193271434.,6323071879012191.,.499973399446673631480,-1074,563,
 8877618193285460.,6323071879017186.,.499997291459888672499,-1074,563,
 8703077354395482.,6260605077005904.,-.499997192871349700305,-60,56,
 8703077354428367.,6260605077017732.,-.499993655896437921489,-60,56,
 8703077354441273.,6260605077022373.,.499946908111602974195,-60,56,
 8703077354446233.,6260605077024158.,-.498836201630874286731,-60,56,
 8703077354446486.,6260605077024248.,.499612966346457387315,-60,56,
 8703077354447726.,6260605077024694.,.499917188824923690356,-60,56,
 9007199254740990.,9007199254740991.,-.000000000000000055511,-59,56,
 9007199254740991.,9007199254740991.,.499999999999999986122,-59,56,
 4503599627370497.,4503599627370496.,.499999999999999972244,-58,55,
 7188956797806559.,8046885503818756.,-.499996652729946127282,-57,55,
 7188956797839398.,8046885503837134.,.499939765641762145408,-57,55,
 7188956797842180.,8046885503838692.,-.498390784844768004409,-57,55,
 7188956797842248.,8046885503838730.,-.440837397872653507103,-57,55,
 7188956797842264.,8046885503838739.,-.486118953879240959904,-57,55,
 7188956797842289.,8046885503838753.,-.494371385139553804311,-57,55,
 7188956797842909.,8046885503839100.,-.499031680403095533083,-57,55,
 7188956797843881.,8046885503839644.,-.499886207846378210092,-57,55,
 7188956797858059.,8046885503847578.,.499994971007161991362,-57,55,
 9006440473862163.,9006819856311127.,-.499995441999062731461,-57,55,
 9006440473862167.,9006819856311129.,-.499911195075971746486,-57,55,
 9006440473862547.,9006819856311319.,-.491907737384353476525,-57,55,
 9006440473864165.,9006819856312128.,-.457829857047542862190,-57,55,
 9006440473864253.,9006819856312172.,-.455976424744534274550,-57,55,
 9007199254740990.,9007199254740991.,-.000000000000000055511,-57,55,
 9007199254740991.,9007199254740991.,.499999999999999986122,-57,55,
 4503599627370497.,4503599627370496.,.499999999999999972244,-56,54,
 7591484324372967.,5847136561979296.,-.499981048406945644485,-56,54,
 7591484324373128.,5847136561979358.,-.497021794689630792208,-56,54,
 7591484324386145.,5847136561984371.,-.499999401596270621813,-56,54,
 8003388475025288.,6003670323545857.,-.499985068568509449685,-56,54,
 8003388475030607.,6003670323547852.,-.499832909004251076038,-56,54,
 8003388475031868.,6003670323548324.,.464106153355865298380,-56,54,
 8003388475032036.,6003670323548387.,.475955290923631166316,-56,54,
 8003388475032364.,6003670323548510.,.499089321411172761987,-56,54,
 8003388475032380.,6003670323548517.,-.499782189296816523042,-56,54,
 8003388475044783.,6003670323553169.,-.499991398050908080038,-56,54,
 8003388475064278.,6003670323560481.,-.499997736438749718750,-56,54,
 8715649185216744.,6265125251966963.,-.499991591603967959619,-56,54,
 8715649185231938.,6265125251972423.,.499588325360256743747,-56,54,
 8715649185231952.,6265125251972429.,-.468557382234573593064,-56,54,
 8715649185233037.,6265125251972819.,-.499849720846217974412,-56,54,
 8715649185234481.,6265125251973337.,.499978724318700070537,-56,54,
 8715649185257649.,6265125251981664.,.499996320642860119397,-56,54,
 4823460372522870.,6591348016351488.,.499994558800535618315,-55,54,
 4823460372575102.,6591348016387176.,.498132819295857796426,-55,54,
 4823460372575162.,6591348016387217.,.493688959015306015742,-55,54,
 4823460372575181.,6591348016387230.,.475615069926411463110,-55,54,
 4823460372575986.,6591348016387780.,.499326611136599254642,-55,54,
 4823460372576428.,6591348016388082.,.499923507036214511508,-55,54,
 4823460372579803.,6591348016390388.,.499956365542000977754,-55,54,
 4823460372583178.,6591348016392694.,.499989223241027409737,-55,54,
 6866204439031579.,7864176467128935.,-.499965444145146696190,-55,54,
 6866204439033416.,7864176467129986.,.499891128174153550167,-55,54,
 6866204439034895.,7864176467130833.,.482900311773712908840,-55,54,
 6866204439034902.,7864176467130837.,.491609618254359379387,-55,54,
 6866204439034909.,7864176467130842.,-.499681075264996193478,-55,54,
 6866204439045587.,7864176467136957.,-.499970420455253267921,-55,54,
 6866204439122631.,7864176467181078.,-.499997936431800507137,-55,54,
 7429938090843348.,8180643790962660.,-.499986134171461763778,-55,54,
 7429938090848069.,8180643790965259.,-.499909355277498841028,-55,54,
 7429938090848841.,8180643790965684.,-.499261341522934521429,-55,54,
 7429938090848930.,8180643790965732.,.496927354361858753998,-55,54,
 7429938090848950.,8180643790965744.,-.492693163416879767963,-55,54,
 7429938090848970.,8180643790965755.,-.482313681195633108862,-55,54,
 7429938090849128.,8180643790965841.,.499684228351694538256,-55,54,
 7429938090855680.,8180643790969449.,-.499997396803876562466,-55,54,
 7477266621093778.,8206657683674613.,.499916103992655528968,-55,54,
 7477266621094106.,8206657683674793.,.497758674670464783265,-55,54,
 7477266621094270.,8206657683674883.,.496679960007888940627,-55,54,
 7477266621095613.,8206657683675621.,-.499958538759973539043,-55,54,
 7477266621103035.,8206657683679694.,-.499996468363917930635,-55,54,
 8992428863881934.,8999811029186598.,.499997683620159410264,-55,54,
 8992428863890461.,8999811029190866.,-.499962199993087914837,-55,54,
 8992428863894941.,8999811029193107.,.338923658397912669291,-55,54,
 8992428863894997.,8999811029193135.,.361909731624266307525,-55,54,
 8992428863895311.,8999811029193292.,.490795927927561483587,-55,54,
 8992428863895333.,8999811029193303.,.499826170980555760373,-55,54,
 9007199254740990.,9007199254740991.,-.000000000000000055511,-55,54,
 9007199254740991.,9007199254740991.,.499999999999999986122,-55,54,
 4503599627370497.,4503599627370496.,.499999999999999972244,-54,53,
 4684840655049689.,4593326314161877.,-.499996010889278782196,-54,53,
 4684840655102366.,4593326314187701.,-.499985506939118988391,-54,53,
 4684840655107178.,4593326314190060.,-.499130291877798303814,-54,53,
 4684840655107182.,4593326314190061.,.461801424842446965932,-54,53,
 4684840655107690.,4593326314190311.,-.499870551693208043301,-54,53,
 5261029272887705.,4867604079314827.,-.499987659696164662133,-54,53,
 5261029272896611.,4867604079318947.,-.499919064296689471806,-54,53,
 5261029272898550.,4867604079319843.,.499871302013960498658,-54,53,
 5261029272899125.,4867604079320110.,-.499675134000991767534,-54,53,
 5261029272899527.,4867604079320295.,.469337618550355581894,-54,53,
 5261029272899540.,4867604079320301.,.483260916518315381338,-54,53,
 5261029272899553.,4867604079320307.,.497184214486267750581,-54,53,
 5261029272899700.,4867604079320376.,-.499221570030480187477,-54,53,
 5261029272945019.,4867604079341341.,-.499995414743911362832,-54,53,
 5357701474447716.,4912121981779879.,.494249748046065955096,-54,53,
 5357701474447740.,4912121981779890.,.496255750523969933879,-54,53,
 5357701474447788.,4912121981779913.,-.499732244520296034327,-54,53,
 5357701474448281.,4912121981780138.,.499807723040183777077,-54,53,
 5357701474450277.,4912121981781053.,.499973595653423065555,-54,53,
 5357701474456758.,4912121981784025.,-.499988820147812385988,-54,53,
 5357701474480686.,4912121981794993.,.499995628831598095050,-54,53,
 6544763739196528.,5429087910236251.,-.499982161963267111518,-54,53,
 6544763739200605.,5429087910237942.,-.499948236591306815230,-54,53,
 6544763739207093.,5429087910240633.,-.499648971596050024882,-54,53,
 6544763739207445.,5429087910240778.,.497901173445694716575,-54,53,
 6544763739207486.,5429087910240796.,-.496702360796857345728,-54,53,
 6544763739207498.,5429087910240800.,.480486848693117340110,-54,53,
 6544763739208759.,5429087910241324.,-.499880387427475454219,-54,53,
 6544763739252861.,5429087910259615.,.499995990558680954553,-54,53,
 6748349574653774.,5512881699236487.,.494731681917480915340,-54,53,
 6748349574654058.,5512881699236603.,.497791782984676077823,-54,53,
 6748349574654271.,5512881699236691.,-.499913141216529428677,-54,53,
 6748349574655571.,5512881699237222.,-.499990143413274332843,-54,53,
 6748349574681713.,5512881699247899.,.499999852325649172543,-54,53,
 6750030179307077.,5513568118765465.,.499993564817739647433,-54,53,
 6750030179323247.,5513568118772069.,.499835943026970241630,-54,53,
 6750030179323842.,5513568118772313.,-.495840852730936421603,-54,53,
 6750030179323913.,5513568118772342.,-.498686319116208611112,-54,53,
 6750030179324650.,5513568118772642.,.499945952340338644297,-54,53,
 6921931465612150.,5583333051969495.,-.498586316596741325809,-54,53,
 6921931465612187.,5583333051969509.,.423789320114475085833,-54,53,
 6921931465612207.,5583333051969517.,.489938312931332216284,-54,53,
 6921931465612331.,5583333051969568.,-.499937931604413670593,-54,53,
 6921931465615294.,5583333051970763.,-.499964645926479488714,-54,53,
 6921931465618257.,5583333051971958.,-.499991360504310979930,-54,53,
 6921931465655990.,5583333051987176.,-.499994089981501617433,-54,53,
 7262316160955343.,5718965322182432.,.484313732489248613750,-54,53,
 7262316160955404.,5718965322182457.,-.497392590852901811624,-54,53,
 7262316160955564.,5718965322182520.,-.498589504537710076349,-54,53,
 7262316160955724.,5718965322182583.,-.499786418223212321359,-54,53,
 7262316160957418.,5718965322183250.,-.499958741911037012846,-54,53,
 7262316160974965.,5718965322190159.,-.499972774675140144542,-54,53,
 7262316161010059.,5718965322203976.,.499999134756662203711,-54,53,
 7667186625738938.,5876218072081561.,-.499988382369713571198,-54,53,
 7667186625744833.,5876218072083819.,.497165712312511237172,-54,53,
 7667186625744854.,5876218072083828.,-.455516181499333419103,-54,53,
 7667186625744940.,5876218072083861.,-.499832508538431276061,-54,53,
 7667186625745595.,5876218072084111.,.499851279704235657251,-54,53,
 7667186625751597.,5876218072086412.,-.499992847462964397462,-54,53,
 7667186625764256.,5876218072091263.,-.499997316560865947709,-54,53,
 7756304500083329.,5910269880161767.,-.499977247429803121884,-54,53,
 7756304500086476.,5910269880162966.,-.499904940613483900062,-54,53,
 7756304500086686.,5910269880163046.,-.490367227107229442680,-54,53,
 7756304500086728.,5910269880163062.,-.488459684406108525494,-54,53,
 7756304500096959.,5910269880166960.,-.499981843430894420749,-54,53,
 7756304500151479.,5910269880187731.,.499999726936961113231,-54,53,
 8671512143453645.,6249241462609408.,-.499998999145981268683,-54,53,
 8671512143471251.,6249241462615751.,.499949943180864515867,-54,53,
 8671512143472669.,6249241462616262.,.450303663235710136255,-54,53,
 8671512143472683.,6249241462616267.,.494947494039992588496,-54,53,
 8671512143472708.,6249241462616277.,-.496759950952370304025,-54,53,
 8671512143472819.,6249241462616317.,-.499941006718618369740,-54,53,
 4889567999035882.,6636362952470382.,-.438494925958237429428,-53,53,
 4889567999035904.,6636362952470396.,.491247843048789122190,-53,53,
 4889567999035932.,6636362952470415.,.492738639966774338548,-53,53,
 4889567999036072.,6636362952470511.,-.499807375444115666698,-53,53,
 4889567999036741.,6636362952470965.,-.499902263390647678288,-53,53,
 4889567999037410.,6636362952471419.,-.499997151368238255438,-53,53,
 4930099044553583.,6663811554951288.,.499997698221532580970,-53,53,
 4930099044555693.,6663811554952714.,.499988152662350055725,-53,53,
 4930099044593673.,6663811554978382.,.499816280416058509542,-53,53,
 4930099044602113.,6663811554984086.,.499778073156857651172,-53,53,
 4930099044602295.,6663811554984210.,-.499274883498954777248,-53,53,
 4930099044602332.,6663811554984235.,-.493587847214974558840,-53,53,
 4930099044602335.,6663811554984237.,-.466099709137899194141,-53,53,
 5026050879165167.,6728346136541044.,.499999178124527795499,-53,53,
 5026050879169395.,6728346136543874.,.499948364344089231963,-53,53,
 5026050879176732.,6728346136548786.,-.499666780559283638941,-53,53,
 5026050879176980.,6728346136548951.,.498438091132751034676,-53,53,
 5026050879177104.,6728346136549034.,.497490526977232590797,-53,53,
 5026050879177113.,6728346136549041.,-.478384699453449729693,-53,53,
 5026050879177161.,6728346136549073.,-.349719240417179864401,-53,53,
 5026050879177851.,6728346136549534.,.499846733212245533081,-53,53,
 5035712052438159.,6734809711180504.,-.499946391670204355309,-53,53,
 5035712052438814.,6734809711180942.,-.498297877310549466486,-53,53,
 5035712052438817.,6734809711180944.,-.492183456634158564981,-53,53,
 5035712052438835.,6734809711180956.,-.455496932575825704841,-53,53,
 5035712052438977.,6734809711181051.,-.499414353894176291824,-53,53,
 5035712052439958.,6734809711181707.,-.499998792756819338791,-53,53,
 5280619103510394.,6896636024447707.,-.499968383371316113981,-53,53,
 5280619103515570.,6896636024451087.,-.499691635298725491237,-53,53,
 5280619103516864.,6896636024451932.,-.499622448539408776605,-53,53,
 5280619103516962.,6896636024451995.,.495746006095023793457,-53,53,
 5280619103516982.,6896636024452009.,-.443974717449042520400,-53,53,
 5280619103524213.,6896636024456730.,.499997683572815721641,-53,53,
 5388947655816329.,6967016959166028.,.499986722495041378791,-53,53,
 5388947655822930.,6967016959170295.,.499954499535850437066,-53,53,
 5388947655827967.,6967016959173552.,-.496585769915668820142,-53,53,
 5388947655827984.,6967016959173562.,.492506708822934764055,-53,53,
 5388947655827998.,6967016959173572.,-.457652426333522357912,-53,53,
 5388947655828066.,6967016959173615.,.498717488620661550316,-53,53,
 5388947655828247.,6967016959173733.,-.499768473046759286460,-53,53,
 5388947655828889.,6967016959174148.,-.499923099529367388902,-53,53,
 5388947655874454.,6967016959203602.,-.499994121670146249150,-53,53,
 5828367993111451.,7245500109993079.,-.499997800262801336121,-53,53,
 5828367993164761.,7245500110026215.,-.499378127165409073065,-53,53,
 5828367993164872.,7245500110026283.,.495108250161278991036,-53,53,
 5828367993164909.,7245500110026306.,.493270375936695680739,-53,53,
 5828367993165308.,7245500110026555.,-.499521835300611129578,-53,53,
 5828367993166949.,7245500110027575.,-.499952959801945599875,-53,53,
 5828367993174023.,7245500110031972.,-.499983293391047738061,-53,53,
 5842346135977690.,7254183328391775.,-.499999374070848595215,-53,53,
 5842346135984671.,7254183328396108.,.499787426752914573855,-53,53,
 5842346135985420.,7254183328396573.,.499907798152892978528,-53,53,
 5842346135986169.,7254183328397039.,-.499971830476935571235,-53,53,
 6083309738839051.,7402268770183215.,-.499992307593177346134,-53,53,
 6083309738850992.,7402268770190480.,-.499920029259886406122,-53,53,
 6083309738851444.,7402268770190755.,-.499498568064491770055,-53,53,
 6083309738852057.,7402268770191127.,.454612838363381745825,-53,53,
 6083309738852062.,7402268770191130.,.496652898774624824670,-53,53,
 6083309738852205.,7402268770191217.,.498998626535647712658,-53,53,
 6083309738855678.,7402268770193331.,-.499975412141760407679,-53,53,
 6083309738893618.,7402268770216414.,-.499997054485089138752,-53,53,
 6466710109340863.,7631968715703771.,-.499994641039391485042,-53,53,
 6466710109370126.,7631968715721039.,-.499979858349925068830,-53,53,
 6466710109370853.,7631968715721468.,-.499671935974900915528,-53,53,
 6466710109371036.,7631968715721575.,.488025931689291007433,-53,53,
 6466710109371048.,7631968715721583.,-.430813552398356346934,-53,53,
 6466710109371075.,7631968715721599.,-.498202391595586916204,-53,53,
 6466710109383051.,7631968715728665.,.499992485642396445601,-53,53,
 6683043781680797.,7758576349418538.,.497856153574627684219,-53,53,
 6683043781680971.,7758576349418639.,.499161015540647237760,-53,53,
 6683043781681145.,7758576349418741.,-.499534122494648045743,-53,53,
 6683043781681872.,7758576349419163.,-.499829325679329300014,-53,53,
 6683043781685681.,7758576349421373.,.499999519983395484308,-53,53,
 7533119765518231.,8237251406740627.,.499996813253231454812,-53,53,
 7533119765568043.,8237251406767861.,.499975815235880812638,-53,53,
 7533119765574783.,8237251406771546.,.498768438075093404803,-53,53,
 7533119765574794.,8237251406771553.,-.487138576933489722871,-53,53,
 7533119765574997.,8237251406771664.,-.499786217547221126192,-53,53,
 7533119765576345.,8237251406772400.,.499972306812331528980,-53,53,
 7593583889909311.,8270243234270945.,.496869304213878834864,-53,53,
 7593583889909322.,8270243234270951.,.486970743526932907074,-53,53,
 7593583889909333.,8270243234270957.,.477072182839982640679,-53,53,
 7593583889910018.,8270243234271330.,.497025449144077732861,-53,53,
 7593583889921128.,8270243234277380.,.499479152836333900243,-53,53,
 7593583889923451.,8270243234278645.,.499992199412543063857,-53,53,
 7593583889968306.,8270243234303071.,.499997630339673827443,-53,53,
 7618936725667564.,8284037735147738.,-.499984780114320830475,-53,53,
 7618936725668973.,8284037735148503.,.499890865257613180330,-53,53,
 7618936725669065.,8284037735148554.,-.484503343847605398146,-53,53,
 7618936725669076.,8284037735148559.,.495623435498489560565,-53,53,
 7618936725675766.,8284037735152197.,-.499998944812552846923,-53,53,
 8259236168422439.,8625113672349162.,-.499670832386556871068,-53,53,
 8259236168422755.,8625113672349326.,.499601793020266872983,-53,53,
 8259236168422935.,8625113672349420.,.486529237870844009364,-53,53,
 8259236168422958.,8625113672349432.,.495969966935010627593,-53,53,
 8259236168433455.,8625113672354914.,-.499711209307835267300,-53,53,
 8259236168506436.,8625113672393021.,-.499978803299006823308,-53,53,
 8259236168511944.,8625113672395897.,-.499999005904711109361,-53,53,
 8460168363172357.,8729399874891135.,.499997566423704654734,-53,53,
 8460168363172954.,8729399874891443.,.499289164194492889943,-53,53,
 8460168363173016.,8729399874891475.,.485815259774755877254,-53,53,
 8791115980768638.,8898501745255821.,.499979507054029590184,-53,53,
 8791115980769047.,8898501745256028.,.498000109403969994275,-53,53,
 8791115980769049.,8898501745256030.,-.489784630926848973820,-53,53,
 8791115980769073.,8898501745256042.,-.343201514896685571939,-53,53,
 8791115980769211.,8898501745256111.,.499651402276432228186,-53,53,
 8791115980774696.,8898501745258888.,-.499998955453327541649,-53,53,
 8837821264158254.,8922108332903178.,-.499997305605935962370,-53,53,
 8837821264162553.,8922108332905347.,.499970825638752879462,-53,53,
 8837821264166852.,8922108332907517.,.499938956355662895259,-53,53,
 8837821264166957.,8922108332907571.,-.499363985329173018738,-53,53,
 8837821264166959.,8922108332907572.,-.489826898504125329873,-53,53,
 8837821264166983.,8922108332907584.,-.375381856603561973373,-53,53,
 8837821264189815.,8922108332919109.,-.499998669318908618251,-53,53,
 9007199254740990.,9007199254740991.,-.000000000000000055511,-53,53,
 9007199254740991.,9007199254740991.,.499999999999999986122,-53,53,
 4503599627370497.,4503599627370496.,.499999999999999972244,-52,52,
 9007199254733488.,6369051672523119.,.499980801879635608946,-52,52,
 9007199254740214.,6369051672525498.,-.499914067214404958350,-52,52,
 9007199254740890.,6369051672525737.,-.497822026155504107103,-52,52,
 9007199254740972.,6369051672525765.,.493556002493042563362,-52,52,
 9007199254740991.,6369051672525772.,.211070423765247960588,-52,52,
 4503599627370496.,6369051672525773.,-.435376185641478267398,-51,52,
 4503599627370497.,6369051672525773.,.271730595545069217751,-51,52,
 4503599627370684.,6369051672525906.,-.499301322571931013736,-51,52,
 4503599627386345.,6369051672536979.,.499998830090416403081,-51,52,
 9007199254740990.,9007199254740991.,-.000000000000000055511,-51,52,
 9007199254740991.,9007199254740991.,.499999999999999986122,-51,52,
 4503599627370497.,4503599627370496.,.499999999999999972244,-50,51,
 5812361472645307.,5116302274333294.,-.468273985322003513817,-50,51,
 5812361472645316.,5116302274333297.,.492828630689501961673,-50,51,
 5812361472645341.,5116302274333308.,.495891452943667747151,-50,51,
 5812361472645366.,5116302274333319.,.498954275197809869564,-50,51,
 5812361472645700.,5116302274333466.,.499873580510878750254,-50,51,
 5812361472704470.,5116302274359332.,.499956069393056673941,-50,51,
 5812361472733855.,5116302274372265.,.499997264796047093996,-50,51,
 5995926477567811.,5196465361196521.,-.499995377685215177821,-50,51,
 5995926477567841.,5196465361196533.,.499993983352804275043,-50,51,
 5995926477569131.,5196465361197092.,.499536507956874885787,-50,51,
 5995926477583501.,5196465361203319.,.494440440759600830098,-50,51,
 5995926477585451.,5196465361204164.,.493748907057632193893,-50,51,
 5995926477585474.,5196465361204174.,.460407417172122408384,-50,51,
 5995926477585481.,5196465361204177.,.493738268076528679424,-50,51,
 6025316007217847.,5209185245784199.,-.499996542630660053684,-50,51,
 6025316007235167.,5209185245791686.,-.499451771416025568816,-50,51,
 6025316007235514.,5209185245791835.,.499924038844197798103,-50,51,
 6025316007237057.,5209185245792503.,-.499969692529362361685,-50,51,
 6084210162775937.,5234581800098409.,-.499990156967087818484,-50,51,
 6084210162777627.,5234581800099136.,-.499853287148401935271,-50,51,
 6084210162778250.,5234581800099404.,-.499211115637162178432,-50,51,
 6084210162778429.,5234581800099481.,-.497421470855571430438,-50,51,
 6084210162778443.,5234581800099487.,-.474935129922980808421,-50,51,
 6084210162778694.,5234581800099594.,.499641411081575339693,-50,51,
 6084210162797728.,5234581800107782.,.499999498141931974220,-50,51,
 6369701198561104.,5355985805087724.,-.494414401517056319619,-50,51,
 6369701198561111.,5355985805087726.,.448572990425548445835,-50,51,
 6369701198561280.,5355985805087798.,-.499302832674913023700,-50,51,
 6369701198561701.,5355985805087975.,-.499632545846433484264,-50,51,
 6369701198562122.,5355985805088152.,-.499962259023803266395,-50,51,
 6369701198568261.,5355985805090732.,.499980473813158593063,-50,51,
 6369701198583398.,5355985805097097.,-.499997842797205160714,-50,51,
 6469155038060348.,5397636910612879.,.499975090155806560492,-50,51,
 6469155038060837.,5397636910613084.,-.497768528535161918355,-50,51,
 6469155038060861.,5397636910613094.,-.485387847244119601402,-50,51,
 6469155038164058.,5397636910656145.,.499993947343487179174,-50,51,
 6482505237450668.,5403203510123427.,-.499992033005025218519,-50,51,
 6482505237452602.,5403203510124232.,.499787821199111975426,-50,51,
 6482505237454356.,5403203510124963.,.484076272115856646614,-50,51,
 6482505237454368.,5403203510124968.,.485109032327033111655,-50,51,
 6482505237454440.,5403203510124998.,.491305593593994697179,-50,51,
 6482505237454536.,5403203510125038.,.499567675283017598616,-50,51,
 6482505237496177.,5403203510142392.,.499998309981270373369,-50,51,
 6527239159277648.,5421814442184546.,.499992425419743694147,-50,51,
 6527239159286641.,5421814442188281.,.492390340313269546806,-50,51,
 6527239159286658.,5421814442188289.,-.447132536976702837465,-50,51,
 6527239159286694.,5421814442188304.,-.495533924179027649342,-50,51,
 6527239159286759.,5421814442188331.,-.499591984405551879782,-50,51,
 6527239159287751.,5421814442188743.,-.499985765110108836832,-50,51,
 6527239159328411.,5421814442205630.,-.499997005202692575073,-50,51,
 6551699081829934.,5431963691297366.,.499993404907310680358,-50,51,
 6551699081984655.,5431963691361505.,.499951986471441278298,-50,51,
 6551699081998253.,5431963691367142.,.498946506869144986908,-50,51,
 6551699081998282.,5431963691367155.,-.479214190218181767448,-50,51,
 6551699081998294.,5431963691367159.,.495340004090502827471,-50,51,
 6551699081998803.,5431963691367370.,.499347079346346230720,-50,51,
 6551699081999628.,5431963691367712.,.499947938044204246289,-50,51,
 6698297894366869.,5492399466634524.,.499990783186411394807,-50,51,
 6698297894367491.,5492399466634780.,-.489518333778218248756,-50,51,
 6698297894367530.,5492399466634795.,.499885435414923368956,-50,51,
 6698297894404807.,5492399466650078.,.499995778558881976861,-50,51,
 7036523586172055.,5629359199826227.,-.499977076479683005750,-50,51,
 7036523586229526.,5629359199849215.,.473101073430466461164,-50,51,
 7036523586229556.,5629359199849227.,.473400221576285158629,-50,51,
 7036523586230871.,5629359199849753.,.486512881942868467627,-50,51,
 7036523586232196.,5629359199850283.,.499725258308153571304,-50,51,
 7036523586232221.,5629359199850293.,.499974548427773638025,-50,51,
 7036523586232226.,5629359199850296.,-.499975593548304480418,-50,51,
 7060691919416123.,5639018487047221.,-.499997417978726737755,-50,51,
 7060691919430933.,5639018487053134.,.499986313901729828148,-50,51,
 7060691919441596.,5639018487057393.,-.499890358875804554102,-50,51,
 7060691919442485.,5639018487057747.,.499838576353724090356,-50,51,
 7060691919442490.,5639018487057749.,.496462473627167799241,-50,51,
 7060691919442585.,5639018487057787.,.432316521822463947475,-50,51,
 7060691919442630.,5639018487057805.,.401931597283304626138,-50,51,
 7060691919445743.,5639018487059048.,.499970039579795696477,-50,51,
 7099291104853528.,5654411089973298.,.496733207607974899953,-50,51,
 7099291104853538.,5654411089973302.,.479110466449763060376,-50,51,
 7099291104853568.,5654411089973314.,.426242242975110713016,-50,51,
 7099291104853754.,5654411089973388.,.498459257431702736974,-50,51,
 7099291104853980.,5654411089973479.,-.499814692746001990876,-50,51,
 7099291104855115.,5654411089973931.,-.499995814235341529772,-50,51,
 7214758118816112.,5700208941387017.,.499998456257135903548,-50,51,
 7214758118816636.,5700208941387224.,.499972405271001549477,-50,51,
 7214758118826068.,5700208941390950.,.499503486235160618703,-50,51,
 7214758118828688.,5700208941391985.,.499373230515194295498,-50,51,
 7214758118828769.,5700208941392017.,.497460806575818864050,-50,51,
 7214758118828784.,5700208941392023.,.423032579920359257835,-50,51,
 7236286776309236.,5708707246770702.,-.499997344416376325713,-50,51,
 7236286776320155.,5708707246775009.,-.499987923975967970669,-50,51,
 7236286776331074.,5708707246779316.,-.499978506785025436737,-50,51,
 7236286776332083.,5708707246779714.,-.499886053249462071088,-50,51,
 7236286776332590.,5708707246779913.,.486285278694999868137,-50,51,
 7236286776332595.,5708707246779915.,.458535489069170720778,-50,51,
 7236286776332623.,5708707246779927.,-.496863332835485096243,-50,51,
 7236286776332732.,5708707246779969.,.498191253321186973728,-50,51,
 7236286776333092.,5708707246780112.,-.499793599741646506603,-50,51,
 7243607294766743.,5711594095655758.,-.499986622183477815505,-50,51,
 7243607294773074.,5711594095658254.,-.498978553101023803758,-50,51,
 7243607294773244.,5711594095658321.,-.476364215453130523411,-50,51,
 7243607294773249.,5711594095658322.,.494889147418854431783,-50,51,
 7243607294773457.,5711594095658404.,.499029042892825730034,-50,51,
 7243607294777840.,5711594095660132.,.499726936188332573255,-50,51,
 7243607294779301.,5711594095660708.,.499959567170658437575,-50,51,
 7243607294844039.,5711594095686232.,-.499999379209933956451,-50,51,
 7273994527114592.,5723561744386821.,-.480219004538521812398,-50,51,
 7273994527114597.,5723561744386822.,.486912577376900117958,-50,51,
 7273994527114625.,5723561744386834.,-.497150563896749566077,-50,51,
 7273994527114747.,5723561744386882.,-.499139965160756350280,-50,51,
 7273994527114808.,5723561744386905.,.499865334207089315177,-50,51,
 7273994527119828.,5723561744388880.,.499973576920971563196,-50,51,
 7273994527120832.,5723561744389275.,.499995225381967633342,-50,51,
 7311312768865156.,5738224939948787.,.499998880674519151506,-50,51,
 7311312768881860.,5738224939955342.,.499930290229285393252,-50,51,
 7311312768882678.,5738224939955664.,-.499713873455866900741,-50,51,
 7311312768883175.,5738224939955859.,-.466490339664539528994,-50,51,
 7311312768883180.,5738224939955860.,.495614524860490446774,-50,51,
 7311312768883338.,5738224939955922.,.498128243851092106659,-50,51,
 7548454164465190.,5830541601112944.,.499989776213429512879,-50,51,
 7548454164492437.,5830541601123468.,-.499966503136250628524,-50,51,
 7548454164494032.,5830541601124084.,-.498752801869890111039,-50,51,
 7548454164495003.,5830541601124459.,-.491117376240546035522,-50,51,
 7548454164495047.,5830541601124476.,-.497980446552454932038,-50,51,
 7548454164501471.,5830541601126957.,-.499988712622623401809,-50,51,
 7571434122712867.,5839409892592737.,.499996506293219285085,-50,51,
 7571434122741325.,5839409892603712.,-.494020614868942642224,-50,51,
 7571434122741330.,5839409892603713.,.434085011469613176669,-50,51,
 7571434122741395.,5839409892603738.,.499458153870780888208,-50,51,
 7571434122743537.,5839409892604564.,.499908477245991760978,-50,51,
 7571434122743996.,5839409892604742.,-.499995024903092747929,-50,51,
 7938013874374808.,5979099959583902.,-.499612318999983036162,-50,51,
 7938013874374885.,5979099959583930.,.499499056590760935819,-50,51,
 7938013874374938.,5979099959583950.,.459926367062230259025,-50,51,
 7938013874374954.,5979099959583956.,.485715743808321111085,-50,51,
 7938013874374962.,5979099959583959.,.498610432181364259799,-50,51,
 7938013874375971.,5979099959584339.,.499953003219260167762,-50,51,
 7938013874378220.,5979099959585186.,.499972271976977848191,-50,51,
 7938013874380469.,5979099959586033.,.499991540614709404038,-50,51,
 7938013874433359.,5979099959605953.,-.499999993197654471446,-50,51,
 7969971748345281.,5991123583769675.,-.496183916609790999713,-50,51,
 7969971748345305.,5991123583769684.,-.475639644271246522400,-50,51,
 7969971748345329.,5991123583769693.,-.455095371932715626882,-50,51,
 7969971748345422.,5991123583769727.,.499513683378963308939,-50,51,
 7969971748347029.,5991123583770332.,-.499876081321330604150,-50,51,
 7969971748348197.,5991123583770770.,.499945172423939153197,-50,51,
 7969971748353308.,5991123583772692.,-.499980831471477415584,-50,51,
 7969971748392589.,5991123583787456.,-.499999118321503804520,-50,51,
 8345810168405835.,6130757503321870.,.499994691490034063357,-50,51,
 8345810168414904.,6130757503325202.,-.496862672252497570151,-50,51,
 8345810168414923.,6130757503325208.,.481752358078482975204,-50,51,
 8345810168414953.,6130757503325220.,-.499381804556827074068,-50,51,
 8345810168418133.,6130757503326388.,-.499603044012002522435,-50,51,
 8345810168423698.,6130757503328432.,-.499990213594001181482,-50,51,
 8515808456089786.,6192882349084672.,-.499901226357777927861,-50,51,
 8515808456089797.,6192882349084675.,.499819187222948030433,-50,51,
 8515808456089973.,6192882349084739.,.495345804514212041135,-50,51,
 8515808456091062.,6192882349085135.,.467666748989202956675,-50,51,
 8515808456091150.,6192882349085167.,.465430057632541036017,-50,51,
 8515808456096942.,6192882349087274.,-.499966719296751172549,-50,51,
 8515808456100520.,6192882349088575.,-.499999466176208666141,-50,51,
 8579801239792273.,6216107275975971.,-.499678500114051667393,-50,51,
 8579801239792411.,6216107275976020.,.491153461480980036322,-50,51,
 8579801239792469.,6216107275976042.,-.498207018428474458627,-50,51,
 8579801239793587.,6216107275976446.,.499982351578852394844,-50,51,
 8579801239846597.,6216107275995649.,.499998872354987148728,-50,51,
 8666221177833595.,6247334669057011.,.499168050276744555447,-50,51,
 8666221177834050.,6247334669057176.,-.499866817912025602698,-50,51,
 8666221177836042.,6247334669057893.,.499962945922938680363,-50,51,
 8666221177847453.,6247334669062006.,.499991777224624843428,-50,51,
 8746614672421072.,6276244942596556.,.499997859853604666999,-50,51,
 8746614672443261.,6276244942604518.,-.499989741157266217901,-50,51,
 8746614672446051.,6276244942605519.,-.499943115472389664048,-50,51,
 8746614672446182.,6276244942605566.,-.499582503302579350893,-50,51,
 8746614672446968.,6276244942605848.,-.497418830291108788313,-50,51,
 8746614672447099.,6276244942605895.,-.497058218123762247274,-50,51,
 8746614672447110.,6276244942605898.,.449536947783403505250,-50,51,
 8848436869363688.,6312671145218770.,.499999512046304921488,-50,51,
 8848436869418612.,6312671145238362.,.499982012399772673818,-50,51,
 8848436869421093.,6312671145239248.,-.499800295798097035788,-50,51,
 8848436869422419.,6312671145239720.,.499106862284692319169,-50,51,
 8848436869422503.,6312671145239750.,.462838537456164026668,-50,51,
 8848436869422520.,6312671145239757.,-.473072909235341146604,-50,51,
 8848436869422576.,6312671145239777.,-.497251792454458211856,-50,51,
 8848436869422747.,6312671145239838.,-.499655167998939033699,-50,51,
 8957999189156421.,6351633003430698.,-.499367408427567423264,-50,51,
 8957999189156469.,6351633003430715.,-.482264720266707444605,-50,51,
 8957999189158466.,6351633003431423.,-.499888298281334645876,-50,51,
 8957999189158875.,6351633003431568.,-.499992476262018593205,-50,51,
 8957999189197290.,6351633003445187.,-.499997373971698328943,-50,51,
 4630540339075013.,6458188561134194.,.499988846475325818803,-49,51,
 4630540339110334.,6458188561158825.,.499987105058442861258,-49,51,
 4630540339111616.,6458188561159719.,.499081063471343051590,-49,51,
 4630540339111768.,6458188561159825.,.495853514070594444692,-49,51,
 4630540339111801.,6458188561159849.,-.491689309154797931039,-49,51,
 4630540339112181.,6458188561160114.,-.499758182665224884755,-49,51,
 4751802502325456.,6542203906759727.,-.499995997836639145186,-49,51,
 4751802502330642.,6542203906763296.,.499961265005090692948,-49,51,
 4751802502333235.,6542203906765081.,.499939895695416262633,-49,51,
 4751802502333726.,6542203906765420.,-.499678497082545719357,-49,51,
 4751802502333864.,6542203906765514.,.498392097204822241122,-49,51,
 4751802502333877.,6542203906765523.,.447485703912981461474,-49,51,
 4751802502372621.,6542203906792195.,-.499999096554129910469,-49,51,
 4918372782516509.,6655881884560533.,.499998672845462054313,-49,51,
 4918372782543596.,6655881884578861.,.499987583587583397443,-49,51,
 4918372782547542.,6655881884581531.,.499912127749251533365,-49,51,
 4918372782548445.,6655881884582143.,-.499091454920861096775,-49,51,
 4918372782548454.,6655881884582149.,-.409380527173669435760,-49,51,
 4918372782548980.,6655881884582505.,-.499608527736368730211,-49,51,
 4961703275491831.,6685136501617297.,.499998067775643174972,-49,51,
 4961703275492830.,6685136501617970.,.499872738166894689569,-49,51,
 4961703275494828.,6685136501619316.,.499622078746142857236,-49,51,
 4961703275494911.,6685136501619372.,.414526580876454979753,-49,51,
 4961703275494923.,6685136501619380.,.498609159497666229401,-49,51,
 5155187794669665.,6814235368858231.,-.499996436370779639823,-49,51,
 5155187794672213.,6814235368859914.,.499928629520455133112,-49,51,
 5155187794693234.,6814235368873807.,.499310407243793115530,-49,51,
 5155187794695145.,6814235368875070.,.499254203814080450067,-49,51,
 5155187794695478.,6814235368875291.,-.417553078126193092171,-49,51,
 5155187794695493.,6814235368875300.,.496104251515969623547,-49,51,
 5155187794695608.,6814235368875377.,-.499189554561262047955,-49,51,
 5357710127467854.,6946795136409791.,-.499998011182370059746,-49,51,
 5357710127491809.,6946795136425321.,-.499910906901492080811,-49,51,
 5357710127493896.,6946795136426673.,.499887955434110369229,-49,51,
 5357710127494513.,6946795136427074.,-.499692352205689762437,-49,51,
 5357710127495130.,6946795136427474.,-.499272659868522146042,-49,51,
 5357710127495150.,6946795136427486.,.466705288018845056429,-49,51,
 5363132893474751.,6950309820517549.,-.499998777015444004761,-49,51,
 5363132893502672.,6950309820535640.,.499990121964476277991,-49,51,
 5363132893506541.,6950309820538148.,-.499975604677656693768,-49,51,
 5363132893510410.,6950309820540655.,-.499941332224072975785,-49,51,
 5363132893510589.,6950309820540770.,.486878552677584747804,-49,51,
 5363132893510606.,6950309820540782.,-.497613413560905943441,-49,51,
 5365726582658915.,6951990252903790.,.499990632572869629103,-49,51,
 5365726582680557.,6951990252917810.,.499960388406677131649,-49,51,
 5365726582682113.,6951990252918818.,.499218909638481834176,-49,51,
 5365726582682502.,6951990252919070.,.499033539923596417601,-49,51,
 5365726582682607.,6951990252919139.,-.480450942905894542990,-49,51,
 5365726582682624.,6951990252919150.,-.467605573459303298011,-49,51,
 5365726582682661.,6951990252919174.,-.498471534075606188059,-49,51,
 5365726582718236.,6951990252942220.,-.499999921637984799469,-49,51,
 5483096108824863.,7027612623436251.,-.499163861327091803608,-49,51,
 5483096108824891.,7027612623436268.,.444453170983799003463,-49,51,
 5483096108824902.,7027612623436275.,.493731290820207856982,-49,51,
 5483096108825289.,7027612623436524.,-.499847584030635699163,-49,51,
 5483096108825431.,7027612623436614.,.499924508399159643852,-49,51,
 5483096108829794.,7027612623439410.,.499964221002294223449,-49,51,
 5483096108834157.,7027612623442207.,-.499996067506985417966,-49,51,
 5494838942516750.,7035133916846122.,-.499995141384368387619,-49,51,
 5494838942549092.,7035133916866826.,-.499066399979940679399,-49,51,
 5494838942549142.,7035133916866858.,-.491149560095437591276,-49,51,
 5494838942549595.,7035133916867148.,-.499422990748476105786,-49,51,
 5494838942550601.,7035133916867791.,.499863827670239055644,-49,51,
 5494838942556159.,7035133916871349.,.499899747851420463232,-49,51,
 5494838942570054.,7035133916880244.,.499989540431784878333,-49,51,
 5525992699215123.,7055049065887113.,-.499988769685874620852,-49,51,
 5525992699363311.,7055049065981709.,-.499968975696593625578,-49,51,
 5525992699368891.,7055049065985271.,-.499806298702096974456,-49,51,
 5525992699368985.,7055049065985331.,-.494785637133721761832,-49,51,
 5525992699369010.,7055049065985346.,.463996453708845303782,-49,51,
 5525992699369021.,7055049065985353.,.485860573679563376376,-49,51,
 5525992699370080.,7055049065986029.,.499869941736879063971,-49,51,
 5525992699372870.,7055049065987810.,.499951279368120596019,-49,51,
 9007199254740990.,9007199254740991.,-.000000000000000055511,-49,51,
 9007199254740991.,9007199254740991.,.499999999999999986122,-49,51,
 4503599627370497.,4503599627370496.,.499999999999999972244,-48,50,
 9007199254740990.,9007199254740991.,-.000000000000000055511,-47,50,
 9007199254740991.,9007199254740991.,.499999999999999986122,-47,50,
 4503599627370497.,4503599627370496.,.499999999999999972244,-46,49,
 5426391276973515.,4943510264270161.,-.499999519196135374888,-44,48,
 5426391276978246.,4943510264272316.,-.499939027688196325894,-44,48,
 5426391276979842.,4943510264273042.,.488033186102570682093,-44,48,
 5426391276979853.,4943510264273047.,.498601916899003250071,-44,48,
 5426391276980044.,4943510264273135.,-.499704666545568194001,-44,48,
 5426971710394830.,4943774648250502.,.499995839356589523344,-44,48,
 5426971710399199.,4943774648252493.,-.499632790486169191312,-44,48,
 5426971710399491.,4943774648252626.,-.498921314184693320703,-44,48,
 5426971710399592.,4943774648252672.,-.495250563820974586659,-44,48,
 5426971710401917.,4943774648253731.,-.499859528338868322734,-44,48,
 5426971710403276.,4943774648254350.,-.499972897381473448289,-44,48,
 5562950707696336.,5005327435269510.,.499985172078263221811,-44,48,
 5562950707702202.,5005327435272149.,.499706548536919191116,-44,48,
 5562950707703040.,5005327435272526.,.499666745060287888199,-44,48,
 5562950707703100.,5005327435272553.,.492503990633664096855,-44,48,
 5562950707703180.,5005327435272589.,.482953651397939269980,-44,48,
 5562950707721047.,5005327435280628.,-.499995244143747702616,-44,48,
 5565768841136260.,5006595098364914.,-.499998059367484690723,-44,48,
 5565768841145905.,5006595098369251.,.499935284116386471850,-44,48,
 5565768841151270.,5006595098371664.,.498342995065045646499,-44,48,
 5565768841151350.,5006595098371700.,.479679922712516277401,-44,48,
 5565768841151479.,5006595098371758.,.499585718543517993844,-44,48,
 5565768841152335.,5006595098372143.,.499890844350805637402,-44,48,
 5637442019520636.,5038728190569116.,-.499988954841489159782,-44,48,
 5637442019535928.,5038728190575949.,.471094324040828462350,-44,48,
 5637442019535937.,5038728190575953.,.493180365727213927609,-44,48,
 5637442019535984.,5038728190575974.,.497407472311619195485,-44,48,
 5637442019536031.,5038728190575996.,-.498365421104063093963,-44,48,
 5637442019536483.,5038728190576197.,.499733561361926608761,-44,48,
 5637442019537434.,5038728190576623.,-.499841367148683722960,-44,48,
 5637442019539562.,5038728190577574.,-.499941733073045319087,-44,48,
 5637442019560616.,5038728190586983.,-.499994893202383302720,-44,48,
 5666178554245438.,5051554179212023.,-.499999372939840196050,-44,48,
 5666178554261018.,5051554179218967.,.499470604941432579122,-44,48,
 5666178554261249.,5051554179219070.,.470900487083371677606,-44,48,
 5666178554261267.,5051554179219078.,.494648270107330729263,-44,48,
 5666178554261608.,5051554179219231.,-.499907618163408275288,-44,48,
 5666178554264724.,5051554179220619.,.499986376194751860876,-44,48,
 5772925638471603.,5098916135244656.,-.499975444319462636677,-44,48,
 5772925638471997.,5098916135244829.,.499577217356669543392,-44,48,
 5772925638472588.,5098916135245090.,.498906209859734622321,-44,48,
 5772925638472665.,5098916135245125.,-.496105071997871733438,-44,48,
 5772925638472674.,5098916135245128.,.478503998953821812027,-44,48,
 5772925638485033.,5098916135250587.,-.499995127082789006509,-44,48,
 5835612929818641.,5126525550137216.,-.499993941693854028738,-44,48,
 5835612929828599.,5126525550141589.,.499964776536479343651,-44,48,
 5835612929832212.,5126525550143176.,.491514368801832035722,-44,48,
 5835612929832221.,5126525550143180.,.444717785997561878632,-44,48,
 5835612929832253.,5126525550143195.,-.499447841750978923927,-44,48,
 5835612929832360.,5126525550143241.,.499748340464557895959,-44,48,
 5835612929833578.,5126525550143776.,.499944134252169270312,-44,48,
 5896103646768507.,5153027283696882.,.455044279707661258415,-44,48,
 5896103646768514.,5153027283696886.,-.486055033764567236790,-44,48,
 5896103646768546.,5153027283696899.,.497490961790936518601,-44,48,
 5896103646768665.,5153027283696951.,.498802632762633168828,-44,48,
 5896103646768784.,5153027283697004.,-.499885696266194947507,-44,48,
 5896103646771823.,5153027283698331.,.499998068945826542699,-44,48,
 6004329071334614.,5200105207423442.,.496037836759202826509,-44,48,
 6004329071334711.,5200105207423484.,.499915299787220967321,-44,48,
 6004329071339870.,5200105207425718.,.499954801994673973647,-44,48,
 6004329071345029.,5200105207427952.,.499994303242385594477,-44,48,
 6004329071371593.,5200105207439456.,-.499996153675545783104,-44,48,
 6029337333126207.,5210923273927395.,.484205074554793587278,-44,48,
 6029337333126214.,5210923273927399.,-.490880170959348309102,-44,48,
 6029337333126251.,5210923273927414.,.497954959894443925512,-44,48,
 6029337333126332.,5210923273927450.,-.499460023912290278996,-44,48,
 6029337333127857.,5210923273928108.,.499825774744200800851,-44,48,
 6029337333130185.,5210923273929115.,-.499953019336314218537,-44,48,
 6029337333138694.,5210923273932791.,.499996395321109775514,-44,48,
 6304262279992782.,5328402504974766.,.499981206189898073544,-44,48,
 6304262280166032.,5328402505047982.,.499965076856705019265,-44,48,
 6304262280167899.,5328402505048772.,-.499908118310528908928,-44,48,
 6304262280168306.,5328402505048943.,.499583906080460834122,-44,48,
 6304262280168313.,5328402505048946.,.457806127630134449928,-44,48,
 6305910042746096.,5329098809249382.,.499997220257237600081,-44,48,
 6305910042757148.,5329098809254053.,-.499983706378989428198,-44,48,
 6305910042773726.,5329098809261058.,-.499955104006613821717,-44,48,
 6305910042774384.,5329098809261336.,-.463399499156127044117,-44,48,
 6305910042774391.,5329098809261338.,.494436198767736323737,-44,48,
 6305910042774675.,5329098809261458.,.498055943105951362216,-44,48,
 6305910042774817.,5329098809261518.,.499865815274045515786,-44,48,
 6535180284100152.,5425111564960896.,-.494675977713843739504,-44,48,
 6535180284100164.,5425111564960900.,.486161271559892941583,-44,48,
 6535180284100364.,5425111564960984.,-.499884573878502279515,-44,48,
 6535180284103443.,5425111564962261.,.499939635437095494447,-44,48,
 6535180284119568.,5425111564968954.,.499993341209993838767,-44,48,
 6535815775784171.,5425375331936382.,-.499365685737467936509,-44,48,
 6535815775784583.,5425375331936553.,-.498934106898574385443,-44,48,
 6535815775785872.,5425375331937087.,.499988963754319510494,-44,48,
 6535815775790510.,5425375331939012.,.499992998762523486184,-44,48,
 6535815775799786.,5425375331942863.,-.499998933270120354514,-44,48,
 6544022097422422.,5428780293901744.,.499998875577817915746,-44,48,
 6544022097454026.,5428780293914854.,-.499920284037705125347,-44,48,
 6544022097454337.,5428780293914982.,.499542604722858211214,-44,48,
 6544022097454648.,5428780293915111.,.499005493480356243872,-44,48,
 6544022097454689.,5428780293915129.,-.494634447230298751615,-44,48,
 6544022097457799.,5428780293916418.,.499994440172048784390,-44,48,
 6616319171106171.,5458685973158560.,.499738718666418018529,-44,48,
 6616319171106251.,5458685973158594.,-.498915173383256493009,-44,48,
 6616319171106486.,5458685973158690.,.442539018719670794515,-44,48,
 6616319171106491.,5458685973158693.,-.494876849533477116649,-44,48,
 6616319171113601.,5458685973161625.,.499758493701678616158,-44,48,
 6616319171192359.,5458685973194114.,.499968003270314353001,-44,48,
 6616319171204247.,5458685973199018.,.499999610559496266613,-44,48,
 6702751591225877.,5494225110841551.,.492489037513288336436,-44,48,
 6702751591226243.,5494225110841701.,.497032932612804840111,-44,48,
 6702751591226487.,5494225110841802.,-.499937803989792744712,-44,48,
 6702751591227807.,5494225110842343.,-.499943428264912279464,-44,48,
 6702751591239687.,5494225110847212.,-.499994049138167760046,-44,48,
 6702751591241007.,5494225110847753.,-.499999673945993887646,-44,48,
 6729307497433567.,5505098249614015.,.499986732462493426695,-44,48,
 6729307497437063.,5505098249615446.,-.499713237549393573350,-44,48,
 6729307497437085.,5505098249615454.,.499144485750270831378,-44,48,
 6729307497437195.,5505098249615499.,.493433102248372206529,-44,48,
 6729307497437217.,5505098249615508.,.492290825547948351861,-44,48,
 6729307497437222.,5505098249615511.,-.462514237338513666593,-44,48,
 6729307497437948.,5505098249615807.,.499790631539136551688,-44,48,
 6729307497453702.,5505098249622251.,.499998484754285593834,-44,48,
 6743769751700027.,5511010700482141.,.499995937385620905028,-44,48,
 6743769751748468.,5511010700501934.,.499992287998809863664,-44,48,
 6743769751757516.,5511010700505632.,-.485826200498956542509,-44,48,
 6743769751757538.,5511010700505641.,-.496622841389130990650,-44,48,
 6743769751757631.,5511010700505679.,-.496808641515939522015,-44,48,
 6743769751758840.,5511010700506173.,-.499224043188294098758,-44,48,
 6743769751759212.,5511010700506325.,-.499967243711773361338,-44,48,
 6754791752061966.,5515512452850738.,.499858877316155669065,-44,48,
 6754791752062135.,5515512452850807.,.496923386908903216540,-44,48,
 6754791752062152.,5515512452850814.,.437456503258421759239,-44,48,
 6754791752068087.,5515512452853238.,-.499952583487552895574,-44,48,
 6754791752071837.,5515512452854768.,.499999551549608260828,-44,48,
 6794379564778140.,5531651225099838.,.495148060788334189548,-44,48,
 6794379564778167.,5531651225099849.,.486187172876299712621,-44,48,
 6794379564778172.,5531651225099852.,-.478435213774079438908,-44,48,
 6794379564778339.,5531651225099920.,-.496822927897173339315,-44,48,
 6794379564779017.,5531651225100196.,-.499618557698914277409,-44,48,
 6794379564779130.,5531651225100241.,.499915503999456752627,-44,48,
 6794379564781250.,5531651225101105.,-.499976435889622181926,-44,48,
 6794379564789843.,5531651225104602.,.499989864869790653723,-44,48,
 6794379564817742.,5531651225115959.,.499996811669411830048,-44,48,
 6990987887111572.,5611114901991166.,-.499999082808719698697,-44,48,
 6990987887146976.,5611114902005374.,-.499985516679979618572,-44,48,
 6990987887148192.,5611114902005861.,.493687979924575401768,-44,48,
 6990987887148197.,5611114902005864.,-.499759086290131639439,-44,48,
 7006147211067236.,5617195204821108.,-.499998089692300409072,-44,48,
 7006147211081617.,5617195204826873.,-.499505887241019707538,-44,48,
 7006147211081672.,5617195204826895.,-.451315422671692884151,-44,48,
 7006147211081717.,5617195204826913.,-.411886860751398944109,-44,48,
 7006147211083443.,5617195204827605.,-.499582463585627543382,-44,48,
 7006147211092573.,5617195204831265.,-.499965346739515754067,-44,48,
 7006147211093486.,5617195204831630.,.499996364813934263647,-44,48,
 7054682820220312.,5636618394069376.,.499925174428617717443,-44,48,
 7054682820221103.,5636618394069693.,-.499677406604609076777,-44,48,
 7054682820221501.,5636618394069851.,.499258336433919972286,-44,48,
 7054682820221541.,5636618394069867.,.479050873422468829612,-44,48,
 7054682820221551.,5636618394069871.,.473999007669598965404,-44,48,
 7054682820223083.,5636618394070484.,-.499946825703508122376,-44,48,
 7054682820245649.,5636618394079499.,-.499987091820819855768,-44,48,
 7054682820253171.,5636618394082503.,.499999482936018662409,-44,48,
 7138546116897252.,5670022366095707.,.499951844841756746575,-44,48,
 7138546116897461.,5670022366095791.,-.497525294868449585626,-44,48,
 7138546116897514.,5670022366095812.,-.449038636517642408710,-44,48,
 7138546116897529.,5670022366095818.,-.491919770946673431937,-44,48,
 7138546116897602.,5670022366095846.,.499392041498619574527,-44,48,
 7138546116915092.,5670022366102792.,.499989292954720061787,-44,48,
 7138546116918660.,5670022366104209.,.499996781514941771995,-44,48,
 7223985620314435.,5703852991424123.,-.499687133677873539474,-44,48,
 7223985620314625.,5703852991424198.,-.490396879622449712730,-44,48,
 7223985620314658.,5703852991424211.,-.462467519707660852288,-44,48,
 7223985620314663.,5703852991424213.,-.488538828811483317759,-44,48,
 7223985620316046.,5703852991424759.,-.499862926955003519645,-44,48,
 7223985620317120.,5703852991425183.,-.499980122512488081157,-44,48,
 7223985620334342.,5703852991431982.,-.499997204928200494784,-44,48,
 7322656671973029.,5742674800061362.,.499997016807914851465,-44,48,
 7322656671984801.,5742674800065979.,-.499910759819725298207,-44,48,
 7322656671993148.,5742674800069251.,.499814840080373469451,-44,48,
 7322656671993199.,5742674800069271.,.497776503617817589101,-44,48,
 7322656671993630.,5742674800069441.,-.499841594725386700417,-44,48,
 7322656672016692.,5742674800078483.,.499999270432260926957,-44,48,
 7371229009388508.,5761689354689705.,.499998501566493844763,-44,48,
 7371229009393564.,5761689354691682.,-.499707639514827502333,-44,48,
 7371229009395373.,5761689354692388.,.498815222421805387977,-44,48,
 7371229009395460.,5761689354692423.,-.499597442595037182007,-44,48,
 7413149621188158.,5778049659844117.,.499990861486690554069,-44,48,
 7413149621266923.,5778049659874813.,.499984955065618281927,-44,48,
 7413149621275383.,5778049659878110.,.499412991221125525043,-44,48,
 7413149621275442.,5778049659878133.,.492671413688890269214,-44,48,
 7413149621276861.,5778049659878687.,-.499977713766501345954,-44,48,
 7461059150873603.,5796690712092856.,.499991535609076094687,-44,48,
 7461059150902172.,5796690712103954.,.499190096566550274850,-44,48,
 7461059150902226.,5796690712103975.,.476191626956726160795,-44,48,
 7461059150902692.,5796690712104156.,.499945574394719499359,-44,48,
 7461059150918606.,5796690712110338.,.499989175139554706226,-44,48,
 7761862923839772.,5912387248100860.,.464543256464787311112,-44,48,
 7761862923839780.,5912387248100864.,-.488565910180470879634,-44,48,
 7761862923839822.,5912387248100880.,-.492389035068102141906,-44,48,
 7761862923839906.,5912387248100911.,.499964715156505498851,-44,48,
 7761862923848799.,5912387248104298.,.499987342122858559280,-44,48,
 7761862923901112.,5912387248124223.,-.499992042202405161797,-44,48,
 7819356134928369.,5934243791380719.,-.499995604290401961096,-44,48,
 7819356134934649.,5934243791383101.,.499983345052011068538,-44,48,
 7819356134936051.,5934243791383634.,-.499065940591700146665,-44,48,
 7819356134936072.,5934243791383641.,.469564562262061466346,-44,48,
 7819356134936080.,5934243791383645.,-.494766674746032162376,-44,48,
 7819356134936275.,5934243791383718.,.499659423181205391200,-44,48,
 7880037969511251.,5957225534018015.,.497837880993371641359,-44,48,
 7880037969511267.,5957225534018022.,-.454246556094688167254,-44,48,
 7880037969511669.,5957225534018173.,.499631962065794026649,-44,48,
 7880037969512796.,5957225534018599.,.499684424649267231275,-44,48,
 7880037969519558.,5957225534021155.,.499999199510379640418,-44,48,
 8016984453623986.,6008767610581727.,.499996017272567176527,-44,48,
 8016984453652757.,6008767610592510.,-.499993633191126673876,-44,48,
 8016984453659823.,6008767610595158.,-.499852065477680733494,-44,48,
 8016984453660330.,6008767610595347.,.499592001110724396299,-44,48,
 8016984453665376.,6008767610597238.,.499976142805150210067,-44,48,
 8049376796641290.,6020894480217904.,.499997129912225351009,-44,48,
 8049376796641913.,6020894480218138.,-.499526190896661002525,-44,48,
 8049376796642036.,6020894480218184.,-.497826942839128157287,-44,48,
 8049376796642159.,6020894480218230.,-.496127694781946780811,-44,48,
 8049376796642167.,6020894480218232.,.495852744116069102910,-44,48,
 8198893031068727.,6076555899485470.,.494950842751814878331,-44,48,
 8198893031068735.,6076555899485473.,.459524658489664060916,-44,48,
 8198893031068754.,6076555899485481.,-.499612529132949927060,-44,48,
 8198893031069488.,6076555899485753.,-.499964935191756582542,-44,48,
 8198893031080892.,6076555899489979.,-.499990602552345537066,-44,48,
 8198893031086594.,6076555899492091.,.499996562665230172432,-44,48,
 8347450336459938.,6131359900117975.,-.499996642734461162698,-44,48,
 8347450336540407.,6131359900147528.,-.499983788321689372152,-44,48,
 8347450336544622.,6131359900149075.,.498562905006460330383,-44,48,
 8347450336544641.,6131359900149082.,.476492296980245681200,-44,48,
 8347450336544652.,6131359900149087.,-.483653844508619061204,-44,48,
 8347450336545074.,6131359900149241.,.499830545643832808546,-44,48,
 8347450336546705.,6131359900149840.,.499979930295744486024,-44,48,
 8638779724340782.,6237435783034318.,.499999898003633663783,-44,48,
 8638779724384700.,6237435783050173.,.499980225482274895776,-44,48,
 8638779724393539.,6237435783053365.,-.499864350759323138326,-44,48,
 8638779724394287.,6237435783053635.,-.461611578238781215127,-44,48,
 8638779724394298.,6237435783053639.,-.490460802172389883394,-44,48,
 8638779724394334.,6237435783053652.,-.493967353227854111210,-44,48,
 8638779724394406.,6237435783053677.,.499019544661136193599,-44,48,
 8638779724394683.,6237435783053777.,.499816360149713905390,-44,48,
 8638779724397248.,6237435783054703.,.499974597359481827408,-44,48,
 8704521642366363.,6261124533580176.,-.495829097302319378826,-44,48,
 8704521642366477.,6261124533580217.,-.495977172406846014087,-44,48,
 8704521642368415.,6261124533580914.,-.498494449224876281465,-44,48,
 8704521642369555.,6261124533581324.,-.499975200330550675158,-44,48,
 8704521642383071.,6261124533586185.,-.499987335661163976506,-44,48,
 8704521642396587.,6261124533591046.,-.499999474765751226983,-44,48 };
#include "trailer.h"