n7-L3-f2-r491-t1-ver3.3b.txt
p=127
g=3
contribution table:{0, 1, 247, 411, 534, 927, 1009, 1430, 1737, 2119, 2561, 2695, 2736, 3076, 3532, 3663, 4062, 4322, 4513, 4849, 5070, 5374, 5441, 5868, 6134, 6409, 6579, 6870, 7098, 7352, 7663, 8059, 8504, 8876, 9006, 9483, 9824, 9970, 10138, 10415, 10771, 10783, 10935, 11289, 11568, 11939, 12398, 12795, 12928, 13409, 13792, 14206, 14291, 14606, 14997, 15122, 15236, 15348, 15475, 15733, 16134, 16295, 16493, 16758, 17226, 17294, 17480, 17502, 17567, 17873, 18357, 18440, 18856, 18930, 19003, 19422, 19506, 19946, 20330, 20734, 20912, 21009, 21015, 21086, 21162, 21214, 21391, 21803, 22188, 22348, 22779, 23038, 23513, 23645, 24089, 24549, 24861, 24942, 25428, 25552, 25989, 26305, 26512, 26860, 27148, 27307, 27710, 28123, 28564, 29046, 29354, 29730, 29787, 30152, 30208, 30588, 30897, 31153, 31282, 31740, 32186, 32466, 32792, 32796, 32895, 32950, 33328, 33386, 33620, 33738, 33772, 33787, 33880, 33928, 33939, 34390, 34668, 35116, 35269, 35541, 35783, 36079, 36366, 36754, 36962, 37111, 37148, 37472, 37754, 37899, 38354, 38832, 38874, 39012, 39232, 39704, 39896, 40215, 40417, 40522, 40611, 40672, 40966, 41210, 41213, 41582, 41863, 42207, 42245, 42460, 42486, 42687, 43021, 43214, 43420, 43810, 44248, 44334, 44414, 44809, 45270, 45525, 45900, 46281, 46764, 47186, 47252, 47722, 47944, 48196, 48426, 48444, 48600, 48773, 49059, 49409, 49652, 49981, 50043, 50270, 50734, 50905, 51063, 51450, 51799, 52096, 52270, 52372, 52516, 52859, 53184, 53554, 54001, 54356, 54808, 54977, 55443, 55710, 55951, 56303, 56457, 56477, 56665, 56905, 57179, 57646, 58074, 58273, 58301, 58539, 58729, 59203, 59603, 60035, 60163, 60537, 60847, 61309, 61538, 61840, 62063, 62281, 62421, 62617, 62780, 63269, 62780, 62617, 62421, 62281, 62063, 61840, 61538, 61309, 60847, 60537, 60163, 60035, 59603, 59203, 58729, 58539, 58301, 58273, 58074, 57646, 57179, 56905, 56665, 56477, 56457, 56303, 55951, 55710, 55443, 54977, 54808, 54356, 54001, 53554, 53184, 52859, 52516, 52372, 52270, 52096, 51799, 51450, 51063, 50905, 50734, 50270, 50043, 49981, 49652, 49409, 49059, 48773, 48600, 48444, 48426, 48196, 47944, 47722, 47252, 47186, 46764, 46281, 45900, 45525, 45270, 44809, 44414, 44334, 44248, 43810, 43420, 43214, 43021, 42687, 42486, 42460, 42245, 42207, 41863, 41582, 41213, 41210, 40966, 40672, 40611, 40522, 40417, 40215, 39896, 39704, 39232, 39012, 38874, 38832, 38354, 37899, 37754, 37472, 37148, 37111, 36962, 36754, 36366, 36079, 35783, 35541, 35269, 35116, 34668, 34390, 33939, 33928, 33880, 33787, 33772, 33738, 33620, 33386, 33328, 32950, 32895, 32796, 32792, 32466, 32186, 31740, 31282, 31153, 30897, 30588, 30208, 30152, 29787, 29730, 29354, 29046, 28564, 28123, 27710, 27307, 27148, 26860, 26512, 26305, 25989, 25552, 25428, 24942, 24861, 24549, 24089, 23645, 23513, 23038, 22779, 22348, 22188, 21803, 21391, 21214, 21162, 21086, 21015, 21009, 20912, 20734, 20330, 19946, 19506, 19422, 19003, 18930, 18856, 18440, 18357, 17873, 17567, 17502, 17480, 17294, 17226, 16758, 16493, 16295, 16134, 15733, 15475, 15348, 15236, 15122, 14997, 14606, 14291, 14206, 13792, 13409, 12928, 12795, 12398, 11939, 11568, 11289, 10935, 10783, 10771, 10415, 10138, 9970, 9824, 9483, 9006, 8876, 8504, 8059, 7663, 7352, 7098, 6870, 6579, 6409, 6134, 5868, 5441, 5374, 5070, 4849, 4513, 4322, 4062, 3663, 3532, 3076, 2736, 2695, 2561, 2119, 1737, 1430, 1009, 927, 534, 411, 247, 1, 0}
*** a(t,0,r):
{{411, 1430, 3663, 7663, 16295, 32796, 62617}, 
 {19946, 39232, 45525, 33386, 60537, 4849, 10138}, 
 {18930, 37148, 49981, 24861, 48773, 27148, 52516}}
597845
298
*** a(t,1,r):
{{21214, 42486, 38354, 48196, 29787, 57179, 10935}, 
 {58301, 9006, 17873, 35541, 54001, 17294, 33787}, 
 {36754, 51799, 21009, 40966, 41863, 40417, 43214}}
749976
219
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.006215