n68-L7-f8497-r5-t8496-ver3.3b.txt
p=8542498466534194569742624883722644473613531796603299629806729517050212219551881469890511657246028080579370221445576410757790515136507876272630609832576495091476782726493667264115763159901237399194794550815546808634760404427606922494892148170744070425388779234706883323590410079945867802539814366825633330230075458791581959350459358711931992628027948517611816844626111795558932043039602609455129926432837017105691552578688317451511545816216295275838082000013556736171552592932975784880172455206116107606322345035254390446960385022618296955093831864605847470414637489856722930657983206796107288935752900834976338221622177261891826191934132801894304948925982277311669675526619731513109493990589705225583507952955805220355504176714246752745975767632707777692474370452654931394614472316569379478965780123551713353992456923817036575652140218103406323805220779460978288726417947892464141263191994286862630329871637537452810280454808563582582398656412073916113056622152627509176667541260567660826830109215008840118156989518465561165486729572488436935358101571241401413276418428252726109065415193758484461459718320416062342975322011947379449646169236911197641649530623788416915954227734803443365564753404148850631421944399928863125638046118375645367101161674029997216690075406194608154904756563277716984358425947216948825138468852230181537564058718210082471256431316894979333470557816393390819887118422233051209841775184894640557852424149709294791059216263972809272379570759979501679293627211531240761284888395212930106464130709490201815835363195957507050888020879849707151688785706649019870440616846012455920480691577218834605492147761760908340462301415544599502991183594453635519600842401429528391344884499401838955486122301929623520295570926995326736703428528328902631688478342568223760792692579881739984319638193300785934785835908934424955599645298806659313894404854965360726138560375717779991248538908076784075041855261314878818722932031821388663001376397552299584878684885024713457149536861779033171086385267105776311386927434186494894288725956243838944969859396050832644229580850437942938818121198588434684004955233657828841792891071592197204486173177660834218779265293625148492654180610106324601742811253889766917153688898938011820618468346589523192466202833676630984163724404413416820384582289654576065967926922773517506193903138921501995654783607690829252330459543933091503984076095944054996847597571597921935028561742106318615194926964996773977511779534753048809814399272087874324057029817378147368499394178021905531550788541209077040682171077447857716606175466290363104697472441821970085637605338393867474196639591533153723019474524350316181278112477242055223711709804358723581301821354045957865292107890346038341460447827101793551673354719203970575226984405620258031333754776269182116346985434070170183816031415176301467682609199768317379448254907256685571143370151411172985117875499429520116052738159494806229359121840444616596367051744543937581558028966166905741665257965069096351839453636750039776736195674501591528546032685388497335501409314905826365597643012687515270822890255379649480840901772416563720173291820450830632308623764469236237026148008050461354852759384077584389001451835652781438811693648727715194411486737955732835067467289592168848555484092944415715251049214824427984296452136890012720396170645004430601926165569565936820255686214909368060742660744497963834070009146087462481348862874103272555161831077622918638529193671317574908245318224933141328976948298564190324504008197658373515299103752965765699946660769353192130446669239551096406289617471532416246222491860294176314419230586864094639927621923228679948652746978255816592636448481467090251059581277305983451921571302655130968001757163648215229507108696315952697164681338384208873829949257690434225709795469331760456073129477085726746060183539861113303356815420516498496516061470081664693125202620089443997115775506335769813695837967057165058958697445666610135493986370447599414459372181718868891596038536385548469895416633289856813496226033047126540671508795442417220139299748521865230830826930599396610815930473030246186106433343338607607278903960016718435037853406479687491707247531539978721368749057784228511695219361259297246850731774236225477898899909714752591832867661387128494560770799314590199969181632702867578646258616744192307908336235783539222865808305304624970369973273869690227298480139893857962168732394591737296559101270924335704632244560644211772765508886150956954954538069500070333897819206174149971700934927873658909905487266668490397198013603839996812326021630433123618356216269902366379215394938502251286674455546290629427124399528739152183052015382403837590476464117947828362229842861451658756847200830075779001503694745044005371376143063811159708459938445870586396781273332142732595485045760010687245558261852481839506639037980772500417407967530507425478696761812569607865863680154576910779712721508323466389630578921101932011204869858727726085721503942109233242226022714610566545384455171399073871334279070218771710342268119234472403376318378203121785878096717344417592263690651058450213832796512627147302550773182335431872896636261170034978874520911511911711802507037611934520839171738925491018982794591270858262243622802893929878473510581700506798949798008596687957996171910790152614283248784142837449016147860235170523686819117616163322934866041126468421806701801589280983509469505234476833498651181394447850102772945995994829099312667578203014934517158363904101813272537894261951018477254243571109217683914928369058228311116367320972623955124962527282790723733299213467056086177486401946090158970398301399985519182507578809777042117642780617494632756091774835604242505454372312357382988823141498956420771130300072133586076899110678885395227950458388823555744292033351110176275008531998934318868543925651652860854474713961770665696001912778232413103964207250040012323766508968118727020624614384918676863846169334698235104690629892022865404530718880205656947615614326833692341458186775456573347178327675425287520663115287497111639874917360324382548104208555986376947205548207391224074428672275426397611619346861760091771754936263780414916744488807404682571174773728211050335148360113935514976010031755117653714930856876639321137343245457774979189514459313291013487314561855345704975708737491000830336230251691901295880841981237421619446744014481433446385443835627745395056025872011809552279582019394608697177426305835693530774979631850168616436597576648819383184849059041929032209298482910596654470515715554373511139325031051150744770311153414035827331366248370948888156640557839177970618150221684468242512490719291218561630649949098718314403428476722752798020892390565879221422791340368826099595587739777120042564816581699842265606300025099935923283997571555469383627065239495153655473099200252464396884377822874672551889872570084377512301805778400154788048880797595855312197056093897890395186973229424711314646178680983231049193066627929421460243354632796131773854260156346386424557347245367138120092171659905976695505726767951807381246773352259817976301198626796264398872664152730394088472946399641262631314090634856449992407404450481298073532497369801540025073638368436153
g=3
contribution table:{0, 1, 4, 1, 0}
*** a(t,u0,r):
523
3
*** a(t,u0+1l^(t-1),r):
616
1
result=O: Congruence does not hold. <=> deg D(t,r)=0 (Remark 1(II))

code version 3.3b
start=Fri 28 Feb 2025 06:02:50
end  =Fri 28 Feb 2025 06:42:25
elapsed(sec)=2374.742635