n53-L3-f6584-r5-t6582-ver3.3b.txt p=246403538080393936476196972769383459770289804793627939589469796438517531909857738793901786661770618571210856204178431857669561553403826239221385054418776106370537550956237957559680497986189256806912358167335846481411359860784635842165998689920219568938189155543184955636942996902552795205585062760756411689762098034839109564368280747360169257359713637706408766961949513624293607423333956968536955980069163708857583545292505931144918820748577861640476295265747426427135141848471217450019641110774686163744792818078548659648566164858180263261396053119739245638298950675475873799386581862567942624853616427494101493371681695422117605657778033698712826637598205137459529474363704019915039832584129228064326814627471412197139164174886027231454868794463000931398743989550847836971948898530058592081065557187068308718394155034591484355868018105700347762635333276748987721583814161959090541020818369778002997756939073369585897658560779574537452277734650227798872043171615333080158165706488793031143403298437042706806097500754034508721885516487335584534398096144341541420699721792690689753774403337497842465136447641831724913617691781393180082369148901313730912907406419432636144307270776118191744891974906203277118374243675177062419052531840134652720013271742041694140410580422890775174712028364853371797384008738988688026004291605077173357945859567401704046240468134246335109680850585507887948957430593808851988617651494931395078229124552222924445130532405135627928368283550238288010586952369662656623626157499155136149093360555883723482900463540590776568606716107197924896311727192309352503799983113991565414200179610932974790720084612503952540872437828090116729069950823134350156082323271964167415511173587888618155299317269224437562218408700923143754495421710603797951012977088945276301654906591452115361348784216371735155832114580871399574209150697197591223598994337290535103586419795240030880215872558569722590675359467813524868848226797670248326063734004927113980750564284531669523749975667574034701738370279295397243493320147370206002119608406848582572655430262604444117784734305894462791515633824374182215997103418526894914986441563761071396415067969185074587580424494034869150421555324391794617074949352236493516330434784836489724582502529820041424096317959387151951220564619374482478494229474875362282406864920646203452586875751870398568570567075106449297307791079193557597236013548030751638328701319268273106006381064223106101625386007176733490714962188924763070307450829235365959527330974548692448443935662935533218901926148579219786659817033314438975720725102487066970671808692716395566970505626041113280700735855505663595494658123664170132048666766341229789730888038707028670170190674672551170052475013034793612624798199833166418835608646033677045979666265901541447210813175645085980894921392490301880814738082888086583619554789785329865562494628203044344202456106946682195693551291191837273101084986672594549723010792861509094076325468133284916075494353689331790877635178070548674708071264137037228664423095920983491322231816652403691749938687971913920993997714093031218750282411993134180934785583782611986465531279569889329870714182187 g=2 contribution table:{0, 1, 4, 1, 0} *** a(t,u0,r): 515 0 *** a(t,u0+1l^(t-1),r): 591 1 result=O: Congruence does not hold. <=> deg D(t,r)=0 (Remark 1(II)) code version 3.3a start=Fri 23 Feb 2024 12:04:18 end =Fri 23 Feb 2024 12:09:25 elapsed(sec)=306.863983