n92-L5-f14242-r23-t14240-ver3.3b.txt
p=989964398465226239755905460358385868749230275228231693637468485264967560030977955530911770544168585718844875869740735660323408548062627043267868480151807179223961588562291950000320461034228842751958953519102665359516847199444005436410956837294683768975127567995276922126583977100410945589833028966663324055320894273611278692186233880683906854707841359543373346349851054726771169880026700961290389603149420806527142068970838881573213087343629104840786304071281945742907507148852419568047911515592492315733187187801739974066714728957703889555293174655164764112632112311021003071493270953620027659576138555595795207372439929635618046874016835167841209055127411296047518009585415932561375760524558174481778897671705013513588998740306658969704936853084211575765178957684449234736247231529413790117171043463814392964707366927697373804704909863568879223675960921748197780720202295852508448836982031710713501478178735515704810015395208908185976134721578420215960097711134283206687387633921682324786899016629982665909443933629005963553773537912860851544243071180566768361968023845441873022848297063927698121142792202696448106431426255851351552727986454360162540302584368091792629537745189894547771404786687952445580082895340839460046652900022029425826227617213156498691380474128904498742677781446828634268801995654059481326117626028823338108831903312315314129596273934598446931041014641335300091074334109101068810558382847176678823352572981421572344721779745611788504683575477425886543073296226705154790956922955429035498359151151227836250600749968316754626393658993646847183802813107920883016039561424592387021285723331759960487545251678165419183406832517352521986307225837836209344230140294389548429716514313526838783446728313589206539640196357255920001877017233834639777073492906034230463897429353900980767937053149702374666255334762818888721603225872058755234931144170328332273993800877049069612331423331997530731298445850717616035669218248154843240574487981614672924611969878201718364841203027521165789236212299273695162011733831098943320600866833047405402252887352464512463774888917802815483844871143928987657554351341582252865192722976266111412911400647873869089385071673057127959634403082820830840015505449774809906488045611711976818733105370599865616120115031479032596145280271640375293603459416041282502187165490807828116001153035059244005233456966825658195623094290459144604425410067639417702829791053183807434011544465982128235031481340946056588936157295717968882806535784414274986594590870763388650647480420856206685577603470357079959298666967811288083877497639367285532314834824225942811320128940795489535113159378250484197137488711284582237869749933978056783957523579335732350086099762522237399680379551300176223441098687997758796987204719744750839098013886644909265912538846893423691952446598670956224094022625476651620595508113305860660236174174860948604951636156863884378786669216603124740423521486859668864370428464394215025136361350586152024916490622410937821116726047451468472051520180762592876770582772118841956594679260797733945529552306940791973212090782027786124196691354331178778131040652594880848795488577671712139466109150394678079928879492434553326990035184988896401106641541724688868503003079533320837236574348298917022477844821876364009884931795255546702179064716926848287288342214609917165121609095920724268164349674439655830868870851619598727309962787841749127717330717425011939501779292559240871655463650873368618540611812225892519547195716716808179122463437511685517061810801016192961574195058699492119949520888127190488249833768230886495357363000215726288275783868524684017312919790913141412428569625075372071975692063571153527630900077481956677505640829048324436433249699763673057986559714602374635117613994596480399344695693558701010717599669054988465662815752543955319098462779034041979974845943930835982029300570739505751504311200361309180333257977323304993910668388710224349267317118638673693387199090839985852430481485014174168588341120149401857970331892164213752094720776998697986282331788661254820583031806086684777005464828238651216194287851015737424945839683033920517461796621279118871507199102472707067056973488722794342381516712694169367399430176805067002934108995139216385319919929760533253507031194659106798214529648982887114662146276333204083755201982771352557475504745260857804567480478690495860595748717853381075373557055740651239001378416163232051329533018463198566838542540650639500791497585270563309128305150677012597362539761105298131424345887132346045607304442354566456336864812619077287361478840131413702460066102094767383865414078781931528943120086532425933012219137768900905857492308035436071124669735417162907776526927154991509409536604353757467948221094028546320533905402706189895998134646651610324444567845443448897025483555281177822766227073393376167517927192878691209070869761829400648063239898293716170772284072599114218578939107914999398335476068388751072360690567515955888110465153136643604468891491227604740361459901877424448820648568456401508546348229353302442642883162451211456300541638737669166921136116135487085671407676057397494146260527007155345876874504681361507989585020484696458812737963093225048389195769343305626691249234968540639712272800515870278443760264396721549750388671387227813025909251310656851221364598054256691322675658863805000114787634903891166278518003943465522055856317368828306787195018903489559300225315568894178718126907757466058243223489549853836755489738753233589595281205310942117495203180207642102860542972710998023620217819589041231161561015253923491218681854683651373666516117971676514939236624710131021974233736806205911694616887575628133299717957811020735785603100134499368138526253730419965587699269213036451211459507179901118297113468280879707219436515184847150546144932917831552439093590486513390232003400556483089030385416631626559442558298521963298110014589823305311853806909334301325712404483686194806864721119632890216879686237523788326738510507387261828773572174592717999672673739291790887319888203183751520748309538634780972058524200838752063192958831007401986372867700431199897694743812979849847350427063678218665265909126826080552199047637221161996486797391043090185480931879956450748822805324540633013915482055967858054981779876860303504046828713915364396283458064326577033560735452953930672341895869879039019226926135098503461295356043203896962628036478926789959941452560595910207525096594677223314185604810217798575058798461945280275526114775668110383549765851737671058967700843322124529798585971001786274470876961374640490749350867787472518832915456486235517034593342779542908758516353748449615008136131332453949824174161838462013558649202981481520609391335650333481309362569434045306533256733494985539671659087781306168800180234281755455382843802538175417954190710625601978763894610471530319930142213741554798051817372791708941405650924540165315710975287487908902312495809192657659435192609911481450017635503932441728333552874873000859488077593295299522947646848098347538382267424925504465639354736867630059407528268988964375548792952282569089067627877432549130749648565636867181408004082878315362897655704455327346676810453715880510135576197207789203770979023734124933158903011236231065233019814023198076997457052370501645260834173794741290633910490872502283600035587214644923409443810376385323202382963833745116579891451182238096809475265522654795228983356024736212377630200913327749586222530709727727687024560520088493844293735026087813203054732736415054081824648579134142094762866000069681537169803007733689518611526778693445041132739766757434269869777402503623284312294226347456866615590238949617926400148078705734193599086240572473533540522194525723797021795430761960101778901696190000109141823430295637507440186202762684393691405473757661652794460833103374280805838924076605145602335208085210843793192040301260394142170775331391510171837386399292239843718094829453620200396132964554677972676018408840088185561242658206355400260542801188852513763679242425431287198419649840818629162921140535937540842184824279745956287282471666070709361289317905551288549999243136098291323287335271602924911207708623307548523163739106870149173395573856007089018381543758340294232516450421575997885827835998294356680615025777795510118445888138084193644372782479690367299055574012202329507250371399402482333478029370024935344294602326427519672175216486653612116095651609995415257131720045761218294760430043858961961946332572805058285442756080843913757117637618988957473731319953850397856631185585247716254734027312052680069370590417956530684888281863231050092961944159587262488474776249147703809010161841851314971391816809428179134754470334524280324065878330012343836784290143539919438255559012096461818590456424984331740377429019087800823402716213945320036605848706045717487745737281448858621454913294347179385935051747022579166523101223741803635926278135461173856823056936566068167981196206846847291004175907064144952428860224274744767237122639404461888250150806941740116190746754886903754622644349304050195234036508944929697408969745786774844921610450189041973074963304344233038359033658375067494027047903977776137626048145946094381969343372808406980615554425522765970894088346416185091239596129982103869818789754802047290235946247753318841766058839233114474066298804897763665676248651865179474395447341737390601346770252268959015216102303159400267122116832979537574802270969886802367825050208021185416575234343751771914300923471586158591688170002230585441166551835000447088740720527755406785784051145761053291625810955276536164573222488381467889823486591019858134290653930508988726550393127003612165020201485751676650186656130903281900050980137959709621836704481122794427525488212252264885037338231879653064150021204617868031662321721075760069814236272456218895900603902831930657757213297081306379612012224097559227217346498133412831039424719960859921754013545775204956365948377673548894621526930676101141133409189176717291047680191695690155029296875001
g=6
contribution table:{0, 1, 13, 21, 27, 41, 45, 55, 58, 76, 83, 104, 83, 76, 58, 55, 45, 41, 27, 21, 13, 1, 0}
*** a(t,u0,r):
94968
1
*** a(t,u0+1l^(t-1),r):
96949
4
result=O: Congruence does not hold. <=> deg D(t,r)=0 (Remark 1(II))

code version 3.3b
start=Thu 6 Jun 2024 02:07:42
end  =Thu 6 Jun 2024 09:30:52
elapsed(sec)=26589.785665