n7-L3-f2-r461-t1-ver3.3b.txt p=127 g=3 contribution table:{0, 1, 232, 386, 732, 1101, 1178, 1244, 1417, 1622, 2037, 2079, 2348, 2419, 2452, 2575, 2892, 3109, 3442, 3806, 4244, 4266, 4287, 4728, 5093, 5259, 5525, 5747, 5994, 6153, 6445, 6564, 6953, 6967, 7306, 7688, 8085, 8247, 8429, 8760, 8979, 9024, 9035, 9228, 9469, 9510, 9961, 10167, 10580, 10787, 10870, 11096, 11229, 11316, 11427, 11712, 12066, 12341, 12651, 12987, 13133, 13526, 13816, 13977, 14402, 14785, 14792, 15081, 15481, 15628, 15819, 15832, 16261, 16381, 16462, 16671, 16762, 16768, 17164, 17590, 17930, 18004, 18257, 18307, 18543, 18863, 19190, 19243, 19594, 19853, 20104, 20180, 20636, 20983, 21086, 21251, 21688, 22130, 22464, 22776, 23048, 23331, 23444, 23538, 23835, 24116, 24390, 24795, 25081, 25339, 25712, 25766, 25943, 26045, 26413, 26870, 27025, 27289, 27457, 27488, 27561, 27942, 28369, 28384, 28529, 28931, 29242, 29605, 30048, 30266, 30688, 30871, 31105, 31157, 31532, 31853, 32053, 32265, 32569, 32768, 33094, 33470, 33707, 33923, 34368, 34492, 34552, 34621, 34892, 35254, 35589, 35992, 36268, 36497, 36500, 36616, 36814, 37137, 37350, 37379, 37549, 37612, 37649, 37929, 38286, 38381, 38406, 38602, 38720, 39151, 39311, 39710, 40104, 40112, 40369, 40722, 41128, 41240, 41600, 41873, 42229, 42527, 42565, 42696, 42924, 43233, 43637, 43992, 44274, 44635, 44948, 45018, 45467, 45510, 45731, 46166, 46333, 46677, 46833, 46972, 47108, 47358, 47730, 48082, 48369, 48378, 48425, 48474, 48853, 48928, 49299, 49559, 49696, 49854, 50287, 50510, 50653, 50670, 50799, 50839, 51256, 51450, 51477, 51692, 52011, 52388, 52439, 52768, 52952, 53105, 53564, 53105, 52952, 52768, 52439, 52388, 52011, 51692, 51477, 51450, 51256, 50839, 50799, 50670, 50653, 50510, 50287, 49854, 49696, 49559, 49299, 48928, 48853, 48474, 48425, 48378, 48369, 48082, 47730, 47358, 47108, 46972, 46833, 46677, 46333, 46166, 45731, 45510, 45467, 45018, 44948, 44635, 44274, 43992, 43637, 43233, 42924, 42696, 42565, 42527, 42229, 41873, 41600, 41240, 41128, 40722, 40369, 40112, 40104, 39710, 39311, 39151, 38720, 38602, 38406, 38381, 38286, 37929, 37649, 37612, 37549, 37379, 37350, 37137, 36814, 36616, 36500, 36497, 36268, 35992, 35589, 35254, 34892, 34621, 34552, 34492, 34368, 33923, 33707, 33470, 33094, 32768, 32569, 32265, 32053, 31853, 31532, 31157, 31105, 30871, 30688, 30266, 30048, 29605, 29242, 28931, 28529, 28384, 28369, 27942, 27561, 27488, 27457, 27289, 27025, 26870, 26413, 26045, 25943, 25766, 25712, 25339, 25081, 24795, 24390, 24116, 23835, 23538, 23444, 23331, 23048, 22776, 22464, 22130, 21688, 21251, 21086, 20983, 20636, 20180, 20104, 19853, 19594, 19243, 19190, 18863, 18543, 18307, 18257, 18004, 17930, 17590, 17164, 16768, 16762, 16671, 16462, 16381, 16261, 15832, 15819, 15628, 15481, 15081, 14792, 14785, 14402, 13977, 13816, 13526, 13133, 12987, 12651, 12341, 12066, 11712, 11427, 11316, 11229, 11096, 10870, 10787, 10580, 10167, 9961, 9510, 9469, 9228, 9035, 9024, 8979, 8760, 8429, 8247, 8085, 7688, 7306, 6967, 6953, 6564, 6445, 6153, 5994, 5747, 5525, 5259, 5093, 4728, 4287, 4266, 4244, 3806, 3442, 3109, 2892, 2575, 2452, 2419, 2348, 2079, 2037, 1622, 1417, 1244, 1178, 1101, 732, 386, 232, 1, 0} *** a(t,0,r): {{386, 1244, 2452, 6153, 12651, 27025, 52952}, {16261, 34492, 39311, 27488, 51450, 3442, 8085}, {15481, 32265, 43233, 20104, 42527, 22464, 46333}} 505799 82 *** a(t,1,r): {{17590, 37379, 33470, 41240, 24116, 49299, 8760}, {50287, 6953, 14785, 30688, 46972, 13526, 28384}, {31532, 45467, 16762, 36268, 36814, 34892, 37929}} 643113 18 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.003075