n12-L5-f2493-r13-t2491-ver3.3b.txt
p=8173951404050775273318022718538571147831760645574440641314478607699052338808520507476369592382994375604198093744412459857267015609846442080880863345979316095921052705016487581582603729334809543787293735165218459924036705366131953823355172022383036215993789542901616116137373781196015737045819010585476375596486218548585625729389305003315836435709202400755915662358253603121225816071959186178935184688086736914522038445913527942605701924359510739300433958601325041094889078419336263137662546620955921253813185926955295922718474937679269444612657026091945725276993228661401956008604377152631187657788554774825051993506815466123617945857371375689026596874166565896323114079278914300041251195646115931027357841790723341959705348772956400395292825408432413727380360093774605568911518512334377756241981494289583625942024630925804478386795864801866584468009320125189932345270431015718146162828819644182082505933017452586116311749512455500856616859115507338484595434649542598475288061062147180676161353060701260544664012173693597747717179746905576817196637597564776010041474373939020257206976288580191132917322185302894223923110283108246979614780239169553195430804761772385519479335015887146592964626635892384717351923045216414719179358370343008024528242780305184517555147461807886930269680356810280353171061528543674591356952628917335848487394874459977056867704435711560050602274462712480819883920287920492906770208175951515727872117334242550400358535766566333937358960828789502451390621129205074926457854117968202929844094348184909132447466587318673290034299450701673606302693419892106182529915975840881194825895343081742272004047518651932001594806019258287621316903929926011700177786944654095371483269456651388207291120124864391982555389404296875001
g=7
contribution table:{0, 1, 8, 17, 27, 35, 46, 35, 27, 17, 8, 1, 0}
*** a(t,u0,r):
5115
6
*** a(t,u0+1l^(t-1),r):
5582
5
result=O: Congruence does not hold. <=> deg D(t,r)=0 (Remark 1(II))

code version 3.3a
start=Fri 23 Feb 2024 00:31:33
end  =Fri 23 Feb 2024 00:32:16
elapsed(sec)=43.246869