n7-L3-f2-r599-t1-ver3.3b.txt
p=127
g=3
contribution table:{0, 1, 301, 501, 651, 771, 871, 1299, 1374, 1840, 1900, 2009, 2059, 2612, 2826, 2866, 3203, 3344, 3577, 4113, 4143, 4685, 5039, 5612, 5637, 5661, 6237, 6592, 6699, 6761, 6781, 6839, 7307, 7543, 7913, 8358, 8774, 9114, 9382, 9766, 9781, 10044, 10315, 10719, 10896, 11109, 11695, 11746, 12058, 12547, 12559, 12606, 12894, 13380, 13857, 14358, 14711, 15289, 15320, 15452, 15462, 15953, 15982, 16562, 16796, 17266, 17384, 17536, 17721, 17912, 18434, 18569, 18777, 19056, 19226, 19234, 19368, 19897, 20089, 20180, 20487, 20805, 21236, 21402, 21837, 21985, 22187, 22607, 22995, 23170, 23576, 23655, 23948, 24167, 24492, 24719, 24875, 25227, 25771, 26249, 26255, 26427, 26750, 26971, 27115, 27463, 27706, 27734, 28272, 28283, 28833, 29146, 29622, 30168, 30457, 30931, 31246, 31374, 31440, 31888, 31893, 32393, 32938, 33425, 33739, 34223, 34513, 34796, 34913, 35447, 35682, 36249, 36308, 36898, 36974, 37045, 37437, 37848, 38243, 38424, 38685, 38702, 39069, 39446, 39550, 39802, 40241, 40404, 40489, 40887, 40891, 41371, 41438, 41853, 42417, 42788, 42884, 43132, 43477, 43639, 44092, 44345, 44504, 44651, 45166, 45333, 45416, 45581, 46098, 46417, 46491, 47083, 47184, 47461, 47671, 47760, 47954, 47998, 48385, 48897, 49100, 49239, 49578, 50141, 50587, 50655, 51064, 51458, 51920, 52313, 52726, 52795, 52873, 53382, 53558, 54114, 54386, 54760, 54999, 55297, 55300, 55750, 55836, 56016, 56477, 56889, 57299, 57762, 57834, 58155, 58329, 58840, 59261, 59306, 59320, 59880, 60149, 60414, 60719, 60812, 61087, 61190, 61646, 62014, 62252, 62654, 62927, 63022, 63466, 64031, 64268, 64644, 65101, 65119, 65183, 65313, 65346, 65576, 65800, 65998, 66300, 66643, 66893, 66999, 67571, 68148, 68691, 69193, 69350, 69605, 69847, 70341, 70486, 70647, 71088, 71337, 71695, 71998, 72265, 72827, 73244, 73384, 73967, 74008, 74337, 74554, 74849, 75107, 75145, 75361, 75696, 75738, 75934, 76160, 76665, 76885, 77382, 77555, 77945, 78018, 78448, 78966, 79274, 79401, 79884, 80359, 80847, 81398, 81450, 81564, 81690, 82007, 82526, 82618, 82999, 83265, 83607, 83966, 84165, 84762, 84165, 83966, 83607, 83265, 82999, 82618, 82526, 82007, 81690, 81564, 81450, 81398, 80847, 80359, 79884, 79401, 79274, 78966, 78448, 78018, 77945, 77555, 77382, 76885, 76665, 76160, 75934, 75738, 75696, 75361, 75145, 75107, 74849, 74554, 74337, 74008, 73967, 73384, 73244, 72827, 72265, 71998, 71695, 71337, 71088, 70647, 70486, 70341, 69847, 69605, 69350, 69193, 68691, 68148, 67571, 66999, 66893, 66643, 66300, 65998, 65800, 65576, 65346, 65313, 65183, 65119, 65101, 64644, 64268, 64031, 63466, 63022, 62927, 62654, 62252, 62014, 61646, 61190, 61087, 60812, 60719, 60414, 60149, 59880, 59320, 59306, 59261, 58840, 58329, 58155, 57834, 57762, 57299, 56889, 56477, 56016, 55836, 55750, 55300, 55297, 54999, 54760, 54386, 54114, 53558, 53382, 52873, 52795, 52726, 52313, 51920, 51458, 51064, 50655, 50587, 50141, 49578, 49239, 49100, 48897, 48385, 47998, 47954, 47760, 47671, 47461, 47184, 47083, 46491, 46417, 46098, 45581, 45416, 45333, 45166, 44651, 44504, 44345, 44092, 43639, 43477, 43132, 42884, 42788, 42417, 41853, 41438, 41371, 40891, 40887, 40489, 40404, 40241, 39802, 39550, 39446, 39069, 38702, 38685, 38424, 38243, 37848, 37437, 37045, 36974, 36898, 36308, 36249, 35682, 35447, 34913, 34796, 34513, 34223, 33739, 33425, 32938, 32393, 31893, 31888, 31440, 31374, 31246, 30931, 30457, 30168, 29622, 29146, 28833, 28283, 28272, 27734, 27706, 27463, 27115, 26971, 26750, 26427, 26255, 26249, 25771, 25227, 24875, 24719, 24492, 24167, 23948, 23655, 23576, 23170, 22995, 22607, 22187, 21985, 21837, 21402, 21236, 20805, 20487, 20180, 20089, 19897, 19368, 19234, 19226, 19056, 18777, 18569, 18434, 17912, 17721, 17536, 17384, 17266, 16796, 16562, 15982, 15953, 15462, 15452, 15320, 15289, 14711, 14358, 13857, 13380, 12894, 12606, 12559, 12547, 12058, 11746, 11695, 11109, 10896, 10719, 10315, 10044, 9781, 9766, 9382, 9114, 8774, 8358, 7913, 7543, 7307, 6839, 6781, 6761, 6699, 6592, 6237, 5661, 5637, 5612, 5039, 4685, 4143, 4113, 3577, 3344, 3203, 2866, 2826, 2612, 2059, 2009, 1900, 1840, 1374, 1299, 871, 771, 651, 501, 301, 1, 0}
*** a(t,0,r):
{{651, 1840, 3577, 9114, 19234, 40891, 83966}, 
 {24492, 51920, 61190, 42788, 81398, 5612, 11746}, 
 {23170, 48897, 66300, 31374, 65313, 34796, 71088}}
779357
58
*** a(t,1,r):
{{26971, 57762, 50141, 64644, 37437, 76160, 12606}, 
 {77945, 10315, 21837, 46417, 72827, 20487, 44092}, 
 {47671, 69605, 26249, 54999, 55836, 53382, 59261}}
986644
91
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.005634