n46-L5-f20591-r13-t20589-ver3.3b.txt
p=2851984167919523401172726811312476262441030995087208344739576843779985409260362975804475931715825055346548047279150011311905413545184565179582762322326194958035676773504861513344123001235095114642356132037797410417322505205838195318979472868769293157280541799674775695761449853225266607308273896915703096068489729370106401477141293287403256440339609822850740331038002290159995745477169434734396295897182621362852452363279256549475886442630967705923225319059658228208185934374689087060856898600596347504489870660003735323787261523457202120573768579902674649943513953374976559325484095482603217266676949968679366505748348954560060859122840074029392940296090517128788013956878737305351143948210428835014911669328079652114454867423106247973258459190356671875150480561431360948906588179139119780173358180040311510066869365960695243380605189682726963804342304023103305360842583190136081696137376131150551517840413406268100248464394994459823264922419023105880201805196085553812485460251471879122436689316161743938860343740167015391546760223605009758164835451384398219480887261041408382445821874881362437348728265660980159635746896416777017256135529137805394898436407434763091073549184977779514572137025535641075095394398494348078585957260426684315714402587769397724132233108642223029235547311245708165555112658039733391348921628787689223478921930399862826489024458878432751945130417067442659897814983287408410189238493716925639424918966020469592506863744081767846448928815504196571440332628103419943461303612466646858368593034315453247427368025380230408167275185057960423324191578474084720254909651757796417282446096656748785662758422834762281547789591612839429387224979631234198192462260988965881910038221975303680069195987534845175763984596011802870616326791945111764590949639513692054211103713993072290299673172023613094152282613688619141971947049500588720299840483227546207290098988589113307858504587593170685711658066299620721759444258419973998954684877831541035884202057051399778298991732799078230156995319004112729210132755150401013763116785713369439635398722874809411125420050093901902374926559928076976640488149471320581225639360427262678143149036036519459221336729906700210670186644995254234247505781563718217695717819690591723962191643023819630141664394145704435789845999666297945064204533591346166250367959470488488939571264746356778900592476218444115056518102966459414412264323225316135329446931149746776270100109542044369098585083787616623349293707567339198535795944075104093856402228400156080540999004275384852656371022220380094479076110636192627784568372734093610774559994071941834491179362982951190341181260963620723587373812182446592548457957550632505207667334245689019572358503122215029362562826608660963144459069274244393225377570567562585215280314636610128474626959135617932240727407952016360711351156453107847419000190146990800095300076856528907760904097405987737540080231789463590684482076210541041196044602057057156230097742114161455430188505972399025532467999143176191808383500771233035612107862596195775958962975566244458062759628947809542407466775963454037448572205574144165499138836316202338907489585865228365348304651284862065935506321933560587405139012863828690646259670631614887501865399663051272556403629159420010401416547323047148892639874520631812624939333824558687780303505696596214713759001784293598732132529637875818663628227158969522300741459005010419346937543236374083118005277065944602117571366600386331675235350839909808432772210900741231752969297660469570172476887531696575207943204367444295746220469493911114133441422997435519271388820487923062907608137560303984270389451412942787310246278863755314114833835208048619107666334464054227071578007898823739183634277257111557886331285059482055715545154335085268836080979345185808483644129152819572116862020882236474360489242813708185377474282603692654903896180354576042041185648771348493796758032159170931909763181996149047829373269964765247161053808887298192002300167146449033937441532728194200453432149074892375427404817065985675651917762467335020222640130164285409671393829963598902125049711933093547966425039841749739399668054031028622731699711568075111510717687163165666540690066559350245569497515442658324533878910300700351942288328852219055891815533550491363244832419454200601727420090628216154880836367375605157493036906669542080865029857476138715815425858876807356257241395805978463379115970709260060142065713974634432116519695776439212960900837421296061954462353927041641015559639623763772963517725545264424571982043514111312793663373953583996992943429416019594648487604248495389857980429490374607876877397060203637406890274927472846650966541513330009558705020614201047384069563943758973793144172605917857280854732418996551251417230328914152799935061616805969468448734177810508265285880286400683461590102061013658828729269559815410519788910029134478150507331694660553519018840432865850966699897056753242559914456562614539378478011395312714605312078925804786933442262636558572907484871771202708875286206725687527765463574111723813703067104753914688678393067172350044798216277033781029097197092456385321760766675275713775313527460327163288999682326447936169218486728593964986910190777568334679279228164175081935116075201239633132874171588021563545450918413961672708394822224829544435560912136150577204684805630315764554397075960029604657693249600288612545412882689529963172996062914054939801926812831129663976020041634371568587079390281894526285540105775153062185804249442231071337907043313618600319136560039588692728283539670807628589338825282649488724231142208659351159928454449709886071582060190307154968060498067664654621530941693300613262834731607138521610002645944471869018416506838664136442719483521834140577544319952306273454782685477204866775673274852643808141181375066967337358035163632628892065368354464328004547351076082356211292989601774949193555060065011229189589044876197803205627939937367132411203428189367734330062538417713454671591427722698189264990003436010676180073328345966051432180619689246336771267176653439647816477738168805897930819738970158950818293992706989038474730905763016931861892655513090990675379326448998646003680360139255134169752165469189961184784162927383243333185376700667185578249271354749133025549540550891152874323613847172921347149304416440677310343971398817940306398879801320507547411932261774218464045657679509321653000018630156379140756007894448745104959664522447725070712196308655352611293198670038693260203270040397201346590296262656706437581021782566989200189010947844151277024820026890359289222457076284946241921965341309459106901547236245138098034591340636534634745134099129513299987025170065627895801834465356608314185487838170953846625233046247055819565252615365713883058856395219602559746676196674853206955324008081270743977851144603538693968741605559336479421620474510013902722720289247925354905627924682770176153374938140773514592681955529763646285761668346968767568064305329856726417721487637876553095833470850798326704168980386492584161880055406301823510123004035340089087748478145148785599854227659874302324243375902894772941613696279015050830840103870880007232485242861184244500476008047096838053959245508314727449850411668289663415937568120575226075412241569018901843074540863111271218637617469760181723305667056172451503718206205136234852374725985272228215141766999655935060877683126421852918248312937544461835617470159809940521495743906094854479763582066029234769042272495421643983354136654099720225745160664003894665795675852651850126085501279250739552806432700705255941546677515785712066327549153273070921298465456857822630088281761569008316871167039337673325743380519082694447380736699802896322812851037768954752720567396932299643700542930952637856907851603718201811772885662998212200438937987245651986234817614428425797501250723747623438202214363156238701929244745472815024360010056019056478901848780522200448339844537436487833326850513108836445846292821428299204690036204353341331761986616090097959996760247441738725021248179697866940377611590313885860311854552055095188411682927081601548337689733608686235295674425793235715802707658934917291637833769993943401158755189943516385573116853576716182493631495298528109769624525885228453877643098057713915947909847212319569016446670983384773054112628161523818685567527358855717481377575932995614080088390557067868145215785327407462935190228424659632139735000216684907771373220537999148361427714505349426373880082710024248837333886335154706776781656701605047187967022473116815072816135400547109105656976766617736969553456379698527666709472557893928594025886163155293638946748742021769088945726621447437424727215379316360788277389962196904918747255277767246969099815554492183646292782757490371423140926822004073652082237302280832066282287992071622521838187529293458578276935039001545582012423979905735032377615284191337859707518685412992329204985964068432548577975537320989618416993166771812804800786341506647237477597646948736112127465689512307991578085757449632395017230269074285797982939068302329085237294127723096239875831851397152438394352318167889418088700514559019814218067989788906085277254302228079153028492683041222333928565807381768552229512704403268911694290950391224025076386152454017516426497881405368151308973545318072321179702626489316397327857608438501178977177646053662796481961867840006661613833743565069711550332300791853195245219151450346153272214018353551749273933992599656088387063106696211232038704394616908334616458277940821424512565049147016350889461267510229270028396790158642258297941219004454989024236534387533051514804400214861868089223247059326542811341779367670328256171995434224902929295692619754129212154112521515735643053882436398181732780505686873656454110016773254387204268594911390789265566777636038923232761150569874238385340228186596195273286976200750034895271018248604611007913053135395608690305250091804104532627188328055759811116520986427289469512060696394594112610790385211443923719723730718068193710758144583710048064182599377215766832377635541067203648492809418291259889835655898332919087811254270550742542277450781359082375640002070918901583153144463299343656131805301882648539788768921473093396004600477355115314065066742879885073907050629592740615521146779169762234237680984420278848505118871860098877931329314204144016709688044978459938294866335481440720823627732958279052953145681030399406768456816804975095229202481547407298716766665672089130790219241829360657168505340127286931629306022840006520862448224250275923093062155492099638185203734748537912194729764368527465194313734982150159175866220634875582762037614025270517927589554491911793219715508162496606332019629979229234932862389658979610674726469783821319388335007060871370956381737255641197008911570442644815953036084917108810036171542125073212741963247207665788358167680820387152841056640908797629680105522446905550182046288904200862018800820333232787998196067677513461742389889649276793296500213543045603939197426677792378048085981410157548031587561048190909022658159888213912893167251105179785453091599822207771835310789315810652405235390765477756363495331707239589419332055043091661827172574006400656428776284667868843577353478400853601184446962927365665959286722002922087991542508481417215365951002394398564164089378975671685544586198374458156636731610263492551064150385134974098492596718984595053086053826370553080860736607007827309009608138619780500139313313878523194844414406951766820707470656693608971969942843427914256779528231896995510396271777554785306604434734589875541974863683325657013621929092693110012206242286750477858394749397240731250572060100893581081048805709004511271909091132522755062775056830713612754932431778691166784576167802536714488448022999884980438608897027147187402970275847426752318275517499283217813771898414069220399816969327791258612199601109144601698399266748219666052437113821342315634688368443202638529899009843095501986862229821374175409101059515024321416929177230360592942274757742087114808637621974593915414262716735906769379344663921928486928523696950945479857964197427015293710614006164686698038017404491315739492256819464857938749230079609439912900801103750239008078622131103241212313473958642647794530935687090521851369218861288334279947122035136537305010337343897469346641181536107176870203439956731905650507988017025553956857519168858379582207595967515095642486914769428165862975015091580849952309515406960148853697034587799844325811164340560785059942001340606049234034421468818599804763628464566827117834384485403087295825873124566217200727312270812925756645487188814823779764328719070118860550592197038618828143809596714338710503126539303805266848715875729778065750653673413370961420432248446130999955499729667191613393412501139528640521761609735881341145336850406240428171798897431804855453617255843386495472986574429157972634371257495637140863709370678792845229209319417776063271459867071026854225263346537724172618445929545080576372594988398155394875013014128650439420182093102120641411334458417040710072965898253934928601843617802466663017698572912370856663907564239258777464211109621903341912058569006731013257511083939679564898036729924928469770636049073502742042696595038783609323635713327793311725512552362970103156183545342493750365002360233107732785455198630966124194168483266520536294130161411249342902692928501270886598993087114314084672888999394534276170545185402047374159406579793397852447559722840115745880174902041966336611115870002372642495169607046171957146311285186964826820287234749100243109060528305924343988440217078541543047253881613058625348093567347724497683074785371028024369222277153072952831523759230098555998618663778455224381484917122100482493579877318600603149556950925730829106077577204550864236531375068261836998161937042212303256704227986051834214370206854918594382622194523057121740970006591287843121749677789849927981661988500279204585302723250607467011552120197703253743064070571226010275468006649312715693349471126740497364031241771219696665777277721850321648751386607255349750290437701510071861094438573644234694118749663279383238131874075599378076179189037694635251898495977716043586866296484497197559804802804668215400826339072109847049198892595454257156619945042606551674793770612739668093567406620062695062358010034844272662258378036695905807604398916772973971811324756908408325599712409555760136491555743032377757823746146142320244259685765987426524920023140907687775325030088424682617187501
g=2
contribution table:{0, 1, 8, 17, 27, 35, 46, 35, 27, 17, 8, 1, 0}
*** a(t,u0,r):
20030
10
*** a(t,u0+1l^(t-1),r):
20231
3
result=O: Congruence does not hold. <=> deg D(t,r)=0 (Remark 1(II))

code version 3.3b
start=Wed 22 May 2024 09:06:55
end  =Wed 22 May 2024 18:48:40
elapsed(sec)=34905.288444