n41-L5-f9706-r37-t9704-ver3.3b.txt
p=1308205400919430070813589450701292771418065285305445461660947575815954551297483687431568941511945074824399521687689727218348652135453216384028298194532349370706785692087654156522315177233419149776886520318082457663661405895204979622918448863691958409885688761079423583310358148382219619402870821496281527251214190723424700831266467556804396952010309460612037762768214771965999361318692545226563863225844119105649486875208472506219782287087163845994269538576451437870524290998901453367159550622518756637246858235607797868455868580232149722834318790898484964942487281398466389796482724077800629215962818248302812625509822467255823827644516983868889259252244207901199464964557649287636489041099837457728962893611678619592488073444173988030484246015363375562059164516926917437250773754335463576049639959672094489384920729654873796593877123317049735670652464751310276830329838210320341474423472463445915629895067206599621420544313530306040652034002167387870249100186385229847252612171861362931027689149552314755479153916632696910537096200269552588491150991480502670169719381900868752081308852942147245655196084522096653329521492773437782005068117114808102388239418878838101038156050789735924435794605200837008231545926868216109982384784444409998487219438269560137393355335798466108966679186836231503210620672070432498014418304261927077605160247184467071195114366437737647075255278917107244345795349771809800607805707948422468252632116175881647815381814110503792566229549153938948662804994547684235316159250249325765157172197223342989592591693273068598270024549332694757592014531586314034444193250090116888577455299773362460939158118661452474861837965457638589659740655219657451262396325622950410265501870146338858784409477401852338145224234111654966266178868690626474219930691983504820398523724392913993787486492545664729670413806743881295557592535573205928331383611723764338542049220363511348425313889731729604173547065513514447968293549880093357986885403419802953913690843198967641513944389721182570161928046349343539081934526867889889826882535009531440922582505986841305221340902983417039933703325166404475259964779803877275365670574494825265631123664522890674744023952034216979395680211606429843675254599113510845315403056631497625503394523793718179674888948987522255247384513756100495677753563324329796174637770307017457075886238696453711403301275024217810107596462484906269513930902219465786811678665200559258408390951801102011620936169486050255445954919197557477536818400347585428920175416928316152712261239273519678482127683526736018700933232808163419408929431415357172331747868047878019617640291735374482974420486854706866120354500907152439539993065457335932902467249648269927676951780967608443162630725449288129700605094615349816253318027415728483342572721511837741485973674172032569758576533025950273256864964194603966895116416159676121505129925342513951444938528418109826924602039765464449789325157931003883246810323906122389055474476738229598729021712545630877774293396419401006436017576243029558238095676644361859457983200940593113400995236960398219456529143896816425852144357943767571204230007562928368032419656188273158897205324789852591896160615266727468641586753271891224335646272166502624580740651371447305860567711129164260284125656590324827298490361602260858815306005208465666140335304094797774193073857764904851036926097997535713935564255389171866335838805990360784253243879898705300129479265921930712685768984684754988753329661196707992855587612829698463448892027728075664636674289646255446014872754214694005507505100292055963894708196153775504282900945323521746439512373246883507718968009600510952401716213225327198617480427369004438193363419880556151063158019809846532349955906345759790841904116693742911455336191106483761306171712576848054024967609536873395465557052726210333058652426613594540453715823525012265316916422428923999928872408767196303320193623073253014010136131207804267187117565853436626834334195589150001118121770862905816048880171223673596648705167992899549215538223317144587111004918234924687981502396415815454385277106674006463044504972617203575761628500320013000487143088691953061123205093569692799919375741555162066734343587840599956084322262885154475060563856463914655022678897094638196042822506707740402688334224127500267360673453979927137261171874536253820674064507522933341303270606361172315108553778200197744569461806565832704251398885780260153221442170274692897288134963028301090547759420927709730323108599449805518773355830744113612481358345964387105783372710464316688656707299646907949565475622757813438413949333418474504164259043129671766617396828796075675782102443392719843165316590648766425148800392864160979774566003841407931623879272719600991908833767154161612867042862605386861350591712643737310232770808956953776906888472833058448182297002724295987809668706699942366012145926748740128172144033585324059519467733074821094185896098481439063554944726761738792931010158520860347973353935464414186808594722634141813981129847972946050868088596125779462040388167039251364638538362278148840144912806806417730978087283513568841174270988153183804139010797215058388010007937508453636208942458948753471717524340096405835864480198201540599891253678215432137595711460742366341206761888840074944421839994561463715356080496824334070000334160831251222889204287963775163810904507385393508016799113249860454027928923296039851066299772790802694631234417052315636545892463232407174930363325561823711760128706847177164532640253549904289615322761717461618438487616358385400560369190560906173157627338218389071955489885852134822738197882819195655865959278198273093444594839597482517798115350613137079962573891899972569783207417508222241183477636791364121436102709507991209962319369890267916465491583104357502367253281644784354433010160319700126680715727249181241773996794853292197149753043223369580062084123405710334284427119954609828537234262066952531350722184504674473687215387834180613091049702403722509277300589410449857552472270068565470205646583733546297180997269540375411961124355967776019468998743071676327685450627000142794825190216891846292583925823441970022299075009959120249439425229237523088222309110030013341069591176431054153027358472499397255767657043399465481043237983656925294687111195466576354300761986284856813744189309828650861660563413964207589004914568894748046206498899288213586563925473122547604527430332400782688603206886091028990859552598912644576338971516568176107629922776338206886928998621650233304029071888751635836466325209606582869390329105219064133299739075984222211593368548680864241899787731531720400285033407115474092106565009738155055534646262196429711914361881527072159171323622284880128496161194855393680111066257177192671608317138794695036643665705509594694075793653681135178534766794200550066307187080383300781251
g=7
contribution table:{0, 1, 20, 45, 73, 88, 119, 135, 149, 182, 208, 235, 269, 289, 297, 302, 309, 333, 368, 333, 309, 302, 297, 289, 269, 235, 208, 182, 149, 135, 119, 88, 73, 45, 20, 1, 0}
*** a(t,u0,r):
181472
24
*** a(t,u0+1l^(t-1),r):
177739
28
result=O: Congruence does not hold. <=> deg D(t,r)=0 (Remark 1(II))

code version 3.3b
start=Wed 10 Apr 2024 22:17:58
end  =Wed 10 Apr 2024 23:44:36
elapsed(sec)=5198.467929