n82-L3-f12742-r29-t12740-ver3.3b.txt p=4941644349509964541075925331277522648760640681195340461592183055193384951067048894974982299924321927852105735506523447314797217798943561979951126175182659495201603105805000148175452859418674113554969320726756255837822486606994633793696713558164262104746105898390745772307397549504442159738616971258785497023796891743017534038557018694382638684226960339486289760022886009907781147423900714103229777295858915607928745440539361983646488083242684607329451074860551660894521867844150401248574968589413721533164563645390856061363340982798633358888229973395657132598568823290684820141286634951060815107540919104251204098400528696773465986729404659765687962628962720109596894914305081125779370877048446927250979795727265913182441293644517101307472612121037010683873950367722752724570447982614044289199517906684984432020200735052318779302323476226130175758172519466412739580182791344410198194692406527883058279617350774623592574551033515976026230631260157072792596654739913661987135454475111264229220980293240813018431792794601393480179063422037260310809052320844596451976905290359123543517626789792153519654686786899940745144654909994793421827080025854309738850386376672471065981950904909303819552302265999667103667912110701815004001212334597067489346871094768278004254537929708076894251591617635721783709926363132705543521843486066626804024912755206052466833646686750440737578480197914952163630425805708493089026281019265975035770160378063355828675864555357096319998879033332263242131243969505759178939319676774401429373570302061257200337080617191400947502005053481350355333239239745171432285675996973367924729333824119649916841937500690029078365238326403712123897500658607829647849921161732756469802198228456011836434059134014627579507524668180807789223104352372246937512686567565359847551719193209896380047853085240294121069866226730068191093227067737330783390944004620184634023389422579853108912825931525863648061696596006832422079375870186433489644764309243742280346929591014636456793610801634093116915258607098638821749636757489035229814724847826632132505535350897432155472479731933578480902145144268633181131909662899277470747462903981617419769564951352007008669662103453834599384529332560807233222758620557226198577015269643396551838239592633330232153127685621336334482282878264250904975253029847133525416132250325196675467311082443886556623780832825086330845148451284678318757156023570917556251533088552885127470712728590565163197035009163684966454793391915327356131647764895331189310676271646037744930139898689545162942997908578372579061562039232926936798200805646166147971794461222723027494914390764641363595675511195602608648735923859327031562579802571055143262397080996751070743762798683068107379821425679183713468975888767958879617629991606807354438398633808545621784561567737265793470762843355957485292311405934275858674865916623419334839379848079990211248811781687363773763839637571492007679024829386474878203890746930605014868425783052094554801594791099604479670234340502423438950121396084685939466490944816276410707687468574932990657819266718004293885578368855350543163856410658450018892847647306202574148241672777421195921166860573805108554104259898139807546709950937473976776617433002177067669663789643400606792241766746983167001498766023380812703707406098941607993332675255857423366309741480359714284270827990445473599199899114620255978275047943769516800140830710889208952138853644747835140399858294959835259383683369595305391870283229775553883492294426486482277821156718239008593388659716573243617301825320308735152084238331796803812039609255506552600943647967137579062961799321904404074061860742804683065975105124336846019449532255382939509152777050148478254150481643172669282038209329552877800566992041377711926156395220497474002178366596952978776398443681183241561584171340677630498567061070366451236733168069381269757706857714631815120412790077501422826960548578828453345739313011217783313395287933616962056849393443692038778606311373722745306691207732989458972583851376745373425692941055050220310899289284190812436569043655923540285086049293193582664083695014739360204530058833321525267269967167643431463549380550168527448574139784072218596890574162382205790371289930897929983880616287289006590415516140915640216492998548829309824609732361696097990448983639017063177122203166662341841458442870824953919614656529514616247811757875938893113852047535322908361289027105643515813562702694560856969627212924575054279278995676804259558865871623613314246692640291384876218261670749259304638747456716940584308505211598143620962895935570087338361417529742782650199194816102919870658966530251456649381570754318595669998524388825472199811229193192600802251339005568065007165051513898282169389244708979870073485551235542919057761429977368451721020733249798855601078459522382309633524738334974511814673782127589322788048636141943784907657882047953836570485062415221212634325356846208592529812856941441954557148428657947861261468792026103011737454443938200180815547429388619680857900710409265256427885736367189492817948261527438735090887008462709258417856480481910714885446876933867985761781730339674900685645212289787444487406577019636771519712178912122237812074060604930835407723638717403465418566071841693161338779519847630616454759772418679761949799531321434178258811613834646166737818713875858483595897046930807198134503343930178469806649999642120764894566261389535897721814756924132926772209965942677941207605306475574556174037841488598053809975357926572546763535477754674297149875762722757190354378844456245613291183300587705311482074538634420809266495878027021270798166595160270967266601725370507198892971266775315530635509509856898171377988334298208341950796037076295166693694941091248206710324344662317616716860670922889431441330693094676692280936075054676625613517524359948682453845723523109719908239862345953999070176681991134077124585340076834483951906849063776022092743580118017727986259288651760808126735013498324837706293317282553739060492132754834687993761626516961517791283797947633812548201830749919403053915238640017726724598356137546129818254191528012054277 g=2 contribution table:{0, 1, 16, 26, 48, 54, 59, 84, 95, 108, 111, 119, 136, 145, 172, 145, 136, 119, 111, 108, 95, 84, 59, 54, 48, 26, 16, 1, 0} *** a(t,u0,r): 55819 23 *** a(t,u0+1l^(t-1),r): 53914 3 result=O: Congruence does not hold. <=> deg D(t,r)=0 (Remark 1(II)) code version 3.3a start=Mon 26 Feb 2024 03:38:11 end =Mon 26 Feb 2024 04:17:51 elapsed(sec)=2380.340068