n7-L3-f2-r257-t1-ver3.3b.txt
p=127
g=3
contribution table:{0, 1, 130, 216, 409, 512, 555, 702, 927, 1127, 1307, 1494, 1644, 1822, 2024, 2144, 2385, 2506, 2606, 2836, 2926, 2975, 3197, 3387, 3462, 3534, 3623, 3861, 3962, 4157, 4217, 4416, 4665, 4813, 5002, 5237, 5287, 5419, 5534, 5679, 5724, 5887, 6040, 6046, 6157, 6197, 6292, 6467, 6633, 6654, 6690, 6816, 6989, 7086, 7205, 7448, 7627, 7875, 8101, 8162, 8192, 8251, 8479, 8581, 8834, 8921, 8995, 9229, 9452, 9601, 9847, 10028, 10053, 10222, 10288, 10312, 10498, 10745, 10946, 11190, 11341, 11506, 11716, 11812, 12017, 12144, 12147, 12212, 12396, 12422, 12442, 12651, 12827, 12979, 13195, 13241, 13324, 13377, 13516, 13651, 13669, 13697, 13760, 13765, 13980, 14144, 14321, 14566, 14754, 14978, 15228, 15272, 15490, 15606, 15730, 15768, 15881, 16015, 16174, 16228, 16243, 16260, 16418, 16558, 16672, 16892, 16943, 17028, 17283, 17028, 16943, 16892, 16672, 16558, 16418, 16260, 16243, 16228, 16174, 16015, 15881, 15768, 15730, 15606, 15490, 15272, 15228, 14978, 14754, 14566, 14321, 14144, 13980, 13765, 13760, 13697, 13669, 13651, 13516, 13377, 13324, 13241, 13195, 12979, 12827, 12651, 12442, 12422, 12396, 12212, 12147, 12144, 12017, 11812, 11716, 11506, 11341, 11190, 10946, 10745, 10498, 10312, 10288, 10222, 10053, 10028, 9847, 9601, 9452, 9229, 8995, 8921, 8834, 8581, 8479, 8251, 8192, 8162, 8101, 7875, 7627, 7448, 7205, 7086, 6989, 6816, 6690, 6654, 6633, 6467, 6292, 6197, 6157, 6046, 6040, 5887, 5724, 5679, 5534, 5419, 5287, 5237, 5002, 4813, 4665, 4416, 4217, 4157, 3962, 3861, 3623, 3534, 3462, 3387, 3197, 2975, 2926, 2836, 2606, 2506, 2385, 2144, 2024, 1822, 1644, 1494, 1307, 1127, 927, 702, 555, 512, 409, 216, 130, 1, 0}
*** a(t,0,r):
{{130, 409, 927, 2385, 4665, 8834, 17028}, {5724, 11341, 13241, 8995, 16558, 
  1307, 2926}, {5534, 10498, 13765, 6690, 13697, 7205, 14978}}
166837
44
*** a(t,1,r):
{{6157, 12422, 10946, 13651, 8101, 16015, 3197}, 
 {16228, 2606, 5287, 10053, 15272, 5002, 9452}, 
 {10288, 14566, 6040, 12017, 12212, 11716, 12651}}
213879
55
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.016180