n7-L3-f2-r347-t1-ver3.3b.txt
p=127
g=3
contribution table:{0, 1, 175, 291, 378, 517, 575, 823, 1040, 1310, 1553, 1837, 1866, 2133, 2257, 2419, 2701, 2946, 3081, 3355, 3650, 3964, 4106, 4272, 4460, 4696, 5003, 5093, 5155, 5167, 5248, 5304, 5445, 5771, 6067, 6186, 6427, 6699, 6836, 6925, 7246, 7483, 7640, 7753, 7824, 7878, 7961, 8057, 8151, 8236, 8354, 8667, 8994, 9269, 9314, 9579, 9610, 9817, 9823, 9923, 10137, 10393, 10421, 10757, 11001, 11332, 11495, 11697, 11845, 12016, 12249, 12293, 12587, 12915, 13051, 13361, 13603, 13941, 14159, 14282, 14616, 14646, 14938, 14984, 15236, 15285, 15515, 15519, 15728, 15767, 15794, 16080, 16295, 16545, 16593, 16856, 16903, 17157, 17373, 17713, 17772, 17906, 18236, 18519, 18856, 19127, 19438, 19558, 19754, 19910, 20216, 20538, 20727, 20770, 21047, 21219, 21222, 21483, 21533, 21568, 21675, 21827, 21955, 22034, 22048, 22234, 22402, 22596, 22718, 22987, 23326, 23575, 23830, 24117, 24218, 24236, 24310, 24348, 24607, 24612, 24902, 24934, 24956, 25138, 25285, 25565, 25729, 25873, 25941, 26118, 26273, 26512, 26633, 26853, 27022, 27172, 27281, 27323, 27558, 27881, 28048, 28270, 28285, 28351, 28497, 28701, 28724, 28884, 29010, 29164, 29362, 29431, 29546, 29891, 29546, 29431, 29362, 29164, 29010, 28884, 28724, 28701, 28497, 28351, 28285, 28270, 28048, 27881, 27558, 27323, 27281, 27172, 27022, 26853, 26633, 26512, 26273, 26118, 25941, 25873, 25729, 25565, 25285, 25138, 24956, 24934, 24902, 24612, 24607, 24348, 24310, 24236, 24218, 24117, 23830, 23575, 23326, 22987, 22718, 22596, 22402, 22234, 22048, 22034, 21955, 21827, 21675, 21568, 21533, 21483, 21222, 21219, 21047, 20770, 20727, 20538, 20216, 19910, 19754, 19558, 19438, 19127, 18856, 18519, 18236, 17906, 17772, 17713, 17373, 17157, 16903, 16856, 16593, 16545, 16295, 16080, 15794, 15767, 15728, 15519, 15515, 15285, 15236, 14984, 14938, 14646, 14616, 14282, 14159, 13941, 13603, 13361, 13051, 12915, 12587, 12293, 12249, 12016, 11845, 11697, 11495, 11332, 11001, 10757, 10421, 10393, 10137, 9923, 9823, 9817, 9610, 9579, 9314, 9269, 8994, 8667, 8354, 8236, 8151, 8057, 7961, 7878, 7824, 7753, 7640, 7483, 7246, 6925, 6836, 6699, 6427, 6186, 6067, 5771, 5445, 5304, 5248, 5167, 5155, 5093, 5003, 4696, 4460, 4272, 4106, 3964, 3650, 3355, 3081, 2946, 2701, 2419, 2257, 2133, 1866, 1837, 1553, 1310, 1040, 823, 575, 517, 378, 291, 175, 1, 0}
*** a(t,0,r):
{{175, 517, 1553, 3964, 7753, 15519, 29546}, {9314, 19910, 22718, 15794, 
  28724, 2133, 5093}, {8667, 18519, 24612, 11845, 24310, 12915, 25873}}
289454
56
*** a(t,1,r):
{{10137, 21675, 19438, 24117, 14282, 27558, 5248}, 
 {28270, 4460, 8236, 17373, 26273, 7961, 16295}, 
 {17906, 25285, 9817, 21047, 21483, 20727, 21955}}
369543
335
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.003713