n96-L5-f36236-r3-t36234-ver3.3b.txt
p=14466995576836542825175971310271796249207571562276725077543829850222357628022928993506836582700312071918932196793293589813947979716337181178944685975399980363228889359337715947761062180846145465342587096777962941361140075679888857299942324948305486635248286223792759172153534824635992426938018656103369676644870898464572679379058855485298821173476165509978941897313374737072021200397117371936434348566349729886091498315297843353990581384437036202414728815692231766248042443371997384154266447668442961396149063380916576206654341143346347596894745468073654679285930590353842281351403385085465596180841953336915710641669588745371459448152035911636496822823281196265262834390452098423452543090809731992841385718952328702177823700658870216227032104656088017966258351730995756208200947291368070295247457532675095261129824829894619755943322337576739996503170079245397105624975132283488935233035056580309865673804746597007500307129331621991190643167083459364274817573513749140730482497642274402028337271369130434633452063599467381999283776541957162763950986203059560078387282543027982491860341686391148697387521682880850957335134435028066578188337330483148842466208128809567269953094937748456179413535943044947961207391133443096997880632435580560305534190078130393566683924608789010383903950570607072265820516797744413736861766394018203062887478197988962684114233617390046042535113971291177021566286434816745641859241856199004952793417667072225800786524633849471388166443896861319760072134737815977500451705390989498943913239353478975646603711312381481030091228920243027745250183704872952881987215305059822995719520719323802531732914521366042972681568751390834106920811081328066863649930583959946061714965911015018479097684888149629107477713381153965445205188983569808634245347322805963170451573468292835160294120568819860979626802742372881605657233721274957426008142117790338820544513023478514187492592127483421938684472635047567784531823641824745420544779195882425999462044479699871230618790744110987448617338940657517339206659252762330861468614130430838368471665778316938152140051512910754718977502680483740465752788326555308776136154124325560253511731967294661171507738236549984994876293185450384059335396373536991694074306287818909160560100143077334011892521438581058661897904092137643085347479348620990731282112327273591948281174379869344726353609224837920125014192210253102602960755729621569076288408980374691671010361034092749507197994041401088002778023825843874285077837544299032971741688186839517426139688810323558975025704271707024273735654910765559573299289923689986067692804633740751397704387099979135821708625186450872162925718879811177674893854357149485124729848928183290505224293620315954600433964017154564943245164984905056850939751943833147262731444081421988917671474462807811513429322378400271507196922196859277253325999572556081111011756881981249896160305895175838857584971557945971918679961276280148469424288006927150273773998575826027867344401717383751061537474789166354420818066866669511429587610590474516707987427793826341184149262554253246889631226834740050627389410039713931818901020635409531845683090096894011914726014076427826174258422035548906166297079072525209451188500476606398450096161833791479889463516869247756100037198365405926882695255893535488149793339967897563472867585728546499226756687037232921860353252175740156718825808015614080501520507357464686508284497127426353493967430939955502676273254765154586529170667139262718131655989878705303238031831327929973548795323916644345856855387308286624719023519236025253632605082827755374367233483737653979926358588811988254967094114073350169677626277720596267991583010759647053838995111994742823841111670651659997417150972175632320185357294109239572399973447765135963479750193869585036294850030991391318987931876681943635014910210781987946775914477670945670847375895210492792597878413504316274883886089942983233870859039694874580646262098741293532421738079313812093854629249396903509196759013713188352422018318644071410431840571140353854611692930928165400836294009487614742995623817145678183350708754389825216567709133501455381463724636670008361680212576355497556878169862156874552957402353783022366907410898564306946128519643370550819312406065748109190003634602328834977625896386707095836487506025227470814569087386854884133850959125194462234870677103413093746763146617182603441676828043675901538143293155812229658785012548316092302470163932461158497009651463764589069642646688349780941103552868640258719331539586926595563314704678107862362503550353167636565271701444116379499492046186325447699560986725803108073231766249090080723375537483868390577423119415534566689583783283490209193356352673690874912643825236806632199625369997935490700799692995994070381210990202090596221448716919563222558626703645900596148517905693016899383783854222872094826054834948310206146760318319005736676222630830638529437671166895582647931877197834217508332778884274642613496575966742399707479501085684833891913467106949244578587661067749954215775746174382154176018100245726742096626313990982297733713270868722574229690415016133630973260009780886757097415403081310367896294566696749614279690026316871090818324064988302761775916099146631095003073533039330719907750785779227607360158787444843540458352297346787998053849601857555733591612461302540584843343067757168972714292602988297471110238610440505204550616801927987443612501838684565395433124130031820616126555257977571080032870391495481757480924982243326763535026910123142948032471328418148853568925425117151634758803217192528932849152087215445862216218688412059589794072169631697576363447976003183493270648281927831445986431993050725635742283948756084437209773902579952646838193996269640221955920008791320541983649521266069086183874374351262499248044017738199235918022306891333685553046463202949276817773027138396119145901998032579722961166354406794848614783907530214852493893830215418811300622229700062681179545848759986815425167985563223522604915068898558762524411002959444921178689583279515256273046365110271765527030233772789111892869691505516495772911403603095653288261780531197432435331875875791852691883860088644470257807451560996168235031907153334122600391877162319891824939920163882186872043459542963016877240311217027524110836627822350410907969608755384391494526253118586253562279791132650658285207961575284391174803096279662536422038831654029542530557207716024359897275207596810270100348055493710448221600691589548887997090402528405323022330473259810481919974966496436431278020942509112645855953518340472793513238957209121470131306077751849568897883948794978324553280357748875099729308859428554654111068176016796206069785643238424881189372125682104891910972795845082696754662062308803011051553364039468211388560100535710625399177673346438040092256723138832287503886378582994183815836267235967859366499517607559038151839804805517090111792096824378310358680325516812485594213939998512966674512608299487484123367868567367545920728464463808091629705516040815742414054208947425639961361126263931927010706513098073648585201646551628452466605679869833008770077398125588164253033027810894433852248158791406991459154188871425909952798344115048288466287916536723348924380863019349558011685326839163280997431600733946638179345263862826438922302103619884730884819339389093539204658284908704742125990538087979683615195599252652801651036855134140390648341338648399332945024551056237190432936018918265211555783541958195406511430501977569775763981978276215078100410427676885623432211487821030373204450601104237230951199469287691632160830797794995337541669825189414025297918819101669311167742615575390207169612632158591346637739868744436294422804524760809652377491694440205999145120611670871439601483973515355394918057940923958227902145758354641613083784452923187557806419863304584115554342211174972733042097158326364518661929972498830766589029901828696648638726896319467997719253846309074065733064266018234058038057054894616091766394746988198895350619106668869895838608909727107358675191627497495777843993811232574597649988731335655212119195252655127219011714329302632289042205612426396073839718564004296288126994800054914106930044460854550162783301917171156400589819014616088900685004179742427042717166751113076293557800176415002082615295272417940420882928235921816397301328064969804215872604325541713514756171953194473402684392955505659643386972011134612771829618219768645622554560108042097735957105724148189307179060334757314778865812966083681317457275150825102045001390464998611856419402588947531124686188174627923097438808214860145032692895028877025973117802914227218752465211437565880490275985942672549554355125522251489947029123196059670022302358587570615418048851280166507199088960961055190014823838728963776126471221229221237814822333265710950011605947891833427000395827379613836175666505971829943274172567101806902198943832749333266205576221050879566379108452823352169823437215576929922161142923764078521000360590406878143218187411067286795835193753998089480286052074018821227989062638633676240229971045343238016996683158695497589630403105635072712117550775322202763593151303593983222567843999119967697756795524069861416898778379764336597679637746211924880928816827068091384491370536203188630913180479563906413540949982174428877795906258918941151580528163218704131734079381693217758528071343165246169449985956754122896485083855163535211197753653747873076162862458910343006305224419646098058165554917109850197018847136078090051292528229365059664026751906699640038596378372878232417830829082560801518511080919504097028202896204152311371568936017081375357726768872197370660265480356306020855759486322571053699412456672148791822401829070696099896940765058089164363071806822695485623757805987952139977800816265471545090169594493791879576657942903637251689701470796040009909893287749785463699739591888525726463746541301867343864515740303851411327095402582912575228371196255337417587350085367463114413774352426279647618629793932208082514801121734210675774285040652680999712742455959070778957623323928061203981528266440215544205250434458874475037127104356911849995165484937645012559740627427151214313587062463337435412029334627182897914035470016285221511800440575259370205042632026515274283737940352608147871435132948542594874082177343265527009800850558497296786709144123589642156582018770239505715008632579384904789827630214137500800779483254391318476473009375327323940106815552216135043219525469212526451631850719251914037925494947561590644110396565773720507810011004360944730806523026760342428139815985253972960942272461220504783930605228366988813864512540963148036909469373576902669138158616429819409041184082159242151464839519346539074735824037696211628496024608089154316959700277149294688713547272838798450381898554080217885741556934351736271781161793144257500362906719358200790631285115112945872643750633180162077871098207713558332995021044897969464936740564232822004433490296390300276353045892976060676784856335621082624560105841065720801323552375604962247516934016240157149984494653212332061537227334226957420214979475481964531502303557827481969854284707467105353077915948364898938829508986620318296221038612357717413044764537270419277078433309175550935259157768414628763923409189951809262780272901558781403868436831529467458678818434610626351775403915040474567116857789691274589070835338657175371970906695021786200622804311942409830269691061262623837052443466273170707328142300228407294274371930562950414135130386970095518677522970833655818931423967124848898987223475376700306616249287373755235946782614723538870499150884900955967958775933221390500139285819507334014070268673719621451647047106462322076721737977264723314469582972009151082636404178918495466532982665395490498750008653085148738435634695955634379648882095187871348592442008490572309618585970738229065602939554831043335108680463839851648835807615433783749596886044359431071635328863938450522074917193837147868291542437759149439930718932949628307184229159808920434489947350097256284730031543962252629757296330065301168341196055677637197082261980231318546405304923227281429148035756251556742916418399344478676175292010771049127376129377292562721629643895932367007069144279637925282185567720177426669707856691113870795546898376976871652735262725212900112632397866203207025011492318431702488799808546486440487613801525736963480336703473243778572640915089042367879412323352811491601150788553373805922763636202799541226578913926554596030752045179796817868170642060904469043389195782982323609126490804757268791001087284051476568863643137219664408045324886293506587939791574904004035673791756092112787355953315845619441232436362815736940515270034453380895692256973179293853993562406451413493038734414193134319905730673212019236977177091217634632389736146042552471626084856938544201047657629622260493453227283385766861367386616045513772691850799889120283311413851913214715290923893616286482504289983439170760201837831214969076467691477737772586796055800866341334925486379674372015545508400191116253704939163115434278748863318871641919909956353754851738650151420647509080312719507432842648363836405768502313063025065477553088911726318981758384816692123818469289028726493030577546460017014888424261902765051817107488802410898364143636916991442136488755760997100801124565041673444956442076933932357271113101380430561953772619878168568938419446971785897172325718925454727412243351798409935999699355211757488384582933931550714412594403824543011822790771144713949860308880184826847283645415979624752102933312366840820299680655143173055866058167526605235602693623951540575323243773586982201298234502693131746895492105709814025265535546120751570427996429231055135890824136393842465060619560321112543469532201084302172682590287586555258276490207381520932732851723240812167252302756283458649886735487178932956434528853546742086670109021103779463390385481606533970230699774672678204898998110827905020265654155201646511678332835420668242353348486910036870110237544405368108600958639096353089445631591133421682602357845423766848233344937260727030678235618618274783196668062460946131591733837480829249210335606605808333371925242496943520532803082364736200787919592995080112778665170476391888680601875556491241762296665041124278063749341531365600378840816794470214554025602048294290981140814671213252228586067118917154872486222655492397940687208251133481141988697951341717748885223336180324223617046104750854476011210239392115882645288341564401918422150532856732441577372138392141542560738997845692501086999977588036868711698064754179566185202352928982563201559523190958596851557005989093593979887180126241872745684338642301312345986974342577217815854022678742667364607597733025004758323129263396267476388133827081672176262633659055860887350850837560812452410465004005044971120593293423543246161758434044750248026615479925955742277934822263270146008934714095375802384395110659074685785939708644135411893941501508764651767176376854921363422197983690826763614804373006137665105862807783161686995814126100229342315388580635543692545498886377106047666949372047432945496073866957818661251498710189486003222013725591127925841258945761628053129870533937361328771220040605013950304087606068635823444291701900838756848945300869866203927546380535050521932565164517535863153145639774149995861476630930019771870450774966128798187633530163846413074235172183001011696474967273635112792808519149988197153036842377305977884138845181652159034035612045538678839315487088649654765790791746216421846563022760479542473003319765862181903936510838006079343086500199034543375617351143805433514027046745114049955367017148858854100374126240064589770424801852095296138793467554380743103361759137573350896442300353505031848640356386455229850185567229477506259956561984528732977931555166614653241371451120971684849556003078171230863963664004974855508154097128635243951809755648776552560683694344401067845474522834259756063204486047149263084250508502420317058212166451933609195443050629805835200722522194585754558776272177724653263521306949816766904325691435692809744403427049402191508517960061778712432435089453009810651318542497808446003718083370858927219543180593801640971761175563292523131688704843441776754237156277050994033540654164353437888302327084325785910093915153468570440141089865425638611090312739518975267727953991055486549094184655037266892070116649587014912084904691395709768203596184584621553085813981737271379592577123516163307941307491706649403118033740862536018584644288830058236443978471079625623725350878542628084392417592971218983835944362006181164454868105156884121076644108054897469343986823916211657433860445567504979683577483720290165528175114664070679293299061328260527563653024654493202977654946021590223096150632317571887099806981298381077033044188086044644101102307832666746553156687674599634638857728997681898289986002522938656987932637319883046142258291418550332481681312070568474505701424743774501342677755713624513371186441319493615286092522203419543425884633780443773260250453177827525253655871222366706525353664272276848170222754067606039585232073060778782652385708610697281914510392951061163503636043542044921064036605677761928241000206289430417329576798140879778707067373190939026971975259109412082490182778852782226579171277374962909974442531345569431944900802524098236305414922513081699565560268052993741595529420682925075144669446241797290208420817164892099823882793286780475621626745209549231659894547369532889460647686628455757397299014481034860612971821034201204535029875297968413158641088770960979261119212013703210024083171495372950366481390349886700436833186549654283974572907649598427691985723730829275219334336610485922039849609300286488556376731567288967472752491127572972076721996119250010256601437861905356569818914022582193125765824671087976850787940848144966860846961641958147079174875275422784935933531546285953017987801867089027064102865802034452852318406931018151935038260067827807194690739299779485582655547824895824650984899370678517568957189313538365278477390038977381233357120140806092657002885130788226335742901101718960472137785684685218317104884791011619372084661160314479710070899472732192631048479084090306059733439985231975520332726194457953704859531272622669039208990933131294760242923997458765346533985062228385515329249029175886731642285622339285384075288344296529922784195187628468884216070436660429814919916620797557837195460650017992698345676804663027043590025992654510275465867900555842564885841962564867666856139010549111666446905481150794200457420356046169595058295468110727393950885869708963901952138330405867284092067062942198739851891721997659266266203630039629487474952145253170262371342104371875060352961082090548262687458538834672074866654029101935452541193967598588159729552129791593998550193452017496434410121455376930998956194038152059150152309235271028826149207869577186586442727308355244207534157170916067217376071566061784638328184795743965008601218219565909535814785632170351537187948477400294448429863949155610257944805147790654235407143724688439658786084806888894331957126327998771217630038017817860476105845133981250995438025938479037675452378682882760242011838070754839485422473758922508532104987749520837350942041647778246268511364350058650999994956014856977504101026466024637833769909898939690951597108032069966391803843803020218542149119118475109532038032101029550194949400633491333215074860996947490748327090364242205589682576827173895260057185092945089480772589770287354446740556629216489339354093973119955110011420990783615181088258196936557256051604683452942607214237247870353940427486182235619585760511057355280485444270620101546927592442857459169494560812913500591017855202655158324788321419181368268164349641490854732611534052031324547595726958805143940609173837110639594483281117645440217993992753006746800257601128953934823149443438581687129445215719607789383629351073552892628473218501149276930867998377455325563930385903822738808768627040058885004382393038160407735223048480056033334311764399004385084066416213216762225499765824034534471462554610018733272652507527146628825850103596573028279228213647166855138655639447248220296476418366066314409386880721383341040059211857974614134524090622084486875323733067893066815467534102682989112901907452869531249290984567713999673836961175814281008370499282311977049678784270456089770845355584483187437130177512212298472388759917077551312347636916763297565970587382041272002564590540906450456323370203442490676539535411195533151301950074800122420595574066179481976406399893480308917230955882186991080602728008331944457386586457357730273486263886660930705049267897777701856077007572387629247821970093864111963685045868696404652792873423992814100982440848139540480225349960738888493007154741944904615537319666946159459604425072280178933810777275704918976314120771462832532110068218824762380763704396724926073000879113760611916035155169375056020367731769924740808484075564773802052930852194910690586398836207208574290982824082818703088172821136806180377853015645443397649762535742426943536592795757055244216977291078914730016828306069235036236439142157214238328332897586915533375057993772780085200768489876075037526891350966468308226483439325414123811731920611783118866909879590769977775240562658775146383914736774966302182137472911743955562727018577758299564322670397777152838602537990455110369036782320415083451124776852255599887987733120054356498498050545622425746994034505113044277284155726198008433483964134592911557247916482982950849192358141405993805348433458763768618078584782002868218215439079662468048670518774842386730404250554563850338532813388121727337888022245759931986114954219188137112812539394226364636886090365241980517049335215326823035730385833387752107907086462379988917791994414169987133474721728717729367063502818387600171224291012190583418697630128150609487773144484063670082688199423668469794265688450233349295485731462322685362956526138415856962094184177523597488133253355805280008206297724118164996116541543567116679136210869747870955582708066540258265305906388864160828934360542938471413877439135413045967119376208121903603176247925173019875850592523467178016352080525315855794466309192952379198376595126490860341106631380595438877445077761696499671140774380978463378457779288855733717028561411138399426012953534881033574799038133768778086347694058814955597186244758617528237819719304327749019841975073635429781503186126891918314290766517527394075649010688993568933091718613776859504393347777434077750908203742557261118425612945503822868027899182268843830533756192380230890244637385243461425655712781420681063760671292331837463738009135370837458958887875296538527183091985896110860497212096610117282565961042421973104521592159449854639933469320202113097096548183299494991537404639394569206866149574407517334708513764927839379132601333256049854351900117172091024914530082166560680863615628393494286134193417803782460730558718579945165667086030424331664809534947834872061586303204077402374311506999785279039258480126017795440930507496882205633252935773216855873870254085846158096359141935165680745534158794351811874773233007878394683165434487386036818384654320449419334852276723182862353144419650461166911940427061322748857955693701028777178435961340912756922481241278922018415588164992169612073614099635636343803819512492713096726699139029586379735569210999516059015332744450702847432707487266691302488733449781582235317760847839963655542944605982484569708681220531893819045184068573642567388846344669089695115855529947229606238288609238844552311822980176170173650713428581520128221055184877069634236099113270468660938493717081702869805924172624853200610261335166363231601669052864693086718462204882725815750395178034458289590143773820864132593635894779419695562972550010099088560784958575733437947926465193389106355832592972595015274800425381694296543683564287820408554160684099572738175490481352565983909925165991049200441855766737005507096310730653887838727801182982289406560870500231968516655114102671030789897399846249286095396250430806000369444854049808110530213797118637806894657224863071642057669000980530563234472243194102853608068296992356021528177032359299297144264857204565658214624674732978695016502190021040839582338052821016439661671785959162997932769514240447567422993962276824349868636658255895120171062352679006503439829936623154720050947454672665509902744319818411313622051691984242982895578551771581473376916830646557329140367038022235619785611861630962914768383085340721031570203613856100444524051184925154497448525108656471386632528677605111636093361088689507241276369784377087680354895524272996551423093366946731690377110452318034264003411449965273451570464069514024799111437124150987352939820150611325057671650776003842120859764521079910858851145136628888580300786800053843982976589483973601848965047676123155137612384673602256589552500362626593036715917294462864260352063479543633912937430016445936767444887279707571620121592423117188338699087808533983516411653074505456837664403179287326214928054300670374058187279702319127064933633571863742572174382238351033494579462881646121998464208461752563033307575089891425576614012560004379335031755050519235048179540160239430540893000036283998498808758862834265987927413522473874515746988552271034679580942205664230304136356882555607290922224898185061285933134076860216653876480821999113999459227510409536319876373525942885034378804220978054217994213104248046875000001
g=19
contribution table:{0, 1, 0}
*** a(t,u0,r):
791
2
*** a(t,u0+1l^(t-1),r):
798
0
result=O: Congruence does not hold. <=> deg D(t,r)=0 (Remark 1(II))

code version 3.3b
start=Sun 18 Aug 2024 05:50:19
end  =Fri 23 Aug 2024 03:13:32
elapsed(sec)=422593.298074