n62-L7-f4895-r17-t4894-ver3.3b.txt
p=70522476527257344818684096885593496460959324357338226387837522404942958673186062528322134424051833016935553041157086948330786722561688158022987367179442375391270925533324850971527973324465251448998346283857224537791202569585203040105586773188443970555564558428518852968366300352310854751071446996587572568106359803733291861353456845357402736846081219111757488380912902416515757956873940432308222775809097730077691565121606969461086822804859476084810437083446588315907916654842920303732996387531567415958808208599600386002266140986866039413991025076001864949483367379342010172804769087017241498616193254247004418344711345547755102638010096079972056355707414175009339757698114429944729279032245840454254438042724424863295836531783703982808034540395844564491775512266755030379748854859102376591185393490927374938627047163882264120907374331480135514829079746707108713851491703753312554478081817130394683268694333835704908415650039212256501970598621744121636047665306459300613405434304398316398586677694846980414923507719123529285976156065677702701717843655975913851951413156330890707997109940957055610631829950738002209976087136042028522665887199137243565121431157517253434590085992640743339458628927184916376486867377817981441204238361239672401502554592435227246704615648197789107232641581750749911947041784663063752574032422927933566804964310139386719717299791831215578690398072025802450991366133911571364651327952312293665642287548589309744912725126553351116828957590270668796874157847561221770352567053533682775348396652461698314639668250261624847340797655767694787091057662141700742378617368150585108335002720882238939953915843840823341734339591263907480003385098595037923982528460504910241020614613047779800837054228376518923415175118629891957196403801066919668320834681512066342942626651520949380685249817144045096109298366003946313791066886128461826977115416542140275501490116742608501128444767631373645472742800947911200198691263803652796441749993172351290214825800316683157115167986551408825796878723124497690411304693429018659522411772705968797156199758620020101617891357644056733161225372240206334972608853123024691685616234973837342485000309759685594521255055151584625432845634755085054218337402976526513516790439560822440940793463815093237676114457002790779377086018973253757296837898836478213225322402139826320096434045788489156163833878791828370286472997928956727937010073633609595264569949347218531621548847444539779420917255989242314007935502923488814788750152449158283568491780478017899978520101392730403071768759664884441441144493482042448734173497561626533392627639125227324249230550620563423009049976662699700105858718272951725359384367948319295849631311833062912113275839206869198948530223530058716606518746806439879657141119824532751869489439251230736484935464847714905163047212277561537410009754519561442099652903073591469542104054147191370208740634798968587450014845532786011981684666497508780776256368234013971564824681800637862216817143471706913849271719208410578430351298257878402943649370693575293696058538845881631378939681563674062473209241192936979281659393684336840550151188682638618189492282031005040284780398858672624889570223362984299339411204493237346719347288842320831018279189258452772554460032568982247325343213747382041075926428609165394105259884052577494207982492293417095124217047154360955077060650108015156869128049378022995693910569850251731841870794361183792498045696371863995296405482389614294451547497030111269920199891241078654519291489877828823183877996198266411560268429578880616354761235665316270445204485153988618851002912298877787166947320711778942288345914754395495970431066617052585125525897581909429469388813139078274032854121990170009390447114997142270032084923728926860066252195674723194582310211302117289641220104122786899563806187072463467116914057892922858578005020891553034114988064605921697357402918965801368142948589548983647601356995814924124255298546548036309031359466142112559587060405857780097897516416083162064996564096928836970092035173638386172892424966187640353081539659408911561213043993853420625234025207366689617551778589486966127426030162678410382449798676240928933
g=2
contribution table:{0, 1, 10, 16, 29, 36, 39, 44, 59, 44, 39, 36, 29, 16, 10, 1, 0}
*** a(t,u0,r):
10800
5
*** a(t,u0+1l^(t-1),r):
10743
16
result=O: Congruence does not hold. <=> deg D(t,r)=0 (Remark 1(II))

code version 3.3b
start=Thu 27 Feb 2025 19:57:26
end  =Thu 27 Feb 2025 20:06:00
elapsed(sec)=513.997811