{"table": "T604", "skill_manifest": "agents/runs/20261029T075206Z-build-skills/manifest.json", "local_skill_sha256": "28ecbeeccb0c5e5d6eb541b5a5b0f88aec47b154374d909085116d34f5629199", "live_skill_sha256": "28ecbeeccb0c5e5d6eb541b5a5b0f88aec47b154374d909085116d34f5629199", "versions": {"sage": "10.9", "numberdb": "0.1.10", "python": "3.12.3"}, "working_decimal_digits": [150, 200], "independent_working_decimal_digits": 240}
{"control": "interval log determinant log(2*pi)", "passed": true, "info": {"K": 40, "N": 1, "tail_bound": "0", "relative_accuracy_bits": 801}}
{"control": "negative-even zeta derivatives via functional equation", "passed": true}
{"d": 1, "logdet_150": "[1.837877066409345483560659472811235279722794947275566825634303080965531391854520795389486597271908395244011293249268674892733725763681587144311751830445363 +/- 2.98e-154]", "det_150": "[6.283185307179586476925286766559005768394338798750211641949889184615632812572417997256069650684234135964296173026564613294187689219101164463450718816256962 +/- 6.89e-154]", "logdet_200": "[1.837877066409345483560659472811235279722794947275566825634303080965531391854520795389486597271908395244011293249268674892733725763681587144311751830445362787207121485094717338092791811982761611260326469746 +/- 8.38e-205]", "independent_logdet": "[1.8378770664093454835606594728112352797227949472755668256343030809655313918545207953894865972719083952440112932492686748927337257636815871443117518304453627872071214850947173380927918119827616112603264697461892547492510365033899089548201917187 +/- 7.09e-242]", "independent": {"K": 40, "N": 1, "tail_bound": "0", "relative_accuracy_bits": 801}, "overlap": true, "seconds": 0.004}
{"d": 2, "logdet_150": "[1.499780820605574600208169056891178925389470234308186980150196153197485095260414743213793499300971708698759887000404123670799286706864388068885850279740440 +/- 2.57e-154]", "det_150": "[4.48070688408305147276981915257897012457225721368348942940439489130058227033491386966789559249294619740690134204478930484576293319825191915081036950368506 +/- 5.09e-153]", "logdet_200": "[1.49978082060557460020816905689117892538947023430818698015019615319748509526041474321379349930097170869875988700040412367079928670686438806888585027974044011349594156125465373260805058923676997482795272060 +/- 2.67e-204]", "independent_logdet": "[1.499780820605574600208169056891178925389470234308186980150196153197485095260414743213793499300971708698759887000404123670799286706864388068885850279740440113495941561254654 +/- 3.20e-172]", "independent": {"K": 40, "N": 44, "tail_bound": "[2.2929128157051318491551492656230280580131178757704310207968519391533087574015766461533384999870373241346360011339812818848916007183466484624694285761696413320031369150106237355271731034945085669213882148066246842317988854363915821043288770492084e-172 +/- 6.52e-417]", "relative_accuracy_bits": 570}, "overlap": true, "seconds": 0.061}
{"source_discrepancy_d3": "printed +1/2 must be -1 for the stated spectra", "error_in_printed_constant": "3/2", "corrected_difference": "[-0.6376951068409565490106071990273847174525726263101483132123646032213257773634596299131868736685988235347527593551991004907469035892654639396973036128826827579616532478789236283713476446214974957266661356110191251182943584222889384842551691025921 +/- 8.77e-245]"}
{"d": 3, "logdet_150": "[0.921660953403571632357268805661376491196934203157703878615965727205769591569079753526199656852918761588741859934796621859319302708563463003109940098460034 +/- 3.32e-154]", "det_150": "[2.513461667539913506354081963449459501905534440035607856308615700410508465949105985811228846214245343346466022643728076149363982069988441525012686715752373 +/- 4.14e-154]", "logdet_200": "[0.92166095340357163235726880566137649119693420315770387861596572720576959156907975352619965685291876158874185993479662185931930270856346300310994009846003379690947339515099885631444345447028569429161265046 +/- 2.97e-204]", "independent_logdet": "[0.9216609534035716323572688056613764911969342031577038786159657272057695915690797535261996568529187615887418599347966218593193027085634630031099400984600337969094733951509989 +/- 4.70e-173]", "independent": {"K": 40, "N": 53, "tail_bound": "[1.4633474636736258273740487977020258454245478193946441116121104395729785018498697021610163417597090215544665576614881722917832552305667453132240198336873660756656741903470129921464437032831650873707185228511893827194557104813498360633654641150674e-173 +/- 1.87e-418]", "relative_accuracy_bits": 573}, "overlap": true, "seconds": 0.105}
{"d": 4, "logdet_150": "[0.660920092297478598690563870507889435227597835066359624799925807807961493626062397943630852359486432729992187532886511477449604864937750398244638624436625 +/- 5.16e-154]", "det_150": "[1.936573341145783262660051050535362949974768164666039340131159035991269490008368375161709944162295888736515433060744142016400518834504963814634635629362150 +/- 8.30e-154]", "logdet_200": "[0.66092009229747859869056387050788943522759783506635962479992580780796149362606239794363085235948643272999218753288651147744960486493775039824463862443662477705732717238306172235813391887098055038431571972 +/- 3.45e-204]", "independent_logdet": "[0.66092009229747859869056387050788943522759783506635962479992580780796149362606239794363085235948643272999218753288651147744960486493775039824463862443662477705732717238306 +/- 6.34e-171]", "independent": {"K": 40, "N": 59, "tail_bound": "[2.5814313554764040471426232954627003278334440501949681987538067413898941922532645774627426758922651231838011159127578784718330264257546979212207588901898228462700374862077873562648529256431222827379434923479745969315722065411294852406217999182965e-171 +/- 7.35e-416]", "relative_accuracy_bits": 565}, "overlap": true, "seconds": 0.076}
{"d": 5, "logdet_150": "[0.448269620105933382174961641291329810432056503477990950460117528756459462636803161469746657687369684809283288248655836883520435202311007831726329690611533 +/- 3.51e-154]", "det_150": "[1.565600756194695541901049196815040252916793657812783022952515764630561827499099578997567080540090676929632545808600411781839177261602078421793219295575041 +/- 4.00e-154]", "logdet_200": "[0.44826962010593338217496164129132981043205650347799095046011752875645946263680316146974665768736968480928328824865583688352043520231100783172632969061153281263229498984836428688428687608004332027333902369 +/- 5.66e-204]", "independent_logdet": "[0.448269620105933382174961641291329810432056503477990950460117528756459462636803161469746657687369684809283288248655836883520435202311007831726329690611532812632294989848365 +/- 8.83e-172]", "independent": {"K": 40, "N": 65, "tail_bound": "[8.049598408196375425931558554738972733990426415170819818278348706099377121293511621927294475802081540331504722853791399159473344545247005897906535308839653264783961695648360219565164659029660068183133197844103656140663815389950857720175218414959e-172 +/- 1.42e-416]", "relative_accuracy_bits": 566}, "overlap": true, "seconds": 0.072}
{"d": 6, "logdet_150": "[0.285619145805353881749678592831923516863904095564269512859100712030771413339192793213097547392977460892481180377150326350539461836705978682023171951128433 +/- 7.28e-154]", "det_150": "[1.330585599632418142217462745277892489593359743389149427029014851224239581001313882198020594621850866791779828066761688447508957963061083719796859523190233 +/- 7.28e-154]", "logdet_200": "[0.28561914580535388174967859283192351686390409556426951285910071203077141333919279321309754739297746089248118037715032635053946183670597868202317195112843265854629629522663262666422825103726272692325558011 +/- 5.14e-204]", "independent_logdet": "[0.28561914580535388174967859283192351686390409556426951285910071203077141333919279321309754739297746089248118037715032635053946183670597868202317195112843265854629629522664 +/- 8.27e-171]", "independent": {"K": 40, "N": 70, "tail_bound": "[4.2928254033054143375073702988587716927277440941221121944852726353453543990452835414205052259835145497412085318249980193190605890217592212102788554871866594496589961300391757263069121944246262115427810478789523873869547699749911920618468077687117e-171 +/- 8.41e-416]", "relative_accuracy_bits": 563}, "overlap": true, "seconds": 0.081}
{"d": 7, "logdet_150": "[0.155984486553013912298545073494494049341422322412627815859026513977028978012318290145176291945911577375510693990363231244893315697711898118882527798083205 +/- 2.64e-154]", "det_150": "[1.168808070707179737570142395406018907637705093264002254054690663591866023170440463774063399187816868769797355143965158169553399184443177010866915908935895 +/- 2.76e-154]", "logdet_200": "[0.15598448655301391229854507349449404934142232241262781585902651397702897801231829014517629194591157737551069399036323124489331569771189811888252779808320508100702148743388267943606764061675235573570112566 +/- 5.08e-204]", "independent_logdet": "[0.15598448655301391229854507349449404934142232241262781585902651397702897801231829014517629194591157737551069399036323124489331569771189811888252779808320508100702148743388 +/- 7.66e-171]", "independent": {"K": 40, "N": 75, "tail_bound": "[2.7746852903498390656328711130935226588852065846754816352049230458565374377443750742360973764200551320848876369317543446062461564968442894602442312990991302038139351841799139230035029639159406583464051660871073061735565938717781416996376660748814e-171 +/- 7.34e-416]", "relative_accuracy_bits": 563}, "overlap": true, "seconds": 0.089}
{"d": 8, "logdet_150": "[0.037319189941731414750492118562704374700018045217511604751986686531327927718186530705172589511391223512157881389293851974832312947348057320293665020508950 +/- 6.60e-154]", "det_150": "[1.038024294879871959028800170997614302889714238624900816054807344587121334687212136140056764163175848065656518438638274691441937623484706211070132482256287 +/- 8.22e-154]", "logdet_200": "[0.03731918994173141475049211856270437470001804521751160475198668653132792771818653070517258951139122351215788138929385197483231294734805732029366502050894981096444397460220942149555111617092297350220255831 +/- 5.53e-204]", "independent_logdet": "[0.037319189941731414750492118562704374700018045217511604751986686531327927718186530705172589511391223512157881389293851974832312947348057320293665020508949810964443974602210 +/- 6.83e-172]", "independent": {"K": 40, "N": 80, "tail_bound": "[5.1133131921937612844056883500878856286417354195006855961160158494580562211531911905873363376906698536943659984544082381288145709672109589554715736947517727505437466741576262104207583210514999594098716786769150638311120073889032019560507326550576e-172 +/- 4.93e-417]", "relative_accuracy_bits": 564}, "overlap": true, "seconds": 0.112}
{"d": 9, "logdet_150": "[-0.056056082700186625086081902107135546262291210999456326068058373958116281917120296156942838415380165984515800338310544776206010319752140740462316029012024 +/- 3.35e-154]", "det_150": "[0.945486108989483196580780240930363027350051146606630982880981811394277148343538764798937171845779275749626200968537426723846842273487723623252928818767380 +/- 6.91e-154]", "logdet_200": "[-0.05605608270018662508608190210713554626229121099945632606805837395811628191712029615694283841538016598451580033831054477620601031975214074046231602901202391269526973625808986775296626291080204163721511035 +/- 2.57e-204]", "independent_logdet": "[-0.0560560827001866250860819021071355462622912109994563260680583739581162819171202961569428384153801659845158003383105447762060103197521407404623160290120239126952697362581 +/- 1.97e-170]", "independent": {"K": 40, "N": 84, "tail_bound": "[5.312817132233400490755887356811561655638893828527786185487383911495950812370057475664889150197542755365889369857733497815661626074584038829329961275800419303577286953246676091928263660760915022507299552918625781180542606927742403066936563624638e-171 +/- 5.16e-415]", "relative_accuracy_bits": 560}, "overlap": true, "seconds": 0.118}
{"d": 10, "logdet_150": "[-0.149640914319034114130202891594616668512969011949923773579333226734739613409239868301123927189325538958787939896831105503915822703021921870339583912385007 +/- 8.96e-154]", "det_150": "[0.861017099832458197102279680473047890967657634123322523951013420775179249007819478218961934444020752435078321458690954500790761259964714459068292997963750 +/- 8.74e-154]", "logdet_200": "[-0.14964091431903411413020289159461666851296901194992377357933322673473961340923986830112392718932553895878793989683110550391582270302192187033958391238500648778359157401370285599406292071835313417817432471 +/- 8.16e-204]", "independent_logdet": "[-0.149640914319034114130202891594616668512969011949923773579333226734739613409239868301123927189325538958787939896831105503915822703021921870339583912385006487783591574013703 +/- 5.43e-172]", "independent": {"K": 40, "N": 89, "tail_bound": "[2.2207459085974999804937545394377159835879867712435664979451827080347785315219808903361564905163279277909149162293864473470546388147480671054901094195613180412229703520892539148466572411748910804349070212762277362281686381870421311226639191496388e-172 +/- 4.21e-417]", "relative_accuracy_bits": 567}, "overlap": true, "seconds": 0.115}
{"d": 11, "logdet_150": "[-0.222743406995815622322124834069145937450001855654999206173616297177242361264088606065729410099362396799465173482503064554151909941125767103295748827640843 +/- 6.57e-154]", "det_150": "[0.800320179509448951674910330249191812147637950784509373357554085247877216311758288144852878794644327665273709769475532171983139082586373398667391569915371 +/- 2.61e-154]", "logdet_200": "[-0.22274340699581562232212483406914593745000185565499920617361629717724236126408860606572941009936239679946517348250306455415190994112576710329574882764084263105697789800544206844215065036878004337522908508 +/- 2.90e-204]", "independent_logdet": "[-0.222743406995815622322124834069145937450001855654999206173616297177242361264088606065729410099362396799465173482503064554151909941125767103295748827640842631056977898005442 +/- 9.56e-172]", "independent": {"K": 40, "N": 93, "tail_bound": "[5.721713490240399723883188052437368786647133277750225814692251804796828234866315130983510726503395031231731061850783265762906389398147658455025055336888666374314546349272181038766934822536468810760372103045076356188862928482075940447451056336394e-172 +/- 5.59e-416]", "relative_accuracy_bits": 565}, "overlap": true, "seconds": 0.141}
{"d": 12, "logdet_150": "[-0.300085417944342268731743255847868267356588385161436191413865235953114703707580423037934671801613337860072115537543307847645547483792774911575662788422181 +/- 6.84e-154]", "det_150": "[0.740754944214687279312073019769905487608835358022639150509569058881199835120169254236104752827975129794014928670786088963119066643768812145046255633578245 +/- 6.10e-154]", "logdet_200": "[-0.30008541794434226873174325584786826735658838516143619141386523595311470370758042303793467180161333786007211553754330784764554748379277491157566278842218100645267388576304799790672367434767593350118210699 +/- 8.67e-204]", "independent_logdet": "[-0.30008541794434226873174325584786826735658838516143619141386523595311470370758042303793467180161333786007211553754330784764554748379277491157566278842218100645267388576305 +/- 3.59e-171]", "independent": {"K": 40, "N": 97, "tail_bound": "[8.852535382488045513753615427900806832958204537479737969368967114257307544909850348939610415998381467657790461700107296636844797917373162098818574164850083657353237919859633630139891518581952882199054671132251126932038635119774527744674713328144e-172 +/- 3.76e-416]", "relative_accuracy_bits": 566}, "overlap": true, "seconds": 0.164}
{"d": 13, "logdet_150": "[-0.360238978941683759187924739729699110072509664050954262552984688955362964592946188336653779738733551044136468569616828942025815230798083172597266205231716 +/- 4.09e-154]", "det_150": "[0.697509616041875370561961078402069564735693120080393065767574268453491691016079421948757424614715671231217151135573939514045641979518694598257700097114720 +/- 7.20e-154]", "logdet_200": "[-0.36023897894168375918792473972969911007250966405095426255298468895536296459294618833665377973873355104413646856961682894202581523079808317259726620523171613674649326180731184724116259891947280391728324801 +/- 3.33e-204]", "independent_logdet": "[-0.36023897894168375918792473972969911007250966405095426255298468895536296459294618833665377973873355104413646856961682894202581523079808317259726620523171613674649326180731 +/- 2.06e-171]", "independent": {"K": 40, "N": 101, "tail_bound": "[9.332438464249202360067108383570171567870383852423942575254091430875099818207328782698175650337458803212583243911825685764357402139909192846656255984114764135135328395116371591421234155242016380061705813551781681053512500058714219704566676604961e-172 +/- 3.86e-416]", "relative_accuracy_bits": 566}, "overlap": true, "seconds": 0.138}
{"d": 14, "logdet_150": "[-0.42619006319459202962707432773515288885169879241336002260099224564179698068418835591885725924239578196116641946166189301480697511340020131196160617799698 +/- 5.15e-153]", "det_150": "[0.652992220538097775010244135783646948986623596946592807182645851450315884675578154966254773618524979822135469457494861619594976126452775653465430889834877 +/- 4.55e-154]", "logdet_200": "[-0.42619006319459202962707432773515288885169879241336002260099224564179698068418835591885725924239578196116641946166189301480697511340020131196160617799697536629205788337356732434840396821141094548943669881 +/- 6.87e-204]", "independent_logdet": "[-0.42619006319459202962707432773515288885169879241336002260099224564179698068418835591885725924239578196116641946166189301480697511340020131196160617799697536629205788337357 +/- 3.98e-171]", "independent": {"K": 40, "N": 105, "tail_bound": "[7.347295096000298524963697894654577588021613441564468408756809622016274158639969903517569015499937611246550716720836480374680131681818956149758184535406213993851353490441991575664393900821699984902665000688209636312546984347610525864000567884918e-172 +/- 1.80e-416]", "relative_accuracy_bits": 566}, "overlap": true, "seconds": 0.155}
{"d": 15, "logdet_150": "[-0.477351548259711420307157299473049184796213969448780206561597208072500063221378578697458405336831703288047854364173511327708879279958741505143502589937462 +/- 8.55e-154]", "det_150": "[0.620424381839286912766200321093852666403516035559159589519889616417673114277763193724322580400346167219877976590541837021171162345159943443438768978071053 +/- 6.05e-154]", "logdet_200": "[-0.47735154825971142030715729947304918479621396944878020656159720807250006322137857869745840533683170328804785436417351132770887927995874150514350258993746153185460580641954709557630370448727892831820927387 +/- 4.13e-204]", "independent_logdet": "[-0.477351548259711420307157299473049184796213969448780206561597208072500063221378578697458405336831703288047854364173511327708879279958741505143502589937461531854605806419547 +/- 7.18e-172]", "independent": {"K": 40, "N": 109, "tail_bound": "[4.6238233333813634855256458258365282695980261445232985824102874755515024460698699793902889962587880433863163796350508312101403478560489490959756307876812861713387839637217064410566966004247092047239610967320721875147565915220393477494768945959560e-172 +/- 8.85e-417]", "relative_accuracy_bits": 567}, "overlap": true, "seconds": 0.158}
{"d": 16, "logdet_150": "[-0.534865232449307063015260914614740054020013244626981912219574887023795393537085652639775998765467010872493205090154110681516207769809076432291990743176108 +/- 9.32e-154]", "det_150": "[0.585748224679330161288967615494390670748143722731395981300649209157049235342397129766999462846425939398153031210685338499982057796425416803500087252405865 +/- 6.02e-154]", "logdet_200": "[-0.53486523244930706301526091461474005402001324462698191221957488702379539353708565263977599876546701087249320509015411068151620776980907643229199074317610761165382516071481291935594868414804415284357670727 +/- 7.47e-204]", "independent_logdet": "[-0.5348652324493070630152609146147400540200132446269819122195748870237953935370856526397759987654670108724932050901541106815162077698090764322919907431761076116538251607148 +/- 1.55e-170]", "independent": {"K": 40, "N": 112, "tail_bound": "[9.925986808948191185981391569918287447386197983902459890535300086765624496622710541090433053436215633233083352869875190788900403959851723610548105840275155360902000106812350307741831950172520887915834969966956650401343987698125123316621093264552e-171 +/- 4.66e-415]", "relative_accuracy_bits": 563}, "overlap": true, "seconds": 0.184}
{"d": 17, "logdet_150": "[-0.579413552836699483300461391580356366392887768728308829920014161962781273503800560338455652974760806616377749871445853544991901920753050825228418221588159 +/- 4.06e-154]", "det_150": "[0.560226813673234945239554320669487431679353335754454041029704919117804764944306102003383158058727723996756859389709847069448011491975050963643552415420092 +/- 6.68e-154]", "logdet_200": "[-0.57941355283669948330046139158035636639288776872830882992001416196278127350380056033845565297476080661637774987144585354499190192075305082522841822158815902509281776944031495032983586616878477778371000211 +/- 7.51e-204]", "independent_logdet": "[-0.57941355283669948330046139158035636639288776872830882992001416196278127350380056033845565297476080661637774987144585354499190192075305082522841822158815902509281776944031 +/- 6.06e-171]", "independent": {"K": 40, "N": 116, "tail_bound": "[4.1279547115476329408700907008061982539025106315252737806367534626011157123524042707992351026918236157860772672520204430218203269056156662047914940573220136116977521851999929918861350841420957012813861735460917389027406446229136212312784740393502e-171 +/- 8.20e-416]", "relative_accuracy_bits": 565}, "overlap": true, "seconds": 0.195}
{"d": 18, "logdet_150": "[-0.630422725108930975907236155876072540116169073599320127822418087190252592926767223735395746807790644656954694139996482182164323146300721388608637204674335 +/- 7.09e-154]", "det_150": "[0.532366708659246329263608342124902425699043185121044854350621987018948046172398106489620455925572130041747518783158755032467350576357572395738552199447603 +/- 4.57e-154]", "logdet_200": "[-0.63042272510893097590723615587607254011616907359932012782241808719025259292676722373539574680779064465695469413999648218216432314630072138860863720467433482265640418686868971279138979398472895428337058678 +/- 8.79e-204]", "independent_logdet": "[-0.63042272510893097590723615587607254011616907359932012782241808719025259292676722373539574680779064465695469413999648218216432314630072138860863720467433482265640418686869 +/- 2.98e-171]", "independent": {"K": 40, "N": 120, "tail_bound": "[1.5612473451374988976649291086752389102142722961769485224882287678585457943655121013599175992750589375844342907768002163052634822874794147044624962461152482816287750328839798901909723218351752821696769190218158716748613833363134547320223401916303e-171 +/- 4.51e-416]", "relative_accuracy_bits": 566}, "overlap": true, "seconds": 0.193}
{"d": 19, "logdet_150": "[-0.669899697753379549165062879063888896495266935329777066217604573912601883735791310192534940011514043485979922785321106244227293967121313115491967782170974 +/- 6.85e-154]", "det_150": "[0.511759905880627967630270334933437326836711809626127812152454763083876298580467123909691049950570705582663027114167251926778292306856999092865202576483669 +/- 6.68e-154]", "logdet_200": "[-0.66989969775337954916506287906388889649526693532977706621760457391260188373579131019253494001151404348597992278532110624422729396712131311549196778217097429675661644793765449886892445608714887236670056668 +/- 7.68e-204]", "independent_logdet": "[-0.669899697753379549165062879063888896495266935329777066217604573912601883735791310192534940011514043485979922785321106244227293967121313115491967782170974296756616447937654 +/- 6.63e-172]", "independent": {"K": 40, "N": 124, "tail_bound": "[5.495870999484353737450948951616431866740610332758104340671961483402024077310809089936357638557669177872373274995201511981213208153548258322028137013659643794616064760799910617858182897532191582670714939576924656047793727211010027137195896313500e-172 +/- 3.32e-416]", "relative_accuracy_bits": 567}, "overlap": true, "seconds": 0.183}
{"d": 20, "logdet_150": "[-0.715739095995864319437476470271337313124999206834907699005693837290505579407569827813655351216339710050612915599685327639250617995536556685663920072529422 +/- 8.81e-154]", "det_150": "[0.488830685446131387541723596219807806775471057465249036000243445590450826984854108436626940455668594377884743967150733961835445906438131539704585288133861 +/- 6.02e-154]", "logdet_200": "[-0.7157390959958643194374764702713373131249992068349076990056938372905055794075698278136553512163397100506129155996853276392506179955365566856639200725294217035933550170755720237564715790315937827748253615 +/- 1.46e-203]", "independent_logdet": "[-0.71573909599586431943747647027133731312499920683490769900569383729050557940756982781365535121633971005061291559968532763925061799553655668566392007252942170359335501707557 +/- 6.44e-171]", "independent": {"K": 40, "N": 127, "tail_bound": "[5.025212354988858367409891738039119329360527706816201524753006660098678027918141444814004999315973173918538942575730679542577899248209855930366082552730729990186600827586680672686175825153621274316508228050165828499828625360069519975360275796254e-171 +/- 3.06e-415]", "relative_accuracy_bits": 564}, "overlap": true, "seconds": 0.199}
{"changed_split_control": 2, "K": 50, "passed": true, "info": {"K": 50, "N": 42, "tail_bound": "[8.071055639964314456102141600340596816179752520892156600311589032023782822288636637522850139374045391266356307979989779742955240646978123955358979874689538040110997291391971125780717981561775420989581773556493698613095860314605871714542643073694e-173 +/- 3.04e-417]", "relative_accuracy_bits": 571}}
{"changed_split_control": 20, "K": 50, "passed": true, "info": {"K": 50, "N": 115, "tail_bound": "[8.367328926213158195611511594370241140379264080779347357824485218673731243932387051034146790945516325888569519504653506324570314977199175516069973447588461497749345485487391861338611782077617264099011081174374859460862087831696393484467402387651e-171 +/- 2.50e-415]", "relative_accuracy_bits": 563}}
{"status": "PASS", "entries": 40, "dimensions": 20, "minimum_accuracy_bits_150": 504, "minimum_independent_accuracy_bits": 560, "measure": {"entries": 40, "longest": 172, "longest_at": [9, "logdet"], "block_kb": 8.60546875}, "exactness": [], "independent_agrees_with": [], "perturbations_rejected": 40}