n7-L3-f2-r641-t1-ver3.3b.txt
p=127
g=3
contribution table:{0, 1, 322, 536, 1017, 1530, 1637, 2095, 2656, 2941, 3518, 3926, 4300, 4448, 4677, 4848, 5449, 5713, 6176, 6311, 6920, 7500, 7704, 7927, 8114, 8473, 8547, 8642, 9077, 9497, 9903, 10482, 11103, 11239, 11371, 11719, 12271, 12323, 12711, 12974, 13599, 13771, 14061, 14225, 14327, 14384, 14816, 15307, 15721, 15878, 16378, 16466, 16503, 16757, 17125, 17463, 18001, 18046, 18256, 18658, 18861, 19481, 20091, 20498, 21129, 21415, 21483, 21837, 21903, 22191, 22365, 22681, 22957, 23238, 23264, 23811, 24005, 24338, 24790, 25074, 25707, 26166, 26252, 26754, 26899, 27080, 27162, 27302, 27353, 27958, 28307, 28786, 29002, 29195, 29761, 29788, 29995, 30147, 30546, 30805, 31055, 31531, 31575, 32160, 32499, 32615, 32742, 32748, 32932, 33179, 33348, 33579, 33848, 34160, 34503, 34804, 34909, 35424, 35625, 36029, 36451, 36896, 37206, 37477, 37782, 37982, 38506, 38612, 39248, 39730, 39873, 40377, 40411, 40705, 40882, 40901, 40934, 41444, 41588, 42146, 42233, 42824, 42982, 43112, 43250, 43334, 43795, 44061, 44074, 44487, 45081, 45514, 45611, 45854, 46341, 46585, 46811, 46860, 47002, 47514, 48151, 48366, 48916, 49266, 49309, 49849, 50100, 50480, 50873, 50983, 51394, 51409, 51450, 51802, 51872, 52198, 52544, 52678, 53301, 53566, 54061, 54146, 54706, 55340, 55448, 55843, 56260, 56284, 56567, 57130, 57464, 57907, 58331, 58424, 58500, 58809, 59329, 59752, 60202, 60537, 60662, 60780, 61018, 61078, 61100, 61519, 62132, 62228, 62718, 63313, 63371, 63611, 63995, 64314, 64317, 64478, 64570, 65019, 65463, 65984, 66389, 67001, 67437, 67460, 67915, 68311, 68467, 69060, 69552, 69566, 70037, 70148, 70521, 71151, 71729, 72340, 72761, 73283, 73485, 74067, 74278, 74536, 75079, 75232, 75387, 75803, 76259, 76368, 76841, 77222, 77322, 77488, 77750, 78353, 78406, 78680, 78998, 79427, 79668, 79767, 80159, 80633, 80885, 80924, 80941, 81120, 81267, 81896, 82305, 82417, 82747, 82870, 83207, 83794, 84049, 84373, 84445, 84806, 85085, 85363, 85727, 85800, 86416, 86604, 86683, 86692, 86757, 87331, 87400, 87868, 87910, 88388, 88939, 89545, 89678, 90143, 90470, 90770, 91297, 91610, 91907, 92022, 92559, 93145, 93514, 93638, 94080, 94531, 95095, 95290, 95412, 95783, 95896, 96195, 96540, 97006, 97077, 97443, 97699, 97912, 98551, 97912, 97699, 97443, 97077, 97006, 96540, 96195, 95896, 95783, 95412, 95290, 95095, 94531, 94080, 93638, 93514, 93145, 92559, 92022, 91907, 91610, 91297, 90770, 90470, 90143, 89678, 89545, 88939, 88388, 87910, 87868, 87400, 87331, 86757, 86692, 86683, 86604, 86416, 85800, 85727, 85363, 85085, 84806, 84445, 84373, 84049, 83794, 83207, 82870, 82747, 82417, 82305, 81896, 81267, 81120, 80941, 80924, 80885, 80633, 80159, 79767, 79668, 79427, 78998, 78680, 78406, 78353, 77750, 77488, 77322, 77222, 76841, 76368, 76259, 75803, 75387, 75232, 75079, 74536, 74278, 74067, 73485, 73283, 72761, 72340, 71729, 71151, 70521, 70148, 70037, 69566, 69552, 69060, 68467, 68311, 67915, 67460, 67437, 67001, 66389, 65984, 65463, 65019, 64570, 64478, 64317, 64314, 63995, 63611, 63371, 63313, 62718, 62228, 62132, 61519, 61100, 61078, 61018, 60780, 60662, 60537, 60202, 59752, 59329, 58809, 58500, 58424, 58331, 57907, 57464, 57130, 56567, 56284, 56260, 55843, 55448, 55340, 54706, 54146, 54061, 53566, 53301, 52678, 52544, 52198, 51872, 51802, 51450, 51409, 51394, 50983, 50873, 50480, 50100, 49849, 49309, 49266, 48916, 48366, 48151, 47514, 47002, 46860, 46811, 46585, 46341, 45854, 45611, 45514, 45081, 44487, 44074, 44061, 43795, 43334, 43250, 43112, 42982, 42824, 42233, 42146, 41588, 41444, 40934, 40901, 40882, 40705, 40411, 40377, 39873, 39730, 39248, 38612, 38506, 37982, 37782, 37477, 37206, 36896, 36451, 36029, 35625, 35424, 34909, 34804, 34503, 34160, 33848, 33579, 33348, 33179, 32932, 32748, 32742, 32615, 32499, 32160, 31575, 31531, 31055, 30805, 30546, 30147, 29995, 29788, 29761, 29195, 29002, 28786, 28307, 27958, 27353, 27302, 27162, 27080, 26899, 26754, 26252, 26166, 25707, 25074, 24790, 24338, 24005, 23811, 23264, 23238, 22957, 22681, 22365, 22191, 21903, 21837, 21483, 21415, 21129, 20498, 20091, 19481, 18861, 18658, 18256, 18046, 18001, 17463, 17125, 16757, 16503, 16466, 16378, 15878, 15721, 15307, 14816, 14384, 14327, 14225, 14061, 13771, 13599, 12974, 12711, 12323, 12271, 11719, 11371, 11239, 11103, 10482, 9903, 9497, 9077, 8642, 8547, 8473, 8114, 7927, 7704, 7500, 6920, 6311, 6176, 5713, 5449, 4848, 4677, 4448, 4300, 3926, 3518, 2941, 2656, 2095, 1637, 1530, 1017, 536, 322, 1, 0}
*** a(t,0,r):
{{1530, 3518, 6920, 13599, 25707, 48366, 97443}, 
 {31055, 60780, 73283, 50100, 94531, 8473, 16378}, 
 {29788, 57907, 79427, 38506, 77750, 40934, 83207}}
939202
137
*** a(t,1,r):
{{33579, 67437, 59329, 76368, 43795, 88939, 17463}, 
 {90770, 14384, 28307, 54146, 84806, 27080, 51409}, 
 {56260, 81896, 32615, 63611, 65019, 62132, 69060}}
1168405
503
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.004553