n8-L3-f195-r131-t194-ver3.3b.txt
p=17488986921868297569631691985894954852953642973063012080630450155660410923542530567531502817713
g=5
contribution table:{0, 1, 67, 111, 144, 249, 271, 346, 428, 530, 648, 660, 671, 792, 895, 930, 971, 1025, 1076, 1145, 1204, 1229, 1235, 1292, 1363, 1384, 1510, 1544, 1661, 1783, 1866, 1959, 2045, 2049, 2076, 2091, 2182, 2267, 2367, 2451, 2546, 2562, 2640, 2704, 2707, 2806, 2900, 2992, 3093, 3216, 3292, 3310, 3373, 3462, 3479, 3560, 3684, 3707, 3768, 3788, 3895, 3953, 4065, 4117, 4160, 4289, 4160, 4117, 4065, 3953, 3895, 3788, 3768, 3707, 3684, 3560, 3479, 3462, 3373, 3310, 3292, 3216, 3093, 2992, 2900, 2806, 2707, 2704, 2640, 2562, 2546, 2451, 2367, 2267, 2182, 2091, 2076, 2049, 2045, 1959, 1866, 1783, 1661, 1544, 1510, 1384, 1363, 1292, 1235, 1229, 1204, 1145, 1076, 1025, 971, 930, 895, 792, 671, 660, 648, 530, 428, 346, 271, 249, 144, 111, 67, 1, 0}
*** a(t,u0,r):
{{0, 2992, 2992, 2049, 3093, 0, 2707, 3707}, {4289, 2267, 1866, 1866, 2992, 
  2562, 660, 1076}, {4289, 648, 3462, 4117, 2091, 2562, 3684, 3560}}
59531
57
*** a(t,u0+1l^(t-1),r):
{{1145, 2704, 428, 2704, 1235, 1783, 792, 3310}, 
 {2992, 3310, 111, 648, 3707, 1229, 1783, 3895}, 
 {1544, 346, 671, 2049, 3310, 346, 971, 1076}}
42089
38
result=O: Congruence does not hold. <=> deg D(t,r)=0 (Remark 1(II))

code version 3.3b
start=Fri 6 Sep 2024 15:43:45
end  =Fri 6 Sep 2024 15:43:45
elapsed(sec)=0.013501