n81-L5-f9187-r2-t9185-ver3.3a.txt
p=4435523142630221392620349316730935964330491733058470708563510788681000250211432745841784269467241428267186082635841609496946831742280655783319099976957686749523040718854398136419046604161635137569348516924684944104174218009845197619988667329778375091741457745261331401530241421550212392728477631409083953356104799415992369962415825374405257205263125524257001439784285051358697270311183162111493783819534357442205847606151836863166144315984844530641249680520570816230150650201676475738589513613145526252793666832937739184353962685829041393752140967598404066365801104884142227151181013699568101204333656526669624209571317574060371379036618576018269827396772638542996137774572294195505723309153581367676800177269131772110460799195490948656685766115268020309495254586123894333766958316394464637329832893869853978432327250766027451462575443556993321237057006783570918740996944507020806018148754144824273857392280748361230938429049790727902538691285467159411644553971973473866426169528628237741537327346218663549582559857836396937374774316193635867639563455585533200882181089823077772580009658263373496805452426205650365537066424177364734002343636341901091543664392412913830555239746479736676525104094269962301069676610742342337375400834525600398258718902980430280532750636761057399703996263751068593184731723342476783548889744376389892044777596973015054104483402738842117969621813452360958535948564118534482878416861687928795192227505225654588279739430083209975065480569515810462765171825734490658114818981616127863838429911774502784563205893617552195548387299369565353025586039206131961486777129160595168191751661592136817892058685949483804557202597456781744626411945338788613849621960341674166512836845068712131229935373860999940007117905058087233969386000165336275084649191828122389751305691535336779553787898014337089797685827168730407038983740470562936421045082689945828769368233534974112728655106111749346255485529701135470430728286865598904453377942530496638900355757814781266654358234589761830822808323094076524421445693876934179357288621034666130599234280263272606978917932994762456890813000846288767983525913210232188749014959298925450798236273057796050225061338120126624010482004740510804196153311671518144475478272158017376858245370869461666771177678035973175106288150519741007651072637977863402775985111187024829402463708588018293511306866054816993445703685478338666059395931153523005161999735630853402739970622329353476474192032403958609853049505477538458400796414318071865196889529765631777062475040283747197446429484226170242956811432970882753019028800985898888213111695994053217436081477318339298321747118918767154800137435703271112008841218672744753058774007291590685517224960277032467842023146505427804242192525332693259882459784323873100205298096883436328280143294668581452002224176202714116884486916003252645427882851820095019784806695786653189590023778014201585153355188097210331067762158966701305420174560564760995622514018160496021172624198015917600335269060383318277621873348135283735635804422756843253214712313303252611553634233020372502322159528001238043872831106153280999052208821412889640787716479839150896438146353286388455310013864734309444437334693822522510290657450675010855808582971531445513608485367218979680682455471350869995048591613564161842035832328054756478000796025587577612141931693051388964068350715561021884367712878765927713828582277426078177076398371319241368082318613830785434342046690138086797898949546565169754709498431432474846841785756979177711341230115198053215738184858887082171049543871688830578134987692177074226602103983393478655923972906583350646845959181561706761134452933765502858920630827125752850795068626032138741159401766963928954974731935445323130988286794695381998018628977136664546074510745850897945964965363417146075740267425233661732254520952174718543875028400699744228114700990693907151893831759981388786006088374468899160233391861260079170214476625361735566470333937039330330670345589911398517816462700058216788140480289411745370482772250611658358195794363200277364408561815339735737723269878035001669792045214137715993441317459173216253753656975807886559841188807983232768049819014508136209934658883041656393506964129434635813556987558849312740593457734267981880244943723706775356815906750889634779000840863007775462174969596719159492933334974514984735942261901724379513046428527724490859919291190075542224784207996869297836625594425265631828559025503926526593398693884973219955088891010650566574734509201195405118132242764001185911562685972133293766647826511540036346137835483357548640325362937105576410815716591111901772846882420640409739026487542496869152597532081410705299061176211842477512406102404862995846725954162884983758412281638236258299560084222649075793384531477517440077967397046529201874268553046131728423501591187186027925102585568752900112372184122853303782305358727855696347510706520355439875959946002385478078131235998133413580799691657857228118152786698225881346398589136638460475827006983945245410950599487901064085378923108020984542279461221734683172307752362811090826362447598379810636332726847955649031135498277168328571479893638758926781130842333829046332525267676788306566048256784872182938065694432526252022383763262837332301979356124905576093224310420606127296420286980903719668983389449443496055961559691248889542755074069850922685233051272024593711907042438256346417241726923094770158183664498240065318304655532068254585583648804556012950071086105358772478641116158704601836846601776313882830069454223210310495625041699411787088012999836849649325250623710909846502320362660650096983264806211411287238494343163593251456925121582268998304431916273869331551611913136469531472017269283841946247927720326160914121158025369501606091020850789183033618719364376980885139172812395550061185925548740353476618068287264945781916243023385435115316820233238221027987898513740551612947274530958483816433681323926018895117799319617265264247571646537270089034666029629061015498311381681111856109441378708688785214546205895057891320017685808617521041136182371455167196989259842348232228721497281688090584923655343337768589281808811239304951148634778946950772012125177293409240888736869336846764959298020504581829068442043272853381479555899119197828440893807374605669930376192945026100599461321099090715619954973934407288763137920517775008062620919689624734270658501989562679300239739536169453147714539448590032044705822045216336846351623535156251
g=3
*** a(t,u0,r):
44976204666270444921170342071651690678311186173212892984833999397225342537143\
92804283569249239782808262926687792743392029904087386672584964285567376635094\
36401636328891835971032891325661989802949531939616163053332163265706198303038\
66685086723952723430258381536949900411516648014519153662266763182488111287030\
90266607816263141889646929646930806136809281596599459941265042077719032095539\
72638105469679300783844639672947263796257925047033640863235407022717604785880\
76573727593044999463989297668037295636203327781685988675329349181634306479732\
64670941144781723294922320352520218331297547891362054621194327718042998948505\
31602009721657834313123608252560498032745548259808370341630631424280343548173\
15068242753797508996169200072503842278219378793668408817725938281881503296288\
54439695732823987142252450554384031934130379832276751835783051499766791227734\
37580487854091160337090173011909730240283670285181369139577267883828817156705\
64877980931742329634636996434075777275811025005561359020290330699188499290657\
24839276715695846106494498021156620346769786517343963730665694531625080600861\
39612979347906072576072876017252947065458535411584784027837644725068770682527\
56939066946241830131029304529899964555515897417732846520832927351300986564462\
08958803834340967622156304460209145675712203299852211443583553489317967469271\
45851857420079765935053340448333063726486194617037718590762119651884069401195\
54518440161939656387146977515597983249186902988137525156557821043749147163972\
97489031809243884231294773527328426447358753653932167930539345823547090776128\
19792628606472156073926796794424375501780894759200896884350054643618485442673\
33425475075527765778210034338211766890511817125735316544435166677864576048440\
16560899674101067154469095053939167217555728900455244957404167650982935834280\
51371610320782397121683149446754092858653780905485342874909263273752951283715\
08175309397138476050703721393888044637503068562775973138371030623271169513670\
16758482881717289115725233725923591844960738424188204387519249874018496454327\
63961739359576334593359121125786829066172915145642762356018695842347662278405\
66891312872843828581368107352952759951754393915011687291104071094115808806051\
94928212196853808396746628752806877955454899458034919398498134967968229620134\
26080606163413010597416552847679955777618462701738175818765490955349041484890\
27436431770140982005082505496204651621795844313539435370750354073842274741896\
72327234267731929685350378330211041964425144830720857614030390992198554223996\
81840756411852487130964598318235062194134969084771965821067949700533662635820\
67930324751115612952041997014726480952597379699624801866180007960484982515785\
83629894967339359803116907576964995734163179601596843393672955114466109720910\
92239181147055650379350158322068735096552081422130440732360817227023980443687\
60653007939415923302553146695521145208697328272981824638732117455763500617939\
89527666334244284110906400407345502160730571275702710829192235123696057004412\
66764956122921441474296546904093678814044673996282722868473350857957500917770\
79347056846754390587597182856894981481153851122826577173546697613932553764870\
50741639426933038939744912670095758744510556899008988280402232397893684354058\
84058977665945737953603782543472665498446100778990313313288575079900416236004\
53962120098479497821749792718961540601078243339806475230686928071699458036987\
11918736754108409565307625578876190748860859068650701822182429310043271555467\
94851771074723547107442441643042283534380002001306953484021708213127543140947\
25294946975707575768861993000073368108259607585194469115013214442374858924742\
06228877519867553265774533439160987357106908527275517555901802610103570655790\
33527483821989894551965870551339070619958679658868353563339170142396034437818\
25415576548221228098211173459908897828165778497195538962928105172084748785049\
86120800631169186932996506084245505164603489278798309540647308306804563621852\
02034540462112822901017361171146374847665934731772027859747929811679986440091\
86121578809552997304281701580970658931778590318231744470134635098056695310621\
20221575210535484285081247510281680754492038051395656327491693169133847135644\
01734949590360164128130620817346919697167896545129499802680251648071125011687\
37441074042395830160616272467207149467853846732031189617661425477336265683729\
35838670211811329445402089665906852635089884318645419171073227725834401664158\
19452224545356834852082622907852711263373195816126673659981593118690882546800\
63383527472193506741588518609814979657062755993628450344601354847996745067807\
92330012140789786094162697202514324563575743159879380896082701596854983765180\
12455432128991801822505448056713662338746839766673877452937547537285836809182\
53207338975305504551732480326788082721975797878385310777885801175211653735310\
30053581171565915753925401766162854491914918202684239058940605180610700508312\
78877757262143061346380663231605402176671544071394539470057325003525763375004\
56760963758564116404160342233852464188747712250733021072813709308873410672293\
11806925712001043685248169384551398922488585081720478846703907880731678982574\
22803153327832587137367883896873672006089589044609793152186475712798524138502\
38270281175713952530486851714806121497015517560666741265026529811806214242633\
42857972932379860393499198614154581619550697135948517054954207067110654254158\
52945076649461307857017099863637174434915690173570500074502152692637399635364\
51068288356028263139898329380238737410323919352670831111000180969403982358012\
15426232760920709517210149781819887819797131372081310833795293342091784926466\
26256245420118227718969042658233525484256379228320355210724518183456554441580\
41324428625843533528477378991983410305134983710452598332639678835569773220732\
84420764280693963101703502193334479920380104912625511053815733495398708410727\
16691885423772467462857629514270023159608938143547825861753112123176908776204\
25285064227184252907212432866550228630704257128312069312557165035561223797290\
92932919335528536374391902589863752862460983159649448510091906977947037649588\
79187028115135404386786971528774102464742209497355801061042820754985277758870\
17984979334099381663357120889246555395377471094801411074799235982436317238531\
12586518144497349531754134596655220464715665852208082820294929775516970261179\
18550756261966872819279164597467540023187867332882026968170686659803906632067\
78501493094014596462564660078537795944779856386343435694889908058218514050238\
58175497612565279480550447721017416556810443095889675825491782543000870292493\
331703553849365562200546264648438514
0
*** a(t,u0+1l^(t-1),r):
45331046517680862632579970016990165555457625511857570641519080260319822557160\
84266250303523395520739689064176453830124905879662040610830210552120176450755\
85801254761466919489542026562945319111059587418429702801287446605080606179196\
76284180110334993437597698156570806923639067328243170653685041393000838003299\
39105003144202101588973532642172863778914285790655471459539322488588610258029\
19167794664706356411330593437625348717727415579949093651111031535717349202337\
41872139645061133582048384829126347278303551275032623694464097498649172803044\
14688068885568955825848729191593356148506996000958599430828996970256355942181\
88656068969954937542418469067176359950163659094205280561288466780684922195496\
01577656897811690526710968909367777917495271328529698039167563041501870186200\
09109831399355142859351089217534990765957838450282880055394752103315247174304\
27226093280947895329887728617526375054802673601040788225491092482517801907448\
88861239163945424937474369187007341593568902914875452582580589718511485478354\
74147673376174708797669997019351149895856727633851608414931301589073799185483\
57676987074516771373517237958217467357888188550926675815039519634142291555762\
50090459979348274550209022908834086563843439014716932094961786738687976596528\
85163607020410718845999746704471150769800662497484181553592102234795821256011\
27278696531875267046966976270410642138529478203759909664456495349334831289962\
37394325291422415017420326450632286864565103406189892218936975450405945169211\
42045158292946005605900649452593344999211682676842875369833541845823596423277\
13834385045181995569579079214893206866686463948622600212826189197019814716382\
78856839770403724482574610546008309430081930081362419633543136434691909981761\
19255660223798116993952085941938687274498969365153116712492168973673136511474\
04834108232583441674911418870397123177065250577323491536644247599384138276091\
53210223080745091246370022943346727435432086855184462078318731062113545604507\
80204309176642080351352257266167564956163584486706454520754115750736591100910\
10620214620795871749914222673130314897069742878547241743442906460433245412752\
06472309424108868649071208791634833008572969014932884035018107157974710650675\
63330012687558769409738712608844802041888468684528291543653938794145493759149\
12676902858982344014358695276458495862648983117530981939623601337639763705678\
36331393756493179101769546959685556171080229673015091665588621167127026416389\
00511275563729814732177600249976020599252956624257116845699269816594598044304\
48561393543306944623122109942047567615784949116998963579025093287914598830186\
12844962421735854474346075886637538001533059223882196752698193427628848255555\
34980032205740459288743076473035725483545137626067035452005680598603909403127\
18213454765572854721593552076089001251159987389957899830840981465501487192750\
23064471512902439462731080791738274559456281553242036272962745601371102200724\
43093959559761004301130514020026729002235348958351252926463968734139418400897\
18573752620932656002693363842193037226778754264497971175127972955456179425997\
78197921200574938047854359841959241690078141861468206973732470376172652808380\
33390488653181031357415483973212885046242395612216159785573058689001326834169\
75846425221495605708661800551705191458986109463637179690513731490787204529779\
72336574694917205891349396606290625734025606206392719611205168135381505043196\
09054190298519521277854431303364365823802562098778123532811087529451896972079\
13548826467818012962333506271389757171732112470745272643658960348931310739692\
39892934723050436327196209907371777324103864844249257825979788126338368659848\
50853957421404969859587350271028135186354300310528184361076570283556064309879\
41089830834392181688470532251941351256013580484579346490860583713539198417603\
80251202398700291041786804019750388146336711660881499822596177007761946014123\
23289406553308588802290364120413122562351840279025515138601133224412489173109\
23549605870097933929822231870721494175852648220780091195919511111969374893268\
12836541955979450931928894492852084248794594975574795708557788037686333932401\
25114842076101839190683466425550175277209923953181815351771706527470208848745\
74529702644327502701133623742927566006415769496175886388894691503282731520655\
32213784685728341641173402821978014552412851439976208865138044218774816103324\
85628324414665856699409206744138859361993946522342818927846981001777868343954\
31440013299166356231586233344995533442965883751559625720415372946057280042238\
90313575026214757287873240650129101784534651504426307941008466128848790393786\
68403621704030731152104809212001617065063520226229514078694793917145752867863\
99141471041252092172189909185366235611636361184951383389449875328507026843180\
02739546777872017408156405220885030120176790366577699817553539251544684534010\
97351834277455982150406075547355460838991170022823759682679781552844315502461\
21314662644881862619330412053945484245126546391484437217355607646551607661986\
85216671559420638032595532310648144379585958501231900923486795772848743300871\
36752148005586850736019358097644506606295201137592040809991512676634887495257\
25941639744620220960936861284620209852291479293482454242144554416647033204683\
86106733098204792392660318000524512988116231703157208651732853518408235656776\
49310501318434139370962703139710041829566876206054619753612622901959653498767\
27524524985946209694153329448360150170102401733125296919271400445636511269568\
56993876429843081784000091347735689973718979860384210449154028551016637051172\
01346755307357953773756186466489078256245234972649999676665473171220714196103\
07725722701539278825233098221612093732652879261679884640394928583326034161040\
61374325498631253714106391843991168966319480623355577412187131923029889774742\
57078916267129418431894456845747375225471861164401649208086469065382130173336\
45423182350192763064142502330950654506035833119039327446461223461426825216253\
20159108126412531036657895847745891184003698999146878537902783694618906036322\
81042843748432114570639570460395222313052391310810390904648845100061018222761\
09003099342868228090035783927423207809631694384908904027993848926622242474916\
49290580748964071065040411783836271808753230235588798933377533702218852285777\
91975760891199498246008605086569660073904744083783688996391931193864244188289\
08046225739378840257695568262930794776822485615587210612889982018066659347113\
68469946688444691898166748126494701632707113635939833609642491159269547691660\
58239998579922796478424612989033333058244845013805965181116964259316459012749\
689350130211096256971359252929688522
0
*** a(t,u0+2l^(t-1),r):
45153625591975653776875156044320928116884405842535231813176539828772582547152\
38535266936386317651773975995432123286758467891874713641707587418843776542925\
11101445545179377730287458944303654457004559679022932927309804935393402241117\
71484633417143858433928039846760353667577857671381162157975902287744474645165\
14685805480232621739310231144551834957861783693627465700402182283153821176784\
45902950067192828597587616555286306256992670313491367257173219279217476994109\
09222933619053066523018841248581821457253439528359306184896723340141739641388\
39679505015175339560385524772056787239902271946160327026011662344149677445343\
60129039345806385927771038659868428991454603677006825451459549102482632871834\
58322949825804599761440084490935810097857325061099053428446750661691686741244\
31774763566089565000801769885959511350044109141279815945588901801541019201019\
32403290567519527833488950814718052647543171943111078682534180183173309532077\
26869610047843877286055682810541559434689963960218405801435460208849992384505\
99493475045935277452082247520253885121313257075597786072798498060349439893172\
48644983211211421974795056987735207211673361981255729921438582179605531119145\
03514763462795052340619163719367025559679668216224889307897357044994481580495\
47061205427375843234078025582340148222756432898668196498587827862056894362641\
36565276975977516491010158359371852932507836410398814127609307500609450345578\
95956382726681035702283651983115135056876003197163708687747398247077546166592\
19767095051094944918597711489960885723285218165387521650186443834685343599702\
66813506825827075821752938004658791184233679353911748548588121920319150079528\
06141157422965745130392322442110038160296873603548868088989151556278243015100\
67908279948949592074210590497938927246027349132804180834948168312328036172877\
28102859276682919398297284158575608017859515741404417205776755436568544779903\
30692766238941783648536872168617386036467577708980217608344880842692357559088\
98481396029179684733538745496045578400562161455447329454136682812377543777618\
87290976990186103171636671899458571981621329012095002049730801151390453845578\
86681811148476348615219658072293796480163681464972285663061089126045259728363\
79129112442206288903242670680825839998671684071281605471076036881056861689641\
69378754511197677305887624062069225820133722909634578879194546146494402595284\
31883912763317080553426026227945103896438036993277263518169487620484650579142\
86419254915730872208763989290093531281839050727488987229864830404396576134150\
65201074977579715877043354130141314904959959100885464700046521494224130733003\
40387643586425733713194036450682009477065219461753499309439100694056915385670\
59304963586539909545929992025000360608854158613831939422839317856535009562019\
05226317956314252550471855199078868173856034406044170281600899346262733818218\
91858739726159181382642113743629709884076804913111930455847431528567301409332\
16310812947002644206018457213686115581482960117026981877828101928917737702654\
92669354371927048738494955373143358020411714130390347021800661906706840171884\
28772489023664664317725771349427111585615996492147392073639583995052603286625\
42066064040057035148580198321654321895376476255612574032987645543447505594114\
29952701443720671831132791547588928478716105121313746501901153285343810382892\
13149347396698351856549594662626083167551924773099597420946048103540481540091\
60486463526313965421581028441120278286331710583714412677496758419747584263773\
54200298771270780034887973957216020353056057236026113063840334281029426940319\
82593940849379006048029101453722572716181736214721863470496501284356613792295\
28541417470636261562680941855094561271730604418901850958489186446829817482834\
87308657328191038120218201401640210937986130071723850027099876927967616427711\
02833389473460759569998988739829642987251245079038519392762141089923347399586\
54705103592238887867643435102329313863477664778911912339624220765608526397480\
62792073166105378415419796520933934511759291476276059527833720461824680666679\
99479060382766224118105298036911371590286592646903270089346211567871514621511\
22668208643318661737882356967915928015850981002288735839631699848302027992194\
88132326117343833414632122280137242851791833020652693095787471575676928266171\
34827429364062085900894837644592582010133349086003699241399734848055540893527\
10733497313238593072405648205022855998541915420494119049460104363806135004056\
25446118922261595541834428126424122353169539783843149690198483032374081294519\
76848551249204132014730879629972040720798703749027379142804910488422767730797\
30366816922410258623133753207257970814319631693054447487388747757000368316522\
05798451585121946997347678621039948975191600475812630421193711432896431826181\
27973442876588760979944442773836556421076294122481505297719670213378169134660\
63702707724510948952165738656759157665453044112753999370810193366727508005387\
00096209953512461982855537642775443210899045231439488343706466325038685518495\
70988817658992377218377937272250304284166835375982460998150252540861076986582\
24279536858793947210633763741097952764391893109656259828347710278683283238915\
74372396536226404049152372590746940929190534169046123697165515064722778671593\
12188507136959372461573584857665317242565874631911974958379691665107224949704\
96084237125406999882230950876932311724558786671001568404283414984535153876462\
90234800817703758775585214655998662302509045953347898496886776569136955452466\
54031082392935672461949210363987213692021449606527520780077104760210309704592\
08386494034139331645483168124154483038021183172365655255230383256656249561284\
66990984060828753272101070439922809608454629245000119925559723383391294301310\
51349377062237393621291885417987289635727232166904087872413405379299831497737\
70749840273911690766798979519540927572925983038513580130951101280390419292031\
81057533886982615263500065922610338832822385631293576654107167792301866996228\
72722086176798391971935164357148059907353978063729473925229974365090064916806\
86987881541980325472515736525129487587756687235229919707370376039004027936174\
94095063729001816238411377728098655137186951941132352544518334840803760116893\
33637780041531726364198766336541413602065350665195105004088384842327584762154\
52281139517848423888881369841612440269310204967995885908343430484690607224734\
13298491000672856538487366430199167400005176474234618790530334338935282989590\
73485719891229644180365704102516248788743485011141634652266199608744030870949\
58207748096244037979487530355025374807527644054847820503304373401158664652621\
510526842030230909585952758789063518
0
*** a(t,u0+3l^(t-1),r):
45685888369091280343989597962328640432604064850502248298204161123414302577177\
75728217037797551258671115201665114916857781855236694549075456818672976266417\
35200873194042003008051161800228648419169642897243242549242729944455014055354\
85883273496717263444937014776191713435761486641967187645103319603513564719567\
87943398472141061288300135637414921421019289984711482977813602899458188420518\
65697483859733412038816547202303433639196906112864546438986656048717093618794\
07170551697077267700107471990215398920403774768379258713598845815664039126355\
64705196626356188356775138030666493965716444110555144240463666222469712935858\
45710128218252040771713329881792221867581769928602190780946302137089500842818\
88087071041825872057252737746231713556771163863390987260609187801122237076111\
63779967065886298576449727880685949597785297068289008275006452706863703120874\
16871698707804630322685284223143019869321676916900207311404917081206786658192\
12844497396148520240311741939938905911326780824189546144870848737834471666052\
23456070036653571488845496017545679444943668750359253099196908646522517770105\
75740994801127470170961599899181987650317841690268567602241394543215812428997\
43241853012454718969388741287768208572170980611701017669090646126074966628595\
61368410206480470069843188948733155863889121695116151663600650980273675042751\
08705535643670768158880612092488220550572761790482100738150871046785593178729\
20270210420905173647693675385666590479943303824242259281316129857062743174449\
86601284776648126980506525377858263551064611699753582809127737868100102070426\
07876141483891835065231361635362038231592033138044303541302323750421143990092\
24288204465279683186939186753804851969652043036989522722651106191519243915082\
21950420773495166833435076829938207331442209829850988467580170296363337188667\
58296606144384486228139688294040153495476720249161640198379231925015325268467\
98245136764351706442036324492805410233361105147592951018266431500955921695345\
43650135471566871586979280806411538067366430549224704653988981627454685747492\
57278689882015408906469324220473800727966570611451721130867117078518828547098\
46053305975373908716774310230316906065391544114854080778932143221833612495299\
31731813178263730422730796464882726128322037911021663688809742620322757898163\
99273199554551677431300837705237035947679503533323788060481711719930485926466\
45226355742845376198456588423166460720364615032490747960426888260411778090881\
28695316859727699779004822169740999234080768417793376077368148640990641864612\
15282030674761402115279621565860073037434929149225961336982236875295535024551\
57759600092356095996650154758548595050468738748139591639216378894772713995324\
86330169444141558774369245369106455232927095650537227510338406082741709085343\
44187728384090059063836945830109267405767893357785358929321145703978993941812\
85475935086388955622909014887955403910215234833502247907193373746978703783508\
96660252785277724491354627632707955843740126640999795023735702344582779797381\
70382549118943870531090180780292395639512834532713219481782595052954857934224\
77048785554395485508111536827023501899002432600109836773918243138412751851890\
16039337879429023775086055276330011347974234325423331290743884980108969314280\
67633872777045473463719818559937717419526118148284046067738887901673992823554\
90711029291354913960949000493619710866972969072978963991723408199063552049405\
06189643842930632990401237027852540898744265128905545243439745748860522388690\
32245881860912478817224570899737230809084222940183591803296212484735078338437\
54490922470393296885530426814670186539948122103304046536946361810301878394954\
95479037322942386453400167102895283015601692093780851166251337957008557963968\
48652177846794468824975193952543631892068481310290339418381997284682362397389\
35086828249179353985362434579591878464507644824567460682264248843439143243196\
60458012475447990671584222156580739960100191279252720736554958142020414724366\
45064671278083044958627102570296613504039361709788154532091092412258763346444\
39551505102405904559576087404733509565810599632917846946980940977315972554181\
30008108941668194096285685340818669799927809854967974376051719885806570561847\
47324455698294841274136626668508212315663642447222272975109131358494338029623\
26986495329060853121730533176748879636971856147921228112614662960213366522920\
35417978617520383953416323822370866088898008726040218684620734277721335023750\
43427802052975877611089843782138355622558571686992577780849152773423677537677\
17243622580236007834157962690443223912006547015224165537415577409700835719765\
44477231267271676210046921221488909566551297292579647261306886237436521970547\
85827509953512382521874370314018808884525882603228889325962203119728216877177\
52271754580438530264580330114981977518377782854770088857221277327877715332711\
64650087383346048546886749328548067186067421842963280306418957925077930496609\
63751568027620663892280160876285566313581548711574334964653890289577451948969\
13672379360277159661030722387443824570424204751730780774159882236824075929449\
61697370299172657786790546810737614290101817193463602773279117472538096007940\
29080126161407854784505838672366747698493369542355115332102633120495542270865\
33943185020695632254833784286242904479216945845647676038439177225010257070919\
55763029704488418348426207665265502039583055276160722452271038736808652743376\
02103973322431111531289559033083125905289113292680093764040648198635622903772\
62919464503657900428101853315232642537114040368097589787307876132629291744331\
87267277853795198030302223151158268692693338573218688519535653000349643465739\
89195199982960329931497153784990661981049379295039414070065338983195513880500\
81424222371418973899735404695998927627503977536258556491734585010490006328752\
29737068253564873762085411498160270530563617416177787362357204635365551935945\
74154479276613058665427375147631285852462728094530829031169334799676741656302\
15033152025640809166103358828941553737303140869981687763248402353676588275354\
69152768161335692766887238330926691763643799461971333299205783222174998795933\
38819170570601051793284596326072313154521179272462006994944877098259207190962\
80596182163828760466723702678425988222128989376376186791955831422001387333024\
71365003637901646960263075576484099683093822315359295172488932612211518115398\
97541695216790807696111971928394049530457103898292394257609277376329412062159\
58438400282874787333768836174451607320634370885536231524395074260320581333082\
58304499547280313476298778257049249559679246931722254536742145975632047733006\
046996706572826951742172241210938530
0
*** a(t,u0+4l^(t-1),r):
44843138971991538279391731592149762599381271421221138863577094073564912529637\
58506046043896431381083978125129544835867201413246891445742996935610076704221\
30376779416676179651591965611680741312408261135061085647848932013440795349479\
38085426704059372177506137804592060469470740771872647290484908853545838768430\
21952209568286032002399453523715034521019905023828455621912186923642940284606\
17689472021544154923537407011192981950706866097190346067782047830342700629709\
52086823073538949169717139982628901270415743971681000543153818562753731608490\
83414518241986511095824917037867791649844004850263350317581326748462990075876\
60206737503546420602138035447079549813713756696909529009258943165628626555427\
07627212449792190922216036758679866413490919093095425359685328997023865712571\
71438394857874803748340461055702422372195082850524453753428663773436120247770\
66463385819019884714791089659803488434839044041734086982359583659320447875176\
93384259094666168896072981651726440656651820789568573934431483566942379470270\
68848627968016272597303685896833671765862183598653596974066091885081811131628\
07838976450427060527031240289391251955797415484331574607636941634166200355064\
47007294558826913473836910137799668802393069318863814430534605081030865302437\
05382002639564810913215013618610893765429031100740222652330347709763772299244\
02816792753156453018085727015053971821969963272016896938126728765340033692907\
98439983238383621900794471664960119393420077831367887508165638141252847912008\
55780484377855588715817570055354081990413905270340652640804022315193401158447\
34526969941955966263057190886748563739941306313167758136171504186092986965032\
28888713314949281264073318260288063438173024767375152886019678019054325823444\
78050364467964673464662973470939347196202013726193543049246167154974110580332\
93823173603857005414222548412887956489249479778546037126758644151641256161573\
91287216765785995352328858312841038588279686703122789785890642958705278479606\
05466298021120492402365099898332101928259671150743860587556175170249210961859\
21464811136619008159650958045533021879586604745803582585734616860565568603025\
77048439166119438555979444313446982555447428252541238512136307570168720614318\
06777537012839448016874597306792656423042310998099904844064708533151755568003\
68606994902574510566063249436888003245732017545815873523443699561990020652094\
74100821025258908093824864947399312415814199803736064260186003913860492863962\
11758218781732722792790170110299174976364715408144760402154561433050037791381\
44320517487557065571405531459305372661016226572686841661834020855265811562933\
63587335624633022381177967437759834559246499878028278783735688410306032863372\
26873593502938947496007094240938472078144945342420521371798183057914434840079\
82498828540111698751008885664311135288574116684195143570430755637594915412789\
12248709099358479742486421409439721702162720792884245275895631901160650024395\
69440306374675514039572357802590042095166279644709507542715335019779796480730\
97336657436167236026147740552306419409269393895702004753477867571395496477185\
67277982714071685290000741487495883902807242095835965998477032828092516623554\
32248320967090041783118448431426836381361117381556298965963172538728318424017\
24638684832614537545457025790385468263243597522247738421829141425817870625838\
84571699624815357295649941261213133676222982264836633587992588047818690409658\
75492941674954242673102573432193125095757720432352918680696682477765037024238\
75340375302313122411858292407411980920372960575267583799157738662201130291417\
82320701570454003059486661659836464652318011113048923348400749310888542774077\
14494472556791022043094727127210806921139136608555767503961264732558885535506\
93191603692339036875776622413613215381438091849226731215518640053217347945398\
67352216854291579494370311999968338958851678560813303640552578233705799824147\
34682573410366911232011309320682648640447857653713107441414623962701591540130\
56466390934118406265215534658805705099595917173394004108683586824071465770150\
76103467629643077193914004239015124437897588571728100255725952745695580827453\
68386600135948101195480415417055995308472830838225846693386688159757711493230\
86936917195122412163254494720254177331199944188487104832849836702366772570824\
39401307551146138355407348584168075061144219966551807399857693449296809276381\
04667549885740881725149420761569850112500860992258894262283070247355601659234\
64956803762678264334768768993924152946025937840339316637318925683428483486011\
28284759639435537786731747844697183859260795177079253745948688117677228070565\
88802408554574431697434405198956589875517826759998080952603166976745945351673\
67448167536894192941373775133468947361413269234819812726745424615577890546433\
47132761049343062230573508491501727447650425695313164888010399396586767185797\
54816736256857140855245149098215627111761323770131918825038414041023094885507\
12963917743616010869024507423227871401000918201360827814820469012391071767386\
21090073333242920793497145955054084117183369906795941128811301884882660936576\
27452467351906366041208973617141483541061104060768643110471056082267975790318\
09126220921537224453529517376468720313763880201282545243452196198855333238684\
32831611704779887582171801857661724687852749757232815995011658421830456212329\
77938274787609505776950384417071284040794629984658728542957301129042279537430\
24977783523279469668091013769366058534220673338737451257713684785262732772537\
98846192828347706148360168642427380199050771662278313859192488126299236848077\
20706036806006742921005386025068941406129092521868052517718975906168436450352\
45705191439585333554120021821966562391107691715810531674598114283505499546782\
83805717298548138458866499172480500807190797368113981177809383927772229512979\
19673957285780667352881894198679644180970696318209459245964207656654925249748\
68417649076364856612375802208014786404698852527738512767487570371333190111185\
89707297764973648608670384248601855173216966426749015853052558038414592957653\
97391697680689694550799027138414451818489205102964095112133055182154294934649\
18006001404735595498068666879280687960408652664523387448436185190621415990352\
81245378803525123137725886803775411740361561417006140627832374337517866595813\
57815552114484043763908708162937305611269761515367230504258554243636742538512\
97489955207937385029873013222918819490574885476867583101400950900455374363925\
57263322996103310674213877060553956311807134917744786476857689395324376434705\
33151309749806210606347635745511447868772542376671067317132339399382524522397\
197586087713716551661491394042969761
1
result=O: not congruent.

code version 3.3a
start=Sat 30 Mar 2024 18:46:14
end  =Sat 30 Mar 2024 23:57:52
elapsed(sec)=18698.583107