n32-L7-f10991-r5-t10989-ver3.3b.txt
p=189993074521987206798802845016018133459402825527086460246812533714158568476433654476185609660613063632319951900626459661305281956193913325535361078718818320839252401102602500643586485938222848457113795331932964874188956830304901437748190185517910016848775163197068938212679603077941235599082503811369266538531017950636028637517825722504673799697942560505736331058929465458898495464624106009674827268865989000681649214291427640133523798995755675898139438317124919545933925234745851417544317032463289789332705341580250875383041990966393018669256381903722255501448191515721134420298928249889662029808418008386063559714883776170676015637757378982434064269265332656699551066281771708521126578947371091186518294423159580000034959219571784104324245284704198761308733571748540956621468060098772677634245605539492248298803660735031625093796216615828803411191966649532764926154252759458010028626413139114931247060041453399247493098794926363734414863378454024472100309213336706180223048055845742202240171649137965600922544595239846996056033639389447317271278849453315706986645209791606667342952880029780303765775415980387967823574733529256016232281966355481305199972586346777198689220505882858697267767041214363138535809469308943923902872416627386866623510343939178113152111548439781777229381021774625147917372839115250199962810118018586495183038679012581209641351896672387367818739067706210496103739463345390753377716129308597180156908507421091662910552298783425649698470884570755175728191789760542026910909048296075482476953781824971418108372061608575754404921996515369554457071397695087927465122586856421832522984833365354254852449611982217020870648874689954863315876237481608026896544014639839307521345883401105649399234444141254463736231760398751911353431951422998521807809551739322329199411008224234406257319575623109834687600663681449159334981085265625880720047585781728304723943086271292922814900224105057508170070951634518247130528575404515060838638057112351453720339584148892215344281199588433575763469040601415769534555878143056349627351614351593696819908258634640952259407608447076878343096905474219597706550174072779879437953313474001488525454645929654508545876624686360799629100549120050559325344428966751425650140794302750343089659157854744276272679927727633112881100097730596193394437990165558970637240219414021618780289489831389500846615235397860846783723568398077116408590517854489647827198307536370218706415913528907553695368614996970881159652665667710166452021011121850915925647634992209325280547863273260868166145661006531010664785712140614225141547990428801577352547708638613173261920028019363952219017775398248469281238931488639903803603637918615318535334338660245666478680775362461904075073975820018762936798049454207055476496543980905808676103210743167479891411301219035557641446224851465748476294197956654148245874540321437899254753821368672123919920240671489239061615916007868986949857765460257190065865176450927161861128229908236382696103809227998382327301018565721712717772626599735402547587468319055932159960876913255714687265664338249919631406171188932145527670503559930478948849298093861048603707156975113147017991945139606576979481585237357586612497011101028973322197178462672278390850016465670379547709413444936257007814038620309191640383610854076248695138883451204987634953705597980137904590219314259741343472049236298413051519774603871413607381462136455720926613989637721576512512334499223763488194492846049178250564474231183736709142016657502758815423440584944952272244214669785763284248728147597355034964862550234146674678666217991894870354448341337469555087288036265173818588931343353483455962485870547500292911104240091165940638855243772079457389936652331867836147566531524266043063074691215136311931847420820679945925445589941763601382110434811153467460731150820408414713426565828005194779242018480623761021398887291017302817290311503024464954032426942410803154914056234847686244108299394151115070462405289289106222432262046433185578020635256368789819373195113250034576321088987345327347967012982318343427855377638612202279851390776211676977021635700628762420854297848027937953847867949565362390914984612709427593235602694148989927686395299107753263411468371136079839429068162602038392110398708705157278007975834833442453596475111798757094141424819018059494196531569509572072886560639656186514221653264989676901056241712925870065631375408739989223177560696440149072265650062121336539227702090284613534807431537962901570718135881970822352622496094658919417833698876072767761012474068984552498909968066311286760853392502386444568436318036203206445654443403329146588820001126330396519428783164964829487794480007437818265140816768911702459707840064015654355910513558401559766277917736558186032165511668354762916874483597939737664661370642395255781831891315874388448991020301543375771663128169504368867492554043695478680549284849736412566688898539460128064784010209732656511926853533601886619017986282475627430826416480241433958490139665441446425838468637070543276981213834819110996140376720985752830816154859852129763964485581558351197442925786834571815465209073454196360793874154906275936543487537529111720437883861327561480428492632360219970952638220180871482128923423478988788404717935629109382753259761403760518907689635673684650488303206604914866790216074980378353247574955742666456018127764216676132212780643892409276241647176697658161111783855286684537191786855073246394531651959681410083062633714331458710333469196905699696015280559849838401042847590998437822918369310939839908880473758550774165679065105045524920205805809187522431243640428243707601838457533812129765264982110907778427181128881445293143990642512136321891966106447916726228146351282309991010856199281141955195590452865494587405730669379569839655762673711224923716121451944027911194122777611820172545522186250908462772018059201146614415850452588849179347950707648795170835900144752683668914032611681999558271179312283911813326710592959345528585783938221602280369548032991378351147083547281038576969895087868955726446514375775293951594832972903911469151162379647461640862051890389678701854160272803693588324899902497067494467621407749564562445402365512074406458974533186262445763741285961789492046414738779154367551132802698924790377158715270241868138821437386982800469017543791970661660045648183863729031862068659053367138141530660801713545097536448163186793407051117260955462427960234052967313619631909629945866463290361749287677353375319276811585432256188461509800828135505097881533095374416928207515473509261136922404260656689106680282726940803446202187983786918490276160819059883754376845653574938475631211031214985560859202314051162301807959291330024621674288275719591846297720895383292053139789039597692056975994742275145546277427549182736020481257674639436702314614397163516038692120133364002647753213296387432204236520147530862984232771056725968558033823645188478252827944198797035642819613276213966123088018883759440552031579669825577338092806617774737255956439451735302510161704078467002037428496510549170596408188389604761583205101956309131324622531260914125275814294035226635194469238850939219928330929837401065171621533463625978576083323262375633759982328078487173859686664349839599564453561467415227524192484013098223548726073502257316556388540372324240744159918176601482980810523529923905590427353992316172217723043362142059444105713162958847899581336085872722719733820846395172367979926226451717486060972626992925324688459854810182195841093161302524469594698966140512786525138513687243010357810751438909077487441425649889165745139807468809262313960718716506574687553294183905787288548796578967054085135008005513640969989384421823471287538073339954288840900783067695815488980584356618036449662257345688931064605108918625232294628953419245968651185498594345904200980690765645244898917005778395573402101106541053296743697042465523689250608009058849133550893619101426542012706075649552624967261363865315879160752897427132947620179382665899864097795752152049633659409225441618381212808287021417194561659228080380863651063776371291455464895590608534434359596149124532015437272667045928943290048866585262500785962439354637110689747471264490739450720222447346797827162924277289036501469318524317682795642944143810406916686788210092759717756710623235159339973513297009453053191497004874250053349045170068652999441456515839663949691011034771007515552364807717797970389700553349149766120623875314287424784345405745857791459441375904150404771535734218363771924167185918508006460328434364636062574892934893645907253804353357356858628741657363252768261597900809533676582622038212887838588250050375849915765614231547520332754774569173256759457530109863872757647901183451699340668758707107331050663310625531968968729350054283076309235761057879112649872287673704483593195942070364454768194551091949893855907993706058416865240948337437585074971410632965620812360060021810451707254013035306014779854438475014058942161440770084682472353263748116048887603066022355054257849632536259911588281530909174884041787113530017982912125624343900244045026525690674870507951505289658318866766828707199693740241298331853946200615413023091933484857337506155871360177706792864766078023588680455845266884250093179135621127201022966673381174415088088486536647322794942528289474199698281567864848791373432026287553
g=3
contribution table:{0, 1, 4, 1, 0}
*** a(t,u0,r):
1893
3
*** a(t,u0+1l^(t-1),r):
1840
0
result=O: Congruence does not hold. <=> deg D(t,r)=0 (Remark 1(II))

code version 3.3b
start=Fri 3 May 2024 15:08:06
end  =Fri 3 May 2024 18:16:49
elapsed(sec)=11323.181724