n75-L7-f5281-r47-t5280-ver3.3b.txt p=13767040002899960322501556264083058842961669560847125873553910286682137379176885438033215224583067816841527264558905136998905880319521074165094079112868596262857521046352788715271652230274304069055518724236279454391804240837230169250192246720369893630637897678209823759769961338890547486032410875919690643418714403788452520676487176222607660519493967295270463245055761904846479851892504886936149850292196317661010838708275044607678649614059293965539264273747957710663244959778346296004365615500716294735411602347459440855428767107765166656993711684314356104201270669566707227403231841059089673832071943453359693353105098295890911262864580302026590268420807672234658728533552224376137649535258835394615898678849912151794361924320837810923404394935884621375778561394718695996151078815758966545634094340983290986744548031080515360489717077111754845141889545359265789975579756857863122480950437026651787980475654004766624650456460375213026855726864042952676260525912061115311137298603825797668804897288387701999538760381831566708533777022341295214197685561555551195307332823728970286065251002276774971925357549706653018701687351162931857982529845209381294939991411595767320295086857387861730017015143560589805332673266537852125635483272758655639387558027870430776135813825812568863681885154479693465328186275957867658571518326543845580670768129197736201560054187381861005680846834279691761187458818937596736072950555819111939243320821077238321968089505778769013633766819977557562336888278611525816937033412080439423120951658144681092371375814198769271564334103977983792385246802890594009374210910153370015528388472669649139841959935195623168923329972255250777365421636593735683988281099820657539880426913613928303739560083987460578086556735149051086397038017381412589098691590423018195779000212481777291762376577464312994071000692979605154904655541047333285997314502427672954903758070608228073382998148307259679791409990086652639576519762365904434515994626613008140980195454742977215829849830293850440729398775676293949375860940949165240804393319857506737234368798000500477877169227517757015255122608705347916132434526794508394420116694725530513007642427257478877135921814971242309169427242015091808272921495832679056450994156767397760692909410133063138597359862788505982506850037602250914865237338695843746794314817281986461752538956497653398041849864882317627616021149151159763204918588129827192082182867153007043043161665760547730924685651433494918668824487070823708701432578670671718247813512711031325350351294762616232807384858929998681455902164396972303972151902032106926968905442952606321765601014184453262735897690241538097892550636558488185251786535468993702462713139223994747492273049672635971471957420246665906964872434414735234719807304347138176774284217422141490405888252829940952603092649423980083371093494149702577893284728634865315759868727755365689343489414826297004419505472408539862392301149490059599065577508179924618873769215525476306294469409742420119084567732525982885814600328745787886252915535236278971475158033855756666250483199466844012408350271474009385899162310485240891184558371582705523234737010091653845387823495323013827027215677702313582259682198931129811149505040962894112928516971300921699332521375803143934874620522604007427225561206437927035242797540758240370900762405857434705471007844438831123624917122981672547922273535830090067921007205099146197685070000436231302639854295493453952172902747341057442496155907300466175144588675922170249047150367645730033266320696526791027896305701688538422643822595489922328799542889989871819849663998975871743208671968987499612775338961837997974699059272843878795490479592926689891788130713214077028837876217685550925620449033510678892481092151230530580404140706044203741381179032645968072238843461004992681887144302667815886626733468773603833255116958970050345602398337223090389163012695143091335469509344307049729742909116523827114889625224457023911483028212274918861650103745575425990996139093024192237175328387245398873536256264665836280374314786935864693614201376237807017946247382000472925078014940982970360152283238540574618481428727521013380025410706474225217487182590576958934779903815433577342869057551823774870228436117148691461443877646968620717452097337722519711417662571471832689394563970306777982855042608260187611290829567995947167905720254714411525999761514054256147000998245198240834772153874816148508588155096396012256130499859074423136842179280370997510396430252677246401051 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): 104795 32 *** a(t,u0+1l^(t-1),r): 105764 14 result=O: Congruence does not hold. <=> deg D(t,r)=0 (Remark 1(II)) code version 3.3b start=Sat 1 Mar 2025 04:47:09 end =Sat 1 Mar 2025 04:59:48 elapsed(sec)=759.087468