xref: /openbsd/regress/lib/libm/fpaccuracy/INV.c (revision 5af055cd)
1 /*	$OpenBSD: INV.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:35:26.
21    Do not edit, rerun the original maple program.       */
22 #include "header.h"
23 #define DBL_MAX_EXP 1024
24 #define N 653
25 #define F INV
26 #define Fs "INV"
27 #define Fn fpaccuracy_INV
28   /* 7 candidate values discarded */
29 
30 static struct input_point { double arg_m, val, eps;
31 	int arg_e, val_e; } input_points[N] = {
32  -8871213671148155.,-4572634671085906.,-.499996844692675305924,-53,52,
33  -8871213671077783.,-4572634671122179.,-.490255522905749820786,-53,52,
34  -8871213671077779.,-4572634671122182.,.447959093193495935320,-53,52,
35  -8871213671077750.,-4572634671122196.,-.499984940087027937725,-53,52,
36  -8422041051801280.,-4816506943839637.,.499998015072924819739,-53,52,
37  -8422041051766527.,-4816506943859511.,-.499991939756751213963,-53,52,
38  -8422041051760991.,-4816506943862678.,.499952096260734190800,-53,52,
39  -8422041051758223.,-4816506943864261.,.499924112708663765867,-53,52,
40  -8422041051758001.,-4816506943864387.,-.460338247288924090548,-53,52,
41  -8422041051757987.,-4816506943864395.,-.466841279000708041010,-53,52,
42  -8422041051757917.,-4816506943864435.,-.499356437560027070796,-53,52,
43  -8245673680871110.,-4919527594380607.,-.499999152473458995565,-53,52,
44  -8245673680843838.,-4919527594396879.,.499989576423264399157,-53,52,
45  -8245673680827392.,-4919527594406691.,.499909392229819476454,-53,52,
46  -8245673680827179.,-4919527594406818.,.420010505968381485803,-53,52,
47  -8245673680827159.,-4919527594406830.,.487625634018613512267,-53,52,
48  -8245673680827154.,-4919527594406832.,-.495470583968837525546,-53,52,
49  -8245673680824789.,-4919527594408243.,-.499981692438734199323,-53,52,
50  -8108579655012636.,-5002703424418679.,.499958361308037804082,-53,52,
51  -8108579655011516.,-5002703424419369.,-.499954537859549524712,-53,52,
52  -8108579655010785.,-5002703424419821.,.499209453741509680716,-53,52,
53  -8108579655010738.,-5002703424419849.,-.498108319715103213457,-53,52,
54  -8108579655010712.,-5002703424419866.,.460822273691732472942,-53,52,
55  -8108579655010691.,-5002703424419878.,-.495426093172052263651,-53,52,
56  -8108579655010396.,-5002703424420060.,-.499867437218025994483,-53,52,
57  -8108579655000705.,-5002703424426040.,.499993351521909111058,-53,52,
58  -7881394195507974.,-5146909062158494.,.497067984303077532812,-53,52,
59  -7881394195507954.,-5146909062158507.,.436157859817732143072,-53,52,
60  -7881394195507827.,-5146909062158590.,.499378569334242021030,-53,52,
61  -7881394195507778.,-5146909062158621.,-.499851235656165595364,-53,52,
62  -7881394195501293.,-5146909062162856.,-.499959103713958822107,-53,52,
63  -7881394195498699.,-5146909062164551.,.499997747111514528619,-53,52,
64  -7834633035985900.,-5177628488913485.,.499998182339438670599,-53,52,
65  -7834633035950168.,-5177628488937098.,-.499574858207112945671,-53,52,
66  -7834633035949593.,-5177628488937478.,-.496489516251365183538,-53,52,
67  -7834633035949478.,-5177628488937554.,-.495872447866908934292,-53,52,
68  -7834633035948617.,-5177628488938123.,-.499948135946341958966,-53,52,
69  -7834633035924317.,-5177628488954182.,-.499993739587598347113,-53,52,
70  -7740586541127928.,-5240535583675859.,.499996696781864249501,-53,52,
71  -7740586541097601.,-5240535583696390.,-.499975439931308933749,-53,52,
72  -7740586541070590.,-5240535583714678.,.499950319528724781548,-53,52,
73  -7740586541070432.,-5240535583714784.,-.469284871324881080216,-53,52,
74  -7740586541070429.,-5240535583714787.,.499653701000641120471,-53,52,
75  -7552125243337432.,-5371311769900807.,.499994060727056457279,-53,52,
76  -7552125243331957.,-5371311769904700.,-.494211897686622475559,-53,52,
77  -7552125243331912.,-5371311769904732.,-.499643727505196811143,-53,52,
78  -7552125243331725.,-5371311769904865.,-.499993775866469242650,-53,52,
79  -7546489395525024.,-5375323157726530.,.499943333035347855480,-53,52,
80  -7546489395523804.,-5375323157727398.,-.499389829239726588112,-53,52,
81  -7546489395523731.,-5375323157727450.,-.496890911909357400722,-53,52,
82  -7546489395523710.,-5375323157727465.,-.455076154869300530824,-53,52,
83  -7546489395517419.,-5375323157731946.,-.499998228188850375608,-53,52,
84  -7532060552311700.,-5385620432227328.,.499995424281304878476,-53,52,
85  -7532060552272728.,-5385620432255194.,.499977483431262003601,-53,52,
86  -7532060552272342.,-5385620432255470.,.499874666501827551104,-53,52,
87  -7532060552269254.,-5385620432257678.,.499052130047959314092,-53,52,
88  -7532060552269075.,-5385620432257805.,-.490632855119356980510,-53,52,
89  -7532060552269068.,-5385620432257810.,-.495816066829934290540,-53,52,
90  -7532060552269061.,-5385620432257816.,.499000721459479096190,-53,52,
91  -7165093878940240.,-5661449785959137.,.499047055462965979658,-53,52,
92  -7165093878940078.,-5661449785959265.,.495858148040931036620,-53,52,
93  -7165093878940035.,-5661449785959298.,-.480296932325149093214,-53,52,
94  -7165093878940016.,-5661449785959313.,-.493016618998663242619,-53,52,
95  -7165093878939692.,-5661449785959569.,-.499394433864528222118,-53,52,
96  -7165093878937176.,-5661449785961557.,-.499538206882492542469,-53,52,
97  -7165093878929628.,-5661449785967521.,-.499969534313344878376,-53,52,
98  -7165093878928999.,-5661449785968019.,.499994521166894135959,-53,52,
99  -7109328173648589.,-5705858305663924.,-.499674695695709936781,-53,52,
100  -7109328173647738.,-5705858305664608.,.498317306045381363606,-53,52,
101  -7109328173647733.,-5705858305664612.,.485379538722577922448,-53,52,
102  -7109328173647713.,-5705858305664628.,.433628469431307711722,-53,52,
103  -7109328173646502.,-5705858305665599.,-.499898776323396548501,-53,52,
104  -7109328173606155.,-5705858305697981.,-.499918605965293766922,-53,52,
105  -7109328173444767.,-5705858305827510.,.499998399967765169538,-53,52,
106  -7017962821147378.,-5780141650945842.,.499985389657075978010,-53,52,
107  -7017962821146352.,-5780141650946687.,.464825613514854475718,-53,52,
108  -7017962821146346.,-5780141650946691.,-.476900467048107424599,-53,52,
109  -7017962821146227.,-5780141650946789.,-.487801064881930829152,-53,52,
110  -7017962821146091.,-5780141650946902.,.499741109018200984517,-53,52,
111  -7017962821135177.,-5780141650955890.,-.499999449649679695046,-53,52,
112  -7006352135983382.,-5789720302376700.,.499796717815964713004,-53,52,
113  -7006352135983048.,-5789720302376976.,.497885386179119124004,-53,52,
114  -7006352135983025.,-5789720302376995.,.491765743580403838768,-53,52,
115  -7006352135980278.,-5789720302379265.,.499997994045085341174,-53,52,
116  -6828286958436779.,-5940702178191698.,-.499968945021146556237,-53,52,
117  -6828286958433094.,-5940702178194904.,-.499901270640558184798,-53,52,
118  -6828286958433002.,-5940702178194985.,.458852114944208253722,-53,52,
119  -6828286958432994.,-5940702178194992.,.498743713690607752638,-53,52,
120  -6828286958423493.,-5940702178203257.,-.499996336627829525880,-53,52,
121  -6638553928855772.,-6110490272735517.,.499995289313587094697,-53,52,
122  -6638553928831685.,-6110490272757688.,.499988773873889789180,-53,52,
123  -6638553928831509.,-6110490272757850.,.499905693333390349291,-53,52,
124  -6638553928828165.,-6110490272760928.,.498327161431833876691,-53,52,
125  -6638553928827461.,-6110490272761576.,.497994838531111002058,-53,52,
126  -6638553928827436.,-6110490272761599.,.486619400925575427422,-53,52,
127  -6638553928827423.,-6110490272761610.,-.479295826629371565940,-53,52,
128  -6595469068459825.,-6150407012184813.,.499941342888549116914,-53,52,
129  -6595469068454579.,-6150407012189705.,.499865072084958618351,-53,52,
130  -6595469068453408.,-6150407012190796.,-.481089811385214130580,-53,52,
131  -6595469068453349.,-6150407012190851.,-.499771568974245102013,-53,52,
132  -6595469068437611.,-6150407012205528.,.499999566448238960906,-53,52,
133  -6320301642454119.,-6418177723484788.,.499998063485255626571,-53,52,
134  -6320301642430291.,-6418177723508984.,-.499994549171953088476,-53,52,
135  -6320301642428225.,-6418177723511082.,-.494034541725283063376,-53,52,
136  -6320301642428222.,-6418177723511086.,.459507510559460221220,-53,52,
137  -6320301642428160.,-6418177723511149.,.499376591110173934124,-53,52,
138  -6320301642427708.,-6418177723511608.,.499712468636113393188,-53,52,
139  -6320301642427256.,-6418177723512066.,-.499951653903598396666,-53,52,
140  -6277581004375918.,-6461855160296107.,.499970468750839571218,-53,52,
141  -6277581004373363.,-6461855160298737.,.499668910777139390692,-53,52,
142  -6277581004369275.,-6461855160302945.,.499186413566270237352,-53,52,
143  -6277581004369241.,-6461855160302979.,-.498860652235861326993,-53,52,
144  -6277581004369071.,-6461855160303154.,-.489095981252205735313,-53,52,
145  -6277581004369004.,-6461855160303223.,-.455835787396545201332,-53,52,
146  -6277581004369003.,-6461855160303224.,-.485190112861397239054,-53,52,
147  -6277581004359532.,-6461855160312974.,.499993394815040824725,-53,52,
148  -6277581004309863.,-6461855160364100.,-.499998677722964657697,-53,52,
149  -6150458818222996.,-6595413514047951.,-.473644980608536945724,-53,52,
150  -6150458818222982.,-6595413514047966.,-.486474417510512459045,-53,52,
151  -6150458818222968.,-6595413514047981.,-.499303854412556318362,-53,52,
152  -6150458818222733.,-6595413514048234.,.499630597578648119990,-53,52,
153  -6150458818221876.,-6595413514049152.,-.499999932982551353922,-53,52,
154  -6134432454505739.,-6612644202726284.,.499959701947513673006,-53,52,
155  -6134432454505662.,-6612644202726367.,.497398766429779706719,-53,52,
156  -6134432454495977.,-6612644202736807.,.499961600605055345062,-53,52,
157  -6134432454339785.,-6612644202905175.,.499987424288208614292,-53,52,
158  -6056160701857071.,-6698108125642121.,-.499995890524489076320,-53,52,
159  -6056160701828750.,-6698108125673444.,-.499758599692227199455,-53,52,
160  -6056160701828533.,-6698108125673685.,.498442433466247776715,-53,52,
161  -6056160701828467.,-6698108125673757.,-.497496422811544153422,-53,52,
162  -6056160701828458.,-6698108125673767.,-.451488085031366324051,-53,52,
163  -6056160701827033.,-6698108125675344.,.499832063123607391431,-53,52,
164  -6056160701820382.,-6698108125682700.,.499993671123883572140,-53,52,
165  -5587044502247494.,-7260514783976640.,-.499998828881375051171,-53,52,
166  -5587044502247070.,-7260514783977191.,-.499416708578110966658,-53,52,
167  -5587044502247000.,-7260514783977282.,-.466301735894577535483,-53,52,
168  -5587044502246983.,-7260514783977305.,.441740471756793716168,-53,52,
169  -5574097035247415.,-7277379448329393.,-.499997813669067216181,-53,52,
170  -5574097035238422.,-7277379448341135.,.499986382529440527887,-53,52,
171  -5574097035224026.,-7277379448359930.,.499849807331918585279,-53,52,
172  -5574097035223882.,-7277379448360118.,.497625601032371440443,-53,52,
173  -5574097035223558.,-7277379448360541.,.492621136822874954471,-53,52,
174  -5574097035223545.,-7277379448360557.,-.479801881803840841879,-53,52,
175  -5574097035220436.,-7277379448364617.,.499954661272015691468,-53,52,
176  -5292230209316522.,-7664976314879957.,-.485756468283809191934,-53,52,
177  -5292230209316513.,-7664976314879971.,.479136571992882867841,-53,52,
178  -5292230209316435.,-7664976314880083.,-.491790412277643098441,-53,52,
179  -5292230209316319.,-7664976314880251.,-.499835670942532779833,-53,52,
180  -5292230209315322.,-7664976314881696.,.499982234883997390699,-53,52,
181  -5292230209309853.,-7664976314889617.,.499986364589633580880,-53,52,
182  -5292230209293446.,-7664976314913380.,.499998655479638337582,-53,52,
183  -5268565944194452.,-7699404285145676.,-.499828841372719331790,-53,52,
184  -5268565944193947.,-7699404285146414.,-.499353794349911970969,-53,52,
185  -5268565944193921.,-7699404285146452.,-.495368940447616718622,-53,52,
186  -5268565944193856.,-7699404285146547.,-.485406805693519279651,-53,52,
187  -5268565944192445.,-7699404285148609.,-.499921081070712643158,-53,52,
188  -5268565944190438.,-7699404285151543.,.499986676996708297670,-53,52,
189  -5268565944179898.,-7699404285166945.,-.499999523098020671903,-53,52,
190  -5158589873364226.,-7863548024384537.,-.499976017189487809310,-53,52,
191  -5158589873358171.,-7863548024393767.,-.499734973110719403947,-53,52,
192  -5158589873357822.,-7863548024394300.,.498627391940399784785,-53,52,
193  -5158589873357801.,-7863548024394332.,.487067534247769952380,-53,52,
194  -5158589873357740.,-7863548024394424.,-.498892052384680505726,-53,52,
195  -5158589873344070.,-7863548024415262.,-.499999472860527825367,-53,52,
196  -4510984822795226.,-8992453045356823.,-.499958913682962880274,-53,52,
197  -4510984822793545.,-8992453045360175.,.499281149454982790509,-53,52,
198  -4510984822793544.,-8992453045360176.,-.494175578646213838806,-53,52,
199  -4510984822793529.,-8992453045360206.,-.396026500164269337316,-53,52,
200  -4510984822793392.,-8992453045360479.,-.499598250038378591824,-53,52,
201  -4510984822789877.,-8992453045367486.,-.499997531678210875982,-53,52,
202  -4504722288295063.,-9004954492467997.,.499949513842097783187,-53,52,
203  -4504722288288483.,-9004954492481150.,.058567680788965479450,-53,52,
204  -4504722288288264.,-9004954492481588.,.276856035532681958700,-53,52,
205  -4504722288288045.,-9004954492482026.,.495144390233832353422,-53,52,
206  -4504722288288040.,-9004954492482035.,-.499871857376227431093,-53,52,
207  -4504722288276001.,-9004954492506101.,-.499992917221966704034,-53,52,
208  -4504722288225838.,-9004954492606378.,.499999657361744355634,-53,52,
209  -8854767244077462.,-4581127667069425.,.499998092235408638346,-54,51,
210  -8854767244069514.,-4581127667073536.,-.499978220405018758276,-54,51,
211  -8854767244017852.,-4581127667100264.,-.499824432499807121326,-54,51,
212  -8854767244013878.,-4581127667102320.,-.499812615579140298012,-54,51,
213  -8854767244013590.,-4581127667102470.,.499684969470720655937,-54,51,
214  -8854767244013103.,-4581127667102721.,-.456025711387156784209,-54,51,
215  -8854767244013101.,-4581127667102722.,-.490751422602236010351,-54,51,
216  -8854767244013072.,-4581127667102737.,-.494274235220937315831,-54,51,
217  -8854767244013014.,-4581127667102768.,.498680139541365247507,-54,51,
218  -8644717199341872.,-4692440281376881.,-.499998230924183712536,-54,51,
219  -8644717199273769.,-4692440281413848.,-.499972441340477336384,-54,51,
220  -8644717199267684.,-4692440281417151.,-.499764594414925870418,-54,51,
221  -8644717199267614.,-4692440281417189.,-.496475432686056827428,-54,51,
222  -8644717199265862.,-4692440281418140.,-.499866699329658018068,-54,51,
223  -8644717199264040.,-4692440281419129.,-.499968804661282504589,-54,51,
224  -8607732457445840.,-4712602233845460.,-.499999464895393674126,-54,51,
225  -8607732457393718.,-4712602233873997.,.499974011748256319213,-54,51,
226  -8607732457385031.,-4712602233878753.,.499969557590282713555,-54,51,
227  -8607732457384315.,-4712602233879144.,-.499109893646855546224,-54,51,
228  -8607732457383104.,-4712602233879808.,.496860475690508646617,-54,51,
229  -8607732457383062.,-4712602233879830.,-.497498933468768134082,-54,51,
230  -7868743568098421.,-5155183779499671.,.499982459524756777072,-54,51,
231  -7868743567949140.,-5155183779597472.,.499969942091710119795,-54,51,
232  -7868743567942340.,-5155183779601926.,-.499662283778466947149,-54,51,
233  -7868743567942282.,-5155183779601964.,-.498188558679300762191,-54,51,
234  -7868743567941760.,-5155183779602306.,-.484925032812012718764,-54,51,
235  -7868743567941731.,-5155183779602325.,-.484188170265160451915,-54,51,
236  -7868743567941725.,-5155183779602329.,-.415070198703760226010,-54,51,
237  -7868743567939649.,-5155183779603690.,.499747961180851419151,-54,51,
238  -7868743567935569.,-5155183779606363.,.499968620134569427636,-54,51,
239  -7730960159919121.,-5247060955974156.,-.499980299520207837502,-54,51,
240  -7730960159917543.,-5247060955975228.,.499520764325599756249,-54,51,
241  -7730960159917325.,-5247060955975375.,-.458723068460112453831,-54,51,
242  -7730960159917322.,-5247060955975377.,-.494845690012267616182,-54,51,
243  -7730960159917294.,-5247060955975396.,-.498656824499125333913,-54,51,
244  -7730960159907051.,-5247060955982348.,-.499994353338222088982,-54,51,
245  -7730960159901016.,-5247060955986445.,.499998610160420211301,-54,51,
246  -7684108841897189.,-5279053178701199.,.485111765483169587009,-54,51,
247  -7684108841897173.,-5279053178701210.,.492965168251320317432,-54,51,
248  -7684108841897157.,-5279053178701220.,-.499181428980574728265,-54,51,
249  -7684108841896649.,-5279053178701569.,-.499835891117041720214,-54,51,
250  -7684108841894994.,-5279053178702706.,-.499999542688774807438,-54,51,
251  -7492339963744938.,-5414172261749266.,.499996749783230494504,-54,51,
252  -7492339963744801.,-5414172261749364.,-.499995702363068372273,-54,51,
253  -7492339963742883.,-5414172261750750.,-.499890032791404742184,-54,51,
254  -7492339963697399.,-5414172261783618.,-.497384362324560290791,-54,51,
255  -7492339963683151.,-5414172261793914.,-.496599535587539853691,-54,51,
256  -7492339963682931.,-5414172261794073.,-.474689607351428822473,-54,51,
257  -7492339963682877.,-5414172261794112.,-.496584443149446808573,-54,51,
258  -7489630554912764.,-5416130863850843.,-.499974665273138534655,-54,51,
259  -7489630554912551.,-5416130863850998.,.468946559613697114823,-54,51,
260  -7489630554912540.,-5416130863851005.,-.485710090744497637579,-54,51,
261  -7489630554912522.,-5416130863851019.,.497579026851133275707,-54,51,
262  -7489630554912345.,-5416130863851147.,.499922016538171376380,-54,51,
263  -7489630554902950.,-5416130863857941.,.499991997175679411509,-54,51,
264  -7489630554873927.,-5416130863878929.,.499995194258975954806,-54,51,
265  -7298995560623810.,-5557589242297945.,.499995862195936940836,-54,51,
266  -7298995560591209.,-5557589242322768.,.499983860584631598511,-54,51,
267  -7298995560586611.,-5557589242326269.,.498356433048711929132,-54,51,
268  -7298995560586569.,-5557589242326300.,-.481214761394520746718,-54,51,
269  -7298995560586565.,-5557589242326304.,.473111791515628375312,-54,51,
270  -7298995560586020.,-5557589242326718.,-.499895374507766286767,-54,51,
271  -7250793807593721.,-5594534927309614.,-.498367062852329019356,-54,51,
272  -7250793807593686.,-5594534927309642.,.496490100129201036928,-54,51,
273  -7250793807593673.,-5594534927309652.,.466008474950845799255,-54,51,
274  -7250793807593651.,-5594534927309669.,.491347263110470382447,-54,51,
275  -7250793807593130.,-5594534927310070.,-.499493253684888238119,-54,51,
276  -7250793807592933.,-5594534927310222.,-.499868650645593704078,-54,51,
277  -7250793807590210.,-5594534927312323.,-.499981371918097904129,-54,51,
278  -7250793807536932.,-5594534927353431.,-.499983732731441984365,-54,51,
279  -5733088875679035.,-7075560851566039.,-.499963509102268064630,-54,51,
280  -5733088875677946.,-7075560851567384.,.497538981340826926873,-54,51,
281  -5733088875677942.,-7075560851567388.,-.439109310706236933346,-54,51,
282  -5733088875677788.,-7075560851567579.,.499931445476566498445,-54,51,
283  -5733088875659809.,-7075560851589767.,-.499979303856097670473,-54,51,
284  -5733088875630970.,-7075560851625360.,.499996705617385894555,-54,51,
285  -5586017142903151.,-7261850110653455.,.499983765626817362547,-54,51,
286  -5586017142903091.,-7261850110653533.,.499684895658562242897,-54,51,
287  -5586017142901771.,-7261850110655249.,.493109755933018030520,-54,51,
288  -5586017142901431.,-7261850110655691.,.491416159205694618005,-54,51,
289  -5586017142883078.,-7261850110679550.,.499996724256620960569,-54,51,
290  -4924871031076378.,-8236727205917818.,-.499998992446841818010,-54,51,
291  -4924871031068861.,-8236727205930390.,-.499959252628764788847,-54,51,
292  -4924871031066980.,-8236727205933536.,-.426781827396479928898,-54,51,
293  -4924871031066968.,-8236727205933556.,-.496490424372409322745,-54,51,
294  -4924871031066910.,-8236727205933654.,.499918023575886506304,-54,51,
295  -4517699360174586.,-8979087799621911.,-.499951982535398589068,-54,51,
296  -4517699360174431.,-8979087799622220.,.432047474892048931496,-54,51,
297  -4517699360174426.,-8979087799622230.,.494370038034517863921,-54,51,
298  -4517699360166483.,-8979087799638017.,.499993818386564467879,-54,51,
299  -4514338150834418.,-8985773296536381.,-.499322377565829981158,-54,51,
300  -4514338150834313.,-8985773296536591.,.498568207580769965810,-54,51,
301  -4514338150834310.,-8985773296536596.,-.472920632843755753390,-54,51,
302  -4514338150833892.,-8985773296537429.,.499634267928067147794,-54,51,
303  -4514338150820634.,-8985773296563819.,.499952069398907641307,-54,51,
304  -4514338150818740.,-8985773296567589.,.499997456955336870831,-54,51,
305  -8612971451595068.,-4709735709131021.,-.458314749485969886637,-55,50,
306  -8612971451595046.,-4709735709131033.,-.488330892369392883968,-55,50,
307  -8612971451595035.,-4709735709131040.,.496661036188872571282,-55,50,
308  -8612971451594971.,-4709735709131074.,-.499749561290614976145,-55,50,
309  -8612971451593305.,-4709735709131986.,.499937072888491434867,-55,50,
310  -8612971451590240.,-4709735709133662.,.499960801715160722457,-55,50,
311  -8612971451584110.,-4709735709137013.,-.499991744210014776965,-55,50,
312  -8612971451542599.,-4709735709159712.,-.499996785572678225768,-55,50,
313  -8341071156516347.,-4863262576966825.,.499975867411013123455,-55,50,
314  -8341071156515462.,-4863262576967340.,-.499384389055023465388,-55,50,
315  -8341071156515239.,-4863262576967471.,.480437828789935417442,-55,50,
316  -8341071156515227.,-4863262576967478.,.483836333785879581490,-55,50,
317  -8341071156515179.,-4863262576967506.,.497430353769454922484,-55,50,
318  -8341071156515167.,-4863262576967512.,-.499171141234701571066,-55,50,
319  -8341071156506931.,-4863262576972314.,-.499997217169194223657,-55,50,
320  -6979532375146853.,-5811968055589088.,.499990075867311519905,-55,50,
321  -6979532375142579.,-5811968055592647.,.471944292167179990302,-55,50,
322  -6979532375142567.,-5811968055592657.,.479352680227398060667,-55,50,
323  -6979532375142537.,-5811968055592682.,.497873650377792908153,-55,50,
324  -6979532375142531.,-5811968055592686.,-.498422155592153892938,-55,50,
325  -6979532375141993.,-5811968055593134.,-.499612757598968582148,-55,50,
326  -6979532375141724.,-5811968055593359.,.499791941371724274995,-55,50,
327  -6979532375101499.,-5811968055626855.,.499992550365219024596,-55,50,
328  -6842835487549892.,-5928071671620408.,-.439061427480239469554,-55,50,
329  -6842835487549885.,-5928071671620415.,.496712452098895282601,-55,50,
330  -6842835487549870.,-5928071671620427.,-.498057805945857741508,-55,50,
331  -6842835487549683.,-5928071671620589.,-.499527022908561046846,-55,50,
332  -6842835487548920.,-5928071671621251.,.499825851103721499393,-55,50,
333  -6842835487547581.,-5928071671622410.,-.499999184242850985070,-55,50,
334  -6479813464899681.,-6260183171481365.,-.499998130220501079258,-55,50,
335  -6479813464895167.,-6260183171485727.,.499953155559206917565,-55,50,
336  -6479813464892718.,-6260183171488092.,-.492319620825812311182,-55,50,
337  -6479813464892482.,-6260183171488320.,-.493208300065597763316,-55,50,
338  -6479813464890830.,-6260183171489916.,-.499429055209118534396,-55,50,
339  -6479813464890653.,-6260183171490088.,.499904435262951670520,-55,50,
340  -6070752678073838.,-6682008205311037.,-.499991322523303697784,-55,50,
341  -6070752678072676.,-6682008205312317.,.499867127240911733394,-55,50,
342  -6070752678071673.,-6682008205313420.,-.490788617461315018082,-55,50,
343  -6070752678071663.,-6682008205313431.,-.497674517210930619808,-55,50,
344  -6070752678071514.,-6682008205313596.,.499725576515501497609,-55,50,
345  -6070752678059606.,-6682008205326703.,.499996128298406563875,-55,50,
346  -5777052993640591.,-7021714921424003.,.499999983229069456927,-55,50,
347  -5777052993629173.,-7021714921437880.,-.499918181550988756519,-55,50,
348  -5777052993623464.,-7021714921444819.,-.499877284512795970589,-55,50,
349  -5777052993623051.,-7021714921445321.,-.480431341713733137659,-55,50,
350  -5777052993623037.,-7021714921445338.,-.496721309755700599185,-55,50,
351  -5777052993622972.,-7021714921445418.,.499075267191227249081,-55,50,
352  -5360050515996384.,-7567991959449418.,-.499999053305438660268,-55,50,
353  -5360050515986506.,-7567991959463366.,.499995540484923097658,-55,50,
354  -5360050515984678.,-7567991959465946.,-.499802995476899714633,-55,50,
355  -5360050515984644.,-7567991959465995.,.494730292130766380704,-55,50,
356  -5360050515984559.,-7567991959466115.,.481063511147267161628,-55,50,
357  -5360050515984547.,-7567991959466131.,-.462042387344827580168,-55,50,
358  -5003579018671222.,-8107160705553514.,.499997657849812850123,-55,50,
359  -5003579018619743.,-8107160705636924.,.499994037129970272700,-55,50,
360  -5003579018617099.,-8107160705641208.,.499916103240614850745,-55,50,
361  -5003579018617057.,-8107160705641276.,.448477648883602326956,-55,50,
362  -5003579018617049.,-8107160705641289.,.486298895672613269545,-55,50,
363  -5003579018617020.,-8107160705641336.,.498400915282430474700,-55,50,
364  -4966294589248348.,-8168025170138539.,.499995417043386174804,-55,50,
365  -4966294589208408.,-8168025170204228.,.499990418927762482108,-55,50,
366  -4966294589201946.,-8168025170214855.,-.499960413919625619343,-55,50,
367  -4966294589198988.,-8168025170219720.,-.499009411628234588240,-55,50,
368  -4966294589198943.,-8168025170219795.,.489848869294934408168,-55,50,
369  -4966294589198715.,-8168025170220169.,-.499935840714956075557,-55,50,
370  -5370993780351701.,-7552572366718901.,.499998471689296768746,-57,48,
371  -5370993780330917.,-7552572366748126.,-.499972843534933396727,-57,48,
372  -5370993780293234.,-7552572366801115.,-.499055361830968644322,-57,48,
373  -5370993780293202.,-7552572366801160.,-.496745849650204793831,-57,48,
374  -5370993780293180.,-7552572366801191.,-.432658060026240676444,-57,48,
375  -5370993780293170.,-7552572366801205.,-.494436337469977129436,-57,48,
376  -5370993780292813.,-7552572366801707.,-.499920842245670535560,-57,48,
377  -5040083604724304.,-8048441730069726.,-.499925353101192340270,-57,48,
378  -5040083604723726.,-8048441730070650.,.499647507098824725820,-57,48,
379  -5040083604723689.,-8048441730070709.,.414845077727256323612,-57,48,
380  -5040083604723664.,-8048441730070749.,.492681274097327116176,-57,48,
381  -5040083604721863.,-8048441730073624.,-.499999140444732416483,-57,48,
382  -7518049176514085.,-5395657604106302.,.499999341509308030964,-58,47,
383  -7518049176513582.,-5395657604106663.,.499996396055503115922,-58,47,
384  -7518049176493965.,-5395657604120742.,.499881485678522787296,-58,47,
385  -7518049176486937.,-5395657604125785.,-.452445982375305270374,-58,47,
386  -7518049176486923.,-5395657604125796.,.499840217878124225453,-58,47,
387  -4503599627370497.,-9007199254740990.,-.000000000000000444089,-1074,-969,
388  -4503599627370496.,-4503599627370496.,0.000000000000000000000,-1074,-970,
389  4503599627370496.,4503599627370496.,0.000000000000000000000,-1074,-970,
390  4503599627370497.,9007199254740990.,.000000000000000444089,-1074,-969,
391  7327657448597172.,5535850917139854.,.499923979167510260165,-58,47,
392  7327657448597994.,5535850917139234.,-.499281539044181126866,-58,47,
393  7327657448598407.,5535850917138921.,.490168729838783888644,-58,47,
394  7327657448598419.,5535850917138912.,.424486897458185189897,-58,47,
395  7327657448598452.,5535850917138887.,.493861858411691870222,-58,47,
396  7327657448598542.,5535850917138820.,-.498751884441239514883,-58,47,
397  7327657448600963.,5535850917136990.,.499938433441657997551,-58,47,
398  7327657448616127.,5535850917125534.,.499996280172341483052,-58,47,
399  6940259249803764.,5844856473978304.,.499636970929266476699,-57,48,
400  6940259249803859.,5844856473978224.,.493783436908710172044,-57,48,
401  6940259249803897.,5844856473978192.,.491442023301100928628,-57,48,
402  6940259249804613.,5844856473977589.,.499956440654815594831,-57,48,
403  6940259249814009.,5844856473969676.,.499958498909667644068,-57,48,
404  6940259249973741.,5844856473835155.,.499996767400339751734,-57,48,
405  8328945592792914.,4870342680879597.,-.499998329897503108128,-57,48,
406  8328945592800743.,4870342680875019.,-.499989296888508486062,-57,48,
407  8328945592819050.,4870342680864313.,.499904128873067504995,-57,48,
408  8328945592820873.,4870342680863248.,-.497539157174392974403,-57,48,
409  8328945592820914.,4870342680863224.,-.472248523448756438415,-57,48,
410  8328945592820926.,4870342680863217.,-.489236630650964508035,-57,48,
411  8328945592820991.,4870342680863179.,-.497922211329240166538,-57,48,
412  8328945592821581.,4870342680862834.,-.499837482074149323083,-57,48,
413  8328945592824230.,4870342680861285.,-.499962146223062300948,-57,48,
414  5682480038754490.,7138576630388746.,.499989464146931500263,-56,49,
415  5682480038755411.,7138576630387590.,-.499952770234401688871,-56,49,
416  5682480038756172.,7138576630386633.,.499009184050532555039,-56,49,
417  5682480038756211.,7138576630386585.,-.494473711846495806360,-56,49,
418  5682480038756332.,7138576630386433.,-.499895004240688440700,-56,49,
419  5682480038806507.,7138576630323400.,.499995257142156691048,-56,49,
420  6175493946646193.,6568676053732254.,.498870347664436601721,-56,49,
421  6175493946646303.,6568676053732137.,.495376837166825305152,-56,49,
422  6175493946646727.,6568676053731687.,-.499907239621333035089,-56,49,
423  6175493946651596.,6568676053726508.,-.499997258487951205961,-56,49,
424  6823990675708843.,5944442355658651.,-.499985599295144070202,-56,49,
425  6823990675709068.,5944442355658455.,-.499598374882547561441,-56,49,
426  6823990675709440.,5944442355658130.,.447708502841295233708,-56,49,
427  6823990675709456.,5944442355658117.,-.490041738976241632691,-56,49,
428  6823990675709487.,5944442355658090.,-.494432832497533319529,-56,49,
429  6823990675709518.,5944442355658063.,-.498823926018579655468,-56,49,
430  6823990675716586.,5944442355651906.,-.499993242412013677377,-56,49,
431  6823990675724329.,5944442355645160.,.499999129777859511850,-56,49,
432  7740553500862013.,5240557952707892.,.499600566553124891757,-56,49,
433  7740553500862137.,5240557952707809.,-.451655123805605426864,-56,49,
434  7740553500862143.,5240557952707804.,.486187342790008102873,-56,49,
435  7740553500862174.,5240557952707783.,.498373420200778328683,-56,49,
436  7740553500862753.,5240557952707392.,-.499828553289750586462,-56,49,
437  7740553500866035.,5240557952705170.,-.499999324195085155767,-56,49,
438  8359220028905919.,4852703848807840.,.499863243043976063017,-56,49,
439  8359220028906689.,4852703848807393.,.498593906824746327782,-56,49,
440  8359220028906720.,4852703848807376.,-.497561092423913812342,-56,49,
441  8359220028907223.,4852703848807084.,-.499688983439971567330,-56,49,
442  8359220028912942.,4852703848803763.,.499974222369498626323,-56,49,
443  8359220028915283.,4852703848802405.,-.499988782999641813798,-56,49,
444  8359220028968859.,4852703848771303.,-.499996253573530069755,-56,49,
445  8513798801093394.,4764596880313140.,.499225962049869128743,-56,49,
446  8513798801093444.,4764596880313113.,-.482389481465274245831,-56,49,
447  8513798801093453.,4764596880313107.,.480919738702034850642,-56,49,
448  8513798801093503.,4764596880313079.,.499304295187279297145,-56,49,
449  8513798801093830.,4764596880312896.,.499539294608881400084,-56,49,
450  8513798801094484.,4764596880312531.,-.499990706505742204242,-56,49,
451  8513798801132777.,4764596880291101.,-.499994175265107638922,-56,49,
452  9007199254740991.,4503599627370497.,-.499999999999999944489,-56,49,
453  4503599627370496.,4503599627370496.,0.000000000000000000000,-55,49,
454  4503599627370497.,9007199254740990.,.000000000000000444089,-55,50,
455  5173600871714596.,7840732250738866.,-.499981896218220838646,-55,50,
456  5173600871715401.,7840732250737646.,-.499285737374158657667,-55,50,
457  5173600871716045.,7840732250736670.,-.498728810025555164096,-55,50,
458  5173600871716107.,7840732250736576.,-.461408112038177832817,-55,50,
459  5173600871716109.,7840732250736573.,-.492462283070805584556,-55,50,
460  5173600871721777.,7840732250727983.,-.499982980123648348704,-55,50,
461  5173600871800768.,7840732250608270.,-.499992909131963395740,-55,50,
462  5852820566556913.,6930815449749340.,.499998551998348808838,-55,50,
463  5852820566559872.,6930815449745837.,-.499941747300258617574,-55,50,
464  5852820566564791.,6930815449740011.,.499819554136154840425,-55,50,
465  5852820566564894.,6930815449739890.,-.471114494539844782373,-55,50,
466  5852820566564905.,6930815449739877.,-.497136577407901703600,-55,50,
467  5852820566565790.,6930815449738829.,-.499822335268407666562,-55,50,
468  5852820566573668.,6930815449729499.,.499998695168073729144,-55,50,
469  6216155809162387.,6525708243592009.,-.499985529547439928048,-55,50,
470  6216155809169074.,6525708243584989.,-.499542254439281284250,-55,50,
471  6216155809171805.,6525708243582122.,-.498015319585535259871,-55,50,
472  6216155809171845.,6525708243582080.,-.489937297818683863215,-55,50,
473  6216155809172046.,6525708243581869.,-.499345238432074772518,-55,50,
474  6216155809182689.,6525708243570696.,-.499985576892763843356,-55,50,
475  6575998564299761.,6168617406263507.,.499995790342804241812,-55,50,
476  6575998564310964.,6168617406252999.,-.477481398498146702819,-55,50,
477  6575998564310996.,6168617406252969.,-.495090902155057208707,-55,50,
478  6575998564311012.,6168617406252953.,.496104346016597091693,-55,50,
479  6575998564312255.,6168617406251787.,.499585188575225033602,-55,50,
480  6575998564312368.,6168617406251681.,.499901628829685177529,-55,50,
481  6575998564315548.,6168617406248698.,.499957205625960277153,-55,50,
482  7082784227624794.,5727241986151358.,.499996706265521119327,-55,50,
483  7082784227659828.,5727241986123029.,.499805051206910730117,-55,50,
484  7082784227659964.,5727241986122920.,-.471766166637381499551,-55,50,
485  7082784227659969.,5727241986122915.,.485161362118423537993,-55,50,
486  7082784227659990.,5727241986122899.,-.495743017107132969581,-55,50,
487  7082784227660037.,5727241986122860.,.499375753197938769565,-55,50,
488  7082784227662080.,5727241986121208.,.499964003329276606053,-55,50,
489  7082784227669045.,5727241986115577.,-.499988430934791237178,-55,50,
490  8687303334617385.,4669437412834386.,.499939814909514319645,-55,50,
491  8687303334618905.,4669437412833569.,.497862861460658326050,-55,50,
492  8687303334621705.,4669437412832064.,.494036895329591215122,-55,50,
493  8687303334621785.,4669437412832021.,.493927582025816049214,-55,50,
494  8687303334626518.,4669437412829477.,.499960335100658964831,-55,50,
495  8687303334644784.,4669437412819660.,-.499998593551932822017,-55,50,
496  9007199254740991.,4503599627370497.,-.499999999999999944489,-55,50,
497  4503599627370496.,4503599627370496.,0.000000000000000000000,-54,50,
498  4503599627370497.,9007199254740990.,.000000000000000444089,-54,51,
499  5227720812172596.,7759561128981743.,-.499999644253477027763,-54,51,
500  5227720812185086.,7759561128963203.,.461290583376355632950,-54,51,
501  5227720812185088.,7759561128963200.,.492669492947521388962,-54,51,
502  5227720812185216.,7759561128963011.,-.499080294493145619073,-54,51,
503  5227720812185439.,7759561128962679.,.499668122722291437279,-54,51,
504  5227720812186172.,7759561128961592.,-.499961519146388792282,-54,51,
505  5299073463177514.,7655077720507619.,.499936778476799958775,-54,51,
506  5299073463177550.,7655077720507567.,.494090878574305238785,-54,51,
507  5299073463177649.,7655077720507424.,.478014653846088258082,-54,51,
508  5299073463177658.,7655077720507411.,.476553178871060787056,-54,51,
509  5299073463180935.,7655077720502677.,.499969460343859178103,-54,51,
510  5299073463184356.,7655077720497736.,-.499997851408123872637,-54,51,
511  5354986034451829.,7575149392794975.,-.499997906803379245894,-54,51,
512  5354986034455816.,7575149392789335.,-.499884879946723773951,-54,51,
513  5354986034456501.,7575149392788366.,-.499113014692782746794,-54,51,
514  5354986034456665.,7575149392788134.,-.493088801660897404012,-54,51,
515  5354986034456706.,7575149392788076.,-.491582748400705765372,-54,51,
516  5354986034457145.,7575149392787455.,-.499847202461525663548,-54,51,
517  6318840445925806.,6419661891203201.,.499899121349663449851,-54,51,
518  6318840445925994.,6419661891203011.,-.499770181004011379340,-54,51,
519  6318840445926182.,6419661891202820.,-.499439483346320851821,-54,51,
520  6318840445926243.,6419661891202758.,-.472736437827287658886,-54,51,
521  6318840445926245.,6419661891202755.,.495352186615979589576,-54,51,
522  6318840445928877.,6419661891200081.,.499981955070329879412,-54,51,
523  6318840446001453.,6419661891126347.,.499986660683774847032,-54,51,
524  6779876501425781.,5983120665807514.,.499988133816408664462,-54,51,
525  6779876501427602.,5983120665805907.,.499811929821064659417,-54,51,
526  6779876501427619.,5983120665805892.,.497613689590139472611,-54,51,
527  6779876501465358.,5983120665772589.,-.499997188174025754058,-54,51,
528  7852441928002186.,5165885921759859.,.491859910449907983609,-54,51,
529  7852441928002195.,5165885921759854.,-.428970032913633590743,-54,51,
530  7852441928002224.,5165885921759834.,.492800149581713660840,-54,51,
531  7852441928002490.,5165885921759659.,.499381823511128109200,-54,51,
532  7852441928002528.,5165885921759635.,-.499677937355130582785,-54,51,
533  7852441928003589.,5165885921758937.,-.499741260391663915100,-54,51,
534  7852441928007833.,5165885921756145.,-.499994550651560901640,-54,51,
535  7852441928023786.,5165885921745649.,.499995877021788666970,-54,51,
536  8012612783806823.,5062620683390972.,.499994693424668988084,-54,51,
537  8012612783817446.,5062620683384261.,-.445405723118578270284,-54,51,
538  8012612783817454.,5062620683384255.,.499942746874728365592,-54,51,
539  8012612783822248.,5062620683381227.,-.499986607820974869102,-54,51,
540  8012612783863729.,5062620683355017.,.499999033294328025058,-54,51,
541  8633994769867428.,4698267753053805.,-.497816782724030369840,-54,51,
542  8633994769867496.,4698267753053767.,.499357095276624404598,-54,51,
543  8633994769869251.,4698267753052812.,.499947623289281613938,-54,51,
544  8633994769894727.,4698267753038949.,.499972904419855543596,-54,51,
545  8633994769920203.,4698267753025086.,.499998267360483050390,-54,51,
546  8717776617239249.,4653115236640398.,.499974953404029335244,-54,51,
547  8717776617240849.,4653115236639544.,.499613909402703440426,-54,51,
548  8717776617241175.,4653115236639370.,.497040346725875310918,-54,51,
549  8717776617241205.,4653115236639354.,.484533577155041948068,-54,51,
550  8717776617241323.,4653115236639292.,-.497993049822500037023,-54,51,
551  8717776617244686.,4653115236637496.,.499998082034296000968,-54,51,
552  8911976088171407.,4551719933488577.,-.499989194973264761307,-54,51,
553  8911976088174293.,4551719933487102.,.498779419415360109823,-54,51,
554  8911976088174340.,4551719933487078.,.493908360821827646759,-54,51,
555  8911976088174346.,4551719933487075.,.429456736320543854656,-54,51,
556  8911976088174898.,4551719933486793.,.499907282220087260198,-54,51,
557  8911976088210413.,4551719933468654.,.499999996249173452763,-54,51,
558  9007199254740991.,4503599627370497.,-.499999999999999944489,-54,51,
559  4503599627370496.,4503599627370496.,0.000000000000000000000,-53,51,
560  4503599627370497.,9007199254740990.,.000000000000000444089,-53,52,
561  4733303198944394.,8570086787668699.,.499638710610393101535,-53,52,
562  4733303198944415.,8570086787668661.,.477180613867588642597,-53,52,
563  4733303198944431.,8570086787668633.,-.492311269364797825394,-53,52,
564  4733303198945017.,8570086787667572.,-.499951492616009117171,-53,52,
565  4733303198947377.,8570086787663298.,.499995733809951792083,-53,52,
566  5018163383767604.,8083598740232237.,-.499999761385671524111,-53,52,
567  5018163383775830.,8083598740218985.,.499952664066458858986,-53,52,
568  5018163383776899.,8083598740217263.,.482076317001827357879,-53,52,
569  5018163383776971.,8083598740217147.,.499581371295127232083,-53,52,
570  5949535300076261.,6818149176589201.,-.499998153880572595441,-53,52,
571  5949535300099693.,6818149176562347.,.499986338842752283850,-53,52,
572  5949535300105426.,6818149176555777.,.499598486821879908827,-53,52,
573  5949535300107960.,6818149176552874.,-.456616896727331232042,-53,52,
574  5949535300107974.,6818149176552857.,.499426112210207235002,-53,52,
575  5971604121796708.,6792951840065780.,-.499996306517026891614,-53,52,
576  5971604121818614.,6792951840040861.,-.499979038614728720609,-53,52,
577  5971604121825710.,6792951840032789.,-.499608209078839321419,-53,52,
578  5971604121828058.,6792951840030118.,-.448752693616010508147,-53,52,
579  5971604121828073.,6792951840030100.,.488113930211841320663,-53,52,
580  5971604121828102.,6792951840030067.,.499389402945931257361,-53,52,
581  5971604121828371.,6792951840029762.,-.499469143057067738683,-53,52,
582  5971604121839633.,6792951840016950.,.499992052365467274266,-53,52,
583  6059040276408601.,6694924832443512.,-.468136195086648914454,-53,52,
584  6059040276408611.,6694924832443500.,.482383149518517070655,-53,52,
585  6059040276408668.,6694924832443438.,-.499656586231340367842,-53,52,
586  6059040276409335.,6694924832442700.,.499983699029445298336,-53,52,
587  6059040276423199.,6694924832427382.,-.499996901630001280953,-53,52,
588  6179968525032139.,6563920033410265.,-.499997432417138982519,-53,52,
589  6179968525055349.,6563920033385613.,-.499980569511756789321,-53,52,
590  6179968525077046.,6563920033362568.,-.499706129134953101007,-53,52,
591  6179968525077674.,6563920033361900.,.483663571783945924826,-53,52,
592  6179968525077722.,6563920033361850.,-.498499253617950043040,-53,52,
593  6179968525078559.,6563920033360961.,-.499963521436201872196,-53,52,
594  6230674196535979.,6510502383490997.,-.499997260688262597805,-53,52,
595  6230674196597144.,6510502383427084.,.495343001181078751257,-53,52,
596  6230674196597233.,6510502383426991.,.498230033621640771526,-53,52,
597  6230674196597656.,6510502383426550.,-.499284407663861690715,-53,52,
598  6230674196598324.,6510502383425851.,.499912644990946380500,-53,52,
599  6230674196600751.,6510502383423315.,.499989363006984917011,-53,52,
600  7267747051691612.,5581484732309393.,.499998482310238434529,-53,52,
601  7267747051743336.,5581484732269670.,.499976801515303761535,-53,52,
602  7267747051744935.,5581484732268442.,.499879473358735677400,-53,52,
603  7267747051745978.,5581484732267641.,.496689033832971095779,-53,52,
604  7267747051745991.,5581484732267632.,-.487051594846148683568,-53,52,
605  7267747051746103.,5581484732267545.,.499182988842914130540,-53,52,
606  7267747051746534.,5581484732267214.,.499782145742519958763,-53,52,
607  7267747051753361.,5581484732261971.,.499991998202638949857,-53,52,
608  7302452754234816.,5554958117843229.,.499995341810842901595,-53,52,
609  7302452754244678.,5554958117835728.,-.499511101603949195873,-53,52,
610  7302452754244795.,5554958117835638.,.498872364966717666136,-53,52,
611  7302452754244837.,5554958117835607.,-.450425877802090889003,-53,52,
612  7302452754244841.,5554958117835604.,-.493216186637196345995,-53,52,
613  7302452754246571.,5554958117834287.,.499975242492185195517,-53,52,
614  7319052364911228.,5542359472898148.,.499996777521439923997,-53,52,
615  7319052364942017.,5542359472874834.,-.499992625200617357844,-53,52,
616  7319052364943603.,5542359472873632.,.499975446865672632099,-53,52,
617  7319052364945189.,5542359472872431.,.499943519452463352371,-53,52,
618  7319052364945741.,5542359472872013.,.497410339289516476577,-53,52,
619  7319052364945774.,5542359472871989.,-.491871535609531907740,-53,52,
620  7319052364945844.,5542359472871936.,-.499439149031009785179,-53,52,
621  7511273082079468.,5400525152531549.,.499996347675908701603,-53,52,
622  7511273082097357.,5400525152518687.,.499986801932798611691,-53,52,
623  7511273082103887.,5400525152513992.,.499703831355550663239,-53,52,
624  7511273082104798.,5400525152513338.,-.499569948423736202612,-53,52,
625  7511273082104880.,5400525152513279.,-.456694481831860241604,-53,52,
626  7511273082104887.,5400525152513274.,-.489619746878835586131,-53,52,
627  7511273082104919.,5400525152513251.,-.497278101379174843703,-53,52,
628  7913137471548954.,5126262415274709.,-.499996513804768059963,-53,52,
629  7913137471604993.,5126262415238406.,-.498714835493524186183,-53,52,
630  7913137471605010.,5126262415238394.,.488401668957003780867,-53,52,
631  7913137471605030.,5126262415238382.,-.467931855218785088845,-53,52,
632  7913137471605382.,5126262415238154.,-.499401880701949338175,-53,52,
633  7913137471605771.,5126262415237901.,.499911074114401590777,-53,52,
634  7913137471607168.,5126262415236997.,-.499985589232901720400,-53,52,
635  8070217332251342.,5026484112787456.,.499940797093817829809,-53,52,
636  8070217332255168.,5026484112785073.,.499902042159427807056,-53,52,
637  8070217332256332.,5026484112784349.,-.490177704058167211793,-53,52,
638  8070217332256340.,5026484112784344.,-.472927393034884105903,-53,52,
639  8070217332256385.,5026484112784315.,.499105606471267434398,-53,52,
640  8070217332256849.,5026484112784026.,.499623645841813144146,-53,52,
641  8070217332272617.,5026484112774205.,.499986693170166303480,-53,52,
642  8070217332322819.,5026484112742938.,-.499998737303990725739,-53,52,
643  8145371468007456.,4980106722772512.,.499999528654870673544,-53,52,
644  8145371468072490.,4980106722732750.,.499963276259052702801,-53,52,
645  8145371468090555.,4980106722721705.,.499953318830085273554,-53,52,
646  8145371468091502.,4980106722721127.,-.498940088602607114887,-53,52,
647  8145371468091695.,4980106722721009.,-.499770529594022014625,-53,52,
648  8344755511729995.,4861115361652296.,-.499995250355932682905,-53,52,
649  8344755511738664.,4861115361647246.,-.499244585283157494494,-53,52,
650  8344755511738688.,4861115361647232.,-.480093816326183850374,-53,52,
651  8344755511738712.,4861115361647218.,-.460943047369129786790,-53,52,
652  8344755511738767.,4861115361647185.,.499610798157755760458,-53,52,
653  8344755511739603.,4861115361646699.,-.499970749781585198746,-53,52,
654  8538353789951813.,4750894634401449.,-.496934117417140987820,-53,52,
655  8538353789951831.,4750894634401438.,.487539995161355139165,-53,52,
656  8538353789951840.,4750894634401433.,.479777051450619038216,-53,52,
657  8538353789951946.,4750894634401374.,.499457936636077122741,-53,52,
658  8538353789952203.,4750894634401232.,-.499995011540270488319,-53,52,
659  8575032706768526.,4730573117847625.,-.499997592766552516286,-53,52,
660  8575032706780245.,4730573117841160.,-.499988114321957756244,-53,52,
661  8575032706791964.,4730573117834695.,-.499978618206681733630,-53,52,
662  8575032706796280.,4730573117832313.,.499939552064759219063,-53,52,
663  8575032706796909.,4730573117831967.,-.499377285292888624809,-53,52,
664  8575032706797112.,4730573117831855.,-.488028029294109493687,-53,52,
665  8575032706797170.,4730573117831823.,-.484785384722055850181,-53,52,
666  8575032706797509.,4730573117831635.,.499684555112915982170,-53,52,
667  8668443273592636.,4679596777299005.,.499552183451059585911,-53,52,
668  8668443273592975.,4679596777298822.,.492839509097441663802,-53,52,
669  8668443273592988.,4679596777298815.,.474882975862927135049,-53,52,
670  8668443273593025.,4679596777298796.,-.499301003342883619340,-53,52,
671  8668443273595309.,4679596777297562.,.499720388715046039514,-53,52,
672  8668443273599764.,4679596777295158.,-.499999267200695499032,-53,52,
673  9007199254740991.,4503599627370497.,-.499999999999999944489,-53,52,
674  4503599627370496.,4503599627370496.,0.000000000000000000000,-52,52,
675  4503599627370497.,9007199254740990.,.000000000000000444089,-52,53,
676  9007199254740991.,4503599627370497.,-.499999999999999944489,-52,53,
677  4503599627370496.,4503599627370496.,0.000000000000000000000,-51,53,
678  4503599627370497.,9007199254740990.,.000000000000000444089,-51,54,
679  9007199254740991.,4503599627370497.,-.499999999999999944489,-51,54,
680  4503599627370496.,4503599627370496.,0.000000000000000000000,-50,54,
681  4503599627370497.,9007199254740990.,.000000000000000444089,-50,55,
682  9007199254740991.,4503599627370497.,-.499999999999999944489,-50,55,
683  4503599627370496.,4503599627370496.,0.000000000000000000000,-49,55,
684  4503599627370497.,9007199254740990.,.000000000000000444089,-49,56 };
685 #define INV(x) (1.0/(x))
686 #include "trailer.h"
687