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

struct input_point { double arg_m, val, eps;
	int arg_e, val_e; } input_points[N] = {
 -9007199254740990,-5170245042386938,-.079229716698351668025,-53,48,
 -9007199254740989,-5113180901456073,-.478072700827730677046,-53,48,
 -9007199137546347,-5305972477680473,.053098762622397064589,-53,49,
 -9007199120918827,-5268627614114797,-.026419881621887898638,-53,49,
 -9007199120527275,-5267805245344795,-.445997436421353939709,-53,49,
 -9007199120523307,-5267796923719921,.058128424816598324512,-53,49,
 -9007199120523264,-5267796833542370,.175319015100861897677,-53,49,
 -9007199120523263,-5267796831445218,.183131515256082327864,-53,49,
 -9007199120523249,-5267796802085091,-.348118352185682086574,-53,49,
 -9007199120523243,-5267796789502181,.058131876919640173919,-53,49,
 -8871213671101254,-5493040921248601,.499978167648861512089,-53,51,
 -8871213671077767,-5493040921052660,.474439083111752317393,-53,51,
 -8871213671077764,-5493040921052634,-.497974450657455784783,-53,51,
 -8871213671077583,-5493040921051125,.499742344253181636743,-53,51,
 -8871213671076278,-5493040921040238,.499855088306062758539,-53,51,
 -8871213671074538,-5493040921025721,-.499994747575648672960,-53,51,
 -8422041051762089,-7642658803165676,-.499999952008610551153,-53,52,
 -8422041051758065,-7642658803149671,-.496942522146160667901,-53,52,
 -8422041051758021,-7642658803149496,-.491938912665973456924,-53,52,
 -8422041051758017,-7642658803149481,.417606870013412946791,-53,52,
 -8422041051757888,-7642658803148967,-.499541638632726937180,-53,52,
 -8422041051757092,-7642658803145801,-.499930888200895955103,-53,52,
 -8108579655013428,-6635820432291596,.499996195744154731679,-53,52,
 -8108579655010728,-6635820432284475,.496199696317761179925,-53,52,
 -8108579655010717,-6635820432284445,-.492334289462106667588,-53,52,
 -8108579655010706,-6635820432284416,-.480868275242310999232,-53,52,
 -8108579655010637,-6635820432284234,-.499854186053086072979,-53,52,
 -8108579654999997,-6635820432256173,.499999408753060821711,-53,52,
 -7881394195520868,-6098189287841976,.499995984663149389530,-53,52,
 -7881394195508149,-6098189287814839,-.499742955439871808123,-53,52,
 -7881394195508104,-6098189287814743,-.492194269125343433101,-53,52,
 -7881394195507969,-6098189287814455,-.469548210203248758231,-53,52,
 -7881394195507962,-6098189287814441,.464959363221462261640,-53,52,
 -7881394195507752,-6098189287813992,-.499813434077508369228,-53,52,
 -7881394195506958,-6098189287812298,-.499954392189099606188,-53,52,
 -7881394195506561,-6098189287811452,.499975128336945717958,-53,52,
 -7740586541071346,-5813966694719409,.499924115948217589864,-53,52,
 -7740586541070457,-5813966694717708,-.495598897248465828332,-53,52,
 -7740586541070434,-5813966694717665,.486519180010774038924,-53,52,
 -7740586541070229,-5813966694717272,-.498950131406876345524,-53,52,
 -7740586541070172,-5813966694717163,-.499787939957814473998,-53,52,
 -7740586541067767,-5813966694712565,.499950133717439189485,-53,52,
 -7740586541060609,-5813966694698876,-.499997884372609135836,-53,52,
 -7552125243356837,-5476135282611511,-.499994592803694106228,-53,52,
 -7552125243331956,-5476135282569623,-.495134789609941823038,-53,52,
 -7552125243331719,-5476135282569224,-.497620554040611133602,-53,52,
 -7552125243331482,-5476135282568826,.499893681469442037349,-53,52,
 -7552125243326660,-5476135282560708,.499951236654032317363,-53,52,
 -7552125243321838,-5476135282552589,-.499991232699861764474,-53,52,
 -7109328173701287,-4816853172867457,.499997786762187088581,-53,52,
 -7109328173682296,-4816853172842271,.499973067921156596681,-53,52,
 -7109328173649740,-4816853172799095,.499930175472604570688,-53,52,
 -7109328173648290,-4816853172797171,-.499703154447556464852,-53,52,
 -7109328173647729,-4816853172796427,-.497492325888562615036,-53,52,
 -7109328173647717,-4816853172796412,.416993467233574417432,-53,52,
 -7109328173647027,-4816853172795497,.499926571607144109426,-53,52,
 -7006352135983436,-4683438888618022,.499896242930497105890,-53,52,
 -7006352135983030,-4683438888617507,-.487208791795860676791,-53,52,
 -7006352135983015,-4683438888617488,-.496584593573213311359,-53,52,
 -7006352135982906,-4683438888617350,-.498048753159050974163,-53,52,
 -7006352135976610,-4683438888609380,.499948036113273259554,-53,52,
 -7006352135969784,-4683438888600738,.499999803497164149541,-53,52,
 -6828286958503683,-8932563705189560,.499987303542295139375,-53,53,
 -6828286958433245,-8932563705023938,-.499320032498947401672,-53,53,
 -6828286958433208,-8932563705023852,.498848932308409181396,-53,53,
 -6828286958433060,-8932563705023504,.491524791525095131847,-53,53,
 -6828286958433003,-8932563705023369,-.484268965403645482254,-53,53,
 -6828286958431594,-8932563705020056,-.499942712199810878853,-53,53,
 -6828286958421762,-8932563704996939,.499983227501173358679,-53,53,
 -6638553928827437,-8502261603886506,-.499339417382276176857,-53,53,
 -6638553928827421,-8502261603886471,-.472333752217212299171,-53,53,
 -6638553928827400,-8502261603886425,-.499388816688370665722,-53,53,
 -6638553928827104,-8502261603885777,-.499784011175780710986,-53,53,
 -6638553928826956,-8502261603885453,-.499981608445255156514,-53,53,
 -6638553928806701,-8502261603841111,-.499997531949728175840,-53,53,
 -6595469068499054,-8408659769493764,-.499997189305081919881,-53,53,
 -6595469068453815,-8408659769396228,-.499991566637004709051,-53,53,
 -6595469068453424,-8408659769395385,-.497803147497414969244,-53,53,
 -6595469068453405,-8408659769395345,.466497568519212093144,-53,53,
 -6595469068453392,-8408659769395317,.494703321583062879280,-53,53,
 -6595469068453283,-8408659769395081,-.499571518117367302610,-53,53,
 -6277581004407765,-7758332228803006,.499998122115871585184,-53,53,
 -6277581004372528,-7758332228734486,.499971266958261842137,-53,53,
 -6277581004371987,-7758332228733434,.499857331941236128808,-53,53,
 -6277581004369282,-7758332228728174,.499287654287099747470,-53,53,
 -6277581004369264,-7758332228728138,-.498867707722721323880,-53,53,
 -6277581004369156,-7758332228727928,-.487799879785629226505,-53,53,
 -6277581004369030,-7758332228727683,-.474887413867648307701,-53,53,
 -6277581004369012,-7758332228727648,-.473042775880123695399,-53,53,
 -6277581004363854,-7758332228717619,.499992924066983302550,-53,53,
 -6134432454514506,-7485759044722241,-.499998882102675278196,-53,53,
 -6134432454508864,-7485759044711718,-.499997207403376945820,-53,53,
 -6134432454505676,-7485759044705773,.498585794575713757930,-53,53,
 -6134432454505661,-7485759044705745,.475367082213542643705,-53,53,
 -6134432454505246,-7485759044704971,.499649373479870505379,-53,53,
 -6134432454505031,-7485759044704569,-.499818837104527019546,-53,53,
 -6134432454503222,-7485759044701195,-.499995549449804776886,-53,53,
 -6056160701829563,-7341354420628797,.499934051200704244686,-53,53,
 -6056160701828957,-7341354420627690,-.499301574436830699684,-53,53,
 -6056160701828471,-7341354420626804,.491410448434770367202,-53,53,
 -6056160701828454,-7341354420626772,-.482165468462793637197,-53,53,
 -6056160701828431,-7341354420626731,.494761232204979248548,-53,53,
 -6056160701828351,-7341354420626584,-.498537200256990001238,-53,53,
 -6056160701826876,-7341354420623892,-.499977049344851324954,-53,53,
 -6056160701816431,-7341354420604830,.499996327343105854087,-53,53,
 -5587044502246981,-6534459096288062,.464200175566170967500,-53,53,
 -5587044502246973,-6534459096288049,.467158618997986119081,-53,53,
 -5587044502246893,-6534459096287919,.496743053314856839889,-53,53,
 -5587044502246885,-6534459096287906,.499701496746415832470,-53,53,
 -5587044502246546,-6534459096287354,-.499934462862672959004,-53,53,
 -5587044502243842,-6534459096282959,-.499980584663415887793,-53,53,
 -5587044502177929,-6534459096175826,-.499996210100883157744,-53,53,
 -5574097035242999,-6513445090468627,-.499994989666538101676,-53,53,
 -5574097035228510,-6513445090445146,.499985354733584456763,-53,53,
 -5574097035223538,-6513445090437087,-.490220869342890196773,-53,53,
 -5574097035223045,-6513445090436288,-.496088059786805444678,-53,53,
 -5574097035222726,-6513445090435771,-.499884477179613238627,-53,53,
 -5292230209370884,-6070173573962248,-.499999578747571585434,-53,53,
 -5292230209329392,-6070173573898880,-.499981686060761416466,-53,53,
 -5292230209319019,-6070173573883038,-.499977294744812183790,-53,53,
 -5292230209317128,-6070173573880151,.499830694012248697580,-53,53,
 -5292230209316669,-6070173573879449,-.499687092064352288293,-53,53,
 -5292230209316504,-6070173573879198,.493950305081988583622,-53,53,
 -5268565944194062,-6034117509999111,-.499148982703324025459,-53,53,
 -5268565944193937,-6034117509998921,-.488786710869325453479,-53,53,
 -5268565944193862,-6034117509998807,-.482569347771177119508,-53,53,
 -5268565944193589,-6034117509998392,-.499938146108172909109,-53,53,
 -5268565944189730,-6034117509992527,.499965907241038701396,-53,53,
 -5268565944179597,-6034117509977124,.499973082801585435390,-53,53,
 -5268565944139065,-6034117509915511,-.499998523100079324053,-53,53,
 -4510984822832827,-4957562210497454,.499995936860962837373,-53,53,
 -4510984822794254,-4957562210445967,.499871078455935478344,-53,53,
 -4510984822793797,-4957562210445356,-.499378581369572830912,-53,53,
 -4510984822793570,-4957562210445054,.498805942071521726494,-53,53,
 -4510984822793555,-4957562210445033,-.479287591622157622292,-53,53,
 -4510984822793522,-4957562210444989,-.431093365748409108554,-53,53,
 -4510984822791515,-4957562210442311,.499991825622150726288,-53,53,
 -8854767244016575,-4846654355723984,-.499996578176591004308,-54,53,
 -8854767244013106,-4846654355721697,-.418382642277795043068,-54,53,
 -8854767244013094,-4846654355721690,.493113283702991435831,-54,53,
 -8854767244013050,-4846654355721660,-.498068321034183255317,-54,53,
 -8854767244012146,-4846654355721064,-.498708563836464209247,-54,53,
 -8854767244010338,-4846654355719872,-.499989049557334348171,-54,53,
 -8644717199284726,-4709198232429767,-.499997131680927108191,-54,53,
 -8644717199267609,-4709198232418648,-.477023649219034071536,-54,53,
 -8644717199267549,-4709198232418610,.498344605063323832001,-54,53,
 -8644717199267432,-4709198232418533,-.499687299086543818972,-54,53,
 -8644717199266944,-4709198232418217,.499974502401387949727,-54,53,
 -8607732457415475,-4685203988824169,.499999289388651324691,-54,53,
 -8607732457386114,-4685203988805145,.499994032940587981830,-54,53,
 -8607732457383106,-4685203988803196,.486472154426113822986,-54,53,
 -8607732457383089,-4685203988803184,-.498644159383125237309,-54,53,
 -8607732457382822,-4685203988803012,.499823147258313691564,-54,53,
 -8607732457382217,-4685203988802619,-.499904491262534693917,-54,53,
 -7730960159927038,-8266084117825212,.499991001301978457131,-54,54,
 -7730960159920646,-8266084117817376,-.499974621227010579211,-54,54,
 -7730960159919481,-8266084117815949,.499875198506952365063,-54,54,
 -7730960159917337,-8266084117813320,-.490100755815979758941,-54,54,
 -7730960159917328,-8266084117813309,-.458342259356275180938,-54,54,
 -7730960159917275,-8266084117813244,-.493542224649243615236,-54,54,
 -7730960159917151,-8266084117813093,.499574837683403141898,-54,54,
 -7730960159867180,-8266084117751841,.499999924088401324859,-54,54,
 -7684108841897183,-8208734336764337,.472355253399287981368,-54,54,
 -7684108841897075,-8208734336764205,.493315951091879675217,-54,54,
 -7684108841897039,-8208734336764160,-.499697149677439851288,-54,54,
 -7684108841896468,-8208734336763462,-.499988275780854803617,-54,54,
 -7684108841886163,-8208734336750865,-.499988375185498334378,-54,54,
 -7492339963683126,-7975593948600844,.499706157014520573267,-54,54,
 -7492339963682973,-7975593948600658,-.498764175924927195606,-54,54,
 -7492339963682930,-7975593948600607,.495129782791152664809,-54,54,
 -7492339963682471,-7975593948600052,.499718783961994674324,-54,54,
 -7492339963671336,-7975593948586588,.499933437637564664048,-54,54,
 -7492339963668061,-7975593948582628,.499996569478536654147,-54,54,
 -7489630554941152,-7972318086788292,-.499996222409720308242,-54,54,
 -7489630554912570,-7972318086753738,.494050213453424253515,-54,54,
 -7489630554912546,-7972318086753708,-.490490507496866978322,-54,54,
 -7489630554912369,-7972318086753495,.498521675493535061545,-54,54,
 -7489630554912302,-7972318086753413,-.499987837160367048752,-54,54,
 -7298995560586563,-7743051730934199,-.497077983724693954440,-54,54,
 -7298995560586558,-7743051730934194,.484980419271939832992,-54,54,
 -7298995560586451,-7743051730934065,-.498969756600482937664,-54,54,
 -7298995560586395,-7743051730933998,-.499915643038680317344,-54,54,
 -7298995560584277,-7743051730931464,-.499976133831601472712,-54,54,
 -7298995560583218,-7743051730930198,.499993620663620598319,-54,54,
 -7298995560550445,-7743051730890987,-.499998139233404504585,-54,54,
 -4924871031072453,-5053379142867400,-.499990736326323659143,-54,54,
 -4924871031069878,-5053379142864617,-.499957788253432422422,-54,54,
 -4924871031067303,-5053379142861834,-.499924840415619056734,-54,54,
 -4924871031066981,-5053379142861486,-.489823632974378052034,-54,54,
 -4924871031066944,-5053379142861447,.498914704526398649676,-54,54,
 -4924871031043150,-5053379142835731,.499995842947211843016,-54,54,
 -4517699360192545,-4616151035908448,.499997771937181054483,-54,54,
 -4517699360176855,-4616151035891704,-.499931460379933697249,-54,54,
 -4517699360175961,-4616151035890751,.498925344121077262502,-54,54,
 -4517699360174471,-4616151035889161,.497020018233118154419,-54,54,
 -4517699360174456,-4616151035889144,-.496287753504366821463,-54,54,
 -4517699360174441,-4616151035889128,-.489595525241858930982,-54,54,
 -4514338150835048,-4612564425369628,.499856803137912264743,-54,54,
 -4514338150834302,-4612564425368832,.486555245089496904462,-54,54,
 -4514338150834272,-4612564425368800,.496744190475921153833,-54,54,
 -4514338150834257,-4612564425368783,-.498161336830877411841,-54,54,
 -4514338150833869,-4612564425368369,-.499717643169210069584,-54,54,
 -4514338150829944,-4612564425364181,-.499997288741326241943,-54,54,
 -8341071156529094,-8495074927597303,-.499998197353154458669,-55,55,
 -8341071156515427,-8495074927582862,-.499176209501727796326,-55,55,
 -8341071156515268,-8495074927582694,-.494557002956558254496,-55,55,
 -8341071156515233,-8495074927582658,.487591878987298278077,-55,55,
 -8341071156514809,-8495074927582210,.499909763105764068148,-55,55,
 -8341071156511560,-8495074927578777,.499958832597734164709,-55,55,
 -8341071156508311,-8495074927575343,-.499992098061756424206,-55,55,
 -6979532375153905,-7068861400993067,.499990322194301148375,-55,55,
 -6979532375143518,-7068861400982274,-.499968381447627259639,-55,55,
 -6979532375142646,-7068861400981368,-.499772366252448013771,-55,55,
 -6979532375142594,-7068861400981314,-.472237741493381347781,-55,55,
 -6979532375142569,-7068861400981288,-.497461479589995085501,-55,55,
 -6979532375102842,-7068861400940012,-.499999223323276714610,-55,55,
 -6479813464896399,-6551067689950824,.499998948928099931263,-55,55,
 -6479813464892869,-6551067689947176,.499523645988665999802,-55,55,
 -6479813464892779,-6551067689947082,-.491989888648920488043,-55,55,
 -6479813464892719,-6551067689947020,-.486332245074026127201,-55,55,
 -6479813464892510,-6551067689946804,-.499958119955110494381,-55,55,
 -5360050516014477,-5400128584068269,.499996756705532932482,-55,55,
 -5360050515994772,-5400128584048118,.499982834119458601503,-55,55,
 -5360050515984566,-5400128584037680,-.498958658897009065856,-55,55,
 -5360050515984564,-5400128584037678,-.453690961756790832900,-55,55,
 -5360050515984301,-5400128584037410,.499011212181605839095,-55,55,
 -5360050515979441,-5400128584032440,.499515262798835114150,-55,55,
 -5360050515975067,-5400128584027967,.499968908179928669170,-55,55,
 -5003579018619716,-5036124286224888,-.499994191418415713866,-55,55,
 -5003579018618038,-5036124286223178,.499856435630838441745,-55,55,
 -5003579018617072,-5036124286222193,.497386653576251603861,-55,55,
 -5003579018617069,-5036124286222189,-.443614805374240129925,-55,55,
 -5003579018617021,-5036124286222140,-.499638148582117681410,-55,55,
 -5003579018586105,-5036124286190617,.499993543107561279116,-55,55,
 -5370993780293219,-5373482553524993,.499500777562055640232,-57,57,
 -5370993780293218,-5373482553524991,-.499108330370469044637,-57,57,
 -5370993780293206,-5373482553524979,-.482417625560765303517,-57,57,
 -5370993780293183,-5373482553524956,-.450427108008833341793,-57,57,
 -5370993780291062,-5373482553522833,.499654967105104394869,-57,57,
 -5370993780286029,-5373482553517792,-.499985257303832732231,-57,57,
 -5370993780227793,-5373482553459475,-.499994816908011191824,-57,57,
 -5040083604730110,-5042139927714549,.499943684803778646927,-57,57,
 -5040083604723691,-5042139927708122,.360528435012744120169,-57,57,
 -5040083604723623,-5042139927708054,.443799935715894274248,-57,57,
 -5040083604723578,-5042139927708009,.498906075887095345088,-57,57,
 -5040083604723577,-5042139927708007,-.499869343220211308973,-57,57,
 -5040083604707245,-5042139927691656,.499985796182623260460,-57,57,
 -5040083604653349,-5042139927637694,.499997587648289628301,-57,57,
 -8826946188860318,-8826946188860318,-.000000000000000139319,-105,105,
 -7958411719107662,-7958411719107662,-.000000000000000102108,-105,105,
 -7724029849673945,-7724029849673945,-.000000000000000093349,-105,105,
 -6910250106360623,-6910250106360623,-.000000000000000066844,-105,105,
 -6751453641065261,-6751453641065261,-.000000000000000062341,-105,105,
 -6734444337906217,-6734444337906217,-.000000000000000061871,-105,105,
 -6680661016289229,-6680661016289229,-.000000000000000060400,-105,105,
 -6466907645357182,-6466907645357182,-.000000000000000054786,-105,105,
 -6031878638313244,-6031878638313244,-.000000000000000044457,-105,105,
 -5105083357385429,-5105083357385429,-.000000000000000026952,-105,105,
 -4797434048711327,-4797434048711327,-.000000000000000022367,-105,105,
 -4706747747160345,-4706747747160345,-.000000000000000021122,-105,105,
 -4508444030594628,-4508444030594628,-.000000000000000018563,-105,105,
 -8820963185578394,-8820963185578394,-.000000000000000034759,-106,106,
 -8764811318235300,-8764811318235300,-.000000000000000034099,-106,106,
 -8487409832976082,-8487409832976082,-.000000000000000030963,-106,106,
 -8225219756258586,-8225219756258586,-.000000000000000028181,-106,106,
 -8218671716955893,-8218671716955893,-.000000000000000028114,-106,106,
 -8134634281296062,-8134634281296062,-.000000000000000027260,-106,106,
 -7942311233346222,-7942311233346222,-.000000000000000025372,-106,106,
 -7820027936216947,-7820027936216947,-.000000000000000024218,-106,106,
 -7532297225436693,-7532297225436693,-.000000000000000021642,-106,106,
 -6744234268180515,-6744234268180515,-.000000000000000015535,-106,106,
 -6126472062941109,-6126472062941109,-.000000000000000011645,-106,106,
 -5441089836917728,-5441089836917728,-.000000000000000008158,-106,106,
 -5339910389627913,-5339910389627913,-.000000000000000007711,-106,106,
 -7983856183303977,-7983856183303977,-.000000000000000006443,-107,107,
 -6359406039506145,-6359406039506145,-.000000000000000003256,-107,107,
 -5379976732167529,-5379976732167529,-.000000000000000001972,-107,107,
 -5227607959184178,-5227607959184178,-.000000000000000001809,-107,107,
 -8111283783760891,-8111283783760891,-.000000000000000001689,-108,108,
 -5181586503254410,-5181586503254410,-.000000000000000000440,-108,108,
 -6969797329336223,-6969797329336223,-.000000000000000000268,-109,109,
 -4672129282989170,-4672129282989170,-.000000000000000000081,-109,109,
 -5061503531596520,-5061503531596520,-.000000000000000000026,-110,110,
 -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,
 7786031541652222,7786031541652222,.000000000000000000093,-110,110,
 5746215254501618,5746215254501618,.000000000000000000150,-109,109,
 6842111560931391,6842111560931391,.000000000000000000253,-109,109,
 5635416615605139,5635416615605139,.000000000000000000566,-108,108,
 6158205153697261,6158205153697261,.000000000000000000739,-108,108,
 5689944463305324,5689944463305324,.000000000000000002332,-107,107,
 5753769988833337,5753769988833337,.000000000000000002412,-107,107,
 5804122653802498,5804122653802498,.000000000000000002476,-107,107,
 4631941527006480,4631941527006480,.000000000000000005033,-106,106,
 4873844360980469,4873844360980469,.000000000000000005863,-106,106,
 6229784789713935,6229784789713935,.000000000000000012244,-106,106,
 6500262080618064,6500262080618064,.000000000000000013910,-106,106,
 6611506190369525,6611506190369525,.000000000000000014636,-106,106,
 6995579078917272,6995579078917272,.000000000000000017338,-106,106,
 7482308321613754,7482308321613754,.000000000000000021214,-106,106,
 7789329938387631,7789329938387631,.000000000000000023934,-106,106,
 7984456451885351,7984456451885351,.000000000000000025778,-106,106,
 8003572463289605,8003572463289605,.000000000000000025964,-106,106,
 8018408790437082,8018408790437082,.000000000000000026109,-106,106,
 8125363452127774,8125363452127774,.000000000000000027167,-106,106,
 4747578892790121,4747578892790121,.000000000000000021677,-105,105,
 5026588273004141,5026588273004141,.000000000000000025728,-105,105,
 5599080628055592,5599080628055592,.000000000000000035557,-105,105,
 5708579506482334,5708579506482334,.000000000000000037685,-105,105,
 6353877460235262,6353877460235262,.000000000000000051963,-105,105,
 6673278757213160,6673278757213160,.000000000000000060200,-105,105,
 6728987427118364,6728987427118364,.000000000000000061720,-105,105,
 7051650888471949,7051650888471949,.000000000000000071032,-105,105,
 7198343454188632,7198343454188632,.000000000000000075557,-105,105,
 7399032995891505,7399032995891505,.000000000000000082055,-105,105,
 7723582849396530,7723582849396530,.000000000000000093333,-105,105,
 8488875008858692,8488875008858692,.000000000000000123917,-105,105,
 7327657448597791,7329236743331195,-.499696349806163805806,-58,58,
 7327657448597805,7329236743331209,-.490641950518994625801,-58,58,
 7327657448598237,7329236743331641,-.211249058229185769301,-58,58,
 7327657448598421,7329236743331825,-.092248381883516431263,-58,58,
 7327657448599337,7329236743332742,-.499831971379986607440,-58,58,
 7327657448600883,7329236743334289,-.499967592953387230480,-58,58,
 7327657448608614,7329236743342025,-.499998958007829386380,-58,58,
 6940259249803904,6945631932871829,.112547445289881589705,-57,57,
 6940259249804043,6945631932871968,.435660907321244803630,-57,57,
 6940259249804070,6945631932871995,.498423953902878011736,-57,57,
 6940259249804071,6945631932871997,-.499251488816320748934,-57,57,
 6940259249804501,6945631932872428,-.499691858071725618686,-57,57,
 6940259249804931,6945631932872858,.499867772672993659593,-57,57,
 6940259249807082,6945631932875014,.499990483679255532469,-57,57,
 6940259249847950,6945631932915977,.499997436107652251767,-57,57,
 5682480038754126,5694303855461463,.499999919935407359270,-56,56,
 5682480038755724,5694303855463072,-.499945220608949816422,-56,56,
 5682480038756203,5694303855463553,.497568094585677635917,-56,56,
 5682480038756204,5694303855463555,-.496174048806399854193,-56,56,
 5682480038756210,5694303855463561,-.458626909158864748311,-56,56,
 5682480038756363,5694303855463714,.498825151853307409535,-56,56,
 5682480038756523,5694303855463876,-.499917790879006079774,-56,56,
 6175493946628903,6190680320316280,.499996809810725041311,-56,56,
 6175493946643364,6190680320330849,-.499992906967349266170,-56,56,
 6175493946646067,6190680320333572,-.499921833296187791248,-56,56,
 6175493946646202,6190680320333707,.498971838530248313889,-56,56,
 6175493946646313,6190680320333819,.320284413143128737071,-56,56,
 6175493946646337,6190680320333843,.497865510356728414999,-56,56,
 6823990675701396,6844501362530158,.499987084793659901954,-56,56,
 6823990675703606,6844501362532388,.499624750223739510784,-56,56,
 6823990675709131,6844501362537963,.498718913856125432004,-56,56,
 6823990675709352,6844501362538186,.498682680403120136714,-56,56,
 6823990675709450,6844501362538285,.385544441134408490517,-56,56,
 6823990675709462,6844501362538297,.494139758774976177746,-56,56,
 6823990675709463,6844501362538299,-.496810631421643164256,-56,56,
 6823990675728911,6844501362557923,-.499999174768459992728,-56,56,
 7740553500850794,7770535229086686,.499987569231506415015,-56,56,
 7740553500858589,7770535229094572,.499966265497615919800,-56,56,
 7740553500862101,7770535229098125,.499571805171621041680,-56,56,
 7740553500862114,7770535229098139,-.348664279106281115860,-56,56,
 7740553500862358,7770535229098385,.499827677523958683181,-56,56,
 7740553500862615,7770535229098646,-.499916450123502121955,-56,56,
 7740553500893795,7770535229130189,.499998337178199678197,-56,56,
 8359220028896300,8397024484044627,-.499997081502875839909,-56,56,
 8359220028901798,8397024484050199,.499964197793049934281,-56,56,
 8359220028906343,8397024484054806,.499750304525517336688,-56,56,
 8359220028906563,8397024484055030,-.499159938931243045185,-56,56,
 8359220028906710,8397024484055179,-.493886328877261878796,-56,56,
 8359220028906711,8397024484055180,-.480245011802064483190,-56,56,
 8359220028907296,8397024484055772,.499925477188979005396,-56,56,
 8513798801081326,8553751696635852,-.499995308844464104628,-56,56,
 8513798801092486,8553751696647169,.499950685042202672721,-56,56,
 8513798801093263,8553751696647958,-.499515440636605184113,-56,56,
 8513798801093466,8553751696648163,.374497913916113852219,-56,56,
 8513798801093475,8553751696648173,-.498082774798294401320,-56,56,
 8960578119055412,9007199254740991,-.000006053468608152530,-56,56,
 8960578119055413,4503599627370496,.007850248235589216912,-56,55,
 5173600871710191,5209607090813083,-.499996761439891358954,-55,55,
 5173600871716081,5209607090819097,-.491816755240487937468,-55,55,
 5173600871716085,5209607090819101,-.407600673742122128593,-55,55,
 5173600871716128,5209607090819144,.497722202365318714450,-55,55,
 5173600871717173,5209607090820211,.499173493818314649430,-55,55,
 5173600871717743,5209607090820793,.499965107341955673682,-55,55,
 6216155809170141,6278961506165007,-.499895201564156211790,-55,55,
 6216155809171836,6278961506166754,-.495721192999233883060,-55,55,
 6216155809171901,6278961506166820,.498539167211802330543,-55,55,
 6216155809172064,6278961506166988,.499530532048897584968,-55,55,
 6216155809174150,6278961506169138,.499947630540129570799,-55,55,
 6216155809179202,6278961506174345,.499999012112696464583,-55,55,
 7082784227659944,7176201384396029,-.498985918313065691317,-55,55,
 7082784227659969,7176201384396055,-.493987612138928878606,-55,55,
 7082784227660541,7176201384396650,-.499626366872662520396,-55,55,
 7082784227660939,7176201384397063,.499946667423277592350,-55,55,
 7082784227674944,7176201384411631,.499997787495182840352,-55,55,
 8824124773899256,9007199254740841,.000019971154124528108,-55,55,
 8824124773899350,9007199254740941,-.001559664146115881878,-55,55,
 8824124773899397,9007199254740991,-.002349481796185104543,-55,55,
 8824124773899398,4503599627370496,.030731750403502640633,-55,54,
 8824124773911918,4503599627377156,-.499997153021683963968,-55,54,
 5227720812181187,5382362673091212,.499988658359111559064,-54,54,
 5227720812183873,5382362673094146,-.499794075850255879205,-54,54,
 5227720812184917,5382362673095286,-.495242018632709399188,-54,54,
 5227720812185080,5382362673095463,.493974442411740198121,-54,54,
 5227720812185091,5382362673095476,-.494483342425714168994,-54,54,
 5227720812186472,5382362673096984,-.499956147891014930896,-54,54,
 5227720812236549,5382362673151665,.499999238835324454989,-54,54,
 5299073463162539,5460375201497186,.499988605867863238240,-54,54,
 5299073463177656,5460375201513735,.460597056598824901102,-54,54,
 5299073463177667,5460375201513748,-.497425917998828841055,-54,54,
 5299073463177762,5460375201513852,-.498533425887459553490,-54,54,
 5299073463177857,5460375201513956,-.499640933775737043854,-54,54,
 5299073463178786,5460375201514973,-.499944879317224084321,-54,54,
 5299073463208588,5460375201547597,.499992506713326069767,-54,54,
 5354986034456099,5521645576061938,-.499944676625426460603,-54,54,
 5354986034456708,5521645576062606,-.469894513048357075293,-54,54,
 5354986034456718,5521645576062616,.499400235122161056951,-54,54,
 5354986034463785,5521645576070368,.499998768220350863624,-54,54,
 6318840445926240,6598981832009934,-.476827576858078468905,-54,54,
 6318840445926247,6598981832009942,-.494736085661869462136,-54,54,
 6318840445926361,6598981832010071,.499325342391026460673,-54,54,
 6318840445928371,6598981832012363,.499882100273860420919,-54,54,
 6318840445928706,6598981832012745,.499974893274222200405,-54,54,
 6318840445950260,6598981832037323,.499975085308248571582,-54,54,
 6779876501427477,7130291867456372,.499282412013720155453,-54,54,
 6779876501427580,7130291867456492,.496380376708000879097,-54,54,
 6779876501427592,7130291867456506,.476624799779218347501,-54,54,
 6779876501427622,7130291867456541,.427235857457297747428,-54,54,
 6779876501427780,7130291867456726,-.499545905437308451289,-54,54,
 6779876501428489,7130291867457551,.499895424375845057535,-54,54,
 6779876501431931,7130291867461562,-.499995890851060764179,-54,54,
 7852441927961268,8415524045046996,-.499995981119733465602,-54,54,
 7852441928002056,8415524045097351,.499816689767851867098,-54,54,
 7852441928002137,8415524045097452,-.499301069589760137633,-54,54,
 7852441928002201,8415524045097531,-.486258311550987860891,-54,54,
 7852441928002218,8415524045097552,-.498418828946888189728,-54,54,
 7852441928003207,8415524045098773,-.499992458589336677141,-54,54,
 8324762628950771,9007199254740991,.497977541089382353939,-54,54,
 8324762628950772,4503599627370496,.384758929248502125951,-54,53,
 8324762628950922,4503599627370592,-.249717265179385815648,-54,53,
 8324762628953603,4503599627372296,.250078219903561735542,-54,53,
 8324762628954752,4503599627373027,-.250009429255343402122,-54,53,
 8324762628971755,4503599627383837,-.250000979555352916633,-54,53,
 8717776617209354,4756777605121134,-.499990024032751593817,-54,53,
 8717776617240988,4756777605141788,-.499602232096818672977,-54,53,
 8717776617241109,4756777605141867,-.498083393960379670677,-54,53,
 8717776617241207,4756777605141930,.486617813786979830276,-54,53,
 8717776617241230,4756777605141946,-.496564555823270016603,-54,53,
 8717776617242950,4756777605143069,-.499767848347204356192,-54,53,
 8717776617245566,4756777605144777,-.499988669740095333396,-54,53,
 8911976088174357,4884449665875469,-.365143846714715011801,-54,53,
 8911976088174384,4884449665875487,-.490457466228447670939,-54,53,
 8911976088174387,4884449665875488,.495618798270028644534,-54,53,
 8911976088174458,4884449665875535,.499423724734094585489,-54,53,
 8911976088177618,4884449665877627,.499755663380550983473,-54,53,
 8911976088179988,4884449665879197,-.499995382319115491273,-54,53,
 5971604121822102,7188774520420287,.499995879257118752459,-53,53,
 5971604121826626,7188774520428360,-.499713288642415746533,-53,53,
 5971604121827757,7188774520430378,-.499640579118567895867,-53,53,
 5971604121828049,7188774520430899,-.495200940488075579476,-53,53,
 5971604121828063,7188774520430923,.484463973693842307081,-53,53,
 5971604121828100,7188774520430990,-.497850181682075382717,-53,53,
 5971604121828151,7188774520431080,.499500577125143800728,-53,53,
 6059040276388832,7346611948596029,-.499989664390793095358,-53,53,
 6059040276405606,7346611948626667,-.499957755828742990468,-53,53,
 6059040276407122,7346611948629436,-.499835632944308066916,-53,53,
 6059040276408598,7346611948632131,.439597252969619430293,-53,53,
 6059040276408615,7346611948632162,.490390179168718853660,-53,53,
 6059040276408638,7346611948632205,-.499713508914623290945,-53,53,
 6059040276446025,7346611948700493,-.499999524428973220944,-53,53,
 6179968525038164,7571240719927125,.499994969738038963844,-53,53,
 6179968525077305,7571240720001082,-.499959734946056829176,-53,53,
 6179968525077667,7571240720001765,.490536587302233955181,-53,53,
 6179968525077676,7571240720001782,.495825169900475193894,-53,53,
 6179968525077685,7571240720001800,-.498886247501239511427,-53,53,
 6179968525101508,7571240720046812,.499992044559708562319,-53,53,
 6230674196575053,7667755931434614,-.499994616038991396107,-53,53,
 6230674196596759,7667755931476237,-.499973616630950700438,-53,53,
 6230674196597123,7667755931476934,.499289614412434390317,-53,53,
 6230674196597135,7667755931476958,-.489745663683762248020,-53,53,
 6230674196597147,7667755931476981,-.478780941779877555537,-53,53,
 6230674196610348,7667755931502294,.499993595242611611826,-53,53,
 6859830313938945,9007199254738812,.499996656216107943419,-53,53,
 6859830313939860,9007199254740991,.204525326575850922901,-53,53,
 6859830313939861,4503599627370497,-.207188413941166594118,-53,52,
 6859830313939866,4503599627370503,-.254443800086619681122,-53,52,
 6859830313939908,4503599627370553,-.251389043707952454740,-53,52,
 6859830313939929,4503599627370578,-.249861665518301725541,-53,52,
 7267747051737116,5035151950448169,.499998408015574338364,-53,52,
 7267747051742489,5035151950455869,-.499973271627696827608,-53,52,
 7267747051745917,5035151950460780,.499300344939258552110,-53,52,
 7267747051745984,5035151950460877,-.496046407509610899914,-53,52,
 7267747051745991,5035151950460887,-.465709501048854469123,-53,52,
 7267747051746148,5035151950461112,-.499581741848131375652,-53,52,
 7267747051747862,5035151950463568,-.499944930031242623183,-53,52,
 7302452754238662,5085331079065887,-.499986901334510949423,-53,52,
 7302452754244791,5085331079074828,.499974554408548987853,-53,52,
 7302452754244828,5085331079074882,.481700541420834027727,-53,52,
 7302452754244852,5085331079074917,.496874154618552875297,-53,52,
 7302452754266078,5085331079105886,-.499995933595400804599,-53,52,
 7511273082104804,5408223637270567,-.499560871804134539430,-53,52,
 7511273082104857,5408223637270654,-.494328089204358910561,-53,52,
 7511273082104871,5408223637270676,.488186230728125357952,-53,52,
 7511273082104882,5408223637270695,-.454123946467642633865,-53,52,
 7511273082106520,5408223637273384,-.499948512998711452116,-53,52,
 7511273082122190,5408223637299108,-.499991697283596564069,-53,52,
 7913137471605027,6166821929885832,.477631092708620916745,-53,52,
 7913137471605048,6166821929885878,.494598018581950718412,-53,52,
 7913137471605231,6166821929886279,.499595515513078983899,-53,52,
 7913137471605644,6166821929887184,.499945057998047938723,-53,52,
 7913137471622854,6166821929924896,.499983177842703292998,-53,52,
 7913137471631459,6166821929943753,-.499997554160133259046,-53,52,
 8070217332256068,6536633065491458,-.499552830045528575725,-53,52,
 8070217332256339,6536633065492145,-.485768517109748505314,-53,52,
 8070217332256367,6536633065492215,.497205507853730093505,-53,52,
 8070217332256481,6536633065492504,.499314038082876332168,-53,52,
 8070217332257948,6536633065496224,-.499868293634506541663,-53,52,
 8070217332258888,6536633065498606,.499973977960265112131,-53,52,
 8070217332265055,6536633065514241,-.499996935229776157927,-53,52,
 8575032706789218,8344794243226719,-.499996678866078325364,-53,52,
 8575032706796930,8344794243267889,.499763419705780254993,-53,52,
 8575032706797175,8344794243269197,.447758922134075476573,-53,52,
 8575032706797184,8344794243269245,.494828144686030201499,-53,52,
 8575032706797249,8344794243269593,-.498560803520873560463,-53,52,
 8575032706798141,8344794243274354,.499855481613483686285,-53,52,
 8575032706800563,8344794243287285,-.499960341559063997685,-53,52,
 8668443273592963,8905108987576291,.499220947722673386765,-53,52,
 8668443273592985,8905108987576441,-.458307508385518120651,-53,52,
 8668443273592994,8905108987576502,-.486387331336132849114,-53,52,
 8668443273593034,8905108987576772,.499924566680358077417,-53,52,
 8668443273595883,8905108987596073,.499989583629595334969,-53,52,
 8668443273627151,8905108987807904,-.499988388377396083546,-53,52,
 8683188500808656,9007199254740965,-.070726279035194332449,-53,52,
 8683188500808658,9007199254740979,.083390138972927828943,-53,52,
 8683188500808659,9007199254740986,.160448347977021072633,-53,52,
 8683188500808660,4503599627370497,-.381246721509432120840,-53,51,
 8683188500808825,4503599627371080,.476055521476853517542,-53,51,
 8683188500809163,4503599627372276,.498892844384362166848,-53,51,
 8683188500809176,4503599627372322,.499771202982187841336,-53,51,
 8683188500810318,4503599627376364,-.499991442353651043416,-53,51,
 8683188500852442,4503599627525421,-.499983136855036509730,-53,51,
 9001158123850072,9007199254649623,-.499996185120788435410,-53,51,
 9001158123850456,9007199254721213,.499740388092435294240,-53,51,
 9001158123850502,9007199254729790,-.495082529795890975813,-53,51,
 9001158123850562,9007199254740976,-.401373194154101166360,-53,51,
 9001158123850563,4503599627370581,.016760981190435579432,-53,50,
 9001158123850564,4503599627370674,.234208559473347028849,-53,50,
 9001158123850571,4503599627371327,-.243658392114364794705,-53,50,
 9007197227475228,9007195781278517,-.362786268816129729509,-53,50,
 9007197227481829,9007197614308589,.274202515975584741845,-53,50,
 9007197227487628,9007199224636403,.298638830032147749165,-53,50,
 9007197227487736,9007199254627032,.250421082439927061066,-53,50,
 9007197227487737,4503599627452362,-.366650383710321525811,-53,49,
 9007197227487747,4503599628840817,-.281492712381068371389,-53,49,
 9007197227487751,4503599629396199,-.245511938790836503435,-53,49,
 9007197227488430,4503599723672315,.243462726487943842509,-53,49,
 9007197227536241,4503606362095457,-.182342321639685197208,-53,49,
 9007199120523243,5267796789502181,-.058131876919640173919,-53,49,
 9007199120523249,5267796802085091,.348118352185682086574,-53,49,
 9007199120523263,5267796831445218,-.183131515256082327864,-53,49,
 9007199120523264,5267796833542370,-.175319015100861897677,-53,49,
 9007199120523307,5267796923719921,-.058128424816598324512,-53,49,
 9007199120527275,5267805245344795,.445997436421353939709,-53,49,
 9007199120918827,5268627614114797,.026419881621887898638,-53,49,
 9007199126162617,5279879055967471,.483768897366942636062,-53,49,
 9007199126193114,5279945825831428,.238929610037157241759,-53,49,
 9007199126196961,5279954249544546,.441561994392141726721,-53,49,
 9007199126197056,5279954457567686,-.316600102177739112165,-53,49,
 9007199126197071,5279954490413459,-.435251386837993759691,-53,49,
 9007199126197243,5279954867045262,-.442119787622314772327,-53,49,
 9007199126197712,5279955894026401,.235892195269921761620,-53,49,
 9007199126204128,5279969943679834,.109822913366349223563,-53,49,
 9007199126209817,5279982401946995,-.002034229451593408962,-53,49,
 9007199126219001,5280002515032905,.436957234212523388163,-53,49,
 9007199126219182,5280002911439829,-.307864485991501796999,-53,49,
 9007199126219189,5280002926770494,.395404049790437729624,-53,49,
 9007199126219210,5280002972762497,-.484838691019041910162,-53,49,
 9007199126219305,5280003180821648,-.382361245620252935978,-53,49,
 9007199126220159,5280005051170817,-.484232892919587209215,-53,49,
 9007199126229546,5280025610500070,.312113809961112503056,-53,49,
 9007199126686809,5281028926727347,-.006791736040791445352,-53,49,
 9007199126696378,5281049961063346,.182552521694785680777,-53,49,
 9007199126700096,5281058134301816,-.196617228446276153787,-53,49,
 9007199126700517,5281059059796439,.444401753460234183650,-53,49,
 9007199126700526,5281059079581393,.361777403333830027854,-53,49,
 9007199126700644,5281059338984251,.148181197379947732568,-53,49,
 9007199127997169,5283924057741457,-.094477396958077912445,-53,49,
 9007199128000395,5283931222191890,-.155049702303815386124,-53,49,
 9007199128001075,5283932732390702,-.499488109786309849661,-53,49,
 9007199128013979,5283961392169933,.173153057886948566568,-53,49,
 9007199128056004,5284054749911802,-.042279457980145287050,-53,49,
 9007199129244612,5286708125072836,-.128739233792051314173,-53,49,
 9007199129253363,5286727753315680,.236536817571206002817,-53,49,
 9007199129259197,5286740839571366,-.174704070179571039665,-53,49,
 9007199129259553,5286741638135289,.392301347497062945984,-53,49,
 9007199129259562,5286741658323733,-.447672999979257537842,-53,49,
 9007199129279527,5286786446584911,-.329774146387898481096,-53,49,
 9007199131406209,5291598595926945,-.431575420421317438828,-53,49,
 9007199131406399,5291599029545798,-.467962505822900402151,-53,49,
 9007199131407050,5291600515265986,-.495035577158852576423,-53,49,
 9007199131421449,5291633378845610,.235476603672343843660,-53,49,
 9007199131476427,5291758893273587,.338695819012816792312,-53,49,
 9007199131479045,5291764871547389,.374529689110278594588,-53,49,
 9007199131500070,5291812887308538,.041557730782111943035,-53,49,
 9007199131513124,5291842703451787,.275266269572496447268,-53,49,
 9007199131513869,5291844405173130,-.148859363350511402944,-53,49,
 9007199131513909,5291844496541010,-.264161605235803050229,-53,49,
 9007199131515250,5291847559666347,.046889565382627731315,-53,49,
 9007199131539083,5291902004799915,-.173397312674078549301,-53,49,
 9007199134199200,5298046049564452,.352189021085809103622,-53,49,
 9007199134234610,5298128746968032,-.037972158833651065639,-53,49,
 9007199134247113,5298157952593336,.339084890411260243962,-53,49,
 9007199134247841,5298159653214191,-.363531131867259934180,-53,49,
 9007199134248017,5298160064354841,-.445450873852187513814,-53,49,
 9007199134248023,5298160078371010,-.340084690756233494558,-53,49,
 9007199135341783,5300726799874586,.003941373548443591004,-53,49,
 9007199135343479,5300730798100020,-.454672689892326263976,-53,49,
 9007199135344014,5300732059344472,.111356360830112112690,-53,49,
 9007199135344228,5300732563843836,-.456164746306201751218,-53,49,
 9007199135353441,5300754284106148,-.344539086450161990898,-53,49,
 9007199135365099,5300781771021631,-.196801068689476679794,-53,49,
 9007199136523545,5303526596671776,-.409799671413671307227,-53,49,
 9007199136598639,5303705451813394,.156111740372924615310,-53,49,
 9007199136601206,5303711567775210,.324075754534185455240,-53,49,
 9007199136603773,5303717683869919,-.406332501725632866329,-53,49,
 9007199136603986,5303718191366413,-.173319573108536714397,-53,49,
 9007199136603989,5303718198514257,.308124343709513675885,-53,49,
 9007199136604026,5303718286671021,-.162903899407845123360,-53,49,
 9007199137546347,5305972477680473,-.053098762622397064589,-53,49,
 9007199139410964,5310486874141007,-.268806226147559721679,-53,49,
 9007199139415403,5310497708192620,.327268614496246218961,-53,49,
 9007199139415558,5310498086501124,-.185519689987768294346,-53,49,
 9007199139416178,5310499599740222,.332503073354511857917,-53,49,
 9007199139416305,5310499909711171,-.400806526320117643699,-53,49,
 9007199139416333,5310499978051268,.111136572588948317404,-53,49,
 9007199139435611,5310547034147242,.433552285387790137487,-53,49,
 9007199139460258,5310607207014302,-.258190634778443209688,-53,49,
 9007199140511146,5313184872448596,.063724849270887166684,-53,49,
 9007199140541212,5313258968150633,.490082826736593351202,-53,49,
 9007199140541276,5313259125895278,-.242556756590028630337,-53,49,
 9007199140542060,5313261058274345,-.436848225745377708613,-53,49,
 9007199140542204,5313261413202554,.032907174832888748378,-53,49,
 9007199141806237,5316394348390685,.411684500281883226636,-53,49,
 9007199141807651,5316397872621213,.030810200835037384042,-53,49,
 9007199141807654,5316397880098411,-.011843302987843459842,-53,49,
 9007199141807701,5316397997241205,-.081568403452120732629,-53,49,
 9007199141808126,5316399056513364,-.374620444805218136114,-53,49,
 9007199141841089,5316481225809011,-.458204227224926497298,-53,49,
 9007199144114571,5322207176591957,-.311268726019250966131,-53,49,
 9007199144115176,5322208715942377,-.490348713894219563750,-53,49,
 9007199144115650,5322209921984785,.384869575738992624693,-53,49,
 9007199144163731,5322332285812949,.313527449843963804388,-53,49,
 9007199148134893,5332626880523808,-.451377347355834167383,-53,49,
 9007199148134913,5332626933330356,-.342033053512804747496,-53,49,
 9007199148134933,5332626986136914,-.325832932006793042878,-53,49,
 9007199148135318,5332628002665086,.399269971695906206528,-53,49,
 9007199148145963,5332656110463092,.163340787556654365547,-53,49,
 9007199148242181,5332910298583311,-.332100080274331408662,-53,49,
 9007199148243468,5332913700128198,.026028080274019607645,-53,49,
 9007199148243611,5332914078080167,.417832100265046641823,-53,49,
 9007199148243640,5332914154727831,.497541469609532512962,-53,49,
 9007199148243642,5332914160013878,.065491824120884131502,-53,49,
 9007199148277730,5333004269814509,-.080698896668728898981,-53,49,
 9007199149143712,5335303175753236,-.029523021359862269355,-53,49,
 9007199149170697,5335375114850253,.126271174286671671367,-53,49,
 9007199149197643,5335446968328450,-.306935193201387389127,-53,49,
 9007199149197679,5335447064337351,-.271285311363092092656,-53,49,
 9007199149197682,5335447072338094,-.040111341495734610848,-53,49,
 9007199151660427,5342092843803185,-.113167892845000134844,-53,49,
 9007199151664355,5342103569925816,.098132009110422604708,-53,49,
 9007199151664372,5342103616348315,-.406383222018244497856,-53,49,
 9007199151664429,5342103772000277,.186019638713169167352,-53,49,
 9007199151677417,5342139241046323,-.329385787326436686568,-53,49,
 9007199154067401,5348743353275424,-.419865447280151740199,-53,49,
 9007199154068718,5348747035521855,-.335910255422991726399,-53,49,
 9007199154069329,5348748743854515,-.367694406693166922438,-53,49,
 9007199154069367,5348748850101406,-.487688076842294126640,-53,49,
 9007199154069701,5348749783957382,.315831682486839641838,-53,49,
 9007199154082203,5348784741477719,.307147459784883418851,-53,49,
 9007199154101939,5348839935215854,-.142715750487253002966,-53,49,
 9007199158257163,5360708317528668,.127097514893597963816,-53,49,
 9007199158316759,5360882232326853,.498520493385987500806,-53,49,
 9007199158318436,5360887127752294,-.130129550398022843099,-53,49,
 9007199158318659,5360887778730606,-.306929269829642675114,-53,49,
 9007199158318775,5360888117356691,-.481556622362503331821,-53,49,
 9007199158321567,5360896267859156,-.485729951552840257269,-53,49,
 9007199159649962,5364801182090483,-.401416434497981940746,-53,49,
 9007199159685193,5364905487222706,-.465485067296465964217,-53,49,
 9007199159685209,5364905534601194,-.487467457527384906573,-53,49,
 9007199159685249,5364905653047448,.347562990140682559802,-53,49,
 9007199159685253,5364905664892077,-.427576735402128944704,-53,49,
 9007199159687803,5364913215944013,-.112989300450837118287,-53,49,
 9007199159688228,5364914474472363,.479369785216824197274,-53,49,
 9007199159698007,5364943434023839,-.178904712133086822423,-53,49,
 9007199159744972,5365082557806560,-.150885103081562339955,-53,49,
 9007199159746861,5365088155004425,.414145745547696971110,-53,49,
 9007199159747827,5365091017351905,.096652852192084191237,-53,49,
 9007199159748042,5365091654420780,.492459310309669606071,-53,49,
 9007199159748045,5365091663310124,-.162389522447615860957,-53,49,
 9007199159764828,5365141397654265,.011414412678153327846,-53,49,
 9007199159784684,5365200249804490,.180771900047788770657,-53,49,
 9007199160620815,5367689734302262,.449623455458441303233,-53,49,
 9007199160620836,5367689797104686,-.205673044512204003976,-53,49,
 9007199160621032,5367690383261313,-.277636172187200362984,-53,49,
 9007199160621060,5367690466998073,.356245860809165130130,-53,49,
 9007199160624707,5367701373924083,-.230063945518025849996,-53,49,
 9007199160625228,5367702932090871,.176829884686828629190,-53,49,
 9007199160635134,5367732559836152,-.456409262513145280706,-53,49,
 9007199166245381,5385034078022258,-.298517602274312854652,-53,49,
 9007199166274499,5385126707893861,.000025743195503491428,-53,49,
 9007199166274711,5385127382417795,-.342182431565156297040,-53,49,
 9007199166274762,5385127544685586,-.062823927825568563897,-53,49,
 9007199166276654,5385133564568578,.367463136759137472146,-53,49,
 9007199166285011,5385160156046674,-.101683750875697594283,-53,49,
 9007199166656477,5386344683573084,.084033558644141577046,-53,49,
 9007199166805337,5386820769640118,.214314823549192136091,-53,49,
 9007199166820223,5386868422565595,.353779884572544034036,-53,49,
 9007199166821736,5386873266418886,-.108795382514917542419,-53,49,
 9007199166822590,5386876000527541,-.340917016450711285524,-53,49,
 9007199166822761,5386876547992769,.391529226740040374536,-53,49,
 9007199166823249,5386878110355535,-.119681234747538448150,-53,49,
 9007199168411661,5392010025717803,-.396855882474724374803,-53,49,
 9007199168476451,5392221351467364,.239821793057187917901,-53,49,
 9007199168493858,5392278154984688,-.180316628733593099251,-53,49,
 9007199168494018,5392278677159005,-.486142795394755910387,-53,49,
 9007199168494039,5392278745694455,.494964385694781026925,-53,49,
 9007199168494046,5392278768539610,-.469670534774816815554,-53,49,
 9007199168494357,5392279783519039,-.452954032211431495303,-53,49,
 9007199168498038,5392291797106646,-.265437669702069641544,-53,49,
 9007199168505400,5392315825820219,.450686405083173914340,-53,49,
 9007199168508851,5392327090189879,-.234486799562759036051,-53,49,
 9007199168516877,5392353289508221,-.030805676768237434216,-53,49,
 9007199168518131,5392357383167973,-.167999222862155663145,-53,49,
 9007199168518256,5392357791231419,-.428157382216072998339,-53,49,
 9007199168518257,5392357794495929,-.476975350282153518530,-53,49,
 9007199168524276,5392377444267298,.047757878486729429444,-53,49,
 9007199168810737,5393314221460008,.060628860941124855466,-53,49,
 9007199168829920,5393377064719202,-.264218089793934038207,-53,49,
 9007199168831304,5393381599227950,-.499570913130895841624,-53,49,
 9007199168832359,5393385055857023,-.170040887972862636634,-53,49,
 9007199168840731,5393412487597758,.255943389486333839706,-53,49,
 9007199168912664,5393648293888351,.088380562509614186335,-53,49,
 9007199168966149,5393823753229817,.011610164397696093623,-53,49,
 9007199168966391,5393824547367566,.456715975935330850458,-53,49,
 9007199168966498,5393824898495302,.239273382391452952861,-53,49,
 9007199168966544,5393825049447548,-.420258267192152332263,-53,49,
 9007199168966554,5393825082263264,-.199182719423882014187,-53,49,
 9007199168969858,5393835924785362,-.397407923660618560337,-53,49,
 9007199171589217,5402565861080841,-.463400532042745474373,-53,49,
 9007199171589225,5402565888161440,.227966488389323871540,-53,49,
 9007199171589300,5402566142042189,.043227927488253404194,-53,49,
 9007199171591325,5402572996908967,.350059023344952624723,-53,49,
 9007199171592075,5402575535790880,.004577502859410109371,-53,49,
 9007199174856136,5413847731305353,.115315648068609214632,-53,49,
 9007199174884739,5413948532269250,.200283828661705164910,-53,49,
 9007199174886151,5413953509289430,-.004136765337830741055,-53,49,
 9007199174886272,5413953935794545,-.097818319840337661247,-53,49,
 9007199174886353,5413954221306595,-.492370087622541954132,-53,49,
 9007199174886393,5413954362300306,.071586062660657516441,-53,49,
 9007199174894038,5413981311020187,-.475799280808339114213,-53,49,
 9007199175899345,5417547698895130,-.158616942765715459288,-53,49,
 9007199175899353,5417547727456176,.235868460718036363117,-53,49,
 9007199175899381,5417547827419861,.438851807711681295456,-53,49,
 9007199175899949,5417549855262283,.117787954847134735905,-53,49,
 9007199175902667,5417559559118911,.000255349992374113449,-53,49,
 9007199175902969,5417560637345854,-.062942323426321299545,-53,49,
 9007199175910672,5417588140669800,.402262266932567168564,-53,49,
 9007199176322229,5419061513484328,.206344827946959628584,-53,49,
 9007199176324313,5419068993857981,-.350882370869420684115,-53,49,
 9007199176324457,5419069510743349,.366782506938232573606,-53,49,
 9007199176324470,5419069557406659,-.466618849238035237092,-53,49,
 9007199176328625,5419084472114542,.451737651484566721979,-53,49,
 9007199176389315,5419302413892880,-.343226055384243168759,-53,49,
 9007199176429882,5419448186809393,.479311740450103922402,-53,49,
 9007199176451072,5419524360699422,.495790996384232069988,-53,49,
 9007199176451113,5419524508106357,.093933210615941691740,-53,49,
 9007199176453163,5419531878551514,-.083299080352075555527,-53,49,
 9007199176455459,5419540133679221,-.461989429305901766988,-53,49,
 9007199176455500,5419540281094416,-.405447946658392395487,-53,49,
 9007199176870880,5421037753475869,.424176779322995747541,-53,49,
 9007199176871399,5421039629497319,-.262726300943382130044,-53,49,
 9007199176871518,5421040059646581,-.184981257988875558253,-53,49,
 9007199176871529,5421040099408310,.499882792483552532217,-53,49,
 9007199176871572,5421040254840580,.434386519390643943706,-53,49,
 9007199176888580,5421101740457364,.374258865172642830239,-53,49,
 9007199178381380,5426551367036370,-.499580326025902192264,-53,49,
 9007199178381686,5426552495008521,-.221378292041815071804,-53,49,
 9007199178381694,5426552524498049,.418238697256514730725,-53,49,
 9007199178381725,5426552638770002,.078571558067823134882,-53,49,
 9007199178383388,5426558768975332,-.184817108381075561378,-53,49,
 9007199178387059,5426572301609007,-.185243437490074491655,-53,49,
 9007199178426781,5426718772890201,-.426794543521736054886,-53,49,
 9007199180253114,5433536877060751,-.416618043858928165137,-53,49,
 9007199180253763,5433539329514242,-.086395453241362163205,-53,49,
 9007199180253768,5433539348408420,-.446789082304381503773,-53,49,
 9007199180253811,5433539510898400,-.391428115949882457401,-53,49,
 9007199180260132,5433563397945907,-.170508162805194426418,-53,49,
 9007199180265607,5433584089599413,-.052618524958644348757,-53,49,
 9007199185869675,5455603560665924,.053179089951169779341,-53,49,
 9007199185879316,5455642965897832,.048079377888713142995,-53,49,
 9007199185880032,5455645892592963,-.065355162867611420792,-53,49,
 9007199185881464,5455651746074519,.069321125503535321381,-53,49,
 9007199185881697,5455652698503075,-.476981469851935481719,-53,49,
 9007199185881747,5455652902887305,-.302457062949737459261,-53,49,
 9007199185881797,5455653107271683,.279375321948988228693,-53,49,
 9007199186446478,5457970864059636,.499560775407616852106,-53,49,
 9007199186459949,5458026390092570,-.111187103297342210752,-53,49,
 9007199186459953,5458026406581772,.376370012310525298663,-53,49,
 9007199186459977,5458026505517008,-.413105125911100202526,-53,49,
 9007199186460076,5458026913625220,.409133665333686124532,-53,49,
 9007199186460461,5458028500718340,-.335313977482578485713,-53,49,
 9007199186464053,5458043308522269,-.191002593859509854203,-53,49,
 9007199188311461,5465764269962889,.051752339679293779130,-53,49,
 9007199188311470,5465764308097660,.338095319610660346283,-53,49,
 9007199188311668,5465765147063936,-.216953479507812214737,-53,49,
 9007199188311992,5465766519923235,-.002386110117618294923,-53,49,
 9007199188312001,5465766558058311,.114149257357960672062,-53,49,
 9007199188313454,5465772714822239,.291415522104403106295,-53,49,
 9007199188323616,5465815777799110,-.409221014334781044477,-53,49,
 9007199188333778,5465858847365211,.162001747704404144619,-53,49,
 9007199191474457,5479496078886355,.028191299851039116521,-53,49,
 9007199191506340,5479637963197749,-.137583407184136934651,-53,49,
 9007199191510305,5479655613066017,.367129929001943840692,-53,49,
 9007199191510468,5479656338670667,.237243615096138929460,-53,49,
 9007199191510577,5479656823891998,.215317334747288620136,-53,49,
 9007199191510581,5479656841698302,-.498406088159171564725,-53,49,
 9007199191510631,5479657064277188,-.376593189605312484104,-53,49,
 9007199191511337,5479660207109848,-.015491893212171516661,-53,49,
 9007199194040578,5491150831220185,.302009821519512089110,-53,49,
 9007199194061207,5491246506584336,.453467663971666449354,-53,49,
 9007199194073518,5491303619344697,.111356607304676587248,-53,49,
 9007199194073522,5491303637903240,.487522692165507844918,-53,49,
 9007199194074516,5491308249739203,-.317938472914093159408,-53,49,
 9007199194078176,5491325231597443,-.466899956653915084183,-53,49,
 9007199194767309,5494541104195949,.286699125931233708507,-53,49,
 9007199194769855,5494553053612243,-.475510778235629085241,-53,49,
 9007199194769916,5494553339916342,-.075386196217747160003,-53,49,
 9007199194769952,5494553508882832,.315989599149428104873,-53,49,
 9007199194770290,5494555095295383,.255507109110933161466,-53,49,
 9007199194771340,5494560023557085,-.305381360656607610714,-53,49,
 9007199198533376,5512795765751886,.269416030754161122809,-53,49,
 9007199198533848,5512798129430631,.351285802705019379202,-53,49,
 9007199198533861,5512798194532234,-.407261870137204785768,-53,49,
 9007199198554810,5512903122827635,-.209842794555679819488,-53,49,
 9007199199877260,5519607390637069,.208064146739877069163,-53,49,
 9007199199880361,5519623300575059,.376729662834235525722,-53,49,
 9007199199880879,5519625958304730,-.448427204577009747876,-53,49,
 9007199199880952,5519626332851662,-.082124455355855728074,-53,49,
 9007199199882539,5519634475522550,.248454797408467095916,-53,49,
 9007199199919824,5519825847353474,-.428770558991801911557,-53,49,
 9007199200386691,5522233204621385,.307530510906303002845,-53,49,
 9007199200386741,5522233463547636,-.290420702978519399998,-53,49,
 9007199200386834,5522233945151095,-.020202741613387627628,-53,49,
 9007199200386977,5522234685682753,-.090592661894765939106,-53,49,
 9007199201984176,5530629819484683,-.006230667261958597290,-53,49,
 9007199201984998,5530634205159399,.427350216580829451627,-53,49,
 9007199201985820,5530638590902450,.327190277372589376538,-53,49,
 9007199201985885,5530638937709865,-.017515459309174879226,-53,49,
 9007199201985903,5530639033748917,-.102016629060956594024,-53,49,
 9007199201985957,5530639321866269,.255352125751536132576,-53,49,
 9007199202039106,5530923041791064,.417855648050821152617,-53,49,
 9007199203775949,5540355627463061,-.210650052027436378804,-53,49,
 9007199203813453,5540562834657656,-.140303120008116436658,-53,49,
 9007199203813481,5540562989412857,-.093730391780921422054,-53,49,
 9007199203813495,5540563066790489,.336274431307253691995,-53,49,
 9007199203813623,5540563774244115,-.014896956283702962714,-53,49,
 9007199203813878,5540565183629684,.479976815383522492323,-53,49,
 9007199203816485,5540579592929395,.465707752899229666487,-53,49,
 9007199206214971,5554159103163882,-.040557630089270971892,-53,49,
 9007199206237822,5554291681509898,.473011273349006050884,-53,49,
 9007199206238377,5554294902320132,-.472751343034242724439,-53,49,
 9007199206238381,5554294925533312,.018659252901909042283,-53,49,
 9007199206238415,5554295122845423,.489021003511449187597,-53,49,
 9007199206238559,5554295958521782,-.032280355934168927643,-53,49,
 9007199215261768,5612234599767347,.494639133538568900666,-53,49,
 9007199215274043,5612322130428892,-.280075045789686670928,-53,49,
 9007199215286318,5612409688318434,-.337963621498303000110,-53,49,
 9007199215288235,5612423364787806,-.467354073067639665631,-53,49,
 9007199215288243,5612423421863666,-.168914320296148568782,-53,49,
 9007199215288280,5612423685839670,.257538373401199664431,-53,49,
 9007199215288325,5612424006891901,.176321884829439915078,-53,49,
 9007199217480149,5628512739377173,.467165131709764227008,-53,49,
 9007199217481117,5628520051914823,.327237291924486711795,-53,49,
 9007199217481426,5628522386225624,-.247252792749691269486,-53,49,
 9007199217481442,5628522507096613,.061999204420062809577,-53,49,
 9007199217481501,5628522952808835,-.271573429276639168012,-53,49,
 9007199217481601,5628523708254890,.113432823494404723651,-53,49,
 9007199217488327,5628574524211503,-.085683899483300408950,-53,49,
 9007199217496989,5628639980461554,.166111045493080044366,-53,49,
 9007199217526822,5628865536451141,-.227954647156649260722,-53,49,
 9007199219795155,5646567569312042,-.164626408864629001248,-53,49,
 9007199219795993,5646574319153493,.221066631837884569271,-53,49,
 9007199219796194,5646575938172945,.480934026805299548384,-53,49,
 9007199219796228,5646576212037853,.282973876874012833274,-53,49,
 9007199219796262,5646576485903028,-.454140320779412081880,-53,49,
 9007199219856864,5647065050411824,.229544097621495516724,-53,49,
 9007199222891478,5672682036801255,-.128515912167546294644,-53,49,
 9007199222895273,5672715577695587,.399732180915905041633,-53,49,
 9007199222897976,5672739469734387,-.254175010518659124612,-53,49,
 9007199222897986,5672739558128973,-.325034904689592773881,-53,49,
 9007199222898067,5672740274126142,-.221024064530627133000,-53,49,
 9007199222898977,5672748318170127,-.037400917653707129069,-53,49,
 9007199222899068,5672749122587169,.255238358139341281764,-53,49,
 9007199224998218,5691945033329171,-.311044783416658771456,-53,49,
 9007199225019809,5692149437032048,-.199365626514889604818,-53,49,
 9007199225020363,5692154683747520,.050709096447894985259,-53,49,
 9007199225021062,5692161303840344,.360091584676547122109,-53,49,
 9007199226254864,5704096020931206,.019606682152161946289,-53,49,
 9007199226255603,5704103323176928,-.499511505369049961798,-53,49,
 9007199226256020,5704107443742900,-.448237777695326898867,-53,49,
 9007199226256028,5704107522795115,-.355495394876646819528,-53,49,
 9007199226256181,5704109034673001,-.057696561976557184071,-53,49,
 9007199226257659,5704123640029157,-.185890910135636035298,-53,49,
 9007199226305013,5704591986137887,-.477316814165291017227,-53,49,
 9007199227497713,5716652727593674,-.224748112094398894246,-53,49,
 9007199227550497,5717198615881704,.483845487800723276663,-53,49,
 9007199227559630,5717293176234512,-.166083476665625160583,-53,49,
 9007199227559770,5717294625999917,-.378186225523135451471,-53,49,
 9007199227559980,5717296800662025,-.168290964535318534978,-53,49,
 9007199227559996,5717296966351255,.228271173250696377104,-53,49,
 9007199228521502,5727434294773195,-.253874678624779553710,-53,49,
 9007199228523384,5727454499396539,-.379993112744419790222,-53,49,
 9007199228524004,5727461155859986,-.127727624570604875496,-53,49,
 9007199228524013,5727461252487227,.297003492506578588947,-53,49,
 9007199228524325,5727464602252104,-.059927766476496299659,-53,49,
 9007199229842704,5741987671714457,.433761420009843564098,-53,49,
 9007199229855410,5742131349622048,.070310947489553592718,-53,49,
 9007199229868116,5742275100906976,-.291981774099991360587,-53,49,
 9007199229868379,5742278077173587,-.351492621726099177623,-53,49,
 9007199229869086,5742286078167981,-.472884065563384835000,-53,49,
 9007199229869099,5742286225288819,-.263855603630231203753,-53,49,
 9007199229869168,5742287006162247,.228136371574525320527,-53,49,
 9007199231957769,5766975504245165,.079482140287665867847,-53,49,
 9007199231959414,5766995828106010,.023159739726596246253,-53,49,
 9007199231959621,5766998385680598,-.204196489407332379748,-53,49,
 9007199231959634,5766998546302000,-.362085936050609478062,-53,49,
 9007199231959655,5766998805767535,-.305420643631670041131,-53,49,
 9007199231959710,5766999485321260,.026799059594984078848,-53,49,
 9007199231978101,5767226807775204,-.469444790569657841295,-53,49,
 9007199231988267,5767352543727648,.425414193459441253462,-53,49,
 9007199235331125,5812079867113728,-.102845245357925616500,-53,49,
 9007199235331261,5812081839344191,.182820611447697960917,-53,49,
 9007199235331329,5812082825464605,-.038077728270461101487,-53,49,
 9007199235331332,5812082868969997,-.094905635090728059561,-53,49,
 9007199235351356,5812373402872474,.460208645918818208528,-53,49,
 9007199237626627,5847507257888654,-.454202502034653516416,-53,49,
 9007199237626646,5847507570376294,-.321692833205093893005,-53,49,
 9007199237626989,5847513211660196,-.097371593605773412365,-53,49,
 9007199237628484,5847537801083924,-.402508461151807725927,-53,49,
 9007199237631131,5847581343613989,.041755868845264175853,-53,49,
 9007199237637577,5847687406986761,-.039530250557120418558,-53,49,
 9007199242112238,5933059294885558,.452385270225154595606,-53,49,
 9007199242153386,5933977916179827,.275971119351583203051,-53,49,
 9007199242163163,5934196627359482,-.329392493355549869922,-53,49,
 9007199242163304,5934199782768432,-.131429748200245598396,-53,49,
 9007199242163317,5934200073694442,.341461882003277510349,-53,49,
 9007199242163326,5934200275104933,.430789353678576589334,-53,49,
 9007199242164476,5934226012075722,-.270674016055568743232,-53,49,
 9007199242167102,5934284790712698,.341184327469368444595,-53,49,
 9007199248019516,6110576697516206,-.127840940578439715629,-53,49,
 9007199248041206,6111486477470166,.243114034482132721849,-53,49,
 9007199248046026,6111689050753615,-.386908787669337787845,-53,49,
 9007199248046443,6111706583138525,-.266894625422072916816,-53,49,
 9007199248046848,6111723612039799,.106719824092437181212,-53,49,
 9007199248046860,6111724116615552,.069076946788530057362,-53,49,
 9007199248306829,6122873216341428,.456418890459200630320,-53,49,
 9007199248317957,6123360453813245,-.179563393662323685208,-53,49,
 9007199248319292,6123418963248495,.253661631801348090310,-53,49,
 9007199248319740,6123438600601288,.049513773774191958643,-53,49,
 9007199248319758,6123439389630699,.115424268055398302198,-53,49,
 9007199248319866,6123444123853614,-.045990342134205579391,-53,49,
 9007199248319875,6123444518375784,.465701258804719606295,-53,49,
 9007199248338878,6124278765672720,.392461417499492910685,-53,49,
 9007199248739955,6142489059709458,.368913627626080401142,-53,49,
 9007199248739970,6142489763276180,.057005572241464889092,-53,49,
 9007199248740115,6142496564511824,.287433147258788522942,-53,49,
 9007199248740147,6142498065496309,.307627211575134390847,-53,49,
 9007199248744277,6142691853516560,.109839106584892540958,-53,49,
 9007199249804375,6197447614365966,-.461653118744693511880,-53,49,
 9007199249805096,6197488727192786,-.219438404301572927746,-53,49,
 9007199249805231,6197496425823698,.244180432427550046916,-53,49,
 9007199249805366,6197504124665182,-.037517390019551069835,-53,49,
 9007199249805406,6197506405843840,-.022145247491738648072,-53,49,
 9007199249805412,6197506748022233,.234913724667653759239,-53,49,
 9007199249806673,6197578671746612,-.102114751720652285746,-53,49,
 9007199249823480,6198539052517307,.296563499131609581082,-53,49,
 9007199251116642,6284424878766463,-.194988681087801819444,-53,49,
 9007199251247725,6294793730221055,.488815266638431409549,-53,49,
 9007199251247805,6294800176409105,.164142565832233820443,-53,49,
 9007199251247821,6294801465664431,-.456979222376848532003,-53,49,
 9007199251248010,6294816695439851,.037840474867181347041,-53,49,
 9007199254740989,5113180901456073,.478072700827730677046,-53,48,
 9007199254740990,5170245042386938,.079229716698351668025,-53,48,
 9007199254740991,5267796835639522,-.175319015062056790402,-53,48 };
#include "trailer.h"