n83-L5-f4392-r3-t4391-ver3.3b.txt p=1248438438581270861071190604026155339439821190244897138842118974979486442797999799699981029322062440999019278798055645309221955777405918044716814504171066098756308438246137777917914892905527174546388323493160703909930479449992571547150570714350830879146660662042003861367104160491990221833902873091817531798132497741717474552340272987914847651077282080948962450702423861392236853385159669162573602278531539141950377504065880334181373025111007641097089781198126108111914825001080622161545905381014990418844231137046172921100071825975454836445426736696144200669519473046767290895479737534179388997782319221319559565455090626574072766944642637225312831135156461755856767839787428970678529637120356218490016922535278463066807317088675930351686050903851548810777245681594191447346594378393512184945633072864078706512420710489273630416249477319801839153644062753945755066043536847757380760542780602483420215533261707733980410269461588322850626011390418242750675259301094547544622261241321992322470655153654000869259422894761988417779080497202351117784226356720771468465897575084610405301654621895689547948202853586463615824749974716150717976180320134069418617036705134458374437874031233846184539158005480309718827737556707778392897072160664067051851187288111976723258742725165691542855989587915780380660935098652859299413920262469464802376186998880175283920012535058438589573345206902237136599447151119711521243788298447204023642140627271584652334240384615282663164634280555409774753298771195673399136023068325637970495814271328688022199592987036607862528238284420478515434022743001456299986607936598814000464577349735282838563176065508245047560320333861598511700441833939697723572776887526259214304561953682760713402729144057009809608140767724910730338533035764408505444058816823394332389625523858290526441939513286718290726045275610412098927733934991634182675736017692516302107461892039353234887742833384747036112703760951296917173041656566786331877279453121619023083610276944229151867212987252594031189422214884136015135114775091903898703204660513608000505990502751279639887755535811276059591723138580321208355533383885075767086328932332574546232177570990019088539020729179820856210001757084992801479065497988559393037539338854737732703242330488608543305259854519778658973575528726658816926441476228954915109208401180915351908622926648579095785019340994988565165827549881722368184689832255378425855489834748333413903620610764860034271118080448133300892959239638055207399493688179877989870423157439741085899433658562229903102734967839360284638539185805634300932867281626340738296563510646038402464241722376586903712755779585491343389095164862159658392274883712802567131177057522077391436949952753124288564557565988325120504248472421342612733041062262669059558397103922600099403740521431023257914450704722770679006392621645165750042364201539146401726676649967201095614586204694881220314162431429052132136821221900237865720346565387961064603450555660343241844771926543134783528314014118027477461327444546164511754960885790381841543974844252473666017522191395983099937438964843751 g=11 contribution table:{0, 1, 0} *** a(t,u0,r): 135 0 *** a(t,u0+1l^(t-1),r): 145 1 result=O: Congruence does not hold. <=> deg D(t,r)=0 (Remark 1(II)) code version 3.3b start=Sat 2 Mar 2024 07:26:27 end =Sat 2 Mar 2024 07:30:35 elapsed(sec)=248.098587