n80-L3-f9410-r29-t9408-ver3.3b.txt
p=8224829326732139619851454921778405267478878539581806569642782180112184632439122659122571752166826111927748152856554472955492304402152784506050670780338044897726020712378101293280675453904158674486111701289461425229901168196425527735135949400097345541711713899569307307432465078477126647297443990574474927503676003272321312330195661063887535950694382466823180147860017633751094633117308132117339045268919264894166451142816650748038032982742165500032197184344369221942757469971963512178148866967020097770409498499844270079087482491418074942327028285162632851804842130551013150927128434175146831542798382421667736497893056430408801403318000013453049920450264346709770898613075668507403360762406236080931710374711752333625009197978139318185305472356724397172153964037410246219945505474110822891846099711374042875246922298876867512261625873255059023606315456556843881026981135819507532988089047230639620249623165012801873413312616388396536993462862855657014982758650108154444266488708968288803673706340411015774551570872135429498849020018485277975333059290520467876825202031752290837825285469667000385816694464138483046478537709555375014224398046255566951911699600327181820960658131319777205878189654544815612871431282083361143996640272471332544339860808396243966681431760153418350880681178583766070049099588912560865125408928053047914085749105939888362425433262188310380891943356087891923954266217152895317420222604267433217117469226507563187328450246860356555577027922939874224786062306086773678924955166663305455874460089953265693977553243884016906196653299198180792108837126588483620844718857881884792409784433552048251523915956349625754083652071365151671546949230523990102405521917940569083792523047064510432266366555621742008351955084085152836857200708814535687163824339379234811962486398639136282410238528117350907050915088342792227294699833617957020330011553115711251605659095070897149235168561230861774468649529355241442934740343681835213712195539758294420453196190414032692842421677178109256932878799683529572359346733380587403116137435810228548947013210198114504152992746418703863193265626401902797717688255239711272993684810378894768270680147524047295053093172699775097988240284081161595886825410213443550677043240625319037976187225650079781308228214983379560653049375775652658573477895311253295880211933508741570675522369937171999569801860916837131116696414239205133263279030406627041487245121672119473062094008551550453236051093452256757901344116717189449686864711768065491582350317238683381445142831861206042403867338026485264024290980137159963720212459579061138123657569202474336668398406229363690449307376754347480531619673408647612289178074204234820406650372509469496963878763589992537803475767385930628335540752127466762818235110896783298142029696054944764097871744208364598114451538989067676662425431861165256488185201807439513754161662078317495864728342968509605945023140699087135240383136685871668478431456414050806561533824354206020413411628591018658984702611556394697756839040062533506436410470599426154313073775047467647537569878254584247549141840332545156974276511014475478907182738703787603587617259643529647776235105807232625724653522027207635020902109607025863990080628014555652541487772564913307219231042204968824710851393529081804005934720740330894575807251279817037172971239507594445927242078252140509425647156741366165100178508346153919732221853168819083894245149301023121747079863730002511172621191546165096441477502358466744331905136413948363294856546820022404837931742384678962324887134990738473458069485963452028864228004032147165777257601486492576862677921463306908473131479795623644081959633382798996878869245807539932147650953873938648994298957096765226500946627274552284009947543175255895265552593200138481797926899791460783008509416590781562744823567293115732099368743868072161956483708178779962571108975471258516768962653086582575417198009813963675509463128552487567254927777608510076876633845112524133201814915887157577009240882185416159463861562941455521884797854385710300301393368068326627989423215345548656075917203051424458331099689059279392929013631610217005290713783307835255534544229085969683693825120067413758430333217467783871931621343744125264642550085795792613490084757231514844905671562609121992854101244228598204489764432613179669158227418004211004920815177234881638989976214461526926493627058992632652419176698726871116292565030914537421324214677431138644052384979821028938389064446408571021912640022632250180384743831949552107343102567841
g=7
contribution table:{0, 1, 16, 26, 48, 54, 59, 84, 95, 108, 111, 119, 136, 145, 172, 145, 136, 119, 111, 108, 95, 84, 59, 54, 48, 26, 16, 1, 0}
*** a(t,u0,r):
52916
20
*** a(t,u0+1l^(t-1),r):
54599
21
result=O: Congruence does not hold. <=> deg D(t,r)=0 (Remark 1(II))

code version 3.3a
start=Sun 25 Feb 2024 00:39:33
end  =Sun 25 Feb 2024 00:58:21
elapsed(sec)=1127.736489