n17-L7-f26203-r47-t26201-ver3.3b.txt
p=431937997586023840240104191998970415192228764520143437829682295583976497971262162524585750071830634881591465528824408925673532880977809263371953935957744179740200228062017596880824442870902835637222375552555356719286612500720951958690243505212426438486968485367474425871664449161445548474079466525143186478196655704622580782054304351475403512805002019147665017536606949031032611631278006477692009996431311503108536925084487102421542978709923121741207613518640977938414540614170045011603515513748885740297402951477773094626503461670084880526003230475203821947914237077136479412703257066759580578709280245120794570988441118378530705611914758812012954287002642089156602300497294806118190693647093002130331325262852938025767123676651381613282228853997293006203006147833332636861654103390261756176880003469568756626314160439625206064035428759459537959423605211060030795509256396346091545620310718493196552961805290356803810646705327252350068693987858057654202963096743701922565659937549310166656635535846185061005057407950272206199750419155553316044842001221606220963863244232899754279001946888051491159459578235125411366408752804098664126289790532762096297169759751473186244369330981922369171863508062900266319957042200133596455492486477355117173778216673025854961910802603323224939508513290298434007855374191768696358270576722634419364585774875837686411441940800710453370932880939938379515513338659348094964949166416781500355425977695460383494397154613836230582864587689103401718914661636310206432192164859105774557524958847207126808873626241746656222357286318525417971675045648670201652289440856957017624185713271452696502535093506569568126740483607275662533923991786436495952518496331231380441411341543989502927609344856274813723544163459389496825503335762634623939366005457363557838280252849063356577156083689807334482117869306769673814926975203156887183061303546786009702769076858766303177256576127161941443371977039596241396485157848131079250250739690307871793074898086168257439650257029053572683033538205452797421395493919979466057716933917608916001630444451072047318097459211357592275412160937485875839650965268413285909614726128495599238203845823370399030619872748174978037015002497762046201802335911965914532381073873022853967883271369017716784997365658689782301729978159344201592963194034764217182070850897451585130792233748354131463173643215977209693330493596288009060490312059352542127406401084121099832623084863107448695424334476738177391225171003054146652249708708329028482095938898819023720594190587327754701720780047127924254300516883139849998190370184546653712613917894065675515762611268254993314757270951071736939357408121805794030749784659474364532262443352897237255901450884033999223078462456106343874395228640893922495291385777408732505015504433566367942942169924713709151932271143981556729078117946934613084727175392607966084390163460521561361580815623810112562586077226652532148548525827635864939288581399992974182502039889612611890894165520806883158980643800337704465712455268538613793642954396694725153950316672087795141112567024799089284992083046666751375073696199770340581142111514789400591193162691283948701019958001764950174098381250978647628801334747047881588047505076285578825140708660153439070562890168873526023589548833250884089391411346937110452588649752304947694110707933008041899971187834555969388708718665597929057349690396502824321035110822961897642021205148666084641807923584961465407550710929747260641616325574014707158924428388502852775347168632046049181645628286897423809412472846812262628463838820879093362514416636659304052127078248063015820613031596281820009698800444964973396910648770237164082834833840705737725586251977649050708278558930624469918109519967086076194578221299715366021706520481288299646047931331102349958473863988508687571834342290875365759297343605569230383626690818510437714061259485532838205587925511457440557747554898467584195612586246474519620262626660664225935705185837897005184246409600876515960276816018723890398332355990295072489818990303310102113576609733888806838900053153986680066923962207489801409945562847835037103643126978476499829817253205592001452829407560059512366340246308173059465629755474115888520891476675494185125535646627228389877279675515135254459715005462617534746544536163910240652750319835476920018892678043022959373651784280497871242245546001322473319281102205728963254443992044273612872692018101153157407321110922957471113548864126171284428123450381872757057500004015491694662997058234113998350854907218571152650017396891561864668649751685860424617899100661533503496501243767133322749426473269805405310160264374235320323849819040887571161184398747759624999216532941977904868979844892843443904462884799859909219858442598308280827831748688928635631891407769127740703238243839650904323531165007479561257973189951810538897395882049043279725416604238157316833052154710090754913430461401673265918050913359939950514349894150968767835377026449708391116642420656536031077482042487170669644646726102818101768200942661975644401013470498923135373205920221541866741607461194234564639629502073053083148510499761386562504591349902759927195764474114738404935941444138409418506101277338220914299708749614902932886135860578780253659452658627329976425537186403100259528742293867378302079635996318349345820076234953307266795923909035073167844306751018283402833837687474243458485361507805679638904391351514037601325985732576120135361070765690130862773729999474226651638743959720465291350846329606684087478756737076571456267796876987581986870584476715110867808672552151973716414893690587830742218505050522891139337252548922024466533684451401449258708541725420833048678821407760469763791763365275550641177457630671636805054795492673383014474398288567891158566194285960561489597511343154678041110165805272765560388363088639161253989768744104917060911920164849037748154100476200567786752044572228040110361032390288551178320206374551958226617655126039803333661250092082162118246222892006163417557504139979223637634896885428825137622565935699126998182505055887694797452490047921185649234477951347002886863615839195706305190916150289145171466787108134071496567143461547454215133350078110114981311911015319339321826092193943671449963656143800888152223951829082968292369627483521909747158224210621558879228174445523420453449621050385689164239366970332788952654252162434465212951459459160993403240412905402396708413786434369469586109134548918674960208653230379358824578914648304437033402576732326484028427839836573645819577542182972195279254189764457153550038673665884325879080185976538850765383565145471796804106062586938282943438755058551121314488625443720784535006783273455544792475432874588697453890859347352496536112360778059057850723062845525744464950087448311436060069106824795453329770798809274722959660784440429167774717520024650327509169211424748168319541891065023521790290995567494276387753468901287059030489220456767932481330540688412555769571083217263921600606172386877045411542432902045969648892136678147131057869063355450487915281883481691482372101952354623184998929571952236378184093770728678283063615462861215823398463489442388464931068726450265043948961460290194919597883722044077286813358300079432844854569445961469313581900293249880014586409497699667538268694833691313523933177498453444801120352028932969713046845824847493357099709175792912192549501601356942877505270485883841097668137105286371111074785267065824469501922724762345643672221606284339392616625749937034051516330662333698430720616388663771637682733447807485554996220437041064985502861260996808240930866490311461953902280171808924655647948781324518140041195825867482125487468698303509732973240269193065702830288872900971805377009829006042492472349274939184426173008324994486950447540448250473567141379750898346704887081779400466915247232875483219546479403091502124346567319120963338959744214643803413509824320257089641986733635144670744145231540791881190624292515761261987379214412078362659814234753524355082002352327805684540069800730244311603626278712200244109578858077908486172776861510416041345476586613259859070016172505927207849945321589293993658120098819426613205901856218691466372904415125865425096802607177040649988318392028902684943778549349198551804347945344304624291100330223704118402649313992348153904017960660089269589395609708467384978142829612095302610328651484986585539476623543972428035118292808554978513795245054636019453333372890184685412318232948687785458790604722080553823801069175076079051620683220334967571923602886092598232289126577831065964238571150049007305435696757401095423082901478102647271955895607288256400077609065214642600203306842591772852420861448951535754185993455431161199860566621068536692652282075101376849275410028365439010899822611799001215282034703312040105710003751139675668332659414644856373359186820272964575624921562825261278184992402631799346506200342730715553781400703423690238727473973958589912756638502779706430671993135050958082466906637432112908434034732491702545520929897703522689596707503513336404153853465821055693557380542144141021093072418070160099205981814387716521861813795286488331410059187612355194047062539134252821400121945675557610259978209569862388400652586903824644805729350818403954269911417870113245460114362078621805980006875306111315429957238076871104825463913565304354961954828417806838331251435749552401258091299386647572925671268850581718370830063368395254661739149189093828170670467160929998350756222363514465139165745096023058134051112370057582774134011463336919171406693131439709910077200078770721572650381644016758189723584967374302293262381338208131639080363333104814268129087587432461544080526172987711091415074986487328407064400585712215987250012839505823287320382491407187452990496883976721557867079267245675848840996030183920187486419845950906128338908462084414133009899345450294769583039601303688031161644487524667857581322452103356594231814495650850931130673082421719754989872418285834155416608619896492983485358895719467685874999230971902773818140004060858623089101508449594740704896493907006104485525980039374241931711669872691773390421946644099848753099173033590231448158194788240301477696150449711714227103509675834030196835886569339321599704434317539394146718268786166126154904177390902269583658637638902809612025851450619221770842102954611205388767296393806302440875199812033447843770950138943970557596122681035649412489297813331018656923137284172455541062137102524422406134270728107638043746760325000861538744658809344090430912971426869724706835843080640861127202855491341730774771292254191294846943508776965965791266076264254805108593442238232147184479289047911765527379061195487216068527234203955989736574204920714894945154870573176142785178951932807076052568024019577585785592534015928921508730040723237443403705511401136786505235408856099383750278515534689953256150340059954282793777157719058456984567333603757514033880072513593821918962656775422491097457892517007462115435085283374315666241809005804109212992542928949721270583586237255986914350680071706279919490839045558088773748408797799586855825687594331521226237437539359927728656238505192961970157362772727281011974277468942677335282255203988634342539600945218880081369591478488879276480556023819922087872599596800265352415307287132903385880492059371654156834027522587361983381301711027424488123848135244976807973171862066087701943754856853819523151721506705433793407541503439604890723586147206690108222744384013126979415795423702602815110638120287453480954180497706576574486171684270977163135070508064452852076684022144490122783842579383353409071796083495516130230000587332187257801574369130588390603462782259365602572872887037345816140875785902288570938801682928308963935833072153944031499764461072276989308280518273727613303774284461484531061430776069772545594201771425138043309721027214499010178332665874964520822295106620738398105664323804478686866188216144784139899578067927955426072580068439740043675230104177462501675002220912447609157822471481230000879864834789320596418144251614795288728581129931050487631187277473901052106617154898469937241369460667148832244301268751307315327394106880531447416392112874931790495064276203797218299127873740140825955978797751163519828384085636524198530720096407509639559888861321180882171173937889570919904526910801837418445084179338637490718437324447827886640323290089709454402007655076297689111585215761294279824163356140780488505229380962528035168000788435250448208786187913974853947046800116617323740860659154514234464724540474239183407550928504552765403062874818374393019010095975430143941927227524325710040251739684681968598200160954162893055092052318467558787933876192694223339500898282921403092248849238190202943672764574198356154290673741966913093190491839979547932313366024233033733727367446172409829336399380398114587864623867807813210933178498124020824492446409396582108362401255671915894508720461484377552046820300083939107777892881252027450039282836252504979572200610388719426146910284191325206067150274944506680090096725413612914583571370483411644476873170651200792767684466366138698763094844426661567754051423905683064066124108633908182266982399750262930306054406161596810554717081963202064860101775614995080095265636140664519942399850344838743146583956919137606896519999342853992887188992220992914573261223115803697901951326011363414527899450579830918641449809753976769283170722215273324330250517093227137842923782185339128752194057223883646778356778599877077106932471126249611250497000685755260686668014799945813475611944836833225249296479131317987335512310923760937443041000925705180248330669924245667985270933494068489257442021265113196605660730731214978758202028697115129904210715103312532344628836959362515710402420785475715130156218736247814767672697098699279007861207535160202911512891270380942440267288383680790971752438395678157528699545973353390967637858183152088557508421771587087945448910096769408680586304905301008018582221771939739146486178427022991336858918096641662753957426255610538176550116272562441149294405002518385257514657691507417188153622844595906576434980682957708859826479297541220597025086678562931942846493164961354683721988476024118019825316606984733004899645650745505490263708709257769233029448171663755059334444720509439875010992905103168283856032245341522372773011307729817780669741954617799432947167663368504505195403031811819884742818462838628194306554054668552744406539516009675727996089366491078854576633099968357776779175569279209928214321392974479743530170039590214968878618540832213054501264336948761459632462867859904782033890983096074219486375691207594793327221017977069746265415574916258198165695511912253364200659874784498510473212584789978557218029258364735005085117153783218592063945189461987936924531700966177658515925865487951953931730824129233217587538582399554143869246279582235216255540500028198062978778679472647016108030364793727003723783594661760408615126966471131857926510066339359574448232637522516824537576596484597614843874541287682334782227187862628497830805936974837934964060164310008959821668280697516137076444736056325653910985135979289129512438210142784995405836713702926731402935093548802276465517729618731868246056599283643048513787059739144896930947396564022330569448054841405760989192415931060500840614495869647767503226856007674581431304160104704642127249261762768938742528245644230210599027532078798917959737845827535017238983695895929152921312061450250727464567150285573121636059676936743296513088021688785325365686846481251705154998068885631167600159723146218733237043127526509088363800145053980031268376924809284929262865654253059448039628239422475844153687883897802409087846718232935252091831609668670148447416652478634657164086253319775065191937473612447852656508462082349675571620104274244307631947591489772716345238286371358264999152453301158355072001122055261929758552894000215671229108482836525562774554872742239634013306279436297254526829358313222989414752977521455164712961527895273265745960176757494958729303244863226688886068288714530359725482975860604140898120054457435413798855801617386370257773131474987441242260789269781036669723488374420464850086396180379689256585839346268018500633822522445012603415552943884663646788001805116418432597731871018457543301862910269558601411263473353146389976178685788572870175046289886941058113381557662090495488499604733521604550360453314839836878160961061853644646784338646975087911597514139836755100394578475733884765396566413140917221398483912913321375144053111845281887463851040007146675644146151978821622297502257852804915718670791107216361357610899308760897201268280779717479325850809976291143016430963913238470255148542743935258303859627684788083777454644488004555213898864499383412232249795396780666829199378017817801564307082988994374955517415783227190363467997949332104325891780568951715299534293013590146512178506219270591695982652087364363792182050349194199896824467597647067892362358528126848755507817887837572173626819084392479162403147829779422837465632523907231065791403365950527103472767812631559642317570449068554319480210048279636765516358295142760858457207325642827808600381421094384226689897011460918459329913827497927662802854703421955684628211715709973664664245359565404542257295038631746965070257583552828090837556733679595307999494748573513593121830411817133343241622549677455240421669058239248686019534980782928321264481635717196502100012691858333481640757945221075985678566359705404272631956755424042421610102092311632706829476580657769963177691416279610503921101294499776046236978018776163725608985202880713665497300931878403667265386115543410523871363164201685828277957720579954019371860050436761120033452262850139814663444800984189957751665089422033364559311708873035691049337031481555339367523558455080155231365036500367432421624879878511913879875810998906756186288423561351761970535992263249833603028341251477853710944752754788373129953079221499061893137559152658789267321675376840959003177049098991158318125004772082804727135682106347808099802037457998271436057550264202653501488180252251054891577479697768652452992878694783499005391408670623356132725370793646102346561835768411773740694584712761402923478775251692447678954645138159926641043800007062231633786968885143230104196332434396080997534317830312098369470877638518163819470367615719178424420360650582342210094432404160106004111139014359149695278707996979228046185268508050074030598020799731145368956733769867398857715655821843913223303014385406703478814006792115347848392123754746634825080010557475487685974555694061213715956768142217562756832962541940602626015199764419943230600050565621100706552915038273988091974519808791754283666097053715802050772511573814992826306539769815263902885296387358823871660900921967918019551886586929195578432406234784462851819128954361574726427292314785976709345462205498895306353724159203716440182047591125022241457115787886955479232373340884402562365522822735321878730295671592549825218096099069533586260413315344341531923985407727316247107772961930473359873118063605641149903504803163715447437016577316602026238256763071315767326743579010752958191490359887866675404388850009162551981905203730537688262793980757894946490209586150885085045006755982986396929496128470518564305979667263870805426376660296418469076880542654004756195068768083803660995221567255647280808678866337453342295010904003450264254929463715463147682546971028717105572897060731675824524191092282669129421189681233949580339744016401505908364985835097469703093353284364512435997470571155410526619954921782447936753464498882539202729602148501140108744247436385945772801619180454763530839072706179746363986159187088908702289279950405166670150326572965867575504133133218182076334591290751553930210533945808802084237619477418682496479568804435036427923224289335120693825430582816110567549371680552618516396403296252253462853879214499963042174290527437743367336914997629119535195792561371312140621655563025252014511083635251595587501658713102734223830595582898603101099623816366947599362574663269851044118577156454945985558664417472172887765284983777479167809869096630823827019793026940882278756756559533438532291483172035911830485804582248349817420595463846939544880209176609549566451719808675395283397750842467302611475638629818654634899172003945438106110769850924363807417397148764602674127954378556387850299529030600487625304176365365124566978783569215213530285291425450915479035369321143403784109838198771155554128417085157098882236892853530061577050005217702858844778826174218357555195148635332858291241537121737976905295259911223652498939452940543924179602411755765778130544416212249709269300102345265420677965475731095419199953888607449536503565679894251470711712773404253746140612058128935551372787959620558705738897615140819479564548329858684565437905405031400917843096653856275748135425835392527778548388517777485764399279044070664852794670389112066058528551582768090582332850947069825995330405907102041699983591096097188846658176634403350227446458754536217519836322586138141107109752343712838514859439903635399346404956143568114860829094383123894562285472648613164127798365369153059788220970696792674433534721174151750773879615732712625757320151759481013123300586352138839647704034521543472932246803479504032369820781873266629052213149885445634844930820872107453457848835928628271228077529526532265291106041719066345830106181689231480826460073621332700971220960693873237007840299911030542877308489332155353395035324389511998150824836778301162937609158323620758007886880123309187922706563602875606684148147516784722126128482068632869270329124997142816840065556804938792972812964165308472392384195991862005774316377378917369558055196170443386631106741805140271306533802306899471734176690043661152895918193014953036253164052580108060063136934652029904851554283891319555786253956739026234257968969345974827841677477106027532979753782253901368331855451879162649640901774065246765540797867040161266930865517543752211107213269446576264562015275679859377227932715877495968448852360354240343000528550873199698123239651045418686997622965870470093155627092000845160143806251543426324328752353685585565539383838598474169343129713650844718013625479252308451821379229147549272170730558651663
g=5
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):
163688
34
*** a(t,u0+1l^(t-1),r):
169943
38
result=O: Congruence does not hold. <=> deg D(t,r)=0 (Remark 1(II))

code version 3.3b
start=Fri 7 Mar 2025 14:15:40
end  =Sat 8 Mar 2025 12:07:13
elapsed(sec)=78692.214142