n98-L5-f11512-r47-t11510-ver3.3b.txt p=683826595753857973042632299006470611930327958729654731530688576738074981367722778070229645703547846317360792024441942398832265680085573044616919094532224091011633274979884279029567902851840274315268178422515914374451551523392343481998436145752511806387759257379250761971876223114197387401414790723358038234583968273534754435075081871579824194348324085248536580617227905473521091472669743145297427028999565274513031557371022056793196113668734787410487977854840302740597529336015471827596928429225454644111483362860649765952493164511743379071971490354140588159312499891872161038661309800310617250473654353207223910603622667225752371385135476309272567988575188040255637600644996474473437203942104509713630064574241561229666470857512068480638387659900743635307091844433664082108653472545597108146317230105379228746901953835261138869039954628434849651154516192732669391594292390211638889105715517987892734365817839256637370935404452999133312655165050912043948150342300119814220458409053455746570273759622189930175562810958269542816070309215817570594111403701963279481039884682641966587914149886844195013646170030368717485613977002889280005205010882168440697659073521008171105101374572326627649418987871557716895816849335646775528122891907793282566305277691563604883633975175705079097162516463583798054150833655700275457622232772359842791836648466982086008665448202045577145052164471178736316473944056872793862494389414327403468442327474559753304259613616458811101024000711862922311833832036502389832072947530020179467382535039679285056304405320071202884240216826255410217740108207574008408513500342160457639093766068958557321774491501799603318421570766999094658953911935626006145645385163406685676178694954611343882492361872302403129748709261291629461038275638463476055938259743078051741604789963580690681664933346560926791278557887434255864353097807991861457945233364867206821093600158177022613922471443290301494753423444513474388859505932380071806329367887006764673117084406374658449481034899650317215624094410292472542139273532214197830553764450769156155676209144336830608534188405612614305339358576503681317314882338457725290353254938433433664970478902765998622813229169449029069495312240421383361423662595274738723327348006257450999329839990519579911356397108086593463047065664239987916834001415425742699657308781522981956224764858837803687205240458283473553644086404983739433901795284739782675366945623540627830346291033343131036852792076447168847238587341572548059682644209086002990503501160415205072864284149859356399203814886836178172924827589949206113646747711439254679134837318807041927931496670786518705016714243153051219972925208789244616819567939766602053262948582086813902815859439959630986035642973958353335261864103001259864623580115523554950516492468062833202564223576785755598879419751600899324344845601433825921607665232054618816109072042031269995775743424164931450055126804768311263727377190208140382813062931048927153123093825597041365931541804499999225666306870711608950219241301891627041516340126192829279372690865835603295912773657818540598757495497067211390192892555881302586411928071602057901522745486885686563903193358385156057692937201817257701439891038109409904300406116211857566649085983196154320718320235270083119168848928576152505068383710505928366992248188925365199894101404639216218324017714230517821658205864369561104237439574763154910247117819216574466888547237071041777510998195528517560245704189578178394384760005474873195413174641447903873853478784213910355377815620421158733661123542193957704922642898414459430290958149044694218925850004348854785391644424614621271310092425615741576186902177982535270454821165583678087844873497273185330317299482820156410001364198169177349368131216613207860884904787026357314744800434163104353641913804534159559149091278805613050121838629393857891225258308313346201902662300856322792675037517481084730812670853684985015143521617924683690636330716540626892568449320912512969432874515400659367955028960137304252704630169533084907581027770830700076962469096062508626866484706436264625448364622319164788771740879810757288946805713585020396710906794598015065516160541048330702825805897998018817166842026696905962133847410414743857460009494929905340410503350122810660016222672896707371873360159877141164247612503042263527476919938522375558127451669547350572177967583719979027446458609096206731735248326248347877006643986593127162059670182112725035496293419756264739358840978144289924380895893610635600616797800760316391483964964531571023425440862101573316316111573087453688911138877553489799649454607860557805502861919767137646195677392532866066505086432851849537832223481998847863151893602009084042183866121835858562350438132977284386624707346735706317214658715530352883522308796791789272436089901767970411718360934121386456943479806187153982903976676271429142054030074738404532604856617569094786061469523302864602884281452848000394348873885328311588250555337359276912717872136687737515687745838002713005969954045162079612599219137083310240006853854289398996529943564474390170523413951673731613589302629811306999604634417368103779011944477455657025575929521985588924366487135801892088542721983742877726169446042528316839058354494230199571967414845386062666232622517665164514694426338564125727162371635111897671734795871853949813812770494344563497623801978328276358412700421753954442217366528296742846305559983718407468591063701761042433115657075859361835891674955735098856568936778329650246157490252398378115981992109250746910684572063440696319855824107726245642946375842107250640218493766150429471729082035584687596791300370608486062139398873968460567533913146168661454790852106861129018556315734858574658778068820405930180077935903248454380688346843892345864291389539861043592003417999584951876085318420733963640129414885564009158954899282085812052128818933893338923757551269360737614458755103317841347647767937687874798197199620326025829632709518923689388677578073370787171409898034254757742595539319478020087498671759733280775470710073961959218207079941624428789001636123871038744022037102027050569796632171473619528855624459146791556782381305362154187616697675070433149843822222375174991030169771628756404396387713934788474447319372188020536657520890896993068734215657151884203348674117983240775883468219008938177600047648690821676346287949325609895012527727991209083225510830698000574783004238077883938104563181497663641427137684859001769623484312596464261520475945055637714609618162226368354214598919245291896724512508529533908211492221479937992771831525468319908086570577241933984829524125645778718564230159504601318634223276533027291545383869184197414133240227135773592106246500937186502007303236609243741203369497179214566735395421759557777964963964042975858676456907614651556702294166219453835098901540119635327249376788290118565431912274312965493531240405706687458545691605132917028653369787294255203156732403186366118030945265744722980031495406546921541225689240838255180725637252401748124098871025765376181475789855967852517810840581597244278549661942615939379906721051547194975185164328190987399155370980669414498604286501077985662602260721248477241120289803397879915649563495520865726458293383854439284951683554025186009480709262480887583460748578021391001671764423629973425245284058432836739757366828395321546491779483875484163182842771672578114317179043823884217170877134976937875768840695265134133848857542984349556095764286374930055486921191370088995401204623398089850696332976678884338484566664496470962980685470407610154446005266953815273272717168210146215575561963373348217705176405607103141493093191057210287309765017140423788052269726151534871500728291664335769304324892444520467149596834674596480624566876778591132739949090140805312309026656638595687921138906774926762149479397873847735877621742431502755624430473944709683766427572727959717956697104550294602424859467810893439933590322099093975447054160680827292799061820835865982401364001777320091624834266064322911986898338645452364688694595901757438018813167366575372918546804612560663372278213500976562501 g=2 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): 506608 42 *** a(t,u0+1l^(t-1),r): 504328 18 result=O: Congruence does not hold. <=> deg D(t,r)=0 (Remark 1(II)) code version 3.3b start=Sat 25 May 2024 16:12:33 end =Sat 25 May 2024 20:52:17 elapsed(sec)=16783.232292