n52-L5-f13387-r13-t13385-ver3.3b.txt
p=134425414898278543735286316029168377916138127817086487907384889723548275971569120533386709738923156802099933779851337201011676584785262991579727946605739092618100516645465821474174022716149701917781998464612360442176756707739842022927629951547403901747118185065039626760203988793781020692073651650009910841463988027376478940019246061995933002308054224683544119847892708955322264795407323215056073363637207314509017227184750572518706808881417877183796941983299259829891971264021719777925430742681682689969088125603045793786531443069515800078285019662353636815228427112364067008185303932335309885357119884742332194467180960718472687054277635254220490047117842077413836558489258626455132242372882349961831924581846985572530914950785757058891371992885391299243424351644122120257616297648503628085041993027185489694740329337741679266273809900087761648251159613701268182193197025578871588691490797053118963819154812601375814407004933840034252189401134958909901059768694504718710616983289107008724382806839508575400697560557860624138440668685064472112262676557691833494172697143944468971708323011386985378393510006657487681879541084828570839045803927691664290635147677291231362164433656752978423748361793286670963464637323132251943003880999884243864829652552074636055211915537294082349434187065966915659913473990807923890722894670241067422575738728586610352636813280608914627476503463943661429042386338127820178113329986645694676447674489701174991175267430404375706576068678696705754120266300771259073877966700320980324733448331383399627948388822892965673310783954451555475376422466058013417947635757409901605243265990111793033821624561301979693305269530572247652611919831724863037442466462724955034068630126549156445344241701329138158540836073634867389940483165727869964664985587561468057323107248716676902758180116970776118938840466182949052325916863253190770235329461083572509138862162207486872092216842807045375443126657251729613908925428319160685281148882007778289843948509459930417527139801797265599471345066064398256167217591129848208013465414969188698428142442142559227226529234104371643515117778610249907083992598234587750904600981280203144695683725132468509540912758813146503830319747901548625671391318226743366476522421965785721554837041084851662184012513693510943584933271379597097528297263408080724904172777901124403490871859684239736738473751762706894528543837458351988505378142914961917077048319952025336767211307471276608275444986126892272060003971581030144797919822750864003499211690078944587404210537455748543002359021688467439804392627983828359687044229746586302821501468383744197836735776421286313793220870853471354917705714957603942246587922725655172901277011471924633864867379728952879894237570871726221232133287857465050018467147489534178383986147242201661917258761040252236778496900611154829388712522024700551094256494726107132219958358586289057133244332458155565406873157827814934924024883783877238787799786414170354986532622649253558166438089914893252678466922331897207599345471195951107054129922790865493190814962890235908525035710242700808218514642336511401896781689275592366916272361667273759871835389250005982578416284868373780536420518513034591032048718337438542800987427507536525279376454353006259545784651204245338896612271602273493540513369283056004814581357191850994498368326221693154332242302146423958645205402713850903738650734102925465596352102477461344260577073844792955592957298916666315922121839570242285444737395989130247417087426200190194671323359752455917915416517475287553602210006106437087584604210883374225515383560271159419047320812766363376170981744001408874591204485399841205562805858423233565763224689148751264808439047993316702196364237250547325426893978525482276430246607141089959313262713127121795050121852527735287787892806944074184857687140461340700089412325563618102627633776810429578307649924677705991914223073124247888122890075571474916164708030254323011657669379548955408369922105297485032604276304067975696822352531222743777393769537354440566003514480317011380795804154741587859816977778930325242149911639352473266719921424367000059316836776257219255846711593137940761489666002018166747869889426913391623484659602109890035356130693561592545791301383164762263159152610697052854137183672365561335648708491271294366022419899084757439123189606115718440750675871817338160912118589923728594794766864536380634235220158136852836333630872266772791044368811011490523221716146423712281693170149924953413234376115795726750558526359153677730087933152980309742832323558332827899776441574027923064944435832225350938054459678020569931043795761214431835599760868143323219487380100252373872377500611311997278214876418481220331440089133929215278652828320367937295324293431334190787975290537978110612566816309073542524995678076659470836577233593743345569118783817181074809606018646506739418188663697475567240551300244782820946320722235755049138607315651252335302843262605300472070086199731514011277998600299890095134890169871987782174381392077880569156603382897438565813968976514150546415756195146573018707197474554782037647585660829931955159982721080324517629168755474808946065840038990941386561870577209284990549962586206861122127190954126514341227428566043649441823853376542098897231135683107833790357195781936080310350607555172492908352099300122901287073800176157665653311687481052569635402798506245636392734373771759129888848462798028964357336002288635258527669242542278975013951086935752081893836457611313672761262298111753223618638208321850319476670188433252737319480349649505063830673744574463087158208494121718113671316848921635718352277191769987765931555837721689263461269128357818620884780762864740266246621875059975752601390193128030773463221743418146211525826729922811206343491553880011742342949996027121957460172324866505182844119960325736519781809765551835022014104631758324046329238109501921118757406354207773258265090910412963497555906885267010103042093445869488620766761468178270659515075346600807115570432061469259571235966625429407388664171904044358130194894122286473468050056265375686725759759155909886607721248163188999953725446561561943414079466098030781596344378659706336871544532926606451619299786002102454852891309313091898716659486916574713518423871792115424378663879155138033684765047596954960597384569712942758535810248146085705703287451901931175347877220654698692409513279065144189246979877631613707302988235988071902891345456813134273881446462030503756040874862822056635931927159567584940985802964772924930012279300248542060025081374857542211156602952311295648943672956868532328075480693402583474747878804700211991072575354542052677933653383345605400559726312060805488933214732290644683384799962977133734447230995844750762243451186092272514639016087536564984123943864397197849821768805488610140817942046180552821288746319786115044043401754235154761470083026102347472937651851052997258900530416747606206879637128752627188930306898049419326905428535145875622359416937060050665562349312599730528483500985156102384087027463814514077021808989586121484050160557285230253933979470342086765112351649150292635942074376602380568819458386531657189866951227694220875039855764978968530010108462088611345247925197903819520818586806697128106712316843528512634345842408167376473917846493507565882761377205646306946870932432284653408528102111735656383368710392758216421130934505012210082188890908303475760263710412840500382532593240111385336270563577430981566309971177831413888254622600655788883415148831024734386742909204379099138207629809315513337452702155927845859389129911816910719249592040350930748835692938374734957777652569041724758407172986873386325766817375787712568295588606411282804229348477049979775126166350118613843331675496917291970851593432479774476179399732003066420564725519192545000111967232183637842709900410784537619555062870996058463317210368682361601593465893909043997734939896265047605421009111546459209009741235336380261770078957504906287370546016698829466214354960886076409872056286599420396749911361246774768820480092933983798729256658150745420022490327368668788989617791645679602189698873078647154423903035401773735302099287286792223058970076183821848009890940192849533855095415885775671709003956648219442125508908382344817924696033495108417609247455360679691690222318962195606879641480629403519597267144129767057144694869613810408630576933362327876238292494597325705246710766767886373009272998313478928286557132271176415603041920123374096918129624834949810139046402526103755679739974467238846471679087176479082251816616583137874799062227504425002682486562971339390567106055049119214588910231413544732207290410545742262009458706801010540783763151567111960988989004824612473121012255900902580475141439857449461639818556209681709458432532265130279755419472390068313781337449081885419652429945405273873970990060445714616712283723714055025607851086750489159797666123617195683338375253376888835075539895406844317057599993914470040629270678768999679005526864234123015890849014300866657650172514118153333575987191162778360165226440415578257633940514447863019527524618692028553565489327453465726573370807430202376680094261707486730850977829955684572608965254170682010659505353387332253333278474246215736185855368662061151378142544912358883351740075682991844707772954130434067094331888003693219861790935000817061065016631964411115035754575008423408917501706838493191753514111042022705078125001
g=3
contribution table:{0, 1, 8, 17, 27, 35, 46, 35, 27, 17, 8, 1, 0}
*** a(t,u0,r):
22109
9
*** a(t,u0+1l^(t-1),r):
23405
5
result=O: Congruence does not hold. <=> deg D(t,r)=0 (Remark 1(II))

code version 3.3b
start=Mon 29 Apr 2024 08:26:57
end  =Mon 29 Apr 2024 11:59:22
elapsed(sec)=12745.837470