n7-L3-f2-r677-t1-ver3.3b.txt
p=127
g=3
contribution table:{0, 1, 340, 566, 1074, 1345, 1458, 1845, 2099, 2400, 2874, 3428, 3823, 4448, 4980, 5296, 5423, 5662, 6151, 6543, 6780, 6909, 7186, 7657, 8193, 8518, 9169, 9495, 9761, 10368, 10526, 11072, 11474, 12110, 12568, 13187, 13770, 13953, 14149, 14583, 15040, 15684, 16087, 16150, 16627, 16958, 17532, 18137, 18405, 18557, 19058, 19589, 20253, 20649, 20812, 21329, 21462, 22044, 22686, 23145, 23224, 23335, 23608, 23651, 23852, 23977, 24295, 24487, 24716, 24873, 25521, 25788, 26418, 26993, 27423, 27757, 27855, 28321, 28538, 28598, 29165, 29725, 30047, 30463, 31003, 31457, 31827, 32255, 32832, 33045, 33549, 33735, 34022, 34204, 34845, 35465, 35599, 35941, 36017, 36229, 36818, 37247, 37851, 38482, 38814, 39246, 39444, 39792, 40212, 40771, 41368, 41429, 41834, 41840, 42131, 42496, 42817, 43413, 43981, 44402, 44780, 45015, 45409, 46075, 46550, 46615, 46975, 46991, 47430, 47451, 47852, 48498, 48657, 48713, 48809, 49145, 49598, 50191, 50608, 51022, 51346, 51999, 52471, 52774, 53089, 53752, 54378, 54880, 55095, 55563, 55730, 56138, 56187, 56364, 56597, 56977, 57424, 57493, 57523, 57655, 58277, 58441, 58721, 58775, 58936, 59334, 59542, 59692, 59962, 60635, 60862, 61056, 61241, 61828, 62042, 62572, 63199, 63352, 63797, 64179, 64431, 64820, 64913, 64950, 65432, 65604, 65695, 66086, 66745, 66985, 67295, 67653, 67720, 68169, 68340, 68833, 68871, 69115, 69221, 69551, 70184, 70248, 70801, 71468, 71770, 72305, 72959, 73237, 73403, 73931, 74147, 74747, 74846, 74935, 75109, 75257, 75467, 75545, 76163, 76806, 77443, 77878, 78247, 78839, 79380, 79717, 79720, 79890, 80374, 80442, 80963, 81344, 81843, 81997, 82295, 82416, 82700, 82720, 83269, 83286, 83475, 83843, 84299, 84937, 85134, 85706, 86039, 86642, 87218, 87808, 88179, 88473, 88653, 88942, 88950, 89327, 89885, 90454, 90803, 91216, 91755, 92349, 92672, 93210, 93628, 93978, 94006, 94077, 94125, 94651, 94819, 94824, 95389, 95451, 96086, 96731, 97278, 97300, 97507, 98019, 98181, 98805, 99470, 100025, 100261, 100919, 101409, 101501, 101997, 102250, 102920, 103034, 103347, 103652, 103903, 104401, 104847, 105369, 105603, 106160, 106582, 106591, 106795, 106938, 107301, 107594, 108021, 108612, 109067, 109503, 109693, 110013, 110575, 110867, 111240, 111384, 111399, 111950, 112016, 112502, 112813, 112929, 113011, 113273, 113413, 113438, 113465, 113877, 114296, 114866, 115065, 115110, 115214, 115460, 115535, 116115, 116250, 116475, 117150, 116475, 116250, 116115, 115535, 115460, 115214, 115110, 115065, 114866, 114296, 113877, 113465, 113438, 113413, 113273, 113011, 112929, 112813, 112502, 112016, 111950, 111399, 111384, 111240, 110867, 110575, 110013, 109693, 109503, 109067, 108612, 108021, 107594, 107301, 106938, 106795, 106591, 106582, 106160, 105603, 105369, 104847, 104401, 103903, 103652, 103347, 103034, 102920, 102250, 101997, 101501, 101409, 100919, 100261, 100025, 99470, 98805, 98181, 98019, 97507, 97300, 97278, 96731, 96086, 95451, 95389, 94824, 94819, 94651, 94125, 94077, 94006, 93978, 93628, 93210, 92672, 92349, 91755, 91216, 90803, 90454, 89885, 89327, 88950, 88942, 88653, 88473, 88179, 87808, 87218, 86642, 86039, 85706, 85134, 84937, 84299, 83843, 83475, 83286, 83269, 82720, 82700, 82416, 82295, 81997, 81843, 81344, 80963, 80442, 80374, 79890, 79720, 79717, 79380, 78839, 78247, 77878, 77443, 76806, 76163, 75545, 75467, 75257, 75109, 74935, 74846, 74747, 74147, 73931, 73403, 73237, 72959, 72305, 71770, 71468, 70801, 70248, 70184, 69551, 69221, 69115, 68871, 68833, 68340, 68169, 67720, 67653, 67295, 66985, 66745, 66086, 65695, 65604, 65432, 64950, 64913, 64820, 64431, 64179, 63797, 63352, 63199, 62572, 62042, 61828, 61241, 61056, 60862, 60635, 59962, 59692, 59542, 59334, 58936, 58775, 58721, 58441, 58277, 57655, 57523, 57493, 57424, 56977, 56597, 56364, 56187, 56138, 55730, 55563, 55095, 54880, 54378, 53752, 53089, 52774, 52471, 51999, 51346, 51022, 50608, 50191, 49598, 49145, 48809, 48713, 48657, 48498, 47852, 47451, 47430, 46991, 46975, 46615, 46550, 46075, 45409, 45015, 44780, 44402, 43981, 43413, 42817, 42496, 42131, 41840, 41834, 41429, 41368, 40771, 40212, 39792, 39444, 39246, 38814, 38482, 37851, 37247, 36818, 36229, 36017, 35941, 35599, 35465, 34845, 34204, 34022, 33735, 33549, 33045, 32832, 32255, 31827, 31457, 31003, 30463, 30047, 29725, 29165, 28598, 28538, 28321, 27855, 27757, 27423, 26993, 26418, 25788, 25521, 24873, 24716, 24487, 24295, 23977, 23852, 23651, 23608, 23335, 23224, 23145, 22686, 22044, 21462, 21329, 20812, 20649, 20253, 19589, 19058, 18557, 18405, 18137, 17532, 16958, 16627, 16150, 16087, 15684, 15040, 14583, 14149, 13953, 13770, 13187, 12568, 12110, 11474, 11072, 10526, 10368, 9761, 9495, 9169, 8518, 8193, 7657, 7186, 6909, 6780, 6543, 6151, 5662, 5423, 5296, 4980, 4448, 3823, 3428, 2874, 2400, 2099, 1845, 1458, 1345, 1074, 566, 340, 1, 0}
*** a(t,0,r):
{{1345, 2874, 6909, 16087, 31457, 60862, 116115}, 
 {39444, 74935, 88179, 62572, 113438, 9169, 20649}, 
 {37247, 70801, 94824, 48713, 94006, 52774, 101501}}
1143901
448
*** a(t,1,r):
{{43413, 82295, 73237, 92349, 56597, 109503, 22686}, 
 {111240, 18137, 35465, 67653, 103652, 33549, 64820}, 
 {69115, 99470, 41429, 78839, 80442, 76163, 83286}}
1443340
653
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.005436