n26-L7-f2082-r5-t2080-ver3.3b.txt p=1622268193165537109413396329242682064015911126972357460183616188807304550857304589867165346841654061243235647630122685248089936774211260232378239279212399560528234616569196284236761757814843324523079052211702532879897051889402193893572680092877674594161213085660315394346977757062558472069196786000529967195353038203490431306437039670843404873419762752323154698641602744040730371095250824612338869190575783462392459047496712482534486199618779239907704668273773760445747184452972936199513874441861216445180272640145509075493059453917421230965737190939538236618380372562383970664691652684429844253218234494295505590024019544384623710775416551386944757481813422895122094009805791452035040577667305527398157435229916563041136320314122441129765244613292331877391414659714733913627673752829219247561665576155216443103864310276167201645737833320284621467786032442222027586903920224286534572404325304504423215530939519116662445008461472991139218726275015992573102475450633707114124377335949012851593906390097037695611691824922587726968661671957303751281413306563775015206240772213022083957396655885857679372227165892669069626867377115376191427747952686005475393109863218816203425439621705364060193702102974880793120458879640837343677840423483090421046480330756094924220889393447157448245539064297995920739942424333044173366735667613251709472372411205326200951852320271036760594929855062513961338480548620893501172320161744422813713154731552118337928560634044140926119730088182244029550175392581358878681076066232163164679563738722233116059417231221930100855856328498619877457581747595739313897288401931439223151349514337587256264550154999308217896533640612187840048395412176003670353809523341634372409609832513631439712710270858834185744756037031837793881512704671106549 g=2 contribution table:{0, 1, 4, 1, 0} *** a(t,u0,r): 1582 2 *** a(t,u0+1l^(t-1),r): 1484 4 result=O: Congruence does not hold. <=> deg D(t,r)=0 (Remark 1(II)) code version 3.3b start=Sun 3 Mar 2024 07:40:49 end =Sun 3 Mar 2024 07:43:47 elapsed(sec)=178.351641