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

struct input_point { double arg_m, val, eps;
	int arg_e, val_e; } input_points[N] = {
 4503599627370496,-5412282753821250,.048455703392481968379,-1074,44,
 4503599627370497,-5412282753821250,.050152166212416545642,-1074,44,
 4503599627370503,-5412282753821250,.060330943132024001312,-1074,44,
 4503599627370694,-5412282753821250,.384355341739520919942,-1074,44,
 4503599627370761,-5412282753821250,.498018350675131766554,-1074,44,
 4503599627370762,-5412282753821250,.499714813495066243994,-1074,44,
 4503599627371941,-5412282753821248,.499844478197553116672,-1074,44,
 4503599627373120,-5412282753821246,.499974142899516374226,-1074,44,
 7737125245472280,-5629499534215059,.499997690394823586707,-86,49,
 7737125245524560,-5629499534213406,-.499973174421081144688,-86,49,
 7737125245533516,-5629499534213123,-.498590984747027807841,-86,49,
 7737125245533611,-5629499534213120,-.496678154465282635773,-86,49,
 7737125245533626,-5629499534213120,-.022691918105010451659,-86,49,
 7737125245533627,-5629499534213120,.008907164319007661276,-86,49,
 7737125245533641,-5629499534213120,.451294318255260813535,-86,49,
 7737125245533643,-5629499534213119,-.485507516896703087202,-86,49,
 7737125245533959,-5629499534213110,.499802529092795395573,-86,49,
 7737125245534497,-5629499534213092,-.499891126786781484167,-86,49,
 7737125245537630,-5629499534212993,-.499965892369216147482,-86,49,
 4835703278420175,-5066549580793747,.499997690394823586707,-82,49,
 4835703278452850,-5066549580792094,-.499973174421081144688,-82,49,
 4835703278457953,-5066549580791836,-.499784998631794137331,-82,49,
 4835703278458131,-5066549580791828,.499633675729447604502,-82,49,
 4835703278458487,-5066549580791810,.498471024450937294856,-82,49,
 4835703278458507,-5066549580791808,-.490358337980479000607,-82,49,
 4835703278458516,-5066549580791808,-.035331551074617697977,-82,49,
 4835703278458517,-5066549580791808,.015226980803811283373,-82,49,
 4835703278458526,-5066549580791808,.470253767709671645030,-82,49,
 4835703278468337,-5066549580791311,-.499989973527756077437,-82,49,
 6044629098072911,-4503599627370505,-.499888718716707181394,-79,49,
 6044629098073145,-4503599627370496,-.035331551074617697977,-79,49,
 6044629098073146,-4503599627370496,.005115274428125487939,-79,49,
 6044629098073158,-9007199254740991,-.019045639077913605994,-79,50,
 6044629098073183,-9007199254740989,.003295636059237325591,-79,50,
 6044629098078103,-9007199254740591,.000058582887743742087,-79,50,
 6044629098080699,-9007199254740381,-.000023407086960887479,-79,50,
 6044629098128861,-9007199254736485,-.000003701241994044540,-79,50,
 7555786372591301,-7881299347898376,-.499781536920988690500,-76,50,
 7555786372591425,-7881299347898368,-.475131357176667455853,-76,50,
 7555786372591432,-7881299347898368,-.022126911545943571248,-76,50,
 7555786372591433,-7881299347898368,.042588009258445520864,-76,50,
 7555786372591440,-7881299347898368,.495592454889168925831,-76,50,
 7555786372591471,-7881299347898365,-.498245000174775325497,-76,50,
 7555786372591950,-7881299347898334,-.499797934873540729386,-76,50,
 7555786372599089,-7881299347897872,-.499978312589712437452,-76,50,
 7555786372599738,-7881299347897830,-.499994710585555254579,-76,50,
 4722366482868974,-6755399441055814,.499934112856986486930,-72,50,
 4722366482869341,-6755399441055775,-.499464390801813226645,-72,50,
 4722366482869640,-6755399441055745,.460153722018943383515,-72,50,
 4722366482869645,-6755399441055744,-.022126911545943571248,-72,50,
 4722366482869646,-6755399441055744,.081416961741078972020,-72,50,
 4722366482869650,-6755399441055744,.495592454889168925831,-72,50,
 4722366482869679,-6755399441055741,.498364780212810599243,-72,50,
 4722366482869708,-6755399441055737,-.498862894463566167337,-72,50,
 4722366482874025,-6755399441055290,-.499961914597477185179,-72,50,
 4722366482882321,-6755399441054431,-.499989127009613205973,-72,50,
 4722366482920556,-6755399441050472,-.499994024356360181084,-72,50,
 5902958103580447,-5629499534213668,.499997470344511245692,-69,50,
 5902958103587056,-5629499534213120,-.042835686203348082533,-69,50,
 5902958103587057,-5629499534213120,.039999412426269957344,-69,50,
 5902958103587062,-5629499534213120,.454174905574359946237,-69,50,
 5902958103587075,-5629499534213118,-.468968812240607724480,-69,50,
 5902958103587135,-5629499534213113,-.498862894463566167337,-69,50,
 5902958103587304,-5629499534213099,-.499731226058503989972,-69,50,
 5902958103588475,-5629499534213002,-.499830730789467501717,-69,50,
 5902958103590817,-5629499534212809,.499970259690878375184,-69,50,
 7378697629468074,-4503599627371540,.499993895110679960360,-66,50,
 7378697629483798,-4503599627370498,.499266577915372118740,-66,50,
 7378697629483813,-4503599627370497,.493287761470790634829,-66,50,
 7378697629483820,-4503599627370496,-.042835686203348082533,-66,50,
 7378697629483821,-4503599627370496,.023432392700346350491,-66,50,
 7378697629483828,-9007199254740991,-.025382109947585739614,-66,51,
 7378697629483964,-9007199254740973,-.000464648142884390813,-66,51,
 7378697629493999,-9007199254739643,-.000121051925876916116,-66,51,
 7378697629498013,-9007199254739111,.000016386054463395241,-66,51,
 4611686018405948,-6755399441060290,-.499999881396781651474,-62,51,
 4611686018423165,-6755399441056639,-.499953519535860433710,-62,51,
 4611686018427387,-6755399441055744,-.191700298652607270838,-62,51,
 4611686018427388,-6755399441055744,.020357553839214929209,-62,51,
 4611686018427390,-6755399441055744,.444473258822859191356,-62,51,
 4611686018427395,-6755399441055742,-.495237478718030957976,-62,51,
 4611686018427428,-6755399441055735,-.497328346487934774727,-62,51,
 4611686018427461,-6755399441055728,-.499419214257888666656,-62,51,
 4611686018428904,-6755399441055422,-.499938068611204681465,-62,51,
 8703077354446029,-4778604949514421,-.499924410695911607853,-60,51,
 8703077354446118,-4778604949514411,-.499204753621229707789,-60,51,
 8703077354446207,-4778604949514401,-.498485096546650077764,-60,51,
 8703077354446216,-4778604949514400,-.487176367179563449489,-60,51,
 8703077354446234,-4778604949514398,-.464558908445393330374,-60,51,
 8703077354450185,-4778604949513955,.499973283603713783013,-60,51,
 8703077354576636,-4778604949499746,.499988418055348390769,-60,51,
 5764607523007435,-4503599627375042,-.499999881396781651474,-59,51,
 5764607523033501,-4503599627370621,.499986570633305053287,-59,51,
 5764607523033613,-4503599627370601,-.499629846097193166604,-59,51,
 5764607523034173,-4503599627370506,-.497711929755221615186,-59,51,
 5764607523034226,-4503599627370498,.493541015898094062534,-59,51,
 5764607523034232,-4503599627370496,-.488581292141158428155,-59,51,
 5764607523034234,-4503599627370496,-.149288728154242827150,-59,51,
 5764607523034235,-4503599627370496,.020357553839214929209,-59,51,
 7188956797842248,-5863884328859106,-.486078263848913873876,-57,52,
 7188956797842259,-5863884328859103,-.493325109175397726308,-57,52,
 7188956797842270,-5863884328859101,.499428045498113841974,-57,52,
 7188956797843097,-5863884328858875,-.499948416788266697292,-57,52,
 7188956797844615,-5863884328858463,.499986928064899297588,-57,52,
 7188956797875111,-5863884328850165,-.499994462845281540084,-57,52,
 9006440473861104,-5423039079313661,.499999293096660420404,-57,52,
 9006440473864203,-5423039079312988,.495993261630438360331,-57,52,
 9006440473864249,-5423039079312978,.485607886524645728788,-57,52,
 9006440473864378,-5423039079312950,.499961943292911616798,-57,52,
 7205759403788625,-4503599627371627,-.499985789012022190891,-56,52,
 7205759403791226,-4503599627370922,.499981355242738476872,-56,52,
 7205759403792777,-4503599627370501,.494194750253757098079,-56,52,
 7205759403792788,-4503599627370498,.479969313338618012570,-56,52,
 7205759403792793,-4503599627370496,-.162860430713719442150,-56,52,
 7205759403792794,-4503599627370496,.108573620475812953899,-56,52,
 7205759403793057,-9007199254740849,-.008541833356949207402,-56,53,
 7205759403793827,-9007199254740431,-.000103001514678987376,-56,53,
 7205759403819907,-9007199254726273,.000007016843243872622,-56,53,
 7591484324333081,-8803213731969180,-.499990839498066895337,-56,53,
 7591484324371714,-8803213731949274,.499987581325177102445,-56,53,
 7591484324372401,-8803213731948919,-.499313918954688577040,-56,53,
 7591484324373088,-8803213731948565,-.498615419266589951980,-56,53,
 7591484324373121,-8803213731948548,-.494215054653557528522,-56,53,
 7591484324373123,-8803213731948547,-.463645335586103393694,-56,53,
 7591484324376032,-8803213731947048,-.499988952261457568850,-56,53,
 8003388475031835,-8596523747631344,.499060200049214272601,-56,53,
 8003388475031874,-8596523747631324,-.439101068557767407578,-56,53,
 8003388475031880,-8596523747631322,.493489505502688704898,-56,53,
 8003388475032369,-8596523747631083,.499621291422470750109,-56,53,
 8003388475032725,-8596523747630909,.499995352328300395440,-56,53,
 8715649185154930,-8263024597387754,-.499997002912364012912,-56,53,
 8715649185197722,-8263024597368548,-.499962813691344868371,-56,53,
 8715649185231047,-8263024597353591,-.499796040440802485875,-56,53,
 8715649185231809,-8263024597353249,-.497271597562196059239,-56,53,
 8715649185231936,-8263024597353192,-.496850857085335355295,-56,53,
 8715649185231956,-8263024597353184,.479593354013307166486,-56,53,
 8715649185233382,-8263024597352543,-.499934394706573438384,-56,53,
 4823460372571543,-7865906464255499,.499995958813231860782,-55,53,
 4823460372574564,-7865906464253048,-.499961744626319767649,-55,53,
 4823460372575019,-7865906464252679,-.499624358153848799189,-55,53,
 4823460372575183,-7865906464252546,-.497304948532745078971,-55,53,
 4823460372595256,-7865906464236268,.499996903442179633331,-55,53,
 6866204439023839,-6484580262615162,.499997114836160179721,-55,53,
 6866204439034841,-6484580262608893,-.499944462840310066436,-55,53,
 6866204439034899,-6484580262608860,-.456497508813590510070,-55,53,
 6866204439034920,-6484580262608848,-.492490853045364324992,-55,53,
 6866204439034927,-6484580262608845,.495511365544036271941,-55,53,
 7429938090840994,-6175917371978620,-.499982465478932858752,-55,53,
 7429938090843127,-6175917371977498,.499980339808713331215,-55,53,
 7429938090848922,-6175917371974446,-.499183067050220400690,-55,53,
 7429938090848960,-6175917371974426,-.492620204152230590405,-55,53,
 7429938090849224,-6175917371974287,-.499657156653231424852,-55,53,
 7429938090849526,-6175917371974129,.499868753737294797699,-55,53,
 7429938090895848,-6175917371949741,.499998548443094730657,-55,53,
 7477266621094255,-6151078473125387,-.496445016116083754874,-55,53,
 7477266621094274,-6151078473125378,.443519078694789398049,-55,53,
 7477266621094406,-6151078473125308,-.499888262619841770156,-55,53,
 7477266621094989,-6151078473125003,-.499937353440711962086,-55,53,
 7477266621095572,-6151078473124698,-.499986444285362899092,-55,53,
 7477266621156852,-6151078473092640,.499999208754941614893,-55,53,
 8992428863894944,-5429294269744736,.455206186628679357456,-55,53,
 8992428863894951,-5429294269744732,-.499739028884614436641,-55,53,
 8992428863895528,-5429294269744482,.499776778082875282170,-55,53,
 8992428863899390,-5429294269742801,-.499997838434994658874,-55,53,
 4684840655054737,-5268535501554995,-.499998009122869612881,-54,53,
 4684840655106266,-5268535501511970,.499915124553567168198,-54,53,
 4684840655107072,-5268535501511297,.498729962645544739605,-54,53,
 4684840655107175,-5268535501511210,-.497699406688513925169,-54,53,
 4684840655107187,-5268535501511200,-.477865935154740827005,-54,53,
 4684840655107375,-5268535501511044,.499525118871020292242,-54,53,
 4684840655111308,-5268535501507760,.499945412550676324780,-54,53,
 4684840655118871,-5268535501501445,.499990836050792245689,-54,53,
 5261029272885353,-4814789783109430,-.499997819326959411088,-54,53,
 5261029272899320,-4814789783099046,.499894695829681241378,-54,53,
 5261029272899476,-4814789783098930,.491874593459089583658,-54,53,
 5261029272899515,-4814789783098901,.489869567865904264024,-54,53,
 5261029272899523,-4814789783098895,.438176229282660192626,-54,53,
 5261029272903808,-4814789783095709,.499931749332641219214,-54,53,
 5357701474438019,-4743562713662630,-.499995217994721289525,-54,53,
 5357701474446282,-4743562713656598,.499968975628592888534,-54,53,
 5357701474447590,-4743562713655643,.499842285347932809349,-54,53,
 5357701474447716,-4743562713655551,.495242925262713806393,-54,53,
 6544763739207500,-7921395658694251,-.485104373659462942594,-54,54,
 6544763739207505,-7921395658694246,.491852304398968271952,-54,54,
 6544763739207546,-7921395658694196,-.497102935522068006310,-54,54,
 6544763739207633,-7921395658694092,-.498056737306747339762,-54,54,
 6544763739207807,-7921395658693884,-.499964340880253406350,-54,54,
 6544763739220392,-7921395658678841,.499994317027041735060,-54,54,
 6748349574614099,-7681739340518685,.499998599851669638480,-54,54,
 6748349574652460,-7681739340474212,.499891538351515681332,-54,54,
 6748349574653414,-7681739340473106,.499263237205588263107,-54,54,
 6748349574653709,-7681739340472763,-.498834612761122398080,-54,54,
 6748349574653772,-7681739340472690,-.461140255298323355949,-54,54,
 6748349574653778,-7681739340472684,.494830635888574324723,-54,54,
 6748349574658774,-7681739340466892,.499926028698806431849,-54,54,
 6748349574671402,-7681739340452252,.499994988846817379714,-54,54,
 6750030179296307,-7679791210214333,.499996695062685602127,-54,54,
 6750030179306097,-7679791210202986,.499984553129260131480,-54,54,
 6750030179323841,-7679791210182419,-.497177434318274380459,-54,54,
 6750030179323885,-7679791210182368,-.499424680071205775553,-54,54,
 6750030179324344,-7679791210181837,.499859733531801724080,-54,54,
 6750030179325677,-7679791210180292,.499960219890572207215,-54,54,
 6921931465590491,-7483045507698244,-.499997572992716302037,-54,54,
 6921931465612133,-7483045507673784,.498156093027803913488,-54,54,
 6921931465612179,-7483045507673732,.489927420394691434771,-54,54,
 6921931465612609,-7483045507673246,.499963741416277119478,-54,54,
 6921931465622574,-7483045507661983,.499991498029183715138,-54,54,
 7262316160940307,-7107483908079143,.499993436920224356412,-54,54,
 7262316160954929,-7107483908063390,-.499940060779457995754,-54,54,
 7262316160955343,-7107483908062945,.494317053514168563894,-54,54,
 7262316160955356,-7107483908062931,.498967639228291017823,-54,54,
 7262316160972346,-7107483908044627,-.499997668125442907402,-54,54,
 7667186625744855,-6683048777589059,-.499451588486088858642,-54,54,
 7667186625744904,-6683048777589010,.499871268611034310027,-54,54,
 7667186625747846,-6683048777586007,-.499968618102341134013,-54,54,
 7667186625759663,-6683048777573950,.499994680525965663514,-54,54,
 7667186625784768,-6683048777548332,-.499998728699227341686,-54,54,
 7756304500084488,-6592637826653493,.499989126296996139053,-54,54,
 7756304500084834,-6592637826653144,.499907594753607965034,-54,54,
 7756304500086564,-6592637826651399,.499499936803139700953,-54,54,
 7756304500086679,-6592637826651283,.496582664729052286243,-54,54,
 7756304500086680,-6592637826651281,-.494747050680295146943,-54,54,
 7756304500086707,-6592637826651254,-.260649366732725000033,-54,54,
 7756304500086910,-6592637826651050,.499418405166340569340,-54,54,
 7756304500133506,-6592637826604050,.499999048640355197408,-54,54,
 8671512143463121,-5720020612094756,-.499998118845112635302,-54,54,
 8671512143471118,-5720020612087541,-.499979312917251182816,-54,54,
 8671512143472652,-5720020612086158,.495272511793382115008,-54,54,
 8671512143472672,-5720020612086139,-.460460841210703645953,-54,54,
 8671512143472744,-5720020612086075,.498899087974243022951,-54,54,
 8671512143473061,-5720020612085788,-.499474557148448398625,-54,54,
 4889567999034235,-4779567241590217,-.499904507127373119962,-53,54,
 4889567999034295,-4779567241590121,-.496897259623119968046,-53,54,
 4889567999035555,-4779567241588105,-.433745062305934501972,-53,54,
 4889567999035885,-4779567241587577,-.417205201189665263125,-53,54,
 4889567999035890,-4779567241587569,-.416954597233632214871,-53,54,
 4889567999038223,-4779567241583837,.499977207758920730269,-53,54,
 4889567999046204,-4779567241571067,.499991225857367773552,-53,54,
 4889567999054185,-4779567241558296,-.499994776888024584044,-53,54,
 4930099044600809,-4714982848320760,.499992314945183857408,-53,54,
 4930099044602259,-4714982848318459,.499019963170791755233,-53,54,
 4930099044602305,-4714982848318386,.496230495448253065310,-53,54,
 4930099044602334,-4714982848318339,-.483788951594567021866,-53,54,
 4930099044602610,-4714982848317902,.499474242053321498193,-53,54,
 4930099044602961,-4714982848317345,.499928520896195413212,-53,54,
 4930099044616224,-4714982848296297,-.499999997357077413899,-53,54,
 5026050879176558,-4564180059130816,.499924216713166528767,-53,54,
 5026050879177088,-4564180059129991,.498247839024059232653,-53,54,
 5026050879177167,-4564180059129868,.469696077059176113692,-53,54,
 5026050879177185,-4564180059129840,.488507068003615915347,-53,54,
 5026050879177194,-4564180059129826,.497912563475798186836,-53,54,
 5026050879179535,-4564180059126182,.499941995999307108009,-53,54,
 5026050879188466,-4564180059112280,.499995317389031988651,-53,54,
 5035712052437124,-4549155906172842,.499992716797632789805,-53,54,
 5035712052438784,-4549155906170263,.499602855283075559486,-53,54,
 5035712052438840,-4549155906170175,-.498000658132239261846,-53,54,
 5035712052440043,-4549155906168307,.499909580230127460780,-53,54,
 5035712052473010,-4549155906117089,.499998207865966565787,-53,54,
 5280619103515292,-8355255567088503,.499971094595302565387,-53,55,
 5280619103516946,-8355255567083601,-.499656359670307012200,-53,55,
 5280619103516973,-8355255567083521,-.495418113773229348515,-53,55,
 5280619103517651,-8355255567081513,.499897838619279997436,-53,55,
 5280619103528741,-8355255567048652,.499977318276230148718,-53,55,
 5280619103569088,-8355255566929099,.499995380349395616846,-53,55,
 5388947655791161,-8037513185667781,-.499998602033934571558,-53,55,
 5388947655826010,-8037513185566596,.499992967484477082741,-53,55,
 5388947655827980,-8037513185560875,-.495990196710006515700,-53,55,
 5388947655827990,-8037513185560846,-.460436811762013123532,-53,55,
 5388947655828063,-8037513185560635,.499102898356706350122,-53,55,
 5388947655828457,-8037513185559491,.499906265249267215720,-53,55,
 5828367993164858,-6810984871513336,-.498558710669152104825,-53,55,
 5828367993164896,-6810984871513234,-.481991701630903562257,-53,55,
 5828367993164912,-6810984871513192,.472352302174475784829,-53,55,
 5828367993165581,-6810984871511395,-.499139038818642633942,-53,55,
 5828367993166545,-6810984871508807,-.499912810059173506076,-53,55,
 5828367993192500,-6810984871439127,-.499999311789197981908,-53,55,
 5842346135973055,-6773503427170073,.499998402877040689138,-53,55,
 5842346135980237,-6773503427150838,.499968772397473243494,-53,55,
 5842346135984650,-6773503427139019,.499532843194074213806,-53,55,
 5842346135984675,-6773503427138952,.455116142912562709682,-53,55,
 5842346135984678,-6773503427138944,.489786138878762075727,-53,55,
 5842346135986496,-6773503427134075,.499803693636767393997,-53,55,
 6083309738848262,-6141102707175156,-.499955101029685251840,-53,55,
 6083309738850681,-6141102707168934,-.499886763440716314987,-53,55,
 6083309738852053,-6141102707165406,.472454599317509816782,-53,55,
 6083309738852067,-6141102707165370,.482376449953797692069,-53,55,
 6083309738852088,-6141102707165316,.497259225908074119118,-53,55,
 6083309738852095,-6141102707165297,-.497779848773875174768,-53,55,
 6083309738852899,-6141102707163229,-.499410712381327993527,-53,55,
 6083309738860558,-6141102707143530,.499978845595265000459,-53,55,
 6083309738948848,-6141102706916436,.499990643101085952093,-53,55,
 6466710109355003,-5184773661991221,.499997231590886577146,-53,55,
 6466710109365879,-5184773661964904,-.499927402541216808932,-53,55,
 6466710109371043,-5184773661952409,-.481134737884715490351,-53,55,
 6466710109371062,-5184773661952364,.492017287780144033123,-53,55,
 6466710109371093,-5184773661952288,-.499155722977480409208,-53,55,
 6466710109371317,-5184773661951746,-.499889736204549730320,-53,55,
 6683043781680113,-4669889240306415,.499834107383468395986,-53,55,
 6683043781680781,-4669889240304851,.497962564549155460171,-53,55,
 6683043781680790,-4669889240304829,-.430206363424230427615,-53,55,
 6683043781688633,-4669889240286467,.499915615203282524334,-53,55,
 6683043781697153,-4669889240266519,.499997097592025684687,-53,55,
 7533119765568612,-5592742815521734,-.499984024582481893146,-53,56,
 7533119765574798,-5592742815496037,.487426386606482294495,-53,56,
 7533119765574824,-5592742815495929,.497072793075190245064,-53,56,
 7533119765574837,-5592742815495874,-.498104003690595574861,-53,56,
 7533119765575038,-5592742815495040,.499547061688086489218,-53,56,
 7533119765576283,-5592742815489868,.499923063164131370881,-53,56,
 7533119765576698,-5592742815488143,-.499951603200470866825,-53,56,
 7533119765656313,-5592742815157406,.499994681845003019677,-53,56,
 7593583889909180,-5342564395175533,.498783490811309725856,-53,56,
 7593583889909279,-5342564395175125,.491554287317651628195,-53,56,
 7593583889909337,-5342564395174885,-.482377973317467523964,-53,56,
 7593583889909989,-5342564395172198,-.499685455065457865632,-53,56,
 7593583889910410,-5342564395170464,.499875204603519760686,-53,56,
 7593583889912482,-5342564395161924,-.499911763938025555323,-53,56,
 7593583889939872,-5342564395049046,-.499991649106626073447,-53,56,
 7593583889944437,-5342564395030234,.499994997114569959490,-53,56,
 7618936725631545,-5238255864266180,-.499999752733673216015,-53,56,
 7618936725668054,-5238255864116223,.499880213221338840099,-53,56,
 7618936725668687,-5238255864113622,-.499738407198950046377,-53,56,
 7618936725669069,-5238255864112053,-.463173340953622650631,-53,56,
 7618936725669078,-5238255864112016,-.496343273948791245372,-53,56,
 7618936725669199,-5238255864111519,-.497850150888075765874,-53,56,
 7618936725673360,-5238255864094429,.499917489397087141452,-53,56,
 7618936725683972,-5238255864050841,.499991996215078862293,-53,56,
 8259236168421722,-5425920327421732,-.499965315173584569374,-53,57,
 8259236168422549,-5425920327415466,.499952317369309593741,-53,57,
 8259236168422767,-5425920327413813,-.497651015390156779019,-53,57,
 8259236168422940,-5425920327412503,.495076615003638551814,-53,57,
 8259236168434236,-5425920327326902,.499997439548379045028,-53,57,
 8460168363155807,-7842968831806098,.499996607676184453232,-53,58,
 8460168363166725,-7842968831644554,-.499990251811821826547,-53,58,
 8460168363172662,-7842968831556711,.499925214376339073473,-53,58,
 8460168363172863,-7842968831553736,-.499067037215589771132,-53,58,
 8460168363173010,-7842968831551561,-.483404654096211505061,-53,58,
 8460168363173015,-7842968831551488,.496719916757524532596,-53,58,
 8791115980768044,-6079217015698469,-.499990105523048878861,-53,59,
 8791115980768818,-6079217015676427,-.499564505065165778010,-53,59,
 8791115980769023,-6079217015670590,.497964238917087898578,-53,59,
 8791115980769069,-6079217015669280,.487653615596843702138,-53,59,
 8791115980769090,-6079217015668681,-.473575147225546704397,-53,59,
 8791115980769205,-6079217015665406,-.499351705563969218952,-53,59,
 8791115980791515,-6079217015030062,.499995166440597692028,-53,59,
 8837821264139149,-4752662974862797,.499997641958770331597,-53,59,
 8837821264166358,-4752662974092032,-.499898267362223980114,-53,59,
 8837821264166990,-4752662974074129,-.495448819825037644680,-53,59,
 8837821264167106,-4752662974070844,.499038736862350832348,-53,59,
 8837821264167451,-4752662974061071,.499885349169089852937,-53,59,
 8837821264171075,-4752662973958411,-.499917215912688597824,-53,59,
 8837821264189943,-4752662973423927,-.499993723288346435938,-53,59,
 9006099743106022,-7824031469365511,.499995358302944939043,-53,67,
 9006099743109138,-7824031447190966,.499969893275081168993,-53,67,
 9006099743112254,-7824031425016421,.499936756126744518746,-53,67,
 9006099743112935,-7824031420170186,-.499750583309762590411,-53,67,
 9006099743113215,-7824031418177609,.356471843358418391857,-53,67,
 9006099743113216,-7824031418170492,-.294041648085928412785,-53,67,
 9006099743113221,-7824031418134911,.453390894680485014583,-53,67,
 9006099743113224,-7824031418113561,-.498149579669148968533,-53,67,
 9006099743113327,-7824031417380578,.498960796679879791798,-53,67,
 9006099743182849,-7824030922637729,.498092910049324241690,-53,67,
 9007144712050371,-6209578279819947,.499789463270636884003,-53,71,
 9007144712055836,-6209577657638538,-.499810397331985640993,-53,71,
 9007144712056048,-6209577633502682,.498550675308658490224,-53,71,
 9007144712056137,-6209577623370175,-.497420553122232491861,-53,71,
 9007144712056158,-6209577620979359,-.473998048586901227517,-53,71,
 9007144712056161,-6209577620637814,-.327794834108314773211,-53,71,
 9007144712056162,-6209577620523966,.054272904025934472794,-53,71,
 9007144712056171,-6209577619499331,.492882546665387314658,-53,71,
 9007144712057074,-6209577516694241,-.499955179835599145792,-53,71,
 9007198645421183,-8879316057025228,.488976101032133937188,-53,78,
 9007198645422961,-8879290147110188,.496890506156041498424,-53,78,
 9007198645424739,-8879264237195148,.499690354495466566776,-53,78,
 9007198645424872,-8879262299051896,-.476683762544252050988,-53,78,
 9007198645424957,-8879261060388916,-.499193488593766897874,-53,78,
 9007198658399535,-8690188949355324,-.273479579316638407615,-53,78,
 9007198658422453,-8689854976671393,.448191520205094458837,-53,78,
 9007198658430258,-8689741238264984,.499682488696668225141,-53,78,
 9007198658430429,-8689738746366521,-.496577132464507597391,-53,78,
 9007198658430445,-8689738513206431,-.484533669402742252970,-53,78,
 9007198658430453,-8689738396626386,-.478512093187690076280,-53,78,
 9007198658430592,-8689736371048104,-.498903735453057021534,-53,78,
 9007198658431089,-8689729128512809,.499871888413553418201,-53,78,
 9007198744458217,-7436098327752221,.498571871304860100483,-53,78,
 9007198744459518,-7436079368922582,-.474349030493905306786,-53,78,
 9007198744459520,-7436079339777572,.498788106764276404377,-53,78,
 9007198744460190,-7436069576198896,.499364872639595020707,-53,78,
 9007198744462498,-7436035942856233,.492806624861152209567,-53,78,
 9007198744508919,-7435359472579042,-.474586709313371459410,-53,78,
 9007198751706499,-7330472698581509,.383554472076394818038,-53,78,
 9007198751718177,-7330302520862574,.499994486412583256768,-53,78,
 9007198751718455,-7330298469706051,-.498723489267267429405,-53,78,
 9007198751718495,-7330297886805833,.494256440385815572579,-53,78,
 9007198751723162,-7330229876922782,.482419362073197886964,-53,78,
 9007198756991593,-7253455637354040,.498453069446295337939,-53,78,
 9007198756992127,-7253447855636121,.498824277292136126379,-53,78,
 9007198756992957,-7253435760456583,-.479042654902141245876,-53,78,
 9007198756992972,-7253435541869001,-.484677009357773335061,-53,78,
 9007198756993002,-7253435104693837,-.495946810333446784922,-53,78,
 9007198756993017,-7253434886106256,.498417743146511854405,-53,78,
 9007198756996740,-7253380632668405,.488442290824550816838,-53,78,
 9007198772918826,-7021355947603821,-.480252666667493618508,-53,78,
 9007198772918860,-7021355452138637,.497597030305159272176,-53,78,
 9007198772918944,-7021354228048179,-.498311736530184965240,-53,78,
 9007198772919398,-7021347612130710,.499793296430528505626,-53,78,
 9007198772942559,-7021010098332202,.044375743568381422585,-53,78,
 9007198772949873,-7020903515027410,-.279747560858765316617,-53,78,
 9007198805307567,-6549370844018165,.055313900315177349459,-53,78,
 9007198805328400,-6549067255013415,.494494351939928798727,-53,78,
 9007198805331018,-6549029104194308,-.490283871478516598387,-53,78,
 9007198805331036,-6549028841889212,.495267506212130270184,-53,78,
 9007198805331170,-6549026889173490,.498800174822020439150,-53,78,
 9007198805331237,-6549025912815628,-.499444384822102481813,-53,78,
 9007198805332345,-6549009766479659,.498681981739495320294,-53,78,
 9007198859763360,-5755813509509940,.474289071461962856507,-53,78,
 9007198859768993,-5755731422587585,.470160882143171040236,-53,78,
 9007198859769033,-5755730839687373,.470658105122175767768,-53,78,
 9007198859770453,-5755710146729847,.486632433557115132911,-53,78,
 9007198859771373,-5755696740024971,.495240519787049416952,-53,78,
 9007198859771393,-5755696448574865,.495412444088673026457,-53,78,
 9007198859795472,-5755345557219746,-.067008867393373899672,-53,78,
 9007198895054592,-5241531845153156,.437224332548842635125,-53,78,
 9007198895062879,-5241411082802208,.499816295600353961334,-53,78,
 9007198895063373,-5241403883984618,.497866399480120405282,-53,78,
 9007198895063402,-5241403461381965,-.457725924291447492313,-53,78,
 9007198895063406,-5241403403091944,-.486083592970601954018,-53,78,
 9007198895063443,-5241402863909250,-.498393255409564484235,-53,78,
 9007198918835676,-4894981874338206,.497526100719643506643,-53,78,
 9007198918835720,-4894981233147977,.493327278659943449544,-53,78,
 9007198918835735,-4894981014560398,-.439923035678364547040,-53,78,
 9007198918835901,-4894978595524535,.498749180336166348135,-53,78,
 9007198918836126,-4894975316710864,.499890355124937188419,-53,78,
 9007198974136351,-8178225005129931,.464264823854537486610,-53,79,
 9007198974136538,-8178219555013018,.466947473921372225234,-53,79,
 9007198974139904,-8178121452908584,.495886386557888595174,-53,79,
 9007198974141026,-8178088752207106,.497385832426270305761,-53,79,
 9007198974141039,-8178088373321973,.486684146801320404704,-53,79,
 9007198974141052,-8178087994436840,.475981914335255635238,-53,79,
 9007198974155225,-8177674922206851,.175099850753152467432,-53,79,
 9007199052041097,-5907690395816518,.480141670050942328398,-53,79,
 9007199052042543,-5907648252132090,.492952949076740255796,-53,79,
 9007199052044618,-5907587776236385,-.420261956138390944768,-53,79,
 9007199052044622,-5907587659656346,.491217187402047542631,-53,79,
 9007199052044667,-5907586348130897,.495353984821810623229,-53,79,
 9007199052044712,-5907585036605448,.499484229855547352100,-53,79,
 9007199067960722,-5443712766757416,.453167351595547561160,-53,79,
 9007199068058786,-5440854690504012,.375773777101853970091,-53,79,
 9007199068083302,-5440140171440666,.494439647193403742554,-53,79,
 9007199068085112,-5440087418972700,.499693517719227940704,-53,79,
 9007199068085139,-5440086632057431,-.499203382138079082393,-53,79,
 9007199068085152,-5440086253172302,-.461636064104121122485,-53,79,
 9007199120523059,-7823565875218210,.499944109198228105537,-53,80,
 9007199120523258,-7823554275504326,-.496390004191888276675,-53,80,
 9007199120523260,-7823554158924287,-.471228833739625325275,-53,80,
 9007199120523263,-7823553984054229,.066512873402577052041,-53,80,
 9007199120523264,-7823553925764209,-.420906570493006702129,-53,80,
 9007199120523377,-7823547338992004,-.499345413575703276695,-53,80,
 9007199120527868,-7823285558514374,.431371321382871710738,-53,80,
 9007199120534386,-7822905624167191,.099744248845087994523,-53,80,
 9007199179190063,-8807730156900675,.008801035587392305283,-53,81,
 9007199179193036,-8807383564446911,.286898529734615951774,-53,81,
 9007199179198775,-8806714511607304,.495122361632260792212,-53,81,
 9007199179198839,-8806707050484854,-.498511918581960490061,-53,81,
 9007199179198982,-8806690379539383,.499894923924102541808,-53,81,
 9007199179205707,-8805906378782046,.189008269619763059020,-53,81,
 9007199180925940,-8605361549835388,.103509486735156140358,-53,81,
 9007199180930381,-8604843817885549,-.217026500206633258551,-53,81,
 9007199180957027,-8601737426186523,.499134547174372652142,-53,81,
 9007199180957381,-8601696156852984,-.491057398743272552379,-53,81,
 9007199180957418,-8601691843391570,.498574678747195623698,-53,81,
 9007199206467276,-5627751626390361,-.247168203290902843922,-53,81,
 9007199206479378,-5626340774771542,.378681235847054444103,-53,81,
 9007199206483656,-5625842045369351,-.498086512997405791491,-53,81,
 9007199206483702,-5625836682687608,.480445982953361798447,-53,81,
 9007199206483713,-5625835400307190,-.481213347379641256854,-53,81,
 9007199206483759,-5625830037625447,.497285212066292872644,-53,81,
 9007199206484125,-5625787369331571,.499145727109257905462,-53,81,
 9007199206484777,-5625711359146852,.492700244052596899731,-53,81,
 9007199206527134,-5620773378481001,.295381697626909376312,-53,81,
 9007199242897716,-5522758234398352,-.224592677437703704608,-53,83,
 9007199242954392,-5496329073590350,.409588282031820529547,-53,83,
 9007199242956258,-5495458920190894,.487096629793995516625,-53,83,
 9007199242956321,-5495429542021459,.496213929287489361397,-53,83,
 9007199242956342,-5495419749298314,.499207366270414912228,-53,83,
 9007199242956674,-5495264931008593,.495879399953863081602,-53,83,
 9007199242957649,-5494810268862575,.450106820037018054424,-53,83,
 9007199254731348,-4605124114865813,-.145772999677475806726,-53,93,
 9007199254740480,-7823553867474413,.443369586828641146432,-53,98,
 9007199254740896,-5867665400605674,.082405543942148722412,-53,100,
 9007199254740911,-4950842681761033,-.245565669857734801577,-53,100,
 9007199254740960,-7823553867474204,-.095279099602088074758,-53,102,
 9007199254740986,-5867665400605645,.397283072411868402017,-53,104,
 9007199254740989,-5867665400605644,.374445656694185665153,-53,105,
 9007199254740990,-7823553867474191,-.066444642504500458090,-53,106,
 9007199254740991,-7823553867474191,.367849839398751465994,-53,107,
 4503599627370496,0,0.000000000000000000000,-52,0,
 4503599627370497,7823553867474189,.329266714891493147485,-52,106,
 4503599627370498,7823553867474188,.460677751084989877914,-52,105,
 4503599627370501,4889721167171366,.159319287290926007578,-52,103,
 4503599627370517,5134207225529925,.347101131687219028803,-52,101,
 4503599627370569,8923741130087676,-.129173805935221925801,-52,100,
 4503599627371103,4637594919488783,-.363903055218774661621,-52,96,
 4503599627376043,5297516272320875,-.093732541999954987325,-52,93,
 4503599627377359,6554327416068659,.194304609982645307903,-52,93,
 4503599627380487,4770820720815914,-.203243814524009051195,-52,92,
 4503599640661305,6197772026084563,.292320417507903403360,-52,82,
 4503599640675471,6204377917297944,.188366648463872860176,-52,82,
 4503599640746301,6237407373364537,-.012265486547626541726,-52,82,
 4503599640748662,6238508355233414,.467984959082928242446,-52,82,
 4503599640749446,6238873950229264,-.466734418171525730360,-52,82,
 4503599640749459,6238880012391184,.499372856591623469776,-52,82,
 4503599643257923,7408627315212669,.305619186400531623914,-52,82,
 4503599643293407,7425174219326738,.493120694483711711501,-52,82,
 4503599643301028,7428728045170857,.470485043989035839256,-52,82,
 4503599643301038,7428732708372332,.494716146649291550921,-52,82,
 4503599643301040,7428733641012627,.499561124654872039338,-52,82,
 4503599643302278,7429310945355235,.419126375291282371367,-52,82,
 4503599653608297,6117607620048888,.053531155501245695470,-52,81,
 4503599653612281,6118536529780586,.499475196830780005731,-52,81,
 4503599653612327,6118547255143954,.498821392299383528543,-52,81,
 4503599653612442,6118574068552374,.496707602273000411729,-52,81,
 4503599653612451,6118576166993033,.453035025617581750653,-52,81,
 4503599659568391,7507263572553034,.367194320486930533210,-52,81,
 4503599659575269,7508867247534501,.374854396033801290298,-52,81,
 4503599659577281,7509336365601193,.499716508043262589789,-52,81,
 4503599659577456,7509377168613952,.496693430979719280874,-52,81,
 4503599659577467,7509379733374754,.490736160588153472399,-52,81,
 4503599659595400,7513560992962215,.176194232126079078966,-52,81,
 4503599680919697,6242767812207479,-.178741587914745593882,-52,80,
 4503599680946526,6245895537990679,.172103260695306707622,-52,80,
 4503599680948049,6246073089385357,-.458626011391993733633,-52,80,
 4503599680955664,6246960846358742,.487078836370742113964,-52,80,
 4503599680956602,6247070198432418,-.499612449200961812047,-52,80,
 4503599680956632,6247073695833495,-.473976307660099540649,-52,80,
 4503599680956652,6247076027434213,-.456898489616710899712,-52,80,
 4503599681425018,6301678152526112,.495542102793254443598,-52,80,
 4503599681425602,6301746235267072,-.490829641829103147925,-52,80,
 4503599681425638,6301750432148364,-.497127746362894058652,-52,80,
 4503599681425656,6301752530589009,.499710620789908113384,-52,80,
 4503599681430113,6302272127808965,.236484192732237868552,-52,80,
 4503599681435208,6302866103091817,.305451799989846779863,-52,80,
 4503599681487434,6308954612046093,.014847182414120060943,-52,80,
 4503599694413439,7815868736660571,.255255780824825569414,-52,80,
 4503599694471868,7822680391557825,-.226503933184695169513,-52,80,
 4503599694478885,7823498433667285,.497509151718098429675,-52,80,
 4503599694479259,7823542034600582,-.498538927709639328024,-52,80,
 4503599694479357,7823553459444065,.480507537290829887613,-52,80,
 4503599694479360,7823553809184172,.132923405311658340987,-52,80,
 4503599694479361,7823553925764208,-.316271357120000608475,-52,80,
 4503599694479377,7823555791044776,.496608923481869360193,-52,80,
 4503599694480499,7823686593844664,.483312533056480351993,-52,80,
 4503599694483914,7824084714666070,.231610780582962242116,-52,80,
 4503599718151123,5291604387010888,.479043482826849940676,-52,79,
 4503599718152897,5291707793501878,.499061633418519656010,-52,79,
 4503599718152929,5291709658782438,-.493059502989965758743,-52,79,
 4503599718153155,5291722832326385,.499707631380092418718,-52,79,
 4503599718207503,5294890778195771,.220865249406687200396,-52,79,
 4503599720390462,5422135496407493,-.322400911862363230903,-52,79,
 4503599720401708,5422791025943623,-.499897347659605708336,-52,79,
 4503599720401733,5422792483194058,.497351047886377737341,-52,79,
 4503599720404611,5422960241864250,.446518103309417499185,-52,79,
 4503599750515393,7178118243904410,.396343262702798522674,-52,79,
 4503599750519267,7178344059430462,.499618055972174381665,-52,79,
 4503599750519347,7178348722631827,-.494101184023967883690,-52,79,
 4503599750519387,7178351054232509,-.490991867182326307762,-52,79,
 4503599750520565,7178419719872593,.491292191588843462209,-52,79,
 4503599750522502,7178532627635619,.437545493683364886430,-52,79,
 4503599750552875,7180303070323474,.246030057445962608170,-52,79,
 4503599772429744,8455506134229064,.306787468962762549165,-52,79,
 4503599772445449,8456421578942380,.468844975752141331968,-52,79,
 4503599772458071,8457157315534004,-.464701863757746977255,-52,79,
 4503599772458084,8457158073304221,.494927911425524261391,-52,79,
 4503599772458131,8457160812935010,-.497198074056832242460,-52,79,
 4503599772458875,8457204180707483,.495977827237223806742,-52,79,
 4503599772461154,8457337023655693,.438554150309828007469,-52,79,
 4503599775920912,8659006375404829,-.229779121272955018205,-52,79,
 4503599775954317,8660953553413397,-.225745695279038899256,-52,79,
 4503599776085972,8668627725564671,.217155476646089337361,-52,79,
 4503599776092522,8669009525174182,-.499677554814705019158,-52,79,
 4503599776092579,8669012847705134,.488135748542505121212,-52,79,
 4503599776092586,8669013255735252,-.478276043255922609122,-52,79,
 4503599776092611,8669014712985669,.498819523127798792270,-52,79,
 4503599804231484,5154615042743870,-.499678148420653525938,-52,78,
 4503599804231591,5154618161259744,.486509236995549339142,-52,78,
 4503599804231608,5154618656724884,-.497000522722217723709,-52,78,
 4503599804232211,5154636231164814,.498472990192697292209,-52,78,
 4503599804244339,5154989701823990,-.025836432441129022597,-52,78,
 4503599804248887,5155122253321181,-.467859347449476670865,-52,78,
 4503599804285998,5156203853719645,-.077845992465943211658,-52,78,
 4503599814625422,5457546450400118,-.499640956905134006109,-52,78,
 4503599814625504,5457548840290783,-.465143153347595382250,-52,78,
 4503599814625522,5457549364900929,-.481966533006621300121,-52,78,
 4503599814625540,5457549889511075,-.498792009428906917688,-52,78,
 4503599814626611,5457581103814760,.496318231673047463463,-52,78,
 4503599814631367,5457719717473332,.388666151039387029940,-52,78,
 4503599814685344,5459292877576084,-.087801314494787894122,-52,78,
 4503599827004805,5818343667838230,.418379713024136042369,-52,78,
 4503599827008934,5818464007576386,.497452686591453898285,-52,78,
 4503599827009267,5818473712864060,.499506407079290651684,-52,78,
 4503599827009832,5818490179793597,.468316194491033176368,-52,78,
 4503599827009833,5818490208938605,.498347654718072609996,-52,78,
 4503599827027348,5819000683754251,-.493329774295981005673,-52,78,
 4503599831827665,5958905961190841,.483584825063132170036,-52,78,
 4503599831829909,5958971362588791,-.106805427108142418233,-52,78,
 4503599831830101,5958976958430327,-.329956492857667599352,-52,78,
 4503599831830245,5958981155311479,-.497476350492006233877,-52,78,
 4503599831830247,5958981213601495,-.499803960019130002617,-52,78,
 4503599831830248,5958981242746502,.499032225510070873756,-52,78,
 4503599831833691,5959081589009042,.453650526097361058121,-52,78,
 4503599831856935,5959759035574965,.135744013647713050028,-52,78,
 4503599831872431,5960210666618912,-.351993831822616704369,-52,78,
 4503599838493341,6153177141384835,.089862629607575556901,-52,78,
 4503599838545775,6154705330731976,.208206225448305652923,-52,78,
 4503599838550676,6154848170415965,.431722851666609511523,-52,78,
 4503599838555264,6154981887712464,.486424104890607164545,-52,78,
 4503599838555286,6154982528902640,-.496640893654977315375,-52,78,
 4503599838555398,6154985793143530,.498616006222757198806,-52,78,
 4503599838555577,6154991010099954,.499795540517668910700,-52,78,
 4503599840025107,6197820473633538,.361269069531011686481,-52,78,
 4503599840031652,6198011227710544,-.495252095594530040885,-52,78,
 4503599840031689,6198012306075837,.497895523136481810526,-52,78,
 4503599840031818,6198016065781863,-.499037474790232913014,-52,78,
 4503599840032113,6198024663559206,.499819547060559399135,-52,78,
 4503599840032408,6198033261336550,.498113387366238792391,-52,78,
 4503599840077818,6199356736147361,-.395447718130028925156,-52,78,
 4503599864052596,6898101829588176,.418634032237617745808,-52,78,
 4503599864069173,6898584966382315,.490586676841451779060,-52,78,
 4503599864070641,6898627751253752,-.499476223138286767136,-52,78,
 4503599864070865,6898634279735497,-.496461513262748771271,-52,78,
 4503599864070879,6898634687765606,-.433783875400200348552,-52,78,
 4503599864071008,6898638447471611,-.499171044896219450917,-52,78,
 4503599865858060,6950722091922752,.267922937876161960682,-52,78,
 4503599865866469,6950967172293163,-.499151525645421466552,-52,78,
 4503599865866505,6950968221513443,-.470597224074234575760,-52,78,
 4503599865866532,6950969008428653,-.449187001899275872659,-52,78,
 4503599865866889,6950979413196430,-.499873201714335505064,-52,78,
 4503599865867589,6950999814701874,.496387180210626908896,-52,78,
 4503599878044787,7305904344653177,-.499928878449995591449,-52,78,
 4503599878044807,7305904927553330,.495253614822917446122,-52,78,
 4503599878048937,7306025296435130,.444979412596952601846,-52,78,
 4503599878053087,7306146248217084,.278432443696141774067,-52,78,
 4503599895527260,7815431153860045,.480941214565219084136,-52,78,
 4503599895529679,7815501655633397,.499456303032908264932,-52,78,
 4503599895530112,7815514275421682,.499188016097897172055,-52,78,
 4503599895530545,7815526895209967,.497706395728708659086,-52,78,
 4503599895536682,7815705758121526,.341622585190125819129,-52,78,
 4503599895546104,7815980362383007,-.372196757322060783360,-52,78,
 4503599929444085,8803937272076917,-.480606622868275677670,-52,78,
 4503599929444104,8803937825832056,.494844733904719250130,-52,78,
 4503599929444262,8803942430743221,-.498860790107786674866,-52,78,
 4503599929444548,8803950766215327,.499463892430537127950,-52,78,
 4503599929446422,8804005383959133,.482381689127811289649,-52,78,
 4503599943605736,4608339347076846,-.493642899512998996072,-52,77,
 4503599943605863,4608341197784807,.499443120530010203986,-52,77,
 4503599943621109,4608563370175268,.117018754456355270751,-52,77,
 4503599943758323,4610562921689380,-.170127351750161373365,-52,77,
 4503599943773569,4610785094079833,-.073735453629040554833,-52,77,
 4503626898712911,6209540018823364,.217836019594716144405,-52,71,
 4503626898712912,6209540019051058,.224373426011519134932,-52,71,
 4503626898712924,6209540021783386,.302822299069637294465,-52,71,
 4503626898712953,6209540028386512,.492407045570072993133,-52,71,
 4503626898712954,6209540028614206,.498944449863443361542,-52,71,
 4503626898713413,6209540133125755,.499607683120873012033,-52,71,
 4503626898713719,6209540202800122,-.499956078925870450651,-52,71,
 4503626898718155,6209541212850734,.499300242207755991729,-52,71,
 4504149383144373,7823075825172407,.497474909022526227862,-52,67,
 4504149383172906,7823076231174873,.499798351133309136482,-52,67,
 4504149383174669,7823076256260996,.499822497409476982955,-52,67,
 4504149383183484,7823076381691611,.499795941818615638885,-52,67,
 4504149383183809,7823076386316110,-.499642514392393463558,-52,67,
 4504149383184370,7823076394298705,-.489443219308658974156,-52,67,
 4504149383184379,7823076394426768,-.467889228025475106204,-52,67,
 4504149383184384,7823076394497914,-.344803677423164971822,-52,67,
 4504149383184385,7823076394512143,-.120186567312180355710,-52,67,
 4504149383184410,7823076394867873,.495241184435715547534,-52,67,
 4504149383184459,7823076395565106,-.498520427865923721086,-52,67,
 6005646624948160,9007199254568222,-.499998935518059296384,-52,56,
 6005646624980238,9007199254735373,.499865747246457241540,-52,56,
 6005646624981201,9007199254740391,.498988798768019956208,-52,56,
 6005646624981315,9007199254740986,-.469962366525682262003,-52,56,
 6005646624981316,9007199254740991,-.259163692537080416944,-52,56,
 6005646624981317,4503599627370498,-.024182509274239719767,-52,55,
 6005646624981329,4503599627370529,.240609534657332306341,-52,55,
 6005646624981386,4503599627370678,-.251628256668553686406,-52,55,
 6005646624981590,4503599627371209,.249836490153568209670,-52,55,
 6005646624984683,4503599627379268,-.250014188917133656126,-52,55,
 6005646624994925,4503599627405952,.249995268996513564534,-52,55,
 8008658488351403,9007199254622759,-.000013027686031685165,-52,55,
 8008658488409725,9007199254736707,-.000027553098171820155,-52,55,
 8008658488411845,9007199254740849,.000589166056742351671,-52,55,
 8008658488411888,9007199254740933,.012865825915048782012,-52,55,
 8008658488411918,4503599627370496,-.186958949882734839667,-52,54,
 8008658488411919,4503599627370497,-.210072011977412038028,-52,54,
 8008658488411929,4503599627370507,-.441202632924190730477,-52,54,
 8008658488411932,4503599627370509,.489458180791773283200,-52,54,
 8008658488412494,4503599627371058,.499917283562999206995,-52,54,
 9007199254643340,5422874305113771,.499998431711740291838,-52,54,
 9007199254717314,5422874305178025,-.499992513232114170068,-52,54,
 9007199254740988,5422874305198587,.475136668967818721204,-52,54,
 9007199254740991,5422874305198590,.080903560387330410356,-52,54,
 4503599627370497,5422874305198593,-.313329548193158768386,-51,54,
 4503599627370570,5422874305198720,-.499340832444681032833,-51,54,
 4503599627370882,5422874305199262,-.499827417214080179824,-51,54,
 4503599627371038,5422874305199532,.499929290387139522745,-51,54,
 4503599627375113,5422874305206611,.499984309337333435191,-51,54,
 7120816245950054,9007199254699105,.000003842006123563559,-51,54,
 7120816245983128,9007199254735443,-.000014848634465499221,-51,54,
 7120816245988083,9007199254740887,-.002013188506237046437,-51,54,
 7120816245988154,9007199254740965,.004819933135074049332,-51,54,
 7120816245988174,9007199254740987,-.021424257952020977658,-51,54,
 7120816245988178,9007199254740991,.373326903830552610909,-51,54,
 7120816245988179,4503599627370496,.236007347138097811160,-51,53,
 7120816245988387,4503599627370610,.499537553483294148139,-51,53,
 7120816245988691,4503599627370778,-.499918298787422723476,-51,53,
 5812361472613257,6420807498743686,-.499998651183340918059,-50,53,
 5812361472643105,6420807498763774,-.499885783131745331259,-50,53,
 5812361472645307,6420807498765255,.467959580493779376778,-50,53,
 5812361472645313,6420807498765260,-.493980895355419425075,-50,53,
 5812361472645417,6420807498765329,.499050856591139027355,-50,53,
 5812361472645680,6420807498765507,-.499340001472671402696,-50,53,
 5812361472646836,6420807498766285,-.499871681878532787620,-50,53,
 5995926477584710,6542437866569278,-.499966893015783323427,-50,53,
 5995926477585271,6542437866569643,.499661026104887569065,-50,53,
 5995926477585458,6542437866569765,.499536999137501374495,-50,53,
 5995926477585461,6542437866569767,.456754260736924061581,-50,53,
 5995926477592774,6542437866574539,-.499967716647761251196,-50,53,
 5995926477754054,6542437866679759,-.499985675160749332741,-50,53,
 6025316007234861,6561564926584206,-.499744260274169276842,-50,53,
 6025316007235166,6561564926584404,-.486567298736218955502,-50,53,
 6025316007235186,6561564926584416,.497903321692148913159,-50,53,
 6025316007236600,6561564926585334,.499976185868516901258,-50,53,
 6025316007247225,6561564926592232,.499993280726757914482,-50,53,
 6084210162701752,6599614741596823,-.499999322908825762015,-50,53,
 6084210162707849,6599614741600743,-.499978417606829813478,-50,53,
 6084210162770561,6599614741641063,-.499763619641722114244,-50,53,
 6084210162778400,6599614741646103,-.499736799117382093367,-50,53,
 6084210162778428,6599614741646121,-.497440492077779326202,-50,53,
 6084210162778442,6599614741646130,-.496292338558009010597,-50,53,
 6369701198561097,6778991790400979,.478610063847577445284,-50,53,
 6369701198561110,6778991790400987,.462202787171836346640,-50,53,
 6369701198561141,6778991790401007,-.499999180285765873078,-50,53,
 6469155038028473,6839596724335558,.499995856451383785083,-50,53,
 6469155038059362,6839596724354236,.499981267349716072505,-50,53,
 6469155038060131,6839596724354701,.499883781054785572182,-50,53,
 6469155038060857,6839596724355140,.498491355711316791181,-50,53,
 6469155038060862,6839596724355144,-.478102256033643757784,-50,53,
 6469155038060900,6839596724355166,.499786294704579703912,-50,53,
 6469155038069402,6839596724360308,-.499991119836768070967,-50,53,
 6482505237454335,6847661021817050,-.492843897849569780841,-50,53,
 6482505237454360,6847661021817065,-.406944270897500310042,-50,53,
 6482505237454393,6847661021817085,-.493556763320857692702,-50,53,
 6482505237454683,6847661021817260,-.497121090681994414403,-50,53,
 6482505237454915,6847661021817400,-.499972552576540386634,-50,53,
 6482505237595195,6847661021902050,-.499986722438639480118,-50,53,
 6527239159284927,6874562367129761,.499996160117837815828,-50,53,
 6527239159286357,6874562367130618,.499545086750162291425,-50,53,
 6527239159286644,6874562367130790,.498755255918782711392,-50,53,
 6527239159286654,6874562367130796,.491759094565636624216,-50,53,
 6527239159286659,6874562367130799,.488261013889060137554,-50,53,
 6527239159287500,6874562367131303,.499883844056232432832,-50,53,
 6527239159302651,6874562367140383,.499999766182546182315,-50,53,
 6551699081962055,6889193810617853,-.499996464984337213327,-50,53,
 6551699081994673,6889193810637328,-.499934937749341691332,-50,53,
 6551699081997465,6889193810638994,.499886376773371380995,-50,53,
 6551699081998078,6889193810639360,.499488979043028819631,-50,53,
 6551699081998284,6889193810639483,.494461468541947206324,-50,53,
 6551699081998289,6889193810639486,.479776334791872881965,-50,53,
 6551699081998418,6889193810639564,-.499100115960832331853,-50,53,
 6551699082012378,6889193810647899,-.499993555215517586116,-50,53,
 6698297894212183,6975757642269906,-.499996420652874177395,-50,53,
 6698297894350583,6975757642350731,-.499948061922667033684,-50,53,
 6698297894367191,6975757642360430,-.499942371099268137650,-50,53,
 6698297894367441,6975757642360575,.498973899351995970187,-50,53,
 6698297894367477,6975757642360597,-.477182157703470830172,-50,53,
 6698297894367494,6975757642360606,.450744148686963903621,-50,53,
 7036523586229524,7168454868046317,.480569739780153041870,-50,53,
 7036523586229533,7168454868046322,.483891617721691846042,-50,53,
 7036523586229569,7168454868046342,.497179129487783068206,-50,53,
 7036523586229578,7168454868046348,-.499498992570710124883,-50,53,
 7036523586231384,7168454868047352,-.499575485771163344552,-50,53,
 7036523586240414,7168454868052372,-.499957955638741282540,-50,53,
 7036523586241317,7168454868052874,-.499996202979819328306,-50,53,
 7060691919437311,7181867619090072,.499998572880472454484,-50,53,
 7060691919441078,7181867619092159,.499952333508268013348,-50,53,
 7060691919442605,7181867619093005,.491173302789902804204,-50,53,
 7060691919442632,7181867619093020,.449760706960230569513,-50,53,
 7060691919442670,7181867619093042,-.497412576059405036236,-50,53,
 7060691919442744,7181867619093083,-.499802653519020588019,-50,53,
 7099291104809557,7203194166831670,-.499996875593144425835,-50,53,
 7099291104850765,7203194166854376,-.499988541721734312096,-50,53,
 7099291104852647,7203194166855412,.499914767214889416265,-50,53,
 7099291104853088,7203194166855655,.495109963371228632105,-50,53,
 7099291104853569,7203194166855921,-.469314323831471160911,-50,53,
 7099291104853578,7203194166855925,.489771292416124230564,-50,53,
 7214758118824651,7266305728423966,-.499978786344920719209,-50,53,
 7214758118827353,7266305728425431,-.499891343699216338961,-50,53,
 7214758118828775,7266305728426201,.495713520418769623044,-50,53,
 7214758118828786,7266305728426207,.459814542573801690193,-50,53,
 7214758118828941,7266305728426291,.499419854757377646376,-50,53,
 7214758118834902,7266305728429523,.499982859363588109663,-50,53,
 7214758118881310,7266305728454686,-.499995772845054327327,-50,53,
 7236286776332599,7277960991938464,.499838288153574449216,-50,53,
 7236286776333326,7277960991938857,.499994131619806712661,-50,53,
 7243607294770927,7281916302311482,-.499822384319538905332,-50,53,
 7243607294772838,7281916302312514,-.499409307397470854268,-50,53,
 7243607294773238,7281916302312730,-.486763974742851622715,-50,53,
 7243607294773249,7281916302312735,.453583771904981879421,-50,53,
 7243607294773275,7281916302312749,.494405718527097933638,-50,53,
 7243607294773425,7281916302312830,.499147718269091071798,-50,53,
 7243607294777247,7281916302314894,.499973871129183373227,-50,53,
 7243607294835451,7281916302346326,.499996081157256726724,-50,53,
 7273994527114592,7298292043927157,.496229325490227890768,-50,53,
 7273994527114698,7298292043927215,-.499554706174492091959,-50,53,
 7273994527114923,7298292043927335,.499960320949528514105,-50,53,
 7273994527121091,7298292043930652,.499998929718383672581,-50,53,
 7311312768865097,7318309579777677,-.499990105825614476816,-50,53,
 7311312768882025,7318309579786734,-.499964581858885530314,-50,53,
 7311312768882496,7318309579786985,.499504464497006057012,-50,53,
 7311312768883124,7318309579787321,.498796526279608639500,-50,53,
 7311312768883167,7318309579787345,-.494882520446523644537,-50,53,
 7311312768887720,7318309579789780,.499984926599911341747,-50,53,
 7548454164495009,7443173315221837,.470469733977897935552,-50,53,
 7548454164495011,7443173315221839,-.493085757387057009462,-50,53,
 7548454164495038,7443173315221852,.498915109186024355291,-50,53,
 7548454164495285,7443173315221980,.499811925611519625240,-50,53,
 7548454164500910,7443173315224895,.499992460483431320818,-50,53,
 7548454164528788,7443173315239342,.499998286406554977605,-50,53,
 7571434122739820,7455063950669427,-.499868504890634838008,-50,53,
 7571434122741322,7455063950670203,-.492462348338955630932,-50,53,
 7571434122741324,7455063950670204,-.459163538543383586162,-50,53,
 7571434122741622,7455063950670358,-.497640879006199094291,-50,53,
 7571434122741742,7455063950670420,-.499712291274816043563,-50,53,
 7571434122744655,7455063950671925,-.499995824396932350845,-50,53,
 7938013874342320,7640015128802027,-.499999679576606551048,-50,53,
 7938013874372280,7640015128816791,-.499987869041446524153,-50,53,
 7938013874373459,7640015128817371,.499879083244254626457,-50,53,
 7938013874374638,7640015128817952,.499746035443662296861,-50,53,
 7938013874374916,7640015128818089,.495473781581586172758,-50,53,
 7938013874374930,7640015128818096,.394539207645959045162,-50,53,
 7938013874375054,7640015128818158,-.499452732927269525535,-50,53,
 7969971748295294,7655732045490204,-.499997609139892919474,-50,53,
 7969971748333506,7655732045508959,-.499991043833569054855,-50,53,
 7969971748344066,7655732045514142,-.499884566191840455235,-50,53,
 7969971748344828,7655732045514516,-.499308701309478637849,-50,53,
 7969971748345209,7655732045514703,-.499020768881706893947,-50,53,
 7969971748345319,7655732045514756,.490563673549844997563,-50,53,
 7969971748345325,7655732045514759,.435450097682453669868,-50,53,
 7969971748345372,7655732045514783,-.496272913278855098643,-50,53,
 7969971748347332,7655732045515744,.499958969915654186756,-50,53,
 8345810168411799,7835981596899523,.499989091392562993266,-50,53,
 8345810168412614,7835981596899905,.499835321092917952419,-50,53,
 8345810168414916,7835981596900984,.473634119382493890460,-50,53,
 8345810168414931,7835981596900992,-.495693864122242417666,-50,53,
 8345810168415027,7835981596901037,-.499392958552854017029,-50,53,
 8345810168415059,7835981596901051,.499374009970160431527,-50,53,
 8345810168418287,7835981596902564,.499991959433742438106,-50,53,
 8345810168437751,7835981596911688,-.499999450627087877338,-50,53,
 8515808456091080,7914861083868146,.499299868899378678818,-50,53,
 8515808456091117,7914861083868163,.495425051206344032949,-50,53,
 8515808456091154,7914861083868180,.491550233513235541287,-50,53,
 8515808456091326,7914861083868260,-.499435405493535638573,-50,53,
 8515808456094426,7914861083869684,-.499757969261236635025,-50,53,
 8515808456096751,7914861083870752,-.499999892427197270120,-50,53,
 8579801239786836,7944146575151226,-.499998485469808853963,-50,53,
 8579801239792407,7944146575153765,.478340031811930532432,-50,53,
 8579801239792418,7944146575153770,.493554844894143844079,-50,53,
 8579801239792554,7944146575153832,.499847079364613602995,-50,53,
 8666221177833593,7983350786031725,-.463207492147540594579,-50,53,
 8666221177833604,7983350786031730,-.498004621354359542247,-50,53,
 8666221177833748,7983350786031795,-.498985221880570673734,-50,53,
 8666221177833892,7983350786031860,-.499965822407861844445,-50,53,
 8666221177844094,7983350786036465,-.499994204180438190274,-50,53,
 8666221177881827,7983350786053496,.499998796213548625323,-50,53,
 8746614672447068,8019471686161309,.496727185277263333661,-50,53,
 8746614672447106,8019471686161326,.491590803800165970185,-50,53,
 8746614672447229,8019471686161382,-.498719062560418622939,-50,53,
 8746614672447627,8019471686161560,-.499884321195904246785,-50,53,
 8746614672449380,8019471686162344,-.499991603674231704415,-50,53,
 8746614672468265,8019471686170789,.499993537757195362996,-50,53,
 8848436869419801,8064746934932899,.499960149877544437459,-50,53,
 8848436869420932,8064746934933400,-.499895491690547513863,-50,53,
 8848436869422063,8064746934933900,-.499751133322549076749,-50,53,
 8848436869422486,8064746934934087,-.497044622649612675191,-50,53,
 8848436869422504,8064746934934094,.460517356527760786873,-50,53,
 8848436869422581,8064746934934129,-.498800843658102139687,-50,53,
 8848436869440867,8064746934942212,.499996438879720783044,-50,53,
 8957999189153692,8112885570022487,-.499970597007360276251,-50,53,
 8957999189156472,8112885570023700,.469761500593918154299,-50,53,
 8957999189156495,8112885570023711,-.486604025218865640529,-50,53,
 8957999189156511,8112885570023718,-.499727869262556533097,-50,53,
 8957999189156740,8112885570023817,.499937112860750078739,-50,53,
 8957999189165655,8112885570027710,.499995257726577892432,-50,53,
 4630540339090841,8243045443032028,-.499999942429704626026,-49,53,
 4630540339110516,8243045443048649,-.499957812364002446261,-49,53,
 4630540339111798,8243045443049732,-.495024955310592052917,-49,53,
 4630540339111914,8243045443049829,.499181137824533868912,-49,53,
 4630540339112249,8243045443050112,.499690113675124465408,-49,53,
 4630540339116385,8243045443053607,-.499996084674243743674,-49,53,
 4751802502288025,8344166656761645,-.499996096479904023151,-49,53,
 4751802502327707,8344166656794311,.499991626989057910349,-49,53,
 4751802502332074,8344166656797906,.499965058952615195925,-49,53,
 4751802502333590,8344166656799155,-.499128204275450635926,-49,53,
 4751802502333788,8344166656799317,.498351699310484113886,-49,53,
 4751802502333873,8344166656799387,.472017314484180495285,-49,53,
 4751802502333969,8344166656799467,-.498901520144679320646,-49,53,
 4918372782520586,8478941925147298,.499998191710081149494,-49,53,
 4918372782548466,8478941925169473,-.430297317640235671228,-49,53,
 4918372782548481,8478941925169484,.499797573551174956502,-49,53,
 4918372782549468,8478941925170270,-.499958586133968185691,-49,53,
 4918372782565690,8478941925183171,.499996383784467312697,-49,53,
 4961703275449724,8513253464551320,.499998274563258444836,-49,53,
 4961703275494907,8513253464586943,-.495342404421033861872,-49,53,
 4961703275494959,8513253464586984,-.498856064951563839847,-49,53,
 4961703275495545,8513253464587446,-.499990777883008548103,-49,53,
 5155187794682824,8662896387896959,.499956211987053520190,-49,53,
 5155187794694864,8662896387906095,.499682685064281540292,-49,53,
 5155187794695432,8662896387906527,-.499665767563441439384,-49,53,
 5155187794695461,8662896387906549,-.494350811800990198306,-49,53,
 5155187794695469,8662896387906555,-.423919099866542674884,-49,53,
 5155187794710482,8662896387917946,.499992292519352749720,-49,53,
 5155187794739645,8662896387940075,.499994058502385966925,-49,53,
 5357710127493616,8813629367116971,-.499953351973252725624,-49,53,
 5357710127494861,8813629367117880,-.499248459336149949407,-49,53,
 5357710127495150,8813629367118091,-.494265556577503461350,-49,53,
 5357710127495276,8813629367118183,-.499013495170722223254,-49,53,
 5357710127497829,8813629367120047,-.499977679989822584568,-49,53,
 5357710127502042,8813629367123122,.499997989574815275997,-49,53,
 5363132893508262,8817586640398684,-.499982804808859385657,-49,53,
 5363132893510287,8817586640400161,-.499795021951500457286,-49,53,
 5363132893510590,8817586640400382,-.496803961157105981604,-49,53,
 5363132893510675,8817586640400444,-.499265214731878214097,-49,53,
 5363132893534672,8817586640417946,.499997074985395076139,-49,53,
 5365726582682598,8819477975392048,-.492680921524555350862,-49,53,
 5365726582682620,8819477975392064,-.454015660427590473645,-49,53,
 5365726582682646,8819477975392083,-.499229442767625854896,-49,53,
 5365726582682956,8819477975392309,-.499855309136662172331,-49,53,
 5365726582689370,8819477975396985,-.499901463327787486651,-49,53,
 5365726582702198,8819477975406337,-.499993788478613577567,-49,53,
 5483096108824229,8904121504334032,-.499866936537612779638,-49,53,
 5483096108824892,8904121504334505,-.499201693104971938593,-49,53,
 5483096108825391,8904121504334860,.499790699727422999884,-49,53,
 5483096108830203,8904121504338294,-.499905906525413469213,-49,53,
 5483096108845138,8904121504348948,.499996648189428420324,-49,53,
 5494838942542058,8912490175378092,-.499983687892976624376,-49,53,
 5494838942547268,8912490175381801,-.499949679232786145078,-49,53,
 5494838942548705,8912490175382824,-.499364483988832991153,-49,53,
 5494838942549125,8912490175383122,.498718871564303915436,-49,53,
 5494838942549139,8912490175383132,.465321650082348215198,-49,53,
 5494838942549184,8912490175383165,-.499169418966967095203,-49,53,
 5494838942598410,8912490175418209,-.499999909896077141481,-49,53,
 5525992699346453,8934605905993223,.499997085753000088629,-49,53,
 5525992699365206,8934605906006498,.499952645431489903988,-49,53,
 5525992699367818,8934605906008348,-.499893573581465393994,-49,53,
 5525992699368845,8934605906009074,.499784042210437924833,-49,53,
 5525992699369016,8934605906009196,-.451584144462454084094,-49,53,
 5525992699369023,8934605906009201,-.496376994209377423720,-49,53,
 5629499534200817,9007199254732443,-.000017378473290768449,-49,53,
 5629499534209279,9007199254738323,-.000167985534959634543,-49,53,
 5629499534212730,9007199254740721,.000243292361472396405,-49,53,
 5629499534213061,9007199254740951,.002600908332812633003,-49,53,
 5629499534213119,9007199254740991,.305128828954797014041,-49,53,
 5629499534213121,4503599627370496,.347435585522601431262,-49,52,
 5629499534213127,4503599627370498,.432049098658208722781,-49,52,
 5629499534213133,4503599627370501,-.483337388206186207511,-49,52,
 5629499534213179,4503599627370516,.498699545833378846768,-49,52,
 5629499534278866,4503599627393339,-.499994364431173399931,-49,52,
 7036874417733527,9007199254731855,-.000002328924195760724,-46,52,
 7036874417763144,9007199254740087,-.000213169481662788707,-46,52,
 7036874417765425,9007199254740721,.000243292352085247115,-46,52,
 7036874417765756,9007199254740813,.001186338747535917156,-46,52,
 7036874417766382,9007199254740987,-.003072431525467453355,-46,52,
 7036874417766396,9007199254740991,-.111793873672324994778,-46,52,
 7036874417766399,4503599627370496,-.138974234209040594723,-46,51,
 7036874417766401,4503599627370496,.138974234209040574974,-46,51,
 5426391276979793,5605160498150127,-.498340601022449469493,-44,51,
 5426391276979843,5605160498150136,-.487340624085926626462,-44,51,
 5426391276979965,5605160498150157,.499499319638840652757,-44,51,
 5426391276981785,5605160498150485,.499898480064381349738,-44,51,
 5426391276982240,5605160498150567,.499998270153577362946,-44,51,
 5426971710372686,5605265098261756,-.499995159269396128002,-44,51,
 5426971710374878,5605265098262150,.499992695888269462995,-44,51,
 5426971710392414,5605265098265310,.499895531406015505645,-44,51,
 5426971710398990,5605265098266495,.499859092092696707541,-44,51,
 5426971710399495,5605265098266587,-.498775093163330092653,-44,51,
 5426971710399595,5605265098266605,-.478702654601171523610,-44,51,
 5426971710399606,5605265098266607,-.496494686359354352457,-44,51,
 5426971710399889,5605265098266658,-.499689685230348477842,-44,51,
 5562950707695949,5629466663649870,-.499992677834406003674,-44,51,
 5562950707701791,5629466663650896,.499977646599375236278,-44,51,
 5562950707703179,5629466663651141,-.495236525022027671955,-44,51,
 5562950707703361,5629466663651172,.499627322786789358961,-44,51,
 5562950707730216,5629466663655894,-.499995584807771566324,-44,51,
 5565768841101520,5629961954659738,.499995915148297356780,-44,51,
 5565768841142577,5629961954666952,.499990930485746362889,-44,51,
 5565768841150357,5629961954668320,-.499985663686003037211,-44,51,
 5565768841151205,5629961954668468,.499502748556137564909,-44,51,
 5565768841151347,5629961954668493,.449888779849182675164,-44,51,
 5565768841151353,5629961954668495,-.495869556856759012964,-44,51,
 5565768841151666,5629961954668550,-.499596121684959789282,-44,51,
 5637442019520522,5642475033041692,-.499988104056062189373,-44,51,
 5637442019534455,5642475033044108,.499948612241512954136,-44,51,
 5637442019535925,5642475033044364,-.494675160951368987031,-44,51,
 5637442019535948,5642475033044367,.495204875249846704233,-44,51,
 5637442019536046,5642475033044384,.495563290367887639654,-44,51,
 5637442019537124,5642475033044571,.499505856646832927219,-44,51,
 5637442019556787,5642475033047982,.499990711914620092072,-44,51,
 5666178554261246,5647447384828970,.493900820937909819429,-44,51,
 5666178554261252,5647447384828972,-.470539613754557560322,-44,51,
 5666178554261275,5647447384828975,.499105386590973992140,-44,51,
 5666178554261472,5647447384829009,.499977780854214606822,-44,51,
 5666178554262625,5647447384829209,-.499992419243012516859,-44,51,
 5666178554295865,5647447384834945,.499999366266772070189,-44,51,
 5772925638472642,5665699815103011,.499976426207636749393,-44,51,
 5772925638472677,5665699815103017,.429040875278780921587,-44,51,
 5772925638472701,5665699815103021,.494685068927544721117,-44,51,
 5772925638485682,5665699815105220,.499988306225752238638,-44,51,
 5772925638498722,5665699815107430,-.499999818745865720760,-44,51,
 5835612929829491,5676261914827400,-.499940383616529986143,-44,51,
 5835612929829855,5676261914827460,.499941762519159813409,-44,51,
 5835612929832039,5676261914827826,.499234639253395590300,-44,51,
 5835612929832224,5676261914827858,-.498078006267625464197,-44,51,
 5835612929846605,5676261914830268,-.499986956506738929422,-44,51,
 5835612929855162,5676261914831701,.499989753894056605952,-44,51,
 5896103646765295,5686346896283055,-.499988594963912116988,-44,51,
 5896103646768406,5686346896283570,.499168218082976745227,-44,51,
 5896103646768509,5686346896283588,-.416963845006273034175,-44,51,
 5896103646768551,5686346896283595,-.450726433838868311599,-44,51,
 5896103646768611,5686346896283605,-.498958703599804788521,-44,51,
 5896103646769027,5686346896283673,.499964226054917119100,-44,51,
 5896103646829360,5686346896293681,-.499994684010982430550,-44,51,
 6004329071212296,5704134711264240,.499999279214967165140,-44,51,
 6004329071266424,5704134711273057,-.499938218518973451630,-44,51,
 6004329071334084,5704134711284077,-.499860202447742877921,-44,51,
 6004329071334612,5704134711284162,.497184449628024934896,-44,51,
 6004329071334618,5704134711284163,.474423593401569749708,-44,51,
 6004329071334655,5704134711284170,-.499268353328258804318,-44,51,
 6029337333097935,5708199427683352,.499997333119733481644,-44,51,
 6029337333126129,5708199427687926,-.499987221635238118721,-44,51,
 6029337333126203,5708199427687938,-.497362509208663365536,-44,51,
 6304262280168312,5751804833829838,.484042964997938768291,-44,51,
 6304262280168325,5751804833829841,-.499341217059581001974,-44,51,
 6304262280168686,5751804833829897,-.499471195735444947730,-44,51,
 6304262280170130,5751804833830121,-.499991110470967850076,-44,51,
 6304262280185537,5751804833832511,-.499998264863347672255,-44,51,
 6305910042749690,5752060408437772,-.499996142464717951625,-44,51,
 6305910042755719,5752060408438706,.499986952989959180465,-44,51,
 6305910042773806,5752060408441511,.499936233990341371607,-44,51,
 6305910042774367,5752060408441599,-.498074959446134451764,-44,51,
 6305910042774380,5752060408441601,-.481986092270957378546,-44,51,
 6535180284037603,5786985377295174,.499999466718162729372,-44,51,
 6535180284090970,5786985377303161,-.499976486585385709521,-44,51,
 6535180284094612,5786985377303705,.499968937575769327705,-44,51,
 6535180284100165,5786985377304536,.467760518640522753592,-44,51,
 6535180284100172,5786985377304538,-.484738213384512564873,-44,51,
 6535180284100212,5786985377304544,-.499016682099021623149,-44,51,
 6535180284100633,5786985377304607,-.499297565321451502001,-44,51,
 6535180284101475,5786985377304733,-.499859331778486692026,-44,51,
 6535815775749321,5787080469582329,.499999010697835993179,-44,51,
 6535815775753224,5787080469582913,.499988308931599446951,-44,51,
 6535815775780545,5787080469587001,.499913386803002716199,-44,51,
 6535815775784448,5787080469587585,.499902682246783053645,-44,51,
 6535815775784575,5787080469587605,-.497279321212480585060,-44,51,
 6535815775784582,5787080469587606,-.449879904080324751074,-44,51,
 6544022097454393,5788307598866346,-.499907312651883802975,-44,51,
 6544022097454480,5788307598866359,-.498553246033192102004,-44,51,
 6544022097454654,5788307598866385,-.495845112796327242536,-44,51,
 6544022097454674,5788307598866387,.492971914012463496479,-44,51,
 6544022097454681,5788307598866389,-.460942126604461902890,-44,51,
 6544022097457344,5788307598866787,-.499955007095981204009,-44,51,
 6544022097460295,5788307598867227,.499997298261054270140,-44,51,
 6616319171093301,5799052490062837,-.499998583830160993619,-44,51,
 6616319171106460,5799052490064782,-.495860335412426693306,-44,51,
 6616319171106487,5799052490064785,.494952927955226532891,-44,51,
 6616319171106690,5799052490064815,.499956352533727412329,-44,51,
 6616319171117684,5799052490066440,.499994034981559277314,-44,51,
 6702751591225878,5811745158329061,-.498502666117754705328,-44,51,
 6702751591226159,5811745158329101,.499932954672734735671,-44,51,
 6702751591232540,5811745158330032,.499995930238937189200,-44,51,
 6729307497419250,5815612060490681,-.499997137115532599777,-44,51,
 6729307497431285,5815612060492430,-.499991730215634605747,-44,51,
 6729307497436666,5815612060493211,.499927595280805231476,-44,51,
 6729307497437230,5815612060493293,.463866361195165086584,-44,51,
 6729307497437244,5815612060493295,.498432217086568911241,-44,51,
 6743769751750153,5817711548736150,-.499998910928946841671,-44,51,
 6743769751754987,5817711548736850,.499975649698349432580,-44,51,
 6743769751757504,5817711548737216,-.498589520318766945594,-44,51,
 6743769751757518,5817711548737218,-.468386863338710747149,-44,51,
 6743769751758166,5817711548737312,-.499006740266436084745,-44,51,
 6743769751759821,5817711548737551,.499950209823162080940,-44,51,
 6754791752038960,5819308593579163,.499998832151120058504,-44,51,
 6754791752061422,5819308593582416,-.499913269737703409460,-44,51,
 6754791752062092,5819308593582513,-.498753137603265932559,-44,51,
 6754791752062147,5819308593582520,.464028664287939667130,-44,51,
 6754791752062161,5819308593582522,.490918577496599831104,-44,51,
 6754791752062168,5819308593582524,-.495636465899071662261,-44,51,
 6754791752062389,5819308593582556,-.499731407391525944724,-44,51,
 6754791752066554,5819308593583159,-.499982228022010212333,-44,51,
 6794379564739824,5825023302236630,-.499999796082499045253,-44,51,
 6794379564754678,5825023302238768,-.499980073445761594537,-44,51,
 6794379564776959,5825023302241975,-.499950498254659913897,-44,51,
 6794379564778154,5825023302242147,-.498467829804744926751,-44,51,
 6794379564778161,5825023302242148,-.490927763964541660129,-44,51,
 6794379564778168,5825023302242149,-.483387698124339431539,-44,51,
 6794379564778286,5825023302242166,-.499140873961086669650,-44,51,
 6794379564778418,5825023302242185,-.499813918117797528101,-44,51,
 6990987887109277,5852920275443047,.499998554010371221300,-44,51,
 6990987887144141,5852920275447924,.499974084730539433143,-44,51,
 6990987887145199,5852920275448072,.499801244501231032857,-44,51,
 6990987887147844,5852920275448442,.499369143829968988382,-44,51,
 6990987887148180,5852920275448490,-.498795387683093174277,-44,51,
 6990987887148194,5852920275448491,.459614423503813545586,-44,51,
 6990987887155586,5852920275449525,.499994729642849122197,-44,51,
 7006147211081140,5855038563100257,-.499890760416634248708,-44,51,
 7006147211081620,5855038563100324,-.499695373999862028990,-44,51,
 7006147211081706,5855038563100336,-.495493700600675226535,-44,51,
 7006147211081720,5855038563100337,.458678664836387748668,-44,51,
 7006147211085897,5855038563100920,.499962266848578131494,-44,51,
 7006147211091134,5855038563101652,-.499989320011259620499,-44,51,
 7006147211132070,5855038563107366,-.499992806415676991695,-44,51,
 7054682820221209,5861789986378716,.499721125112962770043,-44,51,
 7054682820221411,5861789986378745,-.498348782794506364455,-44,51,
 7054682820221512,5861789986378759,-.497383736748541603791,-44,51,
 7054682820221548,5861789986378763,.493059249960862725673,-44,51,
 7054682820223301,5861789986379006,.499908019418544775084,-44,51,
 7054682820224347,5861789986379152,-.499998533460913035335,-44,51,
 7138546116893913,5873346846652852,.499975431928656019084,-44,51,
 7138546116895497,5873346846653069,.499857535896670737670,-44,51,
 7138546116897081,5873346846653286,.499739639816534501198,-44,51,
 7138546116897373,5873346846653327,-.497756841031777217300,-44,51,
 7138546116897519,5873346846653347,-.496505081456546685268,-44,51,
 7138546116901906,5873346846653948,-.499988168931361700325,-44,51,
 7138546116927469,5873346846657450,-.499996875871697107238,-44,51,
 7223985620312852,5884982128905322,.499981147093985028947,-44,51,
 7223985620314093,5884982128905490,.499871717096311354959,-44,51,
 7223985620314551,5884982128905553,-.498557065295294380412,-44,51,
 7223985620314647,5884982128905565,.497405460665792120140,-44,51,
 7223985620314654,5884982128905566,.445027728183781255179,-44,51,
 7223985620321768,5884982128906530,-.499999254723066305182,-44,51,
 7322656671993204,5898249282110012,.496920860181360681566,-44,51,
 7322656671993219,5898249282110015,-.499822103664137804838,-44,51,
 7322656671993526,5898249282110056,-.499828097036241608561,-44,51,
 7322656672000587,5898249282110999,-.499965945069048645426,-44,51,
 7322656672002429,5898249282111244,.499998094425021616851,-44,51,
 7371229009390497,5904714721042824,-.499997120438890337181,-44,51,
 7371229009394017,5904714721043290,.499969547597061485625,-44,51,
 7371229009395223,5904714721043451,-.499473690621457873715,-44,51,
 7371229009395321,5904714721043464,-.497770073164411297853,-44,51,
 7371229009395351,5904714721043467,.482343279118323505146,-44,51,
 7371229009395374,5904714721043471,-.466236484131590782589,-44,51,
 7413149621275409,5910260592336724,.498724620494993036383,-44,51,
 7413149621275439,5910260592336728,.456330834030527652324,-44,51,
 7413149621275447,5910260592336730,-.488307509026665821664,-44,51,
 7413149621275644,5910260592336755,.499973293189585547103,-44,51,
 7413149621279654,5910260592337285,-.499996164386062757071,-44,51,
 7461059150899351,5916560491843206,.499989618412495482582,-44,51,
 7461059150902212,5916560491843582,-.499840128592786783892,-44,51,
 7461059150902227,5916560491843583,.466256534739557374301,-44,51,
 7461059150902235,5916560491843585,-.485158578149860690884,-44,51,
 7461059150946485,5916560491849384,.499998235054100081561,-44,51,
 7761862923838164,5955213729277231,.499989555800237344203,-44,51,
 7761862923839767,5955213729277433,.467561204153223358870,-44,51,
 7761862923839783,5955213729277435,.483457115802200750442,-44,51,
 7761862923839799,5955213729277437,.499353027451173986525,-44,51,
 7761862923839926,5955213729277454,-.499473173835248350176,-44,51,
 7761862923867983,5955213729280989,-.499998609333126846705,-44,51,
 7819356134936071,5962430803784780,.473157403102710360012,-44,51,
 7819356134936199,5962430803784796,.481746821393661719639,-44,51,
 7819356134936463,5962430803784829,.499462496617921276729,-44,51,
 7819356134936471,5962430803784830,.499999335261063255174,-44,51,
 7880037969507938,5969990808372563,-.499994661829980522605,-44,51,
 7880037969510170,5969990808372840,-.499866303147570491157,-44,51,
 7880037969510589,5969990808372891,.499709764176984551128,-44,51,
 7880037969511145,5969990808372961,-.498466146489688546990,-44,51,
 7880037969511266,5969990808372976,-.481882127049088006323,-44,51,
 7880037969511274,5969990808372977,-.489050125763767171524,-44,51,
 7880037969511282,5969990808372978,-.496218124478447344672,-44,51,
 8016984453625142,5986840421332387,.499999093022386921388,-44,51,
 8016984453660040,5986840421336644,.499380310829109443650,-44,51,
 8016984453660081,5986840421336650,-.499273634109003088045,-44,51,
 8016984453660286,5986840421336675,-.492543358799949410460,-44,51,
 8016984453660327,5986840421336680,-.491197303738215407731,-44,51,
 8016984453663024,5986840421337008,.499785879168937120217,-44,51,
 8016984453664516,5986840421337190,.499988663288044267258,-44,51,
 8049376796585031,5990783809313562,-.499997617104082235271,-44,51,
 8049376796610909,5990783809316706,-.499969750584135334983,-44,51,
 8049376796641100,5990783809320374,-.499937252419167261765,-44,51,
 8049376796641314,5990783809320399,.499599263533427856613,-44,51,
 8049376796642170,5990783809320503,.497745327336896116975,-44,51,
 8198893031065787,6008782361548741,.499975545692301524791,-44,51,
 8198893031068168,6008782361549025,.499926634697337589242,-44,51,
 8198893031068713,6008782361549091,-.493784686814579288380,-44,51,
 8198893031068738,6008782361549093,.488155160822385090172,-44,51,
 8198893031068889,6008782361549111,.499071840549456622639,-44,51,
 8198893031068998,6008782361549125,-.499670423753724376737,-44,51,
 8198893031085665,6008782361551112,.499987196770975933175,-44,51,
 8198893031105543,6008782361553483,.499998842101223321856,-44,51,
 8347450336544563,6026343300644223,.498841949256834019547,-44,51,
 8347450336544640,6026343300644233,-.480235141531828983932,-44,51,
 8347450336544657,6026343300644235,-.488602810926739821886,-44,51,
 8347450336544674,6026343300644237,-.496970480321654715899,-44,51,
 8347450336547909,6026343300644615,.498946549454539360737,-44,51,
 8347450336578262,6026343300648171,.499895415498719697924,-44,51,
 8347450336581608,6026343300648564,-.499999985886095490183,-44,51,
 8638779724394281,6059891867216395,-.491670744572102408173,-44,51,
 8638779724394290,6059891867216396,-.472834938855851483251,-44,51,
 8638779724394546,6059891867216425,-.492616465149603000902,-44,51,
 8638779724396454,6059891867216641,-.499425653334772749015,-44,51,
 8638779724396613,6059891867216659,-.499993085685690255947,-44,51,
 8704521642366309,6067305938638189,-.499683864400677488330,-44,51,
 8704521642366371,6067305938638195,.465953647236539529847,-44,51,
 8704521642366389,6067305938638197,.488235505453786790493,-44,51,
 8704521642366398,6067305938638198,.499376434562408852620,-44,51,
 8704521642367386,6067305938638310,-.499819347741881686344,-44,51,
 8704521642368463,6067305938638431,-.499954831098057052153,-44,51,
 8704521642390813,6067305938640942,-.499980881840587086158,-44,51,
 8704521642405713,6067305938642616,-.499998252584119045966,-44,51,
 8796093022207186,6755399441055653,.499978683068583661624,-43,51,
 8796093022207996,6755399441055744,-.444717549468929972632,-43,51,
 8796093022207999,6755399441055744,-.111179387367232474199,-43,51,
 8796093022208001,6755399441055744,.111179387367232461559,-43,51,
 8796093022208256,6755399441055772,.461923166011097601451,-43,51,
 8796093022208796,6755399441055832,.498792344313040094595,-43,51,
 8796093022208814,6755399441055835,-.499978683076958631871,-43,51,
 8796093022231597,6755399441058368,-.499996298934445626810,-43,51,
 5497558138867998,9007199254738857,-.000011492769040960767,-39,51,
 5497558138870033,9007199254739219,.000073775663175568155,-39,51,
 5497558138879792,9007199254740955,-.000500115815665266611,-39,51,
 5497558138879983,9007199254740989,-.024079336388727801953,-39,51,
 5497558138879994,9007199254740991,-.067322118725432274070,-39,51,
 5497558138879999,4503599627370496,-.088943509893785982392,-39,50,
 5497558138880001,4503599627370496,.088943509893785966214,-39,50,
 5497558138880028,4503599627370498,.490418277026000938420,-39,50,
 5497558138880208,4503599627370515,-.499749942092867323278,-39,50,
 5497558138892002,4503599627371564,-.499994255945993312339,-39,50,
 6871947673398053,5629499534198751,-.499994227456292802785,-36,50,
 6871947673572082,5629499534211134,-.499927375808645442839,-36,50,
 6871947673599993,5629499534213120,-.498083655405201709779,-36,50,
 6871947673599999,5629499534213120,-.071154807915028784620,-36,50,
 6871947673600001,5629499534213120,.071154807915028774265,-36,50,
 6871947673600260,5629499534213139,-.499749942092867323278,-36,50,
 6871947673602087,5629499534213269,-.499915881357486928024,-36,50,
 8589934591997848,6755399441055621,.499882693471108593767,-33,50,
 8589934591999675,6755399441055725,.499749942092167366694,-33,50,
 8589934591999956,6755399441055741,.495350761390980548879,-33,50,
 8589934591999991,6755399441055743,.487685383011792519629,-33,50,
 8589934591999999,6755399441055744,-.056923846332023026867,-33,50,
 8589934592000001,6755399441055744,.056923846332023020240,-33,50,
 8589934592000009,6755399441055745,-.487685383011793056401,-33,50,
 8589934592000202,6755399441055755,.498616959068515557751,-33,50,
 8589934592003979,6755399441055970,.499984555067151448452,-33,50,
 8589934592063989,6755399441059387,-.499997073745783497788,-33,50,
 5368709119999731,7881299347898343,.499976538696676873676,-29,50,
 5368709119999797,7881299347898350,-.488865288641427597985,-29,50,
 5368709119999995,7881299347898368,-.455390770656184400489,-29,50,
 5368709119999999,7881299347898368,-.091078154131236846169,-29,50,
 5368709120000001,7881299347898368,.091078154131236829204,-29,50,
 5368709120021240,7881299347900302,.499993743643741629993,-29,50,
 6710886399990187,9007199254740277,.000058807615574757185,-26,50,
 6710886399998257,9007199254740865,.000621879386860931376,-26,50,
 6710886399999602,9007199254740963,.000715724613330955918,-26,50,
 6710886399999959,9007199254740989,.012636544495422598279,-26,50,
 6710886399999986,9007199254740991,-.020075326269853646107,-26,50,
 6710886399999987,9007199254740991,.052787197035135970616,-26,50,
 6710886399999999,4503599627370496,-.036431261652494737789,-26,49,
 6710886400000001,4503599627370496,.036431261652494732360,-26,49,
 6710886400000151,4503599627370502,-.498879490473356893430,-26,49,
 6710886400011158,4503599627370903,-.499982481801684049209,-26,49,
 6710886400032129,4503599627371667,-.499994369798596240527,-26,49,
 8388607999981146,5066549580791258,.499994242473891526059,-23,49,
 8388607999999999,5066549580791808,-.029145009321995789797,-23,49,
 8388608000000001,5066549580791808,.029145009321995786322,-23,49,
 8388608000000015,5066549580791808,.437175139829936430029,-23,49,
 8388608000000017,5066549580791808,.495465158473927894969,-23,49,
 8388608000000223,5066549580791814,.499337078804974349168,-23,49,
 8388608000000772,5066549580791830,.499947196579713051754,-23,49,
 5242879999987144,5629499534212520,.498816249540423279253,-19,49,
 5242879999999925,5629499534213117,-.497401118639519582513,-19,49,
 5242879999999990,5629499534213120,-.466320149151933053671,-19,49,
 5242879999999999,5629499534213120,-.046632014915193265343,-19,49,
 5242880000000001,5629499534213120,.046632014915193256448,-19,49,
 5242880000000011,5629499534213121,-.487047835932874668259,-19,49,
 5242880000000311,5629499534213135,-.497443361375325996809,-19,49,
 5242880000023471,5629499534214215,-.499977927948868432152,-19,49,
 5242880000023664,5629499534214224,-.499999049357025279420,-19,49,
 9007199254740990,5422874305198591,-.052203938626100463765,971,44 };
#include "trailer.h"