n2-L3-f3-r509-t1-ver3.3b.txt
p=109
g=6
contribution table:{0, 1, 256, 426, 808, 910, 995, 1286, 1477, 1873, 1924, 2248, 2545, 2780, 3180, 3214, 3564, 3594, 3792, 3926, 4206, 4303, 4465, 4797, 5200, 5424, 5796, 5928, 6128, 6286, 6303, 6615, 6790, 6898, 6913, 7073, 7172, 7626, 7693, 7941, 8081, 8230, 8533, 8971, 9052, 9233, 9399, 9464, 9920, 10107, 10219, 10229, 10415, 10876, 10942, 11414, 11514, 11898, 11977, 12417, 12680, 12922, 13078, 13280, 13622, 13669, 13723, 13761, 14023, 14473, 14553, 15019, 15323, 15581, 15808, 16222, 16510, 16629, 16753, 16811, 16881, 16925, 17254, 17346, 17752, 17758, 17977, 18369, 18664, 18990, 19335, 19514, 19597, 19701, 19988, 20422, 20650, 20671, 21019, 21055, 21111, 21237, 21242, 21667, 21760, 21983, 22468, 22801, 22834, 23329, 23565, 23886, 23936, 24436, 24628, 24898, 25192, 25614, 25834, 25911, 26297, 26419, 26540, 26929, 27007, 27459, 27560, 28065, 28236, 28382, 28660, 28796, 28823, 29133, 29152, 29382, 29513, 29996, 30221, 30481, 30521, 30882, 31115, 31414, 31566, 31903, 32032, 32264, 32632, 32673, 32880, 33089, 33233, 33406, 33720, 33986, 34048, 34356, 34385, 34878, 34913, 35324, 35346, 35524, 35943, 36270, 36316, 36761, 36964, 37217, 37220, 37348, 37712, 37865, 38061, 38093, 38495, 38981, 39144, 39235, 39662, 39707, 40051, 40471, 40767, 41265, 41317, 41366, 41764, 42001, 42218, 42226, 42340, 42580, 42845, 43200, 43374, 43852, 43870, 44246, 44274, 44626, 44689, 44857, 45114, 45551, 46018, 46168, 46469, 46620, 46986, 47220, 47717, 48042, 48463, 48856, 49127, 49317, 49819, 49905, 50023, 50456, 50871, 50976, 51001, 51139, 51389, 51463, 51559, 52048, 52183, 52562, 52709, 52851, 53062, 53075, 53185, 53374, 53667, 54061, 54254, 54499, 54560, 54914, 55229, 55470, 55919, 56360, 56399, 56769, 56995, 57431, 57736, 57905, 58412, 57905, 57736, 57431, 56995, 56769, 56399, 56360, 55919, 55470, 55229, 54914, 54560, 54499, 54254, 54061, 53667, 53374, 53185, 53075, 53062, 52851, 52709, 52562, 52183, 52048, 51559, 51463, 51389, 51139, 51001, 50976, 50871, 50456, 50023, 49905, 49819, 49317, 49127, 48856, 48463, 48042, 47717, 47220, 46986, 46620, 46469, 46168, 46018, 45551, 45114, 44857, 44689, 44626, 44274, 44246, 43870, 43852, 43374, 43200, 42845, 42580, 42340, 42226, 42218, 42001, 41764, 41366, 41317, 41265, 40767, 40471, 40051, 39707, 39662, 39235, 39144, 38981, 38495, 38093, 38061, 37865, 37712, 37348, 37220, 37217, 36964, 36761, 36316, 36270, 35943, 35524, 35346, 35324, 34913, 34878, 34385, 34356, 34048, 33986, 33720, 33406, 33233, 33089, 32880, 32673, 32632, 32264, 32032, 31903, 31566, 31414, 31115, 30882, 30521, 30481, 30221, 29996, 29513, 29382, 29152, 29133, 28823, 28796, 28660, 28382, 28236, 28065, 27560, 27459, 27007, 26929, 26540, 26419, 26297, 25911, 25834, 25614, 25192, 24898, 24628, 24436, 23936, 23886, 23565, 23329, 22834, 22801, 22468, 21983, 21760, 21667, 21242, 21237, 21111, 21055, 21019, 20671, 20650, 20422, 19988, 19701, 19597, 19514, 19335, 18990, 18664, 18369, 17977, 17758, 17752, 17346, 17254, 16925, 16881, 16811, 16753, 16629, 16510, 16222, 15808, 15581, 15323, 15019, 14553, 14473, 14023, 13761, 13723, 13669, 13622, 13280, 13078, 12922, 12680, 12417, 11977, 11898, 11514, 11414, 10942, 10876, 10415, 10229, 10219, 10107, 9920, 9464, 9399, 9233, 9052, 8971, 8533, 8230, 8081, 7941, 7693, 7626, 7172, 7073, 6913, 6898, 6790, 6615, 6303, 6286, 6128, 5928, 5796, 5424, 5200, 4797, 4465, 4303, 4206, 3926, 3792, 3594, 3564, 3214, 3180, 2780, 2545, 2248, 1924, 1873, 1477, 1286, 995, 910, 808, 426, 256, 1, 0}
*** a(t,0,r):
{{808, 33720}, {15808, 16811}, {38981, 57736}, {48463, 7626}, {27560, 18664}, 
 {3792, 22801}, {46986, 42226}, {44274, 1873}, {34385, 32673}}
495187
439
*** a(t,1,r):
{{11514, 41317}, {26419, 13669}, {19701, 6128}, {6790, 12680}, {3180, 9399}, 
 {51001, 53667}, {4797, 56360}, {29382, 23936}, {28660, 54560}}
453160
150
result=O: Congruence does not hold. <=> deg D(t,r)=0 (Remark 1(II))

code version 3.3b
start=Thu 12 Sep 2024 13:55:13
end  =Thu 12 Sep 2024 13:55:13
elapsed(sec)=0.006379