n54-L5-f20336-r13-t20334-ver3.3b.txt
p=193834881357153513639512394319908002359006763048367871817398922339312222283593337914549120392219190790412542704964510137542308271902013566672761287370360179467033314798349002674122594943999314678482483676893865639924726679468349643340758792684115006595671208673610014785170174510091241890545344591027382996294018757434728453258591936113714876286914030865269835679707406897925090283445160957208097551706431032910780396126059316697172847298780604857887009910169398251820885454546636302678856788503002141112941025911065967129366756898111829706243463480338193512111616232523134538841009419607684112517137095473436090390638854036847827433101441269284239339837973736487192227825833393873183377931807617339565270236746091271950893812762497823216765682449295562543878629712926447493720766109073079884777694880692586281587878171470503483116726659247208463085255747039869263653628924054962770858221910644455443865619961766236459450503073753913125763133382730851139624633582112543594892572093656604091970068311642000417803008819679261360734210694361053018982309512951714010887495399585633301362959574641276778992132127998161611825184403916866872392526684183146852580399499880459210813769093260342781871392293651059700201724010941082864642852246973131172149767465606200343327005052893655887786069201361546696255172903235166793710648384254733433575762587883541148483936814695860591710212297772812625813360477056118619445714518043506679911941435457662426238899317313319943471128413423417434256667246666368902550122906541552801899130343946068499706266798354658875618095821734826492630358758020940512921654764590837961725200053789438853771983671029744667546105537796640598094123976629058140542254770253631482576574463014753471094458946806212144104029040457614261374141339944725813434007345728635636247595793310160753965712716729049428274318722091053958970200738113466548229764877665852275111423342111840002678732309471722763973211026465504963981555780415003348852582013792124481339681318168434622099863612115278957467692895307980512983087718839082822471072350011882944132085168293597243814703684720585577203922107525792778754520063900684447179793712903157423291253013029784094739967573892003893335398943624234854085287349249249133863438865448796541087019962953684945361017266790513431029274300691478662901145446346805051305530030924446104838618471932356696431977624765745123960097600558296601556004904100403312379232622120146778099243297047408410529258205395884597382098199429824772862160456756622321840531348844636113923803274637032511526059530412229465707892739527161804950050080863609842741870877259175063598019454230076277950260893404076844288260020303022351592660510262565751394159423839763247334183706922144950603808961744542178267013186608529290421045211766267720053372723718478730718746916296118590856009620293150711787525237230782735263403580872532069363264158583733414772743393195437182218181397040801487057524882204742527479930095579291406490654706703455910971291221908483209027467322597819376717750737917911995710587770972373819439542782510936536613764530094926491608122732224346599258396488247264016344814643761603069150448839473052703267975865789116260366939010637345688920547817511070654131571773398917689291101601503883636680308412217947267374917073434555954134964655354586460557447989709782384154595611049648743388459113507900482438513702489223970583535462364781337182300855621360850183688632772865690017109288633627743236107753526527376589656613675089299607882428544168415313453931190656094111036546221820955207587125901635885866632583412250532827978154964569327773452708226940537719459097195517794227909516355148276754504951770011818427561560499810515755553620027291432163764774201525325018510112055096119661372125537069308010081931372746386270730425798353009324832591366115925534710893189974680189780863833075016294387584830843545877203944465751332635514898973761309376921697255459426837111927666076213719917880513705408087708444830514521605502852768879936325321384977602710209654667215443158166817536332441570369190134108469464970316527208213730037057299821808749855274214544369216000503209931505681550643369999206032813406564640632576278512106330679040306715377232886732504271767740136488869989966759262717093907622163044124144208278271727941865868311086686906852545925655914464152902774850430285768052312679681066858524508977834638442269756890022780466041549776887188655903074291075774925854090357868445366122362001697212490816919890634901974514721672260696582677442386459369581499928212320009877900934879481494952511932722200026245874777283866984859158292334670873705576623608457856260172904612107300732235884281154462232476818777442765038785001573986624962391339266332014420886323049889905305434949865757681387668173875988737154729661383599248700222985266974412916788920976905592778647405831779453931528067894674739131889188582103941489185604478411801751140386311676671440506113275395726691706066755113440014819037131065557622915074391434640773918019230909470929228663945746817024910085613451773013530665179627941763913553396857546359885324934820569733550036304143944668303610448563702750506165525667877347542893809119469990587498935317263728405217180880603423154930735570139885599668480644089350189413446718131575422905133902621218922481990041470364659979906904860960916315282552496180582951686601668672142274076491447507340679265254866408031871277576345299694115605681467654711101728789005214966470655117625880910551572129166159374137169193800963660488905072987064494015795260867301826636603020731161799721698397432685430716132600671273669953310777339422372961709618332715075943925338027461824793305141972142146805163465558154352927873511242870660111020547579484502435496863771218749771780837893543777410851210472442147679864612842661686012348658353740222477159504219128194185711992253905878693625395454089294398544244756900584872964915975159180093975935081300862437042424853869075214946594730191765925179504567080269217357068209260513988690199421322959380504852821255059780799609868866048604086703491545003889930856892576238953923088285205993123734083675279538253988637420799584778176575499824069663561393910709752992307731820368212613133280804613244063127678142550218672541163376676879414622472823770271774905148685504350881562625425777036921348255289912827773246166448532789410899485330520041458805420825351475339880818060634981358492646593498914168557085367165052104054193542758869970759652663923774073136510611814896405188251485568928084169630418864365298125161266321400311125266973865782883233741890265197166769914728550577672355150266095108474138230116981615702949202304353810650792253376223093682875008168213143039399090100297986639002736025400087752396464126332672058275781591199631963637954222098785261632993292328401631567513467240842030749106887257308375147663840818005681867356167041144031468091480202100837043333415838023019105597601927450803205378660897232324620003489081622142587064337445761162521361646385141765465550926332156294451822862060671592451735443025448086119568821118641937248274228419566391725556584080233685410702313480616727212309004367450820614327581814181766215756364780891166638767563418343096277103060162659611782993574866005802167566487838061584322501883758584080755790151741349900949534040349960058716288925193749472151837369974928651519192172739249031320031996120533836386872798450004038758178353478009723214817786604584588707782354098803043036287576937421757219335860631701050384370877004092057842443601540175991011439653878328415534048623956249030106858788784073969360701233959192492006450751470249383289234077168688054517584332435493778328067664822372429048630132672244490352488269626823484497617409969810045381361879514834486453670800347143966677555868753451195892795368654992909502563200705828401144650330084530604344706058303506296333527993572213511704779767255634237599685491674275210811034888653421298015026228232656896221529901220231146339793202046208283451362800248045540103636110420328932839919643843996195457104551574425845848179179028898253987713802024223063954404242851742781758984393015976234777456538903821200224338568529856480618508350886670267543168899851794182720011292628186991317922739752078442583736925829838318554378338513067614115907596809083093472810378514421508360841926568732622754555728285344896212476103556688431361371776366867588239041658721198913728085455642194142048458075236515431647961847380643905165361150732691646504439731487935145151025091660330749913542622128591988382123443987134307685712630200056081919714699729519662810305959872110016508689971978582258576164770253534778563396309548893405810493694048541025514996730370559699031031824020470596613693247751589750429236587983246650580510038195713931610399159435009342501465769805227472368111935931643933829917400937646040037842966910032957945611824175471852820309102247981317083247342257548984926151580223511681490415697476533790653742675719759047840130181542365857392288065710090476245664723297589424806222539286045377350546354844293712595870115598011411337453685510001919011737727739191979561814893578019653080963372669273800051845350239524116260611038606036130216984134663072806651369684280488613342961911864687542867269702776230764093299178735432415844165334376246126350899114942170860686732122782119058261564306181172196084693115864117805034483314481952779167667615268121001023421324504691718856891974847013272059627691430771671523002669337902189008826713181688053197503014493970215367268863852514739425486385436722211324803637489557706016638818932207786834355518061126845892245808411947999241877429880818638827443392538797019117009541416061566646243517806901501323984428309699812278620066473819497161240409574657637882973449442314886538766512133929559328645118307161675705296485936191749766603396438839473358400259673983030094360235549365799248448913602763362992670527282855437407439760375621464032930332301594229232886400250619403250404826242755378313077402548520236585902774254400550293800562540597839496478408818282962774147624165755620724434457186942326920481511239857392504278672370815343621227272714908353709819712497011647157288980980237486445480236650505657647048979889713642978069968616845966144356543793270442278779422294112440168984196979637105758165589832148319408904109231763437968982705724524818525639170163194606629270851249246271156105824808360958474325573658846757172595630164138586154735422784128741498078899733316002921505807306657103174430108991250758569761515645647625503155806358256848236407108995664173305371407632188491969330599392180346311700148446933606933551796980977154201574670970377376930046448119459263228618655286303851174295628104794165133032838861396480979921450062820977791623488945338611712972905183788293354616285488693760052318844505882778423419114863985866461846033884322645382148404008451261255500723733962931819896024697012706607738449175751332303645652190589533986571642323389720402583466133898369561275930867989991882175192961991373899787300005193706738710049452972737136741226607661320233060571922519738973055238100504088073745775418237405551013106323797742089509424573135941252627199029960609131398794866617175395922771050769587588920056450182569746310732353397132235828012744906427770469834285448063820094687958098749112719304036060919471522991649945061306500667928924104872779338312853609513399174392235484072261244496265790644947556833418627250709735704619607781426710182948978313224548988771879618147729311096704635846035761098680479642071496256464815785078276447281306601045540630753730634932918950703634986904938423377134879829925479845726618591606369882975092275930086776534511041155416338329162139242055655188885701215195110114327655041141269830492610380513556273180034544075598138331876250690164728342444757833296123281400461682155379825378907556807256690884050258501960138459032218263206562758704551096673921503906826929039821093804180531375764132779986880497855215594942817359371277362021420272061088255992321488275716764319762554922989059594789959583163597553539222165553950156389647788435365701313549923514221711818965006918376139210789055272933544488052962337005012670035327693264089712212475425258608293297102739289005103268454935690066084614810934211690660427931758965793053089901207372881950928542563547113990741773731014918784174118322768044265896955068599439319310144792083921357734870059545734277206781822859622627370041125774340569503642285133024610139512644771124544605943106536487245829689005503312548643680954368736092180088049243272647218662905706461602805471106783816750705399356761870831903431293625605214393817761711993038694287086231611512723346097836196573031775732312910906965066413823710165624411372220523294801674985729048362365926493290819417487753243708406110461867527228640680542905020266944898559301754108311600284099393583363636666176052403432721712087318355807743999702571922215981557919193092587576486106680680450499520529479672582281551635773614084220303897863142006333059833319914839036089040111757652290644675659643790251458932025181912721916396204921896861590807073029206269970911365373804883727797870839465573396036542031406370384410896584858493550235704480377777329133905356301794992695222457217761531298085866709269194456464299347640210701337234761358517617944618613258897791375015458107715803839178833089795241198737158586619600273674301228751041299020894702481800845250747722928569456575325351932659329981313860561354069615498071936233731211732269922185594008726699371148163680933930996594000571168603573268083343133321876980635565010053366888923808157847090938903882855812942123439650450129489642011225325351365486219621732140834186486557070211803440723188560585953595844311724288954749011258267469429178628440331192631988476737640924106452507391764295893019109580939469350932256710129201956859857702626292860372565255146488132219620176480696078906512197099335165464722789979510914820830463397155102062953218757531892813233721499464496191663243793710143993560784606632426638617104190933065537107152829305330888815814550017075449737206130034123081695276603727714796056803677988154727512562731568795541011292593200811823093918195949315352254796600598812792123734430680984402584640402331452466642740959819275059688411485537413744921848488250021302903292053088080137968063354492187501
g=6
contribution table:{0, 1, 8, 17, 27, 35, 46, 35, 27, 17, 8, 1, 0}
*** a(t,u0,r):
23097
9
*** a(t,u0+1l^(t-1),r):
22354
7
result=O: Congruence does not hold. <=> deg D(t,r)=0 (Remark 1(II))

code version 3.3b
start=Wed 15 May 2024 06:50:09
end  =Wed 15 May 2024 14:51:42
elapsed(sec)=28892.815075