n80-L3-f5840-r23-t5838-ver3.3b.txt
p=39106373647297438715998629771157266165400013608607039508203025714797750272971900949417893264943434239479370940016335728703238289088742085590533308112629692291439752486465802668294252589907531954325054443939603237402561088828085215701190890158060578223024347859660418681204376689427572931764229140616312122141887824452353561127050273151201516801921855159136869363948831960888336492605116640112636646046990300128470295401385900763918429481249924895766710064641360664679758306128796353918966592681846394382124050647294665945757800530956859141463898075455236495619000259346433662278704184100085180460590388906340744621373769446025760074416259587602435838366919313475260511613607728235298153165048335395898551223961163799652191095383730539055433116538490806321802866452175679004986379810882363589048892762007275144395525525882539358033818225871343744831699416890828347776927022688892756847834317849320237638867664549473331550851205468526982925773601801181335374314841449324221049131017849947789400177749861807741224133037410934199183864166703692408357818358612118592194725109200597477613453076626385268461378624818088134430863407854613291813808431746304891802815336411874333740688806534441098402705441096835206124503471298589265286268135951885868003089322479577168794486751715152280483833196852913583883579810052008199723041816037347441941914355019026001613327291353973551027644848763404821097395716923405226099299943647385955038315525366265781862526596263890039875975817868104482776814363936284906854784076804458965232116358753748343850158414237782312423760488847610951375793428754408136507540252984378780521651159460841391235032617252267707544668886098031343292893598258057078572545373376345496574489489719540213665359101122358690264609826891972894736083806765547305083239349413861234522385892659254643734458754135056358672214462283205666334597087032417345805648173885323053033799176677091267663617465965643290684704425500511471334862591516492064710134260332535913568211214158157383791400474416978893281301579859236726235142817679848816096902922473567497017144403896160716053784668613349680800629253485482971757818914491137195217303604986961940697997490762979007287604724742202140650802233085014308712483914054206149827754029714699115405960805865890623111076538744758262641799968092500448294110384834817107292345793848827198302473691449480056066198356531251295910077178389820315183286168349049972835754493642970997305150023447388126989129206685039821776090067537889053001555336048673269631334485294533644868606492362413574849921021043443916851796824685576695133919727774890811333917558824595278095408069508625483218741202923443592766791867912936960709899351130124773602700032288710031877600277393196901363994148733722537695285884015528402396173527126543972372325392776634733372290575040768161
g=14
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):
30166
13
*** a(t,u0+1l^(t-1),r):
29014
11
result=O: Congruence does not hold. <=> deg D(t,r)=0 (Remark 1(II))

code version 3.3a
start=Fri 23 Feb 2024 20:38:03
end  =Fri 23 Feb 2024 20:43:34
elapsed(sec)=331.483941