n67-L5-f15877-r3-t15875-ver3.3b.txt
p=471914847389799729258598299931860357405604124460617997504160691092952645173258384470456589096413192943204357157150253917844050268730703050934974957717841944676724450791508098095081762809612275320935108008855192973191022417633683167592703262527063044724883996108690674357072080657858947942779415692433164158460695545581346545341978235081286140368654372728445116361751390389778898654588211606530862160389383674407745983125974854228474640395006474003493659195627071526811342119704470049545160889979086757564533244982571217481893886224898122344552149836747284412852245512784705615824979994508485418408896383494342529809047769394895084531215520220757346399487342137494483969831759971321595670639566552769404019793095004310722100560128752825370555719437463117461713561793435205935718429482381936635091710316030928310447626502336515154116537244541802426873005007167877691678585862986085432560768435601463302932926624442951976801018453914245775819180290392420967370130023373055636137958637351556099025437844445385801367771852004743155342639812127353679127310057817520599868790848246623288940760663623975966464133240943373230347472772549639533626479879847905000040461107817915847381897088307956461499989684403332599134477689406877148845179956893034411916002053020027798294362035362134386872833809745733071446871505373912369512907874238895437852972525399168361640386482161584580591947195812622618889392885741158715127315415953145944307445538731793446019385137952817741243188404681821305006750918102537622792957374307179008971832222987316658401297634526384164292825919947389261018176917567470300855631265945851581933113006874095419021380402198727280755075948211320547506304901689316824109493118716360893903366788768042324227553364011147200967190047463156777007432556174127662515437276316627872560874046869486217445017857665962106764099132837832219832191874647945534886165259288971796765586797509849105579384094944763198665396546874364374879861745469509068354741204153526576334898797452338973223640832372153985988667182859301825667001311277690593832670461633150142785918416283048339996613249231211187404613900115428635361607427475969916095960530802260322443778439344170419825733169093023840026878152668918674940919374883476479909350506892092963937512243820517418090836463342388603771673424148327741462126076595824097620521401380155879749516529461703745465956777614270946767009413835616748429913237245797063290020693238106230056445010814906792535626750543615937943429893248050499875193003141560458660456665339572568449110633458445614682029352313780181056362669158373346094258701099213533029221774645117431585282084991878504117571455996711869935463139391185546697345590704164890872121922598636843577999242467756371173744364584666515144247394972278190027912892923094528266852670579287161739195143188436167399118322747471074275217531287214755571170902448040428510007337237738334408816458297327177174413082776411108203631189259869099480991064016023699702875123053883244855179864329096113030913144802774777397268497985640422565451470341241528363313820734692980803160457683721619017926236055279018532016807817980551969093867176015711431859260886453404605455235943895328717974905675161383718696403263988366530919179044268186845477666303184565122214687173596703169765960911464544287105447541319732831150579854831106736899343701455878451527542555517796834360516300062143621969038962767878421465193263341909525397501853074931160848414057514675344744127373594902013116828575370759276703677054084775002160735657230378497088618621387255096644889757251780423433251547861659322075903184690334642689678390444869082840191485795602741194863078536414282861116895067205356326090728359128204070686295802849984568446722007808152593935406142804383820845012530166819417373176404849490292932936183044047135441678433623888574567368907305803474567189391522244737257286831982110290151006633275833532373565997787275839704190342723610098959184690535279758657327107065381828099411568834461258619476519738886059030537145438969062097685491530255870880945311124671236490286913025104717567540111356592869418766968724918930178336508975974324141954386185629329679361809011803976674071795937762497709340528913242960038179504114536557120186618975402891498557526288553765109261346003467423948235356730548202317957136410109825420172701537859041946303920100952541472379436908617987628676696105988220182734862664822508295018130444405501879776693241885470837256853644945532429899039112320762226172768321693556637365398700962125484611249315037240271125247201820024009085613157144232089547271741451000088900663871289808620528121463727645895074249287643162310899235729145319479919082076613413333504354702210000442408344507340987397459418155227498109585337356114196301564599209856991071006727504292624040465866061179652500716547442606644359623356433361609971964555351301253204575883577231757888338175213659511214730462491584038464380518549912725010545909523941596747582961447815507395864666188505060613919751631552983667200961186130553156959726376573302379517437322837187596837415031066450446427065754496364566570156657107178466591410849214411184595481559907348340423028639334341272137304386294622503120536713291066768550745977711894713060407544758975886002571008948427747309534627173858906503776094248237860700069980920336672780580297943324853849614250503938806731329997511234113585703020521478826733697737321995203099621741533507361833092740114872233127548590998324649490612245515043816816385947225526020806238225991849745373154036122962678054000553037819044964695802669751959530000477588138846272581417627598923996095620666962772312427312374841224848327710410681530070705758278948824819228035853932471223620345758781261892778791173259882210492512648680812866603384854814922848598965292010505102275510182035986298677386339975030533989727703163048172344554213870622242434054556290191099973041744842369045405853830724169163978876208850129043794832374242021062699279358569987683152830255713316557008593386948574439368270975756519282342322015136968273577176649825086891257613348321890001983303411290645824756198140614612818320476614144308243651256737197808503521661852030119677540926828846806766902057355725555349215208978824107876914710908598969824241769642912034681645748615824369586013870386885581114304873629976409013656988705629097105312092862108433210266969681547541774036632553568086252229420910075530149658709571946225246164354141134276830018664180079706547222777017795956642010128707447241197322088469121924137059533489453972682768807709882693056941114121382737054922277000883496449906891007160146862043519858852768830066664052924756788839939622730901306222113747025351189290274913106422407389428654470906510224852314248309748772341050990853451427605538752207845505238874805725971461097928236431350378583829606279268290321519311853470117495213577058895627982007005236106642422879014916096159150472654933188170717175405425367030398316120463123334089856914788651911516992591253468725359476027031399116768324358922701876980190144871858432676458958510671782054403382914458146495339442081133066369671250801388017016914240274058573348141726857476371274998523037392315245193430679630571534236240224369159726642569844396568401196582191254475902917329323702145984413797968188106540637373707647783176125176642822329642554756816065214572630625263545860624353914429364714561222593347646524137438446509065015896585130731749233416848407055522553010524976269144349491220362427123008451881443951209846190381040065896873119994427279321365706469012770841481694340220245820679614647230329176006310571602223377390540542407695281492088188601295514992010014306220379672860547697852225260536455158174943281864159453752251123180831835495698836756751434603853663405653284193561829994768062667551800982830600827200476521315772304070362200772701846180205964270917048187250245489159753279485950054828998156298929271792104248617933661480351422739596365948408289598145412933510513475351509947106065849103517281541757648108288834872078926326574044804657833837215068656459959932956631850854128539814188411739851646858663659466799959865580687615953820768095670982293852884343507135596926145527070468680506955377473947395242646784748014253977001011665265386053667441949113542450494522108785428583938628443817309290176640989781180344359022866477662942368813689447742416529332534543165658101840461717083773908341504327812205673593173665417276862663351739428733830985083227387143521027604032692294387547356539312305341468420400336224845812028101642057242360135805694877388667485113600406624843087765165895797013857151442466336618536761512128430158632740641394303161467690214175189095199492320388351791649411291287806251823063926335162738163136755516000725233050793635955441237747117216892619105569954826578246055394311197490672047282725618767988922921409736142991746101235305069267897594973418729420257169765518016937688921713350245304647587259753900582479568528449162082191852368538309743127158409810143244346131036742054234638160012620587446071354906228290182544834541281595081007209175556341463792960691358091369078016895894602018926560342769942584035949290958098317177477141451328014929683485417119952264329910815332015513605851568980961920831383119582652945240677263434757643315215246489348050274193630769784365848604141039859132560739114596347506795753219749595864346871642743556247224972709995374816797607756929100728988662362843521032212322047412793082167149344347728397984852369415504648741707556748574903778459508209887080689966207790298820587852039091942659016789060493126220109376662479058739842371580655443077668799576803285568799369348714694250792524260654975040435793658781280448460864643246721000933290072398587130657942876485825995569524907634560695868110052032764679542181519117065853768835473741909350948732336925562617617383304939237103464110661760130284683296156905206922782294916496283363597295861921077130888460792459375703941042518748812998196294533206448382745726644004965967245075254243853922538901382589646685213403917519443622266329195121660885470075574382544841550333363315368873350577541529079202558496934037159149170234067172877198773832048825662378753257904792785996808149571570623669292530755628401511277394885532280055118701348215950712206626967354889638222816093795261487940607744688446038489055496981702640091733343183654007979175721711375785438345499685554298979099442031816421552140364559257153797887158209646279822375417150868809749274280344073039982978708293291275385710247002471043593255992592703171555287471637203508855522987087831196795752904352788504714230395256525352626583928304950221665946721812661977235011783598340112444875253252772217003716648925994134194907299894413721091261720517678257574567914405422813542635951874837696283314789124275183509435971602970391593886465286032336247462055901208918388725960559456342905601562942402575869061752327824986784810198724785447035193879631714363597444701400410625236213276526956833669736373534312709321244970710349311182051809153305323170303344344663082141806975472083393461395050141377023090302303844874728745860207534993825550041453917172068240444613682364402573732320433919085189700126647949218751
g=13
contribution table:{0, 1, 0}
*** a(t,u0,r):
533
2
*** a(t,u0+1l^(t-1),r):
513
0
result=O: Congruence does not hold. <=> deg D(t,r)=0 (Remark 1(II))

code version 3.3b
start=Fri 10 May 2024 18:26:14
end  =Fri 10 May 2024 23:42:38
elapsed(sec)=18983.893451