n33-L7-f19849-r47-t19847-ver3.3b.txt
p=1480949258172178354924252925765289496213783410759108459271308531691474363323784571832225409112907660359246936327041264512276229609504775200229014544979549695732940832562493316035893103722471751566171642393844812985339092522587936648887538226474239138337585156480690691134150246572773108952332407577153674256712570733572946946716189495448208458186402220453206533731333970898601957562579096156455463675468848238651208741658440837876695428134047102207061535961453757113072369694577293034108959563453232068098269170255348572776948763807209940020951224320809775817639241840593189393639117333936444254404576328471495669983601365918795287213836733834458349309957142580573277828210555032078419129208046681331879385234248843903041328901293822913269212361923489915884257007179354707060237261074452600029465193629071144410404055827718002164441181426269150639915645753876330592569283424105291291237508827538900917883493230601530903690891944589176047421169165927452852856847403541374405998135659150309485816817096978957178779025270837805148514014550301773343972362244889553719499985987899783663352287079699051047027410248084074336982390567823847063605104709283749448871338993381281970925336601780816472659907259988325839676786913264422796171685437483445344603240999093899783385240714713330201429468197406219510039503700057149001028289757374516406177509088612710884413570996043441631913855720466840127798449030916275893029475694387633584551904856181308764687620270878311161212010257361750683682730154603838471883953620213907738216664744568345952009662165245355614494122407823307166093184432713408871300554196660881837318406879622644402337175619122645893774763116833666318808554687474727101246730313551124280893263139157060364791321518141239481830968474519124840696167227162936229706046771461383078887566352356917595905541729970240806535351980287094180623832429755013825646722281435663102039352602033724290236428885500578705154195176985971528446007456033628245798569817279862196338142033881635306948523473419134958666204090705530980129098171563021210063195384081683860337214773185814429431840523443118956266988534495563280966575353667575501423351193536763042479395129778549965569433512025010319204342872066675501776205734792470912975046007029542717658517913551411273808178493346495685852230586967472300684161342995269832157344337870369184012301272240312909752030658064565490242588644925944969132851918253946723050193166451368098793116285988908503731127418293520053966049192229422446696055747529401595188114810752829636265192907247702514920123452234243873657276322597041058585295624068308943796175655446995064513952727897113245908843096918669164040766071022598993742068463808665535413426384888661365212215095333170681883231558371094267570533276177305645040940783719819180880877030047862750602512897531288889844162232140352854857352735474961887981485741847746382713413338371398796911830854993871517832105106358174180364692728713770332589918353491516862632514306144687819219183017331999926759357700574127235577746956863950635502939875934082285816140835331565266889066791000129334539289234616990120339325889188968253472945903600031644949102217508030561375294733121557710507516290926920228647361525669343714976861983648548418872409347819226992106495664582523130365483193862224517163091126578829131299003784451383946214623486369038271011232053135261918871388322033452792715795178412790417922437149472215058492138234091016099532729178203270821976334391335492997441393424314312760490677441303895752173061545098845688240846799845638459912389992100523502615918686643618850534320846690358904485106188103534338694572751923672441866281443443806712795137024156596832002148640954521849024033126764720531163599699036039566575191474759801458080853351884988722498195621265033557206496538927182652237225863966390123602215666180393556337366465168578263298493318863733762512043866628712582355044782281401565633750090672628529789992809961977430255635307414494737394437461665321057012761746122212209817412919098529779310139291368076008236981489393969209597335025787572350679219281016210501623581146563133406084807891517612485781190611429972484170995860609921542751587533030546850751463448905747882087440508228739172845791536357276210968793439391194885733396866324390935124049183638632640873074462685226397695228047426693577117214033065896013865847827299238710385827817950320292868544996675338743988139927194984386724536093806210812055477529036484461184673916275312559036557584193959900512694339282812005281711734794005503226626893843649482849569482811726120508681246942715501853312946814128468352105382360298275442788878571587557159033218064735073585562988096380080189649026153940699634843104816355277513774110956627066353083759193043072701502190218662170522833959858179043793319483443744604927699345959068916624683718114868254586475690031049201874829010077356054654643322120438434498728764999890836057977394203702262254531027029050554357447932500667210234815287668867380759183910022438589366314386367378978151199918995589628385749898248551182986543576033851300508132308047499511591113356357494859056933500448937922526982176679802009961740599512046132079143702329359952269086947644189537077465643450490389525283406490976078837511167748592159635165559894765572355626750305168147740126961570649783019246857331958590400652016013766121290984831003636474859799425234899343363406095425525453356321658171016325371401384361311549988864130773504241509591503689933073370316980764119959142751382809063744636350900202340119934303711575333269063022681999873302642209665775499740709944480044996334653990011001867491840736171264072928775154246467211008142812079302306567142536088944969971735445912927516212367639452899372816950999558221016620257918494867284975033193116428163801671884441197567838911804776506928432978413488542921196619462728624517618393272634544389330300965666849888004256374024952077017633201297779051915739896117344951572988071288426977781791886365803268644662346541615026181609883130965116705990410291948521853076495744805090468540753570960826680643963644645389513967627814686352553213478658333128552174347937599607821587890741930081616945251480482008480599376815005981027684692865775490297624019511413156214827440007079038997738227315279155505511757353750558634097342101691187764093920776735378814500448643660614618918702990838532008695429585852728419399189446230823334074432031832852792586146285007497273822330770189183032010255404978296089449099266230389269032233434996396700172749585213664396819303576597021567443227564773915554954308760863051632423021460707004766623633920565317640942515456263090884238580739644578684210799839104750128526838890116153877029351607610201693694474696246820090702419948410593688873790431348443675382508315973348762124333830344958455481157333298962760543594337867138632628606612614430896130932378627759320790541394071485783878878512559200850209791609004652369555840017604505478100202671019916048720533390181325769757819973517002406274533387427408361478354971670718003023982268312271147803578050076863696577027678651771654049286678408418097516287213909704514827452360744730192201451818476831851935684183716199792117474367610545144960221234202286926751390428942172744634624882074050618719438978991573761859795598689156935856167689424930562105465950063339789905994958515563962977168697870998217092187914133174218402026265960894216376832588681292729834855513380137995929351945490243467309936484355530405201408821373863212376584190330053253875200049071278954720908242732066892958834358722193528619005312773418892889026794320950544330402421756142780919555729825843379952697092007245503010999902270626426137803483556856242957574778907268795960125508450216608287632158132397741303238204106402437395510967969051497351150043705578327440261060279585579479578161485384512274085140127752591904000547926970091929491914096416435813190196299183314213428170990812632825155602421854944015043187268833474036087653713122076811965846757281599639853047578760171334210574413522643525462011624310384206100743201657399702975701035450031876361630916639530026813528896849783966234371930726939783830378557829077581928434755160135897562551924831817492695646828506251617489780613922894594744095867044263080899790017278189726181632928572036709180106935738506798349655159774338211728873017605221459376909357766035188837456846261122184071207505938042062909887284217040843859300832876564909477668205120272089543710984715240851466476849165775401349699656699006566504595865818314280565856455816521861524938259004137054782849054476572846674754718346294264960975025504692638176811543876462757875482743873387299935541126984854883877951680401103881942111309818083205702128890145491531575214878538334025806656607837384805501249335564257992542934128506310500862664953002816610933991947118582118409125580561150038442425548551424562784132489247323734351642099468839986319202599928946435775886039334941114619337124550273613086450616459840979600159132417209396101944548839298625920003776464073586138622214996091029441136585954405181623184841980791351814827561089947349692781971079479181498017960834491968835112838615671889802167768975784222798915389464726659882434817738779182175095911783513600407223854476125302762216565048606054321612714295233236580009936130958721060330806020865722221625309575615925607709148283891392312787212354949662988750947242711178140666018724112922238439452087230795390716061148818933028178358511401094762116245095814402439504091223071324990723654800012911837388052997742378818157122614668688968181013966243106830481815108932191937696142636371711941812209410665654117244917770627987703363996139867747042409982369480986371138755880928017332140237855110803175437780133016886033617630076235031159570188154323842608063420310909301909358249894968486720578895066944139068515114869407542480671183403499724865050635002545421041613002697560028026991016202793914876523031143761962547405687740920628011706145489831782090518331786435740920994440851632174683479715339862684231862094335307230796101458932967758521776203560269082507022974254102329021521003589763880738288175227524781276268699400435584857808724911920643604116385044079776060244054336890625220874268406643655451715341941439941112547566353224019285385184276015301598994889544320522480550990201608363437142170002123398543428211824541116644534550570348848887996086002233203741366942327466045468845905968657294643035896764413979042617052805647581790635337511884940673463218251047877253425168327061155812200980643688311400257873884063845154366402573534398474283087597220308863762416716600714741273999907288732141852691801994252729590359032638989858052965216596320792080559513386415553341192593550226708891438927848441697128333498087926921926521241747811661297968655158512856227340827066977025983807847690174367038786432520902891377512744127136095286791384055545346541883698390014458171087988987437628856840740426170827502411103519896232448446143292663174574762705683844001812403497259798523808451389398276948952356261669383865524422120893231465605798884326474428371860893143462815976659575054156634522108082419292004988362223624148646669446160684596753158172696124806704364085948221575328582332135904719400603227305340114172669436133132790939071336142716031276287257398967831739669928353021084172236842268629650298293637420730430833102782162730579168260979529371855277094191399770734170662855886866949834459525175435673770019318625366371659002702807004207322822324735073815753052439940379636941600336682645294887315039732638973675180324793778184091536854048250929008910351768947154194541727088318595908750999514099992608390386722423281968956973963608551124135626661087741503554357670329610440977269881635415018572604968475483584285026667655584518788778879266021145240721885390140924034937502560046490970160882659444665659066276853591248050368465119177341426975159306387408769586898779360577771876370111709484180467133961812913808440593201211672577700611406179805412084936698103177370674641820967537049887654403455645588130301674301926895504039461464178301507375464347427393369724206577052993695611120040347619232886116690114583119625915335403424982041084432016692383011270200605072003718825942392570864827717272063910978770762892256333102842535411307653927972500263469831344883449859024204362564862767443148869607995127088907317920468725320020856070134773830813539564597836683136683167652653387391147236982093741407912774351750402028672219557783608597898129997559840407472248734333438054588015264407199697057887581037463013491286312844985812243723575937526855238608898394046428814151212924867831038315116241571983393147796982971204596859819652674264194025618604113633718628037935518504042513471003966660193555173326105477424462650946464665491492581296115247471824701426734564668308314666460098019377108193939013871691238229871425984543849657565842610733507630069839955918790531469737108603022802106429735653024806374702563727820829256078960177004201672567005735401426251670917666909046632423600893215048581637840527722413406663216648255120344971070980495749106057272239705194878851487455459445577206826891228152544928964897349377822087334933214580798277891129470387118754620513057985946580700655928768908253765318133468283538322699460595013542673587067312772926048419208896140126095310672505477767227143359180270747518106319728199427566116177006686980696156241747572149537691778574289902829014624556301343345545751143520363500128067198652142728658018787964832645216513133927988284260637534040351827630930134596222310409297881251745253599529877090093932497436097841005467010967324245688981357859481098167589362564954823551771347382944817611279265674064925846561423085722823151146590594433109736465197856112339169789429947518156728118520902233727031610999228957841767227204874347502996331687469944852193344567235478008332287303379321029678041255267864960893432386873356703031954638934043856408702642985152488453045040985605222788199128995155398042760399429507951980970224169769184607993720528689739156873393995720140372887461472797475559571854728262293901901040516511197698502767918457690790287400561888817810433055674733728608079834196771395128650832321660675859534081511526658410300179520837104809450677950495135391084293978564865291212887578356459794463575528829247151462324638539570904944238003315284058707513345793034144890669738202408859203545116502831188297342236715187278632096244127717974510004594767080108460295759784102915923906501236595583046423273367382261772121316794782547399936320441178371527522451947751964790086961217264977744686852480982703621364166900809944944181832691225744770727103914178073379175955499951287977166998135647941968019196585161878648929033631515920754783047820218737579116742129440343999411362419505026267882736294775285237653847289974971947165351081250892061034632718780043229992192455418840227819371286531402430369894356337712310192976794590478686932138792538546406128047178612654684036195711658833701642363553371351615109696162263921672415313939418734364486874596085974068698093003944066651459180149983666013225655096439884841072180060029917443739968349172564763191684710252617131621369449474610536331283531542875500139459895394389660643019513948997644984383876368663631426350456433293558960303455410610966225495491597804981026484923536942334565010272410299394384312230644590455021039021062994373999478121277766736492914564644513461821391631024828476299565392986365853630441109024237701664893314108023726584894529765962353552049585787843781488510994005457310707104531262339280853340394576354498310943926434298201610164153282994784093132980113154378631145011432743382449289440340944492753101017248419448524959757280031335363329031720820058737427730360878457999667589955381711052209406565787570572182253015916707901399024640801781429347536365130395527895040723957824622604978895276215356629993330966882122382159144820573196267860384435580260606970605033169756727727128076684187784997895683510232670423682803640808168665129954668038754298722196831286399977047519560551007722422141511104389588382023028935705007823087897994465064878653880776008841367252188849026482008850807484496598883142009237112858985344899780685226424155491216666721783129053880380347738615734840095346081278717515975062953076166574040445457364075829835895261254895192201494879879867285252747787506892501395346767899849665390994644253608286776556716159299970819101539556667970012391591879607624351389130770592962707216081959384650652174775115522627044071732285703219663026151687685523292249002410657507271378013087937696063613121984528412647619838862417042432102704167127557980494092436859193190644037015698864036956228030760946807455167493202605407352554868935173054288277227923921094829910601248734296232823527481339076438833448819321313451302766810235166865665218332916498178856901206699047479844292855837801746794343799154892358733298351786063
g=3
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):
328317
22
*** a(t,u0+1l^(t-1),r):
331957
43
result=O: Congruence does not hold. <=> deg D(t,r)=0 (Remark 1(II))

code version 3.3b
start=Sun 2 Jun 2024 23:39:01
end  =Mon 3 Jun 2024 13:55:09
elapsed(sec)=51368.373754