{"versions": {"sage": "10.9", "numberdb": "0.1.10", "mpmath": "1.4.1"}, "skill_manifest": "agents/runs/20261029T070407Z-build-skills/manifest.json", "local_skill_sha256": "28ecbeeccb0c5e5d6eb541b5a5b0f88aec47b154374d909085116d34f5629199", "live_skill_sha256": "28ecbeeccb0c5e5d6eb541b5a5b0f88aec47b154374d909085116d34f5629199"}
{"control": "independent interval log determinant = log(2*pi)", "passed": true}
{"control": "zeta functional equation at -2,-4,...,-18", "passed": true}
{"d": 1, "logdet_150": "[1.8378770664093454835606594728112352797227949472755668256343030809655313918545207953894865972719083952440112932492686748927337257636815871443117518304453628 +/- 4.81e-155]", "det_150": "[6.283185307179586476925286766559005768394338798750211641949889184615632812572417997256069650684234135964296173026564613294187689219101164463450718816256962 +/- 3.80e-154]", "logdet_200": "[1.837877066409345483560659472811235279722794947275566825634303080965531391854520795389486597271908395244011293249268674892733725763681587144311751830445362787207121485094717338092791811982761611260326469746 +/- 3.12e-205]", "independent_logdet": "[1.8378770664093454835606594728112352797227949472755668256343030809655313918545207953894865972719083952440112932492686748927337257636815871443117518304453627872071214850947173380927918119827616112603264697461892547492510365033899089548201917187 +/- 7.09e-242]", "independent": {"K": 40, "N": 1, "tail_bound": "0", "relative_accuracy_bits": 801}, "overlap": true, "seconds": 0.003}
{"d": 2, "logdet_150": "[-0.3380962458037708833524904159200563543333247129673798454841069277680462965941060521756930979709366865452514062488645512219344390568171990754259015507049227 +/- 8.66e-155]", "det_150": "[0.7131266491477017280095075738643492893842210989264195585953388211606338613672803718727323049800589735759607561721900626271725794541609852966029406625474901 +/- 6.38e-155]", "logdet_200": "[-0.338096245803770883352490415920056354333324712967379845484106927768046296594106052175693097970936686545251406248864551221934439056817199075425901550704922673711179923840063605484741222745991636432373749147 +/- 8.99e-205]", "independent_logdet": "[-0.338096245803770883352490415920056354333324712967379845484106927768046296594106052175693097970936686545251406248864551221934439056817199075425901550704922673711179923840063 +/- 6.62e-172]", "independent": {"K": 40, "N": 44, "tail_bound": "[2.2929128157051318491551492656230280580131178757704310207968519391533087574015766461533384999870373241346360011339812818848916007183466484624694285761696413320031369150106237355271731034945085669213882148066246842317988854363915821043288770492084e-172 +/- 6.52e-417]", "relative_accuracy_bits": 568}, "overlap": true, "seconds": 0.049}
{"d": 3, "logdet_150": "[0.2839658465626150833466616066339917737443615768475555654036011239844438142056201236130127831843199380539891005795975213685723991192979990634126364855773510 +/- 7.73e-155]", "det_150": "[1.328387560976645518420403226535296241318700408799215111873508642392151547768179093015233578674891212531453332360041786113996294472436249516705016036094228 +/- 3.06e-154]", "logdet_200": "[0.28396584656261508334666160663399177374436157684755556540360112398444381420562012361301278318431993805398910057959752136857239911929799906341263648557735103894782014727207522794309580984878819856494651485 +/- 1.15e-204]", "independent_logdet": "[0.2839658465626150833466616066339917737443615768475555654036011239844438142056201236130127831843199380539891005795975213685723991192979990634126364855773510389478201472720752 +/- 5.35e-173]", "independent": {"K": 40, "N": 53, "tail_bound": "[1.4633474636736258273740487977020258454245478193946441116121104395729785018498697021610163417597090215544665576614881722917832552305667453132240198336873660756656741903470129921464437032831650873707185228511893827194557104813498360633654641150674e-173 +/- 1.87e-418]", "relative_accuracy_bits": 572}, "overlap": true, "seconds": 0.063}
{"d": 4, "logdet_150": "[-0.108793142502150464255101895851974916494707037931431685352654829379113422954786329250034574979564369696409650793272374707337864822782319664636059087855010 +/- 4.98e-154]", "det_150": "[0.896915932095525895347972736683704080419741257529664067003010748111589034335746335013003349776311420921684847826825973229820596769718648852601095389395571 +/- 3.93e-154]", "logdet_200": "[-0.10879314250215046425510189585197491649470703793143168535265482937911342295478632925003457497956436969640965079327237470733786482278231966463605908785500960483708135760663833923281143974752207850594620255 +/- 2.13e-204]", "independent_logdet": "[-0.10879314250215046425510189585197491649470703793143168535265482937911342295478632925003457497956436969640965079327237470733786482278231966463605908785500960483708135760664 +/- 6.13e-171]", "independent": {"K": 40, "N": 59, "tail_bound": "[2.5814313554764040471426232954627003278334440501949681987538067413898941922532645774627426758922651231838011159127578784718330264257546979212207588901898228462700374862077873562648529256431222827379434923479745969315722065411294852406217999182965e-171 +/- 7.35e-416]", "relative_accuracy_bits": 562}, "overlap": true, "seconds": 0.063}
{"d": 5, "logdet_150": "[0.118701535332317583162081676943180759635700413105748976499600321062924864020273204647468533973505739563833175994072756315216174559905486684802388605707808 +/- 4.03e-154]", "det_150": "[1.126033786829180886933293203570488268482233083749086373094307015164288032235742468152490092632934312042988660034150141788697585497083527294993321726636103 +/- 1.51e-154]", "logdet_200": "[0.11870153533231758316208167694318075963570041310574897649960032106292486402027320464746853397350573956383317599407275631521617455990548668480238860570780829405164911438362237333020074079876396331507645477 +/- 5.41e-204]", "independent_logdet": "[0.118701535332317583162081676943180759635700413105748976499600321062924864020273204647468533973505739563833175994072756315216174559905486684802388605707808294051649114383623 +/- 8.54e-172]", "independent": {"K": 40, "N": 65, "tail_bound": "[8.049598408196375425931558554738972733990426415170819818278348706099377121293511621927294475802081540331504722853791399159473344545247005897906535308839653264783961695648360219565164659029660068183133197844103656140663815389950857720175218414959e-172 +/- 1.42e-416]", "relative_accuracy_bits": 564}, "overlap": true, "seconds": 0.065}
{"d": 6, "logdet_150": "[-0.030962690302682548295897121394093113228271100002095331898913761239938898123579637193777380857528021628478450510551507563578969082645519245417864999038839 +/- 5.99e-154]", "det_150": "[0.969511744590984018818486387166062598544808324554051321873293777149908463086976508482763709235806374309084302340862803404340333111036377314710138204472227 +/- 2.25e-154]", "logdet_200": "[-0.03096269030268254829589712139409311322827110000209533189891376123993889812357963719377738085752802162847845051055150756357896908264551924541786499903883852806823424684627165270375289129517384644864661176 +/- 2.09e-204]", "independent_logdet": "[-0.03096269030268254829589712139409311322827110000209533189891376123993889812357963719377738085752802162847845051055150756357896908264551924541786499903883852806823424684627 +/- 5.67e-171]", "independent": {"K": 40, "N": 70, "tail_bound": "[4.2928254033054143375073702988587716927277440941221121944852726353453543990452835414205052259835145497412085318249980193190605890217592212102788554871866594496589961300391757263069121944246262115427810478789523873869547699749911920618468077687117e-171 +/- 8.41e-416]", "relative_accuracy_bits": 559}, "overlap": true, "seconds": 0.081}
{"d": 7, "logdet_150": "[0.044930832956186619068630180328770432968950600911609685951201927777667346969789468415494389398902326366883404492050518872810253815844505232783662615398021 +/- 5.13e-154]", "det_150": "[1.045955511755983387646053150027294391477784481614067014413011628051599162336370352740429201689247421433756844851508925239698174457475784903485126974175863 +/- 5.82e-154]", "logdet_200": "[0.04493083295618661906863018032877043296895060091160968595120192777766734696978946841549438939890232636688340449205051887281025381584450523278366261539802063059789999574838548079171661776745712722548701430 +/- 4.51e-204]", "independent_logdet": "[0.04493083295618661906863018032877043296895060091160968595120192777766734696978946841549438939890232636688340449205051887281025381584450523278366261539802063059789999574839 +/- 5.38e-171]", "independent": {"K": 40, "N": 75, "tail_bound": "[2.7746852903498390656328711130935226588852065846754816352049230458565374377443750742360973764200551320848876369317543446062461564968442894602442312990991302038139351841799139230035029639159406583464051660871073061735565938717781416996376660748814e-171 +/- 7.34e-416]", "relative_accuracy_bits": 561}, "overlap": true, "seconds": 0.086}
{"d": 8, "logdet_150": "[0.011860530870540407307804283714716543734052298431429505639314702521907658346267827501216056480347405657560599052936614347701960132993150101320932458263831 +/- 1.81e-154]", "det_150": "[1.011931145867773764960480344677118727421387052435799755325254266079591628148791165865459305096609509299834673138221353459043051342132314843299392639559339 +/- 5.47e-154]", "logdet_200": "[0.01186053087054040730780428371471654373405229843142950563931470252190765834626782750121605648034740565756059905293661434770196013299315010132093245826383097398604328204497000083347689513400869719744350807 +/- 6.02e-204]", "independent_logdet": "[0.011860530870540407307804283714716543734052298431429505639314702521907658346267827501216056480347405657560599052936614347701960132993150101320932458263830973986043282044970 +/- 8.59e-172]", "independent": {"K": 40, "N": 80, "tail_bound": "[5.1133131921937612844056883500878856286417354195006855961160158494580562211531911905873363376906698536943659984544082381288145709672109589554715736947517727505437466741576262104207583210514999594098716786769150638311120073889032019560507326550576e-172 +/- 4.93e-417]", "relative_accuracy_bits": 562}, "overlap": true, "seconds": 0.09}
{"d": 9, "logdet_150": "[0.001318360111411554660014809299306140912597109181213285160774723109737233820126192693949347806096857014262531082757054345320451509474775949670081504001034 +/- 1.73e-154]", "det_150": "[1.001319229530130242416134784527835962310700099015345805006660252987205729842965022904625281656448450701786433206156823544835026392666355645232281872913843 +/- 3.42e-154]", "logdet_200": "[0.00131836011141155466001480929930614091259710918121328516077472310973723382012619269394934780609685701426253108275705434532045150947477594967008150400103402422397308879690683037496167803313532608338807408 +/- 2.04e-204]", "independent_logdet": "[0.00131836011141155466001480929930614091259710918121328516077472310973723382012619269394934780609685701426253108275705434532045150947477594967008150400103402422397308879691 +/- 5.67e-171]", "independent": {"K": 40, "N": 84, "tail_bound": "[5.312817132233400490755887356811561655638893828527786185487383911495950812370057475664889150197542755365889369857733497815661626074584038829329961275800419303577286953246676091928263660760915022507299552918625781180542606927742403066936563624638e-171 +/- 5.16e-415]", "relative_accuracy_bits": 555}, "overlap": true, "seconds": 0.088}
{"d": 10, "logdet_150": "[0.040030112944697896668588594992218445928564869527352512182916133707620787637987510913340445088378107913329964742659572822983561897193667448473221018762047 +/- 3.13e-154]", "det_150": "[1.040842116541575302637906607985979480045324456183305178582191822237253010927516159976917447408042752487244675413749666394015208641002941913740245663946490 +/- 7.08e-154]", "logdet_200": "[0.04003011294469789666858859499221844592856486952735251218291613370762078763798751091334044508837810791332996474265957282298356189719366744847322101876204710445134630239063588233414065849943147336592978708 +/- 2.96e-204]", "independent_logdet": "[0.040030112944697896668588594992218445928564869527352512182916133707620787637987510913340445088378107913329964742659572822983561897193667448473221018762047104451346302390636 +/- 2.49e-172]", "independent": {"K": 40, "N": 89, "tail_bound": "[2.2207459085974999804937545394377159835879867712435664979451827080347785315219808903361564905163279277909149162293864473470546388147480671054901094195613180412229703520892539148466572411748910804349070212762277362281686381870421311226639191496388e-172 +/- 4.21e-417]", "relative_accuracy_bits": 565}, "overlap": true, "seconds": 0.103}
{"d": 11, "logdet_150": "[-0.028223184113919184608491827368835618002489094057255364045298327568584594783775380273479522878007759223215846645957455972889147093472154083652234203404636 +/- 6.33e-154]", "det_150": "[0.972171369381306218572787473345622325642339562806715171850899022468888917032896377355845137001352973689012670975547674407835894036180863480721051436982397 +/- 6.87e-154]", "logdet_200": "[-0.02822318411391918460849182736883561800248909405725536404529832756858459478377538027347952287800775922321584664595745597288914709347215408365223420340463641296203604675173562902338345072549047134752397228 +/- 4.70e-204]", "independent_logdet": "[-0.028223184113919184608491827368835618002489094057255364045298327568584594783775380273479522878007759223215846645957455972889147093472154083652234203404636412962036046751735 +/- 8.40e-172]", "independent": {"K": 40, "N": 93, "tail_bound": "[5.721713490240399723883188052437368786647133277750225814692251804796828234866315130983510726503395031231731061850783265762906389398147658455025055336888666374314546349272181038766934822536468810760372103045076356188862928482075940447451056336394e-172 +/- 5.59e-416]", "relative_accuracy_bits": 562}, "overlap": true, "seconds": 0.106}
{"d": 12, "logdet_150": "[0.060436287886016604823809917861171401015338635581231003927920603565883144744147285192618167308993347553533522179012439063031503849465591334171105488262909 +/- 3.82e-154]", "det_150": "[1.062299914041009576701292167761337839783101982199139683164840384203668904540396833150971934756819655081257686155084366090146782703804012534445668167632982 +/- 4.60e-154]", "logdet_200": "[0.06043628788601660482380991786117140101533863558123100392792060356588314474414728519261816730899334755353352217901243906303150384946559133417110548826290879911761388096186606725370059138772494888797365433 +/- 5.29e-204]", "independent_logdet": "[0.06043628788601660482380991786117140101533863558123100392792060356588314474414728519261816730899334755353352217901243906303150384946559133417110548826290879911761388096187 +/- 4.28e-171]", "independent": {"K": 40, "N": 97, "tail_bound": "[8.852535382488045513753615427900806832958204537479737969368967114257307544909850348939610415998381467657790461700107296636844797917373162098818574164850083657353237919859633630139891518581952882199054671132251126932038635119774527744674713328144e-172 +/- 3.76e-416]", "relative_accuracy_bits": 563}, "overlap": true, "seconds": 0.115}
{"d": 13, "logdet_150": "[-0.049918660004883747798383270701854156352979890786681658881275069623191863490969197157054141716746296329844750250613786064719476514384260366838754862539266 +/- 5.45e-154]", "det_150": "[0.951306800644302242048642443700115196996456084571300267232685921878783904745843492167433874413746499317563738087955097756989236803571666007222873230865749 +/- 3.03e-154]", "logdet_200": "[-0.04991866000488374779838327070185415635297989078668165888127506962319186349096919715705414171674629632984475025061378606471947651438426036683875486253926564148760929358861242881896219673594585578633672974 +/- 7.45e-204]", "independent_logdet": "[-0.04991866000488374779838327070185415635297989078668165888127506962319186349096919715705414171674629632984475025061378606471947651438426036683875486253926564148760929358861 +/- 2.81e-171]", "independent": {"K": 40, "N": 101, "tail_bound": "[9.332438464249202360067108383570171567870383852423942575254091430875099818207328782698175650337458803212583243911825685764357402139909192846656255984114764135135328395116371591421234155242016380061705813551781681053512500058714219704566676604961e-172 +/- 3.86e-416]", "relative_accuracy_bits": 563}, "overlap": true, "seconds": 0.116}
{"d": 14, "logdet_150": "[0.076142924887880807806454217708219349018253623839831788108536873262456144446220456094067610468869074547242421740008683194720851476928214051489175864805440 +/- 5.62e-154]", "det_150": "[1.079116795783014659122007421521716481036990155190190447396044404808196680197263151823317035335033603467181789318779952735369304043282725512742947009551001 +/- 3.89e-154]", "logdet_200": "[0.07614292488788080780645421770821934901825362383983178810853687326245614444622045609406761046886907454724242174000868319472085147692821405148917586480544027728186831130079632013611928807297438336637918034 +/- 6.73e-204]", "independent_logdet": "[0.07614292488788080780645421770821934901825362383983178810853687326245614444622045609406761046886907454724242174000868319472085147692821405148917586480544027728186831130080 +/- 3.99e-171]", "independent": {"K": 40, "N": 105, "tail_bound": "[7.347295096000298524963697894654577588021613441564468408756809622016274158639969903517569015499937611246550716720836480374680131681818956149758184535406213993851353490441991575664393900821699984902665000688209636312546984347610525864000567884918e-172 +/- 1.80e-416]", "relative_accuracy_bits": 564}, "overlap": true, "seconds": 0.132}
{"d": 15, "logdet_150": "[-0.066729135405444148285434201313757768207867319620938510774483135319415223419776801486150794237582661630221971042238295567858041167569422879863159313495696 +/- 5.89e-154]", "det_150": "[0.935448546915441999009719349154466950813873485641780383001311997372087569056886029824191110158769588776657656441870900100660377932116720881841547548432433 +/- 2.93e-154]", "logdet_200": "[-0.06672913540544414828543420131375776820786731962093851077448313531941522341977680148615079423758266163022197104223829556785804116756942287986315931349569564088958745236716194867778271309038373964804855355 +/- 7.01e-204]", "independent_logdet": "[-0.066729135405444148285434201313757768207867319620938510774483135319415223419776801486150794237582661630221971042238295567858041167569422879863159313495695640889587452367162 +/- 7.74e-172]", "independent": {"K": 40, "N": 109, "tail_bound": "[4.6238233333813634855256458258365282695980261445232985824102874755515024460698699793902889962587880433863163796350508312101403478560489490959756307876812861713387839637217064410566966004247092047239610967320721875147565915220393477494768945959560e-172 +/- 8.85e-417]", "relative_accuracy_bits": 565}, "overlap": true, "seconds": 0.132}
{"d": 16, "logdet_150": "[0.088746938805518196007416224470921787663385313669274059272250470097442386257111937796634324994472051992568524364098622163018079696388009712121324216954129 +/- 7.22e-154]", "det_150": "[1.092804075027248285545614289863744622796701201551728383400677811887405580756488531169115056673142034942577140149887641523154329606217975993123310976379722 +/- 3.37e-154]", "logdet_200": "[0.08874693880551819600741622447092178766338531366927405927225047009744238625711193779663432499447205199256852436409862216301807969638800971212132421695412944404441183728087581800407051703332891619569501069 +/- 7.45e-204]", "independent_logdet": "[0.0887469388055181960074162244709217876633853136692740592722504700974423862571119377966343249944720519925685243640986221630180796963880097121213242169541294440444118372809 +/- 2.88e-170]", "independent": {"K": 40, "N": 112, "tail_bound": "[9.925986808948191185981391569918287447386197983902459890535300086765624496622710541090433053436215633233083352869875190788900403959851723610548105840275155360902000106812350307741831950172520887915834969966956650401343987698125123316621093264552e-171 +/- 4.66e-415]", "relative_accuracy_bits": 560}, "overlap": true, "seconds": 0.143}
{"d": 17, "logdet_150": "[-0.080260294723985574735272805729738654188642786193387195035693273400528862125597725279309304368436458714535437233687929846672929802284855059222361724014183 +/- 3.49e-154]", "det_150": "[0.922876095341442733529770263477044307900217566226642283906117016287928663416648535501472834247572007487824751169999620674646324169388398131564251716321745 +/- 6.53e-154]", "logdet_200": "[-0.08026029472398557473527280572973865418864278619338719503569327340052886212559772527930930436843645871453543723368792984667292980228485505922236172401418288521098463154312660200350601859379304305130912227 +/- 4.49e-204]", "independent_logdet": "[-0.08026029472398557473527280572973865418864278619338719503569327340052886212559772527930930436843645871453543723368792984667292980228485505922236172401418288521098463154312 +/- 8.57e-171]", "independent": {"K": 40, "N": 116, "tail_bound": "[4.1279547115476329408700907008061982539025106315252737806367534626011157123524042707992351026918236157860772672520204430218203269056156662047914940573220136116977521851999929918861350841420957012813861735460917389027406446229136212312784740393502e-171 +/- 8.20e-416]", "relative_accuracy_bits": 562}, "overlap": true, "seconds": 0.138}
{"d": 18, "logdet_150": "[0.099173402970720543273716070503289747594304680224077457614156442478770399456909099152670413826390963273334730352126212252933532190499441702722701664848662 +/- 3.18e-154]", "det_150": "[1.104257764534915908727057329007965720355436952826834441874701714188694266495884946789472316804102575187118985939167312399414226866504912472800649369818901 +/- 5.06e-154]", "logdet_200": "[0.09917340297072054327371607050328974759430468022407745761415644247877039945690909915267041382639096327333473035212621225293353219049944170272270166484866190221669002126309798502353160202360457073608795570 +/- 3.61e-204]", "independent_logdet": "[0.09917340297072054327371607050328974759430468022407745761415644247877039945690909915267041382639096327333473035212621225293353219049944170272270166484866190221669002126310 +/- 2.79e-171]", "independent": {"K": 40, "N": 120, "tail_bound": "[1.5612473451374988976649291086752389102142722961769485224882287678585457943655121013599175992750589375844342907768002163052634822874794147044624962461152482816287750328839798901909723218351752821696769190218158716748613833363134547320223401916303e-171 +/- 4.51e-416]", "relative_accuracy_bits": 563}, "overlap": true, "seconds": 0.159}
{"d": 19, "logdet_150": "[-0.091466034783051196779513941125793552374398551834169797910747649597048928237479370986325258389607775883529709939103617945237185831176212276686550685958389 +/- 7.21e-154]", "det_150": "[0.912592312021481131590406457289428552007212993479703812466405073868211726191103845055195263386435481251486761479334646476212464417113760152741712243884637 +/- 3.85e-154]", "logdet_200": "[-0.09146603478305119677951394112579355237439855183416979791074764959704892823747937098632525838960777588352970993910361794523718583117621227668655068595838853969546248309395766659144509330353397375653502478 +/- 6.09e-204]", "independent_logdet": "[-0.09146603478305119677951394112579355237439855183416979791074764959704892823747937098632525838960777588352970993910361794523718583117621227668655068595838853969546248309396 +/- 3.15e-171]", "independent": {"K": 40, "N": 124, "tail_bound": "[5.495870999484353737450948951616431866740610332758104340671961483402024077310809089936357638557669177872373274995201511981213208153548258322028137013659643794616064760799910617858182897532191582670714939576924656047793727211010027137195896313500e-172 +/- 3.32e-416]", "relative_accuracy_bits": 564}, "overlap": true, "seconds": 0.16}
{"d": 20, "logdet_150": "[0.108000407245009967222473884696595046372583786579206621853135939063139669391220762368455801211363616455371089111371676922694706640064491552664948246818547 +/- 7.44e-154]", "det_150": "[1.114048199076945149312817857989661120012285298229990382480466541159334002897694082824534066036645308308629430071062279719669083522177946773459964242818654 +/- 4.72e-154]", "logdet_200": "[0.10800040724500996722247388469659504637258378657920662185313593906313966939122076236845580121136361645537108911137167692269470664006449155266494824681854747389210720070882976585292349795713494625352542788 +/- 5.81e-204]", "independent_logdet": "[0.10800040724500996722247388469659504637258378657920662185313593906313966939122076236845580121136361645537108911137167692269470664006449155266494824681854747389210720070883 +/- 7.13e-171]", "independent": {"K": 40, "N": 127, "tail_bound": "[5.025212354988858367409891738039119329360527706816201524753006660098678027918141444814004999315973173918538942575730679542577899248209855930366082552730729990186600827586680672686175825153621274316508228050165828499828625360069519975360275796254e-171 +/- 3.06e-415]", "relative_accuracy_bits": 561}, "overlap": true, "seconds": 0.173}
{"changed_split_control": 2, "K": 50, "passed": true}
{"changed_split_control": 20, "K": 50, "passed": true}
{"status": "PASS", "entries": 40, "minimum_relative_accuracy_bits_150": 500, "measure": {"entries": 40, "longest": 173, "longest_at": [2, "logdet"], "block_kb": 8.607421875}, "exactness": [], "independent_agrees_with": []}