n33-L5-f8155-r47-t8153-ver3.3b.txt p=83162836890853463701291083986832981202637192894664242600645825483936910420496032830693471380076993346535731909506380888385744196172870050027761363681414456414633604571087273089972970283383935088468843235479390837992650711547333883698294937977517754223966389489268012751774594358160845298435081501363837884574442827552643711499096708559935787576094225786487214136376510431735997278550926737945698273456855207624532457271679087177445903055882923422764738251731872956336706204820619803013961657799839444150527088011320424996601218080613495936528145078374695567542528406545242129553896710822362160563123118431787156928711573383056365863014444067688200527260803839175216980676073684215472367458877115219674443627787302788286084260234178595906555634532434548240132367128628579755196424183564197874549635275454244649104818218219179431371560008731322142405777490521800104603863037222736176879266529580734286441675418919814455785974088974281590259769591057010263893433863083227699027401385872443203232252729635200866128247739759143521298683087167320262905868118213799247430129085966710879836049365333056203136199214898390146553891941584200714963291969193110484727821364153013539310555102139115536851112026571120920245875104854709095406596534676152488691173492936819998490149804260987010847687133410008078449087057645967207540404821234657699546699176007596857506789571811629086536678834231499525432823451660824237745430164787139352166583862996285740321905555777962631038375317954793577577647371261555435648411371827900086810144757307174077051985320224548108754782502266920589835095852629207032192362518222098456277667707092980936965749411736193978257651550509477715048457691388527165475240316806904488093496392122219737253848196603672693416760482602830774708817009717624208695387493675354263115357353849477962215617934120626666750660753501205407722820394591279177022704154297283329306872158790347401282614146510074255260469687068127469802167711797357795019677796536195246560301297644825279895304273327446082134193262060055464000232910469557172727995946841407689008646560953527533606750074663920848252725256307367184153593301817855478348651511139618433554712382797124707896043807297244757622447000328383580402000831220472928372539043219502915129663414204475566708473813933759231091224883723744446949439981170500265053930755328911740979250999994074595772973742906543085503438518005882737652207545031765567989602863750344480079080115962860562037184086449807450338392903271317823918130215679054497803528551171491102252021250043744630642952923095489125137891885607227861334172620029059416462639473915707447664470841495235793120320523464000683099223585967079747821561376590220076706257265942445453073931863275206075594017694305896363720998975681404524604305907068282129306510244380387784352140829525517795706242116875866095968233522967466308513580230835476120723697026151853411058524108102275672193846588616610770845203131065656483864168436447141069892096927687714152992360184939005007849945789134589271856049211284377696068294143460795723708470177805321647378819786670130342027748770975673747370756534645498789034915990836646899460919084973463645048442717413144719251544994827057518076688325081151501114648959863797159355714723247364723142622289886489301020153600395386603206232194688286417357085636120606949466771416352370708240952822799903801171628376739833301543326138024733055116801384137707410685655302644007457119347850398529140063821000193244616272678031845966786064241760309250376954249160629815231807826951066896867606611933027601368438554978114789830069359937572360445020808865629472260044168771175723037113314734551785823721559651013605287856403816849046275285119038140598236403743444919037069991713029796121827457529840410792631136180230918408956892724604183695986969792154852589110444946538155693145975778533141277152741725109350054988236518940860936903427299641886846348179474181979051680298618517615766100495270008979117286023803557728636656864511358566481465035146224653185663885836243955965048713026578964137893253290163189726449002270973650226342222544083874833093550635278829369914927081169104567707409038448990289476778483266614450216476014547749631659302077678754077316308799515921949414778923718400197403998479005388132666174142819691130332904735595381145225859252945001495223169996489279076117094864051662915707711159470045203821602628178171964745343589283252314551460473983997514300232826850842101419363964091657695186779040710522014918502113856060647248639356827987302974686647892598371104478721357885016584097193109812769996204995150808809756004650459175455788523582105056828190750081973801750584718844863549105877455232003392856678778449767790883127595320156281416642786727357767959418258609891257680691720879362666555742691626472818802824381529869617480622906401915114176903501637286663007945907413356682372944258664330680469413588962116205531431442257664608242009278487231190703904560047065847955663417019243776494773958471426441407493950483767688904297137463647054213870051993682091276172368647310784454197624120469230229372427612539725417038816845660759278761045307833231243143628964793146979165297570394268879379554665976988280245660596649418469385519265211129248881206364887135686924535867470435846662179748848812925720121962341903948173954906832034917554211773463129739743969617428786727469564610224320181048329675420547239258119241425762885966224543995906552018184921170772767767823944114660540016956420573593983268792771761974968144498970806456196519685168244829139110041801652276788903012114320679827720380920052804224960240546691753263797719078520266862426716777379072948332233044774226658253584849456717551997146261527871272075792885092662687362974338611820712685585021972656251 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): 161322 18 *** a(t,u0+1l^(t-1),r): 167046 8 result=O: Congruence does not hold. <=> deg D(t,r)=0 (Remark 1(II)) code version 3.3b start=Mon 1 Apr 2024 17:50:37 end =Mon 1 Apr 2024 18:28:23 elapsed(sec)=2265.460076