n56-L5-f32410-r37-t32408-ver3.3b.txt
p=464577906953192766510850450270716755341303480774610521986902688553693408364949528202382595980408444150406474465654714197542547697725339285904913096508830121683437172101156399400570519080894140987051567461041254434957803217149858602008844869995878964269018081700035354594388891827538761010419781239581925377181036095062888131854915907691810261958135687488179746740469591647267863377319925580412330919119978144569041543775872724117200399827600562958300388669635761076672710626035745887951416596365007165162355255017604458217029182173043250178100699973369887230444466976446176874417530655507041625461753841586505083994044687268271749723208432896912891116425663653412379706038188439934322844116686556256763324922353213704396279445987158302870997118901104093437455562130231853103420627355578744457046761244199868070342657195116441794454025654861257792455408431066953470763130416281968113603718534088044037857433521348774778248266786143865003300643741052825091467435964156795947779018335275671204276198343948012812081513858641716757256141459441670860639248534735101860686633986910196456416020811175375611568643652188159874242937802970049458633376686439431486637123929121202277695708538856435370404077459811838707837884282628671263873577577316577084658826348782198883476630022124102486191182432433153607138967889937447151587079373094217250870311533341099515281526563691313098720606131919851141646106809632069970684623963324911803930673283181013527344781771617217808049154087633435192426466955446238079884425488998445765874350885094093600165187508184584893504647750414868873088332852684438239027218708309458505537433650889784595471700373078846485065793551617627540237338870086214834553413134392091749586988041006298126447940270039380321870171237931453786599534744190076505348861788507094946213615141997687083400978808081932721156962936387305963244695777967023877986572708883109545789449322971636998345712059447750035940276462868017467431355038573320908192246086771318518268617900016266652176033125326836279209448583292454274380397038408503807200452002416018711037005354944478712370963364610649411083741351029837594921357005990264751230304539244858130318250166548422225931864216850409480837928848031128308359637692995696427078294646408090556434713901832338480702723301917271876735939257395685587075971677502325987521197331167629013249661672229707908884644917027768595105005406205096845640163183891652209680757529663637043408894454266236789416671946516077605517647705561270181168200080584382686804343024319956240473042763040812022009762708814750432221494841363902639082596376931986366748964387655883505251618236198390058609567139023891084542745887855704010136240911747680585686690846621485234929950376123315426895871653025810720395911940919511930135106580935401110636026337771221948630025746803874064093812068956288309033767054599392370651594928903747758767673785900962217013539534638592153591738503677631736053841068290871626637751011064357714617341366247160109837842081696986325053570429820915892601853677697523454242839128399373021525726990242188425024884287684261650949994852825560863142503417339852145950665034361421078307155921764784924823079917459103124074104814085802979323499554769600642487590915449262806896578210196645928998886287531509657451575214663500439981737077247289526088258012693723311268661088975288950440194331358195764456524651689609111917189056984219290614799620053085773981863324592590800874764761504539575622184064144858253695220818395676867541387656625511806612030049777162079744531741751194869623774452552383908987915459232774965460706191116056036045951509813205945608007275663711434212772107932415975930481059151969684358277371843609900534696443827382355209910653568298881307859543057236657378940945764003762170848543674051601749873419151938867209148672403740054140601063206405552607996947327123720860097001346758504366676361991888554545841975838221166165351406816058690296466567021888417710859344792100110460171267001857223139619942688202875629909428521118497202781396547405797590098213074657955316458548347342628771680562681890711821866808777843417104851254934506392334694904644336693478821366574919460535015530750102595430769701731990260171175777660735140150252661468848124116970543525347666652417767428447701861073672215323160689182476394564891719669720438034705846395751344380792651044731333980896409965657823456060526730708546280023731437178430807012333223998283607597851397690962586083558724510427223185333118031537267067074429088209256187918040772408086019373282467175964028831205011799004647679250502757561927396222019301696716223035478667653252479281346520237152782361190876750138507529255192012024960619892589988734850054258628686145628849755119685882106432712437261213494879626076253665317659864697599239133858495315605033659822926156835056549674878896531148682499469254205344728944478236063302757048581310373503114442979632668899778888597771814029954750476257917356331175805122984823794966915368331416004630545631040950108779740993053391276863932759303711090398276776692350173865388639267676156777134385892924603544397605019231812504999672118231326330854281743659333197579804335204344613273352088699572432896272562789240120372066358684856936618301263683857144169494873776061365881782017558819100500402330863718778362216944132802724356115115710383554113170132290237112658541333908400345148705368926452842163103787329490989404376463555724667767671186357302173369983885759095637582187923738486204778666772954524831512794338709171095613347679025863984990709018095422465343257488907779570391535400805316467546818758381198313716156926740437030954830362692388255310069806563799676841851839603788265146823608853278357310133882539067750243637073613225460916170532944754722475216257754875444169994077724034325864763100179891565875718653430104806934584706990966496739464444333106945613107866265354833155880165860104417761747896158802157313342077913027749506521789923324532174976091851996730079351294705602160821081044673752176082752523015707260333023561829479065114962487986195793941229346893500934956435500318534194891501599318958633689558270364215838591083735197159329241345125951415091450878377852337478126768850322240631607249276806260819002545682073741635796684590901067054979865211076613156255650448510070269272395851993507560111777756154845725530051833060899295337563375977937780338276824084434336247672822081610322894185167705862659706931389290887337602625173420156782083107478158061116017975861996137470854546287886314355817964933872333148316253146997923189133167884589274345772066604507659571744435789702764737495008689618234758808722762336369353642427827756021816080923358146863328202250383731100453094645229116762801043744637195273381352699407930769248935513952123928785592226733531329625536743209164368476832361099804951367477567986351730988296874097805444651166565107546303299846772784854218618681111530857755712239454286043493126975012161075797192927218815132216406851568635446835454300734681079967313526520383059010398662186919953228482095743345990822735511360620202765595978950098334830591033847802832543232337280801904723217581879676445228111557118582257829809879543177532801854258815931145893463117137593091509333630623816904154453823673303539703712427471529177498521527782761323139809199441598673963698567915990846427572769487945279476141511956101398019992472182651579907753081621258003253403307779795633743533694876301038915470899314302747984162214965672500961296716720558540946321753066409158183659598163310235754547397658636945554822866175858568701181207765719137099905519541995009638552227542290356003391992095994491399612471409061596817045173552939186960163946372185229800376065121419894343004291798963289460496431495559007201004347166234750117888789363653519519277188116462627130656555397693655964734740424300851000010258133087734396600099934222501046870762081254323381169798609210132396554650445687634412795151338799336942506904432706314387340065016070813419706996186823267678886402051897234850501260141015009987213928035389130704167252705170127351086694900411526227915042641715799320297045736624113680190785341999956081332034159024488253014980602779385422127920897398433128019039261253754703147269412764656662951582987221413907936253582161810156924651502954640599353070295912629788623851370186062996201462670788030091205095244697766824036114472240464703123074615346102502779835735944910680194928877690163495132027890811988554608527315260087989227450390118529334824853033352868250318430136699536743686287363622285588909498120349363010717441588758234894204405548219211885773558000250778355612225427799738288832915346584500519226018858266622535435404478358220819735811328695417487688143475354782451463635834534328734995786696082786879628762055618260626255145070621242521089656481157586245599259389996489849315673286337710405502705283017278895848418544419770334225113201456188446459434995597847265450305590677883282463618414686930209420055762305312792818445724260965918050936636663425787280095929956277325110100921281886118129884667369996858797298232350054839195034881524465471991368036716566092926858353204701177659474798389699229992911012439128070969774734163653443865967260724780128603508980159696263163336868849181744175860275996831085121476757103938231588985222782800640622174453129002311985276165364552332113512047642976770215011165036484397712223124869904568814788530183918073513829405257260259771095690818281532070899239676789800596991727402601132293422518080859087676197994006266129631036568120830541479992143513388062584245551304529930646647357239971198320125027886335771481242262880655954713241840200675444256977550670699998600017401583644041020915758256248222449611863253108965612989777172592628059851117711784752168897366755411498289752347871423352292129767264119185862241668040859864165939679995632121689065441511578594283740301490685106954894871691031303839287821889207643536273325243887501584184649237678472413786973261899556501513824404161270678922144310639182713031688459779135994965685175828427395434930661704889235953172064155669457008054016843155746613752519687273214019606960355572798669142196965776180911655078440020152303159605877279408635175488248668256322629232443791543486410389582455473834932472799233471599737852186250567704361081301055443512165151721939269791633731211605840176457539625987845488470491585856281467747819024708498954441788844303188455452496691338615294280592316346610765025335531128087359080464113715525577736683995837247602604732867740411509331171515601449148701895024516402561439612385490844312540696559686642888969810681364626686898769268541571761134110329021904701312900956254313146411526714101380243930631822852935079171088141812265900415874988579771251442685955331622204066924234877781776651322374866194239163484495231743435714895876031176938217939448199110115192150267529898520041252928052579361006937054315046429404387192455594584678636485892520806307082538057881857101559900811478660313499645006857894284792070695334737783192134476438158452368030465801757547155036167172317736637573699032180038519220887387206812282125475325041441832176245314936097668405043897548176712024784176447105523342104079985134998643518415418161809235647670709979692512405285911081844585247764469593960975104401128594225396017814697693305715364428246371214167250153853536931467392423995875085292598506606358063836373276274693180957153691273760353890764895682360932229659649055947148961604984922746191625164417803199117852921917773480405222400343346280021098240834238412920131209369670171180833360208906494492511777289518873571179635338815375531397769645992277797484796919893509091432651459692298087412170705909518376129012139248653983747959674501516504831529865498362744294345216390031797943604638194278044264786131911940737431214437804643633298320706730353972682047684074969436625984233753011629069219325024608078545020109322172520503192899688332181930556191555797230869392503025910647537715558078137519893997905727152961408153029407263197798445500230253024943392505273617524868244997134061501942463730420509689219290864517004855567455419718546291412449803563597879810977525169745827227438660356325425574395971730810697950763879183948977960229381608108452250051884417257948685834144584464593866684068613441253603003449406140358712897750959883382381373178700604832891589082789292046823373025650173484692092275363349164214587878872814585381686165508734826879391526744859469286645420176448639451402549665165801743875460180602321765915157550076467532117171144516310831629673219344270776393501667677455361196910032279139374610975287574672830885514605315932732067429555014164524113141260352974878965337631157669538984263626862758767686599144885827205660045073210227987898920896092613463005037950808105044285996714355429743478138423921520310556544054492675224966772447092411251453727507070859327270251069401677417159953289601388552869686578607889874853631271131296094682175673107185507158272960817970433276307965648511579365341484393746831432016787640413418216667318985731673147426356809179225166356349338594748117581906660114062877141283098028860696670939324754972050779580311942246340226206882228853617085429768913408016268944297539823303904986021627556599139865473554982740278099625825800500186330615470951103161909042019836581043824375063537060679495639117881296536240407183798277433947668370367091856399588810972225389111454185729766981959953089252044830740138708669467143809531305346051424294065605629075711142655026290024450382030134060494744617738934823388096734560462047019924446424628099096384883826833701262116606766001720432662240398809149782513578488853025372173597157526036155020177996091145265951927690365847864499150812981514323089441015070818591512650209811547047645243694841549542703610814427303585620679142618794341148138230124631620391362881563005140910104383545164976115919449629004300481255789331383461809928570083153081615443344883773997051088706292474325660517578633041567641333194654680471666277563576454238585837715805668495766535818332136927155883575630229690807698364574089149084187993519081487561494128283376940484459893727891394861895403567687964122723782894161307129307950459386872554311493037448750175734583876125579153664270087274883847051958447229861776075122342519950413878799340747594927646075590263359426388798618627358810670821860249233163506975971111599562031592567832690717598677035119237365051412137091878130325855640037605769512836156004471458207869270577401149288392038886738747793884246044092974499496739805902718218478085222736996461802016960135998398445743729653048526567058903285670484437680069251860210021979353781435897769117244778227709062290363327539863801135528857740654980603957524111982248815662416895849568141999296502283648498113798831248954048414450290026296456246620868727089853621802922889124543531467394761271689769402096039338363023345005957758366727546414052783793769890496604545214064355337408795843652854029715116727507394490392048605305193427627989211859323854997191599109358396090196783098208809234313658700302286148827170224597407467033803625553399743735461540981180431228125502208165409801928816295345597943207517777812184195857930585242797794692772943515006191190777637167508357657548753094814925065792499527081111527944858701783494979735786026935972412302106854665665879767508960248666195294192653108102134604180133884949123961477093190957759293952501723850773236393840077912977552584770913288550576668340155917738829104756346954178011803575928727375573839330792224629701712640869526670423044059917824469778861049627684249420034776155296110618327255798741393261545101818545448058529784859891662346877201650589772645044350435856085792004612904774889341090005769546321501088035594713081502755497763464277198816063947957877913232891417138037322679741082079546840723451937531480153982008127461471392089418498023443671803105657469167482781242070391243901556887344885669001692860163870280116362831874981413998428289008909293277871513190855834207453801027066805887171939884575601955699073687348395474872516214772159952653915649787347977538274676558135538177688021889407425218884867293889901223112362219292369537054255623685028312007052299926706553721410697229420440476913987629167727448420717659569233394351845512813843290977591355464354155323740861763350996736116496218647099733659324272030731938333619914604741626287987575921577220953606950727502058430454229639902250681038798095067480923114610796155686651210033253388879044222418274480086905522687730933113713810848582825429712757107203781074466607240186777868352639433338688215775132726555945889989016165443384881033211633456834433445319865272860120519306563500674581679394823571297602147706548449512457405834451029006675066870141907624369477383453751716404643512461593811822821471814463076563473136401887389791285146048922319728815337216025155279890218006753729417449792811505816493280727579410942985053299219756845124246288952140782228161211854315264402695078024500020677431071153536184996835452595762674305826482864567311358315112269471934122652880785263359396901356053937941491414046904501308102744503249144602970299182649939728284578402453991642727979780906837993757541525360247132004495423528148353564480960808327687467143695732567152350044846040662647273604892005681158140556519641536358940844931926882152951782236643933434835956514780743819556545445640924285014240945329022555005976677903924501983398459410757844237007438729200173539898130776853575072496956057333946607322100994042323505810705880428678701641860941693916933699878273405316758143694348086983381269827184665096573735417898013612055736295329611562431565333793583579504094821529771292207032458890698454307204740569116887694736104919281778511500166243090197857557540459579915571084818933077680556928650972127726864284991894908487276415267341867203837147972041566417254380526349183191510521964872950853011613053372704245801988227087655188946354430969820361164206796202010396162583216702155853970185346973926360681914352921099476378739609884078460092622903990914040369280230060155778479133788962447832993924312796388112916464623639439868473176891897256689820519999672744138160105000742260597512770335442502585550585185150142103719516103495459736201726743576460957086979573070071845172991236293873079025235704897410910134215124000341806616891038385412201721566538122892055138222040667010483992943969378889395870806368486156756403944775061149458418229957337425671607385138708764496058125354078054994659200966273264540077182318748603698269355134803053196015360589712684748673752529248916150423094975794198306107377142607141374136486952243538226465587080475640698055266337986062283611690027814904092769834183531426546941171644311545548420815654242338116403025311955726080858503362697479322301985956571288599357117538063584402905351246232275205467375017370350868486168715265360370524779725505475544944602369099273981749364500523965001150521675729975029242986331349903443201251566687413493463173612504522250611375890386484289764390605469589672688343280266220516373392694488586130865104914706978292824613974758625908532492085858369648716427132070509598738785865733492686362091089975548075877930445276745605726773769189080613304852427740405980202000318231630562847637410609900240070528219470190913961915547248715696573919328838340823204769737697136844689994984597032337627924361373191185966949892688077782240212578346931382351297133069636110066987558159499225039137433275938430551899129921747544990628287917124921991525920230235278653130743866098759260196642618554135082718321205705997330022622622162847716549570099121026729930607980093525765553621783342223916216772590211474964526994018311132529945199050630251672570508359775376813280420914014846042048763188650639578219422817233083108240329906344218846280289970141354522901755624086395020190079290389395659954966849535890189040103340755716955620100099898326979626838330444903279843729811159306674982985507353756793485224338105677552322992886034929587343256086969565042181589311574657253655726355627123418138877396863809425395728799308586525856045933954907753450864831304585297740377876737328550947806296423995813237722638589105644424471133239490639027299588186143145051903448543163315804169870823443063532084874400380095907907065118353684167893102850232488028032309359639079215621070621499114853917500494493789912542904650421408601518334271141160784926411844773496604848152158348213952697328029349324799848022552228317021019148410245506112884447808223153024937229771613132169267344314712292296499829946273295798026808758746995487796385804375818422390551217586710903721247941291611950909800894209921167807016197952424742401162073700684775120249736871564131237018829895585210192198635939698182803368427350233550525211006023061805537634364179549297649207163465546619307362927437176775606987217503444664941370355092184253819281889838018235850813461946540291314735975955336600461208494298989962524267098298117947972233546604096601123766223182863318220591897661148423067063374064679715535851456976348352941022138944659101598457413389070702625801611167501487975009702118489238555522585289373568305096317067128764325898364443605066065199459280104223972272346710678241150993304273520166854828657577456772204569997061369548710393903060317625825112488941804404794878266710192962039397342408619190362775792001054326392381424847170822023755118737047492663221528849294444420964757472819887490607066131301450892656551415654041766435187770183718517107905858259370715817113855000447486252801688487333049395719249135999184781270983457320444649396096380791553592124081945916823670376175247198150257260491736847794566792766131320688356863400369192719553996423528393955110381237665009217166846512419141514720238200908206832728671492419070539561988111811553183546005170547068813756253701702731355780417262140735684544584474797935504390158880414966803708534196514570866462309615632019429149703867111342281908973673080220151498069349768648894673081770556515530577367794904888815583069656014572555413983295857591407014510105679665647949637989535265874632440228907641645491929207327620424045668477680098320451506684794214054126257913115106821301831130405487651775717931753593397510892820649332394157395597195512474080880951718644483286844793614468040364110300350627578986592316508755850484609261144279831072447638199458342530952675215807610500421845279391132644785287068460578201458219091782079680204267165178305284950491012690787544230159624712450634509127282446136664334013984338826229567742614876211091889392334936812887457963031275547935217145440467738944758692607351438976735049982240733774229923003783754619607466856190907601611197736870888763133396684500801315318003924547002216850669051363244863757970193905092576241619466826821693980140159929703713714843615889549255371093750001
g=6
contribution table:{0, 1, 20, 45, 73, 88, 119, 135, 149, 182, 208, 235, 269, 289, 297, 302, 309, 333, 368, 333, 309, 302, 297, 289, 269, 235, 208, 182, 149, 135, 119, 88, 73, 45, 20, 1, 0}
*** a(t,u0,r):
248541
12
*** a(t,u0+1l^(t-1),r):
244012
34
result=O: Congruence does not hold. <=> deg D(t,r)=0 (Remark 1(II))

code version 3.3b
start=Sun 16 Feb 2025 05:02:16
end  =Mon 17 Feb 2025 16:02:35
elapsed(sec)=126018.551517