n30-L7-f17124-r17-t17122-ver3.3b.txt
p=17257920121391766601372546748495008732955486331873898644800933927868439481393946550576520276570424791935005230312355092527647190662310436832928130339152619169192945190261203622548234532462683563281923865358496441737980200871100780017736328260197206250447205510617925696168579567819565564311403546238905844806874352069056748877703950205031850520115780042020769839549389941383780609112822355260165957991972682542082262652192151659538499827103872172561256415959473436031624311818121377857390980108572728228117785388893590140449959459156115108924317927269948867097226258512795526421585019954352868156090803068068727955145080764482220809876862894481410835986324803987545789725085707920860197833137969049505214955393402848485328445974844273658054649538937732224080894833420909914228038074850440554377530256607104563958738860520125495397349710898968769907711422112532092759208590726350102635498064466853218076008697351725031929894721398996881980368021225577424042469275152141124020806660510731926293342877357999774570681137415682296445109515766340695532181789676681180928861325699306714313969249884280735706083050528902991628935943530954003626464912034736251081825677115432236244221490740441680136144858699813351905529035516752335515190932109280722708958287468052313549498609727333499478992661978224606021694950063156304194850739791270986523329391943977432853664090192522835269618635215745917776158709658399326607542520580802148907528944793580403446039786953426173568614650774850615117096592004995440767407383423756751049838266365988735904082528511059926389637950215977437241509404652648880361150353079670852522934285904262340112960977640627495495302003902849574779562056208497261733890890242990712766032287620957597246714053348201889105009455470769370193119878998945460022085319690262988999991079055720737088657751795565094044065582850689549085422073980277400514034646575106065274993299188432754120157451078293325809622783513643767867564833817741438041114889168725119397190106507075935670905360767020175980094665686214844822435710966187127437758032285187534704644476946503459923521829219956905932495420157902513477438053483569679831558620528388346680375709714582131315155876801796373870865778669165053389400384193648703228441891601982610598699640754623242689628897411216717596237930127473151462063849003044739968831129984804314944328128562100081772250910856095472987941398423012990182951732196438034152544231001578631570634901841746815269854772473299704926759162606920158203099201566937868684159678620675719524081553384238384029004636127135926726796476509777686099961054044868502603994222227572029905736767586207976962279875331394035632137639620637914717764026944390474629585881777003008545772539039319688131974365198684959622326354984669713116470966252072330277410755706899161589772177426802390207114297784181760004092837971667110252365947034470914187055846237262821085192349082872057197592675993400679460416605667676441939634156770134560887001914658851106751551994053071225152271022397841605862530107833605181488090713153417343562510428367517324906637917040464995127766201403636056629641873040385935511774686807312612329399111021680276992919378575254133594622176737625308934602577785251006246624092919784467503872792892563920659246051556598913116605399401212157269584453431444322061255268533633926092042233133890517348353415659780716001954405016276336479704708426652724271204877000211740605514692152475210184847402389913267064212039800299694828776589574625018622842575189915314761543123550904917810888140615849230550292628382280066441736155663735159455360424909321741432455374895760463180138756966200240564193130526901501168570871619148682655422552810810212993521590316577081066630081930122391819617776143927882623717882791050839400259178764088053692068056220382545879968773812025994560890304020562289584446115147786791462451963721971152482476477204766721729633724461257539951160617890229313307716240378783660500705908128793834210384045249442538488634749591676361956745979798130130278651264805023267257805885479859984319475641943955260917481766328453453302701593298168569702507307692816096585572031256874029975446343701269366536521102628823568097391988717616080559897184743575203567105383218517597037657904455315525519643882060181746729054375528841252381390003744348433145849682090499677286870717025035658379297969931220126345856696678484299277701345627564347862170791745390314983166163513254300001291876969659193379834764530187049424755907935382098192942876884135425282924619079146842391543402545499730091954900335825683452947839072500681924234904929243073547154695371569258474117949930066537195175712893571663912139748992158666602648799257471237679334474997977888819333981331160406140622493199168365266787481925501133066344590245321010199619049528622387118777739026940395262835982168945348469632230957949617121819358915852555077967340629356731155134955879747239802529907644357167428105889797948201149269304016682668738029711103434861360830868421000685721355649529237630618084172820181263725773680113741822785489591357891637216644410091729623464055375608904466797832899762491757360103040773485315668293443912173472150706063167732566302999133167388842458894445316449147507834976519344412854548117995873151619020951597466354070127773426790690899682981172887465076770057232739768088416815482243160844562690206732477541804091664433733678352157987039980050485339831154731747192093229512498157904079179982377090520281198626627593608151596565036303344274824791300588836557115090157624559276916356612153284049035545176767899026725075544953579376223198261494107484528193741812963644985290280047995866882119380511941121043603143932145830533744018665231795961604080389523482939700188539750434902186930506280324374019768694507978414610302276394975849098014688606405800865412225907476099329919220903748795542139858312590487603254484448211235697107199256566448834852008216428748302020343911682592657716580929171617408503999135180716952950657856377401988897532748710143989418552404587841148673491624175020694505207038730223615257570618634164385072040354721693995666540709332348835249372423965522995115576881342800893635784125677594449626829476830224780629682851963436224676003441856203661317789960960866281694394302042574484736972954709749149907794407805649689613042120440226333216214969052153124571995246277004954274470868206505207041551529996860688440350378498427385634026414843558577676264529771939258481485205646754424713494456923180151993215853448501762434495499777631683715217835424865221397157938135127948719165413943967823202463604015448257937002161174098526096402669425731251023583572732861662762681510797520700704484976226093889760173464305150199438974988925595968382835855762900422947548694270590133341557562577009722195405309864741264881015628011698111094850245388239653344063190901849571010107189504509866017588428756101535531060331716962189148317519803435808144343747145073016850499345491349800318386522498143244217213768029609951755735501107284347566492680587074457812528765554669140815776159558096609690476420066778719331467554017214740215981526839544447680618153353325547278341193993009337003249512110066135420279679847722421907508379928838721352548157823212014960768223095882408448704368047817575505536721082304256120570888044615357485646691218267113333765920908343638568020580294330294260285472098015854463873166502816618762067718365091716599941585261000295219766997872865802988620610855054068777021100274043700841298395009241172349374737973221091672086601029154767330172511667351047581365528181580065192040995851639277297277590105920005276782992799321876713567478364022672897230681528432661820781571840287776090950552061827487823011743279693962874525614504988397730760000784815988805032769293618954388878011691614319850143162316544696737691906461657622852809640673789095622612268583452034867809904256128168912033224097666055547917581754713698563211090864650725054077255038466093145836672780340076675990371085596873685835336831664062358275737063069642756682156007214309393077319515904447716760262010239887617724614868494691164509483299728333929406297523187554653785221988263692931496212589128036159734538610857501610323502495561188564854208326729530788494887888900894909732437023650002020305539645940947781116414394219050518316468718896086887944766291797308644073092289731834608607057104382206373189800548497847637679700173343262049970650815071686860082881725767269311446704318037561995638615057168173763108519875508543587848888145265837794407314647298672977349338510687970197125106825872311887499158312915004807033320852292212941889550522865573064188867842347654206216995973068551417651877142266500010565537082873009088388489795974497135728437104572108802849887586826431928464603384442543331601852700018335732597367610565190464344481605785172117101199017248316054085006880947001421236285646453245813050623095517546871443200635194021924799477758644589993389198279653826273028249234392816883556870041976832223996087936785056316268379589507515213117036992753446785243565750765146636253442753668327849663886626416030751141694816390089885300028910677956019396368918503879840694287452732182592754882360060580660869003161254506809256906613487998742919093443179707124752791271212496359538859336022419332181769212339639522813097273445753226138699257218024229444806488844388456989903389453766333214726740935923944514627834668906656820563359749834414565817618343733267120222354579504512982275761854004711677743186463000466249170543001851556739050209743352402583474501026591141929279029877864252264373128419284215528081632811850678416427470196638079639336892578741222328967761962814606308088915181392976034950270834924961260177721930643446728453482943919883629370989138273361292636630438296252967457690682444531340631826851790681900912416429768458670250499430309978237299514180137931554329536963660760389597326861426863578163070847822302260393865520941588195165391037604834215789078611732831775803709282101916151921203295103481262429849378777193101781293505576902650682768147245321407116134290916378999833273321722438831365787603578428547210532728358053266398407227185977168546235485815069214980631428040237299108654685909587980526534289689406633737814980227663126961111990030995086674064931842280715392363799988822266238278822264368787294822750000653297571367071575788187322921318894873620673077034965440114464065314338949533105416244916504959539499884615953705727831870656718346636072056348748675141030754904331387929158264507213405228231313879160736530077308505397410580267050086439346569442594795241847705260964349713836029043668094977990444930836681575850507031613556837746107165449178059686503686732901303083710913692283762528063322939182898045894684931789844301563992491100000816570180019779729644992935489276189326502505385744390069808269412402106527726450605735690035237782189239472770250315143119420118624006321395540239724155033367333358534454274730700141980375967885104966605331917411374536492254000534178071535802616746756275170724685594491150020669171837183649175672433028054903733793220948081335830172445313132843942932690085445545781845243429217711089941163075067866856700394897783645254601622053228746183451623131992731688875863031187975344362152823586190499691496839372492265396744405924891704360349498037522862059414958968091997309867605067773041203944139809934470520151344451157736163853920780172257907208284200297666019054215347657862692970905752478449326898733479197258477990064265113797577491849718234678082711968674360383826611620897956600273904530469498115398085986406270591298704286129905202113013603935118101617655718786478232191784585649847418831442773147512418099664864308467221464421384040875207190014014446636738709970257380166467426968385041478288237151335124383705650743264103695097977572988308142654355948446664488400714557031257064729456453735172575308736190796458449677609832208500932728052110458446603728255358078454306803260245679715674707902655638142379125529868685993848998441258463783934642797781396228728810712183565304308176683634729361227456829609917627127727054152631657546209938837975012269762774590330840345739599481738785380513600565508938542958321062421132811283169323862977116934153415794628388566240145244066874101736429255300382692506476794139668009528346967807033870948092970167006509786628837223199152398811063998062308381762334333105170820332847508258836401000837310348459602294181834923113545262484283756353028123830874173401493827021236032476216571079944796932556835217527418186546225180475600193185777167462317471088315522112704415925737946428045082321748632930734835466921416090671980719635572339580662927938025667191241837832155097569056904346954284516152825842715220105080225293280510476787122041397556935836884270139296232342497731044765060905078734869760373987255286779598858340993771936354936779661878652494326965361036269386146014385214529677992200564172881068390208735679962035402691694823165254630158149958202029017947526078535861352179718554798938300561400803906522211388943162753281738523670390075521194565229570983481672574309933868979039007989258991656177697769911373194902866385285519601910805571621601932258840416610178341244477624661780721608784991867347415476027022231654781328556719224647289646029497013174105147552341451689537753669365164508126864460524803970295645604259959587266140895813909259792027688798330838588115497662026309326356826382170675882454315173720602612238384894630165912082938697320558019930610197695662300369944941799237066035927609386159279327060075733493966106180486669821928348798193781250643112685494281721224921973646988498533922849404838562458553572447353370789456440955635688973170635865638864611466168208934452811910906989772139378346715411085719043024835495059076509223322462288371522374837630478533342282441085351885860799635330759322553527167153280508631897581084708154021836295156699346358696416729424889368479375283434943607143893651948963810692851132229693033870462612143354374716216770429428817163649107670182350697414273691709577937284514531536798338038965784795271551660373764853384943328632572415807356240189198222254274008786509344449172481495071708868836015765058267610822900880586245112449187313930919117957855360106867908534411815558470617425842032429575433837434218702506428216522146713596506331638774800526670769505775758604799690251208558668292717320049205390237965684639213901280146171743524407564186968942391691611031929307234577381059794068396885207245664006858646448785214584483841922606348117260705441852431003349423079494956591271876855593753184412520464061
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):
34964
12
*** a(t,u0+1l^(t-1),r):
35487
8
result=O: Congruence does not hold. <=> deg D(t,r)=0 (Remark 1(II))

code version 3.3b
start=Wed 5 Feb 2025 01:51:35
end  =Wed 5 Feb 2025 13:59:35
elapsed(sec)=43679.595892