n97-L5-f11111-r23-t11110-ver3.3b.txt
p=34955853249233589994022356815885539528395676355593588673896007567308616083044551899197777041779529777485588309188375576208157604208289337942553043958414802096361919532081961018497431861947759851105527185053530665851985098335225748855743929558825618218421865653628027321794009218134235595515234823177906115295738463048150914497879531852755082472658473615817441134217384974206810718205954976300279046703167216471855834487239894104579547853342675968303546597165750598045432532687940735876102352342168686404428645118660442138802697409903856133096477883972140224430732484293026536703290107068774403749464670004310620076754812996006157631105756510963193498924807247051501747341165251610418092028646939622940121792930752479960504782182457165043177594002263252843483022189240645616097552402923088671044344817301286745840104089376590339274470558228725090835636916769631860316795755921247113123710684739705407026032541145953157583547254205054583532515854548504037971332872840999200811205578046286999925251657809814148793175155647545508518359208457505868204805980411038653144285838322612023442387451125809545253015484139025832753322454925635586867502606268491930576629083281188799806025725068734749643119527251939771327908236573549129089410109534841379633678607848181250727001080419259570021191579805635855032129950061833281409345112570214044518673309517008625029315555875569513067823924123914073247905643288309114167755455378832934125141408089511999728132077171888035383612195459279613479094931309242842449853976705608779206063310590174200461790502416353688228682214740620519915456120254369128248339102865382263150587990834798843783242438202621998231801429687404998401450877315137754680513659402262646872667452386344354843441296217280421887709582805703684247831709758377475052737144828044059557422409129026605790569063676884297824469505340263086718531033670761745638137487397112147431668286157856509652992311832494819711288838833834985124635023123818521723906969113571081631198611123339155290907957325491865850606636095074214107759243367474958664787650776479105825929233298773453691533576098370993648452675272864252938697044271098371198494739085245298483651587993503731921150463669481523413584253972201364979842078834547051176703164505346495235946405324978037439722595881321335482810796337741743229694376647807602923061722916860436795620277062069537590116066134264595689386716831802672078863177150508243570656315753226289920432762597201736664631075094371129278014865090903998652616610188419701310820811242141111093440933421408934961827865759523872204804825410975832125833993322132764907195709801052649420842947661556561287277182831465519427606981566907517105956467121642946877027847144777653369923900277369654285342788360911988670506654456339751967702070458890586863014986763328962001668005359774865614538332169087302299410772855892591490454275720448818256761612182318208100240488330137422358856810517503260369064324024611629555939121354315700519087374572539211827794641456524345471348125477223074931167903213769474897889271683786099291560947477409827724740701406723413460412269469657119531556152411398448960052741432837870536573335058532555107986429722413837748619643706274627492081724606434357367109196667971946717223131464558250543867237708836552741559314715293797104893952911136159034135168437774008005200437420589986652664216628456857426093035319580960110786176875070230921619407347898437310794926415126338900252829808112211263163117914779211627439933086852810331635450670326755995769978402946873519562522738536258196029620776345670966919865297675394812462848718961262618314541222254746178739251080071559004160576026403289415608218402397576942216285721827635768447297665090791964190454358195148359104727825567100594029242682464149563722725725909707911102062562754942844453033476558252146134258639533116111330632786835727657618660952500612561175671057970632320065163567702159168784005726625044279326436315413860563109996783395891253481083347478058522130295170380709313545502590963161509592795831481241673096143713208765697362734379107767116996867792429145979194539636981870950531942463288087977683043609016993695078831987635534819498268031722356053377784971476515765098096787243816622163309679019018158688529214830844232042156610392119646944598381134594963617497921350322023603368200291383622697564789158689786500805701462951396921906722589557661821712815410303396887417085814593346262106249315946969864382051348463210620168068364712095568042793519572864847905580034992780332184205601896091347912323318604968443477130322199769213584976920322260247844185653172099857555964167865123121052461829207247972592806945519986352358441535836427303466673636544662310334592864876052442242959383694026023246461354323566768353258276379714185961955206400564229470250437680571662089356051449774894763306514001715142521982756077941709653502963442629340468143502690612675220341301015723624838634059925990093887532419712658096928525567915651679104042948552125462717650329124821933258363296297793463323092668011263761321282004859750549294022767944137707956204589600497396817145867616188304091743594646661055348935935270534042002591177450375540229529492065287082890604268973420662188814099531189830186269029649556181836421859129330810454174451676199885893539689623396360163831741852289785398729093304450526909435899660365471228615327733299777742944808866056243130152331301345456778578344894101296268232180437641166175599900560906412539864435617555410734235005842272242955275354407319427426385813430768341515213523992145508765005957059168887871919588368706595387456425159592679416248200109282644951605606341576243047269026018595419492434517858681050145256451645130791339751386430249158633182109437712955409890887438277182798891838288052893653136857485660165040436303610286762993095362408724279007958721792269032320727717764963683696574612482031961350514275743934101925772996462302511468247349565567486529626553039787516660129503204120050427120195321586009480137683513376673976412028081916690073476831570051000876119261731154067218237393478519368006344688392833650886331308526156698948649298003497492908157307526728403467116333968892935291877813407792681427135222830710477675154603819169068280466278873221690417055536292583641134428888240456716539061805687627579387448677114961619723626804421810213528903760257748117784269499433084527905100209027700753854560921359478465993724523110509886945513059613095814500858476283140392907931125031298824262228521279680858109439278846604331352330826718343214547291872780076486380312441108856639818283058730739555888112142893567172664605073444227801882088737991643723256247063563869956527252029810387342315151804130115148252444205840970588613872903071462270492877776734627178690580995453347973751793866879232533381608186375681489355252565089841773485646375499218323898106636601846690638765188980189754251219613999992422487796591128191432897538563652616269144214162387002534592952257219396628627173811658338429765091470396456693922927221483652918338315531578934753531048612809378449167392761788528363940751254975576151012917565312306391614145828653586829107663974424596823857066918152035550045286443808649526875097811083752837082332703941040974651569643694079682812142241539948723179226384129138451461485258221406011805434593845884890150111800051944579992184593175325021159016656416095711494030992220345699827721713352128217432238566303074214713374963480628789755236725834015907767379775751193062019583452214314865902974163147790494808478827386994491214619986036242348471617756611539294124720821205650838022101222057030799194963945263586049987216723858827254751506338795244906523446270246110858686277799032329000338116998660475041591720615780117983136684246669400153309667982771453763707174031580164994127696718462114605988078075426983559736981987953186035156251
g=2
contribution table:{0, 1, 13, 21, 27, 41, 45, 55, 58, 76, 83, 104, 83, 76, 58, 55, 45, 41, 27, 21, 13, 1, 0}
*** a(t,u0,r):
19912
17
*** a(t,u0+1l^(t-1),r):
20083
4
result=O: Congruence does not hold. <=> deg D(t,r)=0 (Remark 1(II))

code version 3.3b
start=Mon 4 Mar 2024 18:19:20
end  =Mon 4 Mar 2024 19:12:05
elapsed(sec)=3164.358522