n74-L7-f15574-r47-t15573-ver3.3b.txt
p=533503038737412603128115008790395520595283762985572121275974222704613580834325233999054461723325007129393614831377122574488113306239754461601773542840425318996199078564271854978622755188811111977649531055472494812265853351768175488314392248637820612046793572641952324538914967118516749712827209750596558892837525477919330599463362098122296473416895382306204445993233738216318613715481998444721778468848070817578067485808203277527380637294210279655891496028677493042405900924488212661435607060696705686800994327562405397312100835364555351513150517656341314256915706506437253784853623828413345146258306376875437572747813429413375448949223466908331552699356176067073585909075926222474775176189586222100382431570778045184932653628097196772493546318021308895233741507206883041256646783248478162179761146965459535267176173937533848958444074222990074949017084353476255477324550951660588761958272840130437529174529292986801441323245890031257191824168344904071466475494234180956972979276377021402117848211140127154021111939167671911994804109310173305575226962807553010045246354909235640196154815212688972334599894994043120925063136430419000941612127045491797056761391862279920510585460682340583720162824693401424843190484326281028755830888168186650597006915693600919374635539421957352021483980650155389814076631193174827415252301690619205387748245101018259021112117430989484200156967684746643882773591043260302732712457748909825701379141850773964613735296122540861397674654644480278645296503677602894382602995036066193441261825870316354023393055488967366335738287009133481282465131969241204606882771631721770342826965711742583330627654613985990618244861756024987140509260114831121358371143650099508881981532778456215228135746912685129719986650784444121531266679427898769367728477740551732742255858462100655016372921234952823390282659598572549523200159159960713688203652361582916356626460863127001869324113365695639473909478117958469574160809311284584296033636011668179226215973516622682804189706162385646594958467268921469628584742135358434224671135805973368227606861005145167664176994722199336597475918365414956201813181400745531457139110408043680491134893291777888437716398190200576191298528339207919600543653772247102102914867478517752989112924718327405209437722637500450314960767342984603230673331746011441300176943001401330310282359725001812416835436891912159586309219407428535224162464529863096512998171505700073611339380822976450682799463946793606430224388068248724614553208778989764798266847985164490580606364693545819263236491433608362729589926461534031795472858950142045868159019616679642971333924541110656633994389484010470925696511325805461996081816984799541237888280573816288623715727620294756267668248846528714748929677041309845298666802889625742689058789908876824482261228376350008003841532432861121335214854807075749550707778139912615715397190576967350613498208568674000893797343432376729009482817256034475427484690318175830925391799025849097880531137405780024417549546190984647759527533614226272426534290242549585159013667334975605133809736252219557978147632664459896205780694844116941150454866003190929870092584255605814146276469684459434646298024934373242383173590283149654197857673709929352235211529830880319508198723799741957363500479415561204170326777960534786477223021603532726377737822650257951097579238650093447148242427730597112559616157313246798345688110859070346488831326299031712145048650324350408053194497151592611332224959392169348849976042752004490214653647783028878295539185690347550160028659592537669555133745207485415786964017888752891756471510531508070034935021972815112436238382201184113442822185869642321989391222217201050333813468521668412459943987544689454554013356989458260485043946532878482015294101885594739492358337139946879692919015757763156716074716824468024381894592880048951560072986205317523313933023980014285321901316472203135013324195424341813273064806960709369468594419563183836444698612293244347896817007081203930438587066987364893701662280792046859022987459999954773555400711375828648995636768978798318387388628652219507803796893908811181229001978715801267326951879361931823571691988263276180954799486050078689094865069609513938058438111208984659915056456135394296545466069879406370630982543294313874435453592943236288990882996393657771825484731170362263038546778924298205121686936955925027227055656565785697573424054636743106069545024018032925333515058635744826259440442723733922955768625466489313705937424767242034723368012460556205275269189569691296825013998329336311545748862190253001066413606924628079415293771577051234352078283374087925587989553211245886960829297831466562513474133694349164884245545471165693317732482650023914211068899846698793102532083001136343615652330912880834254441077951745956959971317280455300582427046721255610980694606324307074108942098613537196650884595725114007843897448858511317281738472074501095391461875834306103256910652958591349591013382469946534550100686087955887236648348125222181449111350418491981786628772760850638457760192454246190143286363899457079281288232192322475555429446346376729141232472358202832137783126266052609557838379259498893594587277149704170102448889607440040336666100572024563182496583190017950171835515610414386212575604946832330445613994883264480881935111368806182665767154865225478444924399458369001709541745831869354832160694935526739871566653973462682818526701086178426473004895797845661939316819358016428495153317070902624331056542905194662131429899641824846313089296370405762549199108611188765622507934603379100855908678029308615048545733567231143823076158543113763618210154372200207902324323622955146025582356788718379455176058642793073735340648648263515738379091229644317799842622651194376547857286449150350064146451821040982078504344334607972270747795302631893781794165027711635608257462778478470044437499981252723032499625318080010257673595753006071697187678187684533006485353015125008756133940821414011130373912941762572277630061316251077161907983982089226736671821046982046373064035249571752383532121343306370190103855023374555687616497796893810933603566279102855571005724944753377094343296437208475729477269565260480733439898718840012995542863895320870044568832261708157023837675040481426126085832867212761067376657300235847468936800239626243309963386727589088921479652522240293566072993763557425103263400240836060100626207077100522907295246770563222651472165294909904792946631597576837435623533404200842993174869164201552287969026471801578634226540967612222785058978866433849845207584895045490585579164733298240363271971018335719280064497503402952139024995573613670297450363542360687696210472127179922465224527458947553608614726742226729070122210604904493575807750426713452587787277668109874009341070372371053193083355991624562447017131418006898529424964219344198313979476280389268062744971346449681830058828962475491444609719077575681632259178032574416644403685913202266880968207388215124825240063962621187944390363366858576130210346362689868775044741252889725078214796993810974915403286789124749124811418562690147172458337453053048788421845656947409113078373395332493575953615225128185414944624957179362367015778647365865791397598334121654955792549992659378313399936352102251541661893574773281997144364896204160325848152831260844703985423191662234245207349775619112506788113153529826407719985124785243315840372404367140429118369971663595862863157743689396582294356876753052395013069374353425367069911032537058857822031589181713171892899203710906654035363754396413846464275089856830196010604600815926769842145115023260455459283513560309543110874092476248590339561423477041319677446919166960983779803570314260093750590334486286355078638491511586337160383931490269352291741261826447837116912510880052866452366156412087972033987121842675162023681992969968350877036052370110522540858431550726010572597712332418513809237792312860949449323622634091152772433306295989943826763721742732968579795127841685479987191105004764263682643693020660177790991729212483340740306845769775725237499264708560306333724864114609442923238344937559154016568822413161632942316330493270890358424761079133466537359184740002083479841644342401022700159706630613531151390363858330494843947309716198935888715094780074530280366184388399203863553317102363452362392802718948284233513721877133031452988607821202644947889233603412928081402794370415232010853587234088988055213554030610419633998370560935109702717590831114344665605284857444215973902271596968063681935441063368356564966180813349868630603580116265342234828686644908786265925742888231961520861274190461609534136231733032339143436635701644520108036902654572437776788495440184538097229757046397766495494727646593136095154717856123893887498092751730469770108717375147858563721159872665590289558987901030028406176032520914549958752212232632682282483012230056273205638100992195887750699878664887103790904943517109971762043735557179056087311920794179817372585777971311404020501896855580063614380940349419746423893805669627464825552265481638795812269914651630416444179544536047804134256025256986990678046017658679850379924369580106210645241541904635284699699064562475418692584876992829984930424314662771344930657569641266825021951907042417551017859980258282256860599039555346322281354233140245965121931739971731705764704083038086804167917030086425460781827630545997563668767685459862525515497372643723765649198910844789359170984285280252286979824781351409465371372105868464986833554503218673337503561464446206167525160996098722554909047200860606462135326563311643345551245796717163048849347496906370003661141903879781855208682513374759949441922821556521648997372564341036661807244252625817295049413767789171634506160181800472026503176751954527739634907469399325661652464168451370474232989841411942428852912138904252586503158512223140168851164001236121264159500419432951862766181032595704573736121697563544850873341860097540519460798530261605577469851943759986465590610616344920356223999374100593718675254271442298676421520693043719115766756256259412025732447102422507754441693562862900852268521929879843419373117021092821223400348409636383984084801337338687680516670258795674061256401743051277724080416727909219401395433552678520494116550035641009868485376939029142948856914791288655144005709384921080107774009819727665900195320884093162704013070670728498897908131840230150837171286377789869710171337677369745944792260198635776633595145949664520393056606534266812569988573871510566941841030756547590559413381178322194170402520902423215736998648155511875431292003036708309491808869089918567808090903972165165366327135827610597018937933521598959878504237062046706252522337117327135940277199970642679865067976884498914087649117807655163798877946488826145552717978463864150098794025428129363525541612369029962685106656811042541986844446977028449702514304109890499328634719985275812069130590173172529096982002690224952426490811232542642521657075564771245597398619097780772394023848865282177415994760174262760743834365322232047384689017111155515459026117138186613618564399005712561454342861972370541977509572565127508140384976110789227235300837473199502787517261471660790171696806700420317372253624203032153540542274675654123006952551893191876448812046780342506663062134181462689583844950518172710023105819488480478312391667839303248925549978293655928289519466626410039465495450249470777646364908218762228926683883477574866404999422049955786913628225191683411384845284126615063560518084448826464747354988176237335366949766535088477277856994857349585687139008529946242413821491219063540129967648656393728856078240664711702012769184784821614649566272103626161582516549872916781719566592031671864476214747513998023294270889452637001551171162204475757148579635934965392088268387547699854574874745352141932633782601801755884395168807169671658920413966975835597834395472375011683072257366725677164991296570373465778376603344318509200284776370045097562940285727079043012309155427322003838083234343446215246268734064349999061631414084216681390644511662346512061889158089596058503771306396764764998857723443049289715473271765165760492777655240175576514069377413639258705750984289395038901721388987398198153982409653384306279553339831940338539271022200293381385820387313366833954573807389207788419425903197487558823440048648559904406588564298062974987257716494325585822827997182560442650425528325495405372005312156748786977699815516636361556968669976534010929940324547413996298519137781929698010955264060810762143990980265671308505431239834981087206339758135335938253116485196851240075971736683984535276347916607475286609310987946494557061908206112184869159676885757060752263405480067335103553516114110190783886454098533640045702330167966011645373421940808984955553924104122239063057738026809608950041368219754287369068915895745305887581856572186710536833654665886504646732187359777299902191501479013675720185743342018844965750213332362925792374767472248992563963726484920355246639575392057897865994115152196070414746908795211021680569159718161484328205329377408053828742408022251747148943012525562150247140130681572719113882668728185426896075095164325005663153983082208044434833254622712904748324128088559437346349667568197185241622767453653
g=2
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):
101690
29
*** a(t,u0+1l^(t-1),r):
104290
44
result=O: Congruence does not hold. <=> deg D(t,r)=0 (Remark 1(II))

code version 3.3b
start=Fri 28 Feb 2025 23:41:41
end  =Sat 1 Mar 2025 03:00:07
elapsed(sec)=11905.938096