n18-L7-f18824-r47-t18822-ver3.3b.txt
p=4806265183588514510181738663391233290215291868236894977898254130663447213200383735914825401705754773974063879713622307742966150624243796918379448502830544411737372910145406445313030569968862794154351197054361100395295817437887196469864689942701109911738117330429631203713043369856532567407923768599817157497673370130687257764930086050772272325086617161804393993734910390353102707984617760255228867643942899160307804595600154373823200172726182007988915466570632647189640262929272510626781911123177228137572400289214522501335311010948647305165704520343636292960406986535248517199006316133646439402763943629751173694010169934815229231614557104308092726005084505854691860488327673305180776085537084909819675013608117713077451345857189418744034684843056362427801354319515604506081173402049220868947555211074787728059339166265518100747684026152464625953036613104515607008012116604909252096995168837724804980330214947115575188057182185823551105908011726460833132591875644964665652253605074764067426502488335407564635954145941669578558161511900439744545680585884664761964774829662442350801336430364556337774052312796547350489477791840708014506198818109616974355648053485560708090523337098303710664074103631068093493905839585212392789177989452448146339621727789056020964563475920951079650065913003483222516646218089930955872085460331158244818388084969026266657449079317094611779431683569441359002422859581826608317276177530517799184299528641817906571033988915196676315362289266505835556831499168514194758039209882034193069633500342197385385970555788361661232278302220587120562741164032205083241835336116432538681710950884301996136308103864543274907629975299646168051076598269257455442695007981311592585583132296215168376453825255802005141769051573188411314348120929535830802288120116433973734139942877037001490599425316625306279846031524127748218385673783785244122921964877912170602700732816647341709552586698973685083742043151942369900332011249649049651364688837027878037196219815025406934132012516509577990840151873684616627569100029366589935139903792970389380553616365362985329875746148741267222830245213528773365412039314202918360524207803849809844210949189465343217925026215623683992891435619234483709432559720928370024888762843078577079093690729601163501918477947695204112373380901613224979433070351726851693032703144297407335166215737821647842738121080601260420609457018982982658922588912215858328177918101194049524912447775369848039140571873575086881769209127536065109613069633525304440026507811068371347618272142027716994531258723596263179640651345804980222371722632825314393190951712845153366104024096866516293137495415566835530876613144205016608869336490718745436419404795663554505725655108811187628761505824656652075446710831991050257459644120039907019754039492666508484697486500432300278145392133800327073250449767031490368138178925981714939765841049100453241196491488057452705660720340841235427190530829823526826667954485455033449856485999713103058174131756432519795913256131528721966548717669603655761828046325473075594630524246646227812296251270989886954988508802485633309563694426892353401380006569963368530243648693044508080602842872085141010661605532124987726577486612604865124450967869101154680523612209837186744259751914799035228125705705428218577744222168902562832131579076224372335245181607270809457766066633065535088020130295164499553375739540225738924925316414563896219541062122147727056454815920403012409600266465798754229355323008331194365250973877316206466631374511147560440355593727475579435936741931771931187103552235163849140564807397895574342329220152071165169965206638552676788809428505874267472658819537788844634882546103877120697458158278078567156609120039750246591817916789301440724059305544082798547530943578379797798380615402415002537095519159245307883955817528723372977562640398745465465467119716609220112372142842807483253679737549004361798997981898390021196166663918495087284844357804367884383695887973887752781325159740431884552541717016423906441931173731380738415798411863484635964323424063495407589795715966456047661609679189954700376041380743588487532878441014816590284530264173735592567142837109918680566369036553234137557796197913744884966630271374745488845264924511946815503938697344164921890800028943191426459302979157906939643483435869262306266654799362968783996106737016139620160144906757952403187620603432579330937917902608212609750437272947431476075016107941852328610211125273920494348538019795920432453714467112562253579351436312919773228665410215349376015467418957650749533308397645983764881082880777242682283850277891470431030270172486563951199471058156219939593478221542229860537199796552582317848218939221873458981348150794383640924092583311333421379744484898512264289469313279590001450558278322431420519998150730146270917865299407083311967639166895627743993714144722361618307896677957092203763406596700398387642758122069890684000136462480385465228273111333080583811298829881036742983192717171089054989967324661154193952705303457129301068696571817696064707470900067955253401508084323969615445631683788914485876301668529835130215874342686732899597107581169914247826507645473345731237398541835133332711006251492086739288641290958405087615546281278705524544637126071105150778199803746071672216011095228816997601764989319904522425567301796476609491905972865336808761084156132675628567085646145612596730682502896979423864934744154945750384237954236216143142973763550602993098145737671374927889612472958746057061508491569883812288069022930532166933141197451968104961663193707538130954528490681725001575413588620597701348514552714862837815037023810148801262677683840097642396361812908747033548994978845980376901510204383724301219801990125158056320533667987093676226745216004466292617318128983783227221345586632610548361939936684637608542220384114082116594903232010415912279097208534778928211429179271753708055181725387340476573723515888027529948578402187660042651438881764874532362039678477748346053077668230960898842733769633998703433436280298417915580966164445745121275202576896724811526038689961389201228907635889266370784155774888593939112018627272463283599210924290952608024429187485302457764849541261247116309502464270374697286906107640951273450228442864444838084898429955994284054482045823728386820696779489304551339053544953077057352067574459561685622818734576668938007363917467309445881444653099631162985309947701760706692493113650320774983027297795008684489340782681294292627920142884633808618646297687064444597345939226398719424642558280896697844788106606149848345456523685311474537124582894120254481020895341220548976521755962716691509344628051391284036312524475038607184128738386633416505130269838900251426291060068721092789086078463447218676715010950165044409113672465969000924165999352878859332335401148989723835339941799520511773160958641126756255125195802203964883569012296368355845826630519576858071071993678693386232805058860655402476902287927196451121551985883549181318801025900717994255816227956466014440938881256079385071098766571975228790087822035274889218983991940092948745393716577199427519749070603517074002778676668618722350976858297061663040415622926418693798027923939385007500305184390105348666554923173504067817471484388512637775960713606868614282655748669830883610295308418077749789754979114486325940260108939779496436506811928861185632963245994276312336830887964422622178019053047180621703328517533793373729001945898851920640558011900083658170893897458941301682622281866247890788414011468407181059248474806939434038277236935689393653983156588323654385984263865356597644568766117749806598507384200667611156097861533278991605039898149470668225916631129767501028634488806281635195170757866328963898175538015715826725878919912742303401635706515497868373696724798682662713566852788652682487193818767507522867336874882819021740009199329037260342739079988777494920888694121527909738010428588568035223774356700257905979012298175123884852728548173098443965172055769944703634171436558201009629250037863111725963086854905131663617751969439586341272171181797599962093453532809837244331265898572118597246684136971151218254091180398025153346838176499830388860180875682580286672402122117702508897726205677348282448214402905940120892918053812290746485103944001865185725802440347287007356037772756829383610934420111688748258186988832630425076037702205541569558288352610579508487947637875255472548673369815538503880001301268070665640721073681203060546204848800738990534799318216388513688740929591272765762988640513937419727386115590152327580879922788976913987826313532193582711846872660591204890740911943739964165968789802126805719444505374450970754854423155557208841089851675170540461766270784279893531072358588526741480019272698533599641651935997473367128844604740967853653722774151387109465154700524109430167220435432073731517246861300110647360987352873016874296218849364726451943825420013300487033416388356040949900504309448266247794900481142871578895583286332728463346789313548189433519318634104760704152724844535775986800133510103701994125258697268238409770161259095888849550530347274029468098213828453788379812211651665234884397200413753532916667450546511090601073341798569974022905360751844637571115105977560477593578069329486379000706974472731391717515607278960846583311365257093798061503890974117824888787710760114909632801549202870972645750450400750568349908490755683846890434108585363406349634196892276279882232023568236397975175680404426456916937669017071894231566479179230862202715035547083902842616899886826864172914982430396202810225358416591106233402802312699565756357423676256534351648699040937404218138297359364250250040474698065892341366850946622079106191495439406213432650646186173572083084880863475986936441774041656839549459715100016594577375107177580396299639781015180484354010258366751409703124700088349222102284186730525596158554893814555048569170116343475326915042205966031740303645812363442851301999756269322681533929565782037433907507020839933547091964920159418110470482325159344915383451987772767353443600371818523192592579605420082612672963273310412842265046414691750722725648760707733978927118684674447808756943188979158713483025474403781129396845876045634227491651609971489495733274194794647827874000843783440355297303319621811353216417974833415578990294707801710390540117259513469701933333557830057172882893761443529867120640514127430550555110995904724102755801890974737461295802091161555509554869584233701262265181196000528617832177562290256256142089558953721240669256238651193021306189956170514594370892850252886707377336944999227452640265342898409589740014010624440329107573713763316274241638312549737034310402038369726629487887872631189590200875904790079780992724182190244457980401505530215162774831601386082297423175949300049581262591055280653296000125371615935392824801493066580336213109282016030362489850401295594387632955852750083209735616660364865399324704186424339428051511257875369806177088091970534036406927329959507209968534986277173265071053025991788443112869570222939754999359811838109192916765811416233166446522854943287024314942478024778666473280312973503691144550668913469084185081952853078785890945626080497949831875128492378570928316445127730001557132971943694444560388532972546449924464549055747025096779037764636513264598923943735018457206583988129330310776132305555024970081918772590348464794240853080081726826809655917652913318647958793248165719977445588841800816098698234168541438260208468921447212288022614068753829711154853509306601582025437517807772379887616473625716030581800830664907457128099598122696973759636617373579443262309837813047404996665054804856580927279820343858442079264004045198434897390825229648759410565977712640650176920554458452773022766458389648265242766118486294796138629481914123785372004067400780034069310788584757890670367834378930214142102086453636244735909931319459472275567322911861716748450108093782177742229171941817742036689001078172318860808042646238648050420503941056762374255085524797990241678736201086215186968269457242304569914428606804188872486890385111401441050083498539154279999648864273416203454421161723606519793419658123760039471517888888037927177685841748127340500024019815358288889768416208097452134874088662274576123182540825995763078628309499721213918771528795134605174705431674653228003124606713586249158134052461091484135387305919157854364084805248958828798857240434715013757443658433416521165762728596191927793349854073362201488374720392289076902806539032527282522130977886139575453941593117209286941507914352437135902018536877736180683970889252318568816401724826687832319261046893646497131935519082707369877359659525024995499160346101940632227336231824398929214946453887067109526631244049073749982947769880936853328057144895269934106204284805935690570174152885343878272879165738086592510805247632688645928099568767540388765568363924349103629713408113711376245688581283660121463389342803012779729341318144967180040731468800763465825192802907008538506029435978290120739799012202589977006112211210149798970847199574885422113719421097036965729876492871000709235226042334512479895348466807162268580468846196259953755315085615872275270746635511114219234643567352457191211970372516038243980082928392635805963512099600112858268575113593687613443475410792732930451969610991653153883991542327215357955688677129677021198049554632668349834302201296861756719654880822971936226842045203542556943328179614941565208625995126172038675297477849867732386503267230716040719081825168372398211014228533783743635808168379165895082873482214038953941132478306726990106919168789115200141838751593587523324308458661061995364506825774666752388375046332372698477750334251433560805690988858166859445068783770675226720925354177925415767210375124907667684788235454907100459557546380059982295445775625514636952558795901510842759780433114440208443725714289721070179178006296362657460837502683830511158902251048209050036510415859774110309888224288400293582905636843120203307041599145706398373066293119424176095212971097261885875143600824439391714116242324902350181382673578919622858663329873399266004018883802091225264514989639815656745917699840212391923762591542541560123336313672184885799970053184261120774954848753520713947188005408473856182939964399854410749277501645713765262374411313873132998780928403302770576753122711258358302807261886957261412390675806647976010124462918527074375416349918597001481260925252909442578908513313344596734436914301339333378481341379231356279888638351899040642111464908584494644902135053794468405092256128425179424282537574323253627683542716668500722593684439539619883658027403254214192231822364400979037279648980071597645053188194249912715826219975028467453536745365167957725922736515396604503087153755426859058757669658373619146469479219628677325012139578276744741245348981327553063889604693755229750686500149131472899233174571809476879719178044680422426098473476895193616763238483320606889439440510180662214943959546874662405143271177770819380821345326163420373463279647921411106494222774984381180058425371756633400834666637757346130318440427217850570580816575767416623114082156040955619590259737303702386255341267263394808633624457881853875924299975963919226096191876023799661627310493482908233598589862935328534163658806951388083509011227910784196239751869746152110322844547208087476092573307140196634526621007816582880091436295339850185220758857187841730024444956468748669191908619624134297620911837772234327825957440040289717060051568758716328329822024460252458315339992941407888670545611369865903054387481424460792891739213082475485996252270478174736091503949504678353860481212733353808544232822504198797159416191218086468386209135604382120205146503046192094377360374428844930176204652300182954934230989509902397497462567915648617140005018071639058368543307671065592068143297358640549545354696173749399685203226961550885675560075504649242685009115199030324609397471110195675432421766935730909520114729563881596445366299104635452998437
g=5
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):
186420
18
*** a(t,u0+1l^(t-1),r):
170246
12
result=O: Congruence does not hold. <=> deg D(t,r)=0 (Remark 1(II))

code version 3.3b
start=Sun 9 Mar 2025 19:14:24
end  =Mon 10 Mar 2025 05:33:00
elapsed(sec)=37115.813766