n58-L5-f22053-r17-t22051-ver3.3b.txt
p=281814679523884745149399706059102009597543066961586368382443761581064224173261599363747627033111874841673919335365668688915636541813179523358549029367868477952265623054975697881269737021896608181160166718171384644851585099916294044108809481594521351691381251691653771871760083136686848241931876552991499336966309080608172719988059120050153653356682625855168743640408249419641293731401311593379327175910662924324352173653802410431239151496130000825911903810223273599347099753134043026047790074315178006391713118655795133570754078869228917038231418811738212161054879680165755211739315817175540669864163634752560656287145142958047922957770852930759988504186850067731562060076135784653441168753155646342665295849160584042999471009275538811168949111624665025083371866062994354580234779881433045924924333795882261748144582540322844360792977923488064866243435256764798165041251335890579027491701644429859156065670252152522117763839702989661006301125742667644618278234258378670435437021606715858723654469008278954522076959149086420327067458154697958077578428815927696778637923636369407256198760442958963580248277261432549987769667006043893048675229092529760403747022725226348541290781906000754314983607983900009322324965086061589670514224652818126537772393104413982985068816458043718861021504228331184588002898518839335820723922802408656117903245414516009471351473301167294136461956306478316619798260136751192396031695898118344636170338388993405127020737320584826163017053889741677455463179056514504944292620541252121044404677005942589580658201673768887721761144215264562163261280772674345725761461381549022704359275871282851169200595133582520289838860610792501478903312382094429134274640341745691835083412207315728006046132291479464412936599878884427612740553026129262152905703590187867823892485259226551679477232495954965283235473619699890205885397469010191135980886591254996179882130901595369630706465977306841424990643181407286413993611268546525238252694610224311805876483343631426771129099422647747745242622142987908031385301981292746164432955442027674615423054256565995403776820773759474299710622540816041975015493916547643376114939580193521986280018799779549061965056793927606337430413580560168575270009975543423366354142800176143690768549526695458469739687379824303477489802776220621480074294907193992623709269259737066827602457240603590771351191919367124141276007063091454795571946362694772069686163110034203860842926077754081573160852833546094015088910623838346758481068648879780154232879753633561192646221976473145339510401881379334025077604405374127664024601528536627243420626360849673849658876377596923048299710393517388475059971223916496456081612011813187545776513061537737797205088348850344202215370542439481337161655619786973550679030775965984294782797151904397152566688978826720793539739008694974772692978496851394872773031479327120743859604834083406333021217419878956649698452306892297284189285418330087389130699592882591532970954492911846860429281785154014639274551680028000079075883642623578796688793311306516844109497949716012326929248820289916552393984829523215340117069965611437956407416994763980931381594346676548082853530966274135089090213987108833510510482775209473497154761678730303773453207461128054651487645997988379182539051574968171477043796088454810591101650347508146976759445453790325342507383990686018625362809188572456069453299308416784441306325128521053019922707706666056062760581510682723975837407259681082664602644979764057906678571376509601379479317795072335289938078511284242468446513318371139699037581494878220968774953023747372328402429099688079142338895711098416537157889896544053713246017687237758384707800806608576365588638044127086337128724952187971097414388590311775675324297354297079984774658568191446055733113460996125373987857252630955823618695247650747662229582570809613589299834569206761953208511510930028405836670522974661411381451354709721124614804066828121852576918942232898173849010866080583156416659889884898524630432350971826373844223211252252621262880867680351178647848117572218763396031800554194001724265260285276501652257058800218437893229296984602651695174516071959984731047624432428831924390627141355048884869955494933604356639948723043657678496143513531237760977966580246777702337661133866880022933845178911124597800627366762548638232772091815217063673263984396334256940112244096190281217139140909628171412972238970262907850071068781460771405031590404730743894014249200245728094158946810745065561805766482393092666079854940299872966595862734712725994730939043829883401475739353602342301423002120985755075767186579454587569704718402678071247766935913844154353512153543812583541971161177369517730048909335084314152855579096853957930793316984453847504044762830353286339448310562326822023581052997553898616220266223182881302895783083491380527479957027477178930602355247466539902207528765515806919849873948155141550646082495179192741828615731421696704467495834235688281863559209006783749089121416272852754578854064138169417944456740528437582260731736496781433252908489976878369558740625554008786515849925692286520739431330971659830041882849015820461744850620123789213095736717641985086995553134715071762727197802070804622921711225281063471771971625197236384075503360405989211454849298879372858561550362646724968012920212607654422861752951580803142871570962760826400209236019732800718608904701225158540784587938804253029808709645700507637288454258295610455391077967285419305256487881040133011999774602038554764103919324805461675796743452613302201805576184727645136961323052594379953823756612577063799487266760218917286211622266858945886283544378346640392187748147344340694166018635755827604801266781165181919246864600177587275698609624042343980960510366635739225214224101933797976746829493228402314060160769761880007975941122309141038412363073042651101741233396715421171913274378828874234394032872534246163402350691883471535757975460229700247793484502196125672291851968384659734482285604134461959815069664448451114190181086845571346056076941208717587781965483375147529117453099041981009197791715450367886548553856681183273506749959834945191400906797109071580166125294891644533289198441884520828030644060866567760722623221278084019079391035754062703560872701526910723665148181434957543968115248242779003057354197993542629891455734764774248326873726616298532646708169130072254865306708113895773536545774354756123057998287514958437485566061164178092046857049180877696342335727492466601985024952761335427040202391588036712074901319827633427680447224140621155569062887203707089032043900401555638948380048821212760959437242162351018088601101534862392613885843469452740784825187716804489636564296138793991019011294711300761517765933794905899498016552415826781009420956425997831861932362442832615037557663359784485988972624709720331641948389766543517288601227910480759432730211024995504360874404248303445971832089086172509293555648091759442249310008453447137525660922418229002380626993091615886079797209561042093259023390665757602395144909104706332101727192178610269568620248734868463025578318665834980693719122288743937048720740746921819268895203587490813255406796369749193210395058472272747794255296499611979055962039426296919700180715653588708413095370857359368618150646067077530817990530991513310361135920224161111638530284784963783101365135231298453313721308708751325505217215958775407264685373666658382921877849694988547795281330633171063635913852035241733244334211334400765204252176546871721257961151243656451633206806320393097241107676398726528254782895591691726556501013674893793416391740835701518661955371161905651916919928248919924342284843912819574976954194490712658615255247188080924634730666829790749563188447815883714454382141792580945308638895725064515736340116690816621510116271638800713707238829785778397414874539100695734211773186051496734172896465216140177497749213449100713853773716690288154178138234344224668581121580904793409472158949885783916100709170345493455156344960371199275712047476302038058981688317245132555776197874646742451360973979243842668395915730695230997322450128219092747400574669025275482311527234890810407045791636550345076526888498503513370655222070140142475221964388210545516435588173100298234790149632226450661747211908456539510859932751698729155610427892883631968082705141747954234653804117853944441097578619302117069050842230415616837673157765172063573031337276055948943471723011223779003549832207275065075842164007607825326044252857905334222645610492864646339733083733485079726134173115766345439490933618179111606332630291620011622589817166295421619113366284509128164055795765794268364991414334234918738519284498714221742294949242202694029919248659046686487022630180490931750536503474517494502995520941486336416533937963828699540229036127816416598603239730104764883781894919895067423505410481247480415389899196889542640877956963641940758844868584899735977949667737648538738320799268827993982773539105775015432717664580423614970019056440733644663922656503027859408930346027410483590338073900626423842389300602202724426840170415083002544345149127099502442610819683688319829458092517941665537335520685053512349923693228366867622168763987451706652642970622203522932301649152441614001187732323292598479964697111224120317625326873865769511999825832515723489506814427583225716998982781843563561952053701029033620412083637506779698166052947234922055399995003065497958103489662042556166644798050338050118422771786819406835899221398895810918129884044903641428039791160061791216551238400645122798888504875248635320761868184483398474549792616062580436949697387955762181395346666537058100099484700161121625801160293374195335762394259315483223379112245606792554545470158398355573227828888390875420263775702399318136651442291653697217287321633611119835848126121311296286183947197394917190569328289453713001032224870014961257915418685542561520142381805494888745997667023685923395103854678502174858791507001569381418967350437552640747867535363989731852868236665253424177066859287432201857284507416186055879790989418089263031489167893117320832996444465129246459306244278881887293341339729749866827701751542718395512268015169293958816850844367140748084521751773435343599846552660176138965286397337318387718320379401902574683983367483828212330908062268452205087831531804313945171338102888955438287818038996774020383023831212895894253013306116738024379944817958893491529246503743719782196459887731278850699182365444068325680704982437946141956184850396746403286729743569040047517175883796354537035262835737664147090623335683607161457230052571080203081037786830322927467197991082305873724747060963954188951231547681742793934447202244589296720796199144557235680214867194567897770775255737527305520671713129779559087281137458551311974154825376931784342514178560337866289588891658868967420916341892363026882249856965472315349828599253583743540314325554909191448176783418606593741731994835942690082962089104716623662516916171302431244006726099357640101851207941171863746337083307679673067265499858988201818945255132377673672504049514383429542475049537978694240058304734738575440649626270601755038113919171826625426076456120941801119744259968931664017891658153981643514011862354572952289651046043020829711130427671959489970049853272659289096890136750102537826370834645275737457818664769471196717112134538737996717091642352385953716833551119020715148112975745717654931549357587173214865306766114412288013361381857701601854723432059653606225209948936549156965286760749967175495290652426089557581477024160717760495847362480434500815572298340018242965728667510938029843733351667936032796613509366965871703390600003524934206874820200413648692854509846951642759898089663806967632683402404728485622025135458156596876214006492190187899249662480009906239090695294814877582526284189116865493765743045499850363918429184133291010312223191241184706967947306039262999322238029393588948246373863902138821321939423798309157244845095117264437628503452348917020396255691347315510330792896315252309692984418577941407766701593021369384016820416846416899435624188695491561859433231260188414961531404017738609210999778553523253602208899858819938146749823234374344022977862515119421714488806839968505624842084270977255308550226081176512161387011334222668856051871374471625840748289729402633441290389951540351776555475464706844471256047447855334962238925299201331227700246952334684706180320313119146639176921170789920375473905587629433521881721241568728184684676649153810429299076734387882023171608224334172802671334822370880729168495044445768155231482637437054169771085338099251058553835075518711938109403443556646664077053174190251487543179589653564589091196598396473030396176688490987914134595919474645725530137484347808478727010260597014222298914371849226932247988345598575244307056436384958836284585889898021259641558721322475589789887406991115445851028908837682125303831359477006489590414201953601272395262579011262676269222513550768683306597909615481924371467840848238749280849428721534643311687949150986635781338527787787956748129447759720849675381739220388793541522542087925840722716577082181287288046533941181908393483770667210504336966572163302493708238521226993345611990977811203596061890531350187971006441727135503004772215969560351171416305622837417792502310231621884326805853676428633144612654931823520891382082737798271627187150176765531577487224579753661365781724829043260938629885941912409010519214882260966074026801097753858152675415874993875614946330016426843571417800632911037964101601811307419201063112163672617804067796453754261058607701884373003042836728871844235474870327453843472309279171314062608724531363752674632655130878455988529184890580335494126262312641094103938832874976321974276706716981018659008199393921611170489131973280864373311534138396903598286343602782944240352622510517596124743631355694354645685087542232341722237824782556687153557376300831566506206081907136906955269253263759733951737679004810612005636402022857879489534827364114734015916987248412463639922223778949981632323655232835667072350244980869899343152080535415715155621277206476485425229848940181750506286502453487385733943038772470364319538631096806178106097367108330976000057017039030096032513652919685835297063386149683367624572335311200653200888037203980067442474975891897173848604902468225526186408410731682374064292348080116133263659388107572953230618889476151095930418230369058472514416157286845455762671175662949778510022743476545476629397782755074917215900189091568150514231173227288564183125523245916075389192342998747600178539097545384946671827530641208567832777223471443192229314229887130623701895717000455325778034606182479606836340061815316693370917203913206477147424085992596759816228437329889466266220066558470852318547639903353909058228783342792938320833750807661923331996257427067125449389897840590042405392257487666282016138682675021052140894391784020803876047324421955038538326135152180872513278976966858309848704584875797988602701817178476903558245056897003770352947460189926384686863292159586873827136390626243119975681188119504746883276741844187074384296396465191580185814283195833713529387367256728275897609677589668930919767221409344661683205525359920407182890446325360283557170734993066251074129515412920291423673852478878300574217200736831849388566034483293533734520572149031407855009968280150376479397931546387364611169271824709822258175570881369924408533897651384763664272446742172491427919673934547053432281282780991205072496086359024047851562501
g=2
contribution table:{0, 1, 10, 16, 29, 36, 39, 44, 59, 44, 39, 36, 29, 16, 10, 1, 0}
*** a(t,u0,r):
34882
15
*** a(t,u0+1l^(t-1),r):
35766
15
*** a(t,u0+2l^(t-1),r):
33790
11
result=O: Congruence does not hold. <=> deg D(t,r)=0 (Remark 1(II))

code version 3.3b
start=Sat 15 Feb 2025 16:06:25
end  =Sun 16 Feb 2025 12:51:09
elapsed(sec)=74684.525250