n8-L7-f5371-r3-t5369-ver3.3b.txt p=16814846196621602264963626454006109809724851742034997494624523303189949415409620261346135603311479105801539792255610226694491912360783038150767085737822843680412107823739655380241297664897220253419660595497349254116560397663468151920327640256656533492450796250317104969629212063052871677398198202075491529350027974649191894195264246601524809820457183396567627647267689974040686877847546663126945415477300861731387618225147829558339219170512488179941535667766356030857857378137264910668749747858180178044105466107432832987207912787558277616522622713267860981816622895872835193410574987934454457550694435710228433334056544789375612063771233890985957518637260139145633092732899505311042685973357706423840352089713119639810271716757700133362092663872686573016265075543188111081643849265754023645523952047558195068038799967986718475714252507771328563474116035270542432609804243462729468319788370833862100286874720568048820486529678046447679293827090736334919059491603301689754646468048774855505903136691677896497293014132203066145625148185550325073059039047680770217664544172431615326544687814554677175649528846660887212645930645525286227231046660062306850323088745056383231589956914476150558643978888719341919628233540981618544214020124491563049511368360894782809942126069531990618914975513952352823422212028886105902284922228683889716442894950752858851563340875058161238283025182013721006849583934181435089685523107294076184339139335046919374343342808015929109163922254318694053619881792956142524220842438853288280624215074464995779110033889061446344866072480641855880472366954338217191891853001963311588902083761611258884961159883900107575498486495217370031693746574655911639078440630102584184008179026705899559019869534481768775627097666985346900910391476718265356908272625416076335118387537762613628845614269383192038906252975297395600542893098116321947955309832631949147731114946540369315120603606969158122775445926640530247300709955019722445288125838226627190730723964983314653516436425699364754680554135877159736199614457067701150886573690966870114126848002451749591011245205624209665052423273319846252123924648578345771459392318285038821576814168842194883760401228921961249340873997222944390016381755490152424274306093434151124886099664760861681140104780732123193465792865988124166347674373351600951050858148920982802789329891622589323563378358200153250638988274603052487039781906430205225447909573571267815431541792131717269258950965659358512772444546086972149375001298484747388708107964785216376269120598716530615922717534426072858687281505762566718721260916658372569293809805105986143760202787381292197354594926529498614567158623715080619337691020357001735906467340210362452441719507775174718476470833774638619636844904217244561900209765066838679216861287434872200305258876289592863430815573686118753148276302840855649197887946225864693155327513513089985660817189036867604637441046998939648430839479063117298569557613528255029264404204170857598788821485582672588484257441488347808954683027863401919837816059652377512700948682111067198915004373433801968200490113038287294294009263522263282026836414811948687348427141837040104884189173155823625118945749903983643736406463710418873076621764284585012485926355557326934510530589922011682751207346910161380700776431574710149811770215895086007050696294894289940243606391945070373329242867538904184688088480226821318825156174393294217509482757887719464398063334250216747991976753520795201470286678458887837871178366061717744426688168772856067837550649988601068309752223707257277966937437006330562766180964750534047773594996843307100384837731189572288652807497706060210488667926401911856001282429796569597204921899657342338690282340402810966843137062700433161027009823479675314923834764622965116375078689291079700885700722722647374739219484515156986470029194535314931406409713282191148647092122368771075987072002280895928606904904852755644374843675980375567095068530760838651845765683111642518156688297165760749486683675563762204347124777321985098166297632745276473227856729147857109390127750029866366609328463205604994051038960062030765484658684636189353226865420045165057891700540532906631762774196632196602738959751454004607393252278280262613027177093971148297404791358819917286591509800258645739248794107128601018507140224315679345760504460578219721100504591822379693375859437217269688256477728815687040351704808880341689784913332298678659714517903681998894179942598626766005703624600747414116927350273845228036296703870587024075257099698822582337265264176923009811466410192326884179435889 g=3 contribution table:{0, 1, 0} *** a(t,u0,r): 138 0 *** a(t,u0+1l^(t-1),r): 134 2 result=O: Congruence does not hold. <=> deg D(t,r)=0 (Remark 1(II)) code version 3.3b start=Sat 2 Mar 2024 19:05:54 end =Sat 2 Mar 2024 19:16:35 elapsed(sec)=640.984365