n7-L3-f2-r443-t1-ver3.3b.txt
p=127
g=3
contribution table:{0, 1, 223, 371, 482, 748, 822, 1012, 1289, 1486, 1619, 1901, 1938, 2347, 2442, 2826, 3186, 3603, 3923, 3993, 4281, 4492, 4633, 4999, 5239, 5558, 5984, 6345, 6614, 6889, 7081, 7424, 7604, 7698, 8128, 8166, 8326, 8338, 8373, 8657, 8801, 9190, 9517, 9857, 10149, 10277, 10460, 10526, 10646, 10863, 11244, 11383, 11596, 11922, 12324, 12469, 12825, 12996, 13355, 13783, 13879, 14017, 14410, 14628, 14718, 14977, 15024, 15348, 15563, 15685, 15704, 15860, 15940, 16116, 16122, 16376, 16615, 17035, 17177, 17463, 17535, 17803, 18219, 18646, 19031, 19203, 19373, 19760, 19906, 20130, 20194, 20379, 20692, 20954, 20987, 21001, 21061, 21367, 21697, 21876, 22288, 22481, 22772, 23172, 23500, 23808, 23971, 24207, 24408, 24534, 24828, 24832, 25010, 25355, 25662, 26001, 26402, 26792, 27006, 27382, 27430, 27657, 27726, 28151, 28569, 28810, 28919, 29069, 29114, 29375, 29726, 29912, 30157, 30167, 30329, 30667, 30996, 31342, 31403, 31454, 31685, 31707, 31785, 31943, 31983, 32038, 32126, 32346, 32349, 32682, 32809, 33208, 33549, 33743, 33953, 34376, 34447, 34811, 34954, 35358, 35394, 35826, 35960, 36066, 36274, 36470, 36905, 37096, 37510, 37780, 37866, 37923, 38008, 38282, 38697, 39059, 39132, 39570, 39682, 39781, 39813, 40163, 40477, 40523, 40901, 40992, 41123, 41322, 41560, 41928, 41935, 42102, 42132, 42233, 42386, 42620, 42785, 42794, 43105, 43292, 43498, 43606, 43924, 44343, 44710, 44965, 45165, 45501, 45665, 45913, 46067, 46088, 46391, 46443, 46561, 46629, 46951, 47000, 47063, 47417, 47564, 48005, 47564, 47417, 47063, 47000, 46951, 46629, 46561, 46443, 46391, 46088, 46067, 45913, 45665, 45501, 45165, 44965, 44710, 44343, 43924, 43606, 43498, 43292, 43105, 42794, 42785, 42620, 42386, 42233, 42132, 42102, 41935, 41928, 41560, 41322, 41123, 40992, 40901, 40523, 40477, 40163, 39813, 39781, 39682, 39570, 39132, 39059, 38697, 38282, 38008, 37923, 37866, 37780, 37510, 37096, 36905, 36470, 36274, 36066, 35960, 35826, 35394, 35358, 34954, 34811, 34447, 34376, 33953, 33743, 33549, 33208, 32809, 32682, 32349, 32346, 32126, 32038, 31983, 31943, 31785, 31707, 31685, 31454, 31403, 31342, 30996, 30667, 30329, 30167, 30157, 29912, 29726, 29375, 29114, 29069, 28919, 28810, 28569, 28151, 27726, 27657, 27430, 27382, 27006, 26792, 26402, 26001, 25662, 25355, 25010, 24832, 24828, 24534, 24408, 24207, 23971, 23808, 23500, 23172, 22772, 22481, 22288, 21876, 21697, 21367, 21061, 21001, 20987, 20954, 20692, 20379, 20194, 20130, 19906, 19760, 19373, 19203, 19031, 18646, 18219, 17803, 17535, 17463, 17177, 17035, 16615, 16376, 16122, 16116, 15940, 15860, 15704, 15685, 15563, 15348, 15024, 14977, 14718, 14628, 14410, 14017, 13879, 13783, 13355, 12996, 12825, 12469, 12324, 11922, 11596, 11383, 11244, 10863, 10646, 10526, 10460, 10277, 10149, 9857, 9517, 9190, 8801, 8657, 8373, 8338, 8326, 8166, 8128, 7698, 7604, 7424, 7081, 6889, 6614, 6345, 5984, 5558, 5239, 4999, 4633, 4492, 4281, 3993, 3923, 3603, 3186, 2826, 2442, 2347, 1938, 1901, 1619, 1486, 1289, 1012, 822, 748, 482, 371, 223, 1, 0}
*** a(t,0,r):
{{371, 822, 2347, 6345, 12469, 24832, 47417}, {15685, 31454, 36066, 26001, 
  46391, 3603, 8128}, {15024, 30157, 39570, 19760, 38697, 20987, 41560}}
467686
321
*** a(t,1,r):
{{16615, 33743, 30996, 37866, 22481, 43924, 8373}, 
 {44965, 7424, 14410, 28810, 42102, 13783, 27006}, 
 {29375, 40901, 16116, 32126, 32682, 31943, 34447}}
590088
12
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.003032