n24-L5-f9673-r17-t9671-ver3.3b.txt
p=6577989557150658128901460452447988352969905105147080150492165867512201341867371868814136400112945431866226991399028414670792404348236635911117561932549018413149453603274771396240166377079390056450950206598326251430318406950970135449890126764415988123298961553878105696213603510652193451580367485080019057739977824914984200416242137464881842549720617273952900294641743071880661323887615900753669505963415672451933637035943363039604825183936919203830987244793993351866627565518675801918617776005199415691970565776410249203039764571361211879823059863430933128244709535027155850221753829162706882447745278667456688075762633549615368825682818918361099223805722092731016391643480471567262147396432626441203915777630853067097164241224710275502234483136629086745611391239747998612781508790906483050301360974867986008659575051028456963954800123109409936285928151908687311767773497763469701053113640607129868989472648075005794381134309227045560357150308513862267863777569504858518704052365326148567512931006182920877129213129780773082970223580445184100044846236651785666364432602647686560988355265867468253782101785939110535104012865706554861895662285963393573158994496510424933195266988823138460013344485202918784992358108980678120079627455933756651923532052304294582333339927759816567777084247241546943423845603594983243958062306265858594635337282922804468259808591800792055901906115668683601236923249614209744011090463953875226462423264266947427902815302272505505353276676267308004785214107170062950108494283100956886712465428583087002643180120767718431767005990050024515990263559711193497510588346818732982545303190745523490756403783910820302895441381570812194313541325280047355505997424165235714091839854796523862571318267449842156669117717966289591277137332970754008030894946484842039106356780036311872145953162371174010359151015124098824420647833889525162212619468625088803960008260234433334491610835042726474271699225011489561031002273166141300269845702932082239012874979349342487334216290905550474876924546390949492400944379290716553368394446243331809224875626624633302166961818045914166061715266055993341443422236920383443933434019783187789799245586955111287503168053183572214016412510271971670521300621657896201800161092633035970777055629283332798373814573658404368811333708627489267619911308361515920805949418280975442858944607318304423400977064582380997923354201995664376024618585096249017303884461928587663345231785328443438054711567039335385778913881104973965776651315571412038764822646193501641655848258600816957533471205358324849107222602447550589094497824352195957842606621404908631947330510472584379342101224109304070618817148865508753534697561216833305484972325795574839827660275775414827766213200151548203174757252039703212184519234229602222796523633242995640828206095554153871172594916908706742978144501897406849740165856997309099492669649456022267176284399164271204812549485199096181965797826213108335212549429258883085073152632999112834513582151950123934901498622981569743475724105106339708012427292690566098530871571696285495687914782357089716724788565901702884937251452299784810162949329964421466563778682235547983818273126754507264220305721600584735329343200994646405374829345536909860611645044797779972907450679367807683589094278645820881869889716979033617489887917973969598140403524949898135289184400561352575713579644021432561887133574481660392314978760339069416127134727114643188446413283096327453849775743023002005621539948425312451328644426887334538210079172519660675857147078518671472580416010482212975182803849725947801205301646763261008180644868884304437661475221794392194624075504512478320532898095698430825710877872550217427651921029420142316223882137244968970016078023177065955049106522030119163940479264961038604915212973827755253227485327321173392722390910299966075126844669818257850052126981913328918089792518904448153167625352365094790679798432180338779520348678297152360044389296992355092443342103402770779208620221036237478390008514530995198343278709005685296500151169777655380774855702065352874033432638694503407324267266804715424861012429151529621311749503113344044550764840278281930799517935901405431126310532739710349194663683671430328664819907219262135757856838437640953121008391801936158778176720205836869780604066355294964931139966492661184389818004021336967200182324142842541524550172284087404033379707973175087210302508707897993093071270256066498097221269016666533029494737608650504987818270002432708587782572909203859541710043961224558184411518720424819539916002368527398362035539154663794231572929283951664145040972370748734745726910026373141271723618731616874878317131504495232255942101450932158544698092858758843251994270156789194442418320760528279123045826451828040073243189604321470746003273428466083900203050068581865676604130268141076214021002372301469970585484336626591735057983413210294285510496527405808231888455278377507019737936505493901641388995741647726516922476203946452677543452393233370702067058066532757941543326641859724391172211189200107674467053946110937887874880654887013279296475323079442886334800379619291810472738450178978014346316288269645151370863179574740741099649479865796284754720934296061090520592369032070262426190487791617733798392672216176157135008734410841538521449505917486062460950560718073322938454448969573154114007727665281480832297443030928807257767816527914084292132100273584361914050968267187937357972311399469308133306594424894066335485680976001709756167015879638929601186571691895993666749729832323896821346294938432121731606413756772491538502169965232998189066217005450275102919045719753720467113595335110268823598877915962389826374227118797741492803543986135238189660311140296955544334321493006980488223649339118958397368959252070123722453069051661767331230454274214160684403600580232531587608672885240424568105877515439637276567946357193312669221028316907786351659278655474740591618187224762383336376697664183741583559870160395141410273718463335810805026356377824978412102116723947904134015613315423798181774058001185485529364609553678211600648614192871773334421059482409097635143644440892534800484261227004394440466917419436027738957204836698489452181676221906346444210179368100750225208960109182323006098667032474101403045952948243429820648481259203288212697334783088867187975508527002498739647895080557265698251719276165405045426461902477137473077591417320954288561068999975438507898321522101146920594952133014143599696315128042894549536052434592751631946166044399892552736102898947267673343095358185770110788986720040876835781485455700437436058996248811678541911731629782447119096774729663765449908749226326124920379780261550011573659162304150953687514629249108883461455744233333013208065090928158027617365135033803720662412550801434463210171088576316833496093750001
g=7
contribution table:{0, 1, 10, 16, 29, 36, 39, 44, 59, 44, 39, 36, 29, 16, 10, 1, 0}
*** a(t,u0,r):
14601
15
*** a(t,u0+1l^(t-1),r):
14231
2
result=O: Congruence does not hold. <=> deg D(t,r)=0 (Remark 1(II))

code version 3.3b
start=Tue 5 Mar 2024 04:51:50
end  =Tue 5 Mar 2024 05:37:26
elapsed(sec)=2736.059897