n96-L7-f7870-r17-t7869-ver3.3b.txt
p=160278821654253979566841998142304197333409002459050934062456438014430921762537386017689019907723573305941482958618438166114835696237535432064069219581324532931320791223342883950282027870134510182751304476740481645447448128622599449473254330333376373906671864110062019220345412250284648001626231301949008951396823945744075482147713860884084175249292327021228226195461478664888372073813671290729490204497712613817526409095552411197199705857902137651630103603601856887117489222308504475891241664097047417791446138347107489770609548649016751867564108048034361315040377293627798173543649135629607438511324768857580631050206351402402134925621519088009219811818409148093110798936290237394657794386907561745152043697754996367090496533540520338885043431676251202672681048229142145241712574778565245205295929310650584370775470012067080536111188731333811800617207648648787127423306247313110068464259043881775088934808902857018838207221873001732965324231980463965321991404806620177628924488666821712712585700322216450739233900231647112274816505359929791157392670504471201023509344834123356471550321299220854037963358733200484506487335795574826816280172447868161807253020922909787540580497910396827023121251703559272151579228474894800181862302713941184068682270643360655705566050716992990564291171857899621982728173935783701951065162163721853998670273689664467324286853961672548548405059759606367477585126253389681860771748558893331256126744479110485056913580931945903266602724567317991164223118346249430528130740052035584426094241687641206107836658939673001077858146395661122037084201148226053949518810770906878798352212832963161647776204811245681218988654523266790287975436254239659239578851177117890275006411585645310758209912543768981851366000739832599948474693999619932358437231630011432730378605662547186630725700418005715975759701375340976302913568707863685674875298382222862002298186647154897671259022472001544995201432047472690824116219253854184263501683657215515172881455190255659184946627235796975123766403340966907926742141979108637677917421293384375949589417916405128900315687388234149310176025977569505571395958929206429388847721348840103983698596295946691827416803375034608182341110141211565990242549293537102909659455696827169531206009289418665114839943814067722669927550705759921619856859128460618135112825065376447924093063104803375760323996796248608033251458262415742694938546028337108473078980316346651714064078044344726322295255859579158966255795921226697294739638245112594410577574087411555834226173530646692088274611571281062575665131847070303558951805100764476866061876990537686827649376646978311310916747771114509349114823438723776993283277620907901967806670522003676145013649650558406285781981332685348202530472923774496591326445164223500123847271492756080695102148266814260172289345804034443346712292638314202238756364370125513281482305345396632382017675003792007212210687771265167519952367090414365325293667600101915008592683619390734638680752279855706723467600380196631195267424805345674484515440264449662233539130943606169403567064042852467288901965511454772984243795597178736475291739838838107127939160247809259300568105503040432294185009132637486448728550327898953582967333223916018813817422245791072749562264415413318156224091271274656410745169590487145102784027327176002224275486129378951496614070159263434752778350440277810484495342168478960392062651499480694185828545268699553496149788050552222745516940402982935989691615364047795400426485054461215947321409833973884366256003907651120481921406238248952627267347032935269093562696535160846478137426606506156876758399391570914666661705646818480527122704774221390338873078645895565238758384001817978701314256725227117801456458017429352482086225346225876930533920828631789815117764008348211539474723960811255704383232508656290932657690810107310632930676934628840769617899153350719524970480639817882386322496512923409764681234233849240360356705121583311763008770179531211580536597467473235185980148337484626585642455027140404299067877938694653400279973866175269490526470654447334736985215014977303617949529822353634811080877375245282346017898328958171422460373149524351528612201453824078256031940092464288605133618674379064329211903740917641113358544717080327481513620894737506005158843362127417750950931290213938608527771548102622156170227298179442105890532461675014033269559626704780070990234350697317580506639279946447318385226600956998190621089116237277211032314224524657993390133581661485598402838537357754747952302382024866568680979389676524191686220139008045487080029220971543662650652729093117405559256376783315959613420966399128358732118829941060166603882224922790567504335460850329527527394023231470396091014375569966890765371409120899381724368029698748687145129973704943886453720346012781543635301599160956646634604507320311681855172521665319323321701520755560193783747045303632221603997060260761106332454067489289107257646353043971201794684432736945138750496147724764170934051249282259222697685594111826857524944247697239961984476085742325176878501378008533040888794584347678435667810363098298717297431277436511599484604656683828279728248600129032707255315440455757939519315849467147103037988390022197620184168803390148055470358077328443708201239979838114612661422439673372526066761897067265922733019656390226247921500306851086500052467752908283741604321926113245053433085833071733463323632871792889541748933466744292174133621388797164949364070127323803463463323260181179320270572105139187945326103765071062743454305638689884474613294082407231995550599346645704057649436358623441823213752994540695622293269444766394453994444084647621930254730034442234230482276817362450519614894551619873337088738296202440964968002477673004116323592706127267931480992527731132748609833411415516443338493088923848713717556937799993385441874373892424049979243302819669677543196310169869216523441496683874090340254348557094441395448748927059097727711156351502660948762138315983652998665217714405083626535439100068919851305185164703760678912337734186800468744679791328342256115833729044807361133122954393499692588972663682339703799526605255069795733251024845574020188639415492685101486045596544424124470959495334991900799419072741200171427265174223921740149480003447839293141306751653899585938500877838836037843962567838104035647366432152308890326110803003661075314686527747910061125549470641764490490058760941417460585924656243155876761838465657259906273336841278707201361228602735418030010217486092589227791832670872696009240887991723172676050613709913000426991131631682584074879947756366127780420422964570746002958915987412258007099987283937205624697357329951696705656864519167984365048175809
g=11
contribution table:{0, 1, 10, 16, 29, 36, 39, 44, 59, 44, 39, 36, 29, 16, 10, 1, 0}
*** a(t,u0,r):
16234
16
*** a(t,u0+1l^(t-1),r):
16501
11
result=O: Congruence does not hold. <=> deg D(t,r)=0 (Remark 1(II))

code version 3.3b
start=Fri 7 Mar 2025 02:54:07
end  =Fri 7 Mar 2025 03:41:04
elapsed(sec)=2816.302865