n2-L3-f3-r563-t1-ver3.3b.txt p=109 g=6 contribution table:{0, 1, 283, 471, 612, 950, 1044, 1205, 1557, 1995, 2164, 2420, 2467, 2597, 2959, 3447, 3623, 3888, 4107, 4433, 4799, 5228, 5356, 5405, 5710, 6228, 6293, 6439, 6620, 6853, 7097, 7206, 7294, 7567, 7981, 8351, 8742, 9092, 9255, 9486, 9669, 9875, 10371, 10790, 10854, 11392, 11698, 11710, 12144, 12167, 12426, 12702, 13016, 13101, 13174, 13563, 13935, 14419, 14817, 15151, 15273, 15393, 15729, 15872, 15916, 15942, 16360, 16881, 17088, 17292, 17477, 17929, 18406, 18460, 18635, 19183, 19546, 19663, 20060, 20566, 20939, 21363, 21466, 21873, 22121, 22174, 22665, 23118, 23150, 23441, 23710, 23809, 23962, 24186, 24192, 24595, 24812, 25079, 25372, 25463, 25874, 26136, 26274, 26356, 26513, 26824, 27148, 27369, 27687, 27718, 28194, 28686, 28872, 29156, 29398, 29633, 29832, 29909, 30076, 30516, 30577, 30805, 30865, 31309, 31477, 32031, 32384, 32517, 32539, 33054, 33067, 33269, 33478, 33605, 34147, 34514, 34899, 35199, 35301, 35783, 36157, 36161, 36387, 36450, 36970, 37467, 37494, 37877, 38246, 38775, 39049, 39310, 39773, 39865, 40205, 40452, 40932, 41036, 41289, 41505, 41973, 41980, 42192, 42230, 42563, 43068, 43553, 43671, 43795, 43805, 44113, 44462, 44989, 45360, 45868, 45942, 45958, 46257, 46684, 47052, 47468, 47496, 47827, 47867, 48225, 48295, 48407, 48687, 48690, 49113, 49596, 50103, 50493, 51021, 51436, 51820, 52248, 52791, 53118, 53234, 53721, 54270, 54401, 54756, 54825, 55204, 55245, 55313, 55673, 55805, 56242, 56797, 56959, 57485, 57877, 58186, 58345, 58441, 58738, 58756, 58994, 59101, 59347, 59756, 59849, 60407, 60549, 61050, 61171, 61675, 62074, 62113, 62494, 62523, 62843, 62958, 63323, 63867, 64087, 64544, 64856, 65134, 65248, 65577, 65607, 66062, 66284, 66439, 66523, 67034, 67311, 67634, 68092, 68250, 68598, 68991, 69002, 69519, 70058, 70108, 70396, 70547, 70648, 71074, 71460, 71477, 71822, 71919, 72190, 72280, 72745, 73013, 73487, 73520, 73670, 73973, 74024, 74274, 74515, 74965, 75152, 75713, 75152, 74965, 74515, 74274, 74024, 73973, 73670, 73520, 73487, 73013, 72745, 72280, 72190, 71919, 71822, 71477, 71460, 71074, 70648, 70547, 70396, 70108, 70058, 69519, 69002, 68991, 68598, 68250, 68092, 67634, 67311, 67034, 66523, 66439, 66284, 66062, 65607, 65577, 65248, 65134, 64856, 64544, 64087, 63867, 63323, 62958, 62843, 62523, 62494, 62113, 62074, 61675, 61171, 61050, 60549, 60407, 59849, 59756, 59347, 59101, 58994, 58756, 58738, 58441, 58345, 58186, 57877, 57485, 56959, 56797, 56242, 55805, 55673, 55313, 55245, 55204, 54825, 54756, 54401, 54270, 53721, 53234, 53118, 52791, 52248, 51820, 51436, 51021, 50493, 50103, 49596, 49113, 48690, 48687, 48407, 48295, 48225, 47867, 47827, 47496, 47468, 47052, 46684, 46257, 45958, 45942, 45868, 45360, 44989, 44462, 44113, 43805, 43795, 43671, 43553, 43068, 42563, 42230, 42192, 41980, 41973, 41505, 41289, 41036, 40932, 40452, 40205, 39865, 39773, 39310, 39049, 38775, 38246, 37877, 37494, 37467, 36970, 36450, 36387, 36161, 36157, 35783, 35301, 35199, 34899, 34514, 34147, 33605, 33478, 33269, 33067, 33054, 32539, 32517, 32384, 32031, 31477, 31309, 30865, 30805, 30577, 30516, 30076, 29909, 29832, 29633, 29398, 29156, 28872, 28686, 28194, 27718, 27687, 27369, 27148, 26824, 26513, 26356, 26274, 26136, 25874, 25463, 25372, 25079, 24812, 24595, 24192, 24186, 23962, 23809, 23710, 23441, 23150, 23118, 22665, 22174, 22121, 21873, 21466, 21363, 20939, 20566, 20060, 19663, 19546, 19183, 18635, 18460, 18406, 17929, 17477, 17292, 17088, 16881, 16360, 15942, 15916, 15872, 15729, 15393, 15273, 15151, 14817, 14419, 13935, 13563, 13174, 13101, 13016, 12702, 12426, 12167, 12144, 11710, 11698, 11392, 10854, 10790, 10371, 9875, 9669, 9486, 9255, 9092, 8742, 8351, 7981, 7567, 7294, 7206, 7097, 6853, 6620, 6439, 6293, 6228, 5710, 5405, 5356, 5228, 4799, 4433, 4107, 3888, 3623, 3447, 2959, 2597, 2467, 2420, 2164, 1995, 1557, 1205, 1044, 950, 612, 471, 283, 1, 0} *** a(t,0,r): {{950, 44113}, {21466, 23118}, {52248, 74515}, {63867, 9875}, {35783, 25372}, {4799, 30076}, {62494, 56797}, {59347, 2164}, {45942, 43068}} 655994 99 *** a(t,1,r): {{15393, 55245}, {34147, 18406}, {26356, 7097}, {8742, 16881}, {3447, 12702}, {66439, 71074}, {6228, 73520}, {38775, 31309}, {36970, 72190}} 594921 393 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.006696