n18-L7-f10623-r5-t10621-ver3.3b.txt
p=1078404203975082281458334470835228902898709723974106459418643856212378372954479599074919106602548909787747926864419735631151354633353886226222062384098107174258460264715485065130886953231608563170033379249700137789350704765301589728356783252223333250266464248866416136929416116316091337932989118714400647732279214270632660545366720886760219125755107806450244046807818391361054029507361312455153779101573831076887137626943562381775021882244548872677386146377980224247687581849933919114799886740409817081030418018378466316219783276377436906425798177991037888327112816315411682897858977242481226992323442536823110814046251890822498959044827352640311015929485327026419103905099464983161055452585748337287554114998698918706656423724852932993274226231417874238568695469639862267833558097583831532219872400393056688421508965554576592938388388239306771431409005745620612136201044394223989651272162296226369125482169770590111810055233780729455911276458714213667695661412306100011679152293508252847502998543884324497661709280889084962567892642942882275617244270471249457756095517644190636874140257610540554920903551151575317519913691444291500453919660968528113208623346089705164917637983124817126430689192175371232740597924456968016729243532842718476910272050838494845747604510020739357740424659255950488933912253028596823416133857876970386653077950173255583404995751481924700421410088946408610959286309396678587428230723605910058354829529192880441109071572406231069627007100756638595288974426433769804791762230951676059369414664303482025745614579998778979725814169702990093129819202615277829005366564339677861317102847237322987018713989788400853619161256232908295441305330588719455737855382834736223080761262097164809585931101448953387006628339130150457822932893524960594391217380282251416277810819310763836555802500197595005898451127051898932949285437712769395398910375044255001481150440226556040186230134665841841792365163211602668837323447180215894927543564047083396001624972104849818847771643920989372382850457880985734531367927470838235467993792320616952180413093199127473524856503486989508111897170258486442382512350193381703378739855402834629503980791165953838143806933109482708826718525951585913652324892259645742072765459688390675874585003792532613689675411476160855763541964152923932579107062149422967783810742611585915199479469243338005011060889007424842637374015132748492758344308137027048276807582942380400144922992165461425452420570127751285521750346672983412482306592154348574155623199031607275222996866760363381631615641434966948924474363314940705218985625490693683057929662593869492331474260647965878742217469840374025845612161119366007329200885403567166021980259449198838283862517622546254191217376764894600040240560410935550205452798516337128776626817716443780263824126155752472639562883668578120539509234785686796119948017198955165837433055683033434686826678050482492560528317594055837735455451689032378604906381599974191512046360559810121202511306123231551261319729336039069156942350250396869578043433243680562248159487200421598124241304224555989981048992492835946646668167945894585271591110090831140042042840592500016720445827933126389534761707125978965975006663435466254103882755427522523984290967268249229800879500975944142214271810585725221533506693803502629273887463152913933831682221349008433869827675182097833011466906689817315054647998293527698209853071035722608441408801488413084686839284042735402249834006115051640174752114159696918469297900895729176989992307386782077361479617625778486062387914660780309191538598939200219278075797709158845440752133664965231257500683591240797267257998603387497261376763693150913394005969978492381189293873819805830310929233173736912402251690583385934855170411990600348294627610327661501911078814627837929705368267305288096086134067435602115935635809776031722148486432100113103668237774298400401172057771136743571177529041521741697957536972550958344217481978285537849518044976302344413582275391377534038257607360892765018234169316464201836459288129660998951568400804310172542385705511319308899022930555614530491843661815835853899910621393218844081364219193169241932449985784228999393375861793244249002881635526032340656555344770985861993739507098685489755283175575650629641995242337885650593702789791912675259976981922759861507172471791420855195399532431163196072006806587159732113492983924341034811253617417351358621963246750826908530120513495962545196468398563226302889842972643202260680776932822082651213247794294318712376564248390458021139467730590198052314759858951298298983801215229796266771228888221177407903687235742560118097663989196042866426921204714405003277789702053878784722526777411476109503977550462151919870460906776294122781738819066157847463032681664041850233140076110433829560585248236951452994508840667608958159191832485848529903007510022038554509709677189548440084262908948474864689191203366750425231578903203689976102309028219977662073786578390248160596643113658442992002739570078839733523824507581576358400453945036721946687298209257474969759532449638710228490969735865102313418839673763602941223167452032764883720144222636329790032095917448300119452617705794418468016449209193189516468029221526830970053839918832644447190311478277214158001817023888128791276542293067339564480802296566527959769078709490818106702222583998050872552627061234648560686782039270024411999686052422114907092162754205388096806064488069447300971883109740805135616741831981517781530078716606480531896151973431407569609999284941415218767199475016704906621641591350142264308883118748876195193539847917544428348737039907121560049710619882876654697996158327847589920818870216135194925723604425785803786075267180337038448283304340291324599259070546489226649269761874576164139202147384826549312612523022565693004040016118164382989730525614289430866487485856268504634604516037747893442606018219008144724830675485546605210634254416866063855041306047479808634573115906756005180904261740697930380685686771797489045396243276107154503989775155178915096120976560392310430868186445046226727728243922403605626021338725481883799279991933974562203833500540787808933947106562014961726176447750589692540502539426084057883114898372541711757820062537122779603921969922987042117182819207362531886826144023296816063977003318309766407486238631002570640187697209228907556738663680173321393743989582135147711010371859349889274569441741117760166645991735666614727523262449125756250259323394862937772582502418929438655347511887615591532135414386529083182015352818893992339623013202429444914683980893798777058390803015634379705820363356035891797820993397954336956365893653092655604140747959883469608381322393228462679277975175434711345232860447064457726650706444833133521193167370669358622289667319800377816096199963920693904104141404564738741085339783593924525769976615274829907132419946382471763568591740190909596079042342971238106436241952523689339932478301003919495610190230717570410476278437699197060908878837286436922751930007928001263484244013891599860014122521883468453613347609524495251873961452476221717050801257552439846805425557596146199768775623436960497137370969354011624618031770861323032022458200295564987887557049867920792505920016542753594422117084780792157212896758318666180394106966771140189247607548879147108929240634525058845783965622516323371876432164473274808559187193170013222306394881269465198329293568614540243468742848549334365237240572859464488437466856964855548340140990454735785358502746261979864857185215843908936783214110788053437092083104683586081867340728595125024744036898290786281676130088569617784496456924348156319831767648653650251443207727229945607258348377220090912190128609936964118221432646777528090660678660770728142521649006500611095303969208477122107205955930354623201319474988231545107739176732137193714651066678627658137286827283407745287388936167594509686175678518023119455462246581797359177397290637833232113378600572411284244253523105974087900301419228027409820112697130109114876927906281939371157240633070019565219381666352509911414610450421208217577539762582525547236634092890005127916128761273905469230474836973398203872646466585476756242733236928054286461839117578823642435560982457966949248524214409881257825890783193981711094486365388683803173300576154995335099365254947738254729708761344447673301447445464204483224793669887905478426912611637801100035615527257179023330284859892485126318593238881265821544684705726943519840444150208911245682581793987891976631807639618582602200800841183897132540174252070549294851040679895953823471008972753884248101762747213261849048812751827383671116425471630374283084409624547515336779516181788559389416341539928462691293669713694722667696632305499349859801202077018248770055073448102857553929453825285488569653378710064894618286839501311910995044520537445509317292868297537093373274547600018062821328426114241911379908541172548295710196880723613615540748172649767252504249229806681328634755222670152734284256112106283341734322088141719600970447439536464870268349
g=2
contribution table:{0, 1, 4, 1, 0}
*** a(t,u0,r):
981
1
*** a(t,u0+1l^(t-1),r):
1025
0
result=O: Congruence does not hold. <=> deg D(t,r)=0 (Remark 1(II))

code version 3.3b
start=Fri 12 Apr 2024 19:38:16
end  =Fri 12 Apr 2024 21:54:18
elapsed(sec)=8162.369486