n93-L7-f8873-r17-t8872-ver3.3b.txt
p=6674549999213028165962594115158576032676740454496083187282333082535072196353233374416007877832971739104527284256547530580021361513288636266762841284424846429741895930053752241074756255664916361538732049304577204015042788512505476916141526096725649719829199907144640290947980365206995448720762378455970966373631955781332936947465696006298785617054808645387312240535876668476731984805443727109359809821404527721495348314694758723299837122918832710778809680736749736395902427197333438952952657058133004345079783581398222376744019509904437471247416655657666296824954016728704026195452191345789367935237670648274323970439448145718579708875892125794169925690805909205989439718394826208167589334550283575951631063632227357548180575102127977736483104022853559715111903119245604938879693901629183562029484987709177172791949928605075841717853988516695064770672519478588962433800431107721925532375554984366763573412095461689803168688887112566177066762239161849357844110802767245512277187452216887716367828928971150802829916326130947559371100545511256737444708669171400675113835637903514186258138855392486508810749544319492006635918771883832326552583217698574232301022134913035477692582822042237613837040051070613402768331466710913939288979535309704968941495121297841007936885225789299430692152994997924748867942949518138605808808883021172309215267930024018501363825209202813543832139988595829841963304075430016744188035071590378309772572676823796605274236770623708301708303086954249392397121025425952563336271844070313021577030211254834440013739434318764981251693517605442602842004229263724131347026300609925707733341327208509115268018510059402633662381228827217415862556245823047747786766312754330866351199189086623653996732530065518948541278818471421988172426346179338992978179149516675185001753902886382265862279128450925770371550248714331331545456995719783282635885629624308282468828842864669169175874156776114516286927450178575194460100206434713957853984430535147197350882297253700508351794512325678041245897552289368811019014562902502459963732932422277632585932821482196216457609992226204956562661421583659748765942712412746630585149432229519578429915858919794466122976660509353342267779763808784223715211758947449137653449996584136944056652201600454606294991244126570347870770218070002328936497770788180141068625860385484925531721763405335158066570879549558988191773320159155496345820446770070888581442116035210293909098284781347469875171134000478310427402188080365734157873705382680323900164210788871985046814390987687859701695544289316585670453053655012445265013313526001800132051972389246896535618275813455408279741438001060354041864387424308132843432101284923031599586591779570294180252398227530110010316429250937176377371289986789606715153816047273093756611180690604079617595226781641880630450006220485465898036764286286358856362013122692136278222156805920888778519729910483741345443110290149770731549219427287058297951907080951238189095131952121800045866434750176198033744182957669532678251862854192998379263033286899845426039799073511323107438935883942485110695116000818748398280585810839098188165815743884644248917693039913854864077336942376751558198284203511464413675227688427279375540481837061325113544706219709213933976898532016395078125076574037142575572379577015542443606996878384653882580277099702175627158510733174272982943496181966670373224676348384181838736400348451589218988717513559713087779001280929831841182484160798249658446652202258484086233111357488742372718702608236698799787982084547037400440519610623309935300417777011279137417123900495858544782154873719423343663381219978156610614687350291838340623214128282142471085373703846470358169920210165578802863910886043359809849597779187121642743336236767138827807711574698540073862721865855093553151533059892682389826117644405302685915333118987084717516637505742581015131593907012767025089975876023273487902395478912434143692186491355393793217457231662615544375378064968222326410920545114722619838707347900720040268857536910300735783125053300768326956554406053600972849715784149507307460555683108644620223682341862385611127079520654193978067366771581082826941990835519294824118212152054085005764881054834436693087523713214645307139273068792636407885123227206600645483518601151366351455836401277439684815731989510171564243282906088224461156052613926242840616327146112513355558086438616580246985090653833252901313639164668299209747069980486579192204822012777460062511830814824000909319688058383150499691928730536756500788229458901625377491023600277554038433086801918713540521524319760466562536593712803137617644284892174517294588469043474906540469392836184224244119852440159724904140298332914317146643255295303834655365822750211784215700348897428622019642486112535557011118700218267962377326613740826135503543309723308961808730298886855522363161176241088035990630891957012607103077909652211517616730254563088608316890176155996313536984683122260760812681094717520403133885073198650801997665757139642593878999934702443452078759278757665069224218953898640080717067986494174771017940251410887999006524341303340922795638860440687221527561676938151046437753082896221665108225360200444500404442004911671264539946976683535513718424574107953824451882740965224154589215452722479959739338542266591079845793152430654175816998529191112499470277003358969873915094886966680137223602332878058247772160609811054899326068696770139550831463713779731633432188154343281917652079844774143596052113227010922862693271383296460479183828216501416328966755009003850877916269099325740312021010941019336679103227393241863355610847266724170511234137782610473383605248002237338673948150504320061999441776185500364348771423300479996916700546299970581744297682709890488161020403182756003540456050866199877991859745455382078601921709412817625611881845444305405675080035669233504582985041233401320169699284663661430432712418698518175468882728376102206863074423545369490331275604647075536321777736794298550220201568232696631275364142307113468007225329135925122626338256607741032833457891563656957739487047912198730133887716300590338828488995353810575586109077896270611659790464226039213972976426306114376817745687202876661345517480693634602759210935628131499209283402658788862758642761191180539361850323538849672265295494675104162233835073262563151540706790541598029518379829711642794834224777642577069711455814623175527739004650881881913356571491156989991430643643190603555618593012418844625507241189476486387032808429118267031169551420326624442163151417745137947330180339015179696565157057106985094370903872574053497688798767010215057277434295464212685634528482687597389537951915476746720778189241529280891380913269104135124417347336197856371471241901939570499252883714317932795594941516209510101335531577943781588482929211123991292813319565489834446649522937710909412674508983141990015419703454586917824562383543620283489171325554198185866138769456876015816421619262567143761994597449883494848739463266884834217342572228581197922039471500125275755808939871228911245104923738391508227509732636899377286808890182459942007148066721468844645442710768121668439572028601295776189645453825502032694112302254677198279937466372006216558273674443176975863604842871271167930395201001516245470422468281266149353701048703407381644234366886571615420252498277028051673534803658700313425218413890296430676586642767455628132827208805093475406206472704907001090716942478069304278701633492116383389850315669205065261355257933488577243753173003047637432310579720491744730494874417845367703
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):
14946
3
*** a(t,u0+1l^(t-1),r):
15211
13
result=O: Congruence does not hold. <=> deg D(t,r)=0 (Remark 1(II))

code version 3.3b
start=Tue 4 Mar 2025 11:42:20
end  =Tue 4 Mar 2025 12:45:32
elapsed(sec)=3791.954480