balanced-checks.json

back to table · edit · history · where entries came from · files · download

187052 bytes, as of the version from 2026-10-27 01:08 (current). Recorded here, not run.

{
  "tid": "T190",
  "all_passed": true,
  "controls": [
    "pi",
    "displaced_value_rejected",
    "nan_rejected",
    "wide_ball_rejected",
    "integral_t_equals_half",
    "Q0_logarithm",
    "F0_free_sine",
    "G0_free_cosine"
  ],
  "source_sha256": {
    "balanced_checks.py": "7d29b572b3d3edcbb0ff9861c8eb1116777d72f0fdaa1282274fdb93adfd5c62",
    "balanced_generate.py": "1bac17812c98ca64baf6d54ba58e3bbdd947796f28c27cef6fab748461aee6ed"
  },
  "selection_sha256": "5889fa76464d9084137acd050ac2133c90bd6a6ddcf83098641294d989252d86",
  "count": 123,
  "independently_checked_additions": 51,
  "minimum_accuracy_bits": 764,
  "records": [
    {
      "params": {
        "nu": "0",
        "x": "critical-1"
      },
      "origin": "retained website entry",
      "stored_interval_contains_ball": true,
      "accuracy_bits": 798,
      "root_certificate": {
        "lower": "8327884912120909494022652399521021496818149913549513508037110058806055044706445286847203205617186285068742675472548649167600914622619333625149839668455649402983063837503706566084245608378166424799590247024437543062496808930205736999135968558160359919129953130154910043134591045159954656733611613178499936190154947079700245543578715668947992982545982888134725458029361395454631653762825031917824528064483619278281016496121387064184706720967311859119115412017279820845689/3790327373781027673703563204254156629045131877726310085788701264712038458706974820143746115304312690308807936272292659194754834092077183572862029480081008640635876406300903089722327357499019640686677244125284347536359489389199360000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
        "upper": "8327884912120909494022652399521021496818149913549513508037110058806055044706445286847203205617186285068742675472548649167600914622619333625149839668455649402983063837503706566084245608378166424799590247024437543062496808930205736999135968558918425393886158664895622683985422370968981032278873630336240189132562638821095209572327938729810531044307570142593257296980328213870068368335230927934026256191658900538461634440586858563988634858302760684175984919289177698685561/3790327373781027673703563204254156629045131877726310085788701264712038458706974820143746115304312690308807936272292659194754834092077183572862029480081008640635876406300903089722327357499019640686677244125284347536359489389199360000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
        "endpoint_signs": [
          1,
          -1
        ],
        "second_derivative_sign": -1,
        "defining_interval": [
          "2249/1024",
          "1125/512"
        ]
      }
    },
    {
      "params": {
        "nu": "0",
        "x": "critical-2"
      },
      "origin": "retained website entry",
      "stored_interval_contains_ball": true,
      "accuracy_bits": 792,
      "root_certificate": {
        "lower": "20580268679821871203850505868922270190394681712403710346592294799965530550558741699356503621666811572403435648756526462724394430462058454481426526551118082089388065131740310186577860863594111812398601461490344791240120834609013122891663728189671324163316132506837964826080032056867494986528795245727812020434826864188172422365372763747953990900536374126564514434858584221442919236987557587228140860810511671072587744055206575759141420716021854324487401187201911168501939/3790327373781027673703563204254156629045131877726310085788701264712038458706974820143746115304312690308807936272292659194754834092077183572862029480081008640635876406300903089722327357499019640686677244125284347536359489389199360000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
        "upper": "20580268679821871203850505868922270190394681712403710346592294799965530550558741699356503621666811572403435648756526462724394430462058454481426526551118082089388065131740310186577860863594111812398601461490344791240120834609013122891663728190429389638072338041578677466930863382676521362074057262885552273377234555929567386394121986808816528962297961381023046273809551039858355951559963483244342588937686952332768361999672047258945348853357303149544270694473809046341811/3790327373781027673703563204254156629045131877726310085788701264712038458706974820143746115304312690308807936272292659194754834092077183572862029480081008640635876406300903089722327357499019640686677244125284347536359489389199360000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
        "endpoint_signs": [
          -1,
          1
        ],
        "second_derivative_sign": 1,
        "defining_interval": [
          "5559/1024",
          "695/128"
        ]
      }
    },
    {
      "params": {
        "nu": "0",
        "x": "critical-3"
      },
      "origin": "retained website entry",
      "stored_interval_contains_ball": true,
      "accuracy_bits": 787,
      "root_certificate": {
        "lower": "16290838173958990938709015077387645852609275032550045982459606334443178931708215804059153268635603408609261676049522287900867856596661924561545384587354889272038898248630951428764642878611445039249923245716048208889861469135866794628270963391911951812207073242124044807426082529836563508690700968434109318466178436085011856384032281271872875564829989874345633190099772302972912080443539150585970982077478701424798191594420447094808469498048992359830248176942554094993157/1895163686890513836851781602127078314522565938863155042894350632356019229353487410071873057652156345154403968136146329597377417046038591786431014740040504320317938203150451544861163678749509820343338622062642173768179744694599680000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
        "upper": "16290838173958990938709015077387645852609275032550045982459606334443178931708215804059153268635603408609261676049522287900867856596661924561545384587354889272038898248630951428764642878611445039249923245716048208889861469135866794628270963392290984549585176009494401127851498192741076696463331977012979444937382281955709338398406892802304144595710783501574899109575255712180630437729742098594071846141066342054888500566653182844710433566716716772358682930578503033913093/1895163686890513836851781602127078314522565938863155042894350632356019229353487410071873057652156345154403968136146329597377417046038591786431014740040504320317938203150451544861163678749509820343338622062642173768179744694599680000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
        "endpoint_signs": [
          1,
          -1
        ],
        "second_derivative_sign": -1,
        "defining_interval": [
          "4401/512",
          "8803/1024"
        ]
      }
    },
    {
      "params": {
        "nu": "0",
        "x": "critical-4"
      },
      "origin": "retained website entry",
      "stored_interval_contains_ball": true,
      "accuracy_bits": 782,
      "root_certificate": {
        "lower": "86978795261960940473515544246986240192823639449050790152414929716082224043307843767369649387861497951684269852403810236641824019979857123136755750311064471028292060060833331854533906663452956415435194013082481130988917402808818730571940753249625948289841859976299250651366587316603482092580284910985282635948141043984640890218741355789329906563283195447222858162706760311113092784746273760390435603513093682990675791412246365896874908426709692029112175106576515744297/7402983151916069675202271883308899666103773198684199386306057157640700114662060195593254131453735723259390500531821599989755535336088249165746151328283220001241946106056451347113920620115272735716166492432195991281952127713280000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
        "upper": "86978795261960940473515544246986240192823639449050790152414929716082224043307843767369649387861497951684269852403810236641824019979857123136755750311064471028292060060833331854533906663452956415435194013082481130988917402808818730571940753251106544920225073911339705028028367249824236732317124788246494067476281066917052929337392182080077051215161295553587178160657867378330742617895504026047079603761482904201966060835030489919929455569942990515551373362966941286953/7402983151916069675202271883308899666103773198684199386306057157640700114662060195593254131453735723259390500531821599989755535336088249165746151328283220001241946106056451347113920620115272735716166492432195991281952127713280000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
        "endpoint_signs": [
          -1,
          1
        ],
        "second_derivative_sign": 1,
        "defining_interval": [
          "12031/1024",
          "47/4"
        ]
      }
    },
    {
      "params": {
        "nu": "0",
        "x": "critical-5"
      },
      "origin": "retained website entry",
      "stored_interval_contains_ball": true,
      "accuracy_bits": 777,
      "root_certificate": {
        "lower": "28233091349176691867123802634966785227791026429270665338437592187147769344621688273329012479818663354186253544404546121525422665660437963629560105223635618904968209852100571211139360011010642841652873409195301666800920349563401114437604374912570450288383412475069048906176310049415822950409766861032773242442388327598022447951115420754534618196901006923169716324272644774816665199601239998854016226906743217816354603915694166696993895290178073306154641330133166887961907/1895163686890513836851781602127078314522565938863155042894350632356019229353487410071873057652156345154403968136146329597377417046038591786431014740040504320317938203150451544861163678749509820343338622062642173768179744694599680000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
        "upper": "28233091349176691867123802634966785227791026429270665338437592187147769344621688273329012479818663354186253544404546121525422665660437963629560105223635618904968209852100571211139360011010642841652873409195301666800920349563401114437604374912949483025761515242439405226601725712320336138182397869611643368913592173468719929965490032284965887227781800550398982243748128184024383556887442946862117090970330858446444912887926902446895859358845797718683076083769115826881843/1895163686890513836851781602127078314522565938863155042894350632356019229353487410071873057652156345154403968136146329597377417046038591786431014740040504320317938203150451544861163678749509820343338622062642173768179744694599680000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
        "endpoint_signs": [
          1,
          -1
        ],
        "second_derivative_sign": -1,
        "defining_interval": [
          "7627/512",
          "15255/1024"
        ]
      }
    },
    {
      "params": {
        "nu": "0",
        "x": "critical-6"
      },
      "origin": "retained website entry",
      "stored_interval_contains_ball": true,
      "accuracy_bits": 773,
      "root_certificate": {
        "lower": "17097600391406127080716062864320451724762989879418623612981250022558910759308974524086676495738490877120598146957505149918700968462075177040422271115497031366956346565514158117424899067034967199184115231599562452825292623097366821653477442157934020737407993873806016393799830492752145716429786512128886970112607778940781224636236503035272078022956293882584623995986712691974757856669194790292302163434942562526044560458074453812415994228800783842304346620982034493785641/947581843445256918425890801063539157261282969431577521447175316178009614676743705035936528826078172577201984068073164798688708523019295893215507370020252160158969101575225772430581839374754910171669311031321086884089872347299840000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
        "upper": "17097600391406127080716062864320451724762989879418623612981250022558910759308974524086676495738490877120598146957505149918700968462075177040422271115497031366956346565514158117424899067034967199184115231599562452825292623097366821653477442158123537106097045257491194554012538324204402310316102016418322033348209701876129965643423808800487712538396690696199256955724454396578617035312296264296352595466736382841089714944190821687366976263134646048568563997800008963245609/947581843445256918425890801063539157261282969431577521447175316178009614676743705035936528826078172577201984068073164798688708523019295893215507370020252160158969101575225772430581839374754910171669311031321086884089872347299840000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
        "endpoint_signs": [
          -1,
          1
        ],
        "second_derivative_sign": 1,
        "defining_interval": [
          "4619/256",
          "18477/1024"
        ]
      }
    },
    {
      "params": {
        "nu": "1/2",
        "x": "critical-1"
      },
      "origin": "retained website entry",
      "stored_interval_contains_ball": true,
      "accuracy_bits": 796,
      "root_certificate": {
        "lower": "22553102248913187294915590115238104067462772833733913369263912596322652145035036924768997817750395150344003375458284677157459980504142843057172160466494453967545667861779753168532692521175717522547305603642498570877275983035098551484130115077594887222382862447724425382516942770659960573578837655028771338651702620483212409907696060356259328226091561993479987915426305322941096140264523032674582909090660456261780545999584459627261827505411131808627191960375654612394503/7580654747562055347407126408508313258090263755452620171577402529424076917413949640287492230608625380617615872544585318389509668184154367145724058960162017281271752812601806179444654714998039281373354488250568695072718978778398720000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
        "upper": "22553102248913187294915590115238104067462772833733913369263912596322652145035036924768997817750395150344003375458284677157459980504142843057172160466494453967545667861779753168532692521175717522547305603642498570877275983035098551484130115079111018171895273517205850664218605422278013324669361689344251844536518003966002337965194506477984404349614736502397051593328238959771969569409334824706986365345011018782141781888515402626869683780082029458740930974919450368074247/7580654747562055347407126408508313258090263755452620171577402529424076917413949640287492230608625380617615872544585318389509668184154367145724058960162017281271752812601806179444654714998039281373354488250568695072718978778398720000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
        "endpoint_signs": [
          1,
          -1
        ],
        "second_derivative_sign": -1,
        "defining_interval": [
          "1523/512",
          "3047/1024"
        ]
      }
    },
    {
      "params": {
        "nu": "1/2",
        "x": "critical-2"
      },
      "origin": "retained website entry",
      "stored_interval_contains_ball": true,
      "accuracy_bits": 792,
      "root_certificate": {
        "lower": "11755226211652962181255993056954262594205772267613471093537972157402081930754039349656402022001356570106181386475378513314161910300199992599044010123785631062715547931604311391199529279828929678109585256741783197070745434917095557369622456699430306578339856441768823045447913453287133415266323256587894649717600802019308626575488131046205712802348823157936281973055779247608140939588300604027792020748971597078668621830068562142611389117406445844384091913591113665305657/1895163686890513836851781602127078314522565938863155042894350632356019229353487410071873057652156345154403968136146329597377417046038591786431014740040504320317938203150451544861163678749509820343338622062642173768179744694599680000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
        "upper": "11755226211652962181255993056954262594205772267613471093537972157402081930754039349656402022001356570106181386475378513314161910300199992599044010123785631062715547931604311391199529279828929678109585256741783197070745434917095557369622456699809339315717959209139179365873329116191646603038954265166764776188804647890006108589862742576636981833229616785165547892531262656815859296874503552035892884812559237708758930802301297892513353186074170256912526667227062604225593/1895163686890513836851781602127078314522565938863155042894350632356019229353487410071873057652156345154403968136146329597377417046038591786431014740040504320317938203150451544861163678749509820343338622062642173768179744694599680000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
        "endpoint_signs": [
          -1,
          1
        ],
        "second_derivative_sign": 1,
        "defining_interval": [
          "6351/1024",
          "397/64"
        ]
      }
    },
    {
      "params": {
        "nu": "1/2",
        "x": "critical-3"
      },
      "origin": "retained website entry",
      "stored_interval_contains_ball": true,
      "accuracy_bits": 788,
      "root_certificate": {
        "lower": "2220059914152079471602684848113167204406142124694866891898662268196426542456238027972688058722277378971700993893742057733637897536837544696966627140045085676680178723868426266628676287060478204041949325307267925595000044013616971885422270676377859409014280398935851437357246350334118732437437258456946285909189447650832734609527226302730356212159270403714309801980480800951277812806762068577168922039530201939467059923416261997112736282641645089569640696035112810458129/236895460861314229606472700265884789315320742357894380361793829044502403669185926258984132206519543144300496017018291199672177130754823973303876842505063040039742275393806443107645459843688727542917327757830271721022468086824960000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
        "upper": "2220059914152079471602684848113167204406142124694866891898662268196426542456238027972688058722277378971700993893742057733637897536837544696966627140045085676680178723868426266628676287060478204041949325307267925595000044013616971885422270676425238501186543244857145977410423308197182880909016134529305051718089928384669919861324052744034264841019369607117968041914916227102242607467537437078181530047478657018228348544945353965850481791225110641135695040239606427823121/236895460861314229606472700265884789315320742357894380361793829044502403669185926258984132206519543144300496017018291199672177130754823973303876842505063040039742275393806443107645459843688727542917327757830271721022468086824960000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
        "endpoint_signs": [
          1,
          -1
        ],
        "second_derivative_sign": -1,
        "defining_interval": [
          "2399/256",
          "9597/1024"
        ]
      }
    },
    {
      "params": {
        "nu": "1/2",
        "x": "critical-4"
      },
      "origin": "retained website entry",
      "stored_interval_contains_ball": true,
      "accuracy_bits": 782,
      "root_certificate": {
        "lower": "5934930769960985081613374580449586645224049977704431828148361707391769626812310654644023481766179441772634392117246708572154998793480748105804584556760823494859904650309064288761678384410805497523966592222594524392328424857790166637969368899651113672726286376888758380908411772001192245668936830375674422184815833630259735544118111840194387846609379068367699702906550117406407909955397358490130145930977248657944265897995280752497837808128870903090852081748417759588133/473790921722628459212945400531769578630641484715788760723587658089004807338371852517968264413039086288600992034036582399344354261509647946607753685010126080079484550787612886215290919687377455085834655515660543442044936173649920000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
        "upper": "5934930769960985081613374580449586645224049977704431828148361707391769626812310654644023481766179441772634392117246708572154998793480748105804584556760823494859904650309064288761678384410805497523966592222594524392328424857790166637969368899745871857070812068731347461014765687727320542612094582520391953802616795097934106047711764722802205104329577475175016182775420969708337499276948095492155361946874158815466843141053464689973328825295802006222960770157404994318117/473790921722628459212945400531769578630641484715788760723587658089004807338371852517968264413039086288600992034036582399344354261509647946607753685010126080079484550787612886215290919687377455085834655515660543442044936173649920000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
        "endpoint_signs": [
          -1,
          1
        ],
        "second_derivative_sign": 1,
        "defining_interval": [
          "12827/1024",
          "3207/256"
        ]
      }
    },
    {
      "params": {
        "nu": "1/2",
        "x": "critical-5"
      },
      "origin": "retained website entry",
      "stored_interval_contains_ball": true,
      "accuracy_bits": 778,
      "root_certificate": {
        "lower": "29708734432663102871201692301515040568716907743472036606973556515178090712545846914513213684435211729388896978641487140490349472123286392337051227389462433618998536103697731206958357407942415805002846716315736304745469432158548790468683701887303230485055817610635665412726301956550856501706325755605042456707662594269611404263015661648197649288123187801571054762311029435167121149795775777488929794418459259122808007371469873460075107293108515701309028088937488177024407/1895163686890513836851781602127078314522565938863155042894350632356019229353487410071873057652156345154403968136146329597377417046038591786431014740040504320317938203150451544861163678749509820343338622062642173768179744694599680000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
        "upper": "29708734432663102871201692301515040568716907743472036606973556515178090712545846914513213684435211729388896978641487140490349472123286392337051227389462433618998536103697731206958357407942415805002846716315736304745469432158548790468683701887682263222433920378006021733151717619455369689478956764183912583178866440140308886277390273178628918319003981428800320681786512844374839507081978725497030658482046899752898316343702609209977071361776240113837462842573437115944343/1895163686890513836851781602127078314522565938863155042894350632356019229353487410071873057652156345154403968136146329597377417046038591786431014740040504320317938203150451544861163678749509820343338622062642173768179744694599680000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
        "endpoint_signs": [
          1,
          -1
        ],
        "second_derivative_sign": -1,
        "defining_interval": [
          "4013/256",
          "16053/1024"
        ]
      }
    },
    {
      "params": {
        "nu": "1/2",
        "x": "critical-6"
      },
      "origin": "retained website entry",
      "stored_interval_contains_ball": true,
      "accuracy_bits": 773,
      "root_certificate": {
        "lower": "17836332013893674415586153739977583154605049753364376797394748332201042846750610385112256745649191844279174352996581052517524239266430278812418349994717994858094198303529715132112957645541322781316717432613434207511294168132064918436304307730193311229582271727755479870028925422901888172431858918262532804706859094293068722748572526774265122828674683154846202421730583795850953493571046305501606664832427458210852659762056594904539064664860390278478709518854959298473141/947581843445256918425890801063539157261282969431577521447175316178009614676743705035936528826078172577201984068073164798688708523019295893215507370020252160158969101575225772430581839374754910171669311031321086884089872347299840000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
        "upper": "17836332013893674415586153739977583154605049753364376797394748332201042846750610385112256745649191844279174352996581052517524239266430278812418349994717994858094198303529715132112957645541322781316717432613434207511294168132064918436304307730382827598271323111440658030241633254354144766318174422551967867942461017228417463755759832539480757344115079968460835381468325500454812672214147779505657096864221278525897814248172962779490046699194252484742926895672933767933109/947581843445256918425890801063539157261282969431577521447175316178009614676743705035936528826078172577201984068073164798688708523019295893215507370020252160158969101575225772430581839374754910171669311031321086884089872347299840000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
        "endpoint_signs": [
          -1,
          1
        ],
        "second_derivative_sign": 1,
        "defining_interval": [
          "9637/512",
          "19275/1024"
        ]
      }
    },
    {
      "params": {
        "nu": "1",
        "x": "critical-1"
      },
      "origin": "retained website entry",
      "stored_interval_contains_ball": true,
      "accuracy_bits": 795,
      "root_certificate": {
        "lower": "27919724703151990231744016605015961917330750969077957239232965840212874427320556722731307114925943961125427376527539053018261268885712880787207164748093000650655363752028502639298153993119056626636342794775482546102258855668397298017506068254177973329173703684259849850296198961665154146517029500682899676778742196023484841365745694461865714069278057076031429878183542065129190703764914806136174484230599718538792353827049781458581871737838467181985992967646467600675753/7580654747562055347407126408508313258090263755452620171577402529424076917413949640287492230608625380617615872544585318389509668184154367145724058960162017281271752812601806179444654714998039281373354488250568695072718978778398720000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
        "upper": "27919724703151990231744016605015961917330750969077957239232965840212874427320556722731307114925943961125427376527539053018261268885712880787207164748093000650655363752028502639298153993119056626636342794775482546102258855668397298017506068255694104278686114753741275131997861613283206897607553534998380182663557579506274769423244140583590790192801231584948493556085475701960064132909726598168577940484950281059153589715980724458189728012509364832099731982190263356355497/7580654747562055347407126408508313258090263755452620171577402529424076917413949640287492230608625380617615872544585318389509668184154367145724058960162017281271752812601806179444654714998039281373354488250568695072718978778398720000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
        "endpoint_signs": [
          1,
          -1
        ],
        "second_derivative_sign": -1,
        "defining_interval": [
          "3771/1024",
          "943/256"
        ]
      }
    },
    {
      "params": {
        "nu": "1",
        "x": "critical-2"
      },
      "origin": "retained website entry",
      "stored_interval_contains_ball": true,
      "accuracy_bits": 790,
      "root_certificate": {
        "lower": "26310557289435156924562729777660684962455363199973347325623377072417410896515490968186246069724543623218788272265530880433207955149165828832743222300014259238799062285880230113142573293223301637970337834262305430293258451040986384749880747924488595105614680851099499391895315749484849283740905309013166569983753888768354894020870951299061763890516088738327369643740309907172165418205355472938477094017182282812293892886655993934820609785193425060703782379409247594283189/3790327373781027673703563204254156629045131877726310085788701264712038458706974820143746115304312690308807936272292659194754834092077183572862029480081008640635876406300903089722327357499019640686677244125284347536359489389199360000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
        "upper": "26310557289435156924562729777660684962455363199973347325623377072417410896515490968186246069724543623218788272265530880433207955149165828832743222300014259238799062285880230113142573293223301637970337834262305430293258451040986384749880747925246660580370886385840212032746147075293875659286167326170906822926161580509749858049620174359924301952277675992785901482691276725587602132777761368954678822144357564072474510831121465434624537922528873885760651886681145472123061/3790327373781027673703563204254156629045131877726310085788701264712038458706974820143746115304312690308807936272292659194754834092077183572862029480081008640635876406300903089722327357499019640686677244125284347536359489389199360000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
        "endpoint_signs": [
          -1,
          1
        ],
        "second_derivative_sign": 1,
        "defining_interval": [
          "1777/256",
          "7109/1024"
        ]
      }
    },
    {
      "params": {
        "nu": "1",
        "x": "critical-3"
      },
      "origin": "retained website entry",
      "stored_interval_contains_ball": true,
      "accuracy_bits": 785,
      "root_certificate": {
        "lower": "9592754445340921752681207976624648316148095815591955725631509456519784057333449822634973653776544450135659736418167348524699754176049538373860908913779678802429556361217112130001266803398917897383088475894893815717612317264099348619720984366910363282007295154606065463519022542663836055312051605443340552378467148461464364107031005866239284514645114063166152885731352737027969519113642224358588325905517462905446625826532864657528210642866426153774929702227456857066891/947581843445256918425890801063539157261282969431577521447175316178009614676743705035936528826078172577201984068073164798688708523019295893215507370020252160158969101575225772430581839374754910171669311031321086884089872347299840000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
        "upper": "9592754445340921752681207976624648316148095815591955725631509456519784057333449822634973653776544450135659736418167348524699754176049538373860908913779678802429556361217112130001266803398917897383088475894893815717612317264099348619720984367099879650696346538291243623731730374116092649198367109732775615614069071396813105114218311631454919030085510876780785845469094441631828697756743698362638757937311283220491780312649232532479192677200288360039147079045431326526859/947581843445256918425890801063539157261282969431577521447175316178009614676743705035936528826078172577201984068073164798688708523019295893215507370020252160158969101575225772430581839374754910171669311031321086884089872347299840000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
        "endpoint_signs": [
          1,
          -1
        ],
        "second_derivative_sign": -1,
        "defining_interval": [
          "5183/512",
          "10367/1024"
        ]
      }
    },
    {
      "params": {
        "nu": "1",
        "x": "critical-4"
      },
      "origin": "retained website entry",
      "stored_interval_contains_ball": true,
      "accuracy_bits": 780,
      "root_certificate": {
        "lower": "12589343205772155894302298764648600875278636346491170431477052171117778916242986795543190990950399494497392846705866531411974014170634120824118509693820791459585288944638386985986378595392591051838686873373072391173913296239543769455361142970610866155354970279629424683907101906971374684805915625824258206766592741348115218860491667708061676437112032245402008498655962517425858315812715182951132169154987599998692421290988696767396171609064978495441002309267862130504391/947581843445256918425890801063539157261282969431577521447175316178009614676743705035936528826078172577201984068073164798688708523019295893215507370020252160158969101575225772430581839374754910171669311031321086884089872347299840000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
        "upper": "12589343205772155894302298764648600875278636346491170431477052171117778916242986795543190990950399494497392846705866531411974014170634120824118509693820791459585288944638386985986378595392591051838686873373072391173913296239543769455361142970800382524044021663314602844119809738423631278692231130113693270002194664283463959867678973473277310952552429059016641458393704222029717494455816656955182601186781420313737575777105064642347153643398840701705219686085836599964359/947581843445256918425890801063539157261282969431577521447175316178009614676743705035936528826078172577201984068073164798688708523019295893215507370020252160158969101575225772430581839374754910171669311031321086884089872347299840000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
        "endpoint_signs": [
          -1,
          1
        ],
        "second_derivative_sign": 1,
        "defining_interval": [
          "3401/256",
          "13605/1024"
        ]
      }
    },
    {
      "params": {
        "nu": "1",
        "x": "critical-5"
      },
      "origin": "retained website entry",
      "stored_interval_contains_ball": true,
      "accuracy_bits": 775,
      "root_certificate": {
        "lower": "7789150236448962396859145485133100664683611152225339669147590896838633450883811841582667529226051450111760699989051380366810078878891752677801025151111501962510991884473392264336869646391345086853977516310037404245927496034270168250023980188281397150375949922575374640568580095097053906288860640335418304172634871434510520487093528222539328613515609796543560537943060979339179385513238162069466444921289449572379353890814473240439985970134522005026506960364750767400633/473790921722628459212945400531769578630641484715788760723587658089004807338371852517968264413039086288600992034036582399344354261509647946607753685010126080079484550787612886215290919687377455085834655515660543442044936173649920000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
        "upper": "7789150236448962396859145485133100664683611152225339669147590896838633450883811841582667529226051450111760699989051380366810078878891752677801025151111501962510991884473392264336869646391345086853977516310037404245927496034270168250023980188376155334720475614417963720674934010823182203232018392480135835790435832902184890990687181105147145871235808203350877017811931831641108974834788899071491660937186359729901931133872657177915476987301453108158615648773738002130617/473790921722628459212945400531769578630641484715788760723587658089004807338371852517968264413039086288600992034036582399344354261509647946607753685010126080079484550787612886215290919687377455085834655515660543442044936173649920000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
        "endpoint_signs": [
          1,
          -1
        ],
        "second_derivative_sign": -1,
        "defining_interval": [
          "8417/512",
          "16835/1024"
        ]
      }
    },
    {
      "params": {
        "nu": "1",
        "x": "critical-6"
      },
      "origin": "retained website entry",
      "stored_interval_contains_ball": true,
      "accuracy_bits": 771,
      "root_certificate": {
        "lower": "18563357397285224740429515245417684332298395082477136176270456659900101791658153161403624333468501407477117133861398988609903428888543428180145984339184361543792731766122209079149558460138625134296961135797220460839819958606125397494888512610834375162378488334134928387859925181273993273537678472547091011218641303779236186330369550741120336524163073409360881425250768290052685774466740947751586939781750696382968740294416981651184939665043813531953466594164712716441891/947581843445256918425890801063539157261282969431577521447175316178009614676743705035936528826078172577201984068073164798688708523019295893215507370020252160158969101575225772430581839374754910171669311031321086884089872347299840000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
        "upper": "18563357397285224740429515245417684332298395082477136176270456659900101791658153161403624333468501407477117133861398988609903428888543428180145984339184361543792731766122209079149558460138625134296961135797220460839819958606125397494888512611023891531067539717820106548072633012726249867423993976836526074454243226714584927337556856506335971039603470222975514384988509994656544953109842421755637371813544516698013894780533349526135921699377675738217683970982687185901859/947581843445256918425890801063539157261282969431577521447175316178009614676743705035936528826078172577201984068073164798688708523019295893215507370020252160158969101575225772430581839374754910171669311031321086884089872347299840000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
        "endpoint_signs": [
          -1,
          1
        ],
        "second_derivative_sign": 1,
        "defining_interval": [
          "5015/256",
          "20061/1024"
        ]
      }
    },
    {
      "params": {
        "nu": "3/2",
        "x": "critical-1"
      },
      "origin": "retained website entry",
      "stored_interval_contains_ball": true,
      "accuracy_bits": 794,
      "root_certificate": {
        "lower": "16504734361021016599862694028675052699428905208948548311363116237213843188768926874808644543642155396509863197410347159309364234257793971939323176921786251211093595160857704530018091682316045176383561341548477396470201380534991715761785427147033587232467304500614216382890589750909251071997560905283920223903800329879263742850141193346561333087329557969389096295809334475095808279020664162386858126137135937107558384052163678329640386015372256671532420456191474156783189/3790327373781027673703563204254156629045131877726310085788701264712038458706974820143746115304312690308807936272292659194754834092077183572862029480081008640635876406300903089722327357499019640686677244125284347536359489389199360000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
        "upper": "16504734361021016599862694028675052699428905208948548311363116237213843188768926874808644543642155396509863197410347159309364234257793971939323176921786251211093595160857704530018091682316045176383561341548477396470201380534991715761785427147791652707223510035354929023741421076718277447542822922441660476846208021620658706878890416407423871149091145223847628134760301293511244993593070058403059854264311218367739001996629149829444314152707705496589289963463372034623061/3790327373781027673703563204254156629045131877726310085788701264712038458706974820143746115304312690308807936272292659194754834092077183572862029480081008640635876406300903089722327357499019640686677244125284347536359489389199360000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
        "endpoint_signs": [
          1,
          -1
        ],
        "second_derivative_sign": -1,
        "defining_interval": [
          "2229/512",
          "4459/1024"
        ]
      }
    },
    {
      "params": {
        "nu": "3/2",
        "x": "critical-2"
      },
      "origin": "retained website entry",
      "stored_interval_contains_ball": true,
      "accuracy_bits": 790,
      "root_certificate": {
        "lower": "14508510899585372835306574682869383845040856673528187698707310726672898779120501915126693507871852851015250448122969222765685433880107358522090143397812484221256140938001582839494516369522828589769250619093401100964894440150696818512526254538859245580434831163081927923215711960964936047210538445518291624036715182049307194733575012688084722172403461581987322097800451199520343839554855205278920031006680503624529459190120441078876501980119968034845027148614612200461907/1895163686890513836851781602127078314522565938863155042894350632356019229353487410071873057652156345154403968136146329597377417046038591786431014740040504320317938203150451544861163678749509820343338622062642173768179744694599680000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
        "upper": "14508510899585372835306574682869383845040856673528187698707310726672898779120501915126693507871852851015250448122969222765685433880107358522090143397812484221256140938001582839494516369522828589769250619093401100964894440150696818512526254539238278317812933930452284243641127623869449234983169454097161750507919027920004676747949624218515991203284255209216588017275934608728062196841058153287020895070268144254619768162353176828778466048787692447373461902250561139381843/1895163686890513836851781602127078314522565938863155042894350632356019229353487410071873057652156345154403968136146329597377417046038591786431014740040504320317938203150451544861163678749509820343338622062642173768179744694599680000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
        "endpoint_signs": [
          -1,
          1
        ],
        "second_derivative_sign": 1,
        "defining_interval": [
          "7839/1024",
          "245/32"
        ]
      }
    },
    {
      "params": {
        "nu": "3/2",
        "x": "critical-3"
      },
      "origin": "retained website entry",
      "stored_interval_contains_ball": true,
      "accuracy_bits": 784,
      "root_certificate": {
        "lower": "5143725641355265264078406855419181170015149702993353068217977075745306066471062847658189525262693133508850957590104898682543669483374143115545792606540944435728768515301800583931433963280665248356840537300579338322867515633772765998133350580929249967469042099935714633650347916247316425947847365701032992848507939952188599801689244060967834761772031634932524656256746711044353960707763555461209484590211805689858788754417840647865256810938454519999491751166752720525633/473790921722628459212945400531769578630641484715788760723587658089004807338371852517968264413039086288600992034036582399344354261509647946607753685010126080079484550787612886215290919687377455085834655515660543442044936173649920000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
        "upper": "5143725641355265264078406855419181170015149702993353068217977075745306066471062847658189525262693133508850957590104898682543669483374143115545792606540944435728768515301800583931433963280665248356840537300579338322867515633772765998133350581024008151813567791778303713756701831973444722891005117845750524466308901419862970305282896943575652019492230041739841136125617563346283550029314292463234700606108715847381365997476024585340747828105385623131600439575739955255617/473790921722628459212945400531769578630641484715788760723587658089004807338371852517968264413039086288600992034036582399344354261509647946607753685010126080079484550787612886215290919687377455085834655515660543442044936173649920000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
        "endpoint_signs": [
          1,
          -1
        ],
        "second_derivative_sign": -1,
        "defining_interval": [
          "11117/1024",
          "5559/512"
        ]
      }
    },
    {
      "params": {
        "nu": "3/2",
        "x": "critical-4"
      },
      "origin": "retained website entry",
      "stored_interval_contains_ball": true,
      "accuracy_bits": 780,
      "root_certificate": {
        "lower": "26588852682422074693328340977892179450563409865627897383090124482017235933955830044002662017186230744977875918687190576353522873333596917122545285729484539865014052265068770718648571892056876506623894484950853513971986040678473733233220627411631635046487100486624554350101394676545116146298052595576599192021848704744002691327078028956615223999764087550405551828583481769924720207891117313538898687429752048405524044111078536824778540922296627509925696074853625872336907/1895163686890513836851781602127078314522565938863155042894350632356019229353487410071873057652156345154403968136146329597377417046038591786431014740040504320317938203150451544861163678749509820343338622062642173768179744694599680000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
        "upper": "26588852682422074693328340977892179450563409865627897383090124482017235933955830044002662017186230744977875918687190576353522873333596917122545285729484539865014052265068770718648571892056876506623894484950853513971986040678473733233220627412010667783865203253994910670526810339449629334070683604155469318493052550614700173341452640487046493030644881177634817748058965179132438565177320261546999551493339689035614353083311272574680504990964351922454130828489574811256843/1895163686890513836851781602127078314522565938863155042894350632356019229353487410071873057652156345154403968136146329597377417046038591786431014740040504320317938203150451544861163678749509820343338622062642173768179744694599680000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
        "endpoint_signs": [
          -1,
          1
        ],
        "second_derivative_sign": 1,
        "defining_interval": [
          "7183/512",
          "14367/1024"
        ]
      }
    },
    {
      "params": {
        "nu": "3/2",
        "x": "critical-5"
      },
      "origin": "retained website entry",
      "stored_interval_contains_ball": true,
      "accuracy_bits": 776,
      "root_certificate": {
        "lower": "2036268664277838873853596839568151269264315766709723471285396361139455722697552322613919109882978927588838195591933944359953203687281895432434490620402687469068719447502482624174255083867420648748435082226936089273800725339855847867238943760278610694425335967017282918187620961915659860741378761601401608283758301609004164701790033438342271067132403341734465906290016274189122569490339487604587199649873363028295261618723333828112451238594067220091889321797234749955627/118447730430657114803236350132942394657660371178947190180896914522251201834592963129492066103259771572150248008509145599836088565377411986651938421252531520019871137696903221553822729921844363771458663878915135860511234043412480000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
        "upper": "2036268664277838873853596839568151269264315766709723471285396361139455722697552322613919109882978927588838195591933944359953203687281895432434490620402687469068719447502482624174255083867420648748435082226936089273800725339855847867238943760302300240511467389977930188214209440847191934977168199637580991188208541975922757327688446658994225381562452943436295026257233987264604966820727171855093503653847590567675905929487879812481323992885799995874916493899481558638123/118447730430657114803236350132942394657660371178947190180896914522251201834592963129492066103259771572150248008509145599836088565377411986651938421252531520019871137696903221553822729921844363771458663878915135860511234043412480000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
        "endpoint_signs": [
          1,
          -1
        ],
        "second_derivative_sign": -1,
        "defining_interval": [
          "17603/1024",
          "4401/256"
        ]
      }
    },
    {
      "params": {
        "nu": "3/2",
        "x": "critical-6"
      },
      "origin": "retained website entry",
      "stored_interval_contains_ball": true,
      "accuracy_bits": 772,
      "root_certificate": {
        "lower": "9639985078224114943021567671209669075635457416181558300028562273297442341357020003921017479742715850089067733108757706143928749400957338045393698948398407356021615935047767630273320646244584060345112950050870352902692245438106803032326292786351616686120973418256911594349616903717680646639731278786964215651928482059314465442658074026240979190789415945706580483668592669094758662498759430692002959581661507370797741219404524473319418033917109652464556276771000767400633/473790921722628459212945400531769578630641484715788760723587658089004807338371852517968264413039086288600992034036582399344354261509647946607753685010126080079484550787612886215290919687377455085834655515660543442044936173649920000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
        "upper": "9639985078224114943021567671209669075635457416181558300028562273297442341357020003921017479742715850089067733108757706143928749400957338045393698948398407356021615935047767630273320646244584060345112950050870352902692245438106803032326292786446374870465499110099500674455970819443808943582889030931681747269729443526988835946251726908848796448509614352513896963537463521396688251820310167694028175597558417528320318462462708410794909051084040755596664965179988002130617/473790921722628459212945400531769578630641484715788760723587658089004807338371852517968264413039086288600992034036582399344354261509647946607753685010126080079484550787612886215290919687377455085834655515660543442044936173649920000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
        "endpoint_signs": [
          -1,
          1
        ],
        "second_derivative_sign": 1,
        "defining_interval": [
          "10417/512",
          "20835/1024"
        ]
      }
    },
    {
      "params": {
        "nu": "2",
        "x": "critical-1"
      },
      "origin": "retained website entry",
      "stored_interval_contains_ball": true,
      "accuracy_bits": 794,
      "root_certificate": {
        "lower": "18961427024669754354057069219974897496162383609255993013306391897029792166390233516704270379661313579909890299858925346811796496834286410271511994877475242493120598065155832462941995251278432902924019511409760559004417226882216445301521274194950159583430970644634368118317537177391583764123127015547702860307328458744593623215604229913436838533792042156648499330514388842071406935077140672141322027916063354916047103477701764213499271354154131123784361421843939977095689/3790327373781027673703563204254156629045131877726310085788701264712038458706974820143746115304312690308807936272292659194754834092077183572862029480081008640635876406300903089722327357499019640686677244125284347536359489389199360000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
        "upper": "18961427024669754354057069219974897496162383609255993013306391897029792166390233516704270379661313579909890299858925346811796496834286410271511994877475242493120598065155832462941995251278432902924019511409760559004417226882216445301521274195708225058187176179375080759168368503200610139668389032705443113249736150485988587244353452974299376595553629411107031169465355660486843649649546568157523756043238636176227721422167235713303199491489579948841230929115837854935561/3790327373781027673703563204254156629045131877726310085788701264712038458706974820143746115304312690308807936272292659194754834092077183572862029480081008640635876406300903089722327357499019640686677244125284347536359489389199360000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
        "endpoint_signs": [
          1,
          -1
        ],
        "second_derivative_sign": -1,
        "defining_interval": [
          "2561/512",
          "5123/1024"
        ]
      }
    },
    {
      "params": {
        "nu": "2",
        "x": "critical-2"
      },
      "origin": "retained website entry",
      "stored_interval_contains_ball": true,
      "accuracy_bits": 788,
      "root_certificate": {
        "lower": "15825990213337697098116367339093167406543609058380516313023149223325072760821608748345346290068245709882274164333426948316366226292830571488620938052393890118690095513283991541145080962630700944092201640794395092961508203499534368517361035244576238729416283118436720475654934799304786069794969565351373293879720472425270854918892195082741122408029726280172330880020471700632887174612073752024749460825499068810133069987329559925386192017414117113506603062043872454368157/1895163686890513836851781602127078314522565938863155042894350632356019229353487410071873057652156345154403968136146329597377417046038591786431014740040504320317938203150451544861163678749509820343338622062642173768179744694599680000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
        "upper": "15825990213337697098116367339093167406543609058380516313023149223325072760821608748345346290068245709882274164333426948316366226292830571488620938052393890118690095513283991541145080962630700944092201640794395092961508203499534368517361035244955271466794385885807076796080350462209299257567600573930243420350924318295968336933266806613172391438910519907401596799495955109840605531898276700032850324889086709440223378959562295675288156086081841526035037815679821393288093/1895163686890513836851781602127078314522565938863155042894350632356019229353487410071873057652156345154403968136146329597377417046038591786431014740040504320317938203150451544861163678749509820343338622062642173768179744694599680000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
        "endpoint_signs": [
          -1,
          1
        ],
        "second_derivative_sign": 1,
        "defining_interval": [
          "8551/1024",
          "1069/128"
        ]
      }
    },
    {
      "params": {
        "nu": "2",
        "x": "critical-3"
      },
      "origin": "retained website entry",
      "stored_interval_contains_ball": true,
      "accuracy_bits": 783,
      "root_certificate": {
        "lower": "21934994950653341033025838340175585477656387031211699366192356439445335871865313835684100448027077795234329937643431255539992891929042225162431958020968894552320892366791145810499811893019326544428135079432167797136261221793762909002278066034446460683325958083595076094303038873920599745420029243309118150685967393304404075359463267883376074334993751158047853014890921428739016460601506241841213259096120754334138762310406733579139294495406459869403573691735950091086907/1895163686890513836851781602127078314522565938863155042894350632356019229353487410071873057652156345154403968136146329597377417046038591786431014740040504320317938203150451544861163678749509820343338622062642173768179744694599680000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
        "upper": "21934994950653341033025838340175585477656387031211699366192356439445335871865313835684100448027077795234329937643431255539992891929042225162431958020968894552320892366791145810499811893019326544428135079432167797136261221793762909002278066034825493420704060850965432414728454536825112933192660251887988277157171239175101557373837879413807343365874544785277118934366404837946734817887709189849314123159708394964229071282639469329041258564074184281932008445371899030006843/1895163686890513836851781602127078314522565938863155042894350632356019229353487410071873057652156345154403968136146329597377417046038591786431014740040504320317938203150451544861163678749509820343338622062642173768179744694599680000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
        "endpoint_signs": [
          1,
          -1
        ],
        "second_derivative_sign": -1,
        "defining_interval": [
          "11851/1024",
          "2963/256"
        ]
      }
    },
    {
      "params": {
        "nu": "2",
        "x": "critical-4"
      },
      "origin": "retained website entry",
      "stored_interval_contains_ball": true,
      "accuracy_bits": 778,
      "root_certificate": {
        "lower": "27974339302609035033142381594147853442300362132167623532262292740938959548713705680328965630630403703627973473870634707052456651243765534108718991800473344374310388569973360702195289700807206200911991473600667140875512109944234751945701222419912896556736633397637158370101073475683308278755463024239850539831451233283040388987334504909398929423486978687141256972311789986947864872130583764668879602748148470128650181973699050251779064620792353931168275892625537493430657/1895163686890513836851781602127078314522565938863155042894350632356019229353487410071873057652156345154403968136146329597377417046038591786431014740040504320317938203150451544861163678749509820343338622062642173768179744694599680000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
        "upper": "27974339302609035033142381594147853442300362132167623532262292740938959548713705680328965630630403703627973473870634707052456651243765534108718991800473344374310388569973360702195289700807206200911991473600667140875512109944234751945701222420291929294114736165007514690526489138587821466528094032818720666302655079153737871001709116439830198454367772314370522891787273396155583229416786712676980466811736110758740490945931786001681028689460078343696710646261486432350593/1895163686890513836851781602127078314522565938863155042894350632356019229353487410071873057652156345154403968136146329597377417046038591786431014740040504320317938203150451544861163678749509820343338622062642173768179744694599680000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
        "endpoint_signs": [
          -1,
          1
        ],
        "second_derivative_sign": 1,
        "defining_interval": [
          "15115/1024",
          "3779/256"
        ]
      }
    },
    {
      "params": {
        "nu": "2",
        "x": "critical-5"
      },
      "origin": "retained website entry",
      "stored_interval_contains_ball": true,
      "accuracy_bits": 773,
      "root_certificate": {
        "lower": "16991360985864018465673458618294510705824140579926258647644786736289216970455882473854007377794614045599298968863506418028972762169546053190315590379738146034367323953538714035638644473167530720960481546495881527167273635887160497252275767625648328431677367825496575817757260630387105243898519415886366556447956666959311945886713816915969813663941052146857301913987153404918157615699669056462065624291410228730784674482470154292299036584112101648203653752749307443004391/947581843445256918425890801063539157261282969431577521447175316178009614676743705035936528826078172577201984068073164798688708523019295893215507370020252160158969101575225772430581839374754910171669311031321086884089872347299840000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
        "upper": "16991360985864018465673458618294510705824140579926258647644786736289216970455882473854007377794614045599298968863506418028972762169546053190315590379738146034367323953538714035638644473167530720960481546495881527167273635887160497252275767625837844800366419209181753977969968461839361837784834920175801619683558589894660686893901122681185448179381448960471934873724895109522016794342770530466116056323204049045829828968586522167250018618445963854467871129567281912464359/947581843445256918425890801063539157261282969431577521447175316178009614676743705035936528826078172577201984068073164798688708523019295893215507370020252160158969101575225772430581839374754910171669311031321086884089872347299840000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
        "endpoint_signs": [
          1,
          -1
        ],
        "second_derivative_sign": -1,
        "defining_interval": [
          "18361/1024",
          "9181/512"
        ]
      }
    },
    {
      "params": {
        "nu": "2",
        "x": "critical-6"
      },
      "origin": "retained website entry",
      "stored_interval_contains_ball": true,
      "accuracy_bits": 769,
      "root_certificate": {
        "lower": "9993621929043876248093376940951217715056331933208195941471323272187051595430246877866534506035322528888847152677588596094382948588215495558740632552989525104612437205187958908880526401601379492726530089282270332672273998904953388199544624337477969052300485062636215252047305996576540605928910349487937937239364120497859756461516914661647612396603350889125667522727195928683739679291031607885753479432925874659819808148251613560972983753821345827817263781997136021306883/473790921722628459212945400531769578630641484715788760723587658089004807338371852517968264413039086288600992034036582399344354261509647946607753685010126080079484550787612886215290919687377455085834655515660543442044936173649920000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
        "upper": "9993621929043876248093376940951217715056331933208195941471323272187051595430246877866534506035322528888847152677588596094382948588215495558740632552989525104612437205187958908880526401601379492726530089282270332672273998904953388199544624337572727236645010754478804332153659912302668902872068101632655468857165081965534126965110567544255429654323549295932984002596066780985669268612582344887778695448822784817342385391309797498448474770988276930949372470406123256036867/473790921722628459212945400531769578630641484715788760723587658089004807338371852517968264413039086288600992034036582399344354261509647946607753685010126080079484550787612886215290919687377455085834655515660543442044936173649920000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
        "endpoint_signs": [
          -1,
          1
        ],
        "second_derivative_sign": 1,
        "defining_interval": [
          "21599/1024",
          "675/32"
        ]
      }
    },
    {
      "params": {
        "nu": "5/2",
        "x": "critical-1"
      },
      "origin": "retained website entry",
      "stored_interval_contains_ball": true,
      "accuracy_bits": 793,
      "root_certificate": {
        "lower": "21355828498262592046753283950251470946407353069378623552676790159876892468205018378639910827090826752023793870344372285234102102601517832792858861405497621846217665640225747306381534100442743443006777460683633599270701089116712880139716980924495800064855044474381504107880055396324164056998062305309704194727710357888392538778212356059547829031198058827038476597540676872528593754333652336268246154080190610471274768583202153890667065387761737375974087059279853063033189/3790327373781027673703563204254156629045131877726310085788701264712038458706974820143746115304312690308807936272292659194754834092077183572862029480081008640635876406300903089722327357499019640686677244125284347536359489389199360000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
        "upper": "21355828498262592046753283950251470946407353069378623552676790159876892468205018378639910827090826752023793870344372285234102102601517832792858861405497621846217665640225747306381534100442743443006777460683633599270701089116712880139716980925253865539611250009122216748730886722133190432543324322467444447670118049629787502806961579120410367092959646081497008436491643690944030468906058232284447882207365891731455386527667625390470993525097186201030956566551750940873061/3790327373781027673703563204254156629045131877726310085788701264712038458706974820143746115304312690308807936272292659194754834092077183572862029480081008640635876406300903089722327357499019640686677244125284347536359489389199360000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
        "endpoint_signs": [
          1,
          -1
        ],
        "second_derivative_sign": -1,
        "defining_interval": [
          "5769/1024",
          "2885/512"
        ]
      }
    },
    {
      "params": {
        "nu": "5/2",
        "x": "critical-2"
      },
      "origin": "retained website entry",
      "stored_interval_contains_ball": true,
      "accuracy_bits": 788,
      "root_certificate": {
        "lower": "8557518508930834573256046062596262318516024834058373089829751981326793738253745776940006532197545347644633970336557036589650341923714541277637826048914210783613942076530856848255283083138169719736355208406383334709791733988690152192690602269083639766158136169946256829084432756151562083080423201796416791329318953492012712477090535181689657099813163515271767183926561091598475461597573151494353112710813315050841228804429379896906471806815872353469578087275369454723141/947581843445256918425890801063539157261282969431577521447175316178009614676743705035936528826078172577201984068073164798688708523019295893215507370020252160158969101575225772430581839374754910171669311031321086884089872347299840000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
        "upper": "8557518508930834573256046062596262318516024834058373089829751981326793738253745776940006532197545347644633970336557036589650341923714541277637826048914210783613942076530856848255283083138169719736355208406383334709791733988690152192690602269273156134847187553631434989297140587603818676966738706085851854564920876427361453484277840946905291615253560328886400143664302796202334640240674625498403544742607135365886383290545747771857453841149734559733795464093343924183109/947581843445256918425890801063539157261282969431577521447175316178009614676743705035936528826078172577201984068073164798688708523019295893215507370020252160158969101575225772430581839374754910171669311031321086884089872347299840000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
        "endpoint_signs": [
          -1,
          1
        ],
        "second_derivative_sign": 1,
        "defining_interval": [
          "9247/1024",
          "289/32"
        ]
      }
    },
    {
      "params": {
        "nu": "5/2",
        "x": "critical-3"
      },
      "origin": "retained website entry",
      "stored_interval_contains_ball": true,
      "accuracy_bits": 783,
      "root_certificate": {
        "lower": "23270454424219786263974002537232278708951731791109861684117089166427619677317708293220503016018757707214768045610798709412520189730191218725793846984787813107547344164406922646988559536574584892696115677397302268370531870015915772849789564303594863308778545194305617006665820915654434745284781317360491288312967139506554923085247127081486644893090127760530963102601548095836093676403572060549931316014699827681670664375099551919105834681887329903250741779695239641868157/1895163686890513836851781602127078314522565938863155042894350632356019229353487410071873057652156345154403968136146329597377417046038591786431014740040504320317938203150451544861163678749509820343338622062642173768179744694599680000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
        "upper": "23270454424219786263974002537232278708951731791109861684117089166427619677317708293220503016018757707214768045610798709412520189730191218725793846984787813107547344164406922646988559536574584892696115677397302268370531870015915772849789564303973896046156647961675973327091236578558947933057412325939361414784170985377252405099621738611917913923970921387760229022077031505043812033689775008558032180078287468311760973347332287669007798750555054315779176533331188580788093/1895163686890513836851781602127078314522565938863155042894350632356019229353487410071873057652156345154403968136146329597377417046038591786431014740040504320317938203150451544861163678749509820343338622062642173768179744694599680000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
        "endpoint_signs": [
          1,
          -1
        ],
        "second_derivative_sign": -1,
        "defining_interval": [
          "12573/1024",
          "6287/512"
        ]
      }
    },
    {
      "params": {
        "nu": "5/2",
        "x": "critical-4"
      },
      "origin": "retained website entry",
      "stored_interval_contains_ball": true,
      "accuracy_bits": 778,
      "root_certificate": {
        "lower": "7334593784819209485499048438193701963677558888325671604786769860625307468900935454932280984843782091803743532991837077111652258143503992120931360741664362865662254986079706690990099152714049479827032059114530777979110675301108888835571013321749315355288157218884074560506203614839130312291038045213961642455576830854270013244665273885546181123778318460541792370719906992793178663940801542634251321402870640628355304879311174628973169211370723870857896983596257115056883/473790921722628459212945400531769578630641484715788760723587658089004807338371852517968264413039086288600992034036582399344354261509647946607753685010126080079484550787612886215290919687377455085834655515660543442044936173649920000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
        "upper": "7334593784819209485499048438193701963677558888325671604786769860625307468900935454932280984843782091803743532991837077111652258143503992120931360741664362865662254986079706690990099152714049479827032059114530777979110675301108888835571013321844073539632682910726663640612557530565258609234195797358679174073377792321944383748258926768153998381498516867349108850588777845095108253262352279636276537418767550785877882122369358566448660228537654973990005672005244349786867/473790921722628459212945400531769578630641484715788760723587658089004807338371852517968264413039086288600992034036582399344354261509647946607753685010126080079484550787612886215290919687377455085834655515660543442044936173649920000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
        "endpoint_signs": [
          -1,
          1
        ],
        "second_derivative_sign": 1,
        "defining_interval": [
          "3963/256",
          "15853/1024"
        ]
      }
    },
    {
      "params": {
        "nu": "5/2",
        "x": "critical-5"
      },
      "origin": "retained website entry",
      "stored_interval_contains_ball": true,
      "accuracy_bits": 774,
      "root_certificate": {
        "lower": "17683117582531722976736884233956984764251758568682487215834557872532163703178444804980308832387089931024260655475664372161042110546155423759240603139288745231689207207815360087811594165255243875961570292969220480340621207701898318452424444737854471700100087274753123661626098201538915373276283458992906206370433889828814432849148672753627229698886352172044404727471696904370910865399356118510364146728927255939539478630557825295840957395242795994706077039187295724254391/947581843445256918425890801063539157261282969431577521447175316178009614676743705035936528826078172577201984068073164798688708523019295893215507370020252160158969101575225772430581839374754910171669311031321086884089872347299840000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
        "upper": "17683117582531722976736884233956984764251758568682487215834557872532163703178444804980308832387089931024260655475664372161042110546155423759240603139288745231689207207815360087811594165255243875961570292969220480340621207701898318452424444738043988068789138658438301821838806032991171967162598963282341269606035812764163173856335978518842864214326748985659037687209438608974770044042457592514414578760721076254584633116674193170791939429576658200970294416005270193714359/947581843445256918425890801063539157261282969431577521447175316178009614676743705035936528826078172577201984068073164798688708523019295893215507370020252160158969101575225772430581839374754910171669311031321086884089872347299840000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
        "endpoint_signs": [
          1,
          -1
        ],
        "second_derivative_sign": -1,
        "defining_interval": [
          "19109/1024",
          "9555/512"
        ]
      }
    },
    {
      "params": {
        "nu": "5/2",
        "x": "critical-6"
      },
      "origin": "retained website entry",
      "stored_interval_contains_ball": true,
      "accuracy_bits": 770,
      "root_certificate": {
        "lower": "20686081065474478987950187214700029717278377386524232825930544122927917844694141157829880392490349773655243361283800296732896806997316351217875202531790926645082195997744391001082339893752771255654928871611371241861379990590417332519679920575843394925047442939904625608800696456063091304076704288542841359601768639816246312736056773552281300181535233360878890202219609806377026861188531284157859478877744082668555185949751975574129081984452724666768310129587991525035641/947581843445256918425890801063539157261282969431577521447175316178009614676743705035936528826078172577201984068073164798688708523019295893215507370020252160158969101575225772430581839374754910171669311031321086884089872347299840000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
        "upper": "20686081065474478987950187214700029717278377386524232825930544122927917844694141157829880392490349773655243361283800296732896806997316351217875202531790926645082195997744391001082339893752771255654928871611371241861379990590417332519679920576032911293736494323589803769013404287515347897963019792832276422837370562751595053743244079317496934696975630174493523161957351510980886039831632758161909910909537902983600340435868343449080064018786586873032527506405965994495609/947581843445256918425890801063539157261282969431577521447175316178009614676743705035936528826078172577201984068073164798688708523019295893215507370020252160158969101575225772430581839374754910171669311031321086884089872347299840000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
        "endpoint_signs": [
          -1,
          1
        ],
        "second_derivative_sign": 1,
        "defining_interval": [
          "11177/512",
          "22355/1024"
        ]
      }
    },
    {
      "params": {
        "nu": "3",
        "x": "critical-1"
      },
      "origin": "retained website entry",
      "stored_interval_contains_ball": true,
      "accuracy_bits": 793,
      "root_certificate": {
        "lower": "11851658567805653646040784153499134112966389744515607863606088952832333874403424938797854739898875156277581707467509377026575351623782467738443424861882490872385624016294760112518183671456130833329248093310132493747171817234256119117050731224354214642854385077493693409740543428520389599081370084217718746980358309927649090168965513670121583146788182778510602448698670051065426876258828143630901351771858352698386429638336497015134519646893380236864271581063953020774407/1895163686890513836851781602127078314522565938863155042894350632356019229353487410071873057652156345154403968136146329597377417046038591786431014740040504320317938203150451544861163678749509820343338622062642173768179744694599680000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
        "upper": "11851658567805653646040784153499134112966389744515607863606088952832333874403424938797854739898875156277581707467509377026575351623782467738443424861882490872385624016294760112518183671456130833329248093310132493747171817234256119117050731224733247380232487844864049730165959091424902786854001092796588873451562155798346572183340125200552852177668976405739868368174153460273145233545031091639002215835445993328476738610569232765036483715561104649392706334699901959694343/1895163686890513836851781602127078314522565938863155042894350632356019229353487410071873057652156345154403968136146329597377417046038591786431014740040504320317938203150451544861163678749509820343338622062642173768179744694599680000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
        "endpoint_signs": [
          1,
          -1
        ],
        "second_derivative_sign": -1,
        "defining_interval": [
          "6403/1024",
          "1601/256"
        ]
      }
    },
    {
      "params": {
        "nu": "3",
        "x": "critical-2"
      },
      "origin": "retained website entry",
      "stored_interval_contains_ball": true,
      "accuracy_bits": 787,
      "root_certificate": {
        "lower": "9190395397204399731723159208417411993024773067000987494804375060234069449946723117098813093723585253276769507644102900009223640048072028893493021272421805467333025304651817869524485976228580212737687477368665030419634426472581422687452846416637256233883518826189823719727882186087906574747653150604986639076300037557596860076539721266470525626721073900987998529924709552024079664895696380661548330401956874454273075701056671609462423426194774604370442688410623360973141/947581843445256918425890801063539157261282969431577521447175316178009614676743705035936528826078172577201984068073164798688708523019295893215507370020252160158969101575225772430581839374754910171669311031321086884089872347299840000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
        "upper": "9190395397204399731723159208417411993024773067000987494804375060234069449946723117098813093723585253276769507644102900009223640048072028893493021272421805467333025304651817869524485976228580212737687477368665030419634426472581422687452846416826772602572570209875001879940590017540163168633968654894421702311901960492945601083727027031686160142161470714602631489662451256627938843538797854665598762433750694769318230187173039484413405460528636810634660065228597830433109/947581843445256918425890801063539157261282969431577521447175316178009614676743705035936528826078172577201984068073164798688708523019295893215507370020252160158969101575225772430581839374754910171669311031321086884089872347299840000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
        "endpoint_signs": [
          -1,
          1
        ],
        "second_derivative_sign": 1,
        "defining_interval": [
          "9931/1024",
          "2483/256"
        ]
      }
    },
    {
      "params": {
        "nu": "3",
        "x": "critical-3"
      },
      "origin": "retained website entry",
      "stored_interval_contains_ball": true,
      "accuracy_bits": 781,
      "root_certificate": {
        "lower": "12292419283696996542351153199158652471151656449247593734462965073850713743892498889525163051865381521566058205624528636374691736066330147132216980406013729801773052663717612594393416095491857345620004901333886853244251462325087882361266149349899895014509711663662386311800014268070708161252079425524012735772704513236364023088983141783346450942463518306731576262936552658020307434585521732517254780729703438727982033233434095126895869136106895551053432285731180001598141/947581843445256918425890801063539157261282969431577521447175316178009614676743705035936528826078172577201984068073164798688708523019295893215507370020252160158969101575225772430581839374754910171669311031321086884089872347299840000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
        "upper": "12292419283696996542351153199158652471151656449247593734462965073850713743892498889525163051865381521566058205624528636374691736066330147132216980406013729801773052663717612594393416095491857345620004901333886853244251462325087882361266149350089411383198763047347564472012722099522964755138394929813447799008306436171712764096170447548562085457903915120346209222674294362624166613228623206521305212761497259043027187719550463001846851170440757757317649662549154471058109/947581843445256918425890801063539157261282969431577521447175316178009614676743705035936528826078172577201984068073164798688708523019295893215507370020252160158969101575225772430581839374754910171669311031321086884089872347299840000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
        "endpoint_signs": [
          1,
          -1
        ],
        "second_derivative_sign": -1,
        "defining_interval": [
          "13283/1024",
          "3321/256"
        ]
      }
    },
    {
      "params": {
        "nu": "3",
        "x": "critical-4"
      },
      "origin": "retained website entry",
      "stored_interval_contains_ball": true,
      "accuracy_bits": 776,
      "root_certificate": {
        "lower": "15341773799306771420498212332654901008271205282180955365077143361509819521560930956233620059275583743288497577625675654991669961083923834105528379602911928309338485721814452573197967770725432523252685201893432025021377591843119755726734060921076572543658276083815718710932464943037238799552195367140163172637641643317038787803286323544856562229268160130057430036495457396127058393658517428577417553086764476451400061568597645316799938356965568912416321694796426583629391/947581843445256918425890801063539157261282969431577521447175316178009614676743705035936528826078172577201984068073164798688708523019295893215507370020252160158969101575225772430581839374754910171669311031321086884089872347299840000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
        "upper": "15341773799306771420498212332654901008271205282180955365077143361509819521560930956233620059275583743288497577625675654991669961083923834105528379602911928309338485721814452573197967770725432523252685201893432025021377591843119755726734060921266088912347327467500896871145172774489495393438510871429598235873243566252387528810473629310072196744708556943672062996233199100730917572301618902581467985118558296766445216054714013191750920391299431118680539071614401053089359/947581843445256918425890801063539157261282969431577521447175316178009614676743705035936528826078172577201984068073164798688708523019295893215507370020252160158969101575225772430581839374754910171669311031321086884089872347299840000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
        "endpoint_signs": [
          -1,
          1
        ],
        "second_derivative_sign": 1,
        "defining_interval": [
          "16579/1024",
          "4145/256"
        ]
      }
    },
    {
      "params": {
        "nu": "3",
        "x": "critical-5"
      },
      "origin": "retained website entry",
      "stored_interval_contains_ball": true,
      "accuracy_bits": 772,
      "root_certificate": {
        "lower": "18366399377573017144148861507292289716289752592338698674547678636775983394952153537496476347393422514046440104625101552991622012941558398786349419224807534460047662777220678437900858406241199796409122625168095306790469988928709504658073533397806314033440599342953212868335239255555746758208632287820295380391316158573174078775130590893763965354731729681726026447320115152886273314810925199057563778847934550511570146316997576952362337103196452174303678333704812814098141/947581843445256918425890801063539157261282969431577521447175316178009614676743705035936528826078172577201984068073164798688708523019295893215507370020252160158969101575225772430581839374754910171669311031321086884089872347299840000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
        "upper": "18366399377573017144148861507292289716289752592338698674547678636775983394952153537496476347393422514046440104625101552991622012941558398786349419224807534460047662777220678437900858406241199796409122625168095306790469988928709504658073533397995830402129650726638391028547947087008003352094947792109730443626918081508522819782317896658979599870172126495340659407057856857490132493454026673061614210879728370826615300803113944827313319137530314380567895710522787283558109/947581843445256918425890801063539157261282969431577521447175316178009614676743705035936528826078172577201984068073164798688708523019295893215507370020252160158969101575225772430581839374754910171669311031321086884089872347299840000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
        "endpoint_signs": [
          1,
          -1
        ],
        "second_derivative_sign": -1,
        "defining_interval": [
          "19847/1024",
          "2481/128"
        ]
      }
    },
    {
      "params": {
        "nu": "3",
        "x": "critical-6"
      },
      "origin": "retained website entry",
      "stored_interval_contains_ball": true,
      "accuracy_bits": 767,
      "root_certificate": {
        "lower": "2672156144540194459948957806140539536965514956179165986914015621432277437099846783738407430129920010536562843174783810428642768521402908711361002716782134123285443464941474201286197936215668580485499095857042470577875791397821228169631047810756058754479515046535329895725132800040448050036860554845804147359093541828421456527995548729591797890720343099401437520979234057393591902252927259099395592285466866967782776357685298701746642935843274429189110815518243050736877/118447730430657114803236350132942394657660371178947190180896914522251201834592963129492066103259771572150248008509145599836088565377411986651938421252531520019871137696903221553822729921844363771458663878915135860511234043412480000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
        "upper": "2672156144540194459948957806140539536965514956179165986914015621432277437099846783738407430129920010536562843174783810428642768521402908711361002716782134123285443464941474201286197936215668580485499095857042470577875791397821228169631047810779748300565646469495977165751721278971980124272649992881983530263543782195340049153893961950243752205150392701103266640946451770469074299583314943349901896289441094507163420668449844686115515690135007204972137987620489859419373/118447730430657114803236350132942394657660371178947190180896914522251201834592963129492066103259771572150248008509145599836088565377411986651938421252531520019871137696903221553822729921844363771458663878915135860511234043412480000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
        "endpoint_signs": [
          -1,
          1
        ],
        "second_derivative_sign": 1,
        "defining_interval": [
          "23101/1024",
          "11551/512"
        ]
      }
    },
    {
      "params": {
        "nu": "7/2",
        "x": "critical-1"
      },
      "origin": "retained website entry",
      "stored_interval_contains_ball": true,
      "accuracy_bits": 792,
      "root_certificate": {
        "lower": "26013896211154736236123778669047078689672409281531413457287944202276754905390789948071803192637261875122535946359865237786071556629262262146436699016245720836917885883440347563308288284773645088146098857380933516933245656729502620480552748553963838387010784975166240935667288712909923059305450794484790725893354691530296666312253195052146767076287241591251316656705491280756755663610694559663425157831062598791465256537573401910103245631008518550067571937819892125533189/3790327373781027673703563204254156629045131877726310085788701264712038458706974820143746115304312690308807936272292659194754834092077183572862029480081008640635876406300903089722327357499019640686677244125284347536359489389199360000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
        "upper": "26013896211154736236123778669047078689672409281531413457287944202276754905390789948071803192637261875122535946359865237786071556629262262146436699016245720836917885883440347563308288284773645088146098857380933516933245656729502620480552748554721903861766990509906953576518120038718949434850712811642530978835762383271691630341002418113009305138048828845709848495656458099172192378183100455679626885958237880051645874482038873409907173768343967375124441445091790003373061/3790327373781027673703563204254156629045131877726310085788701264712038458706974820143746115304312690308807936272292659194754834092077183572862029480081008640635876406300903089722327357499019640686677244125284347536359489389199360000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
        "endpoint_signs": [
          1,
          -1
        ],
        "second_derivative_sign": -1,
        "defining_interval": [
          "7027/1024",
          "1757/256"
        ]
      }
    },
    {
      "params": {
        "nu": "7/2",
        "x": "critical-2"
      },
      "origin": "retained website entry",
      "stored_interval_contains_ball": true,
      "accuracy_bits": 787,
      "root_certificate": {
        "lower": "4906755725701966982910696583048837557801139712177505534136338445792068230946045343008355206439878076083325060787856103948252660270085604644530471091944931027889627130266530438471713824855892493952757787724980389314928428196831236407795788094661920891798885252963066068347688313457783032753313478999384358626170303116545443837040501080378949225264396968379662079534627263605900496171168930747309630871696666372360873429254961043339422756808936184314357817145756626775633/473790921722628459212945400531769578630641484715788760723587658089004807338371852517968264413039086288600992034036582399344354261509647946607753685010126080079484550787612886215290919687377455085834655515660543442044936173649920000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
        "upper": "4906755725701966982910696583048837557801139712177505534136338445792068230946045343008355206439878076083325060787856103948252660270085604644530471091944931027889627130266530438471713824855892493952757787724980389314928428196831236407795788094756679076143410944805655148454042229183911329696471231144101890243971264584219814340634153962986766482984595375186978559403498115907830085492719667749334846887593576529883450672313144980814913773975867287446466505554743861505617/473790921722628459212945400531769578630641484715788760723587658089004807338371852517968264413039086288600992034036582399344354261509647946607753685010126080079484550787612886215290919687377455085834655515660543442044936173649920000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
        "endpoint_signs": [
          -1,
          1
        ],
        "second_derivative_sign": 1,
        "defining_interval": [
          "2651/256",
          "10605/1024"
        ]
      }
    },
    {
      "params": {
        "nu": "7/2",
        "x": "critical-3"
      },
      "origin": "retained website entry",
      "stored_interval_contains_ball": true,
      "accuracy_bits": 781,
      "root_certificate": {
        "lower": "25880931896409041652603984867589443984255925164055596996287890292865167362357482193458471569614765311016454417498598554175301456815950772255396294191608444121331172767827440494117956520918526350920560768331570237268093805813074175321338521062117895958329289831164495579132387716516113001869039609673481830119879792319916090299155304469726552901383660284065932116178703702903475956075334671540966487811102915674510877160243612967115213149214553819323140203843799212180657/1895163686890513836851781602127078314522565938863155042894350632356019229353487410071873057652156345154403968136146329597377417046038591786431014740040504320317938203150451544861163678749509820343338622062642173768179744694599680000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
        "upper": "25880931896409041652603984867589443984255925164055596996287890292865167362357482193458471569614765311016454417498598554175301456815950772255396294191608444121331172767827440494117956520918526350920560768331570237268093805813074175321338521062496928695707392598534851899557803379420626189641670618252351956591083638190613572313529916000157821932264453911295198035654187112111194313361537619549067351874690556304601186132476348717017177217882278231851574957479748151100593/1895163686890513836851781602127078314522565938863155042894350632356019229353487410071873057652156345154403968136146329597377417046038591786431014740040504320317938203150451544861163678749509820343338622062642173768179744694599680000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
        "endpoint_signs": [
          1,
          -1
        ],
        "second_derivative_sign": -1,
        "defining_interval": [
          "437/32",
          "13985/1024"
        ]
      }
    },
    {
      "params": {
        "nu": "7/2",
        "x": "critical-4"
      },
      "origin": "retained website entry",
      "stored_interval_contains_ball": true,
      "accuracy_bits": 776,
      "root_certificate": {
        "lower": "8002991941907018049181957658943137760462588225235397349732929041822293948758166500501494366572027109723197659294231453330832812954283453308350695823632214269428031943275805835446097003592785967763915894325441928017787269822150539393634430418883294537000076116639978937280845882548349631645148354376243648153585536454818424414361916025249819886123024868417740026575032114848039546622123951703777561946294461557924138389469117177430646228025317042409720599624089146306883/473790921722628459212945400531769578630641484715788760723587658089004807338371852517968264413039086288600992034036582399344354261509647946607753685010126080079484550787612886215290919687377455085834655515660543442044936173649920000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
        "upper": "8002991941907018049181957658943137760462588225235397349732929041822293948758166500501494366572027109723197659294231453330832812954283453308350695823632214269428031943275805835446097003592785967763915894325441928017787269822150539393634430418978052721344601808482568017387199798274477928588306106520961179771386497922492794917955568907857637143843223275225056506443902967149969135943674688705802777962191371715446715632527301114906137245192248145541829288033076381036867/473790921722628459212945400531769578630641484715788760723587658089004807338371852517968264413039086288600992034036582399344354261509647946607753685010126080079484550787612886215290919687377455085834655515660543442044936173649920000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
        "endpoint_signs": [
          -1,
          1
        ],
        "second_derivative_sign": 1,
        "defining_interval": [
          "1081/64",
          "17297/1024"
        ]
      }
    },
    {
      "params": {
        "nu": "7/2",
        "x": "critical-5"
      },
      "origin": "retained website entry",
      "stored_interval_contains_ball": true,
      "accuracy_bits": 772,
      "root_certificate": {
        "lower": "9521014964697121030666678781559075875170292214756668231566232689195031225871083670629230314779371265763827126067538331537714012851718316048260048501036727240514147807662277522006119674566685100508503052101757814200171189511730639469519762121282539336226299611293135521839455754913646030162801346344133358295081751675701922757193265535083969811528815763097486210969436744671182103283670961609465293894433578962486662367076069654970460744685816108756976902457646275213133/473790921722628459212945400531769578630641484715788760723587658089004807338371852517968264413039086288600992034036582399344354261509647946607753685010126080079484550787612886215290919687377455085834655515660543442044936173649920000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
        "upper": "9521014964697121030666678781559075875170292214756668231566232689195031225871083670629230314779371265763827126067538331537714012851718316048260048501036727240514147807662277522006119674566685100508503052101757814200171189511730639469519762121377297520570825303135724601945809670639774327105959098488850889912882713143376293260786918417691787069249014169904802690838307596973111692605221698611490509910330489120009239610134253592445951761852747211889085590866633509943117/473790921722628459212945400531769578630641484715788760723587658089004807338371852517968264413039086288600992034036582399344354261509647946607753685010126080079484550787612886215290919687377455085834655515660543442044936173649920000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
        "endpoint_signs": [
          1,
          -1
        ],
        "second_derivative_sign": -1,
        "defining_interval": [
          "20577/1024",
          "10289/512"
        ]
      }
    },
    {
      "params": {
        "nu": "7/2",
        "x": "critical-6"
      },
      "origin": "retained website entry",
      "stored_interval_contains_ball": true,
      "accuracy_bits": 768,
      "root_certificate": {
        "lower": "11030703516246322198632740094120851642622071442478645007755992752268956094921742597210940533141207992987732762176074971380561383070435074605526396522664311916937888129091477714664139191431290490040760926475660636689526805534720931076076822296307728478600797411578717699230112233384362670516660975197432033990589947180741548796268414044560139723820130698808654265876043236132163747628905944574869790332003274637700055839496400420666355748061242421898337781402043247869383/473790921722628459212945400531769578630641484715788760723587658089004807338371852517968264413039086288600992034036582399344354261509647946607753685010126080079484550787612886215290919687377455085834655515660543442044936173649920000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
        "upper": "11030703516246322198632740094120851642622071442478645007755992752268956094921742597210940533141207992987732762176074971380561383070435074605526396522664311916937888129091477714664139191431290490040760926475660636689526805534720931076076822296402486662945323103421306779336466149110490967459818727342149565608390908648415919299862066927167956981540329105615970745744914088434093336950456681576895006347900184795222633082554584358141846765228173525030446469811030482599367/473790921722628459212945400531769578630641484715788760723587658089004807338371852517968264413039086288600992034036582399344354261509647946607753685010126080079484550787612886215290919687377455085834655515660543442044936173649920000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
        "endpoint_signs": [
          -1,
          1
        ],
        "second_derivative_sign": 1,
        "defining_interval": [
          "745/32",
          "23841/1024"
        ]
      }
    },
    {
      "params": {
        "nu": "4",
        "x": "critical-1"
      },
      "origin": "retained website entry",
      "stored_interval_contains_ball": true,
      "accuracy_bits": 791,
      "root_certificate": {
        "lower": "7073624300490892872981562202568900243409319914135557769577378528790600320727460340745745947914633649352550364591476768020612027057491779039561031373135015033035524881851569973310395572948653177552985326685640305803253890244605142431741188011133081253695580770707090429495285068821521758699443341752948982541571971018946481973169891965643804078365914457454088006734670173695558781295272565391554027753018557857943906040042883336307933376773391158055139243548257638316891/947581843445256918425890801063539157261282969431577521447175316178009614676743705035936528826078172577201984068073164798688708523019295893215507370020252160158969101575225772430581839374754910171669311031321086884089872347299840000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
        "upper": "7073624300490892872981562202568900243409319914135557769577378528790600320727460340745745947914633649352550364591476768020612027057491779039561031373135015033035524881851569973310395572948653177552985326685640305803253890244605142431741188011322597622384632154392268589707992900273778352585758846042384045777173893954295222980357197730859438593806311271068720966472411878299417959938374039395604459784812378172989060526159251211258915411107253364319356620366232107776859/947581843445256918425890801063539157261282969431577521447175316178009614676743705035936528826078172577201984068073164798688708523019295893215507370020252160158969101575225772430581839374754910171669311031321086884089872347299840000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
        "endpoint_signs": [
          1,
          -1
        ],
        "second_derivative_sign": -1,
        "defining_interval": [
          "1911/256",
          "7645/1024"
        ]
      }
    },
    {
      "params": {
        "nu": "4",
        "x": "critical-2"
      },
      "origin": "retained website entry",
      "stored_interval_contains_ball": true,
      "accuracy_bits": 785,
      "root_certificate": {
        "lower": "20856596940806123376583368285767139573723891557850296877106008727635160775052661843191360016926359296902972568836705275736713802477040652580064640440417184479015726028067193944637376795893862278591175941983788482584515750519301810708133739940842690720107025847164923467006159234765816890793175020484621883898424270453862095153990967493665306826401607791327708328891979449971037259566301040535102957527584355327637090126965098860063808591179252512805345475564685442649407/1895163686890513836851781602127078314522565938863155042894350632356019229353487410071873057652156345154403968136146329597377417046038591786431014740040504320317938203150451544861163678749509820343338622062642173768179744694599680000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
        "upper": "20856596940806123376583368285767139573723891557850296877106008727635160775052661843191360016926359296902972568836705275736713802477040652580064640440417184479015726028067193944637376795893862278591175941983788482584515750519301810708133739941221723457485128614535279787431574897670330078565806029063492010369628116324559577168365579024096575857282401418556974248367462859178755616852503988543203821591171995957727399099197834609965772659846976925333780229200634381569343/1895163686890513836851781602127078314522565938863155042894350632356019229353487410071873057652156345154403968136146329597377417046038591786431014740040504320317938203150451544861163678749509820343338622062642173768179744694599680000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
        "endpoint_signs": [
          -1,
          1
        ],
        "second_derivative_sign": 1,
        "defining_interval": [
          "11269/1024",
          "5635/512"
        ]
      }
    },
    {
      "params": {
        "nu": "4",
        "x": "critical-3"
      },
      "origin": "retained website entry",
      "stored_interval_contains_ball": true,
      "accuracy_bits": 779,
      "root_certificate": {
        "lower": "3395120248025661428352877578897244906668831439206486242469305128075162616359118009051905127279507651305809620897869211494206513467699017475316536439245392279486074579416498202852502030772212692186381971421703668008846606167924992672285130239134785272992857088621454370427613803264537962258771778973159689073993436698593111620957595628128904171027148878895285054467180200039945610903764837857091378211198347737532677162532762619577214736463002196359587252126421404208129/236895460861314229606472700265884789315320742357894380361793829044502403669185926258984132206519543144300496017018291199672177130754823973303876842505063040039742275393806443107645459843688727542917327757830271721022468086824960000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
        "upper": "3395120248025661428352877578897244906668831439206486242469305128075162616359118009051905127279507651305809620897869211494206513467699017475316536439245392279486074579416498202852502030772212692186381971421703668008846606167924992672285130239182164365165119934542748910480790761127602110730350655045518454882893917432430296872754422069432812799887248082298943294401615626190910405564540206358103986219146802816293965784061854588314960245046467747925641596330915021573121/236895460861314229606472700265884789315320742357894380361793829044502403669185926258984132206519543144300496017018291199672177130754823973303876842505063040039742275393806443107645459843688727542917327757830271721022468086824960000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
        "endpoint_signs": [
          1,
          -1
        ],
        "second_derivative_sign": -1,
        "defining_interval": [
          "14675/1024",
          "3669/256"
        ]
      }
    },
    {
      "params": {
        "nu": "4",
        "x": "critical-4"
      },
      "origin": "retained website entry",
      "stored_interval_contains_ball": true,
      "accuracy_bits": 774,
      "root_certificate": {
        "lower": "2082836537128920840755868508761210579001829777246503145897586535563691299283923948536648121981315855149653716661712601564208082328802300311967450290632541486682277475907708268332560101421152047718274762965714901603783563601422957274449758707444603916940018661669317923812330531385119828759377164087194882824365771002073989722244754307926900712573805525989408048402659248413025884517770684720993600846679687111025362380595959354648125172941481835423106968396050667924377/118447730430657114803236350132942394657660371178947190180896914522251201834592963129492066103259771572150248008509145599836088565377411986651938421252531520019871137696903221553822729921844363771458663878915135860511234043412480000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
        "upper": "2082836537128920840755868508761210579001829777246503145897586535563691299283923948536648121981315855149653716661712601564208082328802300311967450290632541486682277475907708268332560101421152047718274762965714901603783563601422957274449758707468293463026150084629965193838919010316651902995166602123374265728816011368992582348143167528578855027003855127691237168369876961488508281848158368971499904850653914650406006691360505339016997927233214611206134140498297476606873/118447730430657114803236350132942394657660371178947190180896914522251201834592963129492066103259771572150248008509145599836088565377411986651938421252531520019871137696903221553822729921844363771458663878915135860511234043412480000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
        "endpoint_signs": [
          -1,
          1
        ],
        "second_derivative_sign": 1,
        "defining_interval": [
          "9003/512",
          "18007/1024"
        ]
      }
    },
    {
      "params": {
        "nu": "4",
        "x": "critical-5"
      },
      "origin": "retained website entry",
      "stored_interval_contains_ball": true,
      "accuracy_bits": 770,
      "root_certificate": {
        "lower": "19710708996251323385055576431810695446566973263152618130726739223295246820276458688366000338001437001114425617010648329886678712646259594907902808782409978809273972389917282750428353583126261400724630021555333554942770510071965969982762905780431293691399654378620848144865970698813982403922664156555621268737201311485920027980633132072537990941930770120521942206665793362761174227469376421767868314313203184887023267422839141537455088219431828859230128586237771798473141/947581843445256918425890801063539157261282969431577521447175316178009614676743705035936528826078172577201984068073164798688708523019295893215507370020252160158969101575225772430581839374754910171669311031321086884089872347299840000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
        "upper": "19710708996251323385055576431810695446566973263152618130726739223295246820276458688366000338001437001114425617010648329886678712646259594907902808782409978809273972389917282750428353583126261400724630021555333554942770510071965969982762905780620810060088705762306026305078678530266238997808979660845056331972803234421268768987820437837753625457371166934136575166403535067365033406112477895771918746344997005202068421908955509412406070253765691065494345963055746267933109/947581843445256918425890801063539157261282969431577521447175316178009614676743705035936528826078172577201984068073164798688708523019295893215507370020252160158969101575225772430581839374754910171669311031321086884089872347299840000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
        "endpoint_signs": [
          1,
          -1
        ],
        "second_derivative_sign": -1,
        "defining_interval": [
          "5325/256",
          "21301/1024"
        ]
      }
    },
    {
      "params": {
        "nu": "4",
        "x": "critical-6"
      },
      "origin": "retained website entry",
      "stored_interval_contains_ball": true,
      "accuracy_bits": 765,
      "root_certificate": {
        "lower": "1421195337746469870010438842756984613930669929201234304843018811245749971648410641696974718332143504422874765581089089487758331808667842182707018316606170363177889781235512342776229694704556260343553299205303252214003167353945766051412903539550218901075330590662745045773897577304030356671485305052367266621188180949917448429063006514706879915275299866494443376987199455592626224959063544071903912875083422347286628955314310256337949378809635255883948266502789127907501/59223865215328557401618175066471197328830185589473595090448457261125600917296481564746033051629885786075124004254572799918044282688705993325969210626265760009935568848451610776911364960922181885729331939457567930255617021706240000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
        "upper": "1421195337746469870010438842756984613930669929201234304843018811245749971648410641696974718332143504422874765581089089487758331808667842182707018316606170363177889781235512342776229694704556260343553299205303252214003167353945766051412903539562063674118396302143068680787191816769796393789380024070456958073413301133376744742012213125032857072490324667345357936970808312130367423624257386197157064877070536116976951110696583248522385755955501643775461852553912532248749/59223865215328557401618175066471197328830185589473595090448457261125600917296481564746033051629885786075124004254572799918044282688705993325969210626265760009935568848451610776911364960922181885729331939457567930255617021706240000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
        "endpoint_signs": [
          -1,
          1
        ],
        "second_derivative_sign": 1,
        "defining_interval": [
          "6143/256",
          "24573/1024"
        ]
      }
    },
    {
      "params": {
        "nu": "9/2",
        "x": "critical-1"
      },
      "origin": "retained website entry",
      "stored_interval_contains_ball": true,
      "accuracy_bits": 790,
      "root_certificate": {
        "lower": "15275076290031289424497364883187127867225060781933713537480413985880078728803954161049495463420470135384316010772303167028995487654048991482182772788703266522134189294742082858976040782702015808743509010215349831447456885650137491478369419421218946249218025402130097381571404464393997480333792032127830552160006432076742845758137288409966961334432044841185887087365484278031135678690912774450411994075756766283406995518674159576165484349872798016580003321061816790305657/1895163686890513836851781602127078314522565938863155042894350632356019229353487410071873057652156345154403968136146329597377417046038591786431014740040504320317938203150451544861163678749509820343338622062642173768179744694599680000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
        "upper": "15275076290031289424497364883187127867225060781933713537480413985880078728803954161049495463420470135384316010772303167028995487654048991482182772788703266522134189294742082858976040782702015808743509010215349831447456885650137491478369419421597978986596128169500453701996820127298510668106423040706700678631210277947440327772511899940398230365312838468415153006840967687238854035977115722458512858139344406913497304490906895326067448418540522429108438074697765729225593/1895163686890513836851781602127078314522565938863155042894350632356019229353487410071873057652156345154403968136146329597377417046038591786431014740040504320317938203150451544861163678749509820343338622062642173768179744694599680000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
        "endpoint_signs": [
          1,
          -1
        ],
        "second_derivative_sign": -1,
        "defining_interval": [
          "8253/1024",
          "4127/512"
        ]
      }
    },
    {
      "params": {
        "nu": "9/2",
        "x": "critical-2"
      },
      "origin": "retained website entry",
      "stored_interval_contains_ball": true,
      "accuracy_bits": 784,
      "root_certificate": {
        "lower": "11035873631438034327083237120235896557374496027483305447618421932134610373836035343178693211986393587036198901924201738280610785378102410442652093793681031760551400481923974424236104749184287744180594222122578952399802803160880990531694053703953374867500231892874578453223622325034466301147679282929545756406760698360590550345957344122454505213126518471440540897218930826075544457086815660382229662466532690245000423321825123557632409280714611325380948841517312814098141/947581843445256918425890801063539157261282969431577521447175316178009614676743705035936528826078172577201984068073164798688708523019295893215507370020252160158969101575225772430581839374754910171669311031321086884089872347299840000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
        "upper": "11035873631438034327083237120235896557374496027483305447618421932134610373836035343178693211986393587036198901924201738280610785378102410442652093793681031760551400481923974424236104749184287744180594222122578952399802803160880990531694053704142891236189283276559756613436330156486722895033994787218980819642362621295939291353144649887670139728566915285055173856956672530679403635729917134386280094498326510560045577807941491432583391315048473531645166218335287283558109/947581843445256918425890801063539157261282969431577521447175316178009614676743705035936528826078172577201984068073164798688708523019295893215507370020252160158969101575225772430581839374754910171669311031321086884089872347299840000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
        "endpoint_signs": [
          -1,
          1
        ],
        "second_derivative_sign": 1,
        "defining_interval": [
          "11925/1024",
          "5963/512"
        ]
      }
    },
    {
      "params": {
        "nu": "9/2",
        "x": "critical-3"
      },
      "origin": "retained website entry",
      "stored_interval_contains_ball": true,
      "accuracy_bits": 780,
      "root_certificate": {
        "lower": "14213371797599284890941331578715783691729454788289639468134105092780824000505925972852347461861353283858991997762030478840633545720592596085712051412411776426327276369012687121409664738727074152773367807338825652896679258799308303659053484466008584166946507695759870052562377912953627695162389737380210352676202675479338634695266180477077839128416503555794580910762741621325384530965946473464167345991098113334969618277539932228570352372131466493444142401163919259410641/947581843445256918425890801063539157261282969431577521447175316178009614676743705035936528826078172577201984068073164798688708523019295893215507370020252160158969101575225772430581839374754910171669311031321086884089872347299840000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
        "upper": "14213371797599284890941331578715783691729454788289639468134105092780824000505925972852347461861353283858991997762030478840633545720592596085712051412411776426327276369012687121409664738727074152773367807338825652896679258799308303659053484466198100535635559079445048212775085744405884289048705241669645415911804598414687375702453486242293473643856900369409213870500483325929243709609047947468217778022891933650014772763656300103521334406465328699708359777981893728870609/947581843445256918425890801063539157261282969431577521447175316178009614676743705035936528826078172577201984068073164798688708523019295893215507370020252160158969101575225772430581839374754910171669311031321086884089872347299840000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
        "endpoint_signs": [
          1,
          -1
        ],
        "second_derivative_sign": -1,
        "defining_interval": [
          "15359/1024",
          "15"
        ]
      }
    },
    {
      "params": {
        "nu": "9/2",
        "x": "critical-4"
      },
      "origin": "retained website entry",
      "stored_interval_contains_ball": true,
      "accuracy_bits": 775,
      "root_certificate": {
        "lower": "17312633057063934308816630271679039438647103382988790361494617528053051857224673843355160651252363669789776006558117789322013952423018439715201871941463404281732820133167393064304558752728225094907267558263256046256096821405210537883309975282962499457697414729186307703661849328896747308449316094100375159209549281710016914549882593799232080691413096377186913192347897797221461730711048078304483533168711375751965813999337285505036899117513868643870202362482888985973141/947581843445256918425890801063539157261282969431577521447175316178009614676743705035936528826078172577201984068073164798688708523019295893215507370020252160158969101575225772430581839374754910171669311031321086884089872347299840000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
        "upper": "17312633057063934308816630271679039438647103382988790361494617528053051857224673843355160651252363669789776006558117789322013952423018439715201871941463404281732820133167393064304558752728225094907267558263256046256096821405210537883309975283152015826386466112871485863874557160349003902335631598389810222445151204645365655557069899564447715206853493190801546152085639501825320909354149552308533965200505196067010968485453653379987881151847730850134419739300863455433109/947581843445256918425890801063539157261282969431577521447175316178009614676743705035936528826078172577201984068073164798688708523019295893215507370020252160158969101575225772430581839374754910171669311031321086884089872347299840000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
        "endpoint_signs": [
          -1,
          1
        ],
        "second_derivative_sign": 1,
        "defining_interval": [
          "4677/256",
          "18709/1024"
        ]
      }
    },
    {
      "params": {
        "nu": "9/2",
        "x": "critical-5"
      },
      "origin": "retained website entry",
      "stored_interval_contains_ball": true,
      "accuracy_bits": 771,
      "root_certificate": {
        "lower": "5093259265690694528313583190169132987226621920382901659497870298763924197790864465960888093307947561991939884905854543431153241760009794182230628348429135962955416100999333542582178515545776261375397043800799584100479178459021012299268553550587399424188482020253348875763488818091802641852248874012943355051488025484950197178039220297419116130039555110870327546551381268395876620425255419481981977433546890781234623983560018544839925881259414750929129660115923357333129/236895460861314229606472700265884789315320742357894380361793829044502403669185926258984132206519543144300496017018291199672177130754823973303876842505063040039742275393806443107645459843688727542917327757830271721022468086824960000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
        "upper": "5093259265690694528313583190169132987226621920382901659497870298763924197790864465960888093307947561991939884905854543431153241760009794182230628348429135962955416100999333542582178515545776261375397043800799584100479178459021012299268553550634778516360744866174643415816665775954866790323827750085302120860388506218787382429836046738723024758899654314273985786485816694546841415086030787982994585441495345859995912605089110513577671389842880302495184004320416974698121/236895460861314229606472700265884789315320742357894380361793829044502403669185926258984132206519543144300496017018291199672177130754823973303876842505063040039742275393806443107645459843688727542917327757830271721022468086824960000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
        "endpoint_signs": [
          1,
          -1
        ],
        "second_derivative_sign": -1,
        "defining_interval": [
          "43/2",
          "22017/1024"
        ]
      }
    },
    {
      "params": {
        "nu": "9/2",
        "x": "critical-6"
      },
      "origin": "retained website entry",
      "stored_interval_contains_ball": true,
      "accuracy_bits": 767,
      "root_certificate": {
        "lower": "23410902442137195402099476165296886951118764578427088859469743915712765190205362052698003588788586877823466022086487146007059808349679097558940682822315453672810903113454529713983147888668622594725309652973724555103669902732478106641488364435518555643318768933268464438909338704404446367775836883744312967869918850675452923493829649602133005476037171785375130114003573661926341655398193878727859107801349622559575380928483041789220398513592655602112037599032266427379391/947581843445256918425890801063539157261282969431577521447175316178009614676743705035936528826078172577201984068073164798688708523019295893215507370020252160158969101575225772430581839374754910171669311031321086884089872347299840000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
        "upper": "23410902442137195402099476165296886951118764578427088859469743915712765190205362052698003588788586877823466022086487146007059808349679097558940682822315453672810903113454529713983147888668622594725309652973724555103669902732478106641488364435708072012007820316953642599122046535856702961662152388033748031105520773610801664501016955367348639991477568598989763073741315366530200834041295352731909539833143442874620535414599409664171380547926517808376254975850240896839359/947581843445256918425890801063539157261282969431577521447175316178009614676743705035936528826078172577201984068073164798688708523019295893215507370020252160158969101575225772430581839374754910171669311031321086884089872347299840000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
        "endpoint_signs": [
          -1,
          1
        ],
        "second_derivative_sign": 1,
        "defining_interval": [
          "12649/512",
          "25299/1024"
        ]
      }
    },
    {
      "params": {
        "nu": "5",
        "x": "critical-1"
      },
      "origin": "retained website entry",
      "stored_interval_contains_ball": true,
      "accuracy_bits": 790,
      "root_certificate": {
        "lower": "16392324900772046022449429241650049865465017136384650416493930298449672687727267920221218636147792506432600950614959765193631791929861967898185033392575614107047394501382612104376803250305034988545408465917630238369550146268268003016223173462138428967151651682692684319559871405313074149545268257719951134278707895524975059118331544684207850924388249234310163279170942236797071709346207318286394844976699339910453076856730568555549422090565343065239670693765369036399407/1895163686890513836851781602127078314522565938863155042894350632356019229353487410071873057652156345154403968136146329597377417046038591786431014740040504320317938203150451544861163678749509820343338622062642173768179744694599680000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
        "upper": "16392324900772046022449429241650049865465017136384650416493930298449672687727267920221218636147792506432600950614959765193631791929861967898185033392575614107047394501382612104376803250305034988545408465917630238369550146268268003016223173462517461704529754450063040639985287068217587337317899266298821260749911741395672541132706156214639119955269042861539429198646425646004790066632410266294495709040286980540543385828963304305451386159233067477768105447401317975319343/1895163686890513836851781602127078314522565938863155042894350632356019229353487410071873057652156345154403968136146329597377417046038591786431014740040504320317938203150451544861163678749509820343338622062642173768179744694599680000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
        "endpoint_signs": [
          1,
          -1
        ],
        "second_derivative_sign": -1,
        "defining_interval": [
          "8857/1024",
          "4429/512"
        ]
      }
    },
    {
      "params": {
        "nu": "5",
        "x": "critical-2"
      },
      "origin": "retained website entry",
      "stored_interval_contains_ball": true,
      "accuracy_bits": 783,
      "root_certificate": {
        "lower": "11637128226310204249381162622741243719288877006976786014292797777203608295036510886959695497079278541355081712397290448810110837584766393944609063108512588030306398314462681749558043112208403589656042921666001898701181103688893580824851974343335146687620981035886970416383580320764058512157773495895788364322721257935260386400017765878974719581440895285036408652036260112005100250175344151727342177528624214379139998988001861288996175418063714117012543141787393380504391/947581843445256918425890801063539157261282969431577521447175316178009614676743705035936528826078172577201984068073164798688708523019295893215507370020252160158969101575225772430581839374754910171669311031321086884089872347299840000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
        "upper": "11637128226310204249381162622741243719288877006976786014292797777203608295036510886959695497079278541355081712397290448810110837584766393944609063108512588030306398314462681749558043112208403589656042921666001898701181103688893580824851974343524663056310032419572148576596288152216315106044089000185223427558323180870609127407205071644190354096881292098651041611774001816608959428818445625731392609560418034694185153474118229163947157452397576323276760518605367849964359/947581843445256918425890801063539157261282969431577521447175316178009614676743705035936528826078172577201984068073164798688708523019295893215507370020252160158969101575225772430581839374754910171669311031321086884089872347299840000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
        "endpoint_signs": [
          -1,
          1
        ],
        "second_derivative_sign": 1,
        "defining_interval": [
          "12575/1024",
          "393/32"
        ]
      }
    },
    {
      "params": {
        "nu": "5",
        "x": "critical-3"
      },
      "origin": "retained website entry",
      "stored_interval_contains_ball": true,
      "accuracy_bits": 778,
      "root_certificate": {
        "lower": "7419944537411284086830924938546398205213595404259591516604005418909048323993853191186175157011543797879548370570534865620151331934536850367877753274496334343199851814361944317013135443221380876667547324140376105730441270849934558698426731739697514395229548429184614319024342453739782941903452070675035039585011051275634280505124406898300366218714455499510387106497440653533605682297016558066832557017865687351265708513391744814711326318750899018994810759993962193181883/473790921722628459212945400531769578630641484715788760723587658089004807338371852517968264413039086288600992034036582399344354261509647946607753685010126080079484550787612886215290919687377455085834655515660543442044936173649920000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
        "upper": "7419944537411284086830924938546398205213595404259591516604005418909048323993853191186175157011543797879548370570534865620151331934536850367877753274496334343199851814361944317013135443221380876667547324140376105730441270849934558698426731739792272579574074121027203399130696369465911238846609822819752571202812012743308651008718059780908183476434653906317703586366311505835535271618567295068857773033762597508788285756449928752186817335917830122126919448402949427911867/473790921722628459212945400531769578630641484715788760723587658089004807338371852517968264413039086288600992034036582399344354261509647946607753685010126080079484550787612886215290919687377455085834655515660543442044936173649920000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
        "endpoint_signs": [
          1,
          -1
        ],
        "second_derivative_sign": -1,
        "defining_interval": [
          "4009/256",
          "16037/1024"
        ]
      }
    },
    {
      "params": {
        "nu": "5",
        "x": "critical-4"
      },
      "origin": "retained website entry",
      "stored_interval_contains_ball": true,
      "accuracy_bits": 773,
      "root_certificate": {
        "lower": "8978214665406995466915027685653600072015490224441718107784695286774279477284850425056041520880864719543584812761170433027372492883750885991336624800010570713661135134992586099281122283409556911242390054285278072000847500712168171336873822878054353947150808073906232978810365388295724476924908067767253509073350890376620660434451812730662914400189244988166292101084435253839813271783293969296768815011092391339077310052695115721527896736880585023244189798804692173650633/473790921722628459212945400531769578630641484715788760723587658089004807338371852517968264413039086288600992034036582399344354261509647946607753685010126080079484550787612886215290919687377455085834655515660543442044936173649920000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
        "upper": "8978214665406995466915027685653600072015490224441718107784695286774279477284850425056041520880864719543584812761170433027372492883750885991336624800010570713661135134992586099281122283409556911242390054285278072000847500712168171336873822878149112131495333765748822058916719304021852773868065819911971040691151851844295030938045465613270731657909443394973608580953306106141742861104844706298794031026989301496599887295753299659003387754047516126376298487213679408380617/473790921722628459212945400531769578630641484715788760723587658089004807338371852517968264413039086288600992034036582399344354261509647946607753685010126080079484550787612886215290919687377455085834655515660543442044936173649920000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
        "endpoint_signs": [
          -1,
          1
        ],
        "second_derivative_sign": 1,
        "defining_interval": [
          "4851/256",
          "19405/1024"
        ]
      }
    },
    {
      "params": {
        "nu": "5",
        "x": "critical-5"
      },
      "origin": "retained website entry",
      "stored_interval_contains_ball": true,
      "accuracy_bits": 768,
      "root_certificate": {
        "lower": "21029533953066983997774921264138635552269966261223069107879364351896255901661497935096584878751671301997904492896048232526863701030647688502527169031442397853276895026634347245149616814596243732689620238170187510874489234477372528538471195754003350861527382711625846351660895724580885954894901229160274161207951689702131677906732616350526886292023725063093198740241161279498662371238221186887915015621816561655530468780005515088052415166274542228053880393450601388316891/947581843445256918425890801063539157261282969431577521447175316178009614676743705035936528826078172577201984068073164798688708523019295893215507370020252160158969101575225772430581839374754910171669311031321086884089872347299840000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
        "upper": "21029533953066983997774921264138635552269966261223069107879364351896255901661497935096584878751671301997904492896048232526863701030647688502527169031442397853276895026634347245149616814596243732689620238170187510874489234477372528538471195754192867230216434095311024511873603556033142548781216733449709224443553612637480418913919922115742520807464121876707831699978902984102521549881322660891965447653610381970575623266121882963003397200608404434318097770268575857776859/947581843445256918425890801063539157261282969431577521447175316178009614676743705035936528826078172577201984068073164798688708523019295893215507370020252160158969101575225772430581839374754910171669311031321086884089872347299840000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
        "endpoint_signs": [
          1,
          -1
        ],
        "second_derivative_sign": -1,
        "defining_interval": [
          "22725/1024",
          "11363/512"
        ]
      }
    },
    {
      "params": {
        "nu": "5",
        "x": "critical-6"
      },
      "origin": "retained website entry",
      "stored_interval_contains_ball": true,
      "accuracy_bits": 764,
      "root_certificate": {
        "lower": "24077176033509945759261084251550820687935046759739273789066435371335098355874253726378006607693106101261200570377809041650821851204701189268829391909088209626681880584533056675437250839669992021314555572536232770626603572743417950008845993589431323864011935272793242391617821581153030944524004149829317709037137268660070908554304117914149555943361255504102818993812228387879877212201027254246748604637906577522350542279571580004377018817095787765426186382716043282848141/947581843445256918425890801063539157261282969431577521447175316178009614676743705035936528826078172577201984068073164798688708523019295893215507370020252160158969101575225772430581839374754910171669311031321086884089872347299840000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
        "upper": "24077176033509945759261084251550820687935046759739273789066435371335098355874253726378006607693106101261200570377809041650821851204701189268829391909088209626681880584533056675437250839669992021314555572536232770626603572743417950008845993589620840232700986656478420551830529412605287538410319654118752772272739191595419649561491423679365190458801652317717451953549970092483736390844128728250799036669700397837395696765687947879328000851429649971690403759534017752308109/947581843445256918425890801063539157261282969431577521447175316178009614676743705035936528826078172577201984068073164798688708523019295893215507370020252160158969101575225772430581839374754910171669311031321086884089872347299840000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
        "endpoint_signs": [
          -1,
          1
        ],
        "second_derivative_sign": 1,
        "defining_interval": [
          "13009/512",
          "26019/1024"
        ]
      }
    },
    {
      "params": {
        "nu": "11/2",
        "x": "critical-1"
      },
      "origin": "retained website entry",
      "stored_interval_contains_ball": true,
      "accuracy_bits": 789,
      "root_certificate": {
        "lower": "4375115239671367726660139861931924753475233365151644594531540780946372702746418303414820830519938197513867051535623730187051989377190671260588644530709347171054596918839935714349780394437493892050151722935926639034975341908933148294542459626791550456938480927279011432314432219214840368873065794481609089473670527616343316729751710415823003738455150028377494945777702079277681181806610491714106726116421115950517147521234320040407084475269776532003002941581181431463133/473790921722628459212945400531769578630641484715788760723587658089004807338371852517968264413039086288600992034036582399344354261509647946607753685010126080079484550787612886215290919687377455085834655515660543442044936173649920000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
        "upper": "4375115239671367726660139861931924753475233365151644594531540780946372702746418303414820830519938197513867051535623730187051989377190671260588644530709347171054596918839935714349780394437493892050151722935926639034975341908933148294542459626886308641283006619121600512420786134940968665816223546626326621091471489084017687233345363298430820996175348435184811425646572931579610771128161228716131942132318026108039724764292503977882575492436707635135111629990168666193117/473790921722628459212945400531769578630641484715788760723587658089004807338371852517968264413039086288600992034036582399344354261509647946607753685010126080079484550787612886215290919687377455085834655515660543442044936173649920000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
        "endpoint_signs": [
          1,
          -1
        ],
        "second_derivative_sign": -1,
        "defining_interval": [
          "9455/1024",
          "591/64"
        ]
      }
    },
    {
      "params": {
        "nu": "11/2",
        "x": "critical-2"
      },
      "origin": "retained website entry",
      "stored_interval_contains_ball": true,
      "accuracy_bits": 783,
      "root_certificate": {
        "lower": "24465573246563550797361951339964720210624883005168349662205518121944852612391635823771744029698282906972278521595698236707333826899850391816120615352499398623778918058552269754562341684634406534377250686647540517801409082573589772276956878294661527582950504755215021599972896767472421791083813151285569839008012345760316569653303829506389793259641134036358356555547617387606240702892212732937410622972835892812791658853901569745313627731662648553313869058976855852805657/1895163686890513836851781602127078314522565938863155042894350632356019229353487410071873057652156345154403968136146329597377417046038591786431014740040504320317938203150451544861163678749509820343338622062642173768179744694599680000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
        "upper": "24465573246563550797361951339964720210624883005168349662205518121944852612391635823771744029698282906972278521595698236707333826899850391816120615352499398623778918058552269754562341684634406534377250686647540517801409082573589772276956878295040560320328607522585377920398312430376934978856444159864439965479216191631014051667678441036821062290521927663587622475023100796813959060178415680945511487036423533442881967826134305495215591800330372965842303812612804791725593/1895163686890513836851781602127078314522565938863155042894350632356019229353487410071873057652156345154403968136146329597377417046038591786431014740040504320317938203150451544861163678749509820343338622062642173768179744694599680000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
        "endpoint_signs": [
          -1,
          1
        ],
        "second_derivative_sign": 1,
        "defining_interval": [
          "13219/1024",
          "3305/256"
        ]
      }
    },
    {
      "params": {
        "nu": "11/2",
        "x": "critical-3"
      },
      "origin": "retained website entry",
      "stored_interval_contains_ball": true,
      "accuracy_bits": 778,
      "root_certificate": {
        "lower": "7730331090402607898401702877255478026767731826056854163825728442519371795774821578419902391640045809783764133184986409104697662058466807957087067576904255595186774311237348494109564453817409735163322815299485813887380544112700612346260581696636006757189413836698903925192286852873604398642995831722079151868851005160828032177022661899287874461593964721417285992824391251841514751035228718600304340596022632515049709152335486378469098502613370157121958911391667271306883/473790921722628459212945400531769578630641484715788760723587658089004807338371852517968264413039086288600992034036582399344354261509647946607753685010126080079484550787612886215290919687377455085834655515660543442044936173649920000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
        "upper": "7730331090402607898401702877255478026767731826056854163825728442519371795774821578419902391640045809783764133184986409104697662058466807957087067576904255595186774311237348494109564453817409735163322815299485813887380544112700612346260581696730764941533939528541493005298640768599732695586153583866796683486651966628502402680616314781895691719314163128224602472693262104143444340356779455602329556611919542672572286395393670315944589519780301260254067599800654506036867/473790921722628459212945400531769578630641484715788760723587658089004807338371852517968264413039086288600992034036582399344354261509647946607753685010126080079484550787612886215290919687377455085834655515660543442044936173649920000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
        "endpoint_signs": [
          1,
          -1
        ],
        "second_derivative_sign": -1,
        "defining_interval": [
          "16707/1024",
          "4177/256"
        ]
      }
    },
    {
      "params": {
        "nu": "11/2",
        "x": "critical-4"
      },
      "origin": "retained website entry",
      "stored_interval_contains_ball": true,
      "accuracy_bits": 774,
      "root_certificate": {
        "lower": "9297307736091994748273501773257470270501789345488542684044184233541831677652198906188685161171777090485323258137415251503249288852743805695747303792223628992965752744609233604457956993914023968104459523121443797838408747388084788331076690210316312856716349613486016133566039165846109774867531399360620583944043346999356067434469982736350284316512430557423519721215991872588325783423935904698355890080411749101645780825036512711257597187646943722428100883933476353338133/473790921722628459212945400531769578630641484715788760723587658089004807338371852517968264413039086288600992034036582399344354261509647946607753685010126080079484550787612886215290919687377455085834655515660543442044936173649920000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
        "upper": "9297307736091994748273501773257470270501789345488542684044184233541831677652198906188685161171777090485323258137415251503249288852743805695747303792223628992965752744609233604457956993914023968104459523121443797838408747388084788331076690210411071041060875305328605213672393081572238071810689151505338115561844308467030437938063635618958101574232628964230836201084862724890255372745486641700381106096308659259168358068094696648733088204813874825560209572342463588068117/473790921722628459212945400531769578630641484715788760723587658089004807338371852517968264413039086288600992034036582399344354261509647946607753685010126080079484550787612886215290919687377455085834655515660543442044936173649920000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
        "endpoint_signs": [
          -1,
          1
        ],
        "second_derivative_sign": 1,
        "defining_interval": [
          "10047/512",
          "20095/1024"
        ]
      }
    },
    {
      "params": {
        "nu": "11/2",
        "x": "critical-5"
      },
      "origin": "retained website entry",
      "stored_interval_contains_ball": true,
      "accuracy_bits": 770,
      "root_certificate": {
        "lower": "10840326592855103937842829044133950461012623914040845249137237706056224501243162840840800117796202677946939714975916657747606367734366384132787872947786180490629891371340833286760561564762331355812606806088912778498650890492533518036663092295309169453024714242964935518500524401979229572654726653378321955638394029534678668774093517467905286834270214344096241812044231161739556854272499158083690971105362498174463011746313957385174520366682564428118335783454350376775633/473790921722628459212945400531769578630641484715788760723587658089004807338371852517968264413039086288600992034036582399344354261509647946607753685010126080079484550787612886215290919687377455085834655515660543442044936173649920000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
        "upper": "10840326592855103937842829044133950461012623914040845249137237706056224501243162840840800117796202677946939714975916657747606367734366384132787872947786180490629891371340833286760561564762331355812606806088912778498650890492533518036663092295403927637369239934807524598606878317705357869597884405523039487256194991002353039277687170350513104091990412750903558291913102014041486443594049895085716187121259408331985588989372141322650011383849495531250444471863337611505617/473790921722628459212945400531769578630641484715788760723587658089004807338371852517968264413039086288600992034036582399344354261509647946607753685010126080079484550787612886215290919687377455085834655515660543442044936173649920000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
        "endpoint_signs": [
          1,
          -1
        ],
        "second_derivative_sign": -1,
        "defining_interval": [
          "23429/1024",
          "11715/512"
        ]
      }
    },
    {
      "params": {
        "nu": "11/2",
        "x": "critical-6"
      },
      "origin": "retained website entry",
      "stored_interval_contains_ball": true,
      "accuracy_bits": 765,
      "root_certificate": {
        "lower": "24738333494559900065441437093865378914204608255004857514397852891953899098729714106965905946491431776657189773734031005072122215101890630128410207918469008419386559744038876724621294196173587938164567542397813592642182139279220943901491100124818391705875219003024591037646269308531236895972523480398799550479825011258609739293978486873467109178403409823247206673620272312412831619175266694829077550293712707343178088520151497443755362319294519350366292059367044259410641/947581843445256918425890801063539157261282969431577521447175316178009614676743705035936528826078172577201984068073164798688708523019295893215507370020252160158969101575225772430581839374754910171669311031321086884089872347299840000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
        "upper": "24738333494559900065441437093865378914204608255004857514397852891953899098729714106965905946491431776657189773734031005072122215101890630128410207918469008419386559744038876724621294196173587938164567542397813592642182139279220943901491100125007908074564270386709769197858977139983493489858838984688234613715426934193958480301165792638682743693843806636861839633358014017016690797818368168833127982325506527658223243006267865318706344353628381556630509436185018728870609/947581843445256918425890801063539157261282969431577521447175316178009614676743705035936528826078172577201984068073164798688708523019295893215507370020252160158969101575225772430581839374754910171669311031321086884089872347299840000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
        "endpoint_signs": [
          -1,
          1
        ],
        "second_derivative_sign": 1,
        "defining_interval": [
          "26733/1024",
          "13367/512"
        ]
      }
    },
    {
      "params": {
        "nu": "0",
        "x": "1"
      },
      "origin": "balanced expansion",
      "stored_interval_contains_ball": true,
      "accuracy_bits": 991,
      "mpmath_160_digits": true,
      "mpmath_210_digits": true,
      "structural_checks": [
        "bessel_wronskian"
      ]
    },
    {
      "params": {
        "nu": "1/2",
        "x": "1"
      },
      "origin": "balanced expansion",
      "stored_interval_contains_ball": true,
      "accuracy_bits": 996,
      "mpmath_160_digits": true,
      "mpmath_210_digits": true,
      "structural_checks": [
        "bessel_wronskian",
        "elementary_half_order_recurrence"
      ]
    },
    {
      "params": {
        "nu": "1/2",
        "x": "1/2"
      },
      "origin": "balanced expansion",
      "stored_interval_contains_ball": true,
      "accuracy_bits": 996,
      "mpmath_160_digits": true,
      "mpmath_210_digits": true,
      "structural_checks": [
        "bessel_wronskian",
        "elementary_half_order_recurrence"
      ]
    },
    {
      "params": {
        "nu": "1",
        "x": "1"
      },
      "origin": "balanced expansion",
      "stored_interval_contains_ball": true,
      "accuracy_bits": 994,
      "mpmath_160_digits": true,
      "mpmath_210_digits": true,
      "structural_checks": [
        "bessel_wronskian"
      ]
    },
    {
      "params": {
        "nu": "3/2",
        "x": "1"
      },
      "origin": "balanced expansion",
      "stored_interval_contains_ball": true,
      "accuracy_bits": 996,
      "mpmath_160_digits": true,
      "mpmath_210_digits": true,
      "structural_checks": [
        "bessel_wronskian",
        "elementary_half_order_recurrence"
      ]
    },
    {
      "params": {
        "nu": "3/2",
        "x": "3/2"
      },
      "origin": "balanced expansion",
      "stored_interval_contains_ball": true,
      "accuracy_bits": 995,
      "mpmath_160_digits": true,
      "mpmath_210_digits": true,
      "structural_checks": [
        "bessel_wronskian",
        "elementary_half_order_recurrence"
      ]
    },
    {
      "params": {
        "nu": "2",
        "x": "1"
      },
      "origin": "balanced expansion",
      "stored_interval_contains_ball": true,
      "accuracy_bits": 994,
      "mpmath_160_digits": true,
      "mpmath_210_digits": true,
      "structural_checks": [
        "bessel_wronskian"
      ]
    },
    {
      "params": {
        "nu": "2",
        "x": "2"
      },
      "origin": "balanced expansion",
      "stored_interval_contains_ball": true,
      "accuracy_bits": 994,
      "mpmath_160_digits": true,
      "mpmath_210_digits": true,
      "structural_checks": [
        "bessel_wronskian"
      ]
    },
    {
      "params": {
        "nu": "5/2",
        "x": "1"
      },
      "origin": "balanced expansion",
      "stored_interval_contains_ball": true,
      "accuracy_bits": 996,
      "mpmath_160_digits": true,
      "mpmath_210_digits": true,
      "structural_checks": [
        "bessel_wronskian",
        "elementary_half_order_recurrence"
      ]
    },
    {
      "params": {
        "nu": "5/2",
        "x": "5/2"
      },
      "origin": "balanced expansion",
      "stored_interval_contains_ball": true,
      "accuracy_bits": 996,
      "mpmath_160_digits": true,
      "mpmath_210_digits": true,
      "structural_checks": [
        "bessel_wronskian",
        "elementary_half_order_recurrence"
      ]
    },
    {
      "params": {
        "nu": "3",
        "x": "1"
      },
      "origin": "balanced expansion",
      "stored_interval_contains_ball": true,
      "accuracy_bits": 994,
      "mpmath_160_digits": true,
      "mpmath_210_digits": true,
      "structural_checks": [
        "bessel_wronskian"
      ]
    },
    {
      "params": {
        "nu": "3",
        "x": "3"
      },
      "origin": "balanced expansion",
      "stored_interval_contains_ball": true,
      "accuracy_bits": 993,
      "mpmath_160_digits": true,
      "mpmath_210_digits": true,
      "structural_checks": [
        "bessel_wronskian"
      ]
    },
    {
      "params": {
        "nu": "7/2",
        "x": "1"
      },
      "origin": "balanced expansion",
      "stored_interval_contains_ball": true,
      "accuracy_bits": 995,
      "mpmath_160_digits": true,
      "mpmath_210_digits": true,
      "structural_checks": [
        "bessel_wronskian",
        "elementary_half_order_recurrence"
      ]
    },
    {
      "params": {
        "nu": "7/2",
        "x": "7/2"
      },
      "origin": "balanced expansion",
      "stored_interval_contains_ball": true,
      "accuracy_bits": 996,
      "mpmath_160_digits": true,
      "mpmath_210_digits": true,
      "structural_checks": [
        "bessel_wronskian",
        "elementary_half_order_recurrence"
      ]
    },
    {
      "params": {
        "nu": "4",
        "x": "1"
      },
      "origin": "balanced expansion",
      "stored_interval_contains_ball": true,
      "accuracy_bits": 995,
      "mpmath_160_digits": true,
      "mpmath_210_digits": true,
      "structural_checks": [
        "bessel_wronskian"
      ]
    },
    {
      "params": {
        "nu": "4",
        "x": "4"
      },
      "origin": "balanced expansion",
      "stored_interval_contains_ball": true,
      "accuracy_bits": 992,
      "mpmath_160_digits": true,
      "mpmath_210_digits": true,
      "structural_checks": [
        "bessel_wronskian"
      ]
    },
    {
      "params": {
        "nu": "9/2",
        "x": "1"
      },
      "origin": "balanced expansion",
      "stored_interval_contains_ball": true,
      "accuracy_bits": 996,
      "mpmath_160_digits": true,
      "mpmath_210_digits": true,
      "structural_checks": [
        "bessel_wronskian",
        "elementary_half_order_recurrence"
      ]
    },
    {
      "params": {
        "nu": "9/2",
        "x": "9/2"
      },
      "origin": "balanced expansion",
      "stored_interval_contains_ball": true,
      "accuracy_bits": 995,
      "mpmath_160_digits": true,
      "mpmath_210_digits": true,
      "structural_checks": [
        "bessel_wronskian",
        "elementary_half_order_recurrence"
      ]
    },
    {
      "params": {
        "nu": "5",
        "x": "1"
      },
      "origin": "balanced expansion",
      "stored_interval_contains_ball": true,
      "accuracy_bits": 995,
      "mpmath_160_digits": true,
      "mpmath_210_digits": true,
      "structural_checks": [
        "bessel_wronskian"
      ]
    },
    {
      "params": {
        "nu": "5",
        "x": "5"
      },
      "origin": "balanced expansion",
      "stored_interval_contains_ball": true,
      "accuracy_bits": 992,
      "mpmath_160_digits": true,
      "mpmath_210_digits": true,
      "structural_checks": [
        "bessel_wronskian"
      ]
    },
    {
      "params": {
        "nu": "11/2",
        "x": "1"
      },
      "origin": "balanced expansion",
      "stored_interval_contains_ball": true,
      "accuracy_bits": 996,
      "mpmath_160_digits": true,
      "mpmath_210_digits": true,
      "structural_checks": [
        "bessel_wronskian",
        "elementary_half_order_recurrence"
      ]
    },
    {
      "params": {
        "nu": "11/2",
        "x": "11/2"
      },
      "origin": "balanced expansion",
      "stored_interval_contains_ball": true,
      "accuracy_bits": 995,
      "mpmath_160_digits": true,
      "mpmath_210_digits": true,
      "structural_checks": [
        "bessel_wronskian",
        "elementary_half_order_recurrence"
      ]
    },
    {
      "params": {
        "nu": "6",
        "x": "1"
      },
      "origin": "balanced expansion",
      "stored_interval_contains_ball": true,
      "accuracy_bits": 994,
      "mpmath_160_digits": true,
      "mpmath_210_digits": true,
      "structural_checks": [
        "bessel_wronskian"
      ]
    },
    {
      "params": {
        "nu": "6",
        "x": "6"
      },
      "origin": "balanced expansion",
      "stored_interval_contains_ball": true,
      "accuracy_bits": 992,
      "mpmath_160_digits": true,
      "mpmath_210_digits": true,
      "structural_checks": [
        "bessel_wronskian"
      ]
    },
    {
      "params": {
        "nu": "13/2",
        "x": "1"
      },
      "origin": "balanced expansion",
      "stored_interval_contains_ball": true,
      "accuracy_bits": 996,
      "mpmath_160_digits": true,
      "mpmath_210_digits": true,
      "structural_checks": [
        "bessel_wronskian",
        "elementary_half_order_recurrence"
      ]
    },
    {
      "params": {
        "nu": "13/2",
        "x": "13/2"
      },
      "origin": "balanced expansion",
      "stored_interval_contains_ball": true,
      "accuracy_bits": 995,
      "mpmath_160_digits": true,
      "mpmath_210_digits": true,
      "structural_checks": [
        "bessel_wronskian",
        "elementary_half_order_recurrence"
      ]
    },
    {
      "params": {
        "nu": "7",
        "x": "1"
      },
      "origin": "balanced expansion",
      "stored_interval_contains_ball": true,
      "accuracy_bits": 993,
      "mpmath_160_digits": true,
      "mpmath_210_digits": true,
      "structural_checks": [
        "bessel_wronskian"
      ]
    },
    {
      "params": {
        "nu": "7",
        "x": "7"
      },
      "origin": "balanced expansion",
      "stored_interval_contains_ball": true,
      "accuracy_bits": 991,
      "mpmath_160_digits": true,
      "mpmath_210_digits": true,
      "structural_checks": [
        "bessel_wronskian"
      ]
    },
    {
      "params": {
        "nu": "15/2",
        "x": "1"
      },
      "origin": "balanced expansion",
      "stored_interval_contains_ball": true,
      "accuracy_bits": 995,
      "mpmath_160_digits": true,
      "mpmath_210_digits": true,
      "structural_checks": [
        "bessel_wronskian",
        "elementary_half_order_recurrence"
      ]
    },
    {
      "params": {
        "nu": "15/2",
        "x": "15/2"
      },
      "origin": "balanced expansion",
      "stored_interval_contains_ball": true,
      "accuracy_bits": 995,
      "mpmath_160_digits": true,
      "mpmath_210_digits": true,
      "structural_checks": [
        "bessel_wronskian",
        "elementary_half_order_recurrence"
      ]
    },
    {
      "params": {
        "nu": "8",
        "x": "1"
      },
      "origin": "balanced expansion",
      "stored_interval_contains_ball": true,
      "accuracy_bits": 994,
      "mpmath_160_digits": true,
      "mpmath_210_digits": true,
      "structural_checks": [
        "bessel_wronskian"
      ]
    },
    {
      "params": {
        "nu": "8",
        "x": "8"
      },
      "origin": "balanced expansion",
      "stored_interval_contains_ball": true,
      "accuracy_bits": 992,
      "mpmath_160_digits": true,
      "mpmath_210_digits": true,
      "structural_checks": [
        "bessel_wronskian"
      ]
    },
    {
      "params": {
        "nu": "17/2",
        "x": "1"
      },
      "origin": "balanced expansion",
      "stored_interval_contains_ball": true,
      "accuracy_bits": 996,
      "mpmath_160_digits": true,
      "mpmath_210_digits": true,
      "structural_checks": [
        "bessel_wronskian",
        "elementary_half_order_recurrence"
      ]
    },
    {
      "params": {
        "nu": "17/2",
        "x": "17/2"
      },
      "origin": "balanced expansion",
      "stored_interval_contains_ball": true,
      "accuracy_bits": 995,
      "mpmath_160_digits": true,
      "mpmath_210_digits": true,
      "structural_checks": [
        "bessel_wronskian",
        "elementary_half_order_recurrence"
      ]
    },
    {
      "params": {
        "nu": "0",
        "x": "1/2"
      },
      "origin": "balanced expansion",
      "stored_interval_contains_ball": true,
      "accuracy_bits": 993,
      "mpmath_160_digits": true,
      "mpmath_210_digits": true,
      "structural_checks": [
        "bessel_wronskian"
      ]
    },
    {
      "params": {
        "nu": "0",
        "x": "2"
      },
      "origin": "balanced expansion",
      "stored_interval_contains_ball": true,
      "accuracy_bits": 995,
      "mpmath_160_digits": true,
      "mpmath_210_digits": true,
      "structural_checks": [
        "bessel_wronskian"
      ]
    },
    {
      "params": {
        "nu": "0",
        "x": "3"
      },
      "origin": "balanced expansion",
      "stored_interval_contains_ball": true,
      "accuracy_bits": 994,
      "mpmath_160_digits": true,
      "mpmath_210_digits": true,
      "structural_checks": [
        "bessel_wronskian"
      ]
    },
    {
      "params": {
        "nu": "0",
        "x": "5"
      },
      "origin": "balanced expansion",
      "stored_interval_contains_ball": true,
      "accuracy_bits": 994,
      "mpmath_160_digits": true,
      "mpmath_210_digits": true,
      "structural_checks": [
        "bessel_wronskian"
      ]
    },
    {
      "params": {
        "nu": "0",
        "x": "8"
      },
      "origin": "balanced expansion",
      "stored_interval_contains_ball": true,
      "accuracy_bits": 993,
      "mpmath_160_digits": true,
      "mpmath_210_digits": true,
      "structural_checks": [
        "bessel_wronskian"
      ]
    },
    {
      "params": {
        "nu": "1",
        "x": "1/2"
      },
      "origin": "balanced expansion",
      "stored_interval_contains_ball": true,
      "accuracy_bits": 994,
      "mpmath_160_digits": true,
      "mpmath_210_digits": true,
      "structural_checks": [
        "bessel_wronskian"
      ]
    },
    {
      "params": {
        "nu": "1",
        "x": "2"
      },
      "origin": "balanced expansion",
      "stored_interval_contains_ball": true,
      "accuracy_bits": 991,
      "mpmath_160_digits": true,
      "mpmath_210_digits": true,
      "structural_checks": [
        "bessel_wronskian"
      ]
    },
    {
      "params": {
        "nu": "1",
        "x": "3"
      },
      "origin": "balanced expansion",
      "stored_interval_contains_ball": true,
      "accuracy_bits": 993,
      "mpmath_160_digits": true,
      "mpmath_210_digits": true,
      "structural_checks": [
        "bessel_wronskian"
      ]
    },
    {
      "params": {
        "nu": "1",
        "x": "5"
      },
      "origin": "balanced expansion",
      "stored_interval_contains_ball": true,
      "accuracy_bits": 992,
      "mpmath_160_digits": true,
      "mpmath_210_digits": true,
      "structural_checks": [
        "bessel_wronskian"
      ]
    },
    {
      "params": {
        "nu": "1",
        "x": "8"
      },
      "origin": "balanced expansion",
      "stored_interval_contains_ball": true,
      "accuracy_bits": 992,
      "mpmath_160_digits": true,
      "mpmath_210_digits": true,
      "structural_checks": [
        "bessel_wronskian"
      ]
    },
    {
      "params": {
        "nu": "1/2",
        "x": "2"
      },
      "origin": "balanced expansion",
      "stored_interval_contains_ball": true,
      "accuracy_bits": 996,
      "mpmath_160_digits": true,
      "mpmath_210_digits": true,
      "structural_checks": [
        "bessel_wronskian",
        "elementary_half_order_recurrence"
      ]
    },
    {
      "params": {
        "nu": "1/2",
        "x": "3"
      },
      "origin": "balanced expansion",
      "stored_interval_contains_ball": true,
      "accuracy_bits": 995,
      "mpmath_160_digits": true,
      "mpmath_210_digits": true,
      "structural_checks": [
        "bessel_wronskian",
        "elementary_half_order_recurrence"
      ]
    },
    {
      "params": {
        "nu": "1/2",
        "x": "5"
      },
      "origin": "balanced expansion",
      "stored_interval_contains_ball": true,
      "accuracy_bits": 994,
      "mpmath_160_digits": true,
      "mpmath_210_digits": true,
      "structural_checks": [
        "bessel_wronskian",
        "elementary_half_order_recurrence"
      ]
    },
    {
      "params": {
        "nu": "3/2",
        "x": "1/2"
      },
      "origin": "balanced expansion",
      "stored_interval_contains_ball": true,
      "accuracy_bits": 997,
      "mpmath_160_digits": true,
      "mpmath_210_digits": true,
      "structural_checks": [
        "bessel_wronskian",
        "elementary_half_order_recurrence"
      ]
    },
    {
      "params": {
        "nu": "3/2",
        "x": "2"
      },
      "origin": "balanced expansion",
      "stored_interval_contains_ball": true,
      "accuracy_bits": 996,
      "mpmath_160_digits": true,
      "mpmath_210_digits": true,
      "structural_checks": [
        "bessel_wronskian",
        "elementary_half_order_recurrence"
      ]
    },
    {
      "params": {
        "nu": "3/2",
        "x": "3"
      },
      "origin": "balanced expansion",
      "stored_interval_contains_ball": true,
      "accuracy_bits": 995,
      "mpmath_160_digits": true,
      "mpmath_210_digits": true,
      "structural_checks": [
        "bessel_wronskian",
        "elementary_half_order_recurrence"
      ]
    },
    {
      "params": {
        "nu": "3/2",
        "x": "5"
      },
      "origin": "balanced expansion",
      "stored_interval_contains_ball": true,
      "accuracy_bits": 995,
      "mpmath_160_digits": true,
      "mpmath_210_digits": true,
      "structural_checks": [
        "bessel_wronskian",
        "elementary_half_order_recurrence"
      ]
    }
  ],
  "limitations": "Retained values are fully Arb-recomputed; new values additionally have independent mpmath and family-identity checks. Existing manual numbers and annotations are not claimed to originate in this run."
}