n87-L5-f34099-r17-t34097-ver3.3b.txt
p=26225700800158916255981504948705707864156451334077279604135645518301150636962808416885682606897640557302919047453770709045892392608787602358016872181176968952698770382689866580787841634652341553387881212382767515027279032171403426588154590455041080730984944543641071317206280788692851885929361538490724949333922921211676117318113365849599638118456282079020513469422431133885336363867395642120192041780719562859160586788438062460779822155724448860413225851181519150083212923296767285834671341029013882310825499592437194910047480226180021979602238568678651777004077332011196417153742586155321277037920903853804297651385302358610489576272974542757703869938978478856972938712939549134552609383308558204704112926027289529164459500921987907859971438139199408514380509951217511893506673033072543974365007440371178167898349815990225900547844506327356427960340742534860778892656087361550099733457299692257245446014172096489702318488274359111683706108587280948134665581425020066739200636741294634156875804915571476273540870718747296118289116160853541235612457070388134912040293455866141495621355517239011360607676780600827525459988501147207747847367025465266319268634348205715622674299805113586868044561245648086480599000335785892524263900417727078650478619748609433355145684868545812611416854043060806353852989208075865204044914410710265818780418020215781945966240467126416563212727776283346786635092581839533285962685492684520620569485047816966129304862073941613235570352552901844643469490758675930856308606971930729129351103240363842810673343592030425234648424891260929284975532828170066973328510540342460233201199890841860710110252911047490118740283029765774804730544524256656220873685382575849147833136154418939816230253335098956677682495816785433511091751072965780198992416697602862328183537305320916856487311089035042903435443968104849777567506450877038906444761246422372924542923535556731344937777126180812915445175172725077792165359202693103725025973167551245389144154410098352367758069561214131953456375627914250369092916937092564571808966997964433077530834753890493475731938498937300837986537718199098211302336932672214132090643810393624904360742379338333091289711795769747658458427493255666327303429530080685976563195075912954138140990884679469183632387125013118165831470364714378188389720158954350271531069704498504803036895129533215349102255823983495886173721927680820768195208714943042501652434414521315926964608308462593788392748922203865553881719704957369151623920300184284319793371814295971796982373237713210992979861460253979710917614304054613890711852096133908569457891941697006507921193318578192571091337791175024000666438201590755146129295199867116850165233933506732335903156213252195893905266377683046056384642129977895904506883074623493673159742811731015001354384561793373357982184996898710097600394851654570096502508144897085598029846993991586086852166233153851826430579335093613084913609838516204050321017250663904499981069320438299461169308701803568000936922611344555163721592229515074594783762280202868294690068377425031240570527030420035501206465074684124230956689455753163315114902143161734817277589214432066022132951724295117015325299442018006469767118949950377803097607836534700938473111938659742559726420623549139688465511341352632133893694023425121281735136306344335144043618617395174902499481906406033061255478350486195565092660268963939025466713966218073479191671144771910197908340505995253641820037822527414055593560539957929153986140880345010409279782885467058200448443895785810768525234976814253759166007476609849434357030728355252739013073816288887654479671233040319526586656281864552214313461762496367415452886600709302095274643356591229597399284456222176936851246023149332542007562266863521363159283999113226274090650476247139779758905067728807746648903361564166456146983911043602512512242314538680060511816615148533354539215158528987947858541854716530088806189528024085287907324349102724150275716719325846652868811710896628204265807729531638141480715548387283005163449994675033902698265424534035801340067295486201920088157581217397253997868574694758633156364785245630971395421626793644198401367150186892700809974935917710369419697133958821964568082049325758414923594519203373197090587257956278929527964600107830611202984780755403223146073988234420599141332281936049909107414205016107710378394806542634864952566074760158717683451767437874150005737782072972316448319514079758262765295761607197669949119046990855285584420446672678643685915299541735584937257455214272719479235351334009219333690474790666297790565763012967587101187292505192874299138046046802117294207849142190611299612730236132884572508514348672423629456052690844829453888067227379495291472503450558212634638571170251611068845739163210327010594714863807394233651305505058584416202654711750668839372216571000746684186281654446538198845169685503985439089491786560238821665156567463011632880969418698415898317873517440974161738677756750925005059246281250696988470661042018907532988815450841261560379805206591531393011994844765318117500788504065706038854578087386492768385429715311011020458945043629118761767184440976066183396023893383732470477446425614633459747521336738442236313234261768838470608010188398345465466642107970657726894521315392912295210363537276993275134321526134706411013361198000065387421269221571545015735745565169624997094977081741617292369926962375320765890708965330905948050607095422750754678986125166622567865009472948647134214554566606772292679628089800787104553738607274852991572458081482597101229878724122379887440273542069307933537763308187921398987820854895429420364598136194698139945128785662911251582334991949482810582929555315494173571037546389003274664709980382391289958543697678957562769088708317900829300103256275395693900389438626662620936683670767052123524238644879561050140211510310612634272103366417973609361084696419416159807684716636981468276500982294885786691843417328782048551082267561231191329435249423149415139493867477365010691337737521777276023265669938005388585066499544970939960602313297941861680402832070675753150461843408865040829998282381151313538231622046568579387808201557684867837542882881522402690356017215978853909443701260721667048874547034765423903178099834148904823021058780428875802614767047464038722524666480901947764531997981165000246835205744002421630346946056097861862215121446797737945363365283912410719036782902315133725284265850153238601214398625825618645114151733752577410114647393950603162423070660704619244015461145111049432123963878170503691751623636386758583256358857819933567922188782143454230571771492413495767035258389938983749240392814182967734476187968227222433462486815396735992404890497267188313710722079819137509915257500032397903297343712228821092686456608220477168183093825622344449798180172292705900519564626919826990226146251557061463727083559395578143686100284056927281453559257469565153128062728234696148541939948196992923049462962330917440668457725934630320545916591498663809666401313382633239472287606949001906453410377822840785818438819175903294587521721622397523348864378352269548506962041235559387699718229443659509924275803793291141614790728153193622060779265838296627728593194659688758419096595382842097111727241673148855195258713899726229671719175086972572039700209832571716030622022378885046179237493147657447378843428194839418253811543829938924652927829751704837173462941092224485284887792165839807196464706755928662956257987849549405607537349021111862018312094722813509724553130131997176030737327678867069361342654645515249064996659603645486056461813596462113681189079434393822131087183760631229429640743818706017045511372567133831811743758333235911951109798544643099657132276835962811240926466918983919294571963913073689997648510601131105965200330729900148265268188598787746847192024957379462157616001271667287196093472059296749694524391262443609997185269602490851075305462065582218539547584250812103004673656431790240229798524622092497512361389160047673070242374234857033231339067711561053684333050488478758190440718343763437223356577314884821603925921692470337417452253470736682943061756330192920163640272161375674050774368745624135742352239559490592103285738919495984288792067038034368921730676210460835427007672054926104485360795719308481878462996199184817813214221307663375371660076701845504881365032231534652904471309221573701274404884203350770829199310288696840403443136033631142805457929831529923582598065058224823960468936420231797517718948151645183603622874109600066094115801081940966792953261672544014266534334086642634888159034197253614559141840000936450269663491820015410806733672551366824862441984367047243293597306390847649373240220927272457171375036449674756715472637436691587182649306264451588569589054754135187279382214362564162834389612175267649258927318318835597216335522230709461907808495084446384688119160365567577746817667919810531597820712488586919856922926886761444409114143602752364025129358697372364056359490138008544825721731777744145745405762469350837019159850852767917886172027199089407914967074705602959008972625189608191469107824521453874966414893521737393449620727361035767406544075781696446745359492547074753804714177009938081510277549487424012006554050588940989202732821205567673016629493658165367107447215713028588539732214727012821865153316702933951153257798301186248146349257335344781681802633832656361596989937887984012587698330186932252548976363741894414164074717485277585693575583087614768622510536714254752936388435862134269422274909413804827270171218067554982913511910030410684526067963753738682497867940264543583046943090769220214550715770855290035373403978865364921809901449996673463265763088103335230188362053779880694873991916976070368841329782340342467840828407680722200416635166733383346602634292671871333054332182480391210449694938429359376642543174289636136250064632082545261903551397784545537833463364470236372990411629460091664472083376543764531545303298739706238313233665644736618125962063717023886226463320479537836627405705737310260002504610129996884391371091343633249891328375102325978341036824382415162843164253278547961239295069532595093522346053411999745892957550525429556099505339242621054529944329170510223508757833605702320261266349014530784134450733861803557323592881428490680602755651071917025487693086607330950561299999588353339851063957789606534261680297503662997516010613873250655309758212451632810730596405607934186902284955992526802622710547442849718542098293188898891197428769945517242332183003399365465942791500016144868749173204375788203321958982708024583559074933631847529877294386673809355347555293386675734165140378365755043172159689835561237139929724246515446838489824371623217982411247481932256705789096478198361135070598300599691511852752151504445573002509052105896055558694426012712632370352963017572842431089553033690063577705345657442138957827366531781744790097045858947814468983957953385919717221728579848099136499553314843199627317695432431745347338874775307450745992118282481875101911311443483302084860429296210245295683625503322412921917827669101117016282432995202840414642983595472601762258199978829184399249007285829548401567689518300589960748088179032620722946988703805772734759335248935192564186906864101983336408349753518173521135683451548320264413692141363558808615219386399897048428629355053919157843802108218855799719017365808417073544468182296662583424605237697974341371956323364654568290794297784967187362293568509236386931004868051493664206193574462694497284716676502766422089468404992944992708239167503687712200417186614957652207153623816453751139117811196272545417872167405537976195851372828063470674414227601277287055886736655271920106596327700862011863782649798779020864457204920923915013500654742707636064984958270226616076728099665868621293497856350961826766008288787051099457782539365258837961284913729903157469805275903024474396718219965620476490024116588022276380671647473538344213075315207303025015953087461280385608183645851895466532281400524756388551251065502441692439604038239099879490955533499087671206484422109043156319987503989762248139026758340488229691855137970622505474821306784259648757677746978718306048303276129435782553677156152867347313229682509016904517464798991989637334278737157648199114529102231480871883719813168474903058154023425332703043759291134632620872372978203567180233221165296468012143172521459945398588127552268030150557508655974646376486053015890664747699180667622377218584748772321171534239338895586956288111907147848362622240880325451293217333789875173952784904428081614165260717157363273567848071603056210748288192967609889230145886122830301373232133969002863937563542209750376813726579030796551589480164109827111639023348504801815358033578699328982779998039748304164470514754015841163094752859624959812214836601621319414997586586256375876749672517528619283629195265177935185345307446698929113244178182830811541227926238005223277323443526071150099445628579689997797548582721019620902048698623682376496013254179272487709546857843628557242464507688703998651927162912803626762115575076049392055882536871657878977883409312611627672682818382572578405364304955830432145281537494906862138248974688982511360324786127805760955297486552277936038806841336820389266348964430892631952156105815548155864349328161299395845063403784973733153266648469822922469083764638941040956064534805411375414313834035121507611730118155544773476855145254111765521309703370949640727029166450189425886932199581410191993833544587867478859229026809069531510329385113503985496228752706082404990126107431556277781682212853499271904985957070704948863050338795629226199310985240050126786470739265853652690054261906818183344541380454598125836219937114690432581512940753413188611881779437574871252479553749975484747258289165295032733292843990976100599898897141181659149010365908324185576350244051703081070408095930897738337500145852948449105451210810709365527418696581343058980602010624668359444036090356081163443388133096135369140133340211890750113952891461276379257525395221071548073114289855940609203869954957684799078086408372748915421482656581962432098697872374096753863972934176735074551992487204733147857728503991078627908168509641209679174845691050896716204841789579316601293840250935258948879422551634593369914747320174077141318522002298241393454487179939501756173519232910633142704747775344280999165453907486609634920681725816774370440592222067779836199103943127566531261365957698636604161064598912112229954164541409817333967142853923899101569029200375321442469213869201125284037653249848988042394702596151709682537872204784271287979568178402988716611454156767636040987900381822988534014237834256725223573718998697423672559001788025253247303243860399018050808596831512405750971448425055503521202965911975377793646635313863515167812980515483872070789809786839789962504969271846929959138301324540853293971215511318048903793749043286103002357713617279035790824715781205505039627972783056288526466363568822067361924263088635477009695773740638242467258062861318666657789901191709862068590601116404280429463455894679865378057057055018558042343740788739081545873289175147474006539027970696879828411314274650012047819267101010191186706232009807911635922996905415904912230827424531460717130252924435000001246069976130192479518197231909527937761248462485174530980431636929282572048089177943394673229980912711472504148423228466433711355297604139903332814385228781938342193131465191247877742656091254550296025135966426771232974954265208994627387298199347723517023107118963769535704190566736223699184394673213640411177356640947585707272645491097611346703670547812914074032794370996220180603548516334843975518436953521997105513107115257754059169845686359248230880890597184285276629745209566255323728054657734354222945422711612820176707732784378925290139349860868327527656956017734309772553022736204638144693119871851362219064926598270706238269843251235785199556118787371743881104858167583769700559629051099723558090620115115139274347246997713248094617189738639138092059393782966276162785231749016545230822696050567676266652435922173386488048652262023748197694738888512963515821030068705455545954568666268081912939478896009894873252871094324475076156746951626326061403101806250740604516145985788280136568966982985463510989027744396642215222519514140720529988314769283716092885182804351343993515264075295119826550180359132507556125463707069156070404441625185070983190624484555532498156737896712501233093198851753657024091911409981632670839228742039596393642538551618506211921127293808223269533078098221010173793105455389730172510592898790086506780400144344595605219862446174551918118577948674922582641183127125601469708762695321337714207486245801296829780803468286045930921788560407382052502527864433026441406304551401352015435062540584769200862108623932551037089376249382230350937379713913373055659841465204415260686011535458431748352215072171087272590498247637156289883930564878219923913039437655049249284676148452408266161328907059886835133135839137988232636796969253624401077786393712165494723578581477118549858798993336120638334764871341346962547720973193702899343509769692240940478617964329317113393021655912203478227705982898542410087657001179153380585313353759496844522217245692026957049791292700705684860790210176515802534839588453085092260319559928840602223223720204411355098537765265819400940165692347452629219063154052074972905154877989134024570806751741712493079187539597013616529495944299520888646350556577733674114345151848222054007112286624321649043741496839380423423080775719130343553077173135037131980600397167240304618737744409635460732704490295129545707937908484249230613721781139195743480213954511507654282575458931351340567602419177798512442942679704353142675155657379227925130218924570166133094023809677648485131165054162783913132633390629966189158151582600180991171553038629342920353568177892499617726420707661231008598295242550988180328499665014006860600921961960401525926612957705168503360814012354081920546471049261656108295927403322716442174971396346487550871955697058255205607062964333158439984192746950334677715646468009619181984053071511442047778571923440177514009721777575082547052453068230464193555609000407555929358971308807152854528247187331836134379575250248687045968754991954608853451204354681072890564838453758147319896395886763982795006391981774143240837552641523296565454272881650961343075370990647147240938092113489714314486274613169812680107619429608811565978753655867235662138452614258112596114661036145036647896411615232073200882178061542878785339041850068643719178669770375748819458787905680661022450035248572271145564222039815026794891776612346848633453992962529850310791876317991404243977093450469528293859661322669347583940373013727198445307488346334567225044939634183742559550310742753639428101005109903569687598628975391392947971866854898335840721797238826147390741410908444577044700621563629168337806491329605850654842546750289669411379208998469541874027326905410904383257722993795718483455849053696279469990386445141378312353626764556449616117254142939086828324358953224844202830714096775892556146814209327708324794809561579120839594458241124879951671489546108203648168821654242870097188159716067045265097064570853862894751384024878925686895713434421190817435759498856936396287153599412329690299072618239884745683913446890191642764136353961539913351613073037370829053879528292307450459200828523613830972650110511501680248403972792284754777268011869330842551856082671931154873077978666597496475510927395155218366049174521567969555355376255067281650983099246029049921901088139719750888092703637859198095252896715142604744399879071252877292218116968171378172502122820442432841408164074408152635600811244766398250234695125899125128274517597551485777541486360831374269881791548292788262018858600937620612605014217444217413585667732086319716386678020314933557348017244651895579656349285734224431357756352484008004580404618327872686682336865540963236765739560431196937590285084942936601273887482005739159761266395851006291093960023747000606521380807895451936167024397389128280682768940250199809962591934832101669422020253306918253690784242040309619467572844693598486102651689794858978832239364853786858316225172252787927736646682955660887226222573373654819821317009824793304227697996232922822460819043046782766155810240669644705794075902648592695622086790860192868458814338012298215320118200478706817013419381974783539306708444192878688140698279914045163467615145979171628692628877497146882422748305437343092047550351104347516303388305686155494769304202393302687603695305655802095570504663637936718696665504270543024194739083409112346333946800448253488205821452728777717580844513215651967425829199464033214667115059141412513177066481857877059758567824576721183001658319881935890998174258514385826451173902732562117166740955899090035139272768098935919688653011994729108442237728785494386613999288858426552888581860371458611721247143853453967987361876260699671373389276920163207349376163806837912443473832512688635826658601024899359766015249056549089304869938766517545595559437771441404710207429238780505796755379593354870764522909104716912367786042745589682631694531197525089729078281535606019990403923419362715338090476844430452202769918670863529549251484718438899983386830674624309800706051920939407420771771994294700947059585815034455456060919876399654790433562657201451445082625389865870405350738687611003547822565700949996719079726885954358123885489799862498442989603410293033644898467920890822730151717846259291706888463917749180711160081144172342358827255238099294389529321525083098248386671863743577211149814642353813258652867346363577958768119660658413642652652121694202314384654852380707767703809087047427436261854454433229146376045877666625016712539399895357418391601035080019365981133149520352895912006289810956190477176985367391572885928673839979683701770452458405924102923651064012898369904022267457406665708510824648258123513912803655738875646359439860243629530072671232208258466484694904081925841309256817839855562235079483099651782033612599553897987003479716506177128599160820111304759152027545565599003492595637985261805632838822110863803462164836630338366666116442032233308920330650787629474927423236277896793508426924039272689788397447571548458278411702396296804466964611276881402552381646496483973685743967104874044164078450632102774008216044819758615133306174866448117366671227298449031412078604434759044233582802017931574613930677643987687811810899857622410439648980116707971151011707483307595481943115579057647871896360003697049313769388448132471850933184021801258966870018646014893851327870322150130801948967115627464214428849531975109830670629822752069024807276798071892568141047181338869612895477354589005125035738510647461731021612202552255703070124932216521641082904513737873842588639085407700554203802398002318369195710600635614859378961464094139455331759277996022699761690148799522804896550449785537320258231311537536504794400397205151338746041232780926078253467968794885835414406572934181391962912834573192655657140789731540509137369595340845778832501639651751887909466284201696974716655303344515664568498262935958074117920117270969448919973670697931199247395747739218008176622478176101327547864945381796894241007645577110569313782382834520343301604862100720755891361261926286600798380171150861688014304465376155811013797723706819706111825154780021205304719172935653354302643847936721573334196864313233901426131848174377330276815045023984445154262372063090947492784089871339831280918656985293799408546562160179075722834282993011720841468915684406651108029824000516221145432210868324381680605256709364543025292149632388913572984525415266118728447653193030902788917233274557512913908665190118267923987029023543754524259910525354211608102214415985893698579725902888546490904220315422770265854164568658553148201647849689781953214985716135851032126957704804226523265242576599121093751
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):
53382
2
*** a(t,u0+1l^(t-1),r):
52786
1
result=O: Congruence does not hold. <=> deg D(t,r)=0 (Remark 1(II))

code version 3.3b
start=Fri 23 Aug 2024 00:51:49
end  =Sun 25 Aug 2024 22:31:26
elapsed(sec)=250776.258175