n7-L3-f2-r659-t1-ver3.3b.txt
p=127
g=3
contribution table:{0, 1, 331, 551, 716, 848, 958, 1523, 1935, 2228, 2294, 2354, 2409, 2916, 3528, 3572, 3778, 4282, 4758, 5313, 5346, 5754, 5784, 5870, 6227, 6517, 7100, 7637, 7943, 8193, 8215, 8789, 8892, 8912, 9164, 9277, 9515, 9800, 10407, 10576, 10922, 11356, 11560, 11606, 11621, 12075, 12118, 12763, 13271, 13540, 13685, 13853, 14474, 14760, 15358, 15370, 15523, 15708, 15833, 16425, 16436, 17041, 17328, 17464, 17845, 18210, 18220, 18820, 18946, 19414, 19800, 20162, 20281, 20606, 21078, 21614, 22247, 22538, 22952, 23269, 23442, 23621, 23838, 24235, 24337, 24965, 24988, 25291, 25628, 25939, 26166, 26615, 26966, 27377, 28029, 28140, 28394, 28625, 29089, 29535, 29937, 30198, 30282, 30314, 30954, 31431, 31574, 31845, 32144, 32670, 32676, 32771, 33177, 33212, 33634, 33783, 34175, 34451, 34747, 34819, 35154, 35459, 36091, 36675, 37148, 37206, 37274, 37466, 37986, 38221, 38733, 39226, 39231, 39781, 40081, 40452, 40515, 40794, 41028, 41559, 41752, 41967, 42148, 42254, 42643, 42693, 43185, 43714, 43950, 44065, 44333, 44944, 45590, 45646, 46121, 46763, 46970, 47310, 47798, 48113, 48529, 49012, 49431, 49807, 50245, 50249, 50777, 51290, 51341, 51380, 51694, 52195, 52536, 52616, 53097, 53515, 54013, 54430, 54915, 54996, 55439, 55581, 56135, 56776, 57281, 57338, 57873, 58458, 58784, 59049, 59434, 60024, 60151, 60291, 60736, 61297, 61529, 61810, 62033, 62490, 62691, 62891, 63351, 63575, 63617, 64231, 64247, 64403, 64723, 65073, 65641, 65869, 66270, 66830, 67295, 67436, 67915, 67997, 68260, 68588, 68591, 69086, 69463, 69661, 69864, 70482, 70829, 70919, 71130, 71389, 71793, 71890, 72086, 72465, 72603, 72732, 72880, 73425, 73461, 73836, 74333, 74817, 75299, 75798, 76114, 76695, 76987, 77638, 78204, 78556, 78585, 79223, 79257, 79804, 79900, 80329, 80589, 81148, 81595, 81824, 82080, 82181, 82757, 82975, 83307, 83496, 83771, 84314, 84464, 84513, 85028, 85135, 85496, 86085, 86554, 86820, 86937, 87301, 87896, 88033, 88459, 88656, 89093, 89589, 90009, 90046, 90099, 90161, 90685, 90986, 91011, 91088, 91334, 91343, 91937, 92319, 92437, 93025, 93412, 93520, 93654, 93943, 94578, 94665, 94988, 95109, 95137, 95547, 96114, 96564, 96885, 96974, 97407, 98026, 98196, 98355, 98599, 98678, 99165, 99667, 99875, 100185, 100756, 101060, 101599, 101672, 101860, 102255, 102474, 103131, 102474, 102255, 101860, 101672, 101599, 101060, 100756, 100185, 99875, 99667, 99165, 98678, 98599, 98355, 98196, 98026, 97407, 96974, 96885, 96564, 96114, 95547, 95137, 95109, 94988, 94665, 94578, 93943, 93654, 93520, 93412, 93025, 92437, 92319, 91937, 91343, 91334, 91088, 91011, 90986, 90685, 90161, 90099, 90046, 90009, 89589, 89093, 88656, 88459, 88033, 87896, 87301, 86937, 86820, 86554, 86085, 85496, 85135, 85028, 84513, 84464, 84314, 83771, 83496, 83307, 82975, 82757, 82181, 82080, 81824, 81595, 81148, 80589, 80329, 79900, 79804, 79257, 79223, 78585, 78556, 78204, 77638, 76987, 76695, 76114, 75798, 75299, 74817, 74333, 73836, 73461, 73425, 72880, 72732, 72603, 72465, 72086, 71890, 71793, 71389, 71130, 70919, 70829, 70482, 69864, 69661, 69463, 69086, 68591, 68588, 68260, 67997, 67915, 67436, 67295, 66830, 66270, 65869, 65641, 65073, 64723, 64403, 64247, 64231, 63617, 63575, 63351, 62891, 62691, 62490, 62033, 61810, 61529, 61297, 60736, 60291, 60151, 60024, 59434, 59049, 58784, 58458, 57873, 57338, 57281, 56776, 56135, 55581, 55439, 54996, 54915, 54430, 54013, 53515, 53097, 52616, 52536, 52195, 51694, 51380, 51341, 51290, 50777, 50249, 50245, 49807, 49431, 49012, 48529, 48113, 47798, 47310, 46970, 46763, 46121, 45646, 45590, 44944, 44333, 44065, 43950, 43714, 43185, 42693, 42643, 42254, 42148, 41967, 41752, 41559, 41028, 40794, 40515, 40452, 40081, 39781, 39231, 39226, 38733, 38221, 37986, 37466, 37274, 37206, 37148, 36675, 36091, 35459, 35154, 34819, 34747, 34451, 34175, 33783, 33634, 33212, 33177, 32771, 32676, 32670, 32144, 31845, 31574, 31431, 30954, 30314, 30282, 30198, 29937, 29535, 29089, 28625, 28394, 28140, 28029, 27377, 26966, 26615, 26166, 25939, 25628, 25291, 24988, 24965, 24337, 24235, 23838, 23621, 23442, 23269, 22952, 22538, 22247, 21614, 21078, 20606, 20281, 20162, 19800, 19414, 18946, 18820, 18220, 18210, 17845, 17464, 17328, 17041, 16436, 16425, 15833, 15708, 15523, 15370, 15358, 14760, 14474, 13853, 13685, 13540, 13271, 12763, 12118, 12075, 11621, 11606, 11560, 11356, 10922, 10576, 10407, 9800, 9515, 9277, 9164, 8912, 8892, 8789, 8215, 8193, 7943, 7637, 7100, 6517, 6227, 5870, 5784, 5754, 5346, 5313, 4758, 4282, 3778, 3572, 3528, 2916, 2409, 2354, 2294, 2228, 1935, 1523, 958, 848, 716, 551, 331, 1, 0}
*** a(t,0,r):
{{848, 2294, 5346, 11356, 24235, 50777, 101860}, 
 {30314, 64403, 75798, 52195, 98599, 6517, 13853}, 
 {29089, 61810, 83307, 38221, 81824, 41752, 88459}}
962857
58
*** a(t,1,r):
{{33634, 71130, 63351, 79900, 44333, 93654, 15708}, 
 {95137, 12118, 27377, 57873, 90046, 25628, 54013}, 
 {60024, 86820, 32144, 67997, 69661, 66270, 72465}}
1219283
133
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.005905