n36-L7-f9952-r5-t9950-ver3.3b.txt
p=1875109863517413223786948333408243134665705822258540184937013862576308587393715734395713954189156147407361452259108329991176658972101082169429071877974671189853241650680573441492915981767627001528345492636562475742906079719292441933604717059075482870291551480011368851545354281004563299857431425878575888214363558679362426626842642089654180610336726139892697539349892762242457862046489144468839414301399615479529095241736039001989683443438392427356303210464910572015795575820152806999567370655900667285615298957929181484306498942708678401429608710484535226967604752920557387138284988326796059853373298625257115156660935170765826483032199117540729901712167815645927174203964392843988601045956914403438258276415188611137560523609501112936463582234132559629820830484851306776891557484013719097047713829837864784267661144769882078534338961611669878378014636483181303820627816590609744089387242786626368274961143806108062106171829383869788503658310561204300454226737431034044350014552993947089819386569482556241970301140310450878425473467542123870070208182906404281803471035762633291312545089433251876831119312094005349875000598068582064544861056825218182944235981175122464230350989421162852063229378271272909336604108361159461113610195769718442415344708124713111886617587214775985053939828757413832615807512792442586944547381436827460317196827230521161188932417678824253749218253401887871913083945292695497494240142356439032766801646125467680776103604141423960511099547291025349160207768098607401185202702029908031153191565187385411566841123807376502631075622371968728867278931328870459113826369132888124178974133648536166107016955798743109850510862768391804900734835749851199260248376369971963187571301257161471937577241584289630793228269716771753285905151675441268383227672685028561949474237457059497811942116823434271594871064330304774323455085355826191258783826070282695003370565028591260196287029526644633071054038479655833656238517307307585692416532074645414190265730665090746221740104006965223709735798740899313280584993305107567323780428908803372407371950692528727264775423755471644744289375427805769648263622559741343836540120128465143097785245724367587861342748773475326306872400696678074663573830749479758122732734704432878880757177970843514610646202559462436003563222404894013077721882003356947329700432708817086174639326878661625067561371824110362911208374060507358886838097903754284674151750060738959247540799786225443644556210097229736442156656032239266570466624947113354951892866467896571527968731541544379522537403521239093778549164611746752872079356101110485525009852858977090315425222451202046227050769686077990096898982389404269138705192600340273443633608463332313054534621253297909612145397667589404029516743139549540021935694730135582910139381281012817438000889362000478321876204940923202037826501134917114903394698790485353046448559243165276517633870819785307558638835416866998337204875308797188133485430712139866709707312754278599161030885967920018205890228714682384402462133086839269188404657792370511093515125152232504659366108346601730500688736209746593465803214132630285252820939223555000100612319132785774990049922292041663953991653455049973318026693680589871219562107530655817352215491114412434190453828629726408175774516003816192687243226232680266059838276007180382455839060647043475615011577079131931302218672738090744489588485080740389227622697314022094161850491649101800389766593021576649965721987180686322431290670122725610080264043088310926638120611842526073467275894136852718003154691994867113693854740852120573381097973825752587548281271708387044493994413092621215459001101297248505260603684688575104446701951990806812266773181576638610062337127468240402380872978452060723712475513769312873133443134154402797905463474239683779089885044791435104779814124424702506745769928678915272864975703424977041683745874510190285153652419905604457987065065402132390059771436685829233325513299723296276837043418300389000604922422740822432266542454090800767807327166551196456406854060830987713176914854642679485654130495662090874541952869750015528253071936614464882969294199278510324379595486814698865612048653215155377773176629234771402322199721108945189138140400438460022213413108184330789970479270792836617338634761171313002849503610062093770784424247656516953715158184076675847551918523471920073611763406115412042114463867495233569295915803911787634632988518277716765662560272825926431059640369686140988194594477419118369679554922290412880541455670964839360517924927851536807658822078146022186155154680877399006535277345576267824584705211212243192547514484736153183693408833497827904422248250964551010141347295680387089016778060380552910877883719794411586931551243728209502399697778217645223100070632130539490224541011772679147426302140297061814635907423234078540434149319195244160876353912563778891474484892346688199178065382487311015429512626012604620253425082352656076053512141367503936252847802817344576520965744791423080981578549768931219351887199516106684505202677771410827381479350029750413148268386002224252278340644516588630378590179012045741333126945663490539637924974892158646648997346885400058779784360925104252098004394973479831897939202339884851302545728407068210090638570800254697444265847951696374064954605868784003040712063528314263328791066080236597165634377099910993146292511902499260157574000091179150563149550250486767530109052842041237456740551000238032498106274809816207280221356505827828036418051288139205401035059834929837000274626624729620899870732569681834400240633070900889549980561172032739515818261094929661014893879484417132508969357449239889883623943623146128626754342516232636054403415487189952999496567397843902093989221006493721762585352602673621083190764268059107422913423910262663969774072560740350429069332206012744308752166386045475782947476958776256694639540738371262198017584635808209136638290299182055294537073321458042651550139456116282952829638314829557210177568805928823848924167365441959256737672548245544812064792540315014927047121984949158780635419323602970810113121547532481074184298868793878236380554284015799052050136177846261758555528048410651402076223169284381097983474198010111973346649836169105551509048825073055779572547264959966043954658356539027482348911268124767248291506451212826328183559650610297623081777323117362186979872244754038795740017749113531284539069222454896336874397690484491641236449377419018377792639095566735029285216155827694076457407019622115222790715567536296809063038205083904702230553931521909560230799272714459647519853325548531642234132157368231651504048193579413853763748340536057729482605999516852460095049632176537500685015857090608084615115209129945238138617707401879919209945990564829332414683032047968481005449993688798222746738611237873186850296930982088701309350239852595382995833268523449820326862684876731470089121287186241515035208019622412575663826495079714505206729095889565486041035543007157617331491276366345055596026688315051679632223668534469438621401439183126375172673298840574808374320212660574573070540297207550309024775276459946992956646155633559689776704447107942022114869541014777835610332580738679722792637596346937799101021377557119926180707326523769048553651201840719042747851452843412125744305868207504607125387703540613113459240603676921206504237910541298853495292982119458543242095805023388679141339797710304316499349986941293200450423012465070121423391276812492606281434848229850457499926974452152345374506765255989875915939031139089662691468357288610960727116824902587312403678778726089958775275065299252272908764817457323567781667817838529935605103924310808715798967210375577956683315435260120272621825997146308931097610473399656890207447242412130958053782050520453408131740739905196157304773447623311362524835170397861221570853297367344173894888503377654301179279728585514983749487208984997509011308704438323931522385053256522229997161784316192025149073706787785210369991654825935711647411049301208335861994969362750424176848821738563633156327029138930489726615900661825990594943583552313657559267435649588780678827649907814123951643157806228923766214429237117876319010851594233761365160837436970186900249924924078796616647354423870497218979176512771807592191397593302575651390491164220646258019465152552613211274500983192401872013533770277245730298923260627870498833870344607288199510109237428732499407172943150856100805264671287345190915494832499761263640217232581386086473
g=15
contribution table:{0, 1, 4, 1, 0}
*** a(t,u0,r):
2103
3
*** a(t,u0+1l^(t-1),r):
2035
0
result=O: Congruence does not hold. <=> deg D(t,r)=0 (Remark 1(II))

code version 3.3b
start=Sun 5 May 2024 05:39:06
end  =Sun 5 May 2024 08:23:01
elapsed(sec)=9834.573348