n53-L5-f10996-r3-t10994-ver3.3b.txt
p=79336592591424337035218300092645957834665763707139980031955737665950828723819180577317512022341404251869750376767090553730280787259853547877334175684194613561872147999888047626010091108600320959362928540360701134225635334961191006272286731019716652967280554011476527447178152568890657464695423282474571425900389458575588601805783885768942974273229288775866156917619568944900665573508941270928590594174936753231329466436715546558949766591838788171012387015155789588443718074768796454736695899862703824716331719143141640965495483061648394972966316908334827213414641756185381958919739306430662917150845559348834307252941860713285446423116066015646976102282972387274944345065550452278125984738124119846285248104997794208532360959967987777310766598055054490994541479971537236285034066151599321647682134170676625673522690764986540123197766271839359828667748105856375024585881919200743468473426464645218666631634167420082395307912159270612613711705318445014869354617477115029468976135452845937885737967449058223991098146098437670349559310944151345357608313836671068317103591313096424286915465048999441263490735429088810622019882207513652242819572443930777225742461061056723032105594211947569383373580033648518596354113212435792940267488945496230256426131040879869607244437078243369458344122564644386541307389416648752071411971523166100185828720143633610341350799599112877522994096956511970168825879430955190465161713884466689348502058404310713648328695963988191738007742129718433199929082228375027598290455432787791218318406668085170752834805479570457023190970928720645478461540307163880684465609327669540198488870171734897078095462572383075487647267574053734697872598489713614776507277702937064031879914249596601375341571458276110072897305959425636604757522462660249335533036149515892507299976055022068106795073352288974680365609054370408469987371301412619997143952459403591410646699619278486710880145234582174551188757394334276931971921564962204098574236202104402257620703811121050209536920684608650768035723155150268033215917814934171625299463033498109717634073015901385410780483008687698965173215684301294357895856888805008712009474579612894461923920147484513663797736345961083911629655771411481526180262376794182576629856236210986013383523603205991297658225931233923463504883456556588182976274603623655178221785626867028720263666264416108626703977179527695069848481569206356494693956954942566867746024013648038657484381208172041614912568521746911283190259769723458296894505452667765460795202423558432426950514598392432107691874404529250137581397253925695068205987550344845947300004079060125043010309117858487511326379953929436094368903197084259099916680476868191388955809611979742397611679769596282841876561794085401402589381081357393331262316605368772130890682991327890128198674990383680209920441195185155394982911428327606695203687883901564244186189222995697834476930239787529904134774069847851674329792533998011543383526701339177626361093816046662553724202987768717303254266069340995066899905920198596355734161966816311896831157181815250208061920165006193256770482070498790973053140112817696197389399266247553288679431303668665067315248665382789704803367521832989452797174479759030575098637037362904720125557694900678289357902031533744534449749826525057790061307297022784199116234693720999344578437066314461317057897090422414596139399273505081596688578651900710166528432815258187704927728236563066480178978159122467567011083881533173170432215507875481134575329537740111114981126298472696589359406528785214840623133575754200072755284803545629040847767332835429800399519458074102288216461532803332130276962486392058582076416575571591921268821605061358234056963627157843221429722123397362939314731672552808231871552772791792803822235099476571318204492856594320444768723735488191863509649957235869404565605975413703666272257343955765878662779902350892446962368515265129084826011849436451046603482079724823939074174291239347131012304317240847943230892378713188512780506375451120133786912249283398738446377157650476334065522315638311249025824652766608327057209864490855562850536428334028824029415519852175636812631571373107953431446840573572897099394416688080251972591393997930224754475884591762002463858097295121020216975374734226705884989567540450165186215631106972470334966786284976362719778363090190577314610060981437270311989262797683690558898436822727600939159295151257699646616682728293485762128817325180932449094851431822588268984709786068725992758608750029555288676448259326587680125736213867392642689817821000409886361060386472295031961523484982930857151413518282382965717115328601475993466983099373608315969621655192947839550598173628723992328369884197960030379844169789000013864130800607796008560162148932903612060437651238509314887517350714117754136769313052017395712016520888933805123615001859506056733770454310756785935586391089024020479121699173302915777395985770080039645255149171108756072627464865791961304681040142756863135590495102772252814446511278237803894549534242589573657379477969087388485082693098934646862616679113621457285672957832671215959874796066319549460325857235017844617623119462160369438043230309860821887223206404954949235277527218862688873323496555925477093849845496819985429245967808146640523715046876237082344385163717342777327296049488733240366797334186648520861510479171242953301116368820749864565432155110979309916525849765983010385402960336525458176497420985615036057949247146467433590328681714210214845617221967911094855009091476286885730810391262495195054590528248583153769533989082712760466876909614736015989341444592252776343655600341241487797571176200457203673385295202616944791431642287709513492930761950364596864677758671742800089925174947911832961721690320996000401577930308350676141773101469538347807398468737449173993373188402224236403108473406034172980083134496277523822538629094850955042607134197155623270147610493887107461667952521301770247158331606619684196023666365909732704084648507458669221410331611451246922475046293075057116665723007364062940259861280940569234216797385001443418586732615439652425199718131355374660923748384832637095265997736395418537390292681697531208706922818871288687021392518705471261568738981567275917200964676879502681374240752659849966280486890767124466874470162684369068882368960299804467770504776575377325963227262146344431788504648670370866395992352593370509566925349000666729552559249546928649325345330913625952546345497414599535783238873144986347277733377193007206484898047375887695132155787940294516061491785111093814333126532546683092317974448506433477968811100446519525207597215522674670485372666764352355470816464434473997931921532376373548282679521093909943159875778642147253618458003654256213636599373882621525848672660047699222445072290013870591357901892372711207635505810003272689078309653220303501597471688866843664293731883617315223098884773156044212444499140054050657108853166665662485180489799418356720749650547570937215710890988240396510781076917210335955023250764497479710948922151230396727115728177343673443626137549403292966596290532683511041178239929318080392916922074372999030045071892054536860504059749864133886979636728876284082792568381297400102243273907164059992508618739650388341287765456831132393227025114330191130397143474564804676948721653672699407643610248365284473973116017674908488124500188725349169209498627290168997038763573596024007340677340865066320763373294485513561020640714670092969248090504866437427251318023185326094075981244455334658081690990348612295999367712073994790775564833304142014948795468808476328740696644690249876106771347199012373730976531517951585325447318591888148607420688526299573318754386251381256488403185059277156199186720186844468116760253906251
g=2
contribution table:{0, 1, 0}
*** a(t,u0,r):
432
0
*** a(t,u0+1l^(t-1),r):
430
1
result=O: Congruence does not hold. <=> deg D(t,r)=0 (Remark 1(II))

code version 3.3b
start=Thu 18 Apr 2024 09:54:02
end  =Thu 18 Apr 2024 12:39:31
elapsed(sec)=9928.949821