n97-L5-f15615-r13-t15613-ver3.3b.txt
p=506313417912672666423995332868476621059601559664089392388124523267605581945157324767373742036883926984212820224506243493156885305967493788422927245922122793530549855116710518785108465215658407856005724105594219265220157558923499455233006011127715361767470163694381921610965315930449762495653001197968291452831952766872708552056486014127491891226368892754634348578101242086615443951000414068826100606124300518340182060859816681220792648509649555151545158485993432828719983093887166325601189942821426736351013619018834292078615894858441551581316972937605771646795140872471075195963876726487255497443044533498388425187244646385320167997327226163764653326987540525961120306992132567674656763313682296678749984185684581703736573790675384535914437968026197111998794072361374663250595898872539646533399808401289895798775000933075641139466020147666089807182894693536626008845332688975623282826098635601945744007676605223694613612770667556495717404128037728835666817058849094139440051062211800862384858509315622301551875718888417102627057530355578998093785942344814668194862316078302897535979651566845008047462631282146940921213042781613288233609805859016699969437475914780687375668835437079178834979625362768759192726677467250740776535290867261261250331293138652873755986723091586063726035083444771614622460339334939855102388393809715952100489756571448135351588860586834300819834001117431983169638166600525966399275410274358925317841062412657754937895915111111934159548551191715549034324850366567865775360328820455480455980528845751073476455148344903004002730805304030663136086358159115808031464659213065067458562693542757925188765928904347831259184311817129697163614032295510433924046270877976331144137244756205901103709453486526835894321211013446444880623145044230035890915672681154091262288812561410009044702789920769638234805542218184545032301742479993909444851155019759533701668320757095709316833682872097663482209085775182998871851910996736320966371633426680543837561180575260073089460911411079118528863071570758739835091325193654748860157077364154447119239305506463391036013131749219508375073605307465569653244925616674235048599163708857078170264228140161558539428326525186669997883153372652535323695575526995915258817181004792613027400187080333899621580330655956951818099715128219613866670449835205893676443353497255690282807158765886709699546622381444214931715261311431890389258337017501183106317358006892980351867654598424782150250471109143366147557729506109455663690331374208279544685729433665184531845649149169118928785397408615222567959206938983944379281649896608684217176056263546373026369679165915661457270750932776778784990053771276334314209514477140879116185229357694257040832854771600234357543793364848208460855306657993312122169744396829619227596014730780902791346573169836888319917511364294297782395786761697775168416286910100396434393629977317434730899902131086221813642149555975613944471824373419777488546979695415767301151415514157753894819919732421645992507662155594603136629892657623883469609341208314773444003962915748658300182146324077128397465451384436834782815203251435892045070291000491984845832487956213928491701667108336890314121802111964536739103700672048681910570701324099896961221564545282848943129201288898873699803902013893326139378069355929861012670112760676948546179482017912120600718196510859620558945320367684940943082670131760336862533785447897141378654933513323883200088645889617330556273950760884698579031546085354660264797322042489304580528185705531553954819393456398007738507389193770870711352225419506720197086449484495928774838252652805477845367645710307446076535473460443790616980907785329805152904383846983600434237957513336737980302747637015268460796724448040725740241991372611266207069006593180022101018986757214635403048431334350923061883863275284813522037359335347016982400664084175447782055848388680326019500158900648045745806830115316972213716661809243673596816862079763514827739258199331787199252960599613008580991741974434976776427116951391442497712268188150474309839847627649929983584883197224256531524528174889130240359405416219208587198557613313833884269387510179683733346951686408841338518690642604322474210976138764777631849501150535784045815666145124071921651456450777456668680536706451297920154393886392956717099851277654827657646237777934737556992535322353597054595999934608957992469699914038506634359183172917760890722607999905870975428758525616981349821696260045222927631923577998246323023513961566101151929154475841620720573689552540571828613233836894075566913309928333558393118680489094073007750610726601912540630919911536229176927131065147681815231497481542413594939523268800686078359383865284017841351497410926776136834511235096896667199853645592018988835843600110881635977509042361378523343411330289581464854720440777485110900493438420940961214948247557841282657320927882491725067201991368740086766372132451880434396665724427060312065187352672497977436988955361480223376009789689735371566542312443572995106084018422745865161484389908875575310613101315285722469083396533552189572539324771503228951555500925196172064347682141061252334556799410175138941924906659928302006775245173820034494360147734903953021023081869049431565849923360408122381100355593437001128285404833355170396469749234919832644978287125110476543139514293809737790568025384484988459466018489816529774079486434602337384755132560140972168241109641239576831863284690310602243984305314244222158620570808826427402138371308749069141784104130185950507996316406723866385393643533352611260274062291292037862167353634411359518720271193955005436587233587973947593780458598631097783713051045336801030530276849813198674435475068428232001982378464823861543362992288353810920306205206377416593061582576094376256865054824976377703955170525870936138878798744171586954507159626684047661795253474742682756144658369866830623428879717949698221937964664877047016186822475002668211690720792421054928883693962802289101119522800840032878550065962057032195096516725969316307465689684647298917385091686846514656097032654571008615340616701671416378057103937226201606650110048008820195861964034084156476000625853241761677321500162285948759817576044364827235835986981901486240669180979519787451151979931035281385398495422508517260510686565804963093514378667621940493050355865433248356836888995124493648286379849111914518088465789631845188805536210177573449712912166237428780323125216850422775302060484368467174254925591840810454114522049253744410117747706136654018862662974155364688048471741204507382166303223100592569993503286382391266478095218153181133878709564548750271882001923583666769374228235906282505867012480188357724107395777612298142774011870683346732815629027111884634384713266372069047860989021921564494126514535392942484717396406000524188855575302501487911538340313536151822357121335864772960149484701599770568332960121537327013021564815264206355614211266064996100287628941584002209939971797782139208008772650525327712371205429430199304244808648718727355156009664586267252729079422658167076956493255284560241862203871061823202944617599499308593765345545887479681469450372959940297192578629069721476543409547036935579361108810514735235916071717194555114573912365814792804589253142038650089186825211370772475436695648785412286750771600235961435861964186935395614422373054719372780929976531251087525474375282389498220376795801713651138277789500069561434815056818643861203340766843652655516750989846995326553650862265246346890116736749463415798432890766111513332957757814416105016275145134448181317904608439142100760208883061909019916687994312448850172609795972147912297960484732112253432364673575707983404738744487732901394400655695071331120098781087291185369392418515060273298691370483886222179842010046326928898114547562523162707785819241665053726633106490501006766220083812670011246587929557318808135898805669593722614349464655651840499740291900767256341549344333505811582301911301962475363454597544536143735379820772955745726328938305361044871408009161359229119065773071472931274873484081545428606863841644500631852934662763539267166909947133319440191768656774152785916036791419713529763907627081424736978270245366298369334392774229281342709926741316295462108429459160374352001737494020625472520612066377328352997049646167573454033088125403698927032213018219347309339194611303420147363852968940894070477574628164609219964812084012668653449234945720931761502541280567766323734593985501710651341253908527580903072276816155072967423464875979050570633725406013924769988763256092751026465835961686488422209578175965043559530323265046112409349417668778635438826706235469059938968251948204925560825653809789521377263628197914677030327877247132825464557669226684309270081914496628600265038748262210011398858711801851367213410379765190849291583627041680713934596501395791021482179012440799792005785878470515228396032665417424100163057510683285092771645865502937159758920524907298144062242158642483255867322232591201461202520381388508672225076380327001229476990532084636024667803542941309072260651090121789735490665520620719961801909300255391519502051259150830520244271044258256385978807490963700134928740864992772058161894374837091891050187458734778329344586699949850114935582473368627014689992245071823026827931933890984756755618471922090415945199685584458152274410037231755331550735376521927643899940468796809658439971163798450578955170133932887449586573069628630589180184029998832510737878427752843684063767409644213971341556424702192097410553067795078700248748479093834806043407775044457924195989601403773271627241110518939633821904650378831590588934539789371092797611563124806019690620754029481582024719908886674081573072911751227002966344613694720919483933409890629511656045856237470300076300963693758418813145395456315363553713470439404297233286290672526241729687189068103396922713307111053575239921209815208157697214235654747093941501129122882563683347020382686483569972796188430806796972091089747277782543193128861019192825236178116669729605398113894868360398945432282357886484250380449221438253682420205196240282917333271677858313049205366526042972355641619778635860906292451291121602339343851999743404527157791654980484663563662238647728782903697308225125714733955116342295823281111995535509076424942647832167901557526254210737625421842429999874787483483384344882953396026405304126634159791414621352787741236820035410058813317105852675833686557903387744341701623855600961013479017362925496500805291867492405688145585229233884566538754359983065203556294506576262305938526416083656562917177315310568754249887222676894657138476412561715327585964444969451821878492666409867947572018067339537685442778889231551680363217482958065324148349274882034239339694508586820256340847472512742030089881019549264131670652153133290872174007363980223953231327398118623143439716367885584602591004383531636901522699804359913468820453487809520092181755876610625595442445946080473398454024902548553654924035072326660156251
g=2
contribution table:{0, 1, 8, 17, 27, 35, 46, 35, 27, 17, 8, 1, 0}
*** a(t,u0,r):
41173
2
*** a(t,u0+1l^(t-1),r):
40026
12
result=O: Congruence does not hold. <=> deg D(t,r)=0 (Remark 1(II))

code version 3.3b
start=Fri 24 May 2024 13:04:37
end  =Fri 24 May 2024 21:54:41
elapsed(sec)=31803.690321