n79-L5-f13845-r47-t13843-ver3.3b.txt
p=27438926675615436155984950771892654965349361557297254784678850305203770322572693697751465593759523431610540237592316320421085686762477115962053161092059916142346455967742279395916651283182488735727635005074445221894992502697325442513822414335228270725306806517067180909033554377089316278575328207845037404823686123571275440435002872265001429051017240421479174010528170699313115430316789049951997033566292423834275565013626865693016075607682511144640397633054510581881089178957088576030013436272933133430907111197747424098070495121151412830433183162826285943924604238482309958988132583289121709716350426161689902206784945048791852461718235457941852191592737693417899769479968762678217120566832547215117170597480316617263181003221710346729091205811009863227668616931845285050150484461190264254045935703086489909428723384720699314235248316308867403309951719347327007044086404795147234001676971931282628619501066125592385749055337173004209655137484562003135303682374500165715853573976649486735440076562742659698620961797332133090111724898110308731580379170587622559244043242113698071167505330188760744703114389103968362931946295294866264439431303868982069314436463690906306093450238578075781280561009585085288435439674732623213264015684480968012479475851678309644897458505533872515875506270858765807914589349192318407475983547305719004352886452917120430465446510747421257207883915420761711784988070221090043206251917955039146039782499265903478045829768864272161701196376465962464819870182711943948541374415961365702476578511176521547781846387067258622447155824426100331243553234135798985417597609542560792358482794808618448515469770999059498518202674535489361359139868612483326206232897617151953563249150116089156068041267756140337121458684140888082509001038995305487924956082590510292039830483615025195995872687260708012421422759247764477168888744026275804252659014197305095287463083927937423252098712024331272585154845286348557569116351146638761847720878739162261953416675919368359301096330231373271145597196505660915798847785148489801075302924910036683203099857719510125479602180769227005338583702569481834276360274777279260041373720926470896903723807695605140921327498502455340371846782264009259587821780097135253239466390492165935222537966272733630213327820086322357124114752470340154022871026073380197064647587602334040985158463152339121353730930889443720437818841676620287701414866243212053212674041068084845324236287837713717850694907556873390957887101864706596019666104591133060023446983014472371038101244443263221768265815069481157998343548519031237270095440144933240609182417928839362424744288664224526965975804667698623003684617313609317210427201450244693430482795681976983666688644677012013012696199460878290591059367560015868820812452289847603144808672304859829057367411530815134037000202335236864103217794520348579211194566064341702362011641721014231541003310008185255106089407348359556928207900912755262015353341710307571869778564971993503291314233930877466427985103045943905743511730466133787175954802884683416906850125690353820959211043678858855787483024591079238832096702568762126635784324027288808397063624529875221428959432810255254863408400777124596762230643474661089464233580164746700401723947348818492699084893128689453908075762856703200821879085426954437993129486385974748058861574629631186954533178914186912420668486050641689179852438581679784628645720625129672612264379036936317962345353084626840888049218011061140103518375187002593337781951368276191104555344836069785099376787816138480534749851879894919523706722267339379359157787722000697692485864607429259309939728299356214991751498553958963999781317143034517331290193837138824819483675200397315467710752362699005199629401901220511956970629104748164348874804406465399798654678384695123092768639160406035415264286290116904195581293030148710426932747208745724590117491082097609378792797896724694249554955226269160743868525156206925503357018432343308148877767154960119131908874742144843426285807053539812078675831088453207696768459226850254634322548886744331397364499629490623954795536690067682924141396864780738194093725567453968790876547968904644684728510470615186734873694777677057675523037520779496918513494528410015143450306808419596482437979622236396390270896760772710730686506584256638549987782705976908951562612568300221589257771850671503954411321758554742973359521556937716464569395245321000065649224315251879510202643618661331470727274845560576496206670918437479871694778831608075348641556590301509551842257371918748189832770383267417002404335326262061278499726372127750180140089479079059197888750923233734585407760475464567013818481016183620391176420689645610414113427177393752355573620009767071009051050005865785383752368534403638683213059090724410128149105700753924756791642021904818010077137641829537662882161837492171630538832077401677001028263428291921368743069163372508023563069668189888811970336080719873992647558704150889117794231752301945855298435039593591861227141530153126250519670014749699977061212745098266951434467075602502582758658647843735806378505160564831373801695008179618095314112123190127515837538482855231708705434926133361321892673403473525623614072948222421051125726723996835327354279217410881463230785622836968867601852918868834362522036627415072002476177397016214288794308572038364812808041027606682977299031184540203721697466177993923603471700350087936379093150838862942627514177992226407072937163132749819674212254917259096639221730990600258314647020700850158251861903333661305114719621643722474172061949830873068010747328216085097830967356762854972597850751389288450532882789192227853290457951902760124812870285362426410319528390771220653524580530588920889933284996131314822564416844923586680709437163032979620402783172506552844605222180207133921301685430968475796931516956475165453693081096111123753836200784714902291202973852955706400158948033391565783638914777537477739828936556580703848033205719344346757577539952538168874892136700953170776147520374254548322571149704784307703009748353985143619387705673183285070940058338884289726382945350491696699344996328373130806365344575028893917227429550510629965384728974095468281925571546828282829524080858528701326264755757319417517083139806819249262375280746694810990648871478905157608732563196329605784656389385911796934366373043615065260291020109847004391422063072926874315058594008929748989615295046214329304863065842323973564936402305546200847219625997768659327812794455099028732776075791822344758968533974141223071538900259612873860913018218886846100795624141892981007675209949551335389849932834765878846179527556453638434023554869170882008325582222347739306422925790557185435919522901961518521869616980022797060410928253066956771038380652736312853527839865080690414036385654033752264517345575404611325410909701353484038864991861423225030947267894907157289965703532749507292228666777808275077813886922614781171043628481341596822332764220141906272559256174644369660316813616814325644285719693651016863002172100819252853431126038077540854486067277303989750201552378777727754910537212737414565112792019305937097591681190236458540340701462047003435936095339633449870456690069539464522391950755708524076674619447857080609282866915012801865595378565661578650758558176541428334705380257642934484001305426879150099963254551366178891742874516707919160987257233311674484789032580008067879891366642232002810654476324345468108006901783778943617887928110177751416883313844731709426282854341954826376638745351265227801772689507237449458687821910858924157241179177810226564585350433844616620527248358229726402912115844069519318159850230474394133440339998288236820933929722516293705075948835827660966467204912573973081361283597295629846790606025930920320879974692462461629673421570198417692864856023990598700233060707445126363424046618793504779394206738790931357316858927304809597933310397660916961066589725702078526716588829805851692532146080167092166374863264951435220980189712530103523795761840573969118159353575866454165221491315217108099452966202418385710200186255462869367603902270274747652657632880557297464003526218767657668076924721540572228651108379936019558374740451399702662738735669269313434832912747162555846534486364414026393586572383565657046718835632301961748271306677642056365132538918098213960710796649107329058911199161402126438014869835085170865848266078593722719104616501999298914267709004620825967180186367346829671610559796621728119783553887885496545378618838150748309895512157421217847383339148215872805080151764061408394364597604675751435171410675834283011197694193546927417742401482778611071252749328267733952403338409619262440128497004732066346974199788767139486780845189128150195290794470389986567808110577685830992966119452308936772267293237113366891818547056319434540739504408372418199360597436813492511744090261821884725201574554400354600105318988193586119466524165482600209802504120858848068711281943825438936846374784627128651966996386313867728702688048467675452521562145631503304425369282519498045028712210299144375159075822530989081079527271650908101745232163462082305229893796189911923109416134667903114800039672104338979074731789144574199647331473652978693310985564793999619228418280344177878287930146791864637702311000133465363945343262948227522911505977539809985795935399705433032615738088497029737569422808819774341177842093618360121729201131674462888286679661635643553255248424926047162635579919157506202665701646662464695680572007753659213647483472841102036653504630868053857787908729939764918095793279537477047582737840206759186519414243222196579881490589821292947751446326200191037560169619167576137193993824966808829102704884813065725235493993658386635559054411714896559715270996093751
g=7
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):
400235
30
*** a(t,u0+1l^(t-1),r):
409472
8
result=O: Congruence does not hold. <=> deg D(t,r)=0 (Remark 1(II))

code version 3.3b
start=Wed 15 May 2024 02:26:52
end  =Wed 15 May 2024 06:50:09
elapsed(sec)=15796.909700