n63-L5-f10535-r23-t10533-ver3.3b.txt
p=5615212873525523437769042908486049963756074295047625255232365737749501659524561678738504367072237267278894412877234645195348068333769254009431882917079907942591619650584171888674550038746675466605767932130969473242946276580901756240903689442149748859297486311455297599327992884580781162515602910636413511707679070527888044655119154307388328793039380156141925132126769059948361263382937785999137939789930829887809538311660509980752522350437636113386552063727078152988539060603176194752532402854617792616948864407750242614930472169241104767862408299983702162431988586134288355234922456664838809194484137278629740094631743074244166055755911603088701354190292152852729866169160882036115125720170522849206072762426409674840712463335517809430703483478425134532351437836213482862477267614475576010660231346837813177450912676145964600130300973209680859254486661738466499259193323142337171411147679537453921010572172945252134195828078972181760922240868031426439520253890744934244397960426743545432868507748052723047547104702175640016060056443450149642614656082267912362601142427095471747810280247984608421213455321880715693378471917551626435065350590227871349535587919113855182303470460217177981974934930826785096321220921022747892695238577178253088760836056817884488285594744804136009013785496802684838415246384794848022490727870754529592204151025117419468611583072109175903338568004492416457876795498338988127020691777387365587145559367386938936346187899602621893283427660321425518400298567601473406942571197482380337246676795639899978741947284467254015625812672185274177268198554304339321201153802365218951810826971345048338436081354714897806319789891338521331118964623431795755055671430178555776954369501365022784047182966442274218294936361523200504279576878857227260343950015920238809635687775404894487926294982157674428146338489558796011880205570215250967692628848139336517846018883327438402104816804077377548212604539309413541102327542777129746659558341181741162339874277372056719244664605079940460667973858058976822680212928121277771178418751178164555390994562732355010094104497974073198257999216153698987793642136761495035069282739343785833629360110602261004253054681884776622858953197178506470557842576954162417488355269397426168545131705296520948855636456274709260566023873822190259557885643304615274070696374524506236878563232826352545786784892855507075940891448209337585217173379775360600806954238940245838588145515999311187496605768245770181244303515436661551135240368239380740256688866189896732270089662716450536432951143947946796854634826672589416048364147733785135775293238491537613626293209391739245408749640004447218140464909751320116732396188363087647071712436296112850494044955386834964120547630789970777593060006594087243988852666111933391873185451683741509228729988941260785698292912112282333128157705801795241119568168152702839262463531412170395512058118397042314780191700743899929969832149094552965447797350670070502820609260362767825159765027271419336308687271098028076189073730713067362753613121310378629536637223014954202508750079743706902826240073293133672456930660784468072690884765405322754312696357743630965796282423165294709485699236323592486128481792627342570341498563310504232811669132545998276631548510592553060160347088745638690271269248537460864675057016998360396074587495922510310881959863763182776333048511153376597186716176834767161257378751661012882259516603943899089116701525277940908195121829885149465069514130060053390231590432163708871017986319914810733133567317072593764758133287337944442487060466198197596247525008527275167911133651356745821858699542384874711932111392653562716505556555101533738240371772507909202841831580326242260520626088955973149780744664004055308499497816806954534921356215635448496541639994116191159424730258047657608534721906666061426115544014146702779622574586374480731860038019863916410952236255284733330969342022547379111325957674245465660737971340244811451907043912503231901921078520571123599031281658789783362174365217669963561956714151081857376077995917389063635694138433192338555217290725404583738637913690434024154929391669694413939464387540497328184293235492592749824497862335320472557187833410232507515696409835590251241964318400962055386062158568527072502198158148328509759267410570236746476000134510795790247656709455041949977820009371694199976271152408134532847536475960574482621428499510909323637915114212631739729401075446207635691124307334904431418941532282445283144184076419693056607544073048543615975785374774284726093501255604318934485839686219950473794363632782567332323539388180237637247352396259764058534428516129823050382163062060070980022379722884135611179600236926141907752710499896982430461064634092687718592470772227286122528404361622967932607605348387075548037024697263165045891794429359529966932206947872477136392318971011631337591295784258761384926257304532254473778602445222854330136581278809274299921747746969348234368870267810925282045658784564216659248251351786507810950105103679714839182657121983620020604287077518899534142489791856089076356070084355144539139486701322425313533213377217971812774619710688755450617527634546465021711176370178005101784428552468789591149707167835657643043993304459374060303114706551471010084713183898887229800374477697510135194719258220836444616105294359089136157991150614235348686148761585597164656424474556122096647549604757996579574107049739909191612885113565596521217673689497592190544871425707436797712396507100617210306315411394114694372957941574973157642924044498464187404531156271220730979068278637310777982725137404653550741259659334875359930064676390611562377088065623857409002149525114234364947028820849603525058671801677374011488411868958359845203356520080345370816720852202439460013047893106820923092168909549753799184811729525382011011546241387663789270582403679371000370692259182884207692873580921251071970910788646103291811262030684609240278587032552384440840092452446787707802850473818867889847351662182765280229673216698028570767608950104018160481361757587658215874442874867796806765664851677999363265967058267003383939319492017322744960723269818224233984106090305177431366999989363310479999112595880416122704140324554151731856691117596245209175468533680209479700776436197233921150697854004923893162364553278559937066764915528847327190307742972069193090756278915670575529455121152659709120867497302023690150492130742064698421206974304631885347945619533534677203838410510370539488605563972576866439503094076549939035421371621031072608343369170356998735628096424006816230761976610152779363226237848156407925997918165176562705292428681858197687172810267851582022284483070529426168765158540101027649759387209552320106885708011236116627998504799174264157612021863121391833195594429414647624145560584023167183162263874125443458539268494869088505772025280258042954090963228063039318140684472819132174600124194717822116132355752611524913853690072267120378836638598161929896804729521042870856410951727366355479074870178633111019841350684519858349891405377201759494619525010845789682944753017347614280334540855378825586492740189567041069327425663466104597897374446279296350989430563820761271345035911713853161719528670091221693397713077710434052052788949451581762122149519212247205478466304416405699893593067070198216469761414216212391529664084451456121244350291267196134563599319762132238906260361943623138358816504478454589843751
g=12
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):
68309
22
*** a(t,u0+1l^(t-1),r):
63656
15
result=O: Congruence does not hold. <=> deg D(t,r)=0 (Remark 1(II))

code version 3.3b
start=Tue 30 Apr 2024 22:04:12
end  =Wed 1 May 2024 00:29:18
elapsed(sec)=8705.490227