n29-L7-f41117-r17-t41115-ver3.3b.txt
p=4566035248115061426400858653229345270313882498193296813099705766019606138140316189836612098123743900658816181184595177599590699289814852466142292543256708745843622767501837558643118917523294055561410768327924112876366492257574871050913624145843489267624466283034641451913503232525887698688819442854288673293297282791268177049109952577799229007867694015153715215562945695257958741410165766815512100772669821098586928675050158375665343987305250071967997912739159656748806817403666026827411790727719300461911569182373390900752373514445479716614937223825465671572314515333598665625198471056369485116323551418589092987468043393958362647553035817752269215717028835331758908032379975450098336009602309517923718654639101186385949159428700768306258971401656327370640299551876420578081795075044910943850716934896398628217810566885386958190579895798982760433794536822390833406667642121974751691132361533261460313441851275301024450349852228119146831825562443123598858748153842536078397501503011075677226952241364630375908465188514214818245966515766446492773736389466036365504752927623459897942986247454151600303479759584984801992921917883032308949262524828379954576400944536542505617011654241905227422295634498722623709042038610449781738950403091300709894375566086356043869959636088895897726979374241291314647580003224518791405767246753649133219253193861775145874518894066240511554612455670344563406744328324629900524213206429862894259083138219750062217419821262820611575359015264231638228610472171588667017107271118627717478079758509051354803677025186480968911369740929416722663575117197327488218376087478801801292651707631540377163681114790400654722292034246739390803864087338461851389313867058681299994209516781169685322506728327221916128219559829044093686644576743599453715820790353885646274901167358681937187552466243126495970871659435473510725633172583138105406325189525996962167162559970156930094532852622300217076292556079001657692844484428792444759743347056131560962209718188455657321836882816973289744770781412120107235937968703538267761700126372794931751510166097840647504416652547886282268377186980008958451150128543236965776946267170971814307181003106849027172847205412886908646324961317739638165188881205831586843256419010837581002506924502737592848053889405201832206158392657713203976492239262361121955608609205895571575717663172744844656363964296559342218580366692766177996278355632881923191514621753207522673752944624185156040673914885560040901892527419175517971628822202269704099240948738508908848903392754442967027368330496487357146142173386416480013909874423747902052137612775851059435042187951974681081166349450479170536379231966317275220050306615679653698930934874252867929879802120587878648252334019976834391081470554415246414691781882907340082387089296428899770640524099010527973825997693962969099871650322704846891337352367391775658913998881114808701423308643342148723851755073317066256338390036728390837099886080320806583754439893271831826816205074623894566713758021938659930329797154870747142647953473495875793430829219092101553572283238329920151468067303087083143514834559584805705478497832977643230775990180268595782046353380702019566911638830104662662485271994870648994577775424259218546712320440637864514568223616269652908092428106373464279563707070327543617405929654343037737313002745048640217031413993628892810141263086074120809519129919306807789592156320958537509781809808521125491345847845565581476196374786982850062768042198426819211245887713575649195406653977181227068903847342468149632599221030393220258884824906824992609793182863501853560506107594278834942667989173416218008427660685543450297429859542131302577347782013097731257948766834540841943199544808390983127781615909623031879736510133000374564189764117454221706575717883960242778870723506419982908501353703760959846243378038183320554366687625135317676042594206497108570939380229358089040936435150658423091017668488172497171003730141395429707890734985506348234043833186534118089674359035998266172919600929938348325636610661055427301386144385740433905359070482165040498509750051090747612073348980389560205710399578060070709197427180874647822740293992417177266016454357241521387150638444172620060182455491268662293682863503255581591957255502035456194051931188519527462997046373092266567516079586573797547540966551408370812010264989780257906706802430972065086171782007007689108914694820072030521347187567072076226819466130104375155209689881746136191720377865157778302098593962000572193147064760582507722870927443152168018036996498147838823015272149160621919141130526873935827238713568761785349003893790417230591965241500462472552725790668431884139869106461203564023906253194625102653699650507742911202923644562254419021041867742123137994618442096594988954680526552017762691382440479117344525770886800261603676540566600428547869832708990444867172214973862892845974360749878197246507429533760671955390885367537573375267732201320350151273268017767811785907442560924611466110421987711904227553362480330147069937072534668164240898399058472156182623517702122876801124590236482630968008662923771845968958004144153696646533453691570553847877333282022726586079598389263419666983244564532164255685104382066985858523894552138959995988762660728367946106642801722289128706773690543176722095415197858253896724856960760607986149223361216413915682934689775763042407097394339983932039422980995407844339538835124591039591465346195198830543506767180536455088690920818447713015228791506030476363255547132842466787613812124210536556619731731190570866706500950523507572014030084213465989557546602428520854945298301639226992069918832462506297728351677175763325476761050809859483342290316922219280198570272302802925071976483936907329305998826870393891124695926338815475642870219782942321222390489433642180080547848945380761708491797808552949839713251268428395987342185528446634974869078362186332675343915338947239476219527910663608475679567503359787971105105060119846699673270464311249807899716680798557786615280948561688116723662838268732999513946738862039449404976935330518768956988769055312118693639419015624749928123371435458129426038441258645364489803252912021566348597117335392883495818914021695007561002051770802377633078602927230930774030390547884946830717303526233925655620598571131991084382532038611299998332730852779624569088765797199339475313526262903457272283636128815743515727836767682741526292698568821706307264284654602528438669316128422562372410864205973314197633992373673685398856446428910356588561604190340890023523827294644490519110412847023456929379324292836112517329402666538228834674156819831460542399712669982568303133912431634312281770804215842314575700490882404238151274620632934999356814261653198064493146862296651181497597775246948567311237066745898141075101960269533656788447238826939749896036902963321858479654203994804830055480172796523949312664356140268489381125022861929989463241209827182088101792980473753408724886648271298879313330515173434188417982902632115930695867811085868016416007931696444601501455880469126309029134383972157023568445361473406493582783249573030045238987923960192379291341427035719237743637770408526553222186165869360049142585409407113028154251279444586796500903857880223224373936184841592094563735749029680006530259372543272090185724884530316969805127450695469572124371773966180754216222217054082203334060918624450423678472953613401444618306072802111415129625456594444723007657277850587748919177186868246331025079817384343131855873658516789906297469991176990280406852467849967564665142375109581573527951087392263171666341393124712825584119068805719344584274705664895797787468549802089759855293750349230752248344438106201957113464411863873025975770474826272735390239435892317633369216914744222252064061194801926767191298772447675630181269752293952087998739346702134404925728783134127035917344094051462645407059129965458899810504115958549115162961480588700881920915657902819074479432148831921123906748508730391613999660327408119156407074387757588993200593623964248175832537688749419264365159040027736508146844192449552380025453781155163452217224395197190755374632308989092916542243868806651346877373597589609185437431928889189396457450378739020163699766268086981945782874844151430149441272289189493709488118753955561807920866003554523432519513836034838516708199207516519073326405915499697485222779585956296934444691619159827674851474893296141176259318548315893021723504839884970796341353607900636992871976049389142711110188932674117000247379882940408145854788493359455622762350679942017560143349246712516031705325929979542271599707656518145421335520619422329468146119235227658612871539129898293999987277618369246585336437165520337623595651795087376445990389106182065236056902208841039963045412353434489377650509419860402248394031952928841565784243407697560361117495545907038499415514201341690442121273354294714927466604067636568314822636906054947118522400089433375322089355356556563050316245524395816076862762174747070908454673141172303332715479863406662454639699975583819131037583679527075630046767203771500206921492989337818012001828700945209563066165732914394411362031489461632541742191887131930176605230236585862568744413211921472051320583799744140779131992356935294997530670987097071978934486125008703094597902720363248276456388248577312204220165241539991352408415070057729926251082034729709699751053402473769749358471500567952900537717600240982740525840383618093571468084187964791644206188414785057788823080272579037217909921555777131880431042262219181424798615413889959923449051804161548887129484840840171893911481320551734288470232845483365817843019056912896721945568160031398386425128329006957076286238106979162147649958012035762415608603804857877151876514400296325236590304798737093187814096271819658343876541745264606578112938000244355760048982085830377261661126950086850907655266882312764700555220855474800427713941575172391111229891839988645425154499206439572866985010082003047054148299578856903577726414552241180143889153395818891545588439056545929863918728498872155987650543979111689138187006612740637021550577214675651617520455487931099191855613342743376141029282753564698320732749578676342514121118065891748216567965446492435328541574489057371191398233698756237330981021277068963515795125297902733364790625800471278047091696801473035646721274024089507726490385379565391878294217772091716546575688570068467280063672194248882606728332602763109747196239541884720757117131560946210993838150227921568553595736479984329974503105617116895671642538214935937154344071683677419822085334975652976433532578950296357349373144309279551368148641902835415916626663206612281409729040147425380520204951614441322025009589404160160415250105789565534414294581604470032352712624177571086537048814910296125827414967545439320103455803210225101573744319152009827581577034814189924126814894776798691569673386593320747720893766832882562371578558960560763037280538048222971001106567929423623577975958921276339968057669961590022918864447285234325778125010073509948170427627773368875682359989935765819187344847892323623159280574809902633911096463321631201514423181403652782760051608895658199530694143255116604917165892130220213016748593096228014249515534688961654266091825629069715515720428145280767248828140172171489164268848032662826139636327521053444106841993586889830598722185037087452286486822452957946017120301836044572590429308537132398109375647508364860736166687594581051534606579186935974967753921240419129437539362554561503506550082717482569516693849901136131899403404573458400479604003251856446054760199320324653572083838684833903020443462402849625342993495978317514553057748564655457987803116787135769495879640716500133266189873046824762845794722383394879226032056395300624137612199442985989781593278780957939351729489090959727516450226962858304611806722762822440426398796976417063083093990488960315340547570220023242437755118722423848918608409142842590856506362068604612239617848756884617481056725948063653721184456803901876580448179757583243162311505198503966355959591431168984075376940789769971226386254389661164062262761182068767833106799701431748646659461928072614896470765382070308441547502897194894765045173130185709067640257732653301412543935304040448278037225732854528236982489142583338875476801759635463349926889660002445498577270745236141513026778046890672468762126767335736106650834432494520825681408947947741854172241035534021316293719559408411056634962111545225329530918988108138496259579624010555904388266528528058058054624507441941774504518020424291240129269472870479039162384466323198182423415246439633471945054091523221078108111799638301176372457302581343281228681195719358429742200293254640064094096657807149989627682841703044136823810418198966529712092011891862940654649587727451362154686332378823084361663419927950064386735610679633095189284098961733282668593408542499314331727233138329994876357111710704159714176986418812251804032272680693922788746481211448894376531217672021359569563408399820254463864274934517673645156884248222172284235447086732759703587723238956787237049606229202708109746907919414065782415115778259161421136271817007622856076459803237383638013553659875121437794937799301557652232565890781208875234513223125927004454518306974579030697282014228974170418019866486356643258541935563426819208063157772614066223028500895403094075699798272200060262832510122160321214201853290939195051295917761122660155296705511144144671027526722758084590130731685383163362707488890187930243772034913532494019118787757677655667557667928689339510586394356407761886325909035816858675806576768980959789435518124992710102964118002991416660617563839951010556049590049774691672656673377294399610294729331701311998226203922149089821329477120517586349402453247301594650078804709065625961809360458572920254501712085953742210931365946552301724934773788656458929799034654198013077954337285265739582003370465217937126132317514158417777959833138095397702409659891891325689642245187314840566627991306879894930844273048242869925657649409762952580260507339707416815657401137660098991635625619382261404575590738783947309277634842904539620350417068683163425358474397422504973810835409256616428661609732908373576404383180860751446804215914806219429491440370722677462681078560841291723758167098421611229106857905067329902665695077588767166105986303055273339638366250437787307511492878222065354964445314641129348554718459855580090287918498163539863457407491330027494409001275470421812836397083428237115474024431511488083768558379068288112609999273198974813947660885792173807061751083464042554518283929848067749297908508494453452496840150198767918539933921104029026686063196310331841475960679977363690984834671249154956757546296353859709355886378563621831321987779132514603073331472940964915696833480872634587063663386093985479777346372307554688976850283580570689290881437559847271617003025000499968664318978591127590473661808407559230349054625632578545073310047203876031949789750183610308268849439181207458058622514436877217610668650008888310832342722659648988608194609346961127062117447881854649722434565314163182879779154377746664011256989546936721299441864251638256194441283668341874543440434651382168645443067457180489683877687851871249783173864069335819138391006195087211288127592931678408785262422259793754949534244074746044462898098082184077995509275503710183952337836025910541171523641922991418188144266383126585787937130772951261175371817212557368526605971247620196393934350795455626857391932008125984039413873613071881800590465558272252866196822286974699963193335693211079673425756408218128396545246618238631885969487888470484390067059419128143089266508453985533129885436829659049734114567216417104991213177127395805132511200766260070244111743804711294905640816403730375269991828549215734200820979499143935347187301766173153483667068567264254716721728717772611984354886841607080578086331877590055464678491543020161482641559854906733112259217064011648756989700586297378202627454129017861311357896963068193713579877769073072173534803441551552252108046796553286219847349390012468776250648106824016394219021390942423902633668846912269107929100598153082241711398941838834555905683814462956218985975053859710028194596829124323659804462904835805987316301908323987989406624143198391739562777440128410417349295409943875000182317035723426081154198767388978539375356104994671581765053320490559964400646881149313759376849995358918080770591124514321228761778062508916354022277904234168373943756595950959511495157563462899164886456008859606652351052821872741211989493017255547347943080355403782515614622386583678209478284439779824966613503607688902590541506426044950610589106093756130058219551082581494628484082043510061243634559982292962210269795448570618441480337349610152069217420313944043378285869438148898171380688225619197067290328846469598408506397693363938708988142654129441800973022759633889261736880320284718111328490676776721088701968362624144963745985692657272508440028006604754202458703679202514061778274544641214718761452261058406230560773172705113333336706903894589477097913061969152460305113110144160610477347278507142378478797372039348114584479559718950149154768475646442490163897669571143481231713277242870822543448600491506781899962283015558164911592398465491040794934899772394233579273881350362108134451464258092958424525343240057880104930347179310135234045052560266548355821499239765005970884246532242186590818697735933586153697113377257532129831962124812234878320064042594153446763292663743754511183003998800444793577433983495303576806064244742487648110120217058511430117990569893695458500591702109594105070594878120125120781002229183609992530554743734545539862841331392302544384857121105525083047003437169658901038741314026299722654255960656261224631173172034371441271081271730620461138182483956939560566733257472014200075392526080262090645187396306962043410167998972179892168139821188959766474377186171147485358343301831162296126471959855394742564130165881616964647965535376280388290716347421117259550991917037109077864111491624313491237972946153910839620710654976267035895783475726845980808990870516410129010023403900656891477296631099045850360215007617113763140360044185223049826310766168287849083480664527987615830355630945343446521819468764799623668915345847945940315759983841243928524152637831336348571190699994454549584333631998335563832626690401241746046179951528477274955125970692366819162299218856370239176745397378361351351370571476472224283999561294694380021110696569042870883490042026189147138489794960803987538080223328450167908820190653946959252825349873857666298832784240500445965519389650463589281540090081891869517143481294756403016725597010674075899954191017189837959759281156149541562063781801706258850407425333004715333208017251263058489485274831226049126535834328474410657526997603389810591247667714562722949532898211052451684784053903763333721319475902082711282033207053114962906002807807795180593782311223642231214337980061725507615529574993521169571451370247425871285437768082251840030830502918721117755662647977954265541006112618121292022849187686249807507171167355819950655512019733116297665782064352014686514580082711476059672278412211964880381405247555310785763027817331627386366776038195579998985632474055795471362861767584240839874052444024623689608645474731767135806512692235953896814259952175071592647318771337031077091244232947855329132545644369850025290934293253396301825189335215922810782661456235748763670348542697327786417345029954902622982276174191625705447977415342685852403652606528018028502969118312356832642715881335190607965379771014603432396927577271968087047498461606005656341334391709152484149458881043122344354568273509546591909487675906871523288435725372562299077058095327460008109877480976801857514548616399877859222501944866957905098107634002245714422217240107382755333789295676764656679339099384539558896616018751193353221634762089800797369881290656453581654793957485104057678280386380884989336426548322254425116415465730378964670154195760549963611417887470761335443758154917364916000783543568648312913227895218796346490310784686038408443814818306730469968376775530541458405782847316864859956807672153737448968278489002782851965321689554304091647829436868109863197788598926808182376281822452464747889701424397774738165113308047094378380218412987703323605484316516958502403886146093733853432208229652711656134782157882569741750698519826469678863359861420323747163245164756819770502165306993616013758096316581798681989578812160727540130648403945547940665112553376399919087830523009752070356962299349283532749345621406917389280929560293135057489116791039187002503917151645136981359409824903285845186149597467890912044459211365496301710672943367876146194840155045735603989729834599435768263765026037450777505829172721717092751101619590393173605301636820407349707314570255555207734566635385038855521656669193629412059148107374601394535787144293139491445655192977466164732589765596127978640098670964461975495381351877131993982676961673137093207041515565243753814009067043059628917069141414987379453389784541562767179158214127263351669580570995253044258070173166350185772632299389168897019080923983022643671200339823985043247876582791015106149110110030304947287993081084782907242728050282315285515660200984230324488619236017891491547006408099878593098926495251955147314648472661795633037988091647386594795043119800953935038823052644612782078112864831682479401349780011173342430880813795896893758167526827150680213242017931749748918002903392578337731902171119631009833377607845100996155891916296426990455991073102213100907118656786053159424748958260872551293750666827024472220621871425814963510239954039113563989500849115080101672999278948527312580685399885447297370668130506823887955256850863732662000409347486721878873255904912517919943902633121841593160031632389571721955370130734691696895640535327321924725332680463252268030565689084508066482727528294040555046748648647225375460841911418487486747657554846069632904478014810025570747152946624970855708615290687795718572910039698356372653121450193465112966135802950860988094623258045246523179756958161107632252649835298589206090082054025615404287435322968537777890526354794529634050611246585024212371702691356680210918778765436712141696689222549773832677701850826766384554392021893814601719388347108363737779315165056250090775379128629610085153822364245185026261521539748534744005117727251147442659922438040643951879106218666293631991364206699023555995644892015793673682858269331412450100370393846377548741694123193738465818901972817235698798626795482370774579999770925503553208442414840768838249214467972350272207251730152864602505246963210023591911084848238490198725782426711859222429119068212368687994512263861422881555488435290219074578470750391066948084496866803393533941611621641016004092173565459952624748748238358619131072467251287182959341632529106914429404947984936490973415917672587891805051530831497185857712388471049474184445397671638910427511661833054883927468182943290226364937648684127839576877636851163366890240071749712795512848383624466315593144553558494886494687249348345536679017816347493178435404471076855188890404206335309302753456117893833352135151675067539298867330329862072150587798757719750586854298994408733522168487135116827657007551812474124983191794309836768052792800961349961707558583160871596803844807037480670398601118149372245251525927144610287315999612725865309049134477218015514496595860935697170805511938234218487596579286344869577969199677147165765927889897867062335311659576783876152070696721886780233489239889637223653503579139026992973812943849238938929329056632580211198151090847393291337437242564421523980974051458006884623752568815921476557216132260684938949584079029030772444424721750106324827218499683890606771201611624403749987300578928201648300676504311709291198713434507273664190273411853456318172828081294725640073178691329097925681215514159556102243512919236694573945786660931971762740170768592387935816725778423653192221945131819604777909827195865091890459352321386376172765125396607588247161324403023891945299860277947224186836637100006114243484436353229278278120073104709472958244209049282760926580288807699308462827751158489801324503434024349521681587447704624290915799570510691054643403875657273687976727321697343853480008389567259834160753713943470763790861119027300559176709270102245629967004638656998510492730773919248748862091046971957979034016328214695902615575859719515886681074066046336538785523305042784216224132289863467918259777261059898322718187479609210972227777818877838674495038022856195195186193065183368817401224874624849341917083574856608561198004839687347469885764228807746239077346434964354714788362618420307525136970666012358273960713566649274792367304368814852005754359290027917119001544470796832242463438261483651589440824455684180047166314660074891773030393931958138319065253594266804558044352238077429054545121264056976965576519814809087345292123519664431356701766800747671926988224574906356158523939606973740541189733467326419355312075316933364019608863083637205419725853873051368852744403359945668932043318864511206643829604279856197087658683483042097214978701611634960184936639143282027924216677491235167141560874902815089840066184172743264785839748231320701347362742405240040239753072386528487339952470437286280929600203520501898953645866073158932464138598016444235166923254358972548000142917896159535114204971991869704337301132554524309229065956739554791396980381071415783300997086686244665259505081267183786995915758674602356288546374650392668928033702073199893164431260985518051606440959846472095480246634860185088368657810017203941230104404525564624618267393694301146481956787423719745175569806251817652030335601663070232139122007876208104569257516183665563551380624629140244063197761055492109585716163023986830483571329033417614440137073681109555436484800441189370371752947269734952280472903643886364758880729522502105610308188754840329492051869542198017221695118598626922495823419953018468155342012438596719986558055080828494121468888145163262415393123062883888106892632493097478814024793187043165629118609930409225668982776685646097463452924836926145757281574621396705477435783422326027096430270427844850169714231642778716187381064916008731573031482684305955950709301104497517744225807386228205985482654322069122736614698363847368161776098194965064814685888917324540148145520084126933985833476032500343185280882406169867080767910612757584135758740649242378087293323035265322661949478447613064595265110274047238048327191108467684618482077548131227525377418526168998312945694685922802631657649303644550311783034884731218215149000958025086002915791592674887729242379431971013851361069103848241523197962251775207250772302954781526395277338731390653839143839165266611306537757114021704712623415446751012908488721633205860274026079053050550790395317323020680104926509545739143170562127008641260024053496251862619593607572524742032127039318373140635125508324084806606663300559791947864714268820822965596036457775218904414686952792120402129717882703592496354451312312090464957878436539004169448471277357235222607692082725192691114882977426057900712355681544606734064894597494623453915776895797725115432397984486272958343004773464748964377701200750630815565850586827011394238754840308889356920050781494606864107605387351894096664723660020399154706353173909591586893349832886884370338967992872836427388696907239735731845257159783681088766828589044541666058932530201604057145766871764810339149807070293776823402487229885050393459224259145504384910381435300230960723993302681291138328640059585668416924806912195066358758833438757427255265008352208282236760378585665210432249340567667397131126622901311613565213743025032126049963258360650463876024678948086894835906379352665542302075193619173183349090143540994680886694688391621057263164021803840089208813307950288451680712348352413820079536606847352531129286926676018647618241280849821363884950367951862299386979439602534792801907297766701614989013849430655133834523234616307685690930714332448159548648870747982267483431662612422201004785933187452095430570496676021680261711777071631401463981365273545788984126299572310312632386878793102346687631712310772721592849120317300413689512514002602917609291065646915441140150519630964532943073750949390186100028205825217810460707381585667597622247646804080945419108093628057207811444335095962516468010273982630089616391947467577616538876111281940399956363466228050125747359458688121483433275402345612292828878753566631199585794743872641874057689643090946014940261918733229450525718209346959091093002734244041198357875509243866807649779383869453328144797108929495320778230071489769521154490441384758626393927812053744602340888279990573208851770340971149317574281952237925980050075553067602551729265164095983012876806654288652770924652631055106776701044268796704675281937226329668833523895244744303394082664290934541433402316628075192973068492832201492338686771974514890793786549485586788358438024383950697290466429856163078662336446764160973143553478980431751340337146043302977215129012508847193942276401277026503624285853759194309633359018438139139832222660069377010365795343033255599512997324224066639309528021533588432331624939193705017570426330439445956076496829944354494593321055495916824585616877085049991980085272292842045133037916694560021436639866543223349817273180901916101271945165694756649960922411764771848411269400022101640292569152556889854074877239513681037219967392125282312389759426035688732004030370101494158638185158175596327802184693751923262387257994616669420939185653724697262340753156869746090883292266266480787976056115549216648432931334336992507086985645491252722296679817813024790538724819896189544066566047055707936949060111766446892094794533345121383333356813097770056986422502381368657785916400944644202414559700850042773617034989780484961712705698631278024298740386027082399544149277561483353714708595299985505277780949618168776986510521258265295371012573621032254486175250150072224009763264324806021156614146958383068968856402103526472089218725137168151167202414246429043271279356924894868328076073837373423723141834644556503742305336060153928681296800952890288124327002363595509586113242137377652287260768445597235479560903503603743374505737404165395263277673345145891125490843422701160485569070370012685349477009665293847991202456442846100251776245175967675321727999168828671677533482775036035375115602181806384906712685724657639035798413096676019207839533597778414374008601111588318364074861351666261070964988055178541261643358897475926699910783545008383494372700989031845101149356204534817479189402698979513083770267664622667657381787884542892074799906200561307393249020319719394133815403002267578005281757484470754532396876832137455079729451829789102358984252200404850017245390831784204334795685008767312150304147544703315053603548741098797278868011200823914080620951247786479747519393534620194040264395334278044404686133794826818748300721437540026153873161961755440139723635278943221665655086167376564632453684955267487587488090248620231345132232586046462994474482812398279594829646696626783197812469444436918334608586832421203474567259426654397060683004776683945447627370384382741251053596249268714351644714124117043010937625734847996862770843638177072913568375264129690485152712863190216868447596859273925784308496888970836704203863296294790300769058886693936319322888460733155422806066166644965329592224060566954370016106644790085319227248571787568151872581251329002487063004781820955022776018585759438979528977763278909969735672278559267208858134478579245203552418782615458034416711187229140255573981322278826194573505630234729661126631776611992972912616877143412851705972603462479834383629163789117362298984903593130557702914114282392835128752960926361157077235625488429391957707533536824805632002926131335325543133722932646745404465356886119177266137185302813531535019248791545084450070168890521679978417420507640911362777936322473309318628453512192644162263948665945526857904348208311614075034968321058809763790091610759005341551185603627328471295528111332525215523283643559146334940261519778433678074552404547099113096937319393447661614439494378563121137944383330352777384690623026819052632326964727682511893752368969901435654601572217400462502938977566621688862084204316338273055103608848579673793969425219291380654975502133537316312558974064077503530007701796730011949004948122468657408513985388453039629410078472545827098725259784362171987481985213891298604552854241223687289199160660347499098556141200662407105624651559411996328537281667750612353790573622049928715280648250739233756009642940700554063236470511100095082944922597294708145208353331886743511540052368312475418395262802266275442395597964131828558751317758879799389114566944781410070363762256340714314850605411074928142485851407652709081060456609999351352869634601596545626369228182986715952388510635955900682449810080030505426305694805882834484481328879632606140517866273417801888218839957689713216383337014867881174635485213189251988938409143058817950212564573885740447401633555911155132715630515401417113146235212403573230130206390441664085682341431668638677172980569512692571419479923278241028230536043706688108084789094257570823868091612601040011428439442704750729066061715450035199349569901598673417294230274334966404004290362189376939128917707807472099176730010127404673721393730336930804613587780369852520459154420695895662253009217222049439197719999451025995553858717316115657612354791164654198245100640098052721014831587999375218001681915416023103702726154422869866415571325591287357366754417706155262665694269710684514923668334143431028542623536002546830072143252459618636382426857018189734866564324505227284692396336202577310693424188358247332356169393847251505948415327312970709942388477920524910575411684949275519181695704179145171546761960144019900477245953129914751453823905971107214928257989433540125498825515776413801282621884060900785429749168155573557518528427198205091461365113020840933205923656375242681986565277158786080103100511266292052361319890418962470539354969856294305102669648771585244042278864900992893063663280568591348941534211634559230394625140602808201609041372642459731272834829500991857083973095227625938425284109994726969054307838536776065150727102597563815524867068935872753936215905777333597666070722675132643519174062829823829934930915904521736327382779097161670426635416651995461519874386599310800624541974563259120614284889600384757448341483019543342994805541688478269402629106706394486754138955293604681606730794301751499496486706242609221621279958114124730432096392109456005205480256905943864777564499239222694290849472648690605393652338872108680733450285767066980363462920182237088529933611771544664671761019014288739586291357186486360330690908867579461785007720554145574213711736101606828687218007
g=5
contribution table:{0, 1, 10, 16, 29, 36, 39, 44, 59, 44, 39, 36, 29, 16, 10, 1, 0}
*** a(t,u0,r):
33448
9
*** a(t,u0+1l^(t-1),r):
35495
16
result=O: Congruence does not hold. <=> deg D(t,r)=0 (Remark 1(II))

code version 3.3b
start=Sun 30 Mar 2025 18:06:11
end  =Wed 2 Apr 2025 23:25:36
elapsed(sec)=278365.573299