n23-L7-f25860-r5-t25858-ver3.3b.txt
p=7908108156196849621710386745881880529183977446313970913617980865405118250379059081122240371252693634441300342319957613223010581953981410929048302093884604930403334936280420593840869380271085344772629108954363059037804349330479851781388439241822208190191750391984159607201752870169532597308554557919506233420875818138456520316692830258920079516270236217507765779575277665039565711497238069644781008789830094698367198820355878748131198413137886855582865585430582076958221016158553901458398105975123231101875953199739150808793508414533929524121387885160354765426965002564425470836903842368955843321485886270934697365371570895955771170133578995656822224821697002919530755961162050891125491060232980082692257797172591308734454310053692487110745620024797206049388033984554075392018522322850127241181694201663219056585788870517900243683930655795217365772532843454887923667907330861260063596110566632098080891995176522441765790185261906985132440811877540170238333306187816915482554576609251440157792434381343388855614229375713259824890910247826818230222453254024279767638118044680812025259055892121853828379042957378128926922931657764887805814610702801223496719569937667978352271538035095036314456772425309726567895816182319732367159148085025792041374278905532386510397682754984314272211134684534233161853680640986837704063767906792321603460710365489366908540865101727499438679713903952630440041120047353654794953229363235940495783446578129347991624799261997224840458847992991991479341845062236447342145984110483711053501052468123463885714440915924025153587178701771181245049877382147707237417916272652679957510737759856768732512757663330338371561856346412274416755275229103265492279247309917564944171106053899138561491532858330464121774777415073172579676399151643043032735478372610982522803122420453957467017579565581515513040381219566577796104436422985731801758414752528378379278032094277530213663723709705630737653231652094488897707843734693429158005721976063862322301416077080191373102574043000347500262991512239982559494499848067694777795091439679954276565124043693541960851535860054865061867168059469285251215588841466194664757255707463392923326076673097877097805832332730258824892548279731859875026680257725792348705501303887139343523273159601586705713883128905827593827734525719345453931032961127918773494630977653833374591908181124906861620993203610107806995999537148919271387234242513404501369640222651217499795329920123535423902658623766915415955503205572951694092472738863225413248802161499116699213230621408189220659802436987351921221507003058739375909725063730963376569892942659571081867724811111746101356585462565364366389703004258471342980652973525713834339345700297106755378356733632425624686971438046199610193889977030441177198046709948458902522926054058561812644779601343723174525451474565484137568569929529969741232118518929900668678155290135702087943576739511696676780742050681195894009648032295538687991934580979693259177726876599595048661553506571177717665276570907110058808073969162791025868007911476208715495403744295763358759469319153283595922241510353161414597678473172914794090956111594781231163003605177069274158537539013698797125508551844373326706565878888994514963450485620808652643890375870557101455581597875372163127527389108448344433372871832612464737330461017519537651095307912224124149882942130069922225470742195060544086568146725697490645550327062364432072760843247802915877195042454613993112134907039893016891610127222956319280016965912376091289914958540554893250913817406884715832763808069195737124060508867201825670496956479966195056019408794540476175954421861119394033475105471473968357621979652181216951340137230331957308515542414619677079260741418306472715068810812833537318740979629439660112180437630354575409695664261875881197413425328369205582235276436019588434719588483961201882609446886953490578883567708372913350955490885540107195523859845330129874148489517852395523680188842722142972714543378036348572769455052787518744488052301082199669590624723007436950399120560652639302460807264867727825667489950774291474482111695725317916667631882500579772674523561739357052836103288057943967880405609921391553194496642913435077304086711103645940997076296854775655716473937319883155337641057432556390764454587717978679151247260179098866877580836304739579323345156014645695490689875721939282527178402856169465860629036769416426011206119236981414367947851750288374017202980951587758466213433994070500123797268702388151179101479909786889142623994096519206451503481028449241717452240786627355069688285570246349856660225915900486326110637314475359368544816600875276291914758808365937410584643133073618261447448268903887506862296873116276716248763171233980169915116145539488739363790973891962927592391625021309390986891928963222673476782806660957299226643405270905110268877029366087549887840355031436501290078484662191308553248218162751181546826923263464319282455249027018579319019300215202161868294475407180746142854710914129929628008952410199762789478268742488956411748237452340407842247371581554448739046782346044227895495847332152617067985760019847216471835617108081950806226026060448315745049611436897953104227305993080068518920854963781532944752869183778716664901666881589580243960466662580186424982485382154082443521186204852127928611197998287864281852242574762259988959737570305658911752654854783672268197562869011176808733774674707003045715907791290104041425766809851574050495605355900116881150524793730457147484831563443550136627364176724579755029260329990965511195116274760937913412670863144126819456845548494420012081497494235420842477553270105697290378261534180755464647489083520960515005068451920436145447287136836567407307599359031947143988602244112437223944591085468871890626764454774513397362205682869082937795702558049007487549869399411954795114882927699014641500940322898565705516056797627936748545397861157948994619433534859832193610391680140429481547341415589004554924302151596887743254199383845494732703183563208937237482611660150856652224750563821900295269956794280429475541533377578577117740266824681181795251887002489058054413417825547940103560288947624598581119187652861575718997503145395037708056851303832971486424697999628856190584356154667931263846353226040443801888723588411733606067081220766802718400241496669440308522825942614293703546339256598441828009265146027826829181383668924120331889085279412865413729805216881304384042108977424652261783616249739173580664531820171038001469138469761101317140099271988062194272755456616105074212343405677783262316732208573168943596384711186213573376929104080195038821528772213078662615799479709886917644337190804231587653616464535820703748025147804938670561554306337116978044169721236270290575191852148075975706961858652974886782521721145427823194203773651959122389745345123762644909937503166789930662619247065808215772811821713380042913904420315624576267755654493219844696078279762205224181416384428595066006763162600728438919725890206826028514633077321235038601751376729788871020118563254617784212830076447642788529433931398046988877404209137438621173410851116520976798802724984817591778571563179520597932459570352169264716086160582227355752976150458595164241469478172197069458342327379994953656056062356820489617181564145622203342388022589803663951876280434147230675674205812812453586558147865880715896789497502026969054034523909209718850490617945006189039106143249335224907750470679614741601142857347496172939012973598406898299022350060175752397009013349664380324904560852272282693703380603056673293574306714195687342252179971658391960383021936441252644489259686705897301368804947927402251265610953925612360574689858675117236538733659217578431969964593741310809326501526057960858459036542484087552076495228064293078761265458599833401807733499708170877518858412887568975654456746772963766773559398456683678452274764409193484545607809708022665286614990926971264326228285731896386118481614893771160439842445018354590305947409450273890754889360122170464566849750336646597525510965799112541723055710598237009572784236744549536320958593217735522059303603106635755051104771288487539663883162847394832324102485482009373621768491335934441604715384961059891023767416279624167219761450326193600660652132713560718848697534450399972634813171467046917621365421446643119834570275543232954021693370580896583086640681006123920920733701142836127347021472162238971944666529376463656669639138515386518560482507218545516913792529806641543383529338971581760235330620853966585321222629910443327956989298319847521337167176832238876095928143953557364455923804645241792062889406137889007749172827367615326834478020784626531912579971974665134433000527732227770571876417348920761044265645814115258134991455584341418605772592083392464317105817948422125333792058887704074724655349251752716491301642168685640150664478194791892899814655437324625022110585358537635278035287370242346800101780738194884257504616625811345789060032968922174339149156035037113683222774147009608843215039776527436687123126998776446464327622198781400713116017474001080645106106841710486820445623910645245576546501520569932965918833173553094048627190807030814219656220591766237339990815480752628183965454489677558437730352810459299044273073208351220511084765096210691492443746165948313506728867331775029103313807190590932480635179809398757404681168615889483690269631453955811199459644969601577919590612048502191078888400217740145651435275228874126979847978538261728041036586746507456281458281380327784934267211100877106347277313148072550162340533330953124653572704832504939086409462775897272874216843264486577629707737046092631229224911618195361621168610686061669899651445153060369069865999976978056333883804875516316518363940061327812903776581807174248855566236773484810047971414157148086230013844131399918068518559038005321939907509772840864043408902443639047986840053411503613286185920727697493704908201030680600896402880222373871299254011461578548221075040133748897457251358299413527550641349980222429054288711443662366423631626146019274265426264240735326064366601193053880772470401068286668224135565726556256827534855637847716595362652040665503551314660589962865228473950553562818989851967841405998388370692586086186485774360016421157170553259448530431481707881033572813625162989423151441113217649727386726888492050647627418984047880673167158267434536071653174730681739028071239132216848572157174480732729282966400601383050608917885579156339123447850187085909767434562842783154659264214399999119484858125880316013531798923981079515780308110111027719354709992879955468195345868605866335132027702716729736482715791384275862701243352002636268342436709804655837042996626967065253047126780332333968150170840922009724169824967031088909770989735337937557614812117491364973808411061404843771641275527004579067746323314554774989922446386886110177954033326091235121183840886466742178102431029770483249606043476168579684916376754289084410723413857083802032944984499236331205905947076113048988083911413123416172809341832724983245543998134010552784334153944050847369420509950109807853578860150743282546747334569348442912835011983668349727088876662557587868760676711387954717966011753784300506763339998269525970032196088211237523306226727586028210217329433823416072921446637925771194304661550696076951766416500951807111854644262556591891133014764312450878140758117578963409810073205133969663403091211910145573378292251841258756542951375249271070519472150343145116116355362054272012325231037473570795542078088086017543209829004025740408008030275421934132069970180662212290139100207070647797519174801773897725263216549197885635644421909020803959427128916429204700813223415950715220025558034453926592647191448478614611575154308595194288878103710665718474829804934820202925021431975833632789210412469674747236263532176025355906369306601294721645656635663921767895684868908243425380730439057217876059939930566945634408469268694342272197068171725615250451551952100050055784237140443373426735441445885037694318360827516200903504768347151755771103879569699510730290888043957234029713458774583209757978648761091758559418456890210479776303865075183819768652957135142756114813266849146762615529629887650028162647034331993979434921873541364624488332200846355204692610342930597443694028666695010955870224369640622157590239741827115734455406971368610436745259356898900390015474123986841823141042557366211689991289882148109003966734013047184896113622834301387717281752435347983780152185704833860642024709365986052109928576745557737904071721248186313525356641866492304735659472486816996054111017977948691982868578634867565458682008056730347874236217836278344958568709164516404431790108472424210408747127398003830809218384335572883793986619104026749452827788571380982985224438707733292357060476580428940925560163294302407132887661075783104003146479433691207479008736956572805047226348232988329925379358548200651421541874015888939124519000750402977397744269612591660232821538251483790046751938485647707742533329652050445556217635504772761582273763435082111453529392978109266991512357496222560513076654494209723354441719303291812613748378058563696721922744482179332873232536612164992422823696779252725405845441972449267388785535543345022702583990436739905414378689631674508878044338364471917391799375018351766205282957414882753238155916725150395977304523866245816626372671954950198343501924757227610368110150990894418804964261079060548165947501889086544960628295965139474487480593114361527787770111274561780607577897617799636780923369549848393539266768972462743561170856330471712080976514675486852636373282490477772760984704403393768105502051642357846597884155140789267854875674909748331783961437337750082277250436066809373042070876144693677839874164977685672534528724234969801391144649415633086747573685901344208549366541633555153640481425354248548024312581113424006269183720954703669481123573218705075982317326559548621275275648677711434676140268203212988481463091446801539627022149251606246367714164947022386809128356507338550266379487273783599668450278144592358697571962813855287890020526966436422911197322600231225045411827723016939555100224944202807235989900284538039108117759674170700867716454519372476049667164883484397571365085539060916577125404440969151173173769230909211351763687163456956005924073495424153783293850151901952416778589707830656097125145307661877875448539159781182622819688865668932089951961772196343049944761484072318182923458818211151781190015382446858566703372801718702227085640039545161666930874511466556686170747625661276254447983617290141581116065219951941782581775612775047961554142093752273133539303763700761118433067870777869938113289422957443742735038539130605724459801848908693197435924229959305860412696073378991471445713744287708638930641912696528842948259214618013331655570289109296215936517844338107067562254703779510426497250005936720692749732455028436627994478654779908672751991178253971353208326084074094250550459837639784727690964397419035939583428246976385271158397659644901432699207117233265636243576701217537488203887814753743491314950573164468682242692935585281131181004264759478288896897446394747850651613715178123014208216980173081749856074173666554200514830951019558562809242571572683161942451885003334847201247180535346031682694709541337728517293954880779339645716200235916216276887232861436887682477146365449102556834377480426848481804872016823694492067522117687602956289971533892086058783505922160836975849581232514840812460501517827904144232795622575224148240622041576558195760517378320212734389464091997729361980623850156443734593365332077736115000121661954619281468732039403267535503762540927114511618134790873781270342542969429146857959475662103515194727494701957936166979646226735639811627736586700298068381404872039933460251390259209695241900062945816994898788671213208248796037141115708325132135312375975501465895808830515094051496766309150203372517564025378625512430041606043529791077036930649760065161176056858494080185137908319944566433512414344476620362108634341565866732668919279655034472409000145827673973990648871569469843643357153224343348340237298543139775116047663444715530893011314895905258939596287435267967707085657168568466382018816828286098430652131366283689987104640092138869085770161725517618740415791745149858185871915892435337274750219169693317955450157607275002442285416786574571952017352409695830336518042822991347298957084777912458077839714571303049771888248105673100231432062713457412155659253216910463080674721068624903049642145974243298648332773592589924054996238761657719809008139034077735138523984463245757124450646163544532835200267248794659259986650141599811523683570141035431485093659634144948600017117488844316028986284548923685251657935352320765990967575771101330298675474691619360108019161114538113807687065087211480643656262797362811915031464897788686192835509550216911121760171542678935845151182705238107251445255545012212395064899424905622397697472915786070971844150953608672221377420197192500368281557166401543345578964911379880872315931650473810592822000860278048290819549256987942192530426673240737843054965203219273373032062027221902532583351267644834295764529893198652549494645628938370145939093481866754630402091276902062555653604387284036132713116946483906418760217996125637072290314196412132912075361648015620456250129803841470526383952950319765123145746769168936676926062917891848939367577992431029504994702099905761323248403533195578357891163538383373282498314310406762116529999092091473853134901537448780035929484170862618573982862067643875618074453450117236283641669384486388865602011337743992975546829093800848383894154728828808291922797072090946388856321401421364569404941357621570102855827323560059151186012804597006870588680379827820294235149563986354128739946283621966068496307742289533724986260712739052618839700636127825905316991353334800865770140893696329421324572417928051044643690191387221825367014300420435375342903875773850318998671392467227139000627286225662085839821328906427487746428080928549063738614889114081889922512277684819678297833752960233517289001988253530336285907541982328731460076977161745341205914517015711479977653975286352685167407650261889789625168179053931167589119448647410495246026155421959256676652640383362995755247060829995794179995528080434518242347507597981577546558184299023390251227866475769922474413324495519616625319847841530246232732122339246126334553418538486459475703993696762089204182080193440481738227854532704526592340429277117743069920068423362414002594322499315079390227650612863557620345512773694625577383775852115320631982812675410876174452299475199997306895876326366852854502823890259689633590073777542068938072286406970921683030620416982007074950562691956794283692095386370135561826590467557005485223196407092531805812725710677250709257448958234309450205226825399530762893952723354233720915650387416147247261631917932448616465387981769269271255262646494519411504496698021575241909851705293207997792054034671327158122695881622028107550087714001981395210013955288820523533388376202719469474693739573630643983592197018188730458390759668545496219570929014039372403136490793643292319485016161532955997059074783558907707837766742915511981153135330948106983878389808915794639387954088277465023718975832055246272339929012362240458048857790300666804463266206156615752777812915089151153613332827268172416993641913546388549414432645426461840898650355402583543187953369491026393859726289383668685869116076417989563769155523342057702453719311308583031810583552047634715667116130096181997307638532721591140528174356462178254663753086317627712479156026110431975216852605765243433704452933598363643394898734771033076888398956912687899210029885389621766909289604230009851546587648141309652180994961568124695544953966228942193989321572328704261525067581090341708922956988162409179575442352573106604745375575999314519279768166102444926915631084555951172638811396255659580219786959535384607965552000342608432430920175343416798656035896351145700311767607572959929737465281480637554648730645864598550633534276404671017388516255725523476705075156384563959384982654003695942863224386085612615311011701320278852996808928923661549062710839335938828606251660892620408364258017084245871975447743279633799872079036330347278577015937196577223866084846556425917238828126908758364301131624542412683777348514109348784317731325612252262980489662026629702971950130654488283750951687989395935825770078938199286980800987773609916729919852208967790763038350580573353957047640146949813304128157400530525741948725953059765205286939735328621404070599345084411478742914963184308691571734461558560267169346619027519001972674610387811676210315379579157696564806970279316179453490732481475126200329248346214233550748723683695095048737901799747945090450218744702037050007327726536283222281036151854334268674418828388154169231671425504839127540578261816737625221168463314130538124467069866741468112443281970877450184428317623861908036798942623147505739219241037315643872938023151267229624301720121278730105581453186550763016599485877819104470392065739133607820534665144717562856519794926186424133884506555485768947733226585961404403986600046270307108797304612215413885850788744239887600942218292259503062091008791659322638383781914670215162878071411487420522768482305551255787947223470885344056692671948009881941142812805317405688271835266202316543496391373506866239738457971435476690503412406120257358013614689356473969356122493652356248857538571497051073982976700420922803078122816308814834514408934313665121578300674107395949663310364628748289244999307482123549457811747880857439167771464583434024161409994290226230905710702315171499176161866051571036655474056026635664866121356647409429161621799079956144879522558425311257378523052914609026771571791830136616899098832918401734792959218259125920236601233214772248933670704902229590246668060972427756414949003434455229966733452359469539323656014634202050190992196230038536047
g=5
contribution table:{0, 1, 4, 1, 0}
*** a(t,u0,r):
1365
0
*** a(t,u0+1l^(t-1),r):
1405
0
*** a(t,u0+2l^(t-1),r):
1330
0
*** a(t,u0+3l^(t-1),r):
1373
3
result=O: Congruence does not hold. <=> deg D(t,r)=0 (Remark 1(II))

code version 3.3b
start=Thu 20 Jun 2024 20:26:14
end  =Sat 22 Jun 2024 23:24:26
elapsed(sec)=183491.284283