n21-L5-f6149-r13-t6147-ver3.3b.txt
p=3888713542884800435287972746472653753529668584759839844409655668973458282352836649158437652953273475735934826903397416873689926383585350346372474348369581376474293139761400705304725585299602028606208842424612925078099453531003593916460333299826715907910756310476838428974661718602131929268914835081653756420661082618815362194310148858199595985624876331398502471868421158272149729149159225788798094269022440273984586209775250368318185783462529647322975828257060936423490580590631018824581696870414547448539772399518960217572345231748023024569909912865042225053162198159908067932983833215560421833790785307824600084618325526438758299470970617023338200529123707309944215218603114465475779866424039184294056652778996359718377189346846543951935020976816132891641853913006587170564606493975764304669787079642285976155324964982201150048723588435495404715473475006178230770969896968585040871401982711654015214913457321283625141115986374761749197782224284552079893974546920950559955952035351728709953290310991748009660007752122606156727245938900526570181888856841571508465911131255089634318854741597541206446489586407377537305547742481197320277371766097721429182447688698258606725673548675608082330057633617964921949484412429626628854275138543911862690556888197794602016625605681074419164947038215310281270378475439253297105604324065468487540773147259860258673248187270457292579326852124595013693595471524964284789948206001185573773669135269199073636807528871985281078665282682570008625321117100706706582816426293133160646214111898914872101494192322300977233790348030228961784238387226607561943940518856731828458789190225841323518604419064686976500003857690462488451698893098200036791583756027161516484043764512628633942693130123724907486943159062440776834586658386344423873747742513731381006094959379073367751052224553583641426379323116536630268953633874423493596726636293459072711438260916831715410045407256774783164467511954308951744414373687712213627149831413222610386780501491825875777668051303345795381806158188438245542801155170321329505124864430750540247681388373949161927387494432910580999672307769617227395545572650526054452653677055826405063937499466354108917903945913606697297083999480692196608762959961825805309284117353039759398067549410720215682746684569483293333664226124509421698995352409268677744982113101852897641734055630028836073004075866841327408461143213410950895001013321732531694958412211285639592979345789897279112353423793020861388989282405659575904236674493525290983821658557341064293733504013804458372761270554739571402083937988699538653990561477374099517397517377604088418120788221639464779584013470644206331681516991880200189982851815843620454437374077010214797314105612672590284100684617720083221625336835374809083215633591125718538180665602177795538101578774063164519598377680405574453073979640313697652252330905900899783291507885579385012624322554759620127094883192420703262114868328344423667253088451664779358502950870560652996254789560522281678677027644546604484776799685648001951771412224022852032291916559777411146169529056553739226350733760502120302326028117489712012369452766115809845711481265161688210886499472508673092901970506776248473707966196633737408133689445770483281406267250949742538780844570410867566597060660678985732164807372722428854001646741406266791805800497448538492772540136472385599683176527433196502099460782493739648169853311264564235075987564248985884211279692575902350011680959180069722484218679224441199041544722798265366125029314000964330435340005910745309963119297546399691399805064553064711437626375056610808933479880432213108590307993763112408945341930573622681294872614469488957531337754536427126161751689247793743479635353755274225888181612847645010552053563330810846994835060958269463764272407431943063151783650808107681565466881065256676905874841467203170297237782925808321249117036772188610587578809051372661478297776799037477244946428378739393406593726984779996374187661521139102217307026353749395907902673923748113283686060810762629437118695710955327179943531915635913939125702778039383602870071315984996625918548254315660179948842321424771746315611365637007508008336372584799442597826680675054711672725564540836310968064928531792228511289379874664558234786645093049958261063478972681639974544667848199708259926410391926765441894531251
g=2
contribution table:{0, 1, 8, 17, 27, 35, 46, 35, 27, 17, 8, 1, 0}
*** a(t,u0,r):
8677
6
*** a(t,u0+1l^(t-1),r):
9280
11
result=O: Congruence does not hold. <=> deg D(t,r)=0 (Remark 1(II))

code version 3.3b
start=Sun 3 Mar 2024 08:02:53
end  =Sun 3 Mar 2024 08:15:08
elapsed(sec)=735.566603