n54-L5-f22551-r17-t22549-ver3.3b.txt
p=320620684560394208898662044835643571237100400270431990188860306389877079023232889726041561043157564678878521191472438543573190883356236717295969873497415575212568257015068073018555009166955723660370586322593081401356791353251365376617752910120612612246488097085145254759196036841038924814652754372215856747552248702020039449230790825144827120724566649421116077083191137633208014433905451503514640914541467929536686362476055915854160388228864437594878419870019192271530312340624302059353258278220749924721589351867605791928381843395786706749951051344264951731217009255318608973293034554677211105292914353033406737132402174056984795238590790424792590382602294955365791246148577649132293518081996324252387693766160770891474470621108384922742046385820841776620351662488947172852125413300645505038151765887386181499425976161013515359993788255970954785922944077257623865326857871878072609473313830988144237538094098536103619196019288380401265889951719255847482105928438801552021991684703653956801444129954367879167080310668680500244292832920708700887941922855878138212906564988770084518325352519793652138658117184205806129036017348141986535065430100658700931363754374482198033383727779182635036315443844953011796985683015560095217946161077632216608845410025492781349946422809042673377128671571987355681169106940283501867431796458685293087796183028437547233112939825153463608226247202500807598206909695167897239184631382262289624929351203156378195438578027585177621173839837694169055786436802437083376447417905332029655405318739241305601244182193880543455061000874589833629643862297164085133415602921958174669628183102265474776308352952019723568517112453855308537952764555348070358838367288222999207949247567576767516512342092511229178429595224454165538547076369612502294349920233666161735871359452172966353363001530935921280052099600599484733306732477998590369526232117342112707529814548096145133592974426805563996164936636686344029603658842014907782970656961003344112360941227852797270234579484996951776524628520550443889752025724475976865937643099954313621519116582167375921676749649862684366348684328929970745558025010007333346775716624912335270772936401279529424034724825727320989060470512951318791724528401948712535624389191745004740013722718788817720956535918996439798129087282035607660878562658751647541242886952320808008421446487264354613762899436629508398410194216851594043315199177940012396935569446635208187491568012230653398474273442024048013891009153822271981072646976216220769428633575480368122010970846299064811542513110655240575992519889500705508045571794593261116066995514754508975787199405330853818223611705447127153055522797689665390157468874816031945417083996099185434077188178995094460528006668851367334730481228807840409343634928356135171535872303167621700008443738200737313881275644158006520753354094993006439453315618456364990524179989836546113205369230059380635554476449156871126183010928879788657163412277310948198117679888747507075727721419212264800375716492705088759450065222982938713102032575722341351599458781639155513710892406871001786383836414202921700726058666837375068982617038828599924430437419504776060256685570652187194363523775255947351877620666995278261503085024538544870282592653763656697865252144097313443884094744102785800270089994876655349834526978326404747973553309390626114667932482739244722224674274050919596578807357712175071112494063698265048023656478003870180947264233764753209107366851451921842892465666312629765936339126743471471189376649108630335252187368562209968301527613404261276266739076106601786849686922995012755493020992975669319597505449749820000546904966998621748070796504629509071013017480920645283502201568967469702361705936816406448540773224965952473707724470943037647611946793865141457150678874217464463533351920177210884265710172877673252112867851108143840781624018390143014503240126953210159910413395626617233062268110827263364348154534000980449359240873878230103975939904929780318674420529785399011511832061404221798511739143351945544945319604979902451441383802693909056425858698504055268860584455019027719845054024334120273616164482674039924073244405387841633512433993299139999840080407971297549362288998772344068631039444990729991825221339126371262326449738982161468416237062582351756785983975908839518647381785582625223187699805705840488691954086783566071049719147970869612226493267252178360017588421407574610567965445171314594659160462380413844497968432214899805990535482009475504884948474277309480785205404673161767301058737045182529413762025543027166985781896568557064668403959863329415016217740571655275704223251937772046486860724393190254548511030471209861472838088397378883461149635064441145546213096403177527082048025940894270730695637538999290645485094420180549313487743163303099871485278663627833950983042153786621926618899781095670734054490439459128117124826609986271577951676684959208840579082592683813685423927635202022915408607926677265625863203061147670588378793433848858149837569787121667757559185066926981387931189324725878786009350358862638433360435993237263448940086440361092442127324682673348310413213459039776892737143704645512307222826802621908245138743612273559853412561529664603845169571544523364918135464546277802247708559965389399329527376102157925051437205760398666663587359495176329591348420104317329581435360616819140971626828732055580939248913534236960954459775111482718789765246296283482077847734743042283677197589683089323803362210286088790410598608660099665981220376768445245560508839694639263915086754176983547007787223243876362783968490499564913765282743283954395461629267302496961658014092104552880059246143900102075583397448683785140552847429835414600129456184461305344687803203979651761724181410301230149700491005762205991397581491949751765490906173502249042615349442038596467848836451891522892319929047534686546750135540028839932591303789238691824892580346043525731561528101182968884898735327978280833918448682887368613829664972238605390765198463288680277822053132058291263966109289578602436037478783460632663661666641026095717419366455373952710005479533224626317188308647486767740976436044505171616691569029285074510762033939046797414690143176301710016464258355964979217790782250332781199108978865241926525880714690259954645508189446092015545541532619120995383520359777618187321022802147645911788157490048727057698713255171425238919656377995312161350150496577440387247477235812091461165841100957634144343762262255997299426036780641101567867978287852846438837532830799979415724795682368608741852845005299044570022433807278210926374299237228933311402303924587271510343630055132076972925670918764802042655774919667387287970653262507088721308641205358114193786780921593634967431821715711100033856327830994695127089228489348356792665657346883282895339409901872572516948959304771638679837903433648178048413447567606615859246151580028923555508484008420083840579868052904096397761566952139227635995534458891952017239980879588968267456207743595788811768292233730786163932885641538341404034918448154790843023209921621615327500854836917846337471718842269102864372270471387628775072679039524312790860095991967095729081314306341497360846714934900594224378516872794916202736343439095337741808552752698115466585353002221810794155608106493690527443764714284812092234236949794850911753081454687210498556727180762788837243981507923772404886946852811060936071730701198934116120195922147996770136631723881494633738364707183844008206530911474119174924301466472067771879451842104088438528666947412233718842951280358732660989180752911161388932569032216145155457126164246453357388319176917405375920252037971875651273027985301608166600806966019439852264869465060763111578244556428223979546633390684238225506049390137079894137454624124781380945386279424139901558164637010337071918610106487461755296373157956837580451076058976976612457556957746010396608098927468742414987546844536208128125951516101609996142255325609102652751398066230093572482907215479091246333860485169182547452575784800510012544955813244027193902332016593716998542951698889394093055231991796036345593378202549782329568076045234137591539631549209149630744662493151042557998605181280291281303593141033249442384681410627289329884314702956099263606720935902565903137414990757661319737158763976609929120586996289524356722756288101419721195855363593235736522306799074789795020247211935095703251304633965371325067352070872539983537445278241499793924311542160936418526790131532288523118650529108339585278625254495034156909296689371916790160095938611972701120884090661364411460932457476091257814354075938649451182732530447758370657608147529553988018994005624021422860726105078634999767685693213592077412307281036561584987436788428630344943406595645994321272323027182331776942338477422400901696959929649671920797320837352433707477477466215093037250937875463161170963172406905454205663419475188481838977938092500663643130389631483443769504577087921370059207381557199981195261280892459899604488942437622515636383162402313162408637422492173298544141763226793079163079922285816447316859001069313469427066025719973794437085978706532389977995377170503143429716445603000889886856701468165263000717478912206528762381834245638107097919699670916376975485568883549659481814869327412326012498680277694347617684433972449060974979770977463210185170532968166035899267022114735761596376277818438246540448802359850571383385462549354747873799840460699721002873130718755698742530144126548322807840948309543769150678985484498848352409953275921563982841236482798693273514071170369865145064016617843592170140193265701331348422420189238837054518179022757994676009555251868823277155618356024660421060014335472648785503280126331030041199275457796231547952835091958687030410595635020278309142413050041573586980088996680629526705933657100737860964820067680562644885436445118966277367783604986629126414678320165600157153207147681886714609662104870235943455959705609587376730295672464207013645272624221710116775592355260534920718591826527159219416115807364746234684553668012878856207504595739630213902897257830528425595156963351935900441033357017428023454175573301289965336134309566094098674678749880730368860892606689386643127306724064177304406846090859497104741490890095891181025645051015427334962845533601888119038906405546399669233401240848964568907002789617326231696422263589132869196944888834224836106914163812049069555868574497064047121013187536385119585937560125670359808210061025465202843429281803008664298909135629855782663245418514737843152542850641485283635598170238046214963088751733443346363904314926858429484605839943179844488250172331630492966926143244412945327652724806182666525327327045388794641022106369734613040804694500932805713462677707228798801202271370526609937193656665593324026066997194692813928617785608007094336396903695125214634439390913501049564813391050823711003235197752645356943934885603292439514562296343174623493461041339517957446070551513176732993486021049460535457963832084381367672753166809114786114476522045230775123843055520258483020111452724941716934893448688462770907451886204266688350669560402538896832472908846517878589083518650515908732250014214904264284236719856125742426944584434770172686472310118220276106023229759965852986898504417734546217216093929675949105929009257914800095752961698797257032134815028774847178391653243305831739350461805115357688229477560104343239640432362625849221607648204912932477589819836764056291662930102775308295878005682250637437717747740666376852926538343674159069135462045829625483038043414164524434613066851245680456998750384047370903063537383923823841230014975821233376671999418793334225984909732090599098972567840084510478015578095430458438044909296588536879351861266272485497705555167848666369757621961361150927084426532623853009804886545089002795674532349990457314972399046316105233359302370977946930241146905645655790964704636135126196447387734500859862246523682641367187715052108416360236791501751142468175041656195299352894932998420870353743377983467859408147460192873739751846824239536616738842464655834537093863377297995727574856113909716385491689396670182808354400712673333794738182991032150071456347455197951404981631792535082684694676598009545127870590098551822703079976420044513629905288128889726644461174404219830526099912812430340301015724760728606808387637745680896903848197465308920583673438247289997903068375922644930424889550070951748599246490387228333867479735501313822787830101277465654321635800710776485482122119012184259390479792180792949852163807712526557433713705069615547851052477977364481623412768364344318431248601332679159035609777035927801713115865609447367894259472174090303372051303093219397999845609279794186205115857148495941658708649011490789626089268237371407398432566439286678075100727944625793018576800607430518021637226420390162143108867588332460907187555007399994723551997616015345234472925151581784447879878314065391385695738817351895488445364880882347322889197932068932704068438310732487995282657580522208263112928295070940793460494094588819386060590342377080567504644126691775209539878426312876525926735186081399745772778654904264846715363189745226161671027065057922605625872025512304105332848814831959399727920614592144360294502460822952300823512850218286585347848778546972604028777496544584249345545635536502835549831303861685049682279890705501936630736061637222384467021731022620878249235886904162535090082267126330678048108670936964046529965443465411014104638899151359242735101990308558328075741550689065958639656997821328157066582107638485648296644325266420269480002240458242472747798787831301211829704505603847705779995272086764014472630254457275851101256674730863209482808638219716343343880025262358841677737019931289217830062729633071134217104943656199566404896860071236598168634960890330309143823709855559891116492568544333135946084081802024801150810998557788854237601813374425675187695386672417624782562238638047962152542332654850883507582841374775671283807858637541815254338988548989338480733825463872747705555382125770656410662763258855209381008658507840600354084750657727656842244308948226796707787875877052961297366421976391906061959505620240481355635640630511346885875683948109342048503154738742183481612026032134749050645703543578940176722024824582480944120273006996534511057177938333406899825994220173342803196960772552204313951756648504530789913788212349648037346240317407054304280918997731682411294607597930138248144808435069043147496939207117510789734833887533288246093432315895600474529131182322414910028521467307484187755888678723653736517993333960039636553076098799256715196524223718773010401148816679897798323795903979098441674997562064971486761269917387479534004207311042006689711326753408323929761188826617058679300483276146312762085169589533958838895507574032500656038891391455940684712937186354348805525649283209062658568192529537426868985688321929201181418155720712409376632507387269633094326182325878375415720668181769181836873687249326722382648263281258909904974370542122348631888841354736547965614489730142371014046728591055136247998251742695512780790994271710766413420200338535301177144298085365134007385629758860020894450716624665471452802583022179669285621173986144959456478440435236649037973785328907252028167528252513476731824732163599504468091946693158798026977670160910329726954821960463597266344888967834092366819367155659675350690371868034682040810223655843679702627989223987031461821762720310985326591963762645315785615724046527390850705785571837830262458356416640962610471899847381385945664859236448388861984026129001230027374883829702290756307159888483382457558305966069690490192088863913276915195343765454785312404843368343477088975995888695504788628794368247184208329824301437997071854515212128356328990751202999003916100781567920948452088553690727396050519359960162546485662460327148437501
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):
31978
1
*** a(t,u0+1l^(t-1),r):
32543
5
result=O: Congruence does not hold. <=> deg D(t,r)=0 (Remark 1(II))

code version 3.3b
start=Thu 6 Feb 2025 15:21:12
end  =Fri 7 Feb 2025 04:58:41
elapsed(sec)=49048.965344