n86-L5-f32560-r37-t32558-ver3.3b.txt
p=499884450457644847822840582679395009572011707902009779694607062213802850622398210454435729154796827522754629942079491910182977071578882837449854410113386173590069779184604587394781278722189283197151837012058650634579669077638753838581725017876574105060811085116167459784849217187602604875795504614953866375662021886296469708017760975408728463974718397002784891430545316987385125503292147694929530399398847456354278206317456172106383852189333565089718412531074795575361564351493832773867442644019950382923671081647449240366130140818216336042542815246944416488875424819867443476333254107225254088947181806754368276678883799876441917120106720507141334678977419332291265763855232674444516937350341963801511742442743998357641437139279574549598404853515923787715759756847946689830134846518640477925385087053399512750351240844408443450669961753247225011013189466856674896686742997044741535596474754956060777780177582065653843736702130373924287619675468347927866956907538669399691015191528433649072726750516957170376788868963750251376070031961730500630576101516422680219209732801097458467502766394255805441175004943950150650006533649647671420406663020248363973244589674100420820224311461323771742006445111211143950627324730312875165831054291098448401193003485487325818228583949531823259136269400705676130215988507194924987308281351451974531444530748316303821209304603407739754849291744466666293108080160559445872216894879457257472409270596023792405551684834281198191164953679003690772667566177511352575897375204144305185679767104981589809154020803952419215025434698520317313123242822977389605794049104318703021787098176740301418870269010888979631646432842852283014791081440386297568269756303202339198840340072397524359241306375778840555681736846261726939459261103277082801905053149583242674578525008696310619227223629808285472301369880024362615729995475709158295724477556848535115227102123180231045065609264320047787121514615797364771791335327135289543731031517058987405635167185056743253426864058938934926050048913945948314058040693309003227378673333692738380356623351608074380669473008874719590878041399273433223479441431639287945691571642324351402282856558554543001657530398670756883622080761381102432398716568877544633081414986195499849579167546514589579505860525925455924659015261231155927843872014647741306477489561837422393229386206035157529637895913270051710147546472761184755014319551245537427965677763909522655500040559790093229154873981516148888136440128486974887466709366746453081773725768007567114108886162197682428764250234798772629743472323997768549114735487204931688286984501707769199140485809161560181059451817918390432373398314818373943344995712326294069805953839802721758708952317136210605859707743021197392528062747635933602769617604878850350274344917768030959740444771138537244327027330855619550912821877513508211733265053046731807825042322599834496455735405584081068973017869786795362550037197001257044054766298048791027515763035088958761946766102908944690207229853746914572995017194025975397334160182313969728940455550824461049966392689973478456609340509364608441439170981489753901648401336436033676192551870911806878270829548423394404346786762882587407574864763529455341301488705698818315892387517920001595197813200428800387813729558835363514855735641070596610512634596948554481015462045595224146192703582806147180977672878397015863512792589129659822082304703712015528163028252336472990516336442709946696248464459753274881372508304737838911308709524683335978108891254759064205338744873258366812022508985287197085154666916737056639754453924476639777585941563713723684638084540178657665608572236052433786486045108064688486491781010701514946030651472272253984886864581101462063230551178862320517742726774153563692138592286994476621977645127167087693038018889418962397999081986950664374918010836794880524336538343176005377718328303011489411837519677790546892343842638519228268355162427990759873681202819831268818494482344931646397989314142967544244833983248095759874794827197927768827503490308756931209575503712900211012841823994260482471596199908452941356243886340446414880459049875673601128444622103239206105488549749450515986366228339759647280853755305439678425104429039871583595135475730138488368786885638041722222628617452955929546297226713047788881153301237076357707895920198825260120907168562777790522186571995803103923346358335273665459100318442412478512909384704855656123370504509929135868589490490000622896572437642684630077407624859773634347563187975924921646389516185313832981861368457465216623991124611736481469723362118439449942210177471698106240729777305873010812361083317737598750557427336885801001620483710220446665245340747879004302646515484426729707368165992100344027379071036192889405037190359606821413670294622630735818106808971980996906175275436599268725462889075504650152333911313663828732907446176902906941782240102530089197688430551809095589296045004794556584886573783187104165860126480215377671872383514905699872310235652356499133020860337922945749223519078584012473054567032416585769219028722388752223241904656645892711611655877766426832672648097153872367398972583031550673262569366795593839719613833952133246690512008242269437041821376780530090677695716872115375564861139226623502349407113538704549894937808875700264338733938003286564184667688513680215376269748455593716932028179422209592601192826981281542378648575853449201170569555729225642245855497262358667916912986123132820618490489730320247768257977555178918257869991884260352174913970937254571452146304750103900082838482701614787624329212573035266325551799074761541269865412508163395409480960581839520403638660887628629258096122030808082929396106899150459462528621358033962721702147294943720159812152425794475395970879185865976665235606091329548843904750391875680769448474418068912485349643101713900057146701673243087466341756374528844878930794612584150228136373110000389641159693098226951808847175160777001705617252670156065807677738595224221400523777473979634462288792580577391399084351967547903779821815528983530338124178198700429933860157298157384135562156430204565176042761186799920387366873218366682300530551760862226232208980489437270687133214815405292711150851615897092789998987738013271777512972115956521113620586105016249804140221582303797738767178438819271566479832384296669342842778877510648018864223526327677180410451583673455394227717138133816287648181394455261003101576568244002025332491948352138365425597720182636332442461768769416278828778911496294983617729185272551488283978380706114017129383266781721736958114849241722707687767684536431470315772422377369492626037454536241298237713698881138392826759392101784521163000295104429144353014414862262131836450292523022696024494440272411550715543399294685917505879746212904189404931017804291173107282364363666029280620177286470088916775004480864193350936700478380690471751529703881397806433348961887356274298869863648912226357795807388304846937217499813963356470478603045228908093999145533173369706102578953466791669246799939294962152219514497597740160749829637307704328469835114350307692444504577946903698007241568062202281072775369677456389887157258624586396075151512861872319252895766934948798201324071450014967838205679375322886381616993861953898133037326898880239836137676954468246544222510578105182879602021508374531544153207756826566369922131433209353957008836707354671712931880401375404817006686499534133802076134323295050693591200591253105455565332463939955224635944762567321043817267450718954392635747552328819498335777047075654526954191300114977987041828742650314580698914281978912837603691538868171897821115471158637414067536327587558223459055844586447492851616045987659498765990053585783838748924042265824551995887059887838796352267588368780884395105748708735993921803210594919206998093346230157545424954273658184206823967637368209198614310478777050800247791291268030262661461280214668204395766943737247314263283958725771589761748046171715441860712643270098816196990602412840677264178006043359687099837382039807070045169327752667867271675175828667005119572505080925609513558863392346754471153381895617694563145578164000593198406072460772140837067806011538617571151730322713501782640106851649657586432415843753993489293453371719566918083410321601860626924761222405630655611223627459191632621100185177534230425966905984474737459699893365751467470253535412851664571138269797990957706561804146942986613357074106166561095485928833679190528504189458453211538106449998865620777256392739536089309228468299136215868254005723027927879983877308869339125259213327820701977154390909560576623264840496249982016493475750555736412663536926008109601075313790755936162033476974239324208424305367808318203649750527571992560629146862939805222923836762694341024755765040711436754548402031120485399340862758428334449941548210825394620848922736481551954533299152166536254624983913517163952598034027112407147433852775099231602349340677699679945717324315862602386227651643349800626231308777595303246105787620334954093232902307590887653223306513109514946044262143346756762427778734426774814588317524947749761214607935881353532684251451194484381438546698510796085659989229758364574728707117015492458593620859067048014235781614627166827822496384967854825822260100832850856149742898899593810684614365629715508498747438603148690627098377493328711831477044704672533988368022431698030692537224896299328833110437463313992742377831969570267501586424159736550607682150628447293126271665932884103470760380490241480126990125381577757301781063865715961102966850590900423984174869591512751291730798503289610901426041697226382604360277296582661913594414532531962365821890420523927960601069534812746107584102372704085429331870047337380763104140256058024477613536232818835384837713179610476269394429991650788240968050836632191992692092429765032340338442493879776919875442109628331248462941653409448575126169250006683248937921519569475532553642122850704472118131858196329956459873892018496372882335575700102013151194535249510263997758792016084574110725109262124961604708018433624036400691879919209533718056247189075902443567351990610753636079906540475456505682383246843772467182733639201107158514861700189040951229714542164054034837205750391854125623356653145270763638559287463795187675487271972940123195047293745425108780823911462260278770718124113381659995511709563280588513211081368599071136627847325709742654582447217760908741884971104202772302245729051749301226617086136165169336097107793218562820303885703530004511043992223107368067442622015023377519391488946863044451171919728350245724075813173109477713311747001528511690282025740805050040713313685944677905373322691565867072696083373780057061478708022114982485514704018553019459619174469137550822318301555649013083156862053088927715115973686056473410492000238978450755466352723705889765920265654975251804256414519554197762410031238024482325134797544282188626224635824730122025657666275312950552728907807623695418013667125298473733511578359304988833046058753984670144343308516337538594735835328093179643725687448125839568751503730312147163748341645070693138445609124251800081340771593283895132180108761756786367644053778583125090133186590892482333462001319276862184248796674649711269482264564999436169193953972901606169778282204397836883084323808125409204047446427720298038298745663665504060003680875208604370188338077114004995938195997621209658533058998016309858616965464211158810587209727644607880423819238148615673099650007221255416754506418440963725753870370700872334023007722444538106432479033606070033641593864140388783492460900397772439747659797620746433627277937695502344203877154397781009687951469985885699803146470826523602901430681343445381081460013159558919085506398372918621657424951280281014438861462375290245951214308700193754280041840739313971639440846641684855100993188911868526184111293757255452671686706416230804325548799229287751138216437009003449204573905678997276080699705782104218606598069847453380773928122364967754749531025603239044258085592957229254065833600667015135160344840309804871323703887741766440797020435272257580350375786408096272621569975859439709021223025766805710055343197320076222869808967167412308487048455005154462884537648491624681758336524574977334080081365951905244871199841713656280310483381862343021622965347665753781438112424650922539159349785102454440482489354459997122792996393345426189675782160504342035234022542165245631730638240997264623483523078881257703847994398882385271116136137058105642138235915360450933727456926740008032614973254452698309314647873248827990791670547239568484083454050097128787019345000101178463846889859596596251128586968117452090047247786624932422779633555218898273219354174557473278695828125135505454006713440287313021028912794649959477905272600864699501860382573003390787309112659498819122190806449828833955903475627749998266692009491882903739444903318994468384225306012416227380957252447259994687026864881363330923979637677126440069252878640602929323920588707627642021423019372344161814957903675873400204100615369891023255072122300619593379786066387081354717221025994086226827099769293008800156943323347701860106020595908705508062868793916888283301435457598154216956353848952331078088548382506430304836402731932473238981821952340859984287476213843863714674843727816595749794490797520023327634780480585800879358353443390020553568698987215596026906517005120009471975275778836518739751874983324387143477815348425836675126171094409444884508641911242446564834066096846163500352537688356019032642389027514779703750872365752131569040449051919027435115468158518168216958860015346939669014776456573260383587745358281252425528363224313222871132661810347928062323936160394669893851432824524526349154461358121297466334321344184373890090402912305068429107714192919667350113273965584733628129492004281721584672454884499287387852604662749611025575554639851569105819105675888325704062437245427339933769283821396469333647368880704828974668258767661641160458671824180214360811878814435828487621199098809544878960105512262649518633138408251014057770382481242583350717903585944859868340885845372382494808990155916595732955670515707419352161024956521339173570595114962406317673504069971747555192603408655619366506659023119438371710927345693975581738387150724748871926621781174528712693514305654680350345904335175230185276334595585431883126803512379316227470004485447963773853429688287992154854821584147090211172059127132533980694475133812448633987124004736471080533246635281548559529915412947753423753040090090923458643272856108446772124034132778977036929117647443886009243697092054752444613334115325778600359488139776389030556450659711280417682983481731670840967451392429241118060675391433367615485215782163404604481495393523968729439485438789993304293183986023543763787226022005044547784270724865942082666244212520647953820911876933244170855396280993737259343121892591772751594147624293251955950798317139420080804204718291771817810367790121891451350039254606867878829697188164987718806576463301777565642075475726914203067678290193166968360299420336315962905560101972801077171602436603038725788666211378471110502877029700628820815997000819885690196235195001736347922439888475934383559246065648143663766083922706650576560415477812048237644405809441614849947024183535927627504077805299984446620638169975642039768604079197786781545805234532311578275303029264005581300512955044899901246889724144239070880081555394088682476816152361054203140766416199355410551673295184045037259655877797386795058441569671283026617198502750491039911087768650637616308584538044749789081919965952293009028439086295923377393163445473002135731081491922498642267072010573845473557592460380462787716261384732954386478106077612474969322808442683685801457422982021104047987481941095757745766861374528776460688204494650612283471068407741128107359109593180037972204709024232575468287321077874638654042705768588851039773438777019009897227212097120273397115310217384418875106143899096709378902421015675213193396985189479920256041010830560370285520376632658301177533619864379746177498873309990317597976969685961102892067270464647664238778076906235589393535661974256499932306424066714871511137109975842067006218198480320946569787370580790019464747893749212104799174918507978315698621289942127563560588148741855462970363389679666496798240835419123611157815121202930019211114415970818735726562525863724400562338314729199507544349859158801804795505116301009151728222820026726142718435159938481088854612467541125238199737133369233324169858884388227413633427126921774559887563551929926032128909020277854625421560971913586802374598983427055084793540631920597469423794818954489657003415033932050372155097289705194297234050267282851776043996092097709441408615573671813412187472459237686116211698322725603691045108296658845593716951379331264433614780428451792200276630873752635747822102829654047776783635060741126299601052290836094020515178494300011326974862221199193152339322672195544109284401097560343056472143204030019105105957882428154689138344091396602894014311973092213984561817265131020225044926731764700300654161130562970611381692068266713713587614387141516175882222495611451583015324947567567061990872161408348621586753481104924302008537642839628067173551183882676937966069552559574665634736244664278601000438011830923197458486869348254459522722102453842767295687961604289447566151363240231063346318157479181863695749068416548972771203026748900796581532868446854528905545370598801524587023051039964892295963114387974680064589456167796795789845456958198963874874039489227333733218456563223401199697985474927185408021615049947181613482979788080213812444051285655154100604023004251208530619487817635245833488874336323985680049849028970474720579984707051353482417484582577713292239665221978957267484662469027316820952866645521566040341179216083703688047482336091044132431040338370315466186634990647991425427354302868003555456418675920391875997675704616649751276615206330919412517487975738413611501074953874805710847524680895707847621408700717928156092316947537696879372210987077420190679307224654099352801629630696157071058819463930257671000744209351317546020046543404531268431078171264097163736105976046591544114488048751306569401724424113999767293300697110968145240843021829578990550884761209378406922682946159454301027400645056974415645625840097481668953560335954403516309449985692506182531878024562550773987414042896232134488955540992231179839576520028644541356148386178263394905536459177256087455447429885699021681432890722603729431546988538960533707053774986626568636162301346587378572878058952531679033209602359117716806548460906943541655022077740607361454330987747900289748032555060601355931337510046516873981120536480478655620759775442250923337254905097339292316023260560354885970191762731729317707973596413439968168339963281412205598414723319744735158793744006260537546318919613386702903697278791676504441247354875295107856478848798716710066200074951270730178503176928539671799848288995897130615211035862401738868889704802310062191436930465531440643971229919755859766357665377722803045946198341981204268669476130459156528547838426013269185140516861744238467076351222236341414815833791789719922925805994822510341536998222945853849234857999138223743080696410009977682336387771018583899129362223751028428240099601557789575904875863547491079042709708914482961764286020903764137897672056181048418262181744369658747614473906789336371529084121417522734408364876829401306540317209759688151020949346121583172053053652667433891709628299880707864733771669839053326689712863918795463873585559712519549470813968271213333061176941124428648163121948867120093201923894857137768121760188278059209017824346949480927915101893882319280494935186758695016074842776598488767565857186083096936804084315890778704613561178054651521657281007871029673009412434697069414230125679578054867889509994424212197460604639182457157103603241057628309727842246981346329369069292606175827336537165601216179378303044725452624458166994423652575714421140093785616206001643084138370174692735883996555149038727315003696256119233264249504985572239136056980182842222688335973899170698820989822952630531599708192170284028496349533500981125957095257146114189672542928608714751868080229903127119084744276987905261991497256743656456877295648959537782898292407022396000332808210563473458748813896280152984363953772704771240758835313670073867372715876418803706562747314568820496090972613045996680577974694568208658727942403747325435001723084837390096269435314467136651566343658458581090619160659081729111419898886582915812478337614462312435249297004925600287596680606103567600105837316365542105614390527542718225377413476622951102563762132517965635238745713248647058197687531414553091389944242371714752194673461812316825862213900824768080513784283553208260390131330374453552751216282857702003951373424403505530754238526267009407399129272176480723260042814272905018292599594643573228930297167814221646889780998398636420105287664158671166163740912465097563508420243305350032069051866632819611944994885579965690390399037701269141572538687119658516173276211782277905300300483839893107091409747610290146192599349512237965577941174989441254593900547677431326958510767237184965061606903109965213018791371244071953226414420334607978464836766120083965719683752726983342775642171539203031145162511724195041200074285514463650740833617485379297414026036975263899841458459391569709126001908865371011243951891820964145354542725030424497026233948552699663228714299092933418733488641051361693085203560784761049988643042381411986862167183674625901720482912445484862719104404358049673377881463862343601898806823011408946693806717788080103214353321016376321893468344431032547798285897122227084082679671499231905305213626056940098806064813277335333637972138620952134730847356282990628807652527543143424547842379514587861517512041085465821264514000952986927561564929746788190431447705900740750301661197305580090517891536222675413237570672577836289074951546931054746673412936083911300312116512302713137570691009995850222566675955067982085807969387612998135496787825534293079484450267065699947707175807042350923289816498966898786170987450945536634231999846922971330325716424471991956547843485337592884563321156289392144816011733167186638064415498734430431058854584096333181653944530688844182142378400723924012344925076043255829178452162294670573742456919199710878503822051040166508207446048564405097586885547988387474131301174981253156068094986290719557573661272132742626147252629780442531618628083546258930415504213657453191636796125643186906569416194875039625864218548429774818106803219677708709005260379751912060927098948533273247553664033834328273388005068552794337404124162596822163622737868420599708061928674702596311164968184942922857151133110291572268426034386980644729208539400744371050677727907896041870117187501
g=3
contribution table:{0, 1, 20, 45, 73, 88, 119, 135, 149, 182, 208, 235, 269, 289, 297, 302, 309, 333, 368, 333, 309, 302, 297, 289, 269, 235, 208, 182, 149, 135, 119, 88, 73, 45, 20, 1, 0}
*** a(t,u0,r):
373557
5
*** a(t,u0+1l^(t-1),r):
375173
30
result=O: Congruence does not hold. <=> deg D(t,r)=0 (Remark 1(II))

code version 3.3b
start=Tue 6 Aug 2024 13:54:55
end  =Thu 8 Aug 2024 20:05:27
elapsed(sec)=195032.267359