n77-L5-f15758-r3-t15756-ver3.3b.txt
p=3604533347898191847767681888928137468342414938279223189484654054688114705832860229401731287424863315172061389536090025745512297354540999412110108560595884557200716124796787811178040928192398169134758433235561224698811614531828016474925722055844132703944082226961279237408313621823963768673183459601345998366137016309208574026569346269468010313981057253059775195562867920229841259914562954155731980394599422369373091468174237779337979210175267161314430401549581157045991577773219017877675581803822902024297631450142502917066380620249604625827491938176511746797494959933968960855908281622214121496405719656289187560352343049511439793277693191980187396055860607874872779896578905146831886033981953232981511900953349993252566897343169558751515655539187024437551781002964812024737445362878988327755303922202045121031982201331403284189203065387451661737304950543305821471623710308732044901299360040504111788785353098138950701397873114902299351512294294443978796914231560190135733073473310813548089150150107377215280912163614392444862014746529370803033984874981911940707048476549194644917592077430133232358488121011605781949946152477066372326337008080025856876105613626475942763120923757700139779478687777955436872045398071953585850722024290256867008324231323108820209879070059126702944807936605388337645622702220351860851523332485171447081485604334160578356037478648263954108831308697329943436322613027333893892319270315463710238669236546385915710492879660409047320135016374459355454679053673526410622935751606492866984130927762809212335317502680045782499980420875907519679729947704259580206718538838746064217000619875276133072281875798990526526520461971029373273811168984519708116006225640968198213600664625631986718678973691879456107607746432099754612651157643553703540019639506023890653005150224505656299153599685056770598676730798666098556973128899340319582179720947312486809271098239578809251538105187546516509256230109935125786201067793443171003719737419790913982905700869831092812909660455856215311808284570168247439342086319308820687260574421661034024340865175974395745744770008709213759615223400382078117880574925557159880140248275562660947121733706601613138573095026660445673669165779821729462876373948758955864144264556527431390929938595984681603345400576623446485672487833517574283873639022720592857006222641498184030366644789206290817875305170605661501823177795251298089501169517049480607116360297909924393017594299889501289177819580966944214420813260760750679612900841502074287905006633875785499081105384118216615618507137466772686572537103434468443766972688307817750467724448742209832950536925221816591426595821776351251424475308992624716249476669669632055901481474332860552384242376338672131910650309604671270602331645203912625692006518734328069088152419031802877109574368070645768463269951008459469369124645597276322966437559924538778120374483034243679332201874224459600627429131708327042401372533535343075125710074759448154523196047170353833326592173870342162085416662371499817469003899507530251948125711467194736563124128506652359540490362583642224271142689930808140555194158909567735225112402519290246513070887858761982636406107650875388079500752791057381790535235425904604471175440609758657489862666541134765443580910629347860961635695375917042180406071043877135008565565175598994112395252484339322203411536539972200636904172166828839027642754719673285619167910673836508420230470694579389781877563036725824530089824989681389895660049649808732023687775931892935017381101686896194039308681832155612660014992081590259906300312818991623720951923292226725344737906389733240946736676871832650526759526903880085756587290708777196096446335282391307821462315754213218243621498948741478229749781859722842705259346520325237508291905794203985574150708728829312655395277290816889948338761136297617281433530968775759228218789337119936624132822121588701937443231284328323255071400161412148028352785190424325232899556787954308328587852459733814536812450815691342677182844720039050043893350524459533687639405694461971442896108659214350373470571904344163796497849820490274113164345211275992883859389431199137363943286332081454381726729112373682025463492823581371064044094920114461843233001126796694808684617130038444005981238368759058770338617162966089081879209940809561939435769494462388749794258306890197061420379011928247282217397384989687254975326246510499952998182639036016492623420900004617933924012395767207622621240153261730461353181722753124263065013881735042551019316359246931148103079031032792597986021364340868216821303715209131740310648790735995971134317834615839393170985048588097959164113023115068940771247629100288483129131151896886315926075058941098700958439620916672845540561565316884974582211798396794128136304426146445897150228079972251460792360565220823128958250804243759035656177308186790651430214463928019858286600421852989929542260849559055120952768349557436336434171262882826157987437124803507639954625916589743622761051932155593344802340656823108164401701903752435456569887907749550457590278741460697435252770272327262916510246575052737918655796849168848126196189080940884135613261912495616455289057732961315447613140250977784774349779015698572892706943402665194691874070468163990308235514702526564078826992731933206837844451243081776622884599733699820868574986696804983007286321866499361196525638564275414837501253636188187890236219893097202565319532579112564912765691621799873659168386545086714832559203457433687349655549700931425961495480970440704713257103140482869141706877558906670469613717088528864616572234203137670773941556707892744854644756381288168936232862383265449524519587042847962897650115971648502150959712030376328058579874794106769213962153314054278879559500421664754245591684079771597194323555421962064868464498417996233199349520929484743248182586420681479549329002009454007001340111646420401095926125612867097734714748145432549629966108859309009436967980777499398341843760709900104538310903722877137216731735335123577511994567331943754885024551407112311272770953767337236208786745101013859082914963057109021006575217310631244181744432079932486694202313429972396007114624047513409063786305575302613129531592412101354963233959559260427626326945448119959935550531324267209227610748907405325579287103354056707482593817370519166840417030705153264316646238638159641876751780664184977831026181912697792099697291024315902274484837664761781584605749336015544467826194834967080233296489207228709231468654305284485086751908203006404092609181579337938148714806788676186639289471656708586254130982182142072912106564338865935875190406965950804834935094281789645253893535032544090817748001106582657769360412342987066124552043165042295104704355243693991388316663763148479828680999439832942478025756171488082386735878272616489951856945581483038541981016249663990614465438929259901242904352416063729309850378685814869326875615578024884459763865727145486234174034133971513962539401488220494810760685996558645571750029359079700767583560994514965002386817561130452801376247808714818927940495864766367859872455109084147167318065868701518331886006002462479309502547722293347097625796420549031864767447960383627254619684231656493200643539565496010790743325704243182729910051473747706522590926126497227729868517913489310228186661393546155107827723806538261382619105704435540301534958243000345816408274536057357609359234713708896436050351614268803127300714460148744293783752749371713890494432708489143856394339939621033178874344323509757433673222831027627921882549907649042949074788557652588358886591294836479946765052551179098962982931772005870961549883439652731193323921645600712354378300658411505673796176457912220837968933529612506387948086979456884269486441975312941012444945078834156034502779111660834232433668851730144945517462337120603860170509878225669612808040418324917210339523990820684391302099232193077880756726008417420021859841162860951939685499225071663881739870562755925621872664286841360810354846025293388092810487715003212493740957245149024660778601009439336815885145204465030177935550940320034673895153596644038448392147492808763507064973596571246699667701285901875709844452011804483926526573242666854116309078975561041581929016785937698675872052731676752159723276755270293462718482801845555812782562171420940767459725409549383481767050822154425703742202788063136093517445436889104274503570245803485557830736497204598209436761298167821833247264368823106232796649956490069132655723632853839781520604665108092026335807025558116032182232056458524509807016873026768451217786182542566940462241931252359930971480389295760212890377737637432016573733134868687011962614985651608649873629101148756840794104732372947489698744166373625224929235641009503273709688335367837246616141329176481949809141648757789282627607773753034907863548806813737947965271873808680278246723649874148593857955578799813257221794213523182612606605624285239421717974993122929273265738017479599149860247669336907433338091424003969418225096131328535911865593135845059291667796641464806722729496429778023002461750472636838198211337415684059034196549315429152440806351579019186545864313038898695825320077534220261560336273185705870441172569043534715185468233803138686799841081838094574709445941669198745298020053463229976929234114809950806384188255142390710841831056281332719163503821995179120064335738831718815541919184404183220497895383987770975613545668853570532831803261867373160810217228111848605611532814545462838582916113364352776703793341540073907197455751292956847927226005394165649991962161993860453690402049755224685686733369235215052521400596254749849764494510595884574807995068868124357576194624366422474698325585222261200730604941091441542086453101441903061597833132328485326674643200446322559150305338757685736364488603195480212266510889590189505267743114198721933239012896749685830117265015090076926583098762425490081824825780726572935391951172509138819874014560207899341173702432713710442791627899991500312560493316535645211933284142773967910788443530012276748784389963498507507614064749868127402786839255135998270333604150750308758411535706345202528902958415764528222671650192225047680643025800542051034906800251358165209069955783239248974504829776771436443790292533375733136712887684482413885275706498321609869256025839062264244084625515262882536516738103245883104945409725915397245907910268809508874152783154659501395610266721543707153146747107722171175921178091416501917635489681744875351642961701902858834092814531392253704159918134173479431520766895986427302237971599947146142877947513025321780279718268161638686563011657153733707132908127323420788745197017830633620940569301129177302071877701457121094245896277884461864637001288312229318226787728649379186400319501827817667538742870499717809707515902560443547918971244781869653236995780702230924074590928552238796045866919952951325054761332482503630892197253301010255459545777372202654326545578163911923865041322063333126308203053994083394245670976905666058365984117738943102591751803783126452700845155372247341496461103815818205475807189941406251
g=6
contribution table:{0, 1, 0}
*** a(t,u0,r):
606
0
*** a(t,u0+1l^(t-1),r):
625
1
result=O: Congruence does not hold. <=> deg D(t,r)=0 (Remark 1(II))

code version 3.3b
start=Sun 2 Feb 2025 02:54:18
end  =Sun 2 Feb 2025 10:43:55
elapsed(sec)=28176.885869