n69-L5-f19198-r47-t19196-ver3.3b.txt
p=92474571860110775610829791445526972614637928999266319282183739453558327076784052882887499806393325178646687097436385960992643752640069802787877566337000528834537492102316624893899216893906074273831839429517307839759181976230657775886652750340291180371377720546780441819720518120227101246285922514268313534126376698138707933739117680186822700602529797822328518707935053201642203037321810043928593088912609951157553959967026783305919368118623337812391681110405606634171545644458391358572991247542216022095562571701726052479998504908596289699925152600752745233671719172117531253328386077668235791625732393033114734241886008270133425520395616147904774269616759188205165747364970354679831931951081544174086814186842166296133434425763159823877309224453461055011265720775020947674145684858777601917334774796427843387573510380946562489277886820072829738251766042489196290044931428583236086216714807115280199094617238669796745260604681436032724677880374948270038488379273962885193797582374294397225344368227202990930388181294763901256797430622167207019641936416142462221948999941976407933028476249384393833761163997908857658854818648155135477796804781139408240912931790057414859134829269417994829629902580445571371991183628840636072196413547607051394260515671294539891724630455634358738148146362026129183639387673964730789201113105416178173161692296050593542433037947753314469085335333622422007197734925536165799691357128655760360889667875659433584140483906726478522149954354629667152548753160650535810257227435065874726118835351383205109549664109991553361460536976669758709864144324432282933408038903499070756680434859003734789238758304281302721408374858810201375397152470659986868319766832327921461961118008605329313481808577713555983902117238741227058708512468985528503177555404519298515121737063538571613045549153872275266375253185703434783429052686705927353890053150837154611645106410280504910422434947071912496154996576030073420807043243877532026370618333225525335091663707234836978106257624409970614516252904767232481250364248281803161429358069020847055757757314625063707159312025591519617633588260676277244793792764058422506142925205085000096819367563993769980090917086102495534987954686579258014932287494768341878385553398859528039650513727246331152489591469883869710373411071516507261391654461581042182934104206909298421739799088037053966039487512730357401260695333363554719921884843121570977445926789065442802987282906668457530244580461604406483421818191226383974560012875334653928975858236804700391467588765119747648875976696741301539959432428725480126121790411368008146885502596319169838001500356041061892430450512302997847249323760285858347201230843374072918988207023762312435414806953682164930097039298577682061680619752899750750126885157708274868397712200412409730189361621176844228448560814616008213799150329539727606908980508821657714743390733021157480767046732972210270978023374792875790542423466966171769249559011605024922762277071417135009133801447233661497330895253552305179767142054448247295049902667009776839403495334690442459792431810581861878018134554850027370980629934162798879134894488951364146358540117441329939110685158246747610911352901725741933204345937749462447121625496242894871058936443436829208587072220358382325771795263396554149378165177871557887182538321071412904750472905639723553481078563529584405063861230653415643759213105808582511898565207414478527190684060628028113718419752580545714528279633162619556390619137211986169253448852962258094405654010100331619738509205521012569656450992743237519836837047421493816176122846320600304923993487103526660369134840470281862007336007495413731670910251385900263355924456915908132593539916447485556978551271080187710148415095031613012561179145009919097059870635909174860291765935612236875532837385710745486805803448088760287001216302699284152859263771398765401746689639033412216357140367295760892171467295897073460596548970452689247640430180532485366699495213696895674881258595676698734095072955153494787495078720084163453295885013071410296673515263379986905707831676844701127166984263701519280066676055080723579682208897253351883799185351947611018475595149823808122123394883248157692336493601911045720788821748393302576302592844334465936314111027431451821896299393349086847445889141364664657391365969974168309893690807108627337891933180051195461616367051300404224839548686429526136454197155571495450156154445365963057083499243782955693860672289440295698869664108814174300961409837656456621067782122157195935940796948077591547185303747481001629442521481239876235384734657794797718335495381069548660437499412478741810486704907473035336895674129223326697442496256985192282186473941073689749822393977579549367975309139213940111808278101673217291408348297095651642360628301375010986213035532778451187012810540023623476930766703604038996037127398729987095971065250394497785210089620322770463062773977704866371068737675033078408731430105187070362581383004558433496639345475745582235704653931559589596389201825156008989344296943650799266114026748883959906449294285737711585956361524455678864619091730580653359126851390783039410727413599869575119589677319665787650141925724944621850375158887674641305664776168777217697538385911995169193758424969595118544678643464845004897528033605863127710601878876989315613435209066165890322166948071442995989665311596122819663291404220358868638721245332398508181540111950478745693562857360536521748058656511590260088869455657054710526953552290777735965489625063511866367475333433658655566623310060514627401932442091087451874152147726864821529437321526828704014693374012734417593966069866365618052988534078685574518458944755617844024428531458034740445543460358321074438137594865353944646565289630293499864828757311164338367557639448228822202023653848691811485003731952506328943500395172364173658341563968564215756219255191583662208981404906310736580407842706259130456610982813325150233080634495828885419594707009815742147046887541086526335689391529474657989569575999259684021813299638221113629823677157907444145672646594600772121617316350713273961268933719086859027234491747198959237044508429370153861773613112710388641262991173303802642220351762442973870205644223972190808942517018723976656771177660686659142037340836460100789444842008628872867870942124177951233105256158601054059861170231225569424357179363344521347554476247192321183482309908553572962102765610610246414821389599414907573154390306650595179621447740357566316480382326241197461389241451543405104744424618077787458949893697665946157817805304074489282288886368052893170075538806421426135424557862602930219384517167701965552358920823211351423284319814668293027760446671231681827370146857430076883608318360898846529247773381854679003732805742223586763464370455565960292673753134888096619456090459229602564062534485667460186252089615461111632362675090581187008555167518536559008160643036429408647511769783941323844669016390488669011210390901733393762840400936630641233272136932415304886772196184032689804080440461818961395141449505102353480007391319399093362446876833710090807664216382215830732415071414191980180677901342342048847119122597435193411327206568232422707465072566528307960700633404628799115968878648777563213063197230425762067921899651112357772450919747098879900633103017577110471766515940270904786458769317866075665248227152204890269073607686699953891111434178239691666264493149706667037032787832363530993363629341239543785491178944435014667365623461947944579410475597867062218365256268224054728419692795718433935941325552250414212417873254010790488285320698582830585396209419532881303341916889958508529599862699233096041776342727181022315204233922637468419430960121860044177695339936216118193642705404776023405889272433930478613585225614636965813960090213374973242030111541089053406889789942023979655776812974913115402580992278405605266811243644566562421229352319545075885894366407124773041351926590228328242108228409895345966131157745833871301886500046812075910520528061586472251693694332549936609460203264148615077266930094301921923168789944249563914418616920468683934601981790343190762530310202480553623231349325887346181166785154262903948348370664777314851380789164047565824396279558565549700783145968879699341059579085985248567484994586308229782968666818516193348975731616007239629180986219810053154233155439157154708761589381277570322929403479342198005756013440671997220882998512121874244192825661793987035282584421425338820441984238681819614805836822693085314984885860512280272392753810374897888321335482026209085579056735094947876851613265411427682699916460577371026077622538929695949980641567624088528667692134428213299025818894709469517776396861639049883145155067289909242234608241020257208560140513880793057377535220842879594228801283613581760565130622362841018918636959966167874558069671624450617045412189965547185391517836571249801049820654959463721371068328939873018795059439573174515613403318883942872223400392520014657779849081911004440711850022096969624845684718585751205993262440941968538602100374137178365594871289684935932246324744335640412432712263045310305065386880075984185690024737653094843347872683385654125380351037050983637256631179440967782668532640996416455842394509962289784351784100059617359098642584830408578312129325798028971676913983998107347329474770587948194438200355677144748944912143735274134366723704192139282776446244325396862118737010138597632353858905431260745850673728554125166669276449600403983572162149299475519580861307570695792481781612289214180201662037625352663591066998578162644765228022144208627711839759927101014342619474530442319714852571342197368515405279280990533899929175095871253129221209530102881542099012166859372087427876519698511629374170424509723642694134447701459484631081383060212918405362451540668516362488869932774204798398003013867795444352330006628104012904159218116063122288032192600609638980093159728804191479227773996504418949848834450963540925429944682712258037937680317372981510315271872249841823957453777774718157778809940681859586140563251982318878710667746573182192667425661948617145897427088121902129619322661993152972430691257189040733142744887272110643433817461355534606005094650147853844412280515636442415469193663486752587858083150717592128687251407072252164765459497235474715871813094541458848400980245880995285665638732385130654477644725460157225080970283392311908763299059066634287027403421898984211648767182075035141998226090910113167338849358022513967898972621244223702907268640599137722000411483264322444973700227569909222064345419929858753342694132463086032648519895092084942564053007455719843002937156635468199230649375927092503091659049462684914312825515473659766542747409260968387678347630438205805632526209657277897484413780193490492689758120258931694160017227023083911644514878374523593588718491180982255005852784451912207539620319896798976033584127761755433032716862515166996420973183889606367063861850757199045374272378760241511436480851259825020218180339899711870314857542085647588149445964281268604738623741638168254829137152107855571249052519444632187451292987604252498051248738188546861293288598339603033626935234675641757322605380864985666002094024687093893471471929883580460719647166435024846977278747784716345357250126735525052612981141110625995329037941151625253941103427219715612317004862552997165507839409403193155075864559540003276926832077826489339817705479366006004582704074383265797431933130035179438091832017535332499951944073022352117870065665662624386621514481215022648173111818485355411568934792714570776403923205155165670723643589611428234068135573969822720031661049119496885419511685220116684385491294617084133090880608506743862312188595842513984162242691117914916672763014751906952176841535168855362012604502437759922644906272813409493188899318172878912723215225177186731183988902958682771735893382204071384601850541117991082228649856312663217699720442853883227804227923907678201898095278915864268402181475171417977147576255663597371393726206695472597015276259298901149886220362981854853290941519286432580775492055629843216176635526395175568795391458230961627736867241685003584896645261368962755088473478346564385493312182545699882674507780798568918475370127913289877728742650858840389159355630260469526092836344040029455183069224540772778168919913252801370805271280615072488924098135606535574379683005585482403936485853475390282108704256250700028662319810791132474342052552206606429580544666480127633373883264285217275440441595047153632639406371891326970391040352398546506309856422603990552487184614921976324865683507874333285380185051060161059608422676979790463533553342542106249116948437552201668504511139358725840788704276286146379504086138284476299534334933554836361252451188344112880561015402549755484123323603220001308930173600435052990664949876899968360766688543736456267979430822785244134910320693144639586361544790000904041526657822762401032590950436088616119225315606118987490335329235610658637567007763284512687264351339857492880724048662954524681268280629813057798194202427485194085694874433950089370459770452976826166775598135671470711578095015115838330502783791066679942954711342102610186003772630314743102319126509300070928376437365239147767301489645256940500833756722454342698898056263319380269545217758796755322848115961323660068560842269005116945412319309356145524166181060801415896915968899734040336968841754202064669408568066839236477234007199259959983418631177546015767476639268807048210874199867248535156251
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):
354281
42
*** a(t,u0+1l^(t-1),r):
356030
5
result=O: Congruence does not hold. <=> deg D(t,r)=0 (Remark 1(II))

code version 3.3b
start=Tue 11 Jun 2024 13:55:12
end  =Wed 12 Jun 2024 01:32:11
elapsed(sec)=41819.043597