n7-L3-f2-r653-t1-ver3.3b.txt
p=127
g=3
contribution table:{0, 1, 328, 546, 1036, 1428, 1537, 1817, 2062, 2570, 2766, 3241, 3622, 3823, 3963, 4529, 4978, 5439, 5693, 5968, 6066, 6377, 6941, 7083, 7600, 7809, 8236, 8623, 8693, 9301, 9584, 9900, 10451, 10827, 11384, 11440, 11567, 11920, 12384, 12451, 12500, 12723, 13205, 13448, 13730, 14354, 14425, 14689, 15274, 15314, 15745, 16334, 16874, 17219, 17739, 17834, 17869, 18396, 18700, 19187, 19655, 19837, 19995, 20534, 21136, 21568, 21756, 21795, 22400, 22665, 22693, 22739, 23129, 23621, 24124, 24629, 24861, 25302, 25662, 25786, 26137, 26266, 26704, 27239, 27480, 27964, 28412, 29050, 29191, 29822, 30134, 30256, 30618, 30941, 31073, 31128, 31747, 32124, 32144, 32487, 33029, 33404, 34025, 34342, 34612, 35066, 35565, 35980, 36240, 36246, 36620, 37173, 37517, 38118, 38708, 38867, 39019, 39259, 39829, 40268, 40502, 40842, 40933, 41225, 41304, 41607, 42203, 42239, 42540, 42621, 42837, 43166, 43260, 43859, 44205, 44413, 45042, 45185, 45644, 46095, 46109, 46197, 46220, 46357, 46552, 47196, 47442, 47673, 48251, 48755, 49334, 49827, 49943, 50357, 50904, 51359, 51539, 52009, 52071, 52186, 52688, 53268, 53659, 54308, 54527, 54994, 55588, 55893, 56340, 56908, 57150, 57761, 57985, 58253, 58572, 58975, 59372, 59752, 60394, 60591, 60747, 60931, 60992, 61488, 61669, 62262, 62750, 62970, 63036, 63651, 64005, 64258, 64894, 65344, 65859, 66003, 66013, 66192, 66690, 67238, 67509, 67522, 68036, 68496, 69133, 69700, 70185, 70491, 70626, 70651, 70878, 71237, 71813, 72046, 72580, 73151, 73281, 73606, 73609, 73773, 73960, 74548, 75151, 75192, 75364, 75750, 76377, 76587, 76882, 77247, 77653, 77800, 77876, 78089, 78209, 78523, 78808, 79067, 79613, 80113, 80230, 80314, 80484, 80527, 80899, 80907, 81053, 81476, 81842, 82238, 82716, 83036, 83334, 83525, 83543, 83922, 84399, 84803, 85170, 85407, 85515, 86163, 86654, 87235, 87282, 87351, 87977, 88405, 88578, 88913, 89017, 89217, 89858, 90334, 90732, 90751, 91307, 91927, 92479, 93022, 93029, 93438, 93482, 93512, 93850, 94086, 94481, 94886, 95310, 95606, 95928, 96489, 96612, 97187, 97629, 97857, 98146, 98478, 98730, 99193, 99809, 99937, 100510, 100635, 100693, 100860, 101067, 101586, 102186, 102727, 103281, 103302, 103392, 103924, 104159, 104528, 104559, 104662, 105046, 105220, 105471, 105827, 106117, 106210, 106732, 106949, 107600, 106949, 106732, 106210, 106117, 105827, 105471, 105220, 105046, 104662, 104559, 104528, 104159, 103924, 103392, 103302, 103281, 102727, 102186, 101586, 101067, 100860, 100693, 100635, 100510, 99937, 99809, 99193, 98730, 98478, 98146, 97857, 97629, 97187, 96612, 96489, 95928, 95606, 95310, 94886, 94481, 94086, 93850, 93512, 93482, 93438, 93029, 93022, 92479, 91927, 91307, 90751, 90732, 90334, 89858, 89217, 89017, 88913, 88578, 88405, 87977, 87351, 87282, 87235, 86654, 86163, 85515, 85407, 85170, 84803, 84399, 83922, 83543, 83525, 83334, 83036, 82716, 82238, 81842, 81476, 81053, 80907, 80899, 80527, 80484, 80314, 80230, 80113, 79613, 79067, 78808, 78523, 78209, 78089, 77876, 77800, 77653, 77247, 76882, 76587, 76377, 75750, 75364, 75192, 75151, 74548, 73960, 73773, 73609, 73606, 73281, 73151, 72580, 72046, 71813, 71237, 70878, 70651, 70626, 70491, 70185, 69700, 69133, 68496, 68036, 67522, 67509, 67238, 66690, 66192, 66013, 66003, 65859, 65344, 64894, 64258, 64005, 63651, 63036, 62970, 62750, 62262, 61669, 61488, 60992, 60931, 60747, 60591, 60394, 59752, 59372, 58975, 58572, 58253, 57985, 57761, 57150, 56908, 56340, 55893, 55588, 54994, 54527, 54308, 53659, 53268, 52688, 52186, 52071, 52009, 51539, 51359, 50904, 50357, 49943, 49827, 49334, 48755, 48251, 47673, 47442, 47196, 46552, 46357, 46220, 46197, 46109, 46095, 45644, 45185, 45042, 44413, 44205, 43859, 43260, 43166, 42837, 42621, 42540, 42239, 42203, 41607, 41304, 41225, 40933, 40842, 40502, 40268, 39829, 39259, 39019, 38867, 38708, 38118, 37517, 37173, 36620, 36246, 36240, 35980, 35565, 35066, 34612, 34342, 34025, 33404, 33029, 32487, 32144, 32124, 31747, 31128, 31073, 30941, 30618, 30256, 30134, 29822, 29191, 29050, 28412, 27964, 27480, 27239, 26704, 26266, 26137, 25786, 25662, 25302, 24861, 24629, 24124, 23621, 23129, 22739, 22693, 22665, 22400, 21795, 21756, 21568, 21136, 20534, 19995, 19837, 19655, 19187, 18700, 18396, 17869, 17834, 17739, 17219, 16874, 16334, 15745, 15314, 15274, 14689, 14425, 14354, 13730, 13448, 13205, 12723, 12500, 12451, 12384, 11920, 11567, 11440, 11384, 10827, 10451, 9900, 9584, 9301, 8693, 8623, 8236, 7809, 7600, 7083, 6941, 6377, 6066, 5968, 5693, 5439, 4978, 4529, 3963, 3823, 3622, 3241, 2766, 2570, 2062, 1817, 1537, 1428, 1036, 546, 328, 1, 0}
*** a(t,0,r):
{{1428, 2766, 6066, 12723, 26704, 54527, 106210}, 
 {34025, 69700, 80314, 56908, 103924, 7809, 16334}, 
 {32124, 66003, 86654, 42540, 84803, 45644, 91927}}
1029133
5
*** a(t,1,r):
{{38118, 76377, 67509, 83036, 48755, 98730, 17869}, 
 {100635, 14425, 30618, 62262, 93482, 29050, 58572}, 
 {64005, 89858, 35980, 73151, 74548, 70878, 77800}}
1305658
311
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.004438