n57-L5-f24423-r23-t24421-ver3.3b.txt
p=1003045768040693502184373613492999024301025967186950975947661361284161632371334595261220295686058641459862833646498331507594768062438669679708690534139961048761267348747703985052581939140615593308650817503250033108520216151092342191630553621934131174575910950817575956553298919747226171722461956942584175188418512340042437115227810774751366165567529418688028427428014126534453511090357486691017812191656840652187075569437480262688007485519752920502311280841834570211940305272665651229865407544215358262492226753610192919843121830283606759204788755347589560118483744662546190035466008708277454865299463405575903759084074713947855401913628934012812375689188981248115953049551793220700300275856367028550592601276522849963277132513592297703839056760645807097594965282932907431822823022812692529873603790885663685625273564010883358654175455983824209061869914572958457542974759800570415131555347046418955445174914862978766793181954210590260305779133436453615908968247132395210356225234121355054528558219073817505453322490899624135482605333573210087184872101650980817326895830816752454078071972225778603921621995697361510752344752698968798645239845149022678462940469525415837721238500573351599690273521447784931071419839642919406448253210934143022587385611943221206140784213573934444009643381712244531329153087906358024575040616733025970560754246193776337475307061808761206192974163312006481434477677347868056878652971715811344376597809385244243028901360922860730929700890201026710438972257563281922288064489381733489069267884967599051399739818586525346653269946143202019003942377661323423876678417439019814978606945558116840670841371955863151035749436979880652580556091361127390975202458877798941353655561155196942306780087105432547124273408743205002987220318566979158282053416653475964342487590419844129900700379130198127884678601720144744789380619947289703098970590104789442599453458630249328082107818074948125026938300100117489823159809623718369107764459095281260136799515258090746301156860972587073031434963179470580497524719297254004164634014006191800954518517585802909305077382026129869066503669052527644175944997774760974252982847079386403766614821883247793721728777640637633235666031790743380549864451345540064062505978150419829099153382119756877608847156939283500539604864393535020746912661074659177358497370925482271507286126204496854993046228939688306574881676893553822960768111058023145084277218565916032355518745966964246200996261506769733869506724297703563111567266367004284114563090942744823506092526063353057586202655937729465192032584713546164232634821962605301852470339411563229306197083776911652525610771688655266256553486691130800935999953271450933150585084303181774206266837917356811992700488871532082018848199327485825533014551217093317166892554598119190976194820820488668436110449342069854632334086326886752434554853861699230783671029594485833084801028464213350922839696677342216087565087531306702353685897065126662396752279831897411358665878288964842512424179912929931807198957191189140370777519232895867277440349802612394930765285578419868526361121613176650616415456491152081836965769500883319215123445089724509608728972721311369886369737695566065764710435636803593063972320196971075031940328977083971598133504254372463872824892652860400967465875532808474827495546859461512496029745812020620295444248736208074241237127314017777107706072939538817265390787714282520235854335328790075355692844779823134248991434714505950032700623077179860480885645743788651497785248731240787439637750905567100721618036052956863029749909640613051048810976941653244857180588974333551236571777861954354334389138232500005526648262157204184151784007605504453856829222265347413716441942199151439069136874250790302245843622111966984419982042388597816955260772008585419717098743236028199536174458069786837568314552528420859240164884667253838670524784232821645675360602847931839219911099398608584444897612743021503220217229082830207733100511968601480286732250917640512971807130312900141362327331021087827710401701043895422253542781562054230600547999058238163688874041364502572295279265045905883699617648395290156769046663121325204330993268072924049810116097564842640604362792526683527694356455546122211818912026711843852153502090145936970961821810646785680558471183451922026406099519513130416529574231023622260209773016699557322082413979339305051816092739750170916778629174554068045578093524338916550273713879364338760286380496239471747977034455046724844173604622019904239702241138029204116734298379467766294446757737954667202741971820322956954442443473710725850538878274654540585238617246217153029851312642277431691817423492040092934668490526625624101097557717898273358987903276769038348292675789551278023874545243175712720710943930070798392472881152905817550199292088362803878176753831633526613573214256063430253643503477565584468875737781396774538426062881906807660697266265304723049862052223089361063676757873752941260701387060394598031756797997223293967547819587386055141477962000121467124583613375571573349427502520073311713483336601326059936711516841096114608119364102525889068826837851976532312366014846800776993090201010748140766181426892954094037684519497755786612540653476029469675385963004435271164898625330377143990449471247849672032027074538562559662375348972926952893683661387910637515888038146468478814993655067504646625213964200690319392042956925485687596365653212439082663877288099234845609364541407361358483038360187868866533718330506670170997201219875017759554479406548738340090627011501854608090404503320567556017525383133980627092108428730063745436549371950096128612355824792361883199844702410716259955171334665479728103784576008972506679176392365645721855787373667680505062305248673898171397497400036099174550594975953382384042945277998001875047222575923705121276454066798862831741744403132587079478996947446182543616565882199233824504211202642420559639655726848836654435082467232320082214404217142650435233950731543643378339620848310569465544199707489542248567188849425908618211155231395224345115764530522186672722291158707136994942390006570355063103913384213098965003964023841989084071045771917135448992930006809559926459722865412824808652112129374599925441981151756328044963977569341846083812306343599549183186868856558448809100394462109909791510705320607110614117716948491812278260961714657995723765363045757047737108554259386485565095932125391255477242561181285819568469259437419349253861188019755993416658350740723507463138516143991762681349617197702784409383471818112870753912213671596971284092185804307810397360489673534170615619931973388673412333103908884173081256102901846898758704202043881754134983910969905680606566974051219123659946552963539159040569323841532866744019130009644471588642025142528375517623155552560471855086585419021499077884270757981572526138916554158330241693561315233555629806198153873479033670404782975075018980634894125638999375914953737892772333101623902153646768100585945241982828527998024999647359935729896046363023069262491987740471107691706621590378145122415899416855072171903266299169322721416569502194636288384495802997298986344825064141917930781637846768742877199854472117394306310624097487765216738880489536739860185580171106636428155946734944289849113661743870902818902641883934344361341415980479573772515733650771885415839506794817203790245311755059113523597354014837107474920932136970405846193529116504353399534681018685413464666107050746706075183221776787888740056045520068186026432449075815167203953372897430629620030960454620935587954584524784040605874363437449419299100743685762475812080706514753399074651123928019156261945291994846228529736223444721297761310783296363225763185787951273288414698967104385112483090118631945839293193048459095802162409134573628203504630216860528350128017456148136458505954735956183281084121166373723097234509832832332399425587934607280284805919526284950544334610190843353733997270306426601700979301994692494897872362726273053239392699776107647348360728844858408506082132368045043989368301070281064916848796863999944573779126941930483945523977635942820065918863428811986023248228319929952122714269686557814506134494424527676722074550149452261700995214649446270460047191269213217390127519091829255306822223270228776398931863182309404079440551554763504670645974785477704001911846613130935253944272923204924096764208256459118516639106906053552056809801453286370672686797373380459029442612194786307020435914450380917765785434656299328991423287028460250614691554415130597085349877818607534385144267134424286829809838027072146810470155891366207299151546714464016126460215676358407563469814840962316861856958428247699152855516232291170118468540325459827977661890875922716973532592891635536008746501452474619161348588484998448160688240194423767266538533568371929546232403764081232191787385478303192344768629798695293789286555410993451062112894491015973124510382865025182825158890548939921161601142013644648700368571943724633954115392107086355133174434565330933360637023588936825235342074794336698145685814621926602440356070435958639699750307369324643429175688838197549973128547601809989411526127774932867100262644854092689386483625810425365739172999952893900355197895498216861129171273148104128103932908216408799484531305857821617306967370260201460528938099476676367568340929426934156544551981456067557309839354992371589030605880685469537909727440291375559100973738461808828369766012411311191282106788957166731483222484639427016575925623070020513342518281056687119571557720396747860635548791065631815806291359095715098719110873407479757137559700930849224533960475280842708327140970525915716189309862968890394221169256319150076788054244911455533759168995704830529595814634321971770060533857617459656670770039219825847196277117954106503640633997612692803965183235029396090192991122943848240976866430242804588565875925659496305782345598110761174064815755021399897156430112794269452959244447587675418034413143314046577777651813656180424513037729585142926435821745800436655735659979797414579233225395752444231468258212052908401893213508900049276849538121284059129310061009896773038840266984763592408834206027453113537263942147880907742700368278204297410685125863728349447031041511343813972154492215675388360364852930580078030545204975735653684771738586930889670774241910945728567670424649514462861243719144361643165921670861655654963036463128620101657537777521908568875409474606729082585184954127512308513714903204812969028604228273365967577390115028772003814128026368055821924487583920110760805528221189268071284799922107248133923377750019542445952190113589545327633492617241069274383537231409884832603338179659287281719788882420472992607374320058358290293651929722082100921180308331485221768261102469128290441962210467181155321627273236617387693742731088485104268543311434331816801791964668989732833459743043516191318317809900490135867172045066372995400279640847197316985068212328382365459691458461325223566120312185432698495409836426394029469854092229031817880901547858865988764857412328319990839606414115262539060981328029427980438967148618741159845435253467810734599689672936022667252977935271497473370960456774355356150165583245376633575706590935127725884930580256499891917098899297834196765907254521836529178817970934212491618749792549342041595275757494393997969932714440204690108369385133945853372216159103926085695707542866962335504917037997544510402186650017739458872496393257108491634589822118834163706403910653450443709103547080208091793863460324872218121495232509196347305621142925922495753491495395604644662124481660027369845896663691512113162522108544524511397541909076230647834321824278623200477085971256909874475900438119606143376809494816521371279673833790428379874652274734541576550183833206765794012493997905491333724055220616825109752271855807733059174219190087999521110128243728128111746063098318286347958822973993233212130284813626111032088026328608012398836985931664941613847895333229236135388881109044251734412095087080759628535691228031668366213369675217027818498372382852552907008992028246948357571035986865737280842848374501966330159662622605972964810284460716316120875434820073122486283260620881527296336482594921457218537434048255217485332740026040360933907148643795429837746311256555796355128532325190258153240826051576288890320719846413420689412491275297735003474246017529892297297252171839201098965334798714391360756749106824250845361753794654909891479389167183996201569582411726014824313561882887380835912027787375209821835127743554456719038139352165951438242141815401630693391568197802622099942867122174837582296111569691368226019169725748269233657146072378806922395881416340602523137999758772523489126669336829007797214402966679471557307805560496664416427224223107648025140637354343099112551467733300739336004865868930617260984041690630824455184086705951056594879842186091951389111090564395664729530511717676439471445197219924601315022825975533289036973208545409942632107896681830971759471187583039003321102194802838141895521413898094313598207156147867569954398894947622639367647781505689863950220310260644556746761670180086123823620549280653121963467567420313389943479040357985672096256326264259132234257675896601674824830114325045929512553664434742257644903736314276855423080903964543657097780137639117786119538294428817333156686051065533174592645513955602028967398883853203436699172600667781354680860767419089201314799142275759483716985356704354160502753825011507366512037342543083766134420447696216167135961902416783712459729192346735449008657323222945994431288873713489335477949617752710376024040547520337309890446734245814949142399453764961626998251817781844669056909109576331792932319441842203532354197331410709833165575219380999822290420866197054290030241355864014102879714325703997561896263898317180538242334805609957085809251871293965912632544605121124948275515526318715184412468822911516426886985042205009985244191635650929273489448032426219496415341143807691253281951698827815847059794261160217573336259300670161811548423129060327765560362154527143595451986792958995579977636469723162730796727049041918852755884326803105914829891488403681092345751589152516276927751272458731429713356093535025727132271855292546444106065188754995817248774979287451901304447278853694487367348969719664916717941844008867263255270222191031552412484264231580437874920386744054787532912811798077390578302309163467019426956355407312226861570831753545678399095179822241145081887442416718023829999925365849525039121142743037620379332144076105418572302383452542387390405854917508798290398793816801070002242778401660270629876287925226662205783006388044061602724214257963234088031280567082755161371670917030741466820740444395173311092345381323983018371130542550557177015228941238688985529535939015144308678184432725492198343213744848827055696991692091028292226534608060504544689887907961557712909634381150131734094888314871116054950672686506462054573164017301931330161026539461952324638957507471830040137513256446923468356997056131934596032100343735855033514644249212366905407377959780464434343017878267441496855541214117980903224183098183318573081798508313497215800638988163757536700226151737940531703353918852917374431511625583033986050593266468846207481252182584949235080573879000833448995209139482954941625676381164067959249962720370543638126449009351271854057190124314498395431771458166444753088683585817184312140961934862650812796124372420634554068490771104606428162718212168410303237585850341423239668488245924922810846391071241314606707878494976780203248609298431795174103477407943053617536432955675677426136863703325988017494873545938044170174017203438098469764294669585331864974722011318688155520013091751063858085888237894925383653461751333269615728343559226956640417865170813130507550362987019862087147785749083502201694644251205414959405593433210607144900630394200382144765949561020687241228824078800071319578786914599678121940040199529140697013386173676731789128607665828948555275293498995339229803037799865749028817525975432192777241421993334995258220960986337475899421275425166820933540037194114336812941249977103961571422806327089249308366870475575505341336916707024410664885871422638554525507882895183943983455257350944868370585457425455901897968481193100105529921411110845251902178108552309804524823584341116500359850147160639836590049293394170905314205970865349573066836096656754149465413867836489620112050483987774800262631539435273651440048376006757697365018888172943498343450009065261062953713387465836242268570054545660348168813811411106066377682573471146862694573529712431025023522368056679565208889579523852379857856209833949750950856708289384050265742046461109079247632217693193942420096705056240466393538743678803321668398908513334288474854534271656762865821456483129152620074084659544928261483141046927259900097188102805270594343149262132268597863759546666969009446115249956856694826997651702137576199916762974557863573618236927122274558528149111157112065626921279410173683213939735014685176953023104052660361162342103606877216042719928774817287406005988968064662409691043413049608660813803774445688443564886349612663707375759258866310119628906251
g=2
contribution table:{0, 1, 13, 21, 27, 41, 45, 55, 58, 76, 83, 104, 83, 76, 58, 55, 45, 41, 27, 21, 13, 1, 0}
*** a(t,u0,r):
58067
15
*** a(t,u0+1l^(t-1),r):
59457
2
result=O: Congruence does not hold. <=> deg D(t,r)=0 (Remark 1(II))

code version 3.3b
start=Wed 12 Jun 2024 01:32:11
end  =Wed 12 Jun 2024 19:01:11
elapsed(sec)=62940.580405