n75-L7-f5223-r47-t5222-ver3.3b.txt p=1327866007891820502268718643858712151742408426119129370306501089560149516300736547066834576961732144673830427741408516016121286704914910329925113944124773408177904978913120242547482399565186952260793983346505231934518041947667610734471668840089138133547740486528764912201305187917817552804651244451781405434035032607637259167271178634189757592709100739934024487571116596212803507752390276371820082685074985249334024666129811696575789667329513431542244096841193563537995195607989845473851754930736659167690207981566286528419370072356127510781322637318425776599741598456834633697167140573986736384353631267609055746451731868654583141219974660422731986027798102435768212568859755766903230770898982147749297319907964560125102349293160035145797052393838317745567893515884335524760144079803461585985887495854200388395355822583144706155286093167157486278533432612159161810697039076303988165667363005987229728230859918492705755633662933656281134775208400424948992512643103627064807887407542232351062695285141444826592028387494456566971231826726928201575484294436501570998734654923645096715335243755671675705964952174204297224902163395368224011939195060043209785390169404239199100667594099197127016801953023247199613627236817942192766437674859727005520685082901064201492164932833145908939838276539595603112560296782148588023692579508341335790220645434499665633999684492677464847242479774090030838636988976680816408981996594941807812171976888871739016935684573342055517147220785255357664014714871527271509063842915171431613147463217033804141560861279197020649362417780891645842729681486023831500285861287697836617196355540055000592058244079670653045440800351860408687948670389566408470813761880658023934877193108775331960852697854471149257689862552294126368854876965101048161814909236947915315766705601245079626051707222557145894139385775568378635241984862394451057341789275584000811725645191611571688486436066243128118381573638405492798498244674241669489498095549811926189839581015190648414533232454932467914693559483391673836044148139853552366290861000801668600047360726277106273245239158255167327438394628657261536694188206804412273223897919533303500539637124559499538698094149033642463154759679206363689257600401990586457869437820889828988604774581572418312072401548464511658198681856873065901575677667775353031899565807447899058186957757349321505641039568992709721696942784420472954671671390360759392602978850358210784822715931098560446451958875874355233013289024645131093195853493985733768550037266067602062661336430247044725049144562093699757973998846142505333352172070638714819677964634521499841873349499475794053392874866784756827762121141429005282853471465057473500753611033712197037012592668390415442188514514217953920983907546479566158031905485692514063409188551602333653387583626337045946391600037712284760731486531607213032612603801319480879638594488701900361376828805711324108502564506331116003743685558418004580235578279543301255935412496216229214141310713197489310258911814706421987864894517233175467747264334281302356889044577537383922526894584440830573525725134150355366753054478871648195674375740289374416519542845568996077417581934559516007149582015905885294669817075712185681382367312155155843301819147074239934014576695415827186100946786781297551700087533196232718664911445690643751016601631844170125480444058086248147242960767090885086426680236814325754623610895284046519715914847736904725215075914591558815382192999190402389931621750414821153814953591384962959750918890587749041204633562918770801257771035909368466814296766829368253537037436301472914918440596705223230978733906827269569530051464487507857013705892959614108669847837917667451988782005154979899539414729921643216011895622313919041919875675054613521684321610818422030204826322907058065972323756355033073061193179120141856796724606849910651437085731348596049511043892738573339798131335752707959058876017728315083081886082109512933884860860604723490641221346210691045982486565304021849218643857056868677815605936368253880753091259472201634679810414957373713087861397301359064455843701555134412017339906047531454569988965408344827596020049896899910304635245161800434503599933801801616548786400870886315778976370980760743461639537042882972746411784588814884786719534218636872163532335428273974310810901962487734062259170431187171852666351538980336205347894450759228456765232909924065413253053293463642986542542842365415692539520695151861451451 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): 104713 44 *** a(t,u0+1l^(t-1),r): 107912 0 result=O: Congruence does not hold. <=> deg D(t,r)=0 (Remark 1(II)) code version 3.3b start=Sat 1 Mar 2025 03:44:14 end =Sat 1 Mar 2025 03:56:41 elapsed(sec)=746.844583