n79-L5-f15489-r47-t15487-ver3.3b.txt
p=35079568896497959942206433941959871632565146266742760695950729675623637360101291406625825456306169205610275659826850920444982574237051199801101851770941096132767582107112767925282244917233869277357101737352977743474302763291387132506756757099618958763802523399025682977012900387380562141239022225992809651392017874604047908778341584119381002322395143816935495139339590888385663639740613558695920783048204818960218925109508646778734037703443004691960762430467659303554402166217424526826380778818955680336039061567918731400632496731214165343710487927319528185640693049149828553369934637567057123347705362071210768865038958209455798798717336346983556523711121620484609858236964388696876582127212013431527548112323495337318686799292129094557747918898716287423464707079149039156858056284302932221636436978176932532151432013297681397308300117246211656914923861166252540555795556491275800409533772113556266803309999751913389105189870690411212271273132171901326907863362435878177426471025881458121982563911054919467578443325785226984796089192889876284303141220814644822794489164125161827583579362042460989157173905809381527833615374999973676704274109150111728681785064162671003363519075941629651111328025292882310290437675607494119384552291840449595011450678047002748584459191213573370250906498758502901883272449004466639942367642730690212679905572860273967290728123956781917844818956463449018905239993771955936781004124585335908548411903448004184584816224834964590255690108261790399095607450927836076459420276678255128054850843429309751837482320625309877936579070401040233525890123051688453435717748891094509200459180930099292695678600303310206931507271571914976925509772403078317173429664274717597151459088863342098876227895960448013031356671450849959393595976432570892173762640103567728465780909034903522436471642277234542547838623015507722708708352839761540261379263922342511739764593252756556980006763475266295778901183271542828007711023126873400094042587800364803181253222901147926767034981494835291446817715276649224759124806230045798362438690221617580020273016802274554942102764887820349589973453857029921175833923134084569832621298940259355703857415690429003554650048458165786092673274767127128758742720523151148969333031032627701758540013237039579168432830867483639218818283474618458429014985580239784116846553410969245219926432522096978673050806799559455575304691333448030497755936692892427654126601762446380096491918249202870976615027119800359705549504969352474575005556222677827336201984453229137639739116446739372074964202296596283848174324740452862412079435710617888202705631579306468556150413883133472459437339268590435785936048759956507846866395643817614040450588539287774764815373594361030628570371710051995389605440037967847112028722907200603623685436686146885689593326324013963617858389750650781546843225672891503755989591725324850951613509962222811527674308092669266518315655296974020729965731575494209073636738576252131076646410258175495710479618845963237081710108721949134841347242107453646492949401948280851950705857239216115653642830558319518546824183168889153824797542211758195763898252907788550425299898248866903640954798624805074153506575937005409674532765350224541601185626765265554291009260388438451161770621009833917502126021705423399796899851676808115886165878558793764176397869543193903968184423189162823798052796299362379324592836008625655803576802968189269998449275967978707679757210290907630393113565199341739491012512309115013267954550310522050040857912284267944220301543469681065349999940610107004713710719319315386672667705491890079194782029646153189585192513884457018124539694092492784666105439713630868135753286914601408025437361989325502209000949058991294207112845172231464723941362291796301185178786807959582260409301272621061699433615453727473846557244285559115239523231279431242358308322175385138338945941548763012337326690042579547652560089050171858578702936813345578446177481132382314667584190891863778425115037109762275810436982750947893549812782557300264907365920104831619312890555089734215592383691641056286712122828517147573728922406452682467671621876548015665657166658065445798201519240939989348458144804936191684931522626623363976747786652181432592391558932321487023212157991096664520296139637483456834988599170480407403519134597811766502943537267054629730941070522562896369114975031964805295210992856715542353820685032458716219783447791254952219840491562071962041964347365669817075762888489849820188708342531587682579285909884277154352220243708096168810431677309981915915566515216097833749109012571914957173078277022563414101790358104117278046334015352359420273575388540767447799653205546104350214619515610839752578396829748434190588291391611266573397700676247112661248031365314293445645801893824892080980192087008472869107184356074878154612414875152988179254226095927706771535391433350538043406923856976252024585523698912003407513164004963488792711992021863695061939072411637442272060533566758618289912257258506672962674621459082462896958798897295780872471525064166711428492565483285128487355529041420835167606686145637036244957813517316572542789927173682846011939992930716781593176994808923230948215144315535740623427552404866066532027735374445173274332485972200123227032830774501041262787021140126947973163828345464419159513182549828798051738761779294792171435144540449961610626641303190645413763127934328587773910229430586791255212231857619067037459557330625485172612873738441337592425774824675023370195831451174996904806205476588348051563913325083041640529706440859693528535412715035548863548681360365518668048705828630473340586062518487472251196850482860446371525549016223221865424912529157006631909536230539564744192505877558399929879669132829778063511663507191887399826667591085311989283874659977081176152024744924434239194841050842103490042535900157726023965905034456186274776306322400565436915121044222004699937773194381393227571686577415416008503565467759253343440039166537572461435286688215342292305009386685472603505509282013426693050011488902756839580707589799775421623011810620284793181339399180845631684037428066819427768596912841517856240263129989906771028787891668991902403538243179229549424598607540567216175031978541770593721648703953334926648278548416441362500354886160018938360055598639399649217849063814703872732127919368940161149142486330794767734665581915074710055304763054085236168737947397141308755551985303985671274409445845826624704908189514468182574899974414690384829181616092831188887250815242768519073953435840917999482258774435657603750262843909096021127655719275778659617217310810071607774709276019651040090291468730355407166433176739351247407107779691861594873313355513655512730276118138803318140415216787230739034297114638436492195016785304405871156894590238489659976874668049001079521129355345662300840154255839853004220658742554319160851194443210850672939725597593608612803021748675455202562933674534255314303729269825529831605761161833367474770884787536666188794731914323992038192626127426308977042924251676091659147483791941170908896793427155981786765101556376329541093019540413710502892377835711379420609316087421759493275254041650091978434721492748542313086499709261868210826214852020048178764065033866348129466440829004190102022918923969761803973651883172083708588813061969676383007108931113108127286556216607183385222565146974971760158578282143075960111189015022917934950336609528017828868681106288498875077470878913133262982579595002371489135536316661288755583532393089065488394130720582138590635969617584470526990855898348328759368889308978951113376415437948930864120747166716792107503733351485751105438768388995083509034316405783052460744054298815370315639833469403881033467026457077241412092072525116018751459938103776680961154944128449824603034368260094776195860265710378416813751356221123506210628200975321504790567298190616859486913620676369257240939978591876937055672920246484892188668034503675857537726425439374334728771546006779269751813320379808955019880905057570508268094919629588474600491376132357527717961645494557120294442733190196248306262083737185209748834171490374909917196657303561825276864481368456044358190501840138928275631520130563006262909222095113503148786568956528119084441455377134320608618283516084027427338368465130009241195077412915002557847546328686941247527652858536797336462377033682119353714608826951075138880284984647021232254892256816122272920226532768384224889090033629420714192302564648025667527127977923790141799685023826853990574635164869836927562063026299323275618342289644072351072849842298888757701049397195470910255383488961783887668287755673053218664117598662527521639172896514326644017341160353361853102016829671164121464168848744206881891194118803753988390835173880077601927301379881452928585050878931797464051543313312564827308110863759486754591089504227371655844159902358805938396816335849769776489176639335457243473369679841604053083291497456074272137682548937064888597403458623696842232270634457658405033826886485333108120585861471069038270193068577527249347330077647954002712213209255455569755563050039733318865871831751073719964206046964152804080037041142546438257917660018889906365730986026861356425095613300800894683035272674437213730524572202730077000246404366213690687554294789615965393326087599466219747208571908206970771674636471521639694700909352744101408839112267248042595769285843526493913648190316070472487793446382841381491475064392938449714812740156027075370174817634561943645585000043821811181648558093939491511487055087166114449693502116312404543629092529582806204274516795619324095718438386953655119609113805233294926098938722514858385380883276671092306029200993859391064922343344995185424750036968126866768569033987471298828302903080302563642567114828008027890144138710437698550407775404917888234413954972232053038145628312426021541593128035856064734038295494009548142660173071351400676268659026277209178889175137129233056627632754418746981960411413525098759679624738742847927210230539317197097130665806096302026072156060522843682532369874159538174599717266261739079241890368753517099169999612736521718440751813817865858785501127051631885675842458751041783829582641759114212886271279905968404563835919457348872344655622097896793999910933063593161462421183572983219464644223860420076051389726767011788481039202675183244390672953659681754505773956381697993684559047555871968342835399967089872936293598947698905153103963386291831082734367987943810042386967301074779874656840995993944717419058080867766646357766835093137802788755854163423181502917654004420036808618603390445793063585710263449546548006226951568311543484352714567986671232407853894082017846442942357967148209209318567106532344362676486295837064281186328827179764556426059506711907472048197523271277671198890215749880643155211449042435165898310652388964041153764523419886223187802443135296925902366638183593751
g=11
contribution table:{0, 1, 25, 41, 53, 72, 80, 107, 113, 134, 167, 197, 201, 230, 267, 289, 292, 328, 362, 367, 407, 416, 431, 476, 431, 416, 407, 367, 362, 328, 292, 289, 267, 230, 201, 197, 167, 134, 113, 107, 80, 72, 53, 41, 25, 1, 0}
*** a(t,u0,r):
407485
42
*** a(t,u0+1l^(t-1),r):
403382
28
result=O: Congruence does not hold. <=> deg D(t,r)=0 (Remark 1(II))

code version 3.3b
start=Mon 10 Feb 2025 12:14:40
end  =Mon 10 Feb 2025 19:57:47
elapsed(sec)=27787.000835