n76-L5-f6843-r17-t6842-ver3.3b.txt
p=1712313415706882962073785598728765639007901231817911670485880476159702058171004878726147713333605153838971745775098506192279453134712598353080925238293443469408555296581478670742785480785106198811511473044148716781056197608871828253182462072004491412656754492634637972885898121112198943346371520183183977649294683578443724207682062395676833370172104969023173780284783592766507678487671095829564925987235821907947218323326072303723491619528729203223295891726327283051512005231046616042637501874210102642087297970080584959132176067411090148436407537227924565873257110897606780729732444907005937492257343948652058279062951725476430065854178918449772675640068720802001484468518412880607349330268955455478741667634083910299138719532919792112236514743145705890868780972561793627390083240924362773844610164516391490052995530256981586056231036182941467761287929546191654642715414899475761992203257807559617847437704484209768517082798904727921099583867783780055774391966408541856661744980951065526025600165403880500219561097380652403846338134667632455266768066054187197611423004319566367700144434598976954534556535357303602869466135482895770969576277846221942057093063270020610746500613450282630155537602225599921726890826476163202342759174078101117456683940563176057128427774354261564219271623210766574798525672302263269884067403612002612308946557016130882364882510524856411124091098068979506201765666581196883263349435196139083975841769694118952485303074938051641642976590746617901085237512520566044118181093896936884190121341169205031725671137960235539572952334549510779621386404618806954038726256803980710290175591168595607691113664664255488532181548392546417536663308590031923247783694416604693640503464144092386720266116631196637637910879649570432935517766468848965633685002245546366799875682296302877194585928099513961968382015447290156975024734168917149723090470742694899344988877271359564804783995237271422298418340987040683881593991130757157493608485792329510224024534289268211581714673494346268418415792206385077211937063559434135605000250299169001457402026589649864407966663919908026570772991894319981583697696592137880219611614940335818568939541538322370974633185720450453031034103291355403809035398046894754476808649311935250227615303485546861908642824673477301214199084904120475674943643584173352522125323307005168966563988255485820721068376989925519159114768553309498575667322515206365897980982029130914113163571236880433850733974061604780426980103158823244222179280414409512186842526640795004267199322433109336670546530502001358219943078924489700891726276748963325697519337661515366595204755308363731176140902761667102923030193542446877640551006820987474067903313123487410090047732506101069528064700144747315499592973110738911648128489196781998488466441730208274777916051648984181999071460428045535855046475712896857603046844340056681838206713738935613805357917025534351135659753447962246588155836733619000037070192824936585001077266594207032933187808294104614825392651187263460251521314702334706762432035008012484821443644523996264504780353684992820335875925610649854007540499398918651958599751961859278174202848620135703362706991461145167447848343773246222617659915203531388365818471942814052435262924310261045498195445327624785678596542206139439907930324921537374309619873281070996916762759229660557039152533671583573560547319278551972899339368088442520182621601710134625199204087604709054197713510845191199458094276597306325931414797408216363625163298738737433538586802777230700159779055148731934042891289099338713012638118489788247370729324589368982772307532347327207457844915501099230786513281761387339352694268573821600633282555775983248729539473153947653146593329394649964973468351856621470847346099874332841855630146669796829563208300868572132095526486818251421811014388600292731062915321135788409430549761214528260337386554267852229694414487588795855175049618916940116941561093527544396212158691692699131367199397220777455875223484563188804207567965722546216064807443536533804667777215463000188985404316130572496235475232157314916545853602253893028987174567928028513350772760899394308027251714734345537879125876347012669845768581510426352767672939081418610074785914117500589613535542687691326147777508497580235654329869810762055403529465662609688272551086464574818022990704439976506721388020850094336274114290193713737594757790006880456804336945824849056090915329842704858232670315048862882334300950578648103570673417684626581208072656491731236094596530267266846934226084282481992073606824437831943001007606540404994430572771916338813904926013796200215717215798552755490490855059307529140846684515446237407832968747062251087792976951452276540827985135331177200896612198849844267678713133183687400051889403546832533435713310891734817431597548420540988445281982421875001
g=3
contribution table:{0, 1, 10, 16, 29, 36, 39, 44, 59, 44, 39, 36, 29, 16, 10, 1, 0}
*** a(t,u0,r):
9249
1
*** a(t,u0+1l^(t-1),r):
9008
15
result=O: Congruence does not hold. <=> deg D(t,r)=0 (Remark 1(II))

code version 3.3b
start=Sat 2 Mar 2024 20:40:03
end  =Sat 2 Mar 2024 20:52:15
elapsed(sec)=731.549364