n64-L5-f22815-r3-t22813-ver3.3b.txt
p=12819140157932089656199761355673326691699340207832104577524090560351572945693921379398846820825526237534640949608116157015787424398517974999489536153698973218879256207907959029476957927713422414933950227809846874205289745134888711948457415365017405250459375020173126349616226206969412162753147381169392495741452579147175226015489184958966188004409695726720466920794092354648508115013138654171033076805671401457876547106475536788966132835466404267932159008173569896003853811722993632697342598698166156330937134643539319783693875799270407089927677468671683553790716909502454653556590906112555329731788196266010210777715383284836742462333496298817773881925651901529316971763873222601044905779397500884382571207802557744939621892079779754529950019997766079356070962662719900282442536552964290267909142594815428611946562335384734157020348022745062885056325362171135632779982316000005965918998998560406650024362559183080549898481881110868215250707299326283399758487049029829430470848090341418068883261495840616779784610947540808783145710418133840476790814469609136323060111840674051634172003558782789662362715743505458384170530632765820847825555088931959141247888563946822229851468380071761261061444920101574751731287389025892320450410260585175495207626617155844836505557010241553808189492489115821883835509724130863720377118992743755806719037432993385232033011494367938207680623126871683779652415669986512084238631443376822467500860528125173496004937329101404502461063488120765379511378260635511280559587815305463700237893435461941540224030792420306998708056365716308094970340259265503390077570703171297870486248644495839964116569170375701838361705285528722492087044500355789101988223438931583854009695637810222474754688792810499641043659947156229504361432695188356323232754930734005938820913542874459762954646397965490488332328020160814615198859988372456895899067071365333885338317498346836612460669011475104431134112739641716471962978731728720965971810952462101814883502165520690607183874328684462726912141631629279512809520481392959582293632926279973162912465521005956169130701213806661940079947655401537437259625685870582362450682778451259017249454457714038185310097677640576061653909037203996197102329653358225639589589266609906718961635105344343225791088404067385172368328072902741625544596395544053023375742353807664543094652883352694133367450241428563036227619717840006172004135709281582920302384065395997424603838132103853493038531150404713338663434705286813863564556067347032682113674559881580521574972108265505358198981606769819307123637286758623595800360024463531725638162176713359616896113389721028453880609789707973049718197767804410083053484841327002591006543819790132982683084574540559169157169665619289554973838724029680787152524301587661376187563354252695528618831347520506856529087261671502158991582263118164193802448811865968824175416653687953765552788831843339238436421742154207921129052662384488066301215764487487880014320727026154770473685205068934443221869123295783082378111919653837504261376386455786861498890791053462172411497365958535815701754630474211243225904386203604036313383825845056410302088882261039066456539123783734745159240787311665185039093965658035449407751723544637795256965167736549498796135818202367064433686562083921377352767009501457876153379193378563356560362385733825882371453811740000711627735601998234574039085983911546561742836944011241405859023687337778556968783096947696760120609437687095000541513582303168716424718727852840423414430518365537714935467552851236368800183482894463907929641040526739156925802760566267486910470330899811861321753616013530198359115049256691513564967531402699321980709404856625599007120082945146936864994225969362030485438451392250307005781782437875465506608341236061632151192814378973067300450868864343124441153127919989259252693907653959230211540972867471038407665159633919196613111352700450027746204546032336788899401618255518848652970131223794766628159070105451300875624835995936256993306328577651597919436885272584980056811494299996426194729639868622028851702843580477587718450254288527282070719377450331353331635161613082649071439623261730901847920944320285875756093317405556058954504531224214140487224993693413872243112687493704763354181051493945465965949043811207406927182436918384436225869104563477766774820323069994324064231646471598397628130290357623856019989648214236779422404741624984365617385850351323755261540386094757154475078701758523784714527800397582225744775039035969183796093715617439262366728425456545519882848536686826763626449392783030147033472255107931390153026328123176645294621240247912091704534371104246615879974582283340568895112442041303288478864736297656336742270741569630996135741173507000419981513475527264564688213972945629612626464237102194634608243507964614118906094804190461091583571711801047499327913340531890139509309104811851916172267508984890612911098015202673408001784298108798410353584619665819790596406649052769894879670844208365314883350667244400726639293510363265243090894121383246084134726743843373637173919203840614994742492567840156553829203272376191637823956362602183323342554304256251542143705243511599737840166681233616588006546938301681225862950877571180219961744326433380337262580506014613317780363230785475246707906088485395660892959083244871964771493652164265702586545881884854808526834035405294612072168159469432479156019399989685188265581288694646660593988393101174338983917135806747516246994647123624268337220291318621840467460083050106924585892331058805446617456065968052738624787696756431010183456749986717118179727322627992177684167864082656884043627177353870855331951095443962320580257442004815291689573057796377198227415117662983737070825048801531227004817324074025009764632586829486331943265632795811055136326321432710579260652594374055233989383438274352358581480478820167458019472683755151067422670147596727673594289299423496362469766349929646446738099018196821016371753089530711517155066028721633033318627476244482675581806673235337136345300126805380309686394658469485260523188988843137286127681399438445949845052904851029599983809139212215518240851012318439418530992665841923287015288347089641452559243561680094026095459818325526606706404593930032005362650463911014847715391267974374115472472023102184689204374888500396727416295783348115713809561044379632899657592374695466850645062741492013769577113864268773040220583719977380979460564086688573145515725461183907131473383366819600114419911913322170270229816678713706981761160299662293441792438178718818696033487357644582336650684010480028037140455764472638667609174683265768973210483232469142804305875098094465354045364040677777382300795205047040425833644387462531330216316645511954164015747426406917103254409360936812822051975780279007635235513748709463773387213593481833144932931306760193950604028751884795620301505869985494975826379246859167201551905081888955600290498270017350177808911710223471541691003250317549309260776970401078057507157232996277036210229609591538570536698290256741212772641279955612535430465979853191743854518582281239936851396387546173006827368596413937372211987549607775846276668439483509963710210232610718353800855627278833774237639027214187598787384040466398738808036424440593593953447003581270837837335708049888259162681442684241675025671120985169833238710954443810195302510045496255297018667904149236062388464511478496993734931176873695348661475739325702862704732191133718615919957598621775649364598262726054428114261012006064107869230627083605224974152980923665483104178128512609842068935758937588768036581755102665677420569561812707707395402189204802616495943485732342188272049591468600182071061893089407112253104899895112457030129281685507400167696106584929539220465401468981391379100289079218587265751760736915400443865022937479779923353415600447250336904685949352414890335975244890159797453351474056342726113751125412255199970732994589293848456875496499313784769939673063862334983089062925113464522446623040541004510149997857981573150373263395378924514624487623402776200030310581621107748646855673806244666741577986473917228764496051241374889663320172212909526215212436489811903397222697894191079036646482232972128862128370866517619068317128600361509066531465152397025260146539861847602437467083519305878098077575828977822496782889741505779938682781824176487987412237421568048042461378126352807767493562524625387604471800455266285259607382485551879139190682383931578766077208057833227801792696503993574425619330387221257835875315799028612444425497375497157116111824960455621911957305956162103437340068345510310263826264674917436678457420656015496860595203665080405201075853508677410203177526686341189112437673733713544385199753175128184849716267384929519831165270386843192753841000792547242947150452590254967558177005358471178333386539005683896771508545379521163702199168582431917843462998621625210493600807146926481967872119342096484254164733030512026793918499108387064884496842293776505864621339952113152924525037830945167332765300214597984579550689053623305728830160953512131292296293422076717559871406446133947895448672336137906003405553733791233260898708982072442784528699139881665517722489505995507031682819495318952378462192074312806465205545787402970769154712206378113281533272179325657201352027068701363275263827337628457443995960682027678828601846331516875761765219171246159601179679114159080639480009874280342014189223452208735502720796739554617153034414186683964178942557308278280712806477476666182398280726291600745995521557961312530213145115320913318924940102515919010550415849974478945329048205073535835834675480045950876392053065363143435535333591713334956934254232270642813425545012191188355349634971669848928743510381086891240094091949450043522574234835334098159376974525239337603069077657510497597125006816007423020719410568674603120908818455356936817537050702249644629356576716118049731140849429746444233875572252565861208901134893977592937762991668358840133430466428994256328144291942460452262964830093679634370455747029629940885187475644847456993886121205535189711166588844996414263240211546607260680767232102759644606942011068639653044346365735190758793616169138256507496459377419483750897815837447598072722568143630746423204105541824351485599398543377215715134080012735850837835426715754815180661735270558552396104347571591316995184097720055364526549830553952221565328924551896535958600227182264984273159961419511572076837582578392716905469054373252635493204608523468084252923709642520657394441297540404411565125396760774887908580493979858137660327583263273808004661084428869265884795869006519468094909028483556537281675490456229443101319754048867170456751154987065489650262393660305514897603829448725740464776555137980139373635487423671360518232082192500051079205452030640338037165483560055537877327633750518021800438103307765798143021701550691233886148206950116808860925003795241546832643008584722985546050877330008636262733455674019686778379022551130838032201683939616641166730726022680848508666637112929475711611561349258704799651542480708705959542942515966038236952983436508227682380501802445846032726108925701210781804613412799718026891096285145892167147091889141500971711818383021496558257055924162474692273116018384969918444251616321843621139477277080905980028106925040177936644100353623939443464752892647914914988894686487955948933427034471394998506632998871970553604244922878529960788898301545454819339038124449176041820156879939175248878605055837074234788797143106790329740004987634499778719298802588787109150796766025141792285372261960402189691362869314406588751931212481236363477319778998550789454346631275796333029475346071017904760335578739269357999128550247672549432610390862476511706950843296481787722802002616791699235843892100150048125865856289227715623891043224222100784432627268711450908835080266806250132551538813883712162644861341268644078062969838230374168661987155281667890776115710814329154086265838990475287445791213832595631576373067987108562420550665908479523592255190349019212164725469683166529940495042285844081743065028335589271808669912086419474317924347358135755672828174622781753315127919937504432128300255213335725766742393002170951159219558395967673784018589457208314423965640373665380461861333604004938942421704797799924438597233222703697054262114805956274900252889525224072144443566049987825667362476615098297815703614996938866417110368804297380448693830115840536003741333591420687104463818220037011895595923617995690732144752558435666040464298854769268176231113411320514831152217879493375778757209394416880808515646482172981360544256721060923697358771322570841458931237408441020447649617159122586603234760480866532214842607104519119350160232987040846101297925098432651966940962795598012080410669119892143748982823955786258224204042072001400418109572059674193993815920858409429687992315130838348815526697660803540561614330063543540686343205929027983354257697519202837653956291918883064745239931859373985696373960842908960993820719257644861262248881695771807198264526563017090553579537065993383748922752652312952254209974767200226036802786573047086853116690907932592889896718438086390095787584748515446037057651830366521229939483102212959473940264861793354953571521004290770302224448627179621400119149602661285738711721757443800871080234094755173244426307835398745423254393083281760994111039837875238346556624133653027691321051503001570364251066924550588477474606344926156657966108947472174285313877828796902033932112422628525800349189034736391917924925567299368022831930831870395800185387784559233732168805246833118286559635048212009496418447239263227771653522873654028946810239442765248596711915815937191234032545815660361538811141574668056140860017511687900538890441940009585711305906979302910625877962133950864142772914694642048110174612191950021309253102941230600986713742755270335803882773635674199303099338769165798187825486080700932507523525414461121603677104325900020560523031136268815292852638354562495960747173761430056091510797410827938893385198799398911215441081022568489210787832301625873460465055932801450139994922929412542471657911635083109876587397780779230518472173101078817514841914363251687739436252516971160703428706105765793477784177676438578482500400711152360733938472134878139736638928752438146480421440027429744531749702770370625726129543214906857045709880529611346684264199010579190974021133060134042782032390137759928563461055109324392953067926631994674609028324653224011539226364969715826044103378688577417212436998956115118559386809402116646320206643003566532295839095209222160486431673227091551451382437222790121035746037488197556831818358276558375376465787218071575973872091157586032738417915137956680947165219716258802438265280583896106018134783976649734484877800637931968530463233487383543719696012303215996190573674806162660017653396305442638334630485041995681150801487321917772011407491713706382485920702285438296573436606230003568085152113014320153482021433360947256493620089891145424746400356416648587977302038156600679402172859170429605769923386545179138011689682090770238015759464517156796089677375539218779786238146907184839558183884614494439036408759236504963474095874591973038786455331928269216257623189881163949805526751514783182407869541563275252550106436726271458698935867944137396495050462761983924126224466393707520513601953068026577266546264826355019616063057426701968312390233496512634027425014304394826022734244331118467517929670606715285953669849523364452243948877681105534720355865316626501661489383957347007163937609299153821218568417363035057286115992409592788330845032548199772933804616636546642954410970139317644150507421365333575877848340842053961039860656536162461872929535648179470138492812242315420472293098283519189652283957208773612830749561224256146467919391758381309595895049390041555974300349879939658120918189133263117997008563097338888927791548508764701120683172494628938040543387244934681890100241190637155953466775172162196734024660452192818796759987698408167489105835556983947753906250000001
g=7
contribution table:{0, 1, 0}
*** a(t,u0,r):
499
1
*** a(t,u0+1l^(t-1),r):
544
1
*** a(t,u0+2l^(t-1),r):
538
1
*** a(t,u0+3l^(t-1),r):
538
1
*** a(t,u0+4l^(t-1),r):
543
0
result=O: Congruence does not hold. <=> deg D(t,r)=0 (Remark 1(II))

code version 3.3b
start=Tue 25 Jun 2024 04:05:45
end  =Wed 26 Jun 2024 20:59:58
elapsed(sec)=147252.756190