n18-L7-f5672-r47-t5670-ver3.3b.txt p=8961598066667071788901248390239579699909734897114808471101618795098991438729318454849473758012390695656135917867051729933537007256684127464311219087722685688570097306110804393327039859465561843666792503794941862271346883839290236924961798929457511734738612771925040271606607535426532076327971895403375822766232736643156902049800574897644815721080239463473754480261413311239502793400477932683812069168700578447594183351112318688304114612553319138250784232157368816736364389125082184690283291010615320174923306111283881243065418277928956741184739562518398312215806772517897286684845269814866739835404605568246537506644501764971636046535212236262349436892384422190223846545678305418191532631308236791131964934422093429600621345459471127479709063516759167555729519699649868952276174161229657381108961938143454066904820673541236604015334104501152099190986665616936610655059287174710009889046609404541332474049727473620728023151217380479057438618674596081602316378602331040914832286976722103394111109627356310151724896732585331845906594233633659669039446918357426635919655238404628026534678094684243058580061492454187491099374002854998956607601553699754359145416450128889760130405733484103273003166598997826500863570453016459345426285920471588393290460727409796307397613160893442491263215104228120595793669710143100683908545892491351627015568314277158233434442929342938690443668282925134018861550038446309275966391548943878626432373431514438810362002986768668875698087407667288788994689589062660838209720835322562001840040265755789632023132008060621970268738792344338070628420103520333005977680775336706790864794408234411016732793352680674258506964642239358413930785900817316226739041271601805358762674630019483024259286820529797020282183255175544163208525506626089122679011838032410028534536026060835547354146310910443707151278572311522031845466006959091300784806597500692800890671461140742161219043809693341956684826554695425891165632310690650504604972852834320369362823091668974000675319826081972564991485087572372686223542965338831926127441342666116455883532898593160611135685264767977653279506136390745968800916647980523559459111485269024024725067899978640764716164073616641977568577163144110176626174312171462733549356032857856185396386698298249337884490771061145796319639751660964976764513784138720024607716366756584358438384262153000294127722661172888528149584222794437585175468789530614321421929911296672906181719825210111235569469070889592145004421139354295698291820386973678134023572417490473990058357410916576342938627367305248128231405412056639098643000841267168305169778902469335647533772271292436094303318647236167511344237177166080779926222857818476831347723767654961072988162928777672171170992713273142381178334456525048127489550754890157502684793845562405837389340800448426759039404452206537270677710133071427880938293197240452122630338522613541610175119881155852406440927476767478219588432880413296841191902345488596317099191656524667732505940582458688561143052191160474468634624800897941382598713439185242928491832912259531747176534446611859095397289770477196102177128932812427864162459706816732420148665446056857039678344677159302177141551131897482101632991524961569018473808538869963636534009980089535355538317988851518346336234698044420118446078623900923801542090797478853749952171657332063544809206409128463446701567025728957637962757144190996655827323231096713838867661218773804425278061681766556116529908793700368025815324137383502793029868971891132913228071814701778590406544939116671044909756523784600099794129839356454414061859474769722501104766778193397817358817526451872956014577674687511214217336981759200601351286728535514062146553452602904621292683829194241480512750000690570024983270837045980845973292356406103473793027646316681031874311177201784967700512970830472791495109458838628857173510501475537087030797017059084142655730341025813287080305136474371622570270882641718148082567454697089741979741628265618959572466993066136604018188235918758303159636030181381979579310101542145664536031801865970691851313030969516561256209476774437922239382925641793081838780567011669961754587652139671656431772582982509189313345963154605043965787482606677022525859255166190714007312925877116386889101937118972269606796421866095231870489763137695547444586016108364907125466182576504998465974912987386283246065022260849888107062699377686625398567225104771769582558527732458918100509282044194633659957620964813097991339339700127304704947871716833556254699793660164031033396430209514678895521352004697221394453819471569457859604978710624773836121098881196882131794817480182493651404882963176613911962511898152574954720973681855766513095115545182223444257498701796751513702168372538035876248062875962453867561525460012730063685428851728268835883644771516106978786654479839660392595237 g=2 contribution table:{0, 1, 25, 41, 53, 72, 80, 107, 113, 134, 167, 197, 201, 230, 267, 289, 292, 328, 362, 367, 407, 416, 431, 476, 431, 416, 407, 367, 362, 328, 292, 289, 267, 230, 201, 197, 167, 134, 113, 107, 80, 72, 53, 41, 25, 1, 0} *** a(t,u0,r): 181459 39 *** a(t,u0+1l^(t-1),r): 181149 11 result=O: Congruence does not hold. <=> deg D(t,r)=0 (Remark 1(II)) code version 3.3b start=Mon 1 Apr 2024 12:42:33 end =Mon 1 Apr 2024 13:09:13 elapsed(sec)=1599.225254