n27-L7-f23535-r3-t23533-ver3.3b.txt
p=13024633014786670127278778087225532174858370678716866135625925786488020877688206196340363265023993398517197882938528145084269540925729064012116894984933208614774964290445494934225291076283453717610464955624122612540455149729645837893259970270840369493524751171346611677554248476937526274750535019258805466274528696787556859327479498745760629842039131281102979903315910813598446939564012727494873766434424436882193130827981714189092539783813944336394615811800998712753147714544085863686848786702921292124831657492715656822382182692239898790442938873926998046194458785648893695978791024086751329124254389970156166394694799438086501735935379542424981609536739522530701382362887212665059627875043782218758852430923886197568909219901180090737867741594373355002671606432313037196383253990120994839445247970061945699252895202301942334147009235625996749456812585070123321369664501280053667772248399773840526871011139687801082155817927673857236199015896964344811497522551432395792655977867867679955505883132625262258783788127780377475181236175289937526104158480219293964153211743676453219797110527079198579568455701911775157995732850595456450300027600807609507915321226773079066581641320094144936955823358030773481016639794808301029101185012822273557189636840047697074919805864898792588255633611339698387359603476300042832854192800024443061866209370949181912400441814141776339358374886340555025311800473409273634216461844369698931542733065833169961702562932503890798807794295447207052167275176915069597009524124770859146967195935247723727102103649860597136578439877620357184514220190812887824099631461450401400062086107200224578677098099446257660397917885138384076010030939308471741652340847852643810015924391261916306977948911793462088566373157513937349708602112651264871120567279880942190222470345443151902243849262712994416821507579425626244934841374077524263938646001390820543414963019475234300390085454487806360073305151522327151831944283328272158051981973016585151204981569264371462394621864096373904447340026311509200856389353620308512017191771509618205097289442862157850230353545232937235313388163162117353370584962565960145542633504215973732421361124741555014066932178746782331671618174762516382593245233642983138934141758727995063530311884175841893875901207682217348627754432878570185291353444153183783346005302608287382877276847371881555068917412533069445868626343285112036995321432997683464489460384677910922901254256314200063162102125932490410490787838738622109279861831568393665968089141941882840599130789576480010090477631107700856629027331409295762600144659519491367740812835356492069179004605359895746211603136805359611706420263040473260542084011330392864804346250467055654614496513725771131687149403876315968939137593418412312643697439358053933591340442467246582038939098846496785507264532762220523029825686330641944838752531228785760394364391496344583414425459671800053056771719466225393196204595734442923531414029307700939363018764471095728541985411545156260468742781361471882227811999770044075627551075692124694730570675034733785014243392441241512005486511994047393231490549724544363734877359609969030915769179650152265578899335488410193533077474959477210889201102602609515880660666077258684402900499670641714791867524085747498243110336691072754992491112468921998843840457369270027611606106828763927914415186517960548316102834890029004923466714750645628859351215245537874732882648160527270099724352159697060500579659063663961803206034048977550324883346105930354876897012905128131713301839993226057683624573794084129819655458148246568219456618289040659298225638376409393121120960385300267142265237053669819749383387982104212485319971121249016818401021533411406332841945284893052607778637822237693076137413970923955048158080721770956497870856766797266895618891279491132950105969087211161666428308869909528358202358444212188935946752057218425251684376398829171916633353714328209162417979820661192364762769728141369140762818543581165696730921455234794189681912429551784776933979727314403530022500501239456508132154213038942277610098960451208982055521910395600862097773484239449524553021440077657055380065234129519429091049054191867018002555591603609191554520895242169342826117623395631998024865438395729321569825524922330443621947303154614997517274998885301827846471019009593857645176818567381913141840548897439450791544011978043688877322166591728162957085140458346410536482998866737200798473873445946289926029582694388222048594635954202128772284624803414620732956277454420257642778422408641477828794279841775776588372227329799536249969389658026427441321856873782708589042045846929841510707564452919605490230836494008075003731426521707122596913144454164548039633756116086957542429883787212571456571856817465447050931632527273346952486958541024364370758818749574861168691862496364729153947739489443989952401101017398228672461587717232429405338643050496489164111543093797334790632772681206891468008438469239153751951172283921713380025491018297433802794144247267735515138234092951589114224946913895987656590001965351345350063788011725544534052043963391764122038962619484697324774772126508144281488379653180842770885999816550225976068935092418515397365875793810245734713806985464256904158256822952562859683195322089419522405852194469242098562487483699537794940085757662120697100074132379655888036277276821951553425281598301763970505882824867423611788271662960875613786278764623775447288172029496284886794086671769026069301923810777069161907901230557372769488149663190883365608847122791204599315732018039792763736809847078599394085091631486026368153557253005603621207221707285673079383215928402596895857157669100148406002387629978659459298591151992875359320541524504629349813850221261239305471930309437762570908280149255430553283177524431487041156607133723354085435987946222794475666216501171148662558409309632856073327145692785581914021635039237537125070145145612123915414921832198045941360393403779290661491534425365317992290524216056874046974570826844541508336392791459637045249023458240765375399180932162850336750077228334192980935180922885657663739394341825391176962395625744491167592181551426078661471976378871857209292401665526870417247209173401273335350448170404465158136202945242265867766848059327402175919463170655508439974161345977869763959537504757023345655327071351089404902444359772802332664953174624140571026945822560307147323712491594847660412196010991661423449152427884144515477732334779259996100083588341228756709742583284758531418117964837719268827515408666330435342659347658603823814907279375537156979652659845106998709173279981427305306437441889086459527717868892082260860004280930954627960706008633479948823860787928661822816082138782603926792344162217965412230158094656012861895787281482893492437748593806061571456850729300991312670848119496101538997072813321568192576229234253799529166622156756887795865963230985778979254854531389553767588994897693221462876986245910888328521664204394290772165549240908912460241856534780506743227532347441142428677015644880018963991798663431644248486028286311757465414001186713422403435401674567878234575916534017182965964238963933907183968236534156286378812420434083081245078619582138752453503190163705702045890648138281678796356672584823553731663096756673602703305990757365567438499950322490036401868673570020510132861031521295493678722525325131330108170384410849136737320102644921726472554527633874560388473409505651265193700508901228492612391640844773018576573413667232427422757826028102718552543184645474778852844857650299214805612551899035557941434015198753424197753104090720971926019266210447593148699959590250606561557610523728486523712776020281470230944823078536666118787981899886565745121277435083212293794815398416458804277936506010463078921718055701311768620794804486983300846665665080534079924685491487750146754298413743283315079961562534090264641517913913011421543826784211617648070732884203038376834102582556086148874387259786587504939452627614886087922078979962561629977589790633119351835178611208000716625462087924618718486063624438525485172435500055708287002296197210824857499955737424475196833693293647284702369341742457269407736628200073155430568077661428776384268835496052752741904369023532662443380197933131652299472039278874261150642167933383884591920621793099674551114841337111309921626232698051402661454830850451609876348477485041348628110133649260711997839682839436409863039942536614935753788504191659024034269986717747164185121954685417432221874800445459127613597272239092788002677890807292724352408230777474821764359792889865224317235941867046414217392129838289118880778876725168034811695078048090746484049877880460227665464605546933533911662942783612631058034908827917081830231639283243703193898985234924839394303735852221676721400887622348353273113885220442850809389747092956792856588922162963647422150068169300268969349727067932581666216014122966731427552037607921579706345532149808421893283839666220767932878464674610198763997740261705354970747416929332190457738807819098088190766014997718601412046526888205676942734664726225871765572623053820958864776399318763176037689232780606932115308710813900480582370386011298368798408302398432070276874068946633443271436184239104329723463534116558526539682225661085326216533451860022996543011095390681643559884022116607941590355136134941379833378161697172734271992550240635563038693296045950928846620623276869444234005589629956372950414932552868733915257371347728199632528930986947632733414308327119992021278229225184958556690148032555124257684813109251155600126730202475048803958866359757194528081482308326341139401415886204520781064784011764201969895762950586213782428212022145434469970132142733770369866806086015260474136809735354832900434877342721198521220822410486013570887194510561621586773362547201900325606937994366291764547821586008132231807335215850477962508069795698118647240094509076215432416275605974061365631016520928862428058112145271546627548159889469217481414315024711668704344114232865111973431997147376915256389688113070094711916681688240170138817986609737945179957247107229400355874351014106947336807763206609844058402737293803864468873390761207855621407591374071532898230585724847668695001640158363765216648381875660602412328064794143114317041487845015881413356536557925183578822439491178844746266859632971386573905981265707072399096401388991932582643496665452521827744637867706983883905544910678280345790824573162577987587005110125790589552498669986516031993233041085845577794016652069724915837011326597666097175173392392135568887331647836636678535147771240520891664730318944246976019785605330838468861020858837986491440726252762201013431129635081118792910123225349094714279389003767275716723094204606913811763266086270559112617446172563285827040059111687747645770923694185808492440828739065723000017570546757219246091720426812387120244415204829393869631514614855866537396434369466284619588935376417156451058231200706639036339541195613341815865447984699144291093017412418358674151876380340307561041332871189024648612682334641653317576836034908698132575464818506245627291758645528856014871918732936928670694970859151312254976759600188052471354509566804515533093132110040970779856389684211987914685607178871805435795189820839208883174183632668502666949019094544906027265681304125812183779555872940789709720727033491306387445897783697836892364053551668859560795591472584034033677704823481994830221470597972916232625908646262119388406665526482252153132243303178018791582216589357920377682076938190265168461560687800342177160659013439694715128551353638920105805160091663071531863530785125149854773874192948345749028027131002437643824086400750255123301805912978993934776227637034633322918206428858152279904285668297689062974082531048673975291573857755061283817636354863067963295121942300901736029635741568546865995420142445866625548306520466501960629784708066510078413618947296385147738319721607297913664245301460299722391203181875436992730399297490825957182365375189807515422389920611378128320784673999880950458188609590744895618847868673805026297242590900334576096215498537758140317795846461300098354833017194394661521798046411842483265879631786072486457012133077566958305450711033506147974432250804710552100607863276703471245187353870510923374553369219535884368921770898373892026891162430291259318548079521551380789646607239898315268886644946368315572813522632586047704165152928612072038318152774518758937262032073895875977848085370532438424261441191067909886490753322924314794123408733650153413308105291576163931099905972842103308217929125060211929561922754078197322322276807578086082884998515553265133719891532660685311179276988663366153554639052457933629532590011929984280577421603540150310258966377373598635232729525287059313755334134593662757500045957412344443141729610161109562006062971442114682009685287962028656862556182084804092740145633378708586401243162759658235963980100135103476390185712717540201904652209668422247343975898849239725168315602067045238481762554298531422324569734626801316589097927913302655296291065271367435686714732608675433358407808840126349140779576921683938875522861459628841009855785818899199739116152568174582823889667156274017696234348292257667037101621048250794724634936747565012266217569974752491432330146001893998124056799386545381154184120131445603513207877144140858735766990119352821492863918999799919493123061508368105714786262484520655736041868732815037240706672507888879968786923276830847551563556296850957810838994773097279732160962129366902632381362706799400767058652945566087214814728821166223012849910609435253941669098725334257468235021575250314861143647934653653387185324565200260119790136934544870085636652461768453517500590411026738573041655089822367978959412117812688673107602285729660193911809290771939611660108119125098523677244477801368935306872708102807547165842383836290540515031325307576861063928566994078155042702118758231509081354031543661313758773793001135846405884856338470051455192549006847888972922185694867395694302964948833504243928627058892394078546637920244599821356266833903213820908178021554390897940739867101841022061937444154993117046707420360537646914601332038416133471061802231112887627005082046517041366804703319248080244739142344988660939133938725375219899493412264309858280330422585506635298818991103303358636870629125061886704398703380706309970316418293743821921310300648252389355737276986587027157147115464628803423021070748334643109914961435946511672371625953635357156479482175918090665700787382910711052876512844525062614687778585391838679194454864777661024776913888894343379438188494707648367277122001529263801142445727763076091584442158316190229066579414427616290356515001436320684148461012710812449922024335636360995966250634368936761808772451946360424799951372082919470364498296725597662173168463407672616112155670167512886671142326320442537738128109628888334078263658784172750415523015523225665429390121933053041684571889515206028516033484885944188177831531174173875066339490030649344482659170325305058956086210568465820933804440058149559060701904110322840696219201050422934517893004390495566662395714328780149493458832424133833983312779502808023193605828891657631260666375775172910211066323119665772783074759988067684349174676599074475179340932453330838244822487574395002989278759499537131536104300024897388414233104333164699969047482537516919330844359420398509597977636335438279891276188959174449688267687595396971701615850748780031107920337683593666973055193215214433088516234026364615353129149195246175007660654580009811470566078904376007330880460793092333045643697302480383955630078713854171030744597531261155159393563056364227399717455720014651980464687196702745683276418754628516668709905102457017558178019691247234427916764302905186121894024873661752424957148079177123577213093883346075022126487572876037463111315670150346539893552472905438464502769341542476041137723872856657600979543752115884550473631926896968656962937338401435037339327678113562471282789418080427998427504291571041100625138082723296335464304920072485972703006763407607366154848822507135890372079674855174391017333702685146835282535779266829359995987394236689573182383161962074617177144895998347669919153486197490305047699576206413058714709610581226321679598315588093915665923498425349370718578850880524414762137502383031825208202477108317376411506808129561210875021240828769367227315290700775323911768374983734022652550734849535727970329426562980147293052814761482542438406866172838526600235734330321615616227954662763312090198458388134101893205174992045837592247304533076425857077444099961565311436644752913940640022364122695745355533928760387541674826176879662625344838980703757901483507656913276071385273485976574243551198479201025557967993272699597574818447356346908810489477422288557979806671538840293722022598893239451786344992589721692450388623119641433932124932000536845327285372588903766299601127232288851336622546038798398426114583682339034628028708551619521813483031921729873945678740596656508285663386597564927485646426548868844651953974238802026566733178382930520223481452111656353920530849251162717970085413467641850728688223582951742974186591541776130594114879017131589084818467352750912712484747147232143466118763276535383221148692562753411830142415093943707855308655336935790574006686782477254933765773780965050376622059930015515516167222945571789559104644182398321072193967694807118720712976046088056467243233460583224487706309281953252375945066803783906340745954474215084277820832676504971330708660133934973721417453234190150373330304890496249915896394147799171908855252040270270920585278844214693320675754935707013689407255651601176233084424846181506909052505947430521157033781411550689524083293272235015697787785490835532633910260503005550032670599208737708204516563666112062696852860320440523334282539595247312967836679328953991776350313073665454656214662263331320539170055909919986151304491982824961856562401639295126522830282675767432210925827952290094578288762833959269365934381807673283223680333682539975224066811746730511952496582061338617548154038206858872939210696217267841110739631736855210156625205952169017897429446568554617596962325683186160713437266677628890195998989420068453819574666359592920422223461489843242937546836958047187031954701996375380029001240307695085145784489968552249463593646072256172394380132301259772316846046944272062312904875091877206834569473318791181098373683909851096887900298517876132572146326797939278793316509108771100990300786787521363220715948920023360264241088739364947392485975026375418793641482085726032760617884198936395820922332360979665953490826786294237790217399506950437882715717664774656100581534474938086154642257318997518445389876968283613063526803979224134240890298321637840861029070698569875883586895261668932286577186580953559908514997715686698111480957578558510630407067318909627776199559318813889708374330756201046198462804633533048342672165073081488381914209814829250403313159588482336240469007563788024840293397509573710491690688923399349141034276897511599868461609425264181952210261945877811091383433467889994385777438689273388260307051977160983006232806581685648582804658535078576590791820645798836625965597505453796697455322369600634693167661068396154999644724782469916265503992510657431549001388099842984915586636308756011995855633806067484931198767772460059997564215731545656051406522188148521265076928166683114957221266703668568732031243051128007568933216009482146365673677266218520758719154180094401913857779827933927693768489949808786251459185057060532648681035903389496513524501711372619517827987991209123637350745921673388273626679922832704271976952696754564469900595315501146231008574444857554658711227586326584140020135857597900416579384771386363988703770486729354954298557770113775448515061211381362370720000152384316548827152291217498118370160478575703253192791547621143054361165641722423626506112550634527299286899234357401559858159860096188372288311924488540103582980253512000923
g=3
contribution table:{0, 1, 0}
*** a(t,u0,r):
431
2
*** a(t,u0+1l^(t-1),r):
436
1
result=O: Congruence does not hold. <=> deg D(t,r)=0 (Remark 1(II))

code version 3.3b
start=Thu 27 Mar 2025 18:07:50
end  =Fri 28 Mar 2025 12:06:57
elapsed(sec)=64746.969416