n54-L5-f11294-r3-t11292-ver3.3b.txt
p=1587277011734011989760031827336338105835753106292915920755774516424841398428433764909598762450973440291459049213954884212181430467450776401896670336905128898381163226973486348434118769288707037535754264053319428090808055429873909071733198332368682840610157367751017808020992575742968602402313623476414266721135327083963531964623763271954338497316142719680410124921797344145325790519571348554003699781310529315607141346908441860329653031945875146932941313630902228209721531198638922023296302910931244143333473286690432194007442606108264153001326544431115467242258726503187093912907018412047733166482534048188691705206864533546169174646475759085962206532241211395649504817506673919464289344349263934550198491215832161843623055866058821348518300524518261017634153851572507158027693823232759422900671246308366142136542485339606960214296663263140843232344455813518092188597844083557371487820358800635302369333467693511775903520919937980614419027217749942142644074302686937767448226937173261228281211434067720108673482254206726533367088479812241742361556720357611127306320970070653455617712353971551144005799938287018807621318935095158459437165337608723681219072637670169198361115531287873860464448084444427256250093603038550703358936007739441530727384199473382581905433447587980889219872595790568089219943251268173794852905638144571324954828199106964044938395132388428462377832117848667438564938156489332479440808529476588598817921556664234778050980415918467651671733703312329657277772811340527086785689011683884736898104464889321204421013792558240741456199437456615000813014002283112084664796651527026579321347257027812671922692811911908172958434747042398354581081389072833243389258476777543817212846628245569558633620257411100982519830173190077793577609004194278386439978860515976720818288099982236674728087836601486197368632854245446657678457715153564373496031382728871013496395972891943277255099213355173887171425771114559160612599679035589551357039977635732049494046660080598656305969575002018527128756974568720589471038248275467876585258132041222463971446586098832656359840882222963390223504218618573090320700421173136710807601860632225579013917719112758680813610297521716830479519055944663095668488211762089073179786236259642869048150029595256088688205189902771837429334524344340260835498791737927784747914409188050910325195320307111269354545703718363801626332955468880472802094647922478804836452375646639862653908857334985089734068501388672980699837633004014551437167539681129196529503920183883319164096342107593819103704571261547746372345836363975180410124163715987182939274108329446239354259363580316596756404608342454669017546240691412177843059589173870790986641638395573946883552464317384639276970335788654944933462421319408079607572910403009421899361920847080352320761186943599783154526143419248533057180822182685280558413632313636499214751865640680269744628962497478228626814842540664121271155509279208794237124712670293289274691992316663713288862779706312660889261802862500991727373019981829060545881468263220706365474138413816763540940822837544194397743813972774911985496784843514030832039988271562477441707825435507289176496744999429143775638615466221065082626391898274046721918251029559213780183383370327117014958462617992420788719520135728968183461064287070923335134921456440413417311154478383650111226545051383705160598495537727885748950563901258297633829860165997816099578806846293878777554937915231621010748509016239749145897463216580669814151225994172336180457483335691572985157696212979050449410454304628675167899256440541008178815163805820162965137461095341488451406898810128643063213165870130352371641047315272848874915563635885666248656371109883540429956420450556896685549425923960218763026483655641400190047757124290338046388452377720035207729103876054527550112884930575548075267110619832001819899538947219880657005829908583778989468151413288088980360851249995726697634921771705342544060007859111876885927959305916980667914098881009339100365670553459530875390760862566610589294891799280065877491600108283832247596548288365672877456580166214997670300046964461819716759073951057806351485126403695230888466299657294630558450652722873865527711150265373183137532074788644757402099962090475842681479901125642608084743987922314781715659640653791828172066543882611523441141741659671458093215639048583511535898325164986250393295005930881647473094472105364347600221456163073841143439387384676189691264186470480986751348467850956924242110735008286236388342075051766313180044661825394750195934105322619523390024618468955767254470327767942714215839126055452193409602847405696845974741657291569973317682177272978220513931924694434085659033693461792343255280075532289248140461035294498066654753781250722151283080572001960508626991234478382672526813817931935448632449949952241602087500696021103579483440028923653592040730540331975362384437748856757400869158515063184839826015142473223594088708223213069283397494222903729545401497967933926370053400403411460275019981327565385234732194551984229290135094827404650626544399033125405138075874581213917842519210176923509867429715956364515976585861667443884557667084339797197407026767264679382401793709456614257304801807636339505768735122005724822021212059578568162626562968234516612444681868844267534607895888881864023285205571982895343383418860595561559376014724853134439956766083824410357428160009328930537356886950385743995240173378037049710216693719533033559149995648858294238225275410300281309911839722326865039412825823581512047971044033986669050999633980484363280431630168088413054317713703435329779772770877131834183240699046911834354645988287940088372669211089480684391056273809642863716974073018399490221718358394990523057950565504541135281415909060537053566818050580179302161479609085165682175885559129778247904449381505572441956057292813669906774565419426739837567854970480834182822230436005557106360393568909906376449809644787589696087548121289405203052283276703906124329155338536463738288434143072447739256568803512410846963917997474830710697797349828913373919460348847933178424856770290256213409429714699185941461395233832433372466448404819191603740090523394097239132183265444917847944606072605387353690270227893818104312673810167362046515592897245249830262819063561130520354961244800589161129780571139645568099357327875729044191792273331587775062417387145824716129539897897911888344298796909621057059452881987414901113287400689724500510565034072342853823185998990354863511459431137424596665745021210142565425283063738187256387627863473537702930435818392391013791083210880901475145241276349169696805954261131671909281714431912085861235009149198848192684268425359189171478546994396091317203102466904976783096047306766739986733137091873022718776955454010074303126785456782141562910130072286981987874861174465644784011314802985209205850710616427458453697260476142071981163797236678069242002043605295021599466024769487003349234645378786845083813345611030467715870044826438414067510220711470748355804903184908035903356832915352567480877365357417536123223397974647483263550497924257069764972830436096521700637713419936732555641292354033369854134979975576295754802027503361748067935394882509126819472590002490221215716957932712486545066433000854182603407704049781031197015177843416261278054352818759935579528540403692923078030419947586333291162760965989939058385721313837284445970434412690921168633586530083905084660786218775974439150925587356956556305323304066467687524597596407103635793816116439524488361526712014320163334759150456295025370964833831540147828679185375247039533170057965815323543032146935329391527915194006758568440004938857296638171033152691621392187273884141746216613365191676593511408902158076314726843265829502707985099621844121779022607190953321601781470023835844310311847286849610375262718541397956775571781143853186541429326696698072603796783767515691861327038715040362980984722796051755722146481275558471679687501
g=6
contribution table:{0, 1, 0}
*** a(t,u0,r):
448
1
*** a(t,u0+1l^(t-1),r):
461
2
result=O: Congruence does not hold. <=> deg D(t,r)=0 (Remark 1(II))

code version 3.3b
start=Sat 20 Apr 2024 11:43:28
end  =Sat 20 Apr 2024 14:30:15
elapsed(sec)=10006.723780