n54-L5-f4160-r23-t4158-ver3.3b.txt
p=560585413691861322566492179781644551675300551120776260347691159295613735861324321491514765462110166221919238606645151870362373009239107284177911086787760056836730822931472361692107199928936983616169073096076182836386995531104380204028825699192776248754368910299469568557344868180008612399774494629943215678954567874547874441642850135538953654193083607804942920849010598269441556796929368213422920735087083384361207510899548671002738782311170282120201772890896689172816066831184290805990407349119355070469373365420319568203271085948862635963151441277202551910552076429022831405866102397879769679941064476692340852203886976003192187579376351377128791948634177365576087490185423403964120347130042974190110355324410627373147261205315927508264879674352861379662827615009680046870215973724467895991896013229751211320946699491434423738417178995443488163244070292900145320168495453287895295957666588602445279503103431016605524185352917754101357937950281681094952485379159943965512733709014096488597415238141371707027153924033724553941383337592356977242286081307582139638336061151915713011962169440988862031069163992262273084840754422771865777153576096066915353243301114258967964184933827759259590161816884102336225539598538268845744677358968299320888201170604911529202582295451546093377215896386270384739654892632948422757266654191689877401273338678432892838883546030861865403741955304885395118758838667001359838828719664387262676174623882199310050842197204296207932656598552669789371422964217521923966407015393566470333973749176095830056804255056545906954460403283849558389732950882090867903188453143892165584366404630798672558124881037557199780950976935554169970460591488633784989811029868658688583579877336909374721348081880673959689874442031038796449098786811150870007404554398383492728369915882317205014158489601511265621187848548684462067676050643729352245771580004055059047343393207784794555568353307662112790585156395449659855753063764180120815574414953155465256098718634740791971990895024391777769254769035130741483009831359273663226771262530990472608150819103311747905841362171033349466802726597502117271223558562583812322889354903405373760449473182551413904379658809674054584544125807538575486437399133816284552224976921384188268289516304038541551744927031763400645146989486776599001665004246140169119383630962283378613945275415843427882910062629966569502007172223136055921058143973678108969942964977964558095926300564871538602393854470072033509577997485381076009028295070688090134693250115060884561420880009611674926560630703940715008188419645363041277191496992490093279158355940891049659448790077751306477547131387238857138855559231906735226579254690513954412110339210964045261199529736190382681440667081821542685938222468833767924114443211733395130224484964575280280787007987732381731222416837729245512781124735161211346866646326267008680456258718701754055816193628158927708682313095778226852416992187501
g=6
contribution table:{0, 1, 13, 21, 27, 41, 45, 55, 58, 76, 83, 104, 83, 76, 58, 55, 45, 41, 27, 21, 13, 1, 0}
*** a(t,u0,r):
57015
21
*** a(t,u0+1l^(t-1),r):
55543
21
*** a(t,u0+2l^(t-1),r):
55015
22
result=O: Congruence does not hold. <=> deg D(t,r)=0 (Remark 1(II))

code version 3.3b
start=Tue 5 Mar 2024 01:59:15
end  =Tue 5 Mar 2024 02:17:05
elapsed(sec)=1070.342999