n7-L3-f2-r479-t1-ver3.3b.txt
p=127
g=3
contribution table:{0, 1, 241, 401, 521, 617, 697, 834, 894, 1107, 1155, 1547, 1587, 1845, 2153, 2185, 2215, 2525, 2871, 3224, 3248, 3613, 3809, 3934, 3954, 4069, 4198, 4269, 4423, 4869, 4885, 5055, 5070, 5520, 5675, 5894, 6067, 6313, 6729, 6815, 6827, 7049, 7471, 7549, 7647, 7977, 8279, 8544, 8554, 8642, 8939, 9202, 9506, 9741, 10016, 10286, 10363, 10800, 11023, 11364, 11372, 11639, 11724, 12165, 12412, 12751, 12976, 13119, 13436, 13797, 14146, 14173, 14499, 14604, 14727, 14925, 15133, 15189, 15232, 15614, 15620, 15963, 16074, 16276, 16487, 16549, 16588, 17056, 17105, 17288, 17453, 17832, 17983, 18359, 18731, 19089, 19094, 19494, 19538, 19688, 20076, 20242, 20613, 20999, 21151, 21224, 21581, 21966, 22343, 22510, 22645, 22727, 23005, 23200, 23658, 23683, 24034, 24382, 24792, 25110, 25114, 25498, 25871, 25945, 26227, 26250, 26710, 27057, 27420, 27446, 27855, 28217, 28569, 29030, 29341, 29451, 29849, 29856, 30276, 30500, 30914, 31162, 31415, 31482, 31645, 31830, 32122, 32311, 32612, 33046, 33145, 33237, 33341, 33748, 33776, 33810, 34071, 34370, 34561, 34799, 34802, 35162, 35573, 35717, 36012, 36102, 36203, 36312, 36657, 37119, 37150, 37615, 37874, 37910, 38144, 38571, 38835, 39268, 39599, 39789, 40111, 40373, 40802, 40891, 41206, 41351, 41539, 41872, 42058, 42205, 42384, 42542, 42784, 42990, 43190, 43303, 43325, 43680, 43755, 44027, 44221, 44588, 44671, 44940, 45365, 45601, 45794, 46074, 46150, 46574, 46850, 46934, 47352, 47361, 47793, 48096, 48524, 48822, 49145, 49180, 49487, 49953, 49994, 50052, 50191, 50257, 50594, 50843, 51072, 51300, 51552, 51890, 52305, 52747, 52921, 52974, 53179, 53466, 53625, 54102, 53625, 53466, 53179, 52974, 52921, 52747, 52305, 51890, 51552, 51300, 51072, 50843, 50594, 50257, 50191, 50052, 49994, 49953, 49487, 49180, 49145, 48822, 48524, 48096, 47793, 47361, 47352, 46934, 46850, 46574, 46150, 46074, 45794, 45601, 45365, 44940, 44671, 44588, 44221, 44027, 43755, 43680, 43325, 43303, 43190, 42990, 42784, 42542, 42384, 42205, 42058, 41872, 41539, 41351, 41206, 40891, 40802, 40373, 40111, 39789, 39599, 39268, 38835, 38571, 38144, 37910, 37874, 37615, 37150, 37119, 36657, 36312, 36203, 36102, 36012, 35717, 35573, 35162, 34802, 34799, 34561, 34370, 34071, 33810, 33776, 33748, 33341, 33237, 33145, 33046, 32612, 32311, 32122, 31830, 31645, 31482, 31415, 31162, 30914, 30500, 30276, 29856, 29849, 29451, 29341, 29030, 28569, 28217, 27855, 27446, 27420, 27057, 26710, 26250, 26227, 25945, 25871, 25498, 25114, 25110, 24792, 24382, 24034, 23683, 23658, 23200, 23005, 22727, 22645, 22510, 22343, 21966, 21581, 21224, 21151, 20999, 20613, 20242, 20076, 19688, 19538, 19494, 19094, 19089, 18731, 18359, 17983, 17832, 17453, 17288, 17105, 17056, 16588, 16549, 16487, 16276, 16074, 15963, 15620, 15614, 15232, 15189, 15133, 14925, 14727, 14604, 14499, 14173, 14146, 13797, 13436, 13119, 12976, 12751, 12412, 12165, 11724, 11639, 11372, 11364, 11023, 10800, 10363, 10286, 10016, 9741, 9506, 9202, 8939, 8642, 8554, 8544, 8279, 7977, 7647, 7549, 7471, 7049, 6827, 6815, 6729, 6313, 6067, 5894, 5675, 5520, 5070, 5055, 4885, 4869, 4423, 4269, 4198, 4069, 3954, 3934, 3809, 3613, 3248, 3224, 2871, 2525, 2215, 2185, 2153, 1845, 1587, 1547, 1155, 1107, 894, 834, 697, 617, 521, 401, 241, 1, 0}
*** a(t,0,r):
{{401, 834, 2185, 4885, 11372, 25114, 53466}, {14925, 33145, 39268, 26227, 
  51552, 2871, 6313}, {14173, 31482, 42784, 18731, 42058, 20242, 44940}}
486968
304
*** a(t,1,r):
{{16074, 36102, 32311, 41206, 22510, 49145, 7049}, 
 {49994, 5520, 13119, 29451, 46074, 12412, 27420}, 
 {30500, 44027, 15614, 34561, 35573, 33776, 37119}}
619557
210
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.002839