n49-L5-f30169-r47-t30167-ver3.3b.txt
p=164925150493224040031518171056622180604325598170521351125760676314776939992264846105159939580439959660376082690571438229599022553619537911075685025239923573402173219928625941708258265549901091689754411066620191469003858870350566227414912805258441087103665912786108546429500940769640506779604100338434027491405100136515767077121806991769848547961752596186052945924434174195714726018771964561869576496277591939950681286594574964049951952153973332154281867611563610810180855535273949431914749509724176205278109125631847383666557676710029187028957869605004644480306091482491834421182063605887118603973445771558330042350491711639483849641355478311258686750881299262235639304520450391010994224061344153882649619036271931042766258939197539388101362568505416106331963309620639774847544216789366696821365861276414228165162113557590363280864816547305245908551163505890928576902323083024067304740302569831316774841659806507172497366013120250639094005600598858054462554105985451796292604219565797055115298518811337585037164662111978108120968902301092695064976992475867628096361937598858541955166201816677453388445526887531268304427163922291929712383696593474789737493198376666644622471053134729717065510250170194986502497582067755199478118931798321680690007028226422437638749463494353178158184506511317826179054620013099298656020648128524107004188460686064328263237595664320570229587573257433079379448134785252731997862530176784373533647051261934556660492471981708590855125854959039058496911822336523754782850884038627266973609185890604249509737822403341086562718703187572972396993920922118954169770431699705513798123070356556327372399520950614993912018877515915650491887533386393811534326138711810283043818061980722496939506603746138820484126866822110860804771633471414673716616297976185872845933500193098802099191092942884589877905313550109603898136934949220000903191329902367966969136698143446706330603093593711478743861478565919657363320753528307961776803448147695922818542986031802119584864384566665269980468036116671191676946960975208074863180607886371769343565046670996556279084656370746653591740208256698853795549683046827168839770126665107628462081367340570784000496207778058122258629154740214306867573413917121714060179921204125669232069564849128128025808631738128856452166518841702920527551620711978132663035146518888095427652188447691446458365199525194463988255235856637599498047062434076678543561009191619595257180885999866851411106237298983019468735182961826617809891940341141410481298589652572292169129984257389860289163386221109477679642219991017409590348617579454809849825516633582270495553868262904293790815602754637201998610404158587899906578261519703777196306225424142789184170673651670286751398754559967361216136234219995765861998347816171339491063930876974516897570595599988834783679486010293785456569380802939823073589304111517111584319054809952704000316537593135454923046171689017339439313663396322274374797681307397954808557730412883065771809750591362061089417996960234777008167757380182635907000965231611022397616753127362972534113728640689077183409975163119161430567206905764676233450482130464243679577350376645669158892123839163488106857926224133665717991594992915987994894346964406936603299280527802034103510762599489882312667837516231854371464862229922242738428440145718457223911445235205093922932945450264166616759468304462609233366653194117665763448754413684908701843409469512292616630821761805073692544247221386246351950791932112345488915655377524668490702708238284761354162751537131740548842929532065858170577745068469132642863445473120837223227079144173354405449743175447847096603405927602502051088690967677510993392693025101955337235225373402300972670056446092199989398567818064088380662826367671288283431486257736755332644963630263515524038906891973414445866907279254212086909647619876521683538559260919070634620785850389445056316833525929315176316226423051781714524388789831409357323990641151951233596922275026725874439624762502909721561360351845685109817465703515346995668010117760100774381089195553690250761403007685444441429120967097219547007956777982448900055793172724610849297615041902350920810433406094113838315021181385086284947866131833696535428100189398346626773086533651759362463686597941352718527139023871875813638829589378253572852557598997702734861998792198177188141217995460834659412233112237129003475003174605939104316639113124938642834197075687020187231867065983227072515746827322021584925327655973755377651095372722831905145077465021484224358490444549208017166569747648694898737429751912025474878585420402397617016067006760174265964676664674193705564821860007589013411451999352282676519080192455950981304793416111907909694946780265585777405476512731793975021100685267133636259276309006721257323607203052482756472336988111879254757448639239845410898338741481487118709684231046126887583970913292278184808300164838484067231571558883477180285825785597513376560090022683054662712369089562978605361593182708251623511857803427574058522103224448966890534593105016728314882413861423590365893486566650977465913739801822979952796212538404127006412943700259117102917069817221345843204399437244432210735793171510828607691329880151844352259164602522298970896012044865292502514820838690008843313269245519429870757700249187757815533404956513378104799712783334852325184607831008099001535420724401409520368050244446796871405729911971802370075421834916735476151197228053433953399367007104056117540673215349089634556126990270492761521663718934707996241303000795517069222268418008901819342962071867173714751349473071264593771034107525918073014650063845590259659818902197643521910577407605932324093187711262758513243254816599571846708640021766935997083894709555806743841204255434556128221113734997866028700226280341658646468475339965333266067651019578017721672773382298133920753981648448812369158431510064941367425519233541692175874128760429645986590062396544705838770571359144542686928172246714519335869372254925317343727053138253520065927221708665034174596429570367084534315921795632325990639624994993213895790865700485115020094531953929043797439022002259772754110486920254133411999867832238081912860935999573973529404229002546645213322697853254872410818084321984006547647148011251305651903239181322738733615194532637580487681601187533489657421402037776361034593009188420757285988185147318065950243037228621665177425344445895051356515658989892200558017428277618593276022613075568745483894234871060201723942597053957034564501631809070639469798415235015585702020245666167559735268268529217888406352164735174631819303393250207387778413491324794487579454526143938120366894605916560427126998554480728845926653663819104659068328763834683494976326150185327044698607377105997441837595578983298745352116805904978439344229559833240659009859826878087415048454409913021851949442418165986745545937507109796727180024254475175368592147423678885481389106084125089014812180973674891605932093821526447954581188139379182814262480010187973925958310767761028070219827132811586784405933444388627015675108069757474941033025043636821548079234100577048529770659407969734632087587278628863398927489451025607914484150539974602811557603710417672397482043271959752736578995932232378935775801011201853740684262153370410355795967783643315048752167812181368050773893548753071414153821020693392114357978028584257895044791724817424810307098025784981800248276468468011658090658189682936595292356524945691779230952512747394398379765617826199112838957277849457205518856225580470905331427777061584393326531514994524142717564035217465641986030202361496039490144113758019098386059061049105363534944388335876042958395716644190605523071177793140622524975278571091806828751886342985568398614295321678309113819602570969758978090089584000739511770557842646921652444202921148052963459034115629586962653064833660513325595368073713224504952009864926079372906589633822741087215846477441181104911994839605695055867698530547309300720351486690943182751580206196285156396350323597610678860168050712056060605320033176197482781366303531729857452170407820242827740166608581711237103899029051352772543821388898106902261711550103799940724794671867537046468183908948638498302497709147853119445406340785261286160340203411156393149597821987251224734281180811661926500744708531317050659463126148308435771842816428452484115354896570434835967300435803926858908437466132016585705234369476370230479506374940855197106723495790647963693778469776315043730261735353774675789439872429454898106894662089759235664720629830872040333559022535739345844148995794841239524447859267942849651900798817625109483890710849605347470540740851981067696158562441407944565232569642102348770198243188296206349362127579622660881462552618427417368887280023892281763382160408897198365929361404858677930439967358401328625802575758699245945128352666222118759879612428133211606457307222719303353428341353235166026790858216812849532096045626681401833620667683452329895361739681514819744024901367939523764191897573092802905128558700126744053259770585997542102255793877252414175034404520678421905764394760254450570205614830409926681028589269052230583905669697066773718719620367022848060948297282422108746247118741028314522359332230248894894251766156036160090399293200933104878659934472570366380974667076032494166849269808103318396043623377067889916791441556300022673060154722150982453793566575153958429018837818248034346975675781449648386031119015142163100711202774748167603797588771371230853840756403465942280466211519882920114461985043463797764027662718728931217925824157617486793200504971975568323642021366625462569377902977534728149162859557097678943092849297298415241500020423863443666362420003103342514759607865545328244887713056883587057959729111401600101610705222790701952474208241387222870140037780041791371668699468143938531809215996658718739720901623320186315185116677922726177818122464753435883716491452729523801728497806717793938811547559235400921038094716582954764777129313401802261112110350107503231820012519586031598001327115789536633756404537833224042418039813474113737146664081724793138132132547787694750832310723451893376143846880870818350110084843299357201473976733903618325878186543761902608050795914728375167570764826083775490778087242380695857349149967242923333691449177241318292382690134406289712090121332588404321779496179850792261524216323588777125194734411500449880989274465245568740632344667569967894790024601220988815523550268009101784236346393474507387045195519329012373640320758062296234058395159564087921546833535130764413611687284640266477290593835167037225909642025000008464228101049819282657319552047186316808517215456887483666025664106577714449434020159836448862554752004318467790137105596197004041689337342640874918335568931736638648192553233280938761240465517644767006893820142764109315187705922279545395504013431653636638010844970616766017649923814146451984410281978185836966620684329527861659480906548637484113085297971360474201192049161934791061531013053266935673474905673380157342311726672733362616649836178212684831705665812024983221609699886031913809354467515477511671431350285306652266458130712331190852012350795743881559592642686324143239581441465995685998241782361377049772773202393627250525784500884879028526612837544832361877771718674404417599050101394807397476465925717359505489102510960154405791057456190244508697345289371453637026047814825160011303081554771542271729713309924506586598397217365342964141932530102558789390383805860881466159998227624765312838284545291709367284577308199789127759107900783342159183927169367331165201404708587809746738365906861288817319120211790215584566889964813120247050010998016292207518793465506756988345400300131588950660880263782238819142224070114046386615460723814334604903693147648824342617571450149189250950327075772315015326612706409451620403789590563126016282602956381970639664248931757320324172425891718819382954727844766866715485327252889295005963190394481462506152076679060728438293540090740421873215906075145133526874075635621845497353988028670839591763608863421206106301075916498011155400560297144668966736068990918113552457431591319848673620105122545538253873256254212002014115897587373955784934992324567311374000037272029649139777271535695794048071580925835083232029100890497417875622590431077747188960208993192026394394659693985579673268022989822022593628229355980838827400125742676176534149603290939926948600210391492301427153050785217721696295643313097454114069748611396490018281952169871883943333492347362481465344212086987618466124981802170342923572288981361869768242822498762957171552684396267911650885346304148546808515718588697856873764298858215321581095394507771865374895367461254158461409199091465387443366133190345176941599433472348496297161973988554960824365157701290378610684675196058803796483592477192967693592488754865738373887907529493437574216998266546706030493938772987057496195837944611198888650373756696543308548341327869114483616982247945196721421409455592422383950617847528912237441204689664263029654050826197205965710028835659829119065093424881093633390467370037648227765240742109965112325118761829472669000443839004255179011598404391192626887455503748975450417049326086183458314628135625965827068976957346555353527758537789360918450412187933112937624590800391795851513548224887997720064985651948348386606171524066019736875459988108524941334694812241951001373798426272897467878403596083274570493235402937994408922590397516879037653011731094074527131392949591273946573299597274993238272813133670654750467298914930733115971245510041045540058332916400949537321072179702666149852082708155496235737553447643313294131865228332563026505815434571554713941781796032651935211614775215514567610201428999888260560783837366612614691337342328340004270230129596701649478518518006719171405000085745426743169046957439028699585831554808096905088966857334424519953303837896378123418692282309435659299596899563481943294656382685697068503137861310497187401042874103877151280785147128427858235104890524371134230902979573887532499139030893064989982773610120920921217085415369479302037699171362223197810940359584572007549111224242464054561232068054409160098684055573688474776800801930367271838730414071152699380060185419470028241025403673770409524851142494949865673089931018824573030252254689518895976864715178348041354921958153640381880365976166869734677377866792318766142929378356236247499430059265604581538148903045659125859269695104830715864439150901366894067235735501019649890650805572829518282302724794428052796041577114120253391094119557046041991307473739962902520129580001644186570138533272342199014547327042529726033938312990243723865844306946169045852209187729931535548382014029770416146851789885732679975780630308020573921336785650346930211914079620269832750927443079786076861106704675726448717341988764507868472454609281515076032570928242130660278543424920499854431535132304962978750639822492992469330774390849699523611811915821951043385681334602378213161907447548291326165540314181646697461303470424181539563690918150244177361532744628040976676772940188131898185111304785169831241047769040858927121809623854410246895446804357629903157782282100804382879013214673058252830473186307787244490969318971872571635418744766708795852929362533738088383806461904176542393521985975022330419775475885355949445997050227132687552598135307679804251547872103948300509820579319506618614244024654221648582041847180331989802089232380550631047590409758611384287199130220906619927600527909485453531689641223628088722061825097479224149436295685181378050727970141788676426756284116032969152356724631479833053109754077991486022742120310269593489709399261882970620785826407939933093216569739033953010350758890306477853038899033224827086457309589588931216403834410392816249801293225435400960211442689469085959691152367931998878096858513605114653363394486184868479999534038570015425290298136011171567912378242874019881008667022300887844849780612448836494041137625936109677988112781931069268931184220854485370445993081031338159593939252154337263062973141498768421404275258199484560437037811204506941121310030687484929896754776321191448741993024482526443561941605103593799139666273448207784719676328209143880300733829267464452619784099336268042689956670603943915014789976705397617558528918549983917097830247960311580361540146981252991936461577104667911523019594345096899073571376911725927725104609800344213756573176884285138876908907951678685576846228781566544450688084059785241646900149591605384809770405420100622740676628021177494623616796863988013202032211834178708086134683551842542941667828482746721462189389234537904477766683685643000331715876485707938402807160112638157565131879274407773627896729457657758840479521288718176334859229289073909689770191322517331657404689325903071179582088303665006132036168863633295840718568010576994549843165811886455387745073841380707129734593967283856898419996883701308921677011042173376120568690999522936835178485712203215889921983718070435486105526289960334559664846200016413789737102410199560062858992710577650175957430759287212765129919333322717223490084817438296198513943370213465842783587935358951476786728042968379147994026092469929204582446655218443961916982876145096417078245532600472253502957300524868867040969426831330035739418829171878777866114479753412511813018296238779906632866562636416727780036394025034318477222943781372597034519549593890882010683158005105571158011783589365349626795053150268259742177154904129132426076347490155234527873998261616355455450130940759259447717923495907224543709583447660595139031790186555912051515602684577171732958161030517870698292444790072288022691372142231412084470624460549447377769770253555522347152600547915751654372760216999154376543566791050756634136563827398695779191764015789554361014179662851944372366182781831562794381682661279577197699057326859357428155353544750323410441758358757278371252579977292686641717939898137890819684257415396820554213135792211085932834538640017370351872817762978251275021245007345037473554735324780735560997854768998433022315748311211167194274605503347526819695831300348011340261290696815279009218204961199659540966459489655209378386005305430706361917259177143117809464787090847104720243787393896405994734344009660952286771493013716273381734802587638397944514957106257346833398782517260622755383859321812105914813342499117495359585842835424937711488997528494499441228510749479498527972259438989286326426102681220963274557097790133044133393424369528641085418937515115248522430234803869241937403299347651573136994675436120772544855176180684594736988620752845424052972062504493123711086297419606165094019733054744605078725865236003557306335851275835455135835331180902283439115372715646289218675764855681594688198518707074340365525326782763461200135820754877279749122772869062371588915415772828155114798940962966305128489696888766876662295899524986613862926361893020002829727435681946280110271974397037276898694010264095208335077743631393577722182737977901135356797932417963943306944671022978950629030605726390407908251545086034338335041166794995867508137039736692962538115090111410735406379702293287353884822216339867346380936166207760517909163674957983992935168929396637015749022070243197192007849365883184569239877860612133099475361275719992091146514948358997425241500610029006006210309485205380949871551289307924112725203530557049273843354977757524921775954925761588881110052634606444527133480857273461247796740763616800465027338821347876619613514209390776830744299485197193241291064745157835113617487755754329046454135100981227812583973998673789985769679677840520906082790568757031626250160172974228801098521186028276149785864547094993193478172705130420775629578195628308110089614629246143805876244218268768911865183205232039540089241936047599991390784608757872634203493038194220569791220253493004655174556858183948098513705474592428937906012051252146614381911480305104842416839349936048195548071514522386662846308554756294760395851190752826795485167927417761852569847545270150649761713607559915033005782396181015850520991290246732696560149638401290281359489901314697079048223042132616545426310633473234611270312835264740797186010183393140375463615902491133160721505103207332930292634241995808855379948651391065879544004139674314500738761375297995847095099309559737049213474049955814608386960904179353783894943001602586544071862257907700786402363845917301383113545222343301076372179166788716061414711681209905990371212676973820665920174232035334060064268845753480860983085629416866078958816237090973138691587019699419452250424479388871162007994723926963014816387663441888728488361796701781701262600317286424829974312662479233709458568120267813844627067566524545622557789103101091796200808052423315002234802349277714183645650678957507118435992487449756646654575501450771106939613037356796484370855538243209345872398209428730007272153739107954419587307740078442509630487927571233004257681096688786503158351791436170926471882548656317054950319681105070183477799647037406091479652429144746119799786338592979609950452182929394033621517614555875635516333667509748101280094472788191821673140743394468936943814055070845489905928538121315796161070466041564941406251
g=6
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):
258631
37
*** a(t,u0+1l^(t-1),r):
253344
14
result=O: Congruence does not hold. <=> deg D(t,r)=0 (Remark 1(II))

code version 3.3b
start=Fri 21 Feb 2025 10:38:31
end  =Sat 22 Feb 2025 12:09:30
elapsed(sec)=91858.894270