n76-L3-f11862-r47-t11860-ver3.3b.txt
p=6225397294169879388356294033610459761043076350097939263092729713567909880568592167060724495063859210365109737940656502521546515619665801589702783914055489876531309430324093098100933585199538846126606871534251942930515726072297688657894429193807552149553565986370085728967960663885615013849762159687348407400775910756474562264248152917941124106137354971706456428830812620047630483865522910177798670933502757865096615477708582319236511026669768420386730835399349664127721901671881352602276010180953971820092904194216268370008725711067621436007215296901039689330128371481297349371496384683166979007051705500420674791480177894404403380585352444645192121091990711239845109932008043419340210399301063081747749507546910409541919715517185060107509325119470596887184007875334020035152844936837234697995114292161006324540690987116645759415384554416717280909249082576993961816214472171342586415156071882292902574537816616758414825207407613008735273684380670754181574902411917443396647504221485743880158067180601995270658043977617863825498866329389259768177260810546970371610668964377640992598451069373245438253158652353614975266094655364058723487350716528864727653681387741364339272403387369859224668822516854203144611025428577089627017343871057378001534053556380715290397807465950072015144417601414543228416282370528430639203750569192251092955912791306766941907926985665932577566720193105626125624616802010442313704213811586995245752561488294006670475521610960764014310746374067414340600178010772454018758527539815179289674099195224057211582463161385324175980947029781088477756285421473100010447391838108611396574997209587809151096131731540622871508998972213459258335437450976611361741936609101879905110217246588152811834794424962898743512473382400812580795219950449016531624174909482238226454312044695951820607514179280104020265536821292014457191615516183908057408347473402063667777200172510536649839850096567556952742654313433240686057879502219704557744726371682018700656686608130644398330599154636720246865568168400235108202905056951582755974979719968270196439073114942495381511632950557048663081598738466585911951158658812011968366823546821718185161656870758415325350535585875678623135326620844837748640079229585664315858681781941800503225256277803376490419877871018580391796385251292726351957146006951997932451893849807182674729232717562432511739442271918323829862427548497792676854741858751748513642083243255606363229059228511514349671849744883341564735872357323458421447833990043903868383379833774882987029677486776117673268705350241855170596441365318754401301855051658792362124702332437569218353002269101274392937440394449618536333405147146454577804036113225347302249706392744563012631870637229508876886097228984874224562586707513945099543421032128595820936867678956590578195046921575190083035103488988080664903068743558434360173913343303638534298297217688400001503907152104394361698141856097388372993476580305791954575347138651909187986819703401536014267868136601669659255215472067165186407722312804864222009049936443048973074854205566316213640683748437974386534036089906312198226305780709884613330327371629989641326275949042120504312395000323946077392815554577633382703598382204604208709340799208857324823133929420090638768832582499087594749444837021992951245077693375234679516535625223210511716048565108957773325543938793826060010809001409871677867416012204505279711119069636847241752572078964091555679669233662478278896602735198927602186481309510048077872928911888789996782674741738186087182170576776349068397780178467794538307157726528333834742854305424218300046757214781398593792586692519538531548009446530750031412181825985936706304240529251601228832445153909265958543063156666808072566516538554197674085895195121524180208004934163791221824974176805197227441248769264199635721911020865505117147762589968820071496401699246132857240766139023318930681485020853476957423284109446454823148183602283064031758058460795250126343002772611281964576562990218149033964000551550590269127753110715046141416124455053625748028747978449169491257373024761379001994827687742355740184835139893520350775039461336720416508008217689126401353587541419269623518814436174820485960662638074070329332233728923629012455825100665960532259752725176144107716691070849102285073101175351774928353893913278638302302267954610875750362153872301775044724060227870503272429389933885251894100228683213087069088728412932489339772037191628768401480361653528611152695005761757026988333456720502189373506267936582810498517141255540386189569336842852545162470640860195371694614925346315518279109040737171039187212395181674823979898281475472408590965335511666942018720617521323864334187189473215489319191700167285973488249308483776499254141968387217253142294335600885627757218556995397026228360178110763953709467455901624635779734162845854459401291535640645431620583650304938605143933099114515809812515873333079250224165365564793762428913807312777935860862072278691455336455771533704788606609447812573936429041139082239076784807680753859839342902089551705154322873914071279434468058183772198252741528270906584229130517603175260696595346728507822187339880653867950170480908021679888443840308704128132321713166694487427582210321001879231127431153260828630856327706221899268797093830932258484534195575155320082790278984028919981984840269554337860097401131838615865038871158199895620890201301313514622430784870957431006458186693369375246072302622742233135689674579572449889548101734307133751471635399107382283180274358253066389708324251273297806144536366589542418841322407897188301472401245074371576225628649604638200541486198310532876914741569905080436365652757681282814508223184629427395384329301041546969
g=7
contribution table:{0, 1, 25, 41, 53, 72, 80, 107, 113, 134, 167, 197, 201, 230, 267, 289, 292, 328, 362, 367, 407, 416, 431, 476, 431, 416, 407, 367, 362, 328, 292, 289, 267, 230, 201, 197, 167, 134, 113, 107, 80, 72, 53, 41, 25, 1, 0}
*** a(t,u0,r):
137263
23
*** a(t,u0+1l^(t-1),r):
144197
1
result=O: Congruence does not hold. <=> deg D(t,r)=0 (Remark 1(II))

code version 3.3b
start=Tue 19 Mar 2024 04:44:27
end  =Tue 19 Mar 2024 05:14:44
elapsed(sec)=1817.182420