n98-L3-f12568-r23-t12566-ver3.3b.txt p=56517818196303542470947665150258596468597903803866987889051596452527008066786647889477164602744804649323410839995028927325319291747692063500116775194949157243897689115365178806315947276817802861113895661869959204027691544934074949520438679327557175983614214418942617817618731302532728963544479141136627814263679998697368346829568283938733727456192388543084051486917876491465477545812898391940384738571055422079885556281951739752574553750569279757778928012202131355836370123231187868628320558819343901891284373148569403584413974108715826295094011866265636336995250655398747951050511629445382611567609936349103068693865410876996202660147744318643367840377037646036743540292740944089068540046791962998955484159571974625252909622099891875652561579144128703628154221904571435941288346765224388947970229737827316586416396902021764662524005564264627028690597133587816301332807053469419332933117093481653827544464254041967337846702386419363718881058690542502445602211357306755610615394070505176219457629458229084956225425046859244931087334448293562365473329867172541354063163353163835151386904722109767714810474251910341761111239938633365419592656194775407484681444725005932092021575534727361096196825401033314551444612966325428253395842926892294116908771471512767160420824280435464221427463086409077214340949054319538583759224614559355031257477169421012023979767480703011016280792792512798454887009168528106661144428610316790917983501993294019367283048451769551308722860186372421022679317314506710638521033107936184325529969871185961650183124922349935710677289474631636551830091862807312827848380353504442544900248546622841337367186978364500637100667688816459375878522403028624227492332295506117333248698554560041700754229105129196532427046006098314631304392094600739179358599495768099913921080757865569256888140631697975155531490142243015139938687028046057646790971835382524299483708049758212855029515287946072658769800021171119856815239745478486833688673299014172342888198925429513756549412871760344496488618423204579892475557494015854656642537229207268665531668244092169851653871553304763735950540736898678775161577678913467658893168799395525616460259181428897627769307239577182093473256272401589171741074201165464909522258795260941430228344426872371305818868616892563382552882645274065302826063856415936886278995585842006731328118690313484668935792317228715336461848095114548314676331195003274071711370310364564018248871966011585821725089934509259575309767058483207322920087312921925224425017458451163259997396398417214794045874098686263483621886079512875769285129330685436692082553000478715744540958158834943859671487979179389517411233112841144433862644172878500358507106169887944572805748523865906377565449044258328455232826566636084773114964791518198046794719079590217824960963171415154762536438454035813130821238029489570402313133822279816281626384689451491210804175654313047600757632961434493772042530196252532275504620444060570540765252899855831646035344595934445052943207555397509468461672762519839127371945706332637761875685425525967726566087103788226870486803570189713041321460525836206938472887904478495474254418545525816494758232589112607899960824315371647247400332672063192790952280049661271364514689212846393858404341343289793520954054592218852688987210751766293687841641227295437607093416593117925876788529977120669845926075017651943296143981934280073200847581304214669660631973653569981642326650717793779215765872826109948598011286018026586409560290893476301522180797342647356355272318099522312809128864151448317684821983014346472881743939152095535035733453836628378389474906581114003499445477340347413359658107651269272875353068863551488112600910086337033085202093041121417918917073882494453109755919587789691613623781570313843424828833965227691108685553711776956177667917361830912506327061708718882258915722219927470978138713815611080567865357488870610076414651281367349621074492783093668825511171520153453885419545774444794775108585180898604247559965299305318880418624147045911469540016613953003481431131281692166982204935449801855100383735660961481034424065886632225422508851697718631227248958125440561736773310233775757259182622806844190212739780948346942739608120918943809953259141465557232872428369353120902179365365372438323885479702530072424506291735600819051220619320932376082137161181638728348203571804097277836410734917606376030414312674495445170064118012074989961875887342795372413397897750383763534489551091598919871679238629905848790694754976172351508511859561482083691819877278619721516467670260763359536797639888332980031608749551524284285325049008612697685211498446652153898057390823038512226174971447183398299792853621477165604064867329999336051012628617755975194652403738723791069184041026826095554719327066926071415721487637931660214018996307652988382587501168268413998860757603805803550059035684775471250942320895613389491794451930029473952392871375479015162913737275225628469895783008975629363639308353353683688752405810653356097754944948611874743742694922365294919985843198452233972650697360544739835205804095325010624623752900850730217602775472465981499531183874649431143542575922862260325328696492646116102895117543915790001187812672018792505010158793250970462827086890644184607479611564874382232108195607781792410659360301533590668865860830728474619882340322092114966272942772834238859467915867707475648848854250233957224929026181537875845814871892745031662259308941052997139832345884976455478817448000230379573671839656779893089628247338299690649992543518419134389100686278133281091308833770254164293448802678197007173698719668588141127573208135420471169973309795101402052554255066109861465615086297405824852748081904686325846653965806085742045420857288919562633463864770202877221586651988436877225344126897224217685150764835161163890535557375251027372520566606534577450240587384448617959466996271372631350959410232375555079029591216271674365651008684527805330053418552944702078953936019684983034517215147892501838632132193310459332246162475851948621070425157 g=5 contribution table:{0, 1, 13, 21, 27, 41, 45, 55, 58, 76, 83, 104, 83, 76, 58, 55, 45, 41, 27, 21, 13, 1, 0} *** a(t,u0,r): 35142 21 *** a(t,u0+1l^(t-1),r): 36774 20 result=O: Congruence does not hold. <=> deg D(t,r)=0 (Remark 1(II)) code version 3.3a start=Mon 26 Feb 2024 22:55:00 end =Tue 27 Feb 2024 07:25:18 elapsed(sec)=30617.489790