n83-L3-f9513-r29-t9511-ver3.3b.txt p=118741966263779835719344859455765859094538139392024950775685067716504671446375519603666324118374182041822206630921109635453956870044163106624120009444048044155036852446786780336458486344985070505085866190430209391421898476939785268372588410410979324375102401406953799006877581004550794781499018408765160173030139862801312814291394506078512502227258659826609972602214941988455386881668530498004034052456485736189384921282084143631931310004998409750440715151027340075074890754674821447276814437908922716271526684159223913706664981046398919272273552450104588285074181485030224730619454231044390211732737466305505134351001208938946410532970880400224012288631464020645002964674787851145307023506512641619944024341540214863328629530542046450849509786412784785438416857581037167914537604743768814757640607750937028157884619048641029117178978313135710478579189039866123925249524551774010468327858663304390083139997290907448394645293133925884817778380608212786415557045021434393995623690171688912361455157237488151052129488646847145346591500452079032741582081783030071280492529379935347813353303189814516883341941491021531463428015606031637825164032000308491512071956543240594357295091837952685828815518625830502438092997714285338984782248347826782073448309485914629976081985114472851711394880633128279558821797499484307120061905167510216069473001636421790203834734537731690019595670229638262453476389397495042648760275000014210892055773946222653117303202000751557310018293452228145553462369862689786806932940465953181014482388045638778608814634312661182293286364695656894401234178468727063860577677132329068370573014392691210434010204040663448250718410945528125602428064120272442558436302050828223960457867072802272224794558829155544304841147145699735357310322942524623029013888591334220445779345487700488637790574617010394600094483785179333362131431970701145196385768450466664494593075775757657836016002561935479020103033915137618066206193868324998826180138124856733215533632900919980032347632930664163165682685645112057049562116292316001459544547715774052119058798053803515438237070915707624518282313989065494099251729138634938799416668899381485119031470014932528335128006942430437434031343770716381609330930643023702168955728727146386670670430377297232057050226141035196468431810093025244755465128330774659607851171133594068824836455143309138478833943176237876512586009058419579035600512016217063677659556024877988001168498161046340300375039212275599629349103146104764332925086329272994319863595369930609426767504320856349159312266818044692139725527744176036974799541221937933172247747609028633539990521440781223229699557069595178008593347287848579777660589838131522713646108309013945666697222393173683441596182994787734004269792281045524440244463555525779578267326474825859821878372113376680089913344730238198977815702143617697756870679601073824769632910529380809088928538164973885891180055617215747089961269296075787896923906819770066301478429950551329657618428061732100437359838308486667302599908273514014068812085901343384884410176978088210152505185461241908066331863207167441545820099405470885190490804444724747007818809124587206867185392204637850041235163335608058948054298326205866084353574336448163666489637567163155274152812952556871500658172940845318835404135333627902071273283107058558481909394964662644996957829667856922753940636928439244396267032551359608583240303999646944149077188354547229306114630444647657758140329409044818902878870293483013665397752698582074562742491413901780925080578419838086987996372696355295379322478662487456301508898528935779021946228558462922436092317786983966333813075744199112557760347587595534922418937500151997609060231319329188385638345250556949183890959647270730452214517484836954736072529682321161483298013923445143802094150073603736918383440135636236893953489679817014632790992983785759594917986311193503222485732431830390027936726973643565271536670046020863916350991259798886839590486601646169220979861604969767805080043346369957062581846464373809318703721529284520407116790219669774239158540693640710276355239805764261832635665900590639099291967395466512732541670534880678700134748492126187403570633354680073236545414464970163903888029440127750531864738849194507563866197149241027082825206962384721134777725860338782708694178418603777543390224747053410668987695689744292185170613735076941608507188611191842842537549565844290467192024367420071343611353024720553709654382658476970621685956326840180871767376687512123963383835317216431559873403511853216244447194918866947603513178738892593591277619 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): 57841 15 *** a(t,u0+1l^(t-1),r): 53735 27 result=O: Congruence does not hold. <=> deg D(t,r)=0 (Remark 1(II)) code version 3.3a start=Sun 25 Feb 2024 04:22:07 end =Sun 25 Feb 2024 04:41:23 elapsed(sec)=1155.576863