n95-L7-f13432-r17-t13431-ver3.3b.txt
p=43214259193972463507258303408896552616469420025777570814437369903634407681894841260708891545255014737164437348103874267713349350087697169568109146306709503353048724334330327598228246455333670298099373961300637645940897182846144139855589601308609871201087595556572914428392369562905621873652093568291373119606553395833771066211797450250123560364404488381056385293930867459842373332369532550125208857221719902557539405124569737410966093555664812606422393108341779911703589836306873686814599652696265836131967963992261998815768008309513686138207895087835792140898913754971290467457057303109363789172737290927770912276386610931941931785106089614877352393085512780410854845765947276343763331169749472218804579220708642492134725043044735836244755250892777496166273497840896438584055507294984944450611986289658223544494450969371966303387523332057005446319572814071281344310051237425142728492621306684048727796785945728099107794165317878008503014003037009044166093246027603658773885017662667983391748061111660586642267933359679719442884981914617128189412048876794220250011032502901185910215404006891632109211439581191047426865118653698533233994920162757812128826888165204890709147695489193389460600578186760847329483249804650319471077759855488200610599928578179682626248119088310852678323707843302448238021644608257240766898262907933138402905203270911191053360351676530973892105500542791631911624295751324678079552951341720707947807779786887480911030504798290633604389476709001149510767150012699534026495875477611948003094945731151004505626855821774689289590045063349989263318957251653437367437027830502405780910381695432333712211077458368621101210969021529623522781707793848385924865940216126984616127605886475588201258110875848340503535859433446568352598666573401172512348873730363832700593315186451413496737077570829425669221353353156667486212606786694984487802613817022241578220558398815661327791078236668120992501932821283549470452352608919241479843566970932085538410040540308804220007177879082460106426793867063638730766743093156001226456407561276578245968932528030935427914110599920306241968289492543857301557569738193628220777109825749084869541160068842313686645814751106802614413313256953203654453698223708867096601461918247617239366114938899268004704367973394358849965251274145723941382385384458883453004993801682013413076267304082178260515670775074815006186415591649874778639705677158140942822396014223939682241835566072734647226978293269416557091738426547702974759385403204709076965482429227712121225001917720903348856071648512438993784585305551281016242017999847864547694325640362566299306802924092332768127265190499535451689193528187442504312399524535315135378708910378930477933071575161601331619419109434410889961046879574990629207075900625243287338253595165951598434278253020814012110250090711276733828444197756225251008054412051236491995891278912618836373263829072516366192107738881349779453609021548774513114667798839530226496314312109255859419387026016819090074533989364586001488629779754114119932004401030816624245532838154339615396986934386291969624734534788580561410077055383741571548317362760976174164518443623334794657740187829613779716214521634581013378419911888892724472222427528748154820604758538853107969767197216092675023800360196498532283901913585869618187998784943506673023952707290939351807639834422318392592719183236524594030129730148740164117816496285499749293984590439144386246112861613076413754797645233811889944393936456884832194587050424600441680256481524760339093332006149968024641729286227319350468690949401520804548195555939930429980827797401238768174667717699791992053913994167699647599086660991844806171393526513564264106670611412781793469255598691476680096049650887886161943813704097804489566574114203033016508859239865309335356688928857967808524909482674251058302610550746880314469118994155753050021802988784696218927277065351898294892604140871284131580010912010873512630243890474393811343755996187022216989540395983717169663498811238252454104187793823831798088130216228832269248783436316604516604992258655992590752517044463085829041259925382911068309888361951149121622252282710515744228537484625689498388668503960718645843850326284642382544788197170289674775710950371391674462334902998010333257332087533970374924073263080494190723322031185741019447200497932132673534348942472711974803766537902662828886719529955891514716323969044377667101952822760520051497386578383720420919097097173135375167713868901957603607882967572549525246994214859081401586140129523227551121615492362865522725503409158474698377739609946857730502424189334162352365641496831225713603390043919412445589552579057845461637522706815550913772342279192680916723743619636202765712228303105246600307137913791910770342391527948383225865699064789623371913909582647397059753738603405906592890558934489159064590218438838865572328333434998286516638208653264220257111855164110128887235332589351818541502565666316803560779406871074991215671390191139883337714035581714323725711277314146808806585712383353074722655690605513683946414768429553455667060639765720356313711759804384876404146488753211902295412933934639455642703352268111397587458197636924842025074229347712031997987972792910308824451590264235929577749196440859515430817160951451462934647241055604545946770531678906234693881305197210970079954702986450742205582441871691454327129098201503070721995767029233890437190959501214407833950314139800916021871675975053370249616048406505054468379036925869236255246248095474942788376795276374053763825204486905410129827711360446417934319573531230066569577761299113875864953438152407014116314212586530402388337336070968190927841357189524501221236605778769725865675469974274563301499280552305714272723056583694318977728840258775433792881805767059972882591826827040518567950853604509403110464169231471673005474459803177211591657318173314672685090938090296821495604992199820134513805946444900685232445296720722300907857863517363930216652687832850451097588543422550916997428241264210384434631657023622532974286523214340118560838835719751475043571559546830775652114256484265254379143757376652718858901044796210855991098183029101183515358069691485104833379332972363947284265752345920081631951980081299741558076559772359265507797011932611708507255127482087328518027744529316614433997656974671005231137227888082229478832730200215958645140663661947949872955596818002070787482293745911909053837985280874255942770107611148547554721015429446603622398187776225098174456434146609698497538960597765368037251073081077191171697814251456371015798735918621958334587427190191032723656430372722652282393260477900780188356966802735502257884882486441750335863170192640864722984780537147997061761281118736313238613554731613239786635691029186191689532468452105691934685361955505942130180043829170730534132583107559135039308995206156851806508657394717125922181190300486210854541528475013514756909093937509100235086840869988783936268258806837023253389958019932213297932700834809641053870653513580738422782607395114038751393093046992618962485067919367965756096718944552439799302734022367989120499901604800003674858557280835202249436565717073313055216251617028245964202604325707652208806876680808790184158395667222685792028814788098230073378463586251421168744825577413995337925523039374269552016227338988940436657315957370210726452791325026066987408712520797669231862706353892254804997377849420001927699392850194240195631696616206409902666122847535889098379815173412791038079830078082976797675446211088747523091927602609391368482290121780950420637866966046254809838105614491144874107768432060552362586831156037245723179116526688474270991463086107380610326463415159429781558958494908639272060766393884911923849856023796074129560291283859888555741462413276136303940219002117638067534059423178011598897902858494976014475759434301486798963063273461253363185887305525097824711261090719610635664595394654568361456581077763563923530782585114924947124710294361643925894666379129065502997773932330290728054689946698731442561922389279204121880313987040439698573970745258741897448430477181751032461266217188212700958030917756661641039760885048805674896530884576054237914012645797217113107347609504859103787824514358614131180808839719959785777472484657623572626766383705220325554671074077204512415572187367808421093364612913668195267989202518376154675852568641862729706361060995975187542570559838288136163928896103443424080105769442515039279258259293468839635797156695913249928300958225331533365730938167385839966580129601105441111266321789934885989799059252559310131834729735598373625360743220669355504807865143079322433607765903122644684331839187540474176731813430179771645388681006418698009293107373481275717346660681104872697235966524899136898680779355664002221976989848342112038343676655499035908191957449181094917612217738623637448526672734812220770181895611191365386776517816861979919991304696588942725132719277028045249858412080709292559390440395260197572245586620804030052102565505002142762801197768523956988964283228435457051332250153659350953805194884622540532029649344205327907052068360135801718970262498153401519928000868762058286667797915791079209576927441283782998858574329016682416563487872833826994710341417211149911446040939073871350900850076632075628273265835480581335124649920951248129361871901470705114316021680184002389856436206276644962524037288411186412867382266945254559390658043759363912251156075864131519299367612423119716389658198048232878278761708483271198652144212817674936120634320035530163975295803109299754599005956891963979270741894525713799080352409756873852045534660625068696764307626148646334107616477632307168790389588197485400343046350562959159273776586462131296905519749446171911595712532620915256617220562224536342273006663095322930819316835158854340169601782107485812305644081671162855055288881202400947540991258758999290752352152334026879460299402997247148685455244154142920085352232687399686287820841196013453956704089642255873899821864121031128179847919626410786642017236207621453536210592403835056312616853870676754697345481325799067680154122289533782178094141442216798685488733042025926200559587690563231878524844321835359726719660174094628535146065408579000893856523294551174013720564580797101323015196151620011385660571043786016827053655581284685970207925551606284084100435659600260726683774628796722299316433775888217466178854133543143023573517443335824959571479893123012821199574312522557919553757482002439325314471410901077961954349063460126075541345734859660878621707375136590851135218563724544728709807582690774876925299724953421608229067473761812602992810759330901590028597613901651833168228225386565019715643522688784194576188365337170590942394103977747503788805618443047059822716353076774247284474528765659726834222137400029276858496268603402780732533061256576082995666550861579391873342382794762408192031334462731208847211283717199549711072604031119505745854252051787012580836089152405841718311749650578787427974739429205110533152505775223096584986511979453710583450177102578043520456127895502538820904457010114258426666015864845689181416397294678047876903338607904327855485458544578718891111253654622380609099280614371991814006772631627369151749107352102192795317331537636137747459668942068453360096832738412696640748843187318857007950121358717662346874328249850691086352469700976053990493602110896939381609365947953328691259554943266864334448191
g=7
contribution table:{0, 1, 10, 16, 29, 36, 39, 44, 59, 44, 39, 36, 29, 16, 10, 1, 0}
*** a(t,u0,r):
16544
3
*** a(t,u0+1l^(t-1),r):
16766
4
result=O: Congruence does not hold. <=> deg D(t,r)=0 (Remark 1(II))

code version 3.3b
start=Thu 6 Mar 2025 18:16:20
end  =Thu 6 Mar 2025 21:18:21
elapsed(sec)=10921.454848