n49-L5-f22751-r3-t22749-ver3.3b.txt
p=18104841389345170500661155439615852576544473809300632081770041997982262961942938531681750841422110825031977797808946756189274443428906841781581030899219306858469085807910443356998080441149234563863221706915671369131738217030250700571666370412680157127552988180888136253698873327265546593963021959747409632184354996053721251179422537503595980594999022875041629477762149185534527643465391374557368732853755661758772807426880772558364782640310935053899984473741962581893691703629915279967969405670894176662285368854124082019545215834646662042065175616343815734128625073936073960235520159403044777344339269627870936975511186285930291910292444106227389337449839340692753597151796384700461486508786762696222576261866345209255301616147669407707456018981891844499756483325137239794614087985609446383760113376019150490530583954640331963475349512904505060653069530192597367676975523465773382942121752393460304450848537908470705779723343702817707269064789858995921785410803648176362754015931882515216229694013407690207811156017588935224403186022510199203757100471159698816798981824089181802708155562599172490685424505570191311311941861179363927236651275523053400841447378374965415779447887535755942381629255008045949473614271389108047424968236886862423876904078986804431664624939145957940901920315596763321915438265046933992258949632768073832746701118664428557721915631102871201503075057225514980819091308650811541568610435191525495910683400733279399802706657463616219737494293847825865847172068340293147651894110467815530719799414710264741863483169518752802654122645914148851227512181315977227293781301312317808970405933506657846519501095391251778319160357897858126439882930920881443227031535217044419703785646077697537451520690820152464380032035091530178401003140598433282525702133912688735374316726234271202126359163048743286434054346832321931366262667267038490503271974625562369281415882750015337308101007367541670617208083293750309552433239301894606148392277443487348823355849471282383251265491069398423065362740517727594648775459308642537346396820664784035053844029823621651158744859147088216179925888170814031270573271133852752767878857244544984371553656357727312747424771335394639902304217392232197520273293146250763131634375788129484980310826796017222994538463417377379138159773922876233082441061418496702534582692517382631371442579534612171739644604267950853156490332240524650290702995997166819442428611447404640487400405251381961766677370739329439226872196026303293941424910345439709063272105367351650385896953061295016348116542923300678363257041763417029622184549370091549268520794530929398587493185098398198170675023142438318361242125798424292477335215734335498938958586962267970107495748316549987729377745915809874654109173680850370627305581011961326955778051076361600176304799088517152316598931948228047739885072451902359886047267556524286924834057410670362570344385029517081710520185264268496083598130874326893938960537491395644323036944856768739621518307165178988380258799822644037347858615021413362224745442827890629687022037698944068757794974046295115089779792310703844559965243657648307314620648811891396450342956133659608086821780722634308879374702212118188841675783417820463698511418953424649482575848543553439153412533037895485709220209932055717876515340899748695902005251208041458057753039255462035150063206333692091441539636862629512851485455539837187587326713661476601513344869442577405693556883870160980826085957590261625392028944084697851977433054859676815021705909808950095657842885151257166658861501431763228633425219758261230353973708559766683764083768126730902707572597532149200282194407554785789662069499464970300961423763073974665239136120047744151425504381073419310583548618751668011344870253483367910369994714909526145443111896246258381434764245370237716756824438710921745738994324292670953580410575599507992903609163513541841974624943500669382909328425633170627223766121296015137233068415307747490087692766606924440667315106737088382640966817248973547030356105026139806016159399271586196241282282614291452728771714824963945971375254771128810259001543746866107376455481760072580084800605365896137422309009670984661004765077186433515542199617318847037414880560516978290905939250672536512975541465137352265924528744067944634025253656234691503797242970945249672535532664792342005728208882078718789820200591578827420653305595697104147004537931795555310536900202535506208556991706868909022383163772596779553665839262996291182845458963700678617605903196679306192791144003208094316900943590913826747626053400596097451267672798443122288083828612073982886535336364006596246163550976549468559255907412653774223386589391565876308529774995328962249694941798791550250113690082560191166859037542919648792230184027959229803535571059568607697621328456895889597630289370611676955966525684389968025950577882275316548804655841361369970345616155701721048714261334140590160230969786215329597941356712621004438275316674599730261167834387729999845777450805321857278963129617364423743445673005897292167364891411218358829732924355593810126904527488964470227937307418660204335423693726099251270045315309130241765754804508385971772179884539372328473961879976562510992892115792816027378511353489849053013167017721725355009672973171224591359926932220658235610289390554145902014956568663957835965308452639848996036534946880484001459617327784834835389609833817084091075107871222646634920393731732505818969920110844966423867191353054472854226694822451487621939000632651522025281801208563780791059119714751510380446719918589083411688580704413015214921991416755799976152190618359111771975416527699045507730964622316166375016395651181195683863765847039938245495833416315035304409659084996260586471578735790897800983869281482540152169789005223654262420282719173976850339391970319552596975999888333981949370841151930005742694523229522504420627473170824440882416095788777370350257442312369861538448642563247062889316559414002078628302667414836199545963481811660143821218917416047053539075378407179747881198232359712318088304591158823284964632802031460003214382146951581408586558632625448291042466554234806261867947851086025235459332731733452265102275743300439489335104908523467547731524468491602798214779610993872487253342760601538609618469412902198851546520633618137396933447117188954412317814132692134734503569905110770830184425529253804513981224187460959623041575853560374980970047098619586841198508308875313801080489295840929556075372017468747084367361022140271063374671290463837551896928149938824584570606381969454432934384361383102069312377126036816395077869114630593505768733314795784749327832900796609839588300158398989145050047007735829235338270571802147422665682077129207080360128005777159555426742858215977678569779718625946866115433425190953245510108600882743434176902694494397915764897401931976645266787916485314466985004672396002780694849653262402640597098132874240860134960489538462200810269855922895904744828208378139949477979046585269356680299930886187438586521247745919475371132553231797327585747482884282676887161770652802112747203601624366427286851753280744629778543916928168101545702411290216302935530708335830479408836936483065489131662333828316075378655831348270156654644964501276860660285237420170873820865375637798319035650563025670559399462402548579178661729767395741488312224308729404568287169414048971498831255484430915143876278594238308827284867346382286841144775781420198606864997501769089608342603595123102631934420835953836505849153320099351592775257034367223661301162445127959285865940112257270566319978449035008889950351285115741138655267505322562452915658034032040309557259217821133673133061976177466823234732040178453611651395367543577192849459298356185389381190493652066955978460081330761898140512284453354960716114808710320877946235131737286027915617735176836796204788740740628479450529698569565188774968237542781072953302084877500025394863237105213230333336112825897915320491267058638253076489853231744562927490716378669512164084532003487771253388649968449645552747939219554046308220037050929107598606373292578565050348141986330212017377894520855842216958313550663787567025725195463497310564033487584406828172593934749356549494131244268547574810592531274113794259541803255678676062330218039954756712158621563980423270921153596055765215463589714722396431382051289814281195387428956861007953568790396396851955801850078056373451166980969302844377882511075372723818914961147278296862590767111774561767960127879682677679279426608485622419932629897578480110615224930319209343675658043976658470140569661147166931569016532079749309562451021163925067842093613167360254057619788274646269583598326524513339719898395046260804965020704629086828584819258997342185020064816413575944809723353188052396341296730679912791959965317288487443509025553147709335236102715139777667982495356936308486102168759524695935265532692829708877445593526721920315396890048185696967980662146764282715306245538074763522498788335818259018549704484093239535635124995852187714657338129987024430524989592021805558392941112889979107817442870339972080665482476132473763950426411289952289571530066205431516921431191205157928794167639986462692108657081441413038702200853767221122268951999018154364799996691127226155169616321377737892028911657930395474852510070041902842918627060158279484330272792484891835553325404693184370227152558138490557050588330275355248218447970680978349069582331832855693828061945614267118183413378061820753158751016968552850722648176951628517227557212529866000484829345294527574075804363045375981606477179143622414522062171613264372342403453004931027746032545914991582957215540040287125692053191417705196134642483264641663769572346439396231700303960776631694259433061094089353626612229274477112800098717888523134289977356737568582813404268068659505329977994785334420068496958292264112525247245819270141490833798670769791405870740892055958031655824010634451937223556803287292884107217740303933609324309039539407170783090139267539271342089110910950632389342539430142991848528351015378211376241897780726164806123216590825042182759120086701919289560172384157584510933832687582726456703403390901202090328942396344359710904366780505122381096289589761868509714182545649270954203735053890024367481612095639885487806910611473986360899230638213449283576349176959073627273682221825800434392535175745669954659583684676399867746356734232634301778872111285145192584209294423040525586372753578242480701205270819756152040810319672075147190807649884011178762847745537075467276162796730421133880366267983077752616866506960307527597929104232341423062783651891845322219317181962273652772377158415950016224085634227965729866294006262026544081392083149904784287844999801280749939344336109092203394183146337303690500774136542734895186477848170133970872463412239094742326682714711670604025212303455244325167490331975757555420858753372605820469375776470783547385305981016613722917351978537506030805049996516343034518908342064009773502390998985906843545157976273713001683866187676196605785654004860659824439855601650919431445508480779235655825978034268680195393797990272816305291494475658023059784486312927807663536095649685065449962114375386790822795301752653746706082993486010289002467967997568684246439557816262726764070340866672282192479602022875104770563850932259101716867106355773755635993795034272819144503575098389455106399633366452248130172138134444362294633803479941684092489192416910902376776484901900541244389542189297781832601246497082368571664359075296380671052572785810469296484618750482264974108682046612279806291362680686204073558138820819696257167068426521299523730602727494175641426233292081995591282800869806765916041395960345504941918978772215900440581013722103777105249293730529185263749927358302808828990187978659037978777746097733098585651842382625122675546514011463354069511452808128215351239165528827886915126310737365225564434153576513902125504646309421240192887090589286796120060375763496061879232613898135611368047423030611629584429303449862125837014384920209803809802860680283038745408915851248388876210985893120260983670741771180335384700501032600323423670754911014653122725006392914053921637602385894295265778961975850685927870698084019422906767422740773858425448767568695497806615857160480396024198975730385538188971222782139285989899555594389432679775840339513002477602490990691740122832698454626075700240067458145472334384193586063791255212837579481013115985457050063041830126259895475787730807665295374835637202136745113405951652503464722910053424050044111196107781513385246300008805330506425905189019074093897073937749411225334941207725803885384544698173735588516084441525740081669885626406366214534498681226212832911090774942723102881982486920128300606851662889988136719402335350945640813237318856666403820449492653191827439980326689746608073368483121623210664485310660935895049908511240544217995784489659266326268403323582740723388024380543314627898122423511864559667574343035285265574085486699750169659727475512187833356279659535045495740524257134180241438220765430048090271413293277913659928840245136802926775069893997732663911087488457860148805885619952361811778234396545188191584821324536270970157337795511994933110850725646212457358922404007383516478306866954172893983370843817331943290442686610525124316054062984085545668351621727864297181538212736444762809944641008558302342195814508676655813444978896352384118541759387853491605830742443307169999422182733031935360854671799057131861926046379706793360475881046078745467435966796475162456456538949718750226362006621332710697624560112966714822047780128376535943420511791385938339532985783183724126988081453847934341892340095351982870981851628097928459918902570805645262002837329364161740380831413635280558761488883322782473421435809129610262852758322816143314105523539158329704549612687687275596848407301587227511909199288437407477237620488876674203886176887610459683772023186442392271563066896125650498702444926437237463458558727579368191621920332936722318274080846006871195509337103577502329767820684566796188868245199357551572456020829712335994466035173994605146239952293018802273327684148260915083042708755406848596159811535387334329565093836710847706591050404545364996686887272293325401176895841070584736725435181073751565620887234983510385974648097462382224114051666743537062033834753368461246448627281068941617900395186292208540566725699283944353308110721350646076857372944396142500324271562573041936175455509919983294370229231475162421569941790391894555760808244733708273636407289642164994898867656001380163211077804337446324651026842539817302493150274567118606783235776067004172922110695700766151138122817936503978601461169835619792465536264930692771840886868999860750142505949417833999134394285682678310033427176740728032634817279673840267712318661190870325671267978963000353384849169757647604281703503817646758056904225928231987287117856336545312251521204389894576577496324088489959492478086622936740270587203878884437191260425169897419768775737115149819024698114237245736944826513364373986919531912540309294115198859472001130423175208006374120239876753787566718863973382463942088612207722571177605838099452390863668322635593296998506396853758873587870049795208852526406238307620810186372622460414379848868847579949132143206916541261202454491846668349375458447233275758237616789813311629902109557996406663895298567483684351707408177632142601311453474367910341026612389386727221240484203582567303074057912216293340901630828052544835064869929022345641024120246417944783456717510402587829586985592068139936700940554648533952966005845316517031501468941808027008800697596522558874563511333330505672774438921323755541367832663202360743751117153333511315390762609472549867359465658202043256601163126870660116603957756457194668898151207127481257274416866334365438332186673590310110237742410298239413502771188951375383003505425349071462110378960521041276345601807307546471779856863331759422863775910172989824786782264709472656251
g=2
contribution table:{0, 1, 0}
*** a(t,u0,r):
407
2
*** a(t,u0+1l^(t-1),r):
389
2
*** a(t,u0+2l^(t-1),r):
377
2
*** a(t,u0+3l^(t-1),r):
388
1
result=O: Congruence does not hold. <=> deg D(t,r)=0 (Remark 1(II))

code version 3.3b
start=Sun 19 May 2024 09:43:48
end  =Mon 20 May 2024 04:25:16
elapsed(sec)=67288.548701