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

struct input_point { double arg_m, val, eps;
	int arg_e, val_e; } input_points[N] = {
 -8400657330644443,7605196346403030,-.044416560457894922563,-48,84,
 -8400657330534880,4869396273706365,.169880788279836733219,-48,90,
 -8400657330533784,6289574084656790,-.255257492927285191224,-48,97,
 -8400657330533773,6215974209430896,-.336479547240553044078,-48,103,
 -8400657330533772,-7453205702383268,-.084119886810127428296,-48,101,
 -7516377611530218,-7457913609436273,-.383149878784768004998,-48,103,
 -7516377611530217,7142720852381924,-.345787469696201618196,-48,101,
 -7516377611530207,6075919587486990,.228388283142499089029,-48,97,
 -7516377611529080,5004066539791450,.111159269834481850860,-48,90,
 -7516377611416375,7823217165215121,.407773576189983331718,-48,84,
 -6632097892526663,8699853009441651,.102779304810088942224,-48,103,
 -6632097892526662,-6832236002380579,-.224305173797469228189,-48,101,
 -6632097892526610,-7425103082014253,.449620231702891160433,-48,95,
 -6632097892521397,-5789762733424524,-.348049504224024223330,-48,88,
 -6632097892000044,-4523620690697855,-.093830087087027177687,-48,81,
 -5747818173523108,-4970896204723514,-.411204365417704874486,-48,102,
 -5747818173523107,6521751152379235,-.205602182708860027894,-48,101,
 -5747818173523100,8696518241945772,.349299727160301940577,-48,98,
 -5747818173522339,6761768338665489,.346478895712815827862,-48,91,
 -5747818173446242,5282172336325216,.135453714556871576941,-48,84,
 -4863538454519553,5591865904726203,.271019078430365203309,-48,102,
 -4863538454519552,-6211266302377890,-.364490460784810618213,-48,101,
 -4863538454519528,-6949501513005053,-.073890326890614031485,-48,96,
 -4863538454517045,-5514467724105968,.022860304770261404304,-48,89,
 -4863538454268721,-8618511228684388,.251497877420076291608,-48,83,
 -7958517471031996,-6212835604728892,-.130833791443025448267,-49,102,
 -7958517471031995,5588727300024200,-.261667582886054288479,-49,103,
 -7958517471031988,8230594804149880,.483645776069390309929,-49,99,
 -7958517471031343,5737781521231581,-.058721518658445869890,-49,92,
 -7958517470966799,8960512649166011,.452187445962740622016,-49,86,
 -6189958033024886,6833805304731581,-.009351495544314399953,-49,102,
 -6189958033024885,-8693575800037644,-.037405982177249058433,-49,104,
 -6189958033024867,-5134468141729602,-.094042234234861264694,-49,97,
 -6189958033023106,-7825185970768669,-.032719396882059983641,-49,91,
 -6189958032847024,-6111265716710806,-.226716448012327035059,-49,84,
 -5611213340369912,-7712838840641255,.480202387451061777083,-49,53,
 -5611213340369897,-7712838840641378,-.475843464428667582494,-49,53,
 -5611213340369859,-7712838840641692,-.497826289166140836641,-49,53,
 -5611213340369586,-7712838840643948,-.497860792167985727446,-49,53,
 -5611213340359303,-7712838840728924,-.499159084355836901478,-49,53,
 -5611213340352751,-7712838840783068,-.499984972531721240922,-49,53,
 -5611213340352660,-7712838840783820,-.499996435844684903386,-49,53,
 -5592856839920927,-7860405221135565,-.499974250619587542885,-49,53,
 -5592856839876769,-7860405221480557,-.499983395848424222593,-49,53,
 -5592856839876043,-7860405221486230,.499654522658192967422,-49,53,
 -5592856839876011,-7860405221486480,.494128921570866460684,-49,53,
 -5592856839875883,-7860405221487480,.472026517475543824590,-49,53,
 -5589917886911389,-7883259077397994,.499753880205263983400,-49,53,
 -5589917886910909,-7883259077401709,.457435610888133304717,-49,53,
 -5589917886910905,-7883259077401740,.498749625334569722883,-49,53,
 -5589917886909622,-7883259077411669,-.499780220433739710094,-49,53,
 -5589917886901586,-7883259077473865,-.499924137489486856710,-49,53,
 -5589917886897568,-7883259077504963,-.499995493627922679909,-49,53,
 -5584028471369328,-7928408990984186,-.499995179385612851204,-49,53,
 -5584028471356886,-7928408991078655,-.499979642076543054432,-49,53,
 -5584028471356638,-7928408991080539,.497931010797110348994,-49,53,
 -5584028471356584,-7928408991080949,.489411556384883617418,-49,53,
 -5584028471356417,-7928408991082216,-.499898607724598855898,-49,53,
 -5555479367833232,-8134889155758397,-.499960035246781284331,-49,53,
 -5555479367779076,-8134889156130399,.499865803739753917037,-49,53,
 -5555479367778320,-8134889156135592,.487898472124600140083,-49,53,
 -5555479367778297,-8134889156135750,.499439148773673217763,-49,53,
 -5555479367774570,-8134889156161351,.499965496461634252476,-49,53,
 -5555479367772317,-8134889156176826,-.499984461731911351119,-49,53,
 -5545533983875703,-8201931630652892,-.499972754288119168433,-49,53,
 -5545533983847437,-8201931630839808,.499984069666801063903,-49,53,
 -5545533983828593,-8201931630964418,.499966773328504991005,-49,53,
 -5545533983828420,-8201931630965561,-.499714939153989219354,-49,53,
 -5545533983828358,-8201931630965971,-.488040176964954676206,-49,53,
 -5545533983828345,-8201931630966057,-.453334178428830576027,-49,53,
 -5544198963943229,-8210736665287633,-.499957101196465166917,-49,53,
 -5544198963889502,-8210736665641057,-.499990528556725829008,-49,53,
 -5544198963888997,-8210736665644379,-.463249184717191229999,-49,53,
 -5544198963888990,-8210736665644426,.489735348808200677737,-49,53,
 -5544198963888971,-8210736665644550,-.495020917330764740515,-49,53,
 -5544198963888779,-8210736665645813,-.498873711473401843586,-49,53,
 -5544198963888715,-8210736665646235,.499842024024628356992,-49,53,
 -5539725571705764,-8239903749301863,-.488391202795444200778,-49,53,
 -5539725571705738,-8239903749302032,.498578017446952414901,-49,53,
 -5539725571705435,-8239903749303989,-.499434529970697756449,-49,53,
 -5539725571704513,-8239903749309947,-.499987547363686211343,-49,53,
 -5539725571686402,-8239903749426982,.499999907882867931707,-49,53,
 -5537279579437201,-8255632019636325,-.499992529557009711593,-49,53,
 -5537279579435100,-8255632019649768,-.499943838662422774364,-49,53,
 -5537279579434731,-8255632019652130,.497208941862106833629,-49,53,
 -5537279579434608,-8255632019652917,.496259869491843091543,-49,53,
 -5537279579434603,-8255632019652948,-.495648629376660839927,-49,53,
 -5537279579417180,-8255632019764427,-.499999831522147541150,-49,53,
 -5522619698200338,-8346621842601914,.499952884823853884738,-49,53,
 -5522619698198110,-8346621842615314,.499390764098276670119,-49,53,
 -5522619698197762,-8346621842617406,-.498901691786348120744,-49,53,
 -5522619698197692,-8346621842617828,.495694653679645421353,-49,53,
 -5522619698197689,-8346621842617846,.452605925631071935492,-49,53,
 -5522619698193306,-8346621842644207,.499974499817151941216,-49,53,
 -5522619698186274,-8346621842686500,.499997417163965206156,-49,53,
 -5488797129011645,-8534860731767625,.499684117815729588325,-49,53,
 -5488797129011486,-8534860731768438,.492625365751707009579,-49,53,
 -5488797129011477,-8534860731768484,.473357889240141244755,-49,53,
 -5488797129011230,-8534860731769746,-.499871743059148987917,-49,53,
 -5488797129009102,-8534860731780628,.499996108263828360141,-49,53,
 -5486380295724261,-8547139917527553,-.499983127890274113387,-49,53,
 -5486380295712394,-8547139917587459,-.499980383379084988233,-49,53,
 -5486380295690198,-8547139917699507,-.496594362711752233754,-49,53,
 -5486380295690177,-8547139917699614,.492956513395686547857,-49,53,
 -5486380295690094,-8547139917700033,.499276642889109092472,-49,53,
 -5486380295689616,-8547139917702446,.499529922383005000641,-49,53,
 -5486380295688660,-8547139917707271,-.499963500142550315694,-49,53,
 -5482520377157949,-8566424171963791,-.499990094895550582961,-49,53,
 -5482520377153689,-8566424171984852,-.499953559407536767372,-49,53,
 -5482520377149429,-8566424172005913,-.499916533374133629132,-49,53,
 -5482520377149126,-8566424172007412,.499381893501856900881,-49,53,
 -5482520377149090,-8566424172007589,-.480899481357835528000,-49,53,
 -5482520377149073,-8566424172007674,.472856536081709342402,-49,53,
 -5482520377105207,-8566424172224542,-.499972682203354770727,-49,53,
 -5470973675770237,-8621703968456354,-.499994466507559850468,-49,53,
 -5470973675756655,-8621703968519249,-.499985986381279902421,-49,53,
 -5470973675752793,-8621703968537134,.499870087591689885839,-49,53,
 -5470973675751577,-8621703968542765,.494128324343919918641,-49,53,
 -5470973675751558,-8621703968542852,-.490336390387640295594,-49,53,
 -5470973675751550,-8621703968542890,.463573203412535681425,-49,53,
 -5470973675751252,-8621703968544270,.496705573709489309509,-49,53,
 -5470973675750862,-8621703968546076,.499798276741271641016,-49,53,
 -5468820810010042,-8631610305696557,-.499999887195858153553,-49,53,
 -5468820810001228,-8631610305736857,.497439494029681707270,-49,53,
 -5468820810001193,-8631610305737017,.471901760369420264848,-49,53,
 -5468820810001172,-8631610305737113,.456579120189278496485,-49,53,
 -5468820810001034,-8631610305737744,.498744627875730600603,-49,53,
 -5468820810000840,-8631610305738630,-.499950237253145346052,-49,53,
 -5468088758171272,-8634950063552521,.499988741090492353520,-49,53,
 -5468088758166082,-8634950063576146,-.499947833592429300641,-49,53,
 -5468088758158297,-8634950063611585,-.499851319497013674325,-49,53,
 -5468088758157665,-8634950063614463,.499771231703445115583,-49,53,
 -5468088758157109,-8634950063616994,.467793611694989403053,-49,53,
 -5468088758157100,-8634950063617035,.497851527987149859649,-49,53,
 -5468088758157033,-8634950063617340,.499393793787048814943,-49,53,
 -5468088758139500,-8634950063697153,-.499996834043878567745,-49,53,
 -5465050035002281,-8648657122615357,-.499914628653620442748,-49,53,
 -5465050034997517,-8648657122636649,-.499906370402012704448,-49,53,
 -5465050034933203,-8648657122924091,-.499734262825352932188,-49,53,
 -5465050034923675,-8648657122966675,-.499699165117553324000,-49,53,
 -5465050034923104,-8648657122969228,.499463386362785180507,-49,53,
 -5465050034923055,-8648657122969446,-.498857164846953586410,-49,53,
 -5465050034923006,-8648657122969665,-.497177715991168223102,-49,53,
 -5465050034922974,-8648657122969809,.483510903705121124019,-49,53,
 -5461318210793740,-8665145812986454,-.499967954538192198126,-49,53,
 -5461318210755878,-8665145813151814,.499992441386400722167,-49,53,
 -5461318210750029,-8665145813177359,.499963406814733602821,-49,53,
 -5461318210747261,-8665145813189447,-.499879038121747661328,-49,53,
 -5461318210746635,-8665145813192182,.499434079605935830042,-49,53,
 -5461318210746115,-8665145813194453,.444550415577783905132,-49,53,
 -5461318210746107,-8665145813194487,-.494755486887979019865,-49,53,
 -5461318210746009,-8665145813194916,.498747208048441465871,-49,53,
 -5437604071188480,-8760997633325166,-.499979159544265144100,-49,53,
 -5437604071184932,-8760997633338348,-.489345550650820153508,-49,53,
 -5437604071184925,-8760997633338374,-.496652642961230896341,-49,53,
 -5437604071183281,-8760997633344482,-.498489713774569962481,-49,53,
 -5437604071181911,-8760997633349573,.499979450956228839345,-49,53,
 -5437604071136202,-8760997633519396,-.499971059092454539848,-49,53,
 -5435306075380738,-8769462428316451,-.499992541288177653490,-49,53,
 -5435306075360553,-8769462428390162,-.499512362146671358029,-49,53,
 -5435306075360441,-8769462428390571,-.497874788952230430250,-49,53,
 -5435306075360329,-8769462428390980,-.496237215410677651044,-49,53,
 -5435306075360306,-8769462428391064,-.486972356515434418537,-49,53,
 -5435306075360303,-8769462428391075,-.442285635788888719722,-49,53,
 -5435306075359367,-8769462428394494,.499971243053684786654,-49,53,
 -5435306075357532,-8769462428401194,-.499984485017334747598,-49,53,
 -5398648100219778,-8884648336043988,-.499988483251404434084,-49,53,
 -5398648100203470,-8884648336086884,-.499911638583372419086,-49,53,
 -5398648100196942,-8884648336104056,.474366980486612052031,-49,53,
 -5398648100196923,-8884648336104106,.497423246593393336540,-49,53,
 -5398648100196877,-8884648336104226,-.499387898579855428784,-49,53,
 -5398648100196574,-8884648336105024,.499877820565619250840,-49,53,
 -5398648100172112,-8884648336169367,-.499988203331527610374,-49,53,
 -5395452313016709,-8892911218010245,-.499460898144191510494,-49,53,
 -5395452312802602,-8892911218554234,.499875822532029437115,-49,53,
 -5395452312800601,-8892911218559318,.499875690915827782495,-49,53,
 -5395452312799902,-8892911218561093,-.470139321084956265653,-49,53,
 -5395452312799889,-8892911218561126,-.499624578689009748650,-49,53,
 -5357868470800801,-8968519267458218,-.499996836888239456044,-49,53,
 -5357868470792948,-8968519267469850,-.438586140646419340844,-49,53,
 -5357868470792925,-8968519267469885,.493594231968183299413,-49,53,
 -5357868470792898,-8968519267469924,-.499063591465137419697,-49,53,
 -5357868470792765,-8968519267470121,-.499933610298534834663,-49,53,
 -5357868470790450,-8968519267473551,.499960502978098028176,-49,53,
 -5340868642043066,-8989606842014815,-.499999606249011855862,-49,53,
 -5340868642030617,-8989606842027258,-.499986533386520437516,-49,53,
 -5340868642026467,-8989606842031406,-.499820542926501626672,-49,53,
 -5340868642025315,-8989606842032558,.055406343945863594695,-49,53,
 -5340868642025143,-8989606842032730,.138304805979612399251,-49,53,
 -5340868642024431,-8989606842033442,.481465890302086544647,-49,53,
 -5340868642024393,-8989606842033480,.499780667678571738480,-49,53,
 -5334469363661483,-8995422095929971,.499991330417515551529,-49,53,
 -5334469363657078,-8995422095933574,.499972314418460344339,-49,53,
 -5334469363655606,-8995422095934777,-.499125858276169138349,-49,53,
 -5334469363655238,-8995422095935078,-.498900391839954185365,-49,53,
 -5334469363655194,-8995422095935114,-.488003868421824861055,-49,53,
 -5334469363608255,-8995422095973507,-.499974553258696882268,-49,53,
 -5325827369854858,-9001430484576457,-.499978932024103562786,-49,53,
 -5325827369851157,-9001430484578577,.498588914525191054123,-49,53,
 -5325827369851075,-9001430484578623,-.450375532996645442735,-49,53,
 -5325827369851047,-9001430484578639,-.481729246740848212536,-49,53,
 -5325827369851033,-9001430484578647,-.497406103604598966554,-49,53,
 -5325827369850392,-9001430484579015,.499103527382061457399,-49,53,
 -5325827369849117,-9001430484579745,.499961252415605537874,-49,53,
 -5325827369837380,-9001430484586464,-.499983936534138502245,-49,53,
 -5325827369802424,-9001430484606478,-.499967915403559963284,-49,53,
 -5317788020389720,-9005115384474773,-.469405292803159803200,-49,53,
 -5317788020389717,-9005115384474775,.498138669155270831288,-49,53,
 -5317788020389255,-9005115384474934,.499908813805800149930,-49,53,
 -5317788020385835,-9005115384476110,-.499974342363072689729,-49,53,
 -5317788020377362,-9005115384479026,-.499975829452676518706,-49,53,
 -5317788020326524,-9005115384496522,-.499941912586865188968,-49,53,
 -5307605800725736,-9007146458554139,-.499983100070207691283,-49,53,
 -5307605800692185,-9007146458555978,.497072310219736826585,-49,53,
 -5307605800692039,-9007146458555986,.498847888759093886779,-49,53,
 -5307605800691966,-9007146458555990,.499735678255960019528,-49,53,
 -5307605800690816,-9007146458556052,-.499977206943655963314,-49,53,
 -5307605800687439,-9007146458556238,.499996563941618267289,-49,53,
 -5296649568745719,-9006040835689554,-.499988268608911743452,-49,53,
 -5296649568728412,-9006040835685114,.499989709222314466920,-49,53,
 -5296649568723716,-9006040835683908,-.499957017917248285921,-49,53,
 -5296649568719020,-9006040835682703,-.499903118370060018466,-49,53,
 -5296649568718794,-9006040835682646,.492007498223071093446,-49,53,
 -5296649568718786,-9006040835682643,-.455181506472696648198,-49,53,
 -5296649568718755,-9006040835682636,.499461100348382066635,-49,53,
 -5266341419812069,-8985218448557553,-.487121640438567778600,-49,53,
 -5266341419812052,-8985218448557534,-.496214739731716340002,-49,53,
 -5266341419811941,-8985218448557410,-.496763799620859497785,-49,53,
 -5266341419811275,-8985218448556667,.499941848380197007866,-49,53,
 -5266341419807646,-8985218448552612,-.499990668506162832284,-49,53,
 -5266341419778503,-8985218448520056,-.499986316203223256088,-49,53,
 -5242088987197177,-8949797280614308,-.499987388494842763065,-49,53,
 -5242088987167664,-8949797280561082,-.499437003604860493316,-49,53,
 -5242088987167659,-8949797280561073,-.482054737707461214144,-49,53,
 -5242088987166341,-8949797280558697,.499910577468736775196,-49,53,
 -5242088987163522,-8949797280553612,-.499967692241711550386,-49,53,
 -5242088987155813,-8949797280539709,-.499988391284647525157,-49,53,
 -5208774931147703,-8874084728900245,-.499995083850561089536,-49,53,
 -5208774931133984,-8874084728862647,-.499987944909544246983,-49,53,
 -5208774931125068,-8874084728838212,-.499761804909691349076,-49,53,
 -5208774931124829,-8874084728837558,.498561918800136275952,-49,53,
 -5208774931124802,-8874084728837484,.494188448357449056815,-49,53,
 -5208774931124748,-8874084728837336,.485441507533314279688,-49,53,
 -5208774931124744,-8874084728837325,.447756548956996934831,-49,53,
 -5208774931123237,-8874084728833195,.499948437210421229014,-49,53,
 -5208774931120265,-8874084728825049,-.499975535746545057059,-49,53,
 -5200108832537773,-8849284081342698,.499996044555893627766,-49,53,
 -5200108832535491,-8849284081335891,.499982262162246920513,-49,53,
 -5200108832535437,-8849284081335729,-.422892733556522152277,-49,53,
 -5200108832535433,-8849284081335717,-.491253844347265930186,-49,53,
 -5161411928697027,-8713046857636093,-.499976348663653656414,-49,53,
 -5161411928697009,-8713046857636020,-.499820346088982580679,-49,53,
 -5161411928696055,-8713046857632151,-.491552196884206212576,-49,53,
 -5161411928695353,-8713046857629304,-.485468071111234097284,-49,53,
 -5161411928695335,-8713046857629231,-.485312067708128032075,-49,53,
 -5161411928690620,-8713046857610110,.499996908268470147535,-49,53,
 -5120907462135503,-8526376712292191,.499328804593824328506,-49,53,
 -5120907462135484,-8526376712292093,.496033794960664771880,-49,53,
 -5120907462135408,-8526376712291701,.482853756525151794006,-49,53,
 -5120907462135205,-8526376712290653,-.499719240113073285152,-49,53,
 -5120907462134292,-8526376712285945,.499841631077771300081,-49,53,
 -5120907462130044,-8526376712264035,.499989331062768393701,-49,53,
 -5120907462089073,-8526376712052717,-.499973642789680456996,-49,53,
 -5119822908958409,-8520767069433470,-.499997671298879425214,-49,53,
 -5119822908932442,-8520767069298782,-.499117971479741855901,-49,53,
 -5119822908932335,-8520767069298228,.498228472152504007536,-49,53,
 -5119822908932319,-8520767069298145,.488485884310885233922,-49,53,
 -5119822908932030,-8520767069296645,-.499989607393385367350,-49,53,
 -5119304171100503,-8518072815571934,-.499946243072604430653,-49,53,
 -5119304171098830,-8518072815563234,.498823313783135047983,-49,53,
 -5119304171097909,-8518072815558444,.468857274081611625679,-49,53,
 -5119304171097894,-8518072815558366,.481398543981998854273,-49,53,
 -5119304171097874,-8518072815558262,.498120237191922563550,-49,53,
 -5119304171094762,-8518072815542076,-.499984168355463252745,-49,53,
 -5119304171066296,-8518072815394029,-.499984944054303325728,-49,53,
 -5095830265870561,-8388620033634289,-.499923856491243597916,-49,53,
 -5095830265869451,-8388620033627821,-.450963336167988689037,-49,53,
 -5095830265869445,-8388620033627786,-.488536522455998794348,-49,53,
 -5095830265869416,-8388620033627618,.496526410498719129063,-49,53,
 -5095830265869283,-8388620033626843,.496987448127929639770,-49,53,
 -5095830265868485,-8388620033622193,.499753683735909368082,-49,53,
 -5095830265864067,-8388620033596448,-.499968782056927568100,-49,53,
 -5095830265857573,-8388620033558608,.499987408663488065056,-49,53,
 -5095830265792500,-8388620033179422,-.499927980454211662591,-49,53,
 -5093481699158887,-8374861807487900,-.499986707523888863068,-49,53,
 -5093481699127140,-8374861807300937,.499987174179138732823,-49,53,
 -5093481699125272,-8374861807289935,-.499856037736199470379,-49,53,
 -5093481699124604,-8374861807286002,.476645448480872238530,-49,53,
 -5093481699124595,-8374861807285949,.479322863794843820113,-49,53,
 -5093481699124532,-8374861807285578,.498064771052579976072,-49,53,
 -5093481699124523,-8374861807285524,-.499257813616324132381,-49,53,
 -5093481699124153,-8374861807283346,.499702596292727632987,-49,53,
 -5087250947808542,-8337655539518174,-.499969879590333549476,-49,53,
 -5087250947769274,-8337655539280467,.499977172203129886517,-49,53,
 -5087250947761383,-8337655539232698,-.499926708547927089515,-49,53,
 -5087250947760635,-8337655539228170,-.497889885842958364978,-49,53,
 -5087250947759457,-8337655539221040,.499970273877279188476,-49,53,
 -8842797190035551,-5902350754727548,.299073565063303663456,-50,103,
 -8842797190035550,6209697000026889,-.401852869873393436560,-50,104,
 -8842797190035549,6056023877377218,.149536782531650225345,-50,102,
 -8842797190035467,5864862395652467,.033586512221700779842,-50,96,
 -8842797190027264,4555466178789299,-.101300146498424066278,-50,89,
 -5305678314032407,6089531447489377,.460779964990088187429,-50,89,
 -5305678314021441,7796376626376891,-.020151907348816765519,-50,96,
 -5305678314021331,7144290154732925,.420555860962017410920,-50,103,
 -5305678314021330,-7451636400032266,-.317776556151927950632,-50,105,
 -7074237752028441,-6523320454730237,.439258852050642692296,-52,105,
 -7074237752028440,4967757600021511,-.121482295898714674744,-52,106,
 -7074237752028427,7473591819477728,.214953678253154342761,-52,101,
 -7074237752027162,5621916272636230,-.248320674464132499187,-52,94,
 -8871213671077771,4980479484084552,-.439118496821854073388,-53,53,
 -8871213671077765,4980479484084557,-.439809179342430622133,-53,53,
 -8871213671077471,4980479484084802,-.473652622853388772137,-53,53,
 -8871213671077249,4980479484084987,-.499207876120281459299,-53,53,
 -8871213671077243,4980479484084992,-.499898558641050278860,-53,53,
 -8871213671071451,4980479484089818,-.499970753054003125052,-53,53,
 -8871213671068555,4980479484092230,.499993148967231202674,-53,53,
 -8871213671041046,4980479484115151,.499995533757391328523,-53,53,
 -8108579655011532,5597319449067323,-.499813007882994132845,-53,53,
 -8108579655010927,5597319449067797,-.499351497644220381499,-53,53,
 -8108579655010710,5597319449067967,-.485962823730020036366,-53,53,
 -8108579655010673,5597319449067996,-.497504847072162605463,-53,53,
 -8108579655010576,5597319449068071,.499263362003393629801,-53,53,
 -8108579655009366,5597319449069020,-.499813617624119290108,-53,53,
 -8108579654961714,5597319449106354,-.499827113820213005799,-53,53,
 -8108579654422380,5597319449528907,-.499990787062857254083,-53,53,
 -7881394195508072,5773513623153388,-.499765315987291662605,-53,53,
 -7881394195507973,5773513623153463,.487709633853375836522,-53,53,
 -7881394195507960,5773513623153473,.465862910095027842111,-53,53,
 -7881394195507887,5773513623153529,.497031307451773412617,-53,53,
 -7881394195507431,5773513623153879,.499946227918203600974,-53,53,
 -7881394195497132,5773513623161784,.499991763195715927834,-53,53,
 -7881394195493699,5773513623164420,-.499993060055852880585,-53,53,
 -7109328173664483,6344190727408115,-.499983694297122957811,-53,53,
 -7109328173647712,6344190727420019,.497818539802917511902,-53,53,
 -7109328173647519,6344190727420157,-.499940936135642459201,-53,53,
 -7109328173622976,6344190727437579,-.499997011479150807301,-53,53,
 -7006352136001595,6416872705785308,.499994973603746235484,-53,53,
 -7006352135984183,6416872705797528,-.499913590317814113136,-53,53,
 -7006352135984069,6416872705797608,-.499568401807754483221,-53,53,
 -7006352135983100,6416872705798288,-.496634299513749351403,-53,53,
 -7006352135983043,6416872705798328,-.496461705263473603723,-53,53,
 -7006352135983023,6416872705798342,-.461313426579227226264,-53,53,
 -7006352135978436,6416872705801560,.499944288816959357696,-53,53,
 -7006352135966828,6416872705809707,-.499994772395849636394,-53,53,
 -6828286958498190,6540569239917452,-.499994436371831222890,-53,53,
 -6828286958434528,6540569239961222,-.499987507465398262541,-53,53,
 -6828286958433011,6540569239962264,.494106461580760110519,-53,53,
 -6828286958433008,6540569239962267,-.443281618902522925575,-53,53,
 -6828286958432979,6540569239962286,.495300269759036985088,-53,53,
 -6828286958432867,6540569239962363,.499478598382355936557,-53,53,
 -6828286958432851,6540569239962375,-.499924497528681052537,-53,53,
 -6595469068453401,6698437586859074,.498527252931457556958,-53,53,
 -6595469068452689,6698437586859550,.499182592620238626827,-53,53,
 -6595469068451799,6698437586860146,-.499998232827644526211,-53,53,
 -5574097035225108,7336783874371503,-.499994973756071255831,-53,53,
 -5574097035223541,7336783874372412,-.486315165337873638205,-53,53,
 -5574097035223510,7336783874372429,.496725086134656134686,-53,53,
 -5574097035223460,7336783874372459,-.498371282458220906512,-53,53,
 -5574097035223279,7336783874372563,.499379863233673660544,-53,53,
 -5574097035193091,7336783874390075,.499996319829435180369,-53,53,
 -5292230209316694,7496675488808429,.499903437544274136456,-53,53,
 -5292230209316510,7496675488808531,.496291729208715072926,-53,53,
 -5292230209311715,7496675488811189,.499997480991517031780,-53,53,
 -5268565944197833,7509767370248129,-.499977720314518468673,-53,53,
 -5268565944195426,7509767370249458,-.499907733924896089442,-53,53,
 -5268565944193863,7509767370250320,.494321342949103924726,-53,53,
 -5268565944193767,7509767370250373,.499725048239176165289,-53,53,
 -5268565944184139,7509767370255690,-.499995013043754737680,-53,53,
 -4510984822812265,7901017689523170,-.499998958129865614743,-53,53,
 -4510984822805365,7901017689526482,.499991103390438942841,-53,53,
 -4510984822793529,7901017689532165,.495336363339143936931,-53,53,
 -4510984822793527,7901017689532166,.455626215527911425425,-53,53,
 -4510984822793504,7901017689532177,.498959515698709544180,-53,53,
 -4510984822793227,7901017689532310,.499104043838623042939,-53,53,
 -4510984822791565,7901017689533108,.499971212521182580388,-53,53,
 -8644717199292641,7989846539598089,-.499999431216378810018,-54,53,
 -8644717199271769,7989846539602907,-.499987542780286878034,-54,53,
 -8644717199269447,7989846539603443,-.499794576552293176867,-54,53,
 -8644717199267610,7989846539603867,-.454852940573638477463,-54,53,
 -8644717199267606,7989846539603867,.468489338437656072914,-54,53,
 -8644717199267463,7989846539603900,.477975813091177473886,-54,53,
 -8644717199267138,7989846539603975,.499535982756399169196,-54,53,
 -8644717199267125,7989846539603979,-.499601610457046054484,-54,53,
 -7492339963739262,8239332622016390,-.499999249468614221349,-54,53,
 -7492339963737173,8239332622016812,-.499990638865657978981,-54,53,
 -7492339963691215,8239332622026096,-.499801233632350886081,-54,53,
 -7492339963682958,8239332622027764,-.498809814122359986744,-54,53,
 -7492339963682953,8239332622027765,-.488757136746409903912,-54,53,
 -7492339963682933,8239332622027769,-.448546427242615919937,-54,53,
 -7492339963682859,8239332622027784,-.499766802078666483575,-54,53,
 -7298995560589922,8277914929044471,.499945474530384980175,-54,53,
 -7298995560588410,8277914929044770,-.499829888070591586419,-54,53,
 -7298995560586898,8277914929045068,-.499605250729883788079,-54,53,
 -7298995560586558,8277914929045135,-.488972726468178939030,-54,53,
 -7298995560586553,8277914929045135,.496477751829765307846,-54,53,
 -7298995560586416,8277914929045162,.497820857193189553062,-54,53,
 -7298995560563117,8277914929049754,.499959622947379071142,-54,53,
 -7298995560491637,8277914929063842,.499997262456225732909,-54,53,
 -4924871031073739,8672693674275916,-.499995680032431677419,-54,53,
 -4924871031067124,8672693674276809,-.499743281199582048857,-54,53,
 -4924871031066998,8672693674276826,-.490214664090305910187,-54,53,
 -4924871031066983,8672693674276828,-.465270781101134631346,-54,53,
 -4924871031066961,8672693674276831,-.495353086050360966040,-54,53,
 -4924871031066924,8672693674276835,.499508491989547391855,-54,53,
 -4924871031065761,8672693674276993,-.499842446936846573216,-54,53,
 -4924871031063035,8672693674277360,.499959221439678859176,-54,53,
 -4517699360174536,8725440404889839,.499712534411703952783,-54,53,
 -4517699360174439,8725440404889852,-.464418642011375210205,-54,53,
 -4517699360174423,8725440404889854,-.479120691730670306131,-54,53,
 -4517699360174399,8725440404889856,.498826233690374144058,-54,53,
 -4517699360173448,8725440404889974,.499973153486795176270,-54,53,
 -4517699360165558,8725440404890954,-.499975115386030371026,-54,53,
 -4517699360069653,8725440404902854,-.499980157480245069430,-54,53,
 -4514338150915835,8725857315620238,-.499998195804719285186,-54,53,
 -4514338150834587,8725857315630312,-.499886776823528348323,-54,53,
 -4514338150834337,8725857315630342,.497799662627162788812,-54,53,
 -4514338150834321,8725857315630344,.481651594751949802597,-54,53,
 -4514338150834305,8725857315630346,.465503526876729932895,-54,53,
 -4514338150834216,8725857315630358,-.499320100679306229421,-54,53,
 -4514338150831119,8725857315630742,-.499980488913579737625,-54,53,
 -8341071156545802,8766893993028302,-.499998774475069637472,-55,53,
 -8341071156517142,8766893993029945,.499920105117363788197,-55,53,
 -8341071156515451,8766893993030042,.499357049305208686896,-55,53,
 -8341071156515242,8766893993030054,.488051503079893499965,-55,53,
 -8341071156515207,8766893993030056,.495727607778974558295,-55,53,
 -8341071156514928,8766893993030072,.499774270951353445046,-55,53,
 -8341071156512191,8766893993030230,-.499954341611285430152,-55,53,
 -8341071156497861,8766893993031052,-.499994904374552700605,-55,53,
 -6979532375142631,8838716947100428,-.498781524317542934437,-55,53,
 -6979532375142589,8838716947100430,-.477410180037780994742,-55,53,
 -6979532375142569,8838716947100430,.485147602952577612043,-55,53,
 -6979532375142548,8838716947100431,.495833275092451217849,-55,53,
 -6979532375142070,8838716947100455,-.499035711438856862427,-55,53,
 -6979532375140013,8838716947100554,-.499967730902008869177,-55,53,
 -6979532375128128,8838716947101125,.499994810430033050129,-55,53,
 -5360050516030903,8907705263534355,.499997047451685846825,-55,53,
 -5360050515985431,8907705263536041,-.499751087237193129563,-55,53,
 -5360050515985242,8907705263536048,-.496209400018743093664,-55,53,
 -5360050515984594,8907705263536072,-.484066472414489643777,-55,53,
 -5360050515984541,8907705263536073,.479889662096224597052,-55,53,
 -5360050515984540,8907705263536074,-.483054561780931923307,-55,53,
 -5360050515983461,8907705263536114,-.499872125236815747601,-55,53,
 -5360050515981491,8907705263536187,-.499993163263070058162,-55,53,
 -5003579018621659,8920478380128898,-.499983338936914132563,-55,53,
 -5003579018618625,8920478380129003,-.499896866294179267841,-55,53,
 -5003579018617527,8920478380129040,.499475232227384847627,-55,53,
 -5003579018617065,8920478380129056,.488282071493544689674,-55,53,
 -5003579018617064,8920478380129057,-.477110121495058286837,-55,53,
 -5003579018617007,8920478380129058,.495534878154560692459,-55,53,
 -5003579018616978,8920478380129059,.499161281485060024714,-55,53,
 -5003579018599323,8920478380129670,.499994066618003616734,-55,53,
 -5370993780293361,9000944658218959,-.499134739215850568186,-57,53,
 -5370993780293333,9000944658218959,-.433929513239213641256,-57,53,
 -5370993780293191,9000944658218959,-.103245867214845885573,-57,53,
 -5370993780292932,9000944658218959,.499902473069013642487,-57,53,
 -5370993780287779,9000944658218971,.499992810834121738788,-57,53,
 -5370993780243120,9000944658219075,.499999484959489294090,-57,53,
 -4503599627370496,4503599627370496,0.000000000000000000000,-1074,52,
 0,4503599627370496,0.000000000000000000000,0,52,
 4503599627370496,4503599627370496,0.000000000000000000000,-1074,52,
 4503599627370497,4503599627370496,0.000000000000000000000,-1074,52,
 6175493946455440,8974141159618414,.499980614265437480766,-56,53,
 6175493946638156,8974141159616459,.499961652725562924268,-56,53,
 6175493946646287,8974141159616373,-.499015746195741616170,-56,53,
 6175493946646293,8974141159616372,.436786262856789329398,-56,53,
 6175493946646474,8974141159616371,-.499853130725223062452,-56,53,
 6175493946648904,8974141159616344,.499960535543934223295,-56,53,
 6823990675654734,8966839129391625,-.499995957505904300940,-56,53,
 6823990675705326,8966839129391027,-.499985876121445241151,-56,53,
 6823990675705749,8966839129391022,-.499867196024138673920,-56,53,
 6823990675709133,8966839129390982,-.498917755256810190352,-56,53,
 6823990675709387,8966839129390978,.498789442719608649723,-56,53,
 6823990675709458,8966839129390978,-.340434135798813882663,-56,53,
 6823990675709471,8966839129390978,-.494094791020497824465,-56,53,
 8359220028898524,8946658940994709,.499994691723876977321,-56,53,
 8359220028903293,8946658940994641,-.499958204575632171316,-56,53,
 8359220028906265,8946658940994597,.499861462462181683062,-56,53,
 8359220028906680,8946658940994591,.495462122562145928053,-56,53,
 8359220028906691,8946658940994591,.336309368974430099817,-56,53,
 8359220028906749,8946658940994590,.497140304602834103090,-56,53,
 8359220028906818,8946658940994589,.498818486643514074621,-56,53,
 8359220028920572,8946658940994391,-.499997226744740710303,-56,53,
 8513798801039178,8944401844284509,.499994804514098621721,-56,53,
 8513798801076369,8944401844283961,.499991578305325515021,-56,53,
 8513798801078405,8944401844283932,-.499954821929124408851,-56,53,
 8513798801092657,8944401844283722,-.499579623770216490470,-56,53,
 8513798801093464,8944401844283710,-.390521050603990007624,-56,53,
 8513798801093471,8944401844283710,-.493664284789665813313,-56,53,
 8513798801093675,8944401844283707,-.499552823915112082094,-56,53,
 6216155809168802,8873469994908128,.499992967026694925140,-55,53,
 6216155809171761,8873469994908002,-.499009282065491038391,-55,53,
 6216155809171831,8873469994907998,.496620945227987359835,-55,53,
 6216155809172227,8873469994907982,-.499528054655251291072,-55,53,
 6216155809172693,8873469994907961,.499953172753504005490,-55,53,
 7082784227659783,8833711364495192,-.499568503211457175263,-55,53,
 7082784227659947,8833711364495183,.492189689603908055673,-55,53,
 7082784227659967,8833711364495183,-.484425164930816023178,-55,53,
 7082784227660766,8833711364495143,.499811396404730415624,-55,53,
 7082784227663674,8833711364495002,-.499988452988934624289,-55,53,
 7082784227673381,8833711364494527,.499991898016579326291,-55,53,
 5299073463163608,8620310342980224,.499997852846007885901,-54,53,
 5299073463175390,8620310342978516,.499967938831141728871,-54,53,
 5299073463177625,8620310342978192,.498943761040818903798,-54,53,
 5299073463177632,8620310342978191,.484175452653795132180,-54,53,
 5299073463177653,8620310342978188,.439870527492716007691,-54,53,
 5299073463177963,8620310342978144,-.499868843934100569077,-54,53,
 5354986034429484,8612163362402896,-.499999006973672269853,-54,53,
 5354986034436360,8612163362401888,.499985177173161995777,-54,53,
 5354986034456551,8612163362398931,.499211560571350384043,-54,53,
 5354986034456708,8612163362398909,-.493662564467646311816,-54,53,
 5354986034456749,8612163362398903,-.498171093936536607309,-54,53,
 5354986034456988,8612163362398867,.499937722085385650645,-54,53,
 6318840445905580,8458748555548300,-.499998150703098989328,-54,53,
 6318840445917832,8458748555546195,-.499990425979551040297,-54,53,
 6318840445926225,8458748555544753,-.490272436595216198137,-54,53,
 6318840445926237,8458748555544750,.448023359408784701137,-54,53,
 6318840445926260,8458748555544746,.496423635083109266702,-54,53,
 6318840445926324,8458748555544736,-.499332119562321030339,-54,53,
 6318840445926551,8458748555544697,-.499903311821192520561,-54,53,
 6318840445930084,8458748555544090,-.499982705168739214721,-54,53,
 7852441927956899,8164946965261932,-.499995439991152204102,-54,53,
 7852441927993003,8164946965254310,-.499981866514045928368,-54,53,
 7852441928002074,8164946965252394,.499966143094060337265,-54,53,
 7852441928002164,8164946965252375,.499855385820401831582,-54,53,
 7852441928002183,8164946965252371,.488720892618158982566,-54,53,
 7852441928002202,8164946965252367,.477586399415907050723,-54,53,
 8717776617214453,7972916165092408,.499998567756046446767,-54,53,
 8717776617231669,7972916165088404,-.499989883242905878538,-54,53,
 8717776617235426,7972916165087529,.499954550593806673249,-54,53,
 8717776617241083,7972916165086213,.498273863810859544268,-54,53,
 8717776617241169,7972916165086193,.491884516259568164230,-54,53,
 8717776617241212,7972916165086183,.488689842483854333630,-54,53,
 8717776617241371,7972916165086147,-.499867207059296003246,-54,53,
 6059040276407515,7044974147493788,-.499942903692435124932,-53,53,
 6059040276408563,7044974147493135,-.499441621004516845745,-53,53,
 6059040276408600,7044974147493111,.446186763974134199815,-53,53,
 6059040276408624,7044974147493096,.491999770446709151893,-53,53,
 6059040276431351,7044974147478936,-.499991997744301530071,-53,53,
 6059040276437310,7044974147475222,.499995721033934272631,-53,53,
 6179968525077666,6968992172820628,-.494691365460923392907,-53,53,
 6179968525077674,6968992172820622,.437023989551491318373,-53,53,
 6179968525077696,6968992172820608,.499241215835603427570,-53,53,
 6179968525077857,6968992172820507,-.499987264541023383031,-53,53,
 6179968525106370,6968992172802443,-.499997616294201957005,-53,53,
 6230674196569882,6936758069200665,.499999036377379258519,-53,53,
 6230674196575753,6936758069196921,-.499990960141874334446,-53,53,
 6230674196597141,6936758069183277,.498853156382439224693,-53,53,
 6230674196597500,6936758069183048,.499535082261140476892,-53,53,
 6230674196599237,6936758069181941,-.499950975690315950806,-53,53,
 7511273082065431,6052646552911474,-.499996349337151760504,-53,53,
 7511273082104802,6052646552882317,-.498111420135262638341,-53,53,
 7511273082104879,6052646552882259,.477966026083720610171,-53,53,
 7511273082104883,6052646552882257,-.484315665021798839493,-53,53,
 7511273082105014,6052646552882160,-.499041048728220507404,-53,53,
 7511273082105226,6052646552882003,-.499970677324531406900,-53,53,
 7511273082106313,6052646552881197,.499979764678505033907,-53,53,
 7913137471602467,5749113260345063,-.499945988545028427727,-53,53,
 7913137471603540,5749113260344236,.499867451514587128138,-53,53,
 7913137471605017,5749113260343099,.498678682479044251605,-53,53,
 7913137471605030,5749113260343089,.491220690604653094721,-53,53,
 7913137471605282,5749113260342896,-.499503459578218533273,-53,53,
 7913137471613462,5749113260336599,-.499993733831159354538,-53,53,
 7913137471656369,5749113260303569,-.499998236603440775466,-53,53,
 8575032706751930,5224526006372805,.499987260912338596802,-53,53,
 8575032706796005,5224526006336902,.499875513169642485143,-53,53,
 8575032706796663,5224526006336367,-.499536252497664000696,-53,53,
 8575032706796992,5224526006336099,-.499242135341772878520,-53,53,
 8575032706797143,5224526006335975,.497853340918931539578,-53,53,
 8575032706797170,5224526006335954,-.496043494451825728293,-53,53,
 8575032706802887,5224526006331296,.499948807653069450912,-53,53,
 8575032706806328,5224526006328493,.499985453751041223846,-53,53,
 8668443273557279,5148155223730678,.499998140442116360850,-53,53,
 8668443273583232,5148155223709382,.499995759613253377308,-53,53,
 8668443273587016,5148155223706278,-.499966059895603231010,-53,53,
 8668443273592979,5148155223701384,.499301292982493919515,-53,53,
 8668443273592990,5148155223701375,.473138613269132589162,-53,53,
 8668443273593514,5148155223700945,.499570961460116418957,-53,53,
 8668443273594049,5148155223700506,.499840629919576249889,-53,53,
 9007199254740714,4866610526750582,-.499894891792151089861,-53,53,
 9007199254740796,4866610526750512,.499484353961501124901,-53,53,
 9007199254740960,4866610526750374,.498242845467595524781,-53,53,
 9007199254740991,4866610526750348,.412642316422834501191,-53,53,
 4503599627370497,4866610526750346,-.111770638000855108745,-52,53,
 4503599627370499,4866610526750343,-.477654577232442095125,-52,53,
 4503599627371975,4866610526747858,.499998269594641398379,-52,53,
 4716158501352257,4503599627370559,.249606424997051310592,-52,53,
 4716158501352285,4503599627370511,-.247816186931372913280,-52,53,
 4716158501352293,4503599627370497,-.104222647482383237381,-52,53,
 4716158501352294,9007199254740990,.327453089897478945812,-52,54,
 4716158501352298,9007199254740976,.471046629346456187213,-52,54,
 4716158501352647,9007199254739767,.499582946242365270287,-52,54,
 4716158501353037,9007199254738416,.499953042423081950572,-52,54,
 4716158501363901,9007199254700783,-.499993843936894693633,-52,54,
 5936267049074696,4503599627571880,-.499997367017680797403,-52,54,
 5936267049126692,4503599627370500,-.142066467696419649319,-52,54,
 5936267049126693,4503599627370496,-.015049813903836424339,-52,54,
 5936267049126697,9007199254740961,-.013966397467011489729,-52,55,
 5936267049126886,9007199254739497,-.001671263878861800416,-52,55,
 5936267049128374,9007199254727971,-.000109577770688707063,-52,55,
 5936267049136184,9007199254667475,.000022643003422347648,-52,55,
 6509811378272144,4503599627439110,-.249997780118934708626,-52,55,
 6509811378278240,4503599627390724,.250025478223705568127,-52,55,
 6509811378280272,4503599627374596,-.249966770829069345247,-52,55,
 6509811378280782,4503599627370548,-.249472699623057574383,-52,55,
 6509811378280788,4503599627370500,.127003701214316486108,-52,55,
 6509811378280789,9007199254740984,.379499536041089438067,-52,56,
 6509811378280790,9007199254740969,-.495008330346454540170,-52,56,
 6755399441055675,5097152561151476,.499890228625902989898,-52,56,
 6755399441055725,5097152561150679,-.496099054617088883628,-52,56,
 6755399441055743,5097152561150391,.225344803415280240780,-52,56,
 6755399441055745,5097152561150359,.305505232085538450645,-52,56,
 6755399441055750,5097152561150280,-.494093696238820422601,-52,56,
 6755399441056174,5097152561143512,.499917181832691073045,-52,56,
 6755399441057671,5097152561119620,.499998041077598132828,-52,56,
 7074237752027162,5621916272636230,-.248320674464132499187,-52,94,
 7074237752028427,7473591819477728,.214953678253154342761,-52,101,
 7074237752028440,4967757600021511,-.121482295898714674744,-52,106,
 7074237752028441,-6523320454730237,.439258852050642692296,-52,105,
 9007199254738950,-7496634952013058,.499976280962287797933,-52,54,
 9007199254740160,-7496634952017458,-.499569555979789288243,-52,54,
 9007199254740991,-7496634952020481,-.004216324673671969741,-52,54,
 4503599627370497,-7496634952020492,.084214553418148239926,-51,54,
 4503599627370499,-7496634952020506,-.464544275792752972608,-51,54,
 4503599627370510,-7496634952020586,-.482717836452603932331,-51,54,
 4503599627370521,-7496634952020667,.499108602887724000464,-51,54,
 4503599627371731,-7496634952029468,-.499983068584064572194,-51,54,
 4503599627420153,-7496634952381708,-.499995272189244874831,-51,54,
 5305678314021330,-7451636400032266,-.317776556151927950632,-50,105,
 5305678314021331,7144290154732925,.420555860962017410920,-50,103,
 5305678314021441,7796376626376891,-.020151907348816765519,-50,96,
 5305678314032407,6089531447489377,.460779964990088187429,-50,89,
 5888592265910880,8915511257182149,-.499989485657095355496,-50,54,
 5888592265916226,8915511257256475,-.499801495076848792141,-50,54,
 5888592265916391,8915511257258769,-.487450017083751323064,-50,54,
 5888592265916453,8915511257259631,-.494930067826746004861,-50,54,
 5888592265916484,8915511257260062,-.498670093208381556932,-50,54,
 5888592265917031,8915511257267666,.499852683623203651954,-50,54,
 5888592265919704,8915511257304829,.499946588403270410619,-50,54,
 5888592265974516,8915511258066886,.499990543315280991155,-50,54,
 5943141639570529,4831579172342506,-.499995450296185665065,-50,53,
 5943141639572961,4831579172358926,-.499943363518053798370,-50,53,
 5943141639583905,4831579172432816,-.499709251989274204798,-50,53,
 5943141639584308,4831579172435536,.413128307547815990464,-50,53,
 5943141639584348,4831579172435806,.478918636004080363615,-50,53,
 5943141639584360,4831579172435887,.498655734539770505058,-50,53,
 5943141639584513,4831579172436921,-.499696259178290142426,-50,53,
 6303973650789296,6980290702775172,-.499995704944509991096,-50,53,
 6303973650793010,6980290702793950,-.499936958091223024474,-50,53,
 6303973650800438,6980290702831506,-.499819692250370034652,-50,53,
 6303973650801384,6980290702836288,.480270610856273827054,-50,53,
 6303973650801420,6980290702836470,.496426267113951017086,-50,53,
 6303973650801545,6980290702837102,.496966740175476765369,-50,53,
 6303973650802170,6980290702840262,.499669104192524621814,-50,53,
 6334420038467537,7131656960748890,.499998754231239671472,-50,53,
 6334420038482289,7131656960820977,-.499964200508524244873,-50,53,
 6334420038486783,7131656960842937,-.461721054338422502297,-50,53,
 6334420038486801,7131656960843024,.495708490744884302080,-50,53,
 6334420038486845,7131656960843240,-.497241510170261661526,-50,53,
 6334420038488255,7131656960850130,-.498593817990729079989,-50,53,
 6334420038489665,7131656960857020,-.499946136996019194321,-50,53,
 6356542733724269,7238376434884447,-.499997834673864984040,-50,53,
 6356542733729297,7238376434908385,.455920939758078983195,-50,53,
 6356542733729301,7238376434908405,-.499563611791485875443,-50,53,
 6356542733730222,7238376434912790,-.499881608511071200651,-50,53,
 6423340662144404,7543488110061078,.499949600411670118011,-50,53,
 6423340662145311,7543488110065044,-.499871934240470675108,-50,53,
 6423340662145529,7543488110065996,.499068423845509760395,-50,53,
 6423340662145564,7543488110066150,-.496514546212904603435,-50,53,
 6423340662167044,7543488110160050,.499992740030903284496,-50,53,
 6423340662172704,7543488110184794,-.499996951654935045164,-50,53,
 6559287226826371,8081420299253149,.499993568126989964875,-50,53,
 6559287226831569,8081420299271513,-.499986548308910726358,-50,53,
 6559287226841965,8081420299308239,-.499947297932434476039,-50,53,
 6559287226846735,8081420299325090,-.497620939040264720912,-50,53,
 6559287226846780,8081420299325248,.474099120258619862992,-50,53,
 6559287226846795,8081420299325301,.464672473355379255187,-50,53,
 6559287226846842,8081420299325468,-.498197686950729860725,-50,53,
 6559287226847163,8081420299326602,-.499927931120057535270,-50,53,
 6787616684062296,8716910812522312,-.499997077146924441241,-50,53,
 6787616684083950,8716910812565937,-.499912100469550936305,-50,53,
 6787616684084084,8716910812566206,.461758314673512931906,-50,53,
 6787616684084087,8716910812566213,-.494323690959025610277,-50,53,
 6787616684087707,8716910812573506,-.499943865981951184106,-50,53,
 6787616684095221,8716910812588643,.499992311809802599552,-50,53,
 6935652144155911,8939052045724164,-.499992655963027759031,-50,53,
 6935652144171488,8939052045739464,-.376151493991376251645,-50,53,
 6935652144171495,8939052045739470,.499425759789356814998,-50,53,
 6935652144171720,8939052045739692,-.499876797442557452833,-50,53,
 6935652144174533,8939052045742454,.499953868011036710655,-50,53,
 6935652144197487,8939052045765000,.499991986980909685691,-50,53,
 7035360541751570,9001830083644943,-.499992743391540144256,-50,53,
 7035360541758855,9001830083646955,-.497347124864300002697,-50,53,
 7035360541758960,9001830083646984,-.497995337647475469956,-50,53,
 7035360541759275,9001830083647071,-.499939976466745711184,-50,53,
 7035360541788596,9001830083655168,.499997399106978175170,-50,53,
 7267327859843178,8875064959885365,-.499975099447611827393,-50,53,
 7267327859845182,8875064959882628,.494541806237694222215,-50,53,
 7267327859845193,8875064959882613,.476547637478735433768,-50,53,
 7267327859845234,8875064959882558,-.499612446084846957244,-50,53,
 7267327859845401,8875064959882329,.499930628058964653734,-50,53,
 7267327859854126,8875064959870418,-.499989871641947731339,-50,53,
 7267327859865074,8875064959855470,.499994517009943381560,-50,53,
 7594079014299993,8064066578753856,-.499987222483264348986,-50,53,
 7594079014301011,8064066578750228,-.499777664694898663708,-50,53,
 7594079014301286,8064066578749247,.441339847329129534900,-50,53,
 7594079014301293,8064066578749222,.494386474901644251644,-50,53,
 7594079014301520,8064066578748414,-.499672888272903069960,-50,53,
 7594079014319014,8064066578686067,.499997934588758499595,-50,53,
 7661357941749023,7810044139631645,.499993946868600951933,-50,53,
 7661357941793422,7810044139454705,.499958778211925806023,-50,53,
 7661357941794437,7810044139450660,.496691992907766101492,-50,53,
 7661357941794442,7810044139450641,-.429432474030625136334,-50,53,
 7661357941794505,7810044139450390,-.498600757467551677389,-50,53,
 7661357941794911,7810044139448772,-.499907473536541155668,-50,53,
 7661357941808718,7810044139393747,.499988895432138815269,-50,53,
 8127402278516509,5345756049678164,.486753096792763327567,-50,53,
 8127402278516518,5345756049678107,-.461392605369364392933,-50,53,
 8127402278516550,5345756049677901,-.499243990837473789176,-50,53,
 8127402278516762,5345756049676535,.499990580327231473732,-50,53,
 8127402278525903,5345756049617680,-.499994434770579598919,-50,53,
 8134778399506190,5298149166981120,-.499994606724896524397,-50,53,
 8134778399512961,5298149166937313,.499920433060031232011,-50,53,
 8134778399523933,5298149166866329,-.499774580688428206862,-50,53,
 8134778399524065,5298149166865475,-.493573320701380318272,-50,53,
 8134778399524246,5298149166864303,.499778406889741632256,-50,53,
 8134778399541989,5298149166749512,.499997093948912017506,-50,53,
 8241843578480430,4582581723924930,.499989537480999766517,-50,53,
 8241843578530734,4582581723578475,.499986467819752400134,-50,53,
 8241843578536285,4582581723540245,-.489697160342574044300,-50,53,
 8241843578536303,4582581723540121,-.459759186340177838308,-50,53,
 8241843578536347,4582581723539818,-.497688583228140221463,-50,53,
 8241843578536480,4582581723538902,-.498702442045668012899,-50,53,
 8241843578536613,4582581723537986,-.499716300927141885451,-50,53,
 8241843578537615,4582581723531085,-.499835751097331095368,-50,53,
 8241843578538617,4582581723524184,-.499955204897014410304,-50,53,
 8394820555893933,6979998458230342,-.475157003963446126065,-50,54,
 8394820555893937,6979998458230283,-.475685561867645536596,-50,54,
 8394820555894053,6979998458228572,-.491013741127751927385,-50,54,
 8394820555894121,6979998458227569,-.499999225556054484723,-50,54,
 8556480067977912,4531857903255844,.499997425465438697649,-50,54,
 8556480068000529,4531857902905610,.499994345973347390887,-50,54,
 8556480068007496,4531857902797724,-.499962756537862590631,-50,54,
 8556480068009173,4531857902771754,.431725453389287399238,-50,54,
 8556480068009177,4531857902771692,.490000201641852965275,-50,54,
 8556480068009212,4531857902771150,.499904248849361726831,-50,54,
 8577884292740019,8399210624529380,-.499982582859540380426,-50,55,
 8577884292743637,8399210624416793,.499881960671732948775,-50,55,
 8577884292744085,8399210624402853,-.497370860315404814938,-50,55,
 8577884292744119,8399210624401794,.480516202323243744541,-50,55,
 8577884292744178,8399210624399959,-.499032718410220485423,-50,55,
 8577884292755666,8399210624042471,.499983767786979269476,-50,55,
 8577884292814636,8399210622207425,.499970193697930494481,-50,55,
 8664382762861490,5685397639852668,-.499965234530778914165,-50,55,
 8664382762862348,5685397639825556,-.499789895842625443140,-50,55,
 8664382762866638,5685397639689996,-.498913251927157890791,-50,55,
 8664382762866755,5685397639686298,.410201564477900547070,-50,55,
 8664382762866800,5685397639684876,.452168801540421396018,-50,55,
 8664382762866850,5685397639683296,.498799064932570492962,-50,55,
 8664382762884222,5685397639134358,-.499982900801122125536,-50,55,
 8664382762906954,5685397638416047,.499997115338722077577,-50,55,
 8714420965773350,8198287341330705,.499997313412407829655,-50,56,
 8714420965789299,8198287340316598,-.499978460033927159971,-50,56,
 8714420965791970,8198287340146763,.499900036684665937094,-50,56,
 8714420965793267,8198287340064295,-.499784588626728894511,-50,56,
 8714420965793344,8198287340059398,.499463124100565285240,-50,56,
 8714420965793356,8198287340058635,.486358871535131614738,-50,56,
 8714420965793373,8198287340057555,-.448872152934160276654,-50,56,
 8842797190027264,4555466178789299,-.101300146498424066278,-50,89,
 8842797190035467,5864862395652467,.033586512221700779842,-50,96,
 8842797190035549,6056023877377218,.149536782531650225345,-50,102,
 8842797190035550,6209697000026889,-.401852869873393436560,-50,104,
 8842797190035551,-5902350754727548,.299073565063303663456,-50,103,
 8893762581697263,-6521342514504292,-.496136193797772982290,-50,57,
 8893762581697286,-6521342514507233,-.480459239911612638448,-50,57,
 8893762581697385,-6521342514519892,-.499936699240116106536,-50,57,
 8893762581712120,-6521342516404040,-.499939805750133429388,-50,57,
 8893762581916305,-6521342542512948,-.499867874580782219840,-50,57,
 8897696383632451,-7024312548405725,.499989349130554346730,-50,57,
 8897696383645525,-7024312550077208,.499929889317080082162,-50,57,
 8897696383648003,-7024312550394015,.487986647350857136273,-50,57,
 8897696383648036,-7024312550398233,-.491591289055916464294,-50,57,
 8897696383648220,-7024312550421757,-.498934934364877973051,-50,57,
 8897696383648266,-7024312550427639,.499229154337194627157,-50,57,
 8897696383649883,-7024312550634369,.499910279858224701441,-50,57,
 8897696383680928,-7024312554603405,-.499996903475605308355,-50,57,
 4602893741348662,-5707753262384314,-.499993981356542122424,-49,54,
 4602893741359784,-5707753262721882,.499969412755585412936,-49,54,
 4602893741361418,-5707753262771476,.499065103599729619993,-49,54,
 4602893741361438,-5707753262772083,.473350240872459710912,-49,54,
 4602893741361455,-5707753262772598,-.498507392440055411563,-49,54,
 4602893741361845,-5707753262784435,-.499947214062470100797,-49,54,
 4612325947556685,-5993218307220380,-.499990818449235719917,-49,54,
 4612325947563820,-5993218307435694,-.499924861536264427324,-49,54,
 4612325947564819,-5993218307465841,-.477631036844581735295,-49,54,
 4612325947564853,-5993218307466868,.499103688251800438082,-49,54,
 4612325947565282,-5993218307479814,.499668309728413291697,-49,54,
 4612325947569064,-5993218307593944,.499984074362054963256,-49,54,
 4612325947600957,-5993218308556383,-.499986478272771133225,-49,54,
 4738648571780447,-4811554825022853,-.499839905135293000747,-49,53,
 4738648571782189,-4811554825046415,-.499482498716245743933,-49,53,
 4738648571782402,-4811554825049297,.498264994437568241884,-49,53,
 4738648571782440,-4811554825049810,-.483357518448500486688,-49,53,
 4738648571782459,-4811554825050067,-.474168774883313478500,-49,53,
 4738648571785344,-4811554825089089,-.499983175200797318142,-49,53,
 4738648571869251,-4811554826224001,-.499930972494587657222,-49,53,
 4830666052070598,-5986498839198442,-.499985615581450852897,-49,53,
 4830666052083245,-5986498839349634,.499990212711514301072,-49,53,
 4830666052095892,-5986498839500825,.499969062405452133212,-49,53,
 4830666052096201,-5986498839504519,.499889513324026171438,-49,53,
 4830666052096377,-5986498839506623,.473954236983551748150,-49,53,
 4830666052096378,-5986498839506634,-.480738577084892813529,-49,53,
 4830666052096466,-5986498839507686,-.493706215034040767912,-49,53,
 4830666052096510,-5986498839508213,.499809966046241987901,-49,53,
 4845910310963385,-6166522227818539,.475493154333979293902,-49,53,
 4845910310963391,-6166522227818608,-.498788134699663931307,-49,53,
 4845910310964013,-6166522227825862,-.499281760720353099874,-49,53,
 4845910310964946,-6166522227836744,.499977814363674417870,-49,53,
 4845910310981121,-6166522228025382,-.499994169723256659293,-49,53,
 4963933852605346,-7397870712950363,-.499966766582349129755,-49,53,
 4963933852654142,-7397870713395739,.499991897823016570405,-49,53,
 4963933852655619,-7397870713409219,-.499987993208430865735,-49,53,
 4963933852658298,-7397870713433671,-.496566149019575322918,-49,53,
 4963933852658463,-7397870713435177,-.498595033318077315319,-49,53,
 4963933852658573,-7397870713436181,-.499947622497340572163,-49,53,
 5007529068302511,-7773207443006269,-.499993776483109671946,-49,53,
 5007529068316428,-7773207443118764,-.499941321039528916223,-49,53,
 5007529068316440,-7773207443118861,-.499294582662455663228,-49,53,
 5007529068316668,-7773207443120704,-.487006552826980024201,-49,53,
 5007529068316740,-7773207443121286,-.483126122087717783413,-49,53,
 5007529068322612,-7773207443168751,-.499988342634645389294,-49,53,
 5059472696382858,-8159420352783868,-.499997078787466442031,-49,53,
 5059472696394883,-8159420352865358,.499394269034626130749,-49,53,
 5059472696394950,-8159420352865812,.465045773876088388317,-49,53,
 5059472696394968,-8159420352865934,.485668566241252002539,-49,53,
 5059472696394977,-8159420352865995,.495979962426962020446,-49,53,
 5059472696395174,-8159420352867330,.499462746125483155060,-49,53,
 5059472696397211,-8159420352881134,.499942146808400123439,-49,53,
 5059472696397502,-8159420352883105,-.499989358658766338473,-49,53,
 5079689563128043,-8291132143823115,.499961680271716304960,-49,53,
 5079689563132077,-8291132143848334,-.499694579432503979613,-49,53,
 5079689563132212,-8291132143849179,.499325359744294141691,-49,53,
 5079689563132216,-8291132143849204,.491888913504953844301,-49,53,
 5079689563132224,-8291132143849254,.477016021027529035125,-49,53,
 5079689563133153,-8291132143855062,.499901393473317444231,-49,53,
 5079689563140280,-8291132143899618,-.499985853944114062861,-49,53,
 5079689563174974,-8291132144116520,-.499979244209709438740,-49,53,
 5107897798878809,-8457005757204345,.499919291311122408229,-49,53,
 5107897798879125,-8457005757206085,.499182337292592457209,-49,53,
 5107897798881021,-8457005757216525,.494760669140485705535,-49,53,
 5107897798881151,-8457005757217240,-.328327310921117093630,-49,53,
 5107897798881177,-8457005757217383,-.492944906879319246790,-49,53,
 5107897798881179,-8457005757217395,.494392201124643169134,-49,53,
 5107897798884179,-8457005757233913,-.499945672766454222394,-49,53,
 5107897798889628,-8457005757263917,-.499994083426693293252,-49,53,
 5114090198545358,-8490590839142559,.499932233275888850021,-49,53,
 5114090198547694,-8490590839155035,.499234290181961819839,-49,53,
 5114090198547700,-8490590839155067,.454711949762937666965,-49,53,
 5114090198551063,-8490590839173028,.499940296673494675111,-49,53,
 5114090198579588,-8490590839325373,.499993693455226840082,-49,53,
 5114090198590998,-8490590839386310,-.499978843928352150408,-49,53,
 5214918003811640,-8890391620111108,-.499985964135455767239,-49,53,
 5214918003819666,-8890391620131722,-.499938230659115980718,-49,53,
 5214918003820799,-8890391620134633,.499819463118474023377,-49,53,
 5214918003821413,-8890391620136209,-.499429220883091567230,-49,53,
 5214918003821603,-8890391620136697,-.495939397828825883002,-49,53,
 5214918003890153,-8890391620312761,-.499939774611592830229,-49,53,
 5222449517582557,-8908939376473524,-.499995103683409353306,-49,53,
 5222449517583137,-8908939376474892,.499975090407567352125,-49,53,
 5222449517591257,-8908939376494030,.499558800641151788371,-49,53,
 5222449517593577,-8908939376499498,.499440201151288105416,-49,53,
 5222449517593591,-8908939376499530,-.497112238213931458177,-49,53,
 5222449517593633,-8908939376499629,-.486769556276530841591,-49,53,
 5273528936147001,-8992515155588036,.496110819791016409254,-49,53,
 5273528936147070,-8992515155588099,.482297119058116494311,-49,53,
 5273528936147082,-8992515155588109,-.476627002794684363197,-49,53,
 5273528936147197,-8992515155588214,-.499649837010148074751,-49,53,
 5273528936147416,-8992515155588415,.499984940608610997015,-49,53,
 5273528936161098,-8992515155600909,-.499998537333405301818,-49,53,
 5346865815373913,-8983102566751535,-.499998071454241013106,-49,53,
 5346865815376549,-8983102566748453,.499970687260668695223,-49,53,
 5346865815376779,-8983102566748183,-.497755853281391626449,-49,53,
 5346865815376814,-8983102566748143,.437372716767573995034,-49,53,
 5346865815376832,-8983102566748122,.489724552806277201004,-49,53,
 5346865815376950,-8983102566747984,.499586589287443903606,-49,53,
 5489113122546754,-8533243632725979,-.499996939860920629588,-49,53,
 5489113122559336,-8533243632661538,.499972860300004262951,-49,53,
 5489113122559369,-8533243632661368,-.481906087886089049426,-49,53,
 5489113122559377,-8533243632661328,.492183864073213312047,-49,53,
 5548511370728352,-8182128398053341,-.499944185277966260972,-49,53,
 5548511370784713,-8182128397676304,-.499976465953513478239,-49,53,
 5548511370793375,-8182128397618359,.499812930509773604632,-49,53,
 5548511370793491,-8182128397617582,-.497419154014697697680,-49,53,
 5548511370793984,-8182128397614284,-.485655509367904541861,-49,53,
 5548511370794013,-8182128397614090,-.484963530075616060898,-49,53,
 5548511370796272,-8182128397598979,.499973820138773558065,-49,53,
 6189958032847024,-6111265716710806,-.226716448012327035059,-49,84,
 6189958033023106,-7825185970768669,-.032719396882059983641,-49,91,
 6189958033024867,-5134468141729602,-.094042234234861264694,-49,97,
 6189958033024885,-8693575800037644,-.037405982177249058433,-49,104,
 6189958033024886,6833805304731581,-.009351495544314399953,-49,102,
 6192449487616078,5102482345730383,.499997692356725620912,-49,60,
 6192449487633977,5102482382387177,-.499959065079534773355,-49,60,
 6192449487634326,5102482383101922,-.499846535106040508426,-49,60,
 6192449487634426,5102482383306719,.494455049052126986791,-49,60,
 6192449487634427,5102482383308767,.474398064892895581672,-49,60,
 6192449487634431,5102482383316959,.394170128255808955237,-49,60,
 6192449487634433,5102482383321055,.354056159937169038447,-49,60,
 6192449487642752,5102482400358201,-.499995618706487943997,-49,60,
 7958517470966799,8960512649166011,.452187445962740622016,-49,86,
 7958517471031343,5737781521231581,-.058721518658445869890,-49,92,
 7958517471031988,8230594804149880,.483645776069390309929,-49,99,
 7958517471031995,5588727300024200,-.261667582886054288479,-49,103,
 7958517471031996,-6212835604728892,-.130833791443025448267,-49,102,
 4863538454268721,-8618511228684388,.251497877420076291608,-48,83,
 4863538454517045,-5514467724105968,.022860304770261404304,-48,89,
 4863538454519528,-6949501513005053,-.073890326890614031485,-48,96,
 4863538454519552,-6211266302377890,-.364490460784810618213,-48,101,
 4863538454519553,5591865904726203,.271019078430365203309,-48,102,
 5747818173446242,5282172336325216,.135453714556871576941,-48,84,
 5747818173522339,6761768338665489,.346478895712815827862,-48,91,
 5747818173523100,8696518241945772,.349299727160301940577,-48,98,
 5747818173523107,6521751152379235,-.205602182708860027894,-48,101,
 5747818173523108,-4970896204723514,-.411204365417704874486,-48,102,
 6632097892000044,-4523620690697855,-.093830087087027177687,-48,81,
 6632097892521397,-5789762733424524,-.348049504224024223330,-48,88,
 6632097892526610,-7425103082014253,.449620231702891160433,-48,95,
 6632097892526662,-6832236002380579,-.224305173797469228189,-48,101,
 6632097892526663,8699853009441651,.102779304810088942224,-48,103,
 7516377611416375,7823217165215121,.407773576189983331718,-48,84,
 7516377611529080,5004066539791450,.111159269834481850860,-48,90,
 7516377611530207,6075919587486990,.228388283142499089029,-48,97,
 7516377611530217,7142720852381924,-.345787469696201618196,-48,101,
 7516377611530218,-7457913609436273,-.383149878784768004998,-48,103,
 8400657330533772,-7453205702383268,-.084119886810127428296,-48,101,
 8400657330533773,6215974209430896,-.336479547240553044078,-48,103,
 8400657330533784,6289574084656790,-.255257492927285191224,-48,97,
 8400657330534880,4869396273706365,.169880788279836733219,-48,90,
 8400657330644443,7605196346403030,-.044416560457894922563,-48,84,
 4642468524768663,8385444903562802,.257013621658173093935,-47,100,
 4642468524768664,-4974034809425518,.056108973265874186379,-47,103,
 4642468524768702,-5357739469239623,-.214734162096253819636,-47,94,
 4642468524772511,-8459794259604437,-.112729167748900219544,-47,88,
 4642468525153402,-6609749696016104,.343289536901521882001,-47,81,
 5084608380214929,-8709146666784488,-.221520247218733574814,-47,78,
 5084608384229886,-5573898359126619,-.316610968613038080243,-47,84,
 5084608384270035,-7150312470949289,.463921948806862008060,-47,91,
 5084608384270437,-5008235590019618,-.308995912488091084716,-47,97,
 5084608384270441,-8074175402385957,.056065400177214818717,-47,101,
 5084608384270442,4970111553548014,-.471967299911412148386,-47,100,
 5526748243772218,8695929753564147,-.313079021835503620700,-47,100,
 5526748243772219,-4980312018829525,-.009264349366966647700,-47,104,
 5526748243772241,-6202176659546208,-.416033719407018794485,-47,95,
 5526748243774432,-4866514458067137,.246749937117350476074,-47,88,
 5526748243993476,-7602333819487491,-.008637906644242260557,-47,82,
 5968888100055899,-6910811721719926,.405516433656932624060,-47,78,
 5968888103241815,-8845978600749849,-.178234126372328675797,-47,85,
 5968888103273674,-5673175258941003,-.411917718973900188751,-47,91,
 5968888103273993,-7842292578854325,.274531335896367947621,-47,98,
 5968888103273996,-8695145102388646,.196250687164557550103,-47,101,
 5968888103273997,4659626703546669,.098125343582259759018,-47,100,
 6411027962775773,9006414603565491,.116828334670819142994,-47,100,
 6411027962775774,-6427862429703235,.057717623971138873798,-47,113,
 6411027962775780,-6755497522452682,.389603541835908316515,-47,97,
 6411027962776399,-5497558905140914,.424918795740620809824,-47,90,
 6853167820543408,-7448089692722182,.255295101647658311130,-47,79,
 6853167822260211,-4766525059039612,.276765851049300740377,-47,85,
 6853167822277379,-6069907536002525,.424485228032128042569,-47,92,
 6853167822277550,-6832628327968330,.334108993538102294013,-47,99,
 6853167822277551,-4658057401195667,-.331782012924049598443,-47,100,
 6853167822277552,8698283707090649,.336435974151862773778,-47,101,
 7295307681672764,7323093401196843,.248228660066180547558,-47,83,
 7295307681778263,4688468801637072,-.068580740296789134125,-47,89,
 7295307681779318,6211805750061047,.221670980692212387312,-47,96,
 7295307681779329,4955203181213497,-.252228941164396090321,-47,104,
 7295307681779330,-8697499055915148,-.453264308822706513543,-47,100,
 7737447541067367,-7344035072522492,.219300497781340888979,-47,82,
 7737447541278970,-4698326696869618,-.145449450726147613552,-47,88,
 7737447541281086,-5784766479563027,.382447207225859540181,-47,95,
 7737447541281106,-4968542251197012,.238310630569622307502,-47,100,
 7737447541281107,8077314007087960,.476621261139205507707,-47,101,
 8179587400512838,4639356136571569,-.031556293083222910102,-47,81,
 8179587400780184,5937514202355836,.325189245882535697191,-47,88,
 8179587400782857,7619205153963562,-.375729904806865163077,-47,95,
 8179587400782884,4961480390617504,-.186855618531555554259,-47,103,
 8179587400782885,-8387014205913804,-.023356952316383230767,-47,100,
 8621727260284661,-5279027101198356,-.191596725936705488489,-47,100,
 8621727260284662,7456344307085272,-.383193451873452242925,-47,101,
 8621727260284663,6367685704141814,-.095798362968467489514,-47,99,
 8621727260284753,6432682065116976,-.157746849873700657743,-47,93,
 8621727260293762,5003005455950718,.373764116297054670628,-47,86,
 8621727261194679,7816990063070094,-.079881229227127644814,-47,80,
 5858197952755945,5085119015086166,.499384262844464930393,-46,61,
 5858197952784797,5085118069666129,.499974788140693456367,-46,61,
 5858197952790482,5085117883380502,.495103320395366988993,-46,61,
 5858197952790527,5085117881905946,.080816606459356220491,-46,61,
 5858197952790529,5085117881840410,.240181641347267744896,-46,61,
 5858197952790532,5085117881742106,.479229193671433046169,-46,61,
 5858197952790595,5085117879677727,.499227790343914038289,-46,61,
 5858197952790846,5085117871452979,.499539619158053528065,-46,61,
 5858197952791097,5085117863228231,.499851383274489402820,-46,61,
 6245226045761375,-8896936967702907,-.499850800777271754805,-45,69,
 6245226045763474,-8896972183079287,-.499982576740902348279,-45,69,
 6245226045767672,-8897042613832048,.499848863834093175614,-45,69,
 6245226045767674,-8897042647386479,-.496339847552599815900,-45,69,
 6245226045767679,-8897042731272559,-.486811625893560252680,-45,69,
 6245226045767680,-8897042748049775,-.484905981540191418440,-45,69,
 6245226045767681,-8897042764826991,-.483000337179635610304,-45,69,
 6245226045780791,-8897262714128726,-.499385097943551687762,-45,69,
 5426391276979852,7541324391350242,.469106622132214658337,-44,53,
 5426391276979853,7541324391349963,-.498810993717788655048,-44,53,
 5426391276980227,7541324391245254,.499998969621723197575,-44,53,
 5426971710399446,7374746796202383,-.499960367730092760362,-44,53,
 5426971710399538,7374746796175338,.493332765515262653325,-44,53,
 5426971710399607,7374746796155055,.488302483090587259448,-44,53,
 5426971710404814,7374746794624423,.499675446481774481941,-44,53,
 5562950707703181,-8431521980014604,.474724879478902172789,-44,54,
 5562950707703193,-8431521980025462,-.497618607998760387953,-44,54,
 5562950707703228,-8431521980057135,.499712909266014260688,-44,54,
 5562950707704349,-8431521981071544,.499977157328640817260,-44,54,
 5562950707716715,-8431521992261714,-.497512188730649005496,-44,54,
 5562950707720837,-8431521995991771,-.495749514416876676051,-44,54,
 5565768841126209,-5431423256807898,-.494455352532633655029,-44,53,
 5565768841150559,-5431423266753412,.499833331333595365680,-44,53,
 5565768841151350,-5431423267076488,.492306904172662257520,-44,53,
 5565768841151375,-5431423267086699,.493333428719917548904,-44,53,
 5565768841151525,-5431423267147965,.499492806345559959974,-44,53,
 5565768841159328,-5431423270335021,-.499551820996222208898,-44,53,
 5565768841173943,-5431423276304371,-.495528177141084546291,-44,53,
 5637442019506305,9006832244997269,.487235081125598900806,-44,53,
 5637442019535290,9006832244863302,.499822414775703237436,-44,53,
 5637442019535618,9006832244861787,-.497276999822704655589,-44,53,
 5637442019535930,9006832244860344,.456698700195164779344,-44,53,
 5637442019535946,9006832244860271,-.494379545400027458177,-44,53,
 5637442019538070,9006832244850453,.499917210839910208136,-44,53,
 5637442019544979,9006832244818520,.498819006253271224875,-44,53,
 5666178554260123,-5163103398699368,-.499988091917474716894,-44,56,
 5666178554261119,-5163103402768498,-.498306644982508246452,-44,56,
 5666178554261208,-5163103403132105,-.496147557586192427705,-44,56,
 5666178554261261,-5163103403348636,.493902298809541587252,-44,56,
 5666178554261528,-5163103404439456,-.499619410051098141436,-44,56,
 5772925638469453,5156050090583831,.499902064272352550303,-44,55,
 5772925638471609,5156050086213792,.499913417233859189509,-44,55,
 5772925638472606,5156050084192954,-.499643696766906386284,-44,55,
 5772925638472681,5156050084040935,-.481556887616177567561,-44,55,
 5772925638499475,5156050029731646,.494018936058827583480,-44,55,
 5835612929814885,4946605536609440,.497598496744540146276,-44,54,
 5835612929831465,4946605552934745,-.499952419526214052318,-44,54,
 5835612929832148,4946605553607252,.499571732652990358175,-44,54,
 5835612929832195,4946605553653531,-.497533028873024356599,-44,54,
 5835612929832220,4946605553678146,.461453785717489611245,-44,54,
 5835612929832231,4946605553688977,.483407980972613530669,-44,54,
 5896103646763641,-4898969761857357,-.499833448489754214187,-44,53,
 5896103646763856,-4898969761949731,-.499948396237035054503,-44,53,
 5896103646767726,-4898969763612464,.498107667606364627551,-44,53,
 5896103646768487,-4898969763939424,-.497595533857534657779,-44,53,
 5896103646768504,-4898969763946728,-.488301019749013740915,-44,53,
 5896103646768586,-4898969763981960,.497707877261370448188,-44,53,
 5896103646783868,-4898969770547817,-.498141561150348276039,-44,53,
 5896103646804095,-4898969779238277,-.489973356932441393089,-44,53,
 6004329071329631,-7734750839235675,-.499672095439865295841,-44,54,
 6004329071333192,-7734750842528910,-.499778306504207964235,-44,54,
 6004329071334379,-7734750843626655,-.499743283361858850273,-44,54,
 6004329071334606,-7734750843836587,.485103145705410239523,-44,54,
 6004329071334611,-7734750843841211,.453932376700239472951,-44,54,
 6004329071334668,-7734750843893925,.498585654202736123432,-44,54,
 6004329071345800,-7734750854188867,-.498449362709539404164,-44,54,
 6029337333115513,-8619289716037345,-.498425527226854596928,-44,53,
 6029337333122936,-8619289714934010,.499643309027226295997,-44,53,
 6029337333126202,-8619289714448559,-.497217611810478994811,-44,53,
 6029337333126282,-8619289714436668,-.498974102823401126991,-44,53,
 6029337333126362,-8619289714424778,.499269584406410384822,-44,53,
 6029337333141699,-8619289712145124,-.496644903434539689997,-44,53,
 6029337333168456,-8619289708168031,-.475137240758517689647,-44,53,
 6304262280165567,8801242795396908,.499866299953079611121,-44,53,
 6304262280166210,8801242795326909,.499825525235341748505,-44,53,
 6304262280168139,8801242795116912,.499632654239787077742,-44,53,
 6304262280168234,8801242795106571,-.498824368441345505019,-44,53,
 6304262280168307,8801242795098623,.491834797640773998258,-44,53,
 6304262280168314,8801242795097861,.449843202863992874619,-44,53,
 6304262280168329,8801242795096229,-.497281647778580015591,-44,53,
 6304262280177236,8801242794126584,.498852067681145951474,-44,53,
 6304262280188905,8801242792856260,.493965511630909544235,-44,53,
 6305910042774356,8583545779748291,.494358821818776644178,-44,53,
 6305910042774373,8583545779745653,.483276999106491218916,-44,53,
 6305910042774384,8583545779743947,-.465070066919696563910,-44,53,
 6305910042774435,8583545779736033,-.498315598708222353131,-44,53,
 6305910042775248,8583545779609874,-.498886464053745537496,-44,53,
 6305910042776874,8583545779357555,.499916809463906438298,-44,53,
 6535180284081842,6440872383698761,.496503754372576540749,-44,53,
 6535180284097125,6440872378228829,.499875798817982992256,-44,53,
 6535180284100144,6440872377148300,.499901520630732953280,-44,53,
 6535180284100166,6440872377140426,.489301475631755730921,-44,53,
 6535180284109389,6440872373839426,.499131707725610591525,-44,53,
 6535815775735491,6209271383243704,.475819596415352365944,-44,53,
 6535815775784211,6209271365173515,.499474621704759082277,-44,53,
 6535815775784458,6209271365081903,.498590622300104499735,-44,53,
 6535815775784586,6209271365034428,.453597622872291542380,-44,53,
 6535815775784606,6209271365027010,.477817437018103740264,-44,53,
 6535815775784626,6209271365019593,-.497962756861379204400,-44,53,
 6535815775786276,6209271364407610,-.499856394044677824392,-44,53,
 6535815775788588,6209271363550091,.499822569931223666318,-44,53,
 6544022097454165,5222684139414429,.499794440230409232529,-44,54,
 6544022097454642,5222684138946959,.496894502936166981322,-44,54,
 6544022097454689,5222684138900899,-.488716390512885246968,-44,54,
 6544022097454690,5222684138899918,.490313164540635894323,-44,54,
 6544022097454785,5222684138806816,.498120817673308468787,-44,54,
 6544022097455834,5222684137778775,-.499886906607355464041,-44,54,
 6544022097458266,5222684135395363,.499894106324872465215,-44,54,
 6616319171091754,5620694276620201,.498024432146166994229,-44,53,
 6616319171106449,5620694282499379,-.499303514725006861654,-44,53,
 6616319171106474,5620694282509381,-.496920548071964217637,-44,53,
 6616319171106486,5620694282514181,.464223271889655964825,-44,53,
 6616319171106861,5620694282664211,.499966327850598360435,-44,53,
 6616319171127424,5620694290891058,.496015199838473260189,-44,53,
 6702751591163260,-5776315859682792,-.463418888009819924985,-44,53,
 6702751591221503,-5776315836801875,-.499806541110248744391,-44,53,
 6702751591225670,-5776315835164858,-.499845603257148038514,-44,53,
 6702751591225860,-5776315835090216,-.495999966097249742714,-44,53,
 6702751591225880,-5776315835082359,-.442963544043318593064,-44,53,
 6702751591225894,-5776315835076860,.494161955836532586853,-44,53,
 6702751591226179,-5776315834964897,.499931855771944740640,-44,53,
 6729307497401158,6544488705170544,.486251690706966828244,-44,53,
 6729307497435333,6544488717192750,.499996214802486017420,-44,53,
 6729307497436678,6544488717665899,.499885714120111758317,-44,53,
 6729307497437228,6544488717859381,-.496453019822695182034,-44,53,
 6729307497437265,6544488717872396,.498338508436545744691,-44,53,
 6729307497442437,6544488719691821,.499723498702351951416,-44,53,
 6743769751754858,8988397030804626,.499919501163414560572,-44,53,
 6743769751756921,8988397030736413,.499885320401081281259,-44,53,
 6743769751757506,8988397030717071,-.498207943284115479769,-44,53,
 6743769751757521,8988397030716575,-.472518157662198668553,-44,53,
 6743769751757583,8988397030714525,-.499667113084101111623,-44,53,
 6743769751770623,8988397030283357,.497490934084766985628,-44,53,
 6743769751815855,8988397028787763,.450584735479237703138,-44,53,
 6754791752061991,6940150469862020,.499002573121868120774,-44,53,
 6754791752062151,6940150469809803,-.448339471856557696450,-44,53,
 6754791752062165,6940150469805233,.481268071894380268325,-44,53,
 6754791752062176,6940150469801643,.497388281758130915345,-44,53,
 6754791752062488,6940150469699819,-.499930532049013028755,-44,53,
 6754791752066210,6940150468485098,.499835012827862145199,-44,53,
 6754791752068071,6940150467877738,.499601288660170534338,-44,53,
 6794379564755893,-8827417065973478,-.492917204916464046525,-44,53,
 6794379564777303,-8827417068152703,-.499916493310734338860,-44,53,
 6794379564777946,-8827417068218151,-.499690936423475983691,-44,53,
 6794379564778165,-8827417068240442,-.498056211578736430826,-44,53,
 6794379564828044,-8827417073317395,-.464526705247712727024,-44,53,
 6990987887102449,5711764656724107,.480691927437923696963,-44,58,
 6990987887139492,5711764049930774,.499293754832885577565,-44,58,
 6990987887146330,5711763937918983,-.499987319335432964297,-44,58,
 6990987887148051,5711763909727655,.499180245024326668461,-44,58,
 6990987887148143,5711763908220623,.492161515803817402554,-44,58,
 6990987887148189,5711763907467107,.488652092615156481183,-44,58,
 6990987887148617,5711763900456132,.499475587395638085870,-44,58,
 6990987887149749,5711763881913087,-.499951465048779195478,-44,58,
 7006147211056091,-6718498630468066,-.492878033439686630025,-44,53,
 7006147211081694,-6718498639199197,-.499452603273896611892,-44,53,
 7006147211081699,-6718498639200903,.401340378402885223931,-44,53,
 7006147211084214,-6718498640058567,-.499721045666802346749,-44,53,
 7006147211085726,-6718498640574189,-.499815938999999980655,-44,53,
 7054682820208231,7984980447134588,.497715273870474014723,-44,54,
 7054682820217784,7984980455903371,.499794812964077900945,-44,54,
 7054682820220855,7984980458722269,.499858514747333664429,-44,54,
 7054682820221195,7984980459034359,-.499823766944316346645,-44,54,
 7054682820221535,7984980459346448,-.499509031215774010517,-44,54,
 7054682820221546,7984980459356544,.497559925131582646152,-44,54,
 7138546116887287,-7843710272173371,-.498677983604221494045,-44,53,
 7138546116897512,-7843710269599800,.476622439995393111766,-44,53,
 7138546116897525,-7843710269596528,.499673408300989181959,-44,53,
 7138546116899434,-7843710269116043,-.499949442673907358297,-44,53,
 7223985620277307,-5509642647254127,-.487580477190393710548,-44,53,
 7223985620314085,-5509642662150714,.499955225035517949792,-44,53,
 7223985620314380,-5509642662270200,-.499612360185255159966,-44,53,
 7223985620314650,-5509642662379561,-.482266080289424344372,-44,53,
 7223985620314651,-5509642662379967,.477057426863184997732,-44,53,
 7223985620314675,-5509642662389687,-.499178396133406113163,-44,53,
 7223985620325615,-5509642666820832,-.498940034389922730874,-44,53,
 7322656671993154,4665156753308517,.498868349494910249645,-44,58,
 7322656671993195,4665156752636861,.493308231006009311948,-44,58,
 7322656671993202,4665156752522189,-.483250816146467934131,-44,58,
 7322656671993325,4665156750507221,-.499931336627531200943,-44,58,
 7322656671999980,4665156641485983,.499656625521063060315,-44,58,
 7371229009356857,-6961360446569314,-.483323346345407866479,-44,54,
 7371229009358614,-6961360444909910,-.484797929909427066554,-44,54,
 7371229009381455,-6961360423337658,-.497648646283893478981,-44,54,
 7371229009395330,-6961360410233373,.499136199178503466383,-44,54,
 7371229009395372,-6961360410193705,-.472975067444847298396,-44,54,
 7371229009395383,-6961360410183316,-.489480392622717448912,-44,54,
 7371229009395511,-6961360410062426,-.499723976409653721256,-44,54,
 7413149621264437,8241351046908507,.498390090607468117635,-44,53,
 7413149621275305,8241351044663192,-.499972475639428395387,-44,53,
 7413149621275437,8241351044635920,.455493666435177497784,-44,53,
 7413149621275457,8241351044631788,.479049102030640512196,-44,53,
 7413149621275477,8241351044627657,-.497395473025593044271,-44,53,
 7461059150868694,-9007161437551355,-.483638235148264936606,-44,53,
 7461059150901341,-9007161437599793,.499975973620991698988,-44,53,
 7461059150901647,-9007161437600246,-.499540783922692307948,-44,53,
 7461059150902228,-9007161437601109,.494848296596775494199,-44,53,
 7461059150902259,-9007161437601154,-.498566123545579589652,-44,53,
 7461059150905441,-9007161437605875,-.499858796954520794844,-44,53,
 7761862923838512,6554494349809452,.499962150860823339468,-44,55,
 7761862923839764,6554494347288144,.497831869498411951633,-44,55,
 7761862923839770,6554494347276062,-.447865320404632953074,-44,55,
 7761862923839838,6554494347139122,-.499100192591451638140,-44,55,
 7761862923840151,6554494346508795,-.499638440616867088043,-44,55,
 7761862923851550,6554494323553211,.498514953405204623324,-44,55,
 7761862923890664,6554494244784488,.472572414806484839605,-44,55,
 7819356134911465,-8127311055389155,-.492055627588161407279,-44,57,
 7819356134933695,-8127310873570809,-.499975005230137908833,-44,57,
 7819356134936069,-8127310854153951,-.497174799915107801823,-44,57,
 7819356134936150,-8127310853491455,-.499604026855710131928,-44,57,
 7819356134938632,-8127310833191269,-.499882737569156733995,-44,57,
 7819356134949747,-8127310742282096,-.497534865678289968575,-44,57,
 7880037969485340,-8960639206857836,-.490272330452819442497,-44,55,
 7880037969502477,-8960639240851628,-.498891598536334626794,-44,55,
 7880037969511262,-8960639258277984,-.496979052190824200529,-44,55,
 7880037969511450,-8960639258650910,-.498962649468506308035,-44,55,
 7880037969511544,-8960639258837373,-.499954064359156126633,-44,55,
 8016984453660094,-8858644343533554,.499391983918146207190,-44,53,
 8016984453660284,-8858644343515959,.490945097793410679707,-44,53,
 8016984453660322,-8858644343512440,.489255844566867627073,-44,53,
 8016984453660327,-8858644343511976,-.484650633043774363769,-44,53,
 8016984453660669,-8858644343480305,-.499852003159862606433,-44,53,
 8016984453661857,-8858644343370290,-.499999169659706881129,-44,53,
 8016984453667184,-8858644342876982,-.499320613698078389727,-44,53,
 8016984453717503,-8858644338217180,-.453212315732619167982,-44,53,
 8049376796641709,7873994924792805,-.499961511168020944781,-44,54,
 8049376796642175,7873994925221991,.222135863273312936894,-44,54,
 8049376796642300,7873994925337116,.415830571150783833417,-44,54,
 8049376796642354,7873994925386850,.499506561991458038450,-44,54,
 8049376796643645,7873994926575863,.499960476340285883869,-44,54,
 8049376796699790,7873994978285495,.457764609720874026923,-44,54,
 8198893031061692,8213007108249161,.499360157331977423203,-44,54,
 8198893031068742,8213007101823900,-.486019376844900626411,-44,54,
 8198893031068807,8213007101764660,-.490146033874282899504,-44,54,
 8198893031068963,8213007101622483,.499949531799064688911,-44,54,
 8198893031122275,8213007053034743,.461965364934726771819,-44,54,
 8347450336541482,-8945488055820140,-.499904710896260974172,-44,53,
 8347450336542968,-8945488055731231,-.499883987338437017660,-44,53,
 8347450336544454,-8945488055642322,-.499799437132097462838,-44,53,
 8347450336544602,-8945488055633467,-.498441626221828762046,-44,53,
 8347450336544643,-8945488055631014,-.423741039587550633255,-44,53,
 8347450336544673,-8945488055629219,-.491033262486567327459,-44,53,
 8347450336565779,-8945488054366424,-.493574731211171418979,-44,53,
 8347450336606274,-8945488051943564,-.445105735414024557627,-44,53,
 8638779724394265,5096814003500902,.481234713337269717051,-44,53,
 8638779724394286,5096814003492037,.443013276572325789839,-44,53,
 8638779724394334,5096814003471774,.498507108123153411532,-44,53,
 8638779724394804,5096814003273367,-.499784462675811183076,-44,53,
 8638779724395903,5096814002809429,.499940835801061470013,-44,53,
 8638779724419293,5096813992935465,.494837261003150768244,-44,53,
 8638779724430988,5096813987998483,.488906763913359617275,-44,53,
 8704521642360088,-7001926819037831,-.499532652946570457290,-44,60,
 8704521642365332,-7001926475373385,-.499847886540506714676,-44,60,
 8704521642366353,-7001926408462364,.499781709000638356186,-44,60,
 8704521642366372,-7001926407217202,-.463985979012179245629,-44,60,
 8704521642366377,-7001926406889529,.492917262341914367237,-44,60,
 8704521642460606,-7001920231611671,-.399529124001155639317,-44,60,
 7146344544205316,-5652563272694430,-.412318856380387816618,-38,70,
 7146344544206558,-5647228923312859,-.497100125202389134238,-38,70,
 7146344544206843,-5646004857633513,-.497872023931041159238,-38,70,
 7146344544206847,-5645987677764330,.305669108027598330048,-38,70,
 7146344544206849,-5645979087829738,.207440122351293841321,-38,70,
 7146344544215028,-5610850550316153,-.005202302362050879565,-38,70,
 5371956115261446,4879582583286995,-.160032670406894478565,-37,74,
 5371956115275725,6842073399913587,.495547399651673526165,-37,74,
 5371956115275753,6845921690610803,.242956198209312016779,-37,74,
 5371956115275775,6848945347587187,.044292359751714025070,-37,74,
 5371956115275777,6849220225494131,.026223310041631491215,-37,74,
 5371956115275946,6872447408630897,.494143444970906574796,-37,74,
 5371956115276278,6918077141183598,.454086390286174650977,-37,74,
 5371956115281923,7693920033532980,.368078241703273426190,-37,74,
 5371956115289339,8713167312481236,.124555319567696400756,-37,74,
 7170739958405677,6137467417743519,.141426019048340798104,-37,70,
 7170739958428935,6337252116481467,-.364374334928671180492,-37,70,
 7170739958447764,6498991994911844,.477404662149742452064,-37,70,
 7170739958448048,6501431536335936,-.499778482175375002738,-37,70,
 7170739958448071,6501629104831549,-.495624509590158071762,-37,70,
 7170739958448117,6502024241822775,-.487862804844971329866,-37,70,
 7170739958448125,6502092961299509,.469934446936252244590,-37,70,
 7170739958448127,6502110141168693,.209380317711300378369,-37,70,
 7170739958448129,6502127321037877,-.051175188389030549401,-37,70,
 7170739958448593,6506113050688504,.462725539060205348124,-37,70,
 7158542251324229,4845837228158003,.092587579971568801253,-36,70,
 7158542251326867,4800516733250989,.304189328631945880190,-36,70,
 7158542251327454,4790432150040064,.498166488720074338170,-36,70,
 7158542251327461,4790311890955777,.488147781694517938002,-36,70,
 7158542251327487,4789865214356997,.164785993032061564410,-36,70,
 7158542251327489,4789830854618629,.447575915950649855436,-36,70,
 4588037610644632,-6594350259995752,-.133543070160990958908,-34,72,
 4588037610667758,-7600761088350437,.262294956444472095990,-34,77,
 4588037610667951,-5903115135064294,-.441183371420137137093,-34,77,
 4588037610667954,-5876726855997670,-.461227233495364441251,-34,77,
 4588037610668015,-5340165181642983,.168956053879895757364,-34,77,
 4588037610668031,-5199427693287655,.083375723368891521553,-34,77,
 4588037610668033,-5181835507243239,.072997779682638395571,-34,77,
 4588037610669107,8530336797216303,-.017583694674824637377,-34,78,
 4588037610680670,6623399500899411,-.386898493450447513641,-34,73,
 7161591678105926,5934566320678203,.273600339653992488856,-34,72,
 7161591678107645,5462051198641811,.470597594470113137213,-34,72,
 7161591678107647,5461501442827924,-.161706934603626358536,-34,72,
 7161591678107649,5460951687014036,.205914519176017311315,-34,72,
 7161591678107656,5459027541665429,.492006829942919952906,-34,72,
 7161591678107705,5445558524225182,.469294512836828791201,-34,72,
 7161591678118564,4921318665442764,-.039420836442481738261,-34,73,
 7161591678147855,-5590789439573905,.345512776715301277277,-34,72,
 4923784867872607,-5197382142330510,.454741147072121826536,-33,74,
 4923784867872765,-5544827816707711,-.494614094521891871139,-33,74,
 4923784867872767,-5549225863218815,-.304982358349659633418,-33,74,
 4923784867872769,-5553623909729919,-.115049798040601666285,-33,74,
 4923784867872786,-5591007305074301,-.488443569363810832585,-33,74,
 4923784867873660,-7512953630426633,-.043634501630011313646,-33,74,
 4923784867879441,-5056376767692270,.375880777122291392976,-33,72,
 4923784867894857,-6765706197286064,.356617046501893499578,-33,71,
 5818983827624657,6336475918824011,.203651212409538513287,-31,70,
 5818983827636223,-5631955090988659,.421354737211606850166,-31,78,
 5818983827636225,-5913430067699315,.472708629903935860518,-31,78,
 5818983827636226,-6054167556054642,-.499706276421089924192,-31,78,
 5818983827636304,-8515845823885109,.054965707543208668231,-31,77,
 5818983827641290,-5615225067084048,-.032048713040323803309,-31,71,
 5818983827643783,-8356307555117465,-.438524724598047347379,-31,71,
 6904797244408171,-8807614496896947,-.227364980099607949482,-30,69,
 6904797244424191,-8623861563209770,-.268459433470772986105,-30,83,
 6904797244424192,6133403064499548,-.313637533751131010697,-30,87,
 6904797244424193,4695268473136107,-.135538875347240686618,-30,82,
 6904797244424213,5922953813784126,.299948148089643085236,-30,78,
 6904797244425117,8136760398755779,.435113526627695841147,-30,73,
 6904797244425826,7186595175748355,.027508945107156707996,-30,72,
 6904797244425838,7239371733881541,.463980607107521461066,-30,72,
 6904797244452339,7737000144404609,-.452528302006708819979,-30,68,
 5378363199834527,-7653695703552655,.027221501723861288178,-28,67,
 5378363199843741,-5176491275374212,.122869425730494666167,-28,68,
 5378363199848348,-7106637214435962,-.051159888803452642027,-28,74,
 5378363199848446,-6736009120801846,-.276339804284185156351,-28,79,
 5378363199848447,-8968418614233197,.250746881331505370505,-28,80,
 5378363199848449,4963921984997782,-.433882543206171080186,-28,87,
 5378363199848462,7323196974540528,-.470304813771569317377,-28,77,
 5378363199870683,6111637742987200,.194505703260253715124,-28,66,
 5560206444460472,7070781568873724,.324873424353475778552,-26,68,
 5560206444460638,6340705848219077,.474589868524017502524,-26,68,
 5560206444461966,8001601311367347,.127872490356419965675,-26,72,
 5560206444462049,8643982178499954,-.062665752981932583030,-26,74,
 5560206444462055,6955132318236162,.466381321474412240888,-26,74,
 5560206444462079,6391452069778420,-.265254085413036629696,-26,79,
 5560206444462081,-5811473219851782,.285042095264245200848,-26,78,
 5560206444464379,-5056193073677390,.081411751272675779371,-26,67,
 5560206444472193,-5559840177343104,.407844561873090316170,-26,65,
 8249388044327082,-8139436860656670,-.471525123925657395156,-26,63,
 8249388044381812,-4939231945053834,.276587559846141251488,-26,66,
 8249388044385484,-7214602012212486,-.489259190512247738403,-26,69,
 8249388044385834,-8271938909170924,-.480553181410618531654,-26,70,
 8249388044386184,-8458695174767502,.379100950431422427399,-26,72,
 8249388044386273,-8783507771839398,-.492522906121510893522,-26,74,
 8249388044386279,-7094657911575612,-.218450958337745276476,-26,74,
 8249388044386303,-5428135528320560,-.050855483800442511135,-26,78,
 8249388044386305,7158127452840863,.147335868334066826554,-26,79,
 8967144255491204,-8126488643948866,.088563324075069821569,-24,62,
 8967144255520759,-5071482721975552,-.442062999560876604936,-24,73,
 8967144255520767,-4543064756842398,-.483084134430566180775,-24,76,
 8967144255520769,8928268995797176,.364707768362448605424,-24,77,
 8967144255520772,8987466690004955,-.383963399036041788223,-24,75,
 8967144255520797,8160307754012969,-.225876600947172850282,-24,72,
 8967144255522056,5664645360572191,-.000132727889248161470,-24,66,
 5346671783313256,-5347991541264625,-.403734410981788448110,-23,68,
 5346671783313308,-7036808385709351,-.325952333750226562416,-23,69,
 5346671783313407,-8998747172771473,-.230837337258207319958,-23,76,
 5346671783313409,4507825668355234,.051191643637078340480,-23,75,
 5346671783313412,4504656137616512,.400172425908359660657,-23,73,
 5346671783314573,5123728295958778,.499800265180770146631,-23,65,
 5346671783322475,4984635509820218,.223583480029287954927,-23,62,
 7804232761079817,8967616141704297,-.437083642914898161934,-22,64,
 7804232761081639,7635006010104452,-.459046294072610554490,-22,67,
 7804232761081855,9006500434647011,.121858746594006276029,-22,75,
 7804232761081857,-4503949037417401,-.105735752410516953580,-22,74,
 7804232761081869,-7318393070721207,.070331628394611690968,-22,71,
 7804232761081877,-5910996349027014,.037323628679204688725,-22,70,
 7804232761081956,-7036879876631715,-.340757729779947944133,-22,68,
 7804232761102077,-5558284646047847,.056916946133374981612,-22,60,
 6467564815253491,-7318437781955090,.105969379182759701390,-21,70,
 6467564815253501,-6755752991153059,-.340557412620485449839,-21,72,
 6467564815253503,-4504306727569565,.342422713985517695552,-21,73,
 6467564815253505,9005785054342172,.018128275154087207132,-21,74,
 6467564815253520,9007110867128708,.313476647233779389328,-21,70,
 6467564815253578,5207276019625932,.429218791772603691882,-21,67,
 6467564815254226,6350777655523499,.282988039167026510118,-21,64,
 6467564815306646,7302999218708589,.495299199833497211118,-21,58,
 6467564815345961,6351538646997068,-.440207892255794089188,-21,57,
 5519007584354205,-6966505664533473,.003447517557253355478,-19,65,
 5519007584354303,-4503601697394101,-.289562106048400554298,-19,71,
 5519007584354305,9007195114682859,-.245790883699451742761,-19,72,
 5519007584354317,7318349134973855,-.248766404616304643305,-19,68,
 5519007584354342,5348024488131731,-.494274905524673884334,-19,66,
 5519007584354343,5488761976107581,.181622721093684185843,-19,66,
 5519007584355307,8822475915755119,-.355269997439873637448,-19,62,
 5519007584359302,5495275882123963,.441180383557404517156,-19,59,
 5519007584375833,5916183491178565,.405859158374466285215,-19,57,
 7304668022910975,9007199229022679,.002599061033847825452,-19,72,
 7304668022910976,-6902241061516902,.097143665637497455099,-19,100,
 7304668022910977,-4503599640224191,-.165367137143019981868,-19,71,
 7304668022910990,-7881299348568803,.438199075238721487900,-19,68,
 7304668022912256,-5629493941822008,-.399031320149028414169,-19,61,
 7304668022921404,-5732475643394749,.247997580876870510231,-19,58,
 7304668022922207,-6173835347865420,.179041811701209492566,-19,58,
 7304668022922216,-6178782014105688,-.319812672113141288593,-19,58,
 7347785269663743,-9007199171893817,.429034569522925465296,-12,65,
 7347785269663745,9007199158631197,.295701235141710447750,-12,65,
 4586976137695743,-9007198896928603,-.380843757498355173307,-11,64,
 4586976137695745,9007198896725506,.485822860727438496622,-11,64,
 5500059640559615,-9007198893714497,-.305980799904349854870,-11,64,
 5500059640559617,9007198899939613,-.439314181934722898555,-11,64,
 8944333985714495,9007107629047499,.139947648740339346257,-7,60,
 8944333985714497,-9007107629055762,.085978705839602708625,-7,60,
 6851593493588863,9005733310818489,.267583653033044817445,-5,58,
 6851593493588865,-9005733310818340,.168465888079437924862,-5,58,
 5706674932067740,-8913667029669235,-.030480085957072854157,-2,55,
 5706674932067742,8913667029669242,.426852375080671947110,-2,55,
 6134899525417044,-8636562708039153,.341335283153870185092,-1,54,
 6134899525417046,8636562708039151,.157445389056987762061,-1,54 };
#include "trailer.h"