n100-L3-f9894-r11-t9892-ver3.3b.txt p=8684087525830628087681009873156212819366300537169065540310390963000124152162534911954942989233489608970535932813364651900203270763660861332274097338245041103844023249769284844126210683185092132443007918023135473785309719691098371211398130039176947070837700729521950683225622892663588621431747281972905837903284535217289790370835879573148045891976912765303589669411637437397778257058031986448282699453276667287300937043555589172384167573979035853225139606593273559575377198064097137311290425202221335289872027673293164375552940332842997895955901709279817167126304162678608222664703046792458112742789625481821191461550528111069291670957115876716113413093293797837989353798420842210821197089026190287548701745555472804380319743007276565672905647606662733765267823325685719506664527178013588709123560566952972718641298505940294790990474482001193769962592697587362981870649004259366058825754298462445025154483677934349419471433154139119938290067967165394382490487257949614415009070919948714370713992608849559636315941922251388564705560170357890817085997906552061371221255657947182617013992157949552782565479456926065066091837834512418082793748369145440657949881045415295125481362378260842737829346896404915768401395309528245101687732057073588459313932607893238395896456171145697725999937709485347155429536485660152604418220413721790930188449244913651521266343742270851842729312326118484459247318938817004679540046381431005346240228864763075313360826631761945994940235026536098590753196983120286593698570167477389872614774624552420225110334542785978525742237093152984495359261616731897736347448576509996305060101344296351881642413972399481704602278460019338237116997765407403270220136414511015933790194563614004944818766721835762725907196194869864688187018169920033112211482733751849995997985381719007078127036019383158290262954087289153833599564742165067799306230345388375157115872617152610055918323877426827093657513091698944363475081069455053287096671019471878960849661629788051756873959846170169291946223138935738860163109802932934600311927406317500478471673034644025962537496219114770336869290960110562662523953861323092282514308734228821441900710275328425482165957310347978421777834576462985508424004601752282695980641993897897501991050570867615427095770475882045002187481670999508578051231848294903259674960478409030357441918183094448972210698030987939167668444636351781539574305942133147556426628539825508075258348141475604209348948123272679630766466531599966220910992216492581850164503122602471193192566344712500231928684267202529742409321777976444376163820684699605912161944404380965716512202361825549557940251499430222582529196641335723121425884104245033060570880542737395081193644861635321048228767880636060156265297291806946262764450129734641394200257447980987187395436025667779544438675056111029421047352455601565807910736727731004179457071324207503795936699784569963090222926544357579236751528561273019220000325870566588239588391677282454402437393515990678149688715872840684133073565726347827706937926196912344672831362390577776293363937075705384137401603847232473650958046195009909063690052324084392942308932687130574051794854452803667601222122842184361626033822168616825970905873993602235265899490609746981887821213822622238019187072554002628422019002238615415013483107092538617499470872162111200679270162618777213162416160805266840527642727026434237862171124013642740493014547433986809611615784532866537432969848794161326760392174498002069383954406700562743750006763699729899433394522450855235372259743890948989364808572331424617816193607086636637427171010496804379187918500800548334658533376320968102660683787773728504651326365821432812686177439967659342209761237052902566907243551435476726534414646761483264066762479816642749950521635019807820829721532116691288993393041517410115699838292848601466141414394706049915398772406154839718158882532774265219289126735592527780841404269269175604574304190964902913349992207628059649429185936079733447655503161031888822108078745411855480598412986115014000627709056802532250414660766839906039947814743959897770507052913487684605478583782361925161844266450142672405167160186617738232223903439041170635061072765020179515519658052313405946067021460420778641988212600591280262157301288940350616723051701127109819246638036219153588371997302019472212583582560751756290642963755069989583142526877718690420797496253672331874492228736552844127135103947202316745309412523624337294215544142546940775669913612840870552868777798312859508641986803334245636697027872687395119534051712118123091280021436324465236834866735902190862429816578980547350990376090071515094559461127418106895952006842327815141326927318589253899651883614173952310842912459882690683071188671266131768446784273801 g=13 contribution table:{0, 1, 7, 11, 14, 23, 14, 11, 7, 1, 0} *** a(t,u0,r): 7429 4 *** a(t,u0+1l^(t-1),r): 6710 0 result=O: Congruence does not hold. <=> deg D(t,r)=0 (Remark 1(II)) code version 3.3a start=Sun 25 Feb 2024 21:19:30 end =Sun 25 Feb 2024 21:46:01 elapsed(sec)=1591.143962