n68-L5-f13622-r2-t13620-ver3.3a.txt
p=31837427838566166485086399705146092089663162391257776093825123563419249084080772266467577905934941395154339770092223086494059960088545018081641493194974573134261049505396561662531100166092419701056276588198414070618878181833360712431551950045482855017743519380922737874087630569370156323593614543073319001150487686575597388405344543747850857318217529409259514081117172856589942651371131934385599897993540086202284836360374421060600169490716296150122546421267075430933261956150986353869087453836442015637979684319508856194538538318163979608217657704256540541371742964300690320982091326309656387316099792225876263971220744561680963352841835591359611377172318621244571777844549535393587980369565257939187938560060598750857126632550381781785743054128765525993793867470976385253082241561879104416535168757726046416838399766714000207129013429592967082433533552199438051457515810457282582967392812351941194888395790603063306888527911133754698531393952030441341868578393898664177591609599131352823803832059171680220462394563258496529136126811762323850662590784041095971397020216472721824920408547091569858440735953393022858573988867677367964591692452477213460676797395310956049834170161930191784547311695508772787773321980985655831379296850301178819682313018212777271605272924886032237616225666839994375541017971470551610767491618770748319491500122207840613878624865439899139647082701133807789841631900867970826584857008853394489633569048417134727707409015057659069124297064691759053054784529468580711849479911685627653092601909099297437425637618304638975367962877125320724810903519404457106050058626272770384614205044373453183597903940874495737509787188797458360370945658593932569022490976720090614401758626982264351953630241610803516894608864920350167657420468721824449624600322700807897835401521543013433205179517718833229632738441405771007868261587625245598644918522639805971968100166410471286264333478002277043598847027269770625946994597737985420118642281309758107195247573426154158065508413252244092741820292022091419209117555979035496909173474332902366243935907279500402803324010675897744568181191842772930198018641291101124014730812064892404080477327991114641835906192370125932809114943914645853881437895324169128506511803174127802344415549622425832467219635765945003658974451112081972341970131864388923412224177965517502253737568096091716051529881382266420790212054977840868704735010999834839088051763752129045931439037278728871491186467985260566478871976929003223702643043502319029080357645308263915655184345727180923857888960744360955195421098605271634315024972452466608793912785925007160026532044334956892985806429023187358923840302751050849116179368496291338970139062544540440761916359907066796886949022683035274387186249131504912597007342273127798332146233796644873955392222328307682506206588917329870371802259217519485811486359070213775509746691984999570185955117642296887360758019080179113627426725846156697625001696358762482054073998582788075872386298497402782720207428149805935410244744126022920240698004632609610054124236985408972438158530533530096921996997462325903345831782120547356722011824271389200872339104883347341537029641420816518431086252516934411321004337650109386743957661757074956247576225503958426497866617516267486610798763465685279959260669551538339128274380551177672445960827823291993030121414750518112762837413543622165642826487016614393648213732488922790739376642214303368432300603184477620303320321799880599199359559164633774399513332239359850265134206095383194815284434657920218967198203966325438643298737158333584951450386670171741916090302699111307133680974263001301404361909740999588135065619515991554245309994083844189681789709826127377762074683135532797723740186576919791233918767260380378756175486670228302127558578398557560343144291677525271698016899869790028559594925796562763069666624822550640226232698579932621239432873106639770160120552735349401473890698440985598838759057587336724868465240205952873401065977099824844861180801318940535149257994749227631452964352944412114388210774188657767472456756130900919656377916787704852954894624849407737522215916613647999823752112710781797196718424255945340314144582816531729424966696027586935430623428166384581023068690509082241152488076470950107711532828597074494080764408734263047893815366010621123040613995352144746158108399714886092707603009545211415161030699360468808401028172728307582385547752200438401795886562751307413836773918459147675797136789811703915358691190039229013524550367386497334670071500944340656043951740023864877339218140511028652860844642093389365033723312931806719273295566728221114432636443262703776358820900628791548436617765949345404846512972811820930125657288708459516666105346719955989266887387409035902254059806048540894686980553914588722909972828749986138196433359445197311653303552522210941513624666352433387169158302879134192581474664369734100407268283478393413991073917780528774513507649574644223832528520288598182823690232779304335735424552339668526381939629211983279905918690638142934722272952783313465975574390803161349148929288136682365261998982630422517468853979444944952817478434752222523567272855004994221031343357951453966018847249312180698012192898048299744316570498992470147667473458734890793303415605094372665248363797147621636212292176504023975769149468688709237390795624211431604838971687492469386412541773917425944827671488617834511977702450745077825267245755440922703164438318651604816638769656602849426619394721593641397390373652285585451330405097746520912202698585157374514152544340816031285820776901779109866934107109766522572631174591518252776280826041125107959349059669688314454019633372230029052945776385573428736659332602068844283045882733602422762946843410531997562374692680700696423594749437944545481166595385148745045642078886593824867603061130578668207665005946995380182009220999592712588518619650784609618745460295153356910154631691599143419164246983179437619075266695425400617186576947523395338681628560884036605854369948597835249328704962355465308078096959425389615887925184866663634570762845646995662175073688990115403997932853574294163971662998871990341859579386315143533246930040248835218415305328438729496622573157439065213614975554102461042877213790741197985471157432994136421680204029002615070277016163647722823242544905199249813731896318760925694291186950438456206055909516383344958737207065315845494788837771907308317421703994588045287383424531360592264011004037765995052007846089634275363351218465344763808987835442416023415245346836766159685115137595754321440727809808935528448655612329337190034964721883815702069054431343473150569510472902426685348343761508267415311492273976113943417989832463258257472040833964438124925606903404038295189507651221219702232789290841703751525919891442162143806408861529042878576412513007393125054726517847162336361061329321231182084673213026996486866035620746946261341098323958687060308255460757075092492452577928025625019428447766262507941754695801005330883301591229387855952781334258311607036490322799361244119652479739345236355490242197382684110957887296831994278957417022520253318180063691383725779494761688706219162893629815887669978911570131744310049377493657486741682928115379319326744934422817638515170944263067872053512745399076201245936271159767453214594068433062034613767985885934989700937697740231987951908466945457327982260995273372527633430870161530292181508528486726751316429865435711286092454677343301951931760285777761935390053400833662285884789264146265292847775164240473230438743099309240363982571011191920488930908300058516901140836685958784274728510572006900279190382588460565321498214712402975284869805611373430287766951660816381898987436321401021958247415186182762571869310533013174025977131147304393636438524745784085894334667849358473750989924561862442760268524609371352717750632453892137438016672399067992064618346402778354966893297356705916845254501703498383821061377361879014557016174511422533804890567600608435508488587619677836701234200538343600507831055699408958057062906927595176301904156470345709539114161764937311480012510391993338349938881342330908655421828371466090258531210305814406138254653402975056209075759960339442995165549319818890902641541238164315861250275960123379048899864497818589107137626042389890242117417844332957679383832841321134252707679817128248777021682298537309744422235801355049278597694080684224048496721043149124833185114610765007219581795757070610833235152766157838613033331644020636449856762158130025241419399039790846863538442234553244469697772776711973722307929685268742316481075503329093970939970035688608544445311788678527968778281754779404887353091755538494812684112674166820151745419477658038034099578733471877384063962290726060950721563399334253285120520614668760760060800462992869026556534195771658982390150823387455327040912527281932921646154195186812890545785749710760514823246866462345020743063068854010413502126489382397511489545527669301685381204645499569280446372280975897181306681122184185455489858204697613026943993537620319517359572099624979100521092011609253450915778152925265365712326740832254991667841232378675692136492742750977418344007242215390904475718382920382443475112147065750395175308930876813206689546934499670770376445198636180546322133204217838101215549237991626032303929057282360939967485360922142612061384439470903241883631244667773995310390466350605546216218072766721329750200689656402882955834745215789767615214712256005575406463447992015431326797865395231119147952376713628591901420219761824456812526751292580229346640408039093017578125001
g=6
*** a(t,u0,r):
27157325946296940011778698948489616552482677519742883008032830399596619468720\
89874329684395376250501006665182388866629277943314595552890042364019369531331\
08835246752281032670981390284416768340050010039297332472022379030891038566877\
04113813388796875330135222031927095406596748875672743344025353205241541107981\
36599664898457230975889581691678129243955258609836551119294844667122108161957\
55400309167129884896935305489654153993811646919445755810006160545320973408153\
42586072448596791359850331598122485039339196670724541054333941373185393874605\
80966202173082908179009674854848884379772390134213689838063312276867245316745\
12951111138617399740857594297485047279877839216197265014007536907305472552391\
65022127311591731690734481129017565475659863238825171836993672706168952742856\
62087915205228287606730449895034031759356315500100704217668104845544280092131\
58041200261206578932609863200620432711860689362058392398016093844130007759143\
08197092757847279041081966464613897369995560543485642988059043958704668746473\
44322805442256245949753935311617043326224461518993878705486360165824465123171\
66571084906691090892499477682442484983636125041287948737967136619630630819573\
08178200245510508547148126453592218856876268983187970643649780764424166540213\
30690553318901300453549901267929780492778549868664049381451520233648832966438\
05239846703508114483165262496042432880436384670102202339661189615440671380447\
34912011440379115076883028551945499657434398299815922734419889844183185963025\
39618207047225573120363669934720760636466784038808798942846170071412406888841\
38570459888723341878985782637007020520019114607000082106731380759169028505555\
65609012061565944864095848472044231981396416646780624481376184803142237294084\
70010881587149221644659609401539991110136177705869301177965981971625552978407\
52637891368535974978761904585240181286141647448767258905191226697116271342443\
34495644115499811754494088789441948132007183476456735942318189816514261114343\
93278639187050156336120186595722366543754618013250949682987867650416421110877\
27090948439805853772752501172788635249736059657184060773289094138435912353811\
06540776116658556641885309458909901021309258784565382691353220680647160776420\
78948602798209171742068617504715919291336086652471151626661605456810753101539\
97864638279292350945383493083510881211052067986059224077005224803237516706272\
23804586429422438145585966233791954988819073256934050882896098261005138964382\
85911774210815448056607617951749879875572738198205719142726320647779632043974\
98183545161074781318055450714479491200538722469052853280507792835149398947816\
94197110296704070716301501954017301207606394031107502631833817718229716892883\
95677881716203577824664637429610100132733651214152862035049299596991465500072\
79777445675163486290890522698705091736904452472629589780119773207374285380774\
83949565646046453177794220346482379427147327112544121397197864286892350509813\
92826320463336861971534887924491872659027539278392419499714677166307412644699\
40243971921251207911182287191455126182845736603369362117844629049387667394975\
50965315397951615997376167974148553853489749226545101172674463438835363995553\
99451014882689528387608610349498834410525646549528233108628413195649022171657\
33969450528568167000155433068925958854787849376791825203548765378026802247413\
76166079011345236229543805249351127462203276418046610154554596404586133268070\
05469356678219195018670031375270970729333099342517207778192631381305114050068\
82758088007732727524145163594101187322344952981511170537039674326095627848724\
00173952276159477799361865177437622763205946779020067983275599162733822796058\
54796358717982965649585442502820234194498502987104634011009792070900907264867\
92109734471407957712494249535190937985666224816866532310497047146094764583503\
79150112581922532708473104463079017690129704741714807467373969598972702080800\
92905675840841558893089436133447170446803689842563097363569611297649188868252\
59172362407599637239465828314832530394572287657701607158094614761219982263128\
00849895677801011109278466150592666587223525056276482317069521091169629378593\
06158353357314379038292507565400561297965848446689036301991223957052511499654\
48001064501768714417438496605521422968730088008158903213752879653291425015651\
99496591711531655922321784225926047612677593004247151703072329229720441877937\
50279330454345089204065032637985342450720705981795364373803537946847286646495\
67978370795853671420653371323591865544798935660770313372463677748722326269739\
56731891238026865224002768152445652967454957681709383439800963585103462348536\
44146338068222647357099030552257960549083424035674037035307385590744089030047\
97056611283737659859308311315401211184191726106110388861030863212340742282363\
59190816434954354791630334075565808483253397185667268315967716187860752122458\
84465494145990762462271301455940538316799441248914418064220682292373817588155\
76556067533068402679303014459331111218403986256792552920323559014662719978887\
07383187647399845807069582134386051866791044660022025087171522929146827806174\
24994860776856074659838231714314573725300379450371782173775974864311433592331\
80988287241663864771649553550966308240366827805900575684851321837504074009324\
44466538044753309104843645812602883745319260070539735884332590233014076703663\
29013540440054203519968190203463564057703596035486030086184668781351114549988\
34568543189669212556890852265579324513310844967914689794943486674523511589276\
42849431076386609898133151564330938003779791012838716980190485551384952960629\
39110706579926588580981890859287051708223056090634369751937611197398872539960\
43899848355483777823381089018931392404605721203227160746868051226972175807164\
94793364630843754454391926565069618167544613079717089324747898244132229278747\
26651221478216274725689413471237041070956472417343813797176286661679365742918\
37939207056128566376940493263212705666972954351058635318795239326932902645326\
12065411144383603981138250072787059295253865512652583838006382562119272004789\
87763176581344436190083293406933654710267665206028907120249119786672646015013\
62374562238954291624340832247937775661539534676773853328892119077906167063898\
57342352400182691264080288860707336887299835337856708568439610236724098872921\
86782853803780776160622121652681743385963132433225644130825544515823626061905\
49032955226272135741476493992695742633635022418816068972903439983676932140367\
39230654946294787591507568225890804134960091113307559903069617230382468724003\
14376569081747499324980283762671441620705487861943693399476071350738360263013\
80611252505852012013864442143937793626927144580368849385893509390835290666236\
32380867973204280851761534211403212369178436188940821767022005766703237316924\
62309982490776689479386490342993598259743579243338576996260213722856655210526\
07029097016251937355453270911592936236508313716657205615426886036446657966500\
26491700406004569265087973300051609667400164308666866758884273575425679873595\
30633567168171972362947291598531391101019831822625071202800329672838449714516\
09239568703367600624429419080257850538960620489726058581415724659446219192743\
16755518257547243456257318667841127722478122339800802126245347855141234063565\
21766148661123317659436742954664707786419769111995067672020977608040759432875\
03180899090317204664049459482662329521824920115693223778964721190020898361906\
55537682418559385713429062663445653440815456396894861646371825411999662783639\
29928163759204874037340191552554409196070254621489985617241788572297792230447\
51007688686289681867660713165322477853392308267747991779188729146752166617270\
36863839773836564997791523768430930887715550911113929859725242316764294799152\
21509712366556424786371078203047713307254670817705806477994991491667313369312\
28429863434195179218859381493963479568622192379771496797379179939441865015360\
35465209766676373759836283182155071730385045153813896473804521884660237444158\
49286865064777188206160815382526786747167550277810959440565126866367450905149\
17937638682412894831699932346282215564049972311194494815699367867599826452701\
47069002089953084121399365354889682799417134796858243421335571654163318995488\
74076523958519470615277305920709123317989051159584122267465960923868538552424\
54692048902368643799854915266924506713643703176124978657850082650830748196008\
60574990527122390859688435931219352737722946341623246169544874876213569805513\
93995323467615416142964648539398524232871158441663925650838839501415857637652\
61574212160129005144094136469275175596508840103962067994950006523252119921671\
38555857034643833050823643113367703049806203482706902762982551158303271780781\
23104074958530953263633691743189234960289172781812088491153093074738094159237\
45982912260739175326522001785353135851286640215342371959583574043397171572117\
94440442383088411850955742784357367874336826832368912187267474336075219548111\
06429758943884281444230644308694065965151140860655983398932999096549357963211\
80522078040843124529283318627949329172796527236689932251119787986523494993939\
65898385771488782164169528494351395635555244503278719144229577092380302693832\
79773247088271731389544318507730058233510191433763016756261113259622075555567\
24402956545989972231101935328490486070639119832264875901325483077150009801071\
72744491485902693193631158764445251356952614709929913507892668571219010365392\
42830956658373784743817760972844151778778063108622428427066144708508708453851\
80379216653061835351282191671311077544366620060127796231978159003368635000068\
57005555251485861853881792265012866587648088360926868680465326737451701611217\
99976306779706653092243401607001329427692118827691165916132703766906867177577\
81495543727558217133211371891629217585791821321446332033773367251888919114474\
56836261661085318852570935632684268057346343994140625853
1
*** a(t,u0+1l^(t-1),r):
26743439384395579847472575752322717355317056408656531918813103793272169230627\
84870383276544098535077192964540687746739265501036647437781518857885428377864\
14327792815845331117965261241395176325488872723340866678193198576727400229984\
42503638038205598214904556279975099814233609678270931311818636216181587960966\
40965672350180626048941674819472014730272470377799182813842519953555182715175\
08248839039143145736724099192625427145136909041423722016887661029389938643433\
61983940043166828537250033461222611293135902934828387439203412372187257742870\
90283247157549405475226409001257986962495671410011136534552382546973606173582\
54254318120092163871418967420735568247476418454402933894216097306139035104348\
16668917868390450902950719986371342320696700024165468163041834786848675620163\
61258908291197844770988954175648987899014425580403976017398837128085809234924\
41681838475279632243132807841173696926099623756306037062524641065731777863634\
45352353946766370919705570727169605850874877909176952063270336371995218929704\
21138518841143313713708447434652188035203455657625859452061597349698183708633\
29331431795569186810902182008501392012021506488489890902570216600808593069685\
09812061203081860702936021361099019741824227369141729590464027950898358609354\
25299020853314293529873290814842925690426707959762956014559527545445509603526\
33530446929597674285883728601026545861156580448869695152773035494689523985434\
66970796729095494331279887436851371292198000670393171274223572648433618064409\
53434107760456601900475360779795356312581592722859778560364340984743753559937\
58967393090888167852694088411589562997439690820492460691271230759322372737006\
74222239310334576419508221238589865022711594353218903357978892420444876116097\
47724666510205564104940295307495419147144653309414083223319372633253768466427\
10686786341817372780961312838923507948838199128915002907808476466093397336052\
06302861731559017437016453204139784795880462040121521912716623031502906607325\
79547546209990775289965951630019681004400796167796949277502706713188503790312\
90452985567921356587470223898174037057184396379876449061621147803383547921689\
67754105437272201147929261366335658684524944172373882134509619427600955512536\
29914216120159090578355965655288830251726040783207230206794546991466626735396\
93090616828376992724644940433938030735385389341488567672549107660866956662683\
09491034701893139557200717041483285100361103793463778126181386329711977409239\
86126483396348155178839858240879131413225205259663310761887584225246062036270\
79102201565419479844275004220589416891503548504108319760406267270252632023641\
53722828428172824620976860071951386886740177006014422286917241363790108077400\
37947738149602585431088271325759066953688472473491681253741397024000974232193\
61093850371790537496304852364492704641265814861675094273505990028363891816941\
22529466755778453305213534690557091112313897742716368081648541618979571428187\
22126739963895620229881952938538303673602735045544703844971077162600500142494\
13604849254221588095419837328044907378183374849742396458369857446055850658592\
53002186323891392072445464359067743536848053165648165281414477477868353758810\
49869698125977964648993238796692873276484810201176689110489879348587548211245\
21142249055096436436260918848649244358759429632479640294233250782582079587136\
64688753070961311175635165778962423292204867750479662989244854607095371565274\
14530198839043521472078342737664261913997424909395609066449953529069514422107\
63794600148294831325066749612010547890703118997033274620296982923704955911990\
81062274222712733120121883644838925112652983932446491331713368460370939213000\
21135921832480294426320951585426725349799229201838092109317966400418243965403\
34551203934329055660603950304291193327033562539469973201427338338475500879417\
56724612624636491764498719518155187408802991773787149205854788350688241205009\
12122822633419589062362399005973766911272097851996485094253779003546680714340\
18411236134095774069345012642976934972380681866904279030245576083733628488895\
10801773000413656895420763852869683391873107910049525376715589351210420490056\
47330617608609705031847252467686367514995677251135745010167207648211148487350\
24995186613699554643198519517746770567096452434763749940858638814495658866527\
16972024663173025761723679659763048059377700027629082568089984235598090477687\
57602154257502784210333678096023080490744892174335411575609580158677281105576\
05043178743865280179775887352657874627937990568636650917783692038601118483682\
57508544712711098227622890091505684047669594903441831288901300599632952371360\
62230860465776112286006079324615107691946162004649696494323802926406840310949\
93584470666283275828627176441895682760517057361234146123406711721414095565281\
84900686758923397450140071070897161929581305552122515105993999528491244763030\
98418540542359015789341023708077435153706366528825452724437717614998835608500\
40219339657417887749841186571908714447197360440452220929744184727217684387180\
70576644342105358121850467752502090935644170591346425642701148019323957042422\
47357189979553461564201775662396532156216082928853806595512097170013604006516\
67092803379833114194824882746555332851006020348131868200791454095549146738373\
42733753760366681885191866919796509198204195145666328420679221331455831689422\
23178633024203436057178522591921915367492404067770533730826637486910827927303\
88086255896040021744183254282633801396460855536985157594082683243376025480647\
36217493674284586535090090637793655244050438980990061270058625865373224486434\
57037507065812818766734804597656651154639351836029156613865877380791386791989\
17791175402821070775662502668115321945918881372462854662800894525974944522882\
24649972203878961010186656875332332075893874545090685853210122538184141376492\
03267322440447445216388168013879383938573782919775854149622603512087534846484\
68779523947418517885849958195895278734182041799401235249458383393462647388128\
88786571349686081294438604995476119352887745639657878574355640506659072079746\
18664792881980452989062094328047209796746587072760002322402415733651843672463\
59196520844925679911425907489176707568221816094361121683785908587856014459173\
27277345857155287997453039440790343476356227061898751696939358263597002407097\
73619691905247188716204668450472056792742123380902158346885647588853277716296\
14522488147794365794654460672760168595842226063077957722437150745942113713843\
62196659032693577464087171523737720367369843534792907759177583204597038368303\
21308696399376200976533925393486531021562262372840213898663423135545395804140\
20766063428975017692433917234358436865907152927913052150235108896015995497817\
71629459668806091342883574135496715580433630010211360239505843896870714356643\
23962937036638240518973800572232851744647838879723803841569260875966694462886\
16535101399357124711114592691369362765143005301280249375097988593921679591864\
27025824549875543004307031151281772708811416200797383443684396018004186510926\
21022504597027499161636254329151662983419295112549894267704896746992142743485\
95265225921252971306589345870359430776936601654595415250163198961236605066710\
73944472844477941973336632685799000336320776981749910651871151463445060508082\
98104999853861180344580145465320462532933887519432423029891701278727125350076\
23296547755998185132240968306490453456427822857189106652204414770946722888630\
13659616918628234465744915166816352743593180977012524950706135224009046586467\
77420466070025901748377210907556510814418539134878766610179486987960311223418\
41555050992360296329232120819309356854454324671639288504711058010869659974803\
17661928968373639622678640053320025727644856700276320143222981882862845992131\
13796199751356854420341976190574535964940121321070196297204915419695830281620\
53787907719488804857962345199213743068748700585003584184992392906367135536814\
41724239395085760795149446509976858444927828756393520560370220847731066181820\
79016373569065460836078645863215124112099346111795083153663196445191862556067\
18719362829105312612693954479340048152171133342794109783338181721903697796329\
70150013781430938642409691556983978372227893586589594928396108076784511085827\
13041360052938282903672845220862442657808678750352476793284181917994809359949\
14350903960128558958825473416432105087292744042139486603275579632705543358320\
31515817166216656884101156133908858499047215623638366685132115939061428647868\
35821889464005802532345023180650363840107588617816761484999560587560750780337\
86309892396844506824195867097527722744510463877289726982131307713401853146780\
73138241394022063027774748200737245676245264859875496273042606064448708435939\
31309991752832357258443494799858097733461787968021282922120279229519342431136\
53722914770247253545461291324380579267386609356257435458441034227964389355895\
74829978431177334061902489963493773756674014700105376597074652335642654654646\
30012892746615236123275194864364613611637700261372832420989119860611325544077\
27595012373163217590384510723889140099823074887244481935452077266916454624747\
14366522916823654182769523956922828058460029757038832451527367828369817424172\
97783736874734178625108121390965121824324221341572021190221963819557495271601\
97536322976121426347157826114808919459949426329545716010683945820405636849824\
44437717289751772898769253648457222907198354462299094193000986635198087581394\
65390391082103140896608346092835975960344165312125251909420353523033194725950\
19365230936192194249797234471162139668543916589105918915429840050210613599129\
65867135300408117183189572687703174599794131562929155558723182250245520930156\
06072799173450865882162318112404591699016857931137842168290118598126340479678\
03582950446833414292963132929623145102069319941400842799964394480171971929845\
99932543722522471085767392651177942752838134765625000840
0
result=O: not congruent.

code version 3.3a
start=Sat 30 Mar 2024 16:06:17
end  =Sat 30 Mar 2024 19:41:34
elapsed(sec)=12917.325477