n12-L5-f2718-r13-t2716-ver3.3b.txt
p=151594354116626097785677938953359025537337873167845836276075589130395540994716284990057382845658976571779407263852504249156370902238392234564061645813774164130633743770545851700845462911487387316424967279918664071605951316736421738821500946256991061594370743214813708316245199235016966089401457850758686177684008127878295528154673898769886398585830093240747797836283621561267271093730528007029688457629626997519841024861674096731621756195450713303111125729776801688177682938795259604456388101580810662644694427622374789888779082761317227071651514103364204997289041364700659178565273692049745851963154235947638712312299356825243592874361260602574931187448865466983187017782988327846403970263705822098798310673870249982925863449384924136550197630147635500463885595408643842759657632540875934804796783018511470365939625330457491369214121809763436940732804368330902551625683233719076253373427545714022656966104701707709097294203641025657150380770074098594058057981222767594041167909087895189068650895496459310952595885412438306108995991992312641856665601087223011677186471018492111574567251503233588186962972948063470014516993616176087134009845343343323092041130951750350963035845541512386458815560680710488411331774137233083646304299626679547891166683357000252552760671651131362897560759090452768208240639656212276200820936532086704832515070164795374535920940266676449381262790872253322806394280547883954961275147598330701401655464158913157332224742276221674116008860677544074949068083807341864551523482534613893658965625305638952126150293565296780249788036905946587464017962189372148152991856343837771275752778900355368375921215768402932339512349733092518892895714238374175484108263272889224899675152272515270780897147821332874547490310513047283389325851543019936721292276020105016568471600403808352421857404396660238095007089867971927893760498557823820342505515001985116896321414969861507415771484375001
g=23
contribution table:{0, 1, 8, 17, 27, 35, 46, 35, 27, 17, 8, 1, 0}
*** a(t,u0,r):
5221
8
*** a(t,u0+1l^(t-1),r):
4818
8
*** a(t,u0+2l^(t-1),r):
5033
2
result=O: Congruence does not hold. <=> deg D(t,r)=0 (Remark 1(II))

code version 3.3b
start=Fri 1 Mar 2024 21:06:51
end  =Fri 1 Mar 2024 21:08:07
elapsed(sec)=76.232609