n56-L5-f5764-r23-t5762-ver3.3b.txt
p=81718994726800018730995322933184372679438008624471514150820456634082695144992458234281262616143975761160156686951460139530620558429874731341157463666626192013054483486859328751294270526137659593739003507314560699804577225629835220266774244930199340765068996819006173224080941119709889897196633362632035665528030662517107907226337966917348615487776180788464975799736563735363985969107622166853761489809312185841592367025191202766809548355447976374614931409488292916389963685743135848484121034434296598010175253195149875833579021536725689579080676098802510628775837773860862570848027778293966125691192290973533932554301264712734200211390066361021549107160319902295112630937278064916336938200135061780891105525464215045513459139933077955396700932805014976403218841025226300966985494120515348551524965980821352653503350800362124031893990512264839145082942533440106128319421542412418363404250973897514089196447850263255789880536477358381180054117183633993259319747320470950179358588550952146145457698549101713414832686023081709747819830579212060877782931560221337274316083308527182970099435288857610719568210791607681841756579345159989053426396791713309540828666721255707795225513246471722006921706156077938991761889891125796400396426103304414534004311712987479001008541834891474011263692459334473909607979870279660027735210646314503415571954702515147949814975033739735970466903838441287555161321103749898095839688904496528359189486449871549113163164134172064061079933347995457914059634845182760748662005027035617642080666634470254208751974118269783218971699112938138770658202956358194619093221250116470392004059461194706893341792215386233770876200124206036516413621419088280012119428682010087920699765434713344988818223510048083970606292871980058259324810940945675931036988594031829504468820410274922130888873165169269953058205194838933966980802068500887408539924347178907476855774582883947067519982653106429826900231890746646251127495583459577844540778130160229334192088217394516867765940894625084622161978206360744065416330647851217315683699296174348698038986010156843141724334011929308848799512452250547331273583991117462342706536042138199416057817036221170471697331210177320746909402977772254519377643591568424258116209775166004832420465928505102745252502238537782654793260066285479370159256433743346735597152052693355917986228037806772014749688516374604764639788635647964134098472010011964190413689742975924146182592633274342074643802533276512232196265532330575643917565301136670767180322087103257173686189876585842637232978743507275059568852770441753786841040497497996094616910763424943986127550161492804317594062893032009070230049926294880356692706527117822742609466848303774355854695178695706593728491626676636702452164612208260131052876879886448672113639071737853658621971022435636531770867079749769185243745054763628696297037906649096120164417792487744866612697241019757277270642326819273144533695701130742925892462413766351326337623543453629832970160116839084736375895930678941359530344399695598687079942646385163930422803397098269885143537891868797183935955463582357321315512258230179816114007309107809043468178391438229075269424043220267529134541884132350613736514636005104482484786525447590618284455988578984637443341563052891826213145690593516589272379365157313625351984090073074211798253925911618178479781003532219925037552805479286168952498313799594223368207640929639056198562777906470018476519594299587637049858216216898452726028862760091974024886092879913601758201867132353809403147020753260880618003357008932840335565006580516834653924083206309097819304028877106236574011188384017455091536564249309241622989475300515385880326639931532099013075214871029189286302034435763110670752127306032268792393438139448818386082306275676440441457879858514059899607162706959006443251771957717464623165265531181279680751368854241267914728680106747128330259756772447343219881384010439246166877640373909134255364203104471127408189216867316527507390770515243204135173296889370734220930025601403734469840856036171317100524902343750001
g=3
contribution table:{0, 1, 13, 21, 27, 41, 45, 55, 58, 76, 83, 104, 83, 76, 58, 55, 45, 41, 27, 21, 13, 1, 0}
*** a(t,u0,r):
58861
4
*** a(t,u0+1l^(t-1),r):
56353
3
result=O: Congruence does not hold. <=> deg D(t,r)=0 (Remark 1(II))

code version 3.3b
start=Thu 4 Apr 2024 02:23:11
end  =Thu 4 Apr 2024 02:54:23
elapsed(sec)=1871.507023