n77-L3-f10567-r41-t10565-ver3.3b.txt
p=8468750603621858508996846939588752148674707243689339063022651717013516129872916472385301499577938456256990107468023332855270548080677043929836216494905767066852224688684637796651918311826906381560569887284188934700634279183061753259319162987662629100137733701218928234918623637557928762452364848248973832310961251608050037077579818145372234559409207075495220279517506027261032589729718231808741364844564419065138835026377840934001338717805894595094093953464481864280805863034368033525012688821272217192263165640099816348150210211619986800909000992063727938016794057476698412732357039393283316459779932395327268375748771533625601804884502630350193718844837451952839516112358311692118427103950814693454834788078508657909277419781015437856793789328194092491676984298050442773649017129584462980021164552638630340232902069893456132772743896579075254720142751019923032454573264450317659077072446400736101498830248086333532764108903244327123987056284000761303085738719791190035133512990091972031470682166892441055071083372318060981725083411551180343601765354347284297437598469091802515686791513697964993458252850902842619868587789331805223577950969913172050912755163875725146893937390907985566051910189298695226922199370750972098936243833556179535398815163591237612330707963946579573967816046128290451827831164530013947763583836170325584802576347090045306272836563759984124730020643646311352595899710450464943587146592429041531838464706644625104248628220165145516760607454105222948545037448167903165298021930306449319467889478680896299222738225165961968439941312921508132339853665049299227247794812116143425193670812223980772832410370159040367459277298449102693508461067595888494377163667567115983991010030587105597365148595814763760508210139909169722534390469469480079985870429369111442211524023893846164173276566567114359166129212527949908966030169979394885873721910289371218740432824915733037076302091077919144519186523277024532126361207885379806819292686370028103182474481975210784263645723637394236600326471874664472244839365991233683709191404537546498380924243313646225139333031949855258620508623232733407640252872265404848480811508946937584462007975595870582126545678186110569315807498028319975597597334958937318848335365144724735178514781568029898470084587207286471435979520331468700956585598662314269371456419488442436107808158773821023485380666952468529548553358573759764970409129078949830124529010574128365950835140508138588380241976113461922952628344255349114446458707631825471604391729233432784840845966362844042612350394544651893533854742644515326327747605669694568994755874607809477594612204161425497750018411288566250177685059545297628716495529790679859917896870548412362800364718082766895836220224717445112773053037362437347404880824393620147171713838074058601661459749131449114376360068859897011395085226234221739535045206247660114489688205246059180038120685281905624124957275778156959409176417075870789349266365191056870806834217404369530807882764682230360144580264397519027821910765956546408493844947654906515660959752896028828847764289003252315778026055163405466689888600502505374797026187754177266315602281099080741959760017950670111542828093432512406421612697766348950998922946251115437391790840060385910824028894526997977564160752802767640970258740213745518129270433948384663480117095131422533242998286620323789144084304750884953539626682460177718125452336194745602468317197100811723493941165714303414896850756317013909279081989003257435769241745909204365395425081917060080625575660582963848498927951985181187271255697099872086595058836386218751197178911638989158371273602687017756675400851719280812006356736015707329509887308739190773762123191750208423677215551598375474943394453486103208035982653592371064287795248789483188062026972941709284214081691752391276091730042724096819041418618135442042473190212996259414042243828016035661811833642558691890144256431179134853465455794254822680630211116467637320988143837654493405027399027173340623526846236308967889821693634871987330572991827385559466670142393116688852509806097863087413722339291074089965767504490567601002201674089373475800325266883555181760234067303137252949280425986565324883753684375402793322047502905471579448118658072690532705180070007361367074902102688171862855015556034789724095074841970419162323191416636658385487990258753732936973038108286951210729201397962290552428353762799602465065268866365353315246503666221460295573136726315865736934710797764064240186473432636297954893531206111867444031613120309322526080560634550228694008446820342182981142248875405352760485830423207628258271546511402210401454428645604116177847236149421610268086434766060864992105190598270610184256067080806352337477039843585369545802087007817391429466880814051913724571242706509592261967753712299614988633520883735560992683034685800081508393221559614398592405988187688280381603183662619193466411051230399782644186732043996823277283826488771671395382730793386801626246334747519290104598476049231167210263095842737213803893877901986151704141093203757707876132749927721118806877610399
g=13
contribution table:{0, 1, 22, 36, 67, 100, 107, 113, 149, 181, 218, 233, 257, 276, 279, 290, 308, 337, 353, 366, 405, 366, 353, 337, 308, 290, 279, 276, 257, 233, 218, 181, 149, 113, 107, 100, 67, 36, 22, 1, 0}
*** a(t,u0,r):
135150
14
*** a(t,u0+1l^(t-1),r):
133671
11
result=O: Congruence does not hold. <=> deg D(t,r)=0 (Remark 1(II))

code version 3.3b
start=Tue 19 Mar 2024 01:32:11
end  =Tue 19 Mar 2024 01:55:23
elapsed(sec)=1391.282404