n74-L5-f14094-r37-t14092-ver3.3b.txt
p=28412066810929289539049145365593484825520326225350431847560251952092176317603233308513425866621672433462295381705500232715315297241162659464704785529413238590432378934786784052376789304036788783125307304452974444675142206164671310344218424861328764314568213019139520298827344934368997706914990337239698484118949583846179283000035659595633190701574327226685045234348775092840157000972721039262123897625088490240848415142312290966898146062346475826977465838829869074017212222208185773820156878400006717427953125774905588622654253625659774317717624306691159229612241693434869878351080122936020142610410640347233563149984846453713210866365566596138652174657995663455313739161923174056756849748872901731777073715482836791432794489506809187532458842285329863957515382702417777514375399995342972760374089826186085138109623952503983038887595953965505329849018736271702446827557538451589952195774148720890901814768054336124653579354287283447267437512942494088897172482947469347136892042706200264993485595191398660416226080972565629150830776471835680920908098436637054331055608448311373429128715707673532823621172197442060540376154564348765078076235992273132656117716700859010686881436372832737021706286525744177660695410364249401487671709683960117475270504089849407392064609481728096610390669999953770950315476655073755931601977103825899401435994556135798205578769747105229010929478644968990297582201870590065846747496368334703365386209546984091651246429501189145940960198193629916075661229889355190651348327125435365153074890999868615804457649443412149620096082451864587867626346504806598394317971194507915982068825733132840060091052105133997655607526559871928877862408755946430730496047062964036266411510611285245716255511515003385045657520750284827328230935937984056530706810959094681462734389908242174920843939471865774923700818659535306964693502477087495319043758308435025640719881006177688146627475865366197787512446834218419820528038364267595515201110956539312085658167070905858083617891349675606156738206930808580012808347093993086319997017891606642153219772652421363081300071506168486373203272415482273140862244906678685179134107280518448725578181276155023346509469373408584462600849939155693450733063814890698536670927598271625999996260705072305282456606503715119662656016752110841971053223733409388041428301564732819217131147512222891868601707160144258456128846480104258758895915112094298501150702346772764082710025991151922927917743462807171481742663579651589401901393284009206936921941475806713956025436718543340805355107706842319629387892259659432953965214763558125657506094177519139793980112678487124538057440290795027819434772908021875191755898098016589124500563072479826598888811790260189550833029925313095979781625538812778368733781132276518982284002899387621684906522868719970634290394927721964457628564368145214559504641822778540372821491415072350677725537471736524577397563868145759596359606751569942549105089019084880433687468046513180241850591707588721216184915265515651624616044412551299482239912139964858649464628036971589773353579519269948273401541323857859920136024349196843153194070922464117861173735798248343856178027534813065022732443195992447211153415298498931256017317070262836828421627586378845880208419004308168822659030741814014032489993187342646461996697625907994125785532107583404691089089855472778250490226978509704722449488076930082242314353836946326086665337000847733187640336853141223885662717810138660542386914963553992141514062128243233760309131465557467872725166530997018626100715070069005053313903949637685949055529269961836791287660537139609229510494189167374508160135668778012938761581685488283357303053076941421421971034745506931762368968931550582678638422276453364441811876264994824838798863314689563379144895386228717785828839103558410294995841642776055352759564694347890821613144696597015404843864092096761610297957784350725795281054447813272910066686107013328075376759586154662515542311531377955048407547947382817601025429296177176194448429534585911212441507627333361120249819315801360951893664586689412338587242681667344471774404424244155652535479423721801769190189780398330643078976129475254658746097341929853046848615505546978157114653181594050316849849570118575746512966405556130845163762942487308110596760727418236484063762826606307305708761246623926718896891929303795512732847071808036741008609203706918251912750814595354442934507465442670223046630181539864940396729619596118915971903428635720938277056514403968604316722802934074600807637506269211933600835389983196939898223092203801871160845707855757185265995784533479783292038496804108788954447749707027373040777637790955577915349912092199218205348755407527966003788061573830290615621305341011596871722901518712793957858668933932742038908998556351644190358272172076697930042396559113797670213111229292592842203828604469307336499805331875366284768539215076874089875812545765073801079914039246872610971440099084837212559913140785713087440794269072567385223396018804021315879513325013723531379954644390158024043835538053291592365448625040445877407175385212885195036743271224696573851192313644055990391620245549863816664435615569554652496997634887079050070144275626337260050351370409055025071571580021312046954444470040799666281655234154852692046046750062778891029907813893850732102780704715154297603003357491087423156943239170289696134799703147230928225842258761541883280776614068189358104280992410133298342601641279278613711276047912051216918496098155127068538745385691595616583024191096231367368047725498832259391626333700794059095547835847187457939896488239364584855013843753657335635790748414743327988604010905873625914040672791207097245774552454728965815117135314654624824830799525633926787290330906522105033744618352796178736565068192637981022982026449780201454592018920524654492153219332632800200036375365396856910163458051921128312178276746350826778187493904133081390435414983310798063465594076241091895740644081219714217232689808117587899897017090122942535117081760411338286523942499967892504461404757394631902776577481445785615380691942929279489037177009390513931644580473082594955673879591396750280062621696472580952602688865899397615631340907566508677909856188260379357649100686914679919045398059549620550489995527519481636579222272001131451120802120668755696728800892600734814793933750680319376191572399424908948443807262589107873917863674497720075763650857095103504256607819140316605761820844566928947581794647559737959115450974633918239963791772712850756242841287384479468197783741211518773561335629494726371664616806769042632313717625270147342390035074278417712338378226699755189230007335313458909551391542150077520981579008003603729890783463918196922996467149257993414033993104405545917071263105310306033913735177606263071063065406179974439470567132765364664099892457985536623067383430701914975841858177349954064272548253968793925297504545122479534644159850202644353297651272435112564650947616135782297115501110461687624720561350054879526657978350547826856351543256657691137542586961487756041407261840959830730218528141205983096706076172019183024353850997021860855387290063088651913794423813320941503263308973490714215849112191355288020666850117481616476600176897551612883696396538360388146740748930916074138033744129896707735458628057916116712690781827400985574481764570507336238134462485609748681784436555930805296295594286990897101668397322575840025404724021437971845799233046502098326820094121215346540173065570204008611544526749382755755101247452029486625032874170305714434611945665065665058516017592983925689185687952645178090578491681256435582281790513760005737370915064583827944347318040795238254580179345263358223229481062069188602909700502524436888882748342380063360633341504636934593992540636294441361809071069802255515438646109337098985597463574301507380017692883663116440127078697174051160223030562875039884707471116804145206573143181883053413303889786594187005248535790267509584514462945760152228343207406997409137218820319186915417353795032707806182950080204044724790294577748161759002532801534259230685076904994025436463730145378827131418908550931365688303006955088251250433452424904962931841454914836881353495357467578892685408592839290692676162458122990121546210321262047615800897428869431709664574495187004223185822901326232157795825724438193928110172923539552174792531171726422585601894760043379659602300036395080139438291319494596316994145723973411912471785301004279089945380085272051533915063053193400867544204681010161375841436039759236598397048328010982935486491717056750275557020602823801184343124515842039419940331292153893257544925752370223339879914574852830239077065305309402363313790635969749451205927015116934669601145494736329889675709269930061565329184161601680546264956361520380275775616321161852472830476639063015853555014233411628301010482746174233958103458358095421541973492329899675334443222200169405462743837327390680454835817879247586821605360240280067545605238016842189803999603163742102696546536901353099934829107568512257334533151514856245657110613665417534332107446320889692597427517467255743265916088934419411576452853306549484043321512849475493334571937229496944594346664723060812601060973843721015159347465052851211702047508668155426083576957633695957307266278313606936072484236921609770406568365353862356466469530484373744831527565732572606076330445732433809931675803400088442758201740490452465268335635496213870969880318960099114581023396416205440370698988488795147874130533852321411231508498612172730715912124086049547833678938582061573275583131633258280743999884554356772753265924039497102144014474765600544802926377812043333202192012682125564985317418166319377969846553399643538428810300698258453809422451399540403419812156557484702039752592332211251333630194754424831291264704593693535157213582782545712871072831239602992126144622599148363659583155227394968278531450778245925903320312501
g=3
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):
322247
14
*** a(t,u0+1l^(t-1),r):
324303
35
result=O: Congruence does not hold. <=> deg D(t,r)=0 (Remark 1(II))

code version 3.3b
start=Wed 8 May 2024 20:38:51
end  =Thu 9 May 2024 00:51:05
elapsed(sec)=15133.929887