n54-L7-f7542-r47-t7541-ver3.3b.txt
p=5792173242310053105303937014232391330413218926787631608992485568726287769570123519585769246240072722283516967604079024928315566318921885135559992226220792192643795532809286735919247792362086374226044973438703266713985390401527043642024378103918154747740011553951528193113312123778059871722191001413159790191268730317757854675905848220384837558531693106336384162934124173625930065902387185055959029489694526843816126033190824624563251351527146349017919740326605420813542999943112108964805287171582353755820103851711160927518083219707814195371779628798349295159005955189816625980518454950312288815317201127294752426398679224261141038692528335383335144522679612892585479041889217782422033536699025086154880310751659772484604156380817732338929249001244407208141469400018607512885412569074530933720417166998551794400656849274594057028601780523187482039101444579488064850776568669420374311370791556736480732630891630294856035203231993149882190292242030659570510043091328754863509444266806772612728395262594399593730495753225544550089245988602723881240903550534299379011245040982079170120220931244490495678931026240901754307369805855007461534398992280484459299116381570171811577422704999078415919824828946616064261302506932812460709245336757002944472748124501040286252468214036351576972940584723518765206083686215761885732368262439791234181037245388073445819019781896958359747720603773020781729269990396351645162131978286817536639105264352228153422014108769830393540901810286131867796795325281805805064221334465566570237825490861885010288701749299851552321717690821922948286661694384685382641086565396258151194959022885053345875681773481733178028573264213853182513963271331400716949598997532712048086635008632022014562615873673345789616702708814207206297219768208894605637909361935763956736508867037519371969382908723119557522467683955115621347900376566417477958804708559031524958259099060284496785534744238250835958841716695962554202024713201752363661800771949202453498700813558045347333532764272380163480149655293851416969551906206623430046813112591886514140220724439855889435068306797884384891739018274798301899756380922892839449684916467710809410606422563955739349849877476914546558113289281147595479331456432909938402502879653046385876196395983536886543130536331312912194922327592964865130009542632943859409469464552016773693001838773331324463409358938378466693000099382366632294088311415227869997154232228507164829170118071765900390862911691408197609623753864633943021977252804677525363721286334158146188385037870342870487326575774374540378449763340344868312034595338645586002519040601056262806421805636892402696299323866081380029675143820852024224321749015585318737857385863209788934243099057540789896482688140165645017481997640732388307098899718624529794792610993671582690026403355549515376052275151359121634180454016699949194894161421623759467589342133343440117011834262796703967409341638036283294411476028091157390634154007841312124280430436253420242504102148254048641195570858198595179083618068142972864240664989790663136948927514747185731963514537709330537156400285588666762946304046257689395295794770671537176681872790959512362767945700831529349364326678619838488621589530234375227958658216427427956680789294026010848427733186147256089641793748002596432106666427622804473796755363334832423198820278064818952421707551783645355339168673288776583263446379982642047062456092931415380648042445471866658079426262804231389784305772977224097723239530715230778910529447245728300202915427689594140077807059176464829838284795026270951536633551879375080426178775310572760712052863980299235252427673580642077507696663474289881888658835306589853013000789192703470502883542304936671046034474816067608827098700172555351754135331057363463242802988104011535371324544446913085713535452948201003261250538534069815217006581108859839989452047448614260835083396269946049822502217724895894452669912666883738660831154113285052089049570481168862494270424948326819336317870629615325641373948843663422540062758905149989037247359617781634390957475862445048367414773095237480738102421878116223150726235778034765337630659277725238850217688114669602735096855510506528862314805697220449367445828894136089280407674911637431182818188014790980479360734390765638027930705543183389842557026863884881922628834115614113403564622701432876713777034233548316110752925522975770895312791965331251597984548218640956803258061651334943675507833037248544841111587545083095013277641456660027801457655345365745834727613955744322975797046785345198734989329688214379546693993973742217880475980397228454328668317397768632913106836176743691489277266265915152269635312080422976397094097251250445298270614439535268967513331910718642153982885254809945994629211931030707830208753497875197458603077067649643282209423677841827199566884020831870533533332478566936225149281901518082868596360101135948090682127364357813154924876080700917953477680920218779001015314321731735231362896528983045536468430918182954929430252682767606880177632852993787450477099007318902010465348643561161121073544296740546763137208755440175079936318367751360748297902712292673130968937515347170082792687922272650417199218403931270102979753777830285587595158378286635220775362003682369798302407391844534071814751556397397698285964207441898363032898349066258789165951591551397067954628947109644205672038833318460234885379851516147906532424225841506155748933975190093728639799205235492596843095753857794059202609426188375093270195054469529729291036917884412411794507698750097549495802232794180731340963344730351080935636736805229676493796309230360180509666592181320332001364428285545854546535347879656959286563937804070852063771834703629092177603567888218492357966241727728617149045519186668300210812805992452719930918322524176765696503886304469629005055873890134299920694812187569312200498914360156648585133711216265382084837209146783005366125502199195755834556323369125707645727181258595802547666520275461933490770919563504574431319769095162972421841248332880527728056787147695590733931785757955727518705225703982921083269131782459470759782972527484155175734355819185432030180301764401821636638832360484388355289920981223933438338273008899449327277760036444039105213961147816028633891921061795215958463861072150786420786256747291098187111407475147973032673677490380527177369486345057861164877707266685724211087809642783274504729482253924247963643719787413293
g=5
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):
84124
41
*** a(t,u0+1l^(t-1),r):
74812
35
result=O: Congruence does not hold. <=> deg D(t,r)=0 (Remark 1(II))

code version 3.3b
start=Thu 27 Feb 2025 18:21:00
end  =Thu 27 Feb 2025 18:44:49
elapsed(sec)=1428.534688