n81-L5-f8764-r37-t8762-ver3.3b.txt
p=96080004649549464136426518630264926892678224643488125986383424466072481178548758200539669931789459555574788214701436202417393891148794461264471854759830209156121169765967294547200920648131670857089709739004331216247184403256158938695846976741172057791004547484313271193757956590909509041724636824481189023675870288478948492929298795560266432090608441767102888954273012686957256970051260662295989405984867029093836201080998314111904970907455566088724262662933185092757780375308975009205063232787873797939238097942875190156937719226870510308440289318299503235563274642772132351833616576694158415891175158786140753765917639748827366054895529604040049492051833218271903694822291490044142913776810722989700177377887034874123453096236947428185969884110521753351228261874543012791185414898036385529172082068958185655515150018265195670555908878898618191910872309875732857165078741650086670799915075674745590999923713272260700355878299615212740259330406564603643957133415637283398292479624052171203403679714917639598284750859070958536007416772404583570081271088319894510513748345323805623208881796692197464653395078293795044982966216211180260353879574191233543372207070496605290289642944327879626586498474259202566192202968379589056273248007941767573058943613391945381563057828896568107946892095817111410631892549796205967205500564475730525991175542889310937253067084106410345844610411274752027061111163853373819747585030021080287180455957875549981071433553105692015403618992029467358531303950207056238796741135529751528043421262051017394837073928351110209683631208943721590052645443260530331721291451432263208589970622523983102492238717203836016503222052021261208797064410169744303294432021772627068001395743309880560383278954904526313487182308188407367190343662275823700865834247524390475102623529490171979772721342996520053059544593936424667797759715257436840850546914747883513006210820974514928898524391886167275332926580418262588521320199100834948230139620273610996705461362241412482559197507818273142150598739939314817509265905559617407277309455697830153062872359414344446366718812423157057083609946473396338922544200175175373472491699454142214263575769510792080879364256323052137664599127125255138140678748591626212939650353084396310650953880404758063486212781464788855826619796741774404946628961507840691528968137811645667681490957593164335333615648519278254231543605315871852158084510357050345567731734527312026315801539605577313839671719052036240231785363154648586048246736100139819329351595226371460435245975444503566102980826050355279250101200171025257816279315813538587467664594358195414907683883308887238280340632094225514252764902947642672103754005123863088292916979588665840302886413990680292072232726203872903738075777199000121883178631764546139580926071174155478261237708622014657586825658476164197820124010299538218835995893586714174036965421538083816221636429281970956165611323836389134522151505662574727648482715064215513791578750055668387117137901808483300769160267005903177876792773575569837212355717673937782530737063695071592040375802679725711832705470815305572528459935466961921797772424093469871186012749099667127263622721069712915514931803510924845051868073066941134212611715117899418732748009650366749828994907103923403514120945196454583617327407886437579491904570549353926363511563598094162261207372089969359728021926774115080825740312953772369361293552785905146136301892231622621739360359144071514532233795578287218036642187054312783419610093421738575297403042946869396449907723811384689098199476041018372858249034386658469477629819685484519039053860228926591820324323651472844374507760983202119490862016940762496451699243265448124852070312069392639254079932800920073243939290339457626533658908060919091587208966885518881012555869694860565091034379021414247363481187320377589998338968854819861931219190789748804164112837613697350594514772447463483903303714465269412633885687031274977317412905718005516047624470182216023371130019550300058276749558509555352676802525556229906182363734936565006387222745830726862502292633320872095306882677970878806884183444922734614187191135690044983097747372899677061744322683061559745624434844553060349829824375448534256180300805612192998416362468136750907790362128154273014127745143386638156912706777572888387704189772707952963555266605903154620489106761099870342654170827329533697946590725734328770446279000813453364193316387525415245289093876940342986872057494439029709421739650535248988856415370485640146285959255138757221801677560626368883534946801239839764531800608084610406141588558563435351388922843252140494503202284550404715311993046718174115965113244048662668470189658216623885722730402870316258153797572567833354806170619437271947394718001705337084910370812582899730524040840704998605068911833443693967152478918795973478163807814984421414993259548309174075373894235358359097506847799559759945449562453140139323173956645254942977784535932872408048185340750799525699048666263618819588187900086042309981076840892196583885924630837255813639096573509103433851947571109915712289968198044984971068423245123101937497937381971429521645134783146284148479601080887055043891290830167508414091100265710260768404728251427539933394364233236766823192744318860045433071176622059899749411837711596779614947345129396537136461571616098526064864865703329818595200189561108163871193645348132710723088653791693394312131306012224984109361352947923037299873922388427893822697284156665857964455893529072668586533738234046879266209978181067887664035229519692573363042513824836643839306922361026057851041761407120384205891066731999873786902702286640911064464974897910272857330553731661593092537301298346493892564284973855600987035357647882940399414918530412935116327492933713226568989168204062402604610141206680256174978688695224538020774172910323241001332633197597990786515616139943717050597932983819469463714867793379668886097766271311056997462156692851716012485741543726793017680361156726796858999065426684262811862601730731953261367767844396205764286919248313118905217243277414257763391845204106647203304428837650548472352076614830382404985583202905452537834207760170102119445800781251
g=2
contribution table:{0, 1, 20, 45, 73, 88, 119, 135, 149, 182, 208, 235, 269, 289, 297, 302, 309, 333, 368, 333, 309, 302, 297, 289, 269, 235, 208, 182, 149, 135, 119, 88, 73, 45, 20, 1, 0}
*** a(t,u0,r):
352423
35
*** a(t,u0+1l^(t-1),r):
350803
6
result=O: Congruence does not hold. <=> deg D(t,r)=0 (Remark 1(II))

code version 3.3b
start=Mon 6 May 2024 01:25:17
end  =Wed 8 May 2024 08:41:36
elapsed(sec)=198979.002734