n62-L7-f11614-r17-t11613-ver3.3b.txt
p=11536084027592549084967126924338699621579052655660916462559454221581259430217021513261382289204416660633005932072692102698406934495212265654993179172410587767117586629992153301541466692663114272813839790046528210393684079921313797496304199086283917798363783607124551833737706716829959079474540832289530353835794362495803846468865929311493670287262421227228362889761308238916664903557226355979166885638201438709207727024151599153883350980657037749478273034266871833484338852161664469710360700195959905526875635593577735003516464634930864832269709351110527405429232681303105996326033923596691764256365248838725614247417229346218215534240006892843415103817417795894457591433659920309117511940135012437525099052183300032599289114182413721384161096771656093024674417745773307568551657162410941679962838552297075774458550183658529110635242496276927065589556010874793084622266834099596758001719981745118120253091522352897766980433183100781343270220117471896620897191591285096264460888743765783009736735796650898348724966524841992533154663004427218171679916073740140439622850782919811129782352726186644498260636817698189204422542628054137683195993435594260264444531817827314604363456110909090906913883748239916314470348746438121145689427833622603196903705304093599013440308307713374409968014165969036289552312652170068821863098521970516568234321593741560220573466582787971463905587336953568252025352647074073443811744775934181297989496677443591105154218219232049469873414451296434191903772194403805134654919560490270086204862502595986772702256968565113432810053926981619305672189257170062818153504740469295455963973399475239482240167067515876332906122621493774683775842993257193550682697598403700114880476999268898598424770238778865598388420689923327232700710437636125159266378376808758805952403829958201084010434849880974781465535165886968864257242430338016588057385992184127541915263286071373290748681610010487827092388362912690432525163758316833754699388224290786527332756837147366726554741028466255894666390951997468443775361867856770967898145501467981575913676797022632012806519396387324648777046657107402492496801268788413411414513786381235289568097954179871681203409316935168090442899180949369181673924278462115419813037918100832061348328390091336554953089338770168252055967362403247506494716178316944449198500596771484617385180107834982558172201120205101920074996600723247667321676873915507979265279807980989395684699621702156703919196560915194456223812863400965936242345406336882347557797354951326460780401454939179997428825359726491080434696456724215404031162002602252128137068519469786051888239628855144533746170970255677672813599433219973440631140556024948847097810956753661155938502718295614623594904320319128007934297342290218936161708084561935217851156651714578709127707008144478511551689840887195271348270972505532166138048627668865432234398633508721308560789970953844922266346494040666367066776753267561441360927020827211210205787433990602018956510129347366968785346655934602335623746308772304788132088144433876519151890867131314367134446497519550025845442216916150655533512830271865160284249540626644690768641327648010974202137818093207170026116620695757107423448007090548096085203345109702908673334354846902920559317886887149779794776751367335094518563870740423230334120457883087025080322009063876718091211265599247107007011929894526062207807356954069973765082028256563522721576708406372895303833586362720025410744850935351043574226143411307030735783318626729325770376040901959989330661911387145766047122403858839861876925356397022573008029418538943983872611556528379760968539335534176259444422301027529748358622566775100176670175746845954551412025111390369351440372665967450328757013319831134653494023615464881703976229432983200474820649112226051411109285693926285471505551388821782475652801565390891690340660205582513569062690404769624310558838161709337455370145958806583595477795162903328473924880850691779926397652477391006484061259902092396734266538181653675739808955736650844808993267120696948370804643482536306308274086076140258701429510006606132682714895954718650192468692582531302444088524365594393263422077968160789876027681866207263955583825724111284568001913754199198323063016980895963434377332326204017266818666086317412946187600015556765567396239418721833017687202355643429118945603254774794979675464156704667138592332822415869788715498480306274088105225676101827342156635421577371643866327468607303430388665248489246794643369539823832889666552588732321079836024077233081367253722016044572800376795262946903245173857298798368168115575080471035043962603996567452534285498889792045900920981104937949366863006921902014704597589432461171138118351339326164430673959685918603955687450847500360504798494498740797745750736466702790439781616779478468385325421403124267759151122015488942474607043890018319747567333419233983859970527757856527599256344561799715156393432261167056811164452019206721682541650714324481371424743360497296794890307262309176743158068429939600224879310950908595915579975121648698794775263242305531175486114155867934663844096364067831428640831026509349681422800591011258535856208395619432745372154015173210007773511984830101874004831553050074989438560602318346778167434165138912177350736784715448803156105470803297120813391009951228181158705273817649563505442284387594116847124507538931253846303171257842291968047656559393378863309010230080420446679924449195920610575131770646484593895542355389844409426566674778978460139246821738990213813175042953213985910682027789732323612499547605658877858678570428434108325125963631852538235494094032797793498609327413712149477896984717276057178559708203595858310089414958892955227209151372799435885312134796131610041966787726018055706499800076039636796200400901680634879844466887762110933611994872824549512824312411920447585744933883198624249610314155449301934379914274025703276168184060237380760484366948279104279693285881974037644260983235086549698305940000237536488169357167533825222786033141319001224929578289461301195552187601646417722186690190052256711604390373744588451608907739679721434327204569751230256436304906042283898983058080892559102051070766100155110106987540061552480831889477968851644786461302926302875620736065055129853046490264095083318318526184867834322748282905533585294540043015964027748915311774533280382981938418933561046793236132055771019074952864270448559024603341952835073249427273515347258774744960466163355570881517284806739219907712954693533507629918014862302796249489344537862946212519497482638210752105308510263587775572400921545927337362681718823888825600778660542748347632509018349325801721498752753163195309422878866012640963166445703029810141380431453585985111911598656423872916548151737318868108422912311793814555794319108313391132484445636997906173794399309716357200235586129194314523298521442498524974404893802543804576290424672885034794720294380512447362801659479506227467625178283137127359512799371344101097478262988285938075024505115984580583945144829795409057721238039592194432864507454176001547554922038219907972993285749287533038846515061988145169307139900403450592246351637205212367484390587895303628790798301185525220893467632993442537618013979246145277052268769028662316689983287408182410642859766932418269221699288311320643625203465945299759130161446337157430543626535101574965963350428716232923560750110276183308591338402369027408007903814159636164118715217233981223972182597445986795310877072229996221303329729071674157259788712286255737918018384234538885332180658869838107474515769932184451845931940031619773566552582106749604649733863077213396464945047866506784553029429636457420884925312053578594361347010046079406603696889314399915640344498117665867632302653736177797335141648209823540709847795596046710403689604847921485307178746713425583818923528406523383797378278508403458918453003481399065493951861540264954329627673908926641366999850437181832662704077051175787820650355968021238773806902135025699125480352623448556644042584009596425565286712067530531677805471918935795926681735612661438026652134027129939355508735058586482075747249411844588754413674057262084881703150713203580783529724948374157674482252047619811756143370159659134165066921756128505314836703048359401802770096538399968081353519079533716593457349861202971580557734777933903721784434705417707752336501607374168897679782200541181946688232419529574717778942982543352482740469935814898971772107400028796414741097014456030448807144079098439992226473689111573505108257555236588793661926093681771119342256097788077539010775235174609839383160629875769781292080440559060541169269672856251032916949406602341406516763248513864701472518915834505936078239865890652836599972994330257432128084501874802293781170985865366321376998093895558257153549314702109279851628544916046815796703862104276159705812432327982402164516425581823879228040769101834332369819020166404986002011519219602874527843253103244678220733418069904370456378811273719735541439391601140546394395310090113708888184506426891034157670694932456684542681459143950456361518077403698920301942298127581164848010703832001997420933748251711236229206305052971674117508823262278578600514738355871732742767055704135863573752482695632373918667204393606657435620409530945288742113795893753775971140007303461925312695584082237492039525842266895618152924876899177681223436891200128066193871503124315768675784565553757107266572957238747466963016359275997737967525775091339698743192967374309600228398723340907774720007513310461357420926900496782553361914932486412977833656995148202127960702272247396057194667612098054395681615070575213197167079386741668551437764771155122554899942920224836452431687302714193372707394124006101716509490207141724675475965450971929664462399689638436196096980047810264797554119192457310583407468632380016574313213791013239789580801867503463674109993277
g=2
contribution table:{0, 1, 10, 16, 29, 36, 39, 44, 59, 44, 39, 36, 29, 16, 10, 1, 0}
*** a(t,u0,r):
10238
4
*** a(t,u0+1l^(t-1),r):
10526
3
result=O: Congruence does not hold. <=> deg D(t,r)=0 (Remark 1(II))

code version 3.3b
start=Thu 27 Feb 2025 21:51:35
end  =Thu 27 Feb 2025 23:11:16
elapsed(sec)=4781.668724