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

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