n7-L3-f2-r281-t1-ver3.3b.txt
p=127
g=3
contribution table:{0, 1, 142, 236, 447, 672, 719, 960, 1206, 1331, 1584, 1814, 1978, 2151, 2412, 2487, 2610, 2858, 3061, 3135, 3402, 3576, 3691, 3801, 3883, 3928, 4155, 4384, 4655, 4781, 4959, 5095, 5297, 5561, 5685, 5958, 6200, 6238, 6275, 6520, 6794, 6842, 6929, 7112, 7310, 7335, 7390, 7396, 7437, 7632, 7795, 8065, 8319, 8547, 8802, 8848, 9124, 9336, 9399, 9580, 9669, 9798, 9866, 9924, 10025, 10172, 10304, 10455, 10517, 10741, 11018, 11113, 11234, 11311, 11330, 11345, 11504, 11577, 11840, 12089, 12226, 12396, 12420, 12657, 12841, 13003, 13235, 13277, 13376, 13436, 13589, 13694, 13862, 14001, 14004, 14075, 14236, 14433, 14671, 14759, 14981, 15045, 15180, 15431, 15558, 15649, 15763, 16023, 16291, 16456, 16479, 16679, 16817, 17006, 17112, 17134, 17306, 17575, 17806, 18002, 18187, 18259, 18464, 18480, 18514, 18523, 18552, 18656, 18847, 18908, 19122, 19255, 19321, 19452, 19668, 19770, 19801, 19881, 19993, 20086, 20365, 20086, 19993, 19881, 19801, 19770, 19668, 19452, 19321, 19255, 19122, 18908, 18847, 18656, 18552, 18523, 18514, 18480, 18464, 18259, 18187, 18002, 17806, 17575, 17306, 17134, 17112, 17006, 16817, 16679, 16479, 16456, 16291, 16023, 15763, 15649, 15558, 15431, 15180, 15045, 14981, 14759, 14671, 14433, 14236, 14075, 14004, 14001, 13862, 13694, 13589, 13436, 13376, 13277, 13235, 13003, 12841, 12657, 12420, 12396, 12226, 12089, 11840, 11577, 11504, 11345, 11330, 11311, 11234, 11113, 11018, 10741, 10517, 10455, 10304, 10172, 10025, 9924, 9866, 9798, 9669, 9580, 9399, 9336, 9124, 8848, 8802, 8547, 8319, 8065, 7795, 7632, 7437, 7396, 7390, 7335, 7310, 7112, 6929, 6842, 6794, 6520, 6275, 6238, 6200, 5958, 5685, 5561, 5297, 5095, 4959, 4781, 4655, 4384, 4155, 3928, 3883, 3801, 3691, 3576, 3402, 3135, 3061, 2858, 2610, 2487, 2412, 2151, 1978, 1814, 1584, 1331, 1206, 960, 719, 672, 447, 236, 142, 1, 0}
*** a(t,0,r):
{{142, 447, 1206, 2858, 5958, 11018, 20086}, {7310, 13376, 15431, 11311, 
  19668, 1814, 3691}, {6929, 12841, 16817, 8848, 16479, 9580, 18002}}
203812
87
*** a(t,1,r):
{{7437, 14433, 13235, 16291, 10025, 18847, 3883}, 
 {19122, 3135, 6520, 12089, 18259, 6238, 11345}, 
 {12396, 17575, 7390, 13862, 14075, 13589, 14759}}
254505
200
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.002704