n74-L5-f5224-r2-t5223-ver3.3a.txt
p=388655096232752089696035587160756039717658814048511845109165148598838908342346189088023619223075116505955529969322483828443570984988682054259792559462422041962923875512172134990580166011288031603357987717319314112182552894862109419381493988532622549237466446654826571260934817925549015197800983911500708948408746975485071117959181018475253197009951620349199460856823229865762637583975028256650958753967404236435217785051280835728695876459917399318037406306677282365961424193422695829505797839820604036992591546885943513325555516385551246429039093473501172883883201974749359667341934678637366533341658457947514562515258842634262108216661379514975367751475980579103597064380858240654213498148721011584024759331083346943809737284251600534138538672957029691243235258761770440647904929951452075256000734912275468656753142746941858351703916193428378724312942893290130042958531334227672324956382093505754846379768305765971438408542609095310457892499258401774488042684773245406850998480595272346345635152650408592232005751812195142206873508986316693804237227003852741493074223624176145577210827010813282812595553533006591908048989924604106005327909127028246578930541817492348579026539501868159649199031597758477100068554074373773581932549556453103625487087229103222886392113104471916612492879244245606004513132192580652518780060395819897281942141650719522550860563272043935344298334605389989578506830513345056757483773908380722196915710822999201581471937793586478876727677096589782269892705480503521716415619422600153937990470671025123166580014665917524784711101038323842635574829484457788047210436332967284769527374360117628918872871831999839460681574307159510122580839534405670777838766145335784776615259235246084279995143308510527495680041711457890445083200975535071483760129642227338649977762023553742066467290887058507030299281579543870036525670312828404346907351433717230784515134426540613658459188578410356568977256030107951197505327003296633759759115138691035971234207864114247872427195583335962538009710122569878037649881617305466717762147521195608867810543035686119137477922646040436004745810913928104823631902181259255116317507784798711418977581010158994790400569815037521165963287469134522107958963012006625582556517382984064192487921630313294184898172749432088831275994796678231475478020843360024672371300486848569972229331158248453245533102802697603785898693747580534898334543712871004693622281358951187472636053519479137613403670253438043804839848557079412994762121410494517774392184541706039793549056927081329667541380314945784134248889105456534499137794962431531403179384280469792739956364401779309929045600074918106293763575712692304697374701521287272662591244323984592098326539280583609814135675617818783532414382607626191706328167981626182707926179775059445225542545357300424529608527853099084601807127532252852474074840502668069436121936321871979935560083031715353451342483243241385147508892013966187476708530324716306140792402592923585284770120178947911675582477294183147520630768265490931042950415562179884499164762626278916540778613861325057772429364070674280394493339275762847992127369387226567581606514977254592815275427598828288009657637234558283034456716895016687911262383142130541576628708505257853696986000530836537342369457253863278360340509856230871699518449974200892835797645972729550987351872408424204242384296237518292822803780759440799129161829503782940056855051432836030735786024539361856365801007026476057023482498902544410661248552103445987271068053398021776428966417670625719566752023685671900486010424212958612258768423386824904905977527679962288842900292252088114533697890695413540429470344861329067498445510864257812501
g=3
*** a(t,u0,r):
71512537706826384504070548037579111308049221784926179500086387342186359134991\
69879219634593704582143709581751435533702443361706123791749798380183094108565\
57211779930942396728382667505460769978150178697399867537966415897326546281331\
66194893890002549059693826184488089112012006498301018796395381039716130446507\
20944348925308570448930739944658824983109814425270079765547429530032531545140\
51992237764107300023795040800724494356737740800412686248014745188827604286199\
55336902051589776032629066802526991142806636844627013606451902215014941429342\
94319319912421581063450916335388217879091598086927544213486515626234267950280\
76270447042279118656938307554676662715804265550618598460779162803752836593646\
66131460555716919335837660991660302294498281491115824093463188755287612165761\
07921450711106718184710413522385868623284257826543730193671352057959082168527\
35814923653839279043697654978917077919743052050588917338773682609387446671718\
40073537124252219863545926505799853998277154860583720429530111727596868087675\
18097068905833344390616606472565348227165997964976870890443472565714684841078\
62067921699896440375175818500732129110810141461271555049803352793731973705232\
19694418592138540883268343741375452621813987559786412613949684774339075589118\
38737106708962405015499301109614881122283265669868978094119150483041632343484\
00634555311128308610998773540637323921493583436420560841033508935673917580824\
45256814455490443377014399142052884232490791431853090990836554019912113317892\
58577251993766025780841264799582047397375842832459024660346862266265072269852\
88245603868425910515870449457686251402330006867202852659803975930368822616437\
21072608417087970460765409672517349862554874474330643423122332970741784398897\
20769928527950751910636876593705920512767490825184189530897949845315301186385\
41698303115959082123338885402299815232187652935750678106360720867207233375604\
26399830952663803970464350784734483472913156490698427505608691815109539863020\
34098016860658061179567718551915061870709424699702160852660398733381710699378\
66625528575589275782175842058760682351438999920316771399185662459212959377668\
71440224873229208162771287548270001351702941402421432402962901091874905869255\
04143370484596690389453724489432075206786444919420921910719039919846906781141\
77775799776461300212637858955043449547830425887945914879558351782445397163192\
89580136874890196933117715397178090915696359096605359649554818421293556043168\
26486362649977004701849496503384758416132086627532663260006009053213450261199\
10362303395309912704881619556739113220130264745829646588276139779500242807017\
95595404002347841354273087401778185006707606441864151971049927393026944390413\
78493155805249793113538406431694507991685816991678895561316494609208322762738\
42058009643136786561699642463998032192739643829086192176182584170786109379214\
99828345743278113447969124970231566732511465934524855229770652490924776246436\
28322444430814305527783562503504701691675641486714163613056977849571436957974\
78003299058020770979396923977021129264157483071758221296991437960613608503313\
11902876463441098747846316323235320643503264950483810630127002989004067592586\
77442674036403055143596724968843501559875581484507801067867818440499377700525\
11587240783400359086830705756722784981520196500996823649674450802454240976739\
22870995980134710843218302653813546480392711394795252964281786766858982237381\
67274452315005358059871050770336587939589565973710703976577662869606097046132\
94636418296553846285152425815713073852928715944923207797980681715616697335870\
34061657876521825236006862929820851395132400282372358163629689425918055184384\
65561338990317578250269986509311306114709365377438421307420041188795609143902\
2543454484548419713973999023437500184
0
*** a(t,u0+1l^(t-1),r):
71901192803059136593766583624739867347766880598974691345195552490785198043334\
04498128436955626889655360177304432465950826206063222290618003806162350054807\
77631409169697518449732573307120882858466212277277040731107537722855494902425\
85576387878535171608931292631142915683272941316226567811593182023627631155455\
61819046473815682244848841792184144684104976460190025851229752516608795303538\
02274804273694839697837405152902344869546098087371450847188738369201667352972\
37702863475783198728458572600366811746843629436173899549965227770531326980589\
37223229259771698351839236532863153845825791554791280866820681472029019406532\
28858873384900200823552102704430340230564071341654569104587745210294971575133\
87143044580476250419184604801397586546098815629654497050492879998522870927531\
51986241204101863392236013595877096170149933140818424379506522449578425006399\
78944352586740579473282968321193801169306872985646465802571365667047161055803\
82682632434710112362804328280287896683050400267434718910125384073942503240325\
58956292106408525610130827159916246858835378388699571275717621873137047258693\
17840029970004573203301774036062195029890631360517596109856631885002256171021\
50236236084487119909807845609535101820845585318263512682503759148112657521667\
94382417071511113738409623398254092432730457331118266018543711083492945562742\
07159743111732266809971592962053831116719092042053281280386951919019971480720\
23763644968835500134498173050433606429406502254852292572308491813498592194620\
26286910971993015051389315151753688959318102847852823707413964778581730271319\
47420851715536920899108875813434546246907887339307215989476823625642566217613\
49991481288919970300226091246824509372677455313865049093900171736887120183673\
82295852052559179910151207444758670080771661970973234039218047398822449562398\
38120576502458859743574422822964488141058238006053670922156159567572490078732\
54804177860015237687695135299868910013526814949887005915965260792365569970971\
53848549560987724555543630065784165467832845486113585639903118291715306953179\
63726754274369652280992015113427859972914211876405449504616019320404334156895\
17480660877975019076699392371901903532962196518738940187761612510852486879414\
03622410541578194141570320818178988658997240815722122573277295571585205187561\
02655016079594242061619586449364337860590373854728229634338560216045643886905\
90066985444862426264275963850423624018499056700391258343302398956191890586881\
13586832012205140596968243766990110364045847967899688603810389537198305969140\
40309924609414857882625541402156173618065755315100459884951553582649700648360\
44484509458882340492068049833309588186091886911656891927414329172336873436013\
85984966434626150684807636901431978143814544257938019993714953819040976690796\
78156150999892964749534966607824108454656707110766008438009663432583859973667\
25370891100578537977577652823330651334318593466777707703845492993592845682558\
21954631628807861536086734038849835939999965625228914502258374468319107811007\
25166360465944796908632776824722331053636599827582994238822913166921291158222\
42945826879003278632345481085861599560044043564345135687899432353074741872981\
26776601612687854356333663691500259720527079209967082595410578323328178666288\
83932823613744926255780872635835408812941501916763110734727029339424100982047\
59408338349591964706496662994323402711264410913245227165174622564504954966932\
66009639555847778484109480394088417221869944049654783889493845819984391051818\
45150746656861204145397819434276731862998980705493442622969707159723309821391\
37507645147589878634028639358787269065758119849124381849301589911928479397343\
26787215832656260740760584262079302343593655406663630118873410977865150497945\
2013799345877487212419509887695312685
1
result=O: not congruent.

code version 3.3a
start=Sat 2 Mar 2024 09:33:12
end  =Sat 2 Mar 2024 09:37:19
elapsed(sec)=247.698721