n61-L5-f25111-r47-t25109-ver3.3b.txt
p=8358699501247723555472433776190782632145789656506074058508947257100324055411403056996427614576018959117333409394304760642413960618200179436429530479182475018739398358370786107571243290301851371770160379203183470016552991314735573939335842286319250286642374235353548059394668755075015732602954974950478745283934391557623903251705475357825337805106098589057794375171780232876089818296764735767743639245185736708443936766865331352893652293640396956684495108530806021329297008913161321448864463978890809524266421869472216708277865927781100471266970988111886407210361582530843343964577135744521165463706794677460871527021981093818055544607989640488068558309157778966111121404148668752573668366254424431543717260778890023293008846028106865084011875654480549683516932338071200620202834617457325004707254498646047433587381159575067160969096940203609748164064605085705085321841191986700551337319901265700392344624433380395953316388514351578719421381912833828460547577421438444666892927613008728908975917756796492229487328300717775388767541400643258461622789920874673997115571776311057647143886899481413082436215888471130315465570916482705172723878980323507186269831394842256451820404365801157495204947916935826873372399601728220564274130777800404469124478866638751204382669258122563549420084614136985383927158861119849746962840834336796303266382899901952059521102518720644293683194447568804356415965714659144100207159702658778797718531359828867512858090165676065392018046593883017255381077124142372884561939127665266730958326379141476965917117249834303314594224377519191279331530499700453113832634582721152982985995166803290754187018703211520339742390808108909656699695970889645673867236756348148490394664675417604974499690004244917101230741815030279510540731746947461051415805580729674544502249910231707217328410640334062942097620560004873978696510748218094963817659842579711860345492433076471340656257936765239564246773922301596151321099724552853782416820828347201462097367215106581804227023498012969747923654322147944614483917746095161720117548281305852411554221758228956621398745020588006899965714454380654374920272086896296445996978453241191790442234273041789456889772732387296085974187254985189529201385652213559737157414490494603106500886537527795308986094804663973016036069924027081455433100120546323885296795499961422640006011896310761609330544723688389854965426967066075491074845642644871107083600708871188481914146682603537945284609093722023539568425364007755354908731672813625143079991817768706409774969346848617420266393000643336759064050999453792125215215145778330942002268801965776348001719513887085900595124108126109402077676510522633616527191319590658484848876059082623283818081319534024029833651344126013206118051143312498078426935478291944120896710907304557898133172333524669434296051456666004992965389986822105059930080361750597721518262005415311210529825211070051013977862449713918488025175241579708963499545979296758426480100779880245572124417982377550437225308907616596474680548450178746354175127963411097660573623373416436076420220337255554290155139910235092794962056190437211225886533254210473905997956385219353075204951501109089253616395030722517260427054214284098511672830960681142981923091767746160743168490335000909124730445832108103113863061220453952023342751365109204154676053423576986907017580832448768592907251680600052814347861880080798069274358052087500689880991610714951482252057990528911031063154522852359643484096845525257681234329792651305911363739815517149673370912078935409960338094932207612733142397420659834463727190314526331749071716320852661567612846470376270595740827569536883490815994975741178896541383492954115400605264218247465791382876620429176038014509388148615036941976910800979826296310006803792428549754698737209873995185672110532219389611628111802959636049897091188106827694043329477235180222783005066551171083892889254265064227727987055760401017204064480424948151597967208246993449090435347473042536066313294536610604316913950273617146181325382652448273888221008352065899399009034200346997378218779128821124017125414106955262350884681979301255745085516789646364611159069437045890886607686678277028327928319361771926778872520288908968732552951921771452709547058657407571508440680407855146682252135874423956914141794107503330013852417453166343215132978141649917163177822691127373748146322810138243373746416631922601071868484112677455941152241099854976443875836945092737375816682482962188013345910314105441219548533442003371633154779410374778703429440838815172130673467403348501531994508054398887806177776397596951862611808930714689722110801544183400025841777995154650804490985478402973703736546200797076751903904016270959047164691930760472436825821391186366428883697055723634720981457347988486893915032809610799896285637766766915011535789810135549035014082519097339391933244536417937617597407246482773677462616453320785707436724417611983848765776598185665002029904340541417964249223569420604183210862664759181819191548605517913547971073863002910136724590284644926600481790141758157561444387518069310450567011929508335310163013192238700519755262347749160079695088372025848405890662290129394222680102793340219630105578392921171566730244220547134189224900881545642611491088046837684222507670886373168690781497520557127769426344994201591624674481775688524387223130852545297231402457689559185567500645817182268620733217911593986956962089277009931688864041988896544775910569592264104474785936564913775724580155852502043088331694096195523172141990511056401412530727688264331687829749444035170418774190917353110966332993641593360064178602638406695027550727979971273788665498351532328823707077454160360023913708555882468324149143263014231305990682760903744654242449570380223658069700441226472870186423965874129129065995975301212449003280053410810907769535881518872718440959914180365046263618208851102452154846364744031912732159740721610478981172517357519994317159280954702959363298220763450099225081878253884027969204214724136874306719769745400841239413879929201434583630865670357455046227013432798372112798362218772894603263912311371104208683329334994523689434077166974416043982665885238362498958193390000043266625053064907756720135778570200337947662473878418857756520047358939601222725439262331824911131987177615579190367751950157235876119154779650148317479160986949595134168973683356681407154321620331998684788883765771753400504736267194217990652884823923276435487509315616567590610985615013480070619690899906402571450675758672305222887345740705193190446190056505467078022266935570947862325674234608531460626318479176124957051790482301090727554005244962589232116854617722907348208454633926049102814812105636401846712463494880627317514437135451328140180192823379037882996806677751323646459520255973006037731477834144657823278264079606585059377477924395481708809054676006532844837102453878927035901021295242817493368360405033353942296119648018438932904236824360917908399004137871678512920139889775720254949723758941726880779866324604033854556128213738217819481752211193755380568714404898251909779964069897820815924637609377980301421075760655714397227758201086217577078298438975662792614329453317335464191325112510535882708249193979968698396834047416187886553247382665468334336815987496485860069856542277804358784531340895632040365200816673082682143523328946569592993137813065512125032697074418864143430232079644022891880907095052191625526482335498558946807523657215009304321031555874129318269794519747773663825109067551428857941766183199323012201673410448400077124473974417981849967073816565176887223667474097631422720604640454034445222422233953101723284478355302894314619003218884887071256443204121916620619932912288750096396565464712483340481364457510999556715078772550485457278746197751336896886480295448499000461043069657732722161146888243310722270514660253871234797696684874230696636432084373038608907386391646800893305232628107662173051454089350573960031113709262076272115616401538523697377687218382584733932363704325084806562455879816794244936396477499833121752252949513075652715247693894868506436558471498758177266994028419314854601129314328170899814365208012373102200127365020287359512647269422524745209303066106166182560341575291001023183683816510184568244160461314052403189079191045628206482534402708355460201504341888107900943786341694206026637007871349194354736612580654268088121434138552198746199991870442603734037540270674444948037362277634523107305803311461905221109217230057234138329409105439232962284503033956023902999265544608712984866070943682177947120521219095366069889045770397216978329445901420905066948124738711949145305842862406803285138239227610447443942832517897524891432449896829669229135856161758140210618074244693618448885755410954540906992865756467790928454095118990466878316219713438960827154645665153729995297417373812272474937668484325706419399662872665560402750258107098841723930937228988424990821047110600181043459468573853831054370723998198160474787992249825259060502376896346670735691531542401141774683269186910420919648262977967809463037401116743216078805768172060452745735693509252598923369554148035770994132218236939860715763112569984440773975882241374062359991810739602564370426691714275051217758849885267538456448401357983123677386025778173029763715312109433049040110290486555695578947878576613426375272389085790984487393062312515280397418372816467994885610148371207682914382975965356934544253856879140610893656858878004593237985252231320213704424973733517294300248620172563658727075581620418519361353732331449391262667421591181057712271578301719249106348650246646043128495882966187174698725765669556375962409012769894652773214179374421495297388395230395016906672982709054110836956906870266543835308563865859678420027718817705799027291865678310636031269804797190693579445709895591885414110042845724758844258420354073814476989631691842786095394486509211788343815579351469046076855709833124857094849138633988971193166234628617643436366367492278064709476613802563383182939802723313503453632950937722976038607779158378804620825427469721814073589985647280639577477119996710833148110758877882956343152964012419615225925863841930795253949952601015261113256260075298650661139436119122025578413737427538392437314248365940952961958457412943631603928284440686141150467725334377712034611871821309011461443380455261881047344495314837010744666985101431412057174466290523921524879175322854184989287454898731144305354170780854197149074384309494372663507762683553201951293314836471339327132126638620565387913985832445231906797887672247007599877619490379466044283265224947827835463664993938472136072008289371108587822466431683633016981845684352635378683553321267035792715833492668471850260494421485232098882057348653062044662320325067854630792392147152729318645754558697023690362050994329484697985222490428262736942385130775082570224685004648840296472351082796840997703957239182382283153751998953896044217528812649394582524859791929260438598179550337293753537861056401386912739233521109759757638120738477586630451110691985047270530129575915446185199539965671161397245064283852833978532002143833681438709815096757292835844998020171733390589203535143136493141455684908298039080579625854884086293662793443502030543652098564165174262304037285703739805914339769223474683305353066999700609442347624201457653706795885969178053991661878649853807908310709727294708284087301575527432203678717135064279705039018208874495521306251568732989187518507009321555159218763808288991710382394949970698265860316887654501492371792597197318171873643613116188918067056731159441017447695412083777482449221365569159296918053118085286811093257898800766326849240785488658303161097387248163022798907443221071796571050618367809607675307481050356824151462868761250098364134401888691319465681974639183941717219229886504703271818958005692499104125383235420965704491035438720890704291381121489861971061232152644361954600411182404652351993005259019994003352109408675431837663513194451882526746812547482455128319363704805486418615467730237091684510752067491117252942395289127414611137605896049488991589404167855853346720060362961442828478210564788946410142409463635807284522094982875851680698517067866281078666721829670398108310904091189245827401176935551720443987095655013746785442019940667502479882852080757619593270674947169449077663549820970114543546658685695136625276412671647286700691950939575014682037665630231264156485641534368468746743599088492502083793415928915207231425181309602835060929048351645067321720511106927924917923190315592650245012940789929001526044809967815199694007100063257644034117610213218665972780509665792764807349690330101934359977774015137385146825626445365906656024141059543823240487701568920385280610338049317238884726132545239026767479231315903289404108361769314125091338338961449583792605239649586914528165366285547245370196899339794387524720323255905094582311595228399316833959020687075907207598895210709030842221714304729539352398804105661226335603170520387251165097612845428059386745915321857844916092918619650837817122857257703866887999449649234550200697669019979250194784272507738448780383569665685137567800843546574816625155740566492140869276412845389678717814835634487689745227142073499687348274226507512875247033658039932815782980022297130766721176126796941813111246277968896538370963708581479543082227217016681958800116688103152657987518652018234404599556412543663095402740074274790167538209188284603281875355042797639811777137697736246961578334561432940757735488783490784667638964630597151647724900326015659792506181608208005703199477217020694555806920197323515203169902566061138344437111180065167457613107970337587912434871830319339720744683444066191567720919273111570329285912508227879716485434074506012628776537941722881442709113474080797624693342289103209124685372288286879015575135595543059529307995083537121552042675513041941099921238086130167823123278432572779978873261892517505011440374912406211364660399116623534534066614183514990114779334875343086145327740090454546013173652436094046554330516073619749165542872253593572426026834199948783746561938298627679914970969128853675951029448419368461194908666607606944746091183972703852254426598023062842809247622524089142835132249088254722217188589377247076588805843035337350007374071568266525816118199202627546059712733170866092808846048236797760989792219609945897769998071015898615747917040637148180259467720329343991929411537166276807217480131212287531444613906736281213902760819567657157242507824746866193835618365817894533585557872072562956492784702474945802453281427598252395280679304990265078111306631926964788669730149458232677437804593807405548209796620281462242251315872013648510195938299888864340447109539981880781755020541001826552755394192054038756141352498714878246359142593604788939842298656047011419600334910710773529576223268691421888356947604416971853169912897758957799621827579282600791090269469281004200832393956533921717832910927033432468704948319265649495616221330214435483724659048450683301403032925395567126866046104417680333851023574456154085752219584661930072290293686115058489272250149902951311616598339658716445145945749041596760573351790031098098796336613284031464375950986006382750482357555439869358968229179283891157214302865534016744433912959943597185658712301667900661565596016596980977322022404533850811615148607111088761030189627721510989312886705120441196094327797363321403711331132207688688815584310738451647924819473231852843776764780531699638395040446033663972405535643966466196643290958228545574697712605742565805677069708127814814565175032256115721674204494770687423187628403079150220396181734255471742543841929236060247272643844496504607544734575210359777263573030588569525160044896925052136315226903487366861606018847283752817673948220790300431064900707803922443434834512500405541121712928523967217213765619174856387598112852929320853056144631921675600483257863020104818205367684461278690389961420725873596905449303470142840159848431116955762138429338022620262951487443302253404492386419355702992780051714488061089041113699566955531417855970501975938610723807986615750088461872637131357742777964638906271296678850341771233426985629508566113727495810936283745152434971181198670343708755055775038757422342711459793861766270642676967619300080512271459583932205709745747931848025278463320401912840944007220374674365066089183460359327564854804357313889213657383177220751880778404993237727284329761282327323119354506401769058148726018911002861118320177588877879537597497654357754538451072873210943673874975574677576758099058840532502791929974670915954614687591357883337935776107643461126676539526571126076893762152686543614082705193422477187983902217444765899337483643411646120768616782942672157949248576353035527993221927952710039159026240793237218279655585189840589986749543251735520205820941720654972020326279826929663009544941106827245725353258354224088906944504685246846198220255824838102417673675050167222055093858119642337823683703064276811793874443136701543903303129558414722152265689333016835239937965213598141114189325718645074886685929396060472553096128068723822643695707062261841022132860321938167177078102506003813795723096785824765347616238044233420057206326857208043702590849804941704955032154378690084063110990928952722548206863387032483998703504707330092387548075084267568259230927532460323193112192615312783257731500938422040564503841403691702529229126672362239601974146416246484572462247261892931242357025023946450792497083854962209148904332132673084808295233213427886956583307401084117395227250737150987533765192383077283688151546585734519290156185888918116688728332519531251
g=2
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):
322286
7
*** a(t,u0+1l^(t-1),r):
316896
22
result=O: Congruence does not hold. <=> deg D(t,r)=0 (Remark 1(II))

code version 3.3b
start=Fri 31 May 2024 14:20:18
end  =Sat 1 Jun 2024 05:13:25
elapsed(sec)=53587.165833