n96-L7-f9516-r47-t9515-ver3.3b.txt
p=17228600648976685807723046364375616617722049499431406470236577293844662482375968030443165496942794181167106262695372258678587400508392103084721810346722742506949793696722033687446441274456232088163477198641963472296086540080836090411987555823856442393771751431766929612045518894663616739443172880246018464782619787506172391043752293850632693380454967343696060850208068048759200912571848745747601673503871876104077482394205570393824794066479571714998686062230920877589112748823138877238839910217230536574221510333742885264703192762410647723213446107824095706578589890490797449629051671883834973249728273111789416585980941185568672446360121477463986335849585674985656205680052274536756090762415559649118402453313468459449624516659124726824766819704917400724412576470286311075169021155085690844285100950826016717185479307893817074105705337993695820456511334760900956605435587202959337660395946637377219888559761329369999592328858489672260447749057876221956061724156089971563205665824692227334373925437769952499964335128479067503872712803243876639363471145430499357712857346459507197886662949277516897521553715165567374536129378392559989401171282762110290905555598569433765565224644068487914595606975834188570463904717867272568680168552533250298524618484392504623702092052436661626658377390160545768420718216122889607452073718330997032691287418144633012127888056191428289069614116188910280737788154529872266321788080882200394442486536962716308881064230795759109525771237387537361456139379949359549938969478609448219429041784262008446986922138717536394639645716581775860467310709219637009862275116853931151866470681458434438669728821930285800067713424176113580265763549520913998359983044094787832172206981463823630952870716167380678314838109901331927736290505102719427977875472022027941354083628494798730185203339350079053386680540559668319021466639241310225734085912635409261975634738799466763042545223287857712606489034282165669475205741129891844115750515344937938922918866778519191898761532859037070717864733081812863517878590914785609045061162926280241002152235560341040098060821801893671420367588295616704193404407409995883458317131479685435739333736407389308647845516767008901104429367511978314987015912147332832193966720492278037993349112309203445204398740422128409473389552681416696470556131289023440010868424942192275555527968999028823220514807027965663451365202749165642480649302924381417347875368573915170279740161751203247946765202332434451311653981643303434646722061306738166766718583530336785210363698579561035018743642443632978983618207155560640649076563911316410261910356860475129124519538555656548521425509508012683523033938861663553122882625518640095202078125803152040385445021781008653878823550919115516459723369895689567560516199307059559754629784356456356624399228846071887528713634544477959518582063412833937432043267211995547551980673846748754027577647360582022662803921293637438670531077691059665456934470334279913500864787401283613043726486931278641527043792266692013244299853346563063736352300203499386728099714427635746446531722226707837659688965537930383769523391929178459040996792116796383617932762679157436299340267199656094166151593587942649226869529748006543352129645695911056316309804848767629690168529410885577754737026346931331695837688867017137896629690123073044486459271808439418546884082935699216395625956115429043098082324909954546035532830749731414805211685909438630547512187375675589815170895183634607567972052712820090346848543136932782727229614557852884576488511451019146773945420120752635313261925166702948003391386128551288154975484962103715595565415936104451536765113784545709606518569526595906950169031958539760370654753049776385623165468525409272261955001723034632342985585479784432822222031443268978234882551724695048978323617043336960055734108017774018419310166427701764001872884059961027829463307926669152159621153038558269572908873974951908751508371571716610686379463682174838056292116929802567011653943132179842733652508244724514486414920609239671259541214695476802431732512538236862036894295965956407213687923159893938047906234630532973531993852782345173615687083018219576621601234890018132858636201214639719008758625609681042395466642940505039987139078999714417473103321623248266657890059199803086221490958401842589007017458199654773664955287424187544093598339756043682463811992571707426219191199580267930421960959975752951232113907656844511993962997715225521077770100371655691723235170328901430095646474783153600226325572979906354925157029768228539669802170963248083030248446953540389330647414367132717950896465982834417176581732255814888372672764336668830325583541982379142442983772191258964289222128789261309206691100755921900765807562185383875661410575311198281097412315680790478804120151552218117861006539836485541089413246000986333825598662940968775443501252987642022263576674490857986445920928619673455008303683848993527626023477403939789847390342652781470400970413379480266923602999233811089577763557132955299608880215257339240995515344902217105133973129628966835163683904402764380327318312897764330512270178251619031088531854901597121279672539462253106950988623409549643436100236440767496260812509368770313244914972973421688194746151568108990253183496403442922046575129084084029584534122678762061958353051783048991413587410488194508630762925157586166706014105515208425012987689947427287632986798164727693032462259373265089233882179677022957937931437523149323975486406791838990631904269763115628051040605963905923101993946018913973668330460203356459483392949045245726032844351862412253067072472912930718684213946124428814833972086435667355516531686841756316842152933091031591341802503355561379532265165463650528372388048191407378311151014278486797095822395818928423798928570566110328926130195312384397845919216689140204829055011226790083977320031153546402783629374978288802510288531572985309887974335835998609995473040519778782025726652130623156796882146573419062580306645226985658384513849081202696201841976725542942726504804207982469956102931852268402057110564536769503379358809734271831018831505543784994650074566117123970954513431562785598235350947719586941599131317349456408587647987544495055024204810397816227305338197730529480471596235849357844420064954050455926897857615648753991688361041052485037348059699391489787685623798243778289829987132995202629237028626794288270313973787893144379558360851694338809996166591812837010162684718779954945277151348444779778271957563802245651418798566837608930654993173360924063791215973487385717817735972734249125026462419574249019780206822588362221382447452239322955600932574615935132833292023490297981428226541798859062672148701134500024955157151770496931199773255508604149850302521826695721497482663469410210583724289553140600388876203315147448825053728045705206339517855417445299880954197196291433342730718192129897610134860126480182389436692088318296664346096730369932791502037170029259015070517208055311646894966696942347266461004875951655411139262709668866066552270827642231461878165122211549915731038417689723936086420454054037972546676842716034215516838101121892863778035091666265321369643436297008009142205459659097426347648833335581387689090673622227546579101546127569823417871955789948539550589833692207177885045205526853592141606767937927700234597061865080203677395391776086060397991109482116154537776772874019207414555280309299565738010369486791782770314338832639396819080335033346747162215209691668348990741979647442242543196853127860172987759281556182636508287242989631222112816586361854048304074095858132918749611809870347488768772920505888386643815533309331588784622965176999264561046761366622222685955769777105654922662297212692517750910292207910917648380784679931062735604347449743379660235033483051493243191936148718924508500140711291539884195805514263410699174891783731464069709481411738798766896673517527123420430055854161662175743423408127826405535698809244270802430439474589853992202929481186380710143107206549096554336126512346065693145989655066412815944915475696053597501826009130913746552445922516418521180723763393
g=10
contribution table:{0, 1, 25, 41, 53, 72, 80, 107, 113, 134, 167, 197, 201, 230, 267, 289, 292, 328, 362, 367, 407, 416, 431, 476, 431, 416, 407, 367, 362, 328, 292, 289, 267, 230, 201, 197, 167, 134, 113, 107, 80, 72, 53, 41, 25, 1, 0}
*** a(t,u0,r):
139877
5
*** a(t,u0+1l^(t-1),r):
135556
8
result=O: Congruence does not hold. <=> deg D(t,r)=0 (Remark 1(II))

code version 3.3b
start=Fri 7 Mar 2025 10:26:10
end  =Fri 7 Mar 2025 12:15:33
elapsed(sec)=6562.584729