n48-L5-f13110-r37-t13108-ver3.3b.txt
p=3013200829008724560906390201339008484836591141433707714320333533297998528236527372757746022871741592920933109180989319121093966680536989000230865045393817068267137892494058156109163653243397989216434318480611977249922374438445669181380602862802472248660139232521077224004468608565742442109568772584266695356452611642552681619918699896677023759401648013434477217468543187096492846902769580252330121185825348140680799822543839145006785551682220312519668931984760633733927430872467181543002317276275010973241787770554580595943261604845978312858793972223643656258640234621459111717792595784232334671542033332818740238310173242914634162987423982338194042615510903295223709557695742425160987969992522988154729336715641359483640650549311796823920011344256486171912930215530544794805193260689097686884252741644314406183151356403083331192624382244234030068702139169191404287766336591089027776991590805828845821776129507156329140944570195638962404369333179707984485313460623145155259918840875681681651669202038948577159427413731311915412312539094507685244187546975956376003941609596105053573995830056600656715669480762914868658715812456622358536438722851648859958631672408192630443623860047786519503418392171328597605455753246583814688819894252123412040248025507588210083323960615236621920877926062200110094838640147028294172749655569206979908280798899746823828163806694459869315292469035873204433869383427808919681746063254573445418241398423200311324440021245574781630552787746945451116110745708496471547368635118565279354567303511265782924643295833085479593503978452285667413053942888012148769018226745171364077896590817760310926386396493064055224930373247507794933490636646684228979207962988665278183493192672585423134470183242770146179077259544550213510498859407648594862695143764750795779078612363057886947560907528943618786077875318875564680075211560346366438182654573240639743842927912781503902323642167807082030188332314912754333432207162134512230713191589641280807842862047451346001462981761571246852603788305520500889450536859634538577456212650208130018394653492422903576907207046158844452921772690653430467410580786817336100881019018869161317854506528241377470311051752998442481776368489519099653834672192932094119387534975833668004943641947592959280942916960457391696512244930260798166980718186758453831830820380344990803883799083363646468555153328741718821279111892691479705762173085896804369978781856904391329197654018879145104438911556617413330292141031711704731161268483135075927336181923882954618747654277104079112771030609040315962265156854881231459485790021276883748163495025084347294375124078097933442726477680497446153369093623465858575566752506342603532221192675827486486775350418440288970621138234440457457592354826566680606275370552496737444188644859890389601497166421218088071659105490706679327218089929214595312749264653412722569758772386155854336188720884657513006419815341721440863451731877049882101296241733009424901565231724561694174745028978084924289914940765556075296574359067854111983615892633280884267262116692516193676928880560113410907052680396289212580390742317039420026074108625563924149224510712771934123624719118660393180933005816310135829569871601542424158300556456377991576706820173006069269271877732827660069331713701760987388972101761123367242622259360666365228420026705851774763990024195864779654244373701235091115370446100818932107157851870769898250276153808507055599892612164058259180664844174776025240490924062327170916537093170983748096934942159620663099038031413722675046125511805316368012379769488611959995108427329553930080642107310446116555203477069358470632301692604361166226954567060597423093843943114978888573813955842813048453592062907579433112385515081773117844393264067007746088472785005240752780754820494288051417168840718761353804147816181846868848269876734489689254193392922540050169433951502412493694216543301133997295744402456508141929728788955485445078153588106205310004270884274075965643603173277969055893452304923658079055130590141012248757889036609494353171798661977072474660216567752507355492417028174277615811140357871693259101188246230329092442488842262680861942890971795738884383748927673915064687239710191215772936260441556415868766857735098497234086242269495379301434718659211133897063520995727466848022967501307547185011879425143237553426829589863405530361788707342085281059718993346857415517844933704183338969015249269077240338668161243535588747472450359517750542514140893502378760460649753873965873572417598202605879601613742944181744086646937065338359749530354845164866817927507272989879023471328464111374254300038486762301200340623751771404124173465956182885128890682216534228981675879029563832256597888291969737818320423287458104614586786857999258791980775082562083465015021188711499322582621622345504950261908305608760006666532220308683985939627711006821752638409736259346947242212967838234746605796362936250774646004387498624559805575211430448928301921731850524793889456157515802196269962566380765831933178842807664589205324540095890220095001712283712426464635408315884340601010652631612553991743818754186644512235481601534397069495989317106233882342429034930491717608611040640921549466032658466349967824725266755511101677614466393056511257223785316685532704842349651059001839413823066400316337583142212351654473288928004443512357201247522197662340603484501378581730109764797559917680798280247756093391046501474484123053864325900756929540733649378382044657905813049251940836334225704118206943524930990390471903226648939206392626407674114848669453694664872109464162329077935458289318687884037956690165324059581120255507291462241736874932845405199862482001034675939959685975904273341141922047950974749910784420774728243552796804319510627686183160361895652744620860544959158620514360613658671065787327793371051599790741289824273066405207321030011238762172522599175519718298196979882553930262830627384340675533888488839261542897464691430082891359990030362967555678150732539261927964703500310392990861206139903662918462903837200113821835264049073908517964956299860350126340279212318245988198973026354995011286251933971917889175441690023203009076490823919483211893557721502013033309950490727158362187132275246235498645682727778904151888661643058852827827533757615465945118929236108288987049106721354599865766981730631778076753291038897702370754451069133793268564770454058990877902742080039930267594732388119660062747790505594838782673457193169896186156935866640193731042662430785836891465488102137748153349667107487930843265986259652988855527797888789719329845237132451248328407362594422069579429214400934088437026155299456386800114813043689828659672060814398916120747163404159334387508183739763518475066765926060575886057333611965249231846909605964100508115663047699258273490778431226751370111722935067203493511528884897454918236340961084485536475972999257598705358488265303846928609589347377889443975931576104780129367510673278577761974244211390576970663983807595433685704217535247957406378689541755014004570498023063414902076843257788000621027166986281619368719423010465566151490071130221671446632379506182412091720029411096048431284236611415544028424984385173950300324826152878381893908498559153181217159631041669477823742768232091315343876609396167578689082928211036006541525127307515534511804869960146515244792513712699320844473240495773858327315804717015333775152711600912864537330166429693897731589018878804993775946965962882833468420905087363531674103556619804472052056253289850306083788708102090865307449725846839699971834591525377891021167935034717103857485240889080690187568977334202508352262162500674459144120749047898735881645792195347332115849712904857756454226988982447840435522311567953657071029461774043306904246354020035115360603562337560622893298846509048277983622721343349177487574470156217805132287159531624208519737201768226408142437960493168653652634185406269680921120277425133773802997964036029817295415271775667047082150060611046083413996201262365344561250647536518502691535305836671369329757519775073411128781515647314385934799545915934735726728769175614024956299200733425370272989523641103082481901842808218911468756733703226135369211303146874289177944039801733877853071543396263067740725683840404949030315771846833443853643523357937141585110904632089223056520854195207271024677042579716938217455485548455761965941384318347767500410489852331557829837091483059663402511097637717291385230333632594223430864630697699611833404754462008082299822126443811236905945257332230415952023740757663105365680287448912184351279602116329829876473318898187469251966695732735507634870512703602489823701648874035279583395554050358592590476446319067311015012833029465758371682415472359130973779527794377864781793088171048818957463150913987589826238848493243314505189660943687589775472215238637050008552240252111097343123845807000367948941946475748612504534142973241892623541521001163499279536750339885751194968246411586068505132452984453942380976950486306428646921953127808533255015674142166051605939905454029409658992101705958977925140806671540853367050466906234329562134874950043594457971677670154107473980332568539798570586359225166787953584159737152603497634117957204580307006835937500001
g=7
contribution table:{0, 1, 20, 45, 73, 88, 119, 135, 149, 182, 208, 235, 269, 289, 297, 302, 309, 333, 368, 333, 309, 302, 297, 289, 269, 235, 208, 182, 149, 135, 119, 88, 73, 45, 20, 1, 0}
*** a(t,u0,r):
206782
26
*** a(t,u0+1l^(t-1),r):
210394
12
result=O: Congruence does not hold. <=> deg D(t,r)=0 (Remark 1(II))

code version 3.3b
start=Sun 28 Apr 2024 13:59:13
end  =Sun 28 Apr 2024 17:22:09
elapsed(sec)=12175.574185