n94-L3-f12315-r47-t12313-ver3.3b.txt p=10529547835170363168837039059944556564434688935949938198603730194338451170947661085771667405287286083568233279810248647566245516122622983672281841184244461383528180806997586859273869027934453694787805814942642620150316974145028117876475333682429723843309692266980484439444428010087912065905034588208276306809432867535675419630591094961032739589750940707662454686723670088742201229046548761683002173466554054538249236396659724007658450405816287106232422878175222772003964601783167828885347468931457770022576073360425280564038258968571555734393023118368612416005228810989932894322830004463303213222983183508172517880840101508103565559552530664215233412423927923331502395252983232362491792356237770345383816625855851479362768599741512516444210830750931927814340162341825579671656647561232453893053451419817925309712646156720386493226449011282752624983076825431928204863527608131490818061675186088329790227219518954509965680674635777541528698301308306953901530642822212908532631108541992889916169787051540902269622370431708243537857578966130416562669614723420422316566758597155897537450056430777054367021681961964332764537224746861980680684226853530302058937106122984285022964132889911719545562176689469292824774843309340128191674670532076251432327588137757411556866318944842737559352239010618144746603986956399711622667766317558106640016281403349069836430639420750913694182870066048699234723800859831848283488992857973013515962939413426627777102467524066998536901559954867006492658906415042046576183512864454281623955324674263261230035773233397219940594483838833556941428551018693615340540970786806438077391065019205326388828343490056566347171664808981833517577520443023337376097205103426290790894822372201605644175129544696759723913838257889627067711371926686208165067263493693222685125585168447315811899464109346216637296140783407975904355386611147556949704045719187168708142928919564744764363054723464040588700991295365438110510898968411600878238495676503052325631525004102905000612279863415575363878805561156364101945852456801076204233513594994432457376921670350058182618978426512494957488468174759811077461816385792276294988596960895587705018063240461534992571043723712694020556027510042046135132493604238042262305022252756319406744465817595368590361748167690267145183608720736219057386399034770706669592937666378668115786662815011303189413658756761008859500665100724142205282269843566379011479065990785141859203536136199112104496345631619639663704292596024511440147876419149403610712955149528630319288084841928966768082822657795035172963338395379557646937157082880206122422228187975845090093329360762967065337998895051180105081704916078117742508865521665205699357023720589753672044084095199868903312957600207204016341400421575427399746325984149839004174174314075047370281301806761116596014826465436950924449679410887528119608147986974867304558904026328374267551506281402478101174035592860943952430601878868307370679791764117717155009493238217748177139425632018922557564677232971000158145214519457133695281001332883854744885666502489135871551165973867603972854397608709150218511823842669586638115402828000569508621623328203407466251890402961883866981407017960965664051491499150997272745546862926178202146028414525144148862595908495881633917926376696034565282744925850415131257342331259878115801946783218937631005557506566087027658941736538110113325231563968865419206597681079311810038861307319427876197812071964601435887712211563763720712861257161516817416862658747019477112914489503093638610686040166272201940956431723438262897728564831250200244310402242994670287301372712711058260048318227340638211308922509344738561233714770876960851270835611323025954679652890234579371290733788647490116057399001736416380495957588837962578922172174456563540687899344253320044562044246953586296346413344485622778716272527762410920502176989723077647498439402010831309830037330435319484025422621574841989824338162150613360560940707416252164736262866573620629513636989065407488365395958802618704965896860227258672523540224770856221969228065323764337220938855621578394199730095964819810123355591782538051412387078648254863091799218200315552004151741307622215183476410027688811967487121861610744216554596993381529715332954783516347554850952875923206862068994535363015023927310052095597373652701889227031608524069571645087589926874652377270898398157882619467551595574567916705912372619201901910395459092626670877016176864324319105429321192328553547932411803031345063333415744526692756888436028838743041721245878600108125285022620387646821852617685008660395496404249191877386245319319389995522042517643642889315598919783073089044856121016942879801417460657954829444354951949170720201857835845284125246443804826327305663987437801966089704402865097685523163650299473099160856422047783772134894047711217602174122335033563313306043986018219094532922583892685503296846453656994322866114258671529417233646362474063007820765405859335217195236260281402651423419274146500359012280125254698034680299534125971088139333035425307088345122381150230683115548758888021960599416187705190678303484460168773396877395636968223695896734449954663050750052926467937479229369343456752635924080917449460750164048727767019559410211252151594856688502897997036701361475357269287522337139380577973879954896901729242172437742912378960333455252814866963787152623682258654361334241557792487185372958866501425624070407670077676611980041593034221044814441356218066158595070846179386318973309668104818809768581928194652608678713289730843340596546240946957683106040446589034884241620836277326192564949106677746603937533750946431014743810150607150740748383202588485250403941555094263540369526919832932239626403985599999659670014628822389985279306416886748963409406981658060096327312315085133447540354384081730233570761157792930872344176005823618232888954098296109926671206506245794672735722701496911509616914990991526089809602499890517 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): 174597 39 *** a(t,u0+1l^(t-1),r): 172598 14 result=O: Congruence does not hold. <=> deg D(t,r)=0 (Remark 1(II)) code version 3.3b start=Wed 20 Mar 2024 03:07:37 end =Wed 20 Mar 2024 03:52:03 elapsed(sec)=2666.589023