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

/*	$OpenBSD: atan.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:26:56.
   Do not edit, rerun the original maple program.       */
#include "header.h"
#define DBL_MAX_EXP 1024
#define N 870
#define F atan
#define Fs "atan"
#define Fn fpaccuracy_atan
  /* 2 candidate values discarded */

static struct input_point { double arg_m, val, eps;
	int arg_e, val_e; } input_points[N] = {
 -9007199254740990.,-7074237752028440.,-.275765943415024521374,971,52,
 -8242701861722232.,-7074237752028439.,-.183017545396534775709,-1,52,
 -8242701861718072.,-7074237752028439.,-.183017545395983277740,-1,52,
 -8242701861718030.,-7074237752028439.,-.183017545395977709732,-1,52,
 -8178102513294909.,-7074237752028439.,-.174385856763109364582,-1,52,
 -8178102513290568.,-7074237752028439.,-.174385856762524743523,-1,52,
 -8178102513290524.,-7074237752028439.,-.174385856762518817854,-1,52,
 -8003544517558113.,-7074237752028439.,-.150364662147572440217,-1,52,
 -8003544517553246.,-7074237752028439.,-.150364662146888077430,-1,52,
 -8003544517553197.,-7074237752028439.,-.150364662146881187399,-1,52,
 -6848882081658556.,-7074237752028439.,.039368285404953677752,-1,52,
 -6848882081658555.,-7074237752028439.,.039368285404953869773,-1,52,
 -6848882081658468.,-7074237752028439.,.039368285404970575664,-1,52,
 -6848882081649711.,-7074237752028439.,.039368285406652110009,-1,52,
 -6751453641065261.,-7074237752028439.,.058346639385709024940,-1,52,
 -6751453641065260.,-7074237752028439.,.058346639385709222543,-1,52,
 -6751453641065174.,-7074237752028439.,.058346639385726216466,-1,52,
 -6751453641056534.,-7074237752028439.,.058346639387433512899,-1,52,
 -6471417749983854.,-7074237752028439.,.116077328449701674283,-1,52,
 -6471417749983853.,-7074237752028439.,.116077328449701889358,-1,52,
 -6471417749983771.,-7074237752028439.,.116077328449719525548,-1,52,
 -6471417749975597.,-7074237752028439.,.116077328451477552512,-1,52,
 -6031878638313244.,-7074237752028439.,.217500051283397888555,-1,52,
 -6031878638313243.,-7074237752028439.,.217500051283398136118,-1,52,
 -6031878638313174.,-7074237752028439.,.217500051283415217919,-1,52,
 -6031878638306250.,-7074237752028439.,.217500051285129339566,-1,52,
 -5840746347509200.,-7074237752028439.,.266365612868383211336,-1,52,
 -5840746347509199.,-7074237752028439.,.266365612868383475366,-1,52,
 -5840746347509138.,-7074237752028439.,.266365612868399581189,-1,52,
 -5840746347503031.,-7074237752028439.,.266365612870012011665,-1,52,
 -5301224375153928.,-7074237752028439.,.423313102730698401471,-1,52,
 -5301224375153903.,-7074237752028439.,.423313102730706414144,-1,52,
 -5301224375151470.,-7074237752028439.,.423313102731486207457,-1,52,
 -5286632173730733.,-7074237752028439.,.428002913343679253115,-1,52,
 -5286632173730710.,-7074237752028439.,.428002913343686665525,-1,52,
 -5286632173728413.,-7074237752028439.,.428002913344426939661,-1,52,
 -4827510902877757.,-7074237752028438.,-.409959850802855493161,-1,52,
 -4827510902874312.,-7074237752028438.,-.409959850801524019837,-1,52,
 -4827510902874277.,-7074237752028438.,-.409959850801510492532,-1,52,
 -4508444030604469.,-7074237752028438.,-.277914978958590307780,-1,52,
 -4508444030594726.,-7074237752028438.,-.277914978954272839977,-1,52,
 -4508444030594629.,-7074237752028438.,-.277914978954229855847,-1,52,
 -4508444030594628.,-7074237752028438.,-.277914978954229412712,-1,52,
 -7501948289004415.,-7074237752028438.,.125530068700340018178,-2,52,
 -7501948289004414.,-7074237752028438.,.125530068700340338268,-2,52,
 -7501948289004295.,-7074237752028438.,.125530068700378428936,-2,52,
 -7501948288992429.,-7074237752028438.,.125530068704176612739,-2,52,
 -7485075199918261.,-7074237752028438.,.130943144782072816293,-2,52,
 -7485075199918260.,-7074237752028438.,.130943144782073137827,-2,52,
 -7485075199918142.,-7074237752028438.,.130943144782111078885,-2,52,
 -7485075199906395.,-7074237752028438.,.130943144785888143364,-2,52,
 -5441089836917728.,-7074237752028437.,.035041091465103798840,-2,52,
 -5441089836917725.,-7074237752028437.,.035041091465105624287,-2,52,
 -5441089836917445.,-7074237752028437.,.035041091465275999340,-2,52,
 -5441089836889436.,-7074237752028437.,.035041091482318980989,-2,52,
 -5137347928742246.,-7074237752028437.,.230790116122171144115,-2,52,
 -5137347928742244.,-7074237752028437.,.230790116122172509238,-2,52,
 -5137347928742062.,-7074237752028437.,.230790116122296735436,-2,52,
 -5137347928723871.,-7074237752028437.,.230790116134713212219,-2,52,
 -5130840493893794.,-7074237752028437.,.235237474235727657509,-2,52,
 -5130840493893792.,-7074237752028437.,.235237474235729026097,-2,52,
 -5130840493893613.,-7074237752028437.,.235237474235851514725,-2,52,
 -5130840493875676.,-7074237752028437.,.235237474248125696387,-2,52,
 -5046807759991974.,-7074237752028437.,.293698035833242410413,-2,52,
 -5046807759991973.,-7074237752028437.,.293698035833243117685,-2,52,
 -5046807759991828.,-7074237752028437.,.293698035833345672072,-2,52,
 -5046807759977383.,-7074237752028437.,.293698035843562210849,-2,52,
 -5010504700961462.,-7074237752028437.,.319560193296355979266,-2,52,
 -5010504700961461.,-7074237752028437.,.319560193296356696823,-2,52,
 -5010504700961333.,-7074237752028437.,.319560193296448544206,-2,52,
 -5010504700948514.,-7074237752028437.,.319560193305646916127,-2,52,
 -6298970528341482.,-7074237752028435.,.444025387066139815466,-3,52,
 -6298970528341481.,-7074237752028435.,.444025387066140723518,-3,52,
 -6298970528341431.,-7074237752028435.,.444025387066186126107,-3,52,
 -6298970528336399.,-7074237752028435.,.444025387070755442608,-3,52,
 -6002783559884483.,-7074237752028434.,-.273750934954965573700,-3,52,
 -6002783559862087.,-7074237752028434.,-.273750934932572441116,-3,52,
 -6002783559861863.,-7074237752028434.,-.273750934932348469795,-3,52,
 -6002783559861861.,-7074237752028434.,-.273750934932346470051,-3,52,
 -7922455086004378.,-7074237752028431.,-.180404309213629124942,-4,52,
 -7922455085968054.,-7074237752028431.,-.180404309171927416012,-4,52,
 -7922455085967691.,-7074237752028431.,-.180404309171510674455,-4,52,
 -7922455085967687.,-7074237752028431.,-.180404309171506082261,-4,52,
 -5181586503289490.,-7074237752028426.,-.369292705501746156029,-4,52,
 -5181586503254761.,-7074237752028426.,-.369292705408539585266,-4,52,
 -5181586503254414.,-7074237752028426.,-.369292705407608297868,-4,52,
 -5181586503254410.,-7074237752028426.,-.369292705407597562566,-4,52,
 -5061503531787600.,-7074237752028383.,-.330161867166206385452,-6,52,
 -5061503531598431.,-7074237752028383.,-.330161865037917249576,-6,52,
 -5061503531596539.,-7074237752028383.,-.330161865016630870491,-6,52,
 -5061503531596520.,-7074237752028383.,-.330161865016417106642,-6,52,
 -5034345543218302.,-7074237752028383.,-.022966413199435710935,-6,52,
 -5034345543218301.,-7074237752028383.,-.022966413199424338494,-6,52,
 -5034345543218243.,-7074237752028383.,-.022966413198764736894,-6,52,
 -5034345543212355.,-7074237752028383.,-.022966413131803802104,-6,52,
 -5034345542623562.,-7074237752028383.,-.022966406435789929312,-6,52,
 -5263775657390696.,-6594410908646311.,.499998505920756747033,-49,52,
 -5263775657359978.,-6594410908643531.,-.499988669056308066393,-49,52,
 -5263775657351113.,-6594410908642730.,.499982483915631001382,-49,52,
 -5263775657348847.,-6594410908642524.,-.499235267191649168507,-49,52,
 -5263775657348836.,-6594410908642524.,.495914161201459550333,-49,52,
 -5263775657348770.,-6594410908642518.,.466810731560198219606,-49,52,
 -5263775657348748.,-6594410908642516.,.457109588346477340311,-49,52,
 -5263775657348228.,-6594410908642468.,-.499462887609408802932,-49,52,
 -5263775657346990.,-6594410908642356.,-.499918128405862734060,-49,52,
 -5153546050516985.,-6584227825087857.,.469171301416417382803,-49,52,
 -5153546050516974.,-6584227825087855.,-.493160683971663991085,-49,52,
 -5153546050516656.,-6584227825087825.,-.495121716097942138882,-49,52,
 -5153546050515914.,-6584227825087755.,-.499697457711697335407,-49,52,
 -5153546050515861.,-6584227825087751.,.499975703602368033502,-49,52,
 -5153546050512808.,-6584227825087462.,-.499983513361168137662,-49,52,
 -5153546050488331.,-6584227825085153.,-.499984075563290601732,-49,52,
 -4896645647472262.,-6558738121442973.,.499976367538495584889,-49,52,
 -4896645647469119.,-6558738121442644.,-.499905742086352890157,-49,52,
 -4896645647468429.,-6558738121442572.,-.492243844366434804920,-49,52,
 -4896645647468420.,-6558738121442572.,.446986528212652975234,-49,52,
 -4896645647468362.,-6558738121442566.,.499804484833522631133,-49,52,
 -4896645647455033.,-6558738121441175.,.499986278234574196483,-49,52,
 -4896645647437804.,-6558738121439377.,.499996201418238746540,-49,52,
 -4837866588169495.,-6552530461227683.,.499979664847728455020,-49,52,
 -4837866588169102.,-6552530461227640.,-.497701410044522897854,-49,52,
 -4837866588169027.,-6552530461227632.,-.481991691511744741870,-49,52,
 -4837866588168971.,-6552530461227626.,-.496928435007110486646,-49,52,
 -4837866588161729.,-6552530461226852.,-.499998012309384916416,-49,52,
 -4716555872202338.,-6539236380100597.,.499923808455944917407,-49,52,
 -4716555872202329.,-6539236380100595.,-.488778891408831947750,-49,52,
 -4716555872202320.,-6539236380100594.,-.477481591273605007659,-49,52,
 -4716555872197381.,-6539236380100039.,-.499996549823365720618,-49,52,
 -4707537845173328.,-6538221143323810.,-.499983811833436955052,-49,52,
 -4707537845168434.,-6538221143323258.,-.499781077312533958896,-49,52,
 -4707537845168301.,-6538221143323243.,-.498549576746826369278,-49,52,
 -4707537845168168.,-6538221143323228.,-.497318076180283084129,-49,52,
 -4707537845166847.,-6538221143323080.,.499876000920755064352,-49,52,
 -4707537845164400.,-6538221143322804.,.499977368789002858100,-49,52,
 -4707537845144097.,-6538221143320513.,-.499998888453436177491,-49,52,
 -8956367348692004.,-6511047049156587.,-.499980137050404090305,-50,52,
 -8956367348675227.,-6511047049155543.,-.499655396773309546370,-50,52,
 -8956367348675050.,-6511047049155532.,-.485287066358253253226,-50,52,
 -8956367348675034.,-6511047049155531.,-.489637951744441732465,-50,52,
 -8956367348675002.,-6511047049155529.,-.498339722516808184973,-50,52,
 -8956367348674536.,-6511047049155501.,.499940740612192654919,-50,52,
 -8956367348672238.,-6511047049155357.,-.499955172927101366778,-50,52,
 -8956367348625121.,-6511047049152425.,-.499996827250469034721,-50,52,
 -8772453526434879.,-6499366347678959.,-.499939748370765058131,-50,52,
 -8772453526433614.,-6499366347678878.,.499773078843635274608,-50,52,
 -8772453526433182.,-6499366347678849.,-.497162935888884474961,-50,52,
 -8772453526432966.,-6499366347678835.,-.495630943254126850989,-50,52,
 -8772453526432935.,-6499366347678833.,-.486151814681490233060,-50,52,
 -8772453526430976.,-6499366347678707.,.499964729662821378302,-50,52,
 -8772453526274316.,-6499366347668552.,.499974015450117280487,-50,52,
 -8298192411090965.,-6466897466336894.,.499992738729909458755,-50,52,
 -8298192411035077.,-6466897466332852.,-.499980828453866478956,-50,52,
 -8298192411034344.,-6466897466332800.,.499822696365413305140,-50,52,
 -8298192411034275.,-6466897466332795.,.488890149588984048688,-50,52,
 -8298192411034261.,-6466897466332793.,-.498835294684484409243,-50,52,
 -8298192411029863.,-6466897466332476.,.499985854430513759441,-50,52,
 -7900377053053516.,-6436712834194601.,-.499998349861359816443,-50,52,
 -7900377053035267.,-6436712834193148.,-.482089063187220062775,-50,52,
 -7900377053035217.,-6436712834193145.,.499000063038799595542,-50,52,
 -7900377053034903.,-6436712834193119.,-.499760224260667978450,-50,52,
 -7900377053034162.,-6436712834193061.,.499980626419329461564,-50,52,
 -7846976255536888.,-6432432613500293.,.499999204908015374680,-50,52,
 -7846976255466344.,-6432432613494600.,-.499974949254092862365,-50,52,
 -7846976255461746.,-6432432613494230.,.499913334437310317900,-50,52,
 -7846976255461337.,-6432432613494196.,-.499009173582556482337,-50,52,
 -7846976255461275.,-6432432613494191.,-.496400849614613713699,-50,52,
 -7688073522913897.,-6419351680052778.,-.499991043256485503805,-50,52,
 -7688073522787305.,-6419351680042146.,-.499972032547068039443,-50,52,
 -7688073522778756.,-6419351680041429.,.499334117025774737544,-50,52,
 -7688073522778744.,-6419351680041427.,-.492829682973726146424,-50,52,
 -7688073522778244.,-6419351680041385.,-.499654682950191759144,-50,52,
 -7688073522777351.,-6419351680041310.,-.499844132894855474444,-50,52,
 -7688073522776458.,-6419351680041236.,.499966417177538032130,-50,52,
 -7668040568135362.,-6417664882346815.,.499966758766635625699,-50,52,
 -7668040568133514.,-6417664882346658.,-.498372695901166147832,-50,52,
 -7668040568132128.,-6417664882346541.,-.497127286853713533267,-50,52,
 -7668040568132081.,-6417664882346538.,.470447413165215937580,-50,52,
 -7668040568132069.,-6417664882346537.,.483445208914737474821,-50,52,
 -7668040568132057.,-6417664882346536.,.496443004664262115706,-50,52,
 -7668040568120898.,-6417664882345594.,.499976570086424291653,-50,52,
 -7668040568091970.,-6417664882343152.,.499996206253186618792,-50,52,
 -6448237341754015.,-6295731132686615.,-.499993133649424677548,-50,52,
 -6448237341697247.,-6295731132679898.,.477142803730658212882,-50,52,
 -6448237341697230.,-6295731132679896.,.488938380673855676793,-50,52,
 -6448237341697213.,-6295731132679893.,-.499266042382936565415,-50,52,
 -6448237341696875.,-6295731132679854.,.499963663901801696427,-50,52,
 -6448237341683904.,-6295731132678319.,.499988874725797857471,-50,52,
 -5630902860404413.,-6185463026844426.,.499996078598500245456,-50,52,
 -5630902860360608.,-6185463026837689.,-.498782940686139292722,-50,52,
 -5630902860360595.,-6185463026837687.,-.499741372979153068490,-50,52,
 -5630902860359548.,-6185463026837527.,.499991041604956953524,-50,52,
 -4917964729999861.,-6060667740382729.,-.499999949098532169382,-50,52,
 -4917964729963828.,-6060667740375551.,-.499780532048269839767,-50,52,
 -4917964729963577.,-6060667740375501.,-.499001937806598698143,-50,52,
 -4917964729963572.,-6060667740375501.,.497029508293882263294,-50,52,
 -4917964729962568.,-6060667740375300.,-.499856114690550358133,-50,52,
 -4917964729960048.,-6060667740374799.,.499992720391515468993,-50,52,
 -4831850099991375.,-6043223001570451.,.499997276747517229137,-50,52,
 -4831850099972079.,-6043223001566475.,-.499977451402497753297,-50,52,
 -4831850099948327.,-6043223001561583.,.441595986347170514127,-50,52,
 -4831850099948317.,-6043223001561580.,-.498391562717930159449,-50,52,
 -4831850099948084.,-6043223001561533.,.499898544067513725996,-50,52,
 -4831850099946351.,-6043223001561175.,-.499943708759626978101,-50,52,
 -4681019096820358.,-6011204124174933.,.499969688596740755500,-50,52,
 -4681019096820344.,-6011204124174929.,-.437489842239392775832,-50,52,
 -4681019096809533.,-6011204124172564.,-.499988970600892267924,-50,52,
 -4681019096787915.,-6011204124167835.,-.499998758974314050468,-50,52,
 -4531746129756674.,-5977535909893823.,-.499993365870157331195,-50,52,
 -4531746129751101.,-5977535909892528.,.499961433515667188280,-50,52,
 -4531746129746044.,-5977535909891351.,-.495773101748355569120,-50,52,
 -4531746129745829.,-5977535909891301.,-.497569211063112038404,-50,52,
 -4531746129745528.,-5977535909891232.,.499916235903735691694,-50,52,
 -4531746129712133.,-5977535909883465.,-.499995664998374716845,-50,52,
 -7166361094597504.,-5703120107432183.,-.499491175908270114794,-51,52,
 -7166361094597426.,-5703120107432169.,-.481214533595863613409,-51,52,
 -7166361094597415.,-5703120107432168.,.495721915961036572123,-51,52,
 -7166361094597287.,-5703120107432144.,-.499926671012809713521,-51,52,
 -7166361094562817.,-5703120107425949.,-.499979714014485175863,-51,52,
 -7166361094549029.,-5703120107423472.,.499999083972116774126,-51,52,
 -6982521428626811.,-5669290948329883.,.498196880242369878392,-51,52,
 -6982521428626795.,-5669290948329879.,-.487299903699825212794,-51,52,
 -6982521428626790.,-5669290948329879.,.454732351318241387487,-51,52,
 -6982521428626742.,-5669290948329870.,.498241999491742927418,-51,52,
 -6982521428625983.,-5669290948329727.,.498738311250206295472,-51,52,
 -6982521428624120.,-5669290948329376.,.499956531140367777040,-51,52,
 -6982521428624051.,-5669290948329362.,-.499998349601182911480,-51,52,
 -5383107157247072.,-5289959700165904.,-.499944701034560801782,-51,52,
 -5383107157246931.,-5289959700165863.,.496389470184813842663,-51,52,
 -5383107157246914.,-5289959700165857.,-.440222721937546418791,-51,52,
 -5383107157233978.,-5289959700162004.,-.499947260803178095944,-51,52,
 -5383107157024474.,-5289959700099604.,-.499986021054264599173,-51,52,
 -8553544359437414.,-4891628179855686.,.499741164070176458933,-52,52,
 -8553544359437368.,-4891628179855676.,.484069303190308733614,-52,52,
 -8553544359435373.,-4891628179855242.,-.499960315323057183622,-52,52,
 -8553544359428992.,-4891628179853858.,.499993071335918091884,-52,52,
 -8099766831130065.,-4788884977958055.,-.499995972017895216698,-52,52,
 -8099766831127033.,-4788884977957339.,-.499935713709271460035,-52,52,
 -8099766831116421.,-4788884977954833.,-.499724806404608636799,-52,52,
 -8099766831116006.,-4788884977954735.,-.498397297206255140432,-52,52,
 -8099766831115934.,-4788884977954718.,-.495757343802386428784,-52,52,
 -8099766831115883.,-4788884977954706.,-.452220710141173058171,-52,52,
 -8099766831115879.,-4788884977954706.,.492370398381279948734,-52,52,
 -8099766831115663.,-4788884977954654.,-.499709741405199406870,-52,52,
 -7588440847671859.,-4662052437644698.,-.499993908384599873126,-52,52,
 -7588440847589594.,-4662052437623270.,-.478282043278065003339,-52,52,
 -7588440847589571.,-4662052437623264.,-.487344227963536121876,-52,52,
 -7588440847589548.,-4662052437623258.,-.496406412648980383714,-52,52,
 -7588440847589429.,-4662052437623227.,-.499815107325415227580,-52,52,
 -7588440847588546.,-4662052437622997.,-.499898110658350652590,-52,52,
 -7588440847587663.,-4662052437622767.,-.499981113951702197879,-52,52,
 -7221316242081890.,-4562893206878456.,-.499992745122100213312,-52,52,
 -7221316242028824.,-4562893206863597.,.489713952953499853734,-52,52,
 -7221316242028817.,-4562893206863595.,.449913100193482946516,-52,52,
 -7221316242028799.,-4562893206863590.,.490425193096309177258,-52,52,
 -7221316242028499.,-4562893206863506.,.498960074812743169989,-52,52,
 -7221316242028474.,-4562893206863499.,.499671314956006178587,-52,52,
 -7221316242015811.,-4562893206859953.,.499928676807292307771,-52,52,
 -7221316242012997.,-4562893206859165.,.499985869545739937396,-52,52,
 -6207868236498691.,-8495432818763202.,-.490845166742927554485,-52,53,
 -6207868236498678.,-8495432818763194.,.474512061931930281043,-52,53,
 -6207868236498662.,-8495432818763182.,-.491202118160518610716,-52,53,
 -6207868236498227.,-8495432818762882.,-.496556389409693544918,-52,53,
 -6207868236497966.,-8495432818762702.,-.499768952145976687103,-52,53,
 -6207868236497937.,-8495432818762683.,.499874096439492862762,-52,53,
 -6207868236492337.,-8495432818758821.,.499911066962451115107,-52,53,
 -6207868236478337.,-8495432818749165.,-.499996486757969834684,-52,53,
 -4503599627370497.,-7074237752028441.,-.275765943415024410352,-52,53,
 -4503599627370496.,-7074237752028440.,-.275765943415024521374,-52,53,
 -9007199254740990.,-7074237752028439.,-.275765943415024410352,-53,53,
 -8871213671080945.,-7005729119120475.,.499966366103308413956,-53,53,
 -8871213671079170.,-7005729119119573.,-.499928870032000524476,-53,53,
 -8871213671077921.,-7005729119118940.,.499581468140328953227,-53,53,
 -8871213671077789.,-7005729119118872.,-.496467078981238427714,-53,53,
 -8871213671077777.,-7005729119118866.,-.405198765083150413144,-53,53,
 -8871213671077395.,-7005729119118672.,-.499824105989774792597,-53,53,
 -8871213671070821.,-7005729119115335.,-.499999474125862512686,-53,53,
 -8108579655065178.,-6601771905131653.,-.499996699087190486556,-53,53,
 -8108579655014374.,-6601771905103591.,-.499981474863850999558,-53,53,
 -8108579655013123.,-6601771905102901.,.499979535024895425479,-53,53,
 -8108579655010726.,-6601771905101576.,-.497697090844892684312,-53,53,
 -8108579655010708.,-6601771905101567.,.444748391315107799140,-53,53,
 -8108579655010621.,-6601771905101519.,.499901555088722026892,-53,53,
 -7881394195509955.,-6474698755598284.,-.499997503473688634231,-53,53,
 -7881394195508403.,-6474698755597406.,.499677868225334406741,-53,53,
 -7881394195508064.,-6474698755597214.,.497673970697609907610,-53,53,
 -7881394195507958.,-6474698755597153.,-.467554386639972705565,-53,53,
 -7881394195507951.,-6474698755597150.,.497006004856626676226,-53,53,
 -7881394195506964.,-6474698755596590.,-.499978794092288689058,-53,53,
 -7552125243336370.,-6284799436357542.,-.499990359850718441996,-53,53,
 -7552125243333027.,-6284799436355580.,.499934879110604933221,-53,53,
 -7552125243332121.,-6284799436355047.,-.499487117026991592978,-53,53,
 -7552125243331954.,-6284799436354949.,-.437570420945057653200,-53,53,
 -7552125243331949.,-6284799436354947.,.498415108877782343183,-53,53,
 -7552125243322545.,-6284799436349425.,.499999602515216184204,-53,53,
 -7109328173648877.,-6018418740252676.,.499965335129335624458,-53,53,
 -7109328173648072.,-6018418740252180.,.499622955455033284791,-53,53,
 -7109328173647710.,-6018418740251956.,-.454568276136002727876,-53,53,
 -7109328173647689.,-6018418740251944.,.484553227004011372185,-53,53,
 -7109328173647663.,-6018418740251927.,-.495582054822597184392,-53,53,
 -7109328173647465.,-6018418740251805.,-.498150739500679174063,-53,53,
 -7109328173637198.,-6018418740245480.,.499967013619840291821,-53,53,
 -7109328173485371.,-6018418740151932.,.499989659849341187887,-53,53,
 -7006352135985941.,-5954616518569951.,-.499993215305306995472,-53,53,
 -7006352135983344.,-5954616518568334.,.499716026496276893069,-53,53,
 -7006352135983031.,-5954616518568138.,-.493002882720824098289,-53,53,
 -7006352135983023.,-5954616518568134.,.491208774551668349749,-53,53,
 -7006352135982901.,-5954616518568057.,-.499563452042290164290,-53,53,
 -7006352135981824.,-5954616518567387.,.499930908314986298040,-53,53,
 -7006352135972070.,-5954616518561310.,.499994041777360999626,-53,53,
 -6828286958466634.,-5842609816051684.,-.499997584650290629932,-53,53,
 -6828286958448432.,-5842609816040125.,-.499987621664600453421,-53,53,
 -6828286958433044.,-5842609816030354.,.497163989683508952631,-53,53,
 -6828286958433003.,-5842609816030327.,-.466191663007180467871,-53,53,
 -6828286958432992.,-5842609816030320.,-.480750496655882605019,-53,53,
 -6828286958432907.,-5842609816030267.,.497658516058968754623,-53,53,
 -6828286958432359.,-5842609816029919.,.499636621573549025552,-53,53,
 -6828286958432222.,-5842609816029831.,-.499868852044620640976,-53,53,
 -6828286958430230.,-5842609816028566.,-.499977636188221933487,-53,53,
 -6595469068484326.,-5692911935226515.,-.499999877103726725920,-53,53,
 -6595469068453438.,-5692911935206409.,.498911911162182028369,-53,53,
 -6595469068453398.,-5692911935206382.,-.462498459439766279855,-53,53,
 -6595469068453395.,-5692911935206381.,.490395762765092040995,-53,53,
 -6595469068452971.,-5692911935206105.,.499445834391305041033,-53,53,
 -6595469068452504.,-5692911935205801.,.499979757635454103914,-53,53,
 -6595469068444989.,-5692911935200908.,-.499993616786804058719,-53,53,
 -6056160701852556.,-5331720846798031.,-.499995673080807922316,-53,53,
 -6056160701831193.,-5331720846783320.,.499903671734930396755,-53,53,
 -6056160701828784.,-5331720846781661.,.499471034229544794512,-53,53,
 -6056160701828678.,-5331720846781588.,.498206667457923915988,-53,53,
 -6056160701828466.,-5331720846781442.,.495677933917068869621,-53,53,
 -6056160701828453.,-5331720846781433.,.448353058747214330150,-53,53,
 -6056160701824875.,-5331720846778968.,-.499985660624028811656,-53,53,
 -5587044502255062.,-5000821182216535.,.499999269773592913257,-53,53,
 -5587044502248976.,-5000821182212139.,-.499980241367759934517,-53,53,
 -5587044502248213.,-5000821182211589.,.499858015967327544071,-53,53,
 -5587044502246982.,-5000821182210700.,.465521049842496381229,-53,53,
 -5587044502246975.,-5000821182210694.,-.479434562474717834512,-53,53,
 -5587044502246885.,-5000821182210629.,-.486006720838587084391,-53,53,
 -5587044502246705.,-5000821182210499.,-.499151037564580193172,-53,53,
 -5587044502246687.,-5000821182210487.,.499534530762948491288,-53,53,
 -5574097035286976.,-4991465158402034.,.499998082164255322267,-53,53,
 -5574097035223539.,-4991465158356164.,.481046686477588065365,-53,53,
 -5574097035223521.,-4991465158356151.,.496473943086199476527,-53,53,
 -5574097035223456.,-4991465158356104.,.496627925284156707733,-53,53,
 -5574097035222286.,-4991465158355258.,.499399604899293119188,-53,53,
 -5574097035222026.,-4991465158355069.,-.499984466283987239736,-53,53,
 -5292230209319338.,-4784794832124131.,.499966622003387056232,-53,53,
 -5292230209316509.,-4784794832122028.,.499262477686778231637,-53,53,
 -5292230209316396.,-4784794832121943.,-.499705202862488214036,-53,53,
 -5292230209315453.,-4784794832121242.,-.499939917498789098861,-53,53,
 -5292230209306740.,-4784794832114765.,-.499987707282677725879,-53,53,
 -5292230209242807.,-4784794832067239.,-.499993891779353376097,-53,53,
 -5268565944254121.,-4767183293757417.,.499997616051779508382,-53,53,
 -5268565944194083.,-4767183293712683.,-.499770907711793996938,-53,53,
 -5268565944194032.,-4767183293712646.,.499213265843637983929,-53,53,
 -5268565944193879.,-4767183293712532.,.496165786511059148230,-53,53,
 -5268565944193863.,-4767183293712520.,.417415723312978451055,-53,53,
 -5268565944192102.,-4767183293711208.,.499986892687035792728,-53,53,
 -4510984822798768.,-8364145233392767.,.499997792648037031391,-53,54,
 -4510984822794195.,-8364145233385455.,.499853147199814672235,-53,54,
 -4510984822793624.,-8364145233384541.,-.499508889011912444154,-53,54,
 -4510984822793522.,-8364145233384378.,-.406575312288287493179,-53,54,
 -4510984822793477.,-8364145233384306.,-.453810499027394543427,-53,54,
 -4510984822793432.,-8364145233384235.,.498954314233786269956,-53,54,
 -4510984822790956.,-8364145233380276.,.499969373225977895970,-53,54,
 -8854767244013759.,-8229974922131205.,-.499963593771841796439,-54,54,
 -8854767244013204.,-8229974922130758.,-.499670292862793117076,-54,54,
 -8854767244013168.,-8229974922130730.,.494943326656008242125,-54,54,
 -8854767244013132.,-8229974922130701.,.489556946174855479092,-54,54,
 -8854767244013117.,-8229974922130688.,-.429354045692277965192,-54,54,
 -8854767243993337.,-8229974922114757.,-.499981980888660609490,-54,54,
 -8854767243972915.,-8229974922098310.,.499999646758172840281,-54,54,
 -8644717199267704.,-8060019859445059.,-.498379160182770207293,-54,54,
 -8644717199267624.,-8060019859444994.,-.472694731213662552305,-54,54,
 -8644717199267613.,-8060019859444986.,.468336877769607367389,-54,54,
 -8644717199267517.,-8060019859444908.,.499158192532871085303,-54,54,
 -8644717199267127.,-8060019859444591.,.499369783761965754849,-54,54,
 -8644717199265957.,-8060019859443639.,-.499995442518627568523,-54,54,
 -8607732457420457.,-8029933817329829.,-.499994663971823724296,-54,54,
 -8607732457383508.,-8029933817299748.,-.499625690745442876671,-54,54,
 -8607732457383239.,-8029933817299530.,.499240293727783342245,-54,54,
 -8607732457383099.,-8029933817299416.,.476345267060580592338,-54,54,
 -8607732457383083.,-8029933817299402.,-.497699878844198698437,-54,54,
 -8607732457382545.,-8029933817298964.,-.499967909887162481614,-54,54,
 -8607732457373722.,-8029933817291781.,-.499988053215959701699,-54,54,
 -7684108841899616.,-7263152063801827.,.499942883187511346537,-54,54,
 -7684108841898791.,-7263152063801128.,-.499855622187224424214,-54,54,
 -7684108841897180.,-7263152063799765.,-.495825794434282772192,-54,54,
 -7684108841897167.,-7263152063799754.,-.497034740578687043688,-54,54,
 -7684108841897141.,-7263152063799732.,-.499452632867478399876,-54,54,
 -7684108841894653.,-7263152063797628.,.499942905141888167574,-54,54,
 -7684108841869838.,-7263152063776633.,.499943027438462120066,-54,54,
 -7492339963682996.,-7100282634169715.,-.498770252275278532465,-54,54,
 -7492339963682935.,-7100282634169663.,-.494465131788497104050,-54,54,
 -7492339963682779.,-7100282634169530.,-.499848758084029014628,-54,54,
 -7492339963675347.,-7100282634163194.,-.499919979114605949355,-54,54,
 -7492339963666986.,-7100282634156067.,.499999899441739742729,-54,54,
 -7298995560604133.,-6934825787505531.,-.499994032922012640385,-54,54,
 -7298995560598233.,-6934825787500463.,-.499907175344172599076,-54,54,
 -7298995560586589.,-6934825787490462.,.498908314425059546305,-54,54,
 -7298995560586582.,-6934825787490455.,-.488210226587981966497,-54,54,
 -7298995560586561.,-6934825787490437.,-.449565849627096746694,-54,54,
 -7298995560586511.,-6934825787490395.,.499587428851260310048,-54,54,
 -7298995560586433.,-6934825787490327.,-.499733456722336991035,-54,54,
 -7298995560558486.,-6934825787466321.,-.499999970972165804326,-54,54,
 -6300104505904652.,-6060597577115105.,-.499581854328543396301,-54,54,
 -6300104505904615.,-6060597577115073.,.468186072258548258263,-54,54,
 -6300104505904606.,-6060597577115065.,.487372865212171528144,-54,54,
 -6300104505904496.,-6060597577114967.,.499655890201102136877,-54,54,
 -6300104505903193.,-6060597577113806.,.499699358961993788151,-54,54,
 -6300104505895375.,-6060597577106840.,.499960172626405169003,-54,54,
 -6300104505894072.,-6060597577105678.,-.499996358246349355321,-54,54,
 -4924871031088273.,-4807401319302488.,.499999103248335821535,-54,54,
 -4924871031067336.,-4807401319283007.,.499800540919498071766,-54,54,
 -4924871031067034.,-4807401319282726.,.498125995184250459312,-54,54,
 -4924871031066991.,-4807401319282685.,-.492178658678520349293,-54,54,
 -4924871031066919.,-4807401319282618.,-.499200404681190590093,-54,54,
 -4924871031066200.,-4807401319281949.,-.499875896005939167276,-54,54,
 -4924871031060218.,-4807401319276383.,-.499932625805624060167,-54,54,
 -4924871031054236.,-4807401319270817.,-.499989354664997510360,-54,54,
 -4698780735304385.,-4596369687586897.,-.496935925918205491743,-54,54,
 -4698780735304338.,-4596369687586853.,-.490877353937304655134,-54,54,
 -4698780735304228.,-4596369687586750.,-.497974313130721781526,-54,54,
 -4698780735303914.,-4596369687586457.,.499948912446122903256,-54,54,
 -4698780735280806.,-4596369687564821.,.499980437245260499867,-54,54,
 -4698780735269252.,-4596369687554003.,.499996204728306240140,-54,54,
 -4517699360235299.,-8852822309696717.,-.499995820816564615589,-54,55,
 -4517699360187674.,-8852822309607103.,-.499992676710082306305,-54,55,
 -4517699360178776.,-8852822309590361.,.499944930986971766768,-54,55,
 -4517699360175810.,-8852822309584780.,.499924134419881544098,-54,55,
 -4517699360175472.,-8852822309584143.,-.499403926658353472714,-54,55,
 -4517699360174458.,-8852822309582235.,-.497388109859271946181,-54,55,
 -4517699360174441.,-8852822309582204.,.490811366359685042909,-54,55,
 -4514338150834309.,-8846497382092915.,-.490691037813451287482,-54,55,
 -4514338150834292.,-8846497382092883.,-.499675898668745219295,-54,55,
 -4514338150832845.,-8846497382090160.,-.499740231417173645480,-54,55,
 -4514338150827057.,-8846497382079268.,-.499997561379433461257,-54,55,
 -8341071156586061.,-8196667225836113.,-.499999844002943382481,-55,55,
 -8341071156516650.,-8196667225770234.,.499983693542084683353,-55,55,
 -8341071156515235.,-8196667225768890.,-.482339328084266856688,-55,55,
 -8341071156515215.,-8196667225768871.,-.499757321322635728219,-55,55,
 -6979532375158638.,-6894138239083896.,-.499989767766381208116,-55,55,
 -6979532375147441.,-6894138239073105.,.499971922803527465672,-55,55,
 -6979532375146501.,-6894138239072199.,.499790087470293918224,-55,55,
 -6979532375142741.,-6894138239068575.,.499062746225629706720,-55,55,
 -6979532375142576.,-6894138239068415.,-.469054278054478444668,-55,55,
 -6979532375142575.,-6894138239068415.,.494775315737764153266,-55,55,
 -6979532375103593.,-6894138239030842.,-.499999467470847728295,-55,55,
 -5360050516014288.,-5321023014525596.,.499996652094031881203,-55,55,
 -5360050515993691.,-5321023014505444.,-.499990028165791884775,-55,55,
 -5360050515988611.,-5321023014500475.,.499527749903765763005,-55,55,
 -5360050515984548.,-5321023014496499.,-.479204389261102972204,-55,55,
 -5360050515984547.,-5321023014496499.,.499141972506285753486,-55,55,
 -5003579018628561.,-4971778405016944.,.499988367190094678843,-55,55,
 -5003579018617043.,-4971778405005643.,-.442869793632140891687,-55,55,
 -5003579018617040.,-4971778405005640.,-.499635601453029042323,-55,55,
 -5003579018615983.,-4971778405004604.,.499878109658202780365,-55,55,
 -5003579018614239.,-4971778405002892.,-.499978170193126360621,-55,55,
 -5003579018593628.,-4971778404982671.,-.499999833630296634964,-55,55,
 -5370993780299994.,-5368509151783401.,.499978485038622226552,-57,57,
 -5370993780295668.,-5368509151779081.,.499670961404160001903,-57,57,
 -5370993780293505.,-5368509151776921.,.499517199590548516743,-57,57,
 -5370993780293504.,-5368509151776920.,.498130165951245509631,-57,57,
 -5370993780293395.,-5368509151776811.,.346943499267220826402,-57,57,
 -5370993780293188.,-5368509151776604.,.059827535931521095052,-57,57,
 -5370993780280528.,-5368509151763962.,.499981662398850700016,-57,57,
 -5370993780202664.,-5368509151686206.,.499994373794162456865,-57,57,
 -4503599627370496.,-4503599627370496.,0.000000000000000000000,-1074,1074,
 0.,0.,0.000000000000000000000,0,0,
 4503599627370496.,4503599627370496.,0.000000000000000000000,-1074,1074,
 6940259249747182.,6934901498086803.,-.499998924649512358584,-57,57,
 6940259249803799.,6934901498143288.,.499577486192595265464,-57,57,
 6940259249803814.,6934901498143303.,.464870483810742366311,-57,57,
 6940259249803890.,6934901498143379.,.289021671742685376890,-57,57,
 6940259249804231.,6934901498143720.,-.499984182404828149061,-57,57,
 6175493946642041.,6160440836842856.,.499959190817002838581,-56,56,
 6175493946644784.,6160440836845579.,.499889153594905800277,-56,56,
 6175493946646293.,6160440836847077.,.497298673759407162349,-56,56,
 6175493946646297.,6160440836847081.,.468133423978523995682,-56,56,
 6175493946646430.,6160440836847213.,.498388868764137347622,-56,56,
 6175493946646567.,6160440836847349.,.499479063768823535501,-56,56,
 6175493946653973.,6160440836854702.,-.499980905605368695777,-56,56,
 6175493946683323.,6160440836883837.,.499998825626490033539,-56,56,
 6823990675679610.,6803699548482643.,.499998410367742706029,-56,56,
 6823990675707623.,6803699548510407.,.499984915757719906489,-56,56,
 6823990675708298.,6803699548511077.,-.499908316297471278919,-56,56,
 6823990675709423.,6803699548512192.,-.499730369725404181197,-56,56,
 6823990675709433.,6803699548512201.,.411382323132999540240,-56,56,
 7740553500844207.,7710984091444976.,-.499986505357287228906,-56,56,
 7740553500860161.,7710984091460748.,-.499944869887435535219,-56,56,
 7740553500861213.,7710984091461787.,.499054992222282166925,-56,56,
 7740553500862002.,7710984091462567.,.498304888802454141458,-56,56,
 7740553500862090.,7710984091462654.,.494418945708621970234,-56,56,
 7740553500862108.,7710984091462672.,.289078639166698973518,-56,56,
 7740553500862177.,7710984091462741.,-.498059202577347926675,-56,56,
 7740553500888212.,7710984091488479.,-.499997026846667506765,-56,56,
 8359220028894459.,8322021212206971.,-.499991332394936374082,-56,56,
 8359220028906727.,8322021212219076.,-.407133257057873381209,-56,56,
 8359220028906734.,8322021212219082.,.499913531866621821217,-56,56,
 8359220028912382.,8322021212224655.,.499951224037830101409,-56,56,
 8359220028947249.,8322021212259060.,-.499993145574869672164,-56,56,
 8513798801064457.,8474509656069644.,-.499997686727966433522,-56,56,
 8513798801093147.,8474509656097939.,-.499866388445723161517,-56,56,
 8513798801093365.,8474509656098153.,.498740395197956663628,-56,56,
 8513798801093438.,8474509656098225.,.493686703482274285128,-56,56,
 8513798801093441.,8474509656098228.,.452383127110396563480,-56,56,
 8513798801093510.,8474509656098297.,-.497599129442798957688,-56,56,
 8513798801095326.,8474509656100087.,.499969306774885550925,-56,56,
 8513798801101064.,8474509656105746.,.499995566076391945988,-56,56,
 4527203410034077.,9007199254698637.,.000006526447146855950,-55,56,
 4527203410054664.,9007199254739171.,.000032286613846042733,-55,56,
 4527203410055436.,9007199254740691.,.000421847237243974292,-55,56,
 4527203410055565.,9007199254740945.,-.009875752089424733793,-55,56,
 4527203410055572.,9007199254740959.,-.227488800114909316361,-55,56,
 4527203410055588.,9007199254740990.,.275109947255409150052,-55,56,
 4527203410055589.,4503599627370496.,.122011184483026969640,-55,55,
 4527203410055629.,4503599627370536.,-.499740381304082789063,-55,55,
 6216155809109973.,6155554481032103.,-.499994723574126418041,-55,55,
 6216155809170996.,6155554481091362.,-.499986158964032008776,-55,55,
 6216155809171826.,6155554481092168.,-.492906744735315151079,-55,55,
 6216155809171828.,6155554481092169.,.449278988792939302802,-55,55,
 6216155809171861.,6155554481092201.,.495343592009132575987,-55,55,
 6216155809171930.,6155554481092269.,-.499248601266131453864,-55,55,
 6216155809172103.,6155554481092436.,.499817348927582713153,-55,55,
 7082784227655559.,6993601955512480.,.499993467526048186039,-55,55,
 7082784227659886.,6993601955516646.,.499319042236840515318,-55,55,
 7082784227659913.,6993601955516672.,.494692693846412639233,-55,55,
 7082784227659967.,6993601955516724.,.485439997065534763866,-55,55,
 7082784227660316.,6993601955517060.,.499714234536557118717,-55,55,
 7082784227660531.,6993601955517267.,.499911830685714017991,-55,55,
 7082784227716298.,6993601955570960.,-.499998210918546863097,-55,55,
 4579785905351171.,8969552671765385.,.499997628446776707314,-54,55,
 4579785905374018.,8969552671808305.,.475535738401174899013,-54,55,
 4579785905374026.,8969552671808321.,-.495803855209556905943,-54,55,
 4579785905374199.,8969552671808645.,.498977432957588051987,-54,55,
 4579785905374339.,8969552671808909.,-.499465455231940764949,-54,55,
 4579785905374932.,8969552671810022.,.499987168354445140613,-54,55,
 4599831125052332.,9007199254740673.,.000016255175625156587,-54,55,
 4599831125052381.,9007199254740765.,.001561787804244253558,-54,55,
 4599831125052479.,9007199254740949.,.004652853061122520973,-54,55,
 4599831125052496.,9007199254740981.,-.076443594802529073231,-54,55,
 4599831125052501.,9007199254740990.,.311469214649335356651,-54,55,
 4599831125052502.,4503599627370496.,.094525888269854046360,-54,54,
 4599831125052512.,4503599627370505.,.482438697721716352561,-54,54,
 4599831125096329.,4503599627411640.,.499995848957082485120,-54,54,
 5299073463155037.,5153708217181715.,.499996827035326941884,-54,54,
 5299073463166853.,5153708217192591.,-.499985615230652691586,-54,54,
 5299073463177564.,5153708217202448.,.499776404188278660390,-54,54,
 5299073463177652.,5153708217202529.,.491651958064487714709,-54,54,
 5299073463177677.,5153708217202553.,-.499292486857082878720,-54,54,
 5299073463178669.,5153708217203466.,-.499968061358958407807,-54,54,
 5354986034430826.,5205124691097575.,.499992964849732440561,-54,54,
 5354986034456371.,5205124691121047.,-.499984125672071334746,-54,54,
 5354986034456642.,5205124691121295.,.497510734612875382527,-54,54,
 5354986034456704.,5205124691121352.,.463727270913940894628,-54,54,
 5354986034456716.,5205124691121363.,.489446600520586365297,-54,54,
 5354986034456876.,5205124691121510.,.499037661942142603782,-54,54,
 6318840445920071.,6077286275039632.,.499993234208972251428,-54,54,
 6318840445921787.,6077286275041160.,.499703391799358920559,-54,54,
 6318840445926077.,6077286275044980.,.498978785377536882005,-54,54,
 6318840445926150.,6077286275045046.,-.498702542428963770323,-54,54,
 6318840445926223.,6077286275045111.,-.496383870235628967977,-54,54,
 6318840445926241.,6077286275045127.,-.468414882571544305253,-54,54,
 6779876501427582.,6484487576360831.,.497562537842408549039,-54,54,
 6779876501427606.,6484487576360853.,-.480157418723712917600,-54,54,
 6779876501427622.,6484487576360867.,-.465304056434470820893,-54,54,
 6779876501427719.,6484487576360951.,.499744452443883691279,-54,54,
 6779876501428662.,6484487576361778.,-.499835507651338749730,-54,54,
 6779876501435529.,6484487576367793.,-.499958081123843495123,-54,54,
 6779876501437818.,6484487576369798.,-.499998939283958907342,-54,54,
 7852441928000981.,7405090492838774.,-.499982389990421475195,-54,54,
 7852441928002196.,7405090492839795.,-.497710264090156003418,-54,54,
 7852441928002202.,7405090492839800.,-.455723735073489748422,-54,54,
 7852441928002315.,7405090492839895.,-.498310771926505048341,-54,54,
 7852441928002672.,7405090492840194.,.499887704561544187178,-54,54,
 7852441928024298.,7405090492858368.,-.499999551375272313368,-54,54,
 8717776617217497.,8119310086280396.,.499992067058185356633,-54,54,
 8717776617241212.,8119310086299612.,-.498466465315437489203,-54,54,
 8717776617241407.,8119310086299769.,.499648676334873614878,-54,54,
 8717776617242988.,8119310086301050.,.499751440127107291586,-54,54,
 8717776617246677.,8119310086304039.,.499991221966123309722,-54,54,
 4920655379368603.,9007199254717063.,-.000002042640082948604,-53,54,
 4920655379371779.,9007199254721955.,.000121400945846457895,-53,54,
 4920655379382895.,9007199254739077.,.000553442066055616185,-53,54,
 4920655379384135.,9007199254740987.,-.024587281329483810791,-53,54,
 4920655379384138.,4503599627370496.,-.201840181862531948954,-53,53,
 4920655379384139.,4503599627370497.,-.431689028928462107372,-53,53,
 4920655379384148.,4503599627370503.,.499671347478163229159,-53,53,
 5205590995503736.,4720119056239647.,.499993998063775751841,-53,53,
 5205590995509643.,4720119056244076.,-.499962140274682855643,-53,53,
 5205590995512926.,4720119056246536.,.499554364111481129714,-53,53,
 5205590995512934.,4720119056246542.,.496507191413330919279,-53,53,
 5205590995513050.,4720119056246629.,.452323187289634245338,-53,53,
 5205590995513070.,4720119056246644.,.444705255544071230533,-53,53,
 5205590995513581.,4720119056247028.,-.499932900564847139242,-53,53,
 6059040276401584.,5333703622131396.,.499971293987777824415,-53,53,
 6059040276407747.,5333703622135640.,-.499850607683867759984,-53,53,
 6059040276408527.,5333703622136177.,-.498367739678893918148,-53,53,
 6059040276408588.,5333703622136218.,.497902074355576514204,-53,53,
 6059040276408604.,5333703622136230.,-.486682892455097803138,-53,53,
 6059040276409628.,5333703622136934.,.499879231624047795931,-53,53,
 6059040276419813.,5333703622143947.,-.499988708212012148832,-53,53,
 6059040276464315.,5333703622174584.,.499999123303864386294,-53,53,
 6179968525075650.,5416441515353754.,-.499995885765837007928,-53,53,
 6179968525077234.,5416441515354830.,.499424676283921889651,-53,53,
 6179968525077662.,5416441515355122.,-.493156131475382275473,-53,53,
 6179968525077665.,5416441515355124.,-.453384501623273398371,-53,53,
 6179968525077712.,5416441515355156.,-.496962300606983745601,-53,53,
 6179968525077762.,5416441515355189.,.499231530261238709427,-53,53,
 6179968525111907.,5416441515378405.,.499998589053768605431,-53,53,
 6230674196581232.,5450827042220084.,.499995768114678387297,-53,53,
 6230674196596746.,5450827042230578.,-.499973603279242103004,-53,53,
 6230674196597151.,5450827042230851.,.424546984645951998759,-53,53,
 6230674196597160.,5450827042230858.,-.488241446733619035471,-53,53,
 6230674196597228.,5450827042230904.,-.495976261601673024898,-53,53,
 6230674196597262.,5450827042230927.,-.499843669035821858622,-53,53,
 7103100048440913.,6014579998724953.,.499976331143561468977,-53,53,
 7103100048445271.,6014579998727640.,.482089457659560466233,-53,53,
 7103100048445284.,6014579998727648.,.497410125543100150487,-53,53,
 7103100048445417.,6014579998727731.,-.499693810725947832193,-53,53,
 7103100048445743.,6014579998727931.,.499886014654713674440,-53,53,
 7103100048462322.,6014579998738153.,.499990069700725586468,-53,53,
 7103100048483731.,6014579998751354.,-.499996222252394310686,-53,53,
 7302452754243512.,6136177502254278.,.499993600694087713235,-53,53,
 7302452754244808.,6136177502255060.,.498847160308728543131,-53,53,
 7302452754244828.,6136177502255073.,-.433269297105488301248,-53,53,
 7302452754245103.,6136177502255239.,-.499870586553628469547,-53,53,
 7511273082099992.,6260757536931200.,-.499997977115036984219,-53,53,
 7511273082101584.,6260757536932139.,-.499974763591812920162,-53,53,
 7511273082104768.,6260757536934017.,-.499928337035162183243,-53,53,
 7511273082104846.,6260757536934063.,-.493645792674193164633,-53,53,
 7511273082104885.,6260757536934086.,-.490504520493855625621,-53,53,
 7913137471557216.,6492645692204867.,.499997753777667137343,-53,53,
 7913137471600693.,6492645692229406.,-.499975413461563374250,-53,53,
 7913137471603900.,6492645692231215.,.499934558487499970717,-53,53,
 7913137471605018.,6492645692231846.,.488365911202581245384,-53,53,
 7913137471605034.,6492645692231856.,-.481388201818160199689,-53,53,
 7913137471605057.,6492645692231868.,.499590260714496104056,-53,53,
 7913137471612364.,6492645692235993.,-.499991231118285857449,-53,53,
 8575032706795185.,6852887779102918.,.499960420742733433857,-53,53,
 8575032706797139.,6852887779103943.,.499756855812582202723,-53,53,
 8575032706797179.,6852887779103964.,.482352483959082291456,-53,53,
 8575032706797200.,6852887779103975.,.498215188735957581390,-53,53,
 8575032706799724.,6852887779105299.,.499999324588811649190,-53,53,
 8668443273582402.,6901634740714329.,-.499998180613605806630,-53,53,
 8668443273592996.,6901634740719828.,.460837641094356839687,-53,53,
 8668443273592998.,6901634740719829.,.499153826825615152397,-53,53,
 8668443273593520.,6901634740720100.,.499678302676157737554,-53,53,
 8668443273594042.,6901634740720372.,-.499797221488993611566,-53,53,
 8668443273599601.,6901634740723258.,-.499958982681022945509,-53,53,
 9007199254740991.,7074237752028440.,-.224234056584975506381,-53,53,
 4503599627370496.,7074237752028440.,.275765943415024521374,-52,53,
 4503599627370497.,7074237752028441.,.275765943415024410352,-52,53,
 6467001089644732.,8669362933555410.,-.499988756541077897597,-52,53,
 6467001089645127.,8669362933555668.,-.497745585767931948287,-52,53,
 6467001089645130.,8669362933555669.,.461765121858112000639,-52,53,
 6467001089645300.,8669362933555781.,-.499294779334731221441,-52,53,
 6467001089663453.,8669362933567637.,.499997043020554227480,-52,53,
 7013940848419748.,9007199254740991.,-.005036908255042232357,-52,53,
 7013940848419749.,4503599627370496.,-.210591872401092237687,-52,52,
 7013940848419750.,4503599627370496.,.081334709325336581863,-52,52,
 7013940848421036.,4503599627370871.,.498918809464022167459,-52,52,
 7013940848422002.,4503599627371153.,.499996757093511280206,-52,52,
 7316025708204615.,4589166165495968.,.499987471264496364483,-52,52,
 7316025708206107.,4589166165496379.,-.491449555863964758995,-52,52,
 7316025708206118.,4589166165496382.,-.468598220273539157710,-52,52,
 7316025708206147.,4589166165496390.,-.499262880989721443396,-52,52,
 7316025708206278.,4589166165496426.,-.499851520777184783522,-52,52,
 7316025708241987.,4589166165506238.,.499997771303565376044,-52,52,
 8219998205367587.,4816958669127313.,.499993451828303107182,-52,52,
 8219998205388698.,4816958669132187.,.468655482430617385827,-52,52,
 8219998205388854.,4816958669132223.,.484908207325741182392,-52,52,
 8219998205388997.,4816958669132256.,.499806538478681012963,-52,52,
 8219998205396382.,4816958669133961.,.499975597169049811835,-52,52,
 8219998205397859.,4816958669134303.,-.499990591375632714122,-52,52,
 9007199254740991.,4986154552901188.,.223539737736100435688,-52,52,
 4503599627370496.,4986154552901188.,.423539737736100453452,-51,52,
 4503599627370497.,4986154552901189.,-.176460262263899617602,-51,52,
 5429564584136446.,5303695939431594.,-.499963030203465286374,-51,52,
 5429564584137911.,5303695939432024.,-.499030322990502551462,-51,52,
 5429564584138497.,5303695939432196.,-.498657240160754783260,-51,52,
 5429564584138589.,5303695939432223.,-.495185698149405281522,-51,52,
 5429564584138606.,5303695939432227.,.494586217222171656268,-51,52,
 5429564584138613.,5303695939432230.,-.450801817624833824277,-51,52,
 5429564584147103.,5303695939434721.,.499995914608206045466,-51,52,
 6534651015173037.,5579716168956889.,.499994587842850258355,-51,52,
 6534651015212362.,5579716168965237.,.499991076667236683570,-51,52,
 6534651015225910.,5579716168968114.,-.499908437315691319275,-51,52,
 6534651015231351.,5579716168969269.,-.472114910317386553365,-51,52,
 6534651015231365.,5579716168969271.,.499836773080134179872,-51,52,
 5007882989873215.,6078274056100256.,.499987661229926318866,-50,52,
 5007882989884220.,6078274056102375.,-.499932276170130843884,-50,52,
 5007882989885758.,6078274056102671.,-.499557616605168539839,-50,52,
 5007882989885893.,6078274056102696.,.482269807990775955379,-50,52,
 5007882989885898.,6078274056102697.,.444559712605414958971,-50,52,
 5007882989885971.,6078274056102711.,.493992319978936113972,-50,52,
 5007882989889338.,6078274056103360.,-.499985912956475557663,-50,52,
 5396246731158432.,6147873996513514.,.499997037995419607880,-50,52,
 5396246731159265.,6147873996513654.,-.499976121156580247618,-50,52,
 5396246731165929.,6147873996514766.,-.499761395853031686430,-50,52,
 5396246731166762.,6147873996514905.,-.499734555375144690635,-50,52,
 5396246731166840.,6147873996514918.,-.484125799606211696561,-50,52,
 5396246731167128.,6147873996514966.,-.426493470616351863094,-50,52,
 5396246731167140.,6147873996514968.,-.424092123575214381278,-50,52,
 5569985055099293.,6175997091612618.,-.499986794464366089677,-50,52,
 5569985055101885.,6175997091613025.,-.499953081948212305662,-50,52,
 5569985055108935.,6175997091614132.,-.497546574052055551163,-50,52,
 5569985055108967.,6175997091614137.,-.472854799837955568907,-50,52,
 5569985055108986.,6175997091614140.,-.489444058898359948872,-50,52,
 5569985055109056.,6175997091614151.,-.497930802805281661230,-50,52,
 5569985055109661.,6175997091614246.,-.499851946583308332305,-50,52,
 5569985055127926.,6175997091617113.,.499999794320476456797,-50,52,
 5916628998680527.,6227354596294245.,-.460855305547952618498,-50,52,
 5916628998680541.,6227354596294246.,.496142583210931691520,-50,52,
 5916628998682215.,6227354596294480.,.497175853315957276850,-50,52,
 5916628998686586.,6227354596295091.,.499873835765524733815,-50,52,
 5916628998686772.,6227354596295117.,.499988643510010585740,-50,52,
 5916628998704213.,6227354596297556.,-.499998665265235486311,-50,52,
 6272704229690754.,6274394910251180.,-.499996956861661276528,-50,52,
 6272704229721023.,6274394910254958.,.499655816755391804588,-50,52,
 6272704229721055.,6274394910254962.,.494765958755121629673,-50,52,
 6272704229721119.,6274394910254970.,.484986242754462811038,-50,52,
 6272704229721127.,6274394910254971.,.483763778254369352257,-50,52,
 6272704229722657.,6274394910255162.,.499967442566122038671,-50,52,
 6272704229729201.,6274394910255979.,.499991480276815020676,-50,52,
 7436919125085855.,6397561403921947.,-.499999805141243207482,-50,52,
 7436919125087484.,6397561403922093.,-.499991377732524800429,-50,52,
 7436919125124951.,6397561403925451.,-.499797564589519649584,-50,52,
 7436919125134725.,6397561403926327.,-.499747010079040350743,-50,52,
 7436919125134937.,6397561403926346.,-.499132040024564977617,-50,52,
 7436919125134948.,6397561403926346.,.486748925402760976862,-50,52,
 7464505152283675.,6400024883199040.,.499997486563380105576,-50,52,
 7464505152284664.,6400024883199129.,-.499741910311133351758,-50,52,
 7464505152285069.,6400024883199165.,-.463234787703131026786,-50,52,
 7464505152285080.,6400024883199166.,-.484465458447164544387,-50,52,
 7464505152285091.,6400024883199166.,.494303870808799117472,-50,52,
 7464505152285136.,6400024883199170.,.498360217764984726901,-50,52,
 4542341907328539.,6518920874882788.,.499997856498357108123,-49,52,
 4542341907340248.,6518920874884205.,.499985282808068086265,-49,52,
 4542341907340719.,6518920874884262.,.499472350536254649694,-49,52,
 4542341907341190.,6518920874884319.,.498959418252799359094,-49,52,
 4542341907341248.,6518920874884327.,-.481995465128983220822,-49,52,
 4542341907341256.,6518920874884327.,.486148688887308775934,-49,52,
 4574407728088565.,6522774622765019.,.499981313043297997823,-49,52,
 4574407728090048.,6522774622765196.,.499824459606171791259,-49,52,
 4574407728091104.,6522774622765323.,-.463874554103741827140,-49,52,
 4574407728091112.,6522774622765323.,.490945907913388535758,-49,52,
 4574407728091154.,6522774622765329.,-.496246666496731033458,-49,52,
 4574407728091221.,6522774622765337.,-.499625297103538048761,-49,52,
 4574407728164927.,6522774622774133.,.499996242166020219976,-49,52,
 5043885832647332.,6573661021333625.,.499987359153288358750,-49,52,
 5043885832659107.,6573661021334785.,-.499978532313035806402,-49,52,
 5043885832660062.,6573661021334878.,.499599605342210248298,-49,52,
 5043885832660194.,6573661021334891.,.492211452638389685446,-49,52,
 5043885832660214.,6573661021334893.,.460789005258964339339,-49,52,
 5043885832660255.,6573661021334897.,.496372988131094174557,-49,52,
 5043885832660316.,6573661021334904.,-.499465476376344776380,-49,52,
 5043885832680493.,6573661021336889.,.499998476956456818161,-49,52,
 5090857167498956.,6578242217884994.,.499999504798218010168,-49,52,
 5090857167556146.,6578242217890521.,.499933384544821630294,-49,52,
 5090857167557129.,6578242217890616.,.499774876806716684005,-49,52,
 5090857167557160.,6578242217890619.,.495700702096176752091,-49,52,
 5090857167557191.,6578242217890622.,.491626527385600774478,-49,52,
 5090857167562282.,6578242217891114.,.499961254266165776646,-49,52,
 5090857167568418.,6578242217891707.,.499989122575295074473,-49,52,
 5215472194762244.,6590000975641296.,-.499998852283533837663,-49,52,
 5215472194828540.,6590000975647404.,-.499984039327725987717,-49,52,
 5215472194832925.,6590000975647807.,.499956599564750693837,-49,52,
 5215472194836344.,6590000975648123.,-.499861634795487866268,-49,52,
 5215472194836691.,6590000975648154.,.470031045110618872482,-49,52,
 5215472194836713.,6590000975648156.,.496940667467636623139,-49,52,
 5215472194836789.,6590000975648163.,.498992090155386070382,-49,52,
 5215472194837310.,6590000975648211.,.499897237785710902758,-49,52,
 5336471118709898.,6600898936787464.,.499996012500764032340,-49,52,
 5336471118719586.,6600898936788318.,-.499921793048284871584,-49,52,
 5336471118719904.,6600898936788345.,.499048700070252792801,-49,52,
 5336471118723493.,6600898936788662.,-.499991866817575169236,-49,52,
 5835457316503937.,7074237752028341.,.489891754417421215314,-7,52,
 5835457316503939.,7074237752028341.,.489891754417455072428,-7,52,
 5835457316504108.,7074237752028341.,.489891754420315998630,-7,52,
 5835457316521049.,7074237752028341.,.489891754707102689692,-7,52,
 5746215254501618.,7074237752028415.,.195746888619747441806,-5,52,
 5746215254501631.,7074237752028415.,.195746888619804181805,-5,52,
 5746215254502946.,7074237752028415.,.195746888625543650933,-5,52,
 5746215254634413.,7074237752028415.,.195746889199346531432,-5,52,
 6842111560931391.,7074237752028419.,.212796304223989225717,-5,52,
 6842111560931400.,7074237752028419.,.212796304224016931598,-5,52,
 6842111560932275.,7074237752028419.,.212796304226710558890,-5,52,
 6842111561019805.,7074237752028419.,.212796304496165641005,-5,52,
 5635416615605138.,7074237752028427.,.489205702528503568220,-4,52,
 5635416615605162.,7074237752028427.,.489205702528558023368,-4,52,
 5635416615607587.,7074237752028427.,.489205702534060262280,-4,52,
 6916394610472789.,7074237752028430.,-.142609250044656173545,-4,52,
 6916394610526086.,7074237752028430.,-.142609249964373284272,-4,52,
 6916394610526619.,7074237752028430.,-.142609249963570410189,-4,52,
 6916394610526624.,7074237752028430.,-.142609249963562878537,-4,52,
 7664074856330710.,7074237752028431.,-.126229129533229862093,-4,52,
 7664074856376104.,7074237752028431.,-.126229129477542232165,-4,52,
 7664074856376558.,7074237752028431.,-.126229129476985282260,-4,52,
 7664074856376563.,7074237752028431.,-.126229129476979148451,-4,52,
 5804122653741717.,7074237752028434.,.068316658080323766485,-3,52,
 5804122653801890.,7074237752028434.,.068316658144678169058,-3,52,
 5804122653802492.,7074237752028434.,.068316658145322001846,-3,52,
 5804122653802498.,7074237752028434.,.068316658145328418784,-3,52,
 6847582036521810.,7074237752028435.,.014230290858667753524,-3,52,
 6847582036560927.,7074237752028435.,.014230290888724420100,-3,52,
 6847582036561318.,7074237752028435.,.014230290889024856141,-3,52,
 6847582036561322.,7074237752028435.,.014230290889027929655,-3,52,
 7706116167858997.,7074237752028436.,-.399584938165820925901,-3,52,
 7706116167865028.,7074237752028436.,-.399584938162161878911,-3,52,
 7706116167865088.,7074237752028436.,-.399584938162125476520,-3,52,
 7706116167865089.,7074237752028436.,-.399584938162124869813,-3,52,
 4994576600371477.,7074237752028437.,-.331025973269593702153,-2,52,
 4994576600383557.,7074237752028437.,-.331025973260870230708,-2,52,
 4994576600383678.,7074237752028437.,-.331025973260782851566,-2,52,
 4994576600383679.,7074237752028437.,-.331025973260782129424,-2,52,
 7423882302179890.,7074237752028438.,-.150780946234933789619,-2,52,
 7423882302191190.,7074237752028438.,-.150780946231240307053,-2,52,
 7423882302191303.,7074237752028438.,-.150780946231203372227,-2,52,
 7423882302191304.,7074237752028438.,-.150780946231203045371,-2,52,
 7984456451870669.,7074237752028438.,.019582492722972520705,-2,52,
 7984456451885204.,7074237752028438.,.019582492727079704038,-2,52,
 7984456451885350.,7074237752028438.,.019582492727120959543,-2,52,
 7984456451885351.,7074237752028438.,.019582492727121242115,-2,52,
 4747578892790121.,7074237752028438.,.378546443088296926853,-1,52,
 4747578892790170.,7074237752028438.,.378546443088316508151,-1,52,
 4747578892794975.,7074237752028438.,.378546443090236674178,-1,52,
 5184012179842666.,7074237752028439.,-.461729830565652962316,-1,52,
 5184012179843936.,7074237752028439.,-.461729830565227303665,-1,52,
 5184012179843949.,7074237752028439.,-.461729830565222946529,-1,52,
 5359027492701737.,7074237752028439.,-.404986631004040565722,-1,52,
 5359027492704687.,7074237752028439.,-.404986631003115356791,-1,52,
 5359027492704717.,7074237752028439.,-.404986631003105947887,-1,52,
 5488415439819244.,7074237752028439.,-.365363332148276489114,-1,52,
 5488415439823230.,7074237752028439.,-.365363332147084607529,-1,52,
 5488415439823270.,7074237752028439.,-.365363332147072646851,-1,52,
 5668948148611089.,7074237752028439.,-.313100106973491650697,-1,52,
 5668948148616275.,7074237752028439.,-.313100106972038143076,-1,52,
 5668948148616326.,7074237752028439.,-.313100106972023849037,-1,52,
 5668948148616327.,7074237752028439.,-.313100106972023568761,-1,52,
 5708579506476863.,7074237752028439.,-.302069531158215247757,-1,52,
 5708579506482279.,7074237752028439.,-.302069531156718280443,-1,52,
 5708579506482333.,7074237752028439.,-.302069531156703354994,-1,52,
 5708579506482334.,7074237752028439.,-.302069531156703078596,-1,52,
 6353877460227271.,7074237752028439.,-.141825017556831345155,-1,52,
 6353877460235182.,7074237752028439.,-.141825017555066350132,-1,52,
 6353877460235261.,7074237752028439.,-.141825017555048724724,-1,52,
 6353877460235262.,7074237752028439.,-.141825017555048501617,-1,52,
 6402079148368210.,7074237752028439.,-.131151879060941967346,-1,52,
 6402079148376235.,7074237752028439.,-.131151879059178397221,-1,52,
 6402079148376315.,7074237752028439.,-.131151879059160816460,-1,52,
 6402079148376316.,7074237752028439.,-.131151879059160596700,-1,52,
 6710148704135936.,7074237752028439.,-.066558891977851703500,-1,52,
 6710148704144520.,7074237752028439.,-.066558891976134525999,-1,52,
 6710148704144606.,7074237752028439.,-.066558891976117322217,-1,52,
 6710148704144607.,7074237752028439.,-.066558891976117122173,-1,52,
 6728987427109667.,7074237752028439.,-.062800869543027895763,-1,52,
 6728987427118277.,7074237752028439.,-.062800869541315147688,-1,52,
 6728987427118363.,7074237752028439.,-.062800869541298040100,-1,52,
 6728987427118364.,7074237752028439.,-.062800869541297841175,-1,52,
 8108726220156984.,7074237752028439.,.164962716102879104512,-1,52,
 8108726220157030.,7074237752028439.,.164962716102885405989,-1,52,
 8108726220161574.,7074237752028439.,.164962716103507882285,-1,52,
 8201755169934774.,7074237752028439.,.177562075082214552174,-1,52,
 8201755169934817.,7074237752028439.,.177562075082220309816,-1,52,
 8201755169939091.,7074237752028439.,.177562075082792592606,-1,52,
 8488875008858692.,7074237752028439.,.214706704665320348541,-1,52,
 8488875008858728.,7074237752028439.,.214706704665324848328,-1,52,
 8488875008862258.,7074237752028439.,.214706704665766077479,-1,52,
 9007199254740990.,7074237752028440.,.275765943415024521374,971,52 };
#include "trailer.h"