n63-L5-f11148-r2-t11146-ver3.3a.txt
p=1651881475914380827590561898686247540448921603589320557771230560500319689816947986850573180853135952203331764434939884409284677204903273595381828305655445692965043830588977494804333083615053891724302141686530325273630229966203127485050566852566515735636620023949844157558039071945727417050376403839939539476511066220845890627907520148920211379763045461789344505421089446939490989999576161135275492319742651095291382982317664092079971159344318056704668677728096798261597438099222414324100323880092380120935487279547540333198052459563201062007626951481795357704623568209039296852487206571659822309355111530352751899071629161214070059460834027098981145140672080190771731391460756922678643153034617759101653643927748587350270888266991644936401451913658044153008513995951951804405041238054336241194847631773755594763307249527812518487775974616850066761617293847566679931339155989890016912125161690092478045466460762379731305879892548935075284011637730599969701228471141753016802959033263545452893213301774946598408987697340651377360949035744756793306339046647441725822151512411587267239227629199564954818429805434364324018731319238356023240656749318744926961185374799103861348658213157366911754892821425563790806680037802156686165830335348103285828437386349484622991403415440903796019378745245333107841098053150038222234433271796697215420658145169766166874545160696131942439735011385306231862520084592135895977760918418681857239946380871516747204893144474838989221805037167558329848058179606920507757462436713488736124179670268525836498638587447713741871831201973923199929708726242078766352519066734676828535372566733144699521416993864807445705197633059202784389210778843356504156092481047937698979856370700677248289204352658390106657102959469343111426975623161704943265969362251043179097731208101643958209403714782305531351172382977864171003315731531146188552815005738006476030984973572705363571032435612124731176278369113680796826491737300794535984869456990226965622300067668057564386266846348612245491345350976519165633204321328486160482503202222148274282617546744168424886565087265759108668399437139680904297221965807190609421298669151262751785003480872614848595971034574497427494209787818146471983188208612774549335455770496775888532932268913690080251963661768573331004099472860093493921496473426205020106377832989807734768582714886364954354052849661257228947606554570833747002864109602225442842535483066126153542267773141106132625748423271208654953908342427576912416935844387889140903769197118462949387911876089251620385500559475629643820418445778162349915538436223189895706439485679131500584910704216830775180945013373712090731519256290236765804478567272331914904425318508089265725432272930175207777905782324289458450867515440437839210148954783593679933975824068269315366316007909932835475921437428906315745660174884306251049714601131209700640612604076943825263005509986973215217831692094442582080783883837547454370633515259690473187334443526286981627488400815139560766928968999911285187231453804148223157617318790258462468322054803346240488147037965353240370610888613368438645067998598395508252922057517292927509415672799084747648655069289037761995367123110419738693907758415909907470142723986227779901220017719371749716048508734645647525104341242292806214524777937224406352920842080028218261845677773530281432626650766788166661007998628460816905029921824198814289638076712448779965367482902630491021623872380970624782556734854209552991682163532457071287836094432654593775170599470011084802372868754696803242434615881466223688261455865980078762364435360475428560360007243233676028624966696535795969999969803737319872363621234099779835032959548229566658106071271495497465774550309503064498823487327217739586557440986143955443687619763188485052560979022040151715514262333036420994368665556331693740738800220342286709435301870065299126305535838818746032772458311427500450915078778335773144227537103188633102261691895901894257002838561799766719423945403107869733130797153942678801129956547123559898089752699012775873426493989593388198567352331270936174359941881723876179230979387518748737172278645334424622308560082411870206175449179165079413924892244865195883604498130036188269717734420599298090816034798397515175101591999678783367275667915995845653602093694190524635720525934109456162860987426623245281550741889484149546993502806010372621005139311366048084932535502418680804235628395080680915647073575986613753422356793555964584677162941433433133131116679310171971411525561185715281515958363385523091704591753487471154949504090552551529040515558210976445154377252220058171874137173661843378361958830067071614180451645030363500460389444991493696133814272751674630406650268748446944086487589125342045950866435808840643708229597795039403617794173134749688665597114378987066071462876530657975480470272375189796391146784004037087872366283087024382241270458012175398357558214441841432042164062664721902719773929055161705491277919327431243109947065056730457657936192423421752266607845900343788065950023153121526369717533962388004961522919619978625866219241880813416005344596245017915953390411111424510585528035134033996718523459484711969510000220133993597555461143492923896596003208989952512405471666368837345190679444594244825973582389367570209153305521785544953921440233829365062368334073033938864738591162632518931213685479941452763327269288936933519930013081628130995186656120178156172444936104375759324109289484513991264218687315681924101903264549972594835913623579870674025257097837462977101442355631511686279494795397195004946674865206157160542388965115014597244287256508449646619768517997050921281687630305183288916789856342657343828936535916328190973571757523796097603419665132531258808261773331030959148328021140221568162770239121649604712028801504956893003015814889576034729130330443514144935545604619151181109336577087625889272492973421133507032515515993665362708534323015141682437248370174039141637708772818588751074724940237969976594468225635251651678231544364376054902405179817627878581432228060748111524681708614426052288815969199574995595630590889211778739872656487396505220767848104480522014055860888550047124012113185706739168951463639828018080565636218285114428911852789036715403776315420301307612030600953183001202943939308520268948438798924482494876836615821722962294465345853339021605054576976427283293717837267594035755027535005317897070591460970519305304825401916915732830317569452265968924790588789917175047687413337961632077944084529114827152164068226195433430901319586396294949881330224771107233587917793061635161989358499599100871229682428834396295609033309777910354733873068139804075906038374436365890887895282154630365821003240885489580455385745078703232485389257285177447929693305408280095321935069649262505548232497932742720075977780556194966363115101684019514063627523172440447752841212753491228587545532501302266505045610572355249423300311459790056207476027145626558372861526859484995882948573060226747288862165595704745829714542780541863537192225896851026746439562796023894303404091301298123370244126494645261157930299351667816075491712069773730298565887886740685411535732911031930341491767311285603657009738759331729791589092754557813243526091785650963742573023100291269373530685188798987399924535663314405777767258182742936946928357432265476034075838188245181753540254935294183431897385063244212361860811971449849526067047316527063428593055909287955429962256024003791242147840379976075363264949137395296124277074559452927791498591429638149526977237041749889894813665086037407933728500868974502673322581764503528206443863741446158410832286555639341838660689196706505404791002839094279855283679744044203825787845133984219169553819273556015712310541057313065102124627479752272449860793425924122797520615888024922121470587253397321880754589074058458209037780761718751
g=14
*** a(t,u0,r):
12917713141650458071758194047726455766310566940068486761771022983112499974368\
53325717148227427152314623005439788122989608060617574234359951588589735022558\
53189866427552058040093698847138697214332840427479886671436397883983357084569\
33095432787070153052678368587287781312103865542615588401333943478028327198706\
31653784701486471023680756455605298974701551119267403239291947506681954179668\
55800778543499403875315651786149217241332000653744660725672034305090598337169\
62405691965935919280014464532742322412545715510526061765405608770233784232304\
89964276058763969725015630339468730138644995539037981045915697216735851985074\
01400406940278649837220919140325550000556670918349394812231191353469894567307\
10876174931495514993953079118346247874663402659353964805905276526579448344263\
11044742248158490940614370848047076875104906269130749389457440812150376752207\
58472378879714370630721998409399322528187644165231783155477231618094988119807\
59732672288720971007053291763063606644328508591399139640120925441624928019880\
08239955828379320389377096262145952399812365557134478299429592922482705861242\
98107600603405979466801210784967290138264789164439441017419357796725853288364\
69630928992195746507226890609249923261863547908844108237895612865285816793222\
42216769517838036125296975179277470874786768487154178781850490331738677563329\
88978732681854501722245895466952275714249589431566437517898787277890330947331\
64907061510502706546090382034092123616380698415260963142264389793240895714515\
39065030613941181496452611837066335625509948191649108502149987204141935375384\
11214614377199994360794234503222392130559528766991018651727991466134718531915\
50257480892022794225414645490522965773923628290555047862500643201794872806022\
47681887929608162157803778861063405854514305026313135894937312453265633988041\
28031576605442580473548557531975370495976292551661680348868978172459290205735\
63194483013344871210642562302493338555943125473646486815397798496846468983831\
18316538569221327140167915366357487116638652916421015350060673844614775974232\
06446363798752516577927887617749731750413771995048900692155393970826129389824\
18236229786883598432304671604275772612230565674555592762874718958727220423848\
11602049349037256988300472054073790541090853179135189697580326412528478744832\
75303429050564275703558350302434484520578777659311224661024221929232572318746\
53980296485890316830411373943048693284351031530370283256743919901562397337089\
40296302862747757710652070053398596344995713335266998085168173956323778365145\
51004383031132930818674751214663802642134708710179476714146143750994238146756\
72245985229576339510571265344984424356778010808334574001706975616661914990004\
58242854952048058418965150859102239606963557455260599073325805797288037431397\
01248232232177759435650857839707442239026233648264077025770836909442138660461\
64591181855674773421705640694047389131062567595274883208768180846059859009590\
56388170071355670308809813054300344383217854099187172997160962109317835408933\
07795003249553483755641963269592943743913651973845375793062501641499687484391\
05092567432939821176502278468562167600617309836889062339698177148956541190204\
43174903945287453785048978523069312363056128884272661248264184027529880377090\
27234823565863586708124154764165161015723012388275405385654870827794993383049\
28963646315948514729744597583763469094857679840985065820666807633200189006800\
80314040899628346328908254927456358819733398866523472774496975989134945932917\
37162985704397890986820191902857995936665599187043949545188238142974708782584\
63358923321834087855486683154555833661729001355838696193065869242204584871964\
21592168988451891785134201525664208734654384723956690992448539976386522584140\
18835180506602783099577436671552112663894773430947901823569834203139643807996\
70898842723566879188511645731569637186548133953111026855952353986415321531444\
34481217596296465051384505257741772307668206778406062391063916770929025956259\
39762806239953630535261559160465857459878593401469351108596864306259528130897\
62197553274175745895253052303541313082833743831748224836260198506238403061866\
10627990733019518299862029571279669523053872088349474551508071172158625881039\
66151246872190065152005464529398444608250122920125810709210168926573548458318\
09787175376882992269192683169086511070181392123468568669294449437488085932095\
72310308751301116837268856990265133451280473594719357292167619377810172680157\
57660494574891919430011138962601894148824960241724276289140838891226140495309\
24760360115364215319551762830125607643052175414202009447101085332432205544816\
43812988847229350145479440167479057712990751227202443170512198812095295709683\
16652098358011072301123608549040557526980356152187905180511245000228911318641\
37442573600245459833480703766427612918095609780005101612855102756332946960174\
79933577552802513383379835545475720813629115043391374256536496943444367885667\
88396944697453682572775299739842077787678509115700271619043337405306691267349\
81655211615156105236935199998569722970038125279268632125211364536941793329140\
51232111978604874363217888506102475115810272487335494068842267572918105741033\
62111911155858741987991092314282328542738344715079609131617947426360401027555\
13014891339672778829234748145854338853453170447601568201721447829932883706142\
11466487138074509430142864701078843100430803939111325672699453911341428485439\
90355788491803629615396656626285456347877203724511254019222557828917862980420\
91020453142160609219245839486820125852702298331984382359650859793181268519400\
33621843791453464376889941168619013480863264647688352878078569161684453639458\
86708775105050889604809332792210384213867056493000060649386829974459121489954\
41481707199414150450326345896076236566589810736938204422797268986533319329296\
67659958042874228371086568645341333114383608548325874178133639444388060706744\
86621005399251253165326630328632699312999088480652277687629032835836724364845\
91581799184068280613395966628121762236275012032825234454110895052153264024994\
27133507046313638073840597840795665928225476098608760688260344136403340434903\
26609252169687415244676679161237706769294207493368085061738500105068000234350\
50232123010961364811728898540879140676465557831220753636109745804173731440670\
82640457217703768214991683214846136850977472511222670030120044566345510139002\
32752269895948340906888102671144575307865867562255260792994538910694070216053\
92628503176791407589453109936862335725873565142719004573111148951526791955661\
35535687348743258535960431532374158595509202522478946096748373464299028103073\
30833931167198769918624043371523088729155723028599628495227410176779483299230\
13528848289429648319165619026508072002357710058566657517141741986966756783466\
86496881301611659348497903166264048246325897401888739285326787358522008809238\
12667433411064492094607202453437245285191611165265154592780357439919700876428\
10201648292750345417532244657232793387178133834048070994146243949444636959560\
09516903259997756723120848430142721828373230140755460606416018372406945667467\
58180504902084356155582395424625322787996864757771400411726678046578413309731\
63798902134958411112388367724543837372860843206513375029157157381064906853452\
61999397615132475530906918812594225501494093004232171034518838563057093478524\
32743121599182094313642696952704656203742534205978161570979741269702267053406\
42099564374037763790536466921040644277726501009958176408081467409868887118653\
18213995898904976692497975512031602258647305463207732131268479359400051443743\
75511945697406697515496167378232938443100152416360115976972106318114623048421\
07709647513596111771412909340731902254431215691846723054921895329518984979770\
32930096199366648413897744286097281253004175687679538061090538258939841759057\
43910144581089587727084808650996531783265895182448722654656422017172684683183\
75598425673917660948947756593905910866719208042870268431068188169098614586891\
66277055791140459072664027661121624435489098989999232156705710750088655913714\
319467544555664063282
0
*** a(t,u0+1l^(t-1),r):
13082901289241896154517250237595080520355459100427418817548146039162531943350\
22805585653959235683674145038757432472388452153464346283392687542408018079112\
98882831471382647017588503180222312268224564729621573201761671514213323287696\
81600489472326804626242030589682765727859669449810161143038981118412321152653\
96764446909945377302755957944807412772332005737160848293502841976076864079664\
31961913818991723617966747077532199558996092733715820069990091009759276065266\
42231851709745841521446874565130331650557809059254016519438928575479740552411\
10040545573581923302061866021559123107169867604754579269009248332039379504064\
73029568154348709298054946239306695141228751109121126203691948276148537720341\
72652085096859907768811814145435074573827896299499156171709691827430847939458\
29088792660539034303026319324364814431052539341626027514642318571896545252875\
20089672727281050562061154399289339440312805855324261200943692380474719425687\
48987565796249372170826351760033729491442683893079435543447279986914249350057\
57705939918256293795890869871636309847380298620524944773846851143997829977115\
65346828232605544421619640590401654462283520483677797040660014546044598215325\
88168408902581881373048206345941098751145690465223188905899393080954433376255\
95697802376122409988791821409191505029195806447347966234303821410149658094830\
27200967115126298419461316125097445480416463976727133649841227012901716253563\
51159069969716296143866473875960309340375336502412637862753704240724794636695\
89436706197239662078248681042143910249877083079010350298852672462506921761258\
58928356249031196334717434432931118372638295119510085386404820001507285265060\
20209622591409274969985165253828886052362549368439383512916252449899666575920\
46245594936380645049847305444964472425543899719744250164693544070315066647734\
90282619784540311681650201490184774210758598083012852731846842343462605937266\
77813338294845445011290165400990695826479482576890048027870916124683380351910\
86581455942229272500016609936259756772861653593101590993923342308100898429145\
51797340317918149782249216103910214253615994143323183309702138139251015954911\
44812140653723542146272762033997969192949626616685459678000994137227568511109\
60088009059383001962575414151951972005810685061221317443073680970233446503718\
08235697964254355955522012071007815524678250519404718582520695355437592425124\
37279277259367175101900010438484098569317157253265043912201003276262683748049\
62550731288102588371913605476076327756057039592751230797254723495407202640914\
63421318875520819959578520411782265591522620586268728334531644310469867790577\
14090563045811331064414887663973995000726578721484632492777397299739433084505\
91979975859363250981867518517147025279686876604304852258406698454542360160698\
76456010137960083725109308707222882676865443797218860619450770885266206929777\
01222782646668056969297784436938020705628585083705508313739640959180829073651\
82428939509608300363909682786452522700138798525007980835999337583861541744085\
67485476436887927281928944897081344559053212740774344792973786828731141288539\
27408329164818847022749110674042502224666124540685597663735238237817878034068\
93854889929242536314269553695998587457212856875120137734814876917907500330761\
50345243304557494466540064671635303739709240168176625403374242577511041891783\
93528398826382638959025219036241262817298315133069273823488633817767966359828\
94640307407296227995518334913740966988783698084765460917393356756259433732571\
04645888334888912610692572873482778493400453396596941227351770600045996618679\
06624382699351147802487791634793120537198681680082157781212491611030730458562\
22379792632805496539419805125736641071414670973623656350408239976084559957338\
91198801740702562934610396219781679322000844702443399289344384512642708306820\
19631564497525534932610260127114005948524452801616282953854558001586872957677\
64845427539983120614701442665129774511091073872759081091716908033984384344446\
85795578698265058035712474239244193233022820938572539741699125998155430025154\
62481409454152417837647592614328286395913459226016104949255853218594392870841\
37618118491753783239757963453265343046366581450093073970325309933950935674914\
84899984044468710486430086837958527020120329095574989874289582851465793323513\
98147625189886611096164456611146440879262995603308320186804608637455964268823\
28989468709757652858205798895511490656539814689280985902041885610262988187576\
47144644121885422236021511583607033460191008326656811791559519695461768890389\
92851924822721813980927105065804963239510643130496152790414398444100136562013\
57928244459086502960639023801334288630036668762077154720007239717620811000088\
32210309334456226678375828607212431664154017995566267139341312071843091770286\
40478923646284404332630073379809040193263072820670128487699797164981705872709\
00393086217160601789816917841453671207665292985122721753423152914588157756328\
59859821228111658053245572115031874178825293119737359491409620492331073508620\
27456429154991861058379384141773939376304597469540609518116880707490921121073\
25544543078075524930522465085464399350027795153413953072280148232418337272248\
88481628689821129992952615233902307168604563956960422547623292022605418943508\
52056002482123837382038261549254010705799118918798519201743461229292639252256\
46395726104034541520042389825133559764119177391018120118641902171077252379115\
60564941797325415160350578066519285712939572058584287958087296420080495499352\
12389001136305885551972768380513477845703606494797481878316471810996885763893\
94665601384694557271735081081261200354020083888707385523578295110043589875257\
57382800362148727067786434234566015725553335987795457844391776649324327647114\
95720603710915610174755071546921201228566662536643296550966032017051648220975\
66223384616312517736445731927251068831958846509301908374784964756976143324478\
17651964547579274305548198491402938434648693192681079192585925838852539254421\
95054712217112632027889521188583677354385945690533997043038144349495377375697\
52288666982967265159183827992212490300709177839000177065348072322290851182152\
66847222146281883470311930812915938313658583548270490241556127983649432462411\
25043275479132226254334127422476060633965117394279842557287619791439380180321\
34848135698748573435132241823731637322217593643079737421809559202743790319807\
98388488181062769818740891707859979084181287863562872823595492093695273159993\
23480530071635287481901359424545997308045861372165539158445051112032249653304\
08368624527115934476317981807724211774479908437088651289801421718318197260401\
61151500619464738843414632161440263776843136366561260573171494705894310451394\
20351467832772738451124258656003060135380187169290016308921048150482955719316\
82487890013908483636841866122354381344105000949227469966724828117582392553601\
78558321306346646724973023456678130774772066551010233296012842829176986053876\
03170978833578354949725751622159043942001383627322343001744022005064133595871\
60533743455138392998352572834620250240500765053041336061741031395071996123573\
30535754325384667615372451632101349933623423130632927271211673929526986369958\
38527788351517981586971339178821891559214562429103060131831801337344509242882\
96040310628113709233348183759046837080797086520910331789435959260794396464183\
20629862284593630046553728883046147971053819809635171309739072999493856146160\
97880888726646942355632841178342954306853438363026695287980207402322453450093\
75991668480732406061967259086354257018988063845090183948803881908752993278062\
72897008941619059376308138828082464510147468943423544570028015606070053010677\
10110026637810895809410516877058397168170745304274430510867188108668844122734\
14425365971737065912796692422748141627083512972688227806117271484757486794339\
50354008322535746137917095206635873621926584379155228059447424856266964538467\
43572830094300239733461155015822866248646563644441499485173919475608827049639\
63799780289748393331905255636327783315738320204705104690678929557634546654298\
901557922363281250792
0
*** a(t,u0+2l^(t-1),r):
12950750771168745688310005285700180717119545372140273172926447594322506368164\
87221690849373788858586527412103316992869376879186928644166498779353391633869\
42328459436318175835592659713755420225111185287908223977501452610029350325194\
82796444124121483367391100987766778195255026324054502949674951006105125989495\
84675917143178252279495796753445721734227642042846092250134126400560936159667\
71033005598597867823845870844425813704864819069738892594535645646024333882788\
98370923914697903728300946539219924260148134220271652716212272731282975496326\
13979529961727560440424877475886808732349969952181300690534407439796557488872\
15726239183092661729387724560121779028691086956503741090523342738005623197914\
03231356964568393548924826123764013214496301387383003079066159586749728263302\
14653552330634599613096760543310624386294432883629805014494416364099610452341\
10795837649227706616989829607377325910612676503250278764570523770570934380983\
57583650990226651239807903762457631213751343651735198820786196350682792285915\
58133152646354715070679850984044023889325952169812571594313044566785730684417\
51555446129245892457764896746054163003068535428287112222067489146589602273756\
93338424974272973480391153756588158359719976420119924371496368908419540109829\
12912976089494910897995944425260277705668576079192936272341156547420873669629\
96623179568508861061688979598581309667482964340598576744287275224892608008578\
02157463202345424465645600402465760761179626032691298086362252682737675498951\
49139365730600877612811825678081850550383375169121356861490524255814932652559\
00757362751566234755578874489164137378975282037494831998663357173209231878544\
44247909231900090374328749443184149829611412506131914992583765051415831560002\
07394629330962658736212484177843619168720223964999358748888558776675520519980\
00481785241262126715168886323617251238932753657931914825464551006659953352041\
86118254069644985970772082922192810010050396894295199057892422022413851257447\
11969522043822916212137654280337941047883253051757130478833207537312000465214\
75516559102585643218792153314981828251054216424703757215664742804511106702841\
63551411960251587175098289690220211928374377862981566145899973994427290041300\
41299241291106405983155460473649426834034819555552415246678997324069472296609\
81889882833302291753951082656149150721398672231329923445323516614473576340022\
10640092640585688484709101242135774341344256674949235387835336576502454619281\
44747188547818723842904377137934142627207978586763844627585483864140463220299\
33487770200010508646855505054087495232012291085397327038223243862889364075520\
80614900792823337821339989808782338485567724390964585699921059953277418608904\
84990279133511096931545624390711196741508221285069449710341984328738901977257\
36289787813334224293542548013210530326594075678055033744506823704606952314324\
71917502013873430131224069442625515445975771092961008229762472868684053022402\
81596323959006196319829787000730780046602042984351334564928637204226576675963\
59733097887020372460899359595090623906941564127231169593044758678945978245220\
69555719779315626345751644909658234525427072777648369404505589366728808558977\
33310901142078470290893093557655167381887474482442156545574322605605404367824\
51856907513602368259807336745659189560520257944255649389198745177738203084796\
21876596818035339575600721874259027839345806899401907421231172870113744477406\
43179294201161922662230270924713280453543458710171870403076252142559843492848\
10659566230496095311594668096982952448012570028954547881620944634388966349803\
52012015197337499844886904850603291036822937420687388510695193715969813989283\
81749693717322612735991322245678695202006441973890084064040479976326130058779\
93307904753422739066584028581198025995515987685247001316724744265040256707761\
40645387078358610337331368610678510938943397722812078075532794789449631816691\
00554059585033796164047892739219372748352780197276666131194515023540097633896\
88969360731615916035351742176221524614507438908889988835217316644638708509749\
02254324510171080283731960365698707745449686910601800858859329448709601023661\
16026016284766371287841216347676804227716413960698194435271518924517087839814\
69900994306645794218890388991110461090624164155215646542226051711551997431357\
27459265339483716034587037857498497031997712819436518972796481277481661599441\
23646140742992424041456245371314404892332341813631683014142472624300735781641\
35557324484290619991213213486802922011098169858710783389624575052073266174325\
38378673056835735051826831277261478762343868957460838115763747954765791748255\
86636039969600780708511356894250103896399934734177385480411206993200398767764\
19763740553300103176574052560674932354415088520863577572277258414551747408970\
38049843609453248733310577689103898373129102388138106987824041638062698742681\
64025479285674131064667252004671310892436350631737643755913828137673125859800\
02689520003585277668869354214880037065907865916507689193516594022711567715603\
90815455123123256401224036827210566251291419717323027603792467771051618887527\
06094598198499004476678803821974859962653777020551185869529843704818152047276\
67385854662651219588983396898206324267911588563455771814819016345609404610745\
80823113568162990539795450826534273223922360141840958401725850509804834815364\
98452334931266515848122769725889786433168478629492684561887943563288593264175\
04397619152907986724387440914332222220889677391325860806995505547150389484207\
15294162740989664485791225265558796251302559964547002263383982196744391968299\
05830595310101682955858969151147450855494628495892159407178514351356280886618\
60843580156470457097404753080681510516204312391959140088387819309432162721386\
52329486501714442395212091026245229498985181096879222848431021592636985107632\
47372643357561886244158401301723280257898656140521081017463904506905677230291\
52827197228916857393370943961186747137329009423058037988620411436439887342761\
12276381790677150896294677540214145259897198764366986971896344911621686695134\
92164539033644363490909243871079030802722216446687043963677889773580842584353\
14656846165006308889803729491573353078167082704348566097702025680784286679962\
65194353504595537100249944317198524667965469743832571420345320601626861188600\
93081992913912729259019794936623236945225496737594083508457947493625166175163\
45879513552971226689258660478487656063128951622516783199114729547294310804841\
78798908555760183567942759834399068042308024388608311490177929383627883495189\
90102274784417793724031941587444169231303343705400887135358983115102861934538\
96897445057651963703582161129506523738693205696191954910816227082602448729662\
94893372198098266345557346952407069628962205480711329275497603219669996570636\
85695083044071024206166695757482114865881718111356485421606395510334085558110\
85845610990120923020680366654085422383107702242414170333426854517771157911917\
68795514400915947323970946050218043498142783792702925395665799560568536286822\
39720271299025883978167193311038227510798737123212635697481020976939955758688\
72651554786744418447540406666120528217122176432343705783623677223168127921776\
98744679378270325207304962015399448210131587051031312049692086172320827331338\
68807580217728722271395171801884747817354691707567803185502262702604554075656\
10320469736264401460224903338772954557204791326709563518731607615660584871957\
33255829244559599503555741772501106283551888480571880184061215408359600384941\
29769530415270462566391832226896133210715457139584222494775559869270639810607\
54988958346249169887658561668202843656509615721772801695583288175705709040872\
28189723338439068579012430847997201237179121614332264546110953885348956808363\
09229150153840731913677533913427453327820043144681276010095884904103370766113\
85198917329378819409251265962124400150998033021790023735614622584991540654240\
49193306557994176705850436278289301943104679163184514641889334430400657079441\
25781600690862045924512273256162856211538943232940406663500354511597834061831\
235885620117187500784
0
*** a(t,u0+3l^(t-1),r):
13000307215446177113137722142660768143333013020247952789659584511137515958859\
38065651401093331417994384022098610297689030107040960258876319565498876550835\
76036348949467352528841101013680504741278702578550729936599034699098340186133\
07347961129698478839460199588485273519981767496212874772186462298220324175680\
14209115805715924163218357200206355873516778428214125766397394741379409129666\
43881346181245563746641199431840708400164046693730240397831062657424937201218\
02318771837840880400730669548936327031551762284890039142422268672856762392358\
00002410816172946513538748180513926622907431571896280157462472774387615744569\
37214987547313679567637932689816122570892711013735260507961569814809216143824\
41764130014177711381382446631890661224245649479426560488807484177005148141860\
70066767454348762621820345086205945653078722805378388452049879692023461002541\
39281025803497710596391576404344330984250225010278022178210461999284853772747\
54360119042485171588939821761548668067885596242239287591784102714269588684968\
82972947873317807092633983066891131123596332088829711536638222033240267919179\
31727214418005761944210425687684472300274154824058619029039686171385225751845\
28899668947388813940137548477595511006504619187033648571897502973120125084739\
18957285946980223057044398294234487951991287467251072508077155870944167829080\
08089849898490400070853605796024860597333026704146785583870007145396023600447\
58033065740109501344978427955026216478378017458836800502509047016982845175605\
64250868405590421787350646439605122937693515635329729400501329833324428568321\
35071485313115595347755834468076755251598911943250552019066405733821001898487\
85233551741716034597699905372175925913143088829497215687708447825847269690971\
46963741432994403603825542153013939140029102373028693029815428261790350317888\
09157098194991446077599379511080072353367445317337266540357910257960948071501\
20503910654095158110966363851742017191211304025268267421634357310764924667871\
02448997255725299820092262651308621944750153254761303171992008076357837201688\
79121852058335333180088551860829973002014883069186042000928766055038572672367\
81524185220303570289288716819136870902590096145620526220437856547977394467478\
85845029204210129475437943103012881273450769120178253570327003691380962624275\
41769563507409315829540181186721150022628514089357971621772458642335082371935\
45629786872628745966155692190766395926834094391817663584472461588912540542569\
51423517075425173041282837764737462050526376464009114441211448725865490503030\
07212850953326875389126635813223034116828664648224102524338894030732052968666\
93168274137693835287493076504479209678752294764909603247242186458200674037255\
25111415405705654700416334688124632443325217029782725665866252125915198796047\
88852121185068921580380083273465162457945838722741468822610803897354172795119\
32906982251171415195501712565492704918345576339490195761253910902620344041621\
19408554790481985336359747920376433541678326312097576916580149846589688576509\
37640239843220705518785454083337144151483432357309860293018144235115414386465\
16250448298879334099625694571302334912641717188787330001716707693387209612136\
68514896937264995049659266109533949910134492879696399491539530472718690353925\
88790033435210540587332109717900232377716126278226015394514556702653017637416\
61246022571165576844384908310002365956077997487027169822077720725484077683314\
87477174153462287162213294920598662904258548475644466845945166372697189832744\
20904437019643401798756382388170387215033026291820445386270004371510352700631\
84991653010592617828987237394674477099463841517960426987139180426617657665263\
21985980810628694162277003325700424903034527848790173671428389976235541270739\
55016991123652673017093916445666895992947809066695650556457109357891176057408\
45265203610546207060560952929341821567536293377363654904903455994001097244560\
99663322568139792833042973961435773409379640325582571741390412402456705150353\
12779192469109344285487016699855025346450707170020945425147995152207479078026\
12339481364164081866450322458934799739373601528882164892758025862416397966353\
74123054612386650769809996512272506284710226769221274260916690553054780777977\
25525615458329387819217775683678485814185226007850400291749875889019670890916\
03967400283384801682678569890116475974722193863388444428049529037472025100459\
50649888730529384847737327942888312053910144142000171597104752494036580433867\
02402569348388670833016325273104463804507984284190544040350179293343954692849\
58806142469043014650239433947965285441281409272349081118757741888266171053415\
00870616653157926553059231984406673171513709994639798945259719264858053354885\
74431203846233649489749718578126494595567187073877086159926278536036001544463\
88960748623264932083055388573118326555679341300337615050277449960657326416441\
90163331884981557586598376693464696010647204014257048004979824929016262820998\
24128382962782670313010435927436975983251901117718815555226478948818882387985\
04555820385073983147657292070171831173171361374404620821664122622216357225106\
88388327528340199646870176795783437232919033820374723570561207902668221506641\
25296769922839935990471853774092317855671454336020015839620619724482909985531\
82535446910898308105636504847554174779626144683200043701732454529612761479199\
28931106621054525475092627263106201432274990665064722895670678041209340432277\
75460365144564522387873617346402371030408387891547770988654927124499179239886\
51704727139233247385609303933666801849202952413390932118983665802089077141647\
14143722588074010824312511124940106917441674268197869200828432135864021757358\
22045787733599808336297883513388199969710196240397759246889303311891724568534\
68601155455164880312540708721498718897578236636790750486881650501792483775136\
16941671329593373053766150286296200973171227528813891276459302100682102015611\
52136484973415263735437414410017818873823890836666678440107479337344631809633\
93318255700590456320642743908352719795330478861679615748574519700824320700345\
89711087014640451616512212916504078114467326968804468876804208229347095808527\
96728237157984649357494304987076822541476395520819287651647314044358716348380\
87637699245046795533031512981677600655215337612750298096698682797806555810496\
08744296458226170825061962519288887086597533077151203725964801884544650229405\
15570379038505555362814497189502277196023577712909066808295015502194671688023\
58054516624213347535677234680704166516959713257442271865778100031779520804482\
71952155937929596506139206670049185184994555479783798693274897591308612681737\
45992715893331754381019337766481676252999429697580444534199452441336896875312\
16940158061101193385144938841255566068868948613928336913031395068724856251391\
84492385657760071492669884644309214795215449175558104626025807738052200681419\
95612877358705569409790112955057688029981838858137693944396600134548343465152\
06686313563164350183628998139695918664589758730685206997945132977254385277715\
85025323357568074860736710632381486034436997596898398334078524883739470895520\
44358129613734511885477423528363336360810143944202163841469175988052699839845\
01163345243238196349679853451682864466037702817808217580494479359204708048167\
79019854121623092382127551285820531291145589762571251411977398911925744971353\
76686491941887862180098212917875402087398177007806666440359407134598061599783\
69990226550342353073084654049691799292289969686492435848030837406095670284373\
47102832189818691377232617299192929638817684654148958040036180634076522360903\
24204477319512878445902153103157701476623810679891830273500060962092338029549\
08909837075703503790411713108895149711300980498060576782894541719093914551252\
23677731085551857163347218354422711440043844330183882933603904871848664276698\
47132076451812666932500951928816202702596239780801975357051923436719824610825\
59585627884108950341204455804864388557682885843655883958121053822353720818265\
65038418040444426202284641648724703875613709597352168423692320153861601284006\
610512733459472657037
1
result=O: not congruent.

code version 3.3a
start=Wed 6 Mar 2024 02:51:12
end  =Wed 6 Mar 2024 06:50:56
elapsed(sec)=14384.640815