n57-L5-f5546-r47-t5544-ver3.3b.txt p=350387737592294904490657570497579284974404934612731164130050592710497766395060651500158534369470703842522376271825415203370929523128879760498517859719040108238380280097401593614176553709826135008075897738086097875846673063052016568403834029940404240658972183931393502703100295072007695118251190075241423984893742103048670494963963916498136373895933838585088833302568951628965416047861525270290899171427372786525133638903478304977256035051279782261806359692343193292847351764540535244713309519897586639507122567464069938335141316611490914840006117818809154787218619515297334374309024339130363086738138568167766577000353616890481038301177041580625961156934380239138477355633915514222368522180143024661530648171907616666842544958451498512245737596455505594528547342151898788311499887269306085759588329221051834551752384403935041678963813536809028309855204763197264078370489512196272557029253919498553110570013665956329098864627513510355955164030056416192581070525777133609539205540815505658546714694700566463688082422555670774553281971647730130014781479979370440519944064605886768247901137935992066522685915161452763443110709460282158539397256217309863961538638249909134829642275807417152799113520501806151606459912753530218609652008194599813769978062282112232780847036674035231738434721127610655993741472753325595113481706146521834855296805428283191833745076281657843432954497692191482874275188934185944768795775870974811164520412567802486920744445285059422797499924320591080005938863195348170059037755998265811146552937689206543549580640922352175510419496490860962268431367365059857220250859874477189409121997450631889164768592027688228531819740280574526280001646163713587433565589939304428434889268282431983047071623328744842806483373669717432057175876684554752279876924214643112900951724915552753396490062481625139550409092916210514236303342977508737248977895694856939206846578565419558115093781299319188096563418523825045773035489996702746712433959140755165981969562585956846717697117339913976365810653014016393701114195523660308395315591200231649433384097996371167203938027272562802419840440343355458137849142957536648141028967644608531439672816360533027583698560480628466430495896057081520761115552042915983507436025523141497411829177126013856416782695787268628333162168336550118013360341837361769248602290215562018125684535593671146244328509112511464931170612383573484816073995999214464569414375681855775001704238600158072063386964965697770010158716089126534680182640956831220100160119226736746884608595398507273781296600370071073394256919396671935795235027352593479224539670419066511594431061704923586186095200593437500946624427935896404207659256903992347054365229263338536984776242471969103499224957074658102114787284639282595025572573319427070012773882606127434512390345461337176599745653271168973080572342755723656450626573043079473897517274772412641759270970501446272761741388643817757327165938743843466262806115395461208221393575837418190296470723874132475662127417864092568759476863560881359731086346726116540199806575640735283098589482067135086605922085841428887400544702296169991461311396458959023102280208908678215730716113438622980209739017300147766604511040547672895203690787837043985443234430540610390236545566761016338565324696304218448753833514009943670081980649030866718268973906436494856536674633746241475416821104295692314862295362672656170515699762217342293725424531884578832796436485815439454014957313188197386835837655532063157430897441464784083586201872372847412472990974980305429097930209289827306737401966483838776229545948844811242172243495138901407644420033208384737850446587234705381197329401085671638210336354059072935715627953830018215982149288010352109822989258211373071593615358263623968635111249581211044733054373882565268015683981010154417607282572180058632437208222852306140372562697303707429636156558960813356407015817239880561828613281251 g=3 contribution table:{0, 1, 25, 41, 53, 72, 80, 107, 113, 134, 167, 197, 201, 230, 267, 289, 292, 328, 362, 367, 407, 416, 431, 476, 431, 416, 407, 367, 362, 328, 292, 289, 267, 230, 201, 197, 167, 134, 113, 107, 80, 72, 53, 41, 25, 1, 0} *** a(t,u0,r): 295971 12 *** a(t,u0+1l^(t-1),r): 296744 33 result=O: Congruence does not hold. <=> deg D(t,r)=0 (Remark 1(II)) code version 3.3b start=Wed 3 Apr 2024 22:31:39 end =Wed 3 Apr 2024 22:59:31 elapsed(sec)=1672.761576