n67-L3-f3134-r59-t3133-ver3.3b.txt p=2661442512459389257033475981488176325708399542678443842267189030691689808617705423127464460424221934102000343412517345934026303488235669411392075586732173824209940343472301965667027698917862685614783045411016945657084092056413306984414150073834229251937260707912475077293796948563793553635366766683459478740136206179840905814169515423745114408367011976819155660386267656581896970525216630295342650705376604723426942601631271887058968799705153092009285781171880321094843109007232206868173319889887643829510220665657265767674577058867358719703915025611249850821115681754891053659173226569060264203141646270790330148584924547379599071923314224948539292216591461564469508494494370677402347386675736036885644329108157059958368472139371345161826267936657359612807407442933698745595092190190105894517280956230731650871882383461815792182974936387471528968007328215823112733498243660403530147294217059945307081035558497738018139235531602613108205804512885702206411566914077470925007770653688325762824660073243406374997901097260942986053291191339952815745879701740260157360028044586678336346890631284667187943589159233233511766230765773441029484265105023225270222117472195024643089278010397583665736245504389951578591561803213113603550878120645583027814157777129518900199505159809984255205081448155783730421815024956025090017349012993158451009423786947715915359484321240953734059944063068564035712587137604146342484904451588506274688391636317466159198179838411282550064686825497674814733764688757372718092247 g=5 contribution table:{0, 1, 31, 51, 66, 78, 88, 105, 142, 188, 194, 237, 242, 292, 330, 334, 382, 389, 412, 440, 443, 488, 539, 557, 589, 615, 640, 675, 694, 751, 694, 675, 640, 615, 589, 557, 539, 488, 443, 440, 412, 389, 382, 334, 330, 292, 242, 237, 194, 188, 142, 105, 88, 78, 66, 51, 31, 1, 0} *** a(t,u0,r): 66306 49 *** a(t,u0+1l^(t-1),r): 65240 45 result=O: Congruence does not hold. <=> deg D(t,r)=0 (Remark 1(II)) code version 3.3a start=Thu 22 Feb 2024 22:50:47 end =Thu 22 Feb 2024 22:51:06 elapsed(sec)=18.847353