n7-L3-f2-r401-t1-ver3.3b.txt
p=127
g=3
contribution table:{0, 1, 202, 336, 637, 958, 1025, 1197, 1548, 1860, 2221, 2294, 2528, 2744, 2830, 2937, 3313, 3431, 3587, 3777, 4158, 4349, 4586, 4865, 4982, 5367, 5475, 5579, 5622, 5705, 5959, 6166, 6354, 6512, 6571, 6846, 6924, 7260, 7355, 7427, 7818, 8131, 8427, 8455, 8774, 9077, 9417, 9545, 9804, 10115, 10508, 10681, 10735, 10962, 11014, 11189, 11411, 11608, 11850, 11884, 12011, 12366, 12670, 13001, 13095, 13459, 13538, 13544, 13774, 13867, 14205, 14510, 14549, 14560, 14728, 14990, 15238, 15363, 15399, 15465, 15861, 16163, 16520, 16549, 16697, 16881, 16895, 17190, 17550, 17942, 18294, 18554, 18724, 18793, 18857, 18895, 19225, 19564, 19920, 20240, 20637, 20772, 21059, 21351, 21378, 21737, 22051, 22066, 22092, 22390, 22678, 22790, 22901, 23192, 23491, 23627, 23748, 23772, 23789, 24035, 24299, 24415, 24793, 25031, 25183, 25260, 25626, 25686, 25733, 25876, 26058, 26208, 26448, 26647, 26650, 26751, 26866, 27147, 27394, 27720, 27889, 28199, 28552, 28681, 28901, 29078, 29284, 29655, 29739, 29957, 30088, 30250, 30374, 30699, 30962, 31244, 31262, 31474, 31507, 31850, 32048, 32317, 32468, 32746, 33125, 33317, 33532, 33921, 33995, 34135, 34227, 34560, 34567, 34618, 34966, 35021, 35201, 35346, 35542, 35887, 36063, 36320, 36450, 36702, 36787, 37175, 37410, 37603, 37635, 37879, 37898, 37919, 38084, 38271, 38641, 38896, 39074, 39131, 39291, 39424, 39823, 39424, 39291, 39131, 39074, 38896, 38641, 38271, 38084, 37919, 37898, 37879, 37635, 37603, 37410, 37175, 36787, 36702, 36450, 36320, 36063, 35887, 35542, 35346, 35201, 35021, 34966, 34618, 34567, 34560, 34227, 34135, 33995, 33921, 33532, 33317, 33125, 32746, 32468, 32317, 32048, 31850, 31507, 31474, 31262, 31244, 30962, 30699, 30374, 30250, 30088, 29957, 29739, 29655, 29284, 29078, 28901, 28681, 28552, 28199, 27889, 27720, 27394, 27147, 26866, 26751, 26650, 26647, 26448, 26208, 26058, 25876, 25733, 25686, 25626, 25260, 25183, 25031, 24793, 24415, 24299, 24035, 23789, 23772, 23748, 23627, 23491, 23192, 22901, 22790, 22678, 22390, 22092, 22066, 22051, 21737, 21378, 21351, 21059, 20772, 20637, 20240, 19920, 19564, 19225, 18895, 18857, 18793, 18724, 18554, 18294, 17942, 17550, 17190, 16895, 16881, 16697, 16549, 16520, 16163, 15861, 15465, 15399, 15363, 15238, 14990, 14728, 14560, 14549, 14510, 14205, 13867, 13774, 13544, 13538, 13459, 13095, 13001, 12670, 12366, 12011, 11884, 11850, 11608, 11411, 11189, 11014, 10962, 10735, 10681, 10508, 10115, 9804, 9545, 9417, 9077, 8774, 8455, 8427, 8131, 7818, 7427, 7355, 7260, 6924, 6846, 6571, 6512, 6354, 6166, 5959, 5705, 5622, 5579, 5475, 5367, 4982, 4865, 4586, 4349, 4158, 3777, 3587, 3431, 3313, 2937, 2830, 2744, 2528, 2294, 2221, 1860, 1548, 1197, 1025, 958, 637, 336, 202, 1, 0}
*** a(t,0,r):
{{336, 1025, 2528, 5367, 10508, 20772, 39291}, 
 {13001, 25626, 29739, 21378, 38084, 2937, 6166}, 
 {11884, 24035, 32317, 15399, 31474, 16881, 34227}}
382975
20
*** a(t,1,r):
{{13867, 27394, 25031, 30962, 18554, 36702, 6571}, 
 {37410, 5622, 11411, 23192, 34618, 10962, 22066}, 
 {23748, 33921, 13538, 26448, 26751, 25876, 28552}}
483196
392
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.003679