{
  "states": [
    {
      "index": 0,
      "ratio": 1.5291505595717156e-07,
      "sink_certified": true,
      "normalized_readout": 3.3093618039547763e-21,
      "state": [
        "264489892168.42354665014030487374139990091248712087065702335863918",
        "64711.179357949484156325803561743403864039204514812415331614457146",
        "8088.8977403897788687340512276441521286888700914094299079581983597",
        "0.0014842976676788385980367569147605021183946014768728072508085578474",
        "40444.485869279399317357542840571722505515851938063980481864176392",
        "0.0068506013478424283145040250788273438159619095645699310084546121334",
        "0.0075760990299676791975314735142371918102993725054405163728602139191",
        "0.0000000008752856107585721474198914362463642868147871391951055194551568824",
        "0.00000000037085989292811267162385618216191202409839550210543598732500057908",
        "0.0024252673525619550794765686738189590859411946285069051180330839559",
        "5.26807824805633262870141881462469510875727031657209658507423565",
        "0.65850978100704379474540255345033295711217969500778752677214511063",
        "4.0734098868426567376898757798263249914978977582569038658721645383",
        "0.000000024001180926017336900568109351583899316628195235902233747556654036",
        "0.0000004111878866947273291579890697639394151859557704119004580754895201",
        "0.000000012000590938796309804527623951612688963527091149547968039288283431",
        "0.000000027001329612141569958720650848831193045158513179527814888526523966",
        "0.0000000000000044041721660502109883847395192331871212717964188656817079507236431",
        "0.00000080556846431804841364348906171862697472732873285397328096267153692",
        "0.00000080396352109637802885305631237348491013048566913786572302084664576",
        "0.000000000000085280914827196289853211012208046246783492180840780307476541921715",
        "0.000000000000043674739208615623121156639931557546939787481280333405481743406389",
        "0.52680783050658299673843147942065247400089539052456476458513342747",
        "0.0098098506909701487836902524165816374479211872459760337486600741077",
        "0.46095683768100781377402164753520001039467733191341240408828256957",
        "0.000000019333651882573954270146724497404756174056496486407957902890624102",
        "0.000000012841498533656290825466477554270541750329479912830626643708797841",
        "0.0000000048334129706433344952973951757355495803437005205046434481283946913",
        "0.00000002467053348914129063012156039368957670344560247682502689804453774",
        "0.000000000000001910712506491449161865312616696697418884047441079233800747263438",
        "0.000000078078172231466188814734473027174302600460507711969180258109424615",
        "0.000000074011600467423915988122210357651063287497699095491552694122303619",
        "0.00000000000000042460277922032203597006947037704387086312165357316306683272520844",
        "0.0000000000000051754041193162937080777626877258127639412618083474929731954643968"
      ],
      "total_residual": [
        "-1.686751671e-80",
        "0.0",
        "8.502282103e-23"
      ]
    },
    {
      "index": 1,
      "ratio": 0.9998834179428963,
      "sink_certified": false,
      "normalized_readout": 0.12965475901884005,
      "state": [
        "36415394422.392894417153778805924377227017148397481752249452319359",
        "66378882066.342277420823151551766428683109039886879127189775936294",
        "8399399467.1308177434678259639731883803824109111444891616157656079",
        "22700971551.279970264589207865055332970957469669058622682494185009",
        "29812425283.63553453648720035313630419296680267830279746924183855",
        "31808860498.946367824529511332743723919114873615201565118938642239",
        "34681684207.252904240025274346346184057084862558014344639380653237",
        "34292387916.019233554921577081793926642390349021015341780743050725",
        "0.000000000998705428015431885851304992889245031681059240930629465020470391",
        "0.00000000099882187272403424166006151367787684784099594491635830874524813886",
        "1.953240395295525445122177971854630375921474580554958342697705165",
        "0.24415504941194150232297842251992282254980211812865394259470639245",
        "1.5102943356076311585399595585035910467364742695078726265831922586",
        "0.066299579120156044330055439524817367615470279520907532548476655653",
        "1.13584343667086864157077716417151343004660421539728664892716222",
        "0.033557458770096431859525020010638165595703318960086381733860901295",
        "0.075504282232297168688942985543017092842619647495064184637097762099",
        "0.18139080534271974553734341192435936694675457625260164762051563955",
        "1.5990718834536689110367646732731028873254364123092065007899234324",
        "1.5958860343371878477981488877923785418638963359326546352058390354",
        "1.066347629902573484293584300458529785906584521129238918354865497",
        "0.53840910885662819088431027857219412375993469313040939737602557544",
        "0.22255187844602934003507570402890289361989240419645506687710227813",
        "0.0041951714279537051784362183167882405336530568954418333199561914004",
        "0.13993510372445504224647894405567350327790413073579732468460160783",
        "0.12177713643897545750733352047151212899873674636136207094507144711",
        "0.024556334801261857157947784815454270335229154039447503302263298366",
        "0.030444284109742893919921310925936387886564099996277388545641357765",
        "0.046511623743719641210161800414663839097770035093388146202091333827",
        "0.030829871085452296617683078442528709890620735973776767824051510317",
        "0.14930607459568536018777027965903287049012584970553002373286717682",
        "0.13953487123115900676846484711257243317539820401837619861963695114",
        "0.0068510824634338436928184618761174910868046079941726150720114467372",
        "0.083506566933309682753873808220755717929424127148979115958347091815"
      ],
      "total_residual": [
        "0.0",
        "-2.108439589e-81",
        "-5.448840977e-26"
      ]
    },
    {
      "index": 2,
      "ratio": 2.004635392548255,
      "sink_certified": true,
      "normalized_readout": 0.3163552806702409,
      "state": [
        "11002811654.03246005139311349619042500848167212256132720139673426",
        "43086828369.619523678647491880769867271126405143677571803346416692",
        "5363679025.6105585089925571767867642178031228769224792940841025931",
        "33891567219.016662364764311675680586861494106001619946199710095649",
        "15807639081.614808279066174088333138901844841060777958568361563635",
        "33285917389.032496645989528572125089417433451937822868997275955282",
        "38378752773.951621467678101815655410469253442999215799603087967998",
        "83672809900.121869006119614563256595899306024147417783524932706687",
        "0.0000000017686253985024295791499010123024532306019566573701661749912311404",
        "0.00000000088226787029544846920634976970649803333259648512936880329661580659",
        "1.0451359945013009764006800209237459893989123484937340492476438485",
        "0.13064199931266306171443679065119132328216514166689400979807368007",
        "0.80812529591174138202775848203018401769259780022828655331980363749",
        "0.076212079441233170235095460117952326041751078493445458654541018876",
        "1.3056642497153728064254992607160175596934173084864602063755980604",
        "0.037949150352231029631621340324763180913385298710462955648030242634",
        "0.08538558829204507372102556027043729540283197088592496134521745516",
        "0.47957984581814304089799434357616773953590060289140864679709075553",
        "1.501537344431912626785793928804834027956863748801743397955404779",
        "1.4985458144878115668524078571239177933146765065399853900717512896",
        "1.9761034421893875858067465114804201612509456519740682928907825051",
        "1.0551191937775322809985108648304675732140993122256294205258965527",
        "0.12760223366026759046786942937612196632307990604905160617537711098",
        "0.0023663374455204405210181757540489614860201835000606164587752826222",
        "0.065540356179576492229355048610506428704326034653546746485608737503",
        "0.16059254646621272009202149049955688314062189027498192160658723241",
        "0.022698041460743527953506991541760720299982210056855878949990720876",
        "0.040148136616551900241337793119030715280576075416851674317803095254",
        "0.045463681262781842634289331400075950507746000920423780930967847127",
        "0.066446292577856093416263462101239307427675989335143404521207102913",
        "0.13800738175876257723222637613275679059772495314371607189865063543",
        "0.13639104378834560916768513292782540139745201979007009126734351614",
        "0.014765842795079131870280769355830957206150219852254089893601578425",
        "0.17997810510603420387869752997489614792214648367444763236471833702"
      ],
      "total_residual": [
        "0.0",
        "0.0",
        "-1.613184492e-27"
      ]
    },
    {
      "index": 3,
      "ratio": 2.9614571394103666,
      "sink_certified": false,
      "normalized_readout": 0.44738595744504556,
      "state": [
        "4809151527.5561469540384962361180950521629215611508597643914004311",
        "28777062327.276219362399162182650886424813559342829940116515753438",
        "3579906936.8952969421985912137917574774669447511101945145495963727",
        "35397220897.283690696180804113848796826294877427513106469136762432",
        "9441241670.2487368560716506141824713395655932664749121194042904463",
        "28813493142.276413679661823114006130169832652687482239251647940182",
        "35342814600.567118440223877728322734134190847734982559931653661354",
        "118329114310.89637707268071970621365553302868471153366890466587739",
        "0.0000000025829395521956919011091985909983349471787208510413495232915366308",
        "0.00000000087218535693883505619710481204498656334570071911168558562626249859",
        "0.66713845156788587873107626346545292089912339935094470786201952716",
        "0.083392306445986015490980762204845920978492947234084863761645487872",
        "0.51584813978648939916120304324364701596277018448246064367661876213",
        "0.074336845422282201853288547084134318270592110979667345517977158427",
        "1.2735377674523828451426484666686123809544151965053404414521663334",
        "0.036990431555440218432547014218569715035342332356125801411337360897",
        "0.083228470999277742071994186175791211278223527397172067475988868873",
        "0.73150419825278863357479038030574342020594354225351865857175961436",
        "1.3097144709782967519172696917844488063358674915395465877016034465",
        "1.307105111928597993147479402395079663113103995951218595737163521",
        "2.4981783544683648421499784779339496819788839335905155550929152403",
        "1.4190254485592679261310518634105263539889063911806838806974551558",
        "0.084249733291235098558350855411656074338214972911469096905519969081",
        "0.0015613273219023963060802724622079501826844386423171585353853680173",
        "0.038697171971708110042231709124123167946652777339048130575442666567",
        "0.16581019346205791717173440351817670638469241891469696965935611521",
        "0.019423705894286230966858160093428929247286352996172485937682476503",
        "0.0414525483655131579311982030403934451337857256508151066032847067",
        "0.041388834899065063985703644587690318952398793503704375202120513123",
        "0.092893717164226970283543286053576367423361400750640525812268785616",
        "0.11809894695799347947369516576444413783630318630553093686271262553",
        "0.12416650469719526593827581604795894974067146310977103292344821248",
        "0.020643048258717104507454063567461414982969200166809005736059730137",
        "0.2516142668439138478960393641317777257859927063633244561350332454"
      ],
      "total_residual": [
        "1.686751671e-80",
        "-2.108439589e-81",
        "4.977808003e-29"
      ]
    },
    {
      "index": 4,
      "ratio": 4.14462702531733,
      "sink_certified": true,
      "normalized_readout": 0.5587708692956558,
      "state": [
        "2181856852.6319276605650460037470646245556592774425477619047711102",
        "18717830567.946557818542504469802027034359991343557753325596882854",
        "2338752912.4186229541217889592986889180054879458211857026389960387",
        "33516108852.317073394155059817622965139432226100382710917970574963",
        "5629258375.2639527194951006454130251747789353478546051595082846366",
        "23501425190.495011501781932793456220030270131728370843701523431312",
        "30815462411.607389479632085246094523216948798672168182518043441912",
        "147789310250.31946447624933827348462204169339418137192907216001386",
        "0.0000000036598269462411630300187980071785882565001719405991172485724994004",
        "0.00000000088302926267797315006018459280232125904617645583720591834247987515",
        "0.42886447531975168814598393616138454658391765584103841151180570216",
        "0.053608059414969141431536347232358738531297374562271708153574690595",
        "0.33160874072582391247306493728401232306965642672264579034840003769",
        "0.068510871089734773293865401968302045617135734405382202444176503018",
        "1.1737272589144009450508410394037753469531515566184288661866799818",
        "0.03424114749044086851495227076194804671657130654820439736056064944",
        "0.077042581853063598234351557585190852518457881796546670344679386747",
        "0.98140339701362325555147630886120009095758190374165497501871713594",
        "1.1064836525066262463690908845780746793764313633501273172205799753",
        "1.1042791925300518974200192744172439417340946772851957737246220309",
        "2.8871412815846818854592072702237090682026710758657086200237903279",
        "1.75308933789700484181444774150400231256044478676262332706329633",
        "0.055480950637482266792999023394952527235824456598924780172869127007",
        "0.0010326968892824814196867279541072117311848068399109549909817976151",
        "0.023359718257620796866272332520662815404396574764813768999702986048",
        "0.15895052145457229128593565549117930264375204191788078146961802946",
        "0.016039716429373358818725994041095083930145088325749636616702731536",
        "0.039737630363641806125314720473970825723196593109768140539643931569",
        "0.036535668868748405459963511049162516603573697773435662745920713626",
        "0.1174638023015328169001534860806155664705416768376782977881154612",
        "0.097523800562232016731930900471119370394248216760620413535986340981",
        "0.10960700660624528168618265891341432030214205113019889397002092619",
        "0.026103067178118403755589663573470125882342594852817399508470102489",
        "0.31816541956812081147927217597606574087633094204202481382476193394"
      ],
      "total_residual": [
        "1.686751671e-80",
        "0.0",
        "-3.435800301e-29"
      ]
    },
    {
      "index": 5,
      "ratio": 4.831027220944669,
      "sink_certified": false,
      "normalized_readout": 0.6061726033511246,
      "state": [
        "1491364670.3633944580987248371616616126536460681386002205542146952",
        "15053806990.238188142501529689384409336564442317478197220741325836",
        "1886730941.1593718377260309654770775058376202541481348360643489084",
        "31905055787.152575091511485916030661474010446523492195453885322022",
        "4367783349.3005596262692722432824463719969314837138521936798635668",
        "21002793141.060605585857921283006762407312665882006080907612131019",
        "28455875386.012111549109908177910358224150579502567023955487371642",
        "160326595147.71319371412578813143378629706031370937321449763305544",
        "0.0000000043087667203677166331872984314377776024838624069547616862662770491",
        "0.00000000089189452331944659642955232886983647600338386311350252733777138199",
        "0.34511997895145911140232668806602874524872858117148933783520121112",
        "0.043139997368932534109221571449900475027236699083879895304731489873",
        "0.26685540119425547071969076740161912305301669064651171583126550688",
        "0.064869828908557619707755811898326677463369174040620092087694511227",
        "1.1113489765932307605445500268220501152487329120252573741269297897",
        "0.032521185751798887426503278431412893050662954316354970167825838693",
        "0.073172667941140657464959229315923613104834793585312356052230759465",
        "1.0998815178514252331531258048350823608542266323830385612732909908",
        "1.010758352756051700578613734254599463323940267801600290677752307",
        "1.0087446073838618573216006500837169087619510260807269839308138133",
        "3.0376891006300414288325069604444015787743024506963110593819535416",
        "1.905898380360478018371428843809639614651220215685034956375548554",
        "0.045068502391268754454450544413824352457638536613284176930289790792",
        "0.00084146663494836426429947554366599068542974292835663348373031504379",
        "0.018306946291406773676904019580623265486036563429405702892101658494",
        "0.15282917698831026120826333400047856875762646667939635138828525574",
        "0.014478312371911928339944179439264387180230529114797217459799614945",
        "0.038207294247076347387640259252409344756057667177883062780444597571",
        "0.034076793696418757769905241303648476246039703274314319422876041671",
        "0.12870784043632352568726101850026654450658054360653940795059423964",
        "0.088030237595116801753108862513557292094488074670320240657555166265",
        "0.10223038108925633422085031521857497146103563815405800275659809964",
        "0.028601742319183005708280226333392565445906787468119868433465386587",
        "0.34862130504688462220964592747074191205309327088014115273075730628"
      ],
      "total_residual": [
        "0.0",
        "-1.054219794e-81",
        "-3.020501939e-29"
      ]
    },
    {
      "index": 6,
      "ratio": 6.05627216431435,
      "sink_certified": true,
      "normalized_readout": 0.6704509577705997,
      "state": [
        "834498454.75194566287146817618285845678157706990647881928857562233",
        "10688406635.720738328428398320534541789983470158478694437153185999",
        "1346672396.3811102801020522256778636501078194048294821983167958405",
        "28970029394.132043304341860790933594373087486299799316419710335508",
        "2955400148.9045000044283924008841300388022145760898452533103045212",
        "17484949644.678073785012215564105951952103768978552468647492934601",
        "24882471281.729180633382213110764145756990632352678012564340745335",
        "177327577456.70240800783856703844318144357900679572075274745653587",
        "0.0000000054974407884285509726997112503968912813811856108346810674193033938",
        "0.00000000090772683909771648887582042981461167563057328044727044902984301806",
        "0.24638789437363057686997715612131919510109692973372733255199522339",
        "0.030798486796703925758391246468880408831353273203732306481370796746",
        "0.19051328353184302868185523672273141379125424365193968145828224152",
        "0.058764758490712049558370837539849592043306963407138323924500936669",
        "1.0067569979329136265655668564398674937302331367225236555965015523",
        "0.029615968342934219047162232070460872034433862144802068836607799871",
        "0.066635928771231497810735666137807144285137053516943622452636579113",
        "1.2742155786832930198876691346486063588740593983225375209620758772",
        "0.8725897760188325023491953268855217534331867919062576183307377616",
        "0.87085130547492180290000087483047046371891186432778980038339069106",
        "3.2265487593543920831787868599397424011828764203489064601253082502",
        "2.1263212567311508789637375994950316525772587813325159980619112229",
        "0.032567275705728951740320787265743541152613616489957230605396493617",
        "0.000611266459367469544672500223162231755800912662697152580848162603",
        "0.012607030088829407552476898504710331004122973496034366505280992565",
        "0.1412333892804828189702431316258248060207106291892113491916239792",
        "0.012267242562292093748928106257711053653958713376294773737182248713",
        "0.035308347320119579236387373360321067696608333955404291462222992454",
        "0.030326477279176380139628932388209884152949676136561390205636904422",
        "0.14488298808278843450790998362934407484278055806785885756341619584",
        "0.07458661269738153724809286617388522796465037271514968574405042053",
        "0.090979431837529194626455610373594417108604973890810886215608455661",
        "0.032196219573952985446202218584298683298395679570635301680759154632",
        "0.39243371820462430814096510273737425153419188481881143406070355072"
      ],
      "total_residual": [
        "1.686751671e-80",
        "2.108439589e-81",
        "-1.395560442e-28"
      ]
    }
  ],
  "scope": "80-digit midpoint reconstructions for reuse and plotting. Stability comes from interval certificates, not floating-point spectra. Bound substrate is retained in the total."
}
