n7-L3-f2-r383-t1-ver3.3b.txt
p=127
g=3
contribution table:{0, 1, 193, 321, 417, 647, 711, 930, 978, 1276, 1391, 1600, 1632, 1691, 1992, 2324, 2348, 2686, 2835, 2956, 3205, 3278, 3574, 3624, 3640, 3686, 3907, 4134, 4476, 4793, 4959, 5132, 5144, 5469, 5638, 5835, 6101, 6277, 6529, 6804, 7120, 7475, 7703, 7801, 7949, 8315, 8340, 8503, 8511, 8597, 8620, 8988, 9290, 9449, 9754, 9949, 10120, 10288, 10638, 10651, 10734, 11004, 11282, 11434, 11440, 11605, 11959, 12302, 12578, 12850, 13140, 13345, 13478, 13499, 13587, 13730, 13856, 14050, 14379, 14539, 14697, 15028, 15397, 15457, 15571, 15945, 15994, 16355, 16429, 16670, 16853, 17135, 17339, 17652, 17925, 18179, 18183, 18337, 18380, 18616, 18819, 19111, 19295, 19414, 19565, 19886, 20157, 20472, 20816, 21069, 21358, 21672, 21949, 22271, 22355, 22365, 22540, 22887, 23085, 23188, 23421, 23440, 23575, 23821, 23960, 24199, 24275, 24465, 24468, 24756, 25030, 25375, 25552, 25624, 25987, 26109, 26247, 26507, 26643, 26767, 26912, 27094, 27388, 27463, 27721, 27861, 28063, 28347, 28391, 28409, 28672, 28776, 28839, 29217, 29314, 29655, 30011, 30233, 30313, 30366, 30445, 30671, 31028, 31075, 31451, 31516, 31546, 31757, 31814, 31848, 32035, 32091, 32307, 32338, 32710, 32826, 32863, 32995, 33307, 33598, 33881, 34118, 34259, 34349, 34451, 34716, 35064, 35234, 35562, 35868, 35995, 36376, 35995, 35868, 35562, 35234, 35064, 34716, 34451, 34349, 34259, 34118, 33881, 33598, 33307, 32995, 32863, 32826, 32710, 32338, 32307, 32091, 32035, 31848, 31814, 31757, 31546, 31516, 31451, 31075, 31028, 30671, 30445, 30366, 30313, 30233, 30011, 29655, 29314, 29217, 28839, 28776, 28672, 28409, 28391, 28347, 28063, 27861, 27721, 27463, 27388, 27094, 26912, 26767, 26643, 26507, 26247, 26109, 25987, 25624, 25552, 25375, 25030, 24756, 24468, 24465, 24275, 24199, 23960, 23821, 23575, 23440, 23421, 23188, 23085, 22887, 22540, 22365, 22355, 22271, 21949, 21672, 21358, 21069, 20816, 20472, 20157, 19886, 19565, 19414, 19295, 19111, 18819, 18616, 18380, 18337, 18183, 18179, 17925, 17652, 17339, 17135, 16853, 16670, 16429, 16355, 15994, 15945, 15571, 15457, 15397, 15028, 14697, 14539, 14379, 14050, 13856, 13730, 13587, 13499, 13478, 13345, 13140, 12850, 12578, 12302, 11959, 11605, 11440, 11434, 11282, 11004, 10734, 10651, 10638, 10288, 10120, 9949, 9754, 9449, 9290, 8988, 8620, 8597, 8511, 8503, 8340, 8315, 7949, 7801, 7703, 7475, 7120, 6804, 6529, 6277, 6101, 5835, 5638, 5469, 5144, 5132, 4959, 4793, 4476, 4134, 3907, 3686, 3640, 3624, 3574, 3278, 3205, 2956, 2835, 2686, 2348, 2324, 1992, 1691, 1632, 1600, 1391, 1276, 978, 930, 711, 647, 417, 321, 193, 1, 0}
*** a(t,0,r):
{{321, 711, 1632, 3640, 8511, 18183, 35868}, {10734, 23421, 27094, 18616, 
  34349, 2324, 4959}, {10288, 22355, 29217, 13730, 28672, 15028, 31028}}
340681
194
*** a(t,1,r):
{{11959, 25552, 22887, 28347, 16355, 32710, 5469}, 
 {32995, 4134, 9754, 20816, 31516, 8988, 19295}, 
 {21672, 30366, 11434, 24275, 24756, 23821, 26109}}
433210
37
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.004576