n18-L7-f15337-r47-t15335-ver3.3b.txt
p=668254973098369368274967004647350674398735622527975933035826579096169366658746794514152543855577488298370495046120749512276181509502811162045161192003281853295993223470764671741967417945241854257557894325075492053193809069851165677006774322595902752257095954723252981323088786924933828893273380798237003025313292063684667204098279271950252762127749245473455821338770797337406558061460430659416414579085312878669949094574213827274323771020374102162691913433973370959954331641510138071151941972246204017354054267384167065289624879459923600810417699839140422957591797911433598899313741953892076099736123123013851346205363369891438402341071741231402400957583155760680442489403314537925293182507773759480936966744946341257644445520140227268867452106686892454134444905605170325211718053503076302899989589115423776177939438802889553685205062408679738721164910877606296851669938352872607295062514902002962758326192329177244279292517985488078875421162462272180659532824964264066325825426465494018640750859201237264231011725624812255673875485737836552201558230779747402644877043896590802473250130609462684126640255772216556719819526118887376463905155684285619361533581920410909843169935134990276991772529564793889596673012151368932675183079052479732271287066205554295497795283900387879408317630421227751571476251484447018139243207388476172358470332014121587426541330496433816056621998079915777183692201940227135970105207324868592543861135423727863634576916704252055585390188918709901589395679679152390182025271775218725327733174541463570743815670717407518132554899519912732071175633277011286558915436648304168530495107102976472153888824038299761455035774718401207726326738110106038981491225705790033427303930121645539605730971292070043458695518039568974745651759279407819274790669572547409320865576734480945500052807613184764898721869489894125139261309457097734870389275903987075499560358899825258990756518955975157427665549984825348138421436139362585786223934307011907321289509458243729858038898488276549409614314674324353594539354274040183044370750189512729174070569214583553082290564733031952747072206102527339730665816519332332897989474041503507718753260262768762271079293149837390718200570886911062113788001695452816073248013054281681128785042046270696910525202539973900491509978156978896198630740468232061738670291800550614008557741736782579389065302549771618019520186274416183171097670405905001105100643379122204902534948005434192086787448959285645278289796828962780827818940705794307565126776861643037066086593208435408418781032253751062595063737129878286772961183999424288493685789658842372798236903307762188198464023794212996313673366715868135685377114339654653363571430158580160163662040250485770531435856293045952718388196857902165536432580212044245753520241847358837569116399510322917845082394603024527872219551044033024542585011225204090621035432790109011579564705958859322314844202699087732263862941831362437213842390275151236730453983637326831736670925965930348748105273023587836075219356069991173100847736167578754275379639728566149115543992427653479994638125240868851789031211084683890515402390186897957122536989878550228527621007382638813608510123999087074911695266074414620494848483059682737151276172756562246016449975170867983462661969162694238808736081474375612727503269802428460249755413064560896176629588310407698543543975439289293381634147547382624950193365420520750512536419642339235740704074615129213309454335781733752491521202286526413861031262173001861796192072583764948289331629039474261340613782690305472762206408264913767697209078213201589871048545749617432452588666884749999651074545191093211727016870902341370563399590941195281284240819084452593284383493594618475565325633019640475285161314230321638693703192818708909641378840265940970884683915178068635449561344674884113349635372094175444924805231220810446948372083703259809051700227815887262636419352294512226822317408885137140818396356683433232775160658838439625377628033022198761431669707755578323344647622214037497341470384929064429579887077495726485249896047687452430555786736530959640184653633156819897278317535306203953447899665956331718077169771012979144911144164691302439540535871806787974661491446029625236165497255647861588958196032109700193202234058184826418529012287330344321683855455493225854299666715169709497544722604820885097222558734268058554128694497137510851674643745378989391159348028662646221110370049517697872634224881334125572114796520921648564030121168802516526341449609911953565440413869652488967932367324539757888815557634503398605952079662073665524486587913644113170473888567959042627554820743416265085660742981675761519009782479383495462617325315924811196674826908288685561831489128093171192979187658622334607689122868191603729173127165048779321696099814394385108815621429473732961831075390115590423790883910575675254386294624565090923053288914279767230046517192194244330556033110206547770854621130904376983425415348393409219665165640474652162423748445656641902585465693614747987128238464324669635558381198124262151006667722214382594156171358458121365245633425918939210469457139163425171111109794339858063007211019920237014010101240882750212027163259759751912022586261438836091139609551497498073647435911496367897479876775060276893093684416895595435682258663489472867606730737029423646789431694529745490207732247441330372167752613577833760369854648548252446778580439448897730435171878229576239426087414488780371468445538683223200020251589088048813693996792641615285222135386588478364994933063731394746998723838733972545913229981939998296886610303051704125582808063310712501362713740339112558273214693280354540319200387216551369367550351691742132540504136540692651260664772618012464750952678399091639350769273702235766476116651619892464316987559586357270335135223459896281067381282843075803392888208603516771889555085613117007562416870379025080935861181364959596400786505203903422909935847505492002219482208414238522519018612401291927441379294728403654827026491238398843673445140267455037317064955414255809779147260054126030899030994133902307805583537878961415495576652783945085009453835562353133727455544897961559333480721101821975250234288566503380293059503983305155537976567524045366114890388580767995345623116593181705097428953883386714841802110015004173826967896483294083975392426270001752534165497030341641456759087227633731197750378642642992271125354895855784074932636610020118899715720745441679826412006609397582657460798046091993936110157765405254727168681530021211910391735216906558371743360682723140316968543256178453600943527069264166657693686574337123296914594575271834980507806670616727877588129769059450127128513745546102554666882986581113488667770237174221467582467727210537885706016479082623544404190494271664547289116835279676402493143451467848875251745868574246718684541609112433180007521555977537163605212271392755493110659609479324003105281992243539921442319121569265251597068907220396938831620621539058411395239171693470732052419933678793640053542132164758260009796368922409536318359544863197592108572546496642281750594017521557079091651545522866105280810149820005700758586468233263849920712365196480116411805443341610290273896671704984124776786027695425935862124331850717016632269561258112926809574882237746814760712743635623799815720016889215457665649836615984395181075847213620799259598156455159682770361121981072799263241829727607635702576476890013787868797473435399482692230227020194300764779097287940181536003452334609087164724958426070254166602329900069795365247398221247721589067195311227282292346928412523426329809304018724017415868050700026751734696776447027220035154765350590912595188384782958013026800770416894955784189958270101789235132267916664704723426454459262325051674311543371017349999442768646620518602571546000475777827812084872033740835958695672938104978541478838920274821971037856998800925709479365788218459837714274996378740564217979724487621483813527861422734115603517331658618747180197332016075385365827295972245774465408420838357869832447988210527206665703343292898487342571988135312342607878125232008427481742955565666898544559601639370934740801212127228244625816305770114089864355295852328917009378966990226105235282661080525554181422542926204912891906259462459221907906333646844515353874431265263292552092152806001547943975605109229159919290739250771701997099994019765013532947097179523334713537825689484137582421542912275758014589752877713109578771842543874438923151765760617433300310056345308052713643009726392639841476379175795392175260098798716379080160896190201352442440567238627823569276890664806739220027449929826271871309227985920541784787960694634852520153965266045701229131569480515713339300053419768326072048308167744804700798021645797721510881970206502501078997479140326531835580249089936281184825932964702600095326479385142574466377449750526196320664747772265596710909577033973021648476583972099442990757745943006287259067961167865223742659827279009540787662958483074806686895019328733255701909849335874196457804139271831787973405312997661103096681909018631346995193594325717292874584704784464316841943474418707049708456423897262986625382953793973799208551617315779239168021989958382447513796638025441740105103918070567361381947989968230175253783776794413483669210050351818574805846346282177033944323243262939352060546106413599584470866237386633036355682992212674962109079099408273292876503782055988265623735466939898741603350335390797151398212882616255797338376279596410015567910388185715111047553698209445057960966522304629895835691656573351543500983293289786738275551184552618638371871695898544637504047288280718951990785422943974342644344766273538950542019693119468701938394022487607763847011790273468473880350347043580380616546289162173336106925261589492750108872498036961081718659220787571780402769875274877510541883474314403747030144423417208779253366960608358785563862495815632205848002579519027820723637859608157378251170591851783692235767219032268314504052041595314998661948576760542292369782726191185802660597256254898720117258131295820604877532675338861478911497425320943595591982119597718566705521373436983417486353700064965776691952557341792653599660983418253600713775454451752802280155593378093045225252519246842029012212015984658653241288988732425711616304719044152576890065991493129970414842115244557964306268311645562826265251546149669141665747595349201442589589250882907393187707725786279043742141103430274282291890527200673265107613769141332660434206692759822091064378032706484605307760757621587198004461731730169637694780933631150071037034340869065454772701896285781721270638134958747851413738652391180254818539414947664540474057756147631854246419969113215225318457602756329203083620063525367431403896742539622796036084781711179461752759908248584064108743381062395779838646668807339578099343762071413607764808771264454476551558810225171508590249827935043310545528970660985717697264428289266649304604198941926989070237852780915193937499370972444256992500825235797209890802711223248268980829199508405607411983683479317648624249238177522611519408884061215158324438245759440680072116591397356247839174142535174261946890442357379023186037408585700472660614667873560692513257428053676493647953585437573377338775125033888664554297265467431896433715423328927578256102899530560702047749623751421823890984854198965949493511853094128928870777362577211964533298537484579224689330277355134405066329066353170982239491832960305994825128794067925113256378486184119337139565486829221217609623107871438582228343056301641221687165817370670495489984176764981147347630683903982541929115816880416030038413379317802062057398569911495522911409764112297526533799081084456130878992624707765099412006916814758536120290184358399422903458767687542506119428732469310663280315806772445612563069109181398200115158795457078473060949320090979349621321298087432016181099146314688010869341157533013627313054917731855369948145117081733908028277250517278004842714677442685057446835571021309498137134858815926277074082782679883464367671039983217513460959172772930160727227648840287129339719172540116212028226429218650108268242197431987312300865194112062317622873453292837668215979820758696849748428572561277583442033758725849726981325145284892881747920547417390697027761147198159060469486238395090605077362858708023571288458459459376811042822166636530066548189163340227892516123495766211814030780247598549257647621101143609933222927165806221152068105501077848068779747460811544422627586842240549964528853934647069757352260561458106888023312536356062206645698967060790139068377668508679624750163867662700068247357258068784760308103088958367422738922353613520760990474900133993371055183948346023700590915690465711837529125739772427258155518302530561321242911379668776196677924898444256176910313003207831544385056099576484247383448524078714600637331508213123468634764159362691025769572699800458873221447009280494286478774881059309725589178130349946856311588208693851114628128165011489058296993435664319796800749523453
g=13
contribution table:{0, 1, 25, 41, 53, 72, 80, 107, 113, 134, 167, 197, 201, 230, 267, 289, 292, 328, 362, 367, 407, 416, 431, 476, 431, 416, 407, 367, 362, 328, 292, 289, 267, 230, 201, 197, 167, 134, 113, 107, 80, 72, 53, 41, 25, 1, 0}
*** a(t,u0,r):
184153
7
*** a(t,u0+1l^(t-1),r):
177988
46
result=O: Congruence does not hold. <=> deg D(t,r)=0 (Remark 1(II))

code version 3.3b
start=Tue 30 Apr 2024 07:33:36
end  =Tue 30 Apr 2024 13:35:29
elapsed(sec)=21712.809193