n13-L5-f3165-r2-t3163-ver3.3a.txt
p=451894516541710031826974214275679328958632206865717787565038929828092784976506762889708116285994366143361252798519272056358563827466414125224206725941400251524892240155960173504548248900293746299897646843224957033716502416990278784966893185406903295164299046656334897982372204791831097276123627655637996187455091310960764855567812943646801602032348828797695412243191422726122130171746114500376463912818905522485745010769629699978533579801200763173602847436527871904570543658301061990195146026753617219706805715900777331520319215610167324730194917880621319489805089312661069580342323749972649583847717258346223669096260333487474594741281307974347889758716843831052201118526147075698093798458457664130523039206977048431520625054565379438513112595157319606096225881362323170802254320708972248668508896786394981307621667385414747677654255897393969584148530324297141459292044676766396546572863300209326236194360867233728677570548163648495713122714881503749762788227384786041679991019906099121543044564775219934706179834639987904811964074941321180809483660277161208817463711289285786764457680939292197576141305549239963429447654386648526201564748339673918264221463738643635123870446427978876214394867517619567464972642508439111140423018437799735906998771511424915603740020199652604035744538076521344804339200765358137773325982917666823318945265678778082636054152793346104833949330266650810897076086426428323327468230607942841931168743954926423149654917475286598612409948209459233522973912992484958469946709745438093442170069290691172818688260733880370913873605432679922896600114877818841158127000540548450962190154258226582181887783839024109815371761018369894289605336085637194791510873145606904767075156516665641329772143265762997246722325085120403511365539290146613572130990426941515540585036704459523330957410662120159124141525013836290804963079287642385654585752879290529786408893842773888418209557907507328804047028584184717295966716814445748949028953212205012372313363273040547436353343350869756161001963768172857863776240938359253848824716757005332787795257784258257636274897082985311428803779295024259801907519378148045590422511786897129315466252670105352018310361316257364738824264804861741140484809875488281251
g=2
*** a(t,u0,r):
68687966514339924837700080569903258001712095443589103709885917333870103316429\
02795923563367547114365379091042537492935256650170177489494703407942234309283\
82317836205037059463726913338328446494375844423201701934691249083673825223753\
14967764181849300864973455091762904493320575128358326785970791403656975420493\
17387926603625804630756743431384350891702197724970266096509625437056378610540\
94040572225147484736394178332416369837143967371041297825160023876328103522365\
29494722636061761422509662196066549817395434468816918154391088520772745433358\
98962751785444056245037357552448257621203320999584273674485302326862599770263\
15706900961384006747588121008792433249602623199345700159743555061102573656855\
64947839501959460511361591135008293937674653993114463912580126626333967073121\
96194265674776378179761335231153203715875849344258304164700344689640388337679\
05766092931655018123907908684922750790752216318175879015428518195267589907233\
20874571348394652661988569963943810562487478335358635025727066474542773845833\
43007533933486527816153141853939108081948304151636212850374025448411597143958\
81975675027724140315734784434844744412760434667705759826378417476304355761616\
62488273832538828307857052789184588019862678174254675841661282744893344298802\
54555985786381326973658717176848307034719581343316978763124441025955851633443\
69415455494034853571444796803831742685606802312245886079347602982005309232563\
55565136817105145775171052407311973537649081148816318747547456243562989086312\
12783780349549203477485771368743189988130659020320985053218505826844061563154\
98163789087880257673482802832174614284638560353040821633645462529034472504404\
91646943143531664691936507674792223932020011085016853608309652718132249524595\
42379053317748212536577639597558150179341293830133372756197210228526296391054\
48951103621689255790778475463055264206422641868695118021031162023543880517216\
42619497034437652160527534151864101631039567852801941113978215148344796077028\
98694095579575384025240088825516188059163121750216321032570818933220293647229\
84927622743952939886226306065850213569470648105837448791832072551607137843566\
13767337178174452843687489889942945478502929744221791608363655950870405856013\
506783174920071119440301288250338984653353691101074218750152
0
*** a(t,u0+1l^(t-1),r):
72755017163215315124142848498384371962339785305380563797971267702322938381217\
58882524300672204509294908116170056160280107372877622209267416109728287656544\
04955076506651095879342322680729472931542835211417592180824283568891354348843\
79669802850511430521452146511669918575161924971484806661455904052557717386180\
26970106468314174641788392713505792720816143642896137115381905890566295765112\
44345606106899638437891202049467339103816965439063479933228709500584372809873\
76635857528986470980421418510307332372372795720260025150374771393713236939281\
56138177878003243785861937933843220243511412374559658299948247859374201072449\
79136914834097533462905838700102511534118567994043800827096791873931015518116\
83925014209312323304797474820633785026089600611127820328456581492366899334030\
49916294563414453203562993238260959199052708844905177437610233519948042910304\
79133822118397749460191929593898439982309913337015240272920996246303170888582\
54347407809812757095922103711808904608950552710478554204881958568430174928810\
40948769495337703805267472621606555271011032686930462295461961165751757501166\
90776866312260438097587501934276341121410723562504127184519244826875008405396\
55661921625254943141874904599070517573670336750361860595443858696893608105968\
48575748102680221333941141220214325214406924975487063031993651349861132322266\
01815054832497443585543501877742832713044047185997287228782658421729307805544\
29249914654960055722385127878797550918167776743154127094441713521142376598001\
66172293659719879999179007831366142026901553304418938115580127882380880997815\
47397171336504746614675863526184953288334264584470870283006049126148355744797\
31283933198082881680274853523957552980626459109787588361433250576442711667499\
10019918316825409331506578784255672229433870438496532985182571360478511308945\
87375840020341909094179832562841431166013456189867855272276428195990557653104\
24090388306213565775295611831908686596035331738823108679937451571602053739484\
65064140712576558079366146716500699194245148695952813725288827949003074192131\
61666758301160679747910758398696607793978778585788350365032655794794402584303\
60635140037408466498905828107110619881835340058024397690437819790066679886961\
674947968171917435722950706633582740323618054389953613281411
1
result=O: not congruent.

code version 3.3a
start=Sat 2 Mar 2024 08:19:33
end  =Sat 2 Mar 2024 08:20:32
elapsed(sec)=59.587821