n63-L5-f11148-r13-t11146-ver3.3b.txt
p=1651881475914380827590561898686247540448921603589320557771230560500319689816947986850573180853135952203331764434939884409284677204903273595381828305655445692965043830588977494804333083615053891724302141686530325273630229966203127485050566852566515735636620023949844157558039071945727417050376403839939539476511066220845890627907520148920211379763045461789344505421089446939490989999576161135275492319742651095291382982317664092079971159344318056704668677728096798261597438099222414324100323880092380120935487279547540333198052459563201062007626951481795357704623568209039296852487206571659822309355111530352751899071629161214070059460834027098981145140672080190771731391460756922678643153034617759101653643927748587350270888266991644936401451913658044153008513995951951804405041238054336241194847631773755594763307249527812518487775974616850066761617293847566679931339155989890016912125161690092478045466460762379731305879892548935075284011637730599969701228471141753016802959033263545452893213301774946598408987697340651377360949035744756793306339046647441725822151512411587267239227629199564954818429805434364324018731319238356023240656749318744926961185374799103861348658213157366911754892821425563790806680037802156686165830335348103285828437386349484622991403415440903796019378745245333107841098053150038222234433271796697215420658145169766166874545160696131942439735011385306231862520084592135895977760918418681857239946380871516747204893144474838989221805037167558329848058179606920507757462436713488736124179670268525836498638587447713741871831201973923199929708726242078766352519066734676828535372566733144699521416993864807445705197633059202784389210778843356504156092481047937698979856370700677248289204352658390106657102959469343111426975623161704943265969362251043179097731208101643958209403714782305531351172382977864171003315731531146188552815005738006476030984973572705363571032435612124731176278369113680796826491737300794535984869456990226965622300067668057564386266846348612245491345350976519165633204321328486160482503202222148274282617546744168424886565087265759108668399437139680904297221965807190609421298669151262751785003480872614848595971034574497427494209787818146471983188208612774549335455770496775888532932268913690080251963661768573331004099472860093493921496473426205020106377832989807734768582714886364954354052849661257228947606554570833747002864109602225442842535483066126153542267773141106132625748423271208654953908342427576912416935844387889140903769197118462949387911876089251620385500559475629643820418445778162349915538436223189895706439485679131500584910704216830775180945013373712090731519256290236765804478567272331914904425318508089265725432272930175207777905782324289458450867515440437839210148954783593679933975824068269315366316007909932835475921437428906315745660174884306251049714601131209700640612604076943825263005509986973215217831692094442582080783883837547454370633515259690473187334443526286981627488400815139560766928968999911285187231453804148223157617318790258462468322054803346240488147037965353240370610888613368438645067998598395508252922057517292927509415672799084747648655069289037761995367123110419738693907758415909907470142723986227779901220017719371749716048508734645647525104341242292806214524777937224406352920842080028218261845677773530281432626650766788166661007998628460816905029921824198814289638076712448779965367482902630491021623872380970624782556734854209552991682163532457071287836094432654593775170599470011084802372868754696803242434615881466223688261455865980078762364435360475428560360007243233676028624966696535795969999969803737319872363621234099779835032959548229566658106071271495497465774550309503064498823487327217739586557440986143955443687619763188485052560979022040151715514262333036420994368665556331693740738800220342286709435301870065299126305535838818746032772458311427500450915078778335773144227537103188633102261691895901894257002838561799766719423945403107869733130797153942678801129956547123559898089752699012775873426493989593388198567352331270936174359941881723876179230979387518748737172278645334424622308560082411870206175449179165079413924892244865195883604498130036188269717734420599298090816034798397515175101591999678783367275667915995845653602093694190524635720525934109456162860987426623245281550741889484149546993502806010372621005139311366048084932535502418680804235628395080680915647073575986613753422356793555964584677162941433433133131116679310171971411525561185715281515958363385523091704591753487471154949504090552551529040515558210976445154377252220058171874137173661843378361958830067071614180451645030363500460389444991493696133814272751674630406650268748446944086487589125342045950866435808840643708229597795039403617794173134749688665597114378987066071462876530657975480470272375189796391146784004037087872366283087024382241270458012175398357558214441841432042164062664721902719773929055161705491277919327431243109947065056730457657936192423421752266607845900343788065950023153121526369717533962388004961522919619978625866219241880813416005344596245017915953390411111424510585528035134033996718523459484711969510000220133993597555461143492923896596003208989952512405471666368837345190679444594244825973582389367570209153305521785544953921440233829365062368334073033938864738591162632518931213685479941452763327269288936933519930013081628130995186656120178156172444936104375759324109289484513991264218687315681924101903264549972594835913623579870674025257097837462977101442355631511686279494795397195004946674865206157160542388965115014597244287256508449646619768517997050921281687630305183288916789856342657343828936535916328190973571757523796097603419665132531258808261773331030959148328021140221568162770239121649604712028801504956893003015814889576034729130330443514144935545604619151181109336577087625889272492973421133507032515515993665362708534323015141682437248370174039141637708772818588751074724940237969976594468225635251651678231544364376054902405179817627878581432228060748111524681708614426052288815969199574995595630590889211778739872656487396505220767848104480522014055860888550047124012113185706739168951463639828018080565636218285114428911852789036715403776315420301307612030600953183001202943939308520268948438798924482494876836615821722962294465345853339021605054576976427283293717837267594035755027535005317897070591460970519305304825401916915732830317569452265968924790588789917175047687413337961632077944084529114827152164068226195433430901319586396294949881330224771107233587917793061635161989358499599100871229682428834396295609033309777910354733873068139804075906038374436365890887895282154630365821003240885489580455385745078703232485389257285177447929693305408280095321935069649262505548232497932742720075977780556194966363115101684019514063627523172440447752841212753491228587545532501302266505045610572355249423300311459790056207476027145626558372861526859484995882948573060226747288862165595704745829714542780541863537192225896851026746439562796023894303404091301298123370244126494645261157930299351667816075491712069773730298565887886740685411535732911031930341491767311285603657009738759331729791589092754557813243526091785650963742573023100291269373530685188798987399924535663314405777767258182742936946928357432265476034075838188245181753540254935294183431897385063244212361860811971449849526067047316527063428593055909287955429962256024003791242147840379976075363264949137395296124277074559452927791498591429638149526977237041749889894813665086037407933728500868974502673322581764503528206443863741446158410832286555639341838660689196706505404791002839094279855283679744044203825787845133984219169553819273556015712310541057313065102124627479752272449860793425924122797520615888024922121470587253397321880754589074058458209037780761718751
g=14
contribution table:{0, 1, 8, 17, 27, 35, 46, 35, 27, 17, 8, 1, 0}
*** a(t,u0,r):
26599
1
*** a(t,u0+1l^(t-1),r):
27160
3
result=O: Congruence does not hold. <=> deg D(t,r)=0 (Remark 1(II))

code version 3.3b
start=Tue 30 Apr 2024 06:33:26
end  =Tue 30 Apr 2024 09:16:12
elapsed(sec)=9766.619203