n7-L3-f2-r317-t1-ver3.3b.txt
p=127
g=3
contribution table:{0, 1, 160, 266, 504, 631, 684, 820, 939, 1080, 1302, 1475, 1660, 1782, 1850, 1998, 2216, 2272, 2501, 2768, 2879, 3030, 3275, 3468, 3719, 3998, 4059, 4106, 4140, 4304, 4378, 4603, 4712, 4981, 5009, 5163, 5436, 5496, 5788, 6040, 6254, 6370, 6604, 6663, 6944, 7099, 7354, 7381, 7665, 7775, 8073, 8303, 8492, 8498, 8680, 8778, 8795, 8884, 8966, 9009, 9046, 9072, 9343, 9499, 9712, 9990, 10283, 10477, 10491, 10661, 10738, 10930, 11225, 11377, 11407, 11500, 11646, 11716, 11842, 12155, 12262, 12489, 12547, 12822, 12939, 13077, 13265, 13531, 13830, 13887, 14123, 14231, 14517, 14592, 14764, 15071, 15213, 15347, 15402, 15703, 15852, 15965, 16080, 16357, 16610, 16767, 16770, 16850, 16941, 16973, 17022, 17042, 17209, 17310, 17513, 17615, 17656, 17740, 17920, 17928, 18105, 18236, 18249, 18499, 18793, 19039, 19117, 19122, 19387, 19618, 19757, 19878, 20183, 20357, 20454, 20717, 20724, 20923, 21008, 21138, 21335, 21344, 21440, 21624, 21930, 22153, 22229, 22477, 22492, 22592, 22797, 22818, 22891, 23179, 23214, 23259, 23322, 23427, 23742, 23427, 23322, 23259, 23214, 23179, 22891, 22818, 22797, 22592, 22492, 22477, 22229, 22153, 21930, 21624, 21440, 21344, 21335, 21138, 21008, 20923, 20724, 20717, 20454, 20357, 20183, 19878, 19757, 19618, 19387, 19122, 19117, 19039, 18793, 18499, 18249, 18236, 18105, 17928, 17920, 17740, 17656, 17615, 17513, 17310, 17209, 17042, 17022, 16973, 16941, 16850, 16770, 16767, 16610, 16357, 16080, 15965, 15852, 15703, 15402, 15347, 15213, 15071, 14764, 14592, 14517, 14231, 14123, 13887, 13830, 13531, 13265, 13077, 12939, 12822, 12547, 12489, 12262, 12155, 11842, 11716, 11646, 11500, 11407, 11377, 11225, 10930, 10738, 10661, 10491, 10477, 10283, 9990, 9712, 9499, 9343, 9072, 9046, 9009, 8966, 8884, 8795, 8778, 8680, 8498, 8492, 8303, 8073, 7775, 7665, 7381, 7354, 7099, 6944, 6663, 6604, 6370, 6254, 6040, 5788, 5496, 5436, 5163, 5009, 4981, 4712, 4603, 4378, 4304, 4140, 4106, 4059, 3998, 3719, 3468, 3275, 3030, 2879, 2768, 2501, 2272, 2216, 1998, 1850, 1782, 1660, 1475, 1302, 1080, 939, 820, 684, 631, 504, 266, 160, 1, 0}
*** a(t,0,r):
{{160, 504, 1080, 2768, 6040, 12155, 23427}, {7775, 15703, 17740, 12547, 
  22891, 1660, 3719}, {7381, 14764, 19122, 9343, 18793, 10477, 20454}}
228503
263
*** a(t,1,r):
{{8680, 16973, 15347, 18249, 11225, 21930, 4106}, 
 {22477, 3275, 6944, 13887, 20923, 6604, 12939}, 
 {14517, 20183, 8492, 16610, 16850, 16080, 17209}}
293500
275
result=O: Congruence does not hold. <=> deg D(t,r)=0 (Remark 1(II))

code version 3.3b
start=Thu 12 Sep 2024 13:54:37
end  =Thu 12 Sep 2024 13:54:37
elapsed(sec)=0.002700