OpenBSD-4.6/regress/lib/libm/fpaccuracy/tanh.c

/*	$OpenBSD: tanh.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:45:14.
   Do not edit, rerun the original maple program.       */
#include "header.h"
#define DBL_MAX_EXP 1024
#define N 792
#define F tanh
#define Fs "tanh"
#define Fn fpaccuracy_tanh

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