n13-L5-f3135-r2-t3133-ver3.3a.txt
p=485218042447093901652993345237334761515137766345141140289329419144624353381914168733530703608527696356496557070807187676946675122124208801557604138865387223186396575348506721170130109070207401287845350334752207407704386804119550532838855668511978526341324838038234134514446251020082262689186415608461585910023075662317562848452480025802125963932336338437501198938436289819101428497376106248547073048420348597397516861862681837859523406820990864840216350058091161405651929484335815042489206210712781752085794314604926454964480247631510336200999799000668549842270066003059603144987681247694152714273488867212953425967391002057689252511164199721482048360075543794677138268221105352752337308479872720510287182192123049508997295039709130045561165365841593920800723097369988486294676097629932835450706314195651485613691594240336542167904244768630557747884164437330124188486261799920641049824447188869421534662387856097765664575708273915786281864564612697780133135798597866914243213582017595179490426365495030802692574439718358996250736682849966897652208781884195421897708368413567112337743848702565637494374344302182240146428419733641589770579924536342444562252068414681076063895119087272323179914560104607186507930781277111346588856531948988718979499155288436625719405870510971831223690101512321480345144096544497842865974339444608416694770023326095776540859514183102141667699971004092048063705553306294789694897487235025175982916809585951671378506296060483707316844926826170291456599955240968097600084829304865274131678128718393126123037554367784288062859192002742049619174770747518739646693557984057479696516611268069577357266088782631470053133577913956587801208017808725101737680184647196575511593573703290052119559326614569677415402607358418137325909638888145690084363085227950721637872123338153317515552765790661947365125963502498204126315485006969755832466340261022665278785016084562404169740805521840542523425195053762635902295650355634448025576431250883669046590317780369167430268562798061163966749486244019837549943844473017336794916071626950270805294285031819660041435736559296927658771816118332782843950058536408028214295424736724422931552605552443790948302648757817223668098449707031251
g=2
*** a(t,u0,r):
79575758961323399871090908618922900888482593680603147007450024739718393954633\
92367229903539179854220246543535961237877901925472002837024345544707877392350\
46025690383571551022719013378875140138112066374548993620148635194358756062873\
85572329635964478319977273438270398060369185167293491081026572159787700089243\
78440862008030714620672423154865808490315950375019662590355153033263427356968\
14247617199799409371699731927653454798214089618387186425018337954814095269504\
70526916435431073666968229818556896207342070267595207938614174760611567695136\
96396703610964217413229082450177491577797972462184104514085217422292436185865\
21243374610374118309287543230559310523891823270506759882612778513833185906991\
26163687097879508180119475556386512297327472031119998021403011318587968678111\
75232688001130898501391583552808684364064542145541519291553629614205541147065\
30029677221403669117469351869851321712093389745851316846316084000335689904161\
56922188950225788596482435941834270970050173935887027450885609436429923941185\
05164158220811381087538512081598739457121496224022900804919122417241982500642\
33899911872207645490773924655578873840142608363172207223751076239601609082093\
39220007696474478799530312661001505987857155578587300648129446260840572471239\
63414991263786146730360661798256276379938032068517664802072277660363183329764\
62300197916689157803379422838254797073527009603260287512335027952446710958824\
47710742232345509963187906544128861198356772096074106075032553919327999962567\
99949192779888239265951876800641391200599790495759521310981647268417815891631\
66232423089074884496961375446624025930733020577435093854266702287242479634106\
86591638560351561088713906777888880399398114920630916684979550282140238383901\
34608733956854760772956478942709612602760678057452144918077765589317383554597\
73839183486110282274571440725506535896685593678806580144097054767157395411430\
39956524479802807717105720742637868234283837492105581848973841731988817072287\
97648665832404947619453472514492172364081211598054345856404429888203089054691\
57440192533581907904935748432343662357468198444120682627452184242467954607957\
24696136038577843406576386407809599970916627144449656822805360774627310600781\
715521634396282024681568145751953125164
0
*** a(t,u0+1l^(t-1),r):
80060977003770493772743901964160235649997731446948288147739354158863018308015\
83784103256609540706989882193191668318596669620139515049445225700468291278889\
18257554349325036089930714679965842212124944828052341142222712238226797258379\
18411185304476456846318598276308632194883631418313573343715758575396161675153\
80748428239786999465920425735078404883549584218769782484198782015173570206705\
75310102670529893575185705902822073425032468213621254634926986356977595850416\
31932568364915409482010719024767608989094156061909812865069139240859199205473\
16496683511031072397456089050483451892296740586953519785512566309013731528461\
95153395187266643420929540445379794124647261217278142564823832041356558991789\
98884197385061700303168984553681552006457517592285363862996932119311066048100\
23862155610893891784936654184228249512625911304965552945770420038682404202840\
08871321594704911002331969869057732210337861634545532192939962561313346549918\
65196104736507653161095133721967406768648040850130241032903204615920350306680\
08244427478255352923438137155267024453811261444901089224461312188078823857353\
57277350359233301865717668098600696241606892560508623121456875484965033527715\
91288422377550542694649399933324685902417260185773808578910723372187161327771\
58313863161736062259204324370196863431035215190886674953304425694877592984214\
40728857660083603887546370538488058031292418198402118533751704952156751879305\
11416295538640299658085393779154037181273581682025777453538849979811707279412\
92631809809033899261475973610401399683530277023172689123853486581030119647068\
44075303717666804524381871638371733405920417044370673694841499252408592314802\
63948904649134192558767040355802836987199322938439641786717230466787434959412\
93966104285859972728889140399677354143021413899265877509041654403886391990906\
26118690702489003507952973900662063554592213152457839779122036808420550261500\
09712356946143068739770999527653952796688007232911103689516365157183870834923\
87878230867968392422011115639580539268740243376091262599431286168009205451366\
52302632731957407343380478605711611518184467946828735570302502439068368965322\
83993063697349659524909169251759658507324655358745081559529783706179916153225\
506469937045039841905236244201660156415
1
result=O: not congruent.

code version 3.3a
start=Sat 2 Mar 2024 08:18:35
end  =Sat 2 Mar 2024 08:19:33
elapsed(sec)=57.858594