n68-L7-f7876-r17-t7875-ver3.3b.txt
p=13356788854567606229792070919606128779388750308965959033572372378804846656062205657046525981379337562075085916090604614195381382585543612616558189726953968732176179834699839092322267293632863950180776656105362321949549834293060143530347553252485572884736777016318319603638545662465564808193188177897124259170376832778265021616097441513565730219848661695385339705099475314940528560996074101358815603423840568839637866523441873984332038304420732753075112958359276359813010555073389380517924489132042084922819974767365851420349230308880788386997493571318096156833506288321095252684459383820028777252838350476355565094218223317266689546737315986922847663662108679320337861272039390515297900520042912143326736558873000777044212793894443646455886252907739488401460428955536493840592421919670757627653484724457017508784798983943523303578336213828989900709326486047915819367575727655515894565032392012999928185314693933659664918171024346886457826513319190970248118268138733290571821280493407059605903788165522647275889258132583411204347419986022352499912230623627877066527186061526093292244341823293524265171248760718298526206807736384621150076886755892795969326903383146251296006243124051029047563927767017698406630810794347052995505441953494663674851616991735522596365432713069151745719623555186273110540907412554470198512279561574796284105104312431695565666475391230243012121342370257700081887375533997738565876870941062046083007705880866199198326418333835940031167218626022779325923110668975178636977871184103870251103106020219087682311453187045458806864660921256387537133151086462083306617414819273716563487698803706242128328616093218755564394063986338868682501265654078154516163025352346859393349662432619706158819785250610496169963879023237067265531153652672577173943428820361110659918221409128384888275425616005217755839441784201139119085213898478947118807411152053847389960102047269547977255883187156027751724487739258456176959568097622656071461835952916321602406817311188858200276931571262197147821328790551836156726911102037607747536592244236309732649382178483395798745211883089671264469970323499844622353157246877396774577719778020196653784527276898797912319329646024191354448009897460741331756782357966703855988122089820513931625272849047661710234528222761721232279300375862213888213632230553019811276004535582502219623650886695383751335336845182978844607000575956422712891084376195548002947398843293489286151446675136038167523297810941736835198228261821616461270416787428636564032112384781999843741453188542495646557839008530999059433135860145481684913377317129053289994180584292335891623502738474415537754448158121061061543256986109209661300305566249053912349094944338940767139170197981470041623808061281444792564651223048144905876683504214059150966609581061309264202801454355055217298515714853350826252292782595227868591108654178135029370954150286235952204331524619130815027474103967782782934703858705946430193461245468109724182527116555871215483524209355693695219044799633575369973512226487913557345369564101168804413832028272228242113518574950764529551019366157142665666502968317174160370298512712120663058897603662779012778880406398436038443155265440681247271246195748280326308454348742851119010654186104844025188552682731347706331139080731719370214662240482115678389851938635575052359348889575007187442813690951755216620980940255006255697361361802061691242426711102536301440217619974707253231872876837921404766020119374965434011287106308441849087549340955384546448711719769678744612337260976299727117446495120990311248808078680109377125228359971139719342026322837097019028905492096739632229475463746804419337616858237513749317805837641101876298735292929500724830235700871923670741681837415553338866848314078674138125272886527121853304142787621195773747093774479717424175196235999390313454839971833806450296343357566521845457549820723895817653553554395703281781822569509656083411862622851174906068554250601484823971071652019931153793973026777620707863393084161016256831759843970696009644901046556720155171756540478671781872755361767761093167364605918754228621602165799641970504605017476831157764717302023383269357403645473443223367701962929005529443597051622984522157966948257265965314444644777447187869742927755679942243088822456855764500660706920241071111985165048352261542901021361097154119650342244155172223773304621719305916759047869885058321783807463675340520559803291213869563831663099659498424269530350641260508858021475780220853918709905465251076267682016135095908803632917847498248280218819704487861281913470028259985880503454474141093423872071928953499704008709461073693896215653756162029169825825146182841385932414958482795724940198786129830383185436071142946045823108930316268255753145762489713680540147603226374872322362459168168987236033207562877564298469778566868272831524556872249826927667660566757544694069221055043912039760823310961304460517687950740892379415116890043993008684066368943292837085840441528773794242600135795239305093989364997905008827010808555674450773110580536987402466478327103659989440105848473664104121526681030166573497440819935522223754382441827166346055055296907905343019244569691248762763377121627109826514888609247099043069219415537075153514616999409439444853059968960202108358148495129377612761968928059453499886547294385062062601213057221215917633845795248309884885517227357171533118752160164705623248998262243814809311272843702197693678874454579541216129173341882144552873408692185039200417914359144113047464910228493933470481932201332464386227743571475593766813299309573210494294576975980532297860279925833653001788758795314253106976019424958577916081251551334714936457316877278923314577494750004039016448331255416566688365360692103660370809490476740959337117243252616821830342320026025015456138900399946650681171651329768444439790788923777727847068299439581338996694513850174406314409082251613792844455714114521895413562820469454477647819284699516901971965465205061888982740938822227411641307541447609201273077901172582373560975021581524246961648979951212579367839878741597813588303358444716704548470910187265444491698477607538533719941453671375365406718623956997679997710670253394232518343024730592289084438847222077347148521929658366769174477008274702904849372488991348540803631934608489606805738591943364886548916101706113696996217808203283618566765319325886310202435006301491803463170184002506633679320575914416164502026999998657402817086332661937588482529278049025002504255250613597033976054556759146292840936342647117393753372197919675699980712086601165958181415446208903126431939625342318460733325129138451688997067460504192446425369477282549049180403028970075721042321452712553065849925241737
g=3
contribution table:{0, 1, 10, 16, 29, 36, 39, 44, 59, 44, 39, 36, 29, 16, 10, 1, 0}
*** a(t,u0,r):
11275
4
*** a(t,u0+1l^(t-1),r):
11922
5
result=O: Congruence does not hold. <=> deg D(t,r)=0 (Remark 1(II))

code version 3.3b
start=Fri 28 Feb 2025 03:42:11
end  =Fri 28 Feb 2025 04:14:45
elapsed(sec)=1954.398470