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

struct input_point { double arg_m, val, eps;
	int arg_e, val_e; } input_points[N] = {
 -7958517471553561,-8960430320996457,.421270689132499411233,-48,82,
 -7958517471037211,-5734711541635620,-.382340846019920339897,-48,88,
 -7958517471032047,-7274687462445617,.060455721926927319791,-48,95,
 -7958517471031996,-6212835604728892,-.130833791443039439041,-48,101,
 -7958517471031995,5588727300024200,-.261667582886051742522,-48,102,
 -7074237752682937,-5622084051848807,-.373898630877979653517,-48,81,
 -7074237752034985,-7196000395932591,.437918534602711947701,-48,88,
 -7074237752028505,-4554563068423076,.026869209701370755425,-48,94,
 -7074237752028441,-6523320454730237,.439258852050628268713,-48,101,
 -7074237752028440,4967757600021511,-.121482295898713082212,-48,102,
 -6189958034447771,-6111247799581261,-.273703534422204692858,-48,80,
 -6189958033039114,-7822342822373020,-.370916736764676687174,-48,87,
 -6189958033025027,-4987691016496920,.261755278857775237601,-48,93,
 -6189958033024886,-6833805304731581,.009351495544295780798,-48,101,
 -6189958033024885,8693575800037644,.037405982177251454216,-48,103,
 -5305678314021331,-7144290154732925,-.420555860962036912098,-48,101,
 -5305678314021330,7451636400032266,.317776556151929333620,-48,103,
 -5305678314021295,4954920047124106,.040303814698308291000,-48,95,
 -5305678314017785,7795992252723834,.156880159347659552288,-48,89,
 -5305678313666861,6089734603000421,-.042430128086641111414,-48,82,
 -8842797190101842,-4555527863668746,.362316429871632526015,-49,85,
 -8842797190036213,-5828777595110610,.379198311336277119185,-49,92,
 -8842797190035557,-7493193285396687,-.462615804367436176134,-49,99,
 -8842797190035551,-5902350754727548,.299073565063300664382,-49,102,
 -8842797190035550,6209697000026889,-.401852869873392563462,-49,103,
 -7074237752192064,-5622068355479965,-.455223322373268937895,-49,84,
 -7074237752030076,-7193991260720826,-.248320694634181886010,-49,91,
 -7074237752028456,-8851956829740320,.214953678250863102175,-49,98,
 -7074237752028441,-6523320454730237,.439258852050639065313,-49,102,
 -7074237752028440,4967757600021511,-.121482295898714274283,-49,103,
 -5611213340397103,-5432775460581809,.499976206572767059329,-49,53,
 -5611213340369902,-5432775459988260,-.453875654291255270083,-49,53,
 -5611213340369885,-5432775459987889,-.499984833214429168125,-49,53,
 -5592856839897574,-5039811016211374,.499990488993689870800,-49,53,
 -5592856839879109,-5039811015823438,-.499905477787712270021,-49,53,
 -5592856839875959,-5039811015757259,-.499076804535203392893,-49,53,
 -5592856839875869,-5039811015755369,.329518294325785688415,-49,53,
 -5592856839875851,-5039811015754991,.495237314057389620671,-49,53,
 -5592856839875850,-5039811015754969,-.495556073735695800683,-49,53,
 -5592856839875416,-5039811015745851,-.499886379877011138254,-49,53,
 -5589917887167076,-4978245231917513,.498649741058941533716,-49,53,
 -5589917886968552,-4978245227770829,.499822853641009056438,-49,53,
 -5589917886910916,-4978245226566953,.499860666833342100994,-49,53,
 -5584028471357968,-4855932413405414,-.499953395804968198968,-49,53,
 -5584028471357396,-4855932413393602,-.499332803681167082635,-49,53,
 -5584028471356581,-4855932413376772,-.463483555789837105589,-49,53,
 -5584028471356578,-4855932413376711,.487568649982091244167,-49,53,
 -5584028471356538,-4855932413375884,-.498401939759545640005,-49,53,
 -5584028471351553,-4855932413272942,-.499987181694769952482,-49,53,
 -5584028471319335,-4855932412607630,.499974405494817769631,-49,53,
 -5555479367786849,-8563187266248228,-.499990359344137496124,-49,54,
 -5555479367778319,-8563187265913590,-.488864822043901643783,-49,54,
 -5555479367778280,-8563187265912060,-.490924165358858003745,-49,54,
 -5555479367778111,-8563187265905430,-.499847987554789107646,-49,54,
 -5555479367775194,-8563187265790995,.499969528770866238408,-49,54,
 -5555479367759170,-8563187265162362,.499985488183182343807,-49,54,
 -5545533983836524,-8176232057526122,-.499990585652005321552,-49,54,
 -5545533983830203,-8176232057282183,.499973659733687586552,-49,54,
 -5545533983828654,-8176232057222403,-.499877278642519525301,-49,54,
 -5545533983828404,-8176232057212756,.498855609498043416305,-49,54,
 -5545533983828355,-8176232057210864,-.493392744882262748609,-49,54,
 -5545533983828350,-8176232057210672,.466581912825631663244,-49,54,
 -5545533983782858,-8176232055455045,.499943203398503298893,-49,54,
 -5544198963889319,-8124766272939041,-.499842239855048229578,-49,54,
 -5544198963889103,-8124766272930723,-.497803188831131520508,-49,54,
 -5544198963888995,-8124766272926564,-.496783664398754482670,-49,54,
 -5544198963887377,-8124766272864257,.499971717326259313961,-49,54,
 -5544198963882468,-8124766272675214,-.499984667448718879716,-49,54,
 -5544198963839312,-8124766271013309,.499927351184210131233,-49,54,
 -5539725571735233,-7953110798910658,.499977525523411020215,-49,54,
 -5539725571714649,-7953110798123584,-.499995899640499007045,-49,54,
 -5539725571708066,-7953110797871870,.499958654993123461021,-49,54,
 -5539725571707231,-7953110797839941,-.499895388696530099394,-49,54,
 -5539725571705772,-7953110797784154,.466826607054591987036,-49,54,
 -5539725571705755,-7953110797783504,.497967301249224551205,-49,54,
 -5539725571705658,-7953110797779795,.499181850145826105494,-49,54,
 -5539725571705561,-7953110797776085,-.499603601521867317773,-49,54,
 -5537279579435268,-7859761561973762,-.499934757955240112469,-49,54,
 -5537279579434602,-7859761561948394,.485217404562591303031,-49,54,
 -5537279579434591,-7859761561947975,.492479677297238214476,-49,54,
 -5537279579434580,-7859761561947556,.499741950024740754098,-49,54,
 -5537279579432101,-7859761561853126,-.499969678436424064868,-49,54,
 -5537279579428934,-7859761561732491,.499994808873661792324,-49,54,
 -5522619698203811,-7307493638527238,.499989132683017001464,-49,54,
 -5522619698203314,-7307493638508716,-.499983032241781010750,-49,54,
 -5522619698199338,-7307493638360548,-.499760829204856774598,-49,54,
 -5522619698197847,-7307493638304985,-.499677721949827196838,-49,54,
 -5522619698197719,-7307493638300216,.496305262243088901248,-49,54,
 -5522619698197685,-7307493638298948,-.473511757728572083164,-49,54,
 -5522619698197670,-7307493638298389,-.489607501853453323088,-49,54,
 -5522619698167466,-7307493637172820,.499977618953021828892,-49,54,
 -5488797129026578,-6075615851241442,.499995958159611105872,-49,54,
 -5488797129011490,-6075615850703706,-.485556192340769905921,-49,54,
 -5488797129011476,-6075615850703208,.473232394733709791520,-49,54,
 -5488797129011415,-6075615850701033,-.492045904539456664338,-49,54,
 -5488797129011315,-6075615850697470,.499301145488635328291,-49,54,
 -5488797129009010,-6075615850615320,.499850530271127952125,-49,54,
 -5488797129008549,-6075615850598890,.499960380001209270246,-49,54,
 -5488797128999304,-6075615850269399,.499992218397710176816,-49,54,
 -5486380295718507,-5989604131749449,.499995633984601263527,-49,54,
 -5486380295697221,-5989604130992995,-.499987889627505791854,-49,54,
 -5486380295690476,-5989604130753295,.499966383677484788344,-49,54,
 -5486380295690169,-5989604130742384,-.461933445024426036505,-49,54,
 -5486380295690156,-5989604130741922,-.473349398770128326872,-49,54,
 -5486380295690130,-5989604130740998,-.496181306282815984448,-49,54,
 -5486380295690037,-5989604130737694,.499073793535667304100,-49,54,
 -5482520377149641,-5852741820446308,.499928964560852456495,-49,54,
 -5482520377149461,-5852741820439940,.497277160053043503822,-49,54,
 -5482520377149101,-5852741820427204,.491973547068285370055,-49,54,
 -5482520377149072,-5852741820426178,.447101866903073521848,-49,54,
 -5482520377149056,-5852741820425612,.491310595073083706920,-49,54,
 -5482520377145117,-5852741820286259,.499946543350184832313,-49,54,
 -5482520377131545,-5852741819806112,.499994265229901997806,-49,54,
 -5470973675752162,-5446892970467921,.499905211738034375811,-49,54,
 -5470973675751665,-5446892970450562,-.499719599165127174166,-49,54,
 -5470973675751571,-5446892970447279,-.497636566454525685543,-49,54,
 -5470973675751557,-5446892970446791,.460120480942094369964,-49,54,
 -5470973675751544,-5446892970446337,.492323453518085834290,-49,54,
 -5470973675749274,-5446892970367055,-.499926816966338930815,-49,54,
 -5470973675738716,-5446892969998312,.499992071567453016430,-49,54,
 -5468820810043855,-5371789420003490,.499965696941475048544,-49,54,
 -5468820810032326,-5371789419601756,-.499830703680857939117,-49,54,
 -5468820810002436,-5371789418560226,-.499325704211427444105,-49,54,
 -5468820810001168,-5371789418516042,-.489937328745957908189,-49,54,
 -5468820810001155,-5371789418515589,-.499304798390042852769,-49,54,
 -5468088758172116,-5346290628581245,.499998236748213347833,-49,54,
 -5468088758157109,-5346290628058724,.489397768571339613399,-49,54,
 -5468088758157076,-5346290628057575,.499369784819175435421,-49,54,
 -5468088758156773,-5346290628047024,-.499978067864915553567,-49,54,
 -5465050034951903,-5240655091663899,.499993503350702100679,-49,54,
 -5465050034923239,-5240655090669022,-.499918464877238033930,-49,54,
 -5465050034922982,-5240655090660102,-.491126293412578020182,-49,54,
 -5465050034922975,-5240655090659860,.466311625621406871764,-49,54,
 -5465050034922934,-5240655090658436,-.497266277214837019497,-49,54,
 -5465050034922910,-5240655090657604,.499663730853039888124,-49,54,
 -5465050034918352,-5240655090499404,.499954055152779764291,-49,54,
 -5465050034904020,-5240655090001966,.499984505967619026258,-49,54,
 -5461318210768645,-5111377587914089,.499989091271901832703,-49,54,
 -5461318210751069,-5111377587306376,-.499905193762073177596,-49,54,
 -5461318210746675,-5111377587154448,-.499880447370319787881,-49,54,
 -5461318210746111,-5111377587134948,.499667514131213893624,-49,54,
 -5437604071186059,-8601284876697077,.499996457469192795680,-49,55,
 -5437604071185080,-8601284876630850,.499636676154014175792,-49,55,
 -5437604071184975,-8601284876623747,.497555184596546252319,-49,55,
 -5437604071184941,-8601284876621446,-.484071203281450140137,-49,55,
 -5437604071184938,-8601284876621244,.458726468373189369658,-49,55,
 -5435306075386301,-8445981462267437,.499976527938400760700,-49,55,
 -5435306075375198,-8445981461517795,.499999819080802318544,-49,55,
 -5435306075364095,-8445981460768152,-.499983821717210393791,-49,55,
 -5435306075361517,-8445981460594094,.499928919350554536981,-49,55,
 -5435306075360726,-8445981460540687,-.499710031374726512366,-49,55,
 -5435306075360316,-8445981460513006,.497948652887970412596,-49,55,
 -5435306075360289,-8445981460511183,.458770078105243771121,-49,55,
 -5435306075360287,-8445981460511048,.492904998490077771599,-49,55,
 -5398648100202358,-6004756479429040,.499991029606125658763,-49,55,
 -5398648100197998,-6004756479142248,-.499969558121792274653,-49,55,
 -5398648100197854,-6004756479132777,.496362006166924964621,-49,55,
 -5398648100196999,-6004756479076537,.474580652497574804771,-49,55,
 -5398648100196936,-6004756479072393,.472975709521995692914,-49,55,
 -5398648100150020,-6004756475986364,.499956523391118562418,-49,55,
 -5395452312811568,-5794741215062126,-.499988463910376881291,-49,55,
 -5395452312804867,-5794741214622169,.499981345890554664710,-49,55,
 -5395452312799969,-5794741214300587,-.499594092505787737081,-49,55,
 -5395452312799908,-5794741214296583,.490407106037545426566,-49,55,
 -5395452312799905,-5794741214296386,.457128476454107820244,-49,55,
 -5395452312799879,-5794741214294678,-.497952979949828285757,-49,55,
 -5395452312798767,-5794741214221669,-.499898369886341684209,-49,55,
 -5395452312778664,-5794741212901796,.499996351431887731136,-49,55,
 -5357868470799103,-6699544905821106,-.499997598998890281456,-49,56,
 -5357868470797929,-6699544905669535,-.499979551732247374395,-49,56,
 -5357868470793233,-6699544905063251,-.499907950439127591343,-49,56,
 -5357868470793017,-6699544905035365,.498391742840325952069,-49,56,
 -5357868470792970,-6699544905029296,-.497348601941141584266,-49,56,
 -5357868470792942,-6699544905025682,.483912469208099922875,-49,56,
 -5340868642085464,-4510238217597593,.499947336362909104978,-49,56,
 -5340868642032249,-4510238210759387,.499991526531422104073,-49,56,
 -5340868642025471,-4510238209888404,.498544384807461762235,-49,56,
 -5340868642025469,-4510238209888146,-.498505319470586767056,-49,56,
 -5340868642025421,-4510238209881978,-.427698222178041612566,-49,56,
 -5340868642025321,-4510238209869128,-.280183436363361752895,-49,56,
 -5340868642025132,-4510238209844842,.498619508045982400891,-49,56,
 -5340868642020047,-4510238209191412,.499745962558045188904,-49,56,
 -5340868642019030,-4510238209060726,.499971164795664723813,-49,56,
 -5334469363655333,-7376941598216452,.499958613587317396893,-49,57,
 -5334469363655187,-7376941598178978,.432270249277192537553,-49,57,
 -5334469363655172,-7376941598175128,.493809115901296648115,-49,57,
 -5334469363655169,-7376941598174357,-.493883110775142809577,-49,57,
 -5334469363655008,-7376941598133034,.499967390306376146935,-49,57,
 -5334469363654033,-7376941597882780,.499993690881984764794,-49,57,
 -5334469363653708,-7376941597799361,-.499997552120001573155,-49,57,
 -5325827369851618,-5160362060376918,-.499993966184922481409,-49,57,
 -5325827369851094,-5160362060242603,.493529580366087507642,-49,57,
 -5325827369851079,-5160362060238758,.417008307711874032649,-49,57,
 -5325827369851030,-5160362060226197,-.499627849676353005402,-49,57,
 -5317788020402202,-6201126178873526,.499996795663970440272,-49,58,
 -5317788020390172,-6201126172711314,-.499935950673045551363,-49,58,
 -5317788020389826,-6201126172534081,.498902142537117434766,-49,58,
 -5317788020389729,-6201126172484394,.487015711179675634160,-49,58,
 -5317788020389725,-6201126172482345,.434979157301356813078,-49,58,
 -5317788020389653,-6201126172445464,.498321187384496185139,-49,58,
 -5307605800718425,-7895016362731972,.499978227584826534824,-49,61,
 -5307605800692185,-7895016255251672,.499471990402033301943,-49,61,
 -5307605800691706,-7895016253289664,-.499775374460782103381,-49,61,
 -5307605800682522,-7895016215671559,-.499960881569041507660,-49,61,
 -5307605800679898,-7895016204923530,.499985344504155475542,-49,61,
 -5305678314021331,-7144290154732925,-.420555860962022729423,-49,102,
 -5305678314021330,7451636400032266,.317776556151928327811,-49,104,
 -5305678314021321,5182981399542312,.161215258690335977626,-49,98,
 -5305678314020444,7795157664844265,-.372481005143736030579,-49,92,
 -5305678313932713,6089728082782612,-.182547207300669062173,-49,85,
 -5296649568719121,4623113996901803,-.499975580611386374613,-49,58,
 -5296649568718787,4623113997072854,.495309442423799838217,-49,58,
 -5296649568718749,4623113997092316,-.499238967922814491682,-49,58,
 -5296649568712334,4623114000377641,-.499976584239766193966,-49,58,
 -5296649568630890,4623114042087697,-.499883773287886754239,-49,58,
 -5266341419814587,5043333502952446,-.499984763807702832785,-49,56,
 -5266341419812737,5043333503190405,.498867504049096546312,-49,56,
 -5266341419812072,5043333503275942,.471427940592342270787,-49,56,
 -5266341419812064,5043333503276971,.487639194050391542109,-49,56,
 -5266341419812056,5043333503278001,-.496149552489512221919,-49,56,
 -5266341419811997,5043333503285589,.498408441841913543845,-49,56,
 -5266341419797130,5043333505197888,-.499999844639820520465,-49,56,
 -5242088987203935,8174229419102459,-.499965437451253465040,-49,56,
 -5242088987169361,8174229423584881,-.499991441882470258754,-49,56,
 -5242088987168026,8174229423757960,-.499297030337602316153,-49,56,
 -5242088987167652,8174229423806448,-.449664272127787071094,-49,56,
 -5242088987167649,8174229423806836,.491910322218951613705,-49,56,
 -5242088987167615,8174229423811244,.496422391514855601105,-49,56,
 -5242088987167581,8174229423815653,-.499065539128838842344,-49,56,
 -5208774931169532,6263805523714536,-.499958381705709626158,-49,55,
 -5208774931125918,6263805526590200,.499983776455474503736,-49,55,
 -5208774931125140,6263805526641498,-.499741411076180186993,-49,55,
 -5208774931124743,6263805526667673,.475977236661405362516,-49,55,
 -5208774931124728,6263805526668662,.492692047155164459574,-49,55,
 -5208774931124423,6263805526688772,.499226529182312728205,-49,55,
 -5200108832590000,6836778682926231,-.499929279645790503031,-49,55,
 -5200108832535458,6836778686542613,-.498262532019591598753,-49,55,
 -5200108832535448,6836778686543276,-.452902674800034725211,-49,55,
 -5200108832535238,6836778686557199,.499654327843224115483,-49,55,
 -5200108832534312,6836778686618597,.499977134437952622401,-49,55,
 -5200108832528073,6836778687032271,.499993241895452586812,-49,55,
 -5161411928695365,4720312886922166,-.498030041296497328047,-49,54,
 -5161411928695360,4720312886922336,.487525514406663638971,-49,54,
 -5161411928695340,4720312886923020,.429747737227266179974,-49,54,
 -5161411928694949,4720312886936392,-.499807804072020746272,-49,54,
 -5161411928693772,4720312886976641,.499970045996441910062,-49,54,
 -5161411928612772,4720312889746608,-.499919027810425048105,-49,54,
 -5120907462136191,6134552804053664,.499982955549829003652,-49,54,
 -5120907462135814,6134552804067127,.499662296829171089241,-49,54,
 -5120907462135437,6134552804080590,.499341644249052782518,-49,54,
 -5120907462135399,6134552804081948,-.487428076360003919881,-49,54,
 -5120907462133092,6134552804164332,.499999791949847071723,-49,54,
 -5119822908933294,6173308621479170,-.499903753703374060155,-49,54,
 -5119822908932567,6173308621505166,-.499018373536163317502,-49,54,
 -5119822908932315,6173308621514176,.494410952056976489618,-49,54,
 -5119822908932282,6173308621515357,-.494544731291583247963,-49,54,
 -5119822908931935,6173308621527765,-.499624186662289500019,-49,54,
 -5119822908929944,6173308621598959,-.499950297565239413320,-49,54,
 -5119822908926594,6173308621718748,-.499996352864550289705,-49,54,
 -5119304171097909,6191863466924763,.472382701691372151855,-49,54,
 -5119304171097900,6191863466925085,.497191930988488201725,-49,54,
 -5119304171097859,6191863466926552,.499100642275690754277,-49,54,
 -5119304171097335,6191863466945301,.499104666170203738296,-49,54,
 -5119304171054367,6191863468482719,.499475451175058312168,-49,54,
 -5119304170982579,6191863471051333,-.499725094165642286164,-49,54,
 -5119304170980483,6191863471126329,-.499698369281050566692,-49,54,
 -5095830265869454,7044486643121783,.456857684698235138649,-49,54,
 -5095830265869445,7044486643122115,.497298373333315657301,-49,54,
 -5095830265869370,7044486643124883,-.499029221212892683868,-49,54,
 -5095830265865290,7044486643275408,-.499249930076968139339,-49,54,
 -5095830265851962,7044486643767123,-.499964966404260428426,-49,54,
 -5095830265851418,7044486643787193,-.499993958165028049816,-49,54,
 -5093481699126093,7131275305104357,-.499943168251308590030,-49,54,
 -5093481699124599,7131275305159656,.460053323860779553339,-49,54,
 -5093481699124596,7131275305159768,-.495850297524108674348,-49,54,
 -5093481699124392,7131275305167319,-.497296550597369754141,-49,54,
 -5093481699124052,7131275305179904,-.499706967571876616610,-49,54,
 -5093481699121943,7131275305257968,-.499952625486056345570,-49,54,
 -5093481699105343,7131275305872412,-.499981488851899016200,-49,54,
 -5093481699101193,7131275306026023,-.499986463300072473251,-49,54,
 -5087250947762046,7362929129627077,.499808808314650962136,-49,54,
 -5087250947760681,7362929129678054,.499679512796500888978,-49,54,
 -5087250947760629,7362929129679996,.480626970203243089063,-49,54,
 -5087250947760626,7362929129680109,-.482010676480355572611,-49,54,
 -5087250947760574,7362929129682050,.498936781081481955923,-49,54,
 -5087250947756693,7362929129826990,-.499965058936880772327,-49,54,
 -5087250947748610,7362929130128856,-.499994277293387883733,-49,54,
 -7074237752069346,-5622039929742966,.179737505258116984878,-50,87,
 -7074237752028849,-7190352766384873,.006717302129554667545,-50,94,
 -7074237752028444,-8386229554738303,-.140185286987369919756,-50,101,
 -7074237752028441,-6523320454730237,.439258852050641764464,-50,103,
 -7074237752028440,4967757600021511,-.121482295898714572300,-50,104,
 -7074237752038667,-5622201104701911,-.281040122952955771957,-51,90,
 -7074237752028542,-7158206602996644,.026869209776776281445,-51,97,
 -7074237752028441,-6523320454730237,.439258852050642439251,-51,104,
 -7074237752028440,4967757600021511,-.121482295898714646805,-51,105,
 -8871213671096371,-6786363952637393,.499989849755926157659,-53,52,
 -8871213671078220,-6786363952607710,.499887051269903795597,-53,52,
 -8871213671077773,-6786363952606979,.495477046740894191738,-53,52,
 -8871213671077688,-6786363952606840,.499112728193923463615,-53,52,
 -8871213671075741,-6786363952603655,-.499961722429080185860,-53,52,
 -8871213671049887,-6786363952561375,-.499998306545685639526,-53,52,
 -8108579655012586,-5677966698080847,.499993300645642754276,-53,52,
 -8108579655011212,-5677966698079067,-.499424211989771987277,-53,52,
 -8108579655010754,-5677966698078474,-.499230049686973250883,-53,52,
 -8108579655010720,-5677966698078430,-.477381574759229432171,-53,52,
 -8108579655010710,-5677966698078418,.470220917866497831662,-53,52,
 -8108579654955923,-5677966698007482,.499996722353202967424,-53,52,
 -7881394195516028,-5392823025626587,.499985466528954000088,-53,52,
 -7881394195509381,-5392823025618498,.499952971423430234377,-53,52,
 -7881394195508035,-5392823025616859,-.498850060016554922426,-53,52,
 -7881394195507961,-5392823025616769,-.445292425803658389199,-53,52,
 -7881394195507952,-5392823025616758,-.492832713534643177054,-53,52,
 -7881394195507929,-5392823025616731,.496786551152721069792,-53,52,
 -7881394195507551,-5392823025616270,-.499905533575119867300,-53,52,
 -7881394195487610,-5392823025592004,.499996883524137966882,-53,52,
 -7109328173685451,-4538827468557491,.499997858541546637403,-53,52,
 -7109328173653615,-4538827468525405,.499991075735239364384,-53,52,
 -7109328173649540,-4538827468521298,.499927369072808184394,-53,52,
 -7109328173648394,-4538827468520143,.499173256045895856005,-53,52,
 -7109328173647757,-4538827468519500,-.498628114063112049259,-53,52,
 -7109328173647756,-4538827468519499,-.490775368961314306810,-53,52,
 -7109328173647727,-4538827468519470,-.263045761009277885157,-53,52,
 -7006352136405049,-8872441119354348,.499981435545170483875,-53,53,
 -7006352136008059,-8872441118572157,-.499893592140472598037,-53,53,
 -7006352135983849,-8872441118524457,.499885125946986620948,-53,53,
 -7006352135983748,-8872441118524257,-.499661440029145876218,-53,53,
 -7006352135983142,-8872441118523063,-.496940835978259269135,-53,53,
 -7006352135983041,-8872441118522864,-.496487401985164569607,-53,53,
 -7006352135983039,-8872441118522861,.444115636311684006953,-53,53,
 -7006352135981593,-8872441118520011,-.499887675517957783777,-53,53,
 -6828286958454470,-8528256643597232,.499999855020847089966,-53,53,
 -6828286958445235,-8528256643579718,.499986292947944876441,-53,53,
 -6828286958436000,-8528256643562204,.499972696870811385726,-53,53,
 -6828286958433073,-8528256643556653,.499210394623289915264,-53,53,
 -6828286958433044,-8528256643556598,.497152961478363592465,-53,53,
 -6828286958433015,-8528256643556543,.495095528333101952987,-53,53,
 -6828286958433005,-8528256643556524,.459903310007071914697,-53,53,
 -6828286958432590,-8528256643555737,.499426249441663922926,-53,53,
 -6828286958431624,-8528256643553905,.499857958799366660114,-53,53,
 -6595469068456527,-8097176056611058,-.499960635356080066271,-53,53,
 -6595469068454046,-8097176056606572,-.499908049534878511920,-53,53,
 -6595469068453405,-8097176056605413,-.480950489431936970437,-53,53,
 -6595469068453384,-8097176056605376,.490029399430081188277,-53,53,
 -6595469068453358,-8097176056605328,-.498281214360021616374,-53,53,
 -6595469068439332,-8097176056579967,-.499999289158020992782,-53,53,
 -5574097035237658,-6414683556630423,-.499995116291619777599,-53,53,
 -5574097035223959,-6414683556609777,.499837654091547482042,-53,53,
 -5574097035223543,-6414683556609150,.490999813584476212460,-53,53,
 -5574097035223541,-6414683556609146,-.494619599110368947887,-53,53,
 -5574097035223472,-6414683556609042,-.498489337083110789427,-53,53,
 -5574097035218535,-6414683556601602,.499990422704618782743,-53,53,
 -5292230209322970,-5998985319838127,.499983193239586868594,-53,53,
 -5292230209316899,-5998985319829363,.499595179025160999579,-53,53,
 -5292230209316642,-5998985319828991,-.499268224155041501535,-53,53,
 -5292230209316509,-5998985319828800,.497428925166398642440,-53,53,
 -5292230209315091,-5998985319826753,.499809058298569580542,-53,53,
 -5292230209313283,-5998985319824142,-.499977063125880098903,-53,53,
 -5292230209294813,-5998985319797480,.499995428582253407964,-53,53,
 -5268565944193861,-5964883554052655,.485047008917775303687,-53,53,
 -5268565944193845,-5964883554052631,-.498067619237283446653,-53,53,
 -5268565944193788,-5964883554052550,.499586517959879659976,-53,53,
 -5268565944193373,-5964883554051952,-.499949149835878462940,-53,53,
 -5268565944191241,-5964883554048885,-.499973352194686338586,-53,53,
 -5268565944189109,-5964883554045818,-.499997555515003312324,-53,53,
 -4510984822793519,-4930248959226396,-.485021288819551371182,-53,53,
 -4510984822793479,-4930248959226345,.499429905567324070177,-53,53,
 -4510984822793222,-4930248959226011,.499528829496970515642,-53,53,
 -4510984822792194,-4930248959224675,.499924525111228743782,-53,53,
 -4510984822791937,-4930248959224340,-.499976551011288587613,-53,53,
 -4510984822781904,-4930248959211302,.499994270651398198837,-53,53,
 -8644717199285258,-4687851315915165,.499998632090049968055,-54,53,
 -8644717199275641,-4687851315909053,-.499984751167345214670,-54,53,
 -8644717199269066,-4687851315904876,.499922624967240069846,-54,53,
 -8644717199268084,-4687851315904252,.499300426103118199044,-54,53,
 -8644717199267615,-4687851315903953,-.480630135281343694398,-54,53,
 -8644717199267604,-4687851315903946,-.490820404311779818757,-54,53,
 -8644717199267593,-4687851315903940,.498989326657779614129,-54,53,
 -8644717199266024,-4687851315902942,-.499968137820572341195,-54,53,
 -7492339963684117,-7956489900762195,-.499995423566725809544,-54,54,
 -7492339963683589,-7956489900761564,-.499948502394752256264,-54,54,
 -7492339963683061,-7956489900760933,-.499901581239115815266,-54,54,
 -7492339963682938,-7956489900760787,.494427531073203299993,-54,54,
 -7492339963682933,-7956489900760781,.469806763281002397782,-54,54,
 -7298995560627843,-7726510036946365,.499996574565603973478,-54,54,
 -7298995560586617,-7726510036897554,-.498447913057068696556,-54,54,
 -7298995560586568,-7726510036897496,-.484328759664643497415,-54,54,
 -7298995560586557,-7726510036897483,-.460750990535750322833,-54,54,
 -7298995560585769,-7726510036896550,-.498998074774605658754,-54,54,
 -7298995560584285,-7726510036894793,-.499960857877849079684,-54,54,
 -7298995560569695,-7726510036877519,-.499992539338024344657,-54,54,
 -4924871031134914,-5051347634593281,.499999289816530733750,-54,54,
 -4924871031125121,-5051347634582717,-.499977407912141800888,-54,54,
 -4924871031070560,-5051347634523866,-.499847639923695546608,-54,54,
 -4924871031067266,-5051347634520314,.499445395049588075184,-54,54,
 -4924871031066986,-5051347634520011,-.484828421059344896288,-54,54,
 -4924871031066948,-5051347634519970,-.496979867531474398859,-54,54,
 -4924871031066859,-5051347634519874,-.499124044795335900934,-54,54,
 -4924871031066363,-5051347634519339,-.499837661911166042434,-54,54,
 -4517699360206593,-4614853158657349,.499996907904551451653,-54,54,
 -4517699360174441,-4614853158623086,-.491357677581247082772,-54,54,
 -4517699360174426,-4614853158623071,.493033019140033822034,-54,54,
 -4517699360174304,-4614853158622941,.499410685806198566222,-54,54,
 -4517699360173984,-4614853158622600,.499745549190716828803,-54,54,
 -4517699360173664,-4614853158622258,-.499919587427868418512,-54,54,
 -4517699360143874,-4614853158590513,-.499995913106948378704,-54,54,
 -4514338150869876,-4611271537594987,-.499995939246005064804,-54,54,
 -4514338150834301,-4611271537557081,-.475859653963026090575,-54,54,
 -4514338150834286,-4611271537557065,-.492996349845199026256,-54,54,
 -4514338150834164,-4611271537556935,-.499041476353791963939,-54,54,
 -4514338150833813,-4611271537556562,.499959840000119576760,-54,54,
 -4514338150832821,-4611271537555505,.499986352296416300394,-54,54,
 -4514338150831829,-4611271537554447,-.499987135437085711175,-54,54,
 -8341071156517976,-8493356891176376,.499972933680196360294,-55,55,
 -8341071156515241,-8493356891173489,.490511786536922170478,-55,55,
 -8341071156515223,-8493356891173470,.490815150101998954414,-55,55,
 -8341071156514827,-8493356891173052,.497489148532555896053,-55,55,
 -8341071156514683,-8493356891172900,.499916057052221358647,-55,55,
 -8341071156501493,-8493356891158977,.499991912604089429348,-55,55,
 -6979532375186940,-7068172030403172,-.499998711375681221912,-55,55,
 -6979532375183926,-7068172030400043,.499990070824776333030,-55,55,
 -6979532375147758,-7068172030362483,.499855449216812583490,-55,55,
 -6979532375143237,-7068172030357788,.499838620475609090575,-55,55,
 -6979532375143133,-7068172030357679,-.497507486624895632772,-55,55,
 -6979532375142613,-7068172030357139,-.484238022129254082790,-55,55,
 -6979532375142587,-7068172030357112,-.483574548904552279247,-55,55,
 -5360050515984564,-5399948254373217,.493725182586653174023,-55,55,
 -5360050515984562,-5399948254373214,-.461347584715582153676,-55,55,
 -5360050515984519,-5399948254373170,-.495412081713649929567,-55,55,
 -5360050515984341,-5399948254372988,-.496888371612795485558,-55,55,
 -5360050515983985,-5399948254372624,-.499840951411895189080,-55,55,
 -5360050515982605,-5399948254371214,.499949610030843101017,-55,55,
 -5360050515954159,-5399948254342129,.499980266422211701713,-55,55,
 -5360050515935195,-5399948254322738,-.499999299807718286131,-55,55,
 -5003579018618026,-5035996949064171,-.499877291164109187478,-55,55,
 -5003579018617463,-5035996949063598,.499796060787703716251,-55,55,
 -5003579018617105,-5035996949063233,.494259755277960866909,-55,55,
 -5003579018617054,-5035996949063181,.490677767621462480680,-55,55,
 -5003579018616900,-5035996949063024,.499469412737009148678,-55,55,
 -5003579018614955,-5035996949061040,-.499882861631487844810,-55,55,
 -5003579018565819,-5035996949010944,-.499971999256080540318,-55,55,
 -5003579018550464,-5035996948995289,-.499999858680626377902,-55,55,
 -5370993780293305,-5373481861458870,-.499619413197363489525,-57,57,
 -5370993780293263,-5373481861458828,-.441229025461031666392,-57,57,
 -5370993780293184,-5373481861458749,-.331399486623648094695,-57,57,
 -5370993780292586,-5373481861458151,.499968414955428989510,-57,57,
 -5370993780285393,-5373481861450947,-.499982561550224888799,-57,57,
 -5370993780246551,-5373481861412051,-.499995884609431362727,-57,57,
 -4503599627370496,-4503599627370496,0.000000000000000000000,-1074,1074,
 0,0,0.000000000000000000000,0,0,
 4503599627370496,4503599627370496,0.000000000000000000000,-1074,1074,
 4503599627370497,4503599627370497,-.000000000000000000000,-1074,1074,
 6175493946540272,6190657891124028,.499998551066065433454,-56,56,
 6175493946621562,6190657891205918,.499954471609788171346,-56,56,
 6175493946645949,6190657891230485,.499941250868255909993,-56,56,
 6175493946646220,6190657891230759,-.499812863316564921675,-56,56,
 6175493946646320,6190657891230859,.238285249530409220711,-56,56,
 6175493946646354,6190657891230893,.489238607898385901231,-56,56,
 6175493946646355,6190657891230894,.496619589026855845637,-56,56,
 6823990675707376,6844464329366595,.499927587970796913445,-56,56,
 6823990675709371,6844464329368608,.499505231257462143079,-56,56,
 6823990675709459,6844464329368697,.293471563392656600452,-56,56,
 6823990675709481,6844464329368719,.491963146426458433610,-56,56,
 6823990675709482,6844464329368721,-.499014508890186907018,-56,56,
 6823990675714137,6844464329373417,.499999992154580395101,-56,56,
 8359220028864308,8396921718604566,-.499998560617780309104,-56,56,
 8359220028905326,8396921718646140,.499975900007762595406,-56,56,
 8359220028906357,8396921718647186,-.499659048750837917594,-56,56,
 8359220028906578,8396921718647410,-.498610866088551898494,-56,56,
 8359220028906721,8396921718647554,.443243840340071434836,-56,56,
 8359220028906725,8396921718647558,.497561454505908016371,-56,56,
 8359220028908198,8396921718649052,-.499977128921204666927,-56,56,
 8513798801093206,8553638995413419,.499911262064793832049,-56,56,
 8513798801093348,8553638995413564,-.499164412510642315732,-56,56,
 8513798801093419,8553638995413636,-.498702249798335125379,-56,56,
 8513798801093429,8553638995413646,-.357792086036036984832,-56,56,
 8513798801127838,8553638995448539,.499990405634146589791,-56,56,
 8513798801132167,8553638995452930,-.499999701137919981319,-56,56,
 8960721713639263,9007199254740977,-.005652859545276564859,-56,56,
 8960721713639273,9007199254740987,.150597140454723090711,-56,56,
 8960721713639277,9007199254740991,.213097140454723051601,-56,56,
 8960721713639278,4503599627370496,.114361070227361525317,-56,55,
 6216155809128745,6278579269578144,.499999617509629218464,-55,55,
 6216155809169017,6278579269619639,.499947977778022518073,-55,55,
 6216155809171783,6278579269622489,.499199497156123724599,-55,55,
 6216155809171816,6278579269622524,-.498640235258644670765,-55,55,
 6216155809171848,6278579269622556,.473151539369469069584,-55,55,
 6216155809171849,6278579269622558,-.496479967673402211567,-55,55,
 6216155809176887,6278579269627748,.499987550467602699134,-55,55,
 7082784227658135,7175458354880747,-.499963298122619719400,-55,55,
 7082784227659446,7175458354882109,.499931508435272461772,-55,55,
 7082784227659925,7175458354882607,.499130297411390222369,-55,55,
 7082784227659950,7175458354882633,.490737749863243311352,-55,55,
 7082784227659975,7175458354882659,.482345202315103584120,-55,55,
 7082784227668144,7175458354891152,.499996365869653846332,-55,55,
 8826286527774941,4503599627370496,-.204777375225907022967,-55,54,
 8826286527774942,4503599627370496,.326472624774092977877,-55,54,
 8826286527774946,4503599627370498,.451472624774093054981,-55,54,
 8826286527774948,4503599627370500,-.486027375225906862232,-55,54,
 5299073463170386,5457396222795981,-.499999237717204546611,-54,54,
 5299073463176989,5457396222803190,-.499841099052777703576,-54,54,
 5299073463177512,5457396222803760,.499262748739637623813,-54,54,
 5299073463177621,5457396222803880,-.497099929252647723730,-54,54,
 5299073463177643,5457396222803904,-.478017167012505613446,-54,54,
 5299073463177654,5457396222803916,-.468475785892427893517,-54,54,
 5299073463177828,5457396222804106,-.499366666356062033051,-54,54,
 5354986034411409,5518497902184545,-.499998496578780004657,-54,54,
 5354986034454385,5518497902231554,-.499990502415719883672,-54,54,
 5354986034456399,5518497902233756,.499963336300717851867,-54,54,
 5354986034456708,5518497902234094,.497473632323692056529,-54,54,
 5354986034456740,5518497902234130,-.499547955142981427092,-54,54,
 6318840445926175,6591413039793972,-.498030403959998370424,-54,54,
 6318840445926235,6591413039794040,-.465196773086034821846,-54,54,
 6318840445926257,6591413039794064,.480175558234460026603,-54,54,
 6318840445926287,6591413039794098,.496592373671534384128,-54,54,
 6318840445926414,6591413039794242,.499423559022275039233,-54,54,
 6318840445927146,6591413039795072,.499993855704017537949,-54,54,
 7852441928002200,8390730778153986,-.443115851155620900112,-54,54,
 7852441928002209,8390730778153997,-.490564110184638981243,-54,54,
 7852441928002232,8390730778154024,.499290338963449081056,-54,54,
 7852441928002527,8390730778154383,.499597404126660778377,-54,54,
 7852441928002822,8390730778154742,.499904469295349026070,-54,54,
 7852441928006173,8390730778158821,-.499997308692166348516,-54,54,
 8352332796508975,9007199254740951,.488868971605416101276,-54,54,
 8352332796509007,9007199254740991,.488868971605379666188,-54,54,
 8352332796509008,4503599627370496,.369434485802689836254,-54,53,
 8717776617241207,4734374446026432,.483388725213018936650,-54,53,
 8717776617241218,4734374446026440,-.497084501556109237747,-54,53,
 8717776617241370,4734374446026537,-.499987271456328148823,-54,53,
 8717776617252739,4734374446033792,-.499997736093745129724,-54,53,
 6059040276407863,7175492285759513,-.499953033596427208670,-53,53,
 6059040276408602,7175492285760720,.495143158385510351887,-53,53,
 6059040276408810,7175492285761060,.499175645467090995706,-53,53,
 6059040276408862,7175492285761146,-.499816232760559190720,-53,53,
 6059040276414804,7175492285770858,.499996456452182075905,-53,53,
 6179968525074764,7375315010280952,-.499963490172683329365,-53,53,
 6179968525077653,7375315010285777,.497938103322777251442,-53,53,
 6179968525077656,7375315010285783,-.490641438115681480694,-53,53,
 6179968525077668,7375315010285803,-.444959603869489074616,-53,53,
 6179968525077741,7375315010285924,.499604887795790347643,-53,53,
 6179968525078967,7375315010287973,-.499901046460546859305,-53,53,
 6179968525086760,7375315010300990,.499976822565537659916,-53,53,
 6179968525183954,7375315010463350,.499995002732699747360,-53,53,
 6230674196596363,7460410640774611,.499934471566778082763,-53,53,
 6230674196597137,7460410640775916,.490599349032866439551,-53,53,
 6230674196597140,7460410640775922,-.451297298728531504773,-53,53,
 6230674196597172,7460410640775976,-.498194874849935930409,-53,53,
 6230674196597258,7460410640776121,-.499232110674636957094,-53,53,
 6230674196597344,7460410640776265,.499730653502955398936,-53,53,
 6230674196601182,7460410640782736,.499952619949559425615,-53,53,
 6230674196610820,7460410640798986,.499988938318155644628,-53,53,
 6230674196615639,7460410640807112,-.499992891696029479183,-53,53,
 7074237752027809,9007199254739729,.448468113258437751291,-53,53,
 7074237752028434,9007199254740979,.448468113169959702531,-53,53,
 7074237752028440,9007199254740991,.448468113169950974137,-53,53,
 7074237752028441,4503599627370497,-.275765943415024463142,-53,52,
 7511273082065756,4963300772227038,.499995999835308242667,-53,52,
 7511273082073362,4963300772235461,-.499983499699343907524,-53,52,
 7511273082103786,4963300772269149,-.499901341082518764682,-53,52,
 7511273082104802,4963300772270274,-.499635642791026672564,-53,52,
 7511273082104830,4963300772270305,-.495691312519190511312,-53,52,
 7511273082104877,4963300772270357,-.453356186705273668385,-53,52,
 7511273082104886,4963300772270367,-.487802651974880883876,-53,52,
 7913137471605025,5431616558562064,.499272028476170150336,-53,52,
 7913137471605047,5431616558562091,.499690577033389581407,-53,52,
 7913137471605069,5431616558562119,-.499890874409231912228,-53,52,
 7913137471607458,5431616558565051,-.499894850572812992174,-53,52,
 7913137471652849,5431616558620759,-.499970041276278172072,-53,52,
 7913137471669572,5431616558641283,-.499997572415363468880,-53,52,
 8575032706786085,6324716579332847,-.499995333946087635645,-53,52,
 8575032706796068,6324716579347683,-.499977417787439604319,-53,52,
 8575032706796969,6324716579349021,.499924031190127074767,-53,52,
 8575032706797041,6324716579349129,-.498973966211637047342,-53,52,
 8575032706797181,6324716579349337,-.441275627819301203484,-53,52,
 8575032706797185,6324716579349343,-.496769961007958142217,-53,52,
 8668443273582100,6465593301737209,.499985599278473663091,-53,52,
 8668443273588533,6465593301747055,.499956419524530520248,-53,52,
 8668443273591594,6465593301751741,-.499902009454149622960,-53,52,
 8668443273592216,6465593301752692,.499473377310276558937,-53,52,
 8668443273592985,6465593301753869,.489054844487374813651,-53,52,
 8668443273593051,6465593301753971,-.494934262347440416479,-53,52,
 8668443273593100,6465593301754046,-.498198902268883112458,-53,52,
 8668443273646119,6465593301835194,-.499992991288933888504,-53,52,
 9007199254739078,7013940848416471,.499874903780378238438,-53,52,
 9007199254740958,7013940848419691,.487566468569988191000,-53,52,
 9007199254740986,7013940848419739,.444829959976293158338,-53,52,
 9007199254740991,7013940848419748,.008627012013182195509,-53,52,
 4503599627370497,7013940848419753,.146905243235322725366,-52,52,
 4503599627370519,7013940848419829,-.491680698839337069179,-52,52,
 4503599627370895,7013940848421117,-.496604072301705324568,-52,52,
 4503599627371130,7013940848421922,-.499681180545595797783,-52,52,
 4503599627374406,7013940848433143,.499975826241392710799,-52,52,
 4503599627385778,7013940848472099,-.499993609771647991922,-52,52,
 4503599627415027,7013940848572291,.499998473545820862344,-52,52,
 4986154552901188,9007199254740990,-.117698688680501868942,-52,52,
 4986154552901189,4503599627370497,.441150655659749235305,-52,51,
 4986154552901195,4503599627370512,.441150655659796883327,-52,51,
 4986154552901907,4503599627372292,.441150656233014889071,-52,51,
 4986154552973095,4503599627550262,.441156396129779761780,-52,51,
 5970951936056572,9007199254740987,-.121955768575891643376,-52,51,
 5970951936056573,4503599627370498,-.310977884287946596140,-52,50,
 5970951936056576,4503599627370510,.439022115712096377602,-52,50,
 5970951936056756,4503599627371275,.439022115839015340019,-52,50,
 5970951936074868,4503599627448251,.439023379205059262732,-52,50,
 6514192644925985,9007199254740985,.258831279051133444728,-52,50,
 6514192644925986,4503599627370501,-.245584360474430819458,-52,49,
 6514192644926198,4503599627372223,.254415640177822316011,-52,49,
 6514192644947134,4503599627542328,.254422094822422507443,-52,49,
 6755399441052962,7938393702365182,-.499996119355923020827,-52,49,
 6755399441055256,7938393702422489,-.499728734401117813857,-52,49,
 6755399441055576,7938393702430483,-.497947691122753940298,-52,49,
 6755399441055736,7938393702434480,-.497057163476282608368,-52,49,
 6755399441055738,7938393702434529,.465453968144641535416,-52,49,
 6755399441055743,7938393702434654,.371731797199689591869,-52,49,
 6755399441055745,7938393702434704,.334242928822803893246,-52,49,
 6755399441056323,7938393702449143,.499959994125280960420,-52,49,
 9007199254659328,-4920272357222909,.499992643856786517507,-52,51,
 9007199254739638,-4920272356991037,-.499959713556211531280,-52,51,
 9007199254740888,-4920272356987429,.499542815195255791014,-52,51,
 9007199254740991,-4920272356987131,-.118898176630837508446,-52,51,
 4503599627370497,-4920272356987122,-.457299370567965292229,-51,51,
 4503599627370506,-4920272356987070,-.487706534191261497654,-51,51,
 4503599627371858,-4920272356979263,-.499982679912278105016,-51,51,
 4503599627373897,-4920272356967490,.499994307140783438747,-51,51,
 7074237752028440,-4967757600021511,.121482295898714646805,-51,105,
 7074237752028441,6523320454730237,-.439258852050642439251,-51,104,
 7074237752028542,7158206602996644,-.026869209776776281445,-51,97,
 7074237752038667,5622201104701911,.281040122952955771957,-51,90,
 5888592265895566,-7907243496829175,.499985802843217709294,-50,52,
 5888592265908638,-7907243496615698,-.499916535359376800521,-50,52,
 5888592265915174,-7907243496508960,-.499870968218411319619,-50,52,
 5888592265916220,-7907243496491879,.499524127122771089286,-50,52,
 5888592265916350,-7907243496489755,-.498639010236778152007,-50,52,
 5888592265916356,-7907243496489658,.486061152633538752888,-50,52,
 5888592265916389,-7907243496489119,.401912048387506094437,-50,52,
 5943141639574767,-7085655621054787,.499998349048340759997,-50,52,
 5943141639580340,-7085655620977313,-.499954213265505226891,-50,52,
 5943141639584167,-7085655620924113,.499718790408621499362,-50,52,
 5943141639584299,-7085655620922278,.496310584930233132771,-50,52,
 5943141639584309,-7085655620922138,-.488796097330562927365,-50,52,
 5943141639585040,-7085655620911977,.499905418882782283876,-50,52,
 6303973650801384,-7345535810648533,-.465674042695266572452,-50,53,
 6303973650801387,-7345535810648494,.496008242570852981621,-50,53,
 6303973650801465,-7345535810647455,.499747659429002637017,-50,53,
 6303973650813235,-7345535810490672,.499912165490708972918,-50,53,
 6303973650819655,-7345535810405153,-.499999230671345054718,-50,53,
 6334420038443842,-6948629125872552,.499985064805036504635,-50,53,
 6334420038486193,-6948629125332106,.499829962299493499875,-50,53,
 6334420038486733,-6948629125325214,-.497834610723210857447,-50,53,
 6334420038486783,-6948629125324576,-.442062812186957729163,-50,53,
 6334420038486800,-6948629125324360,.496899599305409192096,-50,53,
 6334420038487520,-6948629125315171,-.499986506834133406247,-50,53,
 6356542733645505,-6670499015943000,.499943872997315355914,-50,53,
 6356542733682378,-6670499015486232,.499941642273756088676,-50,53,
 6356542733727445,-6670499014927960,.499908826638281900142,-50,53,
 6356542733729300,-6670499014904981,.499174523598702745917,-50,53,
 6356542733729558,-6670499014901784,-.499849443206718945614,-50,53,
 6423340662129186,-5876967207037985,.499987720318447575035,-50,53,
 6423340662143642,-5876967206873103,.499945248272338235913,-50,53,
 6423340662145547,-5876967206851374,-.483320100881303242402,-50,53,
 6423340662145557,-5876967206851260,-.425489472919448730606,-50,53,
 6423340662145579,-5876967206851009,-.498262091408022109236,-50,53,
 6423340662145648,-5876967206850222,-.499230758527323415327,-50,53,
 6423340662145717,-5876967206849436,.499800574290436690187,-50,53,
 6423340662170479,-5876967206567006,.499997426575327039208,-50,53,
 6559287226846008,-8866234515496987,.499993291313680298482,-50,54,
 6559287226846330,-8866234515490586,-.499529526485604298263,-50,54,
 6559287226846789,-8866234515481464,.482517136952951817051,-50,54,
 6559287226846797,-8866234515481305,.488740172448832503527,-50,54,
 6559287226846813,-8866234515480986,-.498813756562742499797,-50,54,
 6787616684083884,-4687640037034457,.499772640331443595842,-50,54,
 6787616684083896,-4687640037034251,-.499423483081100746786,-50,54,
 6787616684084016,-4687640037032201,-.491384717269085083788,-50,54,
 6787616684084076,-4687640037031176,-.487365334405718782324,-50,54,
 6787616684085131,-4687640037013154,.499975476297333331585,-50,54,
 6787616684095083,-4687640036843140,.499989970920001588666,-50,54,
 6787616684100059,-4687640036758133,.499996924945545401355,-50,54,
 6935652144161410,-8914545391513403,.499995637003210833958,-50,56,
 6935652144169667,-8914545390976866,-.499949104639335082430,-50,56,
 6935652144171377,-8914545390865751,-.499332235680576056951,-50,56,
 6935652144171426,-8914545390862568,.497761463457811994308,-50,56,
 6935652144171473,-8914545390859513,-.464209886380439490474,-50,56,
 6935652144171475,-8914545390859384,.494855162561913921005,-50,56,
 6935652144177582,-8914545390462554,.499981841662549682155,-50,56,
 7035360541758859,-4978261622033045,.445240498715667673621,-50,57,
 7035360541758866,-4978261622032147,-.485596462770256753678,-50,57,
 7035360541758879,-4978261622030482,.499992037326289888107,-50,57,
 7035360541791700,-4978261617824380,-.499999763744304685497,-50,57,
 7074237752028440,-4967757600021511,.121482295898714572300,-50,104,
 7074237752028441,6523320454730237,-.439258852050641764464,-50,103,
 7074237752028444,8386229554738303,.140185286987369919756,-50,101,
 7074237752028849,7190352766384873,-.006717302129554667545,-50,94,
 7074237752069346,5622039929742966,-.179737505258116984878,-50,87,
 7267327859844560,6240181913789426,-.499964837961342127501,-50,55,
 7267327859845208,6240181913810784,-.457602546869593670185,-50,55,
 7267327859845209,6240181913810817,-.497660629750420713930,-50,55,
 7267327859845259,6240181913812464,.499435226221156378351,-50,55,
 7267327859856268,6240181914175321,-.499998588654730579779,-50,55,
 7594079014297901,8963650601233636,-.499992095005220105842,-50,54,
 7594079014298212,8963650601239843,.499926638922733317658,-50,54,
 7594079014301011,8963650601295715,.499195321067020160263,-50,54,
 7594079014301295,8963650601301385,-.459078231148497426270,-50,54,
 7594079014301296,8963650601301405,-.497663701400263207802,-50,54,
 7594079014301322,8963650601301923,.499114072060019368484,-50,54,
 7594079014334832,8963650601970831,-.499984142778960159941,-50,54,
 7661357941637854,5174744353622695,-.499873680445849755482,-50,53,
 7661357941782994,5174744355167058,.499962854389155199119,-50,53,
 7661357941794388,5174744355288297,-.499378864035639849267,-50,53,
 7661357941794452,5174744355288977,.493428067277896982917,-50,53,
 7661357941795089,5174744355295755,.499959557932427403361,-50,53,
 8127402278512946,6107274713567248,-.499992842044946653924,-50,52,
 8127402278515059,6107274713591243,-.499867191395946197330,-50,52,
 8127402278515916,6107274713600974,.499710544603535887281,-50,52,
 8127402278516315,6107274713605506,-.499319184056855532655,-50,52,
 8127402278516492,6107274713607515,.493592441465697801545,-50,52,
 8127402278516523,6107274713607868,-.473750720077752385551,-50,52,
 8127402278516537,6107274713608027,-.491260534959725919336,-50,52,
 8127402278536647,6107274713836394,-.499996233766284000892,-50,52,
 8134778399523232,6191789196834609,-.499602450256591657647,-50,52,
 8134778399524045,6191789196844008,-.498201626498059773386,-50,52,
 8134778399524070,6191789196844297,-.476018329038758483424,-50,52,
 8134778399524086,6191789196844481,.498178981344455208413,-50,52,
 8134778399525170,6191789196857014,-.499953223359498678222,-50,52,
 8134778399533735,6191789196956033,-.499954209145166755401,-50,52,
 8134778399679340,6191789198639356,-.499654066264611900870,-50,52,
 8241843578490020,7620678716035441,-.499953645370292963636,-50,52,
 8241843578527026,7620678716607302,.499981276841638420735,-50,52,
 8241843578528608,7620678716631750,-.499966042142322734989,-50,52,
 8241843578534936,7620678716729538,-.499754155569651464954,-50,52,
 8241843578536304,7620678716750678,-.489594324956788366709,-50,52,
 8241843578536315,7620678716750847,.495867486898975607430,-50,52,
 8241843578536518,7620678716753985,-.499700893299354669584,-50,52,
 8394820555893488,5357598277972218,.499997032103133523017,-50,51,
 8394820555893631,5357598277974123,.499696288810311118488,-50,51,
 8394820555893917,5357598277977933,.499094805678669891068,-50,51,
 8394820555893939,5357598277978227,-.424028385140702707715,-50,51,
 8394820555893945,5357598277978307,-.493971073541256714421,-50,51,
 8556480067975508,8663164961205268,-.499878456642336890038,-50,51,
 8556480068008995,8663164962263529,.499220415242233538783,-50,51,
 8556480068009088,8663164962266469,-.498601799708547963934,-50,51,
 8556480068009166,8663164962268933,.470966666611747493765,-50,51,
 8556480068009176,8663164962269249,.492706213670914857157,-50,51,
 8556480068009181,8663164962269408,-.496424012791402575911,-50,51,
 8556480068011755,8663164962350751,.499336121250281663855,-50,51,
 8556480068026475,8663164962815935,.499981005140205300702,-50,51,
 8556480068027855,8663164962859547,-.499956137781351838543,-50,51,
 8577884292694385,4696528064763932,-.499826829128274573660,-50,50,
 8577884292729125,4696528065403155,-.499975800318000534334,-50,50,
 8577884292744015,4696528065677134,-.499701420853813781054,-50,50,
 8577884292744035,4696528065677502,-.495671481949702996087,-50,50,
 8577884292744115,4696528065678974,-.479551725787891517474,-50,50,
 8577884292744120,4696528065679066,-.478544240998805607065,-50,50,
 8577884292745999,4696528065713640,-.499931215932376420933,-50,50,
 8577884292746991,4696528065731892,.499954087782348100082,-50,50,
 8664382762866758,7045518939603136,-.450673122165273526993,-50,50,
 8664382762866764,7045518939603377,-.499478592516200822122,-50,50,
 8664382762866846,7045518939606670,-.499820019034940213004,-50,50,
 8664382762866928,7045518939609962,.499838557447893699659,-50,50,
 8664382762869817,7045518939725981,-.499993338267321514153,-50,50,
 8714420965790930,4915833735801611,.499989033551286783578,-50,49,
 8714420965793376,4915833735896091,.459808139347029054174,-50,49,
 8714420965793392,4915833735896709,.480804514881772879177,-50,49,
 8714420965793408,4915833735897328,-.498199109430099026032,-50,49,
 8714420965793788,4915833735912006,-.499535141756461232187,-50,49,
 8714420965795407,4915833735974542,-.499963215196278870210,-50,49,
 8714420965853798,4915833738229971,-.498910783092459424718,-50,49,
 8893762581691289,-6213945468978542,.499912657443573774386,-50,48,
 8893762581694425,-6213945468595663,.499694742725328362470,-50,48,
 8893762581697113,-6213945468267481,.499470481752973892500,-50,48,
 8893762581697266,-6213945468248800,-.498311180825643165172,-50,48,
 8893762581697277,-6213945468247457,-.491615749120552301134,-50,48,
 8893762581697288,-6213945468246114,-.484920317994795042374,-50,48,
 8897696383619352,-5768052851875832,.498423919322878163411,-50,48,
 8897696383647844,-5768052848877533,-.499963166635571943105,-50,48,
 8897696383647990,-5768052848862169,-.485221929983576320518,-50,48,
 8897696383648003,-5768052848860801,-.456512097802298138942,-50,48,
 8897696383648020,-5768052848859012,-.495891549003594102771,-50,48,
 8897696383648123,-5768052848848173,-.499190600543634200392,-50,48,
 8897696383667245,-5768052846835909,.499285253925281179244,-50,48,
 4602893741359439,-6740800419910521,-.499897104411888653118,-49,51,
 4602893741361041,-6740800419846690,-.499230743665785209903,-49,51,
 4602893741361382,-6740800419833104,.499038297610192031659,-49,51,
 4602893741361427,-6740800419831310,-.495325029068859303494,-49,51,
 4602893741361440,-6740800419830793,.484081120841882738973,-49,51,
 4602893741368131,-6740800419564193,.499960005524512707065,-49,51,
 4602893741372744,-6740800419380390,.499986215457759835679,-49,51,
 4602893741440337,-6740800416687176,.498685841721513518815,-49,51,
 4612325947564114,-6382895885047269,.499982174739699422064,-49,51,
 4612325947564631,-6382895885028584,-.499478108900549221369,-49,51,
 4612325947564789,-6382895885022874,-.495444714023523559150,-49,51,
 4612325947564818,-6382895885021826,-.456729724811393956344,-49,51,
 4612325947564832,-6382895885021321,.492994752629743933507,-49,51,
 4612325947571553,-6382895884778428,-.499998278520212459798,-49,51,
 4612325947606759,-6382895883506110,.499686601181611361514,-49,51,
 4738648571742888,-7127022302251655,.499877498701387672354,-49,52,
 4738648571782456,-7127022301142370,-.499787388800125338980,-49,52,
 4738648571784119,-7127022301095748,-.499879799903720239934,-49,52,
 4738648571785782,-7127022301049126,-.499972646912163749658,-49,52,
 4738648571797337,-7127022300725184,.499971511556492143180,-49,52,
 4830666052096378,-5062850232690221,-.474997950927821538173,-49,52,
 4830666052096387,-5062850232690058,-.483019456884845032678,-49,52,
 4830666052096405,-5062850232689732,-.499062468816468242890,-49,52,
 4830666052096904,-5062850232680695,-.499365975584216773725,-49,52,
 4830666052097902,-5062850232662621,-.499973043150536747998,-49,52,
 4830666052101268,-5062850232601663,.499982949231739153959,-49,52,
 4830666052147394,-5062850231766311,.499891507591122657187,-49,52,
 4845910310861134,-4794865805597344,.499662083565486209964,-49,52,
 4845910310934104,-4794865804351873,-.499980363009579357898,-49,52,
 4845910310963292,-4794865803853685,-.499933594255038717020,-49,52,
 4845910310963336,-4794865803852934,-.497055670246259988784,-49,52,
 4845910310963380,-4794865803852183,-.494177746362470080623,-49,52,
 4963933852628250,-6255966771009678,.499979269933677799296,-49,53,
 4963933852644772,-6255966770617802,.499977372822431682377,-49,53,
 4963933852657611,-6255966770313280,-.499914081879464744675,-49,53,
 4963933852658293,-6255966770297105,.473453825539762327804,-49,53,
 4963933852658300,-6255966770296938,-.497494011328742433182,-49,53,
 4963933852658403,-6255966770294495,-.498583611296863863131,-49,53,
 4963933852658506,-6255966770292052,-.499673211885890596190,-49,53,
 4963933852661294,-6255966770225926,.499959499413084502972,-49,53,
 5007529068316685,-5272867915572029,.499586094451804121992,-49,53,
 5007529068316743,-5272867915570782,-.474711298046496913447,-49,53,
 5007529068316745,-5272867915570740,.491692240140536024364,-49,53,
 5007529068318709,-5272867915528547,.499966653546506510968,-49,53,
 5007529068324156,-5272867915411527,-.499998235127059237035,-49,53,
 5059472696388208,-8422560756659441,.499995092432862591951,-49,54,
 5059472696393807,-8422560756441107,.499946731666527584530,-49,54,
 5059472696394844,-8422560756400669,.499223138531858233156,-49,54,
 5059472696394971,-8422560756395716,-.113208781712012439874,-49,54,
 5059472696395047,-8422560756392752,-.479703474641075994404,-49,54,
 5059472696395051,-8422560756392596,-.498992669016127265375,-49,54,
 5059472696395466,-8422560756376414,.499753408940757544906,-49,54,
 5079689563131343,-7646890984580013,.499998949607679275159,-49,54,
 5079689563132074,-7646890984552405,-.499590367716981437132,-49,54,
 5079689563132228,-7646890984546590,.475872344040715792851,-49,54,
 5079689563132245,-7646890984545948,.499137708242873193900,-49,54,
 5107897798848548,-6602908465914283,.499979034598191825539,-49,54,
 5107897798873149,-6602908465021288,.499973809633536712340,-49,54,
 5107897798880079,-6602908464769735,.499845227202340572613,-49,54,
 5107897798881005,-6602908464736122,.498096272106548930561,-49,54,
 5107897798881122,-6602908464731875,.496795375328043996263,-49,54,
 5107897798881132,-6602908464731512,.488137178992173364808,-49,54,
 5107897798881142,-6602908464731149,.479478982651575881564,-49,54,
 5107897798881580,-6602908464715249,-.499750021704202712573,-49,54,
 5107897798895440,-6602908464212144,.499985019868240728967,-49,54,
 5114090198516132,-6379023361369155,.499978371429070092146,-49,54,
 5114090198547564,-6379023360237209,.499565821910656676133,-49,54,
 5114090198547716,-6379023360231735,.404883137838529167148,-49,54,
 5114090198547723,-6379023360231483,.492628014204731987830,-49,54,
 5114090198547724,-6379023360231446,-.494837003457420258702,-49,54,
 5114090198549718,-6379023360159638,.499917688098220500430,-49,54,
 5114090198550436,-6379023360133780,-.499965069884457098645,-49,54,
 5114090198558653,-6379023359837866,.499982260935956662182,-49,54,
 5214918003772926,-5859516379182766,.499960560310300032118,-49,55,
 5214918003819315,-5859516376135342,-.499992374182328316940,-49,55,
 5214918003821535,-5859516375989504,-.498310736707319938894,-49,55,
 5214918003821587,-5859516375986088,-.473046124017658832924,-49,55,
 5214918003821600,-5859516375985234,-.466729970861280317645,-49,55,
 5214918003821688,-5859516375979454,.499102450336294089130,-49,55,
 5214918003822007,-5859516375958497,-.499755025286523323792,-49,55,
 5214918003822798,-5859516375906535,.499943192477671900767,-49,55,
 5222449517593618,-5365794992135994,-.497078809584765170530,-49,55,
 5222449517593637,-5365794992134752,.474241302024929107878,-49,55,
 5222449517593649,-5365794992133966,-.491240732754333765951,-49,55,
 5222449517593761,-5365794992126640,.497593609065519662750,-49,55,
 5222449517594457,-5365794992081108,.499635580641700469476,-49,55,
 5222449517594631,-5365794992069724,-.499853929084189437399,-49,55,
 5222449517600454,-5365794991688787,.499987908305289351843,-49,55,
 5222449517631800,-5365794989638146,.499974997019145229225,-49,55,
 5273528936145910,-8239199824041505,.499982454838573266568,-49,57,
 5273528936145959,-8239199824028919,-.499757488784375228454,-49,57,
 5273528936146841,-8239199823802389,-.495076495415546584641,-49,57,
 5273528936147086,-8239199823739464,-.493776226681753017604,-49,57,
 5273528936222818,-8239199804288705,.499836761195569444170,-49,57,
 5305678313932713,-6089728082782612,.182547207300669062173,-49,85,
 5305678314020444,-7795157664844265,.372481005143736030579,-49,92,
 5305678314021321,-5182981399542312,-.161215258690335977626,-49,98,
 5305678314021330,-7451636400032266,-.317776556151928327811,-49,104,
 5305678314021331,7144290154732925,.420555860962022729423,-49,102,
 5346865815355482,5281427233506986,-.499989877387123093324,-49,56,
 5346865815376601,5281427236224739,.499152611233384874224,-49,56,
 5346865815376681,5281427236235035,-.490670202385591165651,-49,56,
 5346865815376809,5281427236251507,-.474386703729873751961,-49,56,
 5346865815377094,5281427236288182,.499369525717867612965,-49,56,
 5346865815378573,5281427236478512,-.499979681961914170689,-49,56,
 5489113122558596,6086879966999251,.499950540639518194260,-49,54,
 5489113122559049,6086879967015403,-.499570629043357328925,-49,54,
 5489113122559326,6086879967025278,.498514664462325753682,-49,54,
 5489113122559375,6086879967027026,-.483773496272448458301,-49,54,
 5489113122559401,6086879967027953,-.494783540702232012782,-49,54,
 5489113122573219,6086879967520611,.499959247942356021216,-49,54,
 5489113122700648,6086879972063892,-.499577507650392345668,-49,54,
 5548511370793648,8291412923757014,-.499852406183441648037,-49,54,
 5548511370793915,8291412923767368,-.498929694561727457118,-49,54,
 5548511370794001,8291412923770702,.497622191042991118898,-49,54,
 5548511370794010,8291412923771052,-.491110751134057954391,-49,54,
 5548511370796843,8291412923880912,.499953372186602023085,-49,54,
 5548511370801192,8291412924049563,-.499996970959525814872,-49,54,
 6192449487633893,-7949938657150857,.499642623787207790248,-49,45,
 6192449487634431,-7949938655434139,-.353910821468461190538,-49,45,
 6192449487634433,-7949938655427758,.494215849440212050777,-49,45,
 6192449487634749,-7949938654419426,.498101154104133867986,-49,45,
 6192449487634907,-7949938653915260,.499947889326588813762,-49,45,
 6192449487642861,-7949938628534650,.409013059070240297713,-49,45,
 6192449487651829,-7949938599918443,.112376557479148956689,-49,45,
 7074237752028440,-4967757600021511,.121482295898714274283,-49,103,
 7074237752028441,6523320454730237,-.439258852050639065313,-49,102,
 7074237752028456,8851956829740320,-.214953678250863102175,-49,98,
 7074237752030076,7193991260720826,.248320694634181886010,-49,91,
 7074237752192064,5622068355479965,.455223322373268937895,-49,84,
 8842797190035550,-6209697000026889,.401852869873392563462,-49,103,
 8842797190035551,5902350754727548,-.299073565063300664382,-49,102,
 8842797190035557,7493193285396687,.462615804367436176134,-49,99,
 8842797190036213,5828777595110610,-.379198311336277119185,-49,92,
 8842797190101842,4555527863668746,-.362316429871632526015,-49,85,
 5305678313666861,-6089734603000421,.042430128086641111414,-48,82,
 5305678314017785,-7795992252723834,-.156880159347659552288,-48,89,
 5305678314021295,-4954920047124106,-.040303814698308291000,-48,95,
 5305678314021330,-7451636400032266,-.317776556151929333620,-48,103,
 5305678314021331,7144290154732925,.420555860962036912098,-48,101,
 6189958033024885,-8693575800037644,-.037405982177251454216,-48,103,
 6189958033024886,6833805304731581,-.009351495544295780798,-48,101,
 6189958033025027,4987691016496920,-.261755278857775237601,-48,93,
 6189958033039114,7822342822373020,.370916736764676687174,-48,87,
 6189958034447771,6111247799581261,.273703534422204692858,-48,80,
 7074237752028440,-4967757600021511,.121482295898713082212,-48,102,
 7074237752028441,6523320454730237,-.439258852050628268713,-48,101,
 7074237752028505,4554563068423076,-.026869209701370755425,-48,94,
 7074237752034985,7196000395932591,-.437918534602711947701,-48,88,
 7074237752682937,5622084051848807,.373898630877979653517,-48,81,
 7958517471031995,-5588727300024200,.261667582886051742522,-48,102,
 7958517471031996,6212835604728892,.130833791443039439041,-48,101,
 7958517471032047,7274687462445617,-.060455721926927319791,-48,95,
 7958517471037211,5734711541635620,.382340846019920339897,-48,88,
 7958517471553561,8960430320996457,-.421270689132499411233,-48,82,
 8842797190035550,-6209697000026889,.401852869873390235198,-48,102,
 8842797190035551,5902350754727548,-.299073565063292666851,-48,101,
 8842797190035577,7502797855562292,-.134346048885800292734,-48,96,
 8842797190038202,5831051654070580,.405200593989362914759,-48,89,
 8842797190300717,4555528449885186,.410763274042877613258,-48,82,
 4863538454519552,-6211266302377890,-.364490460784866538911,-47,100,
 4863538454519553,5591865904726203,.271019078430375404300,-47,101,
 4863538454519555,5202582865461271,.408877384804263157555,-47,98,
 4863538454519754,7082980402950400,.365763713968232572687,-47,92,
 4863538454539620,5516060283747554,.002894911318561540113,-47,85,
 4863538456526210,8618527522494196,.115329345845377238584,-47,79,
 5305678312603455,-6089727643120281,-.444618878245905898386,-47,79,
 5305678314007151,-7795101388065951,.460753688689882328708,-47,86,
 5305678314021188,-5003457825286051,.489924044629056880151,-47,92,
 5305678314021329,-5435054177374529,-.289722069519124213487,-47,99,
 5305678314021330,-7451636400032266,-.317776556151933356860,-47,102,
 5305678314021331,7144290154732925,.420555860962093642796,-47,100,
 5747818173523107,-6521751152379235,.205602182708795295032,-47,100,
 5747818173523108,4970896204723514,.411204365417712040477,-47,101,
 5747818173523109,5746323678551375,-.397198908645416144216,-47,99,
 5747818173523169,8623821916274410,.456337534649753544038,-47,94,
 5747818173529257,6761200398621182,-.168305560415280984539,-47,87,
 5747818174138032,5282159309359028,.016673593855177465831,-47,80,
 6189958033024885,-8693575800037644,-.037405982177257842971,-47,102,
 6189958033024886,6833805304731581,-.009351495544246129721,-47,100,
 6189958033024891,6483725197304568,-.376168936939420501331,-47,97,
 6189958033025454,5002854474607046,-.065438792584506496851,-47,90,
 6189958033081800,7822304873499047,.093153944452814788500,-47,84,
 6189958038716422,6111241060654743,-.363027921367750296030,-47,77,
 6632097892526662,-6832236002380579,-.224305173797543653509,-47,100,
 6632097892526663,8699853009441651,.102779304810098546130,-47,102,
 6632097892526667,4775470033915548,-.403038146723238888079,-47,97,
 6632097892527084,7410558299801402,.431202551086963376861,-47,91,
 6632097892568793,5790336297080846,.456666731812767697019,-47,84,
 6632097896739609,4523616581729329,.464132454764821713143,-47,77,
 7074237752028440,-4967757600021511,.121482295898708313928,-47,101,
 7074237752028441,6523320454730237,-.439258852050585082312,-47,100,
 7074237752028443,6134429741053055,.140185286988105498738,-47,98,
 7074237752028702,4604301417855721,-.006717297137657554401,-47,91,
 7074237752054620,7196227801828588,-.359396954774009162288,-47,85,
 7074237754646427,5622083680973722,.489413726387040545348,-47,78,
 7516377611530217,-7142720852381924,.345787469696116578212,-47,100,
 7516377611530218,7457913609436273,.383149878784774055121,-47,102,
 7516377611530219,5435838828550030,.172893734848229356778,-47,99,
 7516377611530309,6418121957685854,.221451465505512603682,-47,93,
 7516377611539325,5006739995808629,-.263887921922496182795,-47,86,
 7516377612440958,7823198808423246,-.066795868268797619497,-47,80,
 7958517471031995,-5588727300024200,.261667582886044953306,-47,101,
 7958517471031996,6212835604728892,.130833791443076747770,-47,100,
 7958517471031997,7610017429734942,.065416895721879177483,-47,99,
 7958517471032204,7342618283558028,.234886074879436499853,-47,92,
 7958517471052858,5734692495361673,.095627053278669187934,-47,85,
 7958517473118259,8960434318365723,-.201544899384741877047,-47,79,
 8400657329648411,-7605200188238565,-.355853089736153797663,-47,80,
 8400657330524919,-4867443127925072,-.353771321183432276938,-47,86,
 8400657330533684,-6250677657184301,-.281907187445709496594,-47,93,
 8400657330533772,-7453205702383268,-.084119886810224047056,-47,100,
 8400657330533773,6215974209430896,-.336479547240549541081,-47,102,
 8842797190035550,-6209697000026889,.401852869873380922144,-47,101,
 8842797190035551,5902350754727548,-.299073565063260676727,-47,100,
 8842797190035656,7434830253926029,-.033586510830326211564,-47,93,
 8842797190046157,5831070412996685,.101311145253114430110,-47,86,
 8842797191096216,4555524301472001,-.311397000553218140307,-47,79,
 5858197952790444,7977144578647352,-.497665013226391406754,-46,44,
 5858197952790526,7977144582862484,.494631578261406177653,-46,44,
 5858197952790527,7977144582913889,-.444459262910030024059,-46,44,
 5858197952790529,7977144583016697,-.322638957801428138297,-46,44,
 5858197952794729,7977144798913758,.345891695065051066499,-46,44,
 6245226045760697,-4559419855747652,.264061622401547557512,-45,36,
 6245226045767160,-4559364288563871,-.387725967126658660448,-45,36,
 6245226045767543,-4559360995672545,.204593144900034769058,-45,36,
 6245226045767549,-4559360944086818,.271811624039305101137,-45,36,
 6245226045767657,-4559360015543930,-.127729619255618642739,-45,36,
 6245226045767679,-4559359826396351,-.243795107690708424470,-45,36,
 6245226045767681,-4559359809201118,.421994755613328751097,-45,36,
 6245226045767920,-4559357754371628,-.344460710907087957279,-45,36,
 5426391276979762,5882612263925814,-.499462265314089354520,-44,53,
 5426391276979780,5882612263938961,-.496476125930146562077,-44,53,
 5426391276979834,5882612263978402,-.487517602353913490838,-44,53,
 5426391276979839,5882612263982053,.457756343013278713510,-44,53,
 5426391276980091,5882612264166111,.499564945617025527550,-44,53,
 5426391276982101,5882612265634193,.499828273298170201674,-44,53,
 5426391276987126,5882612269304399,-.498554856841886258347,-44,53,
 5426971710399078,6316051654311978,.499745016256988610697,-44,53,
 5426971710399601,6316051654711423,.475048023165628480574,-44,53,
 5426971710399605,6316051654714479,-.496460111459882248196,-44,53,
 5426971710399745,6316051654821405,-.499244209616338586800,-44,53,
 5426971710401219,6316051655947183,-.499912931702694047031,-44,53,
 5562950707697847,-8503174439105153,.496400656973969709409,-44,52,
 5562950707702006,-8503174434244927,.499735496279900942220,-44,52,
 5562950707703169,-8503174432885839,-.498906044796364135291,-44,52,
 5562950707703174,-8503174432879996,-.476544961006514707540,-44,52,
 5562950707703303,-8503174432729246,-.499631167249761766022,-44,52,
 5562950707713052,-8503174421336522,.487768074297052471390,-44,52,
 5565768841151334,-5957913028132786,.488003761274247867355,-44,52,
 5565768841151335,-5957913028132081,-.480304926948731042977,-44,52,
 5565768841151366,-5957913028110256,-.497874314380320132694,-44,52,
 5565768841151429,-5957913028065903,.498677907312179993294,-44,52,
 5565768841151997,-5957913027666013,.499320232533172303094,-44,52,
 5565768841152565,-5957913027266123,.499928396527937714278,-44,52,
 5565768841176641,-5957913010315856,.466125339970974812961,-44,52,
 5637442019528742,5204056316864693,-.499128525631719713757,-44,59,
 5637442019530736,5204056382209410,-.499503860100678476834,-44,59,
 5637442019534724,5204056512898844,-.499853348989303036183,-44,59,
 5637442019535926,5204056552289189,.455010815608740851608,-44,59,
 5637442019535938,5204056552682438,-.498850528446218415870,-44,59,
 5637442019536111,5204056558351763,.499648966309557212180,-44,59,
 5666178554253736,-7836479515572140,.221305736159231901021,-44,49,
 5666178554261252,-7836479468725913,.477845826794129212737,-44,49,
 5666178554261357,-7836479468071462,.493316055821135497632,-44,49,
 5666178554261402,-7836479467790983,.499912863268219490204,-44,49,
 5666178554285301,-7836479318831701,-.352180588460061780612,-44,49,
 5772925638446115,7786441351776282,.366803055673189709071,-44,50,
 5772925638472635,7786441434650370,-.499471920555050048058,-44,50,
 5772925638472664,7786441434740994,-.496758447433443226188,-44,50,
 5772925638472665,7786441434744118,.468852398838653080893,-44,50,
 5772925638473362,7786441436922220,-.499790091324250354231,-44,50,
 5772925638487727,7786441481812351,-.221867044922898914312,-44,50,
 5772925638492147,7786441495624699,-.034352737128827159064,-44,50,
 5835612929830528,-7885315206957082,.499023065774786919319,-44,51,
 5835612929831967,-7885315204514238,.499820831480314529232,-44,51,
 5835612929832206,-7885315204108511,-.498792332646753119578,-44,51,
 5835612929832211,-7885315204100024,.492868067565812868568,-44,51,
 5835612929832221,-7885315204083048,.476188817304052027036,-44,51,
 5835612929837123,-7885315195761421,.491883868104476446194,-44,51,
 5896103646755871,-6948420867466473,.487883136402260860480,-44,52,
 5896103646767110,-6948420857740397,.499842109861558818445,-44,52,
 5896103646767866,-6948420857086164,-.499329891341066999722,-44,52,
 5896103646768433,-6948420856595490,-.498765824633895246597,-44,52,
 5896103646768477,-6948420856557414,.495984902070500648398,-44,52,
 5896103646768508,-6948420856530587,.469559101245905544375,-44,52,
 5896103646768521,-6948420856519337,.490735334907187191378,-44,52,
 6004329071274837,-4736461505679553,.203333168774953622963,-44,51,
 6004329071332883,-4736461465377317,.499735804255058563527,-44,51,
 6004329071334563,-4736461464210867,.496194570038259494054,-44,51,
 6004329071334601,-4736461464184483,.484204289178301752421,-44,51,
 6004329071334617,-4736461464173373,-.468212742909520658266,-44,51,
 6004329071334712,-4736461464107413,-.498189746333599246438,-44,51,
 6004329071335384,-4736461463640833,-.499754074729573523966,-44,51,
 6004329071335552,-4736461463524189,.499843127968062099624,-44,51,
 6029337333115638,5465078738859625,-.497840376284727529246,-44,54,
 6029337333124457,5465078748721418,-.499908198665046575758,-44,54,
 6029337333124662,5465078748950658,-.499353634490610275812,-44,54,
 6029337333126097,5465078750555338,-.495426302694126243966,-44,54,
 6029337333126208,5465078750679463,-.421948475124451616204,-44,54,
 6029337333126220,5465078750692882,-.495085978816142084635,-44,54,
 6029337333150873,5465078778260949,-.488266672736346676998,-44,54,
 6245226045766526,8897023390174213,-.499902258090330876857,-44,68,
 6245226045766854,8897028893101066,-.499510132313095728521,-44,68,
 6245226045767641,8897042096770069,.498407176353514188140,-44,68,
 6245226045767679,8897042734304278,.077723017535169137416,-44,68,
 6245226045767681,8897042767858710,.108213327265614149245,-44,68,
 6245226045767699,8897043069848598,.382626125188861803511,-44,68,
 6245226045767707,8897043204066327,-.495412625310132328398,-44,68,
 6245226045768953,8897064108477482,-.499903097364283239942,-44,68,
 6245226045781088,8897267699993827,-.494827213641975109533,-44,68,
 6304262280165671,7839826145954111,-.499855294349432169635,-44,55,
 6304262280166438,7839826147599304,-.499823150009799418317,-44,55,
 6304262280167972,7839826150889690,-.499665212937662410096,-44,55,
 6304262280168251,7839826151488136,.497769370566155898354,-44,55,
 6304262280168320,7839826151636140,-.481359073863587872270,-44,55,
 6304262280168321,7839826151638284,.489957907059837956630,-44,55,
 6304262280168495,7839826152011509,.499113395613682851529,-44,55,
 6304262280182057,7839826181101611,-.494985901838188716256,-44,55,
 6305910042758502,5729286499477431,-.494854658253257025629,-44,54,
 6305910042772072,5729286514778645,-.499977177498356148374,-44,54,
 6305910042774325,5729286517319075,-.497005893376538488064,-44,54,
 6305910042774377,5729286517377708,.484423317269754815462,-44,54,
 6305910042774384,5729286517385602,-.479615049801234117524,-44,54,
 6305910042774547,5729286517569397,-.499365032447877568729,-44,54,
 6305910042774658,5729286517694557,.499456151500774950523,-44,54,
 6305910042777995,5729286521457281,-.499712086436241370482,-44,54,
 6535180284100167,8805179215868959,.485141311035603593016,-44,53,
 6535180284100229,8805179215931039,.498693498543262543940,-44,53,
 6535180284100821,8805179216523803,.499084314917452630121,-44,53,
 6535180284102301,8805179218005714,-.499768020115076442982,-44,53,
 6535180284113222,8805179228940808,-.490520668351070273714,-44,53,
 6535815775784477,4732540712758599,.498476542798585705244,-44,52,
 6535815775784551,4732540712798462,.495278487719469924881,-44,52,
 6535815775784580,4732540712814084,.480511778464974915758,-44,52,
 6535815775784596,4732540712822704,-.493152589680012515803,-44,52,
 6535815775784744,4732540712902430,-.499547214007605414770,-44,52,
 6535815775785693,4732540713413646,-.499976543084708366747,-44,52,
 6535815775796325,4732540719140989,-.495555776558746630641,-44,52,
 6535815775834790,4732540739861667,-.418888328879324713612,-44,52,
 6544022097441985,7433463181640688,-.453919757022777040594,-44,51,
 6544022097442564,7433463182522428,-.458018918042551446663,-44,51,
 6544022097447196,7433463189576348,-.483914682393857834460,-44,51,
 6544022097454685,7433463200981099,-.446302513746930315990,-44,51,
 6544022097454693,7433463200993281,.489794328290907974486,-44,51,
 6544022097454723,7433463201038968,-.499842188299185894714,-44,51,
 6616319171067439,-5639447612991234,.428664460139588675764,-44,52,
 6616319171106482,-5639447587323782,.489392401323777870202,-44,52,
 6616319171106523,-5639447587296827,-.497556291851556517690,-44,52,
 6616319171106670,-5639447587200187,-.499544363039663049897,-44,52,
 6616319171107205,-5639447586848470,-.499994213110341850450,-44,52,
 6616319171114254,-5639447582214353,.497184547464269800946,-44,52,
 6702751591210036,5388381552243276,-.489384219081617946792,-44,52,
 6702751591220254,5388381558603663,-.498594258974040028758,-44,52,
 6702751591225861,5388381562093846,-.498423765801044559929,-44,52,
 6702751591225878,5388381562104427,.472509994304854574130,-44,52,
 6702751591226584,5388381562543891,-.499278123826600173833,-44,52,
 6702751591227066,5388381562843921,-.499823107431393553471,-44,52,
 6702751591251149,5388381577834839,-.472962266264470363672,-44,52,
 6729307497420708,-8517448159088361,.485777385002058810765,-44,53,
 6729307497437165,-8517448143127778,-.499860043047814471569,-44,53,
 6729307497437226,-8517448143068619,.462588257051171601145,-44,53,
 6729307497437238,-8517448143056981,.487987876977457131331,-44,53,
 6729307497437244,-8517448143051161,-.499312318689572962240,-44,53,
 6729307497438976,-8517448141371407,.499874272497927709641,-44,53,
 6743769751755980,4663212873530431,-.499980613206014397351,-44,56,
 6743769751757426,4663212879478051,.498776792879463461212,-44,56,
 6743769751757439,4663212879531523,-.496393150924457102891,-44,56,
 6743769751757504,4663212879798878,-.472242793231119810452,-44,56,
 6743769751757517,4663212879852349,-.467412706349864328960,-44,56,
 6743769751758256,4663212882891969,.499475256485527562257,-44,56,
 6743769751758671,4663212884598928,.499832305972653532620,-44,56,
 6743769751761777,4663212897374386,-.499739580386490010712,-44,56,
 6743769751790762,4663213016594161,-.483280248163844826370,-44,56,
 6754791752037657,7451445081177013,-.475679656017308493249,-44,53,
 6754791752048403,7451445090444427,-.492222853649961557738,-44,53,
 6754791752062152,7451445102301645,.473468364457488065649,-44,53,
 6754791752062157,7451445102305958,-.496939170530654717817,-44,53,
 6754791752062258,7451445102393061,-.499170943111059126469,-44,53,
 6754791752062731,7451445102800979,-.499710708931746674612,-44,53,
 6754791752088278,7451445124832863,-.472307324586953148933,-44,53,
 6794379564775085,-7308383528663907,.499792297776842680886,-44,55,
 6794379564775622,-7308383527518878,.499749921477222560012,-44,55,
 6794379564777770,-7308383522938762,.499438617488149726837,-44,55,
 6794379564778170,-7308383522085853,-.493195622289979884635,-44,55,
 6794379564778207,-7308383522006960,.497485312993941805860,-44,55,
 6794379564778307,-7308383521793733,.499325341793245417179,-44,55,
 6794379564783777,-7308383510130216,.499225822835509074379,-44,55,
 6990987887147431,7100582953006439,-.465989443957676598250,-44,47,
 6990987887148192,7100582968509363,.469388876181888988482,-44,47,
 6990987887148201,7100582968692709,.493996653807644124095,-44,47,
 6990987887148406,7100582972868925,-.498485338098097826423,-44,47,
 6990987887148447,7100582973704168,-.496392469162734655838,-44,47,
 7006147210769166,-8042980383687134,-.063069370723413976604,-44,53,
 7006147210777808,-8042980375734348,.185726973791825168210,-44,53,
 7006147211000861,-8042980170470195,.193246776636428455744,-44,53,
 7006147211080576,-8042980097112600,.498100291232244441959,-44,53,
 7006147211081720,-8042980096059835,-.421308631490916167152,-44,53,
 7006147211081756,-8042980096026706,-.481711595829205013600,-44,53,
 7006147211081768,-8042980096015664,.498154055819578774611,-44,53,
 7054682820169599,-4553813902705527,.297869072051221099619,-44,51,
 7054682820207747,-4553813877852828,.485745768107224712545,-44,51,
 7054682820220463,-4553813869568595,.499933076498614367791,-44,51,
 7054682820221544,-4553813868864343,-.487631156744030682532,-44,51,
 7054682820221546,-4553813868863041,.474463844348617734442,-44,51,
 7054682820221571,-4553813868846753,-.499348692544451062606,-44,51,
 7054682820221914,-4553813868623296,.499933848287996378410,-44,51,
 7138546116882169,5084649691259517,-.494901276486605270200,-44,53,
 7138546116897437,5084649701567852,.499942555186804835048,-44,53,
 7138546116897506,5084649701614439,-.491150300855720396769,-44,53,
 7138546116897512,5084649701618489,.466145982281117700964,-44,53,
 7138546116897531,5084649701631317,.497584222505293917564,-44,53,
 7223985620311800,-5824448248145976,.499578922908986072429,-44,52,
 7223985620313358,-5824448247080017,-.499949510448738954203,-44,52,
 7223985620314660,-5824448246189210,-.493324237634473143042,-44,52,
 7223985620314709,-5824448246155685,-.498454573151603428625,-44,52,
 7223985620314916,-5824448246014059,-.499722125302056174769,-44,52,
 7223985620352929,-5824448220006190,.426316283762536860461,-44,52,
 7322656671923330,8694133478551791,.028172596690911616375,-44,47,
 7322656671979834,8694135204056181,-.336847605011974097788,-44,47,
 7322656671980904,8694135236731568,-.281428796618100832430,-44,47,
 7322656671991925,8694135573288069,-.321116500743787975683,-44,47,
 7322656671993201,8694135612254235,-.476872741734642285858,-44,47,
 7322656671993209,8694135612498537,-.495556536378817601251,-44,47,
 7371229009395375,5374472439644421,-.457848396717034624667,-44,51,
 7371229009395381,5374472439649563,.494656552457871188453,-44,51,
 7371229009395570,5374472439811566,.498566737386126761256,-44,51,
 7371229009395633,5374472439865567,.499871978604123233930,-44,51,
 7371229009401781,5374472445135380,-.495296567221821087410,-44,51,
 7371229009409466,5374472451722645,-.476894707921413611774,-44,51,
 7413149621270953,7944544511101985,-.499380087388599344132,-44,54,
 7413149621274762,7944544515760995,-.499920462351892613973,-44,54,
 7413149621275400,7944544516541370,-.498611297476226933541,-44,54,
 7413149621275438,7944544516587850,-.482858553281054486118,-44,54,
 7413149621275779,7944544517004947,-.499389175434248074971,-44,54,
 7461059150894848,-6681833024750928,.498821130917096692634,-44,61,
 7461059150902231,-6681832057038226,.455414833749193432215,-44,61,
 7461059150902251,-6681832054416764,.468026004420569460905,-44,61,
 7461059150902301,-6681832047863109,.499553855532801726765,-44,61,
 7461059150902460,-6681832027022486,.499811704600943807496,-44,61,
 7461059150902619,-6681832006181862,-.499931537981938158873,-44,61,
 7461059150906425,-6681831507317642,.499599368233883093868,-44,61,
 7761862923788165,6085579851326880,.082219589099079970046,-44,50,
 7761862923839741,6085579951062148,.499247074238233752418,-44,50,
 7761862923839745,6085579951069884,-.486793131057701101451,-44,50,
 7761862923839765,6085579951108559,-.416993872353656562992,-44,50,
 7761862923840171,6085579951893663,-.499966161838059280074,-44,50,
 7761862923843108,6085579957573097,-.493368237204476990416,-44,50,
 7819356134936070,4983230431941229,.463997324770497010639,-44,48,
 7819356134936090,4983230432041847,.478239846415571121971,-44,48,
 7819356134936120,4983230432192774,.499611223194114487966,-44,48,
 7819356134936261,4983230432902132,-.499821234992784036516,-44,48,
 7880037969508977,-8769511676404614,.497600325220271340682,-44,51,
 7880037969509110,-8769511676129392,.497800137152770568652,-44,51,
 7880037969510706,-8769511672826728,.498933769348349307204,-44,51,
 7880037969511238,-8769511671725840,.498793037108407708816,-44,51,
 7880037969511259,-8769511671682383,-.395954680095846267091,-44,51,
 8016984453654379,6625791503749822,-.499238992042788093013,-44,55,
 8016984453660218,6625791516112525,-.499817101941769692374,-44,55,
 8016984453660309,6625791516305196,-.499129119184348794911,-44,55,
 8016984453660328,6625791516345424,-.487996417185512437934,-44,55,
 8016984453661655,6625791519155033,-.499899223587580354508,-44,55,
 8016984453703783,6625791608351120,-.458206178873202588661,-44,55,
 8049376796597357,-4633560321679863,.342618167148581468245,-44,51,
 8049376796640967,-4633560292462210,.499891386689871094469,-44,51,
 8049376796641925,-4633560291820372,-.499907902740131557489,-44,51,
 8049376796642050,-4633560291736626,.499063835953588471622,-44,51,
 8049376796642174,-4633560291653548,-.477958618872977414889,-44,51,
 8049376796642175,-4633560291652879,.498033125727904923639,-44,51,
 8198893031061840,8791826487613061,-.493505199666541774659,-44,52,
 8198893031067344,8791826494391872,-.499656829703804325013,-44,52,
 8198893031067357,8791826494407883,-.499843243258394034994,-44,52,
 8198893031067825,8791826494984278,.493476634388093035579,-44,52,
 8198893031068709,8791826496073026,.481021969646844773675,-44,52,
 8198893031068735,8791826496105048,.480658889600838700278,-44,52,
 8198893031072861,8791826501186694,-.497694721594344961409,-44,52,
 8347450336543078,8478566730967977,.499876375819307042464,-44,56,
 8347450336544644,8478566737471118,.430016313548314741899,-44,56,
 8347450336544654,8478566737512646,-.488692444517409131870,-44,56,
 8347450336544702,8478566737711976,-.498494405907245088241,-44,56,
 8347450336544911,8478566738579892,-.499505620912835292699,-44,56,
 8347450336547974,8478566751299637,-.499693052894131653996,-44,56,
 8638779724372242,6562088979095036,-.467826454498512231385,-44,52,
 8638779724381251,6562088986297789,-.488741050188216285668,-44,52,
 8638779724390260,6562088993500542,-.498906656460155161060,-44,52,
 8638779724390495,6562088993688426,-.499138975881167787662,-44,52,
 8638779724393550,6562088996130917,.498506438337488082983,-44,52,
 8638779724394255,6562088996694569,.498138606460582247536,-44,52,
 8638779724394257,6562088996696169,-.489096385953230766024,-44,52,
 8638779724394277,6562088996712159,-.361446280954876824114,-44,52,
 8704521642365805,5793272955721516,-.338482617154754445711,-44,45,
 8704521642366369,5793272986304051,.496306193586423930620,-44,45,
 8704521642366479,5793272992268731,-.491196496027928592987,-44,45,
 8704521642366902,5793273015205633,-.355987588628501444168,-44,45,
 8704521642370052,5793273186012356,.384218560836126422087,-44,45,
 8704521642374299,5793273416303215,.415022168562783154849,-44,45,
 7146344544205485,7177279912577087,.170812066868778227267,-38,35,
 7146344544206769,7184289929633411,.441225887164382867247,-38,35,
 7146344544206846,7184710747509888,.157958984762707765957,-38,35,
 7146344544206847,7184716213001394,-.492777724293430545635,-38,35,
 7146344544206849,7184727144009350,.214481733390090229727,-38,35,
 7146344544206866,7184820058919929,.461530659107715603957,-38,35,
 7146344544218656,7249843303646073,-.355515482996088040378,-38,35,
 7146344544231827,7323888934212544,-.020116145278483844163,-38,35,
 5371956115269229,-6818453271172537,-.238308647177607875740,-37,31,
 5371956115275259,-5984753397914060,-.062368427637827279165,-37,31,
 5371956115275767,-5923734292364860,.013594132395973582847,-37,31,
 5371956115275775,-5922783311680424,-.306801773428989573094,-37,31,
 5371956115275777,-5922545614216129,-.351802910073348710683,-37,31,
 5371956115275817,-5917795668285158,-.074571560680671615404,-37,31,
 5371956115275867,-5911868939382967,.386305848265452729841,-37,31,
 5371956115296668,-8346277860743347,.008701212724948152058,-37,32,
 7170739958440191,-6304817352526845,.195722109923087527538,-37,35,
 7170739958444930,-6265177420166667,.450275332346600962292,-37,35,
 7170739958448127,-6238716097693937,.052889285485698440164,-37,35,
 7170739958448129,-6238699613807796,.337197895966024071084,-37,35,
 7170739958448135,-6238650162672011,.215805245844409530616,-37,35,
 7170739958448315,-6237166993048632,.275865834092017991563,-37,35,
 7146344544198288,-5682748303574537,-.294855851195412162460,-36,68,
 7146344544206793,-5646219606708603,.496759453031705496742,-36,68,
 7146344544206800,-5646189541937520,.499267884085989315148,-36,68,
 7146344544206842,-5646009153311021,-.488142108410715026779,-36,68,
 7146344544206847,-5645987678474534,.370218593111394958956,-36,68,
 7146344544206849,-5645979088539938,-.486453864474042206752,-36,68,
 7146344544208614,-5638398471259728,-.226959913229469637030,-36,68,
 7146344544209221,-5635791426110105,-.228421118162198914152,-36,68,
 7158542251321411,8288260383536357,.317855163143279355289,-36,35,
 7158542251327335,8464270768129039,.386598144948535010576,-36,35,
 7158542251327485,8468824571260593,-.263026910839683638235,-36,35,
 7158542251327487,8468885321737596,.391326885411329038676,-36,35,
 7158542251327489,8468946073086184,.266049057366998846018,-36,35,
 7158542251327496,8469158709670238,.372035255992917520918,-36,35,
 7158542251328215,8491056545868562,-.388590063856017709611,-36,35,
 7158542251358393,4762354060778934,-.140428157643608711792,-36,34,
 7170739958438125,6416193615665061,-.336530512044146954872,-36,69,
 7170739958447954,6500624082779936,-.458037872832779144012,-36,69,
 7170739958448096,6501843853492147,.497216366901731151136,-36,69,
 7170739958448120,6502050011922381,-.490776827947145349418,-36,69,
 7170739958448127,6502110141464532,-.195309399487223670206,-36,69,
 7170739958448129,6502127321333718,-.110865350510702772899,-36,69,
 7170739958449304,6512220494480544,.405186288301177670854,-36,69,
 7158542251327473,-4790105732643856,.498168734272324463286,-35,69,
 7158542251327487,-4789865214475264,.335313238366198564399,-35,69,
 7158542251327488,-4789848034606079,.466476987250853271280,-35,69,
 7158542251327489,-4789830854736893,-.402367378182687861313,-35,69,
 7158542251327534,-4789057760623563,.491238329893878297073,-35,69,
 7158542251332932,-4696320826762344,.039886916855153906186,-35,69,
 7158542251381514,-7723376844042519,-.332934095616978440742,-35,70,
 7158542251386912,-7537902976324307,.327621973092382493823,-35,70,
 4588037610653013,4727174891829162,.320381373618808027373,-34,32,
 4588037610665813,6566765668563134,-.222852956456105222115,-34,30,
 4588037610667386,7461632224628786,-.276016613137516729665,-34,29,
 4588037610667926,6624971995947759,-.363709245351529607670,-34,28,
 4588037610668031,7801785427206074,-.360261682684665078174,-34,28,
 4588037610668033,7828272269662221,.150064294159331204119,-34,28,
 4588037610668034,7841583247130868,.395347456001501278856,-34,28,
 5371956115213660,-6752300989304922,.023075725810312099807,-34,73,
 5371956115239520,7464384357841463,-.452747572442618266616,-34,73,
 5371956115275724,6841935960979415,-.437204525035766164515,-34,71,
 5371956115275756,6846334007490556,-.485235831219989168378,-34,71,
 5371956115275775,6848945347606545,.477470822572020949569,-34,71,
 5371956115275777,6849220225513492,-.209690814524415808848,-34,71,
 7161591678107146,7244732917153563,.444836401105100874864,-34,33,
 7161591678107646,7427037803301751,-.286623553821625680719,-34,33,
 7161591678107647,7427411606847815,.479459134929940900302,-34,33,
 7161591678107649,7428159326832725,.141647857109761733458,-34,33,
 7161591678107700,7447277183238765,-.284856243333932402398,-34,33,
 7161591678109666,8267528681988622,.116176035356955738715,-34,33,
 7161591678138646,-6629454277668758,-.152657834445305597678,-34,32,
 7161591678142426,-4948767116236799,.156951876115031861664,-34,32,
 4923784867872729,-7421756401627660,-.029205618274255818597,-33,31,
 4923784867872760,-7330329882244165,-.126309455947877274800,-33,31,
 4923784867872767,-7309996062004235,.194325352278718032541,-33,31,
 4923784867872769,-7304207102723006,-.383655598761825817770,-33,31,
 4923784867872782,-7266801213060767,.118193763207190352168,-33,31,
 4923784867873016,-6653479631864045,-.408950637089541377871,-33,31,
 4923784867878157,-4662097417212926,.101897120703817281022,-33,32,
 7161591678102607,-6846886093846092,-.375686603267315546410,-33,71,
 7161591678107647,-5461501442838881,-.251557858284566386278,-33,71,
 7161591678107649,-5460951687024990,-.310586228036600582546,-33,71,
 7161591678107655,-5459302419583317,-.491223564283889592011,-33,71,
 7161591678107706,-5445283646329099,.258440309032084142215,-33,71,
 7161591678107774,-5426591948656808,.327661436200413884442,-33,71,
 7161591678108350,-5268262274256252,.455519314614246543211,-33,71,
 7161591678166932,5417317635210971,.098955162386561915533,-33,70,
 4923784867847030,-6380879458177499,.083625991047527862629,-32,70,
 4923784867867045,-7033585205050949,-.134266745728629645865,-32,73,
 4923784867872767,5549225863219534,-.323498221146407396610,-32,73,
 4923784867872769,5553623909730639,.195962261326417244532,-32,73,
 4923784867872772,5560220979497297,.479669519413176572392,-32,73,
 4923784867872776,5569017072519509,-.466946592052780294160,-32,73,
 4923784867872826,5678968235297148,-.479590765623888905288,-32,73,
 4923784867874162,8616863304716326,-.055362071013863438444,-32,73,
 4923784867878016,8545949465815001,-.325466976876668254800,-32,72,
 5818983827628076,4550828610966028,-.141922696943492964502,-31,34,
 5818983827630857,6927076419348645,.227075246874126744100,-31,34,
 5818983827636216,-8729638283058440,-.022843683925488764776,-31,27,
 5818983827636221,-7581528823750647,-.356559879350056767032,-31,27,
 5818983827636223,-7202617661530821,.081272552171110824666,-31,27,
 5818983827636225,-6859778291600821,-.339345155202589848298,-31,27,
 5818983827636303,-4803141234587124,-.143050405562465288182,-31,28,
 5818983827636419,-4884899465907700,-.324247892267836213800,-31,29,
 4588037610666348,-5000813062423407,-.223926377905613423704,-30,71,
 4588037610667659,-8471574297551304,.144215059191686381824,-30,73,
 4588037610668029,-5217019879332603,.457976510395561551917,-30,73,
 4588037610668031,-5199427693288181,-.192438045116992781414,-30,73,
 4588037610668033,-5181835507243760,.121069122245678168361,-30,73,
 4588037610668096,-4627681646844506,-.273276932217976013448,-30,73,
 4588037610671088,5422557168910083,.062361230823864897932,-30,71,
 4588037610685745,4706705128589756,.000094136647048910597,-30,68,
 5818983827633803,-5233636980147713,-.178017502356748333878,-30,71,
 5818983827636184,4582177444187741,-.051676464284884896525,-30,82,
 5818983827636223,5631955090988662,-.487831823925179784064,-30,77,
 5818983827636225,5913430067699318,-.077000682386547288676,-30,77,
 5818983827636296,7952895870463831,-.178289092233953867999,-30,76,
 5818983827636817,5576876448378991,.326943863410424912085,-30,73,
 5818983827688167,7144628960875221,.282571066082720322418,-30,67,
 6904797244411073,5624454277193577,-.060823193319099690299,-30,36,
 6904797244424114,7394557147513823,-.084499159650540363473,-30,29,
 6904797244424191,4703788309909425,.420494985762129796691,-30,22,
 6904797244424193,-8639510059838796,-.401035540411861105301,-30,23,
 6904797244424196,-8912373752283457,-.079801738593736443095,-30,25,
 6904797244424207,-4790248379893716,.495051196974285387330,-30,26,
 6904797244424352,-7203843225027057,.479383511135393497379,-30,30,
 6904797244426836,-6976719800008747,-.376030852818317491021,-30,34,
 6904797244429320,-7194458260130875,.116810366228987290544,-30,35,
 6904797244467056,-6885675904601966,-.321107979734398760125,-30,38,
 5378363199848423,5544728227232810,-.327880610731822240761,-28,29,
 5378363199848445,4513315703858834,.053682178960166359078,-28,26,
 5378363199848447,4523073793960235,.142329562476434883307,-28,25,
 5378363199848449,-8171929238594081,-.113984766594289389243,-28,18,
 5378363199848585,-8476827282174710,.039437498390028363781,-28,32,
 5378363199849351,-5112685136269085,-.201300555410819131402,-28,34,
 5378363199895738,-6241363707871663,-.197986079758695149909,-28,40,
 5378363199848366,-5839999819241155,.169016620930099749246,-26,72,
 5378363199848395,-7598612476173483,.133570334946729609637,-26,73,
 5378363199848447,-8968418614233199,-.463885326291759486794,-26,78,
 5378363199848449,4963921984997782,-.433854448901622552100,-26,85,
 5378363199848453,4513294787497450,.159972989236112258525,-26,76,
 5378363199850028,6944553314034002,.241491739108168487482,-26,68,
 5378363199868106,5403277538310056,-.012161657698481010342,-26,64,
 5378363199886184,5186260639347831,-.357374387123812214159,-26,63,
 5560206444436797,5836951338647943,.433477278383488088537,-26,41,
 5560206444453934,4529192643284706,-.141845619092120007281,-26,39,
 5560206444461881,5802042483161729,-.243883235502276797066,-26,34,
 5560206444462064,4586852804720960,-.207051659076050458479,-26,30,
 5560206444462079,6346729782909825,-.464771884822265672149,-26,26,
 5560206444462081,-6980126668868641,-.152057015769621295768,-26,27,
 5560206444462083,-5474824992164901,.117719202269710800092,-26,28,
 5560206444462105,-5698413323535399,.477849189852812380391,-26,31,
 5560206444462146,-8695990637177119,-.203633744336333788653,-26,33,
 5560206444463124,-8832190720787163,-.329877707007043022025,-26,37,
 8249388044341772,6627739631291997,-.439492393118924338196,-26,42,
 8249388044375622,6907466546546807,.439756516495808773288,-26,40,
 8249388044385998,7530382713785319,-.333768267301250600564,-26,35,
 8249388044386294,7060809314070133,.100417671615381628459,-26,30,
 8249388044386295,7827847689606283,-.491783681022961031202,-26,30,
 8249388044386303,7473066764022729,.029308275294141035421,-26,27,
 8249388044386305,-5666959616820497,.003861098554828548187,-26,26,
 8249388044386375,-8142709218224384,.322351076560284650451,-26,33,
 8249388044386537,-4952524461280004,-.498257384415392124376,-26,34,
 8249388044390364,-4543762766533515,.171522533806996570371,-26,38,
 5560206444461399,-5987584908334732,-.404835899572454793096,-25,68,
 5560206444461877,-7132209771678402,-.372132820556351436839,-25,70,
 5560206444462043,-5166416019384157,-.045141772928873692933,-25,72,
 5560206444462079,-6391452069778421,.193363260541314611688,-25,78,
 5560206444462081,5811473219851785,-.061965265963232732892,-25,77,
 5560206444462083,7409336237296411,-.213805678948254754473,-25,76,
 5560206444462086,7082367839176148,.487074003067775090753,-25,75,
 8249388044386282,-6250232981444723,-.427132920766923118068,-25,73,
 8249388044386303,-5428135528320563,.322725689096762755002,-25,77,
 8249388044386305,7158127452840865,-.346923309286086485771,-25,78,
 8249388044386457,5375985992902282,-.257259631411442965034,-25,70,
 8249388044388293,8746811653737648,-.400684339240482775372,-25,67,
 8249388044391047,5214757968497035,.054084270238190588078,-25,65,
 8249388044445318,8110802548366385,-.108670451219620356153,-25,62,
 6904797244415493,-4782302856494644,-.437163393760356226985,-24,63,
 6904797244423823,-6490767945007108,.368000835305430586778,-24,68,
 6904797244424181,-6168490881914608,.284305966721235992318,-24,73,
 6904797244424191,-8623861563209780,.368481716696283019273,-24,77,
 6904797244424193,4695268473136113,-.091131793342289367598,-24,76,
 6904797244424195,6851233863938625,-.459474101909827677052,-24,75,
 6904797244425310,4917203183300499,.496175676071598990409,-24,66,
 6904797244430308,6724660207515956,.055326110066275709383,-24,64,
 8967144255519875,5164211377367665,-.092074641273271287729,-24,38,
 8967144255520608,7205364773893031,-.328125245084395173300,-24,36,
 8967144255520698,8234122807497039,.185013478546031842824,-24,35,
 8967144255520762,5996042264363983,.438564012089862951892,-24,31,
 8967144255520767,8928954654720209,-.194501816293631572300,-24,29,
 8967144255520769,-4543413647863705,-.306347976965473629445,-24,28,
 8967144255520775,-5153422365355229,-.052367600199106137243,-24,31,
 8967144255520788,-7208917998088240,.175757402660179072314,-24,33,
 8967144255583414,-4711339506822437,-.195916865236359349564,-24,44,
 5346671783299037,5134431071385710,-.437746985121545208939,-23,43,
 5346671783311549,4961472050327988,.410762450126288050912,-23,40,
 5346671783313403,7207111990752357,.259894219756638434787,-23,32,
 5346671783313404,4504656385523774,-.363235434054702337574,-23,31,
 5346671783313407,4507829637668298,.218031270391962223636,-23,29,
 5346671783313409,-8998755096512838,.128711761523848203309,-23,30,
 5346671783313446,-7584822599546969,.357020656121798115035,-23,35,
 5346671783313510,-5651524010359640,-.026234863286137714523,-23,36,
 5346671783320544,-5170049663207357,-.098188532785355772972,-23,42,
 8967144255489356,-8634507579565364,-.074223756943138904423,-23,61,
 8967144255520208,-4925889180085157,.323014590782948237945,-23,66,
 8967144255520669,-6967122316560253,-.413040393545197622380,-23,69,
 8967144255520731,-5208520354476926,.296364157112654849148,-23,70,
 8967144255520758,-5634432675399782,.164214147540517746119,-23,72,
 8967144255520766,-4523332192106535,-.070157081928304175183,-23,74,
 8967144255520767,-4543064756842423,-.119566574574281297904,-23,75,
 8967144255520769,8928268995797223,.113858553063290274628,-23,76,
 8967144255524295,7755936209276240,.061858992541977954642,-23,64,
 7804232761067576,5167135265891055,-.072203633716898120623,-22,44,
 7804232761077127,7801537982558528,-.070822027819012362337,-22,43,
 7804232761080439,6509084115000399,.456244423538320880967,-22,41,
 7804232761081209,7127799899314376,-.475525112953486611626,-22,40,
 7804232761081826,4803852025947074,.283369035146587380030,-22,35,
 7804232761081831,5764625412815891,.236988077165322006980,-22,35,
 7804232761081855,4503949064528306,.108139780978291741610,-22,30,
 7804232761081856,-7085886911948954,-.420693329238620208305,-22,17,
 7804232761081857,-9006500488860408,-.143340428928201799821,-22,31,
 7804232761099541,-8344533638849070,-.471658298512275170237,-22,45,
 5346671783304849,-4705385620451255,-.388897723924519694474,-21,60,
 5346671783311271,-4699312260147474,-.495289611661550007667,-21,62,
 5346671783312588,-7212788391801689,.109792439861578100485,-21,64,
 5346671783313403,-5628443023977593,-.475249682037170499203,-21,71,
 5346671783313407,-8998747172772175,-.250859853835793623967,-21,74,
 5346671783313409,4507825668355587,.043040080626852959800,-21,73,
 5346671783313416,4504127882515443,-.385151773121748401298,-21,70,
 5346671783313905,8743333135732910,.163425966368367109239,-21,65,
 5346671783331854,5070528890621351,-.287181745682265078066,-21,59,
 6467564815182273,8283876277886440,-.381368534252689220115,-21,48,
 6467564815241157,5976036510995917,.423760514373555615790,-21,45,
 6467564815252111,6621227308541302,-.178149777867248301881,-21,42,
 6467564815253152,6550687383667525,.145850107027980946103,-21,40,
 6467564815253499,7205533138820455,.197740240439785474501,-21,34,
 6467564815253502,9006492210044782,.105601349204485651735,-21,33,
 6467564815253503,9005785276347445,.045228107945525332162,-21,32,
 6467564815253505,-4504306838607064,.477621107044445750417,-21,31,
 6467564815255878,-7770319045570660,-.448209277101377661796,-21,43,
 6467564815246206,-8024365600442563,-.421507089594359391402,-20,60,
 6467564815251448,-4521197952683329,-.368968227864380921897,-20,61,
 6467564815253502,-4503953177475578,-.321964366145270394095,-20,71,
 6467564815253503,-4504306727571101,-.381182756744944556628,-20,72,
 6467564815253505,9005785054345243,-.428628288905393472245,-20,73,
 6467564815253583,5559119752112946,-.471036006033815968214,-20,66,
 6467564815254069,4969791657457765,-.083067108833227014344,-20,63,
 6467564815288061,4751198119797883,-.088373957052190686150,-20,57,
 5519007584347775,5650418285768324,-.008121233152215716886,-19,46,
 5519007584353484,5624002750620022,-.125362263183447839906,-19,43,
 5519007584353996,7486502404265049,-.469615847323092808843,-19,42,
 5519007584354286,8006399129954780,.057604741030761437602,-19,38,
 5519007584354295,8006398927867046,.233030997701951167209,-19,37,
 5519007584354303,9007195114679300,.333724968447958427249,-19,34,
 5519007584354304,4672117638750634,-.477187024244697642458,-19,12,
 5519007584354305,-4503601697392322,-.092745876258986587826,-19,33,
 5519007584354363,-4885260630177396,-.292302326837646128679,-19,39,
 5519007584365414,-6640497880278717,.028291564831857628488,-19,47,
 7304668022910926,5764607505887093,-.294945802927206893587,-19,39,
 7304668022910975,4503599640221461,-.464559316315771183933,-19,33,
 7304668022910977,-9007199229017218,.257409750985191862444,-19,34,
 7304668022910980,-9007199248138016,-.421766991752266590547,-19,36,
 7304668022911000,-6004799498252111,-.452774724697513970375,-19,38,
 7304668022911079,-5596706260885612,.072745132513929029351,-19,40,
 7304668022911464,-4725086769059998,.197344831304136656003,-19,42,
 7304668022952407,-7109007266081491,.458101059712019311262,-19,49,
 7304668022969954,-4983246026777275,.223507833429994878095,-19,49,
 7804232761081068,-6931325838302882,.164857662830687432852,-19,62,
 7804232761081789,-4714700426036525,.217008921864378524785,-19,65,
 7804232761081841,-8444205627367776,.222843461055110388915,-19,68,
 7804232761081854,-9006849844737730,.200055242345107621459,-19,71,
 7804232761081855,-9006500434658017,.440096812112220819052,-19,72,
 7804232761081857,4503949037422906,.386912331419155669985,-19,71,
 7804232761081966,7740567432653933,-.448079344948849913798,-19,65,
 7804232761091123,5095117786167553,-.457046032919746426528,-19,58,
 5519007584317621,-5074841083779661,.044840998378648136719,-18,55,
 5519007584354282,-6192449631549148,-.283006521956358279366,-18,66,
 5519007584354299,-5629500052402371,.154967643917605087686,-18,68,
 5519007584354303,-4503601697418677,-.323450452016425223018,-18,70,
 5519007584354305,9007195114732011,-.313567006690771345179,-18,71,
 5519007584354523,7705379263872952,.400577206320025658712,-18,63,
 5519007584354678,6579482036625076,.438018679796318857941,-18,62,
 5519007584356245,8536764283305673,.095642572334532697371,-18,60,
 5519007584369642,8441790079967594,.443802088660729280532,-18,57,
 7304668022905092,-8334708550709740,-.254711256149588163166,-12,50,
 7304668022910624,-6207738926316893,.398408433493500245200,-12,56,
 7304668022910945,-8725890884391357,-.327842391447881155460,-12,60,
 7304668022910968,-4503605352395236,-.120714455666446345787,-12,61,
 7304668022910974,-4503599978856257,-.018035735104713068632,-12,63,
 7304668022910975,-4503599703992557,.131693193944092826205,-12,64,
 7304668022910977,4503599729705410,.065026634588833012605,-12,64,
 7304668022911117,4962956987427743,.271511963971741611208,-12,57,
 7304668022912275,5912629109795570,-.228945767502102296736,-12,54,
 7304668022937705,8910440764239128,-.453289856913869606462,-12,55,
 7347785269663743,9007199069152711,-.339908477960887522447,-12,41,
 7347785269663745,-9007199082415331,.405882836229947425180,-12,41,
 4586976137695743,9007198538811549,.487870127338190896674,-11,42,
 4586976137695745,-9007198539014646,-.423242756817044814822,-11,42,
 5500059640559615,9007198542025656,.202393109487048584510,-11,42,
 5500059640559617,-9007198535800540,.289131343103266838493,-11,42,
 7347785269663743,-4503599988600127,-.174814086235690436078,-11,63,
 7347785269663745,4503599981968816,-.241474163816104024129,-11,63,
 5500059640559615,-4503601057470527,.016505938255987991897,-10,62,
 5500059640559617,4503601060583088,-.049739100237851206258,-10,62,
 4586976137695743,-4503605354053070,.096344456858659780877,-9,61,
 4586976137695745,4503605353951521,.056661958893291008765,-9,61,
 8944333985714495,9007016002061503,-.448352267277508120926,-7,46,
 8944333985714497,-9007016002053239,-.357294069683274044015,-7,46,
 8944333985714495,-4503966167039286,-.419127999463682470551,-6,58,
 8944333985714497,4503966167043419,-.058917655109096991966,-6,58,
 6851593493588863,9004267032828324,-.224958905488241596223,-5,48,
 6851593493588865,-9004267032828473,-.332764975028978498827,-5,48,
 6851593493588863,-4509472866492198,-.035995439005548826690,-4,56,
 6851593493588865,4509472866492123,-.011299577748520475219,-4,56,
 5706674932067740,8818762712042033,.278592352709894862858,-2,51,
 5706674932067742,-8818762712042025,-.483864341226089510672,-2,51,
 6134899525417044,8243783821410466,-.286487303439352559879,-1,52,
 6134899525417046,-8243783821410468,.425883770471347606532,-1,52 };
#include "trailer.h"