n16-L5-f9077-r23-t9075-ver3.3b.txt
p=11373112533055518378475101174316345937498145040015224644469745543231413277856253432207286892217012998822722128170860120500009959621507193949701919948603890062311237912283273501088581882422444160592924124535120916163785253604087594121237874938531448416217041269377396422020413745116364061144217620916135329756533035833968757515916454469841448755337621400767867114862239541685273612367461735146047456130654994893990217205255316313324482930483704925299265130163796682261132164969787319663454817504146586973973771682659073921138750878314794640846979695764642649630930801354848714655522305807138038811866171045847663601848367458560196540511295160205116823346685944241529408233613561950486485966214373821308924003830947911290249529432201257104369589849477592093083468595589405352931186019743693374205788965158785934334178318504048499432793969240804257053586134295267089410758211103622914115008316021990070646798660265809734149367983478094758435948165381165513271705430794467017797372292450396782279206095401978036391150096096722972266430269692751941748490745178480829601974598564505768439271344209770121812546382398832056471800342928435604925766485876625705092651159162385061416439307493909481572906006540080391031336570900555267547345100687664375544552303226372657862212479129787481949906677665303041604062485351734772715409970406463598363757150027980502405310383034145389822940179654177588413104302383855825102041057085508820509251298355879875272743226191801507471991113059217753444627575462013493488790350701741401527518374645281963109666002283646229940231259901992610347417328565687351983904567464593234226687362039326002262729834402173759523293864335588387769883247652550630450544300354443174057347287948016039764610231328276174054325348971103558121484799855744786436775422176152027110142241125676723262268005263794618783027167201062694251370675877025658300281703168450766144670670342180610332411222938323593144910694387436027743042358930183992690685843375003326991552206452108456413617716642271806611167573712528070192682665348380933070144520320429021260242025189823614371541724546895258843546432668505513177159258169388275187256134673182893697374536507626399143925089273451130006464057679881149136989410009151673373779382056994391417811129299750121778727436398301150598719549686174746661118058969728540137672708674287114181903911006309159470207979774492495646087218296343237292007168302769144704872042215616958897821813200704992050635767792088112056441100897172088824055058791102077015394905177411053362921957342247319215925085904702896331533490561226346915585782698257948437912747565726665871477916538805615854233382350695801727156198080243759372665650691824337192798416117797784621065174363315499325340035966458112661880163545898932832967918070839684912755279090413940332066161605272387815032378633545895092525199887266196072913008392367158476345148749248943590750639871353668354976506218174763602694132978149677411237832789113275342898889712572148744610124324803202943312962895655797949375006770541709338782933797584260009671594042461981761241219344678657244686595618530006101121155229797088949678348483038326480149181402597284884077637637257047359427713442986209411123923286943052322102425752875825499486361681929291120127470722934110780641363527251963914345156385009695793246881088326662043865327250053004679731976732436479354209793413385744321249573264280764908916759038743871785219400344374356983500694611203622789248808056513845209198783768429055297419602415207296350327681588602199560012210132028713175776930876923226154489332355891178215623725793674013640457672020789788820804358415328259027789277756129269597121661481058178068329029832718661733122843030842533992673196705856884787044163920672731914997402235382340189822087126783204149920816196303640061896620117510700058580004226281088793580768167350770833374588349089443282098675206622904907823311189384205467677955114858776107217978317245554533437726847346868720232643919448984047035563443616835299967007753840327546712465362040506788785384616365534513846694060973356883422669016350716979672437513442692029933376738718841282602403838096110824841303669454152204668977652611555601550611117534872357163879114519795727216088442047817426958948717024424169690828526464279478424483332035887624962738188824761013605303743025894934810568562887657120351664327837179371057605916528423656204559320072287387132068028057932267683482459270353236983183059143302608952345217445100026368196081744205718704945126696221768813302037927975447696097545665021558018914141403691188912083668979555253165385808386197727662312498492941592721244289550026406935362139002787924478006516123045065239204026028560609288148195640791266454822077334747386846584803180036883315459490928299073961424353161762437354845051900483825583178613433360818071163977186673611698930539110694426065202862296097063895124812253433306613646953206667372052297409834850715968606587008180273442156632368622563113183086311742259402033843885925190953087864904389765640253197130978832585303797350109290651436696063763643357768015698231390293300191910202189760625786533947109774687331253463448047760268011399081550095847804425024686483433249080610926739218443132324394776892576972204150650235501505206762622190242797072029223893590472212166133543229622564160123514814284860569904890855131229855712819757695094116245671478521601156219171362722142051724168358705778986923415687500869741117736329763343321961236461165100590616221629782944580659376017199444277337477937817946903803620380958101897702107497676414832743361496733009044582917002683062494571161844446499171842213583682571480558132066281171771763441163433329086902713201311788938501116991623220922397081046228264177967619916186555043791535040282578830116063741625363407078929771315615823341642759950965189417930701187361893083369395250688369440622164981641891276338947425007990252303974417089164979257405330635163784329568075846531676976388415728172169233580697072325888977816505033370512794336637787848972891317328205623781662591563488254557604521418439771834404900723526650567708746874384823490212773287563232278432735612409820407112669566053223029557694767471750566605497020086980277191293447895764704070952204581195607391117030008652647352317038089855532344010641135667530604330636420608181140870722192397552243143323235192181980757945933963037887792779656592756509780883789062500001
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):
15541
16
*** a(t,u0+1l^(t-1),r):
17036
16
*** a(t,u0+2l^(t-1),r):
16001
16
*** a(t,u0+3l^(t-1),r):
16769
2
result=O: Congruence does not hold. <=> deg D(t,r)=0 (Remark 1(II))

code version 3.3b
start=Sun 3 Mar 2024 15:19:16
end  =Sun 3 Mar 2024 16:10:04
elapsed(sec)=3047.621934