n61-L5-f7491-r2-t7489-ver3.3a.txt
p=1176690675019070454435787478759215527543132094546062168396987187863429060825110067001221301204742700945442117541796094399481390549988267950700205488422771302332705552615991717121796566573697059190279277179932521376812875627562034251507926238342859646858457151694446680785387697196787048493240931639046358164012363760067690611620636993412926994110355758509691115511666495067537605757902404708864813869008104687333636717438030089006140788770754681860646434650665731027585219094994966228292016728579534464751206590168487477411000084112377102855948914226228704716861326305538210407423495355231679951266910623631181568800706273889324002961739017110830769969724448278618571551895823567041759721202117364618615006274161209630389757699241192551858390613315466333034605682771118648165236388117449867853394356199024351016814957064686765239651585688591070315437001376118802723066896680069959552229233545111739617410104236477938791770914416674161426436009185253703025187628302290924781242606395474502992542458777792123059922939348476138171041692310256172982422037489124881627973522209680914743729623156244989339565641352436603695147690932968780594348761759849304697912951530606743920069924044109076526697218991653739219054386589091102568593157041156664952014741126996632916567478527712240407962673032616406682782593878259735282501711932409516874014274100157548684417786070393868792703071398934130549136739949370031318859992016674497740007905219040755325994831954367790551484847934994946815271154011453565390128763656308039890232439729284865861871840989983605369888291458938483640305325863312570447793875119484229656328950424224770865971585963994983478571549413660288214889620031681461727468579152671380397458867343754147793998256376040727321798222758237995212430415837326751857557562110301578861284988950517520407209027078302995270002570749002151168645106787992943483355315641539981979996071332529198207310221204569687246309182681348830670715326546523592885136374492929748101420107284974253436405451308855620472876647851290279705841292699805574268733337573543161775554942644525658342738282471295031159995127675170147484123754928455712117223701053260339553992235823567894759842880632390068784182082448922817364918181873156929463447259055423770955485182273310219883402275336364281780134565856317893504725072245341459812313016207593700693390638170572176569298164223260272560159334821635234647232916710365479011548231350442046332222967971959038521696064298324252419911977217046627791068026685009629008847002939706992032343194780292296401604304862432140259781315472276548080907167973572209775294443643382162858412391368460368821426609957679770674203083691350936249539465545700605540109161100364771823352185513483208521766786089756841355958014280875374038164043393831064866387666311176910390160172953982032083710207849203474827013660048653022873825585476618506718555044327804617926059354202419380994645092840621008480949788382172951579221797218566263470058154848834564521415593677529576331411461610470090332586728892764803474274143341218002595217435252301424503952811623242036570527455791950017423314964027637284128016433013025846703201002515894394044760181602353691282452171812468305055859653420613061345824450160207060622974952326179128567882213533761431152634760622169409022672344164864063210749644201804704488811406113223091464612565272929392517158720676857090734993812163552961249168070840123617920319216617582672631649853766597889089373393370470668707686913317393473610420275150070398905074778576821409051768424381308776407733586567930255053053230261291863757624819317375952469763571616809239928083375608643636276159445423787427847179216551577814519788757044153339972216785551464268864421440130548321823277046774609295052990169122140696607219042340886161897971025413978632891063313536619418712571449294604539726487087220751435780855488974462926540158451259171039499372804809337264347816088864352950741734335160426495499953291935856757634682023732636906227671760780679596065514500498537672146434386746720735523544090824801028090677058952058085490650994778913844007282534977688779649211675073902473042601475405256227264782567587414182352687770718499778247000314398136642086644836836127615191889885554470818548099453146531034986010375916625432172837746838228981534083003219643199201735289751813366099370614947226795684230725948293114446374972758620361184924595282939995791050028792029640585997035752036802787349798451798950360517005387687798468333981112224648299203889380613109996962377878476019661773386562564731582248928493826820037838959837403831843043259240977240820035913138563978957632619593133257099638818075693706846745923431274984833776332246671980477150492995705713469878345706696906232239031948692310403332981795246063255183698839150485916654344640693505942498099728610141067667874706703560816667012416795544880418588788610641530955240353039359334616716680896536087079756372712443447791248067029877385741080505777469789620071487871225437154730771332414455530299335514602752963088733278928780413854298502871679783808177719014863918801236977253870778830376041526540135974341574139439701321975988576433585154974738840663890302391081569997511405866684472483790977902420493000452714260743568040855502816787250819352550479379715397953987121582031251
g=2
*** a(t,u0,r):
88957815031441726355345533394196693882260786347682299930812231402475236998378\
32106529233037107854819147542408615978473660079312557911305707293553492476151\
04563525397777689738144078204329714976747851133548028986160870533974436897894\
13999223618720189302499360668100169067375309908077100866089014431911904677199\
33470026111741023852015670201728075474289534333264833268198702710584299529742\
17959901799284970127143624229358383150747288642436310690539486648704595903292\
65685442563581619446858876464680612805535191218216737653292271606358895708975\
90973791550289007659471626869868870680121624885551500431577844314651732660133\
33943060328946239074696935788062097111682898635640093233242616683570349228800\
72765167294474326587448057465682062634156920494330366649254777416189617496569\
80129187094167921000971661332864624093687121075409031945211765987805748491584\
70373040345814858638573890132889421485300560104475150762038802777321726578811\
29900566603838562294405179948704184699653193913461941043497872426236209883601\
08450333017421474479604573075193865536667747110603417784105107479827905187715\
46259595106121211940711624862442072393531654345324398129327663890446074351622\
19135713869840357286257734646185418309755769022684960511626135287354185642672\
31144387037231442920094544849250137669504537484197808126580034521836409719643\
59873571294220901594756754791219719106805419846269217764807283521977594202695\
14737540172374367705815396460592029144597634559481102645209295750204965692254\
50388561797923449924326588954349373453241688781570157244353393585915751117884\
27605659635548342957493632070826352664303258532169590330077620184686520713926\
77467451898878020750980009135672717789045655274395118506596624583941956358047\
89037118781357322626818202867898552794564052279243805973943730190244043135169\
55387993619131451646591245427850024471197064424121943486245626283495700731722\
66527341661862500422637687702992739207384472652723065468355820974210709971598\
70607868691718362211630991166548895646736011074405355979225211894948490774947\
45775575451457616017281053014147162403205598630302319536639261397707110141548\
29904355695631652242863149799755872591251836062111799626481670281813028261732\
84384412177580868920008416543313856499278781454961066386743661278459003708423\
46797798622526231852120154291397025781731787376327489572154617478143618108640\
25294083772420332245695256548638941215278476605548045712515623739330808503303\
63021327304629009341870271605637868010331224022246095331348294534547760872506\
10047428173867279530688334222418485976451455253900976079612854475998698036394\
67449704107034916581898802059059012259939439691512095976787455603882899851712\
80059066296975312706613078046518359525496577883225257918757674984542522481933\
05642455690283856172065104258796341782772852016805736285038989075731249744254\
96109075321041625528491713399782696922232699678168529261214262032359107922761\
35118202911521008717770290520319516901875094824115980400169227513938916786972\
36095183363965065718930778190188820212359706547064977515388291435567042930191\
42655125236596080996198438105073987692498832558717097964731875657871421317202\
61128048937868007804233578475401076199579020161618978386972913793906095338418\
90226038622229897985983474377443284321116537830969063958591421197318953431523\
64195139187903036007322114029218863723178732673101656435659354142302159665714\
72470993463346207429719928317039605956553219956460387043710615551334551477613\
27762892500509527289447548004151566285388075825543011306467949466049477728013\
45322157223653260407698524313692883226943496424659144535527282010824207753664\
90007643634039362200671412601423077853856310319601345890247765407403832954524\
67487712992827776960300325379925018995889876906987261502608738694531298397447\
36160462706006056785633836663505759600970993839486609521296784646564386503368\
42805467040156667210320332242379388880854503267496646939724643597891519333058\
61525840435858971846948963181450830760751157381282430597964688703507708771819\
60994187350110811985115019377462552896237689448014270439638052087605579933266\
35495772365518565677559126309321520528588660695055964431327174148040263558702\
69620206715406373707812175621096085121858631954663185832354732237684991301417\
50349664811247708506875347917993882236318657877746244942384419296882672266533\
66097011100397667504340502585965118790523709047711241849001034575372784288169\
09594521459479405516993055802994033902636818033821766774408283013759028539822\
90723644762956000647255085607309197564206048972084183411419814037174351115770\
35576761278708643006802412989370761801899413330759486062536370772968733407039\
86178794059947150332754368091970260412408742367326946465224442376139918114043\
88853433490717848401724072577270475351938322802935426286111157270815321138666\
49197342372060238209188763223977673529906845483642904925285633948292666471569\
13278267891977400261387097431929596453124189644997402161706897755656970237810\
75778128183229581777060724653018353867458730362025686236776716095277404483064\
64304889764631273053283809062976490396812400950823588701579928738496681709899\
16558982355575237122613735154803926308795764287394064342796602230049416414199\
41384736378379037716090256354190106860765766691811862283521346119774597929422\
98927083422519811221374388867601294911616194305281624110648408532142639160156\
25756
0
*** a(t,u0+1l^(t-1),r):
90605181976468424991555635864459595620821171280046786966568013465484037683533\
47515909404019276518797279904305071829926876006707234909663220391582260855339\
02796183275514313622183783356261746735576515043428548041460145914233222766373\
66110320352400192808101200680472394420474852684152602733979551736206569578628\
95200952521217709478904849279537854649739340524621589439832012020039564335848\
51625825906679136240609246900272427283168534728407353481105032697754681012612\
89124061870314612399578485288100624153785842907442973535760647006476653036919\
90806639541961026319832212552644220137160914235283935624755211801960098079765\
43830894779482280539043175339692876687825174536300094959784146622154985325630\
37075633355483110413141540011342841571826493096077225290907643664637573376135\
90872320188504363982471136542732487502829475169398088092345317209802151241428\
86491059611478096761510443653868855216509829736039505405780262088012869663604\
10083910429835572707264535132939447379276401208155680692451536730425769325889\
99347561406632983266263917021030788972531964649688666261588535396121014543043\
52671809830308641791465543841376184845263722018385961057648546555083964617392\
97267856719281845384151396398892555685862357337919867187767360014897781673092\
16906320130513506677874073457569584663384251141312582351146331457425972862599\
96167526318187955327992990991057121312487001695274203278970381364977179280522\
83528976101492411552219385283936325980608701866138160101602060486319872464333\
29099461090477587885888192453503991480153571907154789785915493467136413175622\
87376134813984423382632403035100914750679244801283842002856835373291826653073\
56679812119227613727850009304851842192546500742439472553015080594755696290604\
33278546906938013786574095513600377846315238432563135714201947415989303193228\
24932215723189441491898490713550950850293306357901979476731656399856732226754\
56648218359304398578612459697492604748261962887032751865917965807066463859961\
64508014408231665215550083595559060380934826094301751460321975078188277641150\
18845493515373497795378850292186924669931628234567177305836284756923908477502\
89717399319624830988101356277529129491089833026224981101046145657402158414727\
89650790180869403529638202034856705693709870000423308356868543894726763036357\
23590350448869310219752009000496970703615709364777998638305628912924055481022\
47984714953391079139134057595835958645191040987132268781265913067836934586698\
14188388921381398403756758116853384084596617059695097096743633322224571259033\
99122380547457414336812192263574383864904259980825068229235314744072748000031\
61291365294202229851933965060152697672160540426540097754135371448399249848966\
74134234191363744423402209121453884701894662658840540472808743039811828453820\
70561760425289112767844087670996274038009386313413249919947118503059606221000\
42333317456616470445686004388667561680051823746282761284570081699625017328738\
41324095558030657027358629233658767214872781765303313370542731727160007838582\
96022871944779233602614681490007131697773775186825440061969556091781247428898\
67519109037273786199831742514427209686804366494989636815930614095980151341595\
25223012807087785726534200299019614647719372386834144653398338123422874881722\
95600594893011933133872057236284826623359436679690713291157928997269304420996\
30198752876567907044494745770500694532867227722603538962245638478270718178042\
77516752601556322382122149211799598659452353659357801618594145468951857986457\
96795538657926370387400280374598817512895262414904918923254392974680023611865\
55420715690757950415248496986168677360775783395486165730629639085098730119473\
50933711108743794834017179501449431147446241992186555999326427729763163194423\
27996744714917180237342923998071778606924874627487025604508900522207803923326\
01644915719080243022404833638755866260248234466143768956876354732611875142319\
69524086800159568454955893950571599786055512587265103364534359220074695617004\
14517059703189693547818388425551772071135438073528401534964034790609703378705\
15827413041779530725580112328897044616538387400755275447779497496635312894993\
50967916298213353930847258278012659797636598856075519328203603298929898069049\
04242803136062047294993882577042308920411569583453244829250190242086565214406\
71652436381826369775521187694253028203657892282889693922798945580158277308506\
50654363157812439124791252633853361731088962918965153735093646326768576589801\
85698123708729024137678112391938367863796759108522169862823251217717529068338\
14625934480788519177759809414851960482061716545641297919038699482307209469766\
10309664265351395655076531748433183316749402466514291359990748009505191433096\
15552475431427653116694263797377117086712607966721889918284154271994361042081\
73832200777582993742496740587960669339937180632619415661779882405460049307901\
05663959823394687064914481061458741558238453733339995757235367910298086221042\
63524161741828833599560932569557922313367230193978835535071840306687654871844\
29033278705141240698858145479926101161300558702063198944865173800745504566084\
35866091426939259591307583304883462441197815783246247751609186678098472111934\
33532296843641445217476952472485480499699389551975435904700243012087368570017\
92151120385386056933054890731119553284113280889808378251734704381251905298486\
37796103485899807725473914587371689261831309014638691223808564245700836181640\
63270
0
*** a(t,u0+2l^(t-1),r):
89310822233947447491676269637824458540523725976046118581331327558834265716625\
85408539269676143997100175905672142232356492063754274410953745814559657128834\
18470523514435537713295443594029436067925421971379568783725000972601319583996\
89451601490223047196556897813608503071610926217236136980636986711403618584648\
53840938913771742200634780004115885297600207088555566733548697562610427702479\
25174028393726577151457686230268535464837555660858677002803532230643899855289\
84993718129310117936727364069699186665874616580193788199535494906384129422106\
76652258977075868800977466659035016992344329746208450830115851633360668107197\
36061881996918247959913987120554407020856243471495807888930087384695628392407\
07974552878976208835810946582609372406514686051847550643894677326571322327905\
39574144185811444497007263163550594824217625524120972548168955535376406223694\
16684044474171266807774580173099300141988260739810369614269115486755542954124\
04225568852266493097160756059611740988143881190896313825416514777133972621234\
42214024815109654933888718206444634844352936583264542457851556319033571478142\
90490783975589946908730321786499382204617097418123304471110710175725622265715\
93021173051863533307234947878908376318921466518806726227942112014684956220619\
42379086985791885153904443836747162025335904696436688317558526722319887535991\
39079418799356698823307376834042019579451473099627428946413661631191791005086\
79478562157185377101473394065594378466600006125193329243007745336515302857699\
95826611646327908058946932561311077316151378022766864217545272131891607273113\
97556475745213217334309082991742330254240969875551215688530309153673371986601\
08727243374667219246023580600496815875510122160404622945114865157687757772167\
12803139093981756446765894149120372448510735026383662346856205310046598861896\
41718898355715306613442797989071651552431973409931951198492632737001636052086\
64410386668457192884632281701814138966143934845789426839261994866965514376247\
90729328488114069998185082401336788089778614292954583582317375434214159389133\
75719129322296733541159152430869968603218319259787646201467194974682138356395\
71292865043630190545414194044992999069788549697278909942459772148010699008803\
21227207463999840622071942005787324183799729000417261094627564696230666421552\
13253345442456891502326980300489871122135484945281170086329834214167997545579\
30156361882628349437146428201609730664545454687316093512962114309724978378316\
73985697651075949855131661572326907169102379673128024281075867131907077383904\
93420632253922308417714875231237606952548484838241852968817667390585994457174\
01844345789999340854049194130721944848272532706160953500504866141993546279695\
78789459417201405217353606134004543491867596049428532751768618139243088047337\
55268020990642125442589172132839184408894966508935917778233588238730183274986\
13157127207236235153604775754543739370336797692764436123361937675344659938327\
86448037050058790498396363101749356254660313454370408893820692702486293440888\
91793973774139530265434471754435601244948435541299362346798562433327229608485\
83697407479598446396977003335649678119850018402204070575703033894609006322429\
60576969766986531644726568866176477295609095638450799729778361864516833811984\
05663443537397476946245313561480757671597159012837988815569958583022600072124\
92624484978331222658144820830922113182397695897994916977070700785723993632642\
16409370421534089205234689937345318678603034321366975881185657676538260015222\
85412745248527422239008847797818834405568187237549134367207901646470308988838\
90343276895175693980744947029223410541336129346979220505906358526740176832052\
45920372378618883479245505508571582131054152820869605199336050190766546577360\
09025362647561220519666596512385038912540233561380068095873059086176263867278\
50192845494521953836370478872487925313673259688056000828920978236431705497429\
41388028417300146048456524036992005503397576693161316173612439802645057108189\
80023958850286983639992411448043889612976360386763710084464548579315279044723\
65601307141182680286643253581341372550587839009315914369954076103826236996493\
60239803208238877446120868874041050371956076015274440480657837537516613810919\
77039334519832589476493969968798847364405690017975341331689473238628185711343\
76343115862085993064442313584335127800748493821705555438187532071870301918384\
98502157969843689994437091881941170849216263448694222967449451379243311209947\
54473864798604323792854139357767819751456805406971853150497204771750135795933\
31559849702491540332363240708925503903746549166417850805909575203988535048769\
44448097632989232860004009866312709269367268145564087197705165895083688698337\
63901725782407258072170060028843158271188142138625862919451523496680155884337\
71348883623617522403318215722418374063652363766439138295183026942524905746359\
61297331825917620106844274189152188107406475822863710103560576940150970703599\
16902388002659850262424347818564237708890555476921995027427956873734974087960\
80047089009353508688874457687355728287567693577748010388509957032163425929426\
01068004406554413025717474971956555834894989843485587069443341154125636796049\
55910406888732281714370138865735687921132255415518643963204525254771834733303\
37977532951309113262582678006389273951483091162811115705281351461519735222793\
71541873436101239043681430093266379415233718885858138492039870470762252807617\
19509
1
result=O: not congruent.

code version 3.3a
start=Sun 3 Mar 2024 23:54:01
end  =Mon 4 Mar 2024 00:56:01
elapsed(sec)=3720.582484