n4-L3-f143-r149-t141-ver3.3b.txt
p=1353410096150441601919344425977856951756646000511103699369673178973017
g=7
contribution table:{0, 1, 76, 126, 238, 268, 293, 357, 413, 529, 544, 666, 753, 776, 808, 818, 846, 960, 1018, 1120, 1202, 1273, 1334, 1347, 1465, 1471, 1557, 1695, 1711, 1747, 1752, 1877, 1891, 2031, 2088, 2220, 2249, 2394, 2445, 2552, 2593, 2633, 2743, 2795, 2900, 2953, 3034, 3164, 3223, 3296, 3299, 3337, 3380, 3425, 3494, 3578, 3586, 3620, 3638, 3686, 3763, 3785, 3922, 4045, 4052, 4146, 4216, 4345, 4448, 4502, 4568, 4589, 4678, 4727, 4874, 4727, 4678, 4589, 4568, 4502, 4448, 4345, 4216, 4146, 4052, 4045, 3922, 3785, 3763, 3686, 3638, 3620, 3586, 3578, 3494, 3425, 3380, 3337, 3299, 3296, 3223, 3164, 3034, 2953, 2900, 2795, 2743, 2633, 2593, 2552, 2445, 2394, 2249, 2220, 2088, 2031, 1891, 1877, 1752, 1747, 1711, 1695, 1557, 1471, 1465, 1347, 1334, 1273, 1202, 1120, 1018, 960, 846, 818, 808, 776, 753, 666, 544, 529, 413, 357, 293, 268, 238, 126, 76, 1, 0}
*** a(t,u0,r):
{{0, 544, 1347, 4448}, {3164, 3620, 238, 1334}, {1334, 1347, 4589, 293}, 
 {2633, 2031, 2795, 4502}, {1877, 4589, 3686, 544}, {4216, 4678, 3785, 3034}, 
 {2633, 2795, 4216, 1}, {846, 1120, 3494, 666}, {2795, 3296, 529, 2552}}
85571
45
*** a(t,u0+1l^(t-1),r):
{{3034, 126, 544, 2088}, {3164, 2031, 76, 3922}, {3763, 818, 357, 293}, 
 {3223, 238, 2220, 357}, {3638, 76, 1877, 1695}, {76, 1711, 268, 4727}, 
 {76, 1, 1465, 2743}, {666, 2249, 2088, 3638}, {3620, 776, 753, 4345}}
62742
13
result=O: Congruence does not hold. <=> deg D(t,r)=0 (Remark 1(II))

code version 3.3b
start=Sun 8 Sep 2024 20:22:40
end  =Sun 8 Sep 2024 20:22:40
elapsed(sec)=0.015241