xref: /openbsd-src/regress/lib/libm/fpaccuracy/atan.c (revision 2b0358df1d88d06ef4139321dd05bd5e05d91eaf)
1 /*	$OpenBSD: atan.c,v 1.1 2009/04/09 01:24:43 martynas Exp $	*/
2 
3 /*
4  * Copyright (c) 2009 Gaston H. Gonnet <gonnet@inf.ethz.ch>
5  *
6  * Permission to use, copy, modify, and distribute this software for any
7  * purpose with or without fee is hereby granted, provided that the above
8  * copyright notice and this permission notice appear in all copies.
9  *
10  * THE SOFTWARE IS PROVIDED "AS IS" AND THE AUTHOR DISCLAIMS ALL WARRANTIES
11  * WITH REGARD TO THIS SOFTWARE INCLUDING ALL IMPLIED WARRANTIES OF
12  * MERCHANTABILITY AND FITNESS. IN NO EVENT SHALL THE AUTHOR BE LIABLE FOR
13  * ANY SPECIAL, DIRECT, INDIRECT, OR CONSEQUENTIAL DAMAGES OR ANY DAMAGES
14  * WHATSOEVER RESULTING FROM LOSS OF USE, DATA OR PROFITS, WHETHER IN AN
15  * ACTION OF CONTRACT, NEGLIGENCE OR OTHER TORTIOUS ACTION, ARISING OUT OF
16  * OR IN CONNECTION WITH THE USE OR PERFORMANCE OF THIS SOFTWARE.
17  */
18 
19 /* This program was generated automatically by a program written
20    by Gaston H. Gonnet on enigma on 2002-09-01 17:26:56.
21    Do not edit, rerun the original maple program.       */
22 #include "header.h"
23 #define DBL_MAX_EXP 1024
24 #define N 870
25 #define F atan
26 #define Fs "atan"
27 #define Fn fpaccuracy_atan
28   /* 2 candidate values discarded */
29 
30 static struct input_point { double arg_m, val, eps;
31 	int arg_e, val_e; } input_points[N] = {
32  -9007199254740990.,-7074237752028440.,-.275765943415024521374,971,52,
33  -8242701861722232.,-7074237752028439.,-.183017545396534775709,-1,52,
34  -8242701861718072.,-7074237752028439.,-.183017545395983277740,-1,52,
35  -8242701861718030.,-7074237752028439.,-.183017545395977709732,-1,52,
36  -8178102513294909.,-7074237752028439.,-.174385856763109364582,-1,52,
37  -8178102513290568.,-7074237752028439.,-.174385856762524743523,-1,52,
38  -8178102513290524.,-7074237752028439.,-.174385856762518817854,-1,52,
39  -8003544517558113.,-7074237752028439.,-.150364662147572440217,-1,52,
40  -8003544517553246.,-7074237752028439.,-.150364662146888077430,-1,52,
41  -8003544517553197.,-7074237752028439.,-.150364662146881187399,-1,52,
42  -6848882081658556.,-7074237752028439.,.039368285404953677752,-1,52,
43  -6848882081658555.,-7074237752028439.,.039368285404953869773,-1,52,
44  -6848882081658468.,-7074237752028439.,.039368285404970575664,-1,52,
45  -6848882081649711.,-7074237752028439.,.039368285406652110009,-1,52,
46  -6751453641065261.,-7074237752028439.,.058346639385709024940,-1,52,
47  -6751453641065260.,-7074237752028439.,.058346639385709222543,-1,52,
48  -6751453641065174.,-7074237752028439.,.058346639385726216466,-1,52,
49  -6751453641056534.,-7074237752028439.,.058346639387433512899,-1,52,
50  -6471417749983854.,-7074237752028439.,.116077328449701674283,-1,52,
51  -6471417749983853.,-7074237752028439.,.116077328449701889358,-1,52,
52  -6471417749983771.,-7074237752028439.,.116077328449719525548,-1,52,
53  -6471417749975597.,-7074237752028439.,.116077328451477552512,-1,52,
54  -6031878638313244.,-7074237752028439.,.217500051283397888555,-1,52,
55  -6031878638313243.,-7074237752028439.,.217500051283398136118,-1,52,
56  -6031878638313174.,-7074237752028439.,.217500051283415217919,-1,52,
57  -6031878638306250.,-7074237752028439.,.217500051285129339566,-1,52,
58  -5840746347509200.,-7074237752028439.,.266365612868383211336,-1,52,
59  -5840746347509199.,-7074237752028439.,.266365612868383475366,-1,52,
60  -5840746347509138.,-7074237752028439.,.266365612868399581189,-1,52,
61  -5840746347503031.,-7074237752028439.,.266365612870012011665,-1,52,
62  -5301224375153928.,-7074237752028439.,.423313102730698401471,-1,52,
63  -5301224375153903.,-7074237752028439.,.423313102730706414144,-1,52,
64  -5301224375151470.,-7074237752028439.,.423313102731486207457,-1,52,
65  -5286632173730733.,-7074237752028439.,.428002913343679253115,-1,52,
66  -5286632173730710.,-7074237752028439.,.428002913343686665525,-1,52,
67  -5286632173728413.,-7074237752028439.,.428002913344426939661,-1,52,
68  -4827510902877757.,-7074237752028438.,-.409959850802855493161,-1,52,
69  -4827510902874312.,-7074237752028438.,-.409959850801524019837,-1,52,
70  -4827510902874277.,-7074237752028438.,-.409959850801510492532,-1,52,
71  -4508444030604469.,-7074237752028438.,-.277914978958590307780,-1,52,
72  -4508444030594726.,-7074237752028438.,-.277914978954272839977,-1,52,
73  -4508444030594629.,-7074237752028438.,-.277914978954229855847,-1,52,
74  -4508444030594628.,-7074237752028438.,-.277914978954229412712,-1,52,
75  -7501948289004415.,-7074237752028438.,.125530068700340018178,-2,52,
76  -7501948289004414.,-7074237752028438.,.125530068700340338268,-2,52,
77  -7501948289004295.,-7074237752028438.,.125530068700378428936,-2,52,
78  -7501948288992429.,-7074237752028438.,.125530068704176612739,-2,52,
79  -7485075199918261.,-7074237752028438.,.130943144782072816293,-2,52,
80  -7485075199918260.,-7074237752028438.,.130943144782073137827,-2,52,
81  -7485075199918142.,-7074237752028438.,.130943144782111078885,-2,52,
82  -7485075199906395.,-7074237752028438.,.130943144785888143364,-2,52,
83  -5441089836917728.,-7074237752028437.,.035041091465103798840,-2,52,
84  -5441089836917725.,-7074237752028437.,.035041091465105624287,-2,52,
85  -5441089836917445.,-7074237752028437.,.035041091465275999340,-2,52,
86  -5441089836889436.,-7074237752028437.,.035041091482318980989,-2,52,
87  -5137347928742246.,-7074237752028437.,.230790116122171144115,-2,52,
88  -5137347928742244.,-7074237752028437.,.230790116122172509238,-2,52,
89  -5137347928742062.,-7074237752028437.,.230790116122296735436,-2,52,
90  -5137347928723871.,-7074237752028437.,.230790116134713212219,-2,52,
91  -5130840493893794.,-7074237752028437.,.235237474235727657509,-2,52,
92  -5130840493893792.,-7074237752028437.,.235237474235729026097,-2,52,
93  -5130840493893613.,-7074237752028437.,.235237474235851514725,-2,52,
94  -5130840493875676.,-7074237752028437.,.235237474248125696387,-2,52,
95  -5046807759991974.,-7074237752028437.,.293698035833242410413,-2,52,
96  -5046807759991973.,-7074237752028437.,.293698035833243117685,-2,52,
97  -5046807759991828.,-7074237752028437.,.293698035833345672072,-2,52,
98  -5046807759977383.,-7074237752028437.,.293698035843562210849,-2,52,
99  -5010504700961462.,-7074237752028437.,.319560193296355979266,-2,52,
100  -5010504700961461.,-7074237752028437.,.319560193296356696823,-2,52,
101  -5010504700961333.,-7074237752028437.,.319560193296448544206,-2,52,
102  -5010504700948514.,-7074237752028437.,.319560193305646916127,-2,52,
103  -6298970528341482.,-7074237752028435.,.444025387066139815466,-3,52,
104  -6298970528341481.,-7074237752028435.,.444025387066140723518,-3,52,
105  -6298970528341431.,-7074237752028435.,.444025387066186126107,-3,52,
106  -6298970528336399.,-7074237752028435.,.444025387070755442608,-3,52,
107  -6002783559884483.,-7074237752028434.,-.273750934954965573700,-3,52,
108  -6002783559862087.,-7074237752028434.,-.273750934932572441116,-3,52,
109  -6002783559861863.,-7074237752028434.,-.273750934932348469795,-3,52,
110  -6002783559861861.,-7074237752028434.,-.273750934932346470051,-3,52,
111  -7922455086004378.,-7074237752028431.,-.180404309213629124942,-4,52,
112  -7922455085968054.,-7074237752028431.,-.180404309171927416012,-4,52,
113  -7922455085967691.,-7074237752028431.,-.180404309171510674455,-4,52,
114  -7922455085967687.,-7074237752028431.,-.180404309171506082261,-4,52,
115  -5181586503289490.,-7074237752028426.,-.369292705501746156029,-4,52,
116  -5181586503254761.,-7074237752028426.,-.369292705408539585266,-4,52,
117  -5181586503254414.,-7074237752028426.,-.369292705407608297868,-4,52,
118  -5181586503254410.,-7074237752028426.,-.369292705407597562566,-4,52,
119  -5061503531787600.,-7074237752028383.,-.330161867166206385452,-6,52,
120  -5061503531598431.,-7074237752028383.,-.330161865037917249576,-6,52,
121  -5061503531596539.,-7074237752028383.,-.330161865016630870491,-6,52,
122  -5061503531596520.,-7074237752028383.,-.330161865016417106642,-6,52,
123  -5034345543218302.,-7074237752028383.,-.022966413199435710935,-6,52,
124  -5034345543218301.,-7074237752028383.,-.022966413199424338494,-6,52,
125  -5034345543218243.,-7074237752028383.,-.022966413198764736894,-6,52,
126  -5034345543212355.,-7074237752028383.,-.022966413131803802104,-6,52,
127  -5034345542623562.,-7074237752028383.,-.022966406435789929312,-6,52,
128  -5263775657390696.,-6594410908646311.,.499998505920756747033,-49,52,
129  -5263775657359978.,-6594410908643531.,-.499988669056308066393,-49,52,
130  -5263775657351113.,-6594410908642730.,.499982483915631001382,-49,52,
131  -5263775657348847.,-6594410908642524.,-.499235267191649168507,-49,52,
132  -5263775657348836.,-6594410908642524.,.495914161201459550333,-49,52,
133  -5263775657348770.,-6594410908642518.,.466810731560198219606,-49,52,
134  -5263775657348748.,-6594410908642516.,.457109588346477340311,-49,52,
135  -5263775657348228.,-6594410908642468.,-.499462887609408802932,-49,52,
136  -5263775657346990.,-6594410908642356.,-.499918128405862734060,-49,52,
137  -5153546050516985.,-6584227825087857.,.469171301416417382803,-49,52,
138  -5153546050516974.,-6584227825087855.,-.493160683971663991085,-49,52,
139  -5153546050516656.,-6584227825087825.,-.495121716097942138882,-49,52,
140  -5153546050515914.,-6584227825087755.,-.499697457711697335407,-49,52,
141  -5153546050515861.,-6584227825087751.,.499975703602368033502,-49,52,
142  -5153546050512808.,-6584227825087462.,-.499983513361168137662,-49,52,
143  -5153546050488331.,-6584227825085153.,-.499984075563290601732,-49,52,
144  -4896645647472262.,-6558738121442973.,.499976367538495584889,-49,52,
145  -4896645647469119.,-6558738121442644.,-.499905742086352890157,-49,52,
146  -4896645647468429.,-6558738121442572.,-.492243844366434804920,-49,52,
147  -4896645647468420.,-6558738121442572.,.446986528212652975234,-49,52,
148  -4896645647468362.,-6558738121442566.,.499804484833522631133,-49,52,
149  -4896645647455033.,-6558738121441175.,.499986278234574196483,-49,52,
150  -4896645647437804.,-6558738121439377.,.499996201418238746540,-49,52,
151  -4837866588169495.,-6552530461227683.,.499979664847728455020,-49,52,
152  -4837866588169102.,-6552530461227640.,-.497701410044522897854,-49,52,
153  -4837866588169027.,-6552530461227632.,-.481991691511744741870,-49,52,
154  -4837866588168971.,-6552530461227626.,-.496928435007110486646,-49,52,
155  -4837866588161729.,-6552530461226852.,-.499998012309384916416,-49,52,
156  -4716555872202338.,-6539236380100597.,.499923808455944917407,-49,52,
157  -4716555872202329.,-6539236380100595.,-.488778891408831947750,-49,52,
158  -4716555872202320.,-6539236380100594.,-.477481591273605007659,-49,52,
159  -4716555872197381.,-6539236380100039.,-.499996549823365720618,-49,52,
160  -4707537845173328.,-6538221143323810.,-.499983811833436955052,-49,52,
161  -4707537845168434.,-6538221143323258.,-.499781077312533958896,-49,52,
162  -4707537845168301.,-6538221143323243.,-.498549576746826369278,-49,52,
163  -4707537845168168.,-6538221143323228.,-.497318076180283084129,-49,52,
164  -4707537845166847.,-6538221143323080.,.499876000920755064352,-49,52,
165  -4707537845164400.,-6538221143322804.,.499977368789002858100,-49,52,
166  -4707537845144097.,-6538221143320513.,-.499998888453436177491,-49,52,
167  -8956367348692004.,-6511047049156587.,-.499980137050404090305,-50,52,
168  -8956367348675227.,-6511047049155543.,-.499655396773309546370,-50,52,
169  -8956367348675050.,-6511047049155532.,-.485287066358253253226,-50,52,
170  -8956367348675034.,-6511047049155531.,-.489637951744441732465,-50,52,
171  -8956367348675002.,-6511047049155529.,-.498339722516808184973,-50,52,
172  -8956367348674536.,-6511047049155501.,.499940740612192654919,-50,52,
173  -8956367348672238.,-6511047049155357.,-.499955172927101366778,-50,52,
174  -8956367348625121.,-6511047049152425.,-.499996827250469034721,-50,52,
175  -8772453526434879.,-6499366347678959.,-.499939748370765058131,-50,52,
176  -8772453526433614.,-6499366347678878.,.499773078843635274608,-50,52,
177  -8772453526433182.,-6499366347678849.,-.497162935888884474961,-50,52,
178  -8772453526432966.,-6499366347678835.,-.495630943254126850989,-50,52,
179  -8772453526432935.,-6499366347678833.,-.486151814681490233060,-50,52,
180  -8772453526430976.,-6499366347678707.,.499964729662821378302,-50,52,
181  -8772453526274316.,-6499366347668552.,.499974015450117280487,-50,52,
182  -8298192411090965.,-6466897466336894.,.499992738729909458755,-50,52,
183  -8298192411035077.,-6466897466332852.,-.499980828453866478956,-50,52,
184  -8298192411034344.,-6466897466332800.,.499822696365413305140,-50,52,
185  -8298192411034275.,-6466897466332795.,.488890149588984048688,-50,52,
186  -8298192411034261.,-6466897466332793.,-.498835294684484409243,-50,52,
187  -8298192411029863.,-6466897466332476.,.499985854430513759441,-50,52,
188  -7900377053053516.,-6436712834194601.,-.499998349861359816443,-50,52,
189  -7900377053035267.,-6436712834193148.,-.482089063187220062775,-50,52,
190  -7900377053035217.,-6436712834193145.,.499000063038799595542,-50,52,
191  -7900377053034903.,-6436712834193119.,-.499760224260667978450,-50,52,
192  -7900377053034162.,-6436712834193061.,.499980626419329461564,-50,52,
193  -7846976255536888.,-6432432613500293.,.499999204908015374680,-50,52,
194  -7846976255466344.,-6432432613494600.,-.499974949254092862365,-50,52,
195  -7846976255461746.,-6432432613494230.,.499913334437310317900,-50,52,
196  -7846976255461337.,-6432432613494196.,-.499009173582556482337,-50,52,
197  -7846976255461275.,-6432432613494191.,-.496400849614613713699,-50,52,
198  -7688073522913897.,-6419351680052778.,-.499991043256485503805,-50,52,
199  -7688073522787305.,-6419351680042146.,-.499972032547068039443,-50,52,
200  -7688073522778756.,-6419351680041429.,.499334117025774737544,-50,52,
201  -7688073522778744.,-6419351680041427.,-.492829682973726146424,-50,52,
202  -7688073522778244.,-6419351680041385.,-.499654682950191759144,-50,52,
203  -7688073522777351.,-6419351680041310.,-.499844132894855474444,-50,52,
204  -7688073522776458.,-6419351680041236.,.499966417177538032130,-50,52,
205  -7668040568135362.,-6417664882346815.,.499966758766635625699,-50,52,
206  -7668040568133514.,-6417664882346658.,-.498372695901166147832,-50,52,
207  -7668040568132128.,-6417664882346541.,-.497127286853713533267,-50,52,
208  -7668040568132081.,-6417664882346538.,.470447413165215937580,-50,52,
209  -7668040568132069.,-6417664882346537.,.483445208914737474821,-50,52,
210  -7668040568132057.,-6417664882346536.,.496443004664262115706,-50,52,
211  -7668040568120898.,-6417664882345594.,.499976570086424291653,-50,52,
212  -7668040568091970.,-6417664882343152.,.499996206253186618792,-50,52,
213  -6448237341754015.,-6295731132686615.,-.499993133649424677548,-50,52,
214  -6448237341697247.,-6295731132679898.,.477142803730658212882,-50,52,
215  -6448237341697230.,-6295731132679896.,.488938380673855676793,-50,52,
216  -6448237341697213.,-6295731132679893.,-.499266042382936565415,-50,52,
217  -6448237341696875.,-6295731132679854.,.499963663901801696427,-50,52,
218  -6448237341683904.,-6295731132678319.,.499988874725797857471,-50,52,
219  -5630902860404413.,-6185463026844426.,.499996078598500245456,-50,52,
220  -5630902860360608.,-6185463026837689.,-.498782940686139292722,-50,52,
221  -5630902860360595.,-6185463026837687.,-.499741372979153068490,-50,52,
222  -5630902860359548.,-6185463026837527.,.499991041604956953524,-50,52,
223  -4917964729999861.,-6060667740382729.,-.499999949098532169382,-50,52,
224  -4917964729963828.,-6060667740375551.,-.499780532048269839767,-50,52,
225  -4917964729963577.,-6060667740375501.,-.499001937806598698143,-50,52,
226  -4917964729963572.,-6060667740375501.,.497029508293882263294,-50,52,
227  -4917964729962568.,-6060667740375300.,-.499856114690550358133,-50,52,
228  -4917964729960048.,-6060667740374799.,.499992720391515468993,-50,52,
229  -4831850099991375.,-6043223001570451.,.499997276747517229137,-50,52,
230  -4831850099972079.,-6043223001566475.,-.499977451402497753297,-50,52,
231  -4831850099948327.,-6043223001561583.,.441595986347170514127,-50,52,
232  -4831850099948317.,-6043223001561580.,-.498391562717930159449,-50,52,
233  -4831850099948084.,-6043223001561533.,.499898544067513725996,-50,52,
234  -4831850099946351.,-6043223001561175.,-.499943708759626978101,-50,52,
235  -4681019096820358.,-6011204124174933.,.499969688596740755500,-50,52,
236  -4681019096820344.,-6011204124174929.,-.437489842239392775832,-50,52,
237  -4681019096809533.,-6011204124172564.,-.499988970600892267924,-50,52,
238  -4681019096787915.,-6011204124167835.,-.499998758974314050468,-50,52,
239  -4531746129756674.,-5977535909893823.,-.499993365870157331195,-50,52,
240  -4531746129751101.,-5977535909892528.,.499961433515667188280,-50,52,
241  -4531746129746044.,-5977535909891351.,-.495773101748355569120,-50,52,
242  -4531746129745829.,-5977535909891301.,-.497569211063112038404,-50,52,
243  -4531746129745528.,-5977535909891232.,.499916235903735691694,-50,52,
244  -4531746129712133.,-5977535909883465.,-.499995664998374716845,-50,52,
245  -7166361094597504.,-5703120107432183.,-.499491175908270114794,-51,52,
246  -7166361094597426.,-5703120107432169.,-.481214533595863613409,-51,52,
247  -7166361094597415.,-5703120107432168.,.495721915961036572123,-51,52,
248  -7166361094597287.,-5703120107432144.,-.499926671012809713521,-51,52,
249  -7166361094562817.,-5703120107425949.,-.499979714014485175863,-51,52,
250  -7166361094549029.,-5703120107423472.,.499999083972116774126,-51,52,
251  -6982521428626811.,-5669290948329883.,.498196880242369878392,-51,52,
252  -6982521428626795.,-5669290948329879.,-.487299903699825212794,-51,52,
253  -6982521428626790.,-5669290948329879.,.454732351318241387487,-51,52,
254  -6982521428626742.,-5669290948329870.,.498241999491742927418,-51,52,
255  -6982521428625983.,-5669290948329727.,.498738311250206295472,-51,52,
256  -6982521428624120.,-5669290948329376.,.499956531140367777040,-51,52,
257  -6982521428624051.,-5669290948329362.,-.499998349601182911480,-51,52,
258  -5383107157247072.,-5289959700165904.,-.499944701034560801782,-51,52,
259  -5383107157246931.,-5289959700165863.,.496389470184813842663,-51,52,
260  -5383107157246914.,-5289959700165857.,-.440222721937546418791,-51,52,
261  -5383107157233978.,-5289959700162004.,-.499947260803178095944,-51,52,
262  -5383107157024474.,-5289959700099604.,-.499986021054264599173,-51,52,
263  -8553544359437414.,-4891628179855686.,.499741164070176458933,-52,52,
264  -8553544359437368.,-4891628179855676.,.484069303190308733614,-52,52,
265  -8553544359435373.,-4891628179855242.,-.499960315323057183622,-52,52,
266  -8553544359428992.,-4891628179853858.,.499993071335918091884,-52,52,
267  -8099766831130065.,-4788884977958055.,-.499995972017895216698,-52,52,
268  -8099766831127033.,-4788884977957339.,-.499935713709271460035,-52,52,
269  -8099766831116421.,-4788884977954833.,-.499724806404608636799,-52,52,
270  -8099766831116006.,-4788884977954735.,-.498397297206255140432,-52,52,
271  -8099766831115934.,-4788884977954718.,-.495757343802386428784,-52,52,
272  -8099766831115883.,-4788884977954706.,-.452220710141173058171,-52,52,
273  -8099766831115879.,-4788884977954706.,.492370398381279948734,-52,52,
274  -8099766831115663.,-4788884977954654.,-.499709741405199406870,-52,52,
275  -7588440847671859.,-4662052437644698.,-.499993908384599873126,-52,52,
276  -7588440847589594.,-4662052437623270.,-.478282043278065003339,-52,52,
277  -7588440847589571.,-4662052437623264.,-.487344227963536121876,-52,52,
278  -7588440847589548.,-4662052437623258.,-.496406412648980383714,-52,52,
279  -7588440847589429.,-4662052437623227.,-.499815107325415227580,-52,52,
280  -7588440847588546.,-4662052437622997.,-.499898110658350652590,-52,52,
281  -7588440847587663.,-4662052437622767.,-.499981113951702197879,-52,52,
282  -7221316242081890.,-4562893206878456.,-.499992745122100213312,-52,52,
283  -7221316242028824.,-4562893206863597.,.489713952953499853734,-52,52,
284  -7221316242028817.,-4562893206863595.,.449913100193482946516,-52,52,
285  -7221316242028799.,-4562893206863590.,.490425193096309177258,-52,52,
286  -7221316242028499.,-4562893206863506.,.498960074812743169989,-52,52,
287  -7221316242028474.,-4562893206863499.,.499671314956006178587,-52,52,
288  -7221316242015811.,-4562893206859953.,.499928676807292307771,-52,52,
289  -7221316242012997.,-4562893206859165.,.499985869545739937396,-52,52,
290  -6207868236498691.,-8495432818763202.,-.490845166742927554485,-52,53,
291  -6207868236498678.,-8495432818763194.,.474512061931930281043,-52,53,
292  -6207868236498662.,-8495432818763182.,-.491202118160518610716,-52,53,
293  -6207868236498227.,-8495432818762882.,-.496556389409693544918,-52,53,
294  -6207868236497966.,-8495432818762702.,-.499768952145976687103,-52,53,
295  -6207868236497937.,-8495432818762683.,.499874096439492862762,-52,53,
296  -6207868236492337.,-8495432818758821.,.499911066962451115107,-52,53,
297  -6207868236478337.,-8495432818749165.,-.499996486757969834684,-52,53,
298  -4503599627370497.,-7074237752028441.,-.275765943415024410352,-52,53,
299  -4503599627370496.,-7074237752028440.,-.275765943415024521374,-52,53,
300  -9007199254740990.,-7074237752028439.,-.275765943415024410352,-53,53,
301  -8871213671080945.,-7005729119120475.,.499966366103308413956,-53,53,
302  -8871213671079170.,-7005729119119573.,-.499928870032000524476,-53,53,
303  -8871213671077921.,-7005729119118940.,.499581468140328953227,-53,53,
304  -8871213671077789.,-7005729119118872.,-.496467078981238427714,-53,53,
305  -8871213671077777.,-7005729119118866.,-.405198765083150413144,-53,53,
306  -8871213671077395.,-7005729119118672.,-.499824105989774792597,-53,53,
307  -8871213671070821.,-7005729119115335.,-.499999474125862512686,-53,53,
308  -8108579655065178.,-6601771905131653.,-.499996699087190486556,-53,53,
309  -8108579655014374.,-6601771905103591.,-.499981474863850999558,-53,53,
310  -8108579655013123.,-6601771905102901.,.499979535024895425479,-53,53,
311  -8108579655010726.,-6601771905101576.,-.497697090844892684312,-53,53,
312  -8108579655010708.,-6601771905101567.,.444748391315107799140,-53,53,
313  -8108579655010621.,-6601771905101519.,.499901555088722026892,-53,53,
314  -7881394195509955.,-6474698755598284.,-.499997503473688634231,-53,53,
315  -7881394195508403.,-6474698755597406.,.499677868225334406741,-53,53,
316  -7881394195508064.,-6474698755597214.,.497673970697609907610,-53,53,
317  -7881394195507958.,-6474698755597153.,-.467554386639972705565,-53,53,
318  -7881394195507951.,-6474698755597150.,.497006004856626676226,-53,53,
319  -7881394195506964.,-6474698755596590.,-.499978794092288689058,-53,53,
320  -7552125243336370.,-6284799436357542.,-.499990359850718441996,-53,53,
321  -7552125243333027.,-6284799436355580.,.499934879110604933221,-53,53,
322  -7552125243332121.,-6284799436355047.,-.499487117026991592978,-53,53,
323  -7552125243331954.,-6284799436354949.,-.437570420945057653200,-53,53,
324  -7552125243331949.,-6284799436354947.,.498415108877782343183,-53,53,
325  -7552125243322545.,-6284799436349425.,.499999602515216184204,-53,53,
326  -7109328173648877.,-6018418740252676.,.499965335129335624458,-53,53,
327  -7109328173648072.,-6018418740252180.,.499622955455033284791,-53,53,
328  -7109328173647710.,-6018418740251956.,-.454568276136002727876,-53,53,
329  -7109328173647689.,-6018418740251944.,.484553227004011372185,-53,53,
330  -7109328173647663.,-6018418740251927.,-.495582054822597184392,-53,53,
331  -7109328173647465.,-6018418740251805.,-.498150739500679174063,-53,53,
332  -7109328173637198.,-6018418740245480.,.499967013619840291821,-53,53,
333  -7109328173485371.,-6018418740151932.,.499989659849341187887,-53,53,
334  -7006352135985941.,-5954616518569951.,-.499993215305306995472,-53,53,
335  -7006352135983344.,-5954616518568334.,.499716026496276893069,-53,53,
336  -7006352135983031.,-5954616518568138.,-.493002882720824098289,-53,53,
337  -7006352135983023.,-5954616518568134.,.491208774551668349749,-53,53,
338  -7006352135982901.,-5954616518568057.,-.499563452042290164290,-53,53,
339  -7006352135981824.,-5954616518567387.,.499930908314986298040,-53,53,
340  -7006352135972070.,-5954616518561310.,.499994041777360999626,-53,53,
341  -6828286958466634.,-5842609816051684.,-.499997584650290629932,-53,53,
342  -6828286958448432.,-5842609816040125.,-.499987621664600453421,-53,53,
343  -6828286958433044.,-5842609816030354.,.497163989683508952631,-53,53,
344  -6828286958433003.,-5842609816030327.,-.466191663007180467871,-53,53,
345  -6828286958432992.,-5842609816030320.,-.480750496655882605019,-53,53,
346  -6828286958432907.,-5842609816030267.,.497658516058968754623,-53,53,
347  -6828286958432359.,-5842609816029919.,.499636621573549025552,-53,53,
348  -6828286958432222.,-5842609816029831.,-.499868852044620640976,-53,53,
349  -6828286958430230.,-5842609816028566.,-.499977636188221933487,-53,53,
350  -6595469068484326.,-5692911935226515.,-.499999877103726725920,-53,53,
351  -6595469068453438.,-5692911935206409.,.498911911162182028369,-53,53,
352  -6595469068453398.,-5692911935206382.,-.462498459439766279855,-53,53,
353  -6595469068453395.,-5692911935206381.,.490395762765092040995,-53,53,
354  -6595469068452971.,-5692911935206105.,.499445834391305041033,-53,53,
355  -6595469068452504.,-5692911935205801.,.499979757635454103914,-53,53,
356  -6595469068444989.,-5692911935200908.,-.499993616786804058719,-53,53,
357  -6056160701852556.,-5331720846798031.,-.499995673080807922316,-53,53,
358  -6056160701831193.,-5331720846783320.,.499903671734930396755,-53,53,
359  -6056160701828784.,-5331720846781661.,.499471034229544794512,-53,53,
360  -6056160701828678.,-5331720846781588.,.498206667457923915988,-53,53,
361  -6056160701828466.,-5331720846781442.,.495677933917068869621,-53,53,
362  -6056160701828453.,-5331720846781433.,.448353058747214330150,-53,53,
363  -6056160701824875.,-5331720846778968.,-.499985660624028811656,-53,53,
364  -5587044502255062.,-5000821182216535.,.499999269773592913257,-53,53,
365  -5587044502248976.,-5000821182212139.,-.499980241367759934517,-53,53,
366  -5587044502248213.,-5000821182211589.,.499858015967327544071,-53,53,
367  -5587044502246982.,-5000821182210700.,.465521049842496381229,-53,53,
368  -5587044502246975.,-5000821182210694.,-.479434562474717834512,-53,53,
369  -5587044502246885.,-5000821182210629.,-.486006720838587084391,-53,53,
370  -5587044502246705.,-5000821182210499.,-.499151037564580193172,-53,53,
371  -5587044502246687.,-5000821182210487.,.499534530762948491288,-53,53,
372  -5574097035286976.,-4991465158402034.,.499998082164255322267,-53,53,
373  -5574097035223539.,-4991465158356164.,.481046686477588065365,-53,53,
374  -5574097035223521.,-4991465158356151.,.496473943086199476527,-53,53,
375  -5574097035223456.,-4991465158356104.,.496627925284156707733,-53,53,
376  -5574097035222286.,-4991465158355258.,.499399604899293119188,-53,53,
377  -5574097035222026.,-4991465158355069.,-.499984466283987239736,-53,53,
378  -5292230209319338.,-4784794832124131.,.499966622003387056232,-53,53,
379  -5292230209316509.,-4784794832122028.,.499262477686778231637,-53,53,
380  -5292230209316396.,-4784794832121943.,-.499705202862488214036,-53,53,
381  -5292230209315453.,-4784794832121242.,-.499939917498789098861,-53,53,
382  -5292230209306740.,-4784794832114765.,-.499987707282677725879,-53,53,
383  -5292230209242807.,-4784794832067239.,-.499993891779353376097,-53,53,
384  -5268565944254121.,-4767183293757417.,.499997616051779508382,-53,53,
385  -5268565944194083.,-4767183293712683.,-.499770907711793996938,-53,53,
386  -5268565944194032.,-4767183293712646.,.499213265843637983929,-53,53,
387  -5268565944193879.,-4767183293712532.,.496165786511059148230,-53,53,
388  -5268565944193863.,-4767183293712520.,.417415723312978451055,-53,53,
389  -5268565944192102.,-4767183293711208.,.499986892687035792728,-53,53,
390  -4510984822798768.,-8364145233392767.,.499997792648037031391,-53,54,
391  -4510984822794195.,-8364145233385455.,.499853147199814672235,-53,54,
392  -4510984822793624.,-8364145233384541.,-.499508889011912444154,-53,54,
393  -4510984822793522.,-8364145233384378.,-.406575312288287493179,-53,54,
394  -4510984822793477.,-8364145233384306.,-.453810499027394543427,-53,54,
395  -4510984822793432.,-8364145233384235.,.498954314233786269956,-53,54,
396  -4510984822790956.,-8364145233380276.,.499969373225977895970,-53,54,
397  -8854767244013759.,-8229974922131205.,-.499963593771841796439,-54,54,
398  -8854767244013204.,-8229974922130758.,-.499670292862793117076,-54,54,
399  -8854767244013168.,-8229974922130730.,.494943326656008242125,-54,54,
400  -8854767244013132.,-8229974922130701.,.489556946174855479092,-54,54,
401  -8854767244013117.,-8229974922130688.,-.429354045692277965192,-54,54,
402  -8854767243993337.,-8229974922114757.,-.499981980888660609490,-54,54,
403  -8854767243972915.,-8229974922098310.,.499999646758172840281,-54,54,
404  -8644717199267704.,-8060019859445059.,-.498379160182770207293,-54,54,
405  -8644717199267624.,-8060019859444994.,-.472694731213662552305,-54,54,
406  -8644717199267613.,-8060019859444986.,.468336877769607367389,-54,54,
407  -8644717199267517.,-8060019859444908.,.499158192532871085303,-54,54,
408  -8644717199267127.,-8060019859444591.,.499369783761965754849,-54,54,
409  -8644717199265957.,-8060019859443639.,-.499995442518627568523,-54,54,
410  -8607732457420457.,-8029933817329829.,-.499994663971823724296,-54,54,
411  -8607732457383508.,-8029933817299748.,-.499625690745442876671,-54,54,
412  -8607732457383239.,-8029933817299530.,.499240293727783342245,-54,54,
413  -8607732457383099.,-8029933817299416.,.476345267060580592338,-54,54,
414  -8607732457383083.,-8029933817299402.,-.497699878844198698437,-54,54,
415  -8607732457382545.,-8029933817298964.,-.499967909887162481614,-54,54,
416  -8607732457373722.,-8029933817291781.,-.499988053215959701699,-54,54,
417  -7684108841899616.,-7263152063801827.,.499942883187511346537,-54,54,
418  -7684108841898791.,-7263152063801128.,-.499855622187224424214,-54,54,
419  -7684108841897180.,-7263152063799765.,-.495825794434282772192,-54,54,
420  -7684108841897167.,-7263152063799754.,-.497034740578687043688,-54,54,
421  -7684108841897141.,-7263152063799732.,-.499452632867478399876,-54,54,
422  -7684108841894653.,-7263152063797628.,.499942905141888167574,-54,54,
423  -7684108841869838.,-7263152063776633.,.499943027438462120066,-54,54,
424  -7492339963682996.,-7100282634169715.,-.498770252275278532465,-54,54,
425  -7492339963682935.,-7100282634169663.,-.494465131788497104050,-54,54,
426  -7492339963682779.,-7100282634169530.,-.499848758084029014628,-54,54,
427  -7492339963675347.,-7100282634163194.,-.499919979114605949355,-54,54,
428  -7492339963666986.,-7100282634156067.,.499999899441739742729,-54,54,
429  -7298995560604133.,-6934825787505531.,-.499994032922012640385,-54,54,
430  -7298995560598233.,-6934825787500463.,-.499907175344172599076,-54,54,
431  -7298995560586589.,-6934825787490462.,.498908314425059546305,-54,54,
432  -7298995560586582.,-6934825787490455.,-.488210226587981966497,-54,54,
433  -7298995560586561.,-6934825787490437.,-.449565849627096746694,-54,54,
434  -7298995560586511.,-6934825787490395.,.499587428851260310048,-54,54,
435  -7298995560586433.,-6934825787490327.,-.499733456722336991035,-54,54,
436  -7298995560558486.,-6934825787466321.,-.499999970972165804326,-54,54,
437  -6300104505904652.,-6060597577115105.,-.499581854328543396301,-54,54,
438  -6300104505904615.,-6060597577115073.,.468186072258548258263,-54,54,
439  -6300104505904606.,-6060597577115065.,.487372865212171528144,-54,54,
440  -6300104505904496.,-6060597577114967.,.499655890201102136877,-54,54,
441  -6300104505903193.,-6060597577113806.,.499699358961993788151,-54,54,
442  -6300104505895375.,-6060597577106840.,.499960172626405169003,-54,54,
443  -6300104505894072.,-6060597577105678.,-.499996358246349355321,-54,54,
444  -4924871031088273.,-4807401319302488.,.499999103248335821535,-54,54,
445  -4924871031067336.,-4807401319283007.,.499800540919498071766,-54,54,
446  -4924871031067034.,-4807401319282726.,.498125995184250459312,-54,54,
447  -4924871031066991.,-4807401319282685.,-.492178658678520349293,-54,54,
448  -4924871031066919.,-4807401319282618.,-.499200404681190590093,-54,54,
449  -4924871031066200.,-4807401319281949.,-.499875896005939167276,-54,54,
450  -4924871031060218.,-4807401319276383.,-.499932625805624060167,-54,54,
451  -4924871031054236.,-4807401319270817.,-.499989354664997510360,-54,54,
452  -4698780735304385.,-4596369687586897.,-.496935925918205491743,-54,54,
453  -4698780735304338.,-4596369687586853.,-.490877353937304655134,-54,54,
454  -4698780735304228.,-4596369687586750.,-.497974313130721781526,-54,54,
455  -4698780735303914.,-4596369687586457.,.499948912446122903256,-54,54,
456  -4698780735280806.,-4596369687564821.,.499980437245260499867,-54,54,
457  -4698780735269252.,-4596369687554003.,.499996204728306240140,-54,54,
458  -4517699360235299.,-8852822309696717.,-.499995820816564615589,-54,55,
459  -4517699360187674.,-8852822309607103.,-.499992676710082306305,-54,55,
460  -4517699360178776.,-8852822309590361.,.499944930986971766768,-54,55,
461  -4517699360175810.,-8852822309584780.,.499924134419881544098,-54,55,
462  -4517699360175472.,-8852822309584143.,-.499403926658353472714,-54,55,
463  -4517699360174458.,-8852822309582235.,-.497388109859271946181,-54,55,
464  -4517699360174441.,-8852822309582204.,.490811366359685042909,-54,55,
465  -4514338150834309.,-8846497382092915.,-.490691037813451287482,-54,55,
466  -4514338150834292.,-8846497382092883.,-.499675898668745219295,-54,55,
467  -4514338150832845.,-8846497382090160.,-.499740231417173645480,-54,55,
468  -4514338150827057.,-8846497382079268.,-.499997561379433461257,-54,55,
469  -8341071156586061.,-8196667225836113.,-.499999844002943382481,-55,55,
470  -8341071156516650.,-8196667225770234.,.499983693542084683353,-55,55,
471  -8341071156515235.,-8196667225768890.,-.482339328084266856688,-55,55,
472  -8341071156515215.,-8196667225768871.,-.499757321322635728219,-55,55,
473  -6979532375158638.,-6894138239083896.,-.499989767766381208116,-55,55,
474  -6979532375147441.,-6894138239073105.,.499971922803527465672,-55,55,
475  -6979532375146501.,-6894138239072199.,.499790087470293918224,-55,55,
476  -6979532375142741.,-6894138239068575.,.499062746225629706720,-55,55,
477  -6979532375142576.,-6894138239068415.,-.469054278054478444668,-55,55,
478  -6979532375142575.,-6894138239068415.,.494775315737764153266,-55,55,
479  -6979532375103593.,-6894138239030842.,-.499999467470847728295,-55,55,
480  -5360050516014288.,-5321023014525596.,.499996652094031881203,-55,55,
481  -5360050515993691.,-5321023014505444.,-.499990028165791884775,-55,55,
482  -5360050515988611.,-5321023014500475.,.499527749903765763005,-55,55,
483  -5360050515984548.,-5321023014496499.,-.479204389261102972204,-55,55,
484  -5360050515984547.,-5321023014496499.,.499141972506285753486,-55,55,
485  -5003579018628561.,-4971778405016944.,.499988367190094678843,-55,55,
486  -5003579018617043.,-4971778405005643.,-.442869793632140891687,-55,55,
487  -5003579018617040.,-4971778405005640.,-.499635601453029042323,-55,55,
488  -5003579018615983.,-4971778405004604.,.499878109658202780365,-55,55,
489  -5003579018614239.,-4971778405002892.,-.499978170193126360621,-55,55,
490  -5003579018593628.,-4971778404982671.,-.499999833630296634964,-55,55,
491  -5370993780299994.,-5368509151783401.,.499978485038622226552,-57,57,
492  -5370993780295668.,-5368509151779081.,.499670961404160001903,-57,57,
493  -5370993780293505.,-5368509151776921.,.499517199590548516743,-57,57,
494  -5370993780293504.,-5368509151776920.,.498130165951245509631,-57,57,
495  -5370993780293395.,-5368509151776811.,.346943499267220826402,-57,57,
496  -5370993780293188.,-5368509151776604.,.059827535931521095052,-57,57,
497  -5370993780280528.,-5368509151763962.,.499981662398850700016,-57,57,
498  -5370993780202664.,-5368509151686206.,.499994373794162456865,-57,57,
499  -4503599627370496.,-4503599627370496.,0.000000000000000000000,-1074,1074,
500  0.,0.,0.000000000000000000000,0,0,
501  4503599627370496.,4503599627370496.,0.000000000000000000000,-1074,1074,
502  6940259249747182.,6934901498086803.,-.499998924649512358584,-57,57,
503  6940259249803799.,6934901498143288.,.499577486192595265464,-57,57,
504  6940259249803814.,6934901498143303.,.464870483810742366311,-57,57,
505  6940259249803890.,6934901498143379.,.289021671742685376890,-57,57,
506  6940259249804231.,6934901498143720.,-.499984182404828149061,-57,57,
507  6175493946642041.,6160440836842856.,.499959190817002838581,-56,56,
508  6175493946644784.,6160440836845579.,.499889153594905800277,-56,56,
509  6175493946646293.,6160440836847077.,.497298673759407162349,-56,56,
510  6175493946646297.,6160440836847081.,.468133423978523995682,-56,56,
511  6175493946646430.,6160440836847213.,.498388868764137347622,-56,56,
512  6175493946646567.,6160440836847349.,.499479063768823535501,-56,56,
513  6175493946653973.,6160440836854702.,-.499980905605368695777,-56,56,
514  6175493946683323.,6160440836883837.,.499998825626490033539,-56,56,
515  6823990675679610.,6803699548482643.,.499998410367742706029,-56,56,
516  6823990675707623.,6803699548510407.,.499984915757719906489,-56,56,
517  6823990675708298.,6803699548511077.,-.499908316297471278919,-56,56,
518  6823990675709423.,6803699548512192.,-.499730369725404181197,-56,56,
519  6823990675709433.,6803699548512201.,.411382323132999540240,-56,56,
520  7740553500844207.,7710984091444976.,-.499986505357287228906,-56,56,
521  7740553500860161.,7710984091460748.,-.499944869887435535219,-56,56,
522  7740553500861213.,7710984091461787.,.499054992222282166925,-56,56,
523  7740553500862002.,7710984091462567.,.498304888802454141458,-56,56,
524  7740553500862090.,7710984091462654.,.494418945708621970234,-56,56,
525  7740553500862108.,7710984091462672.,.289078639166698973518,-56,56,
526  7740553500862177.,7710984091462741.,-.498059202577347926675,-56,56,
527  7740553500888212.,7710984091488479.,-.499997026846667506765,-56,56,
528  8359220028894459.,8322021212206971.,-.499991332394936374082,-56,56,
529  8359220028906727.,8322021212219076.,-.407133257057873381209,-56,56,
530  8359220028906734.,8322021212219082.,.499913531866621821217,-56,56,
531  8359220028912382.,8322021212224655.,.499951224037830101409,-56,56,
532  8359220028947249.,8322021212259060.,-.499993145574869672164,-56,56,
533  8513798801064457.,8474509656069644.,-.499997686727966433522,-56,56,
534  8513798801093147.,8474509656097939.,-.499866388445723161517,-56,56,
535  8513798801093365.,8474509656098153.,.498740395197956663628,-56,56,
536  8513798801093438.,8474509656098225.,.493686703482274285128,-56,56,
537  8513798801093441.,8474509656098228.,.452383127110396563480,-56,56,
538  8513798801093510.,8474509656098297.,-.497599129442798957688,-56,56,
539  8513798801095326.,8474509656100087.,.499969306774885550925,-56,56,
540  8513798801101064.,8474509656105746.,.499995566076391945988,-56,56,
541  4527203410034077.,9007199254698637.,.000006526447146855950,-55,56,
542  4527203410054664.,9007199254739171.,.000032286613846042733,-55,56,
543  4527203410055436.,9007199254740691.,.000421847237243974292,-55,56,
544  4527203410055565.,9007199254740945.,-.009875752089424733793,-55,56,
545  4527203410055572.,9007199254740959.,-.227488800114909316361,-55,56,
546  4527203410055588.,9007199254740990.,.275109947255409150052,-55,56,
547  4527203410055589.,4503599627370496.,.122011184483026969640,-55,55,
548  4527203410055629.,4503599627370536.,-.499740381304082789063,-55,55,
549  6216155809109973.,6155554481032103.,-.499994723574126418041,-55,55,
550  6216155809170996.,6155554481091362.,-.499986158964032008776,-55,55,
551  6216155809171826.,6155554481092168.,-.492906744735315151079,-55,55,
552  6216155809171828.,6155554481092169.,.449278988792939302802,-55,55,
553  6216155809171861.,6155554481092201.,.495343592009132575987,-55,55,
554  6216155809171930.,6155554481092269.,-.499248601266131453864,-55,55,
555  6216155809172103.,6155554481092436.,.499817348927582713153,-55,55,
556  7082784227655559.,6993601955512480.,.499993467526048186039,-55,55,
557  7082784227659886.,6993601955516646.,.499319042236840515318,-55,55,
558  7082784227659913.,6993601955516672.,.494692693846412639233,-55,55,
559  7082784227659967.,6993601955516724.,.485439997065534763866,-55,55,
560  7082784227660316.,6993601955517060.,.499714234536557118717,-55,55,
561  7082784227660531.,6993601955517267.,.499911830685714017991,-55,55,
562  7082784227716298.,6993601955570960.,-.499998210918546863097,-55,55,
563  4579785905351171.,8969552671765385.,.499997628446776707314,-54,55,
564  4579785905374018.,8969552671808305.,.475535738401174899013,-54,55,
565  4579785905374026.,8969552671808321.,-.495803855209556905943,-54,55,
566  4579785905374199.,8969552671808645.,.498977432957588051987,-54,55,
567  4579785905374339.,8969552671808909.,-.499465455231940764949,-54,55,
568  4579785905374932.,8969552671810022.,.499987168354445140613,-54,55,
569  4599831125052332.,9007199254740673.,.000016255175625156587,-54,55,
570  4599831125052381.,9007199254740765.,.001561787804244253558,-54,55,
571  4599831125052479.,9007199254740949.,.004652853061122520973,-54,55,
572  4599831125052496.,9007199254740981.,-.076443594802529073231,-54,55,
573  4599831125052501.,9007199254740990.,.311469214649335356651,-54,55,
574  4599831125052502.,4503599627370496.,.094525888269854046360,-54,54,
575  4599831125052512.,4503599627370505.,.482438697721716352561,-54,54,
576  4599831125096329.,4503599627411640.,.499995848957082485120,-54,54,
577  5299073463155037.,5153708217181715.,.499996827035326941884,-54,54,
578  5299073463166853.,5153708217192591.,-.499985615230652691586,-54,54,
579  5299073463177564.,5153708217202448.,.499776404188278660390,-54,54,
580  5299073463177652.,5153708217202529.,.491651958064487714709,-54,54,
581  5299073463177677.,5153708217202553.,-.499292486857082878720,-54,54,
582  5299073463178669.,5153708217203466.,-.499968061358958407807,-54,54,
583  5354986034430826.,5205124691097575.,.499992964849732440561,-54,54,
584  5354986034456371.,5205124691121047.,-.499984125672071334746,-54,54,
585  5354986034456642.,5205124691121295.,.497510734612875382527,-54,54,
586  5354986034456704.,5205124691121352.,.463727270913940894628,-54,54,
587  5354986034456716.,5205124691121363.,.489446600520586365297,-54,54,
588  5354986034456876.,5205124691121510.,.499037661942142603782,-54,54,
589  6318840445920071.,6077286275039632.,.499993234208972251428,-54,54,
590  6318840445921787.,6077286275041160.,.499703391799358920559,-54,54,
591  6318840445926077.,6077286275044980.,.498978785377536882005,-54,54,
592  6318840445926150.,6077286275045046.,-.498702542428963770323,-54,54,
593  6318840445926223.,6077286275045111.,-.496383870235628967977,-54,54,
594  6318840445926241.,6077286275045127.,-.468414882571544305253,-54,54,
595  6779876501427582.,6484487576360831.,.497562537842408549039,-54,54,
596  6779876501427606.,6484487576360853.,-.480157418723712917600,-54,54,
597  6779876501427622.,6484487576360867.,-.465304056434470820893,-54,54,
598  6779876501427719.,6484487576360951.,.499744452443883691279,-54,54,
599  6779876501428662.,6484487576361778.,-.499835507651338749730,-54,54,
600  6779876501435529.,6484487576367793.,-.499958081123843495123,-54,54,
601  6779876501437818.,6484487576369798.,-.499998939283958907342,-54,54,
602  7852441928000981.,7405090492838774.,-.499982389990421475195,-54,54,
603  7852441928002196.,7405090492839795.,-.497710264090156003418,-54,54,
604  7852441928002202.,7405090492839800.,-.455723735073489748422,-54,54,
605  7852441928002315.,7405090492839895.,-.498310771926505048341,-54,54,
606  7852441928002672.,7405090492840194.,.499887704561544187178,-54,54,
607  7852441928024298.,7405090492858368.,-.499999551375272313368,-54,54,
608  8717776617217497.,8119310086280396.,.499992067058185356633,-54,54,
609  8717776617241212.,8119310086299612.,-.498466465315437489203,-54,54,
610  8717776617241407.,8119310086299769.,.499648676334873614878,-54,54,
611  8717776617242988.,8119310086301050.,.499751440127107291586,-54,54,
612  8717776617246677.,8119310086304039.,.499991221966123309722,-54,54,
613  4920655379368603.,9007199254717063.,-.000002042640082948604,-53,54,
614  4920655379371779.,9007199254721955.,.000121400945846457895,-53,54,
615  4920655379382895.,9007199254739077.,.000553442066055616185,-53,54,
616  4920655379384135.,9007199254740987.,-.024587281329483810791,-53,54,
617  4920655379384138.,4503599627370496.,-.201840181862531948954,-53,53,
618  4920655379384139.,4503599627370497.,-.431689028928462107372,-53,53,
619  4920655379384148.,4503599627370503.,.499671347478163229159,-53,53,
620  5205590995503736.,4720119056239647.,.499993998063775751841,-53,53,
621  5205590995509643.,4720119056244076.,-.499962140274682855643,-53,53,
622  5205590995512926.,4720119056246536.,.499554364111481129714,-53,53,
623  5205590995512934.,4720119056246542.,.496507191413330919279,-53,53,
624  5205590995513050.,4720119056246629.,.452323187289634245338,-53,53,
625  5205590995513070.,4720119056246644.,.444705255544071230533,-53,53,
626  5205590995513581.,4720119056247028.,-.499932900564847139242,-53,53,
627  6059040276401584.,5333703622131396.,.499971293987777824415,-53,53,
628  6059040276407747.,5333703622135640.,-.499850607683867759984,-53,53,
629  6059040276408527.,5333703622136177.,-.498367739678893918148,-53,53,
630  6059040276408588.,5333703622136218.,.497902074355576514204,-53,53,
631  6059040276408604.,5333703622136230.,-.486682892455097803138,-53,53,
632  6059040276409628.,5333703622136934.,.499879231624047795931,-53,53,
633  6059040276419813.,5333703622143947.,-.499988708212012148832,-53,53,
634  6059040276464315.,5333703622174584.,.499999123303864386294,-53,53,
635  6179968525075650.,5416441515353754.,-.499995885765837007928,-53,53,
636  6179968525077234.,5416441515354830.,.499424676283921889651,-53,53,
637  6179968525077662.,5416441515355122.,-.493156131475382275473,-53,53,
638  6179968525077665.,5416441515355124.,-.453384501623273398371,-53,53,
639  6179968525077712.,5416441515355156.,-.496962300606983745601,-53,53,
640  6179968525077762.,5416441515355189.,.499231530261238709427,-53,53,
641  6179968525111907.,5416441515378405.,.499998589053768605431,-53,53,
642  6230674196581232.,5450827042220084.,.499995768114678387297,-53,53,
643  6230674196596746.,5450827042230578.,-.499973603279242103004,-53,53,
644  6230674196597151.,5450827042230851.,.424546984645951998759,-53,53,
645  6230674196597160.,5450827042230858.,-.488241446733619035471,-53,53,
646  6230674196597228.,5450827042230904.,-.495976261601673024898,-53,53,
647  6230674196597262.,5450827042230927.,-.499843669035821858622,-53,53,
648  7103100048440913.,6014579998724953.,.499976331143561468977,-53,53,
649  7103100048445271.,6014579998727640.,.482089457659560466233,-53,53,
650  7103100048445284.,6014579998727648.,.497410125543100150487,-53,53,
651  7103100048445417.,6014579998727731.,-.499693810725947832193,-53,53,
652  7103100048445743.,6014579998727931.,.499886014654713674440,-53,53,
653  7103100048462322.,6014579998738153.,.499990069700725586468,-53,53,
654  7103100048483731.,6014579998751354.,-.499996222252394310686,-53,53,
655  7302452754243512.,6136177502254278.,.499993600694087713235,-53,53,
656  7302452754244808.,6136177502255060.,.498847160308728543131,-53,53,
657  7302452754244828.,6136177502255073.,-.433269297105488301248,-53,53,
658  7302452754245103.,6136177502255239.,-.499870586553628469547,-53,53,
659  7511273082099992.,6260757536931200.,-.499997977115036984219,-53,53,
660  7511273082101584.,6260757536932139.,-.499974763591812920162,-53,53,
661  7511273082104768.,6260757536934017.,-.499928337035162183243,-53,53,
662  7511273082104846.,6260757536934063.,-.493645792674193164633,-53,53,
663  7511273082104885.,6260757536934086.,-.490504520493855625621,-53,53,
664  7913137471557216.,6492645692204867.,.499997753777667137343,-53,53,
665  7913137471600693.,6492645692229406.,-.499975413461563374250,-53,53,
666  7913137471603900.,6492645692231215.,.499934558487499970717,-53,53,
667  7913137471605018.,6492645692231846.,.488365911202581245384,-53,53,
668  7913137471605034.,6492645692231856.,-.481388201818160199689,-53,53,
669  7913137471605057.,6492645692231868.,.499590260714496104056,-53,53,
670  7913137471612364.,6492645692235993.,-.499991231118285857449,-53,53,
671  8575032706795185.,6852887779102918.,.499960420742733433857,-53,53,
672  8575032706797139.,6852887779103943.,.499756855812582202723,-53,53,
673  8575032706797179.,6852887779103964.,.482352483959082291456,-53,53,
674  8575032706797200.,6852887779103975.,.498215188735957581390,-53,53,
675  8575032706799724.,6852887779105299.,.499999324588811649190,-53,53,
676  8668443273582402.,6901634740714329.,-.499998180613605806630,-53,53,
677  8668443273592996.,6901634740719828.,.460837641094356839687,-53,53,
678  8668443273592998.,6901634740719829.,.499153826825615152397,-53,53,
679  8668443273593520.,6901634740720100.,.499678302676157737554,-53,53,
680  8668443273594042.,6901634740720372.,-.499797221488993611566,-53,53,
681  8668443273599601.,6901634740723258.,-.499958982681022945509,-53,53,
682  9007199254740991.,7074237752028440.,-.224234056584975506381,-53,53,
683  4503599627370496.,7074237752028440.,.275765943415024521374,-52,53,
684  4503599627370497.,7074237752028441.,.275765943415024410352,-52,53,
685  6467001089644732.,8669362933555410.,-.499988756541077897597,-52,53,
686  6467001089645127.,8669362933555668.,-.497745585767931948287,-52,53,
687  6467001089645130.,8669362933555669.,.461765121858112000639,-52,53,
688  6467001089645300.,8669362933555781.,-.499294779334731221441,-52,53,
689  6467001089663453.,8669362933567637.,.499997043020554227480,-52,53,
690  7013940848419748.,9007199254740991.,-.005036908255042232357,-52,53,
691  7013940848419749.,4503599627370496.,-.210591872401092237687,-52,52,
692  7013940848419750.,4503599627370496.,.081334709325336581863,-52,52,
693  7013940848421036.,4503599627370871.,.498918809464022167459,-52,52,
694  7013940848422002.,4503599627371153.,.499996757093511280206,-52,52,
695  7316025708204615.,4589166165495968.,.499987471264496364483,-52,52,
696  7316025708206107.,4589166165496379.,-.491449555863964758995,-52,52,
697  7316025708206118.,4589166165496382.,-.468598220273539157710,-52,52,
698  7316025708206147.,4589166165496390.,-.499262880989721443396,-52,52,
699  7316025708206278.,4589166165496426.,-.499851520777184783522,-52,52,
700  7316025708241987.,4589166165506238.,.499997771303565376044,-52,52,
701  8219998205367587.,4816958669127313.,.499993451828303107182,-52,52,
702  8219998205388698.,4816958669132187.,.468655482430617385827,-52,52,
703  8219998205388854.,4816958669132223.,.484908207325741182392,-52,52,
704  8219998205388997.,4816958669132256.,.499806538478681012963,-52,52,
705  8219998205396382.,4816958669133961.,.499975597169049811835,-52,52,
706  8219998205397859.,4816958669134303.,-.499990591375632714122,-52,52,
707  9007199254740991.,4986154552901188.,.223539737736100435688,-52,52,
708  4503599627370496.,4986154552901188.,.423539737736100453452,-51,52,
709  4503599627370497.,4986154552901189.,-.176460262263899617602,-51,52,
710  5429564584136446.,5303695939431594.,-.499963030203465286374,-51,52,
711  5429564584137911.,5303695939432024.,-.499030322990502551462,-51,52,
712  5429564584138497.,5303695939432196.,-.498657240160754783260,-51,52,
713  5429564584138589.,5303695939432223.,-.495185698149405281522,-51,52,
714  5429564584138606.,5303695939432227.,.494586217222171656268,-51,52,
715  5429564584138613.,5303695939432230.,-.450801817624833824277,-51,52,
716  5429564584147103.,5303695939434721.,.499995914608206045466,-51,52,
717  6534651015173037.,5579716168956889.,.499994587842850258355,-51,52,
718  6534651015212362.,5579716168965237.,.499991076667236683570,-51,52,
719  6534651015225910.,5579716168968114.,-.499908437315691319275,-51,52,
720  6534651015231351.,5579716168969269.,-.472114910317386553365,-51,52,
721  6534651015231365.,5579716168969271.,.499836773080134179872,-51,52,
722  5007882989873215.,6078274056100256.,.499987661229926318866,-50,52,
723  5007882989884220.,6078274056102375.,-.499932276170130843884,-50,52,
724  5007882989885758.,6078274056102671.,-.499557616605168539839,-50,52,
725  5007882989885893.,6078274056102696.,.482269807990775955379,-50,52,
726  5007882989885898.,6078274056102697.,.444559712605414958971,-50,52,
727  5007882989885971.,6078274056102711.,.493992319978936113972,-50,52,
728  5007882989889338.,6078274056103360.,-.499985912956475557663,-50,52,
729  5396246731158432.,6147873996513514.,.499997037995419607880,-50,52,
730  5396246731159265.,6147873996513654.,-.499976121156580247618,-50,52,
731  5396246731165929.,6147873996514766.,-.499761395853031686430,-50,52,
732  5396246731166762.,6147873996514905.,-.499734555375144690635,-50,52,
733  5396246731166840.,6147873996514918.,-.484125799606211696561,-50,52,
734  5396246731167128.,6147873996514966.,-.426493470616351863094,-50,52,
735  5396246731167140.,6147873996514968.,-.424092123575214381278,-50,52,
736  5569985055099293.,6175997091612618.,-.499986794464366089677,-50,52,
737  5569985055101885.,6175997091613025.,-.499953081948212305662,-50,52,
738  5569985055108935.,6175997091614132.,-.497546574052055551163,-50,52,
739  5569985055108967.,6175997091614137.,-.472854799837955568907,-50,52,
740  5569985055108986.,6175997091614140.,-.489444058898359948872,-50,52,
741  5569985055109056.,6175997091614151.,-.497930802805281661230,-50,52,
742  5569985055109661.,6175997091614246.,-.499851946583308332305,-50,52,
743  5569985055127926.,6175997091617113.,.499999794320476456797,-50,52,
744  5916628998680527.,6227354596294245.,-.460855305547952618498,-50,52,
745  5916628998680541.,6227354596294246.,.496142583210931691520,-50,52,
746  5916628998682215.,6227354596294480.,.497175853315957276850,-50,52,
747  5916628998686586.,6227354596295091.,.499873835765524733815,-50,52,
748  5916628998686772.,6227354596295117.,.499988643510010585740,-50,52,
749  5916628998704213.,6227354596297556.,-.499998665265235486311,-50,52,
750  6272704229690754.,6274394910251180.,-.499996956861661276528,-50,52,
751  6272704229721023.,6274394910254958.,.499655816755391804588,-50,52,
752  6272704229721055.,6274394910254962.,.494765958755121629673,-50,52,
753  6272704229721119.,6274394910254970.,.484986242754462811038,-50,52,
754  6272704229721127.,6274394910254971.,.483763778254369352257,-50,52,
755  6272704229722657.,6274394910255162.,.499967442566122038671,-50,52,
756  6272704229729201.,6274394910255979.,.499991480276815020676,-50,52,
757  7436919125085855.,6397561403921947.,-.499999805141243207482,-50,52,
758  7436919125087484.,6397561403922093.,-.499991377732524800429,-50,52,
759  7436919125124951.,6397561403925451.,-.499797564589519649584,-50,52,
760  7436919125134725.,6397561403926327.,-.499747010079040350743,-50,52,
761  7436919125134937.,6397561403926346.,-.499132040024564977617,-50,52,
762  7436919125134948.,6397561403926346.,.486748925402760976862,-50,52,
763  7464505152283675.,6400024883199040.,.499997486563380105576,-50,52,
764  7464505152284664.,6400024883199129.,-.499741910311133351758,-50,52,
765  7464505152285069.,6400024883199165.,-.463234787703131026786,-50,52,
766  7464505152285080.,6400024883199166.,-.484465458447164544387,-50,52,
767  7464505152285091.,6400024883199166.,.494303870808799117472,-50,52,
768  7464505152285136.,6400024883199170.,.498360217764984726901,-50,52,
769  4542341907328539.,6518920874882788.,.499997856498357108123,-49,52,
770  4542341907340248.,6518920874884205.,.499985282808068086265,-49,52,
771  4542341907340719.,6518920874884262.,.499472350536254649694,-49,52,
772  4542341907341190.,6518920874884319.,.498959418252799359094,-49,52,
773  4542341907341248.,6518920874884327.,-.481995465128983220822,-49,52,
774  4542341907341256.,6518920874884327.,.486148688887308775934,-49,52,
775  4574407728088565.,6522774622765019.,.499981313043297997823,-49,52,
776  4574407728090048.,6522774622765196.,.499824459606171791259,-49,52,
777  4574407728091104.,6522774622765323.,-.463874554103741827140,-49,52,
778  4574407728091112.,6522774622765323.,.490945907913388535758,-49,52,
779  4574407728091154.,6522774622765329.,-.496246666496731033458,-49,52,
780  4574407728091221.,6522774622765337.,-.499625297103538048761,-49,52,
781  4574407728164927.,6522774622774133.,.499996242166020219976,-49,52,
782  5043885832647332.,6573661021333625.,.499987359153288358750,-49,52,
783  5043885832659107.,6573661021334785.,-.499978532313035806402,-49,52,
784  5043885832660062.,6573661021334878.,.499599605342210248298,-49,52,
785  5043885832660194.,6573661021334891.,.492211452638389685446,-49,52,
786  5043885832660214.,6573661021334893.,.460789005258964339339,-49,52,
787  5043885832660255.,6573661021334897.,.496372988131094174557,-49,52,
788  5043885832660316.,6573661021334904.,-.499465476376344776380,-49,52,
789  5043885832680493.,6573661021336889.,.499998476956456818161,-49,52,
790  5090857167498956.,6578242217884994.,.499999504798218010168,-49,52,
791  5090857167556146.,6578242217890521.,.499933384544821630294,-49,52,
792  5090857167557129.,6578242217890616.,.499774876806716684005,-49,52,
793  5090857167557160.,6578242217890619.,.495700702096176752091,-49,52,
794  5090857167557191.,6578242217890622.,.491626527385600774478,-49,52,
795  5090857167562282.,6578242217891114.,.499961254266165776646,-49,52,
796  5090857167568418.,6578242217891707.,.499989122575295074473,-49,52,
797  5215472194762244.,6590000975641296.,-.499998852283533837663,-49,52,
798  5215472194828540.,6590000975647404.,-.499984039327725987717,-49,52,
799  5215472194832925.,6590000975647807.,.499956599564750693837,-49,52,
800  5215472194836344.,6590000975648123.,-.499861634795487866268,-49,52,
801  5215472194836691.,6590000975648154.,.470031045110618872482,-49,52,
802  5215472194836713.,6590000975648156.,.496940667467636623139,-49,52,
803  5215472194836789.,6590000975648163.,.498992090155386070382,-49,52,
804  5215472194837310.,6590000975648211.,.499897237785710902758,-49,52,
805  5336471118709898.,6600898936787464.,.499996012500764032340,-49,52,
806  5336471118719586.,6600898936788318.,-.499921793048284871584,-49,52,
807  5336471118719904.,6600898936788345.,.499048700070252792801,-49,52,
808  5336471118723493.,6600898936788662.,-.499991866817575169236,-49,52,
809  5835457316503937.,7074237752028341.,.489891754417421215314,-7,52,
810  5835457316503939.,7074237752028341.,.489891754417455072428,-7,52,
811  5835457316504108.,7074237752028341.,.489891754420315998630,-7,52,
812  5835457316521049.,7074237752028341.,.489891754707102689692,-7,52,
813  5746215254501618.,7074237752028415.,.195746888619747441806,-5,52,
814  5746215254501631.,7074237752028415.,.195746888619804181805,-5,52,
815  5746215254502946.,7074237752028415.,.195746888625543650933,-5,52,
816  5746215254634413.,7074237752028415.,.195746889199346531432,-5,52,
817  6842111560931391.,7074237752028419.,.212796304223989225717,-5,52,
818  6842111560931400.,7074237752028419.,.212796304224016931598,-5,52,
819  6842111560932275.,7074237752028419.,.212796304226710558890,-5,52,
820  6842111561019805.,7074237752028419.,.212796304496165641005,-5,52,
821  5635416615605138.,7074237752028427.,.489205702528503568220,-4,52,
822  5635416615605162.,7074237752028427.,.489205702528558023368,-4,52,
823  5635416615607587.,7074237752028427.,.489205702534060262280,-4,52,
824  6916394610472789.,7074237752028430.,-.142609250044656173545,-4,52,
825  6916394610526086.,7074237752028430.,-.142609249964373284272,-4,52,
826  6916394610526619.,7074237752028430.,-.142609249963570410189,-4,52,
827  6916394610526624.,7074237752028430.,-.142609249963562878537,-4,52,
828  7664074856330710.,7074237752028431.,-.126229129533229862093,-4,52,
829  7664074856376104.,7074237752028431.,-.126229129477542232165,-4,52,
830  7664074856376558.,7074237752028431.,-.126229129476985282260,-4,52,
831  7664074856376563.,7074237752028431.,-.126229129476979148451,-4,52,
832  5804122653741717.,7074237752028434.,.068316658080323766485,-3,52,
833  5804122653801890.,7074237752028434.,.068316658144678169058,-3,52,
834  5804122653802492.,7074237752028434.,.068316658145322001846,-3,52,
835  5804122653802498.,7074237752028434.,.068316658145328418784,-3,52,
836  6847582036521810.,7074237752028435.,.014230290858667753524,-3,52,
837  6847582036560927.,7074237752028435.,.014230290888724420100,-3,52,
838  6847582036561318.,7074237752028435.,.014230290889024856141,-3,52,
839  6847582036561322.,7074237752028435.,.014230290889027929655,-3,52,
840  7706116167858997.,7074237752028436.,-.399584938165820925901,-3,52,
841  7706116167865028.,7074237752028436.,-.399584938162161878911,-3,52,
842  7706116167865088.,7074237752028436.,-.399584938162125476520,-3,52,
843  7706116167865089.,7074237752028436.,-.399584938162124869813,-3,52,
844  4994576600371477.,7074237752028437.,-.331025973269593702153,-2,52,
845  4994576600383557.,7074237752028437.,-.331025973260870230708,-2,52,
846  4994576600383678.,7074237752028437.,-.331025973260782851566,-2,52,
847  4994576600383679.,7074237752028437.,-.331025973260782129424,-2,52,
848  7423882302179890.,7074237752028438.,-.150780946234933789619,-2,52,
849  7423882302191190.,7074237752028438.,-.150780946231240307053,-2,52,
850  7423882302191303.,7074237752028438.,-.150780946231203372227,-2,52,
851  7423882302191304.,7074237752028438.,-.150780946231203045371,-2,52,
852  7984456451870669.,7074237752028438.,.019582492722972520705,-2,52,
853  7984456451885204.,7074237752028438.,.019582492727079704038,-2,52,
854  7984456451885350.,7074237752028438.,.019582492727120959543,-2,52,
855  7984456451885351.,7074237752028438.,.019582492727121242115,-2,52,
856  4747578892790121.,7074237752028438.,.378546443088296926853,-1,52,
857  4747578892790170.,7074237752028438.,.378546443088316508151,-1,52,
858  4747578892794975.,7074237752028438.,.378546443090236674178,-1,52,
859  5184012179842666.,7074237752028439.,-.461729830565652962316,-1,52,
860  5184012179843936.,7074237752028439.,-.461729830565227303665,-1,52,
861  5184012179843949.,7074237752028439.,-.461729830565222946529,-1,52,
862  5359027492701737.,7074237752028439.,-.404986631004040565722,-1,52,
863  5359027492704687.,7074237752028439.,-.404986631003115356791,-1,52,
864  5359027492704717.,7074237752028439.,-.404986631003105947887,-1,52,
865  5488415439819244.,7074237752028439.,-.365363332148276489114,-1,52,
866  5488415439823230.,7074237752028439.,-.365363332147084607529,-1,52,
867  5488415439823270.,7074237752028439.,-.365363332147072646851,-1,52,
868  5668948148611089.,7074237752028439.,-.313100106973491650697,-1,52,
869  5668948148616275.,7074237752028439.,-.313100106972038143076,-1,52,
870  5668948148616326.,7074237752028439.,-.313100106972023849037,-1,52,
871  5668948148616327.,7074237752028439.,-.313100106972023568761,-1,52,
872  5708579506476863.,7074237752028439.,-.302069531158215247757,-1,52,
873  5708579506482279.,7074237752028439.,-.302069531156718280443,-1,52,
874  5708579506482333.,7074237752028439.,-.302069531156703354994,-1,52,
875  5708579506482334.,7074237752028439.,-.302069531156703078596,-1,52,
876  6353877460227271.,7074237752028439.,-.141825017556831345155,-1,52,
877  6353877460235182.,7074237752028439.,-.141825017555066350132,-1,52,
878  6353877460235261.,7074237752028439.,-.141825017555048724724,-1,52,
879  6353877460235262.,7074237752028439.,-.141825017555048501617,-1,52,
880  6402079148368210.,7074237752028439.,-.131151879060941967346,-1,52,
881  6402079148376235.,7074237752028439.,-.131151879059178397221,-1,52,
882  6402079148376315.,7074237752028439.,-.131151879059160816460,-1,52,
883  6402079148376316.,7074237752028439.,-.131151879059160596700,-1,52,
884  6710148704135936.,7074237752028439.,-.066558891977851703500,-1,52,
885  6710148704144520.,7074237752028439.,-.066558891976134525999,-1,52,
886  6710148704144606.,7074237752028439.,-.066558891976117322217,-1,52,
887  6710148704144607.,7074237752028439.,-.066558891976117122173,-1,52,
888  6728987427109667.,7074237752028439.,-.062800869543027895763,-1,52,
889  6728987427118277.,7074237752028439.,-.062800869541315147688,-1,52,
890  6728987427118363.,7074237752028439.,-.062800869541298040100,-1,52,
891  6728987427118364.,7074237752028439.,-.062800869541297841175,-1,52,
892  8108726220156984.,7074237752028439.,.164962716102879104512,-1,52,
893  8108726220157030.,7074237752028439.,.164962716102885405989,-1,52,
894  8108726220161574.,7074237752028439.,.164962716103507882285,-1,52,
895  8201755169934774.,7074237752028439.,.177562075082214552174,-1,52,
896  8201755169934817.,7074237752028439.,.177562075082220309816,-1,52,
897  8201755169939091.,7074237752028439.,.177562075082792592606,-1,52,
898  8488875008858692.,7074237752028439.,.214706704665320348541,-1,52,
899  8488875008858728.,7074237752028439.,.214706704665324848328,-1,52,
900  8488875008862258.,7074237752028439.,.214706704665766077479,-1,52,
901  9007199254740990.,7074237752028440.,.275765943415024521374,971,52 };
902 #include "trailer.h"
903