/* This program was generated automatically by a program written
   by Gaston H. Gonnet on enigma on 2002-09-01 17:35:26.
   Do not edit, rerun the original maple program.       */
#include "header.h"
#define DBL_MAX_EXP 1024
#define N 653
#define F INV
#define Fs "INV"
  /* 7 candidate values discarded */

struct input_point { double arg_m, val, eps;
	int arg_e, val_e; } input_points[N] = {
 -8871213671148155,-4572634671085906,-.499996844692675305924,-53,52,
 -8871213671077783,-4572634671122179,-.490255522905749820786,-53,52,
 -8871213671077779,-4572634671122182,.447959093193495935320,-53,52,
 -8871213671077750,-4572634671122196,-.499984940087027937725,-53,52,
 -8422041051801280,-4816506943839637,.499998015072924819739,-53,52,
 -8422041051766527,-4816506943859511,-.499991939756751213963,-53,52,
 -8422041051760991,-4816506943862678,.499952096260734190800,-53,52,
 -8422041051758223,-4816506943864261,.499924112708663765867,-53,52,
 -8422041051758001,-4816506943864387,-.460338247288924090548,-53,52,
 -8422041051757987,-4816506943864395,-.466841279000708041010,-53,52,
 -8422041051757917,-4816506943864435,-.499356437560027070796,-53,52,
 -8245673680871110,-4919527594380607,-.499999152473458995565,-53,52,
 -8245673680843838,-4919527594396879,.499989576423264399157,-53,52,
 -8245673680827392,-4919527594406691,.499909392229819476454,-53,52,
 -8245673680827179,-4919527594406818,.420010505968381485803,-53,52,
 -8245673680827159,-4919527594406830,.487625634018613512267,-53,52,
 -8245673680827154,-4919527594406832,-.495470583968837525546,-53,52,
 -8245673680824789,-4919527594408243,-.499981692438734199323,-53,52,
 -8108579655012636,-5002703424418679,.499958361308037804082,-53,52,
 -8108579655011516,-5002703424419369,-.499954537859549524712,-53,52,
 -8108579655010785,-5002703424419821,.499209453741509680716,-53,52,
 -8108579655010738,-5002703424419849,-.498108319715103213457,-53,52,
 -8108579655010712,-5002703424419866,.460822273691732472942,-53,52,
 -8108579655010691,-5002703424419878,-.495426093172052263651,-53,52,
 -8108579655010396,-5002703424420060,-.499867437218025994483,-53,52,
 -8108579655000705,-5002703424426040,.499993351521909111058,-53,52,
 -7881394195507974,-5146909062158494,.497067984303077532812,-53,52,
 -7881394195507954,-5146909062158507,.436157859817732143072,-53,52,
 -7881394195507827,-5146909062158590,.499378569334242021030,-53,52,
 -7881394195507778,-5146909062158621,-.499851235656165595364,-53,52,
 -7881394195501293,-5146909062162856,-.499959103713958822107,-53,52,
 -7881394195498699,-5146909062164551,.499997747111514528619,-53,52,
 -7834633035985900,-5177628488913485,.499998182339438670599,-53,52,
 -7834633035950168,-5177628488937098,-.499574858207112945671,-53,52,
 -7834633035949593,-5177628488937478,-.496489516251365183538,-53,52,
 -7834633035949478,-5177628488937554,-.495872447866908934292,-53,52,
 -7834633035948617,-5177628488938123,-.499948135946341958966,-53,52,
 -7834633035924317,-5177628488954182,-.499993739587598347113,-53,52,
 -7740586541127928,-5240535583675859,.499996696781864249501,-53,52,
 -7740586541097601,-5240535583696390,-.499975439931308933749,-53,52,
 -7740586541070590,-5240535583714678,.499950319528724781548,-53,52,
 -7740586541070432,-5240535583714784,-.469284871324881080216,-53,52,
 -7740586541070429,-5240535583714787,.499653701000641120471,-53,52,
 -7552125243337432,-5371311769900807,.499994060727056457279,-53,52,
 -7552125243331957,-5371311769904700,-.494211897686622475559,-53,52,
 -7552125243331912,-5371311769904732,-.499643727505196811143,-53,52,
 -7552125243331725,-5371311769904865,-.499993775866469242650,-53,52,
 -7546489395525024,-5375323157726530,.499943333035347855480,-53,52,
 -7546489395523804,-5375323157727398,-.499389829239726588112,-53,52,
 -7546489395523731,-5375323157727450,-.496890911909357400722,-53,52,
 -7546489395523710,-5375323157727465,-.455076154869300530824,-53,52,
 -7546489395517419,-5375323157731946,-.499998228188850375608,-53,52,
 -7532060552311700,-5385620432227328,.499995424281304878476,-53,52,
 -7532060552272728,-5385620432255194,.499977483431262003601,-53,52,
 -7532060552272342,-5385620432255470,.499874666501827551104,-53,52,
 -7532060552269254,-5385620432257678,.499052130047959314092,-53,52,
 -7532060552269075,-5385620432257805,-.490632855119356980510,-53,52,
 -7532060552269068,-5385620432257810,-.495816066829934290540,-53,52,
 -7532060552269061,-5385620432257816,.499000721459479096190,-53,52,
 -7165093878940240,-5661449785959137,.499047055462965979658,-53,52,
 -7165093878940078,-5661449785959265,.495858148040931036620,-53,52,
 -7165093878940035,-5661449785959298,-.480296932325149093214,-53,52,
 -7165093878940016,-5661449785959313,-.493016618998663242619,-53,52,
 -7165093878939692,-5661449785959569,-.499394433864528222118,-53,52,
 -7165093878937176,-5661449785961557,-.499538206882492542469,-53,52,
 -7165093878929628,-5661449785967521,-.499969534313344878376,-53,52,
 -7165093878928999,-5661449785968019,.499994521166894135959,-53,52,
 -7109328173648589,-5705858305663924,-.499674695695709936781,-53,52,
 -7109328173647738,-5705858305664608,.498317306045381363606,-53,52,
 -7109328173647733,-5705858305664612,.485379538722577922448,-53,52,
 -7109328173647713,-5705858305664628,.433628469431307711722,-53,52,
 -7109328173646502,-5705858305665599,-.499898776323396548501,-53,52,
 -7109328173606155,-5705858305697981,-.499918605965293766922,-53,52,
 -7109328173444767,-5705858305827510,.499998399967765169538,-53,52,
 -7017962821147378,-5780141650945842,.499985389657075978010,-53,52,
 -7017962821146352,-5780141650946687,.464825613514854475718,-53,52,
 -7017962821146346,-5780141650946691,-.476900467048107424599,-53,52,
 -7017962821146227,-5780141650946789,-.487801064881930829152,-53,52,
 -7017962821146091,-5780141650946902,.499741109018200984517,-53,52,
 -7017962821135177,-5780141650955890,-.499999449649679695046,-53,52,
 -7006352135983382,-5789720302376700,.499796717815964713004,-53,52,
 -7006352135983048,-5789720302376976,.497885386179119124004,-53,52,
 -7006352135983025,-5789720302376995,.491765743580403838768,-53,52,
 -7006352135980278,-5789720302379265,.499997994045085341174,-53,52,
 -6828286958436779,-5940702178191698,-.499968945021146556237,-53,52,
 -6828286958433094,-5940702178194904,-.499901270640558184798,-53,52,
 -6828286958433002,-5940702178194985,.458852114944208253722,-53,52,
 -6828286958432994,-5940702178194992,.498743713690607752638,-53,52,
 -6828286958423493,-5940702178203257,-.499996336627829525880,-53,52,
 -6638553928855772,-6110490272735517,.499995289313587094697,-53,52,
 -6638553928831685,-6110490272757688,.499988773873889789180,-53,52,
 -6638553928831509,-6110490272757850,.499905693333390349291,-53,52,
 -6638553928828165,-6110490272760928,.498327161431833876691,-53,52,
 -6638553928827461,-6110490272761576,.497994838531111002058,-53,52,
 -6638553928827436,-6110490272761599,.486619400925575427422,-53,52,
 -6638553928827423,-6110490272761610,-.479295826629371565940,-53,52,
 -6595469068459825,-6150407012184813,.499941342888549116914,-53,52,
 -6595469068454579,-6150407012189705,.499865072084958618351,-53,52,
 -6595469068453408,-6150407012190796,-.481089811385214130580,-53,52,
 -6595469068453349,-6150407012190851,-.499771568974245102013,-53,52,
 -6595469068437611,-6150407012205528,.499999566448238960906,-53,52,
 -6320301642454119,-6418177723484788,.499998063485255626571,-53,52,
 -6320301642430291,-6418177723508984,-.499994549171953088476,-53,52,
 -6320301642428225,-6418177723511082,-.494034541725283063376,-53,52,
 -6320301642428222,-6418177723511086,.459507510559460221220,-53,52,
 -6320301642428160,-6418177723511149,.499376591110173934124,-53,52,
 -6320301642427708,-6418177723511608,.499712468636113393188,-53,52,
 -6320301642427256,-6418177723512066,-.499951653903598396666,-53,52,
 -6277581004375918,-6461855160296107,.499970468750839571218,-53,52,
 -6277581004373363,-6461855160298737,.499668910777139390692,-53,52,
 -6277581004369275,-6461855160302945,.499186413566270237352,-53,52,
 -6277581004369241,-6461855160302979,-.498860652235861326993,-53,52,
 -6277581004369071,-6461855160303154,-.489095981252205735313,-53,52,
 -6277581004369004,-6461855160303223,-.455835787396545201332,-53,52,
 -6277581004369003,-6461855160303224,-.485190112861397239054,-53,52,
 -6277581004359532,-6461855160312974,.499993394815040824725,-53,52,
 -6277581004309863,-6461855160364100,-.499998677722964657697,-53,52,
 -6150458818222996,-6595413514047951,-.473644980608536945724,-53,52,
 -6150458818222982,-6595413514047966,-.486474417510512459045,-53,52,
 -6150458818222968,-6595413514047981,-.499303854412556318362,-53,52,
 -6150458818222733,-6595413514048234,.499630597578648119990,-53,52,
 -6150458818221876,-6595413514049152,-.499999932982551353922,-53,52,
 -6134432454505739,-6612644202726284,.499959701947513673006,-53,52,
 -6134432454505662,-6612644202726367,.497398766429779706719,-53,52,
 -6134432454495977,-6612644202736807,.499961600605055345062,-53,52,
 -6134432454339785,-6612644202905175,.499987424288208614292,-53,52,
 -6056160701857071,-6698108125642121,-.499995890524489076320,-53,52,
 -6056160701828750,-6698108125673444,-.499758599692227199455,-53,52,
 -6056160701828533,-6698108125673685,.498442433466247776715,-53,52,
 -6056160701828467,-6698108125673757,-.497496422811544153422,-53,52,
 -6056160701828458,-6698108125673767,-.451488085031366324051,-53,52,
 -6056160701827033,-6698108125675344,.499832063123607391431,-53,52,
 -6056160701820382,-6698108125682700,.499993671123883572140,-53,52,
 -5587044502247494,-7260514783976640,-.499998828881375051171,-53,52,
 -5587044502247070,-7260514783977191,-.499416708578110966658,-53,52,
 -5587044502247000,-7260514783977282,-.466301735894577535483,-53,52,
 -5587044502246983,-7260514783977305,.441740471756793716168,-53,52,
 -5574097035247415,-7277379448329393,-.499997813669067216181,-53,52,
 -5574097035238422,-7277379448341135,.499986382529440527887,-53,52,
 -5574097035224026,-7277379448359930,.499849807331918585279,-53,52,
 -5574097035223882,-7277379448360118,.497625601032371440443,-53,52,
 -5574097035223558,-7277379448360541,.492621136822874954471,-53,52,
 -5574097035223545,-7277379448360557,-.479801881803840841879,-53,52,
 -5574097035220436,-7277379448364617,.499954661272015691468,-53,52,
 -5292230209316522,-7664976314879957,-.485756468283809191934,-53,52,
 -5292230209316513,-7664976314879971,.479136571992882867841,-53,52,
 -5292230209316435,-7664976314880083,-.491790412277643098441,-53,52,
 -5292230209316319,-7664976314880251,-.499835670942532779833,-53,52,
 -5292230209315322,-7664976314881696,.499982234883997390699,-53,52,
 -5292230209309853,-7664976314889617,.499986364589633580880,-53,52,
 -5292230209293446,-7664976314913380,.499998655479638337582,-53,52,
 -5268565944194452,-7699404285145676,-.499828841372719331790,-53,52,
 -5268565944193947,-7699404285146414,-.499353794349911970969,-53,52,
 -5268565944193921,-7699404285146452,-.495368940447616718622,-53,52,
 -5268565944193856,-7699404285146547,-.485406805693519279651,-53,52,
 -5268565944192445,-7699404285148609,-.499921081070712643158,-53,52,
 -5268565944190438,-7699404285151543,.499986676996708297670,-53,52,
 -5268565944179898,-7699404285166945,-.499999523098020671903,-53,52,
 -5158589873364226,-7863548024384537,-.499976017189487809310,-53,52,
 -5158589873358171,-7863548024393767,-.499734973110719403947,-53,52,
 -5158589873357822,-7863548024394300,.498627391940399784785,-53,52,
 -5158589873357801,-7863548024394332,.487067534247769952380,-53,52,
 -5158589873357740,-7863548024394424,-.498892052384680505726,-53,52,
 -5158589873344070,-7863548024415262,-.499999472860527825367,-53,52,
 -4510984822795226,-8992453045356823,-.499958913682962880274,-53,52,
 -4510984822793545,-8992453045360175,.499281149454982790509,-53,52,
 -4510984822793544,-8992453045360176,-.494175578646213838806,-53,52,
 -4510984822793529,-8992453045360206,-.396026500164269337316,-53,52,
 -4510984822793392,-8992453045360479,-.499598250038378591824,-53,52,
 -4510984822789877,-8992453045367486,-.499997531678210875982,-53,52,
 -4504722288295063,-9004954492467997,.499949513842097783187,-53,52,
 -4504722288288483,-9004954492481150,.058567680788965479450,-53,52,
 -4504722288288264,-9004954492481588,.276856035532681958700,-53,52,
 -4504722288288045,-9004954492482026,.495144390233832353422,-53,52,
 -4504722288288040,-9004954492482035,-.499871857376227431093,-53,52,
 -4504722288276001,-9004954492506101,-.499992917221966704034,-53,52,
 -4504722288225838,-9004954492606378,.499999657361744355634,-53,52,
 -8854767244077462,-4581127667069425,.499998092235408638346,-54,51,
 -8854767244069514,-4581127667073536,-.499978220405018758276,-54,51,
 -8854767244017852,-4581127667100264,-.499824432499807121326,-54,51,
 -8854767244013878,-4581127667102320,-.499812615579140298012,-54,51,
 -8854767244013590,-4581127667102470,.499684969470720655937,-54,51,
 -8854767244013103,-4581127667102721,-.456025711387156784209,-54,51,
 -8854767244013101,-4581127667102722,-.490751422602236010351,-54,51,
 -8854767244013072,-4581127667102737,-.494274235220937315831,-54,51,
 -8854767244013014,-4581127667102768,.498680139541365247507,-54,51,
 -8644717199341872,-4692440281376881,-.499998230924183712536,-54,51,
 -8644717199273769,-4692440281413848,-.499972441340477336384,-54,51,
 -8644717199267684,-4692440281417151,-.499764594414925870418,-54,51,
 -8644717199267614,-4692440281417189,-.496475432686056827428,-54,51,
 -8644717199265862,-4692440281418140,-.499866699329658018068,-54,51,
 -8644717199264040,-4692440281419129,-.499968804661282504589,-54,51,
 -8607732457445840,-4712602233845460,-.499999464895393674126,-54,51,
 -8607732457393718,-4712602233873997,.499974011748256319213,-54,51,
 -8607732457385031,-4712602233878753,.499969557590282713555,-54,51,
 -8607732457384315,-4712602233879144,-.499109893646855546224,-54,51,
 -8607732457383104,-4712602233879808,.496860475690508646617,-54,51,
 -8607732457383062,-4712602233879830,-.497498933468768134082,-54,51,
 -7868743568098421,-5155183779499671,.499982459524756777072,-54,51,
 -7868743567949140,-5155183779597472,.499969942091710119795,-54,51,
 -7868743567942340,-5155183779601926,-.499662283778466947149,-54,51,
 -7868743567942282,-5155183779601964,-.498188558679300762191,-54,51,
 -7868743567941760,-5155183779602306,-.484925032812012718764,-54,51,
 -7868743567941731,-5155183779602325,-.484188170265160451915,-54,51,
 -7868743567941725,-5155183779602329,-.415070198703760226010,-54,51,
 -7868743567939649,-5155183779603690,.499747961180851419151,-54,51,
 -7868743567935569,-5155183779606363,.499968620134569427636,-54,51,
 -7730960159919121,-5247060955974156,-.499980299520207837502,-54,51,
 -7730960159917543,-5247060955975228,.499520764325599756249,-54,51,
 -7730960159917325,-5247060955975375,-.458723068460112453831,-54,51,
 -7730960159917322,-5247060955975377,-.494845690012267616182,-54,51,
 -7730960159917294,-5247060955975396,-.498656824499125333913,-54,51,
 -7730960159907051,-5247060955982348,-.499994353338222088982,-54,51,
 -7730960159901016,-5247060955986445,.499998610160420211301,-54,51,
 -7684108841897189,-5279053178701199,.485111765483169587009,-54,51,
 -7684108841897173,-5279053178701210,.492965168251320317432,-54,51,
 -7684108841897157,-5279053178701220,-.499181428980574728265,-54,51,
 -7684108841896649,-5279053178701569,-.499835891117041720214,-54,51,
 -7684108841894994,-5279053178702706,-.499999542688774807438,-54,51,
 -7492339963744938,-5414172261749266,.499996749783230494504,-54,51,
 -7492339963744801,-5414172261749364,-.499995702363068372273,-54,51,
 -7492339963742883,-5414172261750750,-.499890032791404742184,-54,51,
 -7492339963697399,-5414172261783618,-.497384362324560290791,-54,51,
 -7492339963683151,-5414172261793914,-.496599535587539853691,-54,51,
 -7492339963682931,-5414172261794073,-.474689607351428822473,-54,51,
 -7492339963682877,-5414172261794112,-.496584443149446808573,-54,51,
 -7489630554912764,-5416130863850843,-.499974665273138534655,-54,51,
 -7489630554912551,-5416130863850998,.468946559613697114823,-54,51,
 -7489630554912540,-5416130863851005,-.485710090744497637579,-54,51,
 -7489630554912522,-5416130863851019,.497579026851133275707,-54,51,
 -7489630554912345,-5416130863851147,.499922016538171376380,-54,51,
 -7489630554902950,-5416130863857941,.499991997175679411509,-54,51,
 -7489630554873927,-5416130863878929,.499995194258975954806,-54,51,
 -7298995560623810,-5557589242297945,.499995862195936940836,-54,51,
 -7298995560591209,-5557589242322768,.499983860584631598511,-54,51,
 -7298995560586611,-5557589242326269,.498356433048711929132,-54,51,
 -7298995560586569,-5557589242326300,-.481214761394520746718,-54,51,
 -7298995560586565,-5557589242326304,.473111791515628375312,-54,51,
 -7298995560586020,-5557589242326718,-.499895374507766286767,-54,51,
 -7250793807593721,-5594534927309614,-.498367062852329019356,-54,51,
 -7250793807593686,-5594534927309642,.496490100129201036928,-54,51,
 -7250793807593673,-5594534927309652,.466008474950845799255,-54,51,
 -7250793807593651,-5594534927309669,.491347263110470382447,-54,51,
 -7250793807593130,-5594534927310070,-.499493253684888238119,-54,51,
 -7250793807592933,-5594534927310222,-.499868650645593704078,-54,51,
 -7250793807590210,-5594534927312323,-.499981371918097904129,-54,51,
 -7250793807536932,-5594534927353431,-.499983732731441984365,-54,51,
 -5733088875679035,-7075560851566039,-.499963509102268064630,-54,51,
 -5733088875677946,-7075560851567384,.497538981340826926873,-54,51,
 -5733088875677942,-7075560851567388,-.439109310706236933346,-54,51,
 -5733088875677788,-7075560851567579,.499931445476566498445,-54,51,
 -5733088875659809,-7075560851589767,-.499979303856097670473,-54,51,
 -5733088875630970,-7075560851625360,.499996705617385894555,-54,51,
 -5586017142903151,-7261850110653455,.499983765626817362547,-54,51,
 -5586017142903091,-7261850110653533,.499684895658562242897,-54,51,
 -5586017142901771,-7261850110655249,.493109755933018030520,-54,51,
 -5586017142901431,-7261850110655691,.491416159205694618005,-54,51,
 -5586017142883078,-7261850110679550,.499996724256620960569,-54,51,
 -4924871031076378,-8236727205917818,-.499998992446841818010,-54,51,
 -4924871031068861,-8236727205930390,-.499959252628764788847,-54,51,
 -4924871031066980,-8236727205933536,-.426781827396479928898,-54,51,
 -4924871031066968,-8236727205933556,-.496490424372409322745,-54,51,
 -4924871031066910,-8236727205933654,.499918023575886506304,-54,51,
 -4517699360174586,-8979087799621911,-.499951982535398589068,-54,51,
 -4517699360174431,-8979087799622220,.432047474892048931496,-54,51,
 -4517699360174426,-8979087799622230,.494370038034517863921,-54,51,
 -4517699360166483,-8979087799638017,.499993818386564467879,-54,51,
 -4514338150834418,-8985773296536381,-.499322377565829981158,-54,51,
 -4514338150834313,-8985773296536591,.498568207580769965810,-54,51,
 -4514338150834310,-8985773296536596,-.472920632843755753390,-54,51,
 -4514338150833892,-8985773296537429,.499634267928067147794,-54,51,
 -4514338150820634,-8985773296563819,.499952069398907641307,-54,51,
 -4514338150818740,-8985773296567589,.499997456955336870831,-54,51,
 -8612971451595068,-4709735709131021,-.458314749485969886637,-55,50,
 -8612971451595046,-4709735709131033,-.488330892369392883968,-55,50,
 -8612971451595035,-4709735709131040,.496661036188872571282,-55,50,
 -8612971451594971,-4709735709131074,-.499749561290614976145,-55,50,
 -8612971451593305,-4709735709131986,.499937072888491434867,-55,50,
 -8612971451590240,-4709735709133662,.499960801715160722457,-55,50,
 -8612971451584110,-4709735709137013,-.499991744210014776965,-55,50,
 -8612971451542599,-4709735709159712,-.499996785572678225768,-55,50,
 -8341071156516347,-4863262576966825,.499975867411013123455,-55,50,
 -8341071156515462,-4863262576967340,-.499384389055023465388,-55,50,
 -8341071156515239,-4863262576967471,.480437828789935417442,-55,50,
 -8341071156515227,-4863262576967478,.483836333785879581490,-55,50,
 -8341071156515179,-4863262576967506,.497430353769454922484,-55,50,
 -8341071156515167,-4863262576967512,-.499171141234701571066,-55,50,
 -8341071156506931,-4863262576972314,-.499997217169194223657,-55,50,
 -6979532375146853,-5811968055589088,.499990075867311519905,-55,50,
 -6979532375142579,-5811968055592647,.471944292167179990302,-55,50,
 -6979532375142567,-5811968055592657,.479352680227398060667,-55,50,
 -6979532375142537,-5811968055592682,.497873650377792908153,-55,50,
 -6979532375142531,-5811968055592686,-.498422155592153892938,-55,50,
 -6979532375141993,-5811968055593134,-.499612757598968582148,-55,50,
 -6979532375141724,-5811968055593359,.499791941371724274995,-55,50,
 -6979532375101499,-5811968055626855,.499992550365219024596,-55,50,
 -6842835487549892,-5928071671620408,-.439061427480239469554,-55,50,
 -6842835487549885,-5928071671620415,.496712452098895282601,-55,50,
 -6842835487549870,-5928071671620427,-.498057805945857741508,-55,50,
 -6842835487549683,-5928071671620589,-.499527022908561046846,-55,50,
 -6842835487548920,-5928071671621251,.499825851103721499393,-55,50,
 -6842835487547581,-5928071671622410,-.499999184242850985070,-55,50,
 -6479813464899681,-6260183171481365,-.499998130220501079258,-55,50,
 -6479813464895167,-6260183171485727,.499953155559206917565,-55,50,
 -6479813464892718,-6260183171488092,-.492319620825812311182,-55,50,
 -6479813464892482,-6260183171488320,-.493208300065597763316,-55,50,
 -6479813464890830,-6260183171489916,-.499429055209118534396,-55,50,
 -6479813464890653,-6260183171490088,.499904435262951670520,-55,50,
 -6070752678073838,-6682008205311037,-.499991322523303697784,-55,50,
 -6070752678072676,-6682008205312317,.499867127240911733394,-55,50,
 -6070752678071673,-6682008205313420,-.490788617461315018082,-55,50,
 -6070752678071663,-6682008205313431,-.497674517210930619808,-55,50,
 -6070752678071514,-6682008205313596,.499725576515501497609,-55,50,
 -6070752678059606,-6682008205326703,.499996128298406563875,-55,50,
 -5777052993640591,-7021714921424003,.499999983229069456927,-55,50,
 -5777052993629173,-7021714921437880,-.499918181550988756519,-55,50,
 -5777052993623464,-7021714921444819,-.499877284512795970589,-55,50,
 -5777052993623051,-7021714921445321,-.480431341713733137659,-55,50,
 -5777052993623037,-7021714921445338,-.496721309755700599185,-55,50,
 -5777052993622972,-7021714921445418,.499075267191227249081,-55,50,
 -5360050515996384,-7567991959449418,-.499999053305438660268,-55,50,
 -5360050515986506,-7567991959463366,.499995540484923097658,-55,50,
 -5360050515984678,-7567991959465946,-.499802995476899714633,-55,50,
 -5360050515984644,-7567991959465995,.494730292130766380704,-55,50,
 -5360050515984559,-7567991959466115,.481063511147267161628,-55,50,
 -5360050515984547,-7567991959466131,-.462042387344827580168,-55,50,
 -5003579018671222,-8107160705553514,.499997657849812850123,-55,50,
 -5003579018619743,-8107160705636924,.499994037129970272700,-55,50,
 -5003579018617099,-8107160705641208,.499916103240614850745,-55,50,
 -5003579018617057,-8107160705641276,.448477648883602326956,-55,50,
 -5003579018617049,-8107160705641289,.486298895672613269545,-55,50,
 -5003579018617020,-8107160705641336,.498400915282430474700,-55,50,
 -4966294589248348,-8168025170138539,.499995417043386174804,-55,50,
 -4966294589208408,-8168025170204228,.499990418927762482108,-55,50,
 -4966294589201946,-8168025170214855,-.499960413919625619343,-55,50,
 -4966294589198988,-8168025170219720,-.499009411628234588240,-55,50,
 -4966294589198943,-8168025170219795,.489848869294934408168,-55,50,
 -4966294589198715,-8168025170220169,-.499935840714956075557,-55,50,
 -5370993780351701,-7552572366718901,.499998471689296768746,-57,48,
 -5370993780330917,-7552572366748126,-.499972843534933396727,-57,48,
 -5370993780293234,-7552572366801115,-.499055361830968644322,-57,48,
 -5370993780293202,-7552572366801160,-.496745849650204793831,-57,48,
 -5370993780293180,-7552572366801191,-.432658060026240676444,-57,48,
 -5370993780293170,-7552572366801205,-.494436337469977129436,-57,48,
 -5370993780292813,-7552572366801707,-.499920842245670535560,-57,48,
 -5040083604724304,-8048441730069726,-.499925353101192340270,-57,48,
 -5040083604723726,-8048441730070650,.499647507098824725820,-57,48,
 -5040083604723689,-8048441730070709,.414845077727256323612,-57,48,
 -5040083604723664,-8048441730070749,.492681274097327116176,-57,48,
 -5040083604721863,-8048441730073624,-.499999140444732416483,-57,48,
 -7518049176514085,-5395657604106302,.499999341509308030964,-58,47,
 -7518049176513582,-5395657604106663,.499996396055503115922,-58,47,
 -7518049176493965,-5395657604120742,.499881485678522787296,-58,47,
 -7518049176486937,-5395657604125785,-.452445982375305270374,-58,47,
 -7518049176486923,-5395657604125796,.499840217878124225453,-58,47,
 -4503599627370497,-9007199254740990,-.000000000000000444089,-1074,-969,
 -4503599627370496,-4503599627370496,0.000000000000000000000,-1074,-970,
 4503599627370496,4503599627370496,0.000000000000000000000,-1074,-970,
 4503599627370497,9007199254740990,.000000000000000444089,-1074,-969,
 7327657448597172,5535850917139854,.499923979167510260165,-58,47,
 7327657448597994,5535850917139234,-.499281539044181126866,-58,47,
 7327657448598407,5535850917138921,.490168729838783888644,-58,47,
 7327657448598419,5535850917138912,.424486897458185189897,-58,47,
 7327657448598452,5535850917138887,.493861858411691870222,-58,47,
 7327657448598542,5535850917138820,-.498751884441239514883,-58,47,
 7327657448600963,5535850917136990,.499938433441657997551,-58,47,
 7327657448616127,5535850917125534,.499996280172341483052,-58,47,
 6940259249803764,5844856473978304,.499636970929266476699,-57,48,
 6940259249803859,5844856473978224,.493783436908710172044,-57,48,
 6940259249803897,5844856473978192,.491442023301100928628,-57,48,
 6940259249804613,5844856473977589,.499956440654815594831,-57,48,
 6940259249814009,5844856473969676,.499958498909667644068,-57,48,
 6940259249973741,5844856473835155,.499996767400339751734,-57,48,
 8328945592792914,4870342680879597,-.499998329897503108128,-57,48,
 8328945592800743,4870342680875019,-.499989296888508486062,-57,48,
 8328945592819050,4870342680864313,.499904128873067504995,-57,48,
 8328945592820873,4870342680863248,-.497539157174392974403,-57,48,
 8328945592820914,4870342680863224,-.472248523448756438415,-57,48,
 8328945592820926,4870342680863217,-.489236630650964508035,-57,48,
 8328945592820991,4870342680863179,-.497922211329240166538,-57,48,
 8328945592821581,4870342680862834,-.499837482074149323083,-57,48,
 8328945592824230,4870342680861285,-.499962146223062300948,-57,48,
 5682480038754490,7138576630388746,.499989464146931500263,-56,49,
 5682480038755411,7138576630387590,-.499952770234401688871,-56,49,
 5682480038756172,7138576630386633,.499009184050532555039,-56,49,
 5682480038756211,7138576630386585,-.494473711846495806360,-56,49,
 5682480038756332,7138576630386433,-.499895004240688440700,-56,49,
 5682480038806507,7138576630323400,.499995257142156691048,-56,49,
 6175493946646193,6568676053732254,.498870347664436601721,-56,49,
 6175493946646303,6568676053732137,.495376837166825305152,-56,49,
 6175493946646727,6568676053731687,-.499907239621333035089,-56,49,
 6175493946651596,6568676053726508,-.499997258487951205961,-56,49,
 6823990675708843,5944442355658651,-.499985599295144070202,-56,49,
 6823990675709068,5944442355658455,-.499598374882547561441,-56,49,
 6823990675709440,5944442355658130,.447708502841295233708,-56,49,
 6823990675709456,5944442355658117,-.490041738976241632691,-56,49,
 6823990675709487,5944442355658090,-.494432832497533319529,-56,49,
 6823990675709518,5944442355658063,-.498823926018579655468,-56,49,
 6823990675716586,5944442355651906,-.499993242412013677377,-56,49,
 6823990675724329,5944442355645160,.499999129777859511850,-56,49,
 7740553500862013,5240557952707892,.499600566553124891757,-56,49,
 7740553500862137,5240557952707809,-.451655123805605426864,-56,49,
 7740553500862143,5240557952707804,.486187342790008102873,-56,49,
 7740553500862174,5240557952707783,.498373420200778328683,-56,49,
 7740553500862753,5240557952707392,-.499828553289750586462,-56,49,
 7740553500866035,5240557952705170,-.499999324195085155767,-56,49,
 8359220028905919,4852703848807840,.499863243043976063017,-56,49,
 8359220028906689,4852703848807393,.498593906824746327782,-56,49,
 8359220028906720,4852703848807376,-.497561092423913812342,-56,49,
 8359220028907223,4852703848807084,-.499688983439971567330,-56,49,
 8359220028912942,4852703848803763,.499974222369498626323,-56,49,
 8359220028915283,4852703848802405,-.499988782999641813798,-56,49,
 8359220028968859,4852703848771303,-.499996253573530069755,-56,49,
 8513798801093394,4764596880313140,.499225962049869128743,-56,49,
 8513798801093444,4764596880313113,-.482389481465274245831,-56,49,
 8513798801093453,4764596880313107,.480919738702034850642,-56,49,
 8513798801093503,4764596880313079,.499304295187279297145,-56,49,
 8513798801093830,4764596880312896,.499539294608881400084,-56,49,
 8513798801094484,4764596880312531,-.499990706505742204242,-56,49,
 8513798801132777,4764596880291101,-.499994175265107638922,-56,49,
 9007199254740991,4503599627370497,-.499999999999999944489,-56,49,
 4503599627370496,4503599627370496,0.000000000000000000000,-55,49,
 4503599627370497,9007199254740990,.000000000000000444089,-55,50,
 5173600871714596,7840732250738866,-.499981896218220838646,-55,50,
 5173600871715401,7840732250737646,-.499285737374158657667,-55,50,
 5173600871716045,7840732250736670,-.498728810025555164096,-55,50,
 5173600871716107,7840732250736576,-.461408112038177832817,-55,50,
 5173600871716109,7840732250736573,-.492462283070805584556,-55,50,
 5173600871721777,7840732250727983,-.499982980123648348704,-55,50,
 5173600871800768,7840732250608270,-.499992909131963395740,-55,50,
 5852820566556913,6930815449749340,.499998551998348808838,-55,50,
 5852820566559872,6930815449745837,-.499941747300258617574,-55,50,
 5852820566564791,6930815449740011,.499819554136154840425,-55,50,
 5852820566564894,6930815449739890,-.471114494539844782373,-55,50,
 5852820566564905,6930815449739877,-.497136577407901703600,-55,50,
 5852820566565790,6930815449738829,-.499822335268407666562,-55,50,
 5852820566573668,6930815449729499,.499998695168073729144,-55,50,
 6216155809162387,6525708243592009,-.499985529547439928048,-55,50,
 6216155809169074,6525708243584989,-.499542254439281284250,-55,50,
 6216155809171805,6525708243582122,-.498015319585535259871,-55,50,
 6216155809171845,6525708243582080,-.489937297818683863215,-55,50,
 6216155809172046,6525708243581869,-.499345238432074772518,-55,50,
 6216155809182689,6525708243570696,-.499985576892763843356,-55,50,
 6575998564299761,6168617406263507,.499995790342804241812,-55,50,
 6575998564310964,6168617406252999,-.477481398498146702819,-55,50,
 6575998564310996,6168617406252969,-.495090902155057208707,-55,50,
 6575998564311012,6168617406252953,.496104346016597091693,-55,50,
 6575998564312255,6168617406251787,.499585188575225033602,-55,50,
 6575998564312368,6168617406251681,.499901628829685177529,-55,50,
 6575998564315548,6168617406248698,.499957205625960277153,-55,50,
 7082784227624794,5727241986151358,.499996706265521119327,-55,50,
 7082784227659828,5727241986123029,.499805051206910730117,-55,50,
 7082784227659964,5727241986122920,-.471766166637381499551,-55,50,
 7082784227659969,5727241986122915,.485161362118423537993,-55,50,
 7082784227659990,5727241986122899,-.495743017107132969581,-55,50,
 7082784227660037,5727241986122860,.499375753197938769565,-55,50,
 7082784227662080,5727241986121208,.499964003329276606053,-55,50,
 7082784227669045,5727241986115577,-.499988430934791237178,-55,50,
 8687303334617385,4669437412834386,.499939814909514319645,-55,50,
 8687303334618905,4669437412833569,.497862861460658326050,-55,50,
 8687303334621705,4669437412832064,.494036895329591215122,-55,50,
 8687303334621785,4669437412832021,.493927582025816049214,-55,50,
 8687303334626518,4669437412829477,.499960335100658964831,-55,50,
 8687303334644784,4669437412819660,-.499998593551932822017,-55,50,
 9007199254740991,4503599627370497,-.499999999999999944489,-55,50,
 4503599627370496,4503599627370496,0.000000000000000000000,-54,50,
 4503599627370497,9007199254740990,.000000000000000444089,-54,51,
 5227720812172596,7759561128981743,-.499999644253477027763,-54,51,
 5227720812185086,7759561128963203,.461290583376355632950,-54,51,
 5227720812185088,7759561128963200,.492669492947521388962,-54,51,
 5227720812185216,7759561128963011,-.499080294493145619073,-54,51,
 5227720812185439,7759561128962679,.499668122722291437279,-54,51,
 5227720812186172,7759561128961592,-.499961519146388792282,-54,51,
 5299073463177514,7655077720507619,.499936778476799958775,-54,51,
 5299073463177550,7655077720507567,.494090878574305238785,-54,51,
 5299073463177649,7655077720507424,.478014653846088258082,-54,51,
 5299073463177658,7655077720507411,.476553178871060787056,-54,51,
 5299073463180935,7655077720502677,.499969460343859178103,-54,51,
 5299073463184356,7655077720497736,-.499997851408123872637,-54,51,
 5354986034451829,7575149392794975,-.499997906803379245894,-54,51,
 5354986034455816,7575149392789335,-.499884879946723773951,-54,51,
 5354986034456501,7575149392788366,-.499113014692782746794,-54,51,
 5354986034456665,7575149392788134,-.493088801660897404012,-54,51,
 5354986034456706,7575149392788076,-.491582748400705765372,-54,51,
 5354986034457145,7575149392787455,-.499847202461525663548,-54,51,
 6318840445925806,6419661891203201,.499899121349663449851,-54,51,
 6318840445925994,6419661891203011,-.499770181004011379340,-54,51,
 6318840445926182,6419661891202820,-.499439483346320851821,-54,51,
 6318840445926243,6419661891202758,-.472736437827287658886,-54,51,
 6318840445926245,6419661891202755,.495352186615979589576,-54,51,
 6318840445928877,6419661891200081,.499981955070329879412,-54,51,
 6318840446001453,6419661891126347,.499986660683774847032,-54,51,
 6779876501425781,5983120665807514,.499988133816408664462,-54,51,
 6779876501427602,5983120665805907,.499811929821064659417,-54,51,
 6779876501427619,5983120665805892,.497613689590139472611,-54,51,
 6779876501465358,5983120665772589,-.499997188174025754058,-54,51,
 7852441928002186,5165885921759859,.491859910449907983609,-54,51,
 7852441928002195,5165885921759854,-.428970032913633590743,-54,51,
 7852441928002224,5165885921759834,.492800149581713660840,-54,51,
 7852441928002490,5165885921759659,.499381823511128109200,-54,51,
 7852441928002528,5165885921759635,-.499677937355130582785,-54,51,
 7852441928003589,5165885921758937,-.499741260391663915100,-54,51,
 7852441928007833,5165885921756145,-.499994550651560901640,-54,51,
 7852441928023786,5165885921745649,.499995877021788666970,-54,51,
 8012612783806823,5062620683390972,.499994693424668988084,-54,51,
 8012612783817446,5062620683384261,-.445405723118578270284,-54,51,
 8012612783817454,5062620683384255,.499942746874728365592,-54,51,
 8012612783822248,5062620683381227,-.499986607820974869102,-54,51,
 8012612783863729,5062620683355017,.499999033294328025058,-54,51,
 8633994769867428,4698267753053805,-.497816782724030369840,-54,51,
 8633994769867496,4698267753053767,.499357095276624404598,-54,51,
 8633994769869251,4698267753052812,.499947623289281613938,-54,51,
 8633994769894727,4698267753038949,.499972904419855543596,-54,51,
 8633994769920203,4698267753025086,.499998267360483050390,-54,51,
 8717776617239249,4653115236640398,.499974953404029335244,-54,51,
 8717776617240849,4653115236639544,.499613909402703440426,-54,51,
 8717776617241175,4653115236639370,.497040346725875310918,-54,51,
 8717776617241205,4653115236639354,.484533577155041948068,-54,51,
 8717776617241323,4653115236639292,-.497993049822500037023,-54,51,
 8717776617244686,4653115236637496,.499998082034296000968,-54,51,
 8911976088171407,4551719933488577,-.499989194973264761307,-54,51,
 8911976088174293,4551719933487102,.498779419415360109823,-54,51,
 8911976088174340,4551719933487078,.493908360821827646759,-54,51,
 8911976088174346,4551719933487075,.429456736320543854656,-54,51,
 8911976088174898,4551719933486793,.499907282220087260198,-54,51,
 8911976088210413,4551719933468654,.499999996249173452763,-54,51,
 9007199254740991,4503599627370497,-.499999999999999944489,-54,51,
 4503599627370496,4503599627370496,0.000000000000000000000,-53,51,
 4503599627370497,9007199254740990,.000000000000000444089,-53,52,
 4733303198944394,8570086787668699,.499638710610393101535,-53,52,
 4733303198944415,8570086787668661,.477180613867588642597,-53,52,
 4733303198944431,8570086787668633,-.492311269364797825394,-53,52,
 4733303198945017,8570086787667572,-.499951492616009117171,-53,52,
 4733303198947377,8570086787663298,.499995733809951792083,-53,52,
 5018163383767604,8083598740232237,-.499999761385671524111,-53,52,
 5018163383775830,8083598740218985,.499952664066458858986,-53,52,
 5018163383776899,8083598740217263,.482076317001827357879,-53,52,
 5018163383776971,8083598740217147,.499581371295127232083,-53,52,
 5949535300076261,6818149176589201,-.499998153880572595441,-53,52,
 5949535300099693,6818149176562347,.499986338842752283850,-53,52,
 5949535300105426,6818149176555777,.499598486821879908827,-53,52,
 5949535300107960,6818149176552874,-.456616896727331232042,-53,52,
 5949535300107974,6818149176552857,.499426112210207235002,-53,52,
 5971604121796708,6792951840065780,-.499996306517026891614,-53,52,
 5971604121818614,6792951840040861,-.499979038614728720609,-53,52,
 5971604121825710,6792951840032789,-.499608209078839321419,-53,52,
 5971604121828058,6792951840030118,-.448752693616010508147,-53,52,
 5971604121828073,6792951840030100,.488113930211841320663,-53,52,
 5971604121828102,6792951840030067,.499389402945931257361,-53,52,
 5971604121828371,6792951840029762,-.499469143057067738683,-53,52,
 5971604121839633,6792951840016950,.499992052365467274266,-53,52,
 6059040276408601,6694924832443512,-.468136195086648914454,-53,52,
 6059040276408611,6694924832443500,.482383149518517070655,-53,52,
 6059040276408668,6694924832443438,-.499656586231340367842,-53,52,
 6059040276409335,6694924832442700,.499983699029445298336,-53,52,
 6059040276423199,6694924832427382,-.499996901630001280953,-53,52,
 6179968525032139,6563920033410265,-.499997432417138982519,-53,52,
 6179968525055349,6563920033385613,-.499980569511756789321,-53,52,
 6179968525077046,6563920033362568,-.499706129134953101007,-53,52,
 6179968525077674,6563920033361900,.483663571783945924826,-53,52,
 6179968525077722,6563920033361850,-.498499253617950043040,-53,52,
 6179968525078559,6563920033360961,-.499963521436201872196,-53,52,
 6230674196535979,6510502383490997,-.499997260688262597805,-53,52,
 6230674196597144,6510502383427084,.495343001181078751257,-53,52,
 6230674196597233,6510502383426991,.498230033621640771526,-53,52,
 6230674196597656,6510502383426550,-.499284407663861690715,-53,52,
 6230674196598324,6510502383425851,.499912644990946380500,-53,52,
 6230674196600751,6510502383423315,.499989363006984917011,-53,52,
 7267747051691612,5581484732309393,.499998482310238434529,-53,52,
 7267747051743336,5581484732269670,.499976801515303761535,-53,52,
 7267747051744935,5581484732268442,.499879473358735677400,-53,52,
 7267747051745978,5581484732267641,.496689033832971095779,-53,52,
 7267747051745991,5581484732267632,-.487051594846148683568,-53,52,
 7267747051746103,5581484732267545,.499182988842914130540,-53,52,
 7267747051746534,5581484732267214,.499782145742519958763,-53,52,
 7267747051753361,5581484732261971,.499991998202638949857,-53,52,
 7302452754234816,5554958117843229,.499995341810842901595,-53,52,
 7302452754244678,5554958117835728,-.499511101603949195873,-53,52,
 7302452754244795,5554958117835638,.498872364966717666136,-53,52,
 7302452754244837,5554958117835607,-.450425877802090889003,-53,52,
 7302452754244841,5554958117835604,-.493216186637196345995,-53,52,
 7302452754246571,5554958117834287,.499975242492185195517,-53,52,
 7319052364911228,5542359472898148,.499996777521439923997,-53,52,
 7319052364942017,5542359472874834,-.499992625200617357844,-53,52,
 7319052364943603,5542359472873632,.499975446865672632099,-53,52,
 7319052364945189,5542359472872431,.499943519452463352371,-53,52,
 7319052364945741,5542359472872013,.497410339289516476577,-53,52,
 7319052364945774,5542359472871989,-.491871535609531907740,-53,52,
 7319052364945844,5542359472871936,-.499439149031009785179,-53,52,
 7511273082079468,5400525152531549,.499996347675908701603,-53,52,
 7511273082097357,5400525152518687,.499986801932798611691,-53,52,
 7511273082103887,5400525152513992,.499703831355550663239,-53,52,
 7511273082104798,5400525152513338,-.499569948423736202612,-53,52,
 7511273082104880,5400525152513279,-.456694481831860241604,-53,52,
 7511273082104887,5400525152513274,-.489619746878835586131,-53,52,
 7511273082104919,5400525152513251,-.497278101379174843703,-53,52,
 7913137471548954,5126262415274709,-.499996513804768059963,-53,52,
 7913137471604993,5126262415238406,-.498714835493524186183,-53,52,
 7913137471605010,5126262415238394,.488401668957003780867,-53,52,
 7913137471605030,5126262415238382,-.467931855218785088845,-53,52,
 7913137471605382,5126262415238154,-.499401880701949338175,-53,52,
 7913137471605771,5126262415237901,.499911074114401590777,-53,52,
 7913137471607168,5126262415236997,-.499985589232901720400,-53,52,
 8070217332251342,5026484112787456,.499940797093817829809,-53,52,
 8070217332255168,5026484112785073,.499902042159427807056,-53,52,
 8070217332256332,5026484112784349,-.490177704058167211793,-53,52,
 8070217332256340,5026484112784344,-.472927393034884105903,-53,52,
 8070217332256385,5026484112784315,.499105606471267434398,-53,52,
 8070217332256849,5026484112784026,.499623645841813144146,-53,52,
 8070217332272617,5026484112774205,.499986693170166303480,-53,52,
 8070217332322819,5026484112742938,-.499998737303990725739,-53,52,
 8145371468007456,4980106722772512,.499999528654870673544,-53,52,
 8145371468072490,4980106722732750,.499963276259052702801,-53,52,
 8145371468090555,4980106722721705,.499953318830085273554,-53,52,
 8145371468091502,4980106722721127,-.498940088602607114887,-53,52,
 8145371468091695,4980106722721009,-.499770529594022014625,-53,52,
 8344755511729995,4861115361652296,-.499995250355932682905,-53,52,
 8344755511738664,4861115361647246,-.499244585283157494494,-53,52,
 8344755511738688,4861115361647232,-.480093816326183850374,-53,52,
 8344755511738712,4861115361647218,-.460943047369129786790,-53,52,
 8344755511738767,4861115361647185,.499610798157755760458,-53,52,
 8344755511739603,4861115361646699,-.499970749781585198746,-53,52,
 8538353789951813,4750894634401449,-.496934117417140987820,-53,52,
 8538353789951831,4750894634401438,.487539995161355139165,-53,52,
 8538353789951840,4750894634401433,.479777051450619038216,-53,52,
 8538353789951946,4750894634401374,.499457936636077122741,-53,52,
 8538353789952203,4750894634401232,-.499995011540270488319,-53,52,
 8575032706768526,4730573117847625,-.499997592766552516286,-53,52,
 8575032706780245,4730573117841160,-.499988114321957756244,-53,52,
 8575032706791964,4730573117834695,-.499978618206681733630,-53,52,
 8575032706796280,4730573117832313,.499939552064759219063,-53,52,
 8575032706796909,4730573117831967,-.499377285292888624809,-53,52,
 8575032706797112,4730573117831855,-.488028029294109493687,-53,52,
 8575032706797170,4730573117831823,-.484785384722055850181,-53,52,
 8575032706797509,4730573117831635,.499684555112915982170,-53,52,
 8668443273592636,4679596777299005,.499552183451059585911,-53,52,
 8668443273592975,4679596777298822,.492839509097441663802,-53,52,
 8668443273592988,4679596777298815,.474882975862927135049,-53,52,
 8668443273593025,4679596777298796,-.499301003342883619340,-53,52,
 8668443273595309,4679596777297562,.499720388715046039514,-53,52,
 8668443273599764,4679596777295158,-.499999267200695499032,-53,52,
 9007199254740991,4503599627370497,-.499999999999999944489,-53,52,
 4503599627370496,4503599627370496,0.000000000000000000000,-52,52,
 4503599627370497,9007199254740990,.000000000000000444089,-52,53,
 9007199254740991,4503599627370497,-.499999999999999944489,-52,53,
 4503599627370496,4503599627370496,0.000000000000000000000,-51,53,
 4503599627370497,9007199254740990,.000000000000000444089,-51,54,
 9007199254740991,4503599627370497,-.499999999999999944489,-51,54,
 4503599627370496,4503599627370496,0.000000000000000000000,-50,54,
 4503599627370497,9007199254740990,.000000000000000444089,-50,55,
 9007199254740991,4503599627370497,-.499999999999999944489,-50,55,
 4503599627370496,4503599627370496,0.000000000000000000000,-49,55,
 4503599627370497,9007199254740990,.000000000000000444089,-49,56 };
#define INV(x) (1.0/(x))
#include "trailer.h"