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

struct input_point { double arg_m, val, eps;
	int arg_e, val_e; } input_points[N] = {
 -6249411755243645,-9007199254740283,.103196517177171991624,-43,-971,
 -5721046972942144,-5700537334419854,.488633430151361302024,-43,-885,
 -5721046972925447,-5700537323598927,-.499993262587769738941,-43,-885,
 -5721046972925000,-5700537323309238,.499549777642449147226,-43,-885,
 -5721046972924579,-5700537323036397,-.478522700109195028439,-43,-885,
 -5721046972924566,-5700537323027972,-.489722295628078899978,-43,-885,
 -5721046972924553,-5700537323019548,.499078096401502879238,-43,-885,
 -5721046972923304,-5700537322210101,.499919233049550397837,-43,-885,
 -5435857074785285,-6660138328011533,.499988305908686520015,-43,-838,
 -5435857074785138,-6660138327900229,.499586499698867517568,-43,-838,
 -5435857074785097,-6660138327869185,.472263215193107128569,-43,-838,
 -5435857074785091,-6660138327864642,.492654917518360661059,-43,-838,
 -5435857074745612,-6660138297972325,.432898752682019111154,-43,-838,
 -5235936078127544,-7703011132717425,-.021130257123692267836,-43,-805,
 -5235936077964368,-7703010989819149,.493230038989191235512,-43,-805,
 -5235936077952827,-7703010979712337,-.499800232388637983583,-43,-805,
 -5235936077952801,-7703010979689568,-.494860588081076550372,-43,-805,
 -5235936077952749,-7703010979644030,-.484981501371774916622,-43,-805,
 -5235936077952734,-7703010979630895,.479406646689007276023,-43,-805,
 -5235936077951816,-7703010978826974,.499918672130069824958,-43,-805,
 -5225924999061917,-4936371603070496,.458340416052601789607,-43,-804,
 -5225924999026132,-4936371582987936,-.499758023350565745101,-43,-804,
 -5225924999025778,-4936371582789272,.468419395215638885728,-43,-804,
 -5225924999025768,-4936371582783660,.473170053633392021195,-43,-804,
 -5225924999025713,-4936371582752794,.499298560886554899661,-43,-804,
 -5225924999024870,-4936371582279702,.499753168346571589856,-43,-804,
 -5225924999014345,-4936371576373067,.495680978753790352389,-43,-804,
 -5225924998993295,-4936371564559797,.466333776981019908368,-43,-804,
 -4971314683742176,-5829729209623624,.499934297002806820308,-43,-762,
 -4971314683741026,-5829729208861445,-.499707763893671754629,-43,-762,
 -4971314683740785,-5829729208701720,.498615487851377866449,-43,-762,
 -4971314683740692,-5829729208640082,-.497883348709443840095,-43,-762,
 -4971314683735035,-5829729204890830,.498806064878813457761,-43,-762,
 -4971314683713612,-5829729190692448,.472367804728957995232,-43,-762,
 -4869231612618775,-6965511757490930,.499932956335965530438,-43,-745,
 -4869231612618421,-6965511757210602,.499634260854882019723,-43,-745,
 -4869231612618085,-6965511756944527,-.466761377580478837717,-43,-745,
 -4869231612618067,-6965511756930274,.499324283534049688957,-43,-745,
 -4869231612612465,-6965511752494123,.498566753095184560226,-43,-745,
 -4869231612580738,-6965511727369924,.437216570061713941935,-43,-745,
 -8534672888137416,-8456907839345218,.499644358190255861918,-44,-646,
 -8534672888136250,-8456907838784698,-.499734927073299245668,-44,-646,
 -8534672888130502,-8456907836021523,.499351477196144463478,-44,-646,
 -7158307767713492,-4618956345038370,.479727690196613904010,-44,-534,
 -7158307767704351,-4618956342638334,.486192513383065557347,-44,-534,
 -7158307767664740,-4618956332238178,.499796133155530736014,-44,-534,
 -7158307767661693,-4618956331438166,.499872620271206537692,-44,-534,
 -7158307767661370,-4618956331353360,.497903455556788530845,-44,-534,
 -7158307767661239,-4618956331318964,-.499799652584513212479,-44,-534,
 -6250969613670285,-6958782866547250,.452851240622714691497,-44,-459,
 -6250969613607375,-6958782841662507,.499932321326358825308,-44,-459,
 -6250969613605867,-6958782841066001,.499714433895651669815,-44,-459,
 -6250969613605826,-6958782841049782,-.498965944153735010881,-44,-459,
 -6250969613605539,-6958782840936256,-.489729648825306896263,-44,-459,
 -6250969613605523,-6958782840929928,.486394968187523441491,-44,-459,
 -6250969613599794,-6958782838663759,.499645621102067057771,-44,-459,
 -5459523783335213,-7434151719843577,-.499591391095298434203,-44,-394,
 -5459523783334868,-7434151719697787,.497436802692919091976,-44,-394,
 -5459523783334674,-7434151719615805,-.478148599300799582633,-44,-394,
 -5459523783334662,-7434151719610734,-.486947726021343999889,-44,-394,
 -5459523783334650,-7434151719605663,-.495746856200918139592,-44,-394,
 -5459523783333167,-7434151718978973,-.499865989236733256088,-44,-394,
 -5459523783332144,-7434151718546672,.499959003620505940753,-44,-394,
 -5459523783316006,-7434151711727034,.495827026187236150671,-44,-394,
 -5459523783307937,-7434151708317215,.491415067269702064510,-44,-394,
 -5030775358099659,-6650615977671784,.493535544800728213787,-44,-359,
 -5030775358077030,-6650615969117031,-.499978497044351894036,-44,-359,
 -5030775358076870,-6650615969056545,.499895611579419945056,-44,-359,
 -5030775358075910,-6650615968693623,.499128710674809762532,-44,-359,
 -5030775358075133,-6650615968399883,.492243498749564351271,-44,-359,
 -5030775358075110,-6650615968391188,.498474498121009757484,-44,-359,
 -7955510253569616,-5197079999041438,.499307211626394206970,-45,-273,
 -7955510253569030,-5197079998954880,.499311412372823090569,-45,-273,
 -7955510253535628,-5197079994021074,.497167833874311902828,-45,-273,
 -7955510253488455,-5197079987053155,.486161956021728411676,-45,-273,
 -7955510253487283,-5197079986880039,.485769583255697595845,-45,-273,
 -7751426433577010,-8052724835052215,.499994874334898042543,-45,-264,
 -7751426433576071,-8052724834837303,-.499151617332687077639,-45,-264,
 -7751426433575578,-8052724834724470,.498099312921261030111,-45,-264,
 -7751426433575562,-8052724834720808,.453385320680740763943,-45,-264,
 -7003193523298569,-5024709179687964,.496680272115105273290,-45,-234,
 -7003193523258104,-5024709173909124,.497741173467663583202,-45,-234,
 -7003193523257993,-5024709173893272,.499217705944284324046,-45,-234,
 -7003193523257919,-5024709173882703,-.499797966854662273165,-45,-234,
 -7003193523255905,-5024709173595083,.499956133683260691720,-45,-234,
 -7003193523247775,-5024709172434031,.499789178112664875582,-45,-234,
 -5975887011649500,-4612370767312408,.492560625462261950644,-45,-192,
 -5975887011586304,-4612370759027951,-.499147458237990535322,-45,-192,
 -5975887011586271,-4612370759023625,-.480918013580890699847,-45,-192,
 -5975887011586260,-4612370759022183,-.474841532930178197480,-45,-192,
 -5975887011585976,-4612370758984953,-.499776188569182041599,-45,-192,
 -5975887011585812,-4612370758963455,.499909295949794966802,-45,-192,
 -5975887011582685,-4612370758553532,.499990795988161628606,-45,-192,
 -4747724051188513,-7190476227191179,.491462149330925953727,-45,-141,
 -4747724051138016,-7190476216871328,.499949075802417797213,-45,-141,
 -4747724051134310,-7190476216113948,-.491238653104580364251,-45,-141,
 -4747724051134291,-7190476216110066,.455649277656138895815,-45,-141,
 -4747724051134269,-7190476216105570,.499414247496321477456,-45,-141,
 -4747724051133949,-7190476216040173,.499631672789483973386,-45,-141,
 -4747724051133309,-7190476215909378,-.499935260970947308971,-45,-141,
 -8424068809083671,-7365300827610203,.499987635546417494092,-46,-119,
 -8424068809081261,-7365300827357954,-.499828913112171405756,-46,-119,
 -8424068809080660,-7365300827295050,.499385614205833352194,-46,-119,
 -8424068809080651,-7365300827294107,-.495634471830749428288,-46,-119,
 -8424068809080468,-7365300827274953,-.394376247372096382131,-46,-119,
 -8424068809080408,-7365300827268673,-.361176840360023988950,-46,-119,
 -8424068809080056,-7365300827231830,-.499740427077654155771,-46,-119,
 -8424068809072225,-7365300826412182,.499952121209178058934,-46,-119,
 -8016516981130201,-5756315058339859,.499968542829346114619,-46,-111,
 -8016516981127512,-5756315058119892,-.499892246276529318209,-46,-111,
 -8016516981127234,-5756315058097152,.499749781043947208397,-46,-111,
 -8016516981127143,-5756315058089708,.496035461117028983267,-46,-111,
 -8016516981127138,-5756315058089298,-.493179611685422918464,-46,-111,
 -8016516981127128,-5756315058088480,-.471609757377512614550,-46,-111,
 -8016516981121856,-5756315057657219,-.499998751845499024132,-46,-111,
 -8016516981054818,-5756315052173367,.496967176001010149099,-46,-111,
 -6891469569620391,-5500270997873606,.499971075875240210987,-46,-88,
 -6891469569613060,-5500270997300589,.499983276118816582180,-46,-88,
 -6891469569612846,-5500270997283861,-.499880857445968225320,-46,-88,
 -6891469569612687,-5500270997271433,-.495107045696365773310,-46,-88,
 -6891469569612681,-5500270997270965,.486205173065108392998,-46,-88,
 -6891469569612632,-5500270997267134,-.499745041879616345663,-46,-88,
 -5216203569105290,-7498687993325713,.499970661049328473930,-48,27,
 -5216203569084809,-7498687992780084,-.499343542191538636196,-48,27,
 -5216203569084745,-7498687992778379,-.495093621944900208387,-48,27,
 -5216203569084731,-7498687992778007,.474586048057374822869,-48,27,
 -5216203569084347,-7498687992767776,-.499914439112750273611,-48,27,
 -5216203569080818,-7498687992673761,-.499946913494335220802,-48,27,
 -5216203569073760,-7498687992485732,.499984601595814006122,-48,27,
 -5544508544477059,-5206157906112364,.499973825086226750072,-49,39,
 -5544508544424086,-5206157905622470,.499625209586812794666,-49,39,
 -5544508544423711,-5206157905619002,.497470537669592263203,-49,39,
 -5544508544423606,-5206157905618030,-.463132770881208476972,-49,39,
 -5544508544423590,-5206157905617882,-.495224703628661116096,-49,39,
 -5544508544423586,-5206157905617846,.496752313183818614613,-49,39,
 -5544508544421344,-5206157905597112,.499870195217508106658,-49,39,
 -5544508544419973,-5206157905584433,.499992641715481637258,-49,39,
 -5067862284381690,-8930234392711664,.456667332461447960776,-49,41,
 -5067862284381683,-8930234392711553,.499651285672965880664,-49,41,
 -5067862284381427,-8930234392707491,-.499792712111563037005,-49,41,
 -5067862284379752,-8930234392680921,.499938897438004709926,-49,41,
 -5067862284368934,-8930234392509312,.499994636311456246048,-49,41,
 -4925871372192576,-6939405474722284,.499859124031280354099,-49,41,
 -4925871372192524,-6939405474721643,.496630880581564485289,-49,41,
 -4925871372192475,-6939405474721038,-.487180348877159353838,-49,41,
 -4925871372192472,-6939405474721002,.493402637072639391475,-49,41,
 -4925871372191958,-6939405474714666,.499954226895404851945,-49,41,
 -4925871372191649,-6939405474710856,-.499998224808640154612,-49,41,
 -8886660217089530,-5889656617147711,-.499997917295227595621,-50,42,
 -8886660217060374,-5889656616995194,-.499898008961099608289,-50,42,
 -8886660217059859,-5889656616992501,.499795035963514957947,-50,42,
 -8886660217059634,-5889656616991324,.489952191126314368569,-50,42,
 -8886660217059608,-5889656616991188,.497703684596633122503,-50,42,
 -8886660217059595,-5889656616991119,-.498420568669385291912,-50,42,
 -8886660217057020,-5889656616977649,-.499955365688751794488,-50,42,
 -8886660217053666,-5889656616960105,.499987225317925649305,-50,42,
 -8757940169978781,-5253377971443196,-.355194991690824129798,-50,42,
 -8757940169978712,-5253377971442874,-.405432979323745568745,-50,42,
 -8757940169978586,-5253377971442286,-.497171913313035155170,-50,42,
 -8757940169978583,-5253377971442272,-.499356173646915378357,-50,42,
 -8757940169976751,-5253377971433724,-.499877824502232300211,-50,42,
 -8757940169976293,-5253377971431588,.499991760610686674624,-50,42,
 -8535358698091333,-8622079772265642,.499991699837314875736,-50,43,
 -8535358698071029,-8622079772110155,.499973414768370168341,-50,43,
 -8535358698043957,-8622079771902839,.499944672922062387345,-50,43,
 -8535358698042504,-8622079771891711,-.499909256517106866153,-50,43,
 -8535358698041250,-8622079771882108,-.431648309710920863791,-50,43,
 -8535358698041241,-8622079771882040,.489894232930849291805,-50,43,
 -8535358698041203,-8622079771881749,.491962746301138322855,-50,43,
 -8535358698041051,-8622079771880584,-.499763200315920969627,-50,43,
 -8244336335744702,-6658181308392277,.499889976671729543712,-50,43,
 -8244336335569978,-6658181307359019,.499961621328739114023,-50,43,
 -8244336335566793,-6658181307340183,-.498951131466104953955,-50,43,
 -8244336335566758,-6658181307339977,.479082794031386745158,-50,43,
 -8244336335566735,-6658181307339841,.493219373640520810683,-50,43,
 -8244336335566654,-6658181307339362,.499526458328826456162,-50,43,
 -8244336335565380,-6658181307331828,.499961341361998221676,-50,43,
 -6615287761668760,-6266684952758672,.499992513259035515626,-50,45,
 -6615287761647093,-6266684952638072,-.499944838938921883554,-50,45,
 -6615287761645904,-6266684952631454,-.499710702564995684913,-50,45,
 -6615287761645798,-6266684952630865,.498628084695061849589,-50,45,
 -6615287761645639,-6266684952629980,.496136265481000064152,-50,45,
 -6615287761630235,-6266684952544240,-.499990007418711933352,-50,45,
 -5638731028491902,-5264579533832137,.475195816630148920570,-50,46,
 -5638731028491899,-5264579533832122,-.495893342323734866592,-50,46,
 -5638731028491865,-5264579533831964,.498429522862969962036,-50,46,
 -5638731028491346,-5264579533829536,-.499994976794773493747,-50,46,
 -5638731028451361,-5264579533642555,.499994687519251507255,-50,46,
 -5402948249543905,-8539547774764383,.499999080572487437220,-50,47,
 -5402948249542551,-8539547774754112,.499913651115049092610,-50,47,
 -5402948249542259,-8539547774751896,-.483856620372064902557,-50,47,
 -5402948249542230,-8539547774751676,-.499368051475770375963,-50,47,
 -4682712477323126,-9006812065339118,.499998320973654298833,-50,48,
 -4682712477311895,-9006812065249229,-.499994621678534777368,-50,48,
 -4682712477301827,-9006812065168650,.357904274015796732226,-50,48,
 -4682712477301790,-9006812065168354,.489682407286344683488,-50,48,
 -4682712477301787,-9006812065168329,-.499632879205658816968,-50,48,
 -4682712477300664,-9006812065159341,-.499988460537842049093,-50,48,
 -4561872225458195,-8089727403672502,.499974406931278888508,-50,48,
 -4561872225375105,-8089727403075128,-.499971261545582475809,-50,48,
 -4561872225367964,-8089727403023789,.499947105886512316412,-50,48,
 -4561872225366597,-8089727403013960,-.495587393025202025578,-50,48,
 -4561872225366407,-8089727403012594,-.496429789575017746339,-50,48,
 -4561872225365647,-8089727403007130,-.499799378078063384632,-50,48,
 -4561872225363235,-8089727402989789,-.499967096529320062643,-50,48,
 -6156088788834369,-8628392493932935,-.499945834454412328929,-51,50,
 -6156088788833787,-8628392493930687,.499525091027730030976,-51,50,
 -6156088788833728,-8628392493930459,.490880391001474321316,-51,50,
 -6156088788833706,-8628392493930373,-.495393903925086351078,-51,50,
 -6156088788832402,-8628392493925335,.499984249865788556384,-51,50,
 -6156088788775720,-8628392493706300,-.499999748147892485594,-51,50,
 -5642922688621064,-6853203268973461,.499993073324413455790,-51,50,
 -5642922688548194,-6853203268748713,.499980521444273195503,-51,50,
 -5642922688544300,-6853203268736702,-.499855674479599118574,-51,50,
 -5642922688542911,-6853203268732419,.498661917855201891115,-51,50,
 -5642922688542899,-6853203268732381,-.490551753064713923809,-51,50,
 -5642922688542887,-6853203268732344,-.479765423984824362801,-51,50,
 -5642922688542816,-6853203268732125,-.499279643599460153360,-51,50,
 -5642922688542353,-6853203268730697,-.499773780126771439649,-51,50,
 -8724415468929568,-7650775081309048,-.499997763675435797856,-52,51,
 -8724415468928298,-7650775081306800,.499944601070122876805,-52,51,
 -8724415468928250,-7650775081306714,-.498482774132528145985,-52,51,
 -8724415468928228,-7650775081306676,.460571345565966348404,-52,51,
 -8724415468928215,-7650775081306653,.481830598114990915647,-52,51,
 -6700063144990205,-4729984566682336,.499988738435749189829,-52,51,
 -6700063144985236,-4729984566676556,.499944496079727709842,-52,51,
 -6700063144980702,-4729984566671281,-.497278409898661896973,-52,51,
 -6700063144980690,-4729984566671268,.461264449629220514177,-52,51,
 -6700063144980653,-4729984566671224,-.499895066826686786236,-52,51,
 -6700063144946256,-4729984566631214,.499999726583254591939,-52,51,
 -6254473773402130,-8467988133364602,.499992134390615213122,-52,52,
 -6254473773285819,-8467988133116900,.499955008067602727142,-52,52,
 -6254473773271982,-8467988133087431,-.499826246001599561421,-52,52,
 -6254473773271319,-8467988133086020,.459713032800417290765,-52,52,
 -6254473773271311,-8467988133086003,.496932209617420593484,-52,52,
 -6254473773271203,-8467988133085773,.499391096644349934820,-52,52,
 -6254473773271149,-8467988133085657,-.499379459844011557223,-52,52,
 -6254473773267925,-8467988133078792,.499948795015072668314,-52,52,
 -8422041052112379,-4852017663486211,-.499998844646772541296,-53,52,
 -8422041051876011,-4852017663312488,-.499831490087573354651,-53,52,
 -8422041051759723,-4852017663227020,-.499750381530682911159,-53,52,
 -8422041051758459,-4852017663226091,-.499749504359073445712,-53,52,
 -8422041051758010,-4852017663225761,-.498958053551334991547,-53,52,
 -8422041051757995,-4852017663225750,-.474432726687142053562,-53,52,
 -7740586541161069,-8729170298445368,-.499988417106562716536,-53,53,
 -7740586541072463,-8729170298321979,-.499981349569158503641,-53,53,
 -7740586541071388,-8729170298320483,.499939729568257190286,-53,53,
 -7740586541070448,-8729170298319173,-.495478117613482128587,-53,53,
 -7740586541070443,-8729170298319167,.467312212986360808726,-53,53,
 -7740586541070420,-8729170298319135,.496147733745603674670,-53,53,
 -7740586541070313,-8729170298318986,.499860808581333029838,-53,53,
 -7552125243356080,-8468618685427996,-.499999006937180570526,-53,53,
 -7552125243333006,-8468618685396325,-.499892636369387142506,-53,53,
 -7552125243331970,-8468618685394904,.496991743011209338828,-53,53,
 -7552125243331954,-8468618685394882,.458333586707328473954,-53,53,
 -7552125243331868,-8468618685394763,-.499454003426489002024,-53,53,
 -7552125243328505,-8468618685390147,-.499915232171724542972,-53,53,
 -7552125243310501,-8468618685365436,.499994363471813928075,-53,53,
 -6638553928827430,-7256111712172735,.498692282436965544211,-53,53,
 -6638553928827423,-7256111712172726,.487563471445247952568,-53,53,
 -6638553928826712,-7256111712171812,-.499948616450610795971,-53,53,
 -6638553928817906,-7256111712160504,-.499992848061859893462,-53,53,
 -6638553928770821,-7256111712100042,.499997649128187086265,-53,53,
 -6320301642435279,-6851880967197170,.499997484542004383569,-53,53,
 -6320301642428580,-6851880967188753,.499968377554108246844,-53,53,
 -6320301642428233,-6851880967188317,.490263929007094727915,-53,53,
 -6320301642428221,-6851880967188301,-.432261873248315323429,-53,53,
 -6320301642428194,-6851880967188268,.492055071676967594990,-53,53,
 -6320301642428038,-6851880967188072,.499219642355174488237,-53,53,
 -6277581004380230,-6798281224554127,-.499998868838553604106,-53,53,
 -6277581004371059,-6798281224542637,-.499939675717452178599,-53,53,
 -6277581004369050,-6798281224540120,-.499599591718984136635,-53,53,
 -6277581004369046,-6798281224540115,-.488150432766611754211,-53,53,
 -6277581004369022,-6798281224540085,-.419455479052405614884,-53,53,
 -6277581004368002,-6798281224538807,-.499919946243260655363,-53,53,
 -6134432454531899,-6619786818684053,-.499998314695572267012,-53,53,
 -6134432454506412,-6619786818652423,-.499982986642871457413,-53,53,
 -6134432454506022,-6619786818651940,.499703361983753057297,-53,53,
 -6134432454505661,-6619786818651491,-.490330556349842361147,-53,53,
 -6134432454505632,-6619786818651456,.499389710597966946313,-53,53,
 -6056160701855449,-6522898353692354,-.499996432263214550848,-53,53,
 -6056160701828988,-6522898353659683,-.499754278897749489430,-53,53,
 -6056160701828694,-6522898353659321,.497640800075912292123,-53,53,
 -6056160701828498,-6522898353659079,.495904186054492627181,-53,53,
 -6056160701828464,-6522898353659037,.475194773417809542158,-53,53,
 -6056160701828451,-6522898353659020,-.473900002002123258717,-53,53,
 -6056160701827829,-6522898353658252,-.499819256725555247418,-53,53,
 -6056160701824352,-6522898353653960,.499985809143021231238,-53,53,
 -5587044502257869,-5952274633322453,-.499992288485797883196,-53,53,
 -5587044502251903,-5952274633315302,-.499965263674456500341,-53,53,
 -5587044502247392,-5952274633309896,.499887552044699810790,-53,53,
 -5587044502247100,-5952274633309546,.498547942636123335288,-53,53,
 -5587044502246984,-5952274633309406,-.460888340555321294903,-53,53,
 -5587044502246964,-5952274633309382,-.488377354898773597081,-53,53,
 -5587044502246954,-5952274633309371,.497878137929489246713,-53,53,
 -5587044502223528,-5952274633281292,.499995617278231764189,-53,53,
 -5574097035265819,-5936761612789770,.499999326401944751448,-53,53,
 -5574097035223548,-5936761612739143,.498746114243236471448,-53,53,
 -5574097035223543,-5936761612739137,.487130437623622142357,-53,53,
 -5574097035223118,-5936761612738628,.499797924949717691005,-53,53,
 -5574097035223032,-5936761612738524,-.499991712910609699421,-53,53,
 -5268565944222045,-5574179716568934,.499998661704643575006,-53,53,
 -5268565944196449,-5574179716538833,.499971135251533860370,-53,53,
 -5268565944194432,-5574179716536460,-.499835692761813315905,-53,53,
 -5268565944193932,-5574179716535872,-.497804663556992498841,-53,53,
 -5268565944193858,-5574179716535785,-.473504071236138218661,-53,53,
 -5268565944193841,-5574179716535765,-.481435016243562677592,-53,53,
 -5268565944193807,-5574179716535725,-.497296906258471164483,-53,53,
 -5268565944180688,-5574179716520298,.499993231767080714319,-53,53,
 -8854767244020282,-4607833107229594,.499995134550223361936,-54,53,
 -8854767244014043,-4607833107226089,-.499974384855899071297,-54,53,
 -8854767244013183,-4607833107225606,-.499489337085372493505,-54,53,
 -8854767244013110,-4607833107225566,.499389044876060758168,-54,53,
 -8854767243987294,-4607833107211067,.499996008848384510606,-54,53,
 -8607732457383103,-8939040501808792,-.480823106540531105696,-54,54,
 -8607732457383086,-8939040501808774,.497076808353531393912,-54,54,
 -8607732457383043,-8939040501808725,-.499999877502698993775,-54,54,
 -7730960159931138,-7970461485632589,.499989942399023079015,-54,54,
 -7730960159917535,-7970461485617713,-.499442281222016170988,-54,54,
 -7730960159917396,-7970461485617562,.498284611419135443039,-54,54,
 -7730960159917332,-7970461485617492,.482849511627851458851,-54,54,
 -7730960159917321,-7970461485617479,-.488553396148785607295,-54,54,
 -7730960159917289,-7970461485617444,-.496270946044473970331,-54,54,
 -7730960159916626,-7970461485616719,-.499918932951425884711,-54,54,
 -7730960159914423,-7970461485614310,-.499974008679060245315,-54,54,
 -7730960159895505,-7970461485593623,-.499993043370480438932,-54,54,
 -7684108841897182,-7919256054216900,.463411343397958546245,-54,54,
 -7684108841897171,-7919256054216888,.479391296171794878577,-54,54,
 -7684108841897160,-7919256054216876,.495371248945628258136,-54,54,
 -7684108841897095,-7919256054216805,.498889151700037952616,-54,54,
 -7684108841896781,-7919256054216461,-.499501287303188811219,-54,54,
 -7684108841895655,-7919256054215232,.499901151155901840068,-54,54,
 -7684108841892526,-7919256054211813,-.499983191867565447463,-54,54,
 -7684108841875755,-7919256054193494,.499997527343550261207,-54,54,
 -7489630554912545,-7707272762252438,-.497624337107835140590,-54,54,
 -7489630554912488,-7707272762252376,-.499892448800114567121,-54,54,
 -7489630554907196,-7707272762246620,-.499942397829989250198,-54,54,
 -7489630554900581,-7707272762239426,.499995164947340541209,-54,54,
 -4517699360175057,-4565202987873833,-.499956077881412364117,-54,54,
 -4517699360174456,-4565202987873214,.498335195247484597323,-54,54,
 -4517699360174426,-4565202987873183,.446669202225499382168,-54,54,
 -4517699360174424,-4565202987873180,-.490108530642633415673,-54,54,
 -4517699360174361,-4565202987873115,-.498607115988845351106,-54,54,
 -4517699360172115,-4565202987870799,.499998873060518376442,-54,54,
 -8341071156522038,-8415781113173627,.499971791978527694686,-55,55,
 -8341071156516800,-8415781113168248,.499778851378655597960,-55,55,
 -8341071156515314,-8415781113166721,-.499130409770842100167,-55,55,
 -8341071156515277,-8415781113166684,.496859063538173470478,-55,55,
 -8341071156515240,-8415781113166646,.492848536847180165511,-55,55,
 -8341071156515054,-8415781113166455,.499714537805836121595,-55,55,
 -8341071156507327,-8415781113158519,-.499997347298098070700,-55,55,
 -6479813464901702,-6514803075064308,-.499990107737439231949,-55,55,
 -6479813464892884,-6514803075055348,.499971979566758974861,-55,55,
 -6479813464892702,-6514803075055163,.451434113820911666424,-55,55,
 -6479813464892699,-6514803075055159,-.499915411438636659955,-55,55,
 -6479813464848424,-6514803075010166,-.499992371858823727856,-55,55,
 -5370993780294630,-5372237216054708,-.499948591180758646407,-57,57,
 -5370993780293190,-5372237216053267,-.499781508072273832850,-57,57,
 -5370993780293185,-5372237216053262,-.496308705700370306115,-57,57,
 -5370993780293182,-5372237216053259,-.494225024277228193178,-57,57,
 -5370993780288871,-5372237216048945,-.499974819224417172572,-57,57,
 -5370993780283112,-5372237216043183,.499998952723345436287,-57,57,
 -5040083604723691,-5041111074426219,.134866732413614019398,-57,57,
 -5040083604723530,-5041111074426058,.233334959876885533335,-57,57,
 -5040083604723110,-5041111074425638,.490208596737564216213,-57,57,
 -5040083604723094,-5041111074425622,.499994259094160652760,-57,57,
 -5040083604687123,-5041111074389629,.499998048257712300895,-57,57,
 -8242701861720304,-8242701861720304,-.255457236562484475074,-79,79,
 -8242701861718053,-8242701861718053,-.255457236562275186573,-79,79,
 -8242701861718030,-8242701861718030,-.255457236562273048130,-79,79,
 -8178102513292817,-8178102513292817,-.249498009539748946173,-79,79,
 -8178102513290547,-8178102513290547,-.249498009539541186311,-79,79,
 -8178102513290524,-8178102513290524,-.249498009539539081255,-79,79,
 -8003544517555530,-8003544517555530,-.233860314554282831848,-79,79,
 -8003544517553220,-8003544517553220,-.233860314554080340068,-79,79,
 -8003544517553197,-8003544517553197,-.233860314554078323916,-79,79,
 -6848882081660825,-6848882081660825,-.146544155182606103813,-79,79,
 -6848882081658579,-6848882081658579,-.146544155182461932179,-79,79,
 -6848882081658556,-6848882081658556,-.146544155182460455800,-79,79,
 -6471417749986012,-6471417749986012,-.123625409175438658685,-79,79,
 -6471417749983877,-6471417749983877,-.123625409175316302074,-79,79,
 -6471417749983855,-6471417749983855,-.123625409175315041256,-79,79,
 -5840746347511110,-5840746347511110,-.090889658763378368852,-79,79,
 -5840746347509219,-5840746347509219,-.090889658763290089546,-79,79,
 -5840746347509200,-5840746347509200,-.090889658763289202551,-79,79,
 -5301224375153928,-5301224375153928,-.067957593809126308080,-79,79,
 -5301224375153906,-5301224375153906,-.067957593809125462012,-79,79,
 -5301224375151744,-5301224375151744,-.067957593809042316511,-79,79,
 -5286632173730733,-5286632173730733,-.067397954919800108973,-79,79,
 -5286632173730711,-5286632173730711,-.067397954919799267555,-79,79,
 -5286632173728563,-5286632173728563,-.067397954919717114607,-79,79,
 -4827510902874277,-4827510902874277,-.051319122830653594606,-79,79,
 -4827510902874259,-4827510902874259,-.051319122830653020556,-79,79,
 -4827510902872519,-4827510902872519,-.051319122830597529056,-79,79,
 -7501948289004415,-7501948289004415,-.048147267212340680277,-80,80,
 -7501948289004404,-7501948289004404,-.048147267212340468484,-80,80,
 -7501948289003360,-7501948289003360,-.048147267212320367407,-80,80,
 -7485075199918261,-7485075199918261,-.047823124497129439626,-80,80,
 -7485075199918250,-7485075199918250,-.047823124497129228785,-80,80,
 -7485075199917211,-7485075199917211,-.047823124497109313864,-80,80,
 -5137347928742246,-5137347928742246,-.015462025379578349024,-80,80,
 -5137347928742241,-5137347928742241,-.015462025379578303878,-80,80,
 -5137347928741781,-5137347928741781,-.015462025379574150452,-80,80,
 -5130840493893794,-5130840493893794,-.015403342927539706699,-80,80,
 -5130840493893789,-5130840493893789,-.015403342927539661667,-80,80,
 -5130840493893330,-5130840493893330,-.015403342927535527763,-80,80,
 -5010504700961462,-5010504700961462,-.014344779112729355069,-80,80,
 -5010504700961458,-5010504700961458,-.014344779112729320714,-80,80,
 -5010504700961020,-5010504700961020,-.014344779112725558809,-80,80,
 -6298970528341482,-6298970528341482,-.007125218407081968672,-81,81,
 -6298970528341480,-6298970528341480,-.007125218407081961885,-81,81,
 -6298970528341310,-6298970528341310,-.007125218407081384987,-81,81,
 -6002783559861861,-6002783559861861,-.006166624519073733080,-81,81,
 -6002783559861859,-6002783559861859,-.006166624519073726916,-81,81,
 -6002783559861705,-6002783559861705,-.006166624519073252306,-81,81,
 -7922455085967687,-7922455085967687,-.003544123262783867508,-82,82,
 -7922455085967686,-7922455085967686,-.003544123262783866166,-82,82,
 -7922455085967619,-7922455085967619,-.003544123262783776248,-82,82,
 -5034345543218302,-5034345543218302,-.000056837967715161056,-84,84,
 -5034345543218300,-5034345543218300,-.000056837967715160989,-84,84,
 -4503599627370497,-4503599627370497,-.000000000000000037007,-104,104,
 -4503599627370496,-4503599627370496,-.000000000000000037007,-104,104,
 -6751453641065261,-6751453641065261,-.000000000000000031170,-105,105,
 -6734444337906217,-6734444337906217,-.000000000000000030935,-105,105,
 -6680661016289229,-6680661016289229,-.000000000000000030200,-105,105,
 -6466907645357182,-6466907645357182,-.000000000000000027393,-105,105,
 -6031878638313244,-6031878638313244,-.000000000000000022228,-105,105,
 -4706747747160345,-4706747747160345,-.000000000000000010561,-105,105,
 -4508444030594628,-4508444030594628,-.000000000000000009282,-105,105,
 -8225219756258586,-8225219756258586,-.000000000000000014091,-106,106,
 -8218671716955893,-8218671716955893,-.000000000000000014057,-106,106,
 -8134634281296062,-8134634281296062,-.000000000000000013630,-106,106,
 -7532297225436693,-7532297225436693,-.000000000000000010821,-106,106,
 -6744234268180515,-6744234268180515,-.000000000000000007768,-106,106,
 -5441089836917728,-5441089836917728,-.000000000000000004079,-106,106,
 -8111283783760891,-8111283783760891,-.000000000000000000845,-108,108,
 -5181586503254410,-5181586503254410,-.000000000000000000220,-108,108,
 -4672129282989170,-4672129282989170,-.000000000000000000040,-109,109,
 -5061503531596520,-5061503531596520,-.000000000000000000013,-110,110,
 -5516841368037698,-5516841368037698,0.000000000000000000000,-1071,1071,
 -4974007324442289,-4974007324442289,-.000000000000000000000,-1071,1071,
 -4827518656046215,-4827518656046215,0.000000000000000000000,-1071,1071,
 -8637812632950778,-8637812632950778,-.000000000000000000000,-1072,1072,
 -6381354196731786,-6381354196731786,0.000000000000000000000,-1072,1072,
 -5996792560889159,-5996792560889159,.000000000000000000000,-1072,1072,
 -5513101990986496,-5513101990986496,0.000000000000000000000,-1072,1072,
 -5478007073897062,-5478007073897062,.000000000000000000000,-1072,1072,
 -5304631145610051,-5304631145610051,0.000000000000000000000,-1072,1072,
 -4963944520841389,-4963944520841389,.000000000000000000000,-1072,1072,
 -4887517460135592,-4887517460135592,.000000000000000000000,-1072,1072,
 -8454571249924438,-8454571249924438,-.000000000000000000000,-1073,1073,
 -7658090078676386,-7658090078676386,-.000000000000000000000,-1073,1073,
 -6674887987034892,-6674887987034892,-.000000000000000000000,-1073,1073,
 -4989910114564986,-4989910114564986,-.000000000000000000000,-1073,1073,
 -7949257549382681,-7949257549382681,.000000000000000000000,-1074,1074,
 -6724970915209412,-6724970915209412,.000000000000000000000,-1074,1074,
 -6534509948980223,-6534509948980223,.000000000000000000000,-1074,1074,
 -4503599627370497,-4503599627370497,.000000000000000000000,-1074,1074,
 -4503599627370496,-4503599627370496,0.000000000000000000000,-1074,1074,
 0,0,0.000000000000000000000,0,0,
 4503599627370496,4503599627370496,0.000000000000000000000,-1074,1074,
 4503599627370497,4503599627370497,-.000000000000000000000,-1074,1074,
 7112430579131655,7112430579131655,0.000000000000000000000,-1074,1074,
 5789926908758100,5789926908758100,.000000000000000000000,-1073,1073,
 7787230987142419,7787230987142419,.000000000000000000000,-1073,1073,
 8125327600772580,8125327600772580,.000000000000000000000,-1073,1073,
 8744473848646590,8744473848646590,.000000000000000000000,-1073,1073,
 4676442701008596,4676442701008596,0.000000000000000000000,-1072,1072,
 5078352157579858,5078352157579858,-.000000000000000000000,-1072,1072,
 6998850785069489,6998850785069489,.000000000000000000000,-1072,1072,
 8186528360433406,8186528360433406,.000000000000000000000,-1072,1072,
 8341598446516450,8341598446516450,-.000000000000000000000,-1072,1072,
 8814563610589937,8814563610589937,-.000000000000000000000,-1072,1072,
 4624395622432191,4624395622432191,.000000000000000000000,-1071,1071,
 4827239280872831,4827239280872831,.000000000000000000000,-1071,1071,
 7786031541652222,7786031541652222,.000000000000000000047,-110,110,
 5746215254501618,5746215254501618,.000000000000000000075,-109,109,
 6842111560931391,6842111560931391,.000000000000000000127,-109,109,
 5635416615605139,5635416615605139,.000000000000000000283,-108,108,
 5753769988833337,5753769988833337,.000000000000000001206,-107,107,
 4873844360980469,4873844360980469,.000000000000000002932,-106,106,
 6611506190369525,6611506190369525,.000000000000000007318,-106,106,
 7789329938387631,7789329938387631,.000000000000000011967,-106,106,
 7984456451885351,7984456451885351,.000000000000000012889,-106,106,
 8003572463289605,8003572463289605,.000000000000000012982,-106,106,
 8018408790437082,8018408790437082,.000000000000000013054,-106,106,
 4747578892790121,4747578892790121,.000000000000000010838,-105,105,
 5026588273004141,5026588273004141,.000000000000000012864,-105,105,
 5708579506482334,5708579506482334,.000000000000000018842,-105,105,
 6353877460235262,6353877460235262,.000000000000000025982,-105,105,
 6728987427118364,6728987427118364,.000000000000000030860,-105,105,
 7198343454188632,7198343454188632,.000000000000000037779,-105,105,
 4503599627370496,4503599627370496,.000000000000000037007,-104,104,
 4503599627370497,4503599627370497,.000000000000000037007,-104,104,
 5835457316503936,5835457316503936,.000022129631237235026,-85,85,
 5835457316503937,5835457316503937,.000022129631237235037,-85,85,
 6916394610526573,6916394610526573,.002358135475687472663,-82,82,
 6916394610526623,6916394610526623,.002358135475687523806,-82,82,
 6916394610526624,6916394610526624,.002358135475687524829,-82,82,
 7664074856376500,7664074856376500,.003208548988158743019,-82,82,
 7664074856376562,7664074856376562,.003208548988158820887,-82,82,
 7664074856376563,7664074856376563,.003208548988158822143,-82,82,
 5804122653802352,5804122653802352,.005574413700967658502,-81,81,
 5804122653802497,5804122653802497,.005574413700968076286,-81,81,
 5804122653802498,5804122653802498,.005574413700968079167,-81,81,
 6847582036561118,6847582036561118,.009153795038118068034,-81,81,
 6847582036561320,6847582036561320,.009153795038118878130,-81,81,
 6847582036561322,6847582036561322,.009153795038118886151,-81,81,
 7706116167864828,7706116167864828,.013046562733590072756,-81,81,
 7706116167865086,7706116167865086,.013046562733591383149,-81,81,
 7706116167865089,7706116167865089,.013046562733591398386,-81,81,
 4994576600383240,4994576600383240,.014208409908195053099,-80,80,
 4994576600383675,4994576600383675,.014208409908198765521,-80,80,
 4994576600383679,4994576600383679,.014208409908198799658,-80,80,
 7423882302190273,7423882302190273,.046659778986108929923,-80,80,
 7423882302191294,7423882302191294,.046659778986128181158,-80,80,
 7423882302191304,7423882302191304,.046659778986128369711,-80,80,
 5359027492702476,5359027492702476,.070204894308194617559,-79,79,
 5359027492704695,5359027492704695,.070204894308281826289,-79,79,
 5359027492704717,5359027492704717,.070204894308282690909,-79,79,
 5488415439820898,5488415439820898,.075413720482071998289,-79,79,
 5488415439823246,5488415439823246,.075413720482168786561,-79,79,
 5488415439823270,5488415439823270,.075413720482169775879,-79,79,
 5668948148616327,5668948148616327,.083103035750007657492,-79,79,
 5668948148616345,5668948148616345,.083103035750008449096,-79,79,
 5668948148618160,5668948148618160,.083103035750088269200,-79,79,
 6402079148376316,6402079148376316,.119694047116979930607,-79,79,
 6402079148376337,6402079148376337,.119694047116981108463,-79,79,
 6402079148378449,6402079148378449,.119694047117099567086,-79,79,
 6710148704144607,6710148704144607,.137817976405756826293,-79,79,
 6710148704144629,6710148704144629,.137817976405758181850,-79,79,
 6710148704146839,6710148704146839,.137817976405894353673,-79,79,
 8108726220156984,8108726220156984,.243202114560191650454,-79,79,
 8108726220157007,8108726220157007,.243202114560193719947,-79,79,
 8108726220159295,8108726220159295,.243202114560399589434,-79,79,
 8201755169934774,8201755169934774,.251669066287891078292,-79,79,
 8201755169934797,8201755169934797,.251669066287893195542,-79,79,
 8201755169937060,8201755169937060,.251669066288101514524,-79,79,
 8488875008858692,8488875008858692,.279035752081584516563,-79,79,
 8488875008858714,8488875008858714,.279035752081586686033,-79,79,
 8488875008860871,8488875008860871,.279035752081799392705,-79,79,
 7327657448544257,7328446815176038,.499997970217330651453,-58,58,
 7327657448593765,7328446815225562,.499983814786803373392,-58,58,
 7327657448598422,7328446815230221,.005032172197945930821,-58,58,
 7327657448598569,7328446815230368,.052539603707411898120,-58,58,
 7327657448599820,7328446815231619,.456837541247230022878,-58,58,
 7327657448599952,7328446815231751,.499497275663909531590,-58,58,
 7327657448599954,7328446815231754,-.499856364723716524639,-58,58,
 6940259249803353,6942942163389048,.499974714984075204693,-57,57,
 6940259249803899,6942942163389595,.133229471211456644846,-57,57,
 6940259249804079,6942942163389775,.341994775462263577548,-57,57,
 6940259249804213,6942942163389909,.497408946404537993586,-57,57,
 6940259249804215,6942942163389911,.499728560896213776602,-57,57,
 6940259249815424,6942942163401134,-.499992020485856150926,-57,57,
 6940259249843877,6942942163429620,-.499996454418388076387,-57,57,
 5682480038755769,5688371703598119,-.499871995133328173416,-56,56,
 5682480038756090,5688371703598440,.498785163019201450944,-56,56,
 5682480038756091,5688371703598442,-.498103755491226629296,-56,56,
 5682480038756102,5688371703598453,-.463881859105935439629,-56,56,
 5682480038756202,5688371703598553,-.152773710148736726046,-56,56,
 5682480038760269,5688371703602632,.499994707949818121694,-56,56,
 7740553500862152,7755449027332785,.153819716363953430535,-56,56,
 7740553500862210,7755449027332843,.488785234876980498496,-56,56,
 7740553500862212,7755449027332846,-.499664230001880547473,-56,56,
 7740553500863424,7755449027334064,.499960053409424446252,-56,56,
 7740553500879354,7755449027350086,.499972293499572500390,-56,56,
 7740553500911214,7755449027382130,.499996774816972746105,-56,56,
 8983906415595587,9007199254701471,-.000004575172364837849,-56,56,
 8983906415628868,9007199254735011,.000010564028159617278,-56,56,
 8983906415633494,9007199254739673,.000553517635431653973,-56,56,
 8983906415634778,9007199254740967,-.007077880448834392583,-56,56,
 8983906415634780,9007199254740969,.008486556625802937888,-56,56,
 8983906415634800,9007199254740989,.164130927372176624230,-56,56,
 8983906415634802,9007199254740991,.179695364446814031028,-56,56,
 8983906415634803,4503599627370496,.093738791492066368515,-56,55,
 8983906415634907,4503599627370548,.498414155432643816371,-56,55,
 8983906415635036,4503599627370614,-.499632748910280737200,-56,55,
 5173600871707347,5191399057423197,-.499995721948176449141,-55,55,
 5173600871715190,5191399057431120,.499939023937522685981,-55,55,
 5173600871715771,5191399057431708,-.499683303305069357535,-55,55,
 5173600871716061,5191399057432000,.495341696866947451777,-55,55,
 5173600871716062,5191399057432002,-.494330630718665701464,-55,55,
 5173600871716082,5191399057432022,-.287777182430927926428,-55,55,
 5173600871716255,5191399057432196,.498910145258070594086,-55,55,
 5173600871717998,5191399057433958,-.499956836458231608762,-55,55,
 6216155809152279,6247041781219803,-.499996907052784096229,-55,55,
 6216155809168498,6247041781236264,-.499979259465681866317,-55,55,
 6216155809171715,6247041781239529,-.499852446793635730971,-55,55,
 6216155809171782,6247041781239596,.499839345699597195185,-55,55,
 6216155809171847,6247041781239662,.469689592148276649965,-55,55,
 6216155809171849,6247041781239664,.499531138192851724860,-55,55,
 8915918912087474,9007199254740855,.000000410903186236509,-55,55,
 8915918912087604,9007199254740989,.000933243477092847499,-55,55,
 8915918912087606,9007199254740991,.062486056285923095910,-55,55,
 8915918912087607,4503599627370496,.046631231345169115262,-55,54,
 5227720812180563,5301405098207579,-.499993709127750556833,-54,54,
 5227720812184973,5301405098212175,.499103898728686267166,-54,54,
 5227720812185090,5301405098212297,.460304447512877229440,-54,54,
 5227720812185091,5301405098212299,-.497292128993239832687,-54,54,
 5227720812185539,5301405098212765,.499441596267959365765,-54,54,
 5227720812186388,5301405098213650,.499948142586681647521,-54,54,
 5227720812198321,5301405098226090,-.499999303492176099031,-54,54,
 6779876501427620,6941070863785468,.475927961959831849250,-54,54,
 6779876501427634,6941070863785483,.479208466720345420920,-54,54,
 6779876501427704,6941070863785558,.495610990522976162419,-54,54,
 6779876501427718,6941070863785573,.498891495283514887349,-54,54,
 6779876501428332,6941070863786231,.499907918356979789347,-54,54,
 6779876501432295,6941070863790478,.499953659007218376581,-54,54,
 6779876501436258,6941070863794725,.499999399993376367935,-54,54,
 8668741584066450,9007199254704795,.000009191476912163428,-54,54,
 8668741584096399,9007199254738279,-.000061752386957734359,-54,54,
 8668741584098678,9007199254740827,-.000601391458012930739,-54,54,
 8668741584098825,9007199254740991,.350394954776227499598,-54,54,
 8668741584098826,4503599627370496,.234214471763061172777,-54,53,
 8668741584098830,4503599627370498,.470282449262851003466,-54,53,
 8668741584098839,4503599627370504,-.498564601362621065632,-54,53,
 8668741584099288,4503599627370755,-.499934127009745140415,-54,53,
 8668741584107345,4503599627375258,.499989552443795485780,-54,53,
 8911976088171305,4639986512505557,-.499983591689044529994,-54,53,
 8911976088174356,4639986512507273,-.484524033694702544461,-54,53,
 8911976088174420,4639986512507309,-.488132879412176727872,-54,53,
 8911976088174628,4639986512507426,-.499861627993563360372,-54,53,
 8911976088179064,4639986512509921,-.499999746630091087261,-54,53,
 5971604121828057,6418783505777120,.451321027585641367201,-53,53,
 5971604121828066,6418783505777132,-.497210912849938500604,-53,53,
 5971604121828746,6418783505777967,-.497401967964105531128,-53,53,
 5971604121836906,6418783505787987,-.499694626480559049870,-53,53,
 5971604121837994,6418783505789322,.499999686115280906880,-53,53,
 7267747051742226,8082442075541290,-.499982882034581569052,-53,53,
 7267747051743137,8082442075542514,-.499858221498195722021,-53,53,
 7267747051745870,8082442075546186,-.499484239392958927462,-53,53,
 7267747051745998,8082442075546357,.478579379252970223205,-53,53,
 7267747051746001,8082442075546362,-.490684754684996236251,-53,53,
 7267747051746033,8082442075546405,-.496168850023249347798,-53,53,
 7267747051750067,8082442075551824,.499992382215244635329,-53,53,
 7302452754228172,8129132028638623,-.499995988182478565278,-53,53,
 7302452754244824,8129132028661054,-.488040934497257865255,-53,53,
 7302452754244827,8129132028661058,-.446902580833869718081,-53,53,
 7302452754244847,8129132028661084,.494019776922074308916,-53,53,
 7302452754244896,8129132028661150,.499279553424306561954,-53,53,
 7302452754245285,8129132028661675,-.499780588212701310845,-53,53,
 7302452754246233,8129132028662951,.499939169506625357920,-53,53,
 7302452754249466,8129132028667307,-.499961698269140477190,-53,53,
 7719367433292309,8699645653734191,.499996624732975323277,-53,53,
 7719367433301382,8699645653746806,-.499985787035547356750,-53,53,
 7719367433307657,8699645653755529,.499805948112958940204,-53,53,
 7719367433307698,8699645653755587,-.498761149699278264517,-53,53,
 7719367433307862,8699645653755815,-.493029540946424523371,-53,53,
 7719367433307880,8699645653755840,-.468010218034350296973,-53,53,
 7719367433309056,8699645653757474,.499918878963116665980,-53,53,
 7719367433310455,8699645653759420,-.499968189976852182134,-53,53,
 7938707516150634,9007199254740725,.000313573142986241510,-53,53,
 7938707516150822,9007199254740991,-.127536700717123211068,-53,53,
 7938707516150823,4503599627370496,.143338430827985902364,-53,52,
 7938707516150832,4503599627370503,-.492700538493084028552,-53,52,
 7938707516150873,4503599627370531,.498677490155432073982,-53,52,
 7938707516152027,4503599627371347,.499902979471453755769,-53,52,
 7938707516155390,4503599627373726,-.499991889630507154672,-53,52,
 7938707516202711,4503599627407187,-.499999286865356418964,-53,52,
 8070217332253704,4597074450616018,-.499990284623555649737,-53,52,
 8070217332255154,4597074450617053,.499884154070144800055,-53,52,
 8070217332256345,4597074450617904,.448746537941465067723,-53,52,
 8070217332256352,4597074450617909,.450125242129023598972,-53,52,
 8070217332256555,4597074450618054,.490107663569428783810,-53,52,
 8070217332256604,4597074450618089,.499758592882979874643,-53,52,
 8070217332301575,4597074450650221,-.499997632211879460284,-53,52,
 8529988344636735,4931705857601597,-.499873681127505568389,-53,52,
 8529988344636793,4931705857601640,-.494198452796138415469,-53,52,
 8529988344636797,4931705857601642,.471710183640515132785,-53,52,
 8529988344637439,4931705857602119,-.499953668263985014653,-53,52,
 8529988344637791,4931705857602380,-.499993661820926929218,-53,52,
 8529988344687833,4931705857639485,-.499997441924259557292,-53,52,
 9007199254722104,5292635657765014,-.499997378175638417558,-53,52,
 9007199254739490,5292635657778427,.499961059175292583971,-53,52,
 9007199254740991,5292635657779586,-.418022512057838844115,-53,52,
 4503599627370497,5292635657779588,-.103401559834973078543,-52,52,
 4503599627370500,5292635657779593,-.474159655389239786007,-52,52,
 4503599627370511,5292635657779609,.499727327578469046221,-52,52,
 5224512518066639,6477773290399839,.499917447326729701425,-52,52,
 5224512518066651,6477773290399861,-.478274491733272507351,-52,52,
 5224512518066695,6477773290399938,-.398311601619553798080,-52,52,
 5224512518067602,6477773290401527,-.499985662092201887095,-52,52,
 5224512518088099,6477773290437433,.499999835190356734464,-52,52,
 5321124250680362,6648522950724653,-.499990052498915024648,-52,52,
 5321124250683045,6648522950729436,.499772536970354936385,-52,52,
 5321124250683400,6648522950730069,.492659499227472486560,-52,52,
 5321124250683423,6648522950730111,-.496533739836134398446,-52,52,
 5321124250683506,6648522950730258,.498986310500987084647,-52,52,
 5321124250684156,6648522950731418,-.499953054250694876347,-52,52,
 5321124250705809,6648522950770026,.499994617257073445081,-52,52,
 6501556188035509,9007199254654657,-.000001509328684255249,-52,52,
 6501556188073820,9007199254740323,.000284154122045124330,-52,52,
 6501556188074117,9007199254740987,.112473471539710334491,-52,52,
 6501556188074119,4503599627370496,-.207695286730355662932,-52,51,
 6501556188074120,4503599627370497,-.089661297980460744954,-52,51,
 6501556188074125,4503599627370503,-.499491354230982824395,-52,51,
 6501556188076404,4503599627373050,.499969007358950652098,-52,51,
 6501556188081877,4503599627379169,.499989441635607612255,-52,51,
 8853480284551826,7882504838988020,-.499998076857675658479,-52,51,
 8853480284574957,7882504839030125,-.491188002801494836673,-52,51,
 8853480284574996,7882504839030195,.499921054176146223851,-52,51,
 8853480284575558,7882504839031219,-.499994586234264492306,-52,51,
 9007199254650110,8166963590481362,-.499997739785477445656,-52,51,
 9007199254735878,8166963590642700,-.499982966971205146748,-52,51,
 9007199254739814,8166963590650104,-.498862919370522627310,-52,51,
 9007199254740991,8166963590652318,-.446698716932792553831,-52,51,
 4503599627370497,8166963590652323,.196594819692655239506,-51,51,
 4503599627370500,8166963590652334,.483181892943561698064,-51,51,
 4503599627370542,8166963590652492,.495400918457774181728,-51,51,
 4503599627370563,8166963590652572,-.498489568784054131747,-51,51,
 4716873323637618,9007199254703550,-.499998699319582881178,-51,51,
 4716873323641907,9007199254721234,-.499970478022320335445,-51,51,
 4716873323646196,9007199254738918,-.499942224048048247103,-51,51,
 4716873323646699,9007199254740991,.422187461410365963024,-51,51,
 4716873323646700,4503599627370498,-.227353456485986423957,-51,50,
 4716873323646716,4503599627370531,-.242508451544576119205,-51,50,
 4716873323646724,4503599627370547,.249914050926214298300,-51,50,
 6252059764417328,9007199254666033,-.000010499107898858184,-51,50,
 6252059764433840,9007199254732595,-.000040849538442413602,-51,50,
 6252059764434354,9007199254734667,.000200461521557742138,-51,50,
 6252059764435896,9007199254740883,.000924397517396438610,-51,50,
 6252059764435904,9007199254740915,.249955390711267639323,-51,50,
 6252059764435923,4503599627370496,-.079298000226416311728,-51,49,
 6252059764435924,4503599627370498,-.063733563151778489490,-51,49,
 6623841828962735,5317881882627892,.499993652100736927116,-51,49,
 6623841828964704,5317881882632569,-.499955536398424830765,-51,49,
 6623841828970611,5317881882646597,-.499803077499731073049,-51,49,
 6623841828971929,5317881882649726,.499215200869136757075,-51,49,
 6623841828971953,5317881882649783,.494644972267553288888,-51,49,
 6623841828972065,5317881882650049,.473317238801484515614,-51,49,
 6623841828972073,5317881882650068,.471793829268697297245,-51,49,
 6623841828972580,5317881882651273,-.499752249734773476678,-51,49,
 6693732543014758,5486447338131681,-.499997557017987610490,-51,49,
 6693732543058396,5486447338238562,-.499984506210076032399,-51,49,
 6693732543070291,5486447338267696,-.499911843983537374752,-51,49,
 6693732543070567,5486447338268371,.497063362102366350279,-51,49,
 6693732543070883,5486447338269145,.464614685113521069971,-51,49,
 6693732543070892,5486447338269168,-.492005688596604107753,-51,49,
 6693732543070912,5486447338269216,.493282369825653724927,-51,49,
 6693732543072942,5486447338274189,-.499979698063781966740,-51,49,
 7898550557387571,4692210284578399,-.499999574836004428653,-51,48,
 7898550557404747,4692210284614254,-.499982048203847434166,-51,48,
 7898550557406884,4692210284618714,.499961930743849471963,-51,48,
 7898550557407604,4692210284620218,-.495845431504036401729,-51,48,
 7898550557407764,4692210284620552,-.494913734160642396059,-51,48,
 7898550557407798,4692210284620622,.480284251527880717929,-51,48,
 4907776204992328,5500347054763830,-.499994334622898582290,-50,47,
 4907776205000771,5500347054805089,.499459116240770593821,-50,47,
 4907776205001372,5500347054808027,-.480563195315456471456,-50,47,
 4907776205001381,5500347054808071,-.498566857207050124678,-50,47,
 4907776205002937,5500347054815674,.499911158818249610220,-50,47,
 4907776205005492,5500347054828160,.499982731056149951195,-50,47,
 5448610385774228,8893044608746476,-.499879586605168959618,-50,47,
 5448610385774975,8893044608752377,-.499170333217669463026,-50,47,
 5448610385775722,8893044608758278,-.498461075915527455169,-50,47,
 5448610385775732,8893044608758356,.497532354596998189944,-50,47,
 5448610385775752,8893044608758514,.489519215624154092736,-50,47,
 5448610385778222,8893044608778026,.499896574051239196075,-50,47,
 5448610385807923,8893044609012652,.499988153475512184929,-50,47,
 5448610385812166,8893044609046171,-.499998258557016289993,-50,47,
 7573800345510424,7340720182662741,-.499640418911887884006,-50,44,
 7573800345510751,7340720182664873,-.496272892038845277215,-50,44,
 7573800345510776,7340720182665036,-.499073539805946566134,-50,44,
 7573800345511857,7340720182672083,.499826454206297690551,-50,44,
 7573800345518997,7340720182718635,.499961644740934272477,-50,44,
 7573800345520782,7340720182730273,.499995488501629842535,-50,44,
 7573800345550775,7340720182925825,-.499993305947888305411,-50,44,
 7724960656346879,8395489685642141,-.499803433864887853652,-50,44,
 7724960656347087,8395489685643691,.495696054433599665495,-50,44,
 7724960656347341,8395489685645585,.499815622263612409659,-50,44,
 7724960656349778,8395489685663757,.499970710128492484997,-50,44,
 7724960656362887,8395489685761507,.499984945426189394874,-50,44,
 7724960656375996,8395489685859258,-.499999681162566305812,-50,44,
 7788342745746433,8881667672647718,-.483629401798448985539,-50,44,
 7788342745746478,8881667672648072,.499817048660752199749,-50,44,
 7788342745747384,8881667672655219,.499872254257714375124,-50,44,
 7788342745749196,8881667672669513,.499982682704955762386,-50,44,
 7788342745767621,8881667672814860,-.499996891785464705368,-50,44,
 4694545676261344,4601116954823732,-.499975621275365635851,-49,41,
 4694545676308398,4601116955208315,-.499991235647912138290,-49,41,
 4694545676315545,4601116955266729,-.450154437016303165960,-49,41,
 4694545676315562,4601116955266867,.494696162101557984123,-49,41,
 4694545676315614,4601116955267293,-.497525534688349839163,-49,41,
 4694545676316630,4601116955275597,-.499395602552665362799,-49,41,
 4694545676317011,4601116955278710,.499903125862020280151,-49,41,
 4945710919716687,7188325286678193,-.499984113380557041745,-49,41,
 4945710919752181,7188325287131416,.499985108658215542635,-49,41,
 4945710919752956,7188325287141312,.499308584794215579126,-49,41,
 4945710919752995,7188325287141810,.491532605243677120738,-49,41,
 4945710919753138,7188325287143636,.463020680520201594507,-49,41,
 4945710919753142,7188325287143688,-.460853778905954283317,-49,41,
 4945710919753337,7188325287146178,-.499733675490958930991,-49,41,
 5359395441748007,7494447324022398,-.499961951083720182608,-49,40,
 5359395441748202,7494447324024993,.498554489994942391015,-49,40,
 5359395441748234,7494447324025420,-.491432555485745411047,-49,40,
 5359395441764186,7494447324237786,-.499971712724298350671,-49,40,
 5359395441796544,7494447324668562,-.499972665460809052540,-49,40,
 5417777045995623,8313402342353557,.493528442498594379240,-49,40,
 5417777045995666,8313402342354192,.499005705923328145610,-49,40,
 5417777045996036,8313402342359656,.499624021117189816096,-49,40,
 5417777045996221,8313402342362388,.499933180060830202612,-49,40,
 5417777045999508,8313402342410930,-.499979073235753436055,-49,40,
 5417777046067425,8313402343413899,-.499927967054062712993,-49,40,
 5778823030821029,5313233520149218,.499992627494380170015,-47,-6,
 5778823030826575,5313233520358596,-.499979272973560193761,-47,-6,
 5778823030827380,5313233520388986,.499845181251239685753,-47,-6,
 5778823030828185,5313233520419377,.499669809308578035673,-47,-6,
 5778823030828634,5313233520436329,-.495458987225440886547,-47,-6,
 5778823030828812,5313233520443049,-.497982192263105413183,-47,-6,
 5778823030878099,5313233522303771,-.499684449391140941916,-47,-6,
 8121655714620479,6411635769439649,-.499985015810717605118,-46,-113,
 8121655714626288,6411635769968935,-.484986976925747367258,-46,-113,
 8121655714626314,6411635769971304,-.499552217145667736607,-46,-113,
 8121655714628169,6411635770140321,.499737710757007712676,-46,-113,
 8121655714631670,6411635770459315,-.499973040220525802954,-46,-113,
 4562586167772723,4772415358056861,-.498895874704581498524,-45,-134,
 4562586167776275,4772415358538655,-.499279371386878594999,-45,-134,
 4562586167795811,4772415361188521,.499480818788853607930,-45,-134,
 4562586167796731,4772415361313310,.485945195287251596196,-45,-134,
 4562586167796781,4772415361320092,.496079222279415183047,-45,-134,
 4562586167796806,4772415361323484,-.498853760610321997587,-45,-134,
 4562586167796995,4772415361349119,.499452966705486663767,-45,-134,
 4562586167848310,4772415368309497,-.494872135077600154728,-45,-134,
 6027460262096913,4994051821347062,.499955886529636453011,-45,-194,
 6027460262097855,4994051821480769,.499299073576032927375,-45,-194,
 6027460262098169,4994051821525338,.499080931429489105406,-45,-194,
 6027460262098235,4994051821534707,-.494595442764502258333,-45,-194,
 6027460262098285,4994051821541803,.479892164242152551717,-45,-194,
 6027460262098301,4994051821544075,-.488271799385679879685,-45,-194,
 6027460262124429,4994051825252670,-.498646554584877055173,-45,-194,
 6027460262151945,4994051829158277,-.494194608881824224690,-45,-194,
 5559343709982586,8457155917816686,.499745265679787457792,-44,-402,
 5559343709982601,8457155917823898,-.495411617018649188780,-44,-402,
 5559343709983412,8457155918213772,.499782077920697624219,-44,-402,
 5559343709989607,8457155921191918,-.499347544946116887421,-44,-402,
 5559343709990020,8457155921390461,-.499252231312833591334,-44,-402,
 5990473496078017,5411928243289759,-.498878297070438418366,-44,-438,
 5990473496089345,5411928246774620,-.492694014424328661852,-44,-438,
 5990473496089356,5411928246778003,.464851923162278625306,-44,-438,
 5990473496089394,5411928246789694,-.499989367076426039610,-44,-438,
 6568159494618194,7016995606382824,-.488552949565888140824,-44,-485,
 6568159494645183,7016995617147927,-.499771857116905068528,-44,-485,
 6568159494646614,7016995617718710,-.499683341663143224138,-44,-485,
 6568159494649953,7016995619050537,-.499296247748297162606,-44,-485,
 6568159494649976,7016995619059711,-.488810524428244561689,-44,-485,
 6568159494658916,7016995622625609,-.499103591425611987345,-44,-485,
 6963445207187979,4682674967756109,.499572656172427973337,-44,-518,
 6963445207188191,4682674967812540,-.498455793400208992208,-44,-518,
 6963445207188403,4682674967868970,-.496483562945907416022,-44,-518,
 6963445207188414,4682674967871897,.475316901531497163098,-44,-518,
 6963445207190071,4682674968312957,-.499810403632855022397,-44,-518,
 6963445207191064,4682674968577273,-.499972399461582514795,-44,-518,
 6963445207201206,4682674971276863,-.498758489541791803120,-44,-518,
 7193584984568816,8577581806688796,-.495524469266322008556,-44,-536,
 7193584984582733,8577581813474434,-.499796426611214950902,-44,-536,
 7193584984586779,8577581815447178,.441263597518549995853,-44,-536,
 7193584984586786,8577581815450591,.494795236395555669483,-44,-536,
 7193584984586805,8577581815459855,.497238263050339494888,-44,-536,
 7193584984586824,8577581815469119,.499681299710477173033,-44,-536,
 7193584984587235,8577581815669514,.499898910242633221372,-44,-536,
 7193584984606065,8577581824850629,-.494842801405957195235,-44,-536,
 8255861737061180,4644308687532617,-.497594305635336458738,-44,-624,
 8255861737079092,4644308692261356,-.440185343508163505258,-44,-624,
 8255861737079118,4644308692268220,-.482193197738568417277,-44,-624,
 8255861737079129,4644308692271124,-.499965748397594888697,-44,-624,
 8255861737088413,4644308694722085,-.499351010255622839681,-44,-624,
 5078134788964411,8360418200442517,-.493150420012643729348,-43,-779,
 5078134788969314,8360418205102669,-.497860992588776498523,-43,-779,
 5078134788974217,8360418209762821,-.499973965846486350645,-43,-779,
 5078134788975661,8360418211135298,.470121217450978259215,-43,-779,
 5078134788975676,8360418211149556,-.487251957661857065249,-43,-779,
 5078134788975693,8360418211165713,.494391806601460293027,-43,-779,
 5078134788975742,8360418211212287,-.499693639324984585720,-43,-779,
 5651454882237883,8555906675851606,-.499694470020881644569,-43,-873,
 5651454882240239,8555906678143273,-.497070393002435503000,-43,-873,
 5651454882240311,8555906678213306,.469063607914004086707,-43,-873,
 5651454882240324,8555906678225951,.490726752509638025792,-43,-873,
 5651454882240422,8555906678321276,-.499812017541970134940,-43,-873,
 5651454882241899,8555906679757945,-.499946286379153797914,-43,-873,
 5651454882252470,8555906690040293,-.491834253328581651621,-43,-873,
 5651454882281644,8555906718417667,-.405524396726037710922,-43,-873,
 5789792333309907,6899052488581085,.497430747290236323316,-43,-896,
 5789792333309910,6899052488583438,.491812854378775067868,-43,-896,
 5789792333316671,6899052493886303,.499660422237095819068,-43,-896,
 5789792333390719,6899052551964480,-.209140830949256081323,-43,-896,
 5789792333400687,6899052559782696,-.132603102113778923251,-43,-896,
 5789792333400865,6899052559922307,-.131155838638576400369,-43,-896,
 5924115480983530,7049241350583028,-.499100889415011461159,-43,-918,
 5924115480986954,7049241353327041,.499859214262847275924,-43,-918,
 5924115480987927,7049241354106809,.496838041207148618816,-43,-918,
 5924115480987937,7049241354114824,-.443583105780481104179,-43,-918,
 5924115480988028,7049241354187751,.498584875324918310129,-43,-918,
 5924115480988129,7049241354268694,-.499667361151250030257,-43,-918,
 5924115481024182,7049241383161783,-.440168700267446374480,-43,-918,
 6249411755243645,9007199254740283,-.103196517177171991624,-43,-971 };
#include "trailer.h"