xref: /openbsd/regress/lib/libm/fpaccuracy/atanh.c (revision 2b0358df)

/*	$OpenBSD: atanh.c,v 1.1 2009/04/09 01:24:43 martynas Exp $	*/

/*
 * Copyright (c) 2009 Gaston H. Gonnet <gonnet@inf.ethz.ch>
 *
 * Permission to use, copy, modify, and distribute this software for any
 * purpose with or without fee is hereby granted, provided that the above
 * copyright notice and this permission notice appear in all copies.
 *
 * THE SOFTWARE IS PROVIDED "AS IS" AND THE AUTHOR DISCLAIMS ALL WARRANTIES
 * WITH REGARD TO THIS SOFTWARE INCLUDING ALL IMPLIED WARRANTIES OF
 * MERCHANTABILITY AND FITNESS. IN NO EVENT SHALL THE AUTHOR BE LIABLE FOR
 * ANY SPECIAL, DIRECT, INDIRECT, OR CONSEQUENTIAL DAMAGES OR ANY DAMAGES
 * WHATSOEVER RESULTING FROM LOSS OF USE, DATA OR PROFITS, WHETHER IN AN
 * ACTION OF CONTRACT, NEGLIGENCE OR OTHER TORTIOUS ACTION, ARISING OUT OF
 * OR IN CONNECTION WITH THE USE OR PERFORMANCE OF THIS SOFTWARE.
 */

/* 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"
#define Fn fpaccuracy_atanh
  /* 9 candidate values discarded */

static 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"