n59-L5-f13256-r17-t13254-ver3.3b.txt
p=4152020466152321579894420587724367303156655786857898200862150582146384818146675055310772607033672590845122747205066228123096252715572249090889243220087075079314261264874303390626295134161915431646219647010500864324874894915691052240064263218661649796650682343496504069865685828141704151623543948747448984460591990995361303652594298902426548348368707341647144002251336138581987273714157473695540700930759130324895364444727761377712787786588201258744323564259395332545851152808205701467789356992258869955220108769113859189983243989565368890209804873294653533243209729462455807033439966848896088330612086052210287581215380293733679706852138212181742805549010335646569099683678985672359089295790862023537832777592264680929365004223195397350100493369152850391515827095815940840000497686771746133062051451648650103783468139757684033969489095987859001168547356808154482256613985298202819291121509079581971130099251582202520394223400185938499378850846582749855956536543931503144114940207578993669886724088886243972166157388551977845000266201734533692269704244075817866276984071958253730317278833835271271254670448396274122017940677177473684017216776562403382443222726611686040613170894212496666050747933869030023767551889107804539780190400141214821251824807559568670828627996126790865035853462899338963901523330683293343820096170981010400885537984005740350578211215475201818451775722415326676143214929855135497097212387247016016468627728314161157022236944161623476712431992090099451872962016986152607940266879816181271896835210490008931475854521020398692748624956960692675326959899044186149836963555803744389402980875821973561658864454113678008270253855655183786820565483015493271417009332688952804873272866270547918469548336242082472654237630588786578250830797438405434018058180301483592699306185635399073655813681994810202634950102641829581012285645617097281688174168735127383622781627236196935593073830673548971677657361673753921258780778094007822917335308159387749125441866167929174367960290626656132599693887089664226662978661292557127641521167736868074443248923155701997876314971677997001090528792743634917179764227859816313348990642876370143140919552490711886080596248062361827944621073314878442979804053330725384078663935461859673372432937626036717662990533604461445773285954108236577137167466220046148427393243029651641267574689045072234108764377720661134214732134331040212813319604968020702450650273091638449924262771799890973311961249252247551503932507407411720852189361327849605129236337013039575096885179964314029832888370565282215182797470241363396601986362682323883373579872993353397165624042669346217458597722078161914070994007995993430120933551464736923980340910536161721491347246637771021029526962140989906810267732440722399502079062881562417409210174579321596467241102467396394043878096795178938098231776778080940668647683403484107997458209355571347628497814434567638526518954443786307109293279953715265635590194733051353056042100603194016513283474378879631285272616006556626026954179409207833005791104652753270492362219074747840231005183847578783712911231033667843204434700530143309937746267543374837243501278515349655516582000571144883240787524806397764383317862195854603595048870483404670846071840343335205915446551759307839300747269385140352775033989124357815409341230748834720944363037332619200372706201501795827730425925208548976801523180967739065646263884889936824220614238256263284975414049655770136179758817330609675820185202780201618207405318210051515205579094665972539539957657333147679634594414409746768290641508472308288637946822587505495129507096300938387816795553881877877279849658383921033439613644507982337591502001761601168020459808868627501808613112541200036713185950046521860445489773968350541360741953651867056535595930525651546791493521221655184512055172096242335067050466206087600978378115683443255550999125805797738773107465318166047076011958220407408011307363295940704337918277046760237592385184355778029194507543394103626132329480523615662298870058144811096106782504399437380649188397026032392919316270289478140345864389017416421336931326038790871779458170320628141818129396870471972526415025335572549113390760405556199321237831865802882148484914880000120118008604139781857368862515476978738242502504270669267722964394969151362554693133029196399113684518714992354616118868971460059655085503978191767861290986149519204000595885329700695066866985822684064784027133234299784810910285912922348005306432451489485102265216934917699245488937898179545992969396063892493774785306512531967044845875254724338199174080497460088500296232666224364063587485715132815308234223645751486772148112252006685591872644694900492251966733035450352458343391167417006243304953902484698403835068499939787748224496844465296551559504485685799076850103773502250508504245674830542424742298568225460717630924307170019995521947130820881680106432992876061819552331608541675633077926047226704209495305839174523678979971740834125040881110930575536055228366297350236158401171248107136730194824096703990930829187841058289177672831843977239753938188301431105830695797610779432936957101001922810899118594894933586143042174929213973351896642865931446620539156974044621657984660013037119100941282643450019863028955590591326641760643569268450949220322085513749723535066980634536055152551378421110071142162467768322387147731563626066166340544525298949677597126640592090440176777391352190009062514368698506442054814839676128151221204433555771110767530701341401107388719898717292544961668327162197298947916895843924074556296948608755426958182798300927830242545888940426816369484278505857437082447552141821209769050612736030665875371431106111593790513701356467336743997798409781959414514854353676190215279956142616179521116590519904232098477693459055667969758053115220764148058770592963977790902861109261476324736179119847729469130177975172622431221170206313420412824118528490924605269422219455512583945234584952707127643723561955396309640842000124948202634726761268192654770917695783595087844823747051753594201468384885521122388596385678747842163840067256373427531807488211770844466205151805419613906021328901870151705682925511698427919534614583902036122963599218967203976467501264490598079405261426603017239229688964058625332508187897318128508071767097949769993947064471546155938037511776946266517244403901839180546194530949717777241840681780399681661896637116119655910811417038638542608883029497362061672404130692504259084320976699722439418202441984616838885644856045015383598311095243597239210192275676860348683618718041409398482903570090496278463114298949828980909988230329260247799066804318889992538044525757612719001749992553997661931008353360788542623211803785678070049182343847970291782497177117962896737063423310208445702008898346744284826055505629114197257793786893330321040880382095992482326651954655184930295395058616021118661732349948950058322614661680896501510961219541787280561515164752486785796621279040010217309749702255808352467997388532663686384794767979794438777931413978123963919923656158142726663692431657185669476872973339962142878766873363404881865950115122212394615278743448354474867292221523109804045548741987694772851258679708527240085699230016949012211027413679735431232746239795232642028760645864777622360665394733647930985990209295521071823298147169132344690790927651514340737345000102352108482530857362893506169053043169461714357036310627202175423777826022716809438047068657924463722042938459005835498353483204757928086931688463026268438457584520964946853846315639356343179519835782144474496128775211796163828478819056057552555148659472504551754376436789940144415682344309092403668321199979742716657685527375892539720321573834494797205399893016208088779382747106301671844603439002426133753845342543242467625314728377694115223089380004917286892530496688235093898087142238452868624542589087790620708084511519343877951535104407217503070826613736711535773009110539284466176602830530891853008433530920825023138247159293459714011365842098745017316725115054811302908758016587355606940414502510088314291405372124044203918277368346444491450902761887418187543004393185344006380577611408556521499711179395598949865134835457364608048406468990934435937481640233762600379056549130999567076067550951941545994354798686437949497229068907825066714444241703620580169727219847803676477339357264178018703472089371752090487435655151555273882649061981254080901775850107260562102309723017910030662026320794232624740455088081416228560857244471608829618680414001688919157281596792147768997024138048990420708583807076866275993818177844269364133098366997047552456462927517423232111425514609791849402000012618792252644023481074486406317370322288624980498016462219485539570919358622048077042627759841723645993744427184698411316167394991853081341433649202469891245558354799070473682761600015516497746327269027187324470439550951164581888986785852318353594496069127850092261546286877672129914686617735894657668872327508140142600851721973952656845945042292862424936162164477467750235792320438836112091563177229776628646443516100346092513476364925047881374690213030948241650827938088864744500570861950797036862916706830459024304237924953279428511904764322731314790763445495365429576636655038790256375897650946665071848560134259285496998023376469255651954881614074110984802246093751
g=7
contribution table:{0, 1, 10, 16, 29, 36, 39, 44, 59, 44, 39, 36, 29, 16, 10, 1, 0}
*** a(t,u0,r):
35880
10
*** a(t,u0+1l^(t-1),r):
34485
9
result=O: Congruence does not hold. <=> deg D(t,r)=0 (Remark 1(II))

code version 3.3b
start=Mon 29 Apr 2024 08:53:48
end  =Mon 29 Apr 2024 11:50:25
elapsed(sec)=10597.401106