n54-L5-f23388-r17-t23386-ver3.3b.txt
p=349852648726853157099752835242085426697748776915409971040162274482139620285492735746958614034759232374323220697526921685446346761136300436296256595426951225567910825762282263399168715322994664538163475510064100852853781915364051334435351268760417026249706417404407482527656867847818498785134205467034973496980863836574726339573862977927971144633682157434773429838208606016919670931371376458840981116513558157894376072300696866335046860997554240390984276019766221559311152662561284574494529911414765592332378943993641864206321366458226403287813027782077375459899363476788747649564669954640562183930720153768715652991757220292001979253053339829370934471667276276337180339723963300705753396291655659131211467593918481548540793776868570326260664449962728016622788548183581347993922385114053661954917317699739860949165383660654531224373935034360776300210175111820838118555506340798493688678813323040800544018676420074968710772820236801753888661879755621597608827099850740527238327373221111225065046404110107666151880301246112866963000890576975124576972929875424987755386225428951518876550417342224396867006988773688316548350953297530477288608408042139077793843830514046681920971291619142303906252255962892718356705223826513511251723358540855251857048546680841646702022636657961109046326719643132432837581925591097038658216989233411278654856021927141158665812486380796264500499905018816687798795617613199527651951891994500906136968727037146463386166035339032116406638800677006440076711104945338717010738822867882380610080714496054703122048506450248481730138964765195790062425275944715788412930496855570445730116349563041213150212973426358922485437365934751306379223145088251007944527564666731159793824970034346644077530346992672377932169007142802486227035213421611031438712813641030727509850540550380679810832458939062707119153751146422196559210577492155867681201604069838484689280183251110587435692840634471283889852469391801262466150349137964133039675280863932937861377268041924078671370525424398400224961179692374525574932998481272143948497058819683112691129589666473007270609652152299489277366383286376560101058064741257976460841465432582935007964296910393548052593189801114885910697176067760830331313228102721904453434609129851074032002006531665419840027084510973929282609985008896705148196022927114498193193607845365389242524685011558165626817200707508900036504228732784653725942176332873736252337757883980525090448315863872245226427736939114008833726119910388891332880933623265684921742576318098361263472864130806613426613451043123238409541082133634542179963148352748472375998491894222347864555986744506015644212634756184310476310365956893659489517857494610932637369122519292696986801847332494142497503100970635282104422981300641377956770086459494124094388205053133909319289932911939123705220086514068214150658185224579010076915856147878771327330112526127587337293018871834052099429633683706903162881827022257710116595208160741248777890237599139177663462868296428620379833267552400290816753839726518461504062753537682023037229692042604869127027720325835658055751711712415682872767713275781864556309348067864858353732792158381610513473155592200112618780544234994430662797284148152492772797958215769424214340181296808929691684245192699572667748496792113916556099818431549373321452738093226813475011539283429409048323987670151781145313522253182034271233884987945132690293416153590330484871692960124885590251719992859961188668097287547882946191754498536484153836387922235442017265163115510029651225010149982014768075879832112437038914194867261732647931124510986171305429095003987532713774926504333873110360766454671612518378694144339603271785921073286600824159354172547140098998797457769192964532416019359251451685830873754194806162546633127850765433054782501523809244806333982873467803747672762133661583128684357586810698111837569087636973665807503387802037417992806581114776330059708761009002067367014590454573553947716333433153507643193022355726569077817045001966747462304725295575314635083400568017010840840999337022756290142663293847718189845888680330317041649641085484436671414018828378285642488359348010172740229495536080932947059822633220814607120268858019189141173198022775908250399526015085925049218210696018130812492102648117253880128401618215219033525621759209729324078683783334416369199883140779286050832971808948970099537760296443326660180684113892651650379811512428893424879121350389681098367640373851738556419154906239937105580235810831985729915215200190084909130482752490986251651756499027957546328626961212661734819854939793955382633541124001884189016528655114414863484714537764651302863297840065863710964898223430440591621697733264078299562758628739515753595627836016673847450511411109657623824716033357127147372738502395602804203634132333198992983836093975274760812016157612503443353076171991306191499519761823793068203834703240378769039621955121382260097478427162240106589781428535733859453641729264495813712738107329690089424002175725933342129500074747209559246143088861478892738985352530324160622582964911563764298136572183785975255609107711645137646756500154461945016438103276839773595642754031154333562524113239748464141984075471526173631547873173723557907455324173821819426711591977772955816189285619230313343055841807429360578271467217110509103165556309578030607499553019419887603868354319918778649002871104135392401346641851837941771171306797229990860358483941274583375917357473041851931478479963582333585512684192343718174109864143627611269110611539571774549450412330591417792395516556208845370961100419995413862624419593363627935555992282104161041908661744942598458407077923245417220562183473499656134731659030336730982918713910796058393473305776283780512434208578254884155921506521211848391772939256971753613274207742129939117032302081014982307957085012805535784728790702196085923570341920731624826546048391183560823428552487249135554377630486072685433142017007942376703862258516356120832013005940360550456647281943601790806206166937711600886906983640697227320528591151833790449575132854293332507484927355184512002250663861859867819114774459719074979339595017450962574786387024709824443263660352551811098893929080524506392146082849212030033879889119043567783369653720777111070052079537642214110147064542117609807138271200303164578197882016788635030889689743558481644482956876522197867219104499104110530788266941483277461127785764782023421556269251681469656583663214653561229385382584442196338835875570499911635630351343455453839986370777667598005234668734164862248310565799557634477053923463316175792351487916548407589084864820932128357457070030852266092823363291724185294331288696478540108055420603985266216724099359883609997969231454408279878949961639501858103421422978796220698281201056339247411543050000786489881857815046399008684151453746982653359560780305158051672202206451764586435743405994315762571298439887977774432055350344190510381051013659220054872709010107458680904713927385048467681743714437524867560306164233300722159058495100938244700726371635536078423698380392474250067264779816080477321858136684512080932097074758856288436961873061411023512543859264494884019733952773186215365556254154280458638663996808346126075409309919108081795695649756557860110158973942515711329462861859548093382573155890919256843601952145501107118510509693575573548415421318799603418028483431420764229178672384652523837269966806560027657520719425875930449367079385695395760531524843441277775623712713908817402973514669166437890204641036060085356251420607009811366718428358971471081071320422743758306556643254739260436375036927401687132475701540085970006506320558120801879513618649783238766772093285572488109913148032921534377322332641253739018070145693267379589156326765388513585182796104504031764534681886529975717156070011448390972626320466890211327504793201500098891015588683552660409840904457123975349763136253338841812240901565301837800095080634841138993339999489212137089808288041138411485487705662866980535544305451397580973563618398594863321128042566427550755449731117837569083906205787620446059073354496938926539597120667295103616046069125145382441537987482809818780781056856837005390472191820487672970967476741671955628913120362598658656369429549209409266820195709970307723022555462252119547211794365722158274722020625394435760889593387408624084994645246303086761357903730719301289578769347787222965271890351137891499917931855493028524336761689829330446545802627232641400855673521814697737013106062426923017102452295348574351216946608913729669214354510717586561907277130171074175146427178359501159404238020151565622928810753997057705422962129892338369615750221569109750754908304218793029520232385539509025711279832537037491033654077758719156245134226379060644900680432803373914726526937236040640540506489304466514167710023337784025979755420955756465424822597141644054258234432421910109970697039893958763195249395960412331749305707533204131946031112086278444777578551052905742335701330598318825589680064031429864475648994377203462697060785398417118939377561612814567777086355291036590975292033348435036000413247653881982448366547379761321073906228048597074757596667387229701132926956637289558094791877866710801335130307496156676359597403397374166971061655335828349219430482572030322383611248420807201924106070274439562066946719847837903772983984732329965889113830368390329797729095959227863642953304835088599683833301954254456558743103632584353948075547079603432518695089794368568686755521924621427424036694511559140530135657834882972542295498334866689477183830882970487034411820383769899098108972732972644499164070900939353980118226677171405853818218605813078481051048266444684026248329889270374465931331531928283725961982558133417437863222257620130639205906172026510546713932509763390025981377031060958508064033520854909459946150610861976699044855331767956719900594081273437620951853957508835464361740278235514884674342660852438194502552658329275563066883894525640085220379110042323211660259543706911956751268013251534867838717210366048693005978180365128736640441894679977458492241680757291947987690737599057811961792837298312248752432653494758824762789829804974829140238959591534124488177932501083957119403787299179208555150642898424322290213396352331442595644640102453477708002804969727512319493785158967516456184089872457561376458122714585127419478914312149293722926759492343939389684130911867429492304464185543975701234685019267213987430472716518457227656903687454926263127002065497511740480595366275358189649203224329354338423156677614126556148339219535286892824989847510809563066032548803676691779755771324721318508708400941965353432206197985910639877302573504572070876840316143701804393475454017726494945140584656127901357767260126371449588400589825790030468540161937508254353618382303697232103324645060235221671735448694770669477084039920942122877794182757896932177121981845473004855198900332141501228837962090952869880448633557311061676598586226965465655601662830394510514894045470242061442968603386134203401008718863225558328226281869418256364991839830551210438157949191878614323597615806689305664088956269117468011964712103687203395466389121689739908424900326532055257058087292189163192105850623553981426719386303700371535211392074623808353622128726764185115116767020701502589827332039970991981343377132667697690042371268923541311296359870342833103501481821914542724312494512543119159921695077885538616974471136926701155039034438588222900858318873876733150978171854203677797075461610179711520825794022194696951868843505764718739981482294794812053616914264073777833330155090201688496838191589616551714124535965830700387159958253649195399981971318504902130807653933965196826042701948101460004072554239442228495007776997032647623287549583619655025889854577055555861660392530597311733480692536883767836417952334289338928008472358955460039685299965711487132359528029811235928019031518964517233956397038059329435316677857019075565044906939882626979759919588661823952639519943283636638155173163526315680337309939063317434365028697668690174115551096904540345811718384317838108373681037238951240646866079166406134137264363646374172174184965746278226448241096236064227211113260087000926167856534946930108712722728834257209790034896614790264605106063245143184311443485642958958188765955746344251799559573337073761018345831687579112331213152790878416755611938339232598324108863958751573995941354276027131843907660558658615199253543789898507576112825897450245287929185655540230675933078382509669417063415998019075512369424184203434539780169370921742020917001618202290248542186330855062530532765190165596520710018411062323408316752130733573686540885956272047786276447002544240028080945921104747179226342842130854051996115846272911713261828857182395369295910766276762411070162065460756713822702386366888998513129167477294651302512253373628904262630753093869899894456408659376871828846482171965226117907366845148767560013087036276871637875030143853593620733855505658788733810135267575709402974262205961029321307399452420738800096226291645774591494285059562296919599293904959072391205106013339791772988293980630926282647044934073460999851652668166945479288803062957401185837216868443467485922371303581337886533419110571435004970695005439435463214429014489568571893858132434781117533247171342994821504347533736806231646387787468448101183422855830865521834578974986347771871393221751055248829770541330603842615892012946211311751121193553645432313684686213545316841289140800479719624882064262924787545021500859702835619315698058190969407806147027031411998528771635361304866272129385068500455441378095199610905034155166136702685782586966155896668569796076446771913922229926065929129523896419640534791457800734169895982536159098460185298686611000140685996013550794598212001223337748782815686155302519906264831138548096072580589778837505895768344349845697427682059641932767677232978189538558235507650165049141303576062639665422785478539958606484815866249300374039009104885300326040963984426319225423299109969539961474196193398054793513591299806748215614198688330582223581754061713202656603648261180415261328162000849766697167285251164287212837892661828978671895109059406914436916732549625982991558431485582813023569414792972626338258393662563631183635434369694201590505915037002682041794383226612918387957694979854209270781816508656245292073077821281583437621107109193018193077334879130102106563257102108190016340757517190343717176147920075967297427806738301957840340102661550424926280875093540137164126587812548759191258483904389744491024310582133641345374829212799286548647151082049842355681874228176666326517166179912722372257530727145169900346901928357147243074284891826833849144940704902245938287846925712996238793023779544259232921897828213301644543506230687899291263169167670990448537941824181507822408539530837835898811238048902355462314759120451515258128601445906225146815845818727729712076578079952689832183662212696979088966236348047311093163745166949579708366725422643163904095546454383184704800415630879914891056916968954106024760336886953633724245203738401572660977599990010834304106210176512947775323455859388052597877483642068288489225917754718090906928938689314443555411958057546849358778482804795164544425304137521928007601112010380083789728029500629793980054945242519422927059520602126370475950325821000497326712166005539465026909412604822135812661416277889785513786253262932641777055272145549025550535870743854418915843282502411620680036019316776837362204485560906462754460828547098656915572429678015074002564664249803943350686444863223022678626459534501557835052678271548522818233196284874046445538201504420636253480859708102064373126522366030338038320985352976048208685576261444681049352419957111708886987063782484843153894503015442702291852475808854415646712297966147507813790141111840470711943407585922799883982570027593469143668979333006944700331999212559920082008821891461330529127898109801017318939489229479533092568204809681615724545055900251528728749055050533479398051961553421867438612791272395489042194458446028139363732540632370106022310345808556838725521100818630271351017061231185229461514751505926889199271192489291543039437057590057357144572040946961531042134346918541425060327593432917652473222378506321877057773166186367825313945778629382437582185182604201674777348091857664615142612924198536115291236199482802814496273003619269524506713572857545698196329864160247780091594904661178588867187501
g=6
contribution table:{0, 1, 10, 16, 29, 36, 39, 44, 59, 44, 39, 36, 29, 16, 10, 1, 0}
*** a(t,u0,r):
33526
2
*** a(t,u0+1l^(t-1),r):
32591
2
*** a(t,u0+2l^(t-1),r):
32589
0
result=O: Congruence does not hold. <=> deg D(t,r)=0 (Remark 1(II))

code version 3.3b
start=Tue 11 Feb 2025 10:45:31
end  =Wed 12 Feb 2025 08:58:22
elapsed(sec)=79971.014038