n92-L3-f9837-r29-t9835-ver3.3b.txt p=5088625621908242679542849256240789209477309144435777200695186696324091043321758459364658074601415490281298469416161212775824926769828862503937578007252536569394911289096872059841765608859425583167033308407147520555010384787570808824221484276022422361342333822220865355167634146834795032012852435025062714081908888401505199899575987023134241906432301991500338842706328419845963524167707826358560166747069871311222381953998949297341337866656479725491227158089578717441477738080212072430544406432717963089251170017839142506886330222354295133057660990444821189272814617229863543034914645029227908583645357275344446696399736545095513484137183304887987564826342977456894418195685765130214561719523836405660363152651826829753421824738542163066202024202567002336000663590877134282693864594774466600215547550073862512762886847483970087319495155097995194933958491002113705562698558255555334658270909388764563825721205163152066940478880511482790192688315604566247605094734881519483849067158775552901917322222182507177146140254372883071178154339438138803673668168491354805859931810921946180792102538479866150142331749348931415880739868329660975026441666688871393149001615683266247498929699547887038998662307772945352981676960588814293443711124841112032241429942084390570291678356900203263445121994569051980806683319935839960604355010177956434118044752979158593875828720152322820043433789029327775177386137525344127289789165523391063715338316617940203542758428017007215516320051367313807090131281165370607198162574177175084858941427778408148706391444541741367763077522286813530006727211420412304277668815941366802308020083214014208997346304458791773436323275937706475137430702249182312238607662350837215109236401812241065477116993104331235524476952978371576040165134576282633390645072550988983958064094846369182217634272767039862301205797120363721245516055172780763895378598312669937845847656281769935354708311779946403292485721824018873868291132104184876741915090518928866307106393132681630133728846733457765498696318377079702861824470345652862745766103742370965356032595078552239408411097514152847834618270121952915910383529392206767016212970399281099963633769771056992931569440992169166547776097410383264750903513966532152711913503603226546933087721002252437150853347178903690838061363920341845710070388693764508100278285794542450638674273014744124386976936775785996910863701143491868309938250471783452103809626557673465537945748775324218937732824562540413500432960263542930574945471187865794596690652964020269122973384287596859527667809484783236743582036940965351845881772216667654994544582530209759534512386654210054095614200984707071475514991514081769330754735513510704858670515489864402447817607676553763864410158822204361869659944581527409489589451774065834378248086261477108957065905389924723206996175014357335509504831319682295053295834339256853641901912275690426026966703685223688887740818201133170555514943711559036438340965470995952929329362704232736457017498323317632545313668717484217943284358164700746583825704373375764624780759346517665067400065863699006644881205781109388541907254024946024310515711679793037482095949921916164935989398049678397114679897603331801585459693091849794466230276135625037787759056124851965002077765917368280416668469936897223204729943367746090733753897740519902180091865983484614011748224266611430848193884537812547120054603593459597616418668103335039017681650999227841625738102615126108686252312108487792990694532923869668667340927253601567432217766639601508724794065182623878788906231464865573602326433318434978547899411835607442073987181367411135367088625474189505606825552383057547996632443717727671182037014773270223640831980759911625725935630285394712991826343793649301911159132347349130099233946773684814459511754726056616949100645913482092729192645934977689210844271285794193493923219597578396141754151762156039787581953257475051065816180533106380200926131308328846838444537642883515528065830675222125300993054228919559168290751063877091344820014152888996622868663785999766805112235891920785013830466432530576837728854808763830144172004975037979109400881826570491207161199805324973095899710547381051872794917256014078791191972153934229105661111421456897556582868992936441358924166241407182322249203534028624910956560636920902358136899160370391088501856699476327842401904117927670168590718690265050304167735691341864147390243968493268759127511179788206252385086510038341979073573398885062321913960125743194605804287544270069779909064827683556723532434353419141915413947056717748448392168401652927612645853893276559414144723094634034423293467522311381455917868471052087542771343601945583217064643405099552031781374759241191766135901542300353702891169539066793 g=7 contribution table:{0, 1, 16, 26, 48, 54, 59, 84, 95, 108, 111, 119, 136, 145, 172, 145, 136, 119, 111, 108, 95, 84, 59, 54, 48, 26, 16, 1, 0} *** a(t,u0,r): 63998 24 *** a(t,u0+1l^(t-1),r): 60908 8 result=O: Congruence does not hold. <=> deg D(t,r)=0 (Remark 1(II)) code version 3.3a start=Sun 25 Feb 2024 14:09:08 end =Sun 25 Feb 2024 14:32:04 elapsed(sec)=1375.630114