/* This program was generated automatically by a program written
   by Gaston H. Gonnet on enigma on 2002-09-01 17:45:14.
   Do not edit, rerun the original maple program.       */
#include "header.h"
#define DBL_MAX_EXP 1024
#define N 792
#define F tanh
#define Fs "tanh"

struct input_point { double arg_m, val, eps;
	int arg_e, val_e; } input_points[N] = {
 -5198392540217939,-9007199254740990,-.362538495704861919879,-48,53,
 -5198392540059603,-9007199254740990,-.362538493862644129014,-48,53,
 -5198392540058020,-9007199254740990,-.362538493844226139645,-48,53,
 -5198392540058004,-9007199254740990,-.362538493844039981825,-48,53,
 -5198392540058003,-9007199254740990,-.362538493844028346961,-48,53,
 -5170245042386939,-9007199254740990,-.000000000000013084933,-48,53,
 -5170245042386938,-9007199254740990,.000000000000001125922,-48,53,
 -5170245042386937,-9007199254740990,.000000000000015336777,-48,53,
 -5170245042386867,-9007199254740990,.000000000001010096607,-48,53,
 -5170245042379833,-9007199254740990,.000000000100969248676,-48,53,
 -5170245041676395,-9007199254740990,.000000010097424493315,-48,53,
 -4860675792475293,-9007199254740974,.043202083237006795207,-48,53,
 -4860675792475287,-9007199254740974,.043202083237776023177,-48,53,
 -4860675792474707,-9007199254740974,.043202083312134726964,-48,53,
 -4860675792416729,-9007199254740974,.043202090745184604624,-48,53,
 -4860675786618940,-9007199254740974,.043202834048777582931,-48,53,
 -4758887567364826,-9007199254740955,.189179203397306702574,-48,53,
 -4758887567364818,-9007199254740955,.189179203399420662665,-48,53,
 -4758887567364005,-9007199254740955,.189179203614251856868,-48,53,
 -4758887567282693,-9007199254740955,.189179225100542223533,-48,53,
 -4758887559151599,-9007199254740955,.189181373701631607192,-48,53,
 -4521660616471964,-9007199254740791,-.339042714539676007146,-48,53,
 -4521660593752499,-9007199254740791,-.339010321536097748278,-48,53,
 -4521660593525258,-9007199254740791,-.339009997539950558192,-48,53,
 -4521660593522986,-9007199254740791,-.339009994300573654305,-48,53,
 -4521660593522963,-9007199254740791,-.339009994267780666282,-48,53,
 -8934765667495170,-9007199254740697,.090930093617446344820,-49,53,
 -8934765667495127,-9007199254740697,.090930093662526408925,-49,53,
 -8934765667490881,-9007199254740697,.090930098113920645917,-49,53,
 -8934765667066312,-9007199254740697,.090930543220845103015,-49,53,
 -8934765624614075,-9007199254740697,.090975049028114550446,-49,53,
 -8710724181363822,-9007199254740338,.085972243523555959855,-49,53,
 -8710724181363821,-9007199254740338,.085972243525879740036,-49,53,
 -8710724181363726,-9007199254740338,.085972243746638857202,-49,53,
 -8710724181354201,-9007199254740338,.085972265880645078761,-49,53,
 -8710724180401718,-9007199254740338,.085974479241766753948,-49,53,
 -8710724085204798,-9007199254740338,.086195695995891239155,-49,53,
 -8694069328059213,-9007199254740298,-.043884747341964906723,-49,53,
 -8694069328059212,-9007199254740298,-.043884747339499479340,-49,53,
 -8694069328059079,-9007199254740298,-.043884747011597637381,-49,53,
 -8694069328045804,-9007199254740298,-.043884714283049125340,-49,53,
 -8694069326718313,-9007199254740298,-.043881441450378972858,-49,53,
 -8694069194049833,-9007199254740298,-.043554356868265641875,-49,53,
 -8270488864669443,-9007199254737867,.247722905693945369641,-49,53,
 -8270488864669440,-9007199254737867,.247722905727254700645,-49,53,
 -8270488864669163,-9007199254737867,.247722908802816263388,-49,53,
 -8270488864641432,-9007199254737867,.247723216703168973346,-49,53,
 -8270488861868728,-9007199254737867,.247754002341761421703,-49,53,
 -8270488587974471,-9007199254737867,.250795082007149297367,-49,53,
 -8100659584378027,-9007199254735278,-.291093915989397114366,-49,53,
 -8100659164728899,-9007199254735278,-.282575379899612861311,-49,53,
 -8100659160359506,-9007199254735278,-.282486684707576161463,-49,53,
 -8100659160315795,-9007199254735278,-.282485797409141457009,-49,53,
 -8100659160315357,-9007199254735278,-.282485788518090819160,-49,53,
 -8100659160315353,-9007199254735278,-.282485788436894009681,-49,53,
 -7662718723400723,-9007199254713913,-.316116056501347312123,-49,53,
 -7662716988129843,-9007199254713913,-.149177606046010566657,-49,53,
 -7662716954720126,-9007199254713913,-.145963477362445235049,-49,53,
 -7662716954382937,-9007199254713913,-.145931038629077606951,-49,53,
 -7662716954379565,-9007199254713913,-.145930714231161358751,-49,53,
 -7662716954379531,-9007199254713913,-.145930710960245239977,-49,53,
 -7295366434393840,-9007199254641124,-.495953676976696019138,-49,53,
 -7295366308157190,-9007199254641124,-.451164821750833191756,-49,53,
 -7295366291025262,-9007199254641124,-.445086399689189070338,-49,53,
 -7295366290832379,-9007199254641124,-.445017964640979813606,-49,53,
 -7295366290830448,-9007199254641124,-.445017279520579686037,-49,53,
 -7295366290830428,-9007199254641124,-.445017272424563112967,-49,53,
 -7246054925574116,-9007199254622003,.353154785460823303539,-49,53,
 -7246054925574115,-9007199254622003,.353154785883558406121,-49,53,
 -7246054925574054,-9007199254622003,.353154811670399663616,-49,53,
 -7246054925567908,-9007199254622003,.353157409800340160527,-49,53,
 -7246054924954457,-9007199254622003,.353416737072042401871,-49,53,
 -7246054872909006,-9007199254622003,.375418178221942549413,-49,53,
 -7246054596612839,-9007199254622003,.492218345901009858011,-49,53,
 -7099320961897334,-9007199254540588,.491115583387081944022,-49,53,
 -7099320961897328,-9007199254540588,.491115587658960605251,-49,53,
 -7099320961896701,-9007199254540588,.491116034070280704166,-49,53,
 -7099320961834398,-9007199254540588,.491160392546324136127,-49,53,
 -7099320957699669,-9007199254540588,.494104235999448146756,-49,53,
 -7099320949660269,-9007199254540588,.499828126384731549663,-49,53,
 -7080822419277697,-9007199254526974,-.496203636919422427492,-49,53,
 -7080822238202379,-9007199254526974,-.358524257831894196657,-49,53,
 -7080822132320033,-9007199254526974,-.278017299481575143831,-49,53,
 -7080822130649177,-9007199254526974,-.276746874664004887899,-49,53,
 -7080822130632372,-9007199254526974,-.276734097088245354144,-49,53,
 -7080822130632204,-9007199254526974,-.276733969350504939601,-49,53,
 -7080822130632202,-9007199254526974,-.276733967829817553713,-49,53,
 -5954431418680794,-9007199243035627,-.499999815257581420104,-49,53,
 -5954431418680350,-9007199243035627,-.499981351158586326691,-49,53,
 -5954431418638413,-9007199243035627,-.498237367105398203109,-49,53,
 -5954431418019728,-9007199243035627,-.472508851112054045882,-49,53,
 -5954431417906743,-9007199243035627,-.467810278521339619013,-49,53,
 -5954431417905417,-9007199243035627,-.467755135739053895791,-49,53,
 -5954431417905404,-9007199243035627,-.467754595123541289375,-49,53,
 -5199688399509103,-9007199083780399,.118606612706483382460,-49,53,
 -5199688399509080,-9007199083780399,.118620582309218099807,-49,53,
 -5199688399506795,-9007199083780399,.120008431972216360972,-49,53,
 -5199688399339881,-9007199083780399,.221387661171041936356,-49,53,
 -5199688398897737,-9007199083780399,.489934445523349414374,-49,53,
 -5199688398881335,-9007199083780399,.499896594417226433858,-49,53,
 -5199688398881166,-9007199083780399,.499999240628853965552,-49,53,
 -5199688398881165,-9007199083780399,.499999848002887264740,-49,53,
 -4541347061000677,-9007197481913029,.499997316230593850544,-49,53,
 -4541347061000672,-9007197481913028,-.499971192021724874195,-49,53,
 -4541347061000273,-9007197481913028,-.497458150556757304936,-49,53,
 -4541347060988923,-9007197481913028,-.425971883318719213963,-49,53,
 -4541347060984325,-9007197481913028,-.397012072149572886200,-49,53,
 -4541347060984261,-9007197481913028,-.396608977779229103271,-49,53,
 -4541347060984260,-9007197481913028,-.396602679429692480936,-49,53,
 -8923654176309387,-9007196903160494,-.499999750429273650928,-50,53,
 -8923654176309335,-9007196903160494,-.499782533660421904300,-50,53,
 -8923654176304449,-9007196903160494,-.479372511879377889103,-50,53,
 -8923654176231826,-9007196903160494,-.176008407927924883725,-50,53,
 -8923654176218451,-9007196903160494,-.120137748623563983089,-50,53,
 -8923654176218294,-9007196903160494,-.119481921071347901828,-50,53,
 -8923654176218292,-9007196903160494,-.119473566580236867766,-50,53,
 -8645093442134567,-9007195397659389,-.499998843769261790033,-50,53,
 -8645093442134561,-9007195397659389,-.499957734458355394485,-50,53,
 -8645093442133954,-9007195397659389,-.495798842504989447215,-50,53,
 -8645093442114549,-9007195397659389,-.362844479479452964740,-50,53,
 -8645093442105289,-9007195397659389,-.299399109644471638709,-50,53,
 -8645093442105153,-9007195397659389,-.298467298597211436924,-50,53,
 -8645093442105152,-9007195397659389,-.298460447045393346371,-50,53,
 -8369410151356167,-9007192960578597,-.499994696140536740508,-50,53,
 -8369410151356166,-9007192960578597,-.499983515466025461115,-50,53,
 -8369410151356053,-9007192960578597,-.498720099246250761787,-50,53,
 -8369410151349775,-9007192960578597,-.428527824664033190114,-50,53,
 -8369410151341962,-9007192960578597,-.341173214705809322874,-50,53,
 -8369410151341786,-9007192960578597,-.339205415991774190132,-50,53,
 -8369410151341784,-9007192960578597,-.339183054642751060088,-50,53,
 -6617561264092548,-9007057864483196,.499998075335179041617,-50,53,
 -6617561264036806,-9007057864483181,-.499976089780585726753,-50,53,
 -6617561264036805,-9007057864483181,-.499724932200384489592,-50,53,
 -6617561264036689,-9007057864483181,-.470590652897037951385,-50,53,
 -6617561264036000,-9007057864483181,-.297543080138243840728,-50,53,
 -6617561264035950,-9007057864483181,-.284985201128163456762,-50,53,
 -6617561264028843,-9007057864483180,.499991721376008692211,-50,53,
 -6447800037067496,-9007008101081007,-.499852015516510879147,-50,53,
 -6447800037067466,-9007008101081007,-.489665410270657241627,-50,53,
 -6447800037067151,-9007008101081007,-.382706055189161273707,-50,53,
 -6447800037067111,-9007008101081007,-.369123914861347979505,-50,53,
 -6447800037061606,-9007008101081005,-.499881852236837637782,-50,53,
 -6447800037038046,-9007008101080998,.499998801091102600815,-50,53,
 -4970868887810965,-9004564622973500,-.499945588410390327299,-50,53,
 -4970868887810767,-9004564622973500,.426568027394402745079,-50,53,
 -4970868887810752,-9004564622973500,.496758452834173070898,-50,53,
 -4970868887810751,-9004564622973499,-.498562185469842174236,-50,53,
 -4970868887795792,-9004564622973429,-.499990574304084720255,-50,53,
 -4970868887771216,-9004564622973314,-.499997528218230036275,-50,53,
 -7898514054212838,-8991036019056069,.499984645942424310602,-51,53,
 -7898514054211095,-8991036019056044,.499757823977391349415,-51,53,
 -7898514054210609,-8991036019056037,.470434682575784504425,-51,53,
 -7898514054210607,-8991036019056037,.499120595574138006886,-51,53,
 -7898514054209840,-8991036019056025,-.499831769553543632444,-51,53,
 -7898514054190876,-8991036019055754,.499995283306163004657,-51,53,
 -7479486802602241,-8983757806293395,.499997771978104304086,-51,53,
 -7479486802553571,-8983757806292383,.499986038750878794094,-51,53,
 -7479486802545347,-8983757806292211,-.497591448085505752090,-51,53,
 -7479486802545343,-8983757806292211,-.414419063594364299589,-51,53,
 -7479486802545299,-8983757806292210,-.499522834191788870649,-51,53,
 -7479486802544770,-8983757806292199,-.499974985235306223341,-51,53,
 -7007318155555217,-8971568896722918,-.493159029625372351952,-51,53,
 -7007318155555216,-8971568896722918,-.461575506835000126582,-51,53,
 -7007318155555154,-8971568896722917,.496602906168132414835,-51,53,
 -7007318155555059,-8971568896722914,.497037571253785806765,-51,53,
 -7007318155554489,-8971568896722896,.499645561773001645488,-51,53,
 -7007318155554394,-8971568896722892,-.499919773139579800202,-51,53,
 -7007318155549803,-8971568896722747,-.499966642140727363244,-51,53,
 -7007318155545212,-8971568896722603,.499986489447041947296,-51,53,
 -7007318155503798,-8971568896721295,.499999365459944594203,-51,53,
 -6668307947066446,-8959083729348889,-.499988732086871514477,-51,53,
 -6668307947059853,-8959083729348608,-.499551940578712427758,-51,53,
 -6668307947059759,-8959083729348604,-.493175320151018248835,-51,53,
 -6668307947059712,-8959083729348602,-.489987009937046396624,-51,53,
 -6668307947059548,-8959083729348596,.499861561874060046819,-51,53,
 -6668307947039159,-8959083729347727,.499998951816111207237,-51,53,
 -5732469775420448,-8897104604135401,.499993393912230160341,-51,53,
 -5732469775359678,-8897104604129495,.498660445778318663273,-51,53,
 -5732469775359616,-8897104604129488,-.475801996759333781863,-51,53,
 -5732469775359606,-8897104604129488,.496058899605591679918,-51,53,
 -5732469775358968,-8897104604129425,-.499215912294538866011,-51,53,
 -5732469775357795,-8897104604129311,-.499932768565814854040,-51,53,
 -5732469775349337,-8897104604128489,-.499986618752454083835,-51,53,
 -8871213671077806,-6802059997321753,-.499823668317865159367,-53,53,
 -8871213671077792,-6802059997321747,-.483986984688380132081,-53,53,
 -8871213671077771,-6802059997321738,-.460231959244126111259,-53,53,
 -8871213671077301,-6802059997321537,.499999562611777845074,-53,53,
 -8108579655032938,-6452860156901222,.499999265980760838032,-53,53,
 -8108579655010707,-6452860156890400,-.455880711694754626913,-53,53,
 -8108579655010703,-6452860156890399,.491138157459392593061,-53,53,
 -8108579655010666,-6452860156890380,-.498937302864686891039,-53,53,
 -8108579655010364,-6452860156890233,-.499012681722128812615,-53,53,
 -8108579655007042,-6452860156888616,-.499841848687898969012,-53,53,
 -8108579655006438,-6452860156888322,-.499992606226233198172,-53,53,
 -7881394195573244,-6340265883086220,.499998105036027550288,-53,53,
 -7881394195507955,-6340265883053281,.415621260145385049681,-53,53,
 -7881394195507937,-6340265883053272,.496790847975156867631,-53,53,
 -7881394195507826,-6340265883053216,.497336639592647638051,-53,53,
 -7881394195507271,-6340265883052935,-.499934402305324991115,-53,53,
 -7881394195503612,-6340265883051089,-.499960964408532652629,-53,53,
 -7881394195499953,-6340265883049243,-.499987525456012348595,-53,53,
 -7552125243412388,-6169836976794280,-.499990372407052760489,-53,53,
 -7552125243332198,-6169836976751716,-.499982844090967423354,-53,53,
 -7552125243331987,-6169836976751605,.496575350738666776105,-53,53,
 -7552125243331955,-6169836976751588,.481835361329256939289,-53,53,
 -7552125243331857,-6169836976751536,.499194143763453577654,-53,53,
 -7109328173647917,-5926817210715434,.499865426196843937021,-53,53,
 -7109328173647820,-5926817210715378,-.498777791743058516861,-53,53,
 -7109328173647723,-5926817210715323,-.497421009682181468937,-53,53,
 -7109328173647709,-5926817210715316,.440919144429762064274,-53,53,
 -7109328173647171,-5926817210715011,.499990781029608108653,-53,53,
 -7109328173599263,-5926817210687846,.499998249337043917534,-53,53,
 -7006352135983595,-5867987294157613,.499777555924540561656,-53,53,
 -7006352135983079,-5867987294157316,.497570871023089939653,-53,53,
 -7006352135983020,-5867987294157282,.456620881859413912989,-53,53,
 -7006352135983013,-5867987294157278,.485660713653573278777,-53,53,
 -7006352135982252,-5867987294156840,.499848141585800992678,-53,53,
 -7006352135979566,-5867987294155294,.499989313358844287971,-53,53,
 -7006352135951019,-5867987294138862,-.499999469104056975634,-53,53,
 -6828286958455073,-5764173538877589,.499994912074932309125,-53,53,
 -6828286958433434,-5764173538864811,-.499916329161960927931,-53,53,
 -6828286958433036,-5764173538864576,-.496171454909467172552,-53,53,
 -6828286958433014,-5764173538864564,.493985296934023130742,-53,53,
 -6828286958432997,-5764173538864553,-.468166303914161093667,-53,53,
 -6828286958432826,-5764173538864452,-.499220641856312571131,-53,53,
 -6828286958432113,-5764173538864032,.499950452013673068251,-53,53,
 -6828286958417687,-5764173538855513,-.499990352052316232031,-53,53,
 -6595469068473402,-5624422941531691,.499998945941930000272,-53,53,
 -6595469068453421,-5624422941519501,.492516108327675602863,-53,53,
 -6595469068453403,-5624422941519490,.473941728127843754786,-53,53,
 -6595469068453380,-5624422941519475,-.494236646571901500641,-53,53,
 -6595469068453321,-5624422941519439,-.499563781671043404285,-53,53,
 -6595469068452190,-5624422941518749,-.499987337497670289941,-53,53,
 -6056160701831282,-5283046495579544,.499988437520534209228,-53,53,
 -6056160701828663,-5283046495577826,.499920309347698039073,-53,53,
 -6056160701828451,-5283046495577686,-.433265808676547016554,-53,53,
 -6056160701828445,-5283046495577682,-.497412585601705626481,-53,53,
 -6056160701828320,-5283046495577601,.499529561791522811039,-53,53,
 -6056160701787788,-5283046495551012,-.499997422677376281402,-53,53,
 -5817642592577862,-5124153672467432,.499991286926821682304,-53,53,
 -5817642592575248,-5124153672465663,-.499952590620853269919,-53,53,
 -5817642592568713,-5124153672461243,-.499812281935937010385,-53,53,
 -5817642592568197,-5124153672460894,-.499036092142958212457,-53,53,
 -5817642592568129,-5124153672460849,.493314258451611412433,-53,53,
 -5817642592568067,-5124153672460807,.427516048699945678267,-53,53,
 -5817642592568061,-5124153672460803,.485664609046576101016,-53,53,
 -5817642592567922,-5124153672460709,.499439590411041892598,-53,53,
 -5817642592541782,-5124153672443028,-.499999136595526144539,-53,53,
 -5587044502294022,-4965916700933052,-.499984968067312646551,-53,53,
 -5587044502247253,-4965916700900499,-.499644200422194645781,-53,53,
 -5587044502247026,-4965916700900341,-.499022477154384109908,-53,53,
 -5587044502246980,-4965916700900309,-.481275343804424924400,-53,53,
 -5587044502245789,-4965916700899481,.499960217558372713427,-53,53,
 -5587044502240943,-4965916700896107,-.499983080637614134608,-53,53,
 -5574097035227097,-4956897630604025,-.499962628993808461249,-53,53,
 -5574097035223914,-4956897630601806,-.499883412077477930717,-53,53,
 -5574097035223739,-4956897630601685,.499806774237328849098,-53,53,
 -5574097035223564,-4956897630601563,.499496960554744527405,-53,53,
 -5574097035223541,-4956897630601546,-.466258043529058294896,-53,53,
 -5574097035223531,-4956897630601539,-.494847175739393291963,-53,53,
 -5574097035204466,-4956897630588249,.499972280746971435253,-53,53,
 -5574097035152838,-4956897630552256,-.499999297365646470304,-53,53,
 -5292230209322117,-4757019702034966,.499999025388947924460,-53,53,
 -5292230209317234,-4757019702031444,-.499927546930883379292,-53,53,
 -5292230209316750,-4757019702031096,.499465354878145915408,-53,53,
 -5292230209316560,-4757019702030958,-.496640737381490194507,-53,53,
 -5292230209316517,-4757019702030927,-.490496326681931605789,-53,53,
 -5292230209316510,-4757019702030922,-.442984445870360758472,-53,53,
 -5292230209316413,-4757019702030852,-.498891240338166782402,-53,53,
 -5268565944195876,-4739932366203637,-.499982648223088346011,-53,53,
 -5268565944195746,-4739932366203544,.499553085217077409720,-53,53,
 -5268565944194056,-4739932366202322,.493517620069169299396,-53,53,
 -5268565944193861,-4739932366202181,.492821220259938864510,-53,53,
 -5268565944191568,-4739932366200522,-.499983111614774217043,-53,53,
 -5268565944109716,-4739932366141337,-.499991618129748746523,-53,53,
 -4510984822819105,-8336374367100174,.499995112848701513438,-53,54,
 -4510984822793611,-8336374367060104,-.499967743609179746825,-53,54,
 -4510984822793604,-8336374367060093,-.498045712528444165782,-53,54,
 -4510984822793527,-8336374367059972,-.476903370639830488521,-53,54,
 -4510984822793520,-8336374367059961,-.474981339558999946426,-53,54,
 -4510984822784246,-8336374367045385,-.499993297805549031214,-53,54,
 -8854767244013901,-8204415098718608,.499923092266514588193,-54,54,
 -8854767244013443,-8204415098718244,-.499550034257425112907,-54,54,
 -8854767244013120,-8204415098717988,-.496995055796546134711,-54,54,
 -8854767244013115,-8204415098717985,.465892792167277423526,-54,54,
 -8854767244012985,-8204415098717881,-.499023160772958399075,-54,54,
 -8854767244011934,-8204415098717048,-.499997518749531866657,-54,54,
 -8677896347105351,-8063606073864494,.499996572117585176603,-54,54,
 -8677896347049263,-8063606073819644,.499964053814737762788,-54,54,
 -8677896347030567,-8063606073804694,.499953242160929490558,-54,54,
 -8677896347028915,-8063606073803373,.499096489467039978947,-54,54,
 -8677896347028860,-8063606073803329,.479092178695198431613,-54,54,
 -8677896347028855,-8063606073803325,.477273604988673342641,-54,54,
 -8677896347028366,-8063606073802934,.499417096495319385177,-54,54,
 -8677896347027268,-8063606073802055,-.499941689412190066058,-54,54,
 -8644717199290442,-8037052962139975,-.499999872864457110866,-54,54,
 -8644717199270100,-8037052962123683,.499981923613562253644,-54,54,
 -8644717199269261,-8037052962123010,-.499871348708930889150,-54,54,
 -8644717199267613,-8037052962121691,.471811377489809425604,-54,54,
 -8644717199267598,-8037052962121679,.486116742109831616078,-54,54,
 -8644717199267583,-8037052962121666,-.499577893270137267031,-54,54,
 -8607732457472824,-8007402779738183,.499999642125316757970,-54,54,
 -8607732457396779,-8007402779677163,.499972644249005978246,-54,54,
 -8607732457383134,-8007402779666213,-.484317796192525426467,-54,54,
 -8607732457383104,-8007402779666189,-.411729207925937755269,-54,54,
 -8607732457383058,-8007402779666153,.499573294082899226201,-54,54,
 -8607732457381570,-8007402779664959,.499967272153080924644,-54,54,
 -7684108841989111,-7249663942490369,.499999677544555307221,-54,54,
 -7684108841965549,-7249663942470623,.499959048345874660143,-54,54,
 -7684108841900099,-7249663942415773,.499846298530203803777,-54,54,
 -7684108841897481,-7249663942413579,.499841791873822125099,-54,54,
 -7684108841897197,-7249663942413340,-.495575045349255456356,-54,54,
 -7684108841897185,-7249663942413330,-.439043362414952798341,-54,54,
 -7684108841897092,-7249663942413253,.499077180326075618693,-54,54,
 -7492339963687939,-7088267790078721,-.499987218230655250257,-54,54,
 -7492339963682985,-7088267790074535,.497646781334164160899,-54,54,
 -7492339963682927,-7088267790074485,-.482195210591280959356,-54,54,
 -7492339963682830,-7088267790074404,.499793182223338378356,-54,54,
 -7492339963681887,-7088267790073607,.499948382490783691707,-54,54,
 -7492339963655793,-7088267790051552,-.499998798781317544575,-54,54,
 -7298995560631244,-6924171210793571,.499998522096715421368,-54,54,
 -7298995560595370,-6924171210762996,-.499981497565391972777,-54,54,
 -7298995560588757,-6924171210757361,.499966440029048057586,-54,54,
 -7298995560586855,-6924171210755740,.499800249079736236377,-54,54,
 -7298995560586767,-6924171210755665,.498741035200933613906,-54,54,
 -7298995560586591,-6924171210755515,.496622607444173292326,-54,54,
 -7298995560586564,-6924171210755491,-.492338742268411860637,-54,54,
 -7298995560586557,-6924171210755486,.473486092991292612795,-54,54,
 -4924871031127290,-4805737233963799,.499998372395363811950,-54,54,
 -4924871031076986,-4805737233917075,.499968984684662350955,-54,54,
 -4924871031067417,-4805737233908186,-.499957081126831785635,-54,54,
 -4924871031066981,-4805737233907782,.471098644223815324251,-54,54,
 -4924871031066883,-4805737233907691,.496702912766653074953,-54,54,
 -4924871031066869,-4805737233907677,-.499639334584348535808,-54,54,
 -4517699360182108,-8850627604415733,-.499999560686776995758,-54,55,
 -4517699360174883,-8850627604402155,-.499949311427838237290,-54,55,
 -4517699360174825,-8850627604402047,.499912683663543270666,-54,55,
 -4517699360174477,-8850627604401393,.499084654215453145382,-54,55,
 -4517699360174444,-8850627604401330,-.483752486507750430583,-54,55,
 -4517699360174419,-8850627604401284,.498946649308041595665,-54,55,
 -4514338150834304,-8844310567444926,.480508280569531896399,-54,55,
 -4514338150834271,-8844310567444863,-.496645477732611448680,-54,55,
 -4514338150834188,-8844310567444707,-.499789778916543579162,-54,55,
 -4514338150831956,-8844310567440513,.499992386968364341021,-54,55,
 -4514338150776936,-8844310567337104,.499999083678083386649,-54,55,
 -8341071156536190,-8195178109696504,.499994423113529170128,-55,55,
 -8341071156518679,-8195178109679899,.499951054962951331820,-55,55,
 -8341071156515258,-8195178109676654,-.498858170948544918867,-55,55,
 -8341071156515239,-8195178109676636,-.481897450484054952591,-55,55,
 -8341071156515200,-8195178109676599,-.499714919004298848340,-55,55,
 -8341071156514021,-8195178109675481,-.499889159646151908299,-55,55,
 -6979532375142598,-6893514532544608,-.494877816364523340462,-55,55,
 -6979532375142571,-6893514532544582,-.483307165023105415783,-55,55,
 -6979532375142434,-6893514532544450,-.498670897105425440713,-55,55,
 -6979532375142352,-6893514532544372,.499432562524226712310,-55,55,
 -6979532375140795,-6893514532542871,-.499993210104565998281,-55,55,
 -5360050515984907,-5320853020950966,-.499659502614876885284,-55,55,
 -5360050515984586,-5320853020950653,.499212231375571361572,-55,55,
 -5360050515984542,-5320853020950609,-.460443979541561368738,-55,55,
 -5360050515984540,-5320853020950608,.495935283598569330589,-55,55,
 -5360050515983073,-5320853020949172,-.499875203106921858444,-55,55,
 -5360050515982156,-5320853020948275,-.499983053342829372191,-55,55,
 -5360050515944926,-5320853020911857,-.499999693540156198571,-55,55,
 -5003579018617055,-4971657451853968,-.494504779823529559438,-55,55,
 -5003579018616897,-4971657451853814,.496926333044881224817,-55,55,
 -5003579018616372,-4971657451853298,-.499900665334052196471,-55,55,
 -5003579018565956,-4971657451803842,-.499957703822651164756,-55,55,
 -5003579018528144,-4971657451766751,.499999529844861217223,-55,55,
 -5370993780301557,-5368508462277353,.499993063148455368448,-57,57,
 -5370993780295792,-5368508462271595,-.499953571895518113963,-57,57,
 -5370993780293630,-5368508462269437,.499892980586777210438,-57,57,
 -5370993780293177,-5368508462268984,-.128723814845627569419,-57,57,
 -5370993780293003,-5368508462268810,-.370179272693807866922,-57,57,
 -5370993780292911,-5368508462268718,-.497845376843414121166,-57,57,
 -5370993780292909,-5368508462268717,.499379273066377095747,-57,57,
 -5370993780282100,-5368508462257923,.499999710563172454607,-57,57,
 -8242701861718030,-8242701861718030,.000000000000000113446,-105,105,
 -8178102513290524,-8178102513290524,.000000000000000110799,-105,105,
 -8003544517553197,-8003544517553197,.000000000000000103855,-105,105,
 -6848882081658556,-6848882081658556,.000000000000000065079,-105,105,
 -6751453641065261,-6751453641065261,.000000000000000062341,-105,105,
 -6471417749983855,-6471417749983855,.000000000000000054901,-105,105,
 -6031878638313244,-6031878638313244,.000000000000000044457,-105,105,
 -5840746347509200,-5840746347509200,.000000000000000040363,-105,105,
 -5301224375153928,-5301224375153928,.000000000000000030179,-105,105,
 -5286632173730733,-5286632173730733,.000000000000000029931,-105,105,
 -4827510902874277,-4827510902874277,.000000000000000022790,-105,105,
 -4508444030594628,-4508444030594628,.000000000000000018563,-105,105,
 -7501948289004415,-7501948289004415,.000000000000000021382,-106,106,
 -7485075199918261,-7485075199918261,.000000000000000021238,-106,106,
 -5441089836917728,-5441089836917728,.000000000000000008158,-106,106,
 -5137347928742246,-5137347928742246,.000000000000000006867,-106,106,
 -5130840493893794,-5130840493893794,.000000000000000006840,-106,106,
 -5046807759991974,-5046807759991974,.000000000000000006510,-106,106,
 -5010504700961462,-5010504700961462,.000000000000000006370,-106,106,
 -6298970528341482,-6298970528341482,.000000000000000003164,-107,107,
 -6002783559861861,-6002783559861861,.000000000000000002739,-107,107,
 -7922455085967687,-7922455085967687,.000000000000000001574,-108,108,
 -5181586503254410,-5181586503254410,.000000000000000000440,-108,108,
 -5061503531596520,-5061503531596520,.000000000000000000026,-110,110,
 -5034345543218302,-5034345543218302,.000000000000000000025,-110,110,
 -6896051710047123,-6896051710047123,.000000000000000000000,-1068,1068,
 -6217509155552861,-6217509155552861,.000000000000000000000,-1068,1068,
 -6034398320057769,-6034398320057769,.000000000000000000000,-1068,1068,
 -5398632895594236,-5398632895594236,0.000000000000000000000,-1068,1068,
 -5261284638989232,-5261284638989232,0.000000000000000000000,-1068,1068,
 -5219266418975960,-5219266418975960,-.000000000000000000000,-1068,1068,
 -5052271597935299,-5052271597935299,-.000000000000000000000,-1068,1068,
 -7976692745914733,-7976692745914733,-.000000000000000000000,-1069,1069,
 -7354293354938039,-7354293354938039,-.000000000000000000000,-1069,1069,
 -6891377488733120,-6891377488733120,-.000000000000000000000,-1069,1069,
 -6847508842371328,-6847508842371328,0.000000000000000000000,-1069,1069,
 -6630788932012564,-6630788932012564,.000000000000000000000,-1069,1069,
 -6425952934577020,-6425952934577020,0.000000000000000000000,-1069,1069,
 -6420837278871791,-6420837278871791,0.000000000000000000000,-1069,1069,
 -6355183032262548,-6355183032262548,.000000000000000000000,-1069,1069,
 -6204930651051736,-6204930651051736,0.000000000000000000000,-1069,1069,
 -6109396825169490,-6109396825169490,0.000000000000000000000,-1069,1069,
 -5884607207372416,-5884607207372416,0.000000000000000000000,-1069,1069,
 -5268933022016027,-5268933022016027,0.000000000000000000000,-1069,1069,
 -4786306299172741,-4786306299172741,0.000000000000000000000,-1069,1069,
 -8343609983793614,-8343609983793614,.000000000000000000000,-1070,1070,
 -6237387643206232,-6237387643206232,.000000000000000000000,-1070,1070,
 -4968285968364176,-4968285968364176,.000000000000000000000,-1070,1070,
 -8406213644011764,-8406213644011764,-.000000000000000000000,-1071,1071,
 -8168137436225278,-8168137436225278,-.000000000000000000000,-1071,1071,
 -6336940456063196,-6336940456063196,0.000000000000000000000,-1071,1071,
 -5445154163543924,-5445154163543924,-.000000000000000000000,-1072,1072,
 -7300202004670578,-7300202004670578,-.000000000000000000000,-1073,1073,
 -4503599627370496,-4503599627370496,0.000000000000000000000,-1074,1074,
 0,0,0.000000000000000000000,0,0,
 4503599627370496,4503599627370496,0.000000000000000000000,-1074,1074,
 6082837141915798,6082837141915798,.000000000000000000000,-1073,1073,
 4811097776325985,4811097776325985,0.000000000000000000000,-1071,1071,
 8890538223914569,8890538223914569,.000000000000000000000,-1071,1071,
 8990265607552088,8990265607552088,.000000000000000000000,-1071,1071,
 7237408635947624,7237408635947624,-.000000000000000000000,-1070,1070,
 7615381814031983,7615381814031983,-.000000000000000000000,-1070,1070,
 4867019366964012,4867019366964012,0.000000000000000000000,-1069,1069,
 5078329750482862,5078329750482862,0.000000000000000000000,-1069,1069,
 5165239211226191,5165239211226191,0.000000000000000000000,-1069,1069,
 5465296155404118,5465296155404118,0.000000000000000000000,-1069,1069,
 5845553376260745,5845553376260745,0.000000000000000000000,-1069,1069,
 6085414014365337,6085414014365337,.000000000000000000000,-1069,1069,
 6252790986945004,6252790986945004,0.000000000000000000000,-1069,1069,
 6264381867528970,6264381867528970,0.000000000000000000000,-1069,1069,
 6347940196974823,6347940196974823,.000000000000000000000,-1069,1069,
 7854044176568971,7854044176568971,.000000000000000000000,-1069,1069,
 8748563481336862,8748563481336862,.000000000000000000000,-1069,1069,
 5213499029072781,5213499029072781,-.000000000000000000000,-1068,1068,
 5509102256618710,5509102256618710,-.000000000000000000000,-1068,1068,
 5623705823584869,5623705823584869,-.000000000000000000000,-1068,1068,
 5780494528040238,5780494528040238,-.000000000000000000000,-1068,1068,
 6034049101091039,6034049101091039,0.000000000000000000000,-1068,1068,
 5835457316503937,5835457316503937,-.000000000000000000010,-111,111,
 5746215254501618,5746215254501618,-.000000000000000000150,-109,109,
 6842111560931391,6842111560931391,-.000000000000000000253,-109,109,
 5635416615605139,5635416615605139,-.000000000000000000566,-108,108,
 6916394610526624,6916394610526624,-.000000000000000001047,-108,108,
 7664074856376563,7664074856376563,-.000000000000000001425,-108,108,
 5804122653802498,5804122653802498,-.000000000000000002476,-107,107,
 6847582036561322,6847582036561322,-.000000000000000004065,-107,107,
 7706116167865089,7706116167865089,-.000000000000000005794,-107,107,
 4994576600383679,4994576600383679,-.000000000000000006310,-106,106,
 7423882302191304,7423882302191304,-.000000000000000020721,-106,106,
 7984456451885351,7984456451885351,-.000000000000000025778,-106,106,
 4747578892790121,4747578892790121,-.000000000000000021677,-105,105,
 5184012179843949,5184012179843949,-.000000000000000028221,-105,105,
 5359027492704717,5359027492704717,-.000000000000000031177,-105,105,
 5488415439823270,5488415439823270,-.000000000000000033490,-105,105,
 5668948148616327,5668948148616327,-.000000000000000036905,-105,105,
 5708579506482334,5708579506482334,-.000000000000000037685,-105,105,
 6353877460235262,6353877460235262,-.000000000000000051963,-105,105,
 6402079148376316,6402079148376316,-.000000000000000053155,-105,105,
 6710148704144607,6710148704144607,-.000000000000000061203,-105,105,
 6728987427118364,6728987427118364,-.000000000000000061720,-105,105,
 8108726220156984,8108726220156984,-.000000000000000108003,-105,105,
 8201755169934774,8201755169934774,-.000000000000000111764,-105,105,
 8488875008858692,8488875008858692,-.000000000000000123917,-105,105,
 6940259249760663,6934899017217088,-.499997498204376858302,-57,57,
 6940259249802553,6934899017258881,-.499864230442570993443,-57,57,
 6940259249803417,6934899017259742,.499470100969000189966,-57,57,
 6940259249803849,6934899017260173,.499137266674599271478,-57,57,
 6940259249803856,6934899017260180,.482928169822605640294,-57,57,
 6940259249803893,6934899017260217,.397251515033495904556,-57,57,
 6940259249808599,6934899017264913,-.499892740042869916778,-57,57,
 6940259249829760,6934899017286025,-.499992523835708227748,-57,57,
 6175493946593115,6160418842724578,-.499997686483600084063,-56,56,
 6175493946634160,6160418842765323,-.499978368210643775180,-56,56,
 6175493946642369,6160418842773472,-.499974505032260363449,-56,56,
 6175493946645379,6160418842776459,.499783276407676255634,-56,56,
 6175493946646063,6160418842777139,-.499607314125227664685,-56,56,
 6175493946646200,6160418842777274,.499052757653868170324,-56,56,
 6175493946646313,6160418842777387,-.326869956864137150504,-56,56,
 6175493946646336,6160418842777410,-.494978119996124218491,-56,56,
 6175493946646337,6160418842777410,.497712829432919793765,-56,56,
 6823990675692619,6803663390511507,-.499993360203221482101,-56,56,
 6823990675707201,6803663390525959,-.499952936972200919077,-56,56,
 6823990675709220,6803663390527960,-.499535873889721764157,-56,56,
 6823990675709442,6803663390528180,-.478687638127955578537,-56,56,
 6823990675709444,6803663390528182,-.496517834202174482987,-56,56,
 7740553500862022,7710916421859231,-.498653887814618764314,-56,56,
 7740553500862110,7710916421859317,.493637083933174947934,-56,56,
 7740553500862119,7710916421859326,.390575933316470750522,-56,56,
 7740553500862808,7710916421860008,-.499327708340812163812,-56,56,
 7740553500863594,7710916421860784,.499998471131180510274,-56,56,
 8359220028906295,8321922069506516,.499996884249334097663,-56,56,
 8359220028906670,8321922069506886,.498280725356236948654,-56,56,
 8359220028906734,8321922069506950,-.355345499094896061521,-56,56,
 8359220028906745,8321922069506960,.497937493577564147728,-56,56,
 8513798801090168,8474401073376306,.499997353701014809275,-56,56,
 8513798801091614,8474401073377733,-.499855810732867216203,-56,56,
 8513798801093060,8474401073379159,-.499708975173480052106,-56,56,
 8513798801093277,8474401073379372,.498929934449996522744,-56,56,
 8513798801093422,8474401073379515,.493412155166059979904,-56,56,
 8513798801093431,8474401073379524,.368931741279468584358,-56,56,
 8513798801093494,8474401073379586,.497568844073321514684,-56,56,
 4527278262234861,9007199254740972,-.499453307338387028630,-55,56,
 4527278262234862,9007199254740973,.469296692661613106783,-55,56,
 4527278262234871,9007199254740991,.188046692661613710757,-55,56,
 4527278262234872,4503599627370497,-.421601653669193145219,-55,55,
 6216155809139739,6155201417944415,.499999954166488646090,-55,55,
 6216155809169273,6155201417973087,.499960850070650440951,-55,55,
 6216155809171363,6155201417975116,.499754926845003790048,-55,55,
 6216155809171843,6155201417975582,.490138255476497100121,-55,55,
 6216155809171877,6155201417975615,.497790407921147427279,-55,55,
 6216155809172014,6155201417975748,.499212316300954137039,-55,55,
 6216155809172802,6155201417976514,-.499908385868184583734,-55,55,
 6216155809178421,6155201417981969,-.499983545283137670432,-55,55,
 7082784227659697,6992931704986410,.499922943114752821154,-55,55,
 7082784227659962,6992931704986666,-.483165634580558456149,-55,55,
 7082784227659963,6992931704986666,.479162333050778612860,-55,55,
 7082784227659989,6992931704986691,.499689491465538767787,-55,55,
 7082784227663838,6992931704990396,-.499963095595943269057,-55,55,
 7082784227680986,6992931705006898,-.499974155641377398144,-55,55,
 7082784227723856,6992931705048152,.499998180906203086321,-55,55,
 4601108177687631,9007199254740987,.025727626502669851415,-54,55,
 4601108177687633,9007199254740991,-.224272373497329976541,-54,55,
 4601108177687634,4503599627370496,.325363813251335015709,-54,54,
 4601108177687647,4503599627370509,-.487136186748667300451,-54,54,
 5299073463123883,5151343802724675,.499995341200645148999,-54,54,
 5299073463175209,5151343802771805,-.499911551307394814328,-54,54,
 5299073463177557,5151343802773961,-.499205894873841060890,-54,54,
 5299073463177655,5151343802774050,.487194937461033094806,-54,54,
 5299073463177667,5151343802774062,-.494062103477572983302,-54,54,
 5299073463177716,5151343802774106,.499138312689741964084,-54,54,
 5299073463180651,5151343802776802,-.499979617007926147186,-54,54,
 5354986034411295,5202638632464610,-.499996094879444665318,-54,54,
 5354986034456710,5202638632506237,-.475046148279661820059,-54,54,
 5354986034456830,5202638632506347,-.484008077379179797598,-54,54,
 5354986034457034,5202638632506534,-.499243356849331619099,-54,54,
 5354986034457046,5202638632506544,.499860450240621361609,-54,54,
 5354986034459276,5202638632508588,.499984601050081864063,-54,54,
 6318840445921079,6071839357569401,-.499959402073117536564,-54,54,
 6318840445926237,6071839357573973,-.479363723079650713260,-54,54,
 6318840445926246,6071839357573980,.498182876592114148040,-54,54,
 6318840445926290,6071839357574019,.499521808320703683327,-54,54,
 6318840445927047,6071839357574690,.499830247368426485559,-54,54,
 6318840445940497,6071839357586613,-.499973579853656192735,-54,54,
 6318840445979333,6071839357621036,.499998027064834899085,-54,54,
 6779876501329835,6476916302463697,-.499999271897440061019,-54,54,
 6779876501388503,6476916302514781,-.499949850979769279309,-54,54,
 6779876501427615,6476916302548837,-.499916970163171760118,-54,54,
 6779876501427623,6476916302548843,.465924721973098728732,-54,54,
 7852441927989376,7390201940580111,.499993034323868169285,-54,54,
 7852441928000630,7390201940589471,.499922655169212401286,-54,54,
 7852441928002062,7390201940590663,-.499553156704049542986,-54,54,
 7852441928002163,7390201940590747,-.497421213270668889935,-54,54,
 7852441928002175,7390201940590756,.483030106741192237349,-54,54,
 7852441928002199,7390201940590776,.443932746764898127542,-54,54,
 7852441928002983,7390201940591429,-.499914345806040910920,-54,54,
 7852441928044725,7390201940626146,-.499997718835601598359,-54,54,
 8458131931925917,7886918402602330,-.499998786526736828053,-54,54,
 8458131931930894,7886918402606353,-.487762731441196028913,-54,54,
 8458131931930899,7886918402606357,-.446159118768302282221,-54,54,
 8458131931930941,7886918402606391,-.496688772316033589196,-54,54,
 8458131931931061,7886918402606488,-.498202068167076364624,-54,54,
 8458131931931181,7886918402606585,-.499715364018684915394,-54,54,
 8458131931931854,7886918402607129,-.499869098263607179192,-54,54,
 8458131931932527,7886918402607672,.499977167473674997269,-54,54,
 8717776617210566,8095464163370102,-.499999669529453987322,-54,54,
 8717776617239078,8095464163392856,-.499990739219742634817,-54,54,
 8717776617239796,8095464163393428,.499869193441929278718,-54,54,
 8717776617241207,8095464163394555,-.451659546192222072734,-54,54,
 8717776617241227,8095464163394571,-.490660662275487116562,-54,54,
 8717776617241232,8095464163394574,.499589058703694133955,-54,54,
 4947709893870346,9007199254740991,.112802362709798491615,-53,54,
 4947709893870347,4503599627370496,.306401181354899253423,-53,53,
 4947709893870350,4503599627370499,-.443598818645101223329,-53,53,
 4947709893870538,4503599627370640,-.443598818646626070624,-53,53,
 6059040276252670,5284935071759052,-.499991276457469332581,-53,53,
 6059040276403075,5284935071857677,-.499967302923229484257,-53,53,
 6059040276408591,5284935071861294,-.495877500639670697994,-53,53,
 6059040276408594,5284935071861295,.471311090622647928418,-53,53,
 6059040276408774,5284935071861414,-.497373433639641533345,-53,53,
 6059040276409079,5284935071861614,-.499866655312617357970,-53,53,
 6179968525068699,5363606832721363,-.499999755776103293747,-53,53,
 6179968525077619,5363606832727120,-.499947229113430700321,-53,53,
 6179968525077667,5363606832727150,.479425250832306055121,-53,53,
 6230674196510670,5396222774560992,.499998698071075050925,-53,53,
 6230674196559246,5396222774592134,-.499955359170177716634,-53,53,
 6230674196594574,5396222774614782,-.499922072647675901651,-53,53,
 6230674196597023,5396222774616351,.499853781613186143196,-53,53,
 6230674196597101,5396222774616402,-.496070058071679439578,-53,53,
 6230674196597140,5396222774616427,-.494031977914306799050,-53,53,
 7302452754221086,6034783754390032,.499999555533054683032,-53,53,
 7302452754231349,6034783754395688,.499984988383268143919,-53,53,
 7302452754241612,6034783754401344,.499970412597814420774,-53,53,
 7302452754244782,6034783754403092,-.494285284874189725968,-53,53,
 7302452754244831,6034783754403119,-.490095546450412236089,-53,53,
 7302452754244958,6034783754403189,-.499644591761129727237,-53,53,
 7302452754245907,6034783754403711,.499866872764956286237,-53,53,
 7511273082099998,6148085656394814,-.499982967742003999646,-53,53,
 7511273082102462,6148085656396130,-.497588471544878896015,-53,53,
 7511273082104838,6148085656397399,-.495279493534524446539,-53,53,
 7511273082104881,6148085656397421,.470671384430308177277,-53,53,
 7511273082104896,6148085656397429,.482049597673819229002,-53,53,
 7511273082111687,6148085656401057,-.499987328417968129949,-53,53,
 7511273082146754,6148085656419785,.499999523193233199839,-53,53,
 7913137471604986,6356240968886877,.499420965442230167431,-53,53,
 7913137471604994,6356240968886882,-.484504026121102249572,-53,53,
 7913137471605028,6356240968886899,-.416185240265321186198,-53,53,
 7913137471605235,6356240968887002,.499755603031148487000,-53,53,
 7913137471605484,6356240968887128,-.499909759384810289733,-53,53,
 7913137471650274,6356240968909613,-.499956355235893593800,-53,53,
 7913137471692078,6356240968930599,-.499999987073394562382,-53,53,
 8575032706797175,6671597589303341,-.491908165648325979993,-53,53,
 8575032706797206,6671597589303355,-.499461424422883236503,-53,53,
 8575032706798666,6671597589304013,.499643162242974743008,-53,53,
 8575032706808197,6671597589308315,.499962210075439227486,-53,53,
 8575032706809256,6671597589308793,.499997659418332831129,-53,53,
 8668443273568215,6713437354431150,.499999323829397454448,-53,53,
 8668443273592984,6713437354442159,.487950499163132533263,-53,53,
 8668443273593011,6713437354442171,.488542960753189114948,-53,53,
 8668443273593443,6713437354442363,.498022346186801513557,-53,53,
 8668443273593533,6713437354442403,.499997218150409534982,-53,53,
 9007199254740740,6859830313939755,-.499455134494885113547,-53,53,
 9007199254740790,6859830313939775,.499261946207224444162,-53,53,
 9007199254740940,6859830313939838,.495413188312487802774,-53,53,
 9007199254740990,6859830313939859,.494130269013887150805,-53,53,
 9007199254740991,6859830313939860,-.085895389372086673269,-53,53,
 4503599627370497,6859830313939861,.174027635469991428383,-52,53,
 4503599627373494,6859830313942379,-.499768731334421964721,-52,53,
 4503599627375837,6859830313944346,.499996069216484533612,-52,53,
 4806946911212321,7101845576162243,-.499951494981747691668,-52,53,
 4806946911213862,7101845576163408,.499878051990735430453,-52,53,
 4806946911214314,7101845576163751,-.493682652066585092767,-52,53,
 4806946911214326,7101845576163760,-.413865679608667478365,-52,53,
 4806946911214351,7101845576163779,-.497580320321461649775,-52,53,
 4806946911214388,7101845576163806,.498522011423299090363,-52,53,
 4806946911235925,7101845576180103,-.499966731562268795241,-52,53,
 4806946911283133,7101845576215823,-.499997647556324647024,-52,53,
 6559144747894747,8079057642313095,.499999462515230257567,-52,53,
 6559144747897154,8079057642314036,.495878955810909690610,-52,53,
 6559144747897159,8079057642314038,.450585809763638481927,-52,53,
 6559144747897264,8079057642314079,.499429742770043799195,-52,53,
 9007199254708414,8683188500804056,.499994117090708488393,-52,53,
 9007199254740650,8683188500808611,.499974082408134122221,-52,53,
 9007199254740926,8683188500808650,.499229401358325192936,-52,53,
 9007199254740990,8683188500808660,-.457465017436491565914,-52,53,
 9007199254740991,8683188500808660,-.316163367730162543801,-52,53,
 4503599627370497,8683188500808660,.107741581388824159576,-51,53,
 4503599627370509,8683188500808663,.498981174340698186785,-51,53,
 4503599627398520,8683188500816580,-.499999072715978407673,-51,53,
 5971758238302426,8918079553435676,.499564111449497776825,-51,53,
 5971758238302667,8918079553435695,.481352833024903615130,-51,53,
 5971758238302680,8918079553435697,-.494733252533383867290,-51,53,
 5971758238302718,8918079553435699,.498245881988477914312,-51,53,
 5971758238303848,8918079553435788,.499993829566554372177,-51,53,
 6755764563663872,8962670842761872,.499971683589107290152,-51,53,
 6755764563664455,8962670842761896,-.499852783909433209059,-51,53,
 6755764563665621,8962670842761942,-.499501718942066601761,-51,53,
 6755764563665976,8962670842761956,-.494249036221278149951,-51,53,
 6755764563666001,8962670842761956,.492036363970161053910,-51,53,
 6755764563666204,8962670842761965,-.499326186476159495253,-51,53,
 6755764563681007,8962670842762548,.499984970947449496905,-51,53,
 6755764563698142,8962670842763224,.499998248068650186974,-51,53,
 7590510859870801,8985956438370575,-.499999392394828181834,-51,53,
 7590510859888206,8985956438370903,-.499948278621871193360,-51,53,
 7590510859888631,8985956438370911,-.490754269874251249436,-51,53,
 7590510859888635,8985956438370911,-.415373620380170330125,-51,53,
 7590510859888684,8985956438370912,-.491960664077700751424,-51,53,
 7590510859888949,8985956438370917,-.497992635095651848095,-51,53,
 7590510859894839,8985956438371028,-.499986255382229010703,-51,53,
 5013768605611436,9004757910149709,-.499829499930223483851,-50,53,
 5013768605612589,9004757910149713,.499706995655090322018,-50,53,
 5013768605612754,9004757910149714,.215165384007745455088,-50,53,
 5013768605612816,9004757910149714,.484004293570507135603,-50,53,
 5013768605612820,9004757910149715,-.498651260651251191783,-50,53,
 5013768605616279,9004757910149729,.499958226037115553466,-50,53,
 5013768605624812,9004757910149766,.499997181963409275830,-50,53,
 6034227533522120,9006800750379900,-.499998375182678708077,-50,53,
 6034227533544723,9006800750379915,.499993741988259019276,-50,53,
 6034227533548961,9006800750379918,.499948021993302199975,-50,53,
 6034227533550374,9006800750379920,-.499831261247412445880,-50,53,
 6034227533550385,9006800750379920,-.492044688080860270358,-50,53,
 6034227533550764,9006800750379920,-.223761848978837330885,-50,53,
 6034227533550957,9006800750379920,-.087142883420356795295,-50,53,
 4624379381842348,9007197934801423,.402232309580452622382,-49,53,
 4624379381842394,9007197934801423,.402448020463232349553,-49,53,
 4624379381846106,9007197934801423,.419854950830036741403,-49,53,
 4624379381862290,9007197934801423,.495747666629176245697,-49,53,
 4624379381863187,9007197934801423,.499954028843076553660,-49,53,
 4624379381863197,9007197934801424,-.499999077486757409206,-49,53,
 4983002233347319,9007198885571090,.451176056808423690802,-49,53,
 4983002233347325,9007198885571090,.451183926138016627826,-49,53,
 4983002233347949,9007198885571090,.452002336415681162433,-49,53,
 4983002233370860,9007198885571090,.482051371465021313798,-49,53,
 4983002233384330,9007198885571090,.499718016399264862059,-49,53,
 4983002233384543,9007198885571090,.499997377599777290629,-49,53,
 4983002233384545,9007198885571091,-.499999999290358743908,-49,53,
 5143435678830615,9007199045960612,-.499999944532384441415,-49,53,
 5143435678830630,9007199045960612,-.499988818478808375813,-49,53,
 5143435678832140,9007199045960612,-.498868795752154139281,-49,53,
 5143435678885728,9007199045960612,-.459120598487205219335,-49,53,
 5143435678915582,9007199045960612,-.436976784928723887729,-49,53,
 5143435678916044,9007199045960612,-.436634102478684782580,-49,53,
 5143435678916049,9007199045960612,-.436630393794160552917,-49,53,
 5463533634225769,9007199187782928,.088661491282301627735,-49,53,
 5463533634225779,9007199187782928,.088663870110588423885,-49,53,
 5463533634226747,9007199187782928,.088894140688749891167,-49,53,
 5463533634318379,9007199187782928,.110691820042696990568,-49,53,
 5463533635695253,9007199187782928,.438226500989263905034,-49,53,
 5463533635951883,9007199187782928,.499274370966774991032,-49,53,
 5463533635954903,9007199187782928,.499992777104978041403,-49,53,
 5463533635954933,9007199187782928,.499999913589794589331,-49,53,
 5792340622803941,9007199233921089,-.499999146054928428325,-49,53,
 5792340622805088,9007199233921089,-.499914305727145405136,-49,53,
 5792340622917740,9007199233921089,-.491581757685749488884,-49,53,
 5792340626902238,9007199233921089,-.196859775260147615394,-49,53,
 5792340629109979,9007199233921089,-.033559455610054630560,-49,53,
 5792340629144133,9007199233921089,-.031033181425212309758,-49,53,
 5792340629144477,9007199233921089,-.031007736724166092535,-49,53,
 5792340629144480,9007199233921089,-.031007514822703480312,-49,53,
 6867399964448181,9007199254284173,.261040761913513384763,-49,53,
 6867399964448185,9007199254284173,.261040768405298115130,-49,53,
 6867399964448569,9007199254284173,.261041391616632229919,-49,53,
 6867399964486953,9007199254284173,.261103686782900497303,-49,53,
 6867399968226833,9007199254284173,.267173310711092866706,-49,53,
 6867400071168836,9007199254284173,.434242608714888877706,-49,53,
 6867400111129227,9007199254284173,.499096143550563814624,-49,53,
 6892873243909005,9007199254323700,-.498582778412774491903,-49,53,
 6892873308959224,9007199254323700,-.402144488942815947132,-49,53,
 6892873449492565,9007199254323700,-.193800992509738473273,-49,53,
 6892873453985643,9007199254323700,-.187139915981935724322,-49,53,
 6892873454031561,9007199254323700,-.187071841644134887458,-49,53,
 6892873454032020,9007199254323700,-.187071161167610474156,-49,53,
 6892873454032025,9007199254323700,-.187071153755012169007,-49,53,
 8388978829725556,9007199254738941,-.461840035968978660627,-49,53,
 8388978857257932,9007199254738941,-.461639372959331406630,-49,53,
 8388978857534718,9007199254738941,-.461637355672154863293,-49,53,
 8388978857537486,9007199254738941,-.461637335498262752062,-49,53,
 8388978857537514,9007199254738941,-.461637335294191589089,-49,53,
 8448199139156663,9007199254739330,-.229591089433117779220,-49,53,
 8448199297242156,9007199254739330,-.228657527545428717653,-49,53,
 8448199298828524,9007199254739330,-.228648159372192258508,-49,53,
 8448199298844388,9007199254739330,-.228648065688570425362,-49,53,
 8448199298844546,9007199254739330,-.228648064755513677429,-49,53,
 8448199298844548,9007199254739330,-.228648064743702832518,-49,53,
 4657625120130731,9007199254740916,-.365482948150208668134,-48,53,
 4657625127356760,9007199254740916,-.365479027239109112213,-48,53,
 4657625127429022,9007199254740916,-.365478988029071271284,-48,53,
 4657625127429745,9007199254740916,-.365478987636764701418,-48,53,
 4657625127429752,9007199254740916,-.365478987632966435873,-48,53,
 4700999382674037,9007199254740936,-.111351075301071903152,-48,53,
 4700999398014324,9007199254740936,-.111344959203700829509,-48,53,
 4700999398167729,9007199254740936,-.111344898041881264825,-48,53,
 4700999398169264,9007199254740936,-.111344897429884309184,-48,53,
 4700999398169279,9007199254740936,-.111344897423903882908,-48,53,
 4816071408434479,9007199254740967,.228291675926929662125,-48,53,
 4816071408434484,9007199254740967,.228291675927809729995,-48,53,
 4816071408434957,9007199254740967,.228291676011064150507,-48,53,
 4816071408482303,9007199254740967,.228291684344602824646,-48,53,
 4816071413216900,9007199254740967,.228292517697928040079,-48,53,
 4927804234052044,9007199254740981,-.198644371334294697431,-48,53,
 4927804236425986,9007199254740981,-.198644182436991621807,-48,53,
 4927804236449725,9007199254740981,-.198644180548052027026,-48,53,
 4927804236449963,9007199254740981,-.198644180529114092677,-48,53,
 4927804236449965,9007199254740981,-.198644180528954950371,-48,53,
 5170245041676395,9007199254740990,-.000000010097424493315,-48,53,
 5170245042379833,9007199254740990,-.000000000100969248676,-48,53,
 5170245042386867,9007199254740990,-.000000000001010096607,-48,53,
 5170245042386937,9007199254740990,-.000000000000015336777,-48,53,
 5170245042386938,9007199254740990,-.000000000000001125922,-48,53,
 5170245042386939,9007199254740990,.000000000000013084933,-48,53,
 5198392540058003,9007199254740990,.362538493844028346961,-48,53,
 5198392540058004,9007199254740990,.362538493844039981825,-48,53,
 5198392540058020,9007199254740990,.362538493844226139645,-48,53,
 5198392540059603,9007199254740990,.362538493862644129014,-48,53,
 5198392540217939,9007199254740990,.362538495704861919879,-48,53,
 6803085785792106,4503599627370496,0.000000000000000000000,-45,52,
 6803085785792107,4503599627370496,0.000000000000000000000,-45,52 };
#include "trailer.h"