n7-L3-f2-r617-t1-ver3.3b.txt
p=127
g=3
contribution table:{0, 1, 310, 516, 979, 1226, 1329, 1858, 2398, 2878, 3310, 3871, 4231, 4326, 4899, 5187, 5457, 5820, 6060, 6125, 6341, 6723, 7312, 7473, 7653, 8196, 8552, 8712, 9307, 9690, 9834, 10252, 10387, 10574, 11064, 11540, 11660, 12227, 12568, 13011, 13119, 13420, 13611, 13898, 14501, 14597, 14986, 15498, 15588, 15928, 16508, 16629, 16807, 16970, 17050, 17409, 18015, 18448, 18948, 19199, 19271, 19534, 19743, 20076, 20452, 20471, 20873, 21269, 21514, 21979, 22217, 22582, 22642, 22997, 23589, 23770, 24249, 24858, 25388, 25841, 25895, 26154, 26613, 27007, 27411, 27607, 28059, 28598, 29208, 29312, 29360, 29638, 30141, 30486, 30742, 30755, 30800, 31029, 31199, 31467, 31757, 32093, 32462, 32468, 32557, 33127, 33517, 33690, 33730, 34047, 34535, 34724, 35027, 35371, 35896, 36175, 36425, 36984, 37418, 37558, 37594, 37645, 38085, 38391, 38804, 39036, 39511, 40094, 40282, 40789, 41107, 41578, 41779, 42229, 42427, 42459, 42890, 43498, 44039, 44221, 44340, 44922, 45413, 45646, 45676, 45876, 46362, 46681, 46977, 47300, 47699, 47936, 48484, 48730, 49343, 49550, 49815, 50208, 50743, 51003, 51030, 51053, 51491, 51544, 52082, 52613, 52810, 53294, 53496, 53883, 53981, 54331, 54557, 54664, 55242, 55584, 55889, 56384, 56436, 56891, 56915, 56990, 57129, 57628, 58188, 58795, 59276, 59309, 59437, 59548, 59863, 59905, 60236, 60447, 60870, 61082, 61167, 61333, 61467, 62053, 62198, 62330, 62498, 62729, 63222, 63529, 63532, 63687, 64040, 64102, 64387, 64580, 64775, 65308, 65703, 66254, 66274, 66510, 66977, 67301, 67545, 68095, 68498, 69032, 69492, 69758, 69930, 70441, 71012, 71109, 71557, 71760, 71885, 72028, 72616, 73212, 73429, 73580, 73650, 73903, 73921, 74474, 74808, 75100, 75320, 75388, 75541, 75546, 76061, 76398, 76514, 76573, 77119, 77358, 77958, 78229, 78323, 78928, 79490, 79571, 79730, 80321, 80865, 80926, 81335, 81491, 81716, 82162, 82261, 82589, 82605, 82860, 83384, 83888, 84192, 84634, 85213, 85781, 85872, 85987, 86355, 86871, 87162, 87537, 88091, 88301, 88726, 88769, 88784, 89132, 89232, 89514, 89757, 90155, 90623, 90920, 91068, 91363, 91833, 92320, 92828, 92869, 93296, 93408, 93682, 93858, 93981, 94186, 94801, 94186, 93981, 93858, 93682, 93408, 93296, 92869, 92828, 92320, 91833, 91363, 91068, 90920, 90623, 90155, 89757, 89514, 89232, 89132, 88784, 88769, 88726, 88301, 88091, 87537, 87162, 86871, 86355, 85987, 85872, 85781, 85213, 84634, 84192, 83888, 83384, 82860, 82605, 82589, 82261, 82162, 81716, 81491, 81335, 80926, 80865, 80321, 79730, 79571, 79490, 78928, 78323, 78229, 77958, 77358, 77119, 76573, 76514, 76398, 76061, 75546, 75541, 75388, 75320, 75100, 74808, 74474, 73921, 73903, 73650, 73580, 73429, 73212, 72616, 72028, 71885, 71760, 71557, 71109, 71012, 70441, 69930, 69758, 69492, 69032, 68498, 68095, 67545, 67301, 66977, 66510, 66274, 66254, 65703, 65308, 64775, 64580, 64387, 64102, 64040, 63687, 63532, 63529, 63222, 62729, 62498, 62330, 62198, 62053, 61467, 61333, 61167, 61082, 60870, 60447, 60236, 59905, 59863, 59548, 59437, 59309, 59276, 58795, 58188, 57628, 57129, 56990, 56915, 56891, 56436, 56384, 55889, 55584, 55242, 54664, 54557, 54331, 53981, 53883, 53496, 53294, 52810, 52613, 52082, 51544, 51491, 51053, 51030, 51003, 50743, 50208, 49815, 49550, 49343, 48730, 48484, 47936, 47699, 47300, 46977, 46681, 46362, 45876, 45676, 45646, 45413, 44922, 44340, 44221, 44039, 43498, 42890, 42459, 42427, 42229, 41779, 41578, 41107, 40789, 40282, 40094, 39511, 39036, 38804, 38391, 38085, 37645, 37594, 37558, 37418, 36984, 36425, 36175, 35896, 35371, 35027, 34724, 34535, 34047, 33730, 33690, 33517, 33127, 32557, 32468, 32462, 32093, 31757, 31467, 31199, 31029, 30800, 30755, 30742, 30486, 30141, 29638, 29360, 29312, 29208, 28598, 28059, 27607, 27411, 27007, 26613, 26154, 25895, 25841, 25388, 24858, 24249, 23770, 23589, 22997, 22642, 22582, 22217, 21979, 21514, 21269, 20873, 20471, 20452, 20076, 19743, 19534, 19271, 19199, 18948, 18448, 18015, 17409, 17050, 16970, 16807, 16629, 16508, 15928, 15588, 15498, 14986, 14597, 14501, 13898, 13611, 13420, 13119, 13011, 12568, 12227, 11660, 11540, 11064, 10574, 10387, 10252, 9834, 9690, 9307, 8712, 8552, 8196, 7653, 7473, 7312, 6723, 6341, 6125, 6060, 5820, 5457, 5187, 4899, 4326, 4231, 3871, 3310, 2878, 2398, 1858, 1329, 1226, 979, 516, 310, 1, 0}
*** a(t,0,r):
{{979, 2878, 6125, 12568, 24858, 49550, 93981}, 
 {31029, 60870, 71012, 51030, 91068, 7653, 15588}, 
 {30141, 58188, 75546, 37645, 74808, 41578, 80865}}
917960
481
*** a(t,1,r):
{{33517, 65308, 59548, 73650, 44340, 86871, 16970}, 
 {88726, 13898, 28598, 55242, 82162, 26613, 52613}, 
 {56891, 78928, 32462, 63222, 64040, 62053, 66977}}
1152629
73
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.225587