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

struct input_point { double arg_m, val, eps;
	int arg_e, val_e; } input_points[N] = {
 0,0,0.000000000000000000000,0,0,
 4503599627370496,4503599627370496,0.000000000000000000000,-1074,563,
 4710873812716024,4606070944692158,.499997259338650944577,-1074,563,
 4710873812732161,4606070944700047,.499977878675464743553,-1074,563,
 4710873812733104,4606070944700509,-.489488458481905994116,-1074,563,
 4710873812733106,4606070944700509,.488264529138071756924,-1074,563,
 4710873812733108,4606070944700510,.466017516758049300413,-1074,563,
 4710873812733599,4606070944700751,-.495624022543743866703,-1074,563,
 4710873812733959,4606070944700926,.499913749039661194281,-1074,563,
 4754513311658284,4627356089465377,.499993780938020603067,-1074,563,
 4754513311664790,4627356089468544,-.499961142819193643275,-1074,563,
 4754513311667445,4627356089469835,.496675757484457497115,-1074,563,
 4754513311667482,4627356089469854,-.498098040894273776981,-1074,563,
 4754513311668043,4627356089470127,-.499938605510107737070,-1074,563,
 5043178920574909,4765758985456976,-.499999191851991754531,-1074,563,
 5043178920597269,4765758985467541,-.499967173155709525013,-1074,563,
 5043178920640971,4765758985488189,.499648111685199847172,-1074,563,
 5043178920641062,4765758985488232,.496741265015511248168,-1074,563,
 5043178920641098,4765758985488250,-.493419685315461658911,-1074,563,
 5043178920641100,4765758985488250,.451571372999482510586,-1074,563,
 5043178920641989,4765758985488671,-.499903206026387090861,-1074,563,
 5067536030740754,4777253748727465,.499998272055392635598,-1074,563,
 5067536030787941,4777253748749707,.499983393665569703561,-1074,563,
 5067536030788552,4777253748749996,-.499889646000900869460,-1074,563,
 5067536030789163,4777253748750284,-.499762685684733734185,-1074,563,
 5067536030789390,4777253748750390,.498647821662348410968,-1074,563,
 5067536030789407,4777253748750399,-.488255356201622951379,-1074,563,
 5067536030789426,4777253748750407,.467558739126863738020,-1074,563,
 5085234186983333,4785588656538488,-.499971602327841069839,-1074,563,
 5085234186983418,4785588656538527,.495731727028281901160,-1074,563,
 5085234186983435,4785588656538535,.494872392899466383523,-1074,563,
 5085234186999625,4785588656546154,-.499987586436385915888,-1074,563,
 5085234187015917,4785588656553819,.499996417174959104809,-1074,563,
 5138672529716431,4810667696901328,-.490375994519725085964,-1074,563,
 5138672529716448,4810667696901335,.467063438951575167411,-1074,563,
 5138672529716463,4810667696901342,.488333527308593871871,-1074,563,
 5138672529716478,4810667696901350,-.490396384334397671359,-1074,563,
 5138672529719956,4810667696902978,-.491905230899360486486,-1074,563,
 5138672529737487,4810667696911184,-.499510641566876171180,-1074,563,
 5138672529738615,4810667696911712,-.499999998228540316665,-1074,563,
 5247429781477257,4861308754699070,-.499793899879152420383,-1074,563,
 5247429781477393,4861308754699132,.496569860222991299678,-1074,563,
 5247429781477434,4861308754699151,.488120699665389182885,-1074,563,
 5247429781477488,4861308754699177,-.498617219117907303548,-1074,563,
 5247429781478086,4861308754699454,-.499900097504498683021,-1074,563,
 5247429781478915,4861308754699837,.499993704839822498670,-1074,563,
 5247429781488265,4861308754704169,-.499997790723225822225,-1074,563,
 5430093347267257,4945196292902823,.484371323556506826574,-1074,563,
 5430093347267268,4945196292902828,.493231737466968167679,-1074,563,
 5430093347267279,4945196292902834,-.497907848622575564560,-1074,563,
 5430093347267391,4945196292902885,-.498601816080036914254,-1074,563,
 5430093347267615,4945196292902987,-.499989750996537465597,-1074,563,
 5430093347286350,4945196292911517,.499997024322042743169,-1074,563,
 5548521715332800,4998831896516416,-.499993470464549403794,-1074,563,
 5548521715336454,4998831896518061,.499850000671392568044,-1074,563,
 5548521715337100,4998831896518353,-.499630327148036535183,-1074,563,
 5548521715337171,4998831896518384,.483398924746937242267,-1074,563,
 5548521715337211,4998831896518403,-.497993046016547929733,-1074,563,
 5548521715371278,4998831896533749,-.499999769590908093218,-1074,563,
 5628288433399513,5034635805238719,-.499968849241698935811,-1074,563,
 5628288433405429,5034635805241365,-.499699297117204429845,-1074,563,
 5628288433407088,5034635805242107,-.492524316471915496696,-1074,563,
 5628288433407126,5034635805242124,-.496579380207662575395,-1074,563,
 5628288433407164,5034635805242140,.499365556056532970923,-1074,563,
 5628288433407401,5034635805242247,-.499609446718068564478,-1074,563,
 5628288433420968,5034635805248314,.499994504654068069095,-1074,563,
 5628288433443409,5034635805258352,-.499997235970546004388,-1074,563,
 5813862287855054,5116962774260470,-.499992830343937341389,-1074,563,
 5813862287858708,5116962774262078,-.499918920529641588928,-1074,563,
 5813862287875151,5116962774269314,-.499586332618550437633,-1074,563,
 5813862287876160,5116962774269758,-.473293346197387725127,-1074,563,
 5813862287876169,5116962774269761,.487297968844847686574,-1074,563,
 5813862287876219,5116962774269783,.490583052412766372811,-1074,563,
 5813862287876369,5116962774269850,-.499561696884045262135,-1074,563,
 5813862287936026,5116962774296103,-.499997156399247622707,-1074,563,
 6075263211422701,5230731606108361,.499985939998831666027,-1074,563,
 6075263211441031,5230731606116252,.459357018918231745789,-1074,563,
 6075263211441045,5230731606116258,.486276342159992746296,-1074,563,
 6075263211441052,5230731606116261,.499736003780870642438,-1074,563,
 6075263211441275,5230731606116357,.499950938273643586312,-1074,563,
 6075263211473891,5230731606130398,.499997122959928686152,-1074,563,
 6129086353426435,5253851065400777,.499997347455951901461,-1074,563,
 6129086353435560,5253851065404688,.473689614237001860121,-1074,563,
 6129086353435630,5253851065404718,.475679582299686258365,-1074,563,
 6129086353436386,5253851065405042,.497171237365760889548,-1074,563,
 6129086353436484,5253851065405084,.499957192650640776319,-1074,563,
 6501921822811604,5411289374853874,.499948985205935215845,-1074,563,
 6501921822812534,5411289374854262,-.499156836268183540560,-1074,563,
 6501921822813154,5411289374854520,-.498560717266305636710,-1074,563,
 6501921822813202,5411289374854539,.475678982268810587736,-1074,563,
 6501921822813214,5411289374854544,.469238907152578123654,-1074,563,
 6501921822831790,5411289374862275,-.499997378300020180297,-1074,563,
 6507822719580630,5413744358103416,.499993520761662190230,-1074,563,
 6507822719617967,5413744358118946,.499949576953387955421,-1074,563,
 6507822719619234,5413744358119473,.497564390516742214038,-1074,563,
 6507822719619246,5413744358119478,.488859874149299068263,-1074,563,
 6507822719619258,5413744358119483,.480155357781851320677,-1074,563,
 6507822719619347,5413744358119520,.498930194723136895239,-1074,563,
 6507822719619460,5413744358119568,-.499704001070876482796,-1074,563,
 6507822719629685,5413744358123820,.499989342427825661033,-1074,563,
 6593474862793193,5449254163199966,-.499999844140823048662,-1074,563,
 6593474862828701,5449254163214639,-.499734194016901497424,-1074,563,
 6593474862828943,5449254163214739,-.497873647590271838588,-1074,563,
 6593474862829047,5449254163214781,.478132537650360574882,-1074,563,
 6593474862829064,5449254163214789,-.496943374377645202349,-1074,563,
 6593474862829744,5449254163215070,-.499979855505302379023,-1074,563,
 6715856444711635,5499593492420786,.499989094616012296321,-1074,563,
 6715856444711762,5499593492420838,.499937223899358940764,-1074,563,
 6715856444714683,5499593492422034,.498744197280630367557,-1074,563,
 6715856444715147,5499593492422224,.482806653829409129507,-1074,563,
 6715856444715191,5499593492422242,.498536714363866429636,-1074,563,
 6715856444750160,5499593492436561,-.499997694537856786647,-1074,563,
 6845184054394453,5552293972463393,-.499997189841731497427,-1074,563,
 6845184054407218,5552293972468569,.499773397919069162324,-1074,563,
 6845184054407324,5552293972468612,.489352378102749975152,-1074,563,
 6845184054407329,5552293972468615,-.482837292643311037327,-1074,563,
 6845184054407361,5552293972468627,.495148814581880945457,-1074,563,
 6845184054407398,5552293972468643,-.499054748939028639354,-1074,563,
 6845184054408081,5552293972468919,.499836227140680776491,-1074,563,
 6845184054410670,5552293972469970,-.499975285326862145501,-1074,563,
 6862307434190629,5559234228157930,.499992627063595284694,-1074,563,
 6862307434195295,5559234228159820,.490142247917823358498,-1074,563,
 6862307434195337,5559234228159838,-.497516070971533122819,-1074,563,
 6862307434195416,5559234228159870,-.498111480311178038333,-1074,563,
 6862307434195653,5559234228159966,-.499897708331217931935,-1074,563,
 6862307434209103,5559234228165413,.499997787393021721227,-1074,563,
 6931506210289703,5587193283373772,-.499987927689124592844,-1074,563,
 6931506210291750,5587193283374596,.499969086506203378661,-1074,563,
 6931506210293400,5587193283375261,.497491838455779102042,-1074,563,
 6931506210293405,5587193283375264,-.487364153205100045789,-1074,563,
 6931506210293467,5587193283375289,-.499578449800061861927,-1074,563,
 6931506210293797,5587193283375421,.499926100579712595282,-1074,563,
 6931506210313937,5587193283383538,.499991684431384663150,-1074,563,
 6971536772633227,5603303526619874,-.499974329079870201863,-1074,563,
 6971536772634083,5603303526620218,-.499219888907826579793,-1074,563,
 6971536772634700,5603303526620465,.454594935361962604862,-1074,563,
 6971536772634720,5603303526620473,.491995740038271363521,-1074,563,
 6971536772634725,5603303526620476,-.498654058792653248202,-1074,563,
 6971536772643815,5603303526624129,-.499988334605014114616,-1074,563,
 6971536772654403,5603303526628383,.499997656638707911310,-1074,563,
 7115010065357803,5660667511794234,.499942835199262823698,-1074,563,
 7115010065357808,5660667511794236,.488930714273179205224,-1074,563,
 7115010065357828,5660667511794244,.444882230568837742624,-1074,563,
 7115010065390131,5660667511807094,.499973760907495923837,-1074,563,
 7115010065414377,5660667511816739,.499996936015956083148,-1074,563,
 7118157106898115,5661919258890134,-.499999452008503299781,-1074,563,
 7118157106918200,5661919258898121,.497919596719386373474,-1074,563,
 7118157106918376,5661919258898191,.494814481039808827320,-1074,563,
 7118157106918401,5661919258898201,.437555231653435008706,-1074,563,
 7118157106918723,5661919258898330,-.499943900444620491069,-1074,563,
 7364629986173836,5759109728200537,.499992951884051390037,-1074,563,
 7364629986178235,5759109728202257,.499758175145708178091,-1074,563,
 7364629986178304,5759109728202284,.478613324131171696926,-1074,563,
 7364629986180079,5759109728202978,.499887084221029065706,-1074,563,
 7364629986181923,5759109728203700,-.499984006793914203888,-1074,563,
 7364629986220514,5759109728218789,-.499997733230616893873,-1074,563,
 7379721516100053,5765007464869948,.499996636417506778989,-1074,563,
 7379721516103499,5765007464871295,-.499637320082822554697,-1074,563,
 7379721516103563,5765007464871319,.498628329009962065624,-1074,563,
 7379721516103691,5765007464871369,.495159627195206113305,-1074,563,
 7379721516103709,5765007464871377,-.474078158997528716543,-1074,563,
 7379721516104669,5765007464871751,.499906577377523637550,-1074,563,
 7379721516111008,5765007464874227,.499999539141811990184,-1074,563,
 7581837714778646,5843420360290768,-.499999783903159105917,-1074,563,
 7581837714779165,5843420360290968,-.499994436954234410695,-1074,563,
 7581837714813938,5843420360304368,-.499636206969887556023,-1074,563,
 7581837714851306,5843420360318768,-.499251277658531961810,-1074,563,
 7581837714851825,5843420360318968,-.499245931667950146974,-1074,563,
 7581837714851934,5843420360319010,-.495391244360585991086,-1074,563,
 7729065683330441,5899882823528706,.499996633196319779697,-1074,563,
 7729065683354171,5899882823537763,.495055180891869895738,-1074,563,
 7729065683354192,5899882823537772,-.489904944293318036683,-1074,563,
 7729065683354378,5899882823537843,-.499551767362600754412,-1074,563,
 7729065683355109,5899882823538122,-.499830410723809791270,-1074,563,
 7729065683359364,5899882823539745,.499915652623111833812,-1074,563,
 7729065683369936,5899882823543780,.499989770947361650230,-1074,563,
 7753456497536190,5909184697835847,.499979882352204752940,-1074,563,
 7753456497537014,5909184697836161,.499819345169908120679,-1074,563,
 7753456497541134,5909184697837731,.499016659008147033845,-1074,563,
 7753456497541412,5909184697837837,.435855701043374473495,-1074,563,
 7753456497541420,5909184697837840,.484397831749396071268,-1074,563,
 7753456497541504,5909184697837872,.494090204162527893718,-1074,563,
 7753456497541546,5909184697837888,.498936390369028781988,-1074,563,
 7753456497548571,5909184697840565,.499994915965429528097,-1074,563,
 7942294164252990,5980711750167921,-.499878454392265357881,-1074,563,
 7942294164253237,5980711750168013,.498175492052428612191,-1074,563,
 7942294164253253,5980711750168020,-.477659070121244321316,-1074,563,
 7942294164253277,5980711750168029,-.441410913381765098955,-1074,563,
 7942294164253322,5980711750168046,-.498445619495278355733,-1074,563,
 7942294164255059,5980711750168700,-.499985275513574217820,-1074,563,
 7942294164264825,5980711750172376,.499993836180572477431,-1074,563,
 8012046509305654,6006916819282919,.499989726937894323695,-1074,563,
 8012046509306601,6006916819283274,.499815380330294061467,-1074,563,
 8012046509306665,6006916819283298,.491355867992803937742,-1074,563,
 8012046509306777,6006916819283340,.476551721401965649844,-1074,563,
 8012046509311328,6006916819285047,-.499998913979340960567,-1074,563,
 8095156314231791,6037991633008463,.499964202998383349692,-1074,563,
 8095156314231909,6037991633008508,-.493287499726219516545,-1074,563,
 8095156314231917,6037991633008510,.490220859411083933897,-1074,563,
 8095156314231925,6037991633008513,.473729218548385910119,-1074,563,
 8095156314234459,6037991633009459,-.499998024785401212841,-1074,563,
 8127503301001679,6050043044296763,-.499999712144082922400,-1074,563,
 8127503301007117,6050043044298787,-.499955884078547773427,-1074,563,
 8127503301011561,6050043044300441,-.462406275915776245338,-1074,563,
 8127503301011577,6050043044300446,.492724415741958611890,-1074,563,
 8127503301011620,6050043044300462,.497138149572091995471,-1074,563,
 8127503301011663,6050043044300479,-.498448116597816958044,-1074,563,
 8127503301012332,6050043044300728,-.499546071665342127396,-1074,563,
 8127503301012555,6050043044300811,-.499912056690127836266,-1074,563,
 8172636478209818,6066818160939082,-.491721627877953604455,-1074,563,
 8172636478209826,6066818160939084,.477610570912315499591,-1074,563,
 8172636478209853,6066818160939094,.499106741829462996273,-1074,563,
 8172636478210179,6066818160939215,.499393842531492848879,-1074,563,
 8172636478210831,6066818160939457,.499968043928312645581,-1074,563,
 8172636478224787,6066818160944637,.499988831021594922112,-1074,563,
 8172636478231765,6066818160947227,.499999222909681309961,-1074,563,
 8182544317654696,6070494505386877,-.499997096791461348697,-1074,563,
 8182544317659039,6070494505388487,.499993456774877093305,-1074,563,
 8182544317676322,6070494505394898,.486140525365763091264,-1074,563,
 8182544317676349,6070494505394909,-.498432409265932311375,-1074,563,
 8182544317676411,6070494505394931,.499955666764926819350,-1074,563,
 8343868806112156,6130044408161739,.499989686019540422092,-1074,563,
 8343868806114489,6130044408162597,-.499862267303277343542,-1074,563,
 8343868806114538,6130044408162614,.499712209458053517239,-1074,563,
 8343868806114557,6130044408162621,.479139047385902284019,-1074,563,
 8343868806119204,6130044408164329,-.499991697552049037184,-1074,563,
 8355919228149707,6134469392069128,.499753631511410906732,-1074,563,
 8355919228149786,6134469392069157,.498542917365513141547,-1074,563,
 8355919228149816,6134469392069169,-.489258619651952302092,-1074,563,
 8355919228149824,6134469392069171,.447327637143386907612,-1074,563,
 8355919228151347,6134469392069730,.499936274530481073857,-1074,563,
 8355919228152167,6134469392070032,-.499972403982137605813,-1074,563,
 8355919228162906,6134469392073974,-.499995940158839319761,-1074,563,
 8437646297787932,6164396217197738,-.499992746529245130007,-1074,563,
 8437646297835286,6164396217215036,-.499569020495409015480,-1074,563,
 8437646297835338,6164396217215054,.495574410523941605021,-1074,563,
 8437646297836934,6164396217215638,-.499638745141379841499,-1074,563,
 8437646297845174,6164396217218648,-.499987369253081690203,-1074,563,
 8554985304582939,6207111134004271,.499996192538127011287,-1074,563,
 8554985304598709,6207111134009993,-.499961249570917786022,-1074,563,
 8554985304602899,6207111134011513,-.462537133934825955212,-1074,563,
 8554985304602921,6207111134011521,-.481433713758244112997,-1074,563,
 8554985304602943,6207111134011528,.499669706418327467115,-1074,563,
 8554985304603260,6207111134011644,-.499885557402212199140,-1074,563,
 8554985304609928,6207111134014063,-.499994388039067000201,-1074,563,
 8782580996079924,6289135751539852,.499998972815982777397,-1074,563,
 8782580996088624,6289135751542968,-.499919456331404581506,-1074,563,
 8782580996094950,6289135751545232,.498990429735855502210,-1074,563,
 8782580996094978,6289135751545243,-.475721951421524745713,-1074,563,
 8782580996094989,6289135751545246,.462783898838071498834,-1074,563,
 8782580996095031,6289135751545262,-.499284672898038254689,-1074,563,
 8782580996095584,6289135751545460,-.499854200760170179475,-1074,563,
 8877618193246117,6323071879003176,-.499998439581218641711,-1074,563,
 8877618193270381,6323071879011817,-.498958951938139184729,-1074,563,
 8877618193270395,6323071879011821,.486781839058575904163,-1074,563,
 8877618193270412,6323071879011828,-.459104343302561058743,-1074,563,
 8877618193271083,6323071879012067,-.499670717679126212300,-1074,563,
 8877618193271434,6323071879012191,.499973399446673631480,-1074,563,
 8877618193285460,6323071879017186,.499997291459888672499,-1074,563,
 8703077354395482,6260605077005904,-.499997192871349700305,-60,56,
 8703077354428367,6260605077017732,-.499993655896437921489,-60,56,
 8703077354441273,6260605077022373,.499946908111602974195,-60,56,
 8703077354446233,6260605077024158,-.498836201630874286731,-60,56,
 8703077354446486,6260605077024248,.499612966346457387315,-60,56,
 8703077354447726,6260605077024694,.499917188824923690356,-60,56,
 9007199254740990,9007199254740991,-.000000000000000055511,-59,56,
 9007199254740991,9007199254740991,.499999999999999986122,-59,56,
 4503599627370497,4503599627370496,.499999999999999972244,-58,55,
 7188956797806559,8046885503818756,-.499996652729946127282,-57,55,
 7188956797839398,8046885503837134,.499939765641762145408,-57,55,
 7188956797842180,8046885503838692,-.498390784844768004409,-57,55,
 7188956797842248,8046885503838730,-.440837397872653507103,-57,55,
 7188956797842264,8046885503838739,-.486118953879240959904,-57,55,
 7188956797842289,8046885503838753,-.494371385139553804311,-57,55,
 7188956797842909,8046885503839100,-.499031680403095533083,-57,55,
 7188956797843881,8046885503839644,-.499886207846378210092,-57,55,
 7188956797858059,8046885503847578,.499994971007161991362,-57,55,
 9006440473862163,9006819856311127,-.499995441999062731461,-57,55,
 9006440473862167,9006819856311129,-.499911195075971746486,-57,55,
 9006440473862547,9006819856311319,-.491907737384353476525,-57,55,
 9006440473864165,9006819856312128,-.457829857047542862190,-57,55,
 9006440473864253,9006819856312172,-.455976424744534274550,-57,55,
 9007199254740990,9007199254740991,-.000000000000000055511,-57,55,
 9007199254740991,9007199254740991,.499999999999999986122,-57,55,
 4503599627370497,4503599627370496,.499999999999999972244,-56,54,
 7591484324372967,5847136561979296,-.499981048406945644485,-56,54,
 7591484324373128,5847136561979358,-.497021794689630792208,-56,54,
 7591484324386145,5847136561984371,-.499999401596270621813,-56,54,
 8003388475025288,6003670323545857,-.499985068568509449685,-56,54,
 8003388475030607,6003670323547852,-.499832909004251076038,-56,54,
 8003388475031868,6003670323548324,.464106153355865298380,-56,54,
 8003388475032036,6003670323548387,.475955290923631166316,-56,54,
 8003388475032364,6003670323548510,.499089321411172761987,-56,54,
 8003388475032380,6003670323548517,-.499782189296816523042,-56,54,
 8003388475044783,6003670323553169,-.499991398050908080038,-56,54,
 8003388475064278,6003670323560481,-.499997736438749718750,-56,54,
 8715649185216744,6265125251966963,-.499991591603967959619,-56,54,
 8715649185231938,6265125251972423,.499588325360256743747,-56,54,
 8715649185231952,6265125251972429,-.468557382234573593064,-56,54,
 8715649185233037,6265125251972819,-.499849720846217974412,-56,54,
 8715649185234481,6265125251973337,.499978724318700070537,-56,54,
 8715649185257649,6265125251981664,.499996320642860119397,-56,54,
 4823460372522870,6591348016351488,.499994558800535618315,-55,54,
 4823460372575102,6591348016387176,.498132819295857796426,-55,54,
 4823460372575162,6591348016387217,.493688959015306015742,-55,54,
 4823460372575181,6591348016387230,.475615069926411463110,-55,54,
 4823460372575986,6591348016387780,.499326611136599254642,-55,54,
 4823460372576428,6591348016388082,.499923507036214511508,-55,54,
 4823460372579803,6591348016390388,.499956365542000977754,-55,54,
 4823460372583178,6591348016392694,.499989223241027409737,-55,54,
 6866204439031579,7864176467128935,-.499965444145146696190,-55,54,
 6866204439033416,7864176467129986,.499891128174153550167,-55,54,
 6866204439034895,7864176467130833,.482900311773712908840,-55,54,
 6866204439034902,7864176467130837,.491609618254359379387,-55,54,
 6866204439034909,7864176467130842,-.499681075264996193478,-55,54,
 6866204439045587,7864176467136957,-.499970420455253267921,-55,54,
 6866204439122631,7864176467181078,-.499997936431800507137,-55,54,
 7429938090843348,8180643790962660,-.499986134171461763778,-55,54,
 7429938090848069,8180643790965259,-.499909355277498841028,-55,54,
 7429938090848841,8180643790965684,-.499261341522934521429,-55,54,
 7429938090848930,8180643790965732,.496927354361858753998,-55,54,
 7429938090848950,8180643790965744,-.492693163416879767963,-55,54,
 7429938090848970,8180643790965755,-.482313681195633108862,-55,54,
 7429938090849128,8180643790965841,.499684228351694538256,-55,54,
 7429938090855680,8180643790969449,-.499997396803876562466,-55,54,
 7477266621093778,8206657683674613,.499916103992655528968,-55,54,
 7477266621094106,8206657683674793,.497758674670464783265,-55,54,
 7477266621094270,8206657683674883,.496679960007888940627,-55,54,
 7477266621095613,8206657683675621,-.499958538759973539043,-55,54,
 7477266621103035,8206657683679694,-.499996468363917930635,-55,54,
 8992428863881934,8999811029186598,.499997683620159410264,-55,54,
 8992428863890461,8999811029190866,-.499962199993087914837,-55,54,
 8992428863894941,8999811029193107,.338923658397912669291,-55,54,
 8992428863894997,8999811029193135,.361909731624266307525,-55,54,
 8992428863895311,8999811029193292,.490795927927561483587,-55,54,
 8992428863895333,8999811029193303,.499826170980555760373,-55,54,
 9007199254740990,9007199254740991,-.000000000000000055511,-55,54,
 9007199254740991,9007199254740991,.499999999999999986122,-55,54,
 4503599627370497,4503599627370496,.499999999999999972244,-54,53,
 4684840655049689,4593326314161877,-.499996010889278782196,-54,53,
 4684840655102366,4593326314187701,-.499985506939118988391,-54,53,
 4684840655107178,4593326314190060,-.499130291877798303814,-54,53,
 4684840655107182,4593326314190061,.461801424842446965932,-54,53,
 4684840655107690,4593326314190311,-.499870551693208043301,-54,53,
 5261029272887705,4867604079314827,-.499987659696164662133,-54,53,
 5261029272896611,4867604079318947,-.499919064296689471806,-54,53,
 5261029272898550,4867604079319843,.499871302013960498658,-54,53,
 5261029272899125,4867604079320110,-.499675134000991767534,-54,53,
 5261029272899527,4867604079320295,.469337618550355581894,-54,53,
 5261029272899540,4867604079320301,.483260916518315381338,-54,53,
 5261029272899553,4867604079320307,.497184214486267750581,-54,53,
 5261029272899700,4867604079320376,-.499221570030480187477,-54,53,
 5261029272945019,4867604079341341,-.499995414743911362832,-54,53,
 5357701474447716,4912121981779879,.494249748046065955096,-54,53,
 5357701474447740,4912121981779890,.496255750523969933879,-54,53,
 5357701474447788,4912121981779913,-.499732244520296034327,-54,53,
 5357701474448281,4912121981780138,.499807723040183777077,-54,53,
 5357701474450277,4912121981781053,.499973595653423065555,-54,53,
 5357701474456758,4912121981784025,-.499988820147812385988,-54,53,
 5357701474480686,4912121981794993,.499995628831598095050,-54,53,
 6544763739196528,5429087910236251,-.499982161963267111518,-54,53,
 6544763739200605,5429087910237942,-.499948236591306815230,-54,53,
 6544763739207093,5429087910240633,-.499648971596050024882,-54,53,
 6544763739207445,5429087910240778,.497901173445694716575,-54,53,
 6544763739207486,5429087910240796,-.496702360796857345728,-54,53,
 6544763739207498,5429087910240800,.480486848693117340110,-54,53,
 6544763739208759,5429087910241324,-.499880387427475454219,-54,53,
 6544763739252861,5429087910259615,.499995990558680954553,-54,53,
 6748349574653774,5512881699236487,.494731681917480915340,-54,53,
 6748349574654058,5512881699236603,.497791782984676077823,-54,53,
 6748349574654271,5512881699236691,-.499913141216529428677,-54,53,
 6748349574655571,5512881699237222,-.499990143413274332843,-54,53,
 6748349574681713,5512881699247899,.499999852325649172543,-54,53,
 6750030179307077,5513568118765465,.499993564817739647433,-54,53,
 6750030179323247,5513568118772069,.499835943026970241630,-54,53,
 6750030179323842,5513568118772313,-.495840852730936421603,-54,53,
 6750030179323913,5513568118772342,-.498686319116208611112,-54,53,
 6750030179324650,5513568118772642,.499945952340338644297,-54,53,
 6921931465612150,5583333051969495,-.498586316596741325809,-54,53,
 6921931465612187,5583333051969509,.423789320114475085833,-54,53,
 6921931465612207,5583333051969517,.489938312931332216284,-54,53,
 6921931465612331,5583333051969568,-.499937931604413670593,-54,53,
 6921931465615294,5583333051970763,-.499964645926479488714,-54,53,
 6921931465618257,5583333051971958,-.499991360504310979930,-54,53,
 6921931465655990,5583333051987176,-.499994089981501617433,-54,53,
 7262316160955343,5718965322182432,.484313732489248613750,-54,53,
 7262316160955404,5718965322182457,-.497392590852901811624,-54,53,
 7262316160955564,5718965322182520,-.498589504537710076349,-54,53,
 7262316160955724,5718965322182583,-.499786418223212321359,-54,53,
 7262316160957418,5718965322183250,-.499958741911037012846,-54,53,
 7262316160974965,5718965322190159,-.499972774675140144542,-54,53,
 7262316161010059,5718965322203976,.499999134756662203711,-54,53,
 7667186625738938,5876218072081561,-.499988382369713571198,-54,53,
 7667186625744833,5876218072083819,.497165712312511237172,-54,53,
 7667186625744854,5876218072083828,-.455516181499333419103,-54,53,
 7667186625744940,5876218072083861,-.499832508538431276061,-54,53,
 7667186625745595,5876218072084111,.499851279704235657251,-54,53,
 7667186625751597,5876218072086412,-.499992847462964397462,-54,53,
 7667186625764256,5876218072091263,-.499997316560865947709,-54,53,
 7756304500083329,5910269880161767,-.499977247429803121884,-54,53,
 7756304500086476,5910269880162966,-.499904940613483900062,-54,53,
 7756304500086686,5910269880163046,-.490367227107229442680,-54,53,
 7756304500086728,5910269880163062,-.488459684406108525494,-54,53,
 7756304500096959,5910269880166960,-.499981843430894420749,-54,53,
 7756304500151479,5910269880187731,.499999726936961113231,-54,53,
 8671512143453645,6249241462609408,-.499998999145981268683,-54,53,
 8671512143471251,6249241462615751,.499949943180864515867,-54,53,
 8671512143472669,6249241462616262,.450303663235710136255,-54,53,
 8671512143472683,6249241462616267,.494947494039992588496,-54,53,
 8671512143472708,6249241462616277,-.496759950952370304025,-54,53,
 8671512143472819,6249241462616317,-.499941006718618369740,-54,53,
 4889567999035882,6636362952470382,-.438494925958237429428,-53,53,
 4889567999035904,6636362952470396,.491247843048789122190,-53,53,
 4889567999035932,6636362952470415,.492738639966774338548,-53,53,
 4889567999036072,6636362952470511,-.499807375444115666698,-53,53,
 4889567999036741,6636362952470965,-.499902263390647678288,-53,53,
 4889567999037410,6636362952471419,-.499997151368238255438,-53,53,
 4930099044553583,6663811554951288,.499997698221532580970,-53,53,
 4930099044555693,6663811554952714,.499988152662350055725,-53,53,
 4930099044593673,6663811554978382,.499816280416058509542,-53,53,
 4930099044602113,6663811554984086,.499778073156857651172,-53,53,
 4930099044602295,6663811554984210,-.499274883498954777248,-53,53,
 4930099044602332,6663811554984235,-.493587847214974558840,-53,53,
 4930099044602335,6663811554984237,-.466099709137899194141,-53,53,
 5026050879165167,6728346136541044,.499999178124527795499,-53,53,
 5026050879169395,6728346136543874,.499948364344089231963,-53,53,
 5026050879176732,6728346136548786,-.499666780559283638941,-53,53,
 5026050879176980,6728346136548951,.498438091132751034676,-53,53,
 5026050879177104,6728346136549034,.497490526977232590797,-53,53,
 5026050879177113,6728346136549041,-.478384699453449729693,-53,53,
 5026050879177161,6728346136549073,-.349719240417179864401,-53,53,
 5026050879177851,6728346136549534,.499846733212245533081,-53,53,
 5035712052438159,6734809711180504,-.499946391670204355309,-53,53,
 5035712052438814,6734809711180942,-.498297877310549466486,-53,53,
 5035712052438817,6734809711180944,-.492183456634158564981,-53,53,
 5035712052438835,6734809711180956,-.455496932575825704841,-53,53,
 5035712052438977,6734809711181051,-.499414353894176291824,-53,53,
 5035712052439958,6734809711181707,-.499998792756819338791,-53,53,
 5280619103510394,6896636024447707,-.499968383371316113981,-53,53,
 5280619103515570,6896636024451087,-.499691635298725491237,-53,53,
 5280619103516864,6896636024451932,-.499622448539408776605,-53,53,
 5280619103516962,6896636024451995,.495746006095023793457,-53,53,
 5280619103516982,6896636024452009,-.443974717449042520400,-53,53,
 5280619103524213,6896636024456730,.499997683572815721641,-53,53,
 5388947655816329,6967016959166028,.499986722495041378791,-53,53,
 5388947655822930,6967016959170295,.499954499535850437066,-53,53,
 5388947655827967,6967016959173552,-.496585769915668820142,-53,53,
 5388947655827984,6967016959173562,.492506708822934764055,-53,53,
 5388947655827998,6967016959173572,-.457652426333522357912,-53,53,
 5388947655828066,6967016959173615,.498717488620661550316,-53,53,
 5388947655828247,6967016959173733,-.499768473046759286460,-53,53,
 5388947655828889,6967016959174148,-.499923099529367388902,-53,53,
 5388947655874454,6967016959203602,-.499994121670146249150,-53,53,
 5828367993111451,7245500109993079,-.499997800262801336121,-53,53,
 5828367993164761,7245500110026215,-.499378127165409073065,-53,53,
 5828367993164872,7245500110026283,.495108250161278991036,-53,53,
 5828367993164909,7245500110026306,.493270375936695680739,-53,53,
 5828367993165308,7245500110026555,-.499521835300611129578,-53,53,
 5828367993166949,7245500110027575,-.499952959801945599875,-53,53,
 5828367993174023,7245500110031972,-.499983293391047738061,-53,53,
 5842346135977690,7254183328391775,-.499999374070848595215,-53,53,
 5842346135984671,7254183328396108,.499787426752914573855,-53,53,
 5842346135985420,7254183328396573,.499907798152892978528,-53,53,
 5842346135986169,7254183328397039,-.499971830476935571235,-53,53,
 6083309738839051,7402268770183215,-.499992307593177346134,-53,53,
 6083309738850992,7402268770190480,-.499920029259886406122,-53,53,
 6083309738851444,7402268770190755,-.499498568064491770055,-53,53,
 6083309738852057,7402268770191127,.454612838363381745825,-53,53,
 6083309738852062,7402268770191130,.496652898774624824670,-53,53,
 6083309738852205,7402268770191217,.498998626535647712658,-53,53,
 6083309738855678,7402268770193331,-.499975412141760407679,-53,53,
 6083309738893618,7402268770216414,-.499997054485089138752,-53,53,
 6466710109340863,7631968715703771,-.499994641039391485042,-53,53,
 6466710109370126,7631968715721039,-.499979858349925068830,-53,53,
 6466710109370853,7631968715721468,-.499671935974900915528,-53,53,
 6466710109371036,7631968715721575,.488025931689291007433,-53,53,
 6466710109371048,7631968715721583,-.430813552398356346934,-53,53,
 6466710109371075,7631968715721599,-.498202391595586916204,-53,53,
 6466710109383051,7631968715728665,.499992485642396445601,-53,53,
 6683043781680797,7758576349418538,.497856153574627684219,-53,53,
 6683043781680971,7758576349418639,.499161015540647237760,-53,53,
 6683043781681145,7758576349418741,-.499534122494648045743,-53,53,
 6683043781681872,7758576349419163,-.499829325679329300014,-53,53,
 6683043781685681,7758576349421373,.499999519983395484308,-53,53,
 7533119765518231,8237251406740627,.499996813253231454812,-53,53,
 7533119765568043,8237251406767861,.499975815235880812638,-53,53,
 7533119765574783,8237251406771546,.498768438075093404803,-53,53,
 7533119765574794,8237251406771553,-.487138576933489722871,-53,53,
 7533119765574997,8237251406771664,-.499786217547221126192,-53,53,
 7533119765576345,8237251406772400,.499972306812331528980,-53,53,
 7593583889909311,8270243234270945,.496869304213878834864,-53,53,
 7593583889909322,8270243234270951,.486970743526932907074,-53,53,
 7593583889909333,8270243234270957,.477072182839982640679,-53,53,
 7593583889910018,8270243234271330,.497025449144077732861,-53,53,
 7593583889921128,8270243234277380,.499479152836333900243,-53,53,
 7593583889923451,8270243234278645,.499992199412543063857,-53,53,
 7593583889968306,8270243234303071,.499997630339673827443,-53,53,
 7618936725667564,8284037735147738,-.499984780114320830475,-53,53,
 7618936725668973,8284037735148503,.499890865257613180330,-53,53,
 7618936725669065,8284037735148554,-.484503343847605398146,-53,53,
 7618936725669076,8284037735148559,.495623435498489560565,-53,53,
 7618936725675766,8284037735152197,-.499998944812552846923,-53,53,
 8259236168422439,8625113672349162,-.499670832386556871068,-53,53,
 8259236168422755,8625113672349326,.499601793020266872983,-53,53,
 8259236168422935,8625113672349420,.486529237870844009364,-53,53,
 8259236168422958,8625113672349432,.495969966935010627593,-53,53,
 8259236168433455,8625113672354914,-.499711209307835267300,-53,53,
 8259236168506436,8625113672393021,-.499978803299006823308,-53,53,
 8259236168511944,8625113672395897,-.499999005904711109361,-53,53,
 8460168363172357,8729399874891135,.499997566423704654734,-53,53,
 8460168363172954,8729399874891443,.499289164194492889943,-53,53,
 8460168363173016,8729399874891475,.485815259774755877254,-53,53,
 8791115980768638,8898501745255821,.499979507054029590184,-53,53,
 8791115980769047,8898501745256028,.498000109403969994275,-53,53,
 8791115980769049,8898501745256030,-.489784630926848973820,-53,53,
 8791115980769073,8898501745256042,-.343201514896685571939,-53,53,
 8791115980769211,8898501745256111,.499651402276432228186,-53,53,
 8791115980774696,8898501745258888,-.499998955453327541649,-53,53,
 8837821264158254,8922108332903178,-.499997305605935962370,-53,53,
 8837821264162553,8922108332905347,.499970825638752879462,-53,53,
 8837821264166852,8922108332907517,.499938956355662895259,-53,53,
 8837821264166957,8922108332907571,-.499363985329173018738,-53,53,
 8837821264166959,8922108332907572,-.489826898504125329873,-53,53,
 8837821264166983,8922108332907584,-.375381856603561973373,-53,53,
 8837821264189815,8922108332919109,-.499998669318908618251,-53,53,
 9007199254740990,9007199254740991,-.000000000000000055511,-53,53,
 9007199254740991,9007199254740991,.499999999999999986122,-53,53,
 4503599627370497,4503599627370496,.499999999999999972244,-52,52,
 9007199254733488,6369051672523119,.499980801879635608946,-52,52,
 9007199254740214,6369051672525498,-.499914067214404958350,-52,52,
 9007199254740890,6369051672525737,-.497822026155504107103,-52,52,
 9007199254740972,6369051672525765,.493556002493042563362,-52,52,
 9007199254740991,6369051672525772,.211070423765247960588,-52,52,
 4503599627370496,6369051672525773,-.435376185641478267398,-51,52,
 4503599627370497,6369051672525773,.271730595545069217751,-51,52,
 4503599627370684,6369051672525906,-.499301322571931013736,-51,52,
 4503599627386345,6369051672536979,.499998830090416403081,-51,52,
 9007199254740990,9007199254740991,-.000000000000000055511,-51,52,
 9007199254740991,9007199254740991,.499999999999999986122,-51,52,
 4503599627370497,4503599627370496,.499999999999999972244,-50,51,
 5812361472645307,5116302274333294,-.468273985322003513817,-50,51,
 5812361472645316,5116302274333297,.492828630689501961673,-50,51,
 5812361472645341,5116302274333308,.495891452943667747151,-50,51,
 5812361472645366,5116302274333319,.498954275197809869564,-50,51,
 5812361472645700,5116302274333466,.499873580510878750254,-50,51,
 5812361472704470,5116302274359332,.499956069393056673941,-50,51,
 5812361472733855,5116302274372265,.499997264796047093996,-50,51,
 5995926477567811,5196465361196521,-.499995377685215177821,-50,51,
 5995926477567841,5196465361196533,.499993983352804275043,-50,51,
 5995926477569131,5196465361197092,.499536507956874885787,-50,51,
 5995926477583501,5196465361203319,.494440440759600830098,-50,51,
 5995926477585451,5196465361204164,.493748907057632193893,-50,51,
 5995926477585474,5196465361204174,.460407417172122408384,-50,51,
 5995926477585481,5196465361204177,.493738268076528679424,-50,51,
 6025316007217847,5209185245784199,-.499996542630660053684,-50,51,
 6025316007235167,5209185245791686,-.499451771416025568816,-50,51,
 6025316007235514,5209185245791835,.499924038844197798103,-50,51,
 6025316007237057,5209185245792503,-.499969692529362361685,-50,51,
 6084210162775937,5234581800098409,-.499990156967087818484,-50,51,
 6084210162777627,5234581800099136,-.499853287148401935271,-50,51,
 6084210162778250,5234581800099404,-.499211115637162178432,-50,51,
 6084210162778429,5234581800099481,-.497421470855571430438,-50,51,
 6084210162778443,5234581800099487,-.474935129922980808421,-50,51,
 6084210162778694,5234581800099594,.499641411081575339693,-50,51,
 6084210162797728,5234581800107782,.499999498141931974220,-50,51,
 6369701198561104,5355985805087724,-.494414401517056319619,-50,51,
 6369701198561111,5355985805087726,.448572990425548445835,-50,51,
 6369701198561280,5355985805087798,-.499302832674913023700,-50,51,
 6369701198561701,5355985805087975,-.499632545846433484264,-50,51,
 6369701198562122,5355985805088152,-.499962259023803266395,-50,51,
 6369701198568261,5355985805090732,.499980473813158593063,-50,51,
 6369701198583398,5355985805097097,-.499997842797205160714,-50,51,
 6469155038060348,5397636910612879,.499975090155806560492,-50,51,
 6469155038060837,5397636910613084,-.497768528535161918355,-50,51,
 6469155038060861,5397636910613094,-.485387847244119601402,-50,51,
 6469155038164058,5397636910656145,.499993947343487179174,-50,51,
 6482505237450668,5403203510123427,-.499992033005025218519,-50,51,
 6482505237452602,5403203510124232,.499787821199111975426,-50,51,
 6482505237454356,5403203510124963,.484076272115856646614,-50,51,
 6482505237454368,5403203510124968,.485109032327033111655,-50,51,
 6482505237454440,5403203510124998,.491305593593994697179,-50,51,
 6482505237454536,5403203510125038,.499567675283017598616,-50,51,
 6482505237496177,5403203510142392,.499998309981270373369,-50,51,
 6527239159277648,5421814442184546,.499992425419743694147,-50,51,
 6527239159286641,5421814442188281,.492390340313269546806,-50,51,
 6527239159286658,5421814442188289,-.447132536976702837465,-50,51,
 6527239159286694,5421814442188304,-.495533924179027649342,-50,51,
 6527239159286759,5421814442188331,-.499591984405551879782,-50,51,
 6527239159287751,5421814442188743,-.499985765110108836832,-50,51,
 6527239159328411,5421814442205630,-.499997005202692575073,-50,51,
 6551699081829934,5431963691297366,.499993404907310680358,-50,51,
 6551699081984655,5431963691361505,.499951986471441278298,-50,51,
 6551699081998253,5431963691367142,.498946506869144986908,-50,51,
 6551699081998282,5431963691367155,-.479214190218181767448,-50,51,
 6551699081998294,5431963691367159,.495340004090502827471,-50,51,
 6551699081998803,5431963691367370,.499347079346346230720,-50,51,
 6551699081999628,5431963691367712,.499947938044204246289,-50,51,
 6698297894366869,5492399466634524,.499990783186411394807,-50,51,
 6698297894367491,5492399466634780,-.489518333778218248756,-50,51,
 6698297894367530,5492399466634795,.499885435414923368956,-50,51,
 6698297894404807,5492399466650078,.499995778558881976861,-50,51,
 7036523586172055,5629359199826227,-.499977076479683005750,-50,51,
 7036523586229526,5629359199849215,.473101073430466461164,-50,51,
 7036523586229556,5629359199849227,.473400221576285158629,-50,51,
 7036523586230871,5629359199849753,.486512881942868467627,-50,51,
 7036523586232196,5629359199850283,.499725258308153571304,-50,51,
 7036523586232221,5629359199850293,.499974548427773638025,-50,51,
 7036523586232226,5629359199850296,-.499975593548304480418,-50,51,
 7060691919416123,5639018487047221,-.499997417978726737755,-50,51,
 7060691919430933,5639018487053134,.499986313901729828148,-50,51,
 7060691919441596,5639018487057393,-.499890358875804554102,-50,51,
 7060691919442485,5639018487057747,.499838576353724090356,-50,51,
 7060691919442490,5639018487057749,.496462473627167799241,-50,51,
 7060691919442585,5639018487057787,.432316521822463947475,-50,51,
 7060691919442630,5639018487057805,.401931597283304626138,-50,51,
 7060691919445743,5639018487059048,.499970039579795696477,-50,51,
 7099291104853528,5654411089973298,.496733207607974899953,-50,51,
 7099291104853538,5654411089973302,.479110466449763060376,-50,51,
 7099291104853568,5654411089973314,.426242242975110713016,-50,51,
 7099291104853754,5654411089973388,.498459257431702736974,-50,51,
 7099291104853980,5654411089973479,-.499814692746001990876,-50,51,
 7099291104855115,5654411089973931,-.499995814235341529772,-50,51,
 7214758118816112,5700208941387017,.499998456257135903548,-50,51,
 7214758118816636,5700208941387224,.499972405271001549477,-50,51,
 7214758118826068,5700208941390950,.499503486235160618703,-50,51,
 7214758118828688,5700208941391985,.499373230515194295498,-50,51,
 7214758118828769,5700208941392017,.497460806575818864050,-50,51,
 7214758118828784,5700208941392023,.423032579920359257835,-50,51,
 7236286776309236,5708707246770702,-.499997344416376325713,-50,51,
 7236286776320155,5708707246775009,-.499987923975967970669,-50,51,
 7236286776331074,5708707246779316,-.499978506785025436737,-50,51,
 7236286776332083,5708707246779714,-.499886053249462071088,-50,51,
 7236286776332590,5708707246779913,.486285278694999868137,-50,51,
 7236286776332595,5708707246779915,.458535489069170720778,-50,51,
 7236286776332623,5708707246779927,-.496863332835485096243,-50,51,
 7236286776332732,5708707246779969,.498191253321186973728,-50,51,
 7236286776333092,5708707246780112,-.499793599741646506603,-50,51,
 7243607294766743,5711594095655758,-.499986622183477815505,-50,51,
 7243607294773074,5711594095658254,-.498978553101023803758,-50,51,
 7243607294773244,5711594095658321,-.476364215453130523411,-50,51,
 7243607294773249,5711594095658322,.494889147418854431783,-50,51,
 7243607294773457,5711594095658404,.499029042892825730034,-50,51,
 7243607294777840,5711594095660132,.499726936188332573255,-50,51,
 7243607294779301,5711594095660708,.499959567170658437575,-50,51,
 7243607294844039,5711594095686232,-.499999379209933956451,-50,51,
 7273994527114592,5723561744386821,-.480219004538521812398,-50,51,
 7273994527114597,5723561744386822,.486912577376900117958,-50,51,
 7273994527114625,5723561744386834,-.497150563896749566077,-50,51,
 7273994527114747,5723561744386882,-.499139965160756350280,-50,51,
 7273994527114808,5723561744386905,.499865334207089315177,-50,51,
 7273994527119828,5723561744388880,.499973576920971563196,-50,51,
 7273994527120832,5723561744389275,.499995225381967633342,-50,51,
 7311312768865156,5738224939948787,.499998880674519151506,-50,51,
 7311312768881860,5738224939955342,.499930290229285393252,-50,51,
 7311312768882678,5738224939955664,-.499713873455866900741,-50,51,
 7311312768883175,5738224939955859,-.466490339664539528994,-50,51,
 7311312768883180,5738224939955860,.495614524860490446774,-50,51,
 7311312768883338,5738224939955922,.498128243851092106659,-50,51,
 7548454164465190,5830541601112944,.499989776213429512879,-50,51,
 7548454164492437,5830541601123468,-.499966503136250628524,-50,51,
 7548454164494032,5830541601124084,-.498752801869890111039,-50,51,
 7548454164495003,5830541601124459,-.491117376240546035522,-50,51,
 7548454164495047,5830541601124476,-.497980446552454932038,-50,51,
 7548454164501471,5830541601126957,-.499988712622623401809,-50,51,
 7571434122712867,5839409892592737,.499996506293219285085,-50,51,
 7571434122741325,5839409892603712,-.494020614868942642224,-50,51,
 7571434122741330,5839409892603713,.434085011469613176669,-50,51,
 7571434122741395,5839409892603738,.499458153870780888208,-50,51,
 7571434122743537,5839409892604564,.499908477245991760978,-50,51,
 7571434122743996,5839409892604742,-.499995024903092747929,-50,51,
 7938013874374808,5979099959583902,-.499612318999983036162,-50,51,
 7938013874374885,5979099959583930,.499499056590760935819,-50,51,
 7938013874374938,5979099959583950,.459926367062230259025,-50,51,
 7938013874374954,5979099959583956,.485715743808321111085,-50,51,
 7938013874374962,5979099959583959,.498610432181364259799,-50,51,
 7938013874375971,5979099959584339,.499953003219260167762,-50,51,
 7938013874378220,5979099959585186,.499972271976977848191,-50,51,
 7938013874380469,5979099959586033,.499991540614709404038,-50,51,
 7938013874433359,5979099959605953,-.499999993197654471446,-50,51,
 7969971748345281,5991123583769675,-.496183916609790999713,-50,51,
 7969971748345305,5991123583769684,-.475639644271246522400,-50,51,
 7969971748345329,5991123583769693,-.455095371932715626882,-50,51,
 7969971748345422,5991123583769727,.499513683378963308939,-50,51,
 7969971748347029,5991123583770332,-.499876081321330604150,-50,51,
 7969971748348197,5991123583770770,.499945172423939153197,-50,51,
 7969971748353308,5991123583772692,-.499980831471477415584,-50,51,
 7969971748392589,5991123583787456,-.499999118321503804520,-50,51,
 8345810168405835,6130757503321870,.499994691490034063357,-50,51,
 8345810168414904,6130757503325202,-.496862672252497570151,-50,51,
 8345810168414923,6130757503325208,.481752358078482975204,-50,51,
 8345810168414953,6130757503325220,-.499381804556827074068,-50,51,
 8345810168418133,6130757503326388,-.499603044012002522435,-50,51,
 8345810168423698,6130757503328432,-.499990213594001181482,-50,51,
 8515808456089786,6192882349084672,-.499901226357777927861,-50,51,
 8515808456089797,6192882349084675,.499819187222948030433,-50,51,
 8515808456089973,6192882349084739,.495345804514212041135,-50,51,
 8515808456091062,6192882349085135,.467666748989202956675,-50,51,
 8515808456091150,6192882349085167,.465430057632541036017,-50,51,
 8515808456096942,6192882349087274,-.499966719296751172549,-50,51,
 8515808456100520,6192882349088575,-.499999466176208666141,-50,51,
 8579801239792273,6216107275975971,-.499678500114051667393,-50,51,
 8579801239792411,6216107275976020,.491153461480980036322,-50,51,
 8579801239792469,6216107275976042,-.498207018428474458627,-50,51,
 8579801239793587,6216107275976446,.499982351578852394844,-50,51,
 8579801239846597,6216107275995649,.499998872354987148728,-50,51,
 8666221177833595,6247334669057011,.499168050276744555447,-50,51,
 8666221177834050,6247334669057176,-.499866817912025602698,-50,51,
 8666221177836042,6247334669057893,.499962945922938680363,-50,51,
 8666221177847453,6247334669062006,.499991777224624843428,-50,51,
 8746614672421072,6276244942596556,.499997859853604666999,-50,51,
 8746614672443261,6276244942604518,-.499989741157266217901,-50,51,
 8746614672446051,6276244942605519,-.499943115472389664048,-50,51,
 8746614672446182,6276244942605566,-.499582503302579350893,-50,51,
 8746614672446968,6276244942605848,-.497418830291108788313,-50,51,
 8746614672447099,6276244942605895,-.497058218123762247274,-50,51,
 8746614672447110,6276244942605898,.449536947783403505250,-50,51,
 8848436869363688,6312671145218770,.499999512046304921488,-50,51,
 8848436869418612,6312671145238362,.499982012399772673818,-50,51,
 8848436869421093,6312671145239248,-.499800295798097035788,-50,51,
 8848436869422419,6312671145239720,.499106862284692319169,-50,51,
 8848436869422503,6312671145239750,.462838537456164026668,-50,51,
 8848436869422520,6312671145239757,-.473072909235341146604,-50,51,
 8848436869422576,6312671145239777,-.497251792454458211856,-50,51,
 8848436869422747,6312671145239838,-.499655167998939033699,-50,51,
 8957999189156421,6351633003430698,-.499367408427567423264,-50,51,
 8957999189156469,6351633003430715,-.482264720266707444605,-50,51,
 8957999189158466,6351633003431423,-.499888298281334645876,-50,51,
 8957999189158875,6351633003431568,-.499992476262018593205,-50,51,
 8957999189197290,6351633003445187,-.499997373971698328943,-50,51,
 4630540339075013,6458188561134194,.499988846475325818803,-49,51,
 4630540339110334,6458188561158825,.499987105058442861258,-49,51,
 4630540339111616,6458188561159719,.499081063471343051590,-49,51,
 4630540339111768,6458188561159825,.495853514070594444692,-49,51,
 4630540339111801,6458188561159849,-.491689309154797931039,-49,51,
 4630540339112181,6458188561160114,-.499758182665224884755,-49,51,
 4751802502325456,6542203906759727,-.499995997836639145186,-49,51,
 4751802502330642,6542203906763296,.499961265005090692948,-49,51,
 4751802502333235,6542203906765081,.499939895695416262633,-49,51,
 4751802502333726,6542203906765420,-.499678497082545719357,-49,51,
 4751802502333864,6542203906765514,.498392097204822241122,-49,51,
 4751802502333877,6542203906765523,.447485703912981461474,-49,51,
 4751802502372621,6542203906792195,-.499999096554129910469,-49,51,
 4918372782516509,6655881884560533,.499998672845462054313,-49,51,
 4918372782543596,6655881884578861,.499987583587583397443,-49,51,
 4918372782547542,6655881884581531,.499912127749251533365,-49,51,
 4918372782548445,6655881884582143,-.499091454920861096775,-49,51,
 4918372782548454,6655881884582149,-.409380527173669435760,-49,51,
 4918372782548980,6655881884582505,-.499608527736368730211,-49,51,
 4961703275491831,6685136501617297,.499998067775643174972,-49,51,
 4961703275492830,6685136501617970,.499872738166894689569,-49,51,
 4961703275494828,6685136501619316,.499622078746142857236,-49,51,
 4961703275494911,6685136501619372,.414526580876454979753,-49,51,
 4961703275494923,6685136501619380,.498609159497666229401,-49,51,
 5155187794669665,6814235368858231,-.499996436370779639823,-49,51,
 5155187794672213,6814235368859914,.499928629520455133112,-49,51,
 5155187794693234,6814235368873807,.499310407243793115530,-49,51,
 5155187794695145,6814235368875070,.499254203814080450067,-49,51,
 5155187794695478,6814235368875291,-.417553078126193092171,-49,51,
 5155187794695493,6814235368875300,.496104251515969623547,-49,51,
 5155187794695608,6814235368875377,-.499189554561262047955,-49,51,
 5357710127467854,6946795136409791,-.499998011182370059746,-49,51,
 5357710127491809,6946795136425321,-.499910906901492080811,-49,51,
 5357710127493896,6946795136426673,.499887955434110369229,-49,51,
 5357710127494513,6946795136427074,-.499692352205689762437,-49,51,
 5357710127495130,6946795136427474,-.499272659868522146042,-49,51,
 5357710127495150,6946795136427486,.466705288018845056429,-49,51,
 5363132893474751,6950309820517549,-.499998777015444004761,-49,51,
 5363132893502672,6950309820535640,.499990121964476277991,-49,51,
 5363132893506541,6950309820538148,-.499975604677656693768,-49,51,
 5363132893510410,6950309820540655,-.499941332224072975785,-49,51,
 5363132893510589,6950309820540770,.486878552677584747804,-49,51,
 5363132893510606,6950309820540782,-.497613413560905943441,-49,51,
 5365726582658915,6951990252903790,.499990632572869629103,-49,51,
 5365726582680557,6951990252917810,.499960388406677131649,-49,51,
 5365726582682113,6951990252918818,.499218909638481834176,-49,51,
 5365726582682502,6951990252919070,.499033539923596417601,-49,51,
 5365726582682607,6951990252919139,-.480450942905894542990,-49,51,
 5365726582682624,6951990252919150,-.467605573459303298011,-49,51,
 5365726582682661,6951990252919174,-.498471534075606188059,-49,51,
 5365726582718236,6951990252942220,-.499999921637984799469,-49,51,
 5483096108824863,7027612623436251,-.499163861327091803608,-49,51,
 5483096108824891,7027612623436268,.444453170983799003463,-49,51,
 5483096108824902,7027612623436275,.493731290820207856982,-49,51,
 5483096108825289,7027612623436524,-.499847584030635699163,-49,51,
 5483096108825431,7027612623436614,.499924508399159643852,-49,51,
 5483096108829794,7027612623439410,.499964221002294223449,-49,51,
 5483096108834157,7027612623442207,-.499996067506985417966,-49,51,
 5494838942516750,7035133916846122,-.499995141384368387619,-49,51,
 5494838942549092,7035133916866826,-.499066399979940679399,-49,51,
 5494838942549142,7035133916866858,-.491149560095437591276,-49,51,
 5494838942549595,7035133916867148,-.499422990748476105786,-49,51,
 5494838942550601,7035133916867791,.499863827670239055644,-49,51,
 5494838942556159,7035133916871349,.499899747851420463232,-49,51,
 5494838942570054,7035133916880244,.499989540431784878333,-49,51,
 5525992699215123,7055049065887113,-.499988769685874620852,-49,51,
 5525992699363311,7055049065981709,-.499968975696593625578,-49,51,
 5525992699368891,7055049065985271,-.499806298702096974456,-49,51,
 5525992699368985,7055049065985331,-.494785637133721761832,-49,51,
 5525992699369010,7055049065985346,.463996453708845303782,-49,51,
 5525992699369021,7055049065985353,.485860573679563376376,-49,51,
 5525992699370080,7055049065986029,.499869941736879063971,-49,51,
 5525992699372870,7055049065987810,.499951279368120596019,-49,51,
 9007199254740990,9007199254740991,-.000000000000000055511,-49,51,
 9007199254740991,9007199254740991,.499999999999999986122,-49,51,
 4503599627370497,4503599627370496,.499999999999999972244,-48,50,
 9007199254740990,9007199254740991,-.000000000000000055511,-47,50,
 9007199254740991,9007199254740991,.499999999999999986122,-47,50,
 4503599627370497,4503599627370496,.499999999999999972244,-46,49,
 5426391276973515,4943510264270161,-.499999519196135374888,-44,48,
 5426391276978246,4943510264272316,-.499939027688196325894,-44,48,
 5426391276979842,4943510264273042,.488033186102570682093,-44,48,
 5426391276979853,4943510264273047,.498601916899003250071,-44,48,
 5426391276980044,4943510264273135,-.499704666545568194001,-44,48,
 5426971710394830,4943774648250502,.499995839356589523344,-44,48,
 5426971710399199,4943774648252493,-.499632790486169191312,-44,48,
 5426971710399491,4943774648252626,-.498921314184693320703,-44,48,
 5426971710399592,4943774648252672,-.495250563820974586659,-44,48,
 5426971710401917,4943774648253731,-.499859528338868322734,-44,48,
 5426971710403276,4943774648254350,-.499972897381473448289,-44,48,
 5562950707696336,5005327435269510,.499985172078263221811,-44,48,
 5562950707702202,5005327435272149,.499706548536919191116,-44,48,
 5562950707703040,5005327435272526,.499666745060287888199,-44,48,
 5562950707703100,5005327435272553,.492503990633664096855,-44,48,
 5562950707703180,5005327435272589,.482953651397939269980,-44,48,
 5562950707721047,5005327435280628,-.499995244143747702616,-44,48,
 5565768841136260,5006595098364914,-.499998059367484690723,-44,48,
 5565768841145905,5006595098369251,.499935284116386471850,-44,48,
 5565768841151270,5006595098371664,.498342995065045646499,-44,48,
 5565768841151350,5006595098371700,.479679922712516277401,-44,48,
 5565768841151479,5006595098371758,.499585718543517993844,-44,48,
 5565768841152335,5006595098372143,.499890844350805637402,-44,48,
 5637442019520636,5038728190569116,-.499988954841489159782,-44,48,
 5637442019535928,5038728190575949,.471094324040828462350,-44,48,
 5637442019535937,5038728190575953,.493180365727213927609,-44,48,
 5637442019535984,5038728190575974,.497407472311619195485,-44,48,
 5637442019536031,5038728190575996,-.498365421104063093963,-44,48,
 5637442019536483,5038728190576197,.499733561361926608761,-44,48,
 5637442019537434,5038728190576623,-.499841367148683722960,-44,48,
 5637442019539562,5038728190577574,-.499941733073045319087,-44,48,
 5637442019560616,5038728190586983,-.499994893202383302720,-44,48,
 5666178554245438,5051554179212023,-.499999372939840196050,-44,48,
 5666178554261018,5051554179218967,.499470604941432579122,-44,48,
 5666178554261249,5051554179219070,.470900487083371677606,-44,48,
 5666178554261267,5051554179219078,.494648270107330729263,-44,48,
 5666178554261608,5051554179219231,-.499907618163408275288,-44,48,
 5666178554264724,5051554179220619,.499986376194751860876,-44,48,
 5772925638471603,5098916135244656,-.499975444319462636677,-44,48,
 5772925638471997,5098916135244829,.499577217356669543392,-44,48,
 5772925638472588,5098916135245090,.498906209859734622321,-44,48,
 5772925638472665,5098916135245125,-.496105071997871733438,-44,48,
 5772925638472674,5098916135245128,.478503998953821812027,-44,48,
 5772925638485033,5098916135250587,-.499995127082789006509,-44,48,
 5835612929818641,5126525550137216,-.499993941693854028738,-44,48,
 5835612929828599,5126525550141589,.499964776536479343651,-44,48,
 5835612929832212,5126525550143176,.491514368801832035722,-44,48,
 5835612929832221,5126525550143180,.444717785997561878632,-44,48,
 5835612929832253,5126525550143195,-.499447841750978923927,-44,48,
 5835612929832360,5126525550143241,.499748340464557895959,-44,48,
 5835612929833578,5126525550143776,.499944134252169270312,-44,48,
 5896103646768507,5153027283696882,.455044279707661258415,-44,48,
 5896103646768514,5153027283696886,-.486055033764567236790,-44,48,
 5896103646768546,5153027283696899,.497490961790936518601,-44,48,
 5896103646768665,5153027283696951,.498802632762633168828,-44,48,
 5896103646768784,5153027283697004,-.499885696266194947507,-44,48,
 5896103646771823,5153027283698331,.499998068945826542699,-44,48,
 6004329071334614,5200105207423442,.496037836759202826509,-44,48,
 6004329071334711,5200105207423484,.499915299787220967321,-44,48,
 6004329071339870,5200105207425718,.499954801994673973647,-44,48,
 6004329071345029,5200105207427952,.499994303242385594477,-44,48,
 6004329071371593,5200105207439456,-.499996153675545783104,-44,48,
 6029337333126207,5210923273927395,.484205074554793587278,-44,48,
 6029337333126214,5210923273927399,-.490880170959348309102,-44,48,
 6029337333126251,5210923273927414,.497954959894443925512,-44,48,
 6029337333126332,5210923273927450,-.499460023912290278996,-44,48,
 6029337333127857,5210923273928108,.499825774744200800851,-44,48,
 6029337333130185,5210923273929115,-.499953019336314218537,-44,48,
 6029337333138694,5210923273932791,.499996395321109775514,-44,48,
 6304262279992782,5328402504974766,.499981206189898073544,-44,48,
 6304262280166032,5328402505047982,.499965076856705019265,-44,48,
 6304262280167899,5328402505048772,-.499908118310528908928,-44,48,
 6304262280168306,5328402505048943,.499583906080460834122,-44,48,
 6304262280168313,5328402505048946,.457806127630134449928,-44,48,
 6305910042746096,5329098809249382,.499997220257237600081,-44,48,
 6305910042757148,5329098809254053,-.499983706378989428198,-44,48,
 6305910042773726,5329098809261058,-.499955104006613821717,-44,48,
 6305910042774384,5329098809261336,-.463399499156127044117,-44,48,
 6305910042774391,5329098809261338,.494436198767736323737,-44,48,
 6305910042774675,5329098809261458,.498055943105951362216,-44,48,
 6305910042774817,5329098809261518,.499865815274045515786,-44,48,
 6535180284100152,5425111564960896,-.494675977713843739504,-44,48,
 6535180284100164,5425111564960900,.486161271559892941583,-44,48,
 6535180284100364,5425111564960984,-.499884573878502279515,-44,48,
 6535180284103443,5425111564962261,.499939635437095494447,-44,48,
 6535180284119568,5425111564968954,.499993341209993838767,-44,48,
 6535815775784171,5425375331936382,-.499365685737467936509,-44,48,
 6535815775784583,5425375331936553,-.498934106898574385443,-44,48,
 6535815775785872,5425375331937087,.499988963754319510494,-44,48,
 6535815775790510,5425375331939012,.499992998762523486184,-44,48,
 6535815775799786,5425375331942863,-.499998933270120354514,-44,48,
 6544022097422422,5428780293901744,.499998875577817915746,-44,48,
 6544022097454026,5428780293914854,-.499920284037705125347,-44,48,
 6544022097454337,5428780293914982,.499542604722858211214,-44,48,
 6544022097454648,5428780293915111,.499005493480356243872,-44,48,
 6544022097454689,5428780293915129,-.494634447230298751615,-44,48,
 6544022097457799,5428780293916418,.499994440172048784390,-44,48,
 6616319171106171,5458685973158560,.499738718666418018529,-44,48,
 6616319171106251,5458685973158594,-.498915173383256493009,-44,48,
 6616319171106486,5458685973158690,.442539018719670794515,-44,48,
 6616319171106491,5458685973158693,-.494876849533477116649,-44,48,
 6616319171113601,5458685973161625,.499758493701678616158,-44,48,
 6616319171192359,5458685973194114,.499968003270314353001,-44,48,
 6616319171204247,5458685973199018,.499999610559496266613,-44,48,
 6702751591225877,5494225110841551,.492489037513288336436,-44,48,
 6702751591226243,5494225110841701,.497032932612804840111,-44,48,
 6702751591226487,5494225110841802,-.499937803989792744712,-44,48,
 6702751591227807,5494225110842343,-.499943428264912279464,-44,48,
 6702751591239687,5494225110847212,-.499994049138167760046,-44,48,
 6702751591241007,5494225110847753,-.499999673945993887646,-44,48,
 6729307497433567,5505098249614015,.499986732462493426695,-44,48,
 6729307497437063,5505098249615446,-.499713237549393573350,-44,48,
 6729307497437085,5505098249615454,.499144485750270831378,-44,48,
 6729307497437195,5505098249615499,.493433102248372206529,-44,48,
 6729307497437217,5505098249615508,.492290825547948351861,-44,48,
 6729307497437222,5505098249615511,-.462514237338513666593,-44,48,
 6729307497437948,5505098249615807,.499790631539136551688,-44,48,
 6729307497453702,5505098249622251,.499998484754285593834,-44,48,
 6743769751700027,5511010700482141,.499995937385620905028,-44,48,
 6743769751748468,5511010700501934,.499992287998809863664,-44,48,
 6743769751757516,5511010700505632,-.485826200498956542509,-44,48,
 6743769751757538,5511010700505641,-.496622841389130990650,-44,48,
 6743769751757631,5511010700505679,-.496808641515939522015,-44,48,
 6743769751758840,5511010700506173,-.499224043188294098758,-44,48,
 6743769751759212,5511010700506325,-.499967243711773361338,-44,48,
 6754791752061966,5515512452850738,.499858877316155669065,-44,48,
 6754791752062135,5515512452850807,.496923386908903216540,-44,48,
 6754791752062152,5515512452850814,.437456503258421759239,-44,48,
 6754791752068087,5515512452853238,-.499952583487552895574,-44,48,
 6754791752071837,5515512452854768,.499999551549608260828,-44,48,
 6794379564778140,5531651225099838,.495148060788334189548,-44,48,
 6794379564778167,5531651225099849,.486187172876299712621,-44,48,
 6794379564778172,5531651225099852,-.478435213774079438908,-44,48,
 6794379564778339,5531651225099920,-.496822927897173339315,-44,48,
 6794379564779017,5531651225100196,-.499618557698914277409,-44,48,
 6794379564779130,5531651225100241,.499915503999456752627,-44,48,
 6794379564781250,5531651225101105,-.499976435889622181926,-44,48,
 6794379564789843,5531651225104602,.499989864869790653723,-44,48,
 6794379564817742,5531651225115959,.499996811669411830048,-44,48,
 6990987887111572,5611114901991166,-.499999082808719698697,-44,48,
 6990987887146976,5611114902005374,-.499985516679979618572,-44,48,
 6990987887148192,5611114902005861,.493687979924575401768,-44,48,
 6990987887148197,5611114902005864,-.499759086290131639439,-44,48,
 7006147211067236,5617195204821108,-.499998089692300409072,-44,48,
 7006147211081617,5617195204826873,-.499505887241019707538,-44,48,
 7006147211081672,5617195204826895,-.451315422671692884151,-44,48,
 7006147211081717,5617195204826913,-.411886860751398944109,-44,48,
 7006147211083443,5617195204827605,-.499582463585627543382,-44,48,
 7006147211092573,5617195204831265,-.499965346739515754067,-44,48,
 7006147211093486,5617195204831630,.499996364813934263647,-44,48,
 7054682820220312,5636618394069376,.499925174428617717443,-44,48,
 7054682820221103,5636618394069693,-.499677406604609076777,-44,48,
 7054682820221501,5636618394069851,.499258336433919972286,-44,48,
 7054682820221541,5636618394069867,.479050873422468829612,-44,48,
 7054682820221551,5636618394069871,.473999007669598965404,-44,48,
 7054682820223083,5636618394070484,-.499946825703508122376,-44,48,
 7054682820245649,5636618394079499,-.499987091820819855768,-44,48,
 7054682820253171,5636618394082503,.499999482936018662409,-44,48,
 7138546116897252,5670022366095707,.499951844841756746575,-44,48,
 7138546116897461,5670022366095791,-.497525294868449585626,-44,48,
 7138546116897514,5670022366095812,-.449038636517642408710,-44,48,
 7138546116897529,5670022366095818,-.491919770946673431937,-44,48,
 7138546116897602,5670022366095846,.499392041498619574527,-44,48,
 7138546116915092,5670022366102792,.499989292954720061787,-44,48,
 7138546116918660,5670022366104209,.499996781514941771995,-44,48,
 7223985620314435,5703852991424123,-.499687133677873539474,-44,48,
 7223985620314625,5703852991424198,-.490396879622449712730,-44,48,
 7223985620314658,5703852991424211,-.462467519707660852288,-44,48,
 7223985620314663,5703852991424213,-.488538828811483317759,-44,48,
 7223985620316046,5703852991424759,-.499862926955003519645,-44,48,
 7223985620317120,5703852991425183,-.499980122512488081157,-44,48,
 7223985620334342,5703852991431982,-.499997204928200494784,-44,48,
 7322656671973029,5742674800061362,.499997016807914851465,-44,48,
 7322656671984801,5742674800065979,-.499910759819725298207,-44,48,
 7322656671993148,5742674800069251,.499814840080373469451,-44,48,
 7322656671993199,5742674800069271,.497776503617817589101,-44,48,
 7322656671993630,5742674800069441,-.499841594725386700417,-44,48,
 7322656672016692,5742674800078483,.499999270432260926957,-44,48,
 7371229009388508,5761689354689705,.499998501566493844763,-44,48,
 7371229009393564,5761689354691682,-.499707639514827502333,-44,48,
 7371229009395373,5761689354692388,.498815222421805387977,-44,48,
 7371229009395460,5761689354692423,-.499597442595037182007,-44,48,
 7413149621188158,5778049659844117,.499990861486690554069,-44,48,
 7413149621266923,5778049659874813,.499984955065618281927,-44,48,
 7413149621275383,5778049659878110,.499412991221125525043,-44,48,
 7413149621275442,5778049659878133,.492671413688890269214,-44,48,
 7413149621276861,5778049659878687,-.499977713766501345954,-44,48,
 7461059150873603,5796690712092856,.499991535609076094687,-44,48,
 7461059150902172,5796690712103954,.499190096566550274850,-44,48,
 7461059150902226,5796690712103975,.476191626956726160795,-44,48,
 7461059150902692,5796690712104156,.499945574394719499359,-44,48,
 7461059150918606,5796690712110338,.499989175139554706226,-44,48,
 7761862923839772,5912387248100860,.464543256464787311112,-44,48,
 7761862923839780,5912387248100864,-.488565910180470879634,-44,48,
 7761862923839822,5912387248100880,-.492389035068102141906,-44,48,
 7761862923839906,5912387248100911,.499964715156505498851,-44,48,
 7761862923848799,5912387248104298,.499987342122858559280,-44,48,
 7761862923901112,5912387248124223,-.499992042202405161797,-44,48,
 7819356134928369,5934243791380719,-.499995604290401961096,-44,48,
 7819356134934649,5934243791383101,.499983345052011068538,-44,48,
 7819356134936051,5934243791383634,-.499065940591700146665,-44,48,
 7819356134936072,5934243791383641,.469564562262061466346,-44,48,
 7819356134936080,5934243791383645,-.494766674746032162376,-44,48,
 7819356134936275,5934243791383718,.499659423181205391200,-44,48,
 7880037969511251,5957225534018015,.497837880993371641359,-44,48,
 7880037969511267,5957225534018022,-.454246556094688167254,-44,48,
 7880037969511669,5957225534018173,.499631962065794026649,-44,48,
 7880037969512796,5957225534018599,.499684424649267231275,-44,48,
 7880037969519558,5957225534021155,.499999199510379640418,-44,48,
 8016984453623986,6008767610581727,.499996017272567176527,-44,48,
 8016984453652757,6008767610592510,-.499993633191126673876,-44,48,
 8016984453659823,6008767610595158,-.499852065477680733494,-44,48,
 8016984453660330,6008767610595347,.499592001110724396299,-44,48,
 8016984453665376,6008767610597238,.499976142805150210067,-44,48,
 8049376796641290,6020894480217904,.499997129912225351009,-44,48,
 8049376796641913,6020894480218138,-.499526190896661002525,-44,48,
 8049376796642036,6020894480218184,-.497826942839128157287,-44,48,
 8049376796642159,6020894480218230,-.496127694781946780811,-44,48,
 8049376796642167,6020894480218232,.495852744116069102910,-44,48,
 8198893031068727,6076555899485470,.494950842751814878331,-44,48,
 8198893031068735,6076555899485473,.459524658489664060916,-44,48,
 8198893031068754,6076555899485481,-.499612529132949927060,-44,48,
 8198893031069488,6076555899485753,-.499964935191756582542,-44,48,
 8198893031080892,6076555899489979,-.499990602552345537066,-44,48,
 8198893031086594,6076555899492091,.499996562665230172432,-44,48,
 8347450336459938,6131359900117975,-.499996642734461162698,-44,48,
 8347450336540407,6131359900147528,-.499983788321689372152,-44,48,
 8347450336544622,6131359900149075,.498562905006460330383,-44,48,
 8347450336544641,6131359900149082,.476492296980245681200,-44,48,
 8347450336544652,6131359900149087,-.483653844508619061204,-44,48,
 8347450336545074,6131359900149241,.499830545643832808546,-44,48,
 8347450336546705,6131359900149840,.499979930295744486024,-44,48,
 8638779724340782,6237435783034318,.499999898003633663783,-44,48,
 8638779724384700,6237435783050173,.499980225482274895776,-44,48,
 8638779724393539,6237435783053365,-.499864350759323138326,-44,48,
 8638779724394287,6237435783053635,-.461611578238781215127,-44,48,
 8638779724394298,6237435783053639,-.490460802172389883394,-44,48,
 8638779724394334,6237435783053652,-.493967353227854111210,-44,48,
 8638779724394406,6237435783053677,.499019544661136193599,-44,48,
 8638779724394683,6237435783053777,.499816360149713905390,-44,48,
 8638779724397248,6237435783054703,.499974597359481827408,-44,48,
 8704521642366363,6261124533580176,-.495829097302319378826,-44,48,
 8704521642366477,6261124533580217,-.495977172406846014087,-44,48,
 8704521642368415,6261124533580914,-.498494449224876281465,-44,48,
 8704521642369555,6261124533581324,-.499975200330550675158,-44,48,
 8704521642383071,6261124533586185,-.499987335661163976506,-44,48,
 8704521642396587,6261124533591046,-.499999474765751226983,-44,48 };
#include "trailer.h"