n95-L7-f2206-r17-t2205-ver3.3b.txt
p=3673075644211625851962871936528503069207119360178391406284937924286508698951917928540897857175688214719206443045983232902910426672724296361146024879490830264904460765872227847063482182887743619029665199690381074093984210364860067286608419858718613002468511989292120006867476277001591891010120719421568497333679178532309366959887414614529542394755192447317157492823402150185237304183784146888936085145325993758070059720211962555623057968129299492730286830737633071965852464242866875160407094518810503230057798007475178818549172344680115322747760614880667955358614714933553617356959670173648472761900101634250697381326868080280789005053797058093701249499060409847850341629975261915459781556617538500790691951634507893102902686151191036781097992034714851076268833580505626968749977256976467293431444249859849334277819721362827534081587328705114585485936490730743053623985860713630130712269205123186543506258005270209593760828178750198341886389685389915337833052598542951446683782412376558441526001954448317196383375058609013834530046903279655073624852050678949195951257434102995983577302842703539849966828837621356342277261829647890329119669282529371772877149693259223374987715316506326852378530689411760229986595782183638105710405775486543113016952343551720110077349531264806028540816486839752222532589080996253767206383723965375325905533707699022126530037711403514579338689422224060429967149091617214949416177232099008477455468741001050160101330383636492650217042806020088972927235408065014100148136798542715325428401405669193136987897448847046782913848960291100349318162669113675251484414884970570067534626135189365982807865763611745257161729486372387367006403706065310733466439608256479900399843053124704352947928910306190758672518794878589814778890394202876808811476619152598565860039129649704681286386677454173271610677723778200535070506724713400972110399351553311
g=7
contribution table:{0, 1, 10, 16, 29, 36, 39, 44, 59, 44, 39, 36, 29, 16, 10, 1, 0}
*** a(t,u0,r):
15461
8
*** a(t,u0+1l^(t-1),r):
15860
16
result=O: Congruence does not hold. <=> deg D(t,r)=0 (Remark 1(II))

code version 3.3b
start=Tue 4 Mar 2025 12:47:19
end  =Tue 4 Mar 2025 12:49:05
elapsed(sec)=106.074861