n81-L5-f34481-r23-t34479-ver3.3b.txt
p=24787602598461198915235775256015019564493340723247369800513889109337936999111051937446605471236566652353572831546700050443901821235526005821008785711257620798125615090517814177402793444202254635335068725606960295274424999519831738021626331376504619456614129814355591850740083835476434216210322012048530402542008431532458196229200693854119547871198267268398865345134583334053997841609627014618546184224155295340219654054270385995988335989804211890659002312083790252544102390608876102556970408259656413246428959876145744264936505847454441097267086337193684605789122491104291698681028022590127810638074532181395276908507558844040055849863490443194548453241187015140527616109638917390423706324225994551852146931927978616018457985268833591270543668994925792160638212269872210561880121980086063405802504998395477125216712664932932052388078372818754413150663419576455707162393160786196853144427200391009972349477215721828479272226667555084245423432441361586041291565422803740030424380282361038643543459303208119267410442521290878343374013536894777770620356851587715880657241714705708931756687364519618377686468992186373848887385421290094972426000874379046584196855110642555222018849091002808632237432788030630883913506902650426707746118249843692976283503518648988485398318870336212660019803268210576146898481568506786559864817626358063939704065497432519856043285283811449965556190908839325773167937338373758970737618999871587963701077543320923997354852764868932930285871485293320335352729040691190104002539795958448453180917865508135253201803503437299420693546430437085176084910046428576743643468682419215788680299517348646897467709651498920786714988842891153450347989239310277040723466277212894470846168918389738450147288054106190211796440049769262642921718096167457811232751203894761516040232711401075516835369750522077522726680335364794317083802118524780182137046783899131299577321865297280310902904961035130052146867416823876679509147707524036504677906672473229295930352828800739277874070126914531742606779825986441769412899688423468047420217574255212821010274913504343260148113664608345828767665537442797120940527029009163799423268108243751061523619069724822840202786030423314789479199090805160382441281850094407063285168297927939123516042599795897194490542374166340944467014274403352556091228783241788404709154612284641044756708179854920603664711388801335337305105663067040168533132923822599520908915787925632296697677167538477477109533253265615036991685526188776195384610592571450949564211085195344064168260641154340647237996326364348622682930889167078148464286934286383768142164449570637360868280413170531329679159069160388315156771620146834957281844938787031544238437301938872091448382969119887075842195183251659684264296493105877908385299613796934343531182558102336426403388422498450896605323044673018174544970722333508052780442761234114692041433719320251799384212042053063413162773322033258826566048324686899066187296815614457933740578707815709910010683336445562680772248658605859703048266743681134309660080979573843384816051134245142907888855638723438637101564080051546520442019677407755522851361096990992654798690427261671949598180265450658442719953399207186118653692716342098147225190045312843068183608914534827444822042041853069029419067979743700633282993433520088476360533961359943684570190716497995921270461548201901893866228048307944565087433033754926102465110722263305076176686664010478877726691155153356683810880513153739115330745732944853523255388156836979987281640554511298811588132800375924390379852456961868093445909648621812204183637575167334150017294984790781874821727357831332544079146349171104810866464994087316355454512238900081077762879153073142698772879455282623653973766411980376644005505991925610445933093912273210359620657441689254624381865615211525012510658120309199912085873521023669671571997851965106450483460717172138770534284568215546389848908097967034194049095365866746031745087716751310174767320576506631193619376129842638582776991389492859255528414453565642964455403000149003632092649851337637148178006688233717665098634302155162460794768722103199701542951563022417806267412167314987387187589268598809722084181093150777932195341021006793936199959593970062449327943471057644742806882914696850707018461681547258986979851156732572651631354030886236097077920385674949497073549059733330277518516948317828579425464552855518939919987764442719737245695303646151042352206667968910782535383425100038075125082361259448134031618399335123122090649910920269929061190372822922171659182905861932700629313568465699906322097445770595705390325599352304568492396585538340247946776357317049708600687026791940793690903597204860047108395799394730225856396585738626897592985514698683093999931134165598816325125964239994439521453202214482925781100395541643088847813070686288454698276600458730148125519846245957339847696848006872621898035072275822513841254775330952129325242188650740285741861008977182681309121700101474071420690459680875631559359854344129801033220327427727375356887432789921869778856676940868696018186254944778219949519649104552953894331012118821599826061590008807034467311342407962532574923797380213409747819286395064192046046660726968646665451507620514600052246775307532107112427096523152370683680586580513110370255042416161184433829599923377589771776357487398641113187442140033939484265345335389119097150082472421569039760828913947180658731557164823727822390341383513782274813300318706604502689062509546464874049922251223153653347360936321791403492767329912022559365488277559549371363556761804585433005161720675658225375881998355889329225862473557923087688565869631707177975924923637526098288449347222659068705933805570902707608198996522550299747268007508540019917827716579320347738989144296378139505721303430434711947889300756874221407617833713767559842572370219065556918200943141910927954961959336879854595974651368371426670221708282251217256699762078522449609944710633742899411449360490539633743413408656950569284607143641295057747726317244744062312507097142569966683236192820301111671310735552078816403493238472995254249332804799543979011501340032104064985941660271307673708531606514922477525725978782038714139737212124701172466855722820843685626157668030230477258397513067501596017854315863847414176475778251256632918334034993877362141011740869460792415284400759091870905993919074732359421547623379819453488379425126185985762104008872948259633096306132186641997681759849259404011847206744094275493953009129589888780819571174756379132195359784937088125071362560415990573899604196042549522245175840637605470332068043408496152180103314751358634975623082669388020099299338179503620596516919866424028177885662917162467075802246350028106163664379162317342679307476389236896695732236987274127518758388958174877622614071578624513329772820029560396069519814435655023184278439233303873150919829311017136896457899861150327887391303747230411189451472520388570292880219656196977325809474422981069668138524392536902001799332573962542971726088399547998709129589020900836992770140841336561168649227479588980166465723400689373691153621847335675249353419957316314470474430968623336282313178213473699320359562845663821314871323184124636977869853247325924592055470257599663898535223143522069432122712431009296553022600811651929088876616233993656486586531637383358236461556024420489817560551220386969617389280558238177974249313498660082403333713614035077567081703520734789928420515369990486722224018688295432822648488032632217390343402868936836877059790913022897422990296331704484151913452729185521838520012107004226675076572446050131683125730311492045573045992069703965494495844401811140987461260359660571887549381476191778021553470483712604135211189151808889760458802079845015136569156980698040701092263926333563899975775029763445253916205713949874555761996181835551620357552037998771468883663180769304057309125439701014695011795318700184019828649146700887406198123236685180160661750934588752200498560871966271847268183122554128760606229171225798718629619978523317717127572636463916290365968688545175235769471851336656439730103085145488169718713001953792564051619979750887917749779882746714762499964853410939860947512610058346144409372490805235710986780375362683545341701082216164357714957991056779595937570781549092083143398604197305521905956959271807248107837014624878466533916212409960639686725173971209434607833117090739640189603472158291544838910697056648708502279820997941499828979083003751252756698676374737628643308675281738256128892613087644608717412266660377753036381451427589681935629966960907989512392286536783799890456179929855002618234095396559541791677766434455707903688675628630555795383910017586876960053629502978492900034040279049687644637774033732977074350742081145808400562937754020604252867781146694591449878972284431326067605646976487248275955467337116667814052584993565800950753010943478709297261444919935720592944994795414417505022371343177107388793369502147406826844112474523549306654315809633454720900204659394342247704940509628659158762573664965110719317416358543005192945879551250869757476757147229471744570172118338404954277482799351344566156625182888724069054378124225152674311932177473296929355309372878882249037719237695812512905572549924790457257965480077688647751210812639751527039348289418954662118464816163986681250288044879029539998762405524074207988957827179378578023438726176446715909430518182702448418814630337285830554320307114947432442931593192345841527511444394264190839231147672213329016862528843193877336608839637186942686350521373339246235300639876503108215489116285385976675039082098506888837575622139666528994593893501520035827002809372024529216764152896952414147674186755678251818907720102516259188831173156308419339266393165253828367595674283563001401936944406400913006570764072227365696583717867777568615286011512261123469771919736456386977441678171067544062321981984559516098496512880272611540796634646235800592276350656155083330630151553494484526059397967568776534412309914933795131064584237331831660262346605683847263068761036742859735787009440315723564548668582571266200650732189322249440534680876863331282264502295950045249143373692859405591752158310822265394272195887337839174913133739275235172095895645826629378479187482458238143847010334501272175176236341594507105196679325282694872928688359581836170461460427792823302195456606474979839011363217157843567658775137732825408634094463818748997398698401183370950688391639682449259835581358545410592763414704959390534864182122884338287039465562848671615882825869563429931975545133321081425543979203269500792271488696732399038842400681957615397842504893569252138941255631779632909902462887218463387465934978997412099530482340393916220686316193473651969559986084984705284849593696508327085829202784050003036393125462794495008019999275852843746471113719662903274245524587791143013232604042854153269208290589876706484133547898356262729783085879965952946605813213128709557683387015495608321982377711904424145060995502944325350114327338184529547221237956972675939206910645104121872812676768127091684729054225591398075677492163541542882182508733297532521623027196041166206564145200060007617672903968848081671405151213897265471973745463660156098186030104578326344122216138397805116342000217871539277678520148836363383419350131137183004323631687416729229264395704768395559315560737834043552075170822358693727803810594090498714643549504789252923167247267398094214081703993439098402367816683278724837734949775390870470092811440674799241464970009609480827636142778098076115232879652532787131339594742899627240763351362065133881593981707911316950761432897524647632769802076056773716658195791136575920716981334014013786016124196017075674206124636525852484747535516892198858046790394168046269692420757017126903089093517589041927503749590938544653665476807243749205971892314257994367549886744306837945790675964273340901346405691777815347696881946942327666826574238368662194112650630313615582819031834521648664277114905642183475291073741804333070879572612902592456301307905703436826321371145140146903156287394176680361179805615401061061943158006558830993706211966818063161336631147960775583741878864636529846837259273787536866536304587756577719630330571804548907938808627005709697275993083730132986329765493396173350190299363756071688039360952818864697113319039500826203296729778646144326257276782744872368465128367469146129912403854896731352179656716858385583417820803135292536938619490355822953647315104594221123976730735834772902217310243523147674798839839376923907832895808357307749719914794868028861738744396809847039217166684153099830035802119355859597619276917763859428812545056279178326959918270971900407453018370038583198603758552866995544288747541125170668023262591027185702705889431559795797298521765099366116961619119488922586919657261445271576122657899066808295303995270275600523581810436977584626703354596762030331348233035503119716228800930308857329437998204457536886974378699134685766378830580712420430344167786534589817094789358747964551019989356328022525494074984773878398616461196918626476858740570485934074556713985132948280712761000854489339911412920573841423139744065800437223399468817214743106374297421241782122720949098212697963214021480539669597917107243896810390212909994024802020305239702322340841406788173596028586132559370801762911580061835543272087203304599360795161153646074252190477055705648015209487687094677030178274677692224148962892808656864719041719381872097348134905020270592613785165246793206499204400718275362834402411183817609500281719649650627909054574624313619508947932212881385098307287625147085183986278340741608635305449494182549180554227987391095609712202492032231914547633051617499066500721335953342802410921855954475058491658156564245173157468476570774641827940332959254244485087527433340093495633840602773993613406103659394169322258196590691053269333351850314984686922785985502958733200465085424038105299044895154591163098068357202347292367432170390102462882295016895082743964526487939863404334251148806442136688251088760113511006908582866984516871612483851921418382775586251677446327827620565128558643281381829341835532176308011373383312353794613275000171050823213245289691662423685140799023285770573194771873194801336130541221332187984535759488982795772724479033345160484702622034999268304275406099549878098192989065173800624452102191638747070501073523409955768611395660319304299173704826397942200023144407496361638253996834902358767266770922671435279807525567088750432777762365212939835238070339213249070736449024197318708796818492895903592871283860699643355500956290265358921732434422794753787890097618714304635126314360319252873997847094960023103413796946489118743959865833652191372713704109764514735027242209232241329419346193634125251262376004405897858559978889379315572671944722357319459439428677254261511014091359637919047194137745099278340628139600739175767332427657677350495347994783988686799127163420878631271675394697865837522495625792048446209932953555204045878753374265216434992056244921207600770655404762937374619232559381955205966692426597313976632922284725272273592068243082158010214354365960744066892040964714782485259485765018376847644188191899325507193241855153816356010075133773354209270096179090878204596173853025585881747237256548784697990836475761315058684508172682891127383672948396984291117755434174827514259484220772571003032089911971271115725200423296992706372358441512343785329633272680279210668896610557685246980932392385261441626738247570106572350119872083459141707188514189246700830115800991020194406401037268580090144419297306161069552816013013019738771437145273404094915644764277141059063429015316160997381406033742768601635847458460480940192868142395305181336832402609479257272985424527327327054571894286780760756636055596246387823467946581112856914542378533957180804011686957652820490333493695873751059699732499287626319355271351157398811492400174463156818291035279828931898800267217254146266561883606655881909185123886425109532592149673304869228173869938538214400610229764495430003599408595299157854022621115730833010619652510482727278447067425680955734713681679714308196489599523828831683659444799869624004336250085156379046978440283769149532265918868735335230276560551319965181521199901880912157321338493173990894331895038027911755682906487588345667094429864931279684258776043519904039080423490249783680212201203243772400502112328822708578389318433348774132477294841902340128065099260414942584043934741345475132782069075073742071680773990199441013606221292817683609201069348874865021533642676386209869072658038844576569824618899986235826458724918458054984711603429880421012626958561201073114699511455266487565608972372231308210981308439780912556308395033659953821402601372470866109409256601533627326077074265853574544975276038913514793402036389307843592989218338734164678273688339942973135355041442430735672005035919463315209561640286558096266324417711282714297450931161093295099943642844416173673653084921655223187781137360614815456109016345913868699921107207155073316730104365114185913096594045552249209040168182140298444294806640337787455571371857657231919169408017781792447261834201178411147479221231913241639185789216264716265067951802893757968373268602619740916865620961802104968371207003559004935900414416776559245039926099583903585257417491149248904883697358227726738189992728374545403833911274971061507136590743299344964049388648640297616923795228944350490047081976544170396873187097562508069770768411087680966702120568822852025053073156419227760308924266012483435604327987644846112637471257554419315104908745234780775492405214330552545114495696928129992020577240036428158198869704878055594523043245419230500004334954216441047747642412481030345087402836241865560315669888334787099067784230294352091898593828193798650050149886490361859992284492257634787266289567480922103310279145769581146564577681527209033730898006841773384349531623688799836018348694577470072678924399539721078982014312947884791931741004391742777040433236705925191168302741476712284144173427276858939662853076328005581323346300545345194183177580267173647050445034630399617951434653940644450756519450947770797069696365702254583808510764526702539713502757039993649064655419198215169447403177742555607481445843516469606216694232434786667183821050898792617889787642878466774482813226407740748386728755460263697483818805974559881128269953275882081239912303743220997563516081840768316357923349855580864310999414358529860750387708145208900873816535887864910442306852364019379574787461075914073131629898364207959146802048413762194943830485069277364841951057229750881735574579374369566211902086663057802982433658834230873606751531519608079660423875794887145507687858949936401770694644337910194200634613250714445920242164865611873622374030246612867412426813906376057816715225645006587141157399703768571648453573973694795952354535081640937679180840512032610931231721688500019313068953521671739955525817135846520178286742571847468762969016205974464027018301608045683184308195771128447829634340035521691580149035395022325295281037919926940618086084458974468977598585181348073986660291494392372791766151507775550108372677550612852621911572617401290547531564995169962183130552909209771235191058629357740348326938318024608144510930234936159984616895687909858557988154424359051614317903245432787083159293893356502917049021323023081570656230912874999386635345031013675038959338381406419406269729092279692057971380961165996810417813929884890621469489124632497895592947192408768553149647647664323204066107157033098911006837608708844561451124791494889484293031566640885507453034781149337379165995232221874514022566600070631401719158397892885499757449384446186388241666751778067527620424839890967264146346945232553708337551902223644339173541084319913635359479490951031419510296700634630866835439049320236678616061749440414607176056743153580145397536664055861142050005645541053316261350449554201281975693600736961845411939455786349969725470768184123457735540733458672080896192884738454146715170525948299385698731510538936959195200360556981823813674059199823833561813254585295454370512276815211179322812945889667362826503041620811500507612919022702491121248325059062226134924819509807406253813288635526542105628461862801609303050270237875075370603231658710353874819957286142032172083596328787801766293362380610008522148009829039376942730384751125888874291429499127800034948189519266300160819960605127424369163496391607743616002351924964079017297211474308115648402894507676886919607372221695474685785047092633109552412822638114319480625057716804870134314674426099251103290411262901704449351739908946786010696354407440924460988791833353432456514878626530222058220065086455201106251818102333505806817734808096292404818111270659355156112786943711953095883033115255450959757582095693689452484471360844873948395316104345404795084329203784693122400638798453803296552456588443593405307819437932179959588239450379122893209086287483069586686782962726681866931980886615300831534439152346918401729415414893149895855933121918339565953998375160053201709881716335276562905173584816628680436343426731700447582932806585137143831200430176985341417656326841733763262998496582214897241337055475818414275039261714708566283722285168056930939423264103128890239931350946003460529796295693672482637835695118055122331864667289746593110253805353306766171532398835708288557385763421567615483772117367359306589372586318437476462424084657003405024822807342039124627326520428321833267890548013619872176455049344446839294366731743611195526357901109998579263425753922231462127778193065699946373098181262694252939672511005745424759011248068793568882227992225067500424784134455936702943274314613715469964849993403496054754974707784164494854561242587760944356019991255545613771610543316461448379138322968135848888598191795470396719276806768572190448394310462089357110910383585622751026459712925962848858715144566095556455119457587807819219537936518273725188983285404415374861914226874403796734571452790141186928417563254121887803149922465144121208218210441077206725357805059067386175692809412648518777928644302945958190104159309517771715974964487377149697528405392780596368237838401919181955903238732820219342020545241708938935063457147349725944552514971710892058283405824422665071411313018832575597518058121762644545661245283010897502742364548455137699361148828437331567694491749982984890003873484011392647063136401445769780592797708137264412484878729456902464426960757392633848923187105981737957270435640915598267448927398352742780869831173280876496173791560380558995090960327463527660896359132456667815826012086943554335794262613309705260539961315171721333567977315294163202742986738676294950228454808123525513959995475655850487481034784177922820345378891592007155006481301585119926169047631011012824086626117053316754745248374705341908817108183077207368842623674160200103533411605975531942632658742394171713231550202201556520449454740594460820610707273595106516731413805720126171326630214752616487616884034044742199868883540855055554407752814595256859356080085924129717899073447965707104028845257416359904531125963486563790324546627007704354051314770213891478959543562752589154473522984993895388429790652910897115913767411981217749392443674186634274289176484605111043686114565239841243575243751029946830026924712860053171168656714859961911380553504332275515821150569934273616111114276816998451400906287816185608835778520708104389759487653085925889926843214977730992588763776962532123681325706354116463689259552841640316649760871907262503570632403319263519981639973332277290878810672579017360334263951477124840862202371209080131676193096332641848294142835892292505440128007410279703772821022571853607050131484815577533660405405241536298160150261609713671094438080777562896849559106344685653570446777448366096672941974108471587529651869715545882966483802464798499478094215280916511010818450857867179102913196410327678581173782520238812710782741961804774555220278148323337968558377024195712576156366391107988698765548458203494423341479298640903688247702548764115043962943596663619406750319221434719338952144821621757397161369477290394446250440988697158820053267902494553709402680397033691406251
g=2
contribution table:{0, 1, 13, 21, 27, 41, 45, 55, 58, 76, 83, 104, 83, 76, 58, 55, 45, 41, 27, 21, 13, 1, 0}
*** a(t,u0,r):
85275
14
*** a(t,u0+1l^(t-1),r):
82163
7
result=O: Congruence does not hold. <=> deg D(t,r)=0 (Remark 1(II))

code version 3.3b
start=Sat 20 Jul 2024 23:33:40
end  =Tue 23 Jul 2024 12:12:46
elapsed(sec)=218345.990301