/* This program was generated automatically by a program written
   by Gaston H. Gonnet on enigma on 2002-09-01 17:29:54.
   Do not edit, rerun the original maple program.       */
#include "header.h"
#define DBL_MAX_EXP 1024
#define N 1277
#define F erf
#define Fs "erf"

struct input_point { double arg_m, val, eps;
	int arg_e, val_e; } input_points[N] = {
 -7546096846785676,-4503599627370496,.000011622608266262965,-50,52,
 -7546096846785669,-4503599627370496,.000011622608266263944,-50,52,
 -7508441716342214,-4503599627370496,.000018265947210011342,-50,52,
 -7508441716342203,-4503599627370496,.000018265947210013748,-50,52,
 -7164018338479428,-4503599627370496,.001030178461281915721,-50,52,
 -7164018338479422,-4503599627370496,.001030178461281986428,-50,52,
 -7164018338478840,-4503599627370496,.001030178461288844936,-50,52,
 -7013995431693187,-4503599627370496,.005631190259020606409,-50,52,
 -7013995431693156,-4503599627370496,.005631190259022562474,-50,52,
 -7013995431690068,-4503599627370496,.005631190259217411834,-50,52,
 -7011467521123082,-4503599627370496,.005792950335527736034,-50,52,
 -7011467521123050,-4503599627370496,.005792950335529812470,-50,52,
 -7011467521119875,-4503599627370496,.005792950335735833840,-50,52,
 -6956517549501669,-4503599627370496,.010695253103747872789,-50,52,
 -6956517549501668,-4503599627370496,.010695253103747991674,-50,52,
 -6956517549501611,-4503599627370496,.010695253103754768107,-50,52,
 -6956517549495852,-4503599627370496,.010695253104439425612,-50,52,
 -6897379505813777,-4503599627370496,.020582335579058853828,-50,52,
 -6897379505813776,-4503599627370496,.020582335579059080717,-50,52,
 -6897379505813668,-4503599627370496,.020582335579083584770,-50,52,
 -6897379505802900,-4503599627370496,.020582335581526729631,-50,52,
 -6808033746715005,-4503599627370496,.054768624023794864950,-50,52,
 -6808033746715002,-4503599627370496,.054768624023796653305,-50,52,
 -6808033746714740,-4503599627370496,.054768624023952836275,-50,52,
 -6808033746688464,-4503599627370496,.054768624039616438310,-50,52,
 -6769642554634171,-4503599627370496,.083082232246924411438,-50,52,
 -6769642554634167,-4503599627370496,.083082232246928008733,-50,52,
 -6769642554633796,-4503599627370496,.083082232247261657856,-50,52,
 -6769642554596677,-4503599627370496,.083082232280643657276,-50,52,
 -6704129343755513,-4503599627370496,.168281228978871225767,-50,52,
 -6704129343755507,-4503599627370496,.168281228978882052115,-50,52,
 -6704129343754914,-4503599627370496,.168281228979952056154,-50,52,
 -6704129343695658,-4503599627370496,.168281229086873066936,-50,52,
 -6664353023208306,-9007199254740991,-.485058874170695675648,-50,53,
 -6664353023200186,-9007199254740991,-.485058874126120519467,-50,53,
 -6664353023200105,-9007199254740991,-.485058874125675865816,-50,53,
 -6664353023200104,-9007199254740991,-.485058874125670376264,-50,53,
 -6584354503857515,-9007199254740991,.202188116331600633520,-50,53,
 -6584354503857477,-9007199254740991,.202188116332081951528,-50,53,
 -6584354503853743,-9007199254740991,.202188116379377778960,-50,53,
 -6584354503480299,-9007199254740991,.202188121109517847012,-50,53,
 -6570270929571889,-9007199254740991,.394273676806151786004,-50,53,
 -6570270929571874,-9007199254740991,.394273676806371678742,-50,53,
 -6570270929570339,-9007199254740991,.394273676828874035607,-50,53,
 -6570270929416899,-9007199254740991,.394273679078230152948,-50,53,
 -6424044172336358,-9007199254740986,.380065046132076805616,-50,53,
 -6424044172336357,-9007199254740986,.380065046132142434594,-50,53,
 -6424044172336279,-9007199254740986,.380065046137261494906,-50,53,
 -6424044172328487,-9007199254740986,.380065046648642494283,-50,53,
 -6424044171549237,-9007199254740986,.380065097790024084873,-50,53,
 -6419250167527352,-9007199254740985,-.297542307422257292545,-50,53,
 -6419250166146461,-9007199254740985,-.297542212285338887806,-50,53,
 -6419250166132652,-9007199254740985,-.297542211333963496461,-50,53,
 -6419250166132514,-9007199254740985,-.297542211324455943125,-50,53,
 -6419250166132513,-9007199254740985,-.297542211324387047811,-50,53,
 -6406976598443937,-9007199254740984,-.397185443015756622417,-50,53,
 -6406976597649952,-9007199254740984,-.397185381080923547346,-50,53,
 -6406976597642012,-9007199254740984,-.397185380461563513329,-50,53,
 -6406976597641933,-9007199254740984,-.397185380455401115005,-50,53,
 -6406976597641932,-9007199254740984,-.397185380455323109963,-50,53,
 -6094824714127748,-9007199254740819,.375664280886214761276,-50,53,
 -6094824714127727,-9007199254740819,.375664280921803861080,-50,53,
 -6094824714125641,-9007199254740819,.375664284456987774957,-50,53,
 -6094824713917034,-9007199254740819,.375664637987242554012,-50,53,
 -6094824693062387,-9007199254740819,.375699980758165324676,-50,53,
 -6047388880828282,-9007199254740717,.170506714222353195341,-50,53,
 -6047388880828281,-9007199254740717,.170506714225022670631,-50,53,
 -6047388880828194,-9007199254740717,.170506714457267020853,-50,53,
 -6047388880819486,-9007199254740717,.170506737703057846392,-50,53,
 -6047388879948714,-9007199254740717,.170509062207404844857,-50,53,
 -6047388792933498,-9007199254740717,.170741347274736461441,-50,53,
 -5969671014482246,-9007199254740410,.107924840725379121993,-50,53,
 -5969671014482244,-9007199254740410,.107924840736532897688,-50,53,
 -5969671014482027,-9007199254740410,.107924841946717560505,-50,53,
 -5969671014460380,-9007199254740410,.107924962669608798795,-50,53,
 -5969671012295755,-9007199254740410,.107937034540590327302,-50,53,
 -5969670796504275,-9007199254740410,.109140480670646955525,-50,53,
 -5959794848814752,-9007199254740352,-.172364867329761146692,-50,53,
 -5959794650312191,-9007199254740352,-.171150017989455430380,-50,53,
 -5959794648319732,-9007199254740352,-.171137823991699517269,-50,53,
 -5959794648299806,-9007199254740352,-.171137702043091499154,-50,53,
 -5959794648299607,-9007199254740352,-.171137700825196638273,-50,53,
 -5959794648299605,-9007199254740352,-.171137700812956488918,-50,53,
 -5878047634915448,-9007199254739601,.224456624725804598298,-50,53,
 -5878047634915444,-9007199254739601,.224456624778327845065,-50,53,
 -5878047634915086,-9007199254739601,.224456629479158430669,-50,53,
 -5878047634879267,-9007199254739601,.224457099811702492149,-50,53,
 -5878047631297964,-9007199254739601,.224504125227802790658,-50,53,
 -5878047279237172,-9007199254739601,.229126976893408772518,-50,53,
 -5825846315584418,-9007199254738720,.232583271178911370659,-50,53,
 -5825846315584412,-9007199254738720,.232583271306483562228,-50,53,
 -5825846315583849,-9007199254738720,.232583283277007537805,-50,53,
 -5825846315527560,-9007199254738720,.232584480095523057041,-50,53,
 -5825846309901164,-9007199254738720,.232704108710071285322,-50,53,
 -5825845771594486,-9007199254738720,.244149631398247013777,-50,53,
 -5808327540792849,-9007199254738316,.349708540792045202998,-50,53,
 -5808327540792845,-9007199254738316,.349708540891928267920,-50,53,
 -5808327540792474,-9007199254738316,.349708550156082539445,-50,53,
 -5808327540755320,-9007199254738316,.349709477919931227895,-50,53,
 -5808327537042295,-9007199254738316,.349802195000823439494,-50,53,
 -5808327187530830,-9007199254738316,.358529778364943394579,-50,53,
 -5742971020770446,-9007199254736084,.303635898049435272995,-50,53,
 -5742971020770437,-9007199254736084,.303635898457115462740,-50,53,
 -5742971020769557,-9007199254736084,.303635938319178460191,-50,53,
 -5742971020681499,-9007199254736084,.303639927152752146362,-50,53,
 -5742971011893798,-9007199254736084,.304037990681265299706,-50,53,
 -5742970282723454,-9007199254736084,.337067914027587132638,-50,53,
 -5728502683954668,-9007199254735383,-.453246880366233781431,-50,53,
 -5728502445596837,-9007199254735383,-.440939402909062678355,-50,53,
 -5728502442577848,-9007199254735383,-.440783518877754598610,-50,53,
 -5728502442547578,-9007199254735383,-.440781955900979023736,-50,53,
 -5728502442547275,-9007199254735383,-.440781940255720911261,-50,53,
 -5728502442547272,-9007199254735383,-.440781940100817365593,-50,53,
 -5682752878991296,-9007199254732460,.303381774931886865553,-50,53,
 -5682752878991281,-9007199254732460,.303381776101084762870,-50,53,
 -5682752878989763,-9007199254732460,.303381894423911972195,-50,53,
 -5682752878838048,-9007199254732460,.303393720081186276592,-50,53,
 -5682752863758140,-9007199254732460,.304569146610618006307,-50,53,
 -5682751925642771,-9007199254732460,.377692298573358122898,-50,53,
 -5646935439382241,-9007199254729169,.322668979235936819399,-50,53,
 -5646935439382222,-9007199254729169,.322668981275685952268,-50,53,
 -5646935439380337,-9007199254729169,.322669183640270978068,-50,53,
 -5646935439191889,-9007199254729169,.322689414516319400109,-50,53,
 -5646935420561740,-9007199254729169,.324689458384010183122,-50,53,
 -5646934554955571,-9007199254729169,.417617170850903202077,-50,53,
 -5610286279406241,-9007199254724518,.374964770781466019021,-50,53,
 -5610286279406222,-9007199254724518,.374964773605836132350,-50,53,
 -5610286279404382,-9007199254724518,.374965047123783951696,-50,53,
 -5610286279220416,-9007199254724518,.374992393864452381945,-50,53,
 -5610286261221454,-9007199254724518,.377667958836918498277,-50,53,
 -5610285700332193,-9007199254724518,.461044961630850122787,-50,53,
 -5504764998682047,-9007199254698669,-.495686021985542511020,-50,53,
 -5504764858281643,-9007199254698669,-.443040553410292822410,-50,53,
 -5504764837167000,-9007199254698669,-.435123260991537464430,-50,53,
 -5504764836926170,-9007199254698669,-.435032957702486799309,-50,53,
 -5504764836923758,-9007199254698669,-.435032053282217645659,-50,53,
 -5504764836923734,-9007199254698669,-.435032044283010987319,-50,53,
 -5500928418642776,-9007199254697207,.323067409546473658713,-50,53,
 -5500928418642775,-9007199254697207,.323067409934140187219,-50,53,
 -5500928418642707,-9007199254697207,.323067436295464125630,-50,53,
 -5500928418635917,-9007199254697207,.323070068551192760030,-50,53,
 -5500928417957897,-9007199254697207,.323332914211639354039,-50,53,
 -5500928359013360,-9007199254697207,.346183744225609644369,-50,53,
 -5500927990713158,-9007199254697207,.488961707064693646819,-50,53,
 -5376221586957460,-9007199254610489,-.497859149831136416939,-50,53,
 -5376221481788685,-9007199254610489,-.378991419242028901135,-50,53,
 -5376221348093431,-9007199254610489,-.227881286668256681628,-50,53,
 -5376221345048931,-9007199254610489,-.224440214142088222098,-50,53,
 -5376221345018097,-9007199254610489,-.224405363745748677754,-50,53,
 -5376221345017789,-9007199254610489,-.224405015626073189742,-50,53,
 -5376221345017786,-9007199254610489,-.224405012235297129790,-50,53,
 -5339882002498937,-9007199254562401,.483772462068850370848,-50,53,
 -5339882002498912,-9007199254562401,.483772500486521301907,-50,53,
 -5339882002496444,-9007199254562401,.483776293078995655912,-50,53,
 -5339882002255320,-9007199254562401,.484146829978802989739,-50,53,
 -5339881995080461,-9007199254562401,.495172485216215688968,-50,53,
 -5339881991983522,-9007199254562401,.499931572911563751624,-50,53,
 -5231748396027427,-9007199254292224,.217586089114535324528,-50,53,
 -5231748396027416,-9007199254292224,.217586130765401272555,-50,53,
 -5231748396026358,-9007199254292224,.217590136821417018653,-50,53,
 -5231748395920646,-9007199254292224,.217990409216240423843,-50,53,
 -5231748386674876,-9007199254292224,.252998985751720838367,-50,53,
 -5231748326304937,-9007199254292224,.481586354586225841304,-50,53,
 -5231748321493857,-9007199254292224,.499803242535982697294,-50,53,
 -5218115932962414,-9007199254237592,.280436829066997021101,-50,53,
 -5218115932962405,-9007199254237592,.280436867198108731566,-50,53,
 -5218115932961484,-9007199254237592,.280440769281873784187,-50,53,
 -5218115932869556,-9007199254237592,.280830248930615213906,-50,53,
 -5218115925075682,-9007199254237592,.313851258920952224449,-50,53,
 -5218115883874082,-9007199254237592,.488413834555593886802,-50,53,
 -5218115881168270,-9007199254237592,.499877797053949204513,-50,53,
 -5151535840545578,-9007199253862399,.254907919820910507708,-50,53,
 -5151535840545560,-9007199253862399,.254908051295952604503,-50,53,
 -5151535840543788,-9007199253862399,.254920994283430227603,-50,53,
 -5151535840367509,-9007199253862399,.256208565892470186426,-50,53,
 -5151535828871736,-9007199253862399,.340175638776137591660,-50,53,
 -5151535807607863,-9007199253862399,.495490589034748015176,-50,53,
 -5151535806996772,-9007199253862399,.499954102182413443338,-50,53,
 -5130880865006699,-9007199253698147,-.499986741960907659150,-50,53,
 -5130880864856772,-9007199253698147,-.498691912223384070915,-50,53,
 -5130880858450720,-9007199253698147,-.443366674942380316798,-50,53,
 -5130880853644399,-9007199253698147,-.401857355030301567727,-50,53,
 -5130880853560493,-9007199253698147,-.401132709076466796290,-50,53,
 -5130880853559648,-9007199253698147,-.401125411316697525553,-50,53,
 -5130880853559639,-9007199253698147,-.401125333589078680980,-50,53,
 -4968298509618523,-9007199250813548,-.499997665535433658114,-50,53,
 -4968298509611271,-9007199250813548,-.499768937849933175014,-50,53,
 -4968298508952306,-9007199250813548,-.478985217542517238607,-50,53,
 -4968298502984221,-9007199250813548,-.290752135918157791480,-50,53,
 -4968298502331503,-9007199250813548,-.270165444582519936479,-50,53,
 -4968298502324327,-9007199250813548,-.269939113919957214777,-50,53,
 -4968298502324255,-9007199250813548,-.269936843043744146371,-50,53,
 -4968298502324254,-9007199250813548,-.269936811503796742635,-50,53,
 -4752492777703000,-9007199233303196,.333346613238218265130,-50,53,
 -4752492777702997,-9007199233303196,.333347108329180427288,-50,53,
 -4752492777702725,-9007199233303196,.333391996576416509207,-50,53,
 -4752492777676226,-9007199233303196,.337765135045638271931,-50,53,
 -4752492776964371,-9007199233303196,.455242794339391230546,-50,53,
 -4752492776696859,-9007199233303196,.499390385784811776190,-50,53,
 -4752492776693202,-9007199233303196,.499993901672248732970,-50,53,
 -4752492776693165,-9007199233303195,-.499999992205838366661,-50,53,
 -4741479308328681,-9007199231408545,.304048438045819342647,-50,53,
 -4741479308328677,-9007199231408545,.304049154925570518468,-50,53,
 -4741479308328330,-9007199231408545,.304111344243985102578,-50,53,
 -4741479308294655,-9007199231408545,.310146575649972480372,-50,53,
 -4741479307494906,-9007199231408545,.453477542145985471377,-50,53,
 -4741479307238716,-9007199231408545,.499391898339794687467,-50,53,
 -4741479307235357,-9007199231408545,.499993898115760686960,-50,53,
 -4741479307235323,-9007199231408545,.499999991593695519870,-50,53,
 -4509366364590378,-9007199121614422,.391257167300767902376,-50,53,
 -4509366364590367,-9007199121614422,.391267892845387409883,-50,53,
 -4509366364589328,-9007199121614422,.392280969287179221100,-50,53,
 -4509366364536024,-9007199121614422,.444255008424532223585,-50,53,
 -4509366364480013,-9007199121614422,.498868506609552160111,-50,53,
 -4509366364478864,-9007199121614422,.499988838498419476294,-50,53,
 -4509366364478853,-9007199121614422,.499999564043047493118,-50,53,
 -9003431362539911,-9007199113947990,.039714656296090594391,-51,53,
 -9003431362539887,-9007199113947990,.039727010846252282278,-51,53,
 -9003431362537548,-9007199113947990,.040931064714098499544,-51,53,
 -9003431362352603,-9007199113947990,.136135743065047967307,-51,53,
 -9003431361678274,-9007199113947990,.483262054377431243627,-51,53,
 -9003431361646096,-9007199113947990,.499826417558344770376,-51,53,
 -9003431361645762,-9007199113947990,.499998351715307431266,-51,53,
 -9003431361645759,-9007199113947990,.499999896034082545911,-51,53,
 -8993907678352313,-9007199108961639,.135000194788775092763,-51,53,
 -8993907678352294,-9007199108961639,.135010311741050132215,-51,53,
 -8993907678350375,-9007199108961639,.136032123920832629326,-51,53,
 -8993907678200893,-9007199108961639,.215626979730767765581,-51,53,
 -8993907677690184,-9007199108961639,.487564800093334913637,-51,53,
 -8993907677667072,-9007199108961639,.499871273858572407784,-51,53,
 -8993907677666833,-9007199108961639,.499998534469078360672,-51,53,
 -8993907677666830,-9007199108961638,-.499999868117400643418,-51,53,
 -8963172421441991,-9007199091671582,.499999865963301545057,-51,53,
 -8963172421441989,-9007199091671581,-.499998946635804567856,-51,53,
 -8963172421441857,-9007199091671581,-.499920578176808001529,-51,53,
 -8963172421428942,-9007199091671581,-.492252936904353481270,-51,53,
 -8963172421092264,-9007199091671581,-.292367057700115030100,-51,53,
 -8963172420970653,-9007199091671581,-.220166552542073965836,-51,53,
 -8963172420969009,-9007199091671581,-.219190509005669522846,-51,53,
 -8963172420968992,-9007199091671581,-.219180416098054605420,-51,53,
 -8776075116783095,-9007198934638812,.437057950913884911648,-51,53,
 -8776075116783088,-9007198934638812,.437065948024288123424,-51,53,
 -8776075116782385,-9007198934638812,.437869086397640235793,-51,53,
 -8776075116751901,-9007198934638812,.472695359761206839630,-51,53,
 -8776075116728420,-9007198934638812,.499521095390595596964,-51,53,
 -8776075116728005,-9007198934638812,.499995209793161789482,-51,53,
 -8776075116728001,-9007198934638812,.499999779570535924773,-51,53,
 -8685046906566951,-9007198812466228,.189098324974494045118,-51,53,
 -8685046906566902,-9007198812466228,.189174914099197750363,-51,53,
 -8685046906562207,-9007198812466228,.196513402680561382801,-51,53,
 -8685046906425813,-9007198812466228,.409703138954980034242,-51,53,
 -8685046906368854,-9007198812466228,.498732525822995855617,-51,53,
 -8685046906368051,-9007198812466228,.499987649642973202590,-51,53,
 -8685046906368043,-9007198812466227,-.499999846010127877456,-51,53,
 -8212825471907614,-9007197006026857,.499998868133904621951,-51,53,
 -8212825471907603,-9007197006026856,-.499918183661877773518,-51,53,
 -8212825471906530,-9007197006026856,-.491826963377728143640,-51,53,
 -8212825471867626,-9007197006026856,-.198461787278064189911,-51,53,
 -8212825471844888,-9007197006026856,-.027000308385915480718,-51,53,
 -8212825471844884,-9007197006026856,-.026970145402557495933,-51,53,
 -8212825471844493,-9007197006026856,-.024021713779312596902,-51,53,
 -8007376589149477,-9007194812139062,.499999560001756121865,-51,53,
 -8007376589149476,-9007194812139061,-.499985890950697788634,-51,53,
 -8007376589149368,-9007194812139061,-.498414593815719852039,-51,53,
 -8007376589142012,-9007194812139061,-.391391800065405584586,-51,53,
 -8007376589126693,-9007194812139061,-.168514940696214371872,-51,53,
 -8007376589126216,-9007194812139061,-.161575045016225068842,-51,53,
 -8007376589126211,-9007194812139061,-.161502299778489276542,-51,53,
 -7674333999733130,-9007186308963029,.499999538816717749436,-51,53,
 -7674333999684053,-9007186308963026,-.499990281524894317557,-51,53,
 -7674333999684050,-9007186308963026,-.499868024040952331286,-51,53,
 -7674333999683710,-9007186308963026,-.486012175860853360922,-51,53,
 -7674333999678868,-9007186308963026,-.288688596776837487205,-51,53,
 -7674333999678017,-9007186308963026,-.254008223831371897976,-51,53,
 -7674333999678007,-9007186308963026,-.253600698884891160234,-51,53,
 -7670011465092394,-9007186131651710,-.499983749753955011341,-51,53,
 -7670011465092388,-9007186131651710,-.499736015376381808287,-51,53,
 -7670011465091825,-9007186131651710,-.476490272947409580898,-51,53,
 -7670011465083609,-9007186131651710,-.137259331919040076311,-51,53,
 -7670011465082111,-9007186131651710,-.075408315649813634796,-51,53,
 -7670011465082087,-9007186131651710,-.074417378139489968507,-51,53,
 -7670011465068175,-9007186131651710,.499996065356904003819,-51,53,
 -7663679833600279,-9007185867705397,.320001921664500984183,-51,53,
 -7663679833600271,-9007185867705397,.320338619627713526329,-51,53,
 -7663679833599635,-9007185867705397,.347106107703136680722,-51,53,
 -7663679833596231,-9007185867705397,.490371091051087589691,-51,53,
 -7663679833596005,-9007185867705397,.499882808511961427005,-51,53,
 -7663679833596002,-9007185867705396,-.499990929751832239419,-51,53,
 -7663679833572242,-9007185867705395,-.499997978961755305030,-51,53,
 -7532107066355573,-9007179075755116,.499984333660994182411,-51,53,
 -7532107066355554,-9007179075755115,-.498829494665798246445,-51,53,
 -7532107066355038,-9007179075755115,-.466615569224977555598,-51,53,
 -7532107066354833,-9007179075755115,-.453817401171924620721,-51,53,
 -7532107066354830,-9007179075755115,-.453630110907733544294,-51,53,
 -7532107066307519,-9007179075755113,.499999785681193600313,-51,53,
 -7503352410222560,-9007177201795188,-.499998533236642224704,-51,53,
 -7503352410207851,-9007177201795187,-.499982995234566847248,-51,53,
 -7503352410207850,-9007177201795187,-.499915008591149630360,-51,53,
 -7503352410207745,-9007177201795187,-.492776411032340737348,-51,53,
 -7503352410204415,-9007177201795187,-.266380888451822212700,-51,53,
 -7503352410202849,-9007177201795187,-.159913804859131338398,-51,53,
 -7503352410202826,-9007177201795187,-.158350112060512150663,-51,53,
 -7455588096918961,-9007173714269868,-.499994564336156280634,-51,53,
 -7455588096907082,-9007173714269868,.429828555593066410777,-51,53,
 -7455588096907077,-9007173714269868,.430219928233838138257,-51,53,
 -7455588096906741,-9007173714269868,.456520169693711411596,-51,53,
 -7455588096906200,-9007173714269868,.498866689425288162974,-51,53,
 -7455588096906186,-9007173714269868,.499962532819451856715,-51,53,
 -7455588096893410,-9007173714269867,.499997904540783457038,-51,53,
 -7353432756492485,-9007164394053441,.212853044834127948032,-51,53,
 -7353432756492455,-9007164394053441,.216017609792389211767,-51,53,
 -7353432756491051,-9007164394053441,.364119249839324346709,-51,53,
 -7353432756489787,-9007164394053441,.497452920081525428372,-51,53,
 -7353432756489763,-9007164394053441,.499984572048154228337,-51,53,
 -7353432756442363,-9007164394053436,.499997206483908564155,-51,53,
 -7321972524056644,-9007160919566748,.499963473936789033594,-51,53,
 -7321972524056643,-9007160919566747,-.499920984985839415382,-51,53,
 -7321972524056615,-9007160919566747,-.496685834819435851237,-51,53,
 -7321972524055014,-9007160919566747,-.311704569947139787327,-51,53,
 -7321972524052838,-9007160919566747,-.060287185584671594370,-51,53,
 -7321972524052775,-9007160919566747,-.053008097710183218178,-51,53,
 -7321972524039334,-9007160919566746,.499979523288326205240,-51,53,
 -7321972524013369,-9007160919566742,-.499996402496898652815,-51,53,
 -7219622810665258,-9007147170679837,.267224298097091902645,-51,53,
 -7219622810665223,-9007147170679837,.272647789961582519031,-51,53,
 -7219622810664197,-9007147170679837,.431633580046604763406,-51,53,
 -7219622810663762,-9007147170679837,.499039836076944471499,-51,53,
 -7219622810663756,-9007147170679837,.499969577539432499537,-51,53,
 -7219622810650849,-9007147170679835,.499998420298367575211,-51,53,
 -6996596764375574,-9007099075240717,.499999578406867816709,-51,53,
 -6996596764338946,-9007099075240706,.106773628135096894665,-51,53,
 -6996596764338842,-9007099075240706,.136890055491972664537,-51,53,
 -6996596764337733,-9007099075240706,.458035420288425839921,-51,53,
 -6996596764337590,-9007099075240706,.499445507904270871390,-51,53,
 -6996596764337588,-9007099075240705,-.499975330031171739566,-51,53,
 -6996596764323775,-9007099075240701,-.499992531089314930717,-51,53,
 -6991026823115723,-9007097449834457,.499996694910133103966,-51,53,
 -6991026823115722,-9007097449834456,-.499709240261422424995,-51,53,
 -6991026823115628,-9007097449834456,-.472067146387638526756,-51,53,
 -6991026823114882,-9007097449834456,-.252694784367780334484,-51,53,
 -6991026823114810,-9007097449834456,-.231522116719727246899,-51,53,
 -6919542283146118,-9007074222020222,-.499842930554472578586,-51,53,
 -6919542283146089,-9007074222020222,-.489467404460063173868,-51,53,
 -6919542283145753,-9007074222020222,-.369254412469604676399,-51,53,
 -6919542283145707,-9007074222020222,-.352796681423283326627,-51,53,
 -6919542283140528,-9007074222020220,-.499870831651413468211,-51,53,
 -6919542283115373,-9007074222020211,-.499996386210050277858,-51,53,
 -6755947041332678,-9007000586030504,.499979120143255441508,-51,53,
 -6755947041332666,-9007000586030503,-.493346479486077578335,-51,53,
 -6755947041332378,-9007000586030503,-.333160870590006026345,-51,53,
 -6755947041332286,-9007000586030503,-.281990467748179483967,-51,53,
 -6755947041311103,-9007000586030492,.499994786916357486140,-51,53,
 -6693368374188346,-9006962719575065,-.499999340754088475197,-51,53,
 -6693368374138089,-9006962719575033,.499976458178789913931,-51,53,
 -6693368374138080,-9006962719575032,-.494113921624817490338,-51,53,
 -6693368374137826,-9006962719575032,-.327331307193235220183,-51,53,
 -6693368374137715,-9006962719575032,-.254445991437666118928,-51,53,
 -6693368374136566,-9006962719575031,-.499984479696331109833,-51,53,
 -6651929526154483,-9006933968960347,-.499993381857401051338,-51,53,
 -6651929526131383,-9006933968960331,.415878418856644150676,-51,53,
 -6651929526131344,-9006933968960331,.444437682936638680772,-51,53,
 -6651929526131270,-9006933968960331,.498627055806379924776,-51,53,
 -6651929526131268,-9006933968960330,-.499908366548491787474,-51,53,
 -6651929526128537,-9006933968960329,.499972407881355344786,-51,53,
 -6576166040923338,-9006872613931440,.499992860476703442438,-51,53,
 -6576166040913252,-9006872613931431,.499937742476347854524,-51,53,
 -6576166040907708,-9006872613931426,.446962769922060455621,-51,53,
 -6576166040907682,-9006872613931426,.470163103745025404700,-51,53,
 -6576166040907649,-9006872613931426,.499609681289560093272,-51,53,
 -6576166040906528,-9006872613931425,.499900997273584020151,-51,53,
 -6536313029100415,-9006835153231829,.499714482676186409440,-51,53,
 -6536313029100413,-9006835153231828,-.498307141093577964350,-51,53,
 -6536313029100353,-9006835153231828,-.438955854186504434574,-51,53,
 -6536313029100294,-9006835153231828,-.380593755394539844321,-51,53,
 -6536313029099404,-9006835153231828,.499783667061596210863,-51,53,
 -6536313029096371,-9006835153231825,.499991220233465578516,-51,53,
 -6536313029052901,-9006835153231782,.499998587262530185906,-51,53,
 -6407177918309707,-9006683760450083,.499977123737270809011,-51,53,
 -6407177918308980,-9006683760450082,.499914758251500004512,-51,53,
 -6407177918307857,-9006683760450080,.044522686122345122193,-51,53,
 -6407177918307642,-9006683760450080,.340240143373274028606,-51,53,
 -6407177918307528,-9006683760450080,.497039167218017796362,-51,53,
 -6407177918307526,-9006683760450080,.499790027285469844622,-51,53,
 -6407177918213737,-9006683760449951,.499997475703833095373,-51,53,
 -6381362283378273,-9006647070604837,.287566468157997193357,-51,53,
 -6381362283378175,-9006647070604837,.431426869263022349392,-51,53,
 -6381362283378129,-9006647070604837,.498953179985801496773,-51,53,
 -6381362283378128,-9006647070604836,-.499578856737616261020,-51,53,
 -6381362283377447,-9006647070604835,-.499895865384251291725,-51,53,
 -6381362283374041,-9006647070604831,.499987054684873939132,-51,53,
 -6381362283348836,-9006647070604793,-.499998557505385380669,-51,53,
 -6373189179225722,-9006634948583043,.499991249247149132452,-51,53,
 -6373189179214377,-9006634948583026,.499961446564200361503,-51,53,
 -6373189179212413,-9006634948583023,.442926758868228600587,-51,53,
 -6373189179212387,-9006634948583023,.481886584794957785731,-51,53,
 -6373189179212375,-9006634948583023,.499868042914987499240,-51,53,
 -6373189179193689,-9006634948582995,.499995246145963231218,-51,53,
 -6370884482049613,-9006631485076377,.499966161589897788138,-51,53,
 -6370884482049596,-9006631485076376,-.474412122474077273262,-51,53,
 -6370884482049557,-9006631485076376,-.415632891797310043097,-51,53,
 -6370884482033689,-9006631485076353,.499978195320219118955,-51,53,
 -6370884482005822,-9006631485076311,.499999256659146281668,-51,53,
 -6367009572568964,-9006625616449033,.310131822181797161618,-51,53,
 -6367009572568878,-9006625616449033,.441015426130307983277,-51,53,
 -6367009572568840,-9006625616449033,.498847716247100839383,-51,53,
 -6367009572568839,-9006625616449032,-.499630381381404537243,-51,53,
 -6367009572567525,-9006625616449030,-.499850665234167371885,-51,53,
 -6367009572566868,-9006625616449029,-.499960807158074133797,-51,53,
 -6367009572548470,-9006625616449002,.499999024385488207492,-51,53,
 -6208725144805072,-9006330351884959,-.499997411509180920138,-51,53,
 -6208725144792204,-9006330351884931,.499256569851924247294,-51,53,
 -6208725144792203,-9006330351884930,-.498489835651509226339,-51,53,
 -6208725144792201,-9006330351884930,-.493982646658376157048,-51,53,
 -6208725144791760,-9006330351884930,.499852526328004711207,-51,53,
 -6208725144789985,-9006330351884926,.499982757746627435687,-51,53,
 -6167723416123381,-9006233163397845,.499998042444259596857,-51,53,
 -6167723416088051,-9006233163397756,-.499988750346561455899,-51,53,
 -6167723416082430,-9006233163397742,-.499194120786358509218,-51,53,
 -6167723416082411,-9006233163397742,-.451868894320699586438,-51,53,
 -6167723416082298,-9006233163397742,-.170408336919630275241,-51,53,
 -6167723416082029,-9006233163397742,.499617237778801803779,-51,53,
 -6167723416080423,-9006233163397738,.499844274835069768801,-51,53,
 -6167723416079620,-9006233163397736,.499957793369064549642,-51,53,
 -5736830024850461,-9004365261525945,.499989336539118334829,-51,53,
 -5736830024850315,-9004365261525943,-.499920889580377596268,-51,53,
 -5736830024850218,-9004365261525943,.164522316354112575491,-51,53,
 -5736830024850171,-9004365261525943,.486469024384278821675,-51,53,
 -5736830024850169,-9004365261525942,-.499831115699543131759,-51,53,
 -5736830024817030,-9004365261525716,.499997773924049662115,-51,53,
 -5211344606297417,-8997611660868471,-.499247765434316217822,-51,53,
 -5211344606297135,-8997611660868465,-.491857956806070726409,-51,53,
 -5211344606297133,-8997611660868465,-.449252355326425343817,-51,53,
 -5211344606296619,-8997611660868454,-.499612775051755179028,-51,53,
 -5211344606295821,-8997611660868437,-.499977784641309649441,-51,53,
 -5211344606186211,-8997611660866102,-.499988423330881020831,-51,53,
 -4876722113931729,-8987446059936190,.499964618690072543314,-51,53,
 -4876722113924685,-8987446059935898,.499732320198993101999,-51,53,
 -4876722113924613,-8987446059935895,.484397748173514476661,-51,53,
 -4876722113915687,-8987446059935524,-.499996552783030341704,-51,53,
 -4751618877829066,-8981589271058222,-.499999680684321060138,-51,53,
 -4751618877818946,-8981589271057691,.499974784288256557681,-51,53,
 -4751618877763286,-8981589271054765,.499834522001580144647,-51,53,
 -4751618877760756,-8981589271054632,.499828153695499353151,-51,53,
 -4751618877760490,-8981589271054618,.483226693665173933825,-51,53,
 -4751618877760395,-8981589271054613,.477297600798890014350,-51,53,
 -4751618877760394,-8981589271054612,-.470133231757592455638,-51,53,
 -4628339749646957,-8974306466792598,.499964806961659505855,-51,53,
 -4628339749644897,-8974306466792461,-.468572417491973852986,-51,53,
 -4628339749644882,-8974306466792460,-.478052057473983470806,-51,53,
 -4628339749644852,-8974306466792458,-.497011337437921335083,-51,53,
 -4628339749644004,-8974306466792402,-.499593651040354180130,-51,53,
 -4628339749643898,-8974306466792395,-.499916440234563028206,-51,53,
 -4628339749637674,-8974306466791985,.499998279642453003117,-51,53,
 -4542273746000434,-8968155427953202,-.499953031234960743419,-51,53,
 -4542273745999773,-8968155427953151,-.499402309467159093126,-51,53,
 -4542273745999592,-8968155427953138,.465952729333044877036,-51,53,
 -4542273745999475,-8968155427953129,.493281677068183256170,-51,53,
 -4542273745999449,-8968155427953127,.499354776565137652107,-51,53,
 -4542273745978699,-8968155427951525,-.499998479722701932701,-51,53,
 -8739937159289815,-8952613099397594,.499854768614940967377,-52,53,
 -8739937159289298,-8952613099397567,.499588261547478883455,-52,53,
 -8739937159289049,-8952613099397553,-.496671622896581003480,-52,53,
 -8739937159288915,-8952613099397546,-.498674934202671138290,-52,53,
 -8739937159286330,-8952613099397412,.499992530685029938623,-52,53,
 -8739937159278843,-8952613099397020,-.499998450359087301428,-52,53,
 -8728866355390980,-8952032173572207,-.499994493244127037507,-52,53,
 -8728866355360861,-8952032173570619,-.499986022325651059378,-52,53,
 -8728866355359723,-8952032173570559,-.499852894923849679802,-52,53,
 -8728866355358205,-8952032173570479,-.464525928755093975089,-52,53,
 -8728866355358187,-8952032173570479,.484509568868087793365,-52,53,
 -8728866355358111,-8952032173570475,.491548336610572918222,-52,53,
 -8728866355358016,-8952032173570469,-.499653203710952064986,-52,53,
 -8585905274322860,-8944014070717526,-.499996636056696545454,-52,53,
 -8585905274309111,-8944014070716707,-.499943569862303274128,-52,53,
 -8585905274307768,-8944014070716628,.499843416458601812173,-52,53,
 -8524144525626389,-8940237465026756,-.499998317971534615171,-52,53,
 -8524144525615553,-8940237465026077,.499979023437900502201,-52,53,
 -8524144525569500,-8940237465023187,.499882793524712029732,-52,53,
 -8524144525567843,-8940237465023083,.482898897645044983138,-52,53,
 -8524144525567779,-8940237465023079,.499140919774504691860,-52,53,
 -8524144525567285,-8940237465023048,.499509028093541783307,-52,53,
 -8524144525566791,-8940237465023017,.499877136425451142092,-52,53,
 -8378459844685390,-8930515374463518,.499979861412760735657,-52,53,
 -8378459844682285,-8930515374463297,-.497117432353332110443,-52,53,
 -8378459844682257,-8930515374463296,.486805683840716792736,-52,53,
 -8378459844682158,-8930515374463288,-.498609012472813726010,-52,53,
 -8378459844682031,-8930515374463280,.499899407408648825575,-52,53,
 -8378459844673323,-8930515374462663,.499988546099663403682,-52,53,
 -8378459844661256,-8930515374461808,.499997239310499928310,-52,53,
 -7685757137759551,-8864872585377586,.490210978347719089161,-52,53,
 -7685757137759543,-8864872585377585,.471343801456081144913,-52,53,
 -7685757137759502,-8864872585377580,.499649519886530045804,-52,53,
 -7685757137757806,-8864872585377372,.499808019000056551644,-52,53,
 -7685757137755792,-8864872585377125,.499996237044616116970,-52,53,
 -7680038864670185,-8864169765761677,.499628289716013872456,-52,53,
 -7680038864670120,-8864169765761668,-.494058237438423559231,-52,53,
 -7680038864670112,-8864169765761668,.491334189988749841068,-52,53,
 -7680038864669706,-8864169765761618,.499999881925639426366,-52,53,
 -7326428955739538,-8814334240980368,.482487250413042849351,-52,53,
 -7326428955739513,-8814334240980364,.482695610689270525594,-52,53,
 -7326428955738663,-8814334240980228,.489779860123999036467,-52,53,
 -7326428955737463,-8814334240980036,.499781153585799684786,-52,53,
 -7326428955737438,-8814334240980032,.499989513868023939254,-52,53,
 -7326428955718239,-8814334240976959,-.499998102462733578260,-52,53,
 -7095143132251519,-8774091990244670,-.499993981361666443537,-52,53,
 -7095143132243126,-8774091990243088,.499960457577899410814,-52,53,
 -7095143132241774,-8774091990242832,-.499927733921894512572,-52,53,
 -7095143132241546,-8774091990242789,-.496950298736848905453,-52,53,
 -7095143132241530,-8774091990242786,-.479197496267465316179,-52,53,
 -7095143132241493,-8774091990242780,.499355859443113618705,-52,53,
 -7095143132206850,-8774091990236245,-.499998064488903505167,-52,53,
 -6791286311414149,-8710336228448914,-.499246484295085609554,-52,53,
 -6791286311413938,-8710336228448865,-.499329836155835106284,-52,53,
 -6791286311412461,-8710336228448522,-.499913298987217072129,-52,53,
 -6791286311412250,-8710336228448473,-.499996650792576708497,-52,53,
 -5936981026600032,-8446262199972264,-.498786413095946394339,-52,53,
 -5936981026599853,-8446262199972193,-.442858368155471259800,-52,53,
 -5936981026599838,-8446262199972187,-.488450990087495546606,-52,53,
 -5936981026599833,-8446262199972186,.496351469268507977451,-52,53,
 -5936981026599571,-8446262199972081,-.499999660468778945419,-52,53,
 -5820702917350475,-8398507865949299,-.499904128828856486612,-52,53,
 -5820702917349639,-8398507865948945,.499583924583255070666,-52,53,
 -5820702917349566,-8398507865948914,.498343048872542764392,-52,53,
 -5820702917349533,-8398507865948899,-.488519264804476242604,-52,53,
 -5820702917349526,-8398507865948897,.483964486839826574952,-52,53,
 -5820702917346441,-8398507865947586,-.499982108758559256968,-52,53,
 -5820702917332740,-8398507865941768,-.499999035769952553343,-52,53,
 -5511906461543847,-8255276399546565,.499993940800493020078,-52,53,
 -5511906461537878,-8255276399543552,-.499986874885156291909,-52,53,
 -5511906461525940,-8255276399537528,-.499948476941442032104,-52,53,
 -5511906461525506,-8255276399537310,.499550322982978670209,-52,53,
 -5511906461525421,-8255276399537267,.391157230808327190282,-52,53,
 -5511906461525399,-8255276399537256,.492514312834034319527,-52,53,
 -5511906461525397,-8255276399537254,-.498271406981803904617,-52,53,
 -5409484614183812,-8202137287682498,-.499999218019733006134,-52,53,
 -5409484614180335,-8202137287680645,.499984369342975644789,-52,53,
 -5409484614120067,-8202137287648509,.499700429984119552150,-52,53,
 -5409484614107318,-8202137287641711,.499640498274800838946,-52,53,
 -5409484614106746,-8202137287641405,-.499499376783850609737,-52,53,
 -5409484614106671,-8202137287641366,.491872143101723633145,-52,53,
 -5409484614106581,-8202137287641318,.481517966966524597760,-52,53,
 -5409484614106579,-8202137287641316,-.452045459169786991265,-52,53,
 -5358076516284321,-8174347464713580,-.499991116425022082290,-52,53,
 -5358076516281142,-8174347464711838,-.499939193917335009856,-52,53,
 -5358076516281100,-8174347464711815,-.485153984478021285223,-52,53,
 -5358076516281089,-8174347464711809,-.457472143910497581617,-52,53,
 -5358076516281069,-8174347464711798,-.498050615605819278732,-52,53,
 -5358076516265789,-8174347464703426,.499997043010853115771,-52,53,
 -5163948174446745,-8062395099948100,-.499994641278106319848,-52,53,
 -5163948174415740,-8062395099929311,.499895392757364646884,-52,53,
 -5163948174415575,-8062395099929211,.495056878976364381801,-52,53,
 -5163948174415547,-8062395099929194,.463932767547695127282,-52,53,
 -5163948174415542,-8062395099929191,.494089176221172505117,-52,53,
 -5163948174414712,-8062395099928687,-.499946983874647266684,-52,53,
 -5163948174402310,-8062395099921171,-.499990883262876231768,-52,53,
 -5106131784546875,-8026837654041456,-.499997828982986519828,-52,53,
 -5106131784519790,-8026837654024555,.499987298791753263356,-52,53,
 -5106131784505794,-8026837654015820,-.499946454396608847496,-52,53,
 -5106131784503331,-8026837654014284,.499350720155630472665,-52,53,
 -5106131784503323,-8026837654014279,.491634267619725880185,-52,53,
 -5106131784503307,-8026837654014269,.476201362547977022395,-52,53,
 -5106131784503073,-8026837654014122,-.499504874117159555497,-52,53,
 -4914119194457234,-7901109598044968,-.499997558755922128141,-52,53,
 -4914119194428429,-7901109598025204,-.499970054914908301162,-52,53,
 -4914119194428292,-7901109598025111,.499960644165561935650,-52,53,
 -4914119194426100,-7901109598023607,.498851830301764110796,-52,53,
 -4914119194425450,-7901109598023161,.483924490731362753895,-52,53,
 -4914119194425447,-7901109598023158,-.457682866220174974643,-52,53,
 -4914119194425415,-7901109598023137,.498505326296942108715,-52,53,
 -4914119194413958,-7901109598015275,-.499990849677020818850,-52,53,
 -4576355272201057,-7649806270428282,-.499986530672408559847,-52,53,
 -4576355272195461,-7649806270423786,.499952366228535428790,-52,53,
 -4576355272193261,-7649806270422018,.441315052180074840195,-52,53,
 -4576355272193246,-7649806270422006,.495460706863041506491,-52,53,
 -4576355272193134,-7649806270421916,.499748261831771708426,-52,53,
 -4576355272192192,-7649806270421158,-.499904623876202948734,-52,53,
 -4576355272166539,-7649806270400544,.499994144130626085525,-52,53,
 -4559405488044149,-7636133098584962,.499998995979030906909,-52,53,
 -4559405488016945,-7636133098562933,.441517637297471220169,-52,53,
 -4559405488016940,-7636133098562929,.490359998489953561758,-52,53,
 -4559405488016898,-7636133098562894,-.499364167492835436239,-52,53,
 -4559405488014175,-7636133098560689,-.499814260673113597917,-52,53,
 -4559405488013008,-7636133098559745,.499992843075985670055,-52,53,
 -8893492457679060,-7542575059696381,-.499999805097594789345,-53,53,
 -8893492457664910,-7542575059690358,-.499979559644952880463,-53,53,
 -8893492457664783,-7542575059690304,-.441958176438618647831,-53,53,
 -8893492457664762,-7542575059690296,.496769768816117072833,-53,53,
 -8512362176195475,-7373477870436938,.499998953188303829504,-53,53,
 -8512362176159339,-7373477870420246,.499970935944799891986,-53,53,
 -8512362176132237,-7373477870407727,.499950006077219460680,-53,53,
 -8512362176131029,-7373477870407168,-.498722609905338561266,-53,53,
 -8512362176130964,-7373477870407138,-.473816749006349974520,-53,53,
 -8512362176130962,-7373477870407138,.450026508252086938003,-53,53,
 -8512362176130832,-7373477870407078,.499838230051317931745,-53,53,
 -8448931866443737,-7343982660524873,.499984238766203577090,-53,53,
 -8448931866436279,-7343982660521381,-.499958760227665396438,-53,53,
 -8448931866436185,-7343982660521337,-.499689873347448067697,-53,53,
 -8448931866435433,-7343982660520985,-.497538778274696854164,-53,53,
 -8448931866435339,-7343982660520941,-.497269891386726379522,-53,53,
 -8448931866406541,-7343982660507461,-.499999589127778059501,-53,53,
 -6899679711668352,-6497169420355206,-.499994098782035614259,-53,53,
 -6899679711654486,-6497169420346506,.499988333460584389525,-53,53,
 -6899679711647114,-6497169420341880,.475170116696436128818,-53,53,
 -6899679711647106,-6497169420341875,.495219147392192250687,-53,53,
 -6899679711647004,-6497169420341810,-.499155711236318425227,-53,53,
 -6899679711646655,-6497169420341591,-.499516747123509067707,-53,53,
 -6899679711646306,-6497169420341372,-.499877782997699564716,-53,53,
 -6899679711643463,-6497169420339588,-.499953498818059877075,-53,53,
 -6739056859599018,-6394999040589346,-.499995816576112161475,-53,53,
 -6739056859598548,-6394999040589043,-.499868148256453068856,-53,53,
 -6739056859596668,-6394999040587831,-.499357474741230042627,-53,53,
 -6739056859596395,-6394999040587656,.498589022029424016798,-53,53,
 -8815198240809123,-4603434575149270,.499975364842755311826,-54,53,
 -8815198240807434,-4603434575148520,.498750993530709689321,-54,53,
 -8815198240807335,-4603434575148476,.459602850987023326529,-54,53,
 -8815198240807326,-4603434575148472,.456043928937609017923,-54,53,
 -8815198240807157,-4603434575148396,-.499673607323252368911,-54,53,
 -8815198240806594,-4603434575148147,.499918268925121220472,-54,53,
 -8815198240791983,-4603434575141659,.499983820205040171402,-54,53,
 -8815198240757703,-4603434575126436,-.499999247808770591637,-54,53,
 -5928700130568081,-6455940852387058,-.499997589389695702391,-54,54,
 -5928700130526320,-6455940852344773,-.499988727237494704977,-54,54,
 -5928700130525603,-6455940852344048,.496635069551168677290,-54,54,
 -5928700130525523,-6455940852343966,-.499557533316420242717,-54,54,
 -4568714127776735,-5046813367341640,.499859733525582157535,-54,54,
 -4568714127776494,-5046813367341385,.498653671253064596652,-54,54,
 -4568714127776373,-5046813367341256,-.472906218932899620625,-54,54,
 -4568714127776356,-5046813367341238,-.485439426644942291440,-54,54,
 -4568714127776339,-5046813367341220,-.497972634356976352250,-54,54,
 -4568714127773464,-5046813367338178,-.499912173768293934237,-54,54,
 -4568714127752719,-5046813367316228,-.499994164760604275087,-54,54,
 -8574465773785676,-4747822933698832,.499996559999402696534,-55,54,
 -8574465773762263,-4747822933686350,.499985633495077410711,-55,54,
 -8574465773750549,-4747822933680105,.498399849565412328312,-55,54,
 -8574465773750534,-4747822933680097,.495239205314798755552,-55,54,
 -8574465773750444,-4747822933680049,.476275339811150597695,-55,54,
 -8574465773750429,-4747822933680041,.473114695560548117837,-55,54,
 -8574465773749930,-4747822933679774,-.498696069841924482161,-55,54,
 -8574465773747077,-4747822933678253,-.499850606267674446425,-55,54,
 -8574465773746760,-4747822933678084,-.499978888089218998875,-55,54,
 -7948481765259257,-8825493457841094,-.499526058438213131245,-55,55,
 -7948481765259150,-8825493457840979,-.498594122082569279937,-55,55,
 -7948481765259137,-8825493457840966,.473481720652238837761,-55,55,
 -7948481765258254,-8825493457840017,.499863961798643171338,-55,55,
 -7948481765251808,-8825493457833089,.499931828960882685478,-55,55,
 -7948481765245362,-8825493457826161,.499999696670028390218,-55,55,
 -6395058138422820,-7140979009964304,-.499995940137402946221,-55,55,
 -6395058138414221,-7140979009954903,.499984848870718049709,-55,55,
 -6395058138397023,-7140979009936099,.499946429276775793337,-55,55,
 -6395058138395406,-7140979009934330,-.499824597683624271605,-55,55,
 -6395058138395149,-7140979009934050,.499593365257236683457,-55,55,
 -6395058138395106,-7140979009934002,-.484939816040526431845,-55,55,
 -6395058138395095,-7140979009933990,-.457727374046927750054,-55,55,
 -6395058138395074,-7140979009933967,-.496685439331872101364,-55,55,
 -8610906524393944,-4835157013247029,.499964585153879749491,-56,55,
 -8610906524391141,-4835157013245469,-.499397071327118273982,-56,55,
 -8610906524390990,-4835157013245386,.485296610396935435426,-56,55,
 -8610906524390981,-4835157013245381,.491006829837443276142,-56,55,
 -8610906524390963,-4835157013245370,-.497572731281540594145,-56,55,
 -8610906524390616,-4835157013245177,-.499634270630723935480,-56,55,
 -8610906524390091,-4835157013244885,-.499871469933821131867,-56,55,
 -8610906524381335,-4835157013240016,.499982021383194970226,-56,55,
 -8610906524368726,-4835157013233003,.499999457905804638165,-56,55,
 -8564703869836263,-4809457592100354,-.499999725573408289534,-56,55,
 -8564703869818040,-4809457592090218,.499973086935022751986,-56,55,
 -8564703869813100,-4809457592087470,.498648699935349460306,-56,55,
 -8564703869813073,-4809457592087454,-.481925340236388046917,-56,55,
 -8564703869813064,-4809457592087449,-.475450020293633585363,-56,55,
 -8564703869812789,-4809457592087296,-.499815244264953375140,-56,55,
 -8564703869803060,-4809457592081884,-.499994386055538386020,-56,55,
 -4503599627370496,-5081767996463981,-.069064770199409151260,-1074,1074,
 0,0,0.000000000000000000000,0,0,
 4503599627370496,5081767996463981,.069064770199409151260,-1074,1074,
 4963799507959443,5592200894294325,-.499998750961312893171,-56,56,
 4963799507971862,5592200894308272,-.499906884843400088752,-56,56,
 4963799507973008,5592200894309559,-.499173711611750486649,-56,56,
 4963799507973390,5592200894309988,-.498929320535160617862,-56,56,
 4963799507973406,5592200894310005,.469667303174846780694,-56,56,
 4963799507975747,5592200894312634,.499960809739380352365,-56,56,
 8015359031380305,9007199254740601,.000004185417420590462,-56,56,
 8015359031380436,9007199254740747,-.000052260828734792493,-56,56,
 8015359031380637,9007199254740971,.015128306381247863544,-56,56,
 8015359031380655,9007199254740991,.076189252698552961132,-56,56,
 8015359031380656,4503599627370496,.095346319302534939154,-56,55,
 8015359031380698,4503599627370519,.499917423339388646300,-56,55,
 6233105730153892,6963762843351462,.499997967118101293030,-55,55,
 6233105730177497,6963762843377313,-.499967857674822027521,-55,55,
 6233105730218535,6963762843422253,.499879723467395989137,-55,55,
 6233105730219240,6963762843423026,-.449706208148311888828,-55,55,
 6233105730219250,6963762843423037,-.498636505050699953426,-55,55,
 6233105730219986,6963762843423843,-.499906357069348716362,-55,55,
 6623011263590896,7389936056068580,.499998078245955335724,-55,55,
 6623011263598851,7389936056077259,-.499990632718292526852,-55,55,
 6623011263606806,7389936056085937,-.499979344386983289958,-55,55,
 6623011263609612,7389936056088998,-.473199749953205614092,-55,55,
 6623011263609667,7389936056089058,-.474456742935600405644,-55,55,
 6623011263610591,7389936056090066,-.495574225044867794989,-55,55,
 6623011263610778,7389936056090270,-.499848001187185407133,-55,55,
 6623011263610789,7389936056090281,.499900600216195551975,-55,55,
 8117722295955631,9007199254736941,-.000020450084441517226,-55,55,
 8117722295958885,9007199254740431,-.000062037023302594956,-55,55,
 8117722295959340,9007199254740919,-.000682480199090562453,-55,55,
 8117722295959408,4503599627370496,-.034453536952360792734,-55,54,
 8117722295959409,4503599627370497,-.498190482494314193420,-55,54,
 8117722296000732,4503599627392657,-.499991118361421175061,-55,54,
 4887887770555311,5382978555631087,-.499990310169652204134,-54,54,
 4887887770566845,5382978555643177,.486153023572710913572,-54,54,
 4887887770566866,5382978555643200,-.499740074228190877284,-54,54,
 4887887770576081,5382978555652860,-.499973229634397015461,-54,54,
 4887887770598694,5382978555676564,.499997204666227431356,-54,54,
 5820087125528262,6345747840956876,.499999225585050266294,-54,54,
 5820087125533402,6345747840962102,-.499984853574540840197,-54,54,
 5820087125574522,6345747841003902,-.499857521530692915515,-54,54,
 5820087125578634,6345747841008082,-.499844791717185060454,-54,54,
 5820087125578876,6345747841008328,-.497898517267798075949,-54,54,
 5820087125578997,6345747841008451,-.496925380043905348778,-54,54,
 5820087125578999,6345747841008453,-.463851443891448796819,-54,54,
 5903574232630101,6430488019583934,-.499993382145297930163,-54,54,
 5903574232639748,6430488019593710,.499391509287310865598,-54,54,
 5903574232640119,6430488019594086,.498849557806067500536,-54,54,
 5903574232640193,6430488019594161,.496046041876587032491,-54,54,
 5903574232640200,6430488019594169,-.409624560981617519582,-54,54,
 5903574232641158,6430488019595140,-.499972780735799185466,-54,54,
 7084828796305136,7600639788538656,.499950333598021682658,-54,54,
 7084828796305166,7600639788538686,-.499785104819973015643,-54,54,
 7084828796305616,7600639788539121,-.495816681094452014579,-54,54,
 7084828796306006,7600639788539498,-.492377380539247575677,-54,54,
 7084828796306007,7600639788539498,.474298104846783158290,-54,54,
 7084828796308917,7600639788542311,.499960578017444439333,-54,54,
 7084828796320260,7600639788553276,.499991307655241199661,-54,54,
 7084828796324041,7600639788556932,-.499998450338983716795,-54,54,
 8591720143175582,9007199254740895,.000359220696149731352,-54,54,
 8591720143175671,9007199254740975,-.005739656117534821750,-54,54,
 8591720143175689,9007199254740991,.172802144077404493348,-54,54,
 8591720143175690,4503599627370496,.035805010933005890474,-54,53,
 8591720143175691,4503599627370496,.485208949827309510478,-54,53,
 8591720143175918,4503599627370598,.499903078833615453494,-54,53,
 8591720143211988,4503599627386808,.499978980689962229855,-54,53,
 8591720143222809,4503599627391672,-.499998254790316965795,-54,53,
 4793639419596473,4938982043460779,-.455523506509175877536,-53,53,
 4793639419596480,4938982043460784,.494853643604404956491,-53,53,
 4793639419596500,4938982043460801,.495931215357465931442,-53,53,
 4793639419596580,4938982043460870,-.499758497630691980165,-53,53,
 4793639419597507,4938982043461658,-.499813046927857597100,-53,53,
 4793639419600288,4938982043464022,-.499976695337286741162,-53,53,
 4793639419637408,4938982043495575,.499996394975151757899,-53,53,
 4833672853817651,4972932026311672,.499981638059582685970,-53,53,
 4833672853826029,4972932026318760,.499027371857956003328,-53,53,
 4833672853826107,4972932026318826,.488992228262555832796,-53,53,
 4833672853826237,4972932026318936,.472266988935525907521,-53,53,
 4833672853826620,4972932026319260,.499914937677526358263,-53,53,
 4833672853827815,4972932026320272,-.499982454723815493207,-53,53,
 4833672853905542,4972932026386030,.499996634244476277270,-53,53,
 5238337640725295,5306943541751713,-.499981484323555803020,-53,53,
 5238337640730325,5306943541755760,-.499945848240541811392,-53,53,
 5238337640730806,5306943541756146,.499461137895296297511,-53,53,
 5238337640730980,5306943541756286,.495088613123545769721,-53,53,
 5238337640731011,5306943541756311,.436838335721352032543,-53,53,
 5238337640731026,5306943541756324,-.494573088828132394936,-53,53,
 5238337640779269,5306943541795139,-.499996845823521490368,-53,53,
 5253043960571894,5318764604575671,.499995162813356805449,-53,53,
 5253043960608623,5318764604605167,-.499987856224942110901,-53,53,
 5253043960609522,5318764604605888,.436493267717497414283,-53,53,
 5253043960609542,5318764604605904,.497371601953303450617,-53,53,
 5253043960609674,5318764604606010,.499168607908580040619,-53,53,
 5253043960609740,5318764604606064,-.499932889114461149448,-53,53,
 5804673005254126,5745770529096649,.499995828499550819684,-53,53,
 5804673005259449,5745770529100615,-.499991786734603957928,-53,53,
 5804673005264772,5745770529104580,-.499979404988904290246,-53,53,
 5804673005267555,5745770529106653,-.496967108915532400824,-53,53,
 5804673005267586,5745770529106676,-.405665139398703069779,-53,53,
 5804673005267602,5745770529106688,-.487573800293282847585,-53,53,
 5804673005267653,5745770529106726,-.498657656894937997718,-53,53,
 5804673005267751,5745770529106798,.499651795124632718613,-53,53,
 5804673005268923,5745770529107671,.499842384503846173665,-53,53,
 5883274318093769,5803989623814352,-.499998982083437130993,-53,53,
 5883274318098600,5803989623817909,.499988333209668399468,-53,53,
 5883274318117924,5803989623832141,.499937569452649907363,-53,53,
 5883274318121518,5803989623834788,.457493845071009531608,-53,53,
 5883274318121533,5803989623834800,-.495104000192239155388,-53,53,
 5883274318121552,5803989623834813,.498272062474278006011,-53,53,
 5883274318121848,5803989623835032,-.499658750726013371368,-53,53,
 5883274318122755,5803989623835699,.499924872281035130849,-53,53,
 6519271573310182,6250717946426549,.499998517471780523788,-53,53,
 6519271573373674,6250717946468978,.499983375527129065080,-53,53,
 6519271573379332,6250717946472760,-.499545494363036653548,-53,53,
 6519271573379465,6250717946472848,.378691101619748702978,-53,53,
 6519271573379519,6250717946472884,.464591674424247125139,-53,53,
 6519271573379540,6250717946472898,.497997452737023047282,-53,53,
 6519271573379751,6250717946473040,-.499687346122952295793,-53,53,
 6519271573380589,6250717946473600,-.499971049699347906351,-53,53,
 6584326398944836,6293964096501537,-.499996223819997561948,-53,53,
 6584326398952128,6293964096506358,.499849972267414674771,-53,53,
 6584326398953055,6293964096506971,.499556146265134627779,-53,53,
 6584326398953167,6293964096507046,-.437911931963608263088,-53,53,
 6584326398953179,6293964096507053,.497359345368946569757,-53,53,
 6584326398958493,6293964096510567,.499989989283057838831,-53,53,
 7110581059190164,6627142197596175,-.499985609903387836570,-53,53,
 7110581059190559,6627142197596413,.499981209306443224426,-53,53,
 7110581059198459,6627142197601193,.499317590027944667859,-53,53,
 7110581059204384,6627142197604778,.498819871225171029832,-53,53,
 7110581059204389,6627142197604782,-.475864093096066114453,-53,53,
 7110581059220303,6627142197614411,-.499985748164146627207,-53,53,
 7242069988296072,6705785896612562,-.499955501038387990253,-53,53,
 7242069988298870,6705785896614216,-.459910836076169059300,-53,53,
 7242069988298875,6705785896614218,.495843353817591412529,-53,53,
 7242069988298897,6705785896614232,-.498838210649893856402,-53,53,
 7242069988299078,6705785896614338,.499463463502038437051,-53,53,
 7242069988300208,6705785896615006,.499910379400016272611,-53,53,
 7242069988304909,6705785896617785,.499999715684850409606,-53,53,
 8801612647853501,7503070893334252,.495503057927716274152,-53,53,
 8801612647853508,7503070893334256,-.464608504020868905750,-53,53,
 8801612647853577,7503070893334286,-.499993900371455597665,-53,53,
 8801612647887998,7503070893349233,.499995496109117063788,-53,53,
 9007199254731442,7590373954222351,-.499988025786364281067,-53,53,
 9007199254740960,7590373954226301,.493172427637150674962,-53,53,
 9007199254740984,7590373954226311,.455752365731467797871,-53,53,
 9007199254740991,7590373954226314,.361504847675633624683,-53,53,
 4503599627370497,7590373954226316,-.393172660062582403555,-52,53,
 4503599627370533,7590373954226345,.494567154219984053312,-52,53,
 4503599627370692,7590373954226477,.498751333962270295174,-52,53,
 4503599627370745,7590373954226522,-.499853939459038921935,-52,53,
 4503599627395117,7590373954246756,-.499999781728011330575,-52,53,
 4840022297356226,7849350407965067,-.499999643588003828125,-52,53,
 4840022297385768,7849350407986072,-.499996041761808516362,-52,53,
 4840022297388744,7849350407988188,-.499724894447422611102,-52,53,
 4840022297390713,7849350407989588,-.498201411871639177860,-52,53,
 4840022297390734,7849350407989602,.433252114344780355411,-52,53,
 4840022297390976,7849350407989775,-.499521535933945882563,-52,53,
 4894314034095532,7887455338712486,.499981607612972844462,-52,53,
 4894314034100404,7887455338715861,.499860297982622164514,-52,53,
 4894314034100941,7887455338716233,.497999635906046522975,-52,53,
 4894314034101081,7887455338716330,.480754770544354466457,-52,53,
 4894314034101120,7887455338716357,.497379415192430432408,-52,53,
 4894314034119713,7887455338729237,.499995201941581364016,-52,53,
 4937145387333868,7916820629557038,-.499494263193022899717,-52,53,
 4937145387333980,7916820629557113,.492504633711606873973,-52,53,
 4937145387334036,7916820629557151,.488504082162367930748,-52,53,
 4937145387334042,7916820629557156,-.440495976932254824307,-52,53,
 4937145387334375,7916820629557382,-.499999256702462204250,-52,53,
 4978569163106626,7944644372120187,-.491596798850826004526,-52,53,
 4978569163106629,7944644372120189,-.496903873160645421579,-52,53,
 4978569163106632,7944644372120190,.497789052529532223634,-52,53,
 4978569163107196,7944644372120566,-.499940917769262237284,-52,53,
 4978569163109834,7944644372122320,-.499961595829095482572,-52,53,
 4978569163115110,7944644372125827,.499997041236634067498,-52,53,
 5287632052381969,8135021819692737,.487033428851661308490,-52,53,
 5287632052381983,8135021819692745,.447590811724099583838,-52,53,
 5287632052382013,8135021819692763,-.494071939263728356341,-52,53,
 5287632052382268,8135021819692908,-.498205322671038984281,-52,53,
 5287632052382370,8135021819692966,-.499858676039361143812,-52,53,
 5287632052383587,8135021819693658,-.499977608132688077778,-52,53,
 5287632052392055,8135021819698473,-.499983468249156638942,-52,53,
 5287632052417459,8135021819712917,.499998823845680884908,-52,53,
 5593724136207021,8295653273712846,.499997277155932225777,-52,53,
 5593724136214621,8295653273716514,-.499970544073709108108,-52,53,
 5593724136327421,8295653273770940,-.499494750610869707411,-52,53,
 5593724136348621,8295653273781169,-.499405706459319430419,-52,53,
 5593724136348677,8295653273781196,-.479405471406750594039,-52,53,
 5593724136348679,8295653273781196,.485594536987968571188,-52,53,
 5824740461683331,8400220385406975,.499962821205430659458,-52,53,
 5824740461686645,8400220385408380,-.499851423132503485843,-52,53,
 5824740461687372,8400220385408687,.498982325564475415686,-52,53,
 5824740461687431,8400220385408712,.494761130473718740078,-52,53,
 5824740461687457,8400220385408724,-.490149904651290373234,-52,53,
 5824740461687837,8400220385408884,.499611889656728772274,-52,53,
 5824740461694465,8400220385411692,.499983391041090048782,-52,53,
 5824740461705599,8400220385416410,-.499996069288305498507,-52,53,
 6024809874779006,8480241367560410,.499962200159190727099,-52,53,
 6024809874780436,8480241367560949,.498631205193805832660,-52,53,
 6024809874781736,8480241367561439,.497421209373371121694,-52,53,
 6024809874781744,8480241367561443,-.487201621371310829088,-52,53,
 6024809874795524,8480241367566636,.499972399641165862878,-52,53,
 6024809874836819,8480241367582201,.499997631046429626980,-52,53,
 6555033062124645,8650950124236118,.499989509255478089816,-52,53,
 6555033062146795,8650950124242128,-.499978968891227545125,-52,53,
 6555033062147300,8650950124242264,.499796015141165369190,-52,53,
 6555033062147617,8650950124242350,.497674569451524177973,-52,53,
 6555033062147628,8650950124242353,.481828083954090953956,-52,53,
 6555033062147805,8650950124242401,.499570999128838822022,-52,53,
 6555033062155756,8650950124244558,.499988612414200354784,-52,53,
 7389657687307098,8824223130810495,-.499997628010444487041,-52,53,
 7389657687324267,8824223130813119,-.499984323210317123994,-52,53,
 7389657687333231,8824223130814489,-.499627922705111293215,-52,53,
 7389657687333689,8824223130814558,.498159139909507420015,-52,53,
 7389657687333748,8824223130814568,-.484658683903845003583,-52,53,
 7389657687333761,8824223130814570,-.497821933218703589205,-52,53,
 7389657687334219,8824223130814639,.499965129368882080264,-52,53,
 7880112157653199,8887022975937319,-.499999978511006125571,-52,53,
 7880112157671827,8887022975939287,-.499985514545998265454,-52,53,
 7880112157684681,8887022975940644,.491864690005924142463,-52,53,
 7880112157684700,8887022975940646,.499165542173143752822,-52,53,
 7880112157685249,8887022975940704,.499595428465795117405,-52,53,
 7880112157685798,8887022975940763,-.499974685266296178870,-52,53,
 8291650483859002,8924139415357781,.499985244491649477936,-52,53,
 8291650483861880,8924139415358000,.499877543554198043872,-52,53,
 8291650483862156,8924139415358022,-.498048003887314199546,-52,53,
 8291650483862248,8924139415358029,-.497356519702204812431,-52,53,
 8291650483862274,8924139415358030,.481099769306535009261,-52,53,
 8291650483862287,8924139415358031,.470327913810889148261,-52,53,
 8291650483886481,8924139415359872,.499999290849179115187,-52,53,
 8497046770060627,8938517485488997,.499959745858272220475,-52,53,
 8497046770062652,8938517485489127,.499281830817132089732,-52,53,
 8497046770062948,8938517485489147,-.498348126165383167628,-52,53,
 8497046770063057,8938517485489153,.499146247782435777717,-52,53,
 8497046770067808,8938517485489459,-.499975123241420090889,-52,53,
 8497046770126876,8938517485493251,-.499996513540214695303,-52,53,
 8893684449330448,8960130336350853,-.499994078323117236825,-52,53,
 8893684449359645,8960130336352186,.499373294315588109906,-52,53,
 8893684449359688,8960130336352188,.464026265384122432334,-52,53,
 8893684449359689,8960130336352189,-.490284130637540441688,-52,53,
 8893684449359842,8960130336352196,-.499774721952432221059,-52,53,
 8893684449361002,8960130336352249,-.499834107115459278367,-52,53,
 8893684449364482,8960130336352407,.499987737071957686980,-52,53,
 9007199254581784,8965065963699246,.499997800497799771239,-52,53,
 9007199254740588,8965065963705810,.499882608236064170776,-52,53,
 9007199254740991,8965065963705827,.157472803637255549281,-52,53,
 4503599627370497,8965065963705827,.281474715761807817355,-51,53,
 4503599627370500,8965065963705828,-.470521459989088637718,-51,53,
 4503599627370512,8965065963705829,-.478506162992687674310,-51,53,
 4503599627370548,8965065963705831,.497539727996388339446,-51,53,
 4503599627370669,8965065963705842,-.499639360625056558909,-51,53,
 4503599627374552,8965065963706162,.499977157927015191133,-51,53,
 4507536740054883,8965390300892239,-.499992449946996517870,-51,53,
 4507536740066090,8965390300893159,-.499977081499658715950,-51,53,
 4507536740066358,8965390300893181,-.499441334535369629956,-51,53,
 4507536740067296,8965390300893258,-.497566220242909967155,-51,53,
 4507536740067308,8965390300893258,.487532395290916442610,-51,53,
 4507536740067320,8965390300893259,.472631010824721835377,-51,53,
 4507536740114609,8965390300897142,-.499999987564928579362,-51,53,
 4555097501517514,8969133575842969,.499999464068745218134,-51,53,
 4555097501529649,8969133575843885,-.499973294792152954850,-51,53,
 4555097501586279,8969133575848155,-.499846433251237096504,-51,53,
 4555097501589515,8969133575848399,-.499839197142574379673,-51,53,
 4555097501589727,8969133575848414,.485328149549270861988,-51,53,
 4555097501589740,8969133575848415,.465550675525459470751,-51,53,
 4555097501589767,8969133575848418,-.498602539754837342836,-51,53,
 5299225235753398,8999323583732562,-.499999750454509874666,-51,53,
 5299225235761452,8999323583732704,.499988072998711953828,-51,53,
 5299225235784037,8999323583733106,-.499921923366321213687,-51,53,
 5299225235784713,8999323583733118,-.497439707919456678073,-51,53,
 5299225235784714,8999323583733118,-.479684556713186896291,-51,53,
 5299225235785614,8999323583733133,.499951528914569896264,-51,53,
 5374978411330833,9000567063979226,.351570757220747718083,-51,53,
 5374978411330843,9000567063979227,-.497049490945875456737,-51,53,
 5374978411330975,9000567063979229,-.498836766745602143164,-51,53,
 5374978411331041,9000567063979230,-.499730404645675184277,-51,53,
 5374978411332164,9000567063979247,-.499784273785010926210,-51,53,
 5374978411336656,9000567063979315,-.499999750747092343448,-51,53,
 5529300613018446,9002556648694384,.499997700046157065725,-51,53,
 5529300613029585,9002556648694506,-.499991582641914671545,-51,53,
 5529300613032439,9002556648694537,-.497744470518847337215,-51,53,
 5529300613032460,9002556648694537,-.269627025055447431949,-51,53,
 5529300613032531,9002556648694538,-.498372804679267983557,-51,53,
 5529300613032807,9002556648694540,.499742192838266963503,-51,53,
 5529300613034372,9002556648694557,.499923247568421707196,-51,53,
 5623927893672176,9003484908926645,-.499998785948969124392,-51,53,
 5623927893687026,9003484908926775,.499978263888510168519,-51,53,
 5623927893688613,9003484908926789,.499773790777532237778,-51,53,
 5623927893689180,9003484908926795,-.498408903786354666354,-51,53,
 5623927893689205,9003484908926795,-.277870221888963621603,-51,53,
 5767148282743462,9004565963973584,.499963705444310922825,-51,53,
 5767148282744713,9004565963973592,.499605918971268082392,-51,53,
 5767148282744869,9004565963973593,.497163221375910974672,-51,53,
 5767148282744870,9004565963973594,-.496442180531752712754,-51,53,
 5767148282744895,9004565963973594,-.336577228223349625881,-51,53,
 5767148282745026,9004565963973595,-.498884878127466082112,-51,53,
 5767148282757380,9004565963973673,.499979953457198154202,-51,53,
 5767148282771298,9004565963973762,.499996198652361237091,-51,53,
 5950630791471240,9005523294958420,.499963387586071775056,-51,53,
 5950630791471479,9005523294958422,-.499888958595797242438,-51,53,
 5950630791472913,9005523294958428,-.499003035698793231860,-51,53,
 5950630791473630,9005523294958431,-.498560074257865295149,-51,53,
 5950630791473631,9005523294958431,-.494375356041075337372,-51,53,
 5950630791473655,9005523294958431,-.393942118838119297326,-51,53,
 5950630791484861,9005523294958478,-.499989782109244724822,-51,53,
 5950630791525485,9005523294958648,-.499996955819731367941,-51,53,
 6314957221013819,9006541002453881,-.499990634496828615797,-51,53,
 6314957221026510,9006541002453902,.499980252635178745084,-51,53,
 6314957221029971,9006541002453908,.499657129069835019686,-51,53,
 6314957221029972,9006541002453909,-.498609361286591218944,-51,53,
 6314957221030011,9006541002453909,-.431002485187217893449,-51,53,
 6314957221030126,9006541002453909,-.231648876176283501512,-51,53,
 6314957221030548,9006541002453909,.499892193411177807633,-51,53,
 6364655990245315,9006622023921188,.499996958955893772478,-51,53,
 6364655990248581,9006622023921193,.499990726005633361220,-51,53,
 6364655990249234,9006622023921194,.499683294856649566198,-51,53,
 6364655990249235,9006622023921195,-.498785782373288878593,-51,53,
 6364655990249293,9006622023921195,-.409992261709725252232,-51,53,
 6364655990249426,9006622023921195,-.206379533291602303378,-51,53,
 6625816970035678,9006914177668356,-.499806955293811345678,-51,53,
 6625816970035679,9006914177668356,-.499022842674427558343,-51,53,
 6625816970035718,9006914177668356,-.468442450518461450685,-51,53,
 6625816970035742,9006914177668356,-.449623747653253087490,-51,53,
 6625816970036953,9006914177668356,.499936634418853181689,-51,53,
 6625816970052257,9006914177668368,.499996161188388410812,-51,53,
 6679501753504089,9006953445813756,.499997291693992260197,-51,53,
 6679501753568692,9006953445813800,.499958018091158402925,-51,53,
 6679501753592184,9006953445813816,.499943734924278737011,-51,53,
 6679501753593327,9006953445813817,.278420819623188191083,-51,53,
 6679501753593429,9006953445813817,.347891215632950691228,-51,53,
 6679501753593645,9006953445813817,.495004995418268477158,-51,53,
 6679501753593652,9006953445813817,.499772571615013486374,-51,53,
 6791796916270045,9007019601352055,-.499997593384431309920,-51,53,
 6791796916275981,9007019601352058,-.499963174675757218711,-51,53,
 6791796916277960,9007019601352059,-.499783236238842977996,-51,53,
 6791796916277963,9007019601352059,-.498267046337224596518,-51,53,
 6791796916278024,9007019601352059,-.467437851670986815955,-51,53,
 6791796916278040,9007019601352059,-.459351505529023641942,-51,53,
 6808057518117189,9007027642847348,.499980824416063517911,-51,53,
 6808057518121323,9007027642847351,-.499871164841894970789,-51,53,
 6808057518121363,9007027642847351,-.480518015246047537622,-51,53,
 6808057518122115,9007027642847351,-.116678802844502693726,-51,53,
 6808057518122299,9007027642847351,-.027654314703811047199,-51,53,
 6808057518131657,9007027642847356,-.499984966823815368580,-51,53,
 6808057518185395,9007027642847382,-.499996144878620456079,-51,53,
 6815747461730701,9007031325296828,-.499999096494635431262,-51,53,
 6815747461804551,9007031325296863,-.499923450128550025813,-51,53,
 6815747461882621,9007031325296900,-.499843488668619072134,-51,53,
 6815747461884055,9007031325296900,.179778833081904671457,-51,53,
 6815747461884177,9007031325296900,.237598863244659538952,-51,53,
 6815747461884702,9007031325296900,.486414566813675161308,-51,53,
 6815747461884730,9007031325296900,.499684737670679463776,-51,53,
 6815747461884731,9007031325296901,-.499841327655856115324,-51,53,
 6820677703548252,9007033646488948,.499958490687371471983,-51,53,
 6820677703550390,9007033646488949,.499884568003367296849,-51,53,
 6820677703550411,9007033646488950,-.490293894286822165518,-51,53,
 6820677703550784,9007033646488950,-.315844676869803643153,-51,53,
 6820677703550869,9007033646488950,-.276090833758711313043,-51,53,
 6820677703561081,9007033646488954,.499982646768957725475,-51,53,
 6820677703573910,9007033646488961,-.499993197356538697904,-51,53,
 6911656262413348,9007071370014893,.499997236294381495298,-51,53,
 6911656262432497,9007071370014901,-.499966585184255470718,-51,53,
 6911656262432498,9007071370014901,-.499601028957907429531,-51,53,
 6911656262432556,9007071370014901,-.478398767829722745784,-51,53,
 6911656262433244,9007071370014901,-.226896084102546378294,-51,53,
 6911656262433343,9007071370014901,-.190706017694168834245,-51,53,
 6911656262437968,9007071370014902,.499991529150966040908,-51,53,
 7344311964906858,9007163419108700,-.499998135858336137125,-51,53,
 7344311964934556,9007163419108703,-.499986644316203353103,-51,53,
 7344311964942802,9007163419108703,.393149854996690025472,-51,53,
 7344311964942813,9007163419108703,.394341281323675755622,-51,53,
 7344311964943335,9007163419108703,.450879876113318574798,-51,53,
 7344311964943780,9007163419108703,.499078486614000213831,-51,53,
 7344311964943788,9007163419108703,.499944978488169202856,-51,53,
 7344311964943789,9007163419108704,-.499946710027559674928,-51,53,
 7415579094513404,9007170391272205,-.499998919022139282712,-51,53,
 7415579094524765,9007170391272205,.499993705266675008731,-51,53,
 7415579094524766,9007170391272206,-.499918274961802044531,-51,53,
 7415579094524821,9007170391272206,-.495077187528040370441,-51,53,
 7415579094527253,9007170391272206,-.281013103185030019463,-51,53,
 7415579094529147,9007170391272206,-.114303655922243607089,-51,53,
 7415579094529181,9007170391272206,-.111310983690501919654,-51,53,
 7580770473001668,9007181903991154,.499997611255573913304,-51,53,
 7580770473020186,9007181903991155,.499992128296332526070,-51,53,
 7580770473020188,9007181903991156,-.499899869271761968955,-51,53,
 7580770473020345,9007181903991156,-.491421678367181843802,-51,53,
 7580770473023891,9007181903991156,-.299933366599827149740,-51,53,
 7580770473024958,9007181903991156,-.242314069178970310573,-51,53,
 7580770473024972,9007181903991156,-.241558052155642576688,-51,53,
 8052554175506276,9007195424610308,-.499993741399928051981,-51,53,
 8052554175506293,9007195424610308,-.499779382956632653370,-51,53,
 8052554175507337,9007195424610308,-.486615252674278590286,-51,53,
 8052554175508982,9007195424610308,-.465872920955523840224,-51,53,
 8052554175509025,9007195424610308,-.465330720187193102661,-51,53,
 8076840766323584,9007195719323103,-.499999287872948138919,-51,53,
 8076840766323585,9007195719323103,-.499987616004863462489,-51,53,
 8076840766323725,9007195719323103,-.498353554473009129256,-51,53,
 8076840766331767,9007195719323103,-.404488391337285695166,-51,53,
 8076840766342656,9007195719323103,-.277393419768761523754,-51,53,
 8076840766342913,9007195719323103,-.274393749671183160312,-51,53,
 8076840766342916,9007195719323103,-.274358734066931287303,-51,53,
 8537173895479771,9007198512005466,.100688866738982241590,-51,53,
 8537173895479772,9007198512005466,.100691449562365478104,-51,53,
 8537173895479874,9007198512005466,.100954897547455556845,-51,53,
 8537173895489440,9007198512005466,.125662186031089588867,-51,53,
 8537173895614219,9007198512005466,.447944304889759247360,-51,53,
 8537173895634142,9007198512005466,.499401895128957955419,-51,53,
 8537173895634371,9007198512005466,.499993361683411435841,-51,53,
 8537173895634374,9007198512005467,-.499998889846442888402,-51,53,
 8551506777628574,9007198548145148,.110431995823664918854,-51,53,
 8551506777628575,9007198548145148,.110434456851792540567,-51,53,
 8551506777628670,9007198548145148,.110668254523916565403,-51,53,
 8551506777637614,9007198548145148,.132679690097026052599,-51,53,
 8551506777764437,9007198548145148,.444794660250121281586,-51,53,
 8551506777786608,9007198548145148,.499358114840577790653,-51,53,
 8551506777786866,9007198548145148,.499993060097165463087,-51,53,
 8551506777786869,9007198548145149,-.499999556818455613739,-51,53,
 8819324934169612,9007198980523099,.499999851658010322667,-51,53,
 8819324934169640,9007198980523100,-.499972617847608298626,-51,53,
 8819324934172330,9007198980523100,-.497327723923124062070,-51,53,
 8819324934304612,9007198980523100,-.367263836177217467787,-51,53,
 8819324934432581,9007198980523100,-.241440627853924426374,-51,53,
 8819324934435097,9007198980523100,-.238966816289642776628,-51,53,
 8819324934435123,9007198980523100,-.238941252259169390889,-51,53,
 4558535276450371,9007199162045574,.367404802015018015905,-50,53,
 4558535276450380,9007199162045574,.367410975335922667959,-50,53,
 4558535276451276,9007199162045574,.368025563728206027824,-50,53,
 4558535276512221,9007199162045574,.409829235111442363201,-50,53,
 4558535276639657,9007199162045574,.497240715344197320036,-50,53,
 4558535276643639,9007199162045574,.499972066878475986454,-50,53,
 4558535276643679,9007199162045574,.499999503860236299483,-50,53,
 4558535276643680,9007199162045575,-.499999810215219692792,-50,53,
 4668596200724292,9007199214067233,.499999970019043097875,-50,53,
 4668596200724296,9007199214067234,-.499998798544072754481,-50,53,
 4668596200724731,9007199214067234,-.499864879782921914713,-50,53,
 4668596200764024,9007199214067234,-.487768167412508036980,-50,53,
 4668596201104556,9007199214067234,-.382932251316524466003,-50,53,
 4668596201140202,9007199214067234,-.371958301555620475399,-50,53,
 4668596201140592,9007199214067234,-.371838236459784068706,-50,53,
 4668596201140596,9007199214067234,-.371837005022903697091,-50,53,
 4762731034098138,9007199234929549,-.499999980606785453796,-50,53,
 4762731034098191,9007199234929549,-.499991880999513769673,-50,53,
 4762731034103382,9007199234929549,-.499198577955240488632,-50,53,
 4762731034466890,9007199234929549,-.443646275389602989060,-50,53,
 4762731035300034,9007199234929549,-.316322894994514715894,-50,53,
 4762731035327817,9007199234929549,-.312077019772374819133,-50,53,
 4762731035328101,9007199234929549,-.312033618103621963994,-50,53,
 4762731035328104,9007199234929549,-.312033159635290068131,-50,53,
 4822162254825770,9007199242248901,-.499999698622369177794,-50,53,
 4822162254826119,9007199242248901,-.499965669137446445125,-50,53,
 4822162254860614,9007199242248901,-.496602210449039358088,-50,53,
 4822162256541972,9007199242248901,-.332660243888358846407,-50,53,
 4822162258142100,9007199242248901,-.176638666214708733972,-50,53,
 4822162258173312,9007199242248901,-.173595318774922623828,-50,53,
 4822162258173627,9007199242248901,-.173564604484155686303,-50,53,
 4822162258173630,9007199242248901,-.173564311967100763442,-50,53,
 4855873773999054,9007199245147465,-.499999969466010449038,-50,53,
 4855873773999144,9007199245147465,-.499993185307128281278,-50,53,
 4855873774007950,9007199245147465,-.499329393050302353665,-50,53,
 4855873774327065,9007199245147465,-.475274650173749627753,-50,53,
 4855873774510537,9007199245147465,-.461444614680118192784,-50,53,
 4855873774513414,9007199245147465,-.461227747735370356374,-50,53,
 4855873774513443,9007199245147465,-.461225561728628049372,-50,53,
 5060837359194206,9007199252885341,.358034307344633690698,-50,53,
 5060837359194228,9007199252885341,.358034641019670964092,-50,53,
 5060837359196359,9007199252885341,.358066961997144759137,-50,53,
 5060837359404684,9007199252885341,.361226637091734642902,-50,53,
 5060837365718278,9007199252885341,.456985212393468837173,-50,53,
 5060837368513833,9007199252885341,.499385524203573663829,-50,53,
 5060837368553940,9007199252885341,.499993828918206818487,-50,53,
 5079609680469678,9007199253149728,-.499983364326368044615,-50,53,
 5079609680595274,9007199253149728,-.498344058456889630078,-50,53,
 5079609688509884,9007199253149728,-.395040878342699693630,-50,53,
 5079609701845196,9007199253149728,-.220985552797532038667,-50,53,
 5079609702205669,9007199253149728,-.216280582870925125932,-50,53,
 5079609702209335,9007199253149728,-.216232733462714877107,-50,53,
 5079609702209372,9007199253149728,-.216232250530880792837,-50,53,
 5153985221042512,9007199253880113,-.499910242749468663556,-50,53,
 5153985222261458,9007199253880113,-.491182390775357136400,-50,53,
 5153985263582158,9007199253880113,-.195319497184175941381,-50,53,
 5153985285069451,9007199253880113,-.041467044079501237860,-50,53,
 5153985285394468,9007199253880113,-.039139870604642923807,-50,53,
 5153985285397735,9007199253880113,-.039116478364445597735,-50,53,
 5153985285397768,9007199253880113,-.039116242079191082460,-50,53,
 5256850159337630,9007199254378056,.298330871528526459303,-50,53,
 5256850159337636,9007199254378056,.298330889986440575098,-50,53,
 5256850159338250,9007199254378056,.298332778846318419873,-50,53,
 5256850159399611,9007199254378056,.298521544857612631061,-50,53,
 5256850165005247,9007199254378056,.315766269089942453971,-50,53,
 5256850218627965,9007199254378056,.480726811903497019714,-50,53,
 5256850224823770,9007199254378056,.499787074802349226402,-50,53,
 5299981789591867,9007199254489554,.358340701033076167961,-50,53,
 5299981789591870,9007199254489554,.358340707477088319893,-50,53,
 5299981789592171,9007199254489554,.358341354026307562923,-50,53,
 5299981789622281,9007199254489554,.358406030428264148909,-50,53,
 5299981792500512,9007199254489554,.364588482198983126566,-50,53,
 5299981843793685,9007199254489554,.474766399265535462639,-50,53,
 5299981855398511,9007199254489554,.499693600013348862706,-50,53,
 5404781710834274,9007199254639152,-.498391329246114963116,-50,53,
 5404781789893054,9007199254639152,-.428304132048296365590,-50,53,
 5404781852326567,9007199254639152,-.372955601529565297806,-50,53,
 5404781853441490,9007199254639152,-.371967200749176608338,-50,53,
 5404781853452726,9007199254639152,-.371957239818139107752,-50,53,
 5404781853452839,9007199254639152,-.371957139641456375187,-50,53,
 5404781853452840,9007199254639152,-.371957138754937058970,-50,53,
 5445783078932034,9007199254669814,-.492821395078721412833,-50,53,
 5445783398166559,9007199254669814,-.293579677290209011076,-50,53,
 5445783525214805,9007199254669814,-.214286053757392123810,-50,53,
 5445783526980107,9007199254669814,-.213184290300151139890,-50,53,
 5445783526997829,9007199254669814,-.213173229613741866312,-50,53,
 5445783526998006,9007199254669814,-.213173119144184576453,-50,53,
 5445783526998008,9007199254669814,-.213173117895940991258,-50,53,
 5676473327624193,9007199254731956,.191568398642639412532,-50,53,
 5676473327624218,9007199254731956,.191568400704097813916,-50,53,
 5676473327626736,9007199254731956,.191568608334187998970,-50,53,
 5676473327878503,9007199254731956,.191589368622057775399,-50,53,
 5676473352885191,9007199254731956,.193651378269196329889,-50,53,
 5676474841534879,9007199254731956,.316402108470339528477,-50,53,
 5707835912338799,9007199254734210,.307587326135412435393,-50,53,
 5707835912338811,9007199254734210,.307587326882023081082,-50,53,
 5707835912339996,9007199254734210,.307587400609824342479,-50,53,
 5707835912458509,9007199254734210,.307594774198774707569,-50,53,
 5707835924264082,9007199254734210,.308329288032293437179,-50,53,
 5707836775393025,9007199254734210,.361284240210344160805,-50,53,
 5723859949422243,9007199254735139,-.370808788158255431139,-50,53,
 5723860636116881,9007199254735139,-.333832995386927513107,-50,53,
 5723860644974558,9007199254735139,-.333356045979664819053,-50,53,
 5723860645063392,9007199254735139,-.333351262635009871262,-50,53,
 5723860645064280,9007199254735139,-.333351214819870939403,-50,53,
 5723860645064289,9007199254735139,-.333351214335258044825,-50,53,
 5998326824932832,9007199254740550,-.075805652836319126402,-50,53,
 5998327003617998,9007199254740550,-.075045352533735667691,-50,53,
 5998327005408084,9007199254740550,-.075037735775189633356,-50,53,
 5998327005425985,9007199254740550,-.075037659607009129128,-50,53,
 5998327005426164,9007199254740550,-.075037658845369873830,-50,53,
 5998327005426166,9007199254740550,-.075037658836859938016,-50,53,
 6123107701054671,9007199254740861,-.417310079467817173794,-50,53,
 6123107711617900,9007199254740861,-.417296449137933709008,-50,53,
 6123107711723550,9007199254740861,-.417296312811789688342,-50,53,
 6123107711724606,9007199254740861,-.417296311449173426992,-50,53,
 6123107711724617,9007199254740861,-.417296311434979507603,-50,53,
 6182144302132659,9007199254740919,-.405850104005926658888,-50,53,
 6182144308913455,9007199254740919,-.405845171057517269170,-50,53,
 6182144308981267,9007199254740919,-.405845121725095771028,-50,53,
 6182144308981945,9007199254740919,-.405845121231858854780,-50,53,
 6182144308981952,9007199254740919,-.405845121226766438241,-50,53,
 6211665928221695,9007199254740937,.251353937427758882917,-50,53,
 6211665928221709,9007199254740937,.251353937435390250103,-50,53,
 6211665928223050,9007199254740937,.251353938166366206947,-50,53,
 6211665928357231,9007199254740937,.251354011308114752960,-50,53,
 6211665941774931,9007199254740937,.251361325264444600503,-50,53,
 6225786010840901,9007199254740944,.439005678611434039521,-50,53,
 6225786010840904,9007199254740944,.439005678612857774832,-50,53,
 6225786010841190,9007199254740944,.439005678748587207803,-50,53,
 6225786010869848,9007199254740944,.439005692349056052380,-50,53,
 6225786013735495,9007199254740944,.439007052323310677576,-50,53,
 6293819710580307,9007199254740968,-.036039859690921938133,-50,53,
 6293819721713359,9007199254740968,-.036037161251484804485,-50,53,
 6293819721824690,9007199254740968,-.036037134266975596790,-50,53,
 6293819721825804,9007199254740968,-.036037133996963262035,-50,53,
 6293819721825815,9007199254740968,-.036037133994297072015,-50,53,
 6389294203677342,9007199254740983,-.112955816214249526886,-50,53,
 6389294207250380,9007199254740983,-.112955483033812692368,-50,53,
 6389294207286110,9007199254740983,-.112955479702043819055,-50,53,
 6389294207286467,9007199254740983,-.112955479668754104878,-50,53,
 6389294207286471,9007199254740983,-.112955479668381110881,-50,53,
 6569890698769607,9007199254740991,-.399858675467725589657,-50,53,
 6569890698915515,9007199254740991,-.399858673320337933442,-50,53,
 6569890698916974,9007199254740991,-.399858673298865234289,-50,53,
 6569890698916989,9007199254740991,-.399858673298644473160,-50,53,
 6731131042068102,4503599627370496,-.125907038758515872029,-50,52,
 6731131042118297,4503599627370496,-.125907038690485120661,-50,52,
 6731131042118799,4503599627370496,-.125907038689804745381,-50,52,
 6731131042118804,4503599627370496,-.125907038689797968735,-50,52,
 6864747465414291,4503599627370496,-.029468529988771595394,-50,52,
 6864747465429354,4503599627370496,-.029468529983901004168,-50,52,
 6864747465429504,4503599627370496,-.029468529983852501965,-50,52,
 6864747465429506,4503599627370496,-.029468529983851855269,-50,52,
 6897504178122751,4503599627370496,-.020554067935820121130,-50,52,
 6897504178133505,4503599627370496,-.020554067933383460817,-50,52,
 6897504178133613,4503599627370496,-.020554067933358989986,-50,52,
 6897504178133614,4503599627370496,-.020554067933358763404,-50,52,
 6928675627731366,4503599627370496,-.014565814068287022770,-50,52,
 6928675627739117,4503599627370496,-.014565814067036967755,-50,52,
 6928675627739194,4503599627370496,-.014565814067024549455,-50,52,
 6928675627739195,4503599627370496,-.014565814067024388179,-50,52,
 6976637145793397,4503599627370496,-.008549236481802437629,-50,52,
 6976637145798033,4503599627370496,-.008549236481360633845,-50,52,
 6976637145798080,4503599627370496,-.008549236481356154816,-50,52,
 7098277145506707,4503599627370496,-.002177954937690413052,-50,52,
 7098277145507924,4503599627370496,-.002177954937660364466,-50,52,
 7098277145507936,4503599627370496,-.002177954937660068177,-50,52,
 7220869129321865,4503599627370496,-.000536272017027692875,-50,52,
 7220869129322171,4503599627370496,-.000536272017025801167,-50,52,
 7220869129322174,4503599627370496,-.000536272017025782620,-50,52,
 7262957133042046,4503599627370496,-.000329664849118786167,-50,52,
 7262957133042235,4503599627370496,-.000329664849118063815,-50,52,
 7262957133042237,4503599627370496,-.000329664849118056171,-50,52,
 7294157222343578,4503599627370496,-.000229430338307279471,-50,52,
 7294157222343710,4503599627370496,-.000229430338306926891,-50,52,
 7294157222343711,4503599627370496,-.000229430338306924219,-50,52,
 7373614803875309,4503599627370496,-.000090524108677854303,-50,52,
 7373614803875361,4503599627370496,-.000090524108677798916,-50,52,
 7373614803875362,4503599627370496,-.000090524108677797851,-50,52,
 5219368201183516,4503599627370496,0.000000000000000000000,-48,52,
 5219368201183517,4503599627370496,0.000000000000000000000,-48,52 };
#include "trailer.h"