n30-L7-f2974-r5-t2972-ver3.3b.txt
p=12581205403159313391495006564285852074035559139145598487425424272172461666157134617231774180296283258103603508217436964479675556451411915476607203746572134165452722815602321563123152691601195347151246805885876408949182780754519279450947479201055222674975116931695301855642432311994807812271069200112199507720845725741766608204595902942051247147727731599850510804291764057197682818593907160048698221423225886150812394889860591335036286545704203502447638753581692205722803419341091213243415411745053521609466245338044566017090686785050194672205256061347270631819964332209521318154397447686100097711687220348201517924447494360116019473762207417044199980340876176183989103331577323171198634474771976506557445455292575792932160611348876800353927010313102558384256272727041974952106320109424825151287163035293314279548253603060355076691795130782900726813965598815404812647146771482785243863118956844749566139470712762351987731781165563876336407475380574147953951908670232237296733242485103080752559614320868911664955537672643266012800111146672237881941275837603259530359721265145320414849190858081030904691393770484673059241727804298440883472462883187347965232834527245313142761962496503422912528556497667572896269717634776569125360196404400026910684179987191314196389328210127803829091821941274174124454741241574704262343948314221968866426237213073915537093314301046920805699630640787081040122616563556528592259228072024682859737228870569745575607434293334700029299829436526302678664651905345006698776644864612118992973463034767786177602918608489769104437609841754737118072522939851299582716508455717593739205883138163871572333743831385604433238324538082479309226523836726842209434254005275216785361056874447645020132816565544829090158882221531047800649772475647616986372323919774366582964575037683682686961826171705485661656058780287799520760382730593122356088571512828952832886607081980620573004438179535492419709240822082293240507410552006906280673643676953246116748508779552465809587654078040775939623733271865133066326566669394665588242135990568924897293762251017703949711582583773383455014726537892543562263685029182316942039702701699834991992184673707325053602674245208034944177454688573081261868980858539226191345905679437189098617112737934741277173909157474672654059517080938476691654991757387568296480161222960297285132387058255618196129163877877262785829718472387131559837801484616054290148655686309584757307056295280137830883207019863683979102972299434421654194806927830088619421601280168320986530208365810941
g=2
contribution table:{0, 1, 4, 1, 0}
*** a(t,u0,r):
1736
1
*** a(t,u0+1l^(t-1),r):
1754
4
result=O: Congruence does not hold. <=> deg D(t,r)=0 (Remark 1(II))

code version 3.3b
start=Mon 4 Mar 2024 13:13:41
end  =Mon 4 Mar 2024 13:22:24
elapsed(sec)=522.992848