n33-L7-f21819-r17-t21817-ver3.3b.txt
p=1031998358761755931868660170301416844105682530841405033100428532952424750863617506167320804279185794399732049724545793246739447387335739997211000915392196934220759475965392267302765111693891008322216116863428936321192181975188209689965605155374933249625475989975962145978854705246218390831694666491307319271059872276041376976823381459189083199373035619388254590025387947429513237554809125533429796892015631149284234712384893660990711247497970388746956559343028290176075965210778194095955319278939447058745567461322349429546691581387816488603156294939032748347521783761054623375897616923896059557485179952017836595392486624599054091482215895466015189576319955376735594762029319595607833315237544851423856864138441016253419017821890592946273043368812057883929704758448634854974386737165802651189464619151831983139394709842055074852994297154382314722094457215967553898965143346226941529364705318019522044887819406688029719554891628069261360210875467035569809858504117513802245467460626008665584543141178279541384619661612039714925419797729510990746747066196958282160136837319153905486445478679357855955364419932267864389394682248620104881160440361605120434101702756940925212086630620216480974556910391885665845500171191615212038493338215453858580903856116400527620754041903637347649569483544594860311899336095336193067983973537038847348895948350722395148826978742812651221227698981043212695225072846700341103414251626782311575462085545185324042062573804796522860881446392912709516239498361352070210671369899858065406118250781690478981002305530554588620358276146988015421664090940761009891503351170994647843648292073299786533331592789782483146261539301316632649989464358951529883183596786429373232554760156518603512965272459412915608780863208861018229263670594194987928717048282173856711226299309430598317344990424471306631218676597889456658196528233266861052107419163071358552831814288738903167410407487087612068440623268498110209566097146366658240607608338182277734420574862354124978621881644419429751413020768697665594716701325774484012388743605200279176716741048784720876396792982883186601348027243156548927738057512806418199349767291916553549591350142960094885658510435565925594977436142949117157574889707986970951367975630384923697501894409531851715697420092352256646537363962857798534232406497617272586721569432838192502233667588835306576211870241011969177636137443132491365273135204545643693017143306676440440105462337930188437016616327978546431036764340848210998415399122270005139044350807368752078469971940891073437483239542723271311022761068937352702674170617521337481139203548076243079709074454078804133002255798743958940800291302341397857157919800412201548237484841253983914078322882959944243461961940066283939561686510749948880199744024234940233940599684663210719762918365275002145675196537444473279597469360692934976580053736382953321821573947407201579694999495555369334693633124247329285925911578719789956024560971519786021817212083328906553431871504696554611335833222762011352901651065812208067260161665641187819911134611347932042071301852303607452669907101070860221347700524737463550920394203353657691436712365009482070225878729207736226957730510748184509260782947016771624915557580386851616643648199361867964123763036802805017364107725712184020852858711087736695666956869864070289386477825384735434145424814502374404896914928891051172191906157320084488017244447242236268193129344112187536813607418514818344809759408179487335095362234319229933184947977354876616079790335208833115589648235413054212684736102130518406985492627157793308019023623669851323134374549156503903095774401567347599761393214929749309465562926397437544625269257649090046154902963779807649625799348500091340175056198572995014558450687767212349693250183188828750795758452666229506173105049799333165861583005430474356773268516690619236212244855909249122417930848907786378440480690580016787222171095777809574807552937853531804384742173133701731613430744477497915548602353968662121709450893615859888851248989425289409862296977154195132377057312121034213234746743355047968603590753183764541268115981169567204534908600577376177099553593059059549703240012155311814421519460714674264006745028586662194925637498671945367354948861102428066546327015473945668166652145337667647631464780233675167749614337080096128736998651452843861442400681434038557238595484768175968116922673895245064834162414546032995819928606392133494731701355422213267172229664187335061000845809273759837121278867060207407368758067790568227496765604972210235004149590306416801153910794318496658594447534742899335700754689987803717706553728033885597975077874815114412352229998356291631393588056292657978189003094567532242789158368871396513109374760144586860890716745673449076096910509923611595479199070372342864169036691727511837528316287558362747554029310594243171147239838405984316499057482558624156850088969672844086478448110386546187847317942756940366368517935462319623216861445772665392216906321152739450269936095131273137233446896010309752302915167021135179266437489672670943225168014479259576010522248897162968803262743310809421373282238778849604875835455261256852189514589429079938258235868562955618586256069763494399949616892754795005433827576556879471518269136517269690191314717552014331930141501521393331923349306352182721167664597927487807183315253583023038966832405352940697430658188233049438872197272364256116703815678745136529636775188456771434145613250717011509557511885671373504322010275465299431272247734738056402882677360621283092666448755443228991878895600275276728367169170659085473391056242985923610397306128283367443035894495128478732996475954302782998769266789155581658055734269318602731460367675213829478971533982321529502546156429787216733007012166738501281441176829382468890242846032866574182122285744008929201193902532912655392931239539037627183723225418672482827520949639228211146769366765571423052589963410474740286750088129691693061326547422463508899434162317619707971718772077004370202435911462409532012041635738870042387972987051950346917545678282629363092829891881399789034989249893299768173039611598587378347392295080716304617549886207822933288275898873907375894163269019124421866484832001381187855677877636698713508742431137455820025878675236463715992803804119506749627139119765717514384590595171660342212889037194603321655922451530841081201997901155807114546068435626074196428292685318475848349142022480507952908813461524572733585887962724584106027710102311416447762366877559482982018800062920036650175182642044918101147763403812071472816253161617613311949111169562693936998116958344315661433012778210209004118114537740150442119219823032579187009110963585269300817361259024786177637984349288724755975432243325378951540604715579470399585184560424808941859624156977461716544690239257376495892035988318283831001322436147240318061033153349788215213693666425987121962530847598192328900567930395425704533433759810840905818127833336232630464057407084619732697835789374166477720503932961461121196091538628202035970274338985969055953096027561801803326890543994260661444095689090203743443731128718900528555888755906407654614611250859053225494573636980411257570019064250795741636329792326161177061716701271986431931147398853424768028946460333851376751295886086962678365895758038686397608318423778018018165714990097709303406731049023574327096911415045131516393498593778560036294533131515420577926710384398878763882431136122537655531774296224570250032809576752195367446922690427220720089146522621663892179324901616023369327202137566291101015687696451234927179413993819304175458471973308833173102063439831568321735372686478742552390530178954355979166222760182474100506792490604074418373530594994877596959316100832889075723628914359162275302137529632484191783954089789010170258183243680584603418256170673559597008023105473722980996145919534716742053413522164544469444903169697221071692521619699176166599986808452121231839478686806552975831100051386005825326603473073856762119016323371840961571267510466248348217812867858089758587402408419719310561394762873370675145068699376126188062823595469706351369639182529204116129689554408430552611448556569385265572503892635164069963066662773180785102128154674953697035591780635780233107158462328439543810062350382462212766317209339795796226502665410939462688667662093822206184292217360404481242962334548716513779300587749435304137282915355828161284323496949862209597235622281953421967008691524890084472471501675916211699404001421737431956004347631723160449914123320796874969401623708959420154894004513393589913490378182347678647031230711906336449288661370070094718859084665959109966324392626236658921576551040854401574119537925056668700385972647512447205799239640587063928178961144213806474881061540023421020095220754421460555588324760257299199938520232946015642577199379556573848917634491779935783170661832359033537932268917153884328431875294335615899878767627046123951613495231407392725848393356580138301074179479797999536482438337445633213983568440068453196535296267197582509439211614965215358362017230033477824127846731698827316346546304739802377849111169313436220539727164757640057151105842037504501735312019965912966275095278678118073874715573798186526214661053907458002506897616671326066296107435997847284498528184450591832712622702688363929648707049146099552564309056106898779105055303756319591778940459428263198872070423273215646023931254204882642922430797558480371929398513665924056250284070665744770405719659306044594193830336934075512448979154858335067413128976879560195775561663349621025739585398863802112070702443752741512669168995547406599162728728359033510521973703761783336217346523479854695090683639069978411135722873406639807783058327164206020824463537082525540580985547818792491331187621034572632170174326185127832977870923669250602636052747400692732399386657710761194609062637300059732565596642367194628348007762255504360424755585130331397925645977038969506963382766948352560340326817908250255914481589452897366893472407820853509572223891731330254181606500677142311037687704672859429382714335710225067142684134344025353952186262014474498892259248472455914547341458739091609523662670431782087734356503376346503549187717095984864060032066792562657080213709451355802170339294609621577467285369515801243281028449930091398501734275481801334460320779521132755059534837493968911620915158658589326977454446923260195813431849617676979655520355914576521091354161282076987049819620243103640736610336779242842098092301156405471540203879766684685878870845673592961905409099175719326126734568428346589876950814054375336255629091191045158918980235281874042979151920282340069200563420810422069998285448054790549035889443726020701379950428444968755892617086033491650641019980953776985871145181192955819600751517619713882450597998696747199606905183094668995121265606774975687738417401210117293408950949656093518342023442199354086370164501468477458300873790016420572783491189619418587002131127067352349526285853801304071989769207730782189039392312599877311169143745190063783386409342229037185710756619689307029686780488010039147279527933469782024528766978328100353006344199872880958601067486223417933516390319657965867893817893273952253938325914714302376706925543019951410563177640014277642198610960413422136328696941615199859873658562998641007673614196264778927600728508741711874490418953080555710915254226745685743459315113375577077498988399460706967011830061517523685688145187618825649598920608256280538983232823826163720984822066802238154948154428777365816385880173832874708375143869303094721992690647321957378403741500450686478232477429319633430620287449512865948436601078877849027060316405102348966213456892840822599072327806955657472032115290599908078212763957873862900274793453946390224897305128392105697522084003853811663354373646852927433627710991587315478169393683252167373656516183992315889749438246023980181294016960162649086492627268369245875329132836372365532930947326972199262015157353010608669461872154319420187595353456867305239564920630970928547563485587815290487140854920601250294930972244170489473964686242116229148138257671021481292714725709753166134067282695675550307717226949737539598941839055307772626277129127791779380335043966917965250160959532912493232095639706456892333656380850051866131393318444786645598210881015333144034869498026959921393192073317836616917761692411810662905420156615974914993531232480608281452700830673086247426211019929459428786759731180601414429420536286174430801794423745672804597377685685270036532216645665648824012899440518464215024425243105105201446713416069995963856137652573870634020321422558557881998599569389702818651018052351206573149772533792937430930260934691350034620423716697779599701955007579913336774190079207708856624226875859531856305103543975400675413820444490438348183040121854982648799470419874414880495587847236782419226304923129308927310962819938924212863133262861714354585517926996194941448712147013722840480946701833485594058212480151507991092752368873184563204812178911791409874581234244673888474474996392859435829420361349784228841172728771895936334261916216167357797988389788899897899631824804622666092979416365226777122651161428993914767814998234764339694142195793641753403573881332421611174519873475717469555130308857910663266303373447192839752809378071627229902600276288794109595562577787759898167132725409528781217025181529267725988936896705583749456777759932564395161665450600877336297338170582135945593188733676064768388904195828221425970805560061405165093762864341021849859974849276843538705336659179670816678144554754803311273637479301215649224140221235986190971116624976194765723670797266645899307582326021123075186431449158741837518549575449289697393737635089876224244014281677541351358582178281690237946309980966578574306462940845968776063507884798368492795533780659876012063949686441833576976349323328055536082676673864846595450529854509321219182319393958775364958540704455848177701777429954301637274777946515402721549965022811990996957742560017067536729438393495223641506640050549916582575775793863691826396954946040509927354983520214755938443679841776997899562816292302327743951546074568694328056980456770071646758583335250897517617193013213537694702386636998227902430961192628020810400564694456461811871565654101576438390344085097470984746879069847942449063125478017848581979111895235101078702257051480625404468535313472821105591841697752633159689881580301745902386286361108682418135898243126383728431398273534811872363486508557378616421669883182840319995295446381082463287753156521341640547019971355637018397131531713890223842577033843127440088538273064590790158591775034921925623562190912286745911451102740631275436595186440561465188056744431524739951222530659994334057231072528886144672061893970360803712164688253077795687674144750975521315620296882507351524839235519816986369321836430126125934494179079259366768868475623483887490957685613618990450039891352081305740951106542093195012790521552332470761407358993324671196757177714481993943885147064447297093694438548623551391844905545770833848227638894573965797597616114354212209982653947001266170636467067298072129575345880555726557254838794432481669789923583820629249914042767235530446010229853459500526514371730476385730223806595552084578134959607623422021363406083957363440268385947426750928038125369680856444572798483792413356668143806897435892082848311417476206780256309404486987852104092134644756568371625731070036277877518329860297495745536284335501309806253484221585452815477394208765462196513106056588032761618984894469419341877664414924578039326285340517978628490298487943358907396245167110781007763826953231550993643714420441761243353425382430909050083624307990692924034240323678292311338061423189746735332063947917916970676374732997983694080415989532320950357912687524216909785174490417701431469151167482441324525824208089886871181686634688719206072535740721222323589483210448742588287240975229981023549823280969419628146333465617981905693621268166887893219334841398707891846271467995725190977924665527119473710822732393318071902015335788746379194999002488486435374393741653702911971674902088331531313877791816014150651623644265650467587460995230955860882761250566692336035177564003876393314302437908305381596010000789676798946415501740691930329968335692295896112353517831139134339082160123717450641843207881504216378078062429600074328699019021649671322962693121280833120472758119245460259928498521492773102794280282307867749123927439001463927187538845024955640122619762865607624771139418036544823994333723768062731663895945572325633628543437231564542784741858639064068589639288232374955323366033615650295068544191201246973230024010347896425511117576022774041067473283297737501454297942200291540341526404614344174158284779742591049542353167268552282423831774926827796876725216588794256028437047416307137613904698178428999627314546036738528034744931881313981233245306570553159794263176477230187324936887384934868959718162260721355888266299023575126164030826973478318348239851592823194895083333452516304280942957843635956621385020586934936269974095156119914186519882391246448147706223255026589342867691485918517897392073324986146664935189012826441803850103036437104287979033167639700617511416200409156044303313771122360597787614256121646907532887595939718717866764645839560958273667170809424656937733696376603582461460510524958317232797571191383514738777296506817126982453322060654808272503010289144033973132154143213759266418800541955565434627026194354489623387150520709333216855280477308303308326918940793694932730524208608322129130906747659211416838632241113201068811904654561336066448664888475942767535616143868831014166912224416622611258908459958506078558087876345995726821093276914905877001744582117365220371538476975180609299377185817240860796628866071574910900440531027507008288941974548581450695766386007688422465187932909587691030665994111020649603941485887675250738131076212089431719376771566418460868585787895832871059331794174984135733631069590348583486165932562044587474864500371939378368473526802633814892042032831797929001005315162530219516398456388142757307323506004685497330728044041685676821040040649334368412887357758255905057837962542834904386299810199648037339710704676878257050297683823640961850858731288338116535704130884477955385037859797292844893329356713727774692335095581259702671179901912739102198771560595131232182564456068371141011347183244726399377410272912613747672596695532673820684307474039152003447162530919078910685823208592795555740675667439
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):
40140
3
*** a(t,u0+1l^(t-1),r):
39764
1
result=O: Congruence does not hold. <=> deg D(t,r)=0 (Remark 1(II))

code version 3.3b
start=Mon 12 Aug 2024 08:20:43
end  =Tue 13 Aug 2024 02:11:10
elapsed(sec)=64227.241096