n20-L7-f5679-r5-t5677-ver3.3b.txt
p=8200290396241333669163445336714526872003069784860689680796044941524676340472732342513444630105331411858601269119983758694060963963546018204823615890178226377802315161962677980548589318870941330465423665503108673422813140841845110653215349750846919540624268197810514933777467099497525006372629954062424816898190674037017071760887683169923449414872870720519517984375472336197904276650455331240249603199332422751630062821694546966135594955962220114524961776559528874935017486792486175140433302587505747358685404760894512678397581960956052023895004415038988112485713507621896316853663920043494221693631794537211620264260592130033373405190831434098004491451849938004226130284186165198904121508650532501865768664431971210326205005226365811931135601439758216807053506491120835585071530330290617476234019823804971769578885257722411796200666993803547003582269701735743141276332767264135784082283457609826869521862594125342261353744470016857627111302599036534256684930425888347142359695681856279106107161728713219701424418477603913271526060372165961094244170259427589115583534037779402865396053780145050645769110646311332143313835293814682673023882229265063115770770777320551399696749698856332068620940922709407811111874890653926643011555317558814800195117665370273200425725039290742566202646618423710133135229037889310629475661788822227992185869084716393025597001592622079731048944343027792939216997225902432088952433328213209595164440125455217201335505584147144302110033331080602234616726275828256549646386806537831865201502533979244734361362448126965332512253279181814675221712197014939560824307954181241689632405979267323946614638706718556134304001313737475495870890236796438952574833628820850656190543725366816786941739828932856252749166716130036852001376357003743682620490495698583391254908225011354099082973017029021713242761565863497542969011790854567696802468866361681168137673607913589135196461106851426572260102350370594582986909255603455987237659064601927444384630463758157617153505461701139924545314003860682799033994715893375178820857139625868382697435926562341410196128500003127356127515913424049008204681443364249237475150055458786502660173992835677501440715455198300204591954158519099919099166079520692148861597017075397173877662767418483504966007981191121325042738977780140088732864417034393228028347288697575280334913656006964801363141226167004596819881155103110569120178992596011900118644916598884327972902322236678485860652518941808204303751109296949713620378485499404235031305443797063801327366485842744479103006664391851065853418119179289703570836490910763986160483585195893430196561575129985220456486609667572334216630130660984070825312612218224294576220527539855118813211847615944969847414280074559440025276770366675233396807885927227755815047975506667100601255434248554131577320289759475915006370484577825479279516438372215180474840975476359886964943058096371287063978596666132572660574199593564133873003148123016751969799549321438264923488694555306393010480700738745139247516458228770377832769179829925018954388391178835059627783008628966972223078010497890566194732547461272533928827282589969186096102652713335796697581122735336880966316048684720113805709710490472704645528561696207181246809090036529128117881123880828859440868591035106530672709920181376100325975646253475170885401447993577342092009193103202413652165125633225511156403229776095509922223617452312227780655914547372464229745279541194359861545197433757983426699428970246711866885980797932525287317718327718717421308043105511802597906240963489911094174522547925041688606597144757308585914385348583798556814069096394233127903713272418942100209277743241489820714140309247619202621188907726533925823020829014679539901859798571233427553127725953559817092341190835192353257074367309385592073166451432886283315059485155615695841032289267694359160398796298043627337408688765924550142369154912613202195258897237143518209548337120543140402054826228197088024844185280705359097983189628152536611993748046632509995705781850955120759754393692518898885820226785668310339874959698419340691690145834366438653480813132444440838738331657461459175976451179572169768098119071739216312082815814335247462800875945127957793009530366887984138343239575622897568529556410866476433272947632961711465278893008004699063001626590178565364218219558506612960419740412290959237918475296777112616374037331307267346942516065619374809997338191571988053017402802423542469421158027859065646193149624378776252094574773619354071369078080518454818218137815941335171489771115959776502979832305251148969625535871175688134086817686137668294110413424368187954368366825953500999269929044740039928638698751715023882100823806670935504614725970891257609805386694546310703287161176385717170245957683626394264099036487615224344582740076321432923219766989548265221176045721
g=3
contribution table:{0, 1, 4, 1, 0}
*** a(t,u0,r):
1212
2
*** a(t,u0+1l^(t-1),r):
1193
3
result=O: Congruence does not hold. <=> deg D(t,r)=0 (Remark 1(II))

code version 3.3b
start=Wed 6 Mar 2024 02:58:56
end  =Wed 6 Mar 2024 03:28:27
elapsed(sec)=1770.689331