n91-L5-f9345-r47-t9343-ver3.3b.txt
p=1363835240427969080662322746580049751124411059848868121017811906300751019226505416136255296498556327687479856718859033184130220169323056040636974560134195976384561809425079895083435512856343200480314651427565756038705298828904884111951001188141223256637393764563312824672200382077524670104385964594429154575662639943425621923611795470130796767692570088914605111045647254204036819487616891302778337741751971714202679479494470326759169077514169309599420987665065603957256726571180511791954072446579596275525813749112297623107312899482515918422941977946949046018348730627103745673030786345413234860780806905114471277646527909138488048051906581520004295542940736542250433982233778495862335939345236918437645732544559047364566651848377356720416331157656089597516750519358163410275559516288867884317067537231298927243191722082328338868409663157871748377592040013293343744544457884513290267081175142882032623806219344754595530056808332200202020949363223381811633047895687685204937434296031484524383945332880063060593359130246608436264197351740599588884999313888173262828107486595909034713464550295275873356799483168361511898717920993663449614391146394876045068827675182151445191845053815867781283388392658712442777698720419690685588893812038157611051435555885066024910104972610223513889698901872321186891976026766084794412864167993683069088549472437122607120136351844809946848008945647156094480828714790594636098168732600254843586045275054794341652175722238607272067506220791174209141452496627391836273907935510814065169481262637825302557905065516914027337572747840145823689128192304100396903522791018232470420695836548768207301905929439033007520338461321625420727669416060076380093555669771053387577600715656783060016258936771909713922788330689186161219760193104227775543208325455433778280879909016826769663953142276864708967254484619116519705942640997011031234226091969982634514208062044973334278911393963141968402844222722632475108048800966378162609193662610361826837403229765477983105577219617730741785865273147325050549482744396043322042215425278336314199302101822953817395169716498681656937153033212496508659272539181263055479215655957565512039983688050489961301692556364821750814289509276117188948992838397896388953885466758316366531814431423746883933026942463719821684864806495298111991645163893125867032219277260508908149139229637990385957710913582858590415191941008675773403590767647513048648539158405080664356241494785957252148011705286710771278280555905042004309070889435968924170926807576128484361598514248738364118993252579803297275945975101096098758064978584769648877769225754608041179205879902385082794174986108569257425118184035307622057600291236036066986726351450078589704120858167283416084688817476105829333086458878651082662974133486719523437535571056937480221485227590788981603205777329217495354577141577832080691961001302597491957268459088261367416075992949283994526626794970770715468783867340641408138404897105683914142648250415202158112942170222973770051115762533471683232933482493043426447233112210610285155638913797090534850154514111720034988412441888492953616391842893633629656775192575651759463859633094744230059778955861052589155369500428647839969010450302763920224160773894315586222699375950871755982358081911184441263585382062347647562921097740998216358242344822779300902116633280280523127482373150020517289484369621627706328424901854191879584683291798842601019067289001345491267950204823251923116524553379024480476551208890034605555508366668689433232061715794534163283252575548681540191705594998740536958180752111487512890786856201103247032895179307372560965919518429172451910684967284986299354713958656770285086152890785859909301136532874690300250668599937716179880780754126950584281646550955965531784118682954878974402686189196351130059604777122180450350662510398248608057225232762067533186389850579314785844082006334516659842607537930538734367183396294620959193000258151442864950355017776121773015070313698488701044492166195349269569280345515760822197323972487002237656174845071484955829519502273676030236202814525270987571603762193969316175097611673145080905946048803831936546672714118421611859527075733252543624853946267488312673093684252511455873434859209823504332229781489829208940756127797563443039437904504846158068455865458875780931051590682418248914751374427180489296318371486079474719013689651469393667409003888996353893553317009501403642982570899422533518626710088288890172452262876719507969890949561578404107619675367588424687689931042180267674574375985808800172667664639142360894870449057025305630811710388607630217150647421163977661690540293157875452283012011919908266229590090332069438711449056841261635841269175061631001356163633994442101170143087238689153057180715428956875420625226076835396188584016372448827807776304760544529085476023472343891625592230915285156562632814169478591367878496584501926605628941660405393025648219434542537593079080674119274282414483614200482768519206253140588547207191408794281026217072222853406991683965536169669193421147693265714985652445465234132767854895220702413215405238310410595786234174807476437432055095676800363336933567199850015766111659027029056802939617725171781729672088937211297495810376564717133540806023160882479189753241797400676551644099628587819144762017100319334608934858350427578937496211583215327328517036324597154295744450576400107742403759009068296051965017465695252928799874331373949554392135224329766200398190839194024578941194548992148434221772147688616819553734634937440680019673907471103964372389877038193602469170658292094167952901892865157029249840706787588435939489815229787665823736190914396317216474549625673126836699400889309857775050529894697400043071743859469766160862287956087557547202957081876739869752650267655666462208864282883320331561655303230118277464847952712024681272479249712711268502957049305267627684930186855396079385609272012539325428482934056262001076976160375941437555162135363858833038055554771327418188392551639085251681154474501296846396334847310243231173283001047283390059597707862416265669682890749959274033443222331317778002854038277079662078785242270326812179973208007821935351306437797733820318430857262295375926355054093229098327090662498101446049632479155620159684971160330377692369102646452245886899384268639461236784815920375628886586789559809123229953583447974395707593129292946652815340791175424578769356251309070389281950347063649186760245366711209328795483032236399471663802248176113741635306591162970285540957374758256368882052448010044817235602394520088687102088442770764231681823730468751
g=7
contribution table:{0, 1, 25, 41, 53, 72, 80, 107, 113, 134, 167, 197, 201, 230, 267, 289, 292, 328, 362, 367, 407, 416, 431, 476, 431, 416, 407, 367, 362, 328, 292, 289, 267, 230, 201, 197, 167, 134, 113, 107, 80, 72, 53, 41, 25, 1, 0}
*** a(t,u0,r):
464988
17
*** a(t,u0+1l^(t-1),r):
472205
43
result=O: Congruence does not hold. <=> deg D(t,r)=0 (Remark 1(II))

code version 3.3b
start=Sun 5 May 2024 23:11:42
end  =Mon 6 May 2024 01:03:37
elapsed(sec)=6715.690677