n80-L7-f11174-r17-t11173-ver3.3b.txt
p=21360878115800146634825287971248324113014652874172415513714293596473616872814028287937031096479768608014763836291924214239251943073639586105096300262853591528311354667209017741288918603467583455171814662836381454832674978672606268413709873166617198687219462973008878821234189427409679004160417417737211002620424259277644359400131053745415746465824798288741177727506371088655066054249136002789327099993440380502992414071540074684165786727013034698876703904934974966751744158344419023400204837331837872929970978413599150172876705686827847935063633366412188891614019547547197375488534478280085242278259005013136422161576587085481337081032609429294827211126961026144274838390465905515310586312066474098210884660832447057445958749514388001012797108201515311453742533413915765461481305657924104403928858190091927042045284591826996414441650042935865508740385435760692764336950647245299519429039913312298215981100232346850122273663020736488615264767240969639485256737806986391604399495722439799579284127375923023398053050312630874665623671670014966356014884595070027533992452369260969980122943776329070307438350719266727093686837947627447150028041986190701296282777894389260398655949313821380740608839070208904111148387915809109249412429275112914436656762508836445761105915473521753369577844498461961701665491946498366155807120511861308138110016395238098424366976302214199000884951934651084563033999138230462886647873326731977373757623372785702026992127149603251395394308481156747653877256299229941552026499523439261467572815705682455166656872850367578084089482887875193215204269228211258371835348557491218551325264412933210284719064924619034870328024278504440510630799589933077373079850479501722146244502009003261049675057405080358965594392518805914495150684121618018028936332273869150035459796970321647991818593778343208903757790653653296952274097671275129878422626999531804491340777662609225618345678462146209085322454909154960066114761701277302605867839958181847050973922285691846458787004289683327572133208774049283735079909547162134530184287598312897500081988039497334649637207131222995045514544675375294567154555881317744688565782164995126040500144220163632362687754352203576624113734183243095275830667622005795195499890944966321038258335616482350774851149864690784594291063745950976801357842347319114405521382427390787253243714048706275497255252288084561249204175810305962492040981549311879306914565582783285380066587658954390005818818670195651007434296614199518150657401654894237840283969015344271679688476010452131179800510193090424379067585302087406047633918858389689131086182879055951384826119763117871847229979518906436706396707889605067643134083328627149121984231042804381080806616387152665980289892963232185528129641078973816445908643336231835391133664480395172986005508089433190472436883988332438866428701648192765712917740508926108800366993353857929583308023402029435799181911357591740224215122287279398349843007714469276927840291339836912005696473141415947633035755780309072573179053710128918652087770548871495235844512836733078127915434717260779373343374044402761614675750977211311730813233390251350708084479493155913977408329223817061183191336510391394007392097787353726314411506211232388159929101080629369485662572028437878666828951062910160876560936766511973275077586988868105690033303464273834917751514402768442422998590174496089670762711583198444610779956620614008768810072931600069261225954564114119381750310374452654964853048923021497037720158148011414524373048058944024296292567412573599319230629752813508142014171000363927110802963205945378206517287971207286743387818872982377032634173004953951829985934849034810568169663826227991145788981226391244247408047538678835941457583623376989419245544168298001126878774922092173982083183373636920970909780788866062756337765530171805095329381452068244896448087212494010277737866622096437073203899350057767693049683750781291855000160423351319354864902876811050774452681655223421475064846558081076687294061183886670340890160609591230904165217362013403086516954954532723933273800175813151393374043503591834243315966834716701714396625424515475033690921597057783928036630455228882928689608752173679244796208766960883791811110198825369124081861170818167377064483909602376364269065822012455253319116956931667694210584447891314558570399924862353141026520490622024564653159808398202248325784435251220916116716970390580709168776458362026565878372924555772723520553566055798950776767813453575677007342924406262990986795820955696669866780554767639482745060220907320297111303407719331386220650532851545455309166603411279635090428053797140138059912548561227152070049477042615312879603676663634474895018724433597068325563333202140774990410596523869030955859596614985555293418221093705748933212884007315185142730630321669586395924576493906188644876844180295917735015951705362885084508674496420046194784638227740509298810881799285091997583695614404345379688266272599978891250031995876451389054794718252895285757572251510111733273885989225183265800362807565928660453487133258964586713695910977182216566930795747562002200753108827672404488011353716759977574150890409072288683271077180433647511839355541837597440115134758535539273523435364211866808857550881036885692554381524761625186000028986781603109063636493897472077049262728281137026282033089699408411383905958325925768488656834285231264420674705827961758924906403418331186928960041931842753677779887502361389853444968214068575735010023985064924628943154266997203118005568846100871700136278295477858765640599629359401781263290970601081658152562709018122020953452325115559550578510049157598856610669647660596099655093210881907583834428325754069382098808779919051256830674298235305613290179832017596023503422432964405805112463711129211010665415376549394050865155645227155488353705117112172719768887467338430494074203144779868078218183916902760032470247501008276932534952406335606445506002967887792652435183463576959041799052913417908769864227273458021525544818506342679035656364448483607372639225450072341081840512571376608208096525408942443807583721786468455001352838831031943093345189006636945833224774166192802955950526924096683085009319388760262192238097094550076625021327770849523226017376870606467740426134072743132082981370823052107545268430439550317832467359691429611404721597295217037395196114706350685192142943629418851635450947421891403658207361630732732179737083316918291820534263765040018082117033329425765963704754794285259630910263047333410780678775145468116875288819972765996949035780263640269634748823226076561133457019795115385346430187596012785527502868305374330305340122941363704944648019686770899537630047985343543431967474581376662054470978824650405884531813148944283453129515961144836162007975440593262885564888255880653341231750468353088076550140080825981780194295693351376772128127665820790403666337877817669560657322258777291673270960950167963258146086202137880473706582559778119112801513279515011517117504538171829428478484896364032550100296518665657572392893995026779905288484908734268649050050036684371195040873636414466147421482233491500064960781173718672227869357435310942515021226079094367960374098882879802752348309978796732871132761415634863808376747326036813284643652260950077476542998719663326664448854794470452883175021549298243210508923529197118209615729781595489615005286160142226363686251365727457631150939408068399795757607635950409264850988744202399176744354065321654157627430245692369112879112809898610433736239967269997688105525361673064380261481052385317000263473327056482998081723575427698094052251034908850073757888906990941423092667359383841274052503931016977963758165133881262859424268321816576352853437304236189589977013714671918773770522504109729240770183578984760305983084918520183784414679327658413474776826957870161113081561734400389230646598309968438480659643962149762985157229421754833214704306378153047485143038360515499266831654970869007843083283640544678645651503428293795585911960084976855605123931522743216389992647797032174547631848627616805125640618237767611222191743261699688995806209347698261045606297478068622142499531562533897277698182913552636391492640575395091500043114085957692513537018949730795816541133566358050684859056634355833147323651729380711221600038876570534457035166472806504929114668395819419824904362046975930402731560408167436449861451311276134288073392300300051412098952213387092432637150452833017794119772896730757169151267473511180961716270308280717205036152238249380667773059154907612454508538873521010141952249649323540253032643917250551704349588617464004263398137583246005571711441757207155625491201116080407535525451015570501616948174792817835157190861124107348675182786730255604568402603776180769564585125729439737938171074790415177199049760666887576238944588274198050417857801189462196530121029894439583898527577501922171890747366671962017388017383248953802673466869754470137307954000390283799150240131315428819842543598922000034121858391366743729143408178185908868564321625012722119646257305009926097124092846075815110195041280554792405618740767191665330489627004116645209177834159987509639004788208356841049666725218757068938764715693646863481203829288175498369446817606409898183790533005273966524064374446400452090743200931693822064869500706421380574824064157113963991335000249811940375003930977244539976804009445803681969760463554505434041932242011351772703908124512437577976600797447908813502043497506257050134415710813847275622074011374580007553148295841
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):
12829
11
*** a(t,u0+1l^(t-1),r):
14158
14
result=O: Congruence does not hold. <=> deg D(t,r)=0 (Remark 1(II))

code version 3.3b
start=Sat 1 Mar 2025 23:44:41
end  =Sun 2 Mar 2025 01:17:44
elapsed(sec)=5583.529508