n2-L3-f3-r569-t1-ver3.3b.txt
p=109
g=6
contribution table:{0, 1, 286, 476, 903, 1017, 1112, 1356, 1854, 2107, 2164, 2371, 2703, 3097, 3219, 3257, 3506, 3573, 3984, 4014, 4327, 4598, 4986, 5085, 5251, 5729, 5926, 6200, 6261, 6418, 6437, 6694, 7103, 7172, 7490, 7994, 8484, 8930, 8945, 9266, 9707, 10165, 10585, 10982, 11176, 11568, 11902, 12241, 12324, 12684, 12923, 13135, 13518, 13722, 13859, 14128, 14443, 14453, 14816, 15250, 15544, 15572, 15985, 16265, 16754, 17288, 17607, 17624, 17783, 17816, 18068, 18629, 18874, 19178, 19401, 19750, 20042, 20478, 20923, 21456, 21961, 22242, 22471, 22519, 22729, 22970, 23453, 23695, 23792, 24182, 24378, 24922, 25089, 25554, 26008, 26014, 26340, 26428, 26608, 26631, 27035, 27435, 27541, 27994, 28470, 28638, 28740, 28857, 29210, 29518, 29937, 30465, 30907, 31048, 31053, 31528, 31994, 32101, 32318, 32734, 32881, 33055, 33069, 33601, 34092, 34529, 34669, 35126, 35655, 35977, 36244, 36383, 36827, 37319, 37612, 38122, 38486, 38540, 38841, 38972, 39098, 39211, 39776, 39967, 40374, 40633, 40785, 40905, 41301, 41828, 42287, 42596, 42742, 43192, 43410, 43689, 44196, 44225, 44776, 44844, 45381, 45639, 46064, 46256, 46655, 47124, 47148, 47240, 47345, 47813, 48218, 48411, 48937, 49358, 49479, 50035, 50368, 50892, 51087, 51567, 51665, 52212, 52484, 52683, 53051, 53254, 53771, 53984, 54211, 54494, 54497, 54640, 54803, 54974, 55018, 55196, 55286, 55312, 55608, 55791, 55993, 56378, 56578, 56763, 56816, 57249, 57760, 57771, 58009, 58529, 58613, 58942, 58993, 59180, 59523, 59830, 60291, 60409, 60563, 60854, 61348, 61572, 61836, 61910, 62131, 62437, 62792, 62980, 63267, 63349, 63871, 64206, 64439, 64671, 65009, 65532, 65925, 66482, 66690, 66740, 67098, 67183, 67270, 67743, 67750, 67822, 68088, 68528, 69058, 69074, 69577, 70112, 70182, 70191, 70704, 70974, 71523, 71554, 71715, 71860, 72278, 72738, 73092, 73436, 73658, 74154, 74400, 74530, 74961, 75016, 75271, 75292, 75474, 75845, 75872, 76381, 76816, 77309, 77659, 77814, 77877, 77958, 78299, 78488, 79055, 78488, 78299, 77958, 77877, 77814, 77659, 77309, 76816, 76381, 75872, 75845, 75474, 75292, 75271, 75016, 74961, 74530, 74400, 74154, 73658, 73436, 73092, 72738, 72278, 71860, 71715, 71554, 71523, 70974, 70704, 70191, 70182, 70112, 69577, 69074, 69058, 68528, 68088, 67822, 67750, 67743, 67270, 67183, 67098, 66740, 66690, 66482, 65925, 65532, 65009, 64671, 64439, 64206, 63871, 63349, 63267, 62980, 62792, 62437, 62131, 61910, 61836, 61572, 61348, 60854, 60563, 60409, 60291, 59830, 59523, 59180, 58993, 58942, 58613, 58529, 58009, 57771, 57760, 57249, 56816, 56763, 56578, 56378, 55993, 55791, 55608, 55312, 55286, 55196, 55018, 54974, 54803, 54640, 54497, 54494, 54211, 53984, 53771, 53254, 53051, 52683, 52484, 52212, 51665, 51567, 51087, 50892, 50368, 50035, 49479, 49358, 48937, 48411, 48218, 47813, 47345, 47240, 47148, 47124, 46655, 46256, 46064, 45639, 45381, 44844, 44776, 44225, 44196, 43689, 43410, 43192, 42742, 42596, 42287, 41828, 41301, 40905, 40785, 40633, 40374, 39967, 39776, 39211, 39098, 38972, 38841, 38540, 38486, 38122, 37612, 37319, 36827, 36383, 36244, 35977, 35655, 35126, 34669, 34529, 34092, 33601, 33069, 33055, 32881, 32734, 32318, 32101, 31994, 31528, 31053, 31048, 30907, 30465, 29937, 29518, 29210, 28857, 28740, 28638, 28470, 27994, 27541, 27435, 27035, 26631, 26608, 26428, 26340, 26014, 26008, 25554, 25089, 24922, 24378, 24182, 23792, 23695, 23453, 22970, 22729, 22519, 22471, 22242, 21961, 21456, 20923, 20478, 20042, 19750, 19401, 19178, 18874, 18629, 18068, 17816, 17783, 17624, 17607, 17288, 16754, 16265, 15985, 15572, 15544, 15250, 14816, 14453, 14443, 14128, 13859, 13722, 13518, 13135, 12923, 12684, 12324, 12241, 11902, 11568, 11176, 10982, 10585, 10165, 9707, 9266, 8945, 8930, 8484, 7994, 7490, 7172, 7103, 6694, 6437, 6418, 6261, 6200, 5926, 5729, 5251, 5085, 4986, 4598, 4327, 4014, 3984, 3573, 3506, 3257, 3219, 3097, 2703, 2371, 2164, 2107, 1854, 1356, 1112, 1017, 903, 476, 286, 1, 0}
*** a(t,0,r):
{{1017, 48937}, {22519, 23792}, {55608, 77958}, {67098, 10165}, 
 {39098, 26631}, {4327, 32881}, {65009, 59523}, {62131, 2164}, {50892, 47240}}
696990
534
*** a(t,1,r):
{{15985, 58009}, {38122, 19178}, {28470, 6694}, {8484, 17624}, {3257, 13518}, 
 {69577, 74400}, {5926, 76816}, {42596, 34529}, {40785, 75292}}
629262
517
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.008434