n74-L5-f5496-r2-t5494-ver3.3a.txt
p=5121598695163725193956971512213720417522011614463605777422899363656420501084726667743984930501794219246264768516497644825826668933789577778567971640761328989557048947148237753879314593948567277115651399474106221942893429234980950565131959084742434713952396380548023862544281339374802693820291290390413505326580650530996583815135012225432586939522007643096753569534931921053206686599617855714303670192073247226391477231374484153610683155946311595919564719861823633077064289467291648716805062368907897885564225085597898942008707819580437587139066353528910980641940400496311735518628426222198296174059563391664529615130573195044788574625152994116353329538828517393913313137425071043500847688987848072336938021191191564298329444230422947821745086937509286633649793676627237995525904525163273398995553599299426944697084309684589064091232847274747588235553308674086107338988477966301440620588097540135968790400837873303880886962379988476197043482546583922511820359679909915547282931626652336496561591586589395050266588619176275234463636877352200492373391719205931142508303195401760672183430561396210581113039410157321928827570044378691342037219186058470914424868402656745480142911919073653670043006653098587877494809910094299444742982408721323238601924329359099373862073123991902147003622067327703576001822982393553244957743693326198496234989972651163571843938271656267805009483600699762088464804014340232186484544060531230545628844142502079582630204531935546964018210988563720674291942104335299277126599359276781260560847760678813159679314318145706143949970887124918592373274062423558497074032378140224174214949624446391513104945609227409947940625189600651205318107674009132752483792717066446460869457660508563572129255283464493154573296118638566732641362962530204023470484279033981848084992909489957621743335585322988354019542848380327027536455743076283323462343734126385743151409895965587126220978058063386007814933447515298763284722351923566078452195009937991325543839838617157508675723899456462623884864589386367323272127206586108479236626810855044526949724840358632394521536683091941740665299184673870709507796800797427580229005316017032509519285139949257476468876397842094342825823485845125987650433119457067878840913311440726419035194355223549293584697210199984398248415270055710367443542218810182257795903476332473448776358265457220260787677636107888103767326854180789318505766823791621274345012072560620319072767623679282932946857400982884297019588457590920893741431125949418533902823837416257404693034419465301330403770631286502657372392344401410355071085787211758677794292680448866598802524099025818646105196357698934816487154141556205581425732751056298879199949800203211906759562543889081669702154151605359062519439369826020851722423211983128798074392491478486758999718547103660308846664521499216618880505750383434987218111850303245237381421130099338579946932889872712183764669894164567678545482006400426870999192119592845505844788314247639449405214426987511973435221535475288736772121731992278418435697095788772673912604465667396406020531898165877862154787830249626896466745073964539368643863905759217470402137238141630246946070685104935343380553329032889591237543635926324439854017009647584203065179473773683945593911105689153576476884779908649636105246055743590339799767229327275645418384539914103244423511724290510656001069213227195322348794784964397044467835429012601526671758251642188408295764808445968472200555365776359789819247326722432572254285341014756781144720358605631091576607698667432956370106759621430082500597527945486126825165746919948187617069950552760358718438137391555968538201449461965217102974704771319976395430682925283396689665854493859690478677003538562237919469505237615191411741940513598805068218850722154855906794852688887390995580650608770062398704670123069711978620183190358261526853311806917190551757812501
g=2
*** a(t,u0,r):
47477219904167732547981125918221188270429047666077625556710277101095018045055\
41620998674030575163241241287440414793316753541322101622938600732509710985751\
97331938437400641639784612462859032186588620884731249646774106220890082734117\
38773260715562369798338714447680181205785488016004420971714100261919133194377\
40263042233833196630156332976008092936901085150690558958881890816322598477845\
75224715950226805190017886489939348414681039710328556223084941743649531191050\
78624385963361793583604782928159776213399180366543492523192420721487510656432\
77914509721300479055078751260080978825768551107977820553353215264073018953226\
04135180651900867751682554585953648249403562415764127839304085732528580769173\
51630563415456442345801045513948016020726307576955910711087093933587382334496\
21852513494826354440868878186550568777734197155077614062412572849423691014294\
35791714087782150324231907476143545528516641970604306870157670855269758221412\
62493174346593083206832961684574734232764917123312776179067159323125954007683\
69211597127649976407142347791385305489856430134123703898169105197062137432143\
11404013041428720869178753321583742802315743113904687406850218547620253767185\
30092628030600924793489812769521298671674223909624376887866574155852767446928\
84666642183983853315885119570141785940493290272357656412781214953689904678823\
85807582840371338600600983570464762863109933077782536025524379129784867945600\
68733212933952368711723441124507157979385200994277730981996011042520356448815\
86398569065068630330718822429896357606049576228539905874149259799022724372921\
06959544162301236479953513002505586663872678762801453598780949725830186180493\
26482845797538090217409595507598036673298858138064660615524758487205958692259\
87251291438431363819647771585154289445501977951361158543466265499129757138926\
66450117317478842709719071535607208759441020417611622044856315452629447383171\
46408495926415351595839013569735600992660068466598247588292444433058466819535\
64937620233145754725184774212517958779139530398105010542396054796140852341269\
47436116250867326192050532256025235305366262627648239492701245222972146450522\
62299935967323441926781477137276343392153668722879279477891363243773247329616\
80686648420799621455799538371378431790551951501736701923685526639705553390445\
62516729223019515301431385538553717628095534164351062016363683703895297680252\
25602028870156841120788431817501771686720122721923119938255916982548458456548\
32921317826191263695035780455587150695278841736810711133743337158500186783668\
49830665375511098092791769728487061415044290684433433328429537520258796338420\
77032601073991508965247453002943153093147760993370899398397969338849395170235\
86912574883591889222602573981654260229189061018353464788377437566114478185178\
70781389689853816785095552029582872132954668631750836039581496183960055722559\
27390931650931063008580114297738057022288306054442331511896852311083350525773\
87602086863610806788912004194349848991890554238011661819933195709416251094862\
56778391811876730756176959863377381742359937445036338559265898775684555684209\
38898912077961922687169843396736764683810330695997687782174883186414041330246\
72683565127994732861840638794595062781219757291238919007525092275063313772936\
01348865107720295050370275574467376794331055624142137218820501756555559497384\
53653940721909753182126695630936743082449943842215863845233028424685003737075\
80595368417303378112991160661610063817332765661996060221683442694681615224719\
89927230865449017397742941277372991482407468552516244227187169499447972251112\
06795361211557724274200218915153366647103505550889661690656864780539084054656\
39566928647394791969921023844162408852531992153361972382834912743651241756254\
45755132301361811856424307173770873132024711580793307373358228024719455134823\
13552692824386847788561060922982388746194375514255988284425986114529032631143\
29847843599229204085623004180909817462108435393020045012235641479492188427
1
*** a(t,u0+1l^(t-1),r):
47528435891119369799920695633343325474604267782222261614484506094731582250066\
26347666418015505665035460533705183309814398367148770556728178511077682626513\
30230894142295356463560000394318427043316332449871197057396300510233006232212\
44424580306409794145478238411485661444410930829398168998652303174823037329430\
66843692764829780445291345201440679876423092793787312528416822737375805164445\
37010287380593824397342609129087071552129455071396871817716101335606003177233\
14955156606256466500091950978783465292378036008794348502181840808565706460808\
65053576074829390035720691660577290561287179534200018849527274827464683482841\
17192500156379725214197853997588981203286414155155459153046592836878665538072\
30111286784836654257716688497242458324955785794406780086179960270085319100768\
59848039399351517714267873740149868204678894239387298651476664082270965761882\
59347044955190761058130755272773689590575451724617903749197754642600146310108\
86293059108563518032298800909692937829564016278785605495333682688091569923549\
58606647394238595583417582255022182842056922507515423104100247705365332833903\
78622356097568341927290057262599474995198500118342556541053940466226100858627\
78776654598055726222609003506057999101740754895503151835965675098847214876752\
93387965422585777645244218944003859064485192419361278480108918529691727661217\
41132078614740671220450607069462027979467117471609701652304880078144937921809\
53381253077354690576568881729819463435673642419298526808298056361875826088997\
97387132785742922272823157729173484205408853009800466721909938612182403687239\
21530158557298325192445372239832992906228528470204691412803367147325148625132\
41613895253630364316889001759494043185352039214804751943049596414376623156868\
56708951946994935948903055049647444018798096589927891184829228029333780609410\
94353515502287342000668067297781542317973319253013576329694348155383092957479\
09241730549852692859696445083834560648531330676378828222152522582392941972523\
28222342585069320803636969222455950104683370236722168051071778695597314965154\
33895054887599653404771190866873158968047348132100934465185281086211598604190\
93219353373976433773520184232354311400127944525169332638061688338966098729109\
38163117297197463550142364194864276916539601934856158991564367553016994116864\
66036164745374444659901106558552157452937061169922098760717905584913523459842\
60365353604644604703443004020109648463081201602960793206797724875733516124786\
24542592171203336255656099528354774374561774683668112116627634178088644374589\
39204808488106039946182052112228687155513594126379963461469914583387446604158\
00956045088095059676105325120529931036074565482036887423638959597035856222199\
44611509700079043364158779563079992980245359897553414588580649472874040729067\
78948359905268977321001803973519854735039840874072034352461303623209203571235\
17388117121967666097046759512730223211093363558276681384077970814115802899588\
08732186202190753721801876906533613661784718805690207301939596136287250286982\
16062942396355562180940904803898824441111134788558492106794772452896728883437\
23083269048919810413908969441393438647870536014979346560796431064716537599211\
39428639092534101505704544553812533183356995432869165953595777379998657153489\
34252154066844049413962908018452778495295814044448655166197870151114950607953\
45189705490757552268623056683397300518353341839888157117989482608530402878108\
25018880141593888768992229874837259139681560446960457266151278123694216751391\
65752395084289846974223785874220211537944046188495226151919841742705197679646\
16942929023004927860256529830919443633777835114590729286871165605545059334111\
25693753813141711918108640914112961612890710591499363938803450945100703721471\
56052602778493809495967375466299212800991297030179276421225928378575678926770\
08605068976300965207966196911033070934701597062815056232952874988438988437649\
38617905997933874208692716159530000652466696919873356819152832031250000928
0
result=O: not congruent.

code version 3.3a
start=Sun 3 Mar 2024 20:31:36
end  =Sun 3 Mar 2024 20:54:26
elapsed(sec)=1369.785538