n7-L3-f2-r587-t1-ver3.3b.txt
p=127
g=3
contribution table:{0, 1, 295, 491, 638, 873, 971, 1055, 1422, 1683, 2094, 2521, 2570, 2841, 2883, 3157, 3634, 4152, 4576, 4885, 5384, 5412, 5919, 6455, 6773, 6820, 7249, 7336, 7357, 7438, 7575, 7878, 8410, 8748, 9007, 9376, 9588, 9826, 10274, 10560, 11103, 11418, 11432, 11746, 12293, 12580, 12848, 12873, 13032, 13044, 13361, 13925, 14433, 14577, 14914, 15469, 15773, 15876, 16210, 16409, 16771, 16848, 17293, 17498, 17764, 18053, 18222, 18406, 18829, 19399, 19877, 20340, 20446, 20639, 20758, 21165, 21389, 21450, 21593, 22128, 22693, 22722, 23173, 23661, 23668, 23889, 24046, 24073, 24640, 24950, 25387, 25845, 25979, 26080, 26386, 26800, 27173, 27524, 27530, 28034, 28486, 28579, 28861, 28918, 29172, 29295, 29367, 29762, 30224, 30741, 31312, 31587, 31739, 32139, 32484, 32826, 32993, 33284, 33677, 33751, 33932, 34291, 34623, 34728, 35244, 35723, 36119, 36327, 36460, 36956, 37394, 37748, 38126, 38254, 38346, 38833, 39338, 39368, 39653, 40202, 40441, 40645, 41170, 41248, 41301, 41552, 41942, 41946, 42299, 42756, 43253, 43564, 43676, 43864, 44188, 44366, 44731, 44817, 45378, 45426, 46002, 46414, 46722, 47291, 47810, 47995, 48239, 48355, 48652, 48718, 49122, 49352, 49724, 50216, 50523, 50949, 51526, 51788, 51943, 52166, 52678, 52798, 53027, 53444, 53511, 53676, 54020, 54494, 54647, 54911, 55118, 55579, 56059, 56132, 56601, 56893, 56896, 57337, 57589, 57648, 57874, 58131, 58471, 58818, 58959, 59022, 59344, 59534, 59661, 60116, 60471, 60688, 60724, 61074, 61565, 61980, 62211, 62422, 62974, 63234, 63813, 63898, 64329, 64508, 64584, 65111, 65311, 65642, 66108, 66290, 66461, 66677, 67054, 67510, 67949, 67954, 68444, 68818, 68855, 68995, 69379, 69720, 70193, 70594, 70760, 71232, 71578, 71963, 72221, 72775, 73308, 73453, 73651, 74180, 74284, 74749, 75109, 75310, 75558, 75592, 75811, 75820, 75997, 76430, 76619, 77000, 77064, 77363, 77409, 77972, 78509, 78522, 79068, 79612, 79627, 79738, 80174, 80672, 81240, 81665, 82078, 82571, 82673, 83204, 83760, 83898, 83937, 83982, 84302, 84367, 84786, 84903, 85098, 85683, 85098, 84903, 84786, 84367, 84302, 83982, 83937, 83898, 83760, 83204, 82673, 82571, 82078, 81665, 81240, 80672, 80174, 79738, 79627, 79612, 79068, 78522, 78509, 77972, 77409, 77363, 77064, 77000, 76619, 76430, 75997, 75820, 75811, 75592, 75558, 75310, 75109, 74749, 74284, 74180, 73651, 73453, 73308, 72775, 72221, 71963, 71578, 71232, 70760, 70594, 70193, 69720, 69379, 68995, 68855, 68818, 68444, 67954, 67949, 67510, 67054, 66677, 66461, 66290, 66108, 65642, 65311, 65111, 64584, 64508, 64329, 63898, 63813, 63234, 62974, 62422, 62211, 61980, 61565, 61074, 60724, 60688, 60471, 60116, 59661, 59534, 59344, 59022, 58959, 58818, 58471, 58131, 57874, 57648, 57589, 57337, 56896, 56893, 56601, 56132, 56059, 55579, 55118, 54911, 54647, 54494, 54020, 53676, 53511, 53444, 53027, 52798, 52678, 52166, 51943, 51788, 51526, 50949, 50523, 50216, 49724, 49352, 49122, 48718, 48652, 48355, 48239, 47995, 47810, 47291, 46722, 46414, 46002, 45426, 45378, 44817, 44731, 44366, 44188, 43864, 43676, 43564, 43253, 42756, 42299, 41946, 41942, 41552, 41301, 41248, 41170, 40645, 40441, 40202, 39653, 39368, 39338, 38833, 38346, 38254, 38126, 37748, 37394, 36956, 36460, 36327, 36119, 35723, 35244, 34728, 34623, 34291, 33932, 33751, 33677, 33284, 32993, 32826, 32484, 32139, 31739, 31587, 31312, 30741, 30224, 29762, 29367, 29295, 29172, 28918, 28861, 28579, 28486, 28034, 27530, 27524, 27173, 26800, 26386, 26080, 25979, 25845, 25387, 24950, 24640, 24073, 24046, 23889, 23668, 23661, 23173, 22722, 22693, 22128, 21593, 21450, 21389, 21165, 20758, 20639, 20446, 20340, 19877, 19399, 18829, 18406, 18222, 18053, 17764, 17498, 17293, 16848, 16771, 16409, 16210, 15876, 15773, 15469, 14914, 14577, 14433, 13925, 13361, 13044, 13032, 12873, 12848, 12580, 12293, 11746, 11432, 11418, 11103, 10560, 10274, 9826, 9588, 9376, 9007, 8748, 8410, 7878, 7575, 7438, 7357, 7336, 7249, 6820, 6773, 6455, 5919, 5412, 5384, 4885, 4576, 4152, 3634, 3157, 2883, 2841, 2570, 2521, 2094, 1683, 1422, 1055, 971, 873, 638, 491, 295, 1, 0}
*** a(t,0,r):
{{638, 1683, 4576, 9588, 20639, 41946, 84903}, 
 {25979, 53511, 62422, 43676, 82571, 6455, 12848}, 
 {24073, 50949, 67954, 32826, 66677, 35244, 72775}}
801933
91
*** a(t,1,r):
{{28579, 58818, 52678, 65311, 38346, 77409, 13361}, 
 {79068, 11418, 23661, 48239, 74284, 21593, 44817}, 
 {49352, 70760, 27524, 56601, 57589, 54911, 59534}}
1013853
104
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.005527