back to table · edit · history · where entries came from · files · download
52262 bytes, as of the version from 2026-10-27 08:39 (current). Recorded here, not run.
{
"table": "T542",
"skill_manifest": "agents/runs/20261027T075514Z-build-skills/manifest.json",
"skill_versions": [
{
"source": "local",
"file": "skill-local.md",
"sha256": "e37efb7e2ededf6c1d7134c673f152f648f26e0267c556aebdf3ec65765d8b4c"
},
{
"source": "live",
"file": "skill-live.md",
"sha256": "e37efb7e2ededf6c1d7134c673f152f648f26e0267c556aebdf3ec65765d8b4c"
}
],
"checks-high": {
"records": [
{
"key": "1,2",
"reference": "0.8402639322374488944048153024634379436012556119531050340213474817187877358778344659048994583215183970703474617206294647789045953939649706906080305703561072389246255898233703845176914886369881",
"full_reference": null,
"agreement_digits": "190.2862025484671406708227678745056317939414836481037634721575625702572472835089283003998812860773071639970311923104604809591301607576042321277462776509551668323323982218248416787718583223064769494611582518333092259193129",
"stored": false,
"library": false,
"wronskian_residual": null,
"sextic_closed_form_digits": null
},
{
"key": "2,2",
"reference": "0.9159655941772190150546035149323841107741493742816721342664981196217630197762547694793565129261151062485744226191961995790358988033258590594315947374811584069953320287733194605190387274781641",
"full_reference": null,
"agreement_digits": "190.8778719139420359721432498099912078666578547239815738750502822428837377528394755154392293119201735888075531202555972550047297762482695824383591658855205092117299168986501530876432768467115096773490632611826016260728493",
"stored": false,
"library": false,
"wronskian_residual": null,
"sextic_closed_form_digits": null
},
{
"key": "3,1",
"reference": "0.7836009674832748802994658836068563594913551043417053863467884304524923110139765593281934206754694301235843322078985753946858053855135900301766390949743373442373561866662592557859891304634589",
"full_reference": "3.319386965493754693169476319946829002023560536117475592219264782156101837521626859818290822847120283198608759831431420673958134818153476050007278260709095310477420165840792244092119709381756",
"agreement_digits": "191.3821209179693758716377221196015096269611126396883038696401852746102128625430389216183191842946297458435229172941434246861247173852662718839534880316465760609027957619707817465623992871106138554210487521441024444351408",
"stored": false,
"library": false,
"wronskian_residual": "2.0689398788392470792e-200",
"sextic_closed_form_digits": null
},
{
"key": "3,2",
"reference": "0.8890409906909802662720814146754651243609311125757582310392653924167659983027543539583655055347313319547549166675806658267129978024498725638881302801706723367490757908971119198955163896558699",
"full_reference": "1.09800337068057346588041407337990856791838316668915821059559902732856924493628706332595231610776001743503554082708464935962666195575341293623189527154419237641296312326029144828948959630186",
"agreement_digits": "157.1668125690434613875705221942622801855960259388281024224886136453563057788798053703360723163711396799267395320219849237056438108432611282036708259154022468447945968927672234184838346286270279779567268782974731291623949",
"stored": false,
"library": false,
"wronskian_residual": "-2.3611840630661415247e-167",
"sextic_closed_form_digits": null
},
{
"key": "4,1",
"reference": "0.7633029347734727834959000527236241533633885665433324749526156260786368657836555348694155656464276850033623001517434345254485826515955116233363184697815534858379232374187503268607338008052238",
"full_reference": "2.289908804320418350487700158170872460090165699629997424857846878235910597350966604608246696939283055010086900455230303576345747954786534870008955409344660457513769712256250980582201402415671",
"agreement_digits": "190.2949472298161854985912428781322436765544456371034862259666386033126792009338850760663933279388198163306198102088871119992156566230622798025264115583359092719305708214291995934604622747442333136683343588240624666936742",
"stored": false,
"library": false,
"wronskian_residual": "-2.0e-200",
"sextic_closed_form_digits": null
},
{
"key": "4,2",
"reference": "0.8331557979080023912186327602786739818027795159719601522088453449873976174341655496580463554931827076449358328612114004059285175544921429268974882299016472293569579629579090764283808747421014",
"full_reference": "0.9963208276787715060724700465937150050135078031028254076131607718349949712416468399359828502501163301936084959350232599031421502470031587694327634879426500564645426419021061054605363024027507",
"agreement_digits": "157.649291207173913395169498518959469531671822689629269401183651054386806010343558893597198449784155440465547708738884453332022928839112337015800487495125670090931694531799950862051180793134452344274705253489000932681263",
"stored": false,
"library": false,
"wronskian_residual": "-1.7723075277201530942e-167",
"sextic_closed_form_digits": null
},
{
"key": "5,1",
"reference": "0.7381576086874983492564476162301493852595983745750761414712027446306248869928332434227605627087190227949652837697418983478521477268444360803330980788844325387829020900751554191943942166689733",
"full_reference": "1.922070491443430806944571952871298785373765682468328621508611869298918480339198212887921576327099697985070111212370526069164110388217411703243796246036519555077245336899861597070441271978883",
"agreement_digits": "190.4150588587668124935507736923856093912965997068193525195277207301297137787376922785816868870573398249727264887085219962130687217435295305656396903914549076245011837649974966727416989637363724549795264884055362884010668",
"stored": false,
"library": false,
"wronskian_residual": "4.1376752267514978323e-201",
"sextic_closed_form_digits": null
},
{
"key": "5,2",
"reference": "0.7737981993082750289749985800694865178514515738750053921462175838371366449864997501693924133393719764803069915999741478920675555727428796509254670821337460907884155064322277248391525719887385",
"full_reference": "0.9108397549065565510669343408855582684034704619311029148439157228421820402300559971170081979305731004925146313906013193265247721286828160167613019228249234350731521522561272403738316715356328",
"agreement_digits": "158.1000076011162721977577372983017875257889460600362947571327303811383333407055244224099190662029653237396233538922067183427496492731985816613398672807691403608788727406848592440526972838409426983775061819055738252016468",
"stored": false,
"library": false,
"wronskian_residual": "-1.15187873025853814e-167",
"sextic_closed_form_digits": null
},
{
"key": "6,1",
"reference": "0.7130049393708506363245512906282431946383397889032182210844879319674173567477870386640916783824397821176961669553462627445520238566492561825027024679518846400154945022257194243573683187299768",
"full_reference": "1.721346194668113966341474187559077603311862291076695736298545207880918722674511398540029647836713598430300595484792487288819473214398489343207898382747532279768542130603379388650695792251406",
"agreement_digits": "190.3947886426661206595980198699407204412795425168130722367482729429659862360008616965809045951007684393936239014875757588546194896986296980518336122413911832356616376378580483010887955570386423837658799706138780453435225",
"stored": false,
"library": false,
"wronskian_residual": "5.4872809728261145572e-200",
"sextic_closed_form_digits": null
},
{
"key": "6,2",
"reference": "0.7189522955983526636449399098905563006054028970317956482942253986417211255175249609696733568525455116734893549551451228177451840048251105490200916715516298602008983563328454913729512853503086",
"full_reference": "0.8387491545184126620672059374086251999303201267569848904935731531423690903595456176220196457332217373718696441717229562848172510691717166501410795102233801124442065825938315680262946949366824",
"agreement_digits": "158.6226668007190843372385898801683160294873391022867042113397203255344706286750333780984342253097919027857072410140621963044148199976993415258120779287073736965366208805848447614865354369949198510385224080134012502641601",
"stored": false,
"library": false,
"wronskian_residual": "-8.5931047626224126802e-168",
"sextic_closed_form_digits": "167.3053256535648663683211510332662290773185936562252598528803562108219086302617339146850400846928136153871121806695339636561275297475291442153002859597019454246507764866736691307918155273710478545695037428727957835465001"
},
{
"key": "7,1",
"reference": "0.6895095879155625995697201942669598753289758766705897224101520104140409660322785363579529907389043769172467279511528609396826256904321301811847668045666193338028156057864738809919347670347937",
"full_reference": "1.589600430045033617309990840297260220894966166112886046442566142856265279624410293902798433481082535022247614895607584183901383702860954043409335611583500973338135954400401620626240595604577",
"agreement_digits": "190.4845550695959296428918107183502188232241879222923459470546416057541146814077576373573373749446992331517681744229675340087206175887660153109420529926430981340088867963807267521248851978267721282644753944972663864886555",
"stored": false,
"library": false,
"wronskian_residual": "4.4823409626427744519e-200",
"sextic_closed_form_digits": null
},
{
"key": "7,2",
"reference": "0.6705487969197929633016906018890316494457610489096220304531396549097146058244081547431706847838743433225782068872871135227773708964851591841294025757779351708530275443581593865603557686532521",
"full_reference": "0.7779567496716873852938031451573028143153605950969387636150390100708468296456187824033540073685081913300585337314601428994882428851235871977976679129216596257951269721524315332039255845223884",
"agreement_digits": "158.7920822791923099334585473066335515797763023410616053844461917969155769769439721950556457330364076619979848491542596507093097605776996377920727624343983087597908613682562357421167023806679248656129528324253381122197899",
"stored": false,
"library": false,
"wronskian_residual": "3.3291802403931634173e-168",
"sextic_closed_form_digits": null
},
{
"key": "8,1",
"reference": "0.6681353096862297134082697452146855807561545374458468758781213248747711875833619150973618514565101787569793067762199340950224963484857900561447401908413552976005374008671659086346102906764619",
"full_reference": "1.493995970626283323606449483976215692057478061489339631271175745340327534965228986029209139976675528702960105809514614005397497550565323413278121122025626296540916742841002526771230488844349",
"agreement_digits": "191.1582450016701992121125251526068499405565313484477342485090056242642428871911160263595570228819013715589593948064522534114139512635730864277406449856891140153815469422199390476831757798967669399591561969812227197018575",
"stored": false,
"library": false,
"wronskian_residual": "-5.038796351724797953e-200",
"sextic_closed_form_digits": null
},
{
"key": "8,2",
"reference": "0.6284843151105194727871486205751724570877879738355925876550839105783826271355334719450040249322967083739257353150859354403471427691592163209026313916127223723206735197804825004317475391738254",
"full_reference": "0.7264905365509530523276104496548539836689873482459224335917337074144197417298946322935003813605340312525981433953965730360142781237564400304663456643947167761471523816147529444947444713564927",
"agreement_digits": "159.2341877811660305420683263450950473799742158573068363569939359661166734695553295605326192351027296642236983492320019568554846143953283795644919167071040868716480380021457532321289018559050447905323920187185905967009191",
"stored": false,
"library": false,
"wronskian_residual": "2.8816995030726104523e-168",
"sextic_closed_form_digits": null
},
{
"key": "9,1",
"reference": "0.648886038380129023008750286294629123171327612778670219580019206950165498079295540160573715065055953538823068760196177322487265714872950568836423824843830059447241455200111442378269410907133",
"full_reference": "1.420218357421152822820077921486188836704305652818475236813235253633683930709727361091504138335855076100242866101839623245007476483347118700240783820170928086749536458051922707877585454067893",
"agreement_digits": "190.2720909781722670775767868808657482377446362134717328926135371117334475808338230194164484069267650524251367466571488778845839872443719224428643824112847658622393009669301152046982080144758998237924123898950344467682918",
"stored": false,
"library": false,
"wronskian_residual": "3.206987742738727407e-200",
"sextic_closed_form_digits": null
},
{
"key": "9,2",
"reference": "0.5920448685693137925245104177161908634105999951384435978396261361641418377933074286803394712316773001146358993549547133564925475120894785324819868358614858162555026343376708920906022213203684",
"full_reference": "0.6826375530927969955090308776399444955919809295822688294987029186446595921535004248801228803211452467154577823258488646290784695859134849596558775462643215060258633226255282729773196350429781",
"agreement_digits": "159.6346556209183040458674308871444043697679460568371844175249957425248783980194607896335233876113530513823059441085389918188468398637694708227091488512301635629330388685261945573454240265869532949299549018368647570994401",
"stored": false,
"library": false,
"wronskian_residual": "1.674426039694558076e-168",
"sextic_closed_form_digits": null
},
{
"key": "10,1",
"reference": "0.6315987101847940568232165147790744252766563060852571996248286598836618533276543221855544061835901085100975290410485226165266749364166757788052334801050644782997413076826539719153891229030071",
"full_reference": "1.360906080874816610219754929814874604665365898681591710881641854039578548249194519520555462377414348189970688193950136070531108817275596983404919465995953186558535748722940222826170124172227",
"agreement_digits": "191.630925355627473321995018905996332377357838804841466821485056733783244063634829012554535170574424953437992339119885177643236499514490396074837917888309162119301089344124998876582179290835950848752862492537247601400228",
"stored": false,
"library": false,
"wronskian_residual": "-5.3236464341991401293e-201",
"sextic_closed_form_digits": null
},
{
"key": "10,2",
"reference": "0.5604096453376910409790981611657337469997907721761708043408046267212269110837353463527614469024849745155931106408252787875401229927483638866292817169266415300650158375032200141223107494457422",
"full_reference": "0.6449883867695178073696874156734389647644144971529971375192277476286622972307630513117654251004663053318162044678872550973110322122758449134342412746644799697459083397085567645351615979273793",
"agreement_digits": "159.9982445302458950759379139519730157585947568692477582047407971881156706166108393330153862455601977626931614785424519633856135599781333108822994207245374409762021502812776660801404902598684629722052561208084076601028895",
"stored": false,
"library": false,
"wronskian_residual": "9.1222075498807574745e-169",
"sextic_closed_form_digits": null
},
{
"key": "11,1",
"reference": "0.6160621130412225937872363358946895448717726769629583114819343483919118150321189743537096505037674973898850620807411424596162363836460546593159405108980151459604586234724386294649177797754916",
"full_reference": "1.311818983165571593593679839008201567953562395209460172667092562748054778746015293732248740728401489268099811398340381320289432144636799281622841337136376544856084638284894181329948452739394",
"agreement_digits": "190.8743461829794358550981248021486230890738736818519651552117674368325075024620077774502536896279934405975016420537835269128226178120934756264678746124258531150148023817808424610475911754009268607602992103222010396639639",
"stored": false,
"library": false,
"wronskian_residual": "-9.3031459620572627324e-201",
"sextic_closed_form_digits": null
},
{
"key": "11,2",
"reference": "0.5328199648061817691759353378159151592624568848282052319811243189639021335559765829244720414309756463694426042075390673558752303554500979473303052067938401884950275316689930114042258578418897",
"full_reference": "0.612412091444097606930645701550948541714292584463074890228209653494800920084649314246126931614606147818263522451622680549903022996673931139583606583943700743617426628121346474445669106174476",
"agreement_digits": "159.6309275016533324760146944562920649962380247894864311431358896593049333121382927095051573203098024008656476174647958077536159925147199122652566125744574575189349835426694448590063734098715019074777919861325961256367396",
"stored": false,
"library": false,
"wronskian_residual": "4.9823066966410333693e-169",
"sextic_closed_form_digits": null
},
{
"key": "12,1",
"reference": "0.6020647751346410782612229259678147963509492093401109792468081395793212982997435527282514297178344160594025561584327172831703180543536617488211083348823770797802091218961617092108198438420047",
"full_reference": "1.270306261143288234259549964910521536697501322389553580887760188612699158305650179350427774969227126459015691255916375359804962628347770356389360272073294467409470675924147182544367218803113",
"agreement_digits": "190.1619757602002758844258629681207242107717264374289392664643232503362524405532652407411923965290132384638448888169901700815113207829447968490010911964338928584735108928224436447073181085970200222893307019803159581284373",
"stored": false,
"library": false,
"wronskian_residual": "9.6273026439564565881e-201",
"sextic_closed_form_digits": null
},
{
"key": "12,2",
"reference": "0.5086249291621045125211097258333361978071782366909665844455067587461397968775632024814745273269731363705185491204379708949246550174299464623188457537709983377300863779072131173591889730774741",
"full_reference": "0.5840093424641228311308246685518228896715669841124739760982547285404538520450949108939539694109215394345816622833620140825565838258602128422434444474242759054492472018640417758720870805376979",
"agreement_digits": "159.7933601771952429537151443979450237515010484169229194623181338955655785527119795102897369196544102457571334297167658354547037075599432588479879860796535212234373454188461028770064308176603806940675985223300523909380723",
"stored": false,
"library": false,
"wronskian_residual": "2.7848279422591748654e-169",
"sextic_closed_form_digits": null
}
],
"summary": {
"entries": 22,
"minimum_agreement": "157.1668125690434613875705221942622801855960259388281024224886136453563057788798053703360723163711396799267395320219849237056438108432611282036708259154022468447945968927672234184838346286270279779567268782974731291623949",
"stored": false,
"library": false
}
},
"checks-library": {
"records": [
{
"key": "1,2",
"reference": "0.8402639322374488944048153",
"full_reference": null,
"agreement_digits": "26.532874095697446384259098564968877436039012467573678998680957613148089323209142544974169384552778262432933260428076387084360060197251019546612235685217101564745611625886318501672977962568082325318801927394896060279535",
"stored": false,
"library": true,
"wronskian_residual": null,
"sextic_closed_form_digits": null
},
{
"key": "2,2",
"reference": "0.9159655941772190150546035",
"full_reference": null,
"agreement_digits": "25.78775000794967441651433603347781899836792825029187271782714888014086232158280975724812793600168312100707828507411702045415950426919461739895169688780823810520428702243059761875010399337058999727503210421789329860169589",
"stored": false,
"library": true,
"wronskian_residual": null,
"sextic_closed_form_digits": null
},
{
"key": "3,1",
"reference": "0.7836009674832748802994659",
"full_reference": "3.319386965493754693169476",
"agreement_digits": "25.67943271924535283073337179333467572608172187240897380741107892706512540469495328251539962692273733683779005120477162841588035008707386309507929205227877961607949578299362836509423938045070359003784689615803993906360185",
"stored": false,
"library": true,
"wronskian_residual": null,
"sextic_closed_form_digits": null
},
{
"key": "3,2",
"reference": "0.8890409906909802662720814",
"full_reference": "1.098003370680573465880414",
"agreement_digits": "25.78232991061813378847039815712750147338935342848106821028440273994269743842289357623428466361468282505422131051020085239279522275349233419303847580469069777498369280399366906855513345086067614302135342680199640664767064",
"stored": false,
"library": true,
"wronskian_residual": null,
"sextic_closed_form_digits": null
},
{
"key": "4,1",
"reference": "0.7633029347734727834959",
"full_reference": "2.2899088043204183504877",
"agreement_digits": "25.1606916767252630928941683541060296662826851916184646922432995277698790960917097977662211111354531749906217518192032132448927363633035473250206506525024029119751977424075973404025828382106825878936711452622244960389856",
"stored": false,
"library": true,
"wronskian_residual": null,
"sextic_closed_form_digits": null
},
{
"key": "4,2",
"reference": "0.8331557979080023912186328",
"full_reference": "0.9963208276787715060724701",
"agreement_digits": "25.32170248277777939993807125296966589268658199368647174465067161421712505138242755647596152757832769988328964611211521951748798501742977128875065678919762480049757284459120864443269177139078522726290741902425010644867842",
"stored": false,
"library": true,
"wronskian_residual": null,
"sextic_closed_form_digits": null
},
{
"key": "5,1",
"reference": "0.7381576086874983492564476",
"full_reference": "1.922070491443430806944572",
"agreement_digits": "25.65782658350811405463724815067420814386184591080719890192423428195235103919213649271193038294702280494687953837559508583746155603868077671008675662967178117433858363896011758888625639561182388973952051503864542682345487",
"stored": false,
"library": true,
"wronskian_residual": null,
"sextic_closed_form_digits": null
},
{
"key": "5,2",
"reference": "0.7737981993082750289749986",
"full_reference": "0.9108397549065565510669343",
"agreement_digits": "25.58910922690557547237468774096168378863586774005979066826601544704507045491029059665621409772085473405620025445213013485397660676107704820716272957791510751904579809569176334685379895875847352927941476979476648668005231",
"stored": false,
"library": true,
"wronskian_residual": null,
"sextic_closed_form_digits": null
},
{
"key": "6,1",
"reference": "0.7130049393708506363245513",
"full_reference": "1.721346194668113966341474",
"agreement_digits": "25.88127152821214332122782860716787602361132936382241027205935325828886012386528644270428526738127194473168135454751405076806419464700264049497352435361091039428426516969017710241387548633926775441333984925777082232317555",
"stored": false,
"library": true,
"wronskian_residual": null,
"sextic_closed_form_digits": null
},
{
"key": "6,2",
"reference": "0.7189522955983526636449399",
"full_reference": "0.8387491545184126620672059",
"agreement_digits": "25.86147935528964814560478044151237205252102127175263201529838773764282595149367259630343465363211945650363663968767051202486283252727651996154478421956972105401689215258220993901478321448864441640976634259637903441508104",
"stored": false,
"library": true,
"wronskian_residual": null,
"sextic_closed_form_digits": "167.3053256535648663683211510332662290773185936562252598528803562108219086302617339146850400846928136153871121806695339636561275297475291442153002859597019454246507764866736691307918155273710478545695037428727957835465001"
},
{
"key": "7,1",
"reference": "0.6895095879155625995697202",
"full_reference": "1.589600430045033617309991",
"agreement_digits": "26.08015532825200538921724358781305908687365042497366895144235061925939041003515435570635717939181341527010287181708666432846865920070401870375366576328009524298843356387850932147055732881886794695141963123448230457958673",
"stored": false,
"library": true,
"wronskian_residual": null,
"sextic_closed_form_digits": null
},
{
"key": "7,2",
"reference": "0.6705487969197929633016906",
"full_reference": "0.7779567496716873852938031",
"agreement_digits": "26.55019115335637527616318169813708309490295916623289005660119805345454452226403089718377568854195764271555962437319319186307434692210937930930043207241175141209184169827325267284325062113163740300323556541322971812050773",
"stored": false,
"library": true,
"wronskian_residual": null,
"sextic_closed_form_digits": null
},
{
"key": "8,1",
"reference": "0.6681353096862297134082698",
"full_reference": "1.49399597062628332360645",
"agreement_digits": "25.08620026554301348275354392031597397311513066373301815126780193093983041297771747201162594768384161666147574560546892314296640684275491326612827009870193106870626596243575489241272430052070509409503348899025152814230626",
"stored": false,
"library": true,
"wronskian_residual": null,
"sextic_closed_form_digits": null
},
{
"key": "8,2",
"reference": "0.6284843151105194727871487",
"full_reference": "0.7264905365509530523276105",
"agreement_digits": "24.8983381630977139438537163809872517328382123114033390155949394131651691570691046992749201966318484114303846501090996849140055981631978411329535337621480917998614235336153311709458049790875162891447332116897202565667724",
"stored": false,
"library": true,
"wronskian_residual": null,
"sextic_closed_form_digits": null
},
{
"key": "9,1",
"reference": "0.6488860383801290230087503",
"full_reference": "1.420218357421152822820078",
"agreement_digits": "25.67527763750945050691898288358365614120539666219243211653419713441281500673926459714144864866850414656337349359190597361920133785142201323910777621348947569252936937527889226398335822531200042846312719322867451981874926",
"stored": false,
"library": true,
"wronskian_residual": null,
"sextic_closed_form_digits": null
},
{
"key": "9,2",
"reference": "0.5920448685693137925245105",
"full_reference": "0.6826375530927969955090309",
"agreement_digits": "24.85704023317096104211336625069055495894519240331873365518265988298098681088714461418339557305793694625416234086286862406565090495999708316743499528707320781984596009652657660417566671806845794770797241950769166758498314",
"stored": false,
"library": true,
"wronskian_residual": null,
"sextic_closed_form_digits": null
},
{
"key": "10,1",
"reference": "0.6315987101847940568232165",
"full_reference": "1.360906080874816610219755",
"agreement_digits": "25.63079399826098119329191082971128650246004979523764653795495813511752098734901163289624556118182773694174191777963271966104786462197886926567512422911297827548012993044880345481014263350225064282762066238153783575884317",
"stored": false,
"library": true,
"wronskian_residual": null,
"sextic_closed_form_digits": null
},
{
"key": "10,2",
"reference": "0.5604096453376910409790982",
"full_reference": "0.6449883867695178073696875",
"agreement_digits": "25.15929049754927253624124873257762829791265461093766117978320372434506830748748191958053772671150478757870240480692300364368557859409707292018051451599726314163844950192500545244994157764393234325866365838364677350835033",
"stored": false,
"library": true,
"wronskian_residual": null,
"sextic_closed_form_digits": null
},
{
"key": "11,1",
"reference": "0.6160621130412225937872363",
"full_reference": "1.31181898316557159359368",
"agreement_digits": "25.23459429966239975773411089216832782851881767733309733888620192646704606001768946280114924973063152346442063148366726522126387835526986572548946128926910654608925743474224815794046453142810224106916793305000007709298641",
"stored": false,
"library": true,
"wronskian_residual": null,
"sextic_closed_form_digits": null
},
{
"key": "11,2",
"reference": "0.5328199648061817691759353",
"full_reference": "0.6124120914440976069306457",
"agreement_digits": "25.14890587456780588852319499114106391472191726881313557439025824761538596821880570946903773290225554285246448769539349713916936902164713231059257765535954265686521853165412188358341316630360712187805065492919878378928269",
"stored": false,
"library": true,
"wronskian_residual": null,
"sextic_closed_form_digits": null
},
{
"key": "12,1",
"reference": "0.6020647751346410782612229",
"full_reference": "1.27030626114328823425955",
"agreement_digits": "25.36520781369804338561532462273288736147862101275290275439000524264330604484849414285573222436016028752475344891263829034663724679578403113926158616224386784532263152462250748837894495548127084717123540148871751369157923",
"stored": false,
"library": true,
"wronskian_residual": null,
"sextic_closed_form_digits": null
},
{
"key": "12,2",
"reference": "0.5086249291621045125211097",
"full_reference": "0.5840093424641228311308246",
"agreement_digits": "25.29421714643324168322064144076357348739730989475020346479679980922100647967926199665391101714503466831674597854060615284834260704111070743567289572118778932546321080414202439962284094243234537977821868843697831580449513",
"stored": false,
"library": true,
"wronskian_residual": null,
"sextic_closed_form_digits": null
}
],
"summary": {
"entries": 22,
"minimum_agreement": "24.85704023317096104211336625069055495894519240331873365518265988298098681088714461418339557305793694625416234086286862406565090495999708316743499528707320781984596009652657660417566671806845794770797241950769166758498314",
"stored": false,
"library": true
}
},
"build_summary": {
"entries": 22,
"measure": {
"entries": 22,
"longest": 154,
"longest_at": "10,1",
"block_kb": 3.8291015625
},
"seconds": 116.85626925108954
},
"source_hashes": {
"voros1983.pdf": "edd87f52c0077a5234989a4c4516caba899fb1460b6782473b79f737dacb0ceb",
"voros2022.pdf": "ebb1517405e1891dc5f3b7dd723d130b40f67ee649a51d8bc6b299dc7aeaa5ac",
"watkins2012.pdf": "da280a949515d5596589146a93be10b8d269d48522b17fc9298b69d2e0a01f25",
"accelerate.py": "c0a1143175711f966663c5c9fef7bf06edffe104f612204b649844d6b9d4baf0"
},
"stored_checks": {
"records": [
{
"key": "1,2",
"reference": "0.8402639322374488944048153024634379436012556119531050340213474817187877358778344659048994583215183970703474617206294647789045953939649706906080305703561072389246255898233703845176914886369881",
"full_reference": null,
"agreement_digits": "100.4523538469228437166968897722241701645669819376559669724894559436651252853679775087457230917076055772729505479017739445839051265324290039331427515762153603683991063698890505234325497852112367868741261683776940909303275",
"stored": true,
"library": false,
"wronskian_residual": null,
"sextic_closed_form_digits": null
},
{
"key": "2,2",
"reference": "0.9159655941772190150546035149323841107741493742816721342664981196217630197762547694793565129261151062485744226191961995790358988033258590594315947374811584069953320287733194605190387274781641",
"full_reference": null,
"agreement_digits": "100.275471513798851250646305929947805871205614597670325621363132757703773149078183087447502690254985871457795905100750651994347748604097578983127604884830735714945016014416988619282852250341934859304775203761321735320976",
"stored": true,
"library": false,
"wronskian_residual": null,
"sextic_closed_form_digits": null
},
{
"key": "3,1",
"reference": "0.7836009674832748802994658836068563594913551043417053863467884304524923110139765593281934206754694301235843322078985753946858053855135900301766390949743373442373561866662592557859891304634589",
"full_reference": "3.319386965493754693169476319946829002023560536117475592219264782156101837521626859818290822847120283198608759831431420673958134818153476050007278260709095310477420165840792244092119709381756",
"agreement_digits": "100.5214713798548326055659847344567800876519777350468565009020382641747457007719307234268859797109593360959404764682496203895568207177639313612030610599902908192133476619640020007536304974851289484203880999415744337965811",
"stored": true,
"library": false,
"wronskian_residual": "0.?e-98",
"sextic_closed_form_digits": null
},
{
"key": "3,2",
"reference": "0.8890409906909802662720814146754651243609311125757582310392653924167659983027543539583655055347313319547549166675806658267129978024498725638881302801706723367490757908971119198955163896558699",
"full_reference": "1.09800337068057346588041407337990856791838316668915821059559902732856924493628706332595231610776001743503554082708464935962666195575341293623189527154419237641296312326029144828948959630186",
"agreement_digits": "100.2933503928564887067644343801742630824599434254166773632332364487315542728889024645715526891675561834692957209879311237949350933471545290730369825355442026135819373268755166904848202073239497053808355297106841678892818",
"stored": true,
"library": false,
"wronskian_residual": "0.?e-98",
"sextic_closed_form_digits": null
},
{
"key": "4,1",
"reference": "0.7633029347734727834959000527236241533633885665433324749526156260786368657836555348694155656464276850033623001517434345254485826515955116233363184697815534858379232374187503268607338008052238",
"full_reference": "2.289908804320418350487700158170872460090165699629997424857846878235910597350966604608246696939283055010086900455230303576345747954786534870008955409344660457513769712256250980582201402415671",
"agreement_digits": "101.356060451974986836896989645320822479826845055633916031028271541368895932139139036451992095439638490211239400046473063650443980044490966767251190180834060006927848153753142256633319239089355194544878256019493617313269",
"stored": true,
"library": false,
"wronskian_residual": "0.?e-98",
"sextic_closed_form_digits": null
},
{
"key": "4,2",
"reference": "0.8331557979080023912186327602786739818027795159719601522088453449873976174341655496580463554931827076449358328612114004059285175544921429268974882299016472293569579629579090764283808747421014",
"full_reference": "0.9963208276787715060724700465937150050135078031028254076131607718349949712416468399359828502501163301936084959350232599031421502470031587694327634879426500564645426419021061054605363024027507",
"agreement_digits": "100.2681334253954450404753049909742234304344606829619669648791025958717548422214033510110617595799857395197678780520761393789134463397086770383673915850065846375981140856136711780044577180787766192687007831653033021862927",
"stored": true,
"library": false,
"wronskian_residual": "0.?e-99",
"sextic_closed_form_digits": null
},
{
"key": "5,1",
"reference": "0.7381576086874983492564476162301493852595983745750761414712027446306248869928332434227605627087190227949652837697418983478521477268444360803330980788844325387829020900751554191943942166689733",
"full_reference": "1.922070491443430806944571952871298785373765682468328621508611869298918480339198212887921576327099697985070111212370526069164110388217411703243796246036519555077245336899861597070441271978883",
"agreement_digits": "101.1661741030690899727718090683783064605506114676584267782139745401556054487113254621659199490749009746406818970616634867580842888070949970499832528194808822315936566775047627888059442612971318727000766879394818964288141",
"stored": true,
"library": false,
"wronskian_residual": "0.?e-98",
"sextic_closed_form_digits": null
},
{
"key": "5,2",
"reference": "0.7737981993082750289749985800694865178514515738750053921462175838371366449864997501693924133393719764803069915999741478920675555727428796509254670821337460907884155064322277248391525719887385",
"full_reference": "0.9108397549065565510669343408855582684034704619311029148439157228421820402300559971170081979305731004925146313906013193265247721286828160167613019228249234350731521522561272403738316715356328",
"agreement_digits": "100.5943156485978362783617595711625919099548243829176142776971205867389976710403844687737553399884957154979145065603312571007779129195429216732423637518798625381500022978123811823284747156793513023935158354648992598864176",
"stored": true,
"library": false,
"wronskian_residual": "0.?e-99",
"sextic_closed_form_digits": null
},
{
"key": "6,1",
"reference": "0.7130049393708506363245512906282431946383397889032182210844879319674173567477870386640916783824397821176961669553462627445520238566492561825027024679518846400154945022257194243573683187299768",
"full_reference": "1.721346194668113966341474187559077603311862291076695736298545207880918722674511398540029647836713598430300595484792487288819473214398489343207898382747532279768542130603379388650695792251406",
"agreement_digits": "100.6052133314387485425750130159272009086513464838787424922950880189924678373869977350666244308141102483356368447444633537576358116925218365722856492598201243016729541987002730179893181919428131356194533275763306968418236",
"stored": true,
"library": false,
"wronskian_residual": "0.?e-98",
"sextic_closed_form_digits": null
},
{
"key": "6,2",
"reference": "0.7189522955983526636449399098905563006054028970317956482942253986417211255175249609696733568525455116734893549551451228177451840048251105490200916715516298602008983563328454913729512853503086",
"full_reference": "0.8387491545184126620672059374086251999303201267569848904935731531423690903595456176220196457332217373718696441717229562848172510691717166501410795102233801124442065825938315680262946949366824",
"agreement_digits": "100.4332797798263250393699980494449160613218022001662304166284115918287442129609056271815121714991846405861426974295234709176260187866053309777383769893381383748095024210621842870308666772573215877785712038223092969260075",
"stored": true,
"library": false,
"wronskian_residual": "0.?e-98",
"sextic_closed_form_digits": "100.4332797798263250393699980494449160613218022001662304166284396718407734562063451416090614362437810837301985702643543149214611136764255366327512325165512660275908183988313570357696616380170764721930851898297641910966089"
},
{
"key": "7,1",
"reference": "0.6895095879155625995697201942669598753289758766705897224101520104140409660322785363579529907389043769172467279511528609396826256904321301811847668045666193338028156057864738809919347670347937",
"full_reference": "1.589600430045033617309990840297260220894966166112886046442566142856265279624410293902798433481082535022247614895607584183901383702860954043409335611583500973338135954400401620626240595604577",
"agreement_digits": "100.6018335967132888580411283761041795978222807008957810999022600884001592383441965537293039001541876956908675241981873349374415281337464187432120621019828121562583528461340056963738582824551730266348274150306700572784221",
"stored": true,
"library": false,
"wronskian_residual": "0.?e-98",
"sextic_closed_form_digits": null
},
{
"key": "7,2",
"reference": "0.6705487969197929633016906018890316494457610489096220304531396549097146058244081547431706847838743433225782068872871135227773708964851591841294025757779351708530275443581593865603557686532521",
"full_reference": "0.7779567496716873852938031451573028143153605950969387636150390100708468296456187824033540073685081913300585337314601428994882428851235871977976679129216596257951269721524315332039255845223884",
"agreement_digits": "100.4727409394258457360955443151111014313195876656593605671344106917760312061269240542282372876194905566506514396251498796940857781936493395191237917937978775183645192974255330722850194305338170146879963803062297216286486",
"stored": true,
"library": false,
"wronskian_residual": "0.?e-98",
"sextic_closed_form_digits": null
},
{
"key": "8,1",
"reference": "0.6681353096862297134082697452146855807561545374458468758781213248747711875833619150973618514565101787569793067762199340950224963484857900561447401908413552976005374008671659086346102906764619",
"full_reference": "1.493995970626283323606449483976215692057478061489339631271175745340327534965228986029209139976675528702960105809514614005397497550565323413278121122025626296540916742841002526771230488844349",
"agreement_digits": "100.1911870197900826891787686441926147325064701076179823879504885458909823597138606161738972625259728089806892935213832060285864736032381123017004482107283696942137005398443760557876692639810748002878071237938507187015203",
"stored": true,
"library": false,
"wronskian_residual": "0.?e-98",
"sextic_closed_form_digits": null
},
{
"key": "8,2",
"reference": "0.6284843151105194727871486205751724570877879738355925876550839105783826271355334719450040249322967083739257353150859354403471427691592163209026313916127223723206735197804825004317475391738254",
"full_reference": "0.7264905365509530523276104496548539836689873482459224335917337074144197417298946322935003813605340312525981433953965730360142781237564400304663456643947167761471523816147529444947444713564927",
"agreement_digits": "100.3820823737835382975077357299434064538101505472958995320212204231462932789707219313470705812609369144750765440076135342524169698828285081674804999411646633622480904429375594157199918357207358943396480845163332760654449",
"stored": true,
"library": false,
"wronskian_residual": "0.?e-98",
"sextic_closed_form_digits": null
},
{
"key": "9,1",
"reference": "0.648886038380129023008750286294629123171327612778670219580019206950165498079295540160573715065055953538823068760196177322487265714872950568836423824843830059447241455200111442378269410907133",
"full_reference": "1.420218357421152822820077921486188836704305652818475236813235253633683930709727361091504138335855076100242866101839623245007476483347118700240783820170928086749536458051922707877585454067893",
"agreement_digits": "100.2230785687407225894677009598660483849340654691518084194574922790131871230767825090415375805919399853949078606776109986247273807396381568637512039378576002400389868364196241734082377608849511673698750395911635435171042",
"stored": true,
"library": false,
"wronskian_residual": "0.?e-98",
"sextic_closed_form_digits": null
},
{
"key": "9,2",
"reference": "0.5920448685693137925245104177161908634105999951384435978396261361641418377933074286803394712316773001146358993549547133564925475120894785324819868358614858162555026343376708920906022213203684",
"full_reference": "0.6826375530927969955090308776399444955919809295822688294987029186446595921535004248801228803211452467154577823258488646290784695859134849596558775462643215060258633226255282729773196350429781",
"agreement_digits": "100.6069352069460500685679634606105919149940243482766123253064753180904584261279704994048865587164736042426091742034101989470702825708577131144463651806803586415031289822221706247393129687170698984627498667194390777751898",
"stored": true,
"library": false,
"wronskian_residual": "0.?e-98",
"sextic_closed_form_digits": null
},
{
"key": "10,1",
"reference": "0.6315987101847940568232165147790744252766563060852571996248286598836618533276543221855544061835901085100975290410485226165266749364166757788052334801050644782997413076826539719153891229030071",
"full_reference": "1.360906080874816610219754929814874604665365898681591710881641854039578548249194519520555462377414348189970688193950136070531108817275596983404919465995953186558535748722940222826170124172227",
"agreement_digits": "100.7962261235468826706160557918385532350711057410455710266523919139077723636532703767146274401420928716594033065634902426983430955968955695626593882419108753802606958362378648659659399471235257482463453030052262525084134",
"stored": true,
"library": false,
"wronskian_residual": "0.?e-98",
"sextic_closed_form_digits": null
},
{
"key": "10,2",
"reference": "0.5604096453376910409790981611657337469997907721761708043408046267212269110837353463527614469024849745155931106408252787875401229927483638866292817169266415300650158375032200141223107494457422",
"full_reference": "0.6449883867695178073696874156734389647644144971529971375192277476286622972307630513117654251004663053318162044678872550973110322122758449134342412746644799697459083397085567645351615979273793",
"agreement_digits": "100.5555728409839443909025499366036720051704913417823534857156047184045522227401876489568430783606515715278088380521981509070769537307834819249873839853957275786433535357855760944303666302926751766259662465542885329692527",
"stored": true,
"library": false,
"wronskian_residual": "0.?e-98",
"sextic_closed_form_digits": null
},
{
"key": "11,1",
"reference": "0.6160621130412225937872363358946895448717726769629583114819343483919118150321189743537096505037674973898850620807411424596162363836460546593159405108980151459604586234724386294649177797754916",
"full_reference": "1.311818983165571593593679839008201567953562395209460172667092562748054778746015293732248740728401489268099811398340381320289432144636799281622841337136376544856084638284894181329948452739394",
"agreement_digits": "100.7846612794917689673992729926980170213336258943092401774650716444219974954575415584864238566858656808824929256112748850633729560043791362379446600742589100176331840338673942020501127214838418296464821148403149764008385",
"stored": true,
"library": false,
"wronskian_residual": "0.?e-98",
"sextic_closed_form_digits": null
},
{
"key": "11,2",
"reference": "0.5328199648061817691759353378159151592624568848282052319811243189639021335559765829244720414309756463694426042075390673558752303554500979473303052067938401884950275316689930114042258578418897",
"full_reference": "0.612412091444097606930645701550948541714292584463074890228209653494800920084649314246126931614606147818263522451622680549903022996673931139583606583943700743617426628121346474445669106174476",
"agreement_digits": "100.241464150121065121428348703307667307638568804264395392059553710741738631807853117149419107590469906992836702070061867684567751808643237869912735153905777183496248619235077896433761407661597619026845251662543246509155",
"stored": true,
"library": false,
"wronskian_residual": "0.?e-98",
"sextic_closed_form_digits": null
},
{
"key": "12,1",
"reference": "0.6020647751346410782612229259678147963509492093401109792468081395793212982997435527282514297178344160594025561584327172831703180543536617488211083348823770797802091218961617092108198438420047",
"full_reference": "1.270306261143288234259549964910521536697501322389553580887760188612699158305650179350427774969227126459015691255916375359804962628347770356389360272073294467409470675924147182544367218803113",
"agreement_digits": "100.1711445290592914336568509274598094661349735092444633577846638435163001862742234091936333825604853679527800649276017119328348537153364126696767725104921570731442643597345944826335820056998914765191415397545756648038173",
"stored": true,
"library": false,
"wronskian_residual": "0.?e-98",
"sextic_closed_form_digits": null
},
{
"key": "12,2",
"reference": "0.5086249291621045125211097258333361978071782366909665844455067587461397968775632024814745273269731363705185491204379708949246550174299464623188457537709983377300863779072131173591889730774741",
"full_reference": "0.5840093424641228311308246685518228896715669841124739760982547285404538520450949108939539694109215394345816622833620140825565838258602128422434444474242759054492472018640417758720870805376979",
"agreement_digits": "100.236848789597011930043302997928170644707712014195926155641191029568245357164404491346432715605366049142568781643406342878474805352196769989483025665875232374621912390488913084775042105174119608311591777038150987284639",
"stored": true,
"library": false,
"wronskian_residual": "0.?e-98",
"sextic_closed_form_digits": null
}
],
"summary": {
"entries": 22,
"minimum_agreement": "100.1711445290592914336568509274598094661349735092444633577846638435163001862742234091936333825604853679527800649276017119328348537153364126696767725104921570731442643597345944826335820056998914765191415397545756648038173",
"stored": true,
"library": false
}
},
"verification": {
"checked": 22,
"matched": 22,
"ok": true,
"differing": 0,
"missing": 0,
"extra": 0
},
"versions": {
"python": "3.12.3",
"sage": "10.9",
"mpmath": "1.4.1",
"numberdb": "0.1.10"
}
}