n96-L7-f6742-r3-t6741-ver3.3b.txt
p=859581390809975453359771160628005249336084000677275653894074217692557508692074929384549177013841440675254540490374254683075134086884059844592205883645357045140554343909774398767811928237234268151479853328730340775454196360527280092108691380787212032021725383781421930393398328986026612197156981777096667890681566367881520672944025411012914541570033013226456466482282287837527339967604289786122346815693092388992316372961240705837688634901948012615175448486022770639268370165896775659925476053918761314235877608166871013688498975309929818135791998868562356760871767839362833430535267484551582662701632469647154858311149097694708589086934963862280446698887544301169898205319242305202498113329155972991722726451466794698881488817992241088380448660117744571709431869122990033366011293634931868425890995222950873770809078652011987087473137130495804036097697593947222717788234754997651715873990863849539196642441272203524763794723448931842070444995398934932352944780712593435458546040686760573481468821439918938950249123751053881741169792325096656758344026937514339950027706956949015078823898039344041873423520696886563700366604768605385080180242204435965732440593915123732227188774151205222803472958433888722638339350665564580378188562683839207985914962356180131068652745210070344856337130395701740488045182251222082257388085655965465688099321517162240813711295287109465677371979996325183548712477291481705417122252908445920426712202527613294243314016976758997474212799867256116413009132576469852698408641176067922974221254654226026237952249098400142821963561973593233064260677608895037642433456847381166324449509685291069665411119524509690915511350613852035362008039053292601607064425488816870274120916389219769738083533912375418598062563809461965919501872173246609472585484624549416997138650392394486049791691890022121251454701481043932488479754766427397445139351479837575501218002894830807291166587511923162035558235552206131395395166115403289951212495692578436122202293265009498882272548427890225306561847385295950808612550908676398157062566939676420537024693753091015883997999518437882595044238018249338820609480773820416281304460543256233045734981338906214808580567365345071543635815598828277598055578109375779319733167503170362053433434759411866043134555764542621019905966159616621456531924810640486655202502648605198084887972567959058545888135565031824881957938959261360530558841926002368245789117970401927501196675355450658397066099010398473020788611593911255411310629894613980273429392072905998198262352569168194879222937423508945014628894365707542097999998683315199419129045031193668935847287275080709084184139110548762963421993499651886171055891914738568552101748645713367478184619334728995982454127477499813631930508089618450913733008738873424388877807659658250134252186699908369653088522953653638979728563689624171651347314095368387252783493639923631084062420631688117771909618208741802747995069731192210245173651701761752939893870469982914632207745745586873467400624964685559326919888769545329874083674483984534483126653902306639029134668691550399968989072500293173330555714846326639119288329454710573856472528584022600828467633823325079995551345462100864841252059849365334756288673398535734244268436562913582383264248706211060950954351357107977640864043539197077527501999234616285220784848123989328144948713535171105697959219296576290919128207596433481878427597622754981582115677150304955917252922212212773906706235677516984604031544425776865089513222649981060632261563426105026980237629722176789820167796395106697613011590541969843135184526853735755080871069849240402092321222414818800334026168905554642270245807317148843996119509783522342332661850216768838484659955578209711197560608350881251309155976502876796916353751300748886469220324769665136470241641070627178213037870544333585750136873241364134886630103633203260230850114756786639034946538280649347726403659670666229860031029948057969934567125965390698814099860566476021436234326124447176251996115946769246706328993384784271153288191461654394290457237525622416744793689589961289776403666992541960492941649176921061428042385713668500720303069836458255941806923384410583012566397622960401590085857463396992205104218064589650354540634454514792690543717429764449435658364660863167811200329867255757981061894872320641920708245251851468589308589932199631733381884000885163806539234110208039122178180973173029291292096158721728319539062004536329849154840835203905262185642301104135911749107120805097368093681707272308068742776288497161353816782561218635178110307936505573285280134360357387754049147956983257229063913036546206127002084003463032152716314682491039259432711585202482087722589795113685751383267263819697835370956088979185516148737732050377026105105059172607841052885089055926662674299998391097154426044173679911055145676105236863918058391827195766659989024185664714331636919794762052544893244116594114654642456158519058833930287301316003852759096084711156549340016347719501209428923326563295861434961180161200608994540841129915643866636488448062931420678775949484126152626768839821424058225351951320083143158741320644325315752708933763476546980279032628173353655238884152593689561419625083411730052940294532133647268567203199063893839825724596103282076027749317463690759752110189530198472152891279551267557493312971288261151318639385676891799766676685868430364621069729326078427257647710842021994088863011133433494801669946632037680956620659872208070992044245524086717577086204772953153841981395713636101903525798146392471742565908836380825374326419093631380232388094833151287097637451369892387671951302613323192792484964477720293027910579524189735886542146779703626922395953619130054926247257595188747594389003738220087561409
g=19
contribution table:{0, 1, 0}
*** a(t,u0,r):
223
1
*** a(t,u0+1l^(t-1),r):
227
2
result=O: Congruence does not hold. <=> deg D(t,r)=0 (Remark 1(II))

code version 3.3b
start=Thu 6 Mar 2025 23:24:13
end  =Thu 6 Mar 2025 23:56:44
elapsed(sec)=1950.369198