n83-L3-f10755-r23-t10753-ver3.3b.txt p=4562497064174399619215938299114403446713431165546682065096017434290508099854294848155318718794027934127792749617644776340018001083661618476914563230844048735216865106618748963154265472240266462249208914529182480769657242023455462189806366341686007620229721585765941362188168305036024600433322748084122969617892241239009819343731170663891453472700928427936796756032466551718036743233527591888638127976870574899923194842315317919180603758695976500003628249484631581772965704678166806510295582723612079477047952781525438984287341241408452412990948418171224610609269636057551034268444959908776016718049618587991822984851140995154696645572731063736486096538309993405058354314306476460730836884142702840472892470250909965947326337766909043140363609380721589058743155803745546217675836209220338412506541526336368557500557430020810321042148557786724588348760586075857782169683009991685174642682999264563254494072821138247760566723477031431983758582326743162158494314130760498891089432179637220980323376011948869156118866882955358333061454463327354423288431369646223403556524088691702769688614458630529061719596963539154542669220520982170950831658390631582020662831007806390833328163676341084634059097432508265466434180832913193583562061746882188006411631165992526585069128067580691462527597589738162140379463426883206497091555917689761455198766324986704752618925126033685798443785757203270926744712398874130962613054688483368881159826183067156102574849665103218999560969539785037990374900845030091239883946474141107915498156797572940272967333196892252187790653073546282734627998717725418569498132634514617921378472640745298906001261317657859609275285155214082058028465609928448803140213780631268144617837428896435761447479012910555577670770707108452894459202005329360713608241553126001790270340103270334154943855253682197084858775698546142347787121643462282894329974882730873914128917621901305245772784519338577616805048562976265569302998165100884235565169365409649465730427387664040014644707847871883142855618671376061670834734160244018870090220635180360901231767398281798936948874134731075515743818462729632498733001218525416097723775374146806072063234331902061989094757313820620731512189899154713813673734085029517728962232678764430287388591149563858334361519865414708897291424945480440447596372278061869943034194605107615358882113784990147160349111295081501744324957239062900266739896813439558765730917081273054760186767987188730994144528708575912538553576906181552130292474004495159026751525931560622266768798219702056577899290806433295924383464545360055740893315196077235283718093898023957210017170346819308579255876055974728753753018003998962290842912564942488964456783364835910651621310332879321117816956894420472896206020310449226455337563609566243405591561527218243371267442543256620134831189578921089065201989973265301472253751536809565098848199050582387479414505439233876482864447011628668899508197225993522968943420992304995363928952134949421880494079607839707108634778410271478600067346121530643304752300643826370251131898880069841169275218781764507947954604229794036820866759304607216113345754545007405333908699977110942399950912892546456976498493868579481219107183024342645674752496003294310889979384416718387813091969195420518838714409680235345907389164663398774462591277691219920846059953324648471518941278745500327859125227073869422662991794800608322742604610283265524335082086963618315948520784757233168018869954812260095279279522707209172332585221254720755226904505231174386241498126961221153329052770041680206456716345316519469984954516917758689491040366367588510514176169708216231071295963977392126136866737451423766434483679492213519973762912934841223222251563143359089834859062289072360299706831759598382686521402467318935190194289467200012681611719957102353286964305291568552662226340901014145798458045794265647873809320403122721602536855474056386503439235505410770051654747173385179773945552451033839998854776975737789220785934719989323082096252895900894010002575883530541271149886744894760705222880235472749150979541280746155401337181931572120573470096751222282424369038397382983050931297671758466608023740159681449182448944121071704842478920699914912142297359273093493392748962901945445647514447417341730844065087642050076988580805033258252193505794577308757810413597585655903727757225819320257368131544668774709572592260121783367500027124120600166258188195921122892802274890271316742024978275103584615406526504090754981450991976868444899392223317459925758540879930866824217647940087989214315975294998365599638156627569679183665503077305263167388975584435148755097502333920305518564332812234453744774069853635800508632921119726707933581712695501294937398050221420230695223818140523716230489412528052266264620978723399381075706074158713870515211969251723376926997798632106117738457816779106676340157347102481262069787470818517918392108404765262749576469444878629288890160577111225172812151749852464963247956859016063718059353382534986850802244981670712082303900224285402507635202991939764339923467205104064349783275237587316082585399537517280662663282291504671173894784273896488706388646902597942250316916984652163 g=5 contribution table:{0, 1, 13, 21, 27, 41, 45, 55, 58, 76, 83, 104, 83, 76, 58, 55, 45, 41, 27, 21, 13, 1, 0} *** a(t,u0,r): 29919 19 *** a(t,u0+1l^(t-1),r): 30947 12 result=O: Congruence does not hold. <=> deg D(t,r)=0 (Remark 1(II)) code version 3.3a start=Sun 25 Feb 2024 11:13:09 end =Sun 25 Feb 2024 11:39:08 elapsed(sec)=1558.210673