n92-L7-f17422-r17-t17421-ver3.3b.txt
p=36548617294075165367191669462142129592476077633380188809327235362037875983035448864245147627538980084727249030107510306334128671734501213872801043183090274826004238737277294169913251826283925594190542137828259005559516305278825982805587775522845825748829190101456241869135714537190193892006425051141565976568973633737223426337276776046078575148009028411312263474120697285852215509932588996791510138278406567337634042136721126008188677656431680371093065346014783701540389818613983751671020797054883125482093068121272284211764631137743981000381680434698933417785962872505492291168873013083056667525433149312359560221287322861446582005923470416386068025873022969176520826859099545282263609072868763197930445329672060663301909469926080821194681739300939460573322591781902547715890842545670697098009934949759343255498093292143708887865528989284846100226310860062843957935221232311690567801445601211925163000105832613501169591491728621636218056747144886729148232167185207294693937644795205242781079937242220227350708595640270354986097705435032421644785995958815672982745365201221140576651204867377824229850890584776100693244095571470291027593411638183150079945825246192084902285199465328336777035921371624131591962774130314973408515293167044560872370078487064405139307299774924072753826762342304131314657281106046147043864193905200711940313536753585887502735661369323601512167977171265469126888163674463607176649317092214684286259226471189863611824974625818040800226966719698461827213856315566586608411392899231187223620716414207566313264854874985864922405789155926039745146292017001660924761094876649967750462981502751026208503942132826998392836349788434499583135989247155403945684053930958258493006078289879252308399137728326828030388424852665379748068613492929297544827569220393316443472034204284866931995166738581912334161337805551411304033610348007665531640714069381113109838529148982791144986298360281398161058403817719099523587503621353685399949541052733356271861628465378145079456849134032491773805063798368626720750969109280291101818135588077705935424186878226312835587955544610497898597728469892856643472394290601600043883855674421796761839352435739854261559909014844865088303609094494444696385531621905163286290433280618180321122253689869100727981821281484766149210559465583965888558394866987554220966786570329814568638805083275609996507554044784488034410183240027812635754535463596736559888443367958899980110265708767749205139168533410542150877577738161314577256688502419916649118422101696567266756930913431307539354095930335062588517947098783688515653795557440523408318451195638811228943911030459385175608623376947479953832492988785252183460040934720517461651015650435957511322412986488484023756249773113346708394891794855729323972366254908167313390172493816769517410381522957213137019887309224177249417968136950790130578842285136415680262776446410781698478302871312266444248634219689661923137227251708957170981375608710769874515332391886310837210036994292653547864956089554335426154512890993232342007564384460772970210534144165265836236376257558373171069656352904354523907837621544893975274085353870538752506396064370099710539134495626854890264263942702724260170833773562674695517485087699133872915377581120942043877835322847535505424537737144493766859120214180560747742073667677587090708975134934589780337968272581076721990285150949080921865151501000483989260828334469586211141460355953588865701288284236486604296243004279531124610541403152847226586141436442985838569285576299505382315093617249974569642300399982690825233870456239507438132845352000189127340154848098039252272520509212419278903963310320256553515058086304433476123943453954248826214233295090887627748081347894064583269150177688540855823347731433728788672677677765040245822789740965639713552114401968287115909068669244931377489658806946400463708439394015834230382717814051570509900315299222135481000635148770040867326519983760903779715443804666004981723635211386952901183253999444486143465365965801061515782197397886782219237832211897118377448841009732337263119767969018885199605274627558049085838185971122892889603889682633313322850145854937583346946147281185933215528060769957051926283317893928793677435897950406965175462456455464866376645056538522876123483470959806237229827804931697179789527639989133696600518914496042434075307528342459821178773192377465558379273624326630330476332525349969361818932010477722283376410577906333813930025971815735474648277908398419462967053984188369114395089179900300182662014030437828095531424736613820788043372653256400133793517505077930250747558472877141971179507880494366717256841873191267142600110056174254738786269272171572071475713211302914929390744295682085767709834989780373351654221779902601060093397092851920251153709367002642701264457410737014105868632335377909740666397129563393004585095959106847636398090825654553642467108294991893378094355705049772499371433118307727089494672120353191152092293376633789934321683133318057462543172555976284672952661933122641081669239422678624739475246097921210241826867175071040238843740928223415726979429346928689522414999840535676114093898347239711479207067483188209030951915808744675772907419397234809431046761334722683218012834055926431517410839646872463573051479162365294786381927163440257207594814629109313559997213825550383983257121199839764589897060529756208379825410801353238119985304411605420600950483147338334991913798905395826695974494395939314384429274294671333875618618295223800901005956159208545367838685388054651572803635662514443908684403213293077473752392618805735131890422761598068417177582223740482331582854904244518035993931481515327765668932256230551639731529833677799955177617058319485168208238401292098481865683390499012784611297396854342809323445849653406858440825742274949839500660431745404604021299712457402463346017472991206042905840873948399294105714875554772079698764212616070249174723014241058576972314217333453832143383789275541485535126993571925977420952309885730054531306423398871881373733466893403466755666914750157528037247528820543108643097311391212788602788390824466400435198878775293268092982907675091525909233919186368545079460925712224338706488463374385289022775455214402170160818356277317188861141371375194934616612660423985849646767067377147287203927628295546916471724438340995384397290610565592920642227739037372567755980173196981005798175501463583741769808611547358354157915343402407261834423909341149063839502920728116778258086605000724291806305327272139986941990269748155758672181795672732214715313652958257349500759748997269092164962196841946577352836256021678035980933045452135735984774687512426632263392923970210719245785308594640697464490786545684818154214222792981189964464459369173896950810479821763277362693492778824909465939801336958839732904121556538330148937953019557708654642361613100898862118333497378117569717597975478529740296751723527129162104979325916021739425768152863611184972079254325280981427824552139806916671213521390752764140262958307474581384146663295166152115234106622290057853993239256231978997283076557315457525513323321877221206074059807311852174502260777080164034422180845683315440289722834939955026125587383373927967038140871924223858424753472378382235700321396321403630846753419526945280461624788095966112372422363863511999189684520122508764542563275027951212028644861443935050516959975495562786111541180608886905188907225578005374700732214825561363451543643046589858120029950134422247146481162645559696733058632978636460703941519648527391015017294462316513394050841459198513776343271199500166975424883608629076798238293603656878376588817633872575571233278745451317600746610200915110425098689241926008100525518474527995796172555983633645953806177200729930151195772602701011060595990565245686739878890899260304663451034341632940307193833271129707689807954459727805895076945143066800217248038427156210332775727891770462625778241607029503735810883721153649167145961064994592527596550580133953089889631818470520096250426503240800457261072698217718343530255288466146729419281552362123003358638028023027069419438067884941708935330579201384567665873134997194436758036603795082874751971679290154789208005226660871625948109478997574264108157407158898977108306462239794629662535888304904037716093301092075405922690804997100734534579518880787936740603353355385460256631553085972455901261782426250452720902791413794158462289283581459650879425267589110669071894132075184532617651808872971494756285294536318489583561926946843414684879400464129263867375085494873315286158428267554097906237427426151308228243475104654397944559619664061694672973376954306595853802520151713901787852265362251584599111162962115439485370905256471208470790588718832610748042865108277253565758795586868942436282368047656180616823203325345518678513333011681761778142603064744642151655020801958551011771841435248058768191805365517294248853912558224690734217601416390114293218579333523338619019520107086957317091663559290413235658915015429612547388265179674691192123157425578528905695775501152218297751635411646198033603239364840130484970674131887816011322598908725751801905499715891109266676272156245663803638254770432008091094393003974103908621320307874142167382385847552613446500871605966606500764192936118254332025534065497109039823954932718674805756129562840674725100095987465736967927258184398967096595062120399832488949214686459576619271836281273941139811830481094790117470184083612927823783359091199628251834745616522417232259393435989092395660679058531658076582952165733271551431677058071687334340490946535545393275720122858081511887085995791419435733326903987629023554776706473239160470055126441925133300837900159936764724476563449033495936745566373970482290121168161997854645862106968111050474170096666582244048942323094121620786407725809164920873866958070862819362215240801833221946810253094710947352021652921985454977822025461491700968539526039145012233436562471351942611938380671289267355143241258513427645004431986971650388149501942860479361983080147818995698148401829338449706061441875117716769610863770211464933251865234896551170288529517089733882571959652141242567159474063221304982119728874524675070615700927065255194091253675850503792701574198001622825885126148567962356513651078716996424768000119881804488336969261520657798126685057457190063506865210252421734536659551624226608804208383465442734622010979019308706280492582741465785827632012767682605780710978483507945582028043700655385507805741841155726225424937906726767782413732422721004880221636134601588826734313113757780836947629618058321292869427378853404341128228143419243235446940126452592670511928530011929995714219770913075555709751066235478408063825242980098081131808114951418774594990261161768986718350474995555181077147204078873063800350210551479691388347349506150685170190589414461128687961184638828056504898709099072383503771906551241301511671107293133245830246028576230908594530597468862393432817763535188852790551767928912959901490232736728422482750252141419220139868936912448473609627452748453769579300709684392679510108216487385499882374146901919013158432998779924014009411552167982320868093803452175248131928079823653560535898134414805793004653469571124115478957784544208464462928471010114385309180149586726458522267228359552584030725021406389618514909130725072590253499624267463406524584914963240052324271481749108239278370613857618348813580354091064530308210566385951698615076788386044486018458714414352997646496989410242777618700547039016143259297665767451396446245828400625406026266782847039912892013335229447716802344710990169612003761545704648992691135137049738322609477112815151624374181632754336721396613818858245207839016784816015713177929370944122390385192995122120995444202849989872971641568440679633736011893539722472523214423399614187804675539190734386819010703595877342942094345415522441859213067592345715746755641884978004499207519366216730185809495873939622262788516077884946794663071508331933714524540528061630090177301392007271387784288545034895146854033027274560829107286545029994077286169867454516947913272164034770140482592148175272627857199332788458895654263540141617609567382653215700140363236492347293690819780536529020479465461519681334165645868215375440933485516347666317125783081243282618508062495675713287479357739493166069502790172447221420538152808532880195087690000293908626407929495806880998567750878883498802831625359031052249571985688596344874860190838017620698445643504221827989551750399689094418711276822786527839025826804973631657181059007956052711921178103079952391402385421903618928934555185275213417158297266397140525441951195386215431761911695607611493312594999930562848351801408840938002397479478274231583837597161748642800799144644555845289411526474598574497384247856375502924407430091080311024620398981901889634693539512256302173890378418260405862833251729128548387759891433358953156224835122137286963357232529428875938812091094795607875688740662740529879177947467560454533319065426393553148557558458070010880633537690821624913684843203805548801982092406494249520178197882019170524221102180681978123874550488514326249275694342372566531815273280797202874230132223384419472758846469616230945824912530359039859644396926617286001094724323473486227308748880847985855748188376449763314723026010403435510284699853998950404576096193181848312129665734528499327323911176589092218827284692203208831514410604187992943791063267966110741394576100685016976801821566465047921374927456211850177623005538010295657339704748890767952369146634176705055272441137470061378833835779623720118984129824782785506986113999152403654298239102748286633860589838373709076566645620333855698224754607162713154926761032181932567887170848414832715173103815236112618847930142414954248207579042422355657606565900995077962687333363190974435508635023902125844311694065346393135411903929256197779567957260741158853729630626020866201456105763978173040091060645536215486791182180650498789469924922120085122194477992225678896533995889584259832630318323053818448626690678197425667191389474820781231754450168220316640388125027174581560154284637539120518152141041017542967307559307276117860095780505907303859065868695329582473090864398104316998083585418302679872871246350663887649147175954580476131886349209981199884387975743760408438518481114387956082765501368970215092363229258846549546872783337982510098681758446458210848117205989894871815565325791073024233638747531001934744999154471617660247834813427967111051822654042381241796095186673029859668735537628843956524737016747704585955194529334401441607076893117139619816947834530126914453621378864393177551815845114466731815961078859615416988593011160399360593764061734706252329831615485396481546252845261445108169534403572191868415487333010485822759384042136336139534903537844883018239028841017
g=3
contribution table:{0, 1, 10, 16, 29, 36, 39, 44, 59, 44, 39, 36, 29, 16, 10, 1, 0}
*** a(t,u0,r):
14698
10
*** a(t,u0+1l^(t-1),r):
15428
9
result=O: Congruence does not hold. <=> deg D(t,r)=0 (Remark 1(II))

code version 3.3b
start=Mon 3 Mar 2025 18:47:29
end  =Tue 4 Mar 2025 01:13:34
elapsed(sec)=23165.215547