n20-L7-f23199-r17-t23197-ver3.3b.txt
p=107520254100899880092315866447599010474808358792642337018544291748594075666256199830289207649232904954063716207832779904755436347089365591851611512727074534565590869978193958946409071651731304455216418375633271389183931972559538811191375609599562766542217613975982801025207979951584181682727036683833126931449749071852366075842599551033698318654176046375739779922860356984062812510233976857933401721114180083908537551241589040589857596450777585606172816259776797821612413260381523611550539624516168624628214612125241743239267399525027465446415689312173599220196720009383017152504222397129094096269473469600752758974383983178777552198014763689436453947673243582285989772388297118053530494991293805044209047559718035688323033016385563472949284066962895494304580018492068279327985322217816920025898289473894573970209133443613845136390155360881589896774438957360530284349742601333797117712538706768039025817816692478386463224871426395615657600005446957986333255371219474422926213370366675856291636562476775215421958849865103224853946935784286727968441455794873312158523189782636005003449148093441930158375912710525429457957566481215976902369552630449630195120258855752972972033791923377567474824247294490227320401254836948058544312755945976047060692769349013347801746885320708908088831720454694821638600965979933857986125002376447351740305724016199961794864643788829660490525538287830375133214086719903019706065478027803489852732654826879471979574345944294446797590124212540446631306638419681325405868467063366580570835803013451987100196504176906993511287406742701305606188035209823835857749580476922344200907906226438771216177054464790320562842027077313062320238450159858069310765115048143189958292908739246456628186413997363677618939887317373120999486960742660762064320006238218556625997298935398156780388940250244929589647698353802357746565228741309985650426788052595538492387637985240596348481384581915065080650569908265878106685783418471975316299251910828698093831701875703208086149945097066362355621551975119397269613093091489657108031907473445713555324139038502177366541466492283535332298304723793185689760496869682043509795561386103759068108860648500758925053284862148962685433791167680649887904185331823286547817478783743223070393873419271435962265924500541671544558528609109504822164930131494877869640718123999717810172137893054549312200559376857513282443943617772140780704852137874502236220326238894964615765166457930461605873757228378454592997946983285385975906398976664667699238180150524549536097796297246206029320995280794815046555006834217478417537354987982960593220459727195372840999270644322923857727004334374337230674577435158811368804759163593052467185665331792864704723559837506088325640463328383469752504252097330247275947917647129898831805562050060282196712934082220331073878841311223407701188730651216797031553783579808247096565508244664396472459631246424844871463390378823970449478171022403072863377094404752551864486979212359456336940402215202850632507990363510014855602749067016834660773492425301030057914051337547084293963644918655314003602276942966271327225701185454312573101321244744544584375779650188569385205527543765400930958494141140148245905439272037873752555957883181542953904086505108054229901256528356449316970291153383497095167573069433211821666464354719561169092409086241795527995629935326989025431115786627258780553023758183705531740868128282457081062501997103769014559038841227956573518991216700600898324016214529930504431055101402139582823206460801844821980495435309862603861060538215284060660640240965459026902615054476639863687467745313709513359422025641052677236691669851102027563223918541010836421653549065214005514270898970822002616038997636220115923541792849438921923662613157648577629018762115815022883694553828541853901353383428446027845050228381866213703143114445200268534305267902373672052942981322542289912372701146447422981719964829612083063901738388169840452441274269346419763051034901362283614599649296495776165941301907662314782170073923301328702454623686146852654196113771058251761823618939871208233918607137750892663795695272411726231596160234313795869833486015803033439532781333730265580302966594405601987830316533616403807576466381016566754073210838711186438516625238785659456502616884940263526334110121648613448319568708189813857012069010918675587929218329664559821357315173052059428793194423946853364600073572284725743477180453131487515035144268140800371631164809183840427203149556934798311534854294270556217398755792279276653755328484969565648929377705114887679565671231369947603073161045636145254213404153208252915281157395816596012173872227940317337879280763687276585198116441200854761439162276770540486960902318165108399181087890677572587373461184911086787432500062779095669183818951986487691518301076197133753889643382400197247366408555283437837901160918443488131750078711451929863232999101532209006053735861271471589086513605245950826687514405905716240547502310380147187864146969501819095366126281118737727507984738793597027203172095307903468403505397457648049503452632948358316598070595504182315339003701734802681796357099660371536728575400002047381160224213027201872227885634887393939358168544111569526756188194601230741413037472313377196080566347024773278173010665735404209099907489974600717673268972648484813851196663871368532211821574017503161519842051086677327464939651079837052117809622969596951435392340230727074044919303271562802725357412504405367804763735110613517072533918835805143974651087534755266393579498958081468811099354692678709909827856109232047737485190469410911041910086087801212127791813623261460225447191875665642162238101768458887413788268747895211181410903711332704701098496080475096047202123322783377192429077982004411417222276211611493920688976318853918580749076305221194607455363826821771181171270873903454352897066933536331558152714069755024673353997970959987202649646246274046209680572514058317775284283640852771582971730790737293284621354905710698578240745065824021826889043308701524824978294735643934932218831802660648441014307485879078056665703722362107886960717118213222390329537462830197025950010330223921041096881706567809956121042069988028208503611739575761170714516595526108850476164366083922271152779359878797699710800155680662595703133335572692905263125292455337072719350232308240951226659512163913589691516745120202696444994669072807776971508799498275042636852585274989629174752124889435390716080402088334670506599903273741635364158362353689419504988196795025685988619414607788122955292412615910662773931814455604046173722583443884479460820511638871215896129924527545562878038298558734405692786720877764256265517309488704311208872748803700224039144221743733646227458569153548672238620661745290909607571870217302396209169596707177926125272624276448784191327715326914978023262930460737673093452248751732196146267335675695281958469921562140461451225198095449913422931123907340493188140211627538356666360996608673794688410355383541211955077386365123172632526147769236416012169421073582118841855273916065244697334850270952685253790982230551312346316418773309674880290345821577483374957038048253610810137666098596868722699436541012887782758014501075619748807750913143936678075759544281884222619326753440672815860464836300483500524155076902909804177116254649765242062606920354648151435494211713522568050626101747398837161318784797764750769150072864277624049459174702098391071976117696985795018834289405737283996892820037772135385281450801244086187908094280230950213649401335237219804193711292851256271057104039642773996092217239692942042169455622068709424980596073683414397264940022230817134190931946745299884750165811040560124833763178689917040921024187588387792216870349385741763963770032424446993323889025859629385599022115298759080728543422129192806923698784995615053430688096686960035250811471611773074015624959705741910332873863580448392631295657923733835603657633146216979696746924988298078948015676862483393481882816867286559114083068661248689448291052683430917760067966418538123840239942513059682403204988799335719260766392481062627424553840288510531256058878379866252682695455655700696337579866235115382043811079383944939635375417663736068738399866104959161900501067076114573687293172901168373177889062504399512727292220673064286680890660263061034751055194745533272190960796485221679777803459514443605374245971194917054870338082956552760673662434365955979997084599518773194287353169596748761303791275631118257588190914044314734855476590509219168036260559135538811808540271503314390478963532173444760346297625800217051811557881730953705525719711289272550357528248583992180986836058905126559541116395679911262419261451454475156237801098893430890336894047962532439530942929651334363019023375210344896440448123843173477578732049396115412484309866117239715292637197331620447112754928891034211531395664557115925618541478769757698720751915994555985565535865909100234281448302668517609460383715314434944383430685732104774863504928790807119857093035096139802411349522615518264066309434028646091323899853536081062866325154831640096193244278065980329084259614695800620698766113635999263696378116600341974664842603173959157236677070430111610214490711488114172326322359143457950440249692878690183694104878649636959951182162348246356827863637932258135213340373278160171701101576095069505928466787430685145852196247239559993023774597618312022430022957383053560508504361584960649164824271424126831397118880497289810715177678565791290033215158483450022034237335095588344626947270190987102059547066147298627505495186606782707755636816653752654530899720959961058372606078082384143486626535195862417077282434073527199741791756982040882087335506672032819038080142973830377676359890173034673821711635258952246970119547881599447220413854593491069802566659813382508599203097144706683889416340653709443891974056767831374436297460304224977003653503900583391993318332179309376533949074731164278341376612674794925890479801935124518043891486633246119484407232941263982808153801624762909863967620861251155679871418122297944015307257142228426824790284252984964150798754879320104549134210020462958551631290130833314794373520154982166262822487423221514224340644150230177285936074212544107414254024404372047225326334578103105200082016015493982866047914811256391197024836226279099255505166410814622827002035981434376243182361928616407322567812825442623574100582218927534351462567204638825827637230694664340005909904242218421762671558918010636661536844731352225093483458003655670214181690356306523273013726908195678541547498281377157207076174573178181788223069844968199719081487526315164545289384862803249519149905635453832715072745206588052850592958144791481013202846165469087129844727621689510341143739497656174358967640151297520412334289972410933620553642586703406597377787772160211956298889755930009153427267981455171308480020319207442788651915255101669851736833844463332303828158169002455947223441313191674915145994713989907982606005667449401891136079789751067742557646821451120483847985361654325975717618225868757021172651368865799436332005861341344026564285111145646026388870873950680502260063294255337751255611343874318329946168026843318004805821849940211176474685303847291607721111741772093612553080665760055339612012262918262789344529011730805545532795106219835111261971054627633268585773423488781829326459952074766586438890797178585523661993816002258063316306553528231671410353323493486131212653612457827633753048245382036634859535081631168039899034427396414469053689761760041896802757893550954899509458339474914731651895404278624060339140876506996305272106113566708605401549852225762521374921950514604884750220258266965779643674888253971172825397264064369823301268839805621159568221289914168987837067805098682424096072800959611079218562535029702061945037296937388102196348381298448261530840144166728262706446645366561372643165987316287986058868058197102630084708158784952972500139404923653552711600781987228937586146804777585880252392360261675898134038241556917968997946171009723759565448315088120008850590820787639948060267537563380170830226815047913159783057535724311279059221956654382344376992432549959741201857504879238511740963819127757881522543122895329158154743466862837888935967588640667200458120998018110281204999441053327001055579050613748041931126606093127258445225284188201900886897539412951367772522631567253239073574434014546718347863817199320551228399782789321443940993549663842918229549805820567747012177032379460998243294768276704711769695682912471254023894651922814306918585876333162859524130339637385600896918903446347509586120441022593012734670029392003507733522202682020815196075926244465811119705828440481138960535914301897971280710439195150362337822731333642601059247276835054722360716093282906691978569782167036054968227280743134075752304772794844336472447872711303277296335894010484365279265253332985114363621967136498242015866583295188907528452383870506025698538807074010409522050960033022440082851917148527161863483921666560935486574870068861019178923574029282976816121508943862946428180905593059091232833647329050517353690640891331107625180010457817788743961350084164988549074537983080577937421277602211519603390982670826815608356666135603898612648590688341049236365687867862480513126279138474180356843799234054524847418039739791838363687607131431884413837797113147891073248211551646770118871570346580762789397623721006479618328223333246311047969737450338254448323841108452515771916290681131561500525142147512625691580955178008921702555898220811181850069135179488905239131478093818656445630660198272273685980432945923975160679135434605298013305099097399326899802092225792818506474422107246646804455382508646089918507423482336760736957913824165730263405957593420566909823220284691338378030267397624681583690131640794241347113688587279916540789650662689491485712511420901010362721691114337547704719570904289670016518053107379658192807825881092940234653509629244728219977407155133446190798367961440536872196762703766242304094261121521445150211037671960562264285851416551964197453457821990948259957938850129839539650338216444182842475217561551549090952428464924606048976614841346890465640047600465076640511557103214117816776557418941171847657498078434784003246106722690165033491570305219323153005542389702217027189091389458391209064108705733285187119486834232868186501570485956181918792358181944519143580714853691096147475237493583310977568232132320191200544354637632443259448149945612873881068164778849035407804930018505098894862490365123983324920992175225484843563349892222572920369693746644144827016417056048178666168200680494995304640901151033245292752295606846668956342457542599805372596703736001410715005907591817732592293429993930672681106789692748273430956506654120433351816465845980003163177647911732151744806745322442122624295402235165221846970990084252999636864529675376627504629131341379722106104564765709050800092418366377024635329474063267409145003390308349153802385642242677722527875071103059809355369058984666478730671217756099926572718866253875348270238799913648574553080764562610725574446957073931278147667976675162239982742215641477291550206300487767207466696810224541016763937796950523305508896648203818088477417758539683599658135644359739564658205518693165030450550826016981777710461199315223758955782884981651097159536801565340468406079163896281808513463427629942028398187124653358055675983955587418839987813520551068796793688444105080857857259648825185601126395073473588056401731371562412430771322769875528108408596194575143700721500597218709944234727585486597731411863143736618311424633197611295413077146276283500087213199748373390136681723393352546385923608453316276845107786891624882574162456049976480636496872420334756467712736724374084469794911639751722225698333611896838943217576505589992805268338514577696325867038601051975399279048234675844075570367786075566067424254610937819542641477817271448583908368997485425975193135637947218461385146445708753186666717090525558653763493395064822295461091421223005104885930158495735648440915887776530919624448425556624838906741202596918339616560034393865964323657135712072513524749298921764895903842273155634888374588454349182772996220686774264810676356870285047874804649809622353737566689886303232242360607391407969795791425393293218948366440651919720227253647265613907180474491890695912319741575510925786033611021838166076550073214708428897011475484081120629182943535943938947560717650554887206735083337780721050535665507685176410642810426786834814118435432061526414764092606394056385111327373553029037366215719980356051252095122494154869113314731170549110039094739406111246140255444892461750638654765510580978244037775630831811595258148634037925924912627711896649913436394606609996585238214457798282071691742529791238146053770507873625101819973046335724491741940152920479305134993362326102681485105622464353031527028384959203860859804908663607166715309312158532499189926653000582457881034423553606552167934699546219099466110537362590269238549312227418396664917656357750055724244396115317687717896135057227151351627054443604469931312134383574840756225896102301257590931423019367739524854392038807460414435429551486362200460288636362639619332013538495104321725247256913973841204374184634363899376937356543363226120662840471962475871247620774946707216141054654061214839152019662719415663596824087772521477597744487474483942562294703896522630271336472098492491932465372375703890254288786550210481918454379530769874897154759055723913253599657282595283177701971535372898361366507987988515907067707671522645021761201476871284933148363028876851475775324447027693223467498807025085883971531167803625818906110991834095401695543452490465603449284995343343453457575030200534259232384670753666087594376000553009621883539968903872136725656733219894130859615172248599374661208214550680608199385126821037782296708212982113143875245654330814608436368094384347033559785933658248819138752248585572200395299549400522343618167066464376162851996805978755331726839172097118897203443607565407096383155048359447037553387732936336836016676348356594695774683013902793873486191391421609705648642509349550943726018025650759990416606626733357707531925937813783452903616321677846458611070609350293207898655791601068144531647141818275190989166940372740831692579736558902923728513541825060109244763212640502139771821165713522165187044096093065162739285173632890714398210144233729019097037204962504202653881572866526142828422610639967110513945579209810966287642511615459236693902663510764271823943810594367644028657704967837680977792513138460559891880254178133629736961672298963368477212607837014662825460730769331782288876335297868443611640487752382754159599141723746585708986957574210174274371442569191860337174780451867542607810289661479033225443194298550253739026030484146145707476508594894559782739419156281380477241447352686939566354640197052306747875510802774587465717687087137446439833019361640478356186478640790515627584607623998524470159343372502819624484497181232284473915729183630898139496017063068103044612023615214861852474663241810388522625521759470768274754728006622596760034666212327829415706620326564233378475367214038156055944174784630209239444956731231495562414793365702664579889300890580474615157025717519482609774988651478494128983902521693669227751565831376241094499833994709504409248470207990460375280269745916957152576309476234316399193415787767059048639499988113157589044780857808045813885644923081771255793976462003446213458512636043974509971273706700830139605677499357471474482646692350855468564301747753733814097630830894781988680605718704286411780728079170532026493851921555698004592618908927044549259766643402775895307388056685721
g=3
contribution table:{0, 1, 10, 16, 29, 36, 39, 44, 59, 44, 39, 36, 29, 16, 10, 1, 0}
*** a(t,u0,r):
23600
4
*** a(t,u0+1l^(t-1),r):
23531
3
result=O: Congruence does not hold. <=> deg D(t,r)=0 (Remark 1(II))

code version 3.3b
start=Fri 17 May 2024 02:50:16
end  =Fri 17 May 2024 15:48:27
elapsed(sec)=46690.582794