n53-L7-f8127-r5-t8125-ver3.3b.txt
p=1371125036746270299074253017663980408758171358477901459328434554238243450099664416163523005971681752118125827396902186763478885035088160116660479071997355822917853262939811304088357841219676558030750537891890659799766996476304360470952232658859992052553367407127385682072037040600523637852028558615321604229173033963589102325044575030735440708088183833139858393767112060875122612197552016424285929670557586088488643744515012663525854696832183917200721784609607861780088091397190913076397428402463399600308076307615344280264111911224478753628907452588729508935768096352718985857008169435689338770261275944575220867613295359524463184716889982907765110602004459118613266876131903903953839230493308477019979768970781506992185762352599761133487679950067153576125952962816711326634946317622823639831206075920373293950564589343288808682142308869326167631727773621780154398902592589207664956641075540848459937350850886376471501826017836524808366304148593238961327028558919709419992984151466349949945123143174727777531513334869345649509506933304440428309495660714465909128925387471869460137205455667317484757131615053624750948309311991653519034402007897040450752842473384325105279136576224172597431444458138797967152382040525072011002033434280829162118965942669589797513380387882996500244951960161892924747987978587615521389785323668542081566626832812537522604616458845350829989571051464309930699841049201603028921592696515825190438191822883040574519320768287141993102946119353542271205440716455865709892822804224768160620780016908613718859447172253131609113735037519386565830834532384867593964764917176222533720269172955435072586610455164748657628502992379404122556034892192326814116926148407962726436992399030798313515691506384274584770508966743554181171142486980500885547006724654930090341860086589371646609534462519357083936738959288160544748470173656301854382875051608947984760175701588932778654521833442824657992271053607523307382852410067474808629570163104505069426633456883202090111342985486985355326934528873651145943991740632475881742078062778915880595820024867924330663813777507566359739605826710943588517000818168294596887694225919402604151652049834267931668920581879744710961351652380041175665971576959221467207737147728245062130286667114489011073964293891668736391668420554593137229012582882918438920047261215162295121518353874319891877462418569963939016677811361733854105272705713127807277140513676771770844918708027498629554459832767614180902785971792807083810469066851187091026044047521676477360677936365681928334554365377996332841528081505106019033753859627847589283908605555236652937220475773012917768345209614965157057604084973327761430282310859052076263652739541679257054345035584436007258969323687352049668767840378687923213947091066217106671372531615381870809870845291357979804253454837798042519218048346480074795044755340959526345064645749029378217749492899045202595674658282142209826943380285880468036495928215333684380971688753371419267746224353626455445078336822941411942175071514594244916244563887959254717234050785853113142491927029881376775428059172116193005849278467763270277031007679675721188966601179056291416948495228188738118370528221993028444920479637941608312926804163851653405535764666791786819611692879070656486156193919159675779549062319553474614202511774866861042651334431360727702042287079199281385485746973235505231255385519351305452063043081822112074326658866082010089556209097820180727266470513212525922481192301417099588611144886458583270854353277611821337254666012865553373197587723904928164774418562369355720181611667673584450233782802538358570365659896775620288460762187779846842473608036368420857030584581721957433323470305986867091527007568897807985870813355895840076982870373975484824833968489880134338614500513136845232030402972922257075414913385970715773890897796038715996957978476289920554309497439841356485433765232938609131385530798786973374990349267768795478983692823952994316963667863452541021668011919652203876594495515399328091557767095133251900987405460804040824859514019512132124089341944483332080732878815260796711668476192375131955712481875369232789702342196901234739098402448046736175225944757163066062962321888694403666666659352282623013108617032747519453597766403959534457645176970106599605934201893550931285962010793842693802736346466213467135534107180566381740655595933919742630673451163199216442769687952412573841256441262044404391968146627980193694753370570408233271241320524622066900901600510700170433059228064137715383242599016561406635975023246611011330116812979924193277370361725742256342850288511525253205254492431204256025377397528747622514135532859741432388546696445199277777738614210756714123902716175631052200990181845896837261962359699549616624675111657322009158659945814272345099364079341514033893518134860071816574265588462067565379484989947321889191706680058664573943285310441742453235146192632524161523141148600176096994026033441920773232332511693884507296954037698887755914578573601678835064464651849314463167656355106671022321331643748229866641490327996972237820674395062001157530435287219410395511170162871557692569807069273688118313166460399145232902826797225929691221721766337544699224664591081795862919498494599127560769973295916252709456376364915691981721306383942605069031829935700436607500286583181304056540044045249299369226113234126650681571840282772880413810213135667572179550665670559765570827194467282850366555879672178123020742044419269466150553959386837659007368054780095188317913128148011957782945000906749023139272018536375777527902623896498209052025783466974649394631026626936979910733471126767190951028570514683698048488609373386781295250857636867321190712306977083924537836039888152911271134536530259710174817290994902144237019845626219795967255642523067908717807252952195048550016315304159996877862345628400212708775779308823760160675185916880219431709278284522728567033058287468171959279104777222259880322542169053934520548243472476767131593920506034053219659748669556946179153176354786100821236349728816707425898548318459167078938591404600938277227278075305542246470040035109133328668087316246551805412024306730561792423152286914457019405767856249281314701232732601230467792003925715124659772131182736558344430698590256178523622096236297564465111156715050721975765872777363570397172360774102230557401321652297771123635318751058684698025687511463815375029564953392835644309296490665535297360542518074181416613676721242871295000023550673550747580640948490726647383084535803562252357427277849829386063250760434046404598072869272224023361941944946948197776822978853576783403204568175988115285013422569591160910098669500231271310352773682285819994907560639919289648706193377388546594390224452003431907250161866649484024227802496088882934308184427530204149641249341360140888177701746724925857951256288339391193235073604903086226651784744625120090359014888185600910792410671559
g=7
contribution table:{0, 1, 4, 1, 0}
*** a(t,u0,r):
3130
0
*** a(t,u0+1l^(t-1),r):
3120
0
*** a(t,u0+2l^(t-1),r):
3065
0
*** a(t,u0+3l^(t-1),r):
3091
1
result=O: Congruence does not hold. <=> deg D(t,r)=0 (Remark 1(II))

code version 3.3b
start=Sat 15 Mar 2025 00:58:23
end  =Sat 15 Mar 2025 08:38:20
elapsed(sec)=27596.543205