n27-L7-f8135-r47-t8133-ver3.3b.txt
p=4026700010187137088529923160434395508651262361305068865796726582284789851758601494358964658215302590186655565535739741985279729775233094986310944399956501487234753056930463262862952321289960024870380674583436745709766560159379019731646402795637283173639547821006315526408550047163308683704742006449480078930422740658320289776566431356744997771595126353502815053257926738536115625807823050368641107444726814277238611180559339942982562045625047326560211885004901967968646555719144801285484570464200642055469833252223879183013065669214098703240836630433130801315952285958505105367199941672034831461656722515418977386540109489637992303328604272445849337147466783285828372575875208404721866064985858310265998539393364442676068034431939533975782162138176058095768314786452188440705746405717283513707727710889429903852202542843227887257543621442064334589017006222085285060218825393266741057399143034186529297605722803719191902553764059442139593617360322456963253196607815099890005553316842431561517492220834225932062623232413957435475990323070755285096098870723116457738360971147678386095233924471377407415579650434042971378721522492971648130982503721233972897958493811842080819496961723576097619348829821151279540122957909930993596347175232831553481878841551415777848361978926485375574192098719197987754026374861251749504351079982695219427340418404958987111558873534711459849380151894672538223134118255059608560681423747403594130349505399911887732037393910322266462455397707100672487918639376759617111473197258097893624537699639234309953883354479333670574767154089123098875100755932529461226473783040847747972732436039848239072147972465912303936362176079964040719039954126809073196186592193321550940017092659979603980121539920385995945464174977162508558089646459760737897382786019463627788430659694781112436789693109120950840775671878686307664456440570351128945336169255443465855151554844918760861318589410033657413199214658641645055609883453839599907339189765007095771030215652660148895300455851239319077355140992538320647261836236332359993406805215487552436149521317417855321646733330447048513537057633679365485144537860186362861980512347334856585533830009230478911867472871796662572777285071454174283961368798200293986358840715947948776810285649875110740781353878426740130651237113236885782181549132695088477879981707765622266570782154564076403912361451561519082955624860947857825624818443945513321034086422224994266812674524567310059676399184179715800550184346847997699193376423119532555071760043758832374782363442417504639889022307676287059465962194251895435069597375185586507350406731371942007675876808150892770275552524644156868160251693863604063555248866217080075718916362085421021621198453192293117506936535445493370362035934685169767085017399843867064497096678865955738086509203293884528407231301219072065026972769765856693977690889181284862377083051387893049710063191991215852003629716375390953197579087102796537094596485574785932716400981553894367647414175476865799218153061720675691564065093300363727549294527142033734631518424850829007880496088910455647959248593845551736234887013707255526793641750484178943748075263733433416062920009035037240095369161248831585891749062390686446927478234067108224621160481998507644076910971054788466327212212393805443919731664872700570841318117379903697160590477236874891914134379326181251299994909443120233989613166570414633522245965481928768323409974752977770748312105843729118332355943170343991736386721336662686588266973966713906734340735594480036496791866266048748807477858973227402055335629710687812765740157212101460979025585171889899427702198905354728161321484219568285814053739715983791996807881829692305786330631555315654617992236323030455064403189279353940264812435823296606218255327916909141796956635114312458910578781038498373329096957804697040172350578274494763876273292614235436564273944693624077958424371933257079225506830720838835399603625055398840435813719450193037141786330156130985374056096706028360752589758963739122671477307742720258221331918337963669474635557327058246966486572345006529871820268519715394226884283048481754385440059348708886666773659887504584530352025176629513987263059906354922197055038287159390643355877714186237207025502509399775995021675649676630681492334831742998151047382526342644577685211916777114549507675639514377785702423267527673068947973157067705666442119899512566214505220743601292481552712917373604660449406158960603322905401449410309390591823488094888573209116858321447964100322471084453469294102610372933676172634930809955197279372716210790539704593714311281189274031345110612800305414929539833254612444911117386075432397452778636283252335424406165554796328324187568511123717430938956634921414641777364229105193862828219314719351802312159169894072296260210024469560472924354555762428412744207487861189741890568206644101875503804235400840367529290307126883706001436140531579670449237069276376773238328980628934424424852153580851438900789616494414638066471154695156478438709027245566616158448131134651563959170263103636016238735994571261063885776287971317945698927933841572435758891247361971456674669266826309673896788230731132777860757606004411709267299739004306037519436721373622434953840812673800296591684267477534440706879704791900817800034191634214816384964407181494470598010660548401404712717825777483482430780751010407110365017975730512704945757836289757698221559210174044007402013111326208289868891244257196360862992688246730641864582068338385478000943924117686473324111996502665321140662950050002778004567145975924069887792933996438355568223335679573037674152737681317152370040718439558169572931552206673879702412829485214268591252318162424528147614461231936045320949565957511742609739367504769775506385210122773163245138463458843257779612169289827526181070701507619021472772270207677265327555446309539126695124710868919548636727410492793569023088700706135142914734717341767542261012299008840808423948459024622940585014300603701765475442521551544370432796017874156319397061642933729740709619462530790031362438475200182010765423986943991360881140536351822369088600071663015160507555777312777487331104871031274444009266322257027022942981877895731891616062575306973061548167187256982921916076115539396493312724070998543396634852640908260750377415208608230003049220021455209316522794713381102706530707883103531542798588834860913021289779356558073605417362582999393721745453710781216972656405708065205416902382082731321431952372842087802901370311281434971845577813917624665898299070064650508515206686490174887276999554360887189460956541991504276358901363862752897888942501293993231860764161232790810381995059506385677495731947022838906852913011254787039307900828793962863781085122433183554728558095912948872332376002141819274451011086259139796080845417462502713145313243628452577263833611184302367196805445926870375862466836362033101607362205558244593085575255390547084128720923
g=2
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):
272685
38
*** a(t,u0+1l^(t-1),r):
274162
11
result=O: Congruence does not hold. <=> deg D(t,r)=0 (Remark 1(II))

code version 3.3b
start=Mon 15 Apr 2024 19:51:07
end  =Mon 15 Apr 2024 21:45:19
elapsed(sec)=6851.459342