n54-L5-f24441-r47-t24439-ver3.3b.txt
p=3624930898713058278800306830732241668182868437388594289490128467582885216699705167007840873788342836536112535504184515528770411666849247628213265994126028538292897330326014414525579132186705073217234303335591486068196324944679292267116740416439329677856123495546916603883317757747062099056106411776595899359358380392127562688345777400272688811496037841874074774030234543171965588946379563269027031235910341712423095753293217052336067348150063076830734063229414741880502298236240933496089199627500122215845224795087206500640907878896797916148576755775976097133577729059687447927050973339882737726992625447396984635104800746528504468906868545578529510980987882607326940213641573850251329314666468271739491276585912463406811440165602304291796036106235007789352693074435652436268618615929144917081505270695324213380296436549919621472641434460456399036941219593500285052961184132278336448267132977042187743568112731455311479523342692851957121201445299683638394291214869271084918384394230971282459870979575852865552361104100525391967551784378409449793704751610536015537487824028726712960754294157332344173470732548865708510189166537121898372914607937944956796129819259138625091210016013763587233879367639667864204317818405261655319325858028727964415889742997416789513460629981356167476770676225441694545696777005335043325069046260325275239156709267058939593571534921285069410130338089815775383517253727486263840475281340870947341670100349505851046958621499210790681259963109564688411813160974417154650469490627731082965815078216709925038250719282743803277037576490228822019669943940779360676858101674603245306501894508382522598094878990883419366834513139795352825367504822639272098269063006025805095030152329604492493085674064593234461116059429307245710265658369691718066759912543561304627423864175333592909282247511927213553220815349901180510039311268698974565500083097399654747844948084879002918030733881311165756404154286056281002822991065362758423606523958519922048145349331029276279815572940739544229172021410183243792773788321760493823284802107851614135206788021780790528024949820736863627597616686669920904663479442736482430245499345670051132817879505852204772772135991844859523168578345325038287024271958947664185595784781116068746619149891827994288243509575111591883787367787337127172455616869447646382573313795126039029402536428540559040838968560949530018830587303556906708933378328908942677746809745886668636791315059733427272180799609105001680699606917263660633330253722758466632669476352371782626034680244115535646066727262623510552775036629893846248310851112545501978917595593931926428453045490547932165245034146719439178860867237362995518734411718693140272949924962349326628193721271800516202546932760053429119565379071435398221118710549541214190847694550794388132899791269562577066921051056963746599300495726728247355809938432911552450496981309739162149212187185958122777660679102879552254159139445158434891218114586334213084480092294422632409343881948645173167908365035355974002553283177707978634883548574372464429740162186275905559695422606529965345382728383351318177770959320216424453210098069020270472520930965833397505332848194243713771349310326865182929749306420268947230188824211016072840424772882463854491866880031124787523540309655337527910410381034158916853838437425775472727029785280001020997297683967137655226510357435591845851438284002946293635525789533331090876002670271666949704315026140075767212284655292130942211876159545343798317345393007819673028270214916497114866854921903150018990993429274955254511682284210814409532767363086451160517090366069995262197854293324355753450695738177048552559233960368442598590271023579462988888173555228836350068735817273737436243250743768436118763408700644925914475225501410787623595126080995768005954898508623727013768876777499583008661704203055848667008845263834615827072433896554804274339473292955654165560752424777172393800465840665794584969753490948113640071629818451495249931170918618760206020260528892156208343885714556961240023006764219207281928568401962476258691459250811182714040602180995147364027129077073409613878976454707742554884025159370794532767422088886588828755848484273642997918084850407711530685106819520287727103065988804303086684987444150194966629990545903686172094341338736804455267211783807924671681521798871733150236413714879092527185430351680452634447934866554476387027002664259503981019207490238490436940815539823451330316412861936567499981251805122987284434445671555022453436668894823109295738093894239685319607712451168664560690527015648535714393210667418041291427573945654162464000322529021565193843566003296253897559240814353877182816521389461564278804586093735729109469415560640574057582687420478219369535308512067860848837800425735146585667632404589345009168776982062584687721165901867410568301121884223886703809048019445423415287074051935686149932285484378721918317050487214141624353697930508362448076276624087874300630462463198765116565576643696692901583370926093852905796114470268331476011786362555317183985468284470329453859842967760001505963637329850460443225369472597223229434983371047488086617774409728599523368357245488725720709887870622673572404028432666208171991400983414992113002442626919973467410289552947313776134788605799242637330575580421462595639737081564883600798336828611569712987134157769578365503771172590484469333720079206315905274486473232545698985402523623715039261503879391965558616587053099070638293313153244740858967419497853947277997058617505459430218609835431976645878482022211766619889321532041852512451351850740791653673617140347815635658805265272103364323033034176856110664095304969522414575681983272172198671515246241744237232220816687130858606584653000900092174023303015274279735605470714597583712440723797228516631880100457793958564831909720206607251057349662975783378050229236689240695562670112566716683213000289282763792669911348458041904466183122289523372531726588496129743858852930136070474959481004576454800107773278965156072262174056298950476252840213801293783522177051385996720474524118545733249233994426909790645422336456125333774148205361892312973911718228694168657783610381694968924296042207150966245064470561490458040403816383493916493612914618403655924796687322819081660659145934515975879753123248966379085403839588415686496086306921518048518346054201830552213741873474728991164121854051141830038104600753818657880734301637065358633997695270785772759261592721752267412758999449378535684953593833187804631803783964511327865913521640048559588929433656706643324618840565553697153287694948528187162323723857494386125970337741534985164915368956608543366328439045485782751141572565666943680102358818238550594314162450264185444348727750824425913990942624020294257750983085350349115585630468934152864144192443323950222927371975427309713593265795551199762038150575407025006680579737881411816801718184341845720410307101268096005910423981915276471021006146461485979026039277255776216717170786745355205327977630947008402601167545225126416402085109375096358941875094087863041165700448589001966595751871487476511299835657027295454565534275346846606958129652154732658537627668128131539553511244221358670187215550825175189751333909047108964916699147089891826369999743256618543380746522479745212502780222423115418786329066155811576422698012043580293652406215126983174419285746442104950638771533417364006955714331870925763829177760896598085341528693417265529103327284745355045791083484846854359942187022030725448703923292333637641037621892056465416589146119807027885152552257627409429230085381332013892602180357751088305948649500247666445951706782030676753940585338373130419587637654757245386967627695853491946519017306503078900681461817666893411876401828038070097928795035967319777423128714777355728768467933953839412951080766108955835665087498556699062049098967447183659246580624024638766170417950867310599579369690168101621532035312688800854321703763395375827513732087881170204905967526268197774198149825635739832525377616370623359575448814153328305019462839439626694383790578741576009654855217130301830779948474878162823032487913154953086947011397259187840683958025087188140552099055540823885735341662384978970560548418955123957754324430332768695689822478630988577350821016034171492079390933703226476956403227503542462725899573596888498891175729120522463145389078579678533806198243846719300019901538440089380881947197995370987011227401100612947557754417450257626151327857340063754460751144687837670099191467342278543662619233854343521981048731540001102768106645210098053094378920564880890788591494227305238568725758673475220586652690375746906171430715725889409401592798425490680774747382965301138713982403057882127844968246983760135768422989983738981033531217985282677956549540062365660895964672616217923956139058704322379701166203842600662266166809374651096913254662868156073150232696107988682401978510462613605938337540968501613588841063031363418743847544941887425198664411653902389943385461015077369517240459232691813311611898495092740542230364761466301836648879739629630321556462188623246746170174015161961035959160966551834169459459923153808487400245423890727139042778751656172241464833240826918976231454967740991203331991075917359418952674037392439750339687820914563944667101566738635698150772019695386562506139689920572007175181502255450185608353708373938532054271233930597989102883279033936971147485986019700206413733343608385545474284041845036139679201829040265937548890301814504254233763919476994028404440702770090211359755156967050628308583585374634038917887410972383197126154575474081757117172097866984174337900095236906460705700218379654648938116781755945516207593556731813325662794855942508304379651310475545112894519101566734235550150474512215435772134251895610003847458270638221221112106417700390725031507216930082991793379385764992080637152919286263268453070175472878349859537566563087600625767998574671643313417304220353457813579791726487699123112093955591650038430313841415140078199802735146932385978269035588692039962259077011521414414254472918991855210224198607965401137680652676971070764052607402018131083822691892283735926711104345965836004165583309566831459515093473460349570295111471932169685422003205700363197055916792389695450027965057243096289665734103090298952156132324880211429799546479948826242369444609721071596714120641396090559623514795820438947534929507674431080432658081053762808195366582477553743761270087226926948457667073351746937288488062027162368657241223399617626003195974344880958315124667621524608751497671826293709460434441535935746526340845911197012655788104819169660045704664352886651077050393790270740506395056319762214072570037818420513327133326833835491225651336415942840137799161720269199972017930652105293118919637537185118985585522083133720192856511399036755185746399649734090042602590332842739545119892998702057576175432823223078365448218257541599056285061793126467997045261548074598328093367376288133726459335652268618246965383641227941519176558175362551382337114005130885836504370723907020937289773128725297968633082320470248503012689023296424640297705913828918702536013575674038537789114467196605987684809679119390469742419694281483580812698893663968350446349785376498183101409146632348219577654905096969107621589154055911585985986060270642079547071684766888259779034435859215268978449958482245467477073842875966431973655253280905078905709253402670044595690215325468015109601287566326111125467561047004889782407738888812413820741321652813088726152577821370160190565046042499391957570241158456285087755487767447141128989906287041243949918234262409819939341887183227781025887411694205768187230328412350626210172047389056103468685729609622068060337047917694228932055224012617982110222454115566128761554316013092099686651121902233727511956861617008405091314497403434967269083408874509988078530640272101555157538116802246548152484599038816315168105004013462784934691161094308788714307839236801358125007227471251324503017217294096940576194274792655807021781942381614000790375991400969803051336768571141358659012745996790521778035969700717134008160790099172881853992503699757097462126138163855738541016179399230305139379235492001851544969801367956449342790476868060209573308135329095300439267527593861043715949333191788200039829827042558922684291825218843164097225236479422400509652178987047308377000570907203544084757572596825003649265164196424884519373024957860688964757076823260266480497060938771223420089603437778440303624583188680356962605561257166971514310211177669513639451747490155247810474732495228111075999121504773149785816433383957005818017307973084312909789851031824655197269902042293468902159338324867131380582238830852067702453625914350881046346042077011917825096549774964883842475492766061974080030015278019960489056075128918306067132576541119765776132369062492007870636128298913796643138554152463612606576650342833896747229911036423228617929149154426910081334878941426059425304576949865919001155707300586031960211602201373407432055513700496095232802976447184666629351698547415317571561523679935780105604292702434159121379790376767899705999924820393778182559174338129011940446866816675082281559681890808453331771199409962747802366184200517121755109656650489250176271102375359305987559601027518345773851768450652224900592503621984813427031611133775574603616650149123074906851357075846102499692687518844721966153600605288908204292205731366542291051154622671610327554136251126148739634103701259656539147181361909247863781282904977988657548503294859288893340711340268216551091648508955255448135946737196792420461463684637859290244527329209584294613572104420825193338448235217841004365634557632250407163193145003626321482037928447196468948643890581026650267923856394160938381706433992997088061995707833507910851462907512892221183718480499340263467282591878904349414080847976561255784723432253578442919628117876439232838762643851022365120273425400261216302513670052540440726766476066082631279501351318173685692014329859497932976348057058244538038567575677143220665196047287004675369561563736390718615333541155282563953403057129376278301591278748684113729869622976792595871627458203410806877687412660438040262374308884237271295573678887694688775969221415049738311283698776742623906823034632528214910279625495632027366026621065827008938470059593320116544911950350997265616199784104547714827967791542372940587970411005604280484840474650671148681104884917311071089004480906272429062050335655508337314706285261644061973287741299820785636776307189706095362888114835699270730700395076757191183896347521576565850649867662136754489944836440103987278718261702628706704186849716356987372276574830222794994596680007313113980846716900153465939170257793145362897544425501438076691831470294588244412260014664848635150889802751552422637897101725441817805121026066630021316218654935587848386853888477888492379909978773986891378876676533591362398984342894100211717376130017126448169971553353549133798239921799076180957018097915794467973933178675286227968519185683145739466253028747278166037406082676194307990480934616855455563557035335127860569573276651534639719063066128041211654893903822624690708719945734056292899429177320293759872143264070358229628966581367040716608709323126488668048113075875981270705739476053756295006302420603892529572910700993440828690572371188813515930611123113807483356322772572390460342858363905566485817466476704972625996404452617972590845751224602543325491228582064118019691832498527418091732889706585194242936872512136880018342526555043857121078673830944595030727862663733459043521548416733012080100852998872791182577566823012565795039895084741504695753732357180235161491003043721564352135147041800006938780865221354724592106122892009716186987530356729022198764211972933222624442065316521320525025571794513415017407765338905661834635789107768263425461979472698133009126983563649750917754343609532876691082084736328878386279550410663443097711581486055985750088164918030629271444618811572023683905949224392968520050128652368348516256946318670572049109986963756892149533272607615860303167574632097907562390276067244405835302169773966796395254413726502980805179909226085490992596420777851299074210238706484635833317026501904879558890958486382468482215009630350647661843847134620172316982870646935360397731166955341830368949115170329541116543597475766356796923405512015825714809131881777151619708376748876145503319400348294311705882781168567201186272437432083515542837066979368625508356016657572331097284251704794867031895363466837197205590061767230192214284274434379737911489884355149219377123144803990900823216693322467554998384059974838546233282994942016022415311554138365250307752970637959220761734506203694305769406572106691678438163801185164206892385631363957565183462221210225072115088351666249157018867065391281269815653518815427720270535489231886752916975868301559199593729087429135406901725869273822283872495496777680321060682945962613064479853633014920072465897948415822082756701937831955583732575048191725948370914341951259389475957400244647335230931524722038411827751582858723121226134940454871507535411362591380073626063330390185913878337009563779247400816529989242553710937501
g=6
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):
266699
21
*** a(t,u0+1l^(t-1),r):
285278
35
result=O: Congruence does not hold. <=> deg D(t,r)=0 (Remark 1(II))

code version 3.3b
start=Sat 8 Jun 2024 09:24:54
end  =Sun 9 Jun 2024 01:55:16
elapsed(sec)=59421.799309