n96-L7-f7267-r5-t7266-ver3.3b.txt
p=408091935265953439745260668336280233116794025429990797637598942441647056997315412446014923108587160368073194295375393746278629249667647130609368572437656297337315224881774303070275648036124843714391607088073634062969215989678450203423902599615748779625480543003406043026516167721709287137483530411603014693855647235545009697321739863207558252485408742527735659817365568328664195277320632614299675378452944900606683065612061868741937276377139603313972415171814032585411716367652771263894440472269233485960344401260433297855551937387483743830314248391397356681734337518262994793182067332832033929837367771867891786594575570863649300360486258238555044510997472545932863013946175209227288992475015221236600778526472514173994527498799350561412901056217302871372595975418461620875151726981461583904569084190417651592294348575043140414682769339699617863588088608002255058538038101301119541111983871184126009996307022932006060910093728335078432740033477191728878726118329102948178171035168627116592246742382763641926487051336239359295511531352691473930846224190990350753532348156605851943877826144666841134624620855051853166816948221735963063934477888965329767046526106469094781650346843415769896542054979721915258546414035753948695398299209070242183073772490071990218043082521024950336849402343619139431546655093038225028167963563558501877782755787875921403332941160300883504135727048782060424939413093049028180926200651820376054879453003759279297676548281071826625718232061549189439231187483947697313320093467712066295801187599524822128761560883313885538609054799541648770236944443231932855869595915881931776983041975177678085288265087635376512171356698361913402647712819455580935334497056333374969627661977676972887497724384764469635083089295502735791746227772158334690139168054983103987954446389060362094178816188783513931977124021540167378658477694701553287919581768914098717701974185019830716789207314036540646222731496109214013720722932567102217406947665376447762507019395252932210816386938362171286809869358807248493588451994927438570190601173821101862284796791621702433115284415689529255835939106665472488910264426382142201154240180338569328122949523896322363784639869021985760121310038885633926030135372716887507330254144501556425013952047494950742823897722559507920366236172565416850255303423782254375274373599376836913680101059669947776999110724441475413583437766709953895136261512967518737965845803291558575750455545110533340668868694961166497427861422226494457657812211801215083946692949670048387141402487226153307026547283966717739467692234917592757446336481151468738006160923479573410173983523966828994385080012687472856397191382068188754325083692072982536167336772508795005178071711890916830796269089849606578301524479002179437565040691231299995244497012458925654656995185343201653041763869751581832536821222581480628551603515192183010499759137747239521160958254672813333785312678907973959622016908824976270718842805201250262127994840311223781801870373753989956066989539338681272355831252531349756287972555550283317158051513853455936699875272142764183229632691078600120179557057900185436922937786475304910118897005345059060553597506690151386909170430037332352669332880377159680730576262631036019998337169070846769914595805607338858992038976070322752240412388478456085234796828553531799071655349157880998684511032922582280518644404176947665997147613246548759601316495772017628500473525156905236311128445003823322683670108162612791674370644003411123669122909046154532729514133285703689818322958047657612343068499286061112526164486875287680946671435293972002735790565501778438014002204449489274407376588517966914891960271649311720150976891897668591424398112865682033313979834475719025808691180698915699348549373525300117660836717934383824151805998420771454126463529891972718365275353035015215047243960367471880387957250939462499917181824498651218243007618491442906458710583237706076968000648942280779590125253042624410532759594024773365067679747928539141145605012811658636989744367127526286357703914562193640595799077878091927791527840990812414285404861393310714909295466762414785279713723049813441207342492700601849673067537053740894568905833161610511070617143850765521205786013906579737154632424104093975531856366752399645442901907822537569229890457509423029073905404358231105545673970296699078408810185962703988342999912652151529060616001794365471421931517280185997425276854485851709769106897487913638419958899219685928042638975303851305827951302312480463923880003850942778749068418959966098379041571863525705216620020128136867032571383840369941839484167574965672840526772573912650229792864768086394227087230720940533230040146992905746066176367547685516214199398946644346759640582906248980351399582657637032540333180304073567515762331487182229627594148868423968482927634462638303457604483449391687335493432202642297428171847300493840511807460476041883850579543228620009844196990996112411468350050198904058368883021310664101310011258537328010946808512488836234119765219688394908281039379248191542127470304346897093495469088173471228604456717406272893230692097826228873432822652459122639943175952389173857785198540934674657820134570040684893496328144694287604960587667704955510692112245060135641812135179566308494292949031617687647158908365832586068353802105190741288692356065320183900624342430061356314823596146550117291526478678599425895270316955413475447194992520505674098741703453237290100188006116930203123063090514242367802180165048455905252775521245453171879363518580032589099820537515284258086020357341629971858595510819785603863923019355131595938963898728695418647888759258286286653262010629782619129123615960938496485063650655759005236437031457840569461028651827065111496734877872350943837007892679695162493850729822068825202800918270924695641642382167315164353877573182176504662717275561844792694514891265408722012383965523228893984771880502144064461600640211875805034779483704634059476731948757957861519847941083059276334447860093926517599976025488327717163042719201141344799434952787520151010993472927314227153547481792966294771017038744863525633586528851490498939853577875071859420578441805388257671033397324119417958056257
g=10
contribution table:{0, 1, 4, 1, 0}
*** a(t,u0,r):
808
3
*** a(t,u0+1l^(t-1),r):
794
4
result=O: Congruence does not hold. <=> deg D(t,r)=0 (Remark 1(II))

code version 3.3b
start=Fri 7 Mar 2025 01:36:06
end  =Fri 7 Mar 2025 02:15:59
elapsed(sec)=2393.014152