n53-L5-f7174-r47-t7172-ver3.3b.txt
p=2729712898317156480949145642491886777696217944137502659524781617218943815065377502058073767514727811547715427423238818219893639271350079827275667678199127354332450720225478101094170046926206016939395698870969110016225325414952268786355623739303390945020052625763733240127578925347816412654962673754806165712374847041642965073544396478380361650276870043741908636847392611319489808233334726566011371016697318459334662501482316463488240958385845161916322146061095465999273862656854013646776604895413047546775426255732776007380795518014532935197545380039226766510504481524054771335100618369746578549775332933458248824861328507898338937235817567411874730321429212945165888159092190270091051484040112980264975442992783897559104950989709136258126220557635829452331443230384312219873660750144420908354461492466781160272623428931773150763688442327750382487118826356948548621754677187566641566871800418326502857557158135167190264187878860419429049990171902606885187026800742099841757432703032171641342722991166912429549938281598474715338722734347873611091246712508060919925712766884160607234558058707048358875864714728842816981377800936078470302126613903797070008099716778297158125772300076294584302307447089017557145009779477956850116275935209253572951345870885368603175418295789181116562715398130090469362723272197705391547527695968577736932123650810574722048520645891463209322137845308370618018724386842711558521331280802698083254077741373355803357038068101584518758260901197199274218039118086853252230833847640064103999243058424574046470224759133062237988445883393223345557307193479837338113657768085772779314771968225003321798379658738724175263907403950330111610210372538936193480198663958314433866329902516353436102112558495893295103173166125930070369900873644429734667389785978275036968396347269055616912031564320576060869767717125824491270377251043382467364170793024092875473415210508728293196780743627753370765757422123582313235034569669896668621460547926736618154667285621192224666700951286389269678927591893498813054991581396582588995258400067262021857399148515366037207996079642098711375188015540292838062420088095886739860250701946820629162989227839093674817243995207781918721787160216271841803289197027312268511860702020212434650108170804796165506960595754348719793968504658790064984584918352476408523633470343887903200197817087141627479797292561889248037083643600089702646703810432854497405572688489738636848727736987944163288181229750781381763818139726964105310615111488211514365716996286796554915624132482199364259355570819966981934197934766158898971459768970937754351189288630756045372112175975785859265945838254272102752428911637636956448091829000755497360045174342950829108275729687950102354441699710192392970578480255869307055460505082227543289523411853075634523969171913782531335648284989257953309995121629187444019305952849362802502288804297949679302543785245298045328552425304323128352830285885072342408940327002183878126024872592526917158931535669505598084453058251553604946748873894125200950640298323360660183834221757201007048685614266534075220159823308318257108395824347739338116504609580470804140600662519848337046200196532326340923985347887735661165921950179896183827394246171178511184549703750733315582402371625447013941051747089089279269344896403955117597387365464887224416533634078320618587485414089569178617225929826383168173607155380449079640640241293452975011989226152709506883471203163168189491569514561235617675658490295564020988903351356487029887907065310397848377319413506192901103872032154777826671319508786835681768052718350898075544317492355529640915151350226218615514957155815148150989957007464042529813237726119643731271564035004670726193207398835971982793439063660674888474022447515993803061310307099563346762791426051475774420654552756944701934792615659452487777098697566841970781062604712728922681245565202584050968013459831487309467465461054920121174254297346458532564205853137003040317488497337283512299376664071731088840401621908530227623490903613827053309691823073817987148156969269810365306192613698302052842528249162653094933927202895370805003070295581467733192975119504973739671490086355460202398827199015299260322657026923572540045341565885827562601249764086798693191600571895117010085145875610250222402472858452920455310520690005500210879582812473972307603028307268196480421806876477643897505399470832589821425795124520983372925613809648185791903670132016813295307065446331109718765885999016776717276123924959009429297861239197316983962640858920164542677359614495242551399931025936578726847732708569740561760755708955176766525238834387237275350266403637948541575148501570527163291334084321867655364101471591414533063590649899468576567116893851713773283409229754380348543545613198636182134689893213988771362749747376221151468439310402612777983973762250694327482967313655912118242364543463470037137800528848543123517949766417191648751976652880753828735146966643063580849421102747982699258107463257290171777510743935803322712769581129266249774900643387809395790100097656251
g=2
contribution table:{0, 1, 25, 41, 53, 72, 80, 107, 113, 134, 167, 197, 201, 230, 267, 289, 292, 328, 362, 367, 407, 416, 431, 476, 431, 416, 407, 367, 362, 328, 292, 289, 267, 230, 201, 197, 167, 134, 113, 107, 80, 72, 53, 41, 25, 1, 0}
*** a(t,u0,r):
272168
38
*** a(t,u0+1l^(t-1),r):
274670
2
result=O: Congruence does not hold. <=> deg D(t,r)=0 (Remark 1(II))

code version 3.3b
start=Wed 10 Apr 2024 01:38:37
end  =Wed 10 Apr 2024 02:24:35
elapsed(sec)=2758.357154