n22-L5-f11155-r47-t11153-ver3.3b.txt p=45066210900441937260655210529634729526136254066176900137607976600951182013855227815863851660179800283325023335278617878229492681681388912572420911116592020393391572759123889987221388689894823434938798508313079310540507265943041672459216853616646014613102232796250708663537772300106650762783086414284064817067514207413950389154223019935819258872503720435721204264960277570273811731139230586527853213088217167778286738108864843781943657621000740634303956981669307492255882487826008327294403677284266322743775694630513253137843693093242092465485854331100567794520980283480734785162101369762544755463557110203076068675069247949788617693623944191688473701754446632188712909985288507315141554274257924975491542865092347373147271257283998249753015801215869260126720371913371701013034359173109371659581656620811784579356100557554408986521665974170016702325868631754051287809351973930531215360557486584864232391198086275240685428270878071145407053888926182042824190260869442666629048981562249503923177942260725229619292819123876897695859224685496837118972543435322070892965443046943105009006706153757972477685336953814502887415784999062292300712361712564965765310116871999361296714385775622609199662254552780758181729862142419949275357474426659563849486139012510741202642454290302434911242971720482798080982337759549653880403685490485291095305653762071993639930547538832964699496738901880874381169942784011643987488517119557292732240600668617768400927144318509992265475831867170490149624603114276105122351405763512837543070377909111567960032302732948539584796982196709214283796617035374172693149081681749615857859866651945911941308499336589488846123943362230234693158032160905063357433078600018141589232192653044270166620158430660444378045963675998944012144672258875878908545791132840959747209928792455564336070041821937898920790913226082603871618236723319960501192869700193629058385006719493449899011301566799037804908388046256172532468772595011755694031656812729406304179813354039268869665018129550433284734124158585592316382062337830723624274640933639957879734109658199039369425138789492436000377960834663913559696035773509664443537414088948140549690075123012805889275003423411388150883699568451416646366741802431845343973247707005294578031386304688965483064484820075165280369777285369614169485270852401426639806934927797334033865103828745075639619497386591839083392043899501912740653534736171825077549331135236576609536075160099621673817541309482378979397301008688854257406483849868007316323068373767590385086881540133352738691731533313308735180066725098675220910026781882660845165759777952496295719290045598061822892845106921708824520614630934038749626151388878102837174301844218705166120424112678391085210723228093214392260770510527818034007039937052406942643189644719648980727867279288842237686348739379884606156403580673037603042809058639153539302427194559479359853820956985876407232511441068622030973766672155312495230577053215761917313191663663583328130883950809859048700939134422182879611969225807615215113567724932646545514738598305576997444487642903982252174404203241698474939851152237972695392218831076939986616002978149633492398823814929105609992654648349744855240539044084843705782663600814745979447966753256669759118386895042415979107509309685567629860547017136578546334645989286484129167416804337383670036937396911383515057261867343921096119367906910185905719292767452719691515481924426923118149460804044337481666974413185280463562757437641437956761401385811509254778959806969548444509180447176748104332293588036032888320625036026242228139902750409795918065377181735045724987288277931284116245038858732912992549602761842999945896236495611421709422536666633061686814285846737434795354807441962785554196755582459284498711715816952066804509352106256055726365716482300100771175732443253096803442774807598623893362570239510710045608533963856662218155994646393111371428734788099438255422874276128658145150988618191767948479740139334815064269998510501454779425691390608555225229239885958232040870504165895685849721456929279581523274406933640824151582240477924014479096083267020600784000235776534421306660203772089609554235937353598253654645768389616858022618178272396820612517100889450873707834762854122948082654061289673776331944524670327267614557596802172856574883248475384930599681227335547757187740719644802394952918969570600481395910358463355720557872663418964795359242539465143570163869339804900428450614201202205147843331966250882360526945541377659751715489897770766475367303262752969347108156623286925501445199515240565669808579974382788493901033477554004019444173153543924306242961263757764726656140835734363427575657401497755224282384603067957014932873197303958911002938867468949352089547270661691213410418627295574765459920128313255164302022126905402204508250957568556143942783445369534045356548369579920745059440962373794536875507574342852514705808365923509078015259086817185793504290470022866088240973224347997524165858654309810575483715866314773456446614416384684781204535529390512609962276951619230124672754406627271378385130278798761629334266018825790414675286426821731710490120140893815660649712062891999830931707862109180242880885689664132991475353561595483356839376141340104308558524547306276132671343525313201992242809241966120141355389721831776098749221358320444874324186816723186899077984500347915069395824900699846989753767931904508703970602810558834225490815710062371362481560521290500133690244061409902036619843591046750244402765500643300043190173184712827610982430222995899376361791772691887760551620594040842581264797317996689386333549503525776156033773446671546528110363501818841805997233850247443528725491820176288715527552800924508326075490119832484731763122220998614435889463314068805647940948592833179924731726976231534042219824340187959663645884011991266506930285222348240731627486860982053285669636465048691638336700572112922418129449101074321821693476518035502059915711300845745228823963230016412871385265750203342678989237467728194783243865220679548379623997407015546203439413439471127694878911149953361421010793493303029091185859621084725599100764995856025014241454896998447545928482473325998943776930719494142133429777336305558373657534797571129473882543500668708617023145676117274337830437458661690781146906812470658004572532744975295021292755751002943276879106151653622768145413929092121861094507199615720478342699667834017143745915375548328554219081084484064795779198155944169367374812900661501929446570895163244700145520349083551958749354946714906644951509659306727386358059194185822614054518558887637872295594063756739033629096476603193345768606330862474052194531166721524801648808945555812750332400870624131300558990598321418317796521178774380299979978240640772547324029120252396185237006524200092411135716358520798904128546612763190784262536458092150041778088495171974921635700553077523597036040564240367797390237242816036849431096930149550103899161958027766503806931330442221385154315916378525676468760235267784191370284992843464447820670165761881835969338634536221017557929247731625597960993891947650963159664757958414601961888105716187386278619858365729219621115467285318512256052150563309406371596496726240823749865274769369152184030675355292914692368821521669337273961803496756687644998897420238120467029802112925979464871961394395016609621252338304286299647199581437737317301538861437713165537665519644052077623299909759429978942781708373670738352340342867509267929057327481426955003390495585699360629232352444756993166658605177230279734233507728041695156922156521723014705869415673138737128648022076279533091565364960595319345796794596140306447055310097296718944464584516826602782945600933714847249169375029784514317548154641940584613401217515568638385288860931758842635845056485040362458671072568917089634643602380492666270583868026733398437501 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): 112887 40 *** a(t,u0+1l^(t-1),r): 109431 15 result=O: Congruence does not hold. <=> deg D(t,r)=0 (Remark 1(II)) code version 3.3b start=Mon 1 Apr 2024 14:30:43 end =Mon 1 Apr 2024 15:28:07 elapsed(sec)=3444.593252