n56-L5-f13762-r17-t13760-ver3.3b.txt
p=1881125172209812442650019477039556637441789322796241853298498812722249451633462333135111493393190534274126264548037011068498876048959152002238818707873767750888073803899423699139862289774764018787807205446478211435223631160309377520653757632640840625880578952789913056943484949808577045893121358082321650118692548951208637828859343618455346341340008923665726913909137297513916710806851882564593077233363527442250865912680571043017254535440827404413541523402783510182135256286212034585119994239808569921941927747589196923541183498344920064348461997985312675499171322260788828824760463446432768797503291461882242305574062294103870791671408015848911572216691931385079853364087022357287361182206102137220579952530473574873376245169156510569700057451216646438136261583136346401135988488424163771030977442151101238885359759575215616662236695835622009441479381582294981692403748146476486604711567206938202082910929085547516090354743542917912986686487958751921098891835528956196595307612967202695391779610102991833444013020055794917138263084952616911083464927428873292129878980918049582158223366911731930054253642494789233937262332655956922678191695177895486535943259951057210853769095050727738209336930709846865069714920483615542007678090056017888008712495395722200278745604312366595554263262794266336086366836542401047143363328620637958389462633503705164876844656367125433108901368269754790163730174699185104051526258581244236199382765275720077896921551886162514932040001109049528231075183354023647633142920867837547527782057275385817899276496481433760978780060365799505914688061967043874285565594007049267733235902787716670040363354150209075352472324136008516576467430836175370706668375831666224214924900478763112955923229674880716328952629057797063191103227448308195969871587128992981305629918699575532387447258540353326120259641765941098320772004018444676552166869376177787999583375347484989247995416672009442527954734876309530184407267203984221557329655254677251051921488817862539135861389926489350609800582526375998004053936537167353973757925228080890864115104374951151693614920748524928195073282625770136340188773247629333506945848295425164454353298102384450986144929122716193205248636462881807231634983507734313619824370727437845621661305089674893642372545315710094625156809904613774630647638798065053433050791622052130232279609856945837461794552973952336072233603918424691470961300970877553380886412861956322789611433420541063587846161973623462028344987992633055879100649296752908463698298996506831694237352108911979311770051148474673899225462149332996317967956284233701462211363022655439609866450828610862664535266378566254549797564069653539582720518257048587128912650494164478913969665957753405148396712888275750761370275831192298623222513650173955380664547360860758271836134440762964945253719619032813891360283769259726167091369090468857975349138195578890596378809933621368679453538923691002234253471854716301157513702822496854780350506551016378895995138645885488976364994768695377797387434317702748057463283773603288640296632360840031627402904609515503845200590927392621839465738502641686352701793266496779969571864857446063895806500965242299469302650616200556140636859798020772306408157329755623048161392543424676388014082809833627361832654047721862884891173877055864960143810147193613809008526700183846944889578931748129713042169853514930561572267099152678359937695945394807957731825662407688350869418394611308238642319335585259004031531806914389175925272024911305109439015706173012635465162900416066389816902345097552188335322611795156647728753119786953252992258192064094940508586701702230152017166092171866715165729243931100156389689194677115798721415913383285275097295858702909291612703238384210238119395414331822359849579143225807444335603968416105733159429410842374580630306737341351244556474367785305654829789138283538843336721339177484159980913057668615065242031273183985547827726290959617933813173288631519524329220193734197360919324815238206714241192144814176617030678542824535856420163162106813301106812995203802113349149024914469718627178127563687806604415025237409827102374206937722072713647047610086689308215212509662368314958177039174496711039837046912720748705899319242608900333537867141901576042225950127538496818145176948020965100127237646106175838978772230059754041948900624699577761838695684029513395358344382708774527790090981544969333284863890852841420250312589495056320349132489912853172231547686812317268669687169049219341120696213426227010838883974500531002161577254491143255237822659851609453683965513326266286724143018379886191925966042155990370923014615782144155024657881014928956383750708725385313826625848573393406155622706133392596121358152603670969710039707523845644555058560948381080988269422327916269134338276391331023985667458399074051051860855559936014170219226440171854786858242978181422258450673006167367768609159482568138012919950914175133058448400929452623974891971791365813711550197101055820567967202189393218067465230615441098439160234235288685655970851468507700007664836707716095370943051368878182348718658062932056251596432650978963971557107755332554783662558922166381432314911527458448497850048871807667672951544349292767200753167901762000771554986843555514613279220854364340521310621600235756553764652749302456805231613394551123235710697017447452224836192584176371794067734928054107179661126027448551703844392331794573021970084850391126552591811544203305307034187190290728353068467544056719573075227613503486783430889560142441128665926915344766651186771789223904795241258699874112103520031700747332248828344974262614113006623575740817349423499565701348903874224549625222073073658597982807764852377087229620341608786870859410320693816048177142554165155532502468013196822673303687899837033794207926682348908899322669245621876971598371116395891087874861036998860598539364995935497482193479659728975356744001607548455193304768908076438669994921968290309475299264403632453375681416592155656230013325229495017878613714545025896894596780895415415624238754802204493739543233694335073377832540008298769629006783219780298747407466230713693834038425717927336374089924099030857668208488704388623833045884775412923590129039237230827805877221945653655773683008849988095592701097137824560548508728865654759120496761315007666685653760679906207037406099183473051199376991188678945580257816090835298868954871197258898879921068631906923686092211760194884925884584175855784388204255483024449818264375473851473194602251172547862834689947508852555269995498221469081285224044724080546287777539859794782087595228597482253646936112556669524729183594794747644924465500601196669440339858195983225431694619276458333703607090127534171685771711411998561954751284629764046757882074861406616837472389435361910235078891081422547850698302077985819807290820716586117144076871600164053165725242370258996114951449843834563039261319733359042515450995572315934665339572702455167176055894682910121162662925171194964460629124888637557056524217016977443802714502840616810669973103556159053780214224704754065453508474822600266377067884938554678988070212648206290843785568354457850792290919801491474370991372132201665355985331515151419264174993732847517434222427314873031358199326236460177017661875380825706485374175022146723759322042595356279429197595912318512135161135337077878545437754624919496878120227245566771251454458636675251178091270172683362240323880115359146904600269472995751790106976447892089043340957115290547568182923782064946238174702494570470127096177352031448063693220935611808881760533091931944107102198156606560209603977993469345208777529259147675053759384444354848016804994233357213154175457145175324938231446889516029432968031820546396252360110589758447128205587968482670598130984607122256810701917173722724177359539117707965765449785193193840365681411539911581814392545119738078799489360251718408485131465185928468627034628653856418968428272213787954150200736922953520188473031685861262276992869782700987111073309235191810748835562362970798072488360775628995228318709935128855202859643681176276424403274137448206401631739496328102038901503753835998361286680696660037533672841754702131594116559077229991223870682289724337407985807368068115346217417151816143957667628700350641313869476788267708206012187479919464470064129912325523316889102032760076839040292297113004110785224757563898068953145994214673168396932202451114184728684377547809142756749960033090470337003125899370583607063040633895345315468947304910398397281865273855300520360742999615952481097717690430395421051615320735892710962553808070045444885073216821567139030456342268637931250741487775228677072152914403784036113632487576094361415917431398329185443033113439095956638838595745525870117675387435347242146001567887981811797433577201775978694795188901975339409446697482938390012433822543154893638625978715217128410794283789843283990588708280221076174602212378750942486600668100624943192734456415870574708651208032116954315016709834650285611455535565919730529824854916904171730378906249014662421199392908524488229885338448055205022230714938792607136830268758384956089169276865008981057194680367079003306137570212762969783095632958242416487781640054075653997957218987289354467497835835498250190110352272537855281652051591801444377781288736591809941691408367297745727610271622971841041347074700538534278607680404219314511563676066454681190224760872216237552762435116857562287853218390446482166268649145043404557873047951807475559284992289823678355245507946582693797300924583436285768507388622959534021613352119219404491662035378882929250991197404364239417717812996708703346586537443049444440212880635954206809401512145996093750001
g=3
contribution table:{0, 1, 10, 16, 29, 36, 39, 44, 59, 44, 39, 36, 29, 16, 10, 1, 0}
*** a(t,u0,r):
33231
13
*** a(t,u0+1l^(t-1),r):
33529
5
result=O: Congruence does not hold. <=> deg D(t,r)=0 (Remark 1(II))

code version 3.3b
start=Thu 16 May 2024 07:18:34
end  =Thu 16 May 2024 11:24:47
elapsed(sec)=14773.320651