n12-L7-f10363-r17-t10361-ver3.3b.txt
p=135269507699334805315627044738342613578450643604973636053554211895138712259572054319206885933559186019899218324059907255494975656747827044425936379882758624751341603541165582437051401875568207070586932127019577192495207082796598716719535995650621707537900566344265649185061304579593976159562473491310627868442561991172891810294880250959571642508579847732499670867386652577836627578052978940658750398274669248242818408206725322832269449794413656621353333741127370192236997095212934738305517179612228286279906435298503012455704940514321892664437880483100303710723448780959820426825285421010371936693436931553448755528994825563850321422444329346298225394563317930479205469141737601279771685651370320689846342160319906805492822978059887919521621147651301951291044869750565140117847190161088260494067364157355623598841427349286136679150064766664396139068509295977626124867697148645860284689917518922654498196432524028433077939968857799946155427436911698105376594477608973042720362021743386301180709676407196285705960003090168941096951426170714931676914920052160983184300720793351884530500217609602947858670046109239364174313228308959188063281974741473520252809897158254200642643690120309532300764678396633102216238644680022856057178706529302397458780980827513324572845202331855801136335253632292694751129509244195525327391181182296238865593053456426523534972101422844250520297899929825032897317127276347714061064601978588251709641728638031782729758746947625270575915471661075046598884254001604255017165642161234137779532665518612159038743874432882935801924097147773642630530627358783436945708673290904887028735006706948723003215253709331944620048917082174148226476635664910905697453851868384723579953425405149062801581060476914594266237582874472080079522809950159439697273164758193871589879090624108681079404985827341741867088431828788561043766458895960984743410728183046095183799156126898365169142196810112750378082491236348173146507312109510688777113839073782302494269896680868866272861819359095879021570586958234681496551662403916329405668543839006604565597130935333762394491214530101623432275914398873453860410237409880510621215432182723181759269588020294275207489090553394219870259744179380192856115522589745790171408252231163670377516165521642263193420520097602540752887201636912589014745488039512678163519729372498430389099031708856967884517941226219505395408733382807294177548092645379600884053854453245004519137289444217397767736555951934345812693487983171695778977977543775555554443989869761719501861546046364920619833560387883443970638499495310645250481061016554392384719996737852900578858316295896577940436275025089216829237420734891950160690421125005746752186947829999155806855574546984733375397078011732877361609921929722888704334056627850116937116306211453245872180634071012354873320664882408689656422178137985237245594467095596370128756985267938015806322449987385770025683777008383438071336269609575229738499115081970889949908573977511546547847425355768111447158476790144114348415766763866824455713112098610717648472044912312737659986824212252239703982355107570470905379483412322771381264359860432400856473200338700995610077018966597024625982915913425260104907865093003285545598757294547006337711809126142486761762090780095735658517392820961237371905448338463560840476504009408959334488428345500581125505250736888920409080750021168371493496776659813234536382353722721109577771418197278620570271985009424340745147583199165031405339689541235881829128792166443685619487128665433721498794574153236221180352340211599041978697000273991742973019289827164916062358916581224058386728976545688460460132563685850266426460784075916585420652306597845173470083722283045763690507563320711254679847841630192964545219878400145120354842750431731688860030604745299180325565658308653012439288028676064025153485579695764778501883892468403932557420939506010971533173347040638357031512336483786054440915394235206096450857010595658403196198113594810905186330633253989089260500670896572961060524594664830629469737764118632275340071636505568251127332312007058943796706403101033495396817025691912513114064999928942130874652233767495583424454120585878487287434014470320632525950890589160242621320131625756562995743742656498001696177207285675527062383226608717425305986955466909116295346608176633296277918983371556848600633726905629856468752066554499305757059829180461534126656461321256872577474852063044245793654149079586130718479180858749964111530833963483269514517836927396682384587546365778098866095874656168528446644202362826296610891056333072728865309198216185355307408406813979945947032191048773301827589813571476627313468520031778699500813659105376353560997240567159250963997002444137204066266246901814467482541606603382907693907799621131616554737345787296344094329558683923593841771050397467754990092546822888205438265447442484769755726885786929902836270076350384422334732830855040980578292015125416398144675450646234922635622299418062069978519503881490247103051609403793484850954697506738157068400565425813593719080584031725041268349048736343588699011488690406602017282674767353008582537665582608057397771568986587071703737937931342113433293995349498965973157195072285414450338936463095655688321097377975385807783735815580031841653597255374427717288309728908659213953137365240816228433378472606446314998594949420997265000745563289554419969876596098725543906354682759671707468267701445493521728907941733060742451835123825977276958335584346923015828583818398842696133045254443915543370667891605604654144337606074247501014621431666405506713861492731748315503919868019172101729372246332797889874619157729765145257439190366700756079948332423312861638818811620014845027418367290479469805594838907811706214064207966094017047874846692080152023646785008995345008068386441999833582331950262382385628049981955640134454683706130156696726503715284425275117327648916985715530538161980892579091578632074996256113573888216270148331504492868166488198161746253697716912469805885665300861062877399675094196985626398050142050575038055030070899771508428045848699981124308816666889707940837881177732153245240315443483844282397462338915492297946789217957395798823759563665417772757541740628708226419100231839816785439526068607404795649711384843915603501024417822783029827790374832820576863765651759975602561215553734380528989113744827105916065347970705856584564500090373276558619712915613249127498544332375647719728946429563058909474450251303475017342233812006848957801858166480381912743412073869824670651394555189565031121933015575363564304567575450487614914209949513414099623486541467372532915118586249468283690338342103523311844842048057209448309030654860987902184626048708978331667856612982920604667258022736002224901832296495977127907951114373282427300030909389124026996181984236145151825794292836207238724884742878261492565857847285386771049789828382004152726436944725243101225462942767202691661908273863998333279453364689164678899380105722998853550497577868975066898414014494678394599414910611971276171640667569179497220049281112145512351705893556004556555339924375742482951692636215729270780675223202181677209892499201926522388455874278111751967947480885375484447126939507388386921144984576956397652597997963821729123196664065722755301707599517528970015173664044936855632751098587586688405491309878927854374402175123568780678904477140024691245076923030919936836753978882331875021098588191713857112263047761602846375543383782000722826128998490879574878232128151938575726186996018170990457994741630296425983056740793543468947307713055104280173332586579386409384802861342267379614166838654537459960892854847121560592684768925334197064416636074128461249059457274521502266367700474111117310291058769189195280064644048529882832049414868127906021635502013826906929036514675601663829514200446152814676676784731348939962696090906668815562083826425331647429491197788951930871913912918972091922500095589456464606586290457192733529986190884578167005846011485731016914370257793518059825386449220602769049175480765648818740489326008520038338716489149863418972546568094763769587292787543709793360207608523735060517713299389026148610807923171493595817238488799582413518765705256130803760501885588460068983512039813748172305476590418988654575488565999129799715223036535656828910454923518530055210312026833540099346279286625985534976291700278571843292411367847109502189241773826133190423822336920499380147686034436469547636069866293224771130838984056213961206096314009519057929580409464555644733722042587529689827291519848956001144289879225998468633405326494764261922236195172722048547685578891372698313815844768932637044466985952300202876181406866193510630072644549401361717701562262685437985646996739622998295416502020807558178865970361929430807689092554201030334131430496175745348726680299771720233
g=5
contribution table:{0, 1, 10, 16, 29, 36, 39, 44, 59, 44, 39, 36, 29, 16, 10, 1, 0}
*** a(t,u0,r):
13225
16
*** a(t,u0+1l^(t-1),r):
13912
6
result=O: Congruence does not hold. <=> deg D(t,r)=0 (Remark 1(II))

code version 3.3b
start=Tue 2 Apr 2024 06:37:14
end  =Tue 2 Apr 2024 08:02:58
elapsed(sec)=5144.359718