n80-L7-f7725-r17-t7724-ver3.3b.txt
p=385903833493804984479366750021053974607489427856638108511146558872207046629993006043514991845398120967865006390495171175131849966646430583950791250079004996244248454801248490009825412233552524943100294443295372038570692592494783607268335468531521151528688447608166992559498422409296603123603199982368809171724087361077788091035973979601884300326483541531625865056101967688065423227823945034649310952238840183373342512387777911820525013670721445746962190116704914297943932066413208247661072372167626044406688753684657367322168401379018584932101427360500991789903983762723520689983260558792851836292103455818040867174137117975209525671255162916140237167451173324563544158972735806198685037795686689847420521004597393644348069723156986718658291376657638164002963515773623275713819408751284636317137244301484566642000359238330699496686322610406039105275750030910637220980543582457614442669273128912773664417995985043405502333885335857005101014028880068484648553627357883829422376137605979766315883698198467539903718796866989699369465314693353798946688029582417966028757498209512596666213727951735619285126706009957937379597168405484726586349081542120310023778903040371674484132332623029672766833219701794295663219336698646480849254802895414349170142910336305055836093841737263814639544844229885711600269223702451484797511645650416627134607702469954977063942372081947741711785270541088851027416613916095815478945948399113944235380128681495369473639764395116127001171323331240737903734397759350364748346762641261445711647237187066216755956966273600037047438125749414738279614494354348043723445065347603740889391359911840276467100077258820954954206298655984715362232405372351223111306031492948435626250123204247382341198716273417327572606866516087318280602040593282026726490437155386392860312376660598551383689184117613684826863680555325586295087938172761092523087208335399931226538048555196872717315854337404014380339326129437645047013453263938414289179578474352175407355908359336031628435714995457756322504099011067613619635991510513915452882270107569813963074299392127584220512971561379403481705150041970380928507265449755779573972885633919055034762599218499736904132254443063471273677450385712193141852826716691093090831480286210403801316838200809022500435312557411519153777736607447851253760348049194944244623912833335321513948060709215977412107529847061153083599996874853400411396909568652399204854628694138465801172323657038334394839813745654939423812926284096411860314792232017047762661860482458474995089839093238679509127777771878728691529914586079744654680062224609238929430240315707024119589333986393871538895123698778191227705234460666123976426309258326303816920023910606031092701521084115059215670396764200455692838639041659192951682745652453084608914838918430854014465468422737471419078781515073216145522926893210903588332650099896146531667033508252865202709271983555133078197364679274762199374852701080078334067224695273224798074251664255313330920762943775113364609070833392681806068620230003120338863610996451874531489977070590947548542092349589438517793560184587302695308341956716229120275723732691683501251627688251643273694037434860538812139948476062349907434350112895485293674059879856575623762454290693925817021585355959011398810609908035981992936000910029722463778604568653939606968272610908842638698831350916848866994423082569920893234680413199559392296005678695694358425450123551976844699136573357549845338533618874414734678709936824421736644654270725666682894341698262414056923756604945562478576639594374468943167914867387634559794335629497411945946941861865490359898656126544486961059707509859477349087856916313659425844370072333807648780810162869025875505174152804938723270764666300701826896663189711950800091162368908224245414527063115548549924280307675059253620564773168272084989890852846787395482343879655888472519470013129876733432692179305276153844876757049503606414974419269496613287773140223707994952221952672080981847394713058597538709862867568920033059161671327080687120511918375515183252729859767300058309383559932515047907360714843728373632632802179150563077842851767685076827666716548883427056349474878292443149121318955974099144099702562195113610933688444152096802149402005963614154849295788505371194860516079901444286084734664223713790730133057751753587439110977704735070475607401494611623209792067003001961131445767764607285730616571921948988969540818134477589680660463216664522529399277427305105450323327183898917629664396711264944514274901914148925361485255860523647930198879777996814566661006358307809054135099702684313272784484257010073708069088892590394262386021652361167854298374940121131011873358361293562739562514487670915272183465611918140822800599011340067787467814667369559548133496236025276655227626394500955077616967741844308927666464195019154773622439487101379700554682669652723816396448593976674547861454537740676918921559010501364159415860830206224054486682156214459498435441217021662470758252262340748760406885442119718407900400194121299000818056291576028993700392065594580863390941548776406457404545253023421672162308344564239343246800838602328022928075885218581018105416559932868002159271637096681940156204082074390976606084887983860350068655927952862681843052026568640760251403145852893489264542380861647926448962357094318186667637840582358867848355371073694134834218002659986816638650192557607996483168623370319421441350625210126141736114156254112053409034177316268680649616389217528089363780127590513945445046821601556973635748828417508871621833830910482515355683813643422975043671418428898004483100021908133814093936478373455609130242241739751388189870529303745562561477782454956832786306230437802268231474555209875515693802904138098837581449629005878682955795999628061783353582514398852506271526552932750524989964926167802982906873235351991688497711833797673646930769736844513509749945699110689217407671829896916455066130352395681005213595843391169431585623170537174675286781915684779550966670206004775304450445652228016593116799841033097559082415363145933734458816907835294453209521327257083176777248283627326005495014184477834738465322871419220036560517876870249553984700990691132882731582307749023850433216580744406685794128415765017584172356276452988759481998149874415651817293335883694297233695139794676206070921969526439138371916562461836097012890361649332423449510033877084392128502440209764119087494860608833807406032289719713751003173227176666012198370423220247034885549977322391077278017715060226748127533678110783877672508249009250181002655890502897581638529121
g=6
contribution table:{0, 1, 10, 16, 29, 36, 39, 44, 59, 44, 39, 36, 29, 16, 10, 1, 0}
*** a(t,u0,r):
13902
13
*** a(t,u0+1l^(t-1),r):
13713
11
result=O: Congruence does not hold. <=> deg D(t,r)=0 (Remark 1(II))

code version 3.3b
start=Sat 1 Mar 2025 09:54:52
end  =Sat 1 Mar 2025 10:31:24
elapsed(sec)=2192.835632