n64-L5-f39451-r23-t39449-ver3.3b.txt
p=14888502902351426019361803586094791292978795723729237376752320714830048374537059649836797326890808083312316086393127799887933119473822824812487313903045142163297218967089371450220471412716522728235149520340682845686039666010953849843219767715911849833540963832418636890821174125232150824246566164931004131714317152031650146040494370635889578049134586145459297951422147019020899015001769496092893691495732271250756707858217346123008392523105536746361403359293243749451239386943530594308771093679009701938151305915800569778518754950334536854806862876017209836404971569478981864051485312853866278698253728907497709789991616699575164609938071573172697902766026155646648079008528658265661285763950897561176105965333871635614282689992899731049707988979066845176854005831471406133652352588813091687855195323903005491498706764478347665060077646224243947870628180690742721575195453428232515027643327102574578536868809066887629699352016134919942440626230624195565898173963228503613309657948686204589761020762533183041261715630742350515759313105612970595320995846217463846586376242503975803841211452980406634222852263903570084592619760330956405691955598756510943350802007214165976856157660429352096019405165601261631070697560778246468801745521680227560127868167971082716162999972738065131204197703581920803902525253666256417454185882631666755177998657851530182919217835542085925112226965744443131152392713689053525773460391404890650634357251714071785559938426983726928155659937701762889917923739498183924034151798612680205891770517062513353188527296590787810285987022141221238847463663231607037751609926159971597677958994915622162595350762768194035136999938742244673414735398181391447972714577390218589400927024267880857479135922684877965867827237280992924701207335368709751011302073979665170777730050942781587799076440328085211197845319977259858754456155813928791073170285132741810243070733698361025428006815310527006753514963909876929260050447888152798218049871659943034648156780049286730530629094944221750353135571707749664344247184323656774495317444240506726081504415051395148290535425833476519566832737301268176347703434368637154072277449021777362295712307454718126246757838407966183912494314379735653479248649326269858479274231717588474674002439706206340048716334382958753597986962190728686147184770419519372499842673474460631791674049042201047907057036677696875286671882446950908079350420195303619688973536613045583661501679634656091187667824581067659206082915601989988467167190018841824790285221441626191202530669018347830853712351665291097060448144262126360362606980831221278850503846430639391342898066992918411726377555111992288012801908613492472470211796166754789266077705126664064995383501281487701690173171335505792028600135124399527683998367090333448368924513035480672177431966561775503147728013677934002327972885083317612756018471347138511037350505736532352658767530129449185115049866405913963954124970362946113978094524972856897967853920673117261605356162302362775330959611186552947439859234683671233428474346580705537584639690737433038406710110070791828729192846516237697462539595198036413675003161804191176928410426169743509790949160863856272954136618885280647698067319108406922901114476694967252866364393421350305845683089133757616929313640982776399325734948558724378926141995975405138135797149758721623526677861153259397951634024878032955463856436936507045346642352122128129605844356264166007485251212542867184328010670046655100742712159047130114265617988058560397398855684881922085702965794051610748874945500346693653207297861336194024077889782339196568478728206975503534214495252049941835961055228558036563489800972840879060568222223373940715763075284840096928349166773021190124375226734030355145082446595292751095346773094620758768946027980621372708436048834573771920098383282233602254117310014149997072660081327069774997231208600198355830414457348611937142475443851059257977784765465960582050069454475140928809700244596623477489807557939412108416110727530597589844121371478445941564632390347625981920467804240679290646564542447377835111288328621990205447300610050362441018058430004533148811845365536256356131069183254420890671070264657773672500117007075426390127610891012116920756648551754281654746351575409152023971361349559519008104050125844847027493242038796869961842980262723450449393278691746006365774613527142798553382617787128921871734432635730045831161225748373374977693388478483383081029697901509781643493832680951850592063334162978404166179033447701147842777974794855939493390172395752901478399544508081391581087107939673709039996243120513489370724882323456931886522618487316646871912113788440945342528907981845155564821359011804932646731672356259262702341841347819230090488817025886078972053194198540389329907397958797574894062374372859961222091463005627193027853743607702543418201346103339103338874340756440175590137265950120720745039393871452821888137414889121352443466211166602716696340385214368941573253654334510454939294045937271352065216267855765991308337908484410912754421495895707455312996172260799037903649733606098908011582899595964902955746359195978101287210663642564460293614365190436123512866729786127496232575827768885642552103664886938445920859711185915019728689995318508900374502841243838530040147950901817373968964269968859088460315782970568450915629835337537870120553824784256050195640347921476791377829583781913744879298406451385897603035038325273794294726632710017203930070603671689280094345412278578933091723293619762723629662984564432008266684258195437895005680579690744674578016182858538700188102718305422616974207589426290263504219079779188393819556262292837848191179869309409909431782511380596704670045299169665026867476418410547932098042705016028189844540456815176635245587792425978528052270214981417786133021301954368083055892137043802859446588125914543945451327745737239359678711197204544985521257507250422977888693542560357861247399503619344965333913933408275886718368582115253230472054361321123614740584801940758933205027516065377303769730834149148702614607784790549007249837776929655825207319342721546654108717441045855059643625334413508660707855399705097948402050620604197282879740318764454136591677904152733062946162042406374144454108987962363666706295646236411751550663693282031230925237030038455412062490267071312954575027145723409732817677983758787139111045936508062446114039771893537712668475245655827897183823251543240168295978023701512231054932649645036724459669150150408291983679579670392399180796313701515891370741808769686836192887072838277666618925310950164123602464424301362988039503140103187877659559081616203784455443997494679683576114928596177300469671919424913747639324535046974153728422265279955294431940883386101334324869665484995849571565530428752081898562678545446966857989998850599904191499967286766184614327794778520695549235872085449923993038270500484910716842403343473061645745732103134075891113409762833853395636537928237932469342132927532697251100978432717538504302448829710918843547527390394362803250209584587818442305591073465627593722778701354122174745758167253547136872954082790106233788549371488807524255673192397066631716745349793522937698268308353671367663503727209815704656871051907005210879314822088405647573910656603185485825085961728798623245192374320937197809057625351274933071725743335577713196478731021939514438042284067289857237258146049893254240385936956447156629993790528212552551573583698470427907377003841671328520509826603007413865925326626971552538142071386831517730996176322041076990148908785350640063526354021521649278424161498905357382353083591923804260829363112003787977818496227778858764121306827854188041477172247800740068242643239194676685469515186650388813904113202751583094033110462998829406092063442055570579224802378851434547558589636886371879238317235333922992190941848580181244168733129512139938223413756190299432695924737052002718670669646704346484963363682169343842990330292097453865900471102414702247885201367392656371470092979881962825125856269585673458258701109260882865996169236869930718324324442340397155310259737712591386479868108017313997373983368487220543190454266996773116776136004018606650533595002265959426467907237842207325945277682262479074629017038794973742924826408500708029379793758370600003870189800920568488009219060922739571293026026006967542751330585168937413758655998045195312911297215363243235004501855711508779987272962908787205220441927576678158611577134905483813284117691089036515430439798391600277448477562014669964164081088449793328635884504799432088201357105579800560755994601004508355210764850346323634803803171905028949774394166955804540390746443647316285794849744774731455668543775037376215896794283734553059091294901371031037201937895897441969528883365001083270534301656302502312188675282663742189467953301373949135309262287647654615923615331377123644048158430400052393178296576163792015840745485643749966028565304869860128702523225202779446985204433418014369731471113881685936045244642950169209909281818594100138912161269598807330552010011840074169711468366242459887757515709570674369462958589792175482092837260642224552919409055974235981121369181349660060723480083315102431381981597020991022246832600927316065994146909555082605067625403845271416713997075115424064773577178239970963059065515432519207629338734012910110512176342999280644071490143558996093182170659072779732160958802675413197165492125837977843908468597520925561935942841170159246795898404770820213871417810988655750754841084436097356154753554147510521447522480288335476318672867049557394159526862981152077262518190144363357671527383323420840590584772553536295000933690435821433888756661020318020254947274526136551243629322145809699963589505289030039034076624095667378986533096042598956919019361037030163401688884063368791132746537490142756901353385476065432662508468484693757317874010245492431148856442007451927014684191004971751153609692290598589693938473477254321674204559034806833532323194813352990530953913824056749509542073819615568416383077159038804045867592113639626875337526990615941325912686900083476360192312589093448555809577259175509171109824543557400219090297131205660365781229016651257997940534549325361262956337112116376845739897525428721941234983558181142508508883565738125769137929435289730354174230490945049218909594178356838373263233041325649550248607281698060807917766521966847456999558988973471974190172659193031215467527614771036894996043308725213991765516886444026247823956777689847788200360585818759808484099541812434727181376279257610283057312497776405564701120635504026881504547190874635326620823480568848856997719126320028338228027839284470445676747689915134813868623810667469206131961427674097062778867084740668490078846620964782221304761437231965824999905138375915448074424241275754796409453537099203871195808332437096976856666726498669602338898499103380633100147933502533273750765630499219972475587090481991447387157088373575569472800364809595963333901299446773931619758552585849730734886452259433091391919178412565510141511791056647786084027477569742991443904346142165349429587078225499915215969633893079263353010109181077965291557341836439339229429779821477818989815607057471967803659449872559759598172857737290625917338235573077508513989222171159061609934149015466944560387563126833730494076974931001409076220500766594014198163607323299516681552712799631262220171598433667368130255968663516651019192117745095412368148020677863790648860407939265876281267531183445786716583946176221445925110983550540643502458023386190357061496434440063380490955984470126087084203874300701553389338790078777658875329004770363453736365972880349283454776735162439967417084083048664285827801168865539012498443118760486523872565114901718539620021600689283159174700373189843378223443723809412528478574924727342173469999522836311253210606561132982513870358261120310548841373241464823124273421064033620618694152645273887238348631902612493856749836023169424563395426590763762956720941090371992613263581672455172211077135308428461078036186494291639705049767345903390639333318444691640395948733515428487493382581789884992356609484792165630491661515830148689622113839696766649623344790112705446970072622904006589474124912581542241264540257809465506820245473495299184617261005978585390251469331745963798054742121638224729130894865081401538552068504392369598151990676899438911756770829265318978288587622458567589834039100109269242641248833910298873097085755889346923887223768699344162520538825859689319014182235059151090831222740701708508723724962544634498215709329561301183308165563687758180827003139662219520678168713790798726863200879110868351785475416471167425005736375089851784194960913868260535797853601277658310522408669802383825270362381662307876563422294474261287549180747350837269968490609814925397673442553628365736759572444230688862496917264516709185841319649839616029185367449179316375545132345555071198920629840585907023518579045810585808206269344457840824063866176313765462285423106421688563113551382392823250837340704518253722222832380766901697977039485763529273237661873013338873607676013379224881249814812730193876600139956519107581068355669476892374765437473891194983163181368241363200648649598619780377618317624771241162232272540862732345960782264454247913540065449732565734558841668646864549988616380819433176742117038862655204769301291493581382357377252241795201186616165495145127487879659878183966155443713745479027686944757951370787270038364130637675734186048667464963478385919180305165914317895841899612252711830369457051050771586988413070389786316844263575508959270457459185663010911198185797355128724732482805820927706795101401287632373784740984491416489500116494761298133123705254345282572901375698788853649384044532441308801000703251743727531735122360886527612853437275634517475342543523726516915069329976271553287504113539851792840690642829238973382050548056631702785584166187443842772754987433412412974973745525642237505196456791817702545550039000786952012305673443372716089944822814547543101807712038203724563664560305329778574382762040632392626754485906673337750269613594389527508201927756591561544605873939841585042143688683649652394831285428723354661923342661902212897147427599833952027823221408249704832894730269696458348593164691690971635353668314064715044417135931169586715231460775597124039035381601448697287684259968330322567329692125682747519029422561980499136010479289788928949366533042867335081517026743000956594394759158417389799034753199947708556403611722902452731770750425963693703839646134551502915930419044126860178063556751085012628524730708335390931968499024360200120855737126356129667374181349368227914656091686725642388592227836994067043829295905497510512164314581746459129910033074426081630762838386687555194908185547582354160824372968951002098943581232477452707148804520802770945769286837376125393194570279726054554605346995274417277322724694060662950882805879717404576886864687069815946242712195457417346320225370481581566318091076738121424099206380603988692460373271653679709786355214443645208769525107256869885596502324819524376299980643276738859659731041069290131113652592445188397733950107128986944341793982739178805137295754158585361047027332697218749525940480094036233309522615523818967309607382545522242963481536634269132484047404500821053743832044486225169924759681406148489316095005232711211896975937440572529364086435207375818491162293501231146102056163236367285607238551445353067893862790681023990028281775522804759548226520745436366732718038999204960727708598872220840411794196564000567686656197013138674600578555598239321897107770720888106423768197009320515446456955882126690377641813130253819150917297123225463120085511698945200036286011378540464329195747570565180778569262277529300994309841015971414303450305129755374118885222484246073579753126779682144629136315919434411544902527497113715847775811705890495103430576537636449079348702212029136387944412243093092048075872617134528318233386038939471941339663764532255659074225812371616284928337511604903091766975941082881015774036438718571515479634130137444102153931423473488380862534845216599658116282556090253984266864585585178700147668937698716719318162387606126202779003400464144868896971263595551318125417725852862096116876615538624124965840697495640199172011069689249361272289495863431955010904571669774891119768629262691509347418128128778551256466223808844677914582391805352062409840815850508043909151774681051866626086367360649580178100068241811704543229244033498401589099426730566071055971371489415664358612666597370514952656573914444037877166309907735302736120025612825204318025596079359576668561436920319000821986304559566339452238196702283146189984991731637451398184096755797208543051441241532727968643024407904458687817937376999825558106682050307768100432401780118483317501232447147247961087111675354017505845652761695345790696007208226486088640002782788781491917689270461970543005953169855080544974423255822511937507667631704361823320783451989591384976030459785270149393611637633346471074183661467132522693101006006156856305636133324086516410677282764825124037060110900334892363114159568953135714813759547659726849146871122873951037189271458028416040673995063292187999387092386255282478672884870935854528679483548110197104267203454837453822957670481704743361571961528714002657155263931791607235175189016633647616251966277777815513995834244729345349938089003922439792108673175077058176139333974257435233308854136986278673016581440228786213079082463757452040172256367196484999188364533174026257438659997592222013242749669104481664478567356261096013578569297488662983998085400194780426762870236533819863900434670535898139729863544302886410515627323528300768596944674887652357489517229757898263510144425248433226023467123897481914003933299710344677370405158108536734092134475324997415976961038272632131213963364392991624117931477448030921367406536503131028918028587503115390121926055124528446457389792519072622237871413206363427954410326630217624914136325274332595668436454492632000260862350216808894458300919358009148997874786175532746429143090790963112514459183942522575505791784026169526550380736203189448762281383781036052961540136716278421762374421004970980619705337361549942924470059023935413806998299734547170141552638484756325599332521046244692068679924832106709894246075754785429496182949647449464812098268932678175842942001361237242782537358820595603377220513379225630368994710005729920115211850535698885637955044202994400577765117291287718689535930697830816106923314754206867498600139746067496374511775373844025665382992878528400503611261439538421612299997257733705490304203760035538848463847506612788596809985630771080327890812976551782291793863974830009236474629006994066987108651644282627526648688812565894062612578538006215265772986029991821578068284081706775848772666907355260755904727006899454657874422656931055202100931184426488170105947177188233394642918527046597715034239269349205056641997320077110304297245593271347379091702402519143042001938017748502392992881810252688444053873530859669451649448565978446394148241122716957599197768552241731428179999934603693201451726279445391415825248732189654553704915944800330018401547825712617053535532394319999826308708522728733832846552508886666893690392842373898289919492366964549843478243349658739402267844491070904495474575299821942568084673510711917450773057332254398307429400491755778522343146966404527503515572993817578320380795781279414501792631473943610053986105364209867534768034415509540120184126423353727884276462905809427415208493206069016919708160667004420484763231416796940999527898027739372770951233142066142354843230236945896203809617411873656527430923947854844056184264344082897533784823266512042348469747937442137547754793145245302185640358911135855649653688146771205203715436689625004535001166034641022908780583942887475081439498979881207913822637652149099481725772436056316343329565813206350212578032174389738191455542598665617109622856177401033117750537384077776473194867012621456089376445613111131148384956201251471830435020628067381183014078912688352563148246542554369131563644170179223550903767490561967996687248019942314206655141711442630915211719742940148353847241410715992592118487944853347154028115352762322534468217243444459563576730289987161796569789366662162166194613062970798703623385420115603338342757832072726591043099581415792871711711402630210167266849857421417436362987451876803635172396567615539104963121958697860682189308749601341288591534180862758948429864466995230172945444873308003222460839817012563285301373511503195741918137767745086023171126866025539426986648717117768027202429028815217179481256256831435178177998259068274900070488887555425649369246014831182592909162334798392391146489903935089791995775741989220899557959674673707565971945960183024604312751372686346915867490597928925512022913415116860562107792859936246260642970759229345409416135639435990471716670977737035165607209502203681905178795203467478950947347344891994163988155009993180051362377038538575277797942910342407465366332013376038955997673011384841854221938222528763865306750172830704392688911626778256155067139502205121745530941985103867964615820927319596171194698962717836720261658026958263461726839280534543789635781093868856696708491077731321434029206897110807146378566544325309130167156237889948659265562076450362557979413814080693877408801614348031153170859876131150993188221952486308573805377911695094753672075167969170686632456186954308866054488492154777760942654896595709183414253938393130141984592111419055694959617012351549657795088534495003859887378917156022348357881683395455086182050000460525587113861625328921834831101341355417780450862065015536541347758217879407030927308454594196853418681206250916748832863107330522225976817150403204215450587551878417103990966570214310524226921517996666442599350577346552269758697905684733477106979963942699980573500696093433356133892758669948377119374463407817148338739340775774899643734627792828526256664833875826715308637016014487016321913928139005725300466035145878539851879193828964339672884993550869758702824709276539800171866084550776555934809671754885070328502027837451595181989529177661567406698742093407802058967989036619554417823563964758923947585564450470752429802123547693692558109775794928754774882747599768336541975637127301090969914938797894962555373455202413985369544541622458138970167672180229167384053061642537754905916611117659298819381245045061330194054708365345669406280098700285915484431412978612191292389965547126292731299086951212036790189402483079467399441206896255941785264634854113286161712411450076207788680858361021748977013469749093676184180047702314880917173081663562077623883402338723285548313601649807651233081900398301681999655870811964838660693862415156289298847267984451136391697252173650175535327396331847708643108046936442374464220911101342551925762279777176406525850388934028829927991196822230108795215042486098015238975193448059259795266332275735485581876300131783443975134686713464769891205106828000662051101497782962002077018943607664707594008427547454801665858754854190037989084249774328354316471651265256678465635551029128994318543368757845417620282071968389686119015395764067975290181841351447896154340457756878881727811851115782599253012984268145633916967942368678947821852181865137106231468747938394550232167441253508367831546124091951554368303428999911897851194160059571968560739205352618157894875838749184308154389807512665604890407504368925968571052864259711537187615345539286865573868277181827092703152684766778593455972459272243833092629682449469975190921312662385709646260566501429975517988752559519690175897771038446438599687488207232385740170393469969099632927176144967796256766698888999445871248042883955951041174915586093360112387527710307352974062618922116515310691631139643864792087202822182202886676328467084646155025408371426250883112718094493789423512308068650013699202092771766555234033289850198145700095348070531515092388059548618420333554884901020872212091871591922267031530056853878360147657760353281439896716216898202932204512615844929258445345227929851321429222644240116331781048258533652186687826246595986243166170956669748051107235159748941903114178929697978972665892062786646601806234646442478649550766458907222879097164853638912508811133534037630270220549010261915560121565951349035442130078351545814449792640242018551178312380621066010346066134942573115924382126215701310246950167539115607404542913077685712060271817607775157193413705987696368935856986647172165570999075451461823558749235340867186268469514760930460315711996973381437357497316931466899639125566612437512312117033387787024031738264461556519024868636563989340874960013789338750731720064678904812800662377406461975395413010088311116289608372049082542464762650678506207871322687610848693201050140987409086710495943327114546238930183074908032383422256605969765091646857501420896955704510688935478015389520437807138077652666747339954843215109296074800479901380839294250145054411427127299617845790496979426211262397640012772544251720420249556033258589094390290384566020907364789324191082727548917108187001887510552291690170509178735308834373961600984327414416513623050011454604229384628411927512471330695566099039070968336312640462376482917335926612202977619894807269425836144885521281107366119735377161099062608980397420264953339485252220088366016501628108351663243101898972455642970252934808151835036385299536027004322954485394350889124813342567532652806077909752988009703987223759810101309253185238540275531920173935762553372553098150700568039336566771690610622400241717971335609765241537374266699188510503863401662221053123891983523055150445784792689075914376166586620520333328795213451541283887963197160115696053401368735532154055847298372805027737283205259009297872076899916226147513800114569063192346626972281135351141427992237916773583213571996667879285269610541770569965790656010917043379723732621836966168732891311016074173419440453733273212646356317235398192422151650668286668327479619068200813592652631582050905873104622234601116587603155329692054603024802930470429056963618614188256014381313888102427859960184738974593675935071054381062116577765149413945622357699608373243030477253752092809826251443686167301443079663797177693309496540309370348360528441968343961567308310998518036155951393422844622272210904077027372923304189153125958592262843880407586889891794136813287488554604634021104186650520765171395916193846608051503006092070235243972482434003433970441163042297343588648976908092195019062351716991542540534628032937385382810313060181416369565700213635987024199176360987367970130706151746860852662781921415908627971493820606256667930260028802844953165318699071345932085883279549696546061743157100951706538106995863920340762491221999199216682173639605226605206011523801071888743964351637879894415546323333591502570664462871037768972866000293573099817219633560282913520038356181943083313771896690468469811348888064617675927432747366737937941906399612653102281637931654375755205444386310051932030259189974105431742236468127937867787403357664854866178181673925015403816772620481158632509611819149394177392482537317378773735530704253354276317537117489479790589327583365400814832517301406867704346668314332534450834166747526685925304452522430769970363721094714629084058225699469635232763111403988134024155203193013380594182925227538207796263035040508917631949734693436494283064857927245561254933527991439724576140854184566085013944215962086341443123510544942556471994766056304801264975804312874953615107365522055912766930781546760514037077197048204658023519913952736403883919558934210331740240407596344950335318438328080503652017796412110328674316406250000001
g=3
contribution table:{0, 1, 13, 21, 27, 41, 45, 55, 58, 76, 83, 104, 83, 76, 58, 55, 45, 41, 27, 21, 13, 1, 0}
*** a(t,u0,r):
65035
14
*** a(t,u0+1l^(t-1),r):
66528
12
result=O: Congruence does not hold. <=> deg D(t,r)=0 (Remark 1(II))

code version 3.3b
start=Sat 15 Mar 2025 17:36:56
end  =Mon 17 Mar 2025 17:55:45
elapsed(sec)=173928.758603