n74-L3-f12628-r41-t12626-ver3.3b.txt p=1809115586358933062663400098784437182105864696127916739955477861132533923976363134189027542385537225609219670525106106999022774128509955357165253528462161227649229286192038880197252092603174858743836811940788769442304619975019674802805997692236028406343072858330799148757482108576169518554649077415433943913589101572254559327253274599218826297159015025547409931909982144835361496358478290640447220455524606293871767769474799017713353275110217286370059823756340229823928996671790937559692033774185221661231020522960313673137235772349880055547537873343281938204239842677193739532562210222431712369348488563083575030302589690191541363011192539619239623096529691364676893739609026485592459485042704019435732937758508962442223444805752702041694447734474367248987599013515643221369912088991490392591352949300673457838279986573331427587666516305400577518261973332828161554712796142342121759188814691821267219382716030786974691295396925483905532080510147203708661493344157241219074369831396863367300582764355293191305475703687005248348514505664743178843954821436347919851532936852606213926960738441003433718987746405261576247961402730049434683004150205232390336903929149787353967405071803999619581026398733761794165047503429595546770002759142240444180915012096698653856788470322404636047799726723949880868659269838543682061460049068924316541776231785183114186718255681407178433255571066960254840860929816577205944206436453639156183507087033335154400233128629553984032090672167528368039247019202123365888654927754850522826325381984932152330480143042822828022434802142087447861712327133174711758362765199406202500807222430993387013643158438339458687052126651480694530437819877969430056626331877181150024230227975694548571257072821376292793420562360241065553466621330840460795551262905043933609684865007915703107528072365581377333058612046816821154290273432248386656538982750988763281856527536733893506717410997933020492115294303267156639399549602749653878365470312096822447215066842012608450364957390474683064904082770320513186888742334053943929790328862336113316654800597475903490498115554505229494070147978166153957483566536005700914789892094896970154468731345836089441044651297338655391849125536322236404562926394395536153609025584030937878125640860658146833598833315307524883607811970528498314973873888294457876128952236077246306749865611550392799870611912646240116134202848977916991274208257194958432540564080708897605845852781773329883284586324409335305281091159339902198802204345441053103498836293260594184980986684511499733198395711921217932105863320186404863781392540696773574039525774900619506588047097272104578185063651470161183093532765335010316322263056962188237435112852533903843521333683154398404173019473764547456152626108797594142270236932335917716506926433659029599852182006794491855821602873081338362968430175858058909433354874576566704112143797595286580616135805078823595470080237168103234310335632380749973061802038424473990953207418910674776985876721285521595709736342378900419650408365665033933576815504449028884692759892460970204548895884168669996612865388073216283889998384419792535428112924906178119053147471049879620570307975348036057452955075143060345649397797049621263768572383623382023888766093859645213533431236973484593884487946659723861954014352626600351245720212474585228283575890247122494230771494698930486839390332465094949729160788030627552883826112040682453138483164065767287963330307031631215492188183536442516650790017530574624648946575250772231048542343240336859202386545497718144386121026290382185304352238736120113671646481502992529443929316968803633291618813406299977422367129948888624421002221999191873334608969061606096194281936356784804581894686501451973978950448093223722605308131935444010430594203001900092402117982446388092700213317870998246791686858488089281176757246669960838557136990481493645379418780309611043000932511433446147387101183633674152710487742446780015445995186432765545811009978349147346008250181164659709635425289826666883524718333576739754792005728385890048761106678569896834691256191462767033777643315182704019162866562078545546760836294283155641933368606166214574924603531936549901502784852316150529204311914026499464228547902388326631014799439069807103467065567415756071843357602577423514602700491587938084622855386032986661297050487181824525871455741726697151029334881261092351268269227281878162796145578401032303850246765032145303439853484342127045853500296235425765120951763446705104141516304861764215247888989329928309439032437630245246442643083640970637619799602665231762065193342281420947340159179148321114483328150001404645137733247623963397305784255611534687897556538142176916221254402129345106511129990399221383290963919323771113936909832488191592574457205429361038171369878620290859880728246889530791834303784784302664434485261065798073424391809441155273358078501285336317866754425875578091128680775455482124642693846087190496295818409405124410268673431482992034694582392351279180927487543555003491059612836969474331403994802796381230733359411947946001700345793513449920235934475833060402387278868464847468424439722760081005530220551006405195199151156236384169229356858141697071975786677586868271245065566048149791881105538465629193950396248212807604191701291795124125846998234876389091546680400972857483974044057179104816676640667946521752754874008847485925527040064760940064125860992699122304172968953692828529277748295355583232392801934475601019447862862976519350429564393462926594855114236552633529406150584360533151711581315900174796003687655978690518425528648965207589745085776561007532493871729292820700806280400515746712056229455010876717038575570158235529318214628185781915968205182702539424706839048686624256397494555227599386532954822461792386794866569293269675847694589473901532447189167571710351469875760558261257808474246200517890800572303721332390791012470271884358710264623702862671529243605773048604315161158198917839568542455406511264117634143231748387218655548885313857200176617742582411962616329674639909941193203876851168336364023350229 g=2 contribution table:{0, 1, 22, 36, 67, 100, 107, 113, 149, 181, 218, 233, 257, 276, 279, 290, 308, 337, 353, 366, 405, 366, 353, 337, 308, 290, 279, 276, 257, 233, 218, 181, 149, 113, 107, 100, 67, 36, 22, 1, 0} *** a(t,u0,r): 124406 12 *** a(t,u0+1l^(t-1),r): 127866 28 result=O: Congruence does not hold. <=> deg D(t,r)=0 (Remark 1(II)) code version 3.3b start=Tue 19 Mar 2024 06:58:35 end =Tue 19 Mar 2024 07:37:40 elapsed(sec)=2345.047412