n12-L5-f3825-r13-t3823-ver3.3b.txt
p=87192238392910809190483708500023845217488190994931569741252124675888126209719646689483482369962518119154841347265175718787305527652234423998623521126827012835704934919243404800868158456640483570197998295981322479079666387354712980398142081827328297698951189648087788963400435123272323786374727686450372817143602462291068711430719910700870835178216048699304471423781591072015009446564821496995720988802345741027747026737324833739902664940918174263114340751896205857673592126339959849036906089839274990859962747578608422764600409518718141100968606734336929794364902434061908870926124973427594682193641423354645609974778388496924224258173470060054432325656698042231266672163384558361234565130026754150669532090200227408045063776091624219919503604080634060835069426650142716199299194317834317920968033266899070191281733752597940855558592417840973562731804779755249428811100183632306906634440075365012837062203836224961293277451456895858852696872718127198393507883132840701248237102206133035494791982166538395795733350522842638007224156291276379492458956663442712276548208269478497581219635113010979350723100792710500488227484968633634806813453664776799447218376233803351656117942770752698079937741263837518345026051189416310980496788134068468974019211652041262559668880662727917666923527350928101705825404461087654549079519744444500899785131679201123785061417254584603363871577910757387219936676477808293733268961893760050531234871364808241221113337453552437591886062313382023761201642005482823943407879234441384835301921627940665716612119235257460374235095662928025321072175084673041642698669570303513036812736532161034296447275760385799528947938776482684107758554872209961722980511471357186828010601910684459185072648804342795337258003747575459237836609517960824282388410325305680110850253678758023866524664602550974681346286247380528702042915570172804252425182349408542064590331748806765520834741774716061353031116423449297394379394231019905905825211098797579860703012550051900206325754109958700891533955858098392111274437191269304871858046428055769166939857294466854799410479547659079297523545753460129065331488274496495437721062123982703664525554813422459671371522887414945667149223593624259534504280097794382327086392289592181507869357104307878488875934362197136080580702015191096276495640631858389075452856025874835640610951685965183324504766583312274120763221822166023361218824060516850462766604889119315619627696867326913392043578977196905638850542319597699252360207209164934999635397215139295996930316367910009241316744810963502581703127329904298429712964068487488000554771941529284302880908113587865143824057580332812821054082330629597663573804311454296112060546875001
g=21
contribution table:{0, 1, 8, 17, 27, 35, 46, 35, 27, 17, 8, 1, 0}
*** a(t,u0,r):
5230
4
*** a(t,u0+1l^(t-1),r):
4920
6
result=O: Congruence does not hold. <=> deg D(t,r)=0 (Remark 1(II))

code version 3.3b
start=Sat 2 Mar 2024 00:26:09
end  =Sat 2 Mar 2024 00:28:19
elapsed(sec)=129.740254