n29-L5-f15488-r17-t15486-ver3.3b.txt
p=2575462020249217312212624264093256398340225928444405215652078887577431603653006204537085919576908625222020238316401713146593657349049328592992287851537447564177873116724734860337177474936157491249002406033509758381657671228987916057458091027566961529494362477396822294514871167681104562268181378617193619975616502186119973049549128960663415360378377647319314833014805406995403153297412134689067601793412505695813541337153799383755157198480625660928764836667245872919183956507102053868265930596834720834797804520176311925616056722038508341690137088334851436414126831456569691260071150606189003992616343038139524802749695666010678899146336086234235795411702599984946040224992322208125116156175059213960250367740205986790485866277143655043480226957120942620963231658975499077338945904417177302347991575612989983373143109837044963346685325063645919115272891072965376395235623134802527118674631370362358828597443019760729833039256329169430774346635020215540456526677242127764924981417090031102626567983343272568505759130247522993820472371123560537328585051654746075597570090530708083544110889871471819457108970299929276727024926265820852213731516874312000333599409773968250879853299246347493372730411983528068350437196437005897372536750540184906975524226995855897997340041886566146170319717630371099125607344357289955843870029466303838399284206615058088737800292644928292702531011993519041894308759036422081434554733197404408475706190379726889501163722835984742069405096555928915376639534371917079031197944363719996743267530277088564058954398223124016354837450738304219676584338148098645948445100551498077890666623410057922754872606098217711394971419938191226154024768100479167589948000668270405866815983739333976879520529070513904754200869549556072968137426117834318665921814083553073735462395853195448482677664876050130971866633082151199895069727170514138398936705452526412254311830897037823170684040862741069816678821050315802562591442204251464817030974800533112132294540415527316142389910033798034055589148716513487387378783242205894056989169661840278026804854398141676185622734637333645919263873827478146111643503217439120316825361188019041304840164696259344564771775709586855181487404982903004389882376949800970430659893417585324939234583250314298217429245810524115284419570179149203277066922991966971492122911516248374965513586185166613624097401005537276485275534300430361732746638390111089625239674559774544361514596529688312046384394396137241598635280111673979146013066153057359475316095061123151877347935131532764025756865485066562611638114980944640531519756039513718374375856495695917944628764563571824560313121110858538323524418769718325892554748034609394448539410297821127767543407175282202248679850074915209788097614585065993838604640415971689886295892819995594139235965730117480873209856462706006746477097581047730655503033316542837158472890604821421605829252999208629693749756971170244559921534723264131805406241566357751395500622525283770571149136573501098418657197855535506102276126635737103160241854826582644826760683189714600896090233129598141867994686865564013825111718288964525764944428694495868259072650757511747355918200405365435823928330891577612355851772645965852421352868800487850821365236838644848313142653188063755968510518049258933149645811895259330027085596147354478888900096751272463835638856386039802253527926816915212659273904415823149413427157686272123620139313931826284867627744553003345016203274407040279608200918625226165531065017617734530256164251787958912360477834837014559228227843740995197814424331291797838515208515086746360244680199644907449361950842791517097533194053490334913304600146206823532090979355241831495779082743032127695098888677272685436789889297493657499941757720269524285403468822322609690849498404397230407061477404678881257573544709074129656561889047359755711464280864159711820283112486847883866728563225344898245270694285018873376958942747259713979177061131526174904114835295027503922972983129306792673413930816455132883323910305554839766284338257425418017620440066069879220891592726728077550163674840574676657311743670347158965980954517518715074187488185022526400374288754398125800266547340109239389526618116891335583103002058008257076403430908955248414362411599346337395160982403764608223328276901123878011903936464143142350849019191758441170119724164947655682795782977030327477369920994543672729774176875800766507275240470750363580697150013417941517004977401530189101764870294191505786006435274470994417213395915554525256238954601353895937981059853137912814054250484219840958795345226798819640555114009251491161903595911441521679351104924603603007427053842233559458708716356549433306896116335985703353856982437226813992558102168928431970970429395357638420741543276239265629691784609928785692216634236065096719261636268788522743696281973257359995879890587097459176016079916874944958989346461547616994886550046704047640206977579597911363665237048220650117045822626546394657608793508860583310013824042262065614086132438965630409633336763487709624491713571733244117175693709541078818507195446086632558465565122719116718421751904254693014956678574183631256353911369080167600336327743730879742377683925408805264301315800293492224821078123822847988967324541274869832790107495013156002085096363750610687977270932830773736410870746924413925124282530503729042073902969744016982715437449439789871216987583617836565561148068397332661151199673298592623613069843390050647527439024807063747715113710318171482731929326771924656658123597625553152793636525084069811041738696028132474751819584888397576991796077468459173196124127300574372141298825662519708123200007475809555040307520185909107145476824185297026269748571259183750842203668844551813950392030540667954020865084974011632843949725250753643626240859076845844072702791920488447216178416255699268945673682465961253193027846150384730412362910421259925413950082121864046064361106482034429313698088726744928109869784856574581673761593897725016767883438594750574291828389566343042176630831365504046709704248556831260355747099224018296373019007565212663946436901884869161612874465665223810859013854187386913842103214448851543885693312407000429626858359994068185603442072598605744496018677750246121336233961130918665316652921713416487367827085165947373269904710234404626120564178801043820839771295441176388164891401501388010899498419081434409123640831818916073147849302574931528888626769153378397361706150706258522638829103593866568790124703863344708977890801752163234760186435545030514290252251611701227811403692744482300652208793326036994182318630373623111137473451878675001181187353341468766122664792861536222345726899851104240015507876111357598293891923787366757412677027912142344486180472986560587328142593707995629507561452728532312784666118775190226150292084610205838260129886137232213580945365457562335187603883734824467556047729404226620891246405606708281740837244527090821076143193654187632425693227697126877384996691563688021153566679907137911511963330115871158445968849020152744923552654700400291840582193149256602549390854489802066298595278262168839740675118981277427541663887670894171316877304382342544259157488234600948371957695462600201287320426820704085975267616661765023184521473731887986143757066130412553581389354742005861356720536684626706520452650938266094192807600709204281797798181286881446719972815884002644553848562403045172720206166239544591290535889398777309346207803459411081637102502483201586062805709034868822608995400449047878284656707804808008683014928815238299855997240378848817050179878738060814424784709847043766876070127896190024054855277941699031919663779966536854998185521158029777202976627110180662221708014293010515329545854968480938085486722126584685240767666745680486932164581072779426565518291252945539232100108224075139108115445504019237441342816662481286627413378034528927725689944022595241759492695464455663947795352990315479784018096359173345248102801518654668522374030014448441455276447085627348319724087239735636825940935556303227221947488774084593037741362957731192120808461155667186934841811876457928102350324990082825799932204740221768868510894412488681189771355000725031707730035516253147630591864119447150297318375421750164077214529912540376714445409861513037798030294776697196994140477899412644701886011481200449566692485876699185574513664726893056731478422231547487907989826787795006400669758895229709852849234601382062497644177932006384262306266463799269814618670361378122244838885544086359976875167034849940922581724620938985569184209317405045397282024501514382563659308019680945140335490300395942800306784536032259190746619034286939897241420793159816546870883330310573425047215816439847996172304971543094837712945777214113530707456478140919833468462081646723776557003954771972067026554486396094923433129276911371987886200063584514282520563528551948052245995962967629133351239603350678952208963869012811968913203560803897254312471458617448083022580189574099556203291360021328445185820942009483496151159682683887334151854837980024900250604426051217905246207064977414314387514957497526357793547220927207874134482990222478384747751798560299547023273756573948049650988728626036977717961465770471715880470185382141286133943186529615658766060453600589891508168658726658073606452908513914953054532619038918149490089463296588300163183985133040876775623366022635079327229747324646271669087246248920242525364977325828217746696461772312032346499734721624631821429176671356291315725069104723346746838660335504475463758795557604640821765893208402635725471830530966494287805969370582085977182463190882976796742333306325237124811017127981916124615070711121964672443097371333860371718536512255399361916468000955234812840697921864021524014270044724103251112224745178821383113955019769149822842032134830283102498082579136197480238467669716724615749519885125838482817822343993131925491965257964904164605238457264839977498131744471361483744244931034537218607286439651840131470866399655773947132717829341491384014278984090675415970574158882926816520899145485553009433799054701426308356257190970374721065047726571837797439922428176796915955951185088366530462492398290340758053933620789192551636989909651072662954727273629702155042188007891893658260862883562091132701414795447297241048920548135099935905042916916975924815382894536369494017411595731866657001661090559191563151228023397004689145263595663498587915440621788139626618656919666454278518830892311649112143472532583522099296333496629408519109845275504802038361226190291728466772754981521509571832708280352588009074967002856154601139087337526399997073381259848194556689064763532863379141889186639168641685417285475768046879865431211091258982448279084673644146801310425576150062947226338065792944739585710697961127384023791716898397601176627382928472249750635777271469923572281035238683435932808028301713165753028533799806609749794006347656251
g=2
contribution table:{0, 1, 10, 16, 29, 36, 39, 44, 59, 44, 39, 36, 29, 16, 10, 1, 0}
*** a(t,u0,r):
17368
11
*** a(t,u0+1l^(t-1),r):
17739
8
result=O: Congruence does not hold. <=> deg D(t,r)=0 (Remark 1(II))

code version 3.3b
start=Fri 12 Apr 2024 02:28:23
end  =Fri 12 Apr 2024 05:25:31
elapsed(sec)=10627.823241