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

struct input_point { double arg_m, val, eps;
	int arg_e, val_e; } input_points[N] = {
 -9007199254740990,7074237704575307,.463640166092412231616,-53,51,
 -8871213671122623,6682455968179043,-.499996981706058630852,-53,51,
 -8871213671077798,6682455968114307,.498789515324033175026,-53,51,
 -8871213671077789,6682455968114295,-.498756739530856373118,-53,51,
 -8871213671077771,6682455968114269,-.493849249239354949478,-53,51,
 -8871213671077386,6682455968113713,-.499994595373436495785,-53,51,
 -8826946188860616,6622986774046590,-.499973645142609017154,-53,51,
 -8826946188860405,6622986774046325,-.499289031548223669247,-53,51,
 -8826946188860362,6622986774046270,.496111150387948112111,-53,51,
 -8826946188860319,6622986774046216,.491511332330496281274,-53,51,
 -8826946188850398,6622986774033757,-.499995356474851993134,-53,51,
 -8422041051758179,6258094789752480,-.499246303611522175402,-53,51,
 -8422041051758023,6258094789752370,-.495653370975826770120,-53,51,
 -8422041051758006,6258094789752358,-.482441320623644770430,-53,51,
 -8422041051757996,6258094789752350,.466506944289482070242,-53,51,
 -8422041051757650,6258094789752107,-.499883089680468803574,-53,51,
 -8422041051755985,6258094789750933,-.499996980497483769005,-53,51,
 -8245673680829802,6141626747015635,-.499962033273990183576,-53,51,
 -8245673680829171,6141626747015242,.499936084795723901512,-53,51,
 -8245673680827278,6141626747014066,.499630439936289283183,-53,51,
 -8245673680827212,6141626747014025,.498034997509976678743,-53,51,
 -8245673680827183,6141626747014007,.482182454626224874327,-53,51,
 -8245673680827175,6141626747014003,-.487707902031304127290,-53,51,
 -8245673680819772,6141626747009404,-.499996683296937390879,-53,51,
 -8242701861768125,6139782263421385,-.499992749620176518313,-53,51,
 -8242701861718038,6139782263390326,.499721934605182802702,-53,51,
 -8242701861718030,6139782263390322,-.460926582547697772826,-53,51,
 -8242701861717301,6139782263389869,.499977292000176498673,-53,51,
 -8242701861705459,6139782263382527,-.499990193011698843027,-53,51,
 -8178102513296246,6100501092320932,-.499999588194415839498,-53,51,
 -8178102513291083,6100501092317851,.499986399591623075351,-53,51,
 -8178102513290793,6100501092317678,.499791926970230325104,-53,51,
 -8178102513290523,6100501092317517,.430645349038267641476,-53,51,
 -8178102513290503,6100501092317505,.499597454377633747493,-53,51,
 -8108579655010922,6059820946763683,-.499502230344921213886,-53,51,
 -8108579655010713,6059820946763562,.498137614489961456216,-53,51,
 -8108579655009621,6059820946762936,-.499839846731896146400,-53,51,
 -8108579654959199,6059820946733985,-.499857356288298473517,-53,51,
 -8108579654591415,6059820946522813,-.499961793810932629832,-53,51,
 -8003544517599782,6001089345048996,-.499999329865330612272,-53,51,
 -8003544517553222,6001089345023622,-.499654478559183309550,-53,51,
 -8003544517553200,6001089345023610,-.489087305173793578162,-53,51,
 -8003544517553033,6001089345023519,-.499781943562485180992,-53,51,
 -8003544517552655,6001089345023312,.499963126458288686857,-53,51,
 -8003544517544895,6001089345019084,-.499979343355343039003,-53,51,
 -7958411719130475,5976747501631272,-.499994661188168376956,-53,51,
 -7958411719107964,5976747501619255,-.499852548562393544147,-53,51,
 -7958411719107698,5976747501619113,-.498073959506346481658,-53,51,
 -7958411719107668,5976747501619096,.487089039260433228418,-53,51,
 -7958411719101224,5976747501615657,-.499898820654831649874,-53,51,
 -7958411719087744,5976747501608461,-.499991332300146270140,-53,51,
 -7881394195509590,5936316029185311,.499976667811184898143,-53,51,
 -7881394195509255,5936316029185138,.499919255062005530440,-53,51,
 -7881394195507950,5936316029184465,-.425677531687068872476,-53,51,
 -7881394195507949,5936316029184464,.057904386484144418865,-53,51,
 -7881394195507946,5936316029184463,-.491349859002214422716,-53,51,
 -7881394195507915,5936316029184446,.499689604305523693759,-53,51,
 -7881394195492292,5936316029176378,.499997219410576044183,-53,51,
 -7834633035963912,5912396887014834,-.499991609286987139185,-53,51,
 -7834633035949476,5912396887007519,-.482533779680787188302,-53,51,
 -7834633035949474,5912396887007518,-.495969986684035163419,-53,51,
 -7834633035949399,5912396887007480,-.499827749305253759552,-53,51,
 -7834633035948878,5912396887007216,-.499959673616107605273,-53,51,
 -7834633035903255,5912396886984098,-.499995513515328300304,-53,51,
 -7740586541108747,5865595869965877,-.499998842346086928746,-53,51,
 -7740586541070429,5865595869947142,.436341455218439904314,-53,51,
 -7740586541070423,5865595869947140,-.497120154401808010518,-53,51,
 -7740586541070333,5865595869947096,-.499044298704756032679,-53,51,
 -7740586541070288,5865595869947073,.499993629144311854898,-53,51,
 -7724029849706565,5857525421962364,-.499991197302807311760,-53,51,
 -7724029849679342,5857525421949134,-.499891704533189604043,-53,51,
 -7724029849673990,5857525421946533,-.497557909572267410634,-53,51,
 -7724029849673955,5857525421946515,.492928204574191904103,-53,51,
 -7724029849673951,5857525421946514,-.451016239523341964789,-53,51,
 -7724029849673883,5857525421946481,-.498071789180989712677,-53,51,
 -7724029849673455,5857525421946272,.499872692404139209571,-53,51,
 -7724029849638454,5857525421929263,-.499999161894584145040,-53,51,
 -7552125243371966,5776400417968249,-.499997855377174641323,-53,51,
 -7552125243347948,5776400417957230,.499977557907868143043,-53,51,
 -7552125243335939,5776400417951721,.499965295654111431041,-53,51,
 -7552125243332449,5776400417950120,.499878465063222192529,-53,51,
 -7552125243332037,5776400417949931,.499295148788124347641,-53,51,
 -7552125243331952,5776400417949893,-.493543642187924317272,-53,51,
 -7552125243331928,5776400417949881,.496713640360202951331,-53,51,
 -7546489395523706,5773817312067479,-.466591709514848156204,-53,51,
 -7546489395523695,5773817312067473,.496163081595778863148,-53,51,
 -7546489395523481,5773817312067375,.498847199569599806291,-53,51,
 -7546489395523374,5773817312067327,-.499810741441035321558,-53,51,
 -7546489395522649,5773817312066994,.499936854558045654962,-53,51,
 -7546489395518917,5773817312065286,-.499983105262208857507,-53,51,
 -7546489395506996,5773817312059827,-.499995375158786074166,-53,51,
 -7532060552282910,5767224693073906,-.499994835874804819361,-53,51,
 -7532060552271848,5767224693068862,.499989008430027483452,-53,51,
 -7532060552269071,5767224693067597,-.492692679732096699782,-53,51,
 -7532060552268867,5767224693067504,-.493235374822566467169,-53,51,
 -7532060552266691,5767224693066512,-.499024122089803981145,-53,51,
 -7532060552266351,5767224693066357,-.499928613790112163336,-53,51,
 -7165093878940586,5608342105971359,-.499754182149952117792,-53,51,
 -7165093878940140,5608342105971174,.498645468269008446133,-53,51,
 -7165093878940043,5608342105971134,.480360190447942614320,-53,51,
 -7165093878940031,5608342105971130,-.470355514024701667384,-53,51,
 -7165093878939997,5608342105971116,-.497383343363782871337,-53,51,
 -7165093878939328,5608342105970840,-.499783867688841612529,-53,51,
 -7165093878931780,5608342105967726,-.499961977624539442269,-53,51,
 -7165093878930522,5608342105967207,-.499991662064215890780,-53,51,
 -7165093878896779,5608342105953286,-.499992908754316978106,-53,51,
 -7109328173647905,5585487288913270,.499787664832863358994,-53,51,
 -7109328173647738,5585487288913203,-.495240821048888337652,-53,51,
 -7109328173647711,5585487288913192,-.488449019364851841147,-53,51,
 -7109328173644076,5585487288911712,-.499997199421189728797,-53,51,
 -7017962821286607,5548672552178282,-.499988739581893161095,-53,51,
 -7017962821148412,5548672552123166,-.499973051783138938561,-53,51,
 -7017962821146366,5548672552122349,.498464184282152594085,-53,51,
 -7017962821146361,5548672552122348,-.495674532149300199983,-53,51,
 -7017962821146351,5548672552122344,-.483951965012199202921,-53,51,
 -7017962821145852,5548672552122145,-.498995864859708908971,-53,51,
 -7017962821144488,5548672552121600,.499962292782905777019,-53,51,
 -7006352136013292,5544047788697820,.499998177108054558651,-53,51,
 -7006352135984668,5544047788686434,-.499986010138974241462,-53,51,
 -7006352135983205,5544047788685851,.499560635642857730962,-53,51,
 -7006352135983024,5544047788685779,.495403385407346134797,-53,51,
 -7006352135982931,5544047788685742,.498792201585788295303,-53,51,
 -7006352135982016,5544047788685378,.499875715639609737064,-53,51,
 -6910250106365564,5506208872453591,-.499986885051574466629,-53,51,
 -6910250106361872,5506208872452152,-.499951823563327615416,-53,51,
 -6910250106360661,5506208872451679,.498705397548998669781,-53,51,
 -6910250106360620,5506208872451664,-.481521732039677288952,-53,51,
 -6910250106360602,5506208872451657,-.497231203566370228162,-53,51,
 -6910250106360153,5506208872451481,.499793645581804678040,-53,51,
 -6910250106338001,5506208872442848,-.499995959318024707124,-53,51,
 -6848882081658557,5482439577831442,-.466314261183146940344,-53,51,
 -6848882081658544,5482439577831437,-.470317309184496123085,-53,51,
 -6848882081658453,5482439577831402,-.498338645193575877109,-53,51,
 -6848882081657949,5482439577831208,-.499687583078467105191,-53,51,
 -6848882081648955,5482439577827746,-.499950173710196514924,-53,51,
 -6848882081647456,5482439577827169,-.499993938209650138451,-53,51,
 -6848882081601491,5482439577809475,.499998383836038943522,-53,51,
 -6828286958458430,5474528288941476,.499997062341336972671,-53,51,
 -6828286958440209,5474528288934491,.499990456006163486915,-53,51,
 -6828286958433771,5474528288932023,.499878364361282034680,-53,51,
 -6828286958433004,5474528288931729,.471284705935981319542,-53,51,
 -6828286958432991,5474528288931724,.487749220200343903185,-53,51,
 -6828286958432978,5474528288931720,-.495786265535280692183,-53,51,
 -6828286958432798,5474528288931651,-.498585298796457334707,-53,51,
 -6828286958432738,5474528288931628,-.499518309882969995910,-53,51,
 -6751453641087072,5445294094719003,.499997697349534106455,-53,51,
 -6751453641065260,5445294094710766,-.478655170447351224105,-53,51,
 -6751453641065252,5445294094710762,.499896579836629378684,-53,51,
 -6751453641062035,5445294094709548,-.499980836845566984146,-53,51,
 -6734444337967962,5438880338167354,.499998878886143873566,-53,51,
 -6734444337931611,5438880338153670,-.499972589753084960156,-53,51,
 -6734444337906241,5438880338144118,.498699409846474039185,-53,51,
 -6734444337906233,5438880338144115,.486952834213021044534,-53,51,
 -6734444337906217,5438880338144109,.463459682946128661177,-53,51,
 -6734444337906156,5438880338144086,.498892043741267874446,-53,51,
 -6734444337905731,5438880338143926,.499855213222916969672,-53,51,
 -6734444337905646,5438880338143895,-.499952152879217227498,-53,51,
 -6680661016289231,5418733822528261,.449584333162106231774,-53,51,
 -6680661016289215,5418733822528255,.485925262497389056100,-53,51,
 -6680661016289207,5418733822528253,-.495904272834962982216,-53,51,
 -6680661016287337,5418733822527556,-.498558156652455046102,-53,51,
 -6680661016286347,5418733822527187,-.499963153871012925369,-53,51,
 -6680661016279908,5418733822524786,.499989598174594557963,-53,51,
 -6680661016260701,5418733822517628,-.499996018111369797450,-53,51,
 -6638553928828764,5403099197270603,.499988374855774266306,-53,51,
 -6638553928827588,5403099197270169,-.499599388958787813667,-53,51,
 -6638553928827442,5403099197270114,.495349749213485975536,-53,51,
 -6638553928827423,5403099197270107,.467295185003132319193,-53,51,
 -6638553928827415,5403099197270105,-.491885684138062064123,-53,51,
 -6638553928792335,5403099197257129,-.499996827495481473712,-53,51,
 -6595469068473703,5387223109946858,-.499996393031397033767,-53,51,
 -6595469068453427,5387223109939414,.495812337221585199918,-53,51,
 -6595469068453397,5387223109939403,.483279010249053512186,-53,51,
 -6595469068453269,5387223109939356,.496470148500235588462,-53,51,
 -6595469068452479,5387223109939066,.499759204917580454932,-53,51,
 -6595469068452400,5387223109939038,-.499911889438476540411,-53,51,
 -6595469068449368,5387223109937925,-.499946801635849613042,-53,51,
 -6595469068443304,5387223109935698,.499983375743854059494,-53,51,
 -6471417749990023,5342167420581382,.499948207182747480270,-53,51,
 -6471417749984670,5342167420579459,-.499885180379482979654,-53,51,
 -6471417749984044,5342167420579234,-.499678884848061777201,-53,51,
 -6471417749983852,5342167420579164,.490799723370701826493,-53,51,
 -6471417749983827,5342167420579156,-.494815041183985919270,-53,51,
 -6471417749983699,5342167420579109,.498837364296593098467,-53,51,
 -6471417749970489,5342167420574361,.499995778880150921610,-53,51,
 -6466907645408947,5340546980208627,-.499999821655159438131,-53,51,
 -6466907645358323,5340546980190445,-.499985603121234641484,-53,51,
 -6466907645358181,5340546980190393,.499619367442398188980,-53,51,
 -6466907645357329,5340546980190087,.497249190849215250464,-53,51,
 -6466907645357187,5340546980190036,.496854161421188107161,-53,51,
 -6320301642433308,5288507872970274,.499991133227446590718,-53,51,
 -6320301642428466,5288507872968576,-.499818310353874696041,-53,51,
 -6320301642428352,5288507872968535,.498947018746783401485,-53,51,
 -6320301642428238,5288507872968495,.497712347848141330671,-53,51,
 -6320301642428218,5288507872968488,.479951879269504354137,-53,51,
 -6320301642426833,5288507872968003,-.499960569748712460277,-53,51,
 -6320301642391192,5288507872955496,.499996436570799962337,-53,51,
 -6277581004370698,5273566423406978,.499965305591490091152,-53,51,
 -6277581004369215,5273566423406462,-.499832848975732690546,-53,51,
 -6277581004369106,5273566423406424,-.499143704566479788055,-53,51,
 -6277581004369020,5273566423406394,-.480251352096354183140,-53,51,
 -6277581004368997,5273566423406386,-.498454560156603676973,-53,51,
 -6277581004360535,5273566423403435,.499999937125147412358,-53,51,
 -6150458818244799,5229662571467960,.499994547399195544960,-53,51,
 -6150458818227616,5229662571462081,-.499989103894324854644,-53,51,
 -6150458818225360,5229662571461308,.499780255414005988160,-53,51,
 -6150458818223104,5229662571460536,.499549614969714875466,-53,51,
 -6150458818223066,5229662571460523,.495999630779952592801,-53,51,
 -6150458818222993,5229662571460499,-.484504286215972762983,-53,51,
 -6150458818222990,5229662571460497,.488899662400638585310,-53,51,
 -6134432454517526,5224184593320181,.499996296977071883639,-53,51,
 -6134432454508997,5224184593317270,-.499982014077682724951,-53,51,
 -6134432454505948,5224184593316229,-.499857012689167590301,-53,51,
 -6134432454505702,5224184593316145,-.490007635712757581298,-53,51,
 -6134432454505661,5224184593316131,-.488366072883072623716,-53,51,
 -6056160701828586,5197606063268539,-.498191249743116571420,-53,51,
 -6056160701828453,5197606063268494,-.417498624435421031091,-53,51,
 -6056160701828435,5197606063268488,-.496803381912512486230,-53,51,
 -6056160701828056,5197606063268360,-.499942442121143152565,-53,51,
 -6056160701825181,5197606063267388,.499992127751574207643,-53,51,
 -6056160701794918,5197606063257167,.499999068409252068197,-53,51,
 -6031878638313517,5189418562120439,-.499956823858651526990,-53,51,
 -6031878638313315,5189418562120371,-.499134096318424203188,-53,51,
 -6031878638313241,5189418562120346,-.409723790189362669673,-53,51,
 -6031878638313217,5189418562120338,-.488833961174478536959,-53,51,
 -6031878638313214,5189418562120337,-.498722732547616182541,-53,51,
 -6031878638311090,5189418562119622,-.499972864626564996051,-53,51,
 -6031878638306236,5189418562117987,.499995054639490519799,-53,51,
 -5840746347509273,5125877683237163,.498397871022962171593,-53,51,
 -5840746347509206,5125877683237141,.495246780272082915149,-53,51,
 -5840746347509200,5125877683237140,-.475184660690673456633,-53,51,
 -5840746347509002,5125877683237075,-.499422212460809768750,-53,51,
 -5840746347507717,5125877683236652,.499844181393088140017,-53,51,
 -5840746347506770,5125877683236342,-.499918250486252514281,-53,51,
 -5840746347490266,5125877683230921,.499998148486423082500,-53,51,
 -5587044502301327,5043816069531578,-.499998629526788168972,-53,51,
 -5587044502247020,5043816069514269,-.497484416501129633262,-53,51,
 -5587044502246998,5043816069514261,.490566024765086715638,-53,51,
 -5587044502246979,5043816069514255,.434791405858651094411,-53,51,
 -5587044502246929,5043816069514239,.498542408736513631537,-53,51,
 -5587044502239901,5043816069511999,.499383374136197826534,-53,51,
 -5587044502234881,5043816069510399,.499984064786247083675,-53,51,
 -5587044502234630,5043816069510320,-.499985900657650691515,-53,51,
 -5574097035235157,5039692371993180,.499997266185385863926,-53,51,
 -5574097035229118,5039692371991259,-.499960302902435553716,-53,51,
 -5574097035223632,5039692371989513,-.499590575671122976455,-53,51,
 -5574097035223588,5039692371989498,.496766746243173525709,-53,51,
 -5574097035223544,5039692371989484,.493124068157538637547,-53,51,
 -5574097035223079,5039692371989337,-.499917870697817959314,-53,51,
 -5301224375168081,4954107259845971,.499991269032017336398,-53,51,
 -5301224375166781,4954107259845570,-.499960202120111590524,-53,51,
 -5301224375155731,4954107259842153,-.499547704803783806532,-53,51,
 -5301224375154030,4954107259841626,.498977332448678498749,-53,51,
 -5301224375153933,4954107259841597,-.496403661896956723254,-53,51,
 -5301224375153781,4954107259841550,-.499474910767882557440,-53,51,
 -5301224375126730,4954107259833184,.499996461084214606786,-53,51,
 -5292230209340524,4951327235956748,.499999596347024972730,-53,51,
 -5292230209316611,4951327235949360,.499976750863135723336,-53,51,
 -5292230209316514,4951327235949331,-.468492375350841982571,-53,51,
 -5292230209316501,4951327235949327,-.484885144843414925703,-53,51,
 -5292230209316488,4951327235949322,.498722085664017332854,-53,51,
 -5292230209315818,4951327235949116,-.499982188176662286198,-53,51,
 -5286632173731717,4949598186279144,.499941308096245151115,-53,51,
 -5286632173731011,4949598186278927,-.499601256585518622188,-53,51,
 -5286632173730739,4949598186278843,-.488093576118885964555,-53,51,
 -5286632173730726,4949598186278838,.497750540962296724076,-53,51,
 -5286632173730658,4949598186278818,-.499372538920663138940,-53,51,
 -5286632173727196,4949598186277749,-.499962282186146318684,-53,51,
 -5286632173718507,4949598186275066,-.499998178669085574268,-53,51,
 -5268565944194560,4944024668492807,-.499964945512112798324,-53,51,
 -5268565944193856,4944024668492590,-.493254827620167268280,-53,51,
 -5268565944193843,4944024668492585,.499766808079683756447,-53,51,
 -5268565944186965,4944024668490465,.499982989075765250481,-53,51,
 -5268565944131078,4944024668473239,.499994921958692558174,-53,51,
 -5158589873419854,4910307622991196,.499999878718382626275,-53,51,
 -5158589873359012,4910307622972642,-.499938330007679233604,-53,51,
 -5158589873357825,4910307622972280,-.499624839148134255410,-53,51,
 -5158589873357802,4910307622972272,.486059415519301431680,-53,51,
 -5158589873352795,4910307622970746,-.499981318036864001026,-53,51,
 -5105083357385435,4894030685741574,.491838149447017885340,-53,51,
 -5105083357385425,4894030685741571,.457380614759892103828,-53,51,
 -5105083357385379,4894030685741557,.498875955199149741712,-53,51,
 -5105083357384944,4894030685741425,.499973196312463886285,-53,51,
 -5105083357374003,4894030685738105,.499984496961450971036,-53,51,
 -5105083357363062,4894030685734785,.499995800977883036473,-53,51,
 -4827510902901860,4810840612432009,-.499998109463495884701,-53,51,
 -4827510902888575,4810840612428075,-.499990078040635003597,-53,51,
 -4827510902875290,4810840612424141,-.499982042254573215061,-53,51,
 -4827510902874645,4810840612423950,-.499605287677421553602,-53,51,
 -4827510902874439,4810840612423888,.498964652546285306818,-53,51,
 -4827510902874287,4810840612423843,.488200724945032905627,-53,51,
 -4827510902874277,4810840612423841,-.473033743976082096017,-53,51,
 -4827510902874233,4810840612423827,.497534592771041266385,-53,51,
 -4706747747161125,4775256814684825,.499992914568702251087,-53,51,
 -4706747747160344,4775256814684596,.496265155320286646160,-53,51,
 -4706747747160211,4775256814684557,.498191157908086355439,-53,51,
 -4706747747160078,4775256814684519,-.499882839503699993561,-53,51,
 -4510984822793807,4718291006942295,.499924227143555434272,-53,51,
 -4510984822793530,4718291006942215,.493131253743429877736,-53,51,
 -4510984822793523,4718291006942213,.471298940336227796063,-53,51,
 -4510984822793485,4718291006942202,.495637810411434823726,-53,51,
 -4510984822793395,4718291006942177,-.499349076252425057794,-53,51,
 -4510984822791013,4718291006941488,.499997990107195610808,-53,51,
 -4508444030595347,4717557210999357,-.499962385901652095340,-53,51,
 -4508444030594741,4717557210999182,-.499886563280047198864,-53,51,
 -4508444030594644,4717557210999153,.488574418229421600949,-53,51,
 -4508444030594630,4717557210999149,.445671879478227549601,-53,51,
 -4508444030594599,4717557210999140,.493530543672027085250,-53,51,
 -4508444030582434,4717557210995628,-.499996876753391193930,-53,51,
 -4504722288289711,4716482599111155,.499957931931317140973,-53,51,
 -4504722288288658,4716482599110851,.499776535789211217057,-53,51,
 -4504722288288516,4716482599110811,-.495499587905251451619,-53,51,
 -4504722288288485,4716482599110802,-.445172544486379641618,-53,51,
 -4504722288288471,4716482599110798,-.486960331329463058214,-53,51,
 -4504722288288419,4716482599110783,-.499314968175164779939,-53,51,
 -4504722288278703,4716482599107977,.499960963746195335073,-53,51,
 -4504722288152111,4716482599071430,.499996015800103736925,-53,51,
 -8854767244013177,4694218199423712,.498609840905009935824,-54,51,
 -8854767244013135,4694218199423706,.470058239568716792416,-54,51,
 -8854767244013114,4694218199423703,.455782438900573636875,-54,51,
 -8854767244012759,4694218199423653,-.499832286679596948397,-54,51,
 -8854767244010237,4694218199423290,.499997747386489983606,-54,51,
 -8820963185592475,4689369011533926,.499999516088402776611,-54,51,
 -8820963185583156,4689369011532591,-.499979806560041568660,-54,51,
 -8820963185582026,4689369011532428,.499808085455117267666,-54,51,
 -8820963185578636,4689369011531942,.499171761539865142678,-54,51,
 -8820963185578392,4689369011531908,-.481405012214594322983,-54,51,
 -8820963185578385,4689369011531907,-.484946149166562017689,-54,51,
 -8820963185578357,4689369011531903,-.499110696974430284834,-54,51,
 -8764811318235302,4681326958043612,-.496523238230745453539,-54,51,
 -8764811318235288,4681326958043610,-.499600772689797808516,-54,51,
 -8764811318233988,4681326958043424,-.499657543883192333376,-54,51,
 -8764811318226838,4681326958042401,-.499969785293920862078,-54,51,
 -8764811318226188,4681326958042308,-.499998170863880124853,-54,51,
 -8644717199272723,4664180445757835,-.499999740588022687793,-54,51,
 -8644717199267838,4664180445757139,-.499723650214714076464,-54,51,
 -8644717199267613,4664180445757106,.442970744943493019066,-54,51,
 -8644717199267592,4664180445757103,.450955555158271751121,-54,51,
 -8644717199267473,4664180445757086,.496202813042058973688,-54,51,
 -8644717199267466,4664180445757085,.498864416446989808359,-54,51,
 -8644717199267087,4664180445757032,-.499885913485680035150,-54,51,
 -8644717199266336,4664180445756924,.499951823246135029317,-54,51,
 -8607732457387334,4658914337177544,.499987171026651499473,-54,51,
 -8607732457384537,4658914337177147,-.499923198313565941795,-54,51,
 -8607732457383103,4658914337176942,.448639022068139058046,-54,51,
 -8607732457383082,4658914337176939,.460438050400163435635,-54,51,
 -8607732457383012,4658914337176929,.499768144840260272209,-54,51,
 -8607732457364705,4658914337174324,.499997273018039927431,-54,51,
 -8487409833045659,4641828091064495,-.499997413307564645413,-54,51,
 -8487409832996151,4641828091057478,.499973278730091130198,-54,51,
 -8487409832978023,4641828091054910,-.499956654819106087716,-54,51,
 -8487409832977148,4641828091054785,.499881237329085979806,-54,51,
 -8487409832976273,4641828091054661,.499719129480925371137,-54,51,
 -8487409832976082,4641828091054634,.432255172225411858362,-54,51,
 -8487409832976047,4641828091054629,.472248687911593144698,-54,51,
 -8487409832976026,4641828091054626,.496244797323304717644,-54,51,
 -8225219756258608,4604832624367340,-.488075645115360739246,-54,51,
 -8225219756258587,4604832624367337,-.438586303528417336755,-54,51,
 -8225219756258551,4604832624367332,-.496604575093652602164,-54,51,
 -8225219756258430,4604832624367315,-.497165987854539509929,-54,51,
 -8225219756257825,4604832624367230,-.499973051657985988038,-54,51,
 -8225219756248914,4604832624365978,-.499995771388739210452,-54,51,
 -8218671716959659,4603912717929277,-.499983400391791472218,-54,51,
 -8218671716956007,4603912717928763,.499674387357809561297,-54,51,
 -8218671716955893,4603912717928747,.485972576790168956786,-54,51,
 -8218671716955886,4603912717928747,-.497324902806087774187,-54,51,
 -8218671716954989,4603912717928621,-.499873359638878781619,-54,51,
 -8218671716941997,4603912717926796,-.499995489859648644491,-54,51,
 -8134634281296066,4592123657508588,-.494744555991912141286,-54,51,
 -8134634281296059,4592123657508587,-.475423190587422554831,-54,51,
 -8134634281296016,4592123657508581,-.499591945959838924480,-54,51,
 -8134634281294981,4592123657508436,-.499932918293446458736,-54,51,
 -8134634281294774,4592123657508406,.499998887240399091055,-54,51,
 -7942311233352175,4565260243372314,-.499997533598506720345,-54,51,
 -7942311233346725,4565260243371555,-.499900923282429696288,-54,51,
 -7942311233346222,4565260243371484,.449282305162250769475,-54,51,
 -7942311233346208,4565260243371482,.499557782693529552966,-54,51,
 -7942311233344736,4565260243371277,.499950848844040288711,-54,51,
 -7868743567975533,4555026154435041,-.499984048158306738117,-54,51,
 -7868743567944250,4555026154430694,-.499897742076330435473,-54,51,
 -7868743567941796,4555026154430352,.498990209862970732243,-54,51,
 -7868743567941760,4555026154430347,.496528908424614094470,-54,51,
 -7868743567941724,4555026154430342,.494067606986262852978,-54,51,
 -7868743567941717,4555026154430342,-.478633201626749261772,-54,51,
 -7868743567941393,4555026154430296,.499215085428341840932,-54,51,
 -7868743567940184,4555026154430128,.499889712128512595616,-54,51,
 -7868743567899963,4555026154424540,-.499999316240543235755,-54,51,
 -7820027936265329,4548261687238753,-.499999106572617222550,-54,51,
 -7820027936217021,4548261687232050,-.499949481245792582534,-54,51,
 -7820027936216985,4548261687232045,-.495146927079092245200,-54,51,
 -7820027936216949,4548261687232040,-.490344372912386568321,-54,51,
 -7820027936207443,4548261687230721,-.499981041928192925593,-54,51,
 -7730960159919539,4535919282211233,-.499987482890771422183,-54,51,
 -7730960159918195,4535919282211047,-.498897815453563908919,-54,51,
 -7730960159917328,4535919282210927,-.484802025518099119557,-54,51,
 -7730960159917299,4535919282210923,-.498171370491370170417,-54,51,
 -7730960159881018,4535919282205901,.499993977851612954513,-54,51,
 -7684108841897187,4529439852723492,-.499675252133275787102,-54,51,
 -7684108841896174,4529439852723352,-.499994168243968133681,-54,51,
 -7684108841893012,4529439852722914,.499997527002565675766,-54,51,
 -7532297225444027,4508504524942408,.499998337833604717017,-54,51,
 -7532297225436709,4508504524941401,.497285892038083500197,-54,51,
 -7532297225436687,4508504524941398,.469947866101322844348,-54,51,
 -7532297225436680,4508504524941398,-.493296051242191516916,-54,51,
 -7532297225436600,4508504524941386,.498202036260514967033,-54,51,
 -7532297225436382,4508504524941357,-.499965675294484138131,-54,51,
 -7501948289005709,4504330099513677,.499972226655482943029,-54,51,
 -7501948289004538,4504330099513517,-.499869735932559741150,-54,51,
 -7501948289004458,4504330099513506,-.499004968218484674987,-54,51,
 -7501948289004414,4504330099513499,.451470654024267101139,-54,51,
 -7501948289004407,4504330099513498,.489046321199251024620,-54,51,
 -7501948289004378,4504330099513495,-.498140200504384999473,-54,51,
 -7501948288992988,4504330099511928,.499981103041731826865,-54,51,
 -7501948288967546,4504330099508430,.499998857680970019672,-54,51,
 -7496634952020852,4503599627370547,-.499665465559138236469,-54,51,
 -7496634952020485,4503599627370496,.049295472175072190480,-54,51,
 -7496634952020484,4503599627370496,-.088173299111754867322,-54,51,
 -7496634952020481,9007199254740991,-.001159225944472035363,-54,52,
 -7496634952019659,9007199254740765,.000180778514462189597,-54,52,
 -7496634952015258,9007199254739555,.000055911964997916422,-54,52,
 -7496634951933203,9007199254716995,.000000059930887869320,-54,52,
 -7492339963683480,9006018472030709,-.499978193261410747816,-54,52,
 -7492339963682938,9006018472030560,-.498252848133234532726,-54,52,
 -7492339963682927,9006018472030556,.477796928243928916613,-54,52,
 -7492339963682436,9006018472030421,.499655128352806863712,-54,52,
 -7492339963664357,9006018472025452,-.499989677347936358529,-54,52,
 -7492339963645234,9006018472020194,.499998841371978504440,-54,52,
 -7489630554912554,9005273671351925,-.498429012509494220491,-54,52,
 -7489630554911921,9005273671351751,-.499861021874697935879,-54,52,
 -7489630554909771,9005273671351160,-.499985540232775462351,-54,52,
 -7489630554901382,9005273671348853,.499993723126783565044,-54,52,
 -7485075199921506,9004021557711522,-.499979409936598979734,-54,52,
 -7485075199920349,9004021557711203,.499892888522926623742,-54,52,
 -7485075199918257,9004021557710629,-.483916231263196313098,-54,52,
 -7485075199918206,9004021557710614,.498792055013946940513,-54,52,
 -7485075199918035,9004021557710567,.499637485472749169905,-54,52,
 -7485075199897853,9004021557705021,-.499997147342170433813,-54,52,
 -7298995560612630,8953008666909240,-.499997077310184909958,-54,52,
 -7298995560588655,8953008666902683,.499975436824895958779,-54,52,
 -7298995560586556,8953008666902110,-.474750639838413455103,-54,52,
 -7298995560586545,8953008666902107,-.482717284356334922747,-54,52,
 -7298995560586523,8953008666902101,-.498650573392175186929,-54,52,
 -7298995560586395,8953008666902065,.499555744944824825932,-54,52,
 -7298995560569701,8953008666897500,.499995420336467857275,-54,52,
 -7250793807593924,8939836343086824,.499636765923912914533,-54,52,
 -7250793807593675,8939836343086756,.498065533661338146874,-54,52,
 -7250793807592701,8939836343086490,.499951556863474959855,-54,52,
 -7250793807576791,8939836343082145,.499958363946197692014,-54,52,
 -7250793807484513,8939836343056944,.499997881373282998360,-54,52,
 -6744234268183196,8802396306041544,-.499899846066135240816,-54,52,
 -6744234268181564,8802396306041104,-.498684804561080434937,-54,52,
 -6744234268180544,8802396306040829,-.497925403611607633495,-54,52,
 -6744234268180518,8802396306040821,.492290032098957734060,-54,52,
 -6744234268176757,8802396306039807,.499992097815992647377,-54,52,
 -6744234268130664,8802396306027380,.499995113836777295293,-54,52,
 -6126472062964494,8637031680288797,.499999683137136528564,-54,52,
 -6126472062948733,8637031680284607,.499979406823444712159,-54,52,
 -6126472062941665,8637031680282728,.499906866643963567397,-54,52,
 -6126472062941112,8637031680282581,.487026261856933566442,-54,52,
 -6126472062941097,8637031680282577,.499335106211739930861,-54,52,
 -6126472062940040,8637031680282297,-.499968328249689623405,-54,52,
 -5733088875706290,8532878547599357,.499998150439049900413,-54,52,
 -5733088875684793,8532878547593688,.499988383122881899025,-54,52,
 -5733088875677937,8532878547591880,.495891674098899643794,-54,52,
 -5733088875677755,8532878547591833,-.499549632934297914163,-54,52,
 -5733088875676898,8532878547591606,.499938278455645683669,-54,52,
 -5586017142901469,8494149508191673,.499686154314031842175,-54,52,
 -5586017142901450,8494149508191669,-.496588035726392935846,-54,52,
 -5586017142901431,8494149508191664,-.492862225766815905994,-54,52,
 -5586017142901199,8494149508191603,-.499999704154992677143,-54,52,
 -5441089836919922,8456091159698942,-.499964108138115040320,-54,52,
 -5441089836918187,8456091159698486,.499167887081514998312,-54,52,
 -5441089836917840,8456091159698395,.498994286127188778089,-54,52,
 -5441089836917733,8456091159698367,.438422023008825302887,-54,52,
 -5441089836917718,8456091159698364,-.495303060605894121612,-54,52,
 -5441089836908349,8456091159695907,-.499990286146952375224,-54,52,
 -5441089836868017,8456091159685330,-.499995103639510747011,-54,52,
 -5339910389627918,8429581584907542,.496153203890038178757,-54,52,
 -5339910389627727,8429581584907492,.499098926479263074619,-54,52,
 -5339910389626027,8429581584907047,.499139389322886463134,-54,52,
 -5339910389595427,8429581584899037,.499867722841788634613,-54,52,
 -5339910389589987,8429581584897613,.499997204819175135069,-54,52,
 -5137347928742254,8376653199539784,.479734788181218446710,-54,52,
 -5137347928742250,8376653199539783,.436409614294532731282,-54,52,
 -5137347928742185,8376653199539766,.482375538635899934889,-54,52,
 -5137347928741748,8376653199539652,.499100291516046296037,-54,52,
 -5137347928741725,8376653199539646,.499980541667656723467,-54,52,
 -5137347928731500,8376653199536980,-.499995205913522774062,-54,52,
 -5130840493893787,8374955952007628,-.456906949345786818150,-54,52,
 -5130840493893783,8374955952007626,.499884778296937730373,-54,52,
 -5130840493889918,8374955952006618,.499891613113084885350,-54,52,
 -5130840493843538,8374955951994522,.499973636135574004227,-54,52,
 -5130840493828078,8374955951990491,-.499999020711812388300,-54,52,
 -5046807760055800,8353055776302721,.499999092515143282918,-54,52,
 -5046807760001144,8353055776288488,-.499986937089912764408,-54,52,
 -5046807759998579,8353055776287819,.499977126355848464391,-54,52,
 -5046807759991967,8353055776286098,-.455671065517291339570,-54,52,
 -5046807759991963,8353055776286097,-.497386521168699088467,-54,52,
 -5046807759991867,8353055776286072,-.498557456802463965710,-54,52,
 -5046807759991771,8353055776286047,-.499728392436188338104,-54,52,
 -5046807759990884,8353055776285815,.499869316866628584273,-54,52,
 -5010504701027877,8343604299325522,.499994822958003999473,-54,52,
 -5010504700961884,8343604299308346,.499960072293872916498,-54,52,
 -5010504700961519,8343604299308252,-.498600573236888418540,-54,52,
 -5010504700961469,8343604299308238,.487897968471271655008,-54,52,
 -5010504700961465,8343604299308237,.446817851807924931282,-54,52,
 -5010504700961446,8343604299308233,-.498312702342971054748,-54,52,
 -5010504700958403,8343604299307440,.499988546036452666337,-54,52,
 -4924871031067043,8321332277598111,-.496570599187818134250,-54,52,
 -4924871031066993,8321332277598098,-.491622012035489631262,-54,52,
 -4924871031066989,8321332277598096,.468773874936697109364,-54,52,
 -4924871031066866,8321332277598065,-.499052600668527321451,-54,52,
 -4924871031063634,8321332277597225,-.499175927117654254913,-54,52,
 -4924871031043838,8321332277592080,-.499931300646922111882,-54,52,
 -4924871031042222,8321332277591660,-.499992963718417469550,-54,52,
 -4517699360177496,8215849370685255,-.499995162621814199218,-54,52,
 -4517699360174437,8215849370684465,-.495560547909372617874,-54,52,
 -4517699360174406,8215849370684456,.498600116705419070675,-54,52,
 -4517699360174073,8215849370684371,-.499609518238682857782,-54,52,
 -4517699360173043,8215849370684104,.499922241546517691071,-54,52,
 -4514338150851567,8214981350355862,-.499986857738150160851,-54,52,
 -4514338150842192,8214981350353441,-.499914908798711755954,-54,52,
 -4514338150834304,8214981350351404,-.496974371659412889756,-54,52,
 -4514338150834273,8214981350351395,.497585866253242975054,-54,52,
 -4514338150833181,8214981350351113,.499514246920761126317,-54,52,
 -4514338150832999,8214981350351066,.499835643699125199580,-54,52,
 -4514338150811124,8214981350345418,-.499996473361243645389,-54,52,
 -8612971451646305,8161386824194765,-.499999565825946700296,-55,52,
 -8612971451611108,8161386824190233,.499989639736703268501,-55,52,
 -8612971451606587,8161386824189652,-.499926512173642074571,-55,52,
 -8612971451596038,8161386824188294,-.499730866559104468474,-55,52,
 -8612971451595502,8161386824188224,.499615504289107034384,-55,52,
 -8612971451595067,8161386824188169,-.499049288026052377489,-55,52,
 -8341071156515280,8126417475491150,.497778409037040247880,-55,52,
 -8341071156515241,8126417475491145,.486636873782260498583,-55,52,
 -8341071156515210,8126417475491142,-.496578192702307073528,-55,52,
 -8341071156514206,8126417475491012,.498649976636667415174,-55,52,
 -8341071156512595,8126417475490805,.499957328037994976675,-55,52,
 -8341071156498773,8126417475489030,-.499999089578981556764,-55,52,
 -7983856183311630,8080573370443200,-.499999677659924574507,-55,52,
 -7983856183304570,8080573370442295,-.499702518864082766433,-55,52,
 -7983856183304453,8080573370442280,-.497572948385106677776,-55,52,
 -7983856183303985,8080573370442220,-.489054666469088823086,-55,52,
 -7983856183303977,8080573370442218,.485449919546571180450,-55,52,
 -6979532375143298,7952230365563042,-.499947909198327783106,-55,52,
 -6979532375142780,7952230365562975,.499787575711470185385,-55,52,
 -6979532375142584,7952230365562951,-.473285484052340237080,-55,52,
 -6979532375142576,7952230365562950,-.492594588532495183704,-55,52,
 -6979532375142521,7952230365562942,.499655318166440791444,-55,52,
 -6979532375128072,7952230365561101,.499998989021496552579,-55,52,
 -6842835487551509,7934819919696045,.499899717634883193730,-55,52,
 -6842835487550700,7934819919695943,-.499876854794478143829,-55,52,
 -6842835487549891,7934819919695840,-.499653427223383783647,-55,52,
 -6842835487542555,7934819919694905,.499900422811692676943,-55,52,
 -6842835487063516,7934819919633915,.499938231154113706762,-55,52,
 -6479813464907449,7888645880231607,.499998889409568068394,-55,52,
 -6479813464892725,7888645880229736,.491089104897731632918,-55,52,
 -6479813464892709,7888645880229734,.457936255362887078792,-55,52,
 -6479813464892670,7888645880229730,-.497873815378295818835,-55,52,
 -6479813464892308,7888645880229684,-.497957036104099751057,-55,52,
 -6479813464884887,7888645880228741,-.499663060964149404919,-55,52,
 -6479813464883439,7888645880228557,-.499995943859462023131,-55,52,
 -6359406039506671,7873350181061873,-.499814570572683956141,-55,52,
 -6359406039506419,7873350181061840,.497715630945456352618,-55,52,
 -6359406039506167,7873350181061808,.495245832463637441353,-55,52,
 -6359406039506143,7873350181061805,.447391565941561576650,-55,52,
 -6359406039505041,7873350181061666,-.499916838530023462433,-55,52,
 -6359406039503411,7873350181061458,.499980893514343196482,-55,52,
 -6359406039454826,7873350181055289,-.499999896269459262872,-55,52,
 -6298970528377460,7865676406792062,.499999332787380620666,-55,52,
 -6298970528354318,7865676406789124,.499977135844559385571,-55,52,
 -6298970528342747,7865676406787655,.499966037500773778284,-55,52,
 -6298970528341597,7865676406787510,-.498652298255994716658,-55,52,
 -6298970528341479,7865676406787495,-.479380092707511246690,-55,52,
 -6298970528341471,7865676406787494,-.495022655043206962341,-55,52,
 -6298970528341085,7865676406787445,-.499776287740476919274,-55,52,
 -6070752678138768,7836719267295439,-.499998769020881573750,-55,52,
 -6070752678071685,7836719267286931,.492887981009893463612,-55,52,
 -6070752678071669,7836719267286929,.463877444629923467390,-55,52,
 -6070752678071622,7836719267286924,-.496341005986237492815,-55,52,
 -6070752678071551,7836719267286914,.499924738827649571084,-55,52,
 -6070752678067001,7836719267286338,-.499946544219649737585,-55,52,
 -6070752678053075,7836719267284572,-.499992145837098365990,-55,52,
 -6002783559861948,7828101292973269,-.499986519761532641949,-55,52,
 -6002783559861877,7828101292973259,.499206988723544576858,-55,52,
 -6002783559861861,7828101292973257,.470856230072294792319,-55,52,
 -6002783559797470,7828101292965094,.499999961783587178001,-55,52,
 -5777052993623941,7799500148759906,-.499959055406885919070,-55,52,
 -5777052993623483,7799500148759847,.499570655174770117993,-55,52,
 -5777052993623049,7799500148759793,-.461573680212806294084,-55,52,
 -5777052993623033,7799500148759791,-.487790982899903802801,-55,52,
 -5777052993623025,7799500148759789,.499100365756547498374,-55,52,
 -5777052993619669,7799500148759365,-.499978872858866285226,-55,52,
 -5777052993615397,7799500148758824,-.499998690300289484144,-55,52,
 -5379976732190050,7749259455101327,.499997798038431352639,-55,52,
 -5379976732171706,7749259455099008,.499990343246120029096,-55,52,
 -5379976732167561,7749259455098485,-.499956827472150068424,-55,52,
 -5379976732167553,7749259455098483,.488704311884735514039,-55,52,
 -5379976732167529,7749259455098480,.454687729955392467213,-55,52,
 -5360050516034610,7746740541758033,.499999209542185322299,-55,52,
 -5360050515996400,7746740541753203,.499980266205360175833,-55,52,
 -5360050515984937,7746740541751754,.499974583356279287097,-55,52,
 -5360050515984581,7746740541751709,.499189272086855888116,-55,52,
 -5360050515984573,7746740541751708,.487935669586420184419,-55,52,
 -5360050515984549,7746740541751705,.454174862085113278298,-55,52,
 -5227607959191336,7730003555536541,-.499990958292731094952,-55,52,
 -5227607959185352,7730003555535784,.499779457155579395807,-55,52,
 -5227607959184323,7730003555535654,.499071528931570891147,-55,52,
 -5227607959184181,7730003555535637,-.440773491289774827038,-55,52,
 -5227607959184149,7730003555535633,-.483555467677682274359,-55,52,
 -5227607959184133,7730003555535630,.495053544128364201555,-55,52,
 -5227607959183856,7730003555535595,.499722061020564906560,-55,52,
 -5003579018691284,7701713269772164,-.499995798825856514046,-55,52,
 -5003579018626288,7701713269763960,-.499974734736453024811,-55,52,
 -5003579018617193,7701713269762812,-.499540991294434165804,-55,52,
 -5003579018617090,7701713269762798,.499474366108167848692,-55,52,
 -5003579018617074,7701713269762796,.479903936190125915474,-55,52,
 -5003579018617058,7701713269762794,.460333506272084109261,-55,52,
 -5003579018615149,7701713269762554,-.499663413323367335291,-55,52,
 -5003579018610039,7701713269761909,-.499969468386632121110,-55,52,
 -4966294589292528,7697007455499639,.499965230337729982431,-55,52,
 -4966294589203815,7697007455488443,.499962970411299882802,-55,52,
 -4966294589199457,7697007455487893,.499759958001572151610,-55,52,
 -4966294589199148,7697007455487855,-.497500879729740196815,-55,52,
 -4966294589198942,7697007455487829,-.495674771550588987125,-55,52,
 -4966294589198316,7697007455487750,-.499834268054593542621,-55,52,
 -4966294589193958,7697007455487199,.499962719547474073835,-55,52,
 -8111283783760883,7582269766370018,-.490645740192819197458,-56,52,
 -8111283783760867,7582269766370017,-.497042221566011014858,-56,52,
 -8111283783760708,7582269766370007,-.498107255212103315671,-56,52,
 -8111283783760390,7582269766369986,.499762677495719630719,-56,52,
 -8111283783750072,7582269766369337,.499831751964442005887,-56,52,
 -8111283783725684,7582269766367803,.499995018932631117231,-56,52,
 -8111283783724746,7582269766367745,-.499998701567410271257,-56,52,
 -7922455086057861,7570394242806793,-.499991060814519297542,-56,52,
 -7922455085967691,7570394242801123,-.499103799127592863615,-56,52,
 -7922455085967198,7570394242801092,-.499542554587198449626,-56,52,
 -7922455085966705,7570394242801061,-.499981310046780431026,-56,52,
 -5181586503254411,7398366658428853,.499312921366641090042,-56,52,
 -5181586503254028,7398366658428829,.499682677073286142205,-56,52,
 -5181586503253645,7398366658428806,-.499947567220059585054,-56,52,
 -5181586503237463,7398366658427792,-.499990943595239481709,-56,52,
 -5181586503234766,7398366658427623,-.499998172989502538108,-56,52,
 -6969797329336626,7292128914321638,.499820854621033661352,-57,52,
 -6969797329336594,7292128914321637,.498649324496376906745,-57,52,
 -6969797329336274,7292128914321627,.486934023249809953377,-57,52,
 -6969797329336212,7292128914321626,-.452835816366712269214,-57,52,
 -6969797329336211,7292128914321626,-.484122426683107788602,-57,52,
 -6969797329334069,7292128914321558,.499958275597713836853,-57,52,
 -6969797329325535,7292128914321292,-.499974164521072975259,-57,52,
 -6969797329209447,7292128914317660,-.499992574160172034550,-57,52,
 -5370993780293173,7242120186637148,-.486668007800024295067,-57,52,
 -5370993780293141,7242120186637147,-.487363212179197525865,-57,52,
 -5370993780292661,7242120186637132,-.497791277866794992732,-57,52,
 -5370993780292565,7242120186637129,-.499876891004314262205,-57,52,
 -5370993780286809,7242120186636949,-.499926778707937403365,-57,52,
 -5370993780278175,7242120186636678,.499998389737130960738,-57,52,
 -5040083604760126,7231772488825768,-.499999679413530099058,-57,52,
 -5040083604740522,7231772488825155,-.499989347939252244177,-57,52,
 -5040083604724180,7231772488824643,.499917244439670142400,-57,52,
 -5040083604724084,7231772488824640,.498080935105957898602,-57,52,
 -5040083604723700,7231772488824628,.490735697771109623587,-57,52,
 -5040083604722549,7231772488824592,.499969113988797677420,-57,52,
 -4672129283028498,7220267379708398,-.499995601655166622181,-57,52,
 -4672129282990470,7220267379707209,-.499990126020410494985,-57,52,
 -4672129282989160,7220267379707168,-.459020125676231743864,-57,52,
 -4672129282989159,7220267379707168,-.490286560790472824172,-57,52,
 -4672129282988743,7220267379707155,-.497123568314761621379,-57,52,
 -4672129282988583,7220267379707150,-.499753186593333911243,-57,52,
 -7518049176489196,7191720594507315,-.499997575707736526618,-58,52,
 -7518049176486957,7191720594507280,-.496279418613531612651,-58,52,
 -7518049176486952,7191720594507279,.425568991741747995365,-58,52,
 -7518049176486765,7191720594507277,-.497300460970794639411,-58,52,
 -7518049176486253,7191720594507268,.499976759409837544326,-58,52,
 -5061503531599329,7153327809968350,-.499935588161160034808,-58,52,
 -5061503531598881,7153327809968342,.498984848583539080812,-58,52,
 -5061503531596641,7153327809968307,.493587032307037526178,-58,52,
 -5061503531596515,7153327809968306,-.475466594858515544306,-58,52,
 -5061503531596513,7153327809968305,.493278585662666153110,-58,52,
 -5061503531592802,7153327809968247,.499961042715312269684,-58,52,
 -5061503531586339,7153327809968147,-.499988103085989791249,-58,52,
 -5061503531527980,7153327809967235,-.499993085262462671959,-58,52,
 -5034345543234719,7152903401307075,-.499997116929450017331,-58,52,
 -5034345543221601,7152903401306869,.499980312226894276116,-58,52,
 -5034345543218282,7152903401306818,-.367306996252275896855,-58,52,
 -5034345543218274,7152903401306818,-.492326067800282320339,-58,52,
 -5034345543218146,7152903401306816,-.492631212568385087835,-58,52,
 -5034345543215522,7152903401306775,-.498886680314488401192,-58,52,
 -5034345543215074,7152903401306768,-.499954687002846851616,-58,52,
 -5034345543188838,7152903401306358,-.499999828689507015029,-58,52,
 -4503599627370496,7074237752028440,.275765943415024521374,-1074,52,
 0,7074237752028440,.275765943415024521374,0,52,
 4503599627370496,7074237752028440,.275765943415024521374,-1074,52,
 5835457316467537,7028647463090451,.499991584972394335368,-59,52,
 5835457316503887,7028647463090168,-.498934927445987626586,-59,52,
 5835457316503888,7028647463090167,.493252172237302099064,-59,52,
 5835457316503918,7028647463090167,.258865162735993868507,-59,52,
 5835457316504271,7028647463090165,-.499088649062732986998,-59,52,
 5835457316506447,7028647463090148,-.499959738224290411507,-59,52,
 5835457316506575,7028647463090146,.499989021236794425642,-59,52,
 7327657448551200,6959730767351264,.499998900586114250655,-58,52,
 7327657448579031,6959730767350830,-.499974456593656698835,-58,52,
 7327657448597585,6959730767350540,-.499956694714097623224,-58,52,
 7327657448597649,6959730767350538,.499719986150420892008,-58,52,
 7327657448598225,6959730767350529,.496810113931087274830,-58,52,
 7327657448598417,6959730767350526,.495840156524642634061,-58,52,
 7327657448598419,6959730767350526,.464580052801658835452,-58,52,
 7786031541647444,6952566208553335,.499971789298690893903,-58,52,
 7786031541652236,6952566208553261,-.402361847721667621593,-58,52,
 7786031541652242,6952566208553261,-.496146071808087123306,-58,52,
 7786031541652370,6952566208553259,-.496876185651703172435,-58,52,
 7786031541652882,6952566208553251,-.499796641026167609138,-58,52,
 7786031541652946,6952566208553249,.499838302052024309253,-58,52,
 7786031541661135,6952566208553122,-.499996871896249921624,-58,52,
 5746215254501605,6894620911198843,.483931788320158381000,-57,52,
 5746215254501606,6894620911198843,.452656917934910698632,-57,52,
 5746215254501668,6894620911198842,-.486385045950445625073,-57,52,
 5746215254502148,6894620911198827,-.498322830869334419822,-57,52,
 5746215254502212,6894620911198825,-.499914535525186409990,-57,52,
 5746215254505985,6894620911198706,.499999500935226498926,-57,52,
 6842111560903408,6860341359353769,.499991754044084785666,-57,52,
 6842111560928212,6860341359352993,.499932441056507696195,-57,52,
 6842111560930865,6860341359352911,-.499912638663109058199,-57,52,
 6842111560931376,6860341359352895,-.486690186999613511896,-57,52,
 6842111560931378,6860341359352894,.450739255081261220755,-57,52,
 6842111560931440,6860341359352893,-.488948040411622087554,-57,52,
 6842111560931728,6860341359352884,-.499108380765661201610,-57,52,
 6842111560931760,6860341359352882,.499762692528334399495,-57,52,
 6842111560968071,6860341359351746,.499998391842589546529,-57,52,
 6940259249792112,6857270731534942,-.499997600174797221929,-57,52,
 6940259249803905,6857270731534573,-.459334966375326632921,-57,52,
 6940259249803906,6857270731534573,-.490621266499654730789,-57,52,
 6940259249803938,6857270731534572,-.491782870478153868088,-57,52,
 6940259249804130,6857270731534566,-.498752494349148917221,-57,52,
 6940259249804162,6857270731534565,-.499914098327648129633,-57,52,
 6940259249805025,6857270731534538,-.499991105622802811276,-57,52,
 8328945592820442,6813813090390545,.499997592852832978632,-57,52,
 8328945592820920,6813813090390531,-.462511508076791597326,-57,52,
 8328945592820921,6813813090390531,-.493813828371623450920,-57,52,
 8328945592820953,6813813090390530,-.495488077806242772573,-57,52,
 8328945592821049,6813813090390526,.499489173889899185085,-57,52,
 5635416615603503,6721664178001519,-.499994890652690305858,-56,52,
 5635416615605130,6721664178001417,-.499907063183970719305,-56,52,
 5635416615605146,6721664178001415,.497020659765935887534,-56,52,
 5682480038756205,6718713601027928,-.495246604486262583472,-56,52,
 5682480038756221,6718713601027927,-.498370652950819399045,-56,52,
 5682480038756237,6718713601027925,.498505298584623767706,-56,52,
 5682480038756875,6718713601027885,.498933866060405637649,-56,52,
 5682480038758470,6718713601027786,-.499994715250262641239,-56,52,
 6158205153695415,6688879859434160,-.499995824121152115023,-56,52,
 6158205153697264,6688879859434044,-.486844376369699982130,-56,52,
 6158205153697312,6688879859434041,-.497860455606009666659,-56,52,
 6158205153697328,6688879859434039,.498467517981887066792,-56,52,
 6158205153698141,6688879859433988,.499382675916864579237,-56,52,
 6158205153698683,6688879859433954,.499992781206822066883,-56,52,
 6175493946646144,6687795330856693,-.499978227583528265672,-56,52,
 6175493946646303,6687795330856683,-.474175306851787545263,-56,52,
 6175493946646399,6687795330856677,-.496332033957152558576,-56,52,
 6175493946646415,6687795330856675,.499975178191953205194,-56,52,
 6175493946689201,6687795330853991,.499998866350581258608,-56,52,
 6823990675692130,6647098241761690,-.499996028163689641290,-56,52,
 6823990675706306,6647098241760800,-.499944060293116536974,-56,52,
 6823990675708743,6647098241760646,.499923789994460672219,-56,52,
 6823990675708966,6647098241760632,.499501356926783010904,-56,52,
 6823990675709412,6647098241760604,.498656490791415267212,-56,52,
 6823990675709444,6647098241760602,.489627262727890487407,-56,52,
 6823990675730007,6647098241759312,-.499998258235365728347,-56,52,
 6916394610506925,6641296565730975,.499990039039124095381,-56,52,
 6916394610524603,6641296565729865,.499955819010907347885,-56,52,
 6916394610526546,6641296565729743,.499160113074530409787,-56,52,
 6916394610526610,6641296565729739,.480605854103898058680,-56,52,
 6916394610526626,6641296565729738,.475967289361239916877,-56,52,
 6916394610526976,6641296565729716,.499498685615587658020,-56,52,
 6916394610527406,6641296565729689,.499837258156629297553,-56,52,
 6916394610557156,6641296565727822,-.499994060262689256322,-56,52,
 7664074856375451,6594325318563436,.499985550911500379527,-56,52,
 7664074856376326,6594325318563382,-.499491040471952470179,-56,52,
 7664074856376501,6594325318563371,-.499386358748651661744,-56,52,
 7664074856376549,6594325318563367,.483499496809738914905,-56,52,
 7664074856376565,6594325318563366,.477794781995869059075,-56,52,
 7664074856432772,6594325318559833,.499988185398658011116,-56,52,
 7740553500831507,6589517859850384,-.499996594496626691641,-56,52,
 7740553500861747,6589517859848482,.499945068824949616664,-56,52,
 7740553500862097,6589517859848460,.497629578816589949729,-56,52,
 7740553500862129,6589517859848458,.485989305444396486417,-56,52,
 7740553500862606,6589517859848428,.499976480490126164338,-56,52,
 7740553500863465,6589517859848375,-.499992107844767246382,-56,52,
 8359220028901627,6550607511081372,-.499983212578487185317,-56,52,
 8359220028906712,6550607511081052,-.472831211713795821199,-56,52,
 8359220028906728,6550607511081051,-.479628766873321140075,-56,52,
 8359220028906776,6550607511081047,.499978567648102745571,-56,52,
 8359220028980626,6550607511076401,-.499986965816388422518,-56,52,
 8513798801068735,6540879430762290,-.499999473895511465330,-56,52,
 8513798801092694,6540879430760781,.499619271384883318906,-56,52,
 8513798801093409,6540879430760736,.496894925746641414182,-56,52,
 8513798801093441,6540879430760734,.482786983004788777278,-56,52,
 8513798801093456,6540879430760734,-.461326115155454683165,-56,52,
 8513798801094394,6540879430760675,-.499865186776059190362,-56,52,
 8513798801099923,6540879430760327,-.499953168643945663108,-56,52,
 8513798801103609,6540879430760094,.499988176775685801074,-56,52,
 5173600871715709,6425294283333187,-.499981723684325694971,-55,52,
 5173600871715994,6425294283333151,-.498053027255150309345,-55,52,
 5173600871716089,6425294283333139,-.497410128445434458789,-55,52,
 5173600871716097,6425294283333137,.492117694612225611589,-55,52,
 5173600871716105,6425294283333136,.481645517669885649069,-55,52,
 5173600871726595,6425294283331812,-.499996498001692949086,-55,52,
 5689944463302888,6360004473194412,.499988702873396847922,-55,52,
 5689944463304934,6360004473194153,.499711509146421181297,-55,52,
 5689944463305171,6360004473194123,.498213124535664472153,-55,52,
 5689944463305321,6360004473194105,-.490076992306603127090,-55,52,
 5689944463305329,6360004473194103,.497214201461808907959,-55,52,
 5689944463306901,6360004473193904,.499933776954067067779,-55,52,
 5689944463356945,6360004473187569,.499996394498068649768,-55,52,
 5753769988789660,6351923725432325,-.499993396794289784731,-55,52,
 5753769988830118,6351923725427202,-.499990559277911119588,-55,52,
 5753769988831887,6351923725426978,-.499866850278550270284,-55,52,
 5753769988833340,6351923725426794,-.486198252667647867600,-55,52,
 5753769988833348,6351923725426793,-.499199389088238143891,-55,52,
 5753769988833656,6351923725426754,-.499743141280991809655,-55,52,
 5804122653802393,6345547079631464,-.499810470035318372583,-55,52,
 5804122653802480,6345547079631452,.481267156312142693993,-55,52,
 5804122653802496,6345547079631450,.454798673801330457047,-55,52,
 5804122653802543,6345547079631445,-.497952493574181349749,-55,52,
 5804122653802922,6345547079631397,-.499924673049100088339,-55,52,
 5804122653803451,6345547079631329,.499961123936955495741,-55,52,
 5804122653812065,6345547079630238,.499991852152024224916,-55,52,
 5804122653847050,6345547079625808,-.499999438446460856595,-55,52,
 5852820566536474,6339378589072047,.499999984343338685615,-55,52,
 5852820566561805,6339378589068838,.499979571683107751869,-55,52,
 5852820566564702,6339378589068472,-.499864853569915515209,-55,52,
 5852820566564899,6339378589068447,-.456361005373630928230,-55,52,
 5852820566564915,6339378589068445,-.483284550697791555378,-55,52,
 5852820566564923,6339378589068444,-.496746323359871925273,-55,52,
 5852820566568862,6339378589067945,-.499986637856254641196,-55,52,
 6216155809137142,6293310697761413,-.499996733061886629168,-55,52,
 6216155809168670,6293310697757411,.499970787604050533254,-55,52,
 6216155809168867,6293310697757387,-.499934261827899480090,-55,52,
 6216155809171231,6293310697757087,-.498794855013195672800,-55,52,
 6216155809171822,6293310697757012,-.498510003310066653454,-55,52,
 6216155809171830,6293310697757010,.486265426154610411212,-55,52,
 6216155809171838,6293310697757009,.471040855619287435791,-55,52,
 6216155809179245,6293310697756069,.499991611209927021181,-55,52,
 6575998564310790,6247604136895028,-.499747404486507352163,-55,52,
 6575998564310908,6247604136895012,.498249314408464244505,-55,52,
 6575998564310963,6247604136895006,-.494209842038797926780,-55,52,
 6575998564311317,6247604136894960,.499780314646048229093,-55,52,
 6575998564315297,6247604136894455,-.499991370089393800739,-55,52,
 6575998564323784,6247604136893375,.499992979536238831493,-55,52,
 6847582036539492,6213051258239431,.499996908826142831235,-55,52,
 6847582036550103,6213051258238080,.499984089661585431921,-55,52,
 6847582036560714,6213051258236729,.499971270418571801822,-55,52,
 6847582036561311,6213051258236653,.489509706653345532773,-55,52,
 6847582036561319,6213051258236652,.470944057557662422450,-55,52,
 6847582036561358,6213051258236648,-.494563481783793379001,-55,52,
 6847582036561468,6213051258236634,-.499841156849443657558,-55,52,
 7082784227658562,6183085629203925,.499995083287055137399,-55,52,
 7082784227659919,6183085629203752,.499131418705764606185,-55,52,
 7082784227659966,6183085629203747,-.492792378077841180070,-55,52,
 7082784227660170,6183085629203720,.499708589074149222441,-55,52,
 7082784227662029,6183085629203483,.499999265227419343874,-55,52,
 7706116167858761,6103473219827303,.499979189164636208971,-55,52,
 7706116167864544,6103473219826564,-.499907323743528392189,-55,52,
 7706116167864755,6103473219826537,-.499730262395877336070,-55,52,
 7706116167865091,6103473219826494,-.494708970392108051664,-55,52,
 7706116167865177,6103473219826483,-.499376139700681549360,-55,52,
 7706116167870116,6103473219825851,-.499970898025031163725,-55,52,
 7706116167903970,6103473219821519,-.499998221550914709383,-55,52,
 8687303334595544,5977517234799673,.499999336904888931753,-55,52,
 8687303334618207,5977517234796755,-.499993346860064843125,-55,52,
 8687303334621266,5977517234796361,-.499948234582475288278,-55,52,
 8687303334621778,5977517234796295,-.445674583885003391986,-55,52,
 8687303334621794,5977517234796292,.493521467699288738973,-55,52,
 8687303334621825,5977517234796289,-.499286182356145924017,-55,52,
 4631941527006437,5903097474650594,.498164639084329512305,-54,52,
 4631941527006487,5903097474650582,-.436728311911124975371,-54,52,
 4631941527006495,5903097474650579,.493688815929601389304,-54,52,
 4631941527006638,5903097474650542,.499894976082542469944,-54,52,
 4631941527009541,5903097474649792,-.499989758732225651595,-54,52,
 4631941527052885,5903097474638579,-.499991121913549153967,-54,52,
 4873844360935589,5840399584638236,-.499998410457334858753,-54,52,
 4873844360980401,5840399584626598,.499979501863806551938,-54,52,
 4873844360980474,5840399584626580,-.457018659626631306404,-54,52,
 4873844360980478,5840399584626579,-.495758284913779234370,-54,52,
 4873844360993540,5840399584623186,.499995339545562684954,-54,52,
 4994576600383679,5809016260182765,.483893475274932194133,-54,52,
 4994576600383702,5809016260182759,.499275240739976947976,-54,52,
 4994576600383898,5809016260182708,.499919850789830440484,-54,52,
 4994576600388579,5809016260181491,-.499991273528237941636,-54,52,
 4994576600399436,5809016260178666,-.499998767318905628627,-54,52,
 5227720812178173,5748231737194396,-.499989713245479653767,-54,52,
 5227720812178640,5748231737194273,.499981641033943369323,-54,52,
 5227720812183310,5748231737193053,.499695183773052428142,-54,52,
 5227720812185067,5748231737192594,.497446081946809673830,-54,52,
 5227720812185086,5748231737192590,-.466152513918207308772,-54,52,
 5227720812185178,5748231737192565,.499580600840634364063,-54,52,
 5227720812213309,5748231737185216,.499996373809608804760,-54,52,
 5299073463162636,5729579659613451,.499996513389316307224,-54,52,
 5299073463173394,5729579659610637,.499931161903977020470,-54,52,
 5299073463176980,5729579659609699,.499909377955274067367,-54,52,
 5299073463177412,5729579659609587,-.499535521844054429425,-54,52,
 5299073463177649,5729579659609525,-.492286543262112273758,-54,52,
 5299073463177653,5729579659609523,.461422300258255804237,-54,52,
 5299073463177844,5729579659609474,-.498980421644255547046,-54,52,
 5354986034456702,5714947110499163,.497364186921519284825,-54,52,
 5354986034456706,5714947110499162,.450020177143904976524,-54,52,
 5354986034456744,5714947110499153,-.499747915743434734412,-54,52,
 5354986034457779,5714947110498881,.499989554296128277404,-54,52,
 6229784789668705,5483948015368848,-.499997547666195632019,-54,52,
 6229784789695683,5483948015361659,.499982933103660062458,-54,52,
 6229784789711225,5483948015357519,-.499954179345847344201,-54,52,
 6229784789713278,5483948015356972,-.499881530619148690157,-54,52,
 6229784789713871,5483948015356814,-.498399270178050311210,-54,52,
 6229784789713931,5483948015356798,-.484758569290363274070,-54,52,
 6229784789714449,5483948015356659,.499672815039131766713,-54,52,
 6318840445903256,5460196893803876,.499996458487008972373,-54,52,
 6318840445924480,5460196893798210,.499916259408170532208,-54,52,
 6318840445925836,5460196893797848,.499534203628069582973,-54,52,
 6318840445926057,5460196893797790,-.499053137322375053595,-54,52,
 6318840445926233,5460196893797743,-.484353463147370622866,-54,52,
 6318840445926248,5460196893797739,-.488782468189282145371,-54,52,
 6318840445926278,5460196893797731,-.497640478273109191389,-54,52,
 6318840445929447,5460196893796884,.499991723175248838298,-54,52,
 6500262080607848,5411665339304115,.499993820383272463549,-54,52,
 6500262080617469,5411665339301536,.499880066000341889251,-54,52,
 6500262080617995,5411665339301396,-.499398578107746408173,-54,52,
 6500262080618051,5411665339301380,.489271376131596065651,-54,52,
 6500262080618066,5411665339301376,.468379399588559512524,-54,52,
 6500262080618092,5411665339301369,.498833306913959530165,-54,52,
 6500262080620293,5411665339300779,.499950615483654933252,-54,52,
 6611506190366933,5381806788451462,-.499979723604754371426,-54,52,
 6611506190369519,5381806788450767,-.499790356823999436520,-54,52,
 6611506190370892,5381806788450397,.499923487161113772364,-54,52,
 6611506190377437,5381806788448639,-.499983935521008987278,-54,52,
 6611506190419453,5381806788437346,.499999209832311136619,-54,52,
 6779876501427598,5336465648937261,.495465071136924188242,-54,52,
 6779876501427624,5336465648937254,.479617968121021228815,-54,52,
 6779876501427635,5336465648937252,-.488625037001092898267,-54,52,
 6779876501427661,5336465648937244,.495527859982997824044,-54,52,
 6779876501429866,5336465648936649,.497725469579152391226,-54,52,
 6779876501432134,5336465648936037,.499985867987596783268,-54,52,
 6779876501464001,5336465648927439,-.499999975054648499045,-54,52,
 6995579078917275,5278105166254128,-.446632128263480956459,-54,52,
 6995579078917290,5278105166254123,.484000962576448762730,-54,52,
 6995579078917301,5278105166254120,.499798562525729572004,-54,52,
 6995579078918757,5278105166253725,.499917246714089137511,-54,52,
 6995579078920213,5278105166253331,-.499964069112150651061,-54,52,
 6995579079080174,5278105166209935,-.499974570713946905173,-54,52,
 7423882302190606,5161258461729605,-.499972634287146128273,-54,52,
 7423882302191302,5161258461729414,-.470598304996554355504,-54,52,
 7423882302191313,5161258461729411,-.488812216458945093667,-54,52,
 7423882302191375,5161258461729393,.499436646207562725974,-54,52,
 7423882302192308,5161258461729138,-.499979662378982431944,-54,52,
 7423882302197414,5161258461727736,.499999253214090950164,-54,52,
 7482308321613725,5145214390362189,-.499245052148507688307,-54,52,
 7482308321613754,5145214390362181,-.469247275838227486382,-54,52,
 7482308321613765,5145214390362178,-.492351567582605646204,-54,52,
 7482308321614158,5145214390362070,-.499623081723269632674,-54,52,
 7482308321614591,5145214390361950,.499998888700532691627,-54,52,
 7789329938387600,5060467286758039,-.495732870943683539829,-54,52,
 7789329938387618,5060467286758034,-.486392297060147473175,-54,52,
 7789329938387629,5060467286758030,.463760275868678817552,-54,52,
 7789329938387701,5060467286758011,-.498877428597209919131,-54,52,
 7789329938388022,5060467286757922,-.498970527674813506241,-54,52,
 7789329938391232,5060467286757032,-.499901518497237798434,-54,52,
 7789329938391553,5060467286756943,-.499994617584119069762,-54,52,
 7852441927978840,5042952552390257,.499997909691934320576,-54,52,
 7852441928002204,5042952552383767,.471369266233743283258,-54,52,
 7852441928002211,5042952552383766,-.473083755531368270559,-54,52,
 7852441928002535,5042952552383676,-.473480762945548012820,-54,52,
 7852441928015387,5042952552380106,-.489228724410610461057,-54,52,
 7852441928024027,5042952552377706,-.499815590031521810006,-54,52,
 7852441928024171,5042952552377666,-.499992037797118506819,-54,52,
 7984456451833836,5006208684366836,.499991520069262748071,-54,52,
 7984456451884770,5006208684352632,-.499934720331532991892,-54,52,
 7984456451885315,5006208684352480,-.495163051252329484212,-54,52,
 7984456451885351,5006208684352469,.464785169090427681220,-54,52,
 7984456451885358,5006208684352468,-.487447121398481932900,-54,52,
 7984456451885419,5006208684352451,-.499757081373283423754,-54,52,
 7984456451890213,5006208684351114,-.499985739164436045828,-54,52,
 8003572463284301,5000875851280161,.499999120947605643562,-54,52,
 8003572463288698,5000875851278934,.499977762695529642389,-54,52,
 8003572463289601,5000875851278683,-.485698672735866294603,-54,52,
 8003572463289619,5000875851278677,.491331032870081313760,-54,52,
 8003572463290006,5000875851278569,.497469703397282900749,-54,52,
 8003572463290178,5000875851278522,-.499801998591039734380,-54,52,
 8012612783785153,4998352763908573,-.499998879366971536167,-54,52,
 8012612783799845,4998352763904471,.499986255854276281147,-54,52,
 8012612783814537,4998352763900370,.499971389220955083970,-54,52,
 8012612783816794,4998352763899741,-.499826702012763783820,-54,52,
 8012612783817446,4998352763899559,-.493565450574028460925,-54,52,
 8012612783817489,4998352763899547,-.496219999942461108525,-54,52,
 8012612783817532,4998352763899535,-.498874549310909642253,-54,52,
 8012612783818682,4998352763899213,.499899130364224224780,-54,52,
 8018408790412735,4996734771503242,-.499995524890724944673,-54,52,
 8018408790431497,4996734771498003,.499885680083357767096,-54,52,
 8018408790436920,4996734771496489,.499531547474368294616,-54,52,
 8018408790437074,4996734771496447,-.494393316335666366391,-54,52,
 8018408790437081,4996734771496445,-.448662628327036425798,-54,52,
 8018408790437117,4996734771496435,-.499190518568374818273,-54,52,
 8018408790437751,4996734771496257,.499846081068449727414,-54,52,
 8018408790463598,4996734771489042,-.499997784946552227653,-54,52,
 8125363452127639,4966825439892625,-.499994717545555146633,-54,52,
 8125363452127689,4966825439892610,.494396005402178533723,-54,52,
 8125363452127764,4966825439892589,.485982089823737781780,-54,52,
 8125363452127771,4966825439892588,-.474803208963585882045,-54,52,
 8125363452147606,4966825439887031,.499996582651655252045,-54,52,
 8633994769867367,4823169443379798,.498079843051959613678,-54,52,
 8633994769867402,4823169443379789,-.471607500959230939810,-54,52,
 8633994769867430,4823169443379781,-.447357376168192060233,-54,52,
 8633994769867862,4823169443379657,.498215977749715948404,-54,52,
 8633994769873472,4823169443378059,.499758837489139952028,-54,52,
 8633994769874297,4823169443377824,.499985728601174627412,-54,52,
 8633994769896400,4823169443371529,-.499996123286597895296,-54,52,
 8717776617240127,4799269590950399,-.499926639401001012449,-54,52,
 8717776617240211,4799269590950375,-.497057944406736607108,-54,52,
 8717776617241093,4799269590950123,-.466936646971229507064,-54,52,
 8717776617241205,4799269590950091,-.463111720313310243528,-54,52,
 8717776617273591,4799269590940839,-.499950343949686282401,-54,52,
 8717776617340519,4799269590921719,-.499997786713967805520,-54,52,
 8911976088158238,4743598966691595,.499989153298969661469,-54,52,
 8911976088173370,4743598966687242,.499936928205702557960,-54,52,
 8911976088173516,4743598966687201,-.499667064990183409026,-54,52,
 8911976088174319,4743598966686970,-.497489027571541731405,-54,52,
 8911976088174326,4743598966686967,.488831328919002078697,-54,52,
 8911976088174354,4743598966686959,.434112754881172193708,-54,52,
 8911976088213795,4743598966675613,.499995652952205352103,-54,52,
 4733303198943643,4582372201314137,-.499981903466499647038,-53,52,
 4733303198944179,4582372201313821,.499491791377489284630,-53,52,
 4733303198944390,4582372201313697,.497418936172416112488,-53,52,
 4733303198944407,4582372201313688,-.493269398133297695657,-53,52,
 4733303198944419,4582372201313680,.454480012945013727166,-53,52,
 4733303198944504,4582372201313631,-.498961658583808968726,-53,52,
 4733303198945576,4582372201313000,.499985731046840078654,-53,52,
 4733303198975968,4582372201295139,.499994165166395710116,-53,52,
 4747578892789992,4573977716677297,-.499981084962083326033,-53,52,
 4747578892790043,4573977716677266,.493355388800761476327,-53,52,
 4747578892790111,4573977716677226,.484470687151028317743,-53,52,
 4747578892790128,4573977716677216,.482249511738560582550,-53,52,
 4747578892806650,4573977716667495,.499998907295783747592,-53,52,
 4866610526728203,4503599627383654,.249999770541559304123,-53,52,
 4866610526749918,4503599627370751,.250138796928338690601,-53,52,
 4866610526750125,4503599627370628,.251245348896190486696,-53,52,
 4866610526750332,4503599627370505,.252351900861885331641,-53,52,
 4866610526750347,4503599627370496,.339388607525982304030,-53,52,
 4866610526750348,9007199254740991,.490382109273843398963,-53,53,
 4866610526751245,9007199254739925,.499972226258570936620,-53,53,
 4866610526767514,9007199254720591,.499996307211002067966,-53,53,
 5018163383774285,8825910947949143,.499994675546572721101,-53,53,
 5018163383776856,8825910947946048,-.499110021264287508055,-53,53,
 5018163383776900,8825910947945995,-.483925504218645142722,-53,53,
 5018163383776905,8825910947945988,.495072736354710076734,-53,53,
 5018163383777380,8825910947945416,.499905590811142854794,-53,53,
 5018163383807806,8825910947908777,.499999076228733841573,-53,53,
 5026588272953025,8815761855201283,-.499990382946813789793,-53,53,
 5026588272989683,8815761855157106,-.499988257565975410548,-53,53,
 5026588273002437,8815761855141736,-.499932993924723185925,-53,53,
 5026588273004041,8815761855139803,-.499769231422359242883,-53,53,
 5026588273004119,8815761855139709,-.498514385123247790399,-53,53,
 5026588273004143,8815761855139680,-.421205201646730839183,-53,53,
 5026588273004158,8815761855139662,-.497886961973939462397,-53,53,
 5184012179824569,8624670876445308,.499998753484014248468,-53,53,
 5184012179843951,8624670876421608,-.455205815829015503626,-53,53,
 5184012179843969,8624670876421586,-.466205386701114845939,-53,53,
 5184012179844023,8624670876421520,-.499204099317640008115,-53,53,
 5184012179844207,8624670876421294,.499466953986456685609,-53,53,
 5184012179845661,8624670876419516,.499834951152520504553,-53,53,
 5184012179846388,8624670876418628,-.499981050357076875781,-53,53,
 5359027492704697,8408815419931484,.496579647125319556409,-53,53,
 5359027492704713,8408815419931465,-.410188383213488736743,-53,53,
 5359027492704869,8408815419931270,.498823320981423647546,-53,53,
 5359027492704955,8408815419931163,.499945157908064335971,-53,53,
 5359027492729024,8408815419901217,.499962481244234144998,-53,53,
 5359027492777162,8408815419841325,.499996906817912752051,-53,53,
 5488415439771238,8246746375746303,.499999808828406781551,-53,53,
 5488415439823272,8246746375680680,-.450606963651747266205,-53,53,
 5488415439823276,8246746375680675,-.495304707969401584515,-53,53,
 5488415439823299,8246746375680645,.497683262204043949082,-53,53,
 5488415439823433,8246746375680477,-.499691172439048674249,-53,53,
 5488415439824574,8246746375679038,-.499722739162897554824,-53,53,
 5488415439833702,8246746375667526,-.499975279313829013576,-53,53,
 5488415439834843,8246746375666086,.499993152372287002309,-53,53,
 5599080628039531,8106331516336010,-.499987909554142989261,-53,53,
 5599080628046602,8106331516326982,.499920524225220703622,-53,53,
 5599080628055260,8106331516315929,.499384129164730752128,-53,53,
 5599080628055589,8106331516315509,.490470237294459680341,-53,53,
 5599080628056030,8106331516314946,.499798424763121110245,-53,53,
 5599080628073299,8106331516292900,.499999013681724613345,-53,53,
 5668948148616275,8016782312584501,.499912653472963805487,-53,53,
 5668948148616296,8016782312584474,.476292261822485413813,-53,53,
 5668948148616324,8016782312584438,.444798406288412079288,-53,53,
 5668948148617164,8016782312583357,.499982740211928939908,-53,53,
 5668948148702895,8016782312473035,.499991868128978702440,-53,53,
 5708579506443841,7965665383676298,.499998747459138462935,-53,53,
 5708579506480504,7965665383628900,.499993312841462453479,-53,53,
 5708579506481935,7965665383627051,-.499679597964151667353,-53,53,
 5708579506482338,7965665383626530,-.498888670734985322020,-53,53,
 5708579506482963,7965665383625721,.499856563752721625340,-53,53,
 5949535300083258,7649547675118018,.499996604379670336787,-53,53,
 5949535300083728,7649547675117392,.499960441499744941141,-53,53,
 5949535300098768,7649547675097360,.498803209132303006198,-53,53,
 5949535300107933,7649547675085153,.498098001438960265731,-53,53,
 5949535300107945,7649547675085138,-.484881645323697844955,-53,53,
 5949535300107960,7649547675085118,-.463606203777055571266,-53,53,
 5949535300138486,7649547675044460,-.499997707694716691163,-53,53,
 5971604121827191,7620111511934076,-.499674800518882788422,-53,53,
 5971604121827876,7620111511933161,-.497070165875014530577,-53,53,
 5971604121828013,7620111511932978,-.496549238956118712855,-53,53,
 5971604121828022,7620111511932965,.481587172301211741492,-53,53,
 5971604121828058,7620111511932917,.394132817330391462064,-53,53,
 5971604121828975,7620111511931692,.499809386469232585421,-53,53,
 5971604121832817,7620111511926560,.499819612380649651260,-53,53,
 5971604121892368,7620111511847014,.499977782876724885668,-53,53,
 5971604121900052,7620111511836750,.499998146656937427478,-53,53,
 6059040276381820,7502635811256770,.499998836626757158021,-53,53,
 6059040276405323,7502635811225006,.499996352472367722444,-53,53,
 6059040276407912,7502635811221508,-.499961379639520123673,-53,53,
 6059040276408114,7502635811221234,.499655668633501082389,-53,53,
 6059040276408518,7502635811220688,.498889765156975968431,-53,53,
 6059040276408555,7502635811220638,.493869125480641620376,-53,53,
 6059040276408592,7502635811220588,.488848485804054887398,-53,53,
 6179968525066876,7337822844460542,-.499994166825301068745,-53,53,
 6179968525076153,7337822844447789,.499975997538093556472,-53,53,
 6179968525077349,7337822844446145,.499540975988442696455,-53,53,
 6179968525077648,7337822844445734,.499432220556811751530,-53,53,
 6179968525077664,7337822844445713,-.493884635921633617273,-53,53,
 6179968525077672,7337822844445702,-.490543064160875294527,-53,53,
 6179968525103685,7337822844409944,.499995145456763570858,-53,53,
 6230674196520004,7267866812754795,.499993156042938647266,-53,53,
 6230674196595972,7267866812649597,.499987212516014964675,-53,53,
 6230674196596983,7267866812648198,-.499723278898221649298,-53,53,
 6230674196597035,7267866812648125,.492378654277605668180,-53,53,
 6230674196597139,7267866812647981,.476582520627606004869,-53,53,
 6230674196597144,7267866812647975,-.447253831951776473554,-53,53,
 6353877460228767,7095671846143919,.499974286721470681888,-53,53,
 6353877460235010,7095671846135111,.499813180095148857255,-53,53,
 6353877460235139,7095671846134929,.498848774629966333733,-53,53,
 6353877460235263,7095671846134755,-.447814684890403335813,-53,53,
 6353877460235268,7095671846134747,.497884369161123729587,-53,53,
 6353877460246391,7095671846119054,.499999998576285150839,-53,53,
 6402079148370033,7027407899150613,.499997183155995685171,-53,53,
 6402079148376304,7027407899141698,.495949376450948933791,-53,53,
 6402079148376316,7027407899141681,.436461483972228021728,-53,53,
 6402079148376387,7027407899141581,-.498841879860872080864,-53,53,
 6402079148376757,7027407899141055,-.499718564643412071400,-53,53,
 6402079148376942,7027407899140791,.499843092953678537277,-53,53,
 6673278757208579,6633014613715635,-.499989184321233306219,-53,53,
 6673278757209931,6633014613713621,.499969533642782148344,-53,53,
 6673278757212635,6633014613709595,.499886968082015523500,-53,53,
 6673278757212770,6633014613709394,.497663910947627597953,-53,53,
 6673278757213130,6633014613708858,.491735758565069638389,-53,53,
 6673278757213169,6633014613708800,.424426875388180163307,-53,53,
 6673278757213175,6633014613708791,.490994739514775900001,-53,53,
 6673278757257161,6633014613643301,-.499993611087146218142,-53,53,
 6710148704143017,6577932622181763,.499992758109262751251,-53,53,
 6710148704144065,6577932622180193,-.499853464428272928776,-53,53,
 6710148704144588,6577932622179408,.499269078980999167216,-53,53,
 6710148704144598,6577932622179394,-.491187468946908298745,-53,53,
 6710148704144606,6577932622179382,-.483552707289254331456,-53,53,
 6710148704188598,6577932622113436,-.499998621495833175995,-53,53,
 6728987427037667,6549642856938152,-.499997107878034257290,-53,53,
 6728987427108807,6549642856831134,-.499988016002028680433,-53,53,
 6728987427117815,6549642856817582,.499956806158738942987,-53,53,
 6728987427118277,6549642856816887,.499731950727371844093,-53,53,
 6728987427118368,6549642856816751,-.394251732925304997527,-53,53,
 6728987427118390,6549642856816718,-.489500535566962456886,-53,53,
 6728987427118392,6549642856816715,-.498159517625301729768,-53,53,
 7051650888471954,6048316748012378,-.454715519288834162117,-53,53,
 7051650888471959,6048316748012370,-.491239980778324510496,-53,53,
 7051650888471987,6048316748012325,-.495776965119637204587,-53,53,
 7051650888472015,6048316748012279,.499686050538767143227,-53,53,
 7051650888472234,6048316748011927,.499914637285811064951,-53,53,
 7051650888476642,6048316748004842,.499949384203258253356,-53,53,
 7051650888481050,6048316747997757,.499984124107941272589,-53,53,
 7051650888511687,6048316747948514,.499998523471980062742,-53,53,
 7198343454188631,5808491340990335,.496347550355958857505,-53,53,
 7198343454188851,5808491340989969,.498368195187128294646,-53,53,
 7198343454189071,5808491340989604,-.499611160001474987748,-53,53,
 7198343454190058,5808491340987962,-.499636721931868089132,-53,53,
 7198343454201902,5808491340968258,-.499943496138603745217,-53,53,
 7198343454203876,5808491340964974,-.499994630744704023213,-53,53,
 7267747051728322,5692025297898111,.499995387306552658266,-53,53,
 7267747051745953,5692025297868265,-.499867806471581150854,-53,53,
 7267747051745979,5692025297868220,.485499078855565293987,-53,53,
 7267747051745992,5692025297868198,.478182521519028344862,-53,53,
 7267747051746500,5692025297867338,.499966280926071897839,-53,53,
 7267747051752377,5692025297857390,-.499988148418627526323,-53,53,
 7302452754208753,5633008518562957,.499999644132991486079,-53,53,
 7302452754224750,5633008518535632,-.499987114668206955551,-53,53,
 7302452754244825,5633008518501339,.479650518543389222280,-53,53,
 7302452754244832,5633008518501328,-.477716482064359746479,-53,53,
 7302452754244921,5633008518501175,.492903081635201043971,-53,53,
 7302452754244969,5633008518501093,.499529363179556441479,-53,53,
 7302452754245274,5633008518500572,.499967193801829740113,-53,53,
 7319052364912478,5604591012296136,.499998653445654781280,-53,53,
 7319052364942675,5604591012244327,.499980538595762581027,-53,53,
 7319052364944089,5604591012241901,.499847216680318466736,-53,53,
 7319052364945503,5604591012239475,.499713893853916328172,-53,53,
 7319052364945605,5604591012239300,.498289849314946580185,-53,53,
 7319052364945774,5604591012239011,-.455049989196328845767,-53,53,
 7319052364945795,5604591012238975,-.484754939544792735486,-53,53,
 7319052364945809,5604591012238950,.495441760222786378632,-53,53,
 7319052364957420,5604591012219030,-.499995341857644853399,-53,53,
 7399032995891120,5465873585387634,-.499929172600720007038,-53,53,
 7399032995891473,5465873585387014,.494475077321754189568,-53,53,
 7399032995891501,5465873585386965,.394881080145842964952,-53,53,
 7399032995891542,5465873585386893,.499047012851848788595,-53,53,
 7399032995895056,5465873585380732,-.499999635856240000199,-53,53,
 7511273082096331,5265838271409081,-.499998566231170816121,-53,53,
 7511273082104505,5265838271394269,.499963133225790703922,-53,53,
 7511273082104739,5265838271393846,-.499793285511177360605,-53,53,
 7511273082104856,5265838271393634,-.499671494890970966771,-53,53,
 7511273082104872,5265838271393605,-.491107831216998864243,-53,53,
 7511273082104877,5265838271393595,.449068313681088501507,-53,53,
 7723582849394971,4867718194177384,.499933611615515355730,-53,53,
 7723582849395929,4867718194175523,-.499429946365802116778,-53,53,
 7723582849396408,4867718194174592,-.499111725597032040765,-53,53,
 7723582849396532,4867718194174350,.490532239669794163583,-53,53,
 7723582849396550,4867718194174316,-.494842023437527621162,-53,53,
 7723582849398253,4867718194171006,-.499973695115707330936,-53,53,
 7723582849407620,4867718194152799,.499986122660080832960,-53,53,
 7723582849429636,4867718194110008,.499998195489457836699,-53,53,
 7904560997374383,4503599627492043,-.250000550260516206868,-53,53,
 7904560997424290,4503599627387945,.250011038389410790714,-53,53,
 7904560997431968,4503599627371930,.250012625796690937059,-53,53,
 7904560997432655,4503599627370497,.285047930699331444191,-53,53,
 7904560997432656,9007199254740990,.398436575531686722113,-53,54,
 7904560997432661,9007199254740970,-.459859853803220634263,-53,54,
 7904560997432667,9007199254740945,-.489815569005167816992,-53,54,
 7904560997432702,9007199254740799,-.497890574351128497117,-53,54,
 7904560997432836,9007199254740239,.499765119447170605221,-53,54,
 7913137471577109,8971355829733432,.499999303495296888985,-53,54,
 7913137471604870,8971355829617199,.499981825216236042659,-53,54,
 7913137471604977,8971355829616751,.499873689909386231268,-53,54,
 7913137471605009,8971355829616618,-.481467060840567946554,-53,54,
 7913137471605025,8971355829616551,-.472137436216232299198,-53,54,
 7913137471614088,8971355829578605,-.499988261702059478686,-53,54,
 8070217332207364,8289803550687840,.499998161199304851377,-53,54,
 8070217332256350,8289803550467236,-.347702770342132616994,-53,54,
 8070217332256390,8289803550467056,-.484760463282080409103,-53,54,
 8070217332256394,8289803550467038,-.498466232576275062907,-53,54,
 8070217332256978,8289803550464408,-.499508549918668018695,-53,54,
 8070217332257270,8289803550463092,.499970291119645038769,-53,54,
 8070217332259167,8289803550454550,-.499990804521937475483,-53,54,
 8108726220156984,8114661184969478,.488856194457856062904,-53,54,
 8108726220157304,8114661184968008,.489897637361189077457,-53,54,
 8108726220160120,8114661184955072,.499062324215219857834,-53,54,
 8108726220160408,8114661184953749,.499999620651706229418,-53,54,
 8145371468019043,7944661059288093,.499988951404373662446,-53,54,
 8145371468081277,7944661058996503,.499988481422262338247,-53,54,
 8145371468084020,7944661058983651,.499956093862583257515,-53,54,
 8145371468091305,7944661058949518,.499505418674067723301,-53,54,
 8145371468091394,7944661058949102,-.499401941142458349449,-53,54,
 8145371468091483,7944661058948685,-.498309300979434082950,-53,54,
 8145371468091502,7944661058948595,.479452049165079574760,-53,54,
 8145371468092249,7944661058945095,.499858814634436411457,-53,54,
 8201755169892930,7676235312989949,-.499999900530697689439,-53,54,
 8201755169934475,7676235312788927,-.499631996024041849378,-53,54,
 8201755169934779,7676235312787456,-.451320259681997712472,-53,54,
 8201755169934785,7676235312787427,-.483261475414751661670,-53,54,
 8201755169934853,7676235312787097,.488071412940166601095,-53,54,
 8201755169935070,7676235312786047,.499530777160708722780,-53,54,
 8201755169935696,7676235312783019,-.499669398700472272852,-53,54,
 8201755169945464,7676235312735755,-.499968773777132924426,-53,54,
 8201755169946685,7676235312729846,.499993785130132336005,-53,54,
 8344755511724682,6952047550633388,.499995597811487387615,-53,54,
 8344755511729995,6952047550605159,-.499937934622660472006,-53,54,
 8344755511738716,6952047550558820,.493395099351587616364,-53,54,
 8344755511738850,6952047550558109,-.499827397312263594491,-53,54,
 8488875008846755,6141092102774233,-.499996230268166063700,-53,54,
 8488875008858665,6141092102702987,-.495372813275703874364,-53,54,
 8488875008858671,6141092102702951,-.387561920066814021024,-53,54,
 8488875008858776,6141092102702322,.499128711056126766469,-53,54,
 8488875008858943,6141092102701323,.499865238524483136481,-53,54,
 8488875008864397,6141092102668697,.499967073723688968443,-53,54,
 8538353789895130,5837902179686142,.499989284575224430837,-53,54,
 8538353789951632,5837902179331259,.499828038499683335970,-53,54,
 8538353789951810,5837902179330142,-.499075196075348691982,-53,54,
 8538353789951842,5837902179329941,-.487642069728719859666,-53,54,
 8538353789955306,5837902179308183,.499993817819222737254,-53,54,
 8575032706784722,5602958303208622,.499999392729047255757,-53,54,
 8575032706793919,5602958303148518,.499961478839923986876,-53,54,
 8575032706795838,5602958303135978,-.499937779635836602806,-53,54,
 8575032706797032,5602958303128175,-.498311797834122627976,-53,54,
 8575032706797174,5602958303127247,-.493093298185417425617,-53,54,
 8575032706797359,5602958303126037,.499620944091577962997,-53,54,
 8668443273559071,4956258851197976,-.499995804384171129954,-53,54,
 8668443273592994,4956258850948238,.478764844915114685767,-53,54,
 8668443273593005,4956258850948157,.498095868104829513339,-53,54,
 8668443273593110,4956258850947385,-.499198910603707685777,-53,54,
 8668443273593472,4956258850944720,-.499396148575917398473,-53,54,
 8668443273594558,4956258850936725,-.499987870872391739084,-53,54,
 8727187242741316,4503599627371251,.499586076608012890509,-53,54,
 8727187242741409,4503599627370500,-.307299150449164597420,-53,54,
 8727187242741410,9007199254740983,.217511694217385286176,-53,55,
 8727187242741411,9007199254740967,.049621689333071353033,-53,55,
 8727187242741423,9007199254740773,.034941630719087850909,-53,55,
 8727187242741447,9007199254740385,.005581513478845929913,-53,55,
 8727187242742269,9007199254727095,-.000002511879213482211,-53,55,
 8936922088767840,4503599629164714,.499647064200434316961,-53,55,
 8936922088817130,4503599627583320,-.499988503122046829134,-53,55,
 8936922088823155,4503599627390016,.499916715004799800471,-53,55,
 8936922088823706,4503599627372338,.499409709751568089637,-53,55,
 8936922088823718,4503599627371953,.497583785094149799224,-53,55,
 8936922088823763,4503599627370510,-.259263432662770758757,-53,55,
 8936922088823764,9007199254740955,.314502147208136328587,-53,56,
 8936922088823766,9007199254740827,-.019439827725872198950,-53,56,
 8936922088826988,9007199254534081,.000036191729128650816,-53,56,
 9007199254740991,4503599627370496,.041666666666666667708,-53,78 };
#include "trailer.h"