{
  "tid": "T492",
  "count": 14,
  "all_passed": true,
  "controls": [
    "pi_interval",
    "displaced_value_rejected",
    "integral_t_equals_half"
  ],
  "minimum_accuracy_bits": 671,
  "records": [
    {
      "params": {
        "nu": "0",
        "x": "0"
      },
      "stored_interval_contains_ball": true,
      "accuracy_bits": null,
      "argument": "0",
      "root_certificate": null,
      "mpmath_160_digits": true,
      "mpmath_210_digits": true
    },
    {
      "params": {
        "nu": "0",
        "x": "critical-1"
      },
      "stored_interval_contains_ball": true,
      "accuracy_bits": 696,
      "argument": "[1.978340586059681313566647182983653751265742444353688236702050833973431124994339931439304348962847896526067763679835135902537549746 +/- 1.85e-130]",
      "root_certificate": {
        "lower": "1270305217556491622534851321138582774887388763533510868879252642037573576673342351778526019792466674160942924470425595221501176628994524324893039304367395039764450191579593584101566793083615201423323692996344089054203276070732810685828796888987816538131067494850446498794116729893270149044421044404580526834091031416177727056078102411806900848672784487105869626238153691777172863519294606332534273700837792658294465847/642106433294479187895628647812515706243937964211813215270786243050382343053842873793172184604197808987668819440451442591921317413352515120010719576495590924066799764542046459740193329819863612948155914518528000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
        "upper": "1270305217556491622534851321138582774887388763533510868879252642037573576673342351778526019792466674160942924470425595221501176628994524324893039304367395039764450191579593584101566793083615201423323692996344090338416142659691186477086092514019229026006995918476877040366602830657956256730168630748949735229709006753816607958963286254441727553703024508545022617420001825376701947612214086719193913428063688970123502903/642106433294479187895628647812515706243937964211813215270786243050382343053842873793172184604197808987668819440451442591921317413352515120010719576495590924066799764542046459740193329819863612948155914518528000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
        "endpoint_signs": [
          1,
          -1
        ],
        "second_derivative_sign": -1,
        "defining_interval": [
          "2025/1024",
          "1013/512"
        ]
      },
      "independent_argument_policy": "Evaluate at the certified bracket midpoint; the rigorous Arb value separately propagates the entire argument ball.",
      "mpmath_160_digits": true,
      "mpmath_210_digits": true,
      "integral_relative_error": "0.0"
    },
    {
      "params": {
        "nu": "0",
        "x": "critical-2"
      },
      "stored_interval_contains_ball": true,
      "accuracy_bits": 689,
      "argument": "[5.487619078350870340172791211988681517300427753682408729608369277420200835387235952720850828600737542755287766004128819402241102445 +/- 3.31e-130]",
      "root_certificate": {
        "lower": "1761817756839307243123585011076924903079664568308728566851668242963084563504780251000740646724591258211119670399089344001606468377311391142674150014191209113480770930355078767224012820383942598335818243297287548360053701551137743384974012643730456459189558588821103307232512001812099933880369090388275324315930773921894069778404204131953946533696346436282572026758048073829887676300242353291642701526197046887618912611/321053216647239593947814323906257853121968982105906607635393121525191171526921436896586092302098904493834409720225721295960658706676257560005359788247795462033399882271023229870096664909931806474077957259264000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
        "upper": "1761817756839307243123585011076924903079664568308728566851668242963084563504780251000740646724591258211119670399089344001606468377311391142674150014191209113480770930355078767224012820383942598335818243297287549002160134845616931280602660456246162703127522800634318578018755052194442987723242883560459928513739761590713510229846796053271359886211466447002148522348972140629652218346702093484972521389809995043533431139/321053216647239593947814323906257853121968982105906607635393121525191171526921436896586092302098904493834409720225721295960658706676257560005359788247795462033399882271023229870096664909931806474077957259264000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
        "endpoint_signs": [
          -1,
          1
        ],
        "second_derivative_sign": 1,
        "defining_interval": [
          "5619/1024",
          "1405/256"
        ]
      },
      "independent_argument_policy": "Evaluate at the certified bracket midpoint; the rigorous Arb value separately propagates the entire argument ball.",
      "mpmath_160_digits": true,
      "mpmath_210_digits": true,
      "integral_relative_error": "0.0"
    },
    {
      "params": {
        "nu": "0",
        "x": "critical-3"
      },
      "stored_interval_contains_ball": true,
      "accuracy_bits": 686,
      "argument": "[8.565204692129433765776942620526077634171665710692952680608088060921684010907158153726656755575931395972888220819535789172610361669 +/- 4.38e-130]",
      "root_certificate": {
        "lower": "2749886517650184205775446875238657215732786085712819147520446008450618139438165064544843663792372279970524850220487410352013512671430317797408856596501263214407736007334049110058976402160185339404288279888557008614102884003684476836179161732959602577075928848512855588646339635900832669236373528989810470745592705457978005939184819178131752219925316214687061352955370959621405558736949862733118551124843210828048600111/321053216647239593947814323906257853121968982105906607635393121525191171526921436896586092302098904493834409720225721295960658706676257560005359788247795462033399882271023229870096664909931806474077957259264000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
        "upper": "2749886517650184205775446875238657215732786085712819147520446008450618139438165064544843663792372279970524850220487410352013512671430317797408856596501263214407736007334049110058976402160185339404288279888557009256209317298163664731807809545475308821013893060326070859432582686283175723079247322161995074943401693126797446390627411099449165572440436225406637848546295026421170100783409602926448370988456158983963118639/321053216647239593947814323906257853121968982105906607635393121525191171526921436896586092302098904493834409720225721295960658706676257560005359788247795462033399882271023229870096664909931806474077957259264000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
        "endpoint_signs": [
          1,
          -1
        ],
        "second_derivative_sign": -1,
        "defining_interval": [
          "4385/512",
          "8771/1024"
        ]
      },
      "independent_argument_policy": "Evaluate at the certified bracket midpoint; the rigorous Arb value separately propagates the entire argument ball.",
      "mpmath_160_digits": true,
      "mpmath_210_digits": true,
      "integral_relative_error": "0.0"
    },
    {
      "params": {
        "nu": "0",
        "x": "critical-4"
      },
      "stored_interval_contains_ball": true,
      "accuracy_bits": 680,
      "argument": "[11.76855514332533941048311530627096736554456444352746270799694177287805742358710417380402926340986807466659091923611981435476877088 +/- 4.55e-129]",
      "root_certificate": {
        "lower": "3778332484055016004345502765929490584971822374578580253555502801638163364817807484056811592334346487324491788474722389080707331658699250719677632093118794051969273827272051380628201753673670607806057473801971517759933828853640981703758418807473788723084440412575174770821163165194819092808022433850561161820975280420045034382514347619206058727060252992119286584437575287703635782876464836291225709293993563306075943861/321053216647239593947814323906257853121968982105906607635393121525191171526921436896586092302098904493834409720225721295960658706676257560005359788247795462033399882271023229870096664909931806474077957259264000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
        "upper": "3778332484055016004345502765929490584971822374578580253555502801638163364817807484056811592334346487324491788474722389080707331658699250719677632093118794051969273827272051380628201753673670607806057473801971518402040262148120169599387066619989494967022404624388390041607406215577162146650896227022745766018784268088864474833956939540523472079575373002838863080028499354503400324922924576484555529157606511461990462389/321053216647239593947814323906257853121968982105906607635393121525191171526921436896586092302098904493834409720225721295960658706676257560005359788247795462033399882271023229870096664909931806474077957259264000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
        "endpoint_signs": [
          -1,
          1
        ],
        "second_derivative_sign": 1,
        "defining_interval": [
          "12051/1024",
          "3013/256"
        ]
      },
      "independent_argument_policy": "Evaluate at the certified bracket midpoint; the rigorous Arb value separately propagates the entire argument ball.",
      "mpmath_160_digits": true,
      "mpmath_210_digits": true,
      "integral_relative_error": "1.068507667e-151"
    },
    {
      "params": {
        "nu": "0",
        "x": "critical-5"
      },
      "stored_interval_contains_ball": true,
      "accuracy_bits": 676,
      "argument": "[14.88371173383194254352826226682714518639200829944864102578220560668947623449028068630750791608513369799159377193410523365097790014 +/- 9.95e-130]",
      "root_certificate": {
        "lower": "4778463527797008696168674584146481791826465367278668207833077483581006544914493678438592949620011859638991370423369808496516497473383321971961490322261302253756625800043388213098478469223397216023279226615015472577462842352216761873641293616022940131610239170724813813688730494156348532308878772289368435948625447627355445057425853065827530461851268569875214104283986375260664684527644189684898209099682421338302506361/321053216647239593947814323906257853121968982105906607635393121525191171526921436896586092302098904493834409720225721295960658706676257560005359788247795462033399882271023229870096664909931806474077957259264000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
        "upper": "4778463527797008696168674584146481791826465367278668207833077483581006544914493678438592949620011859638991370423369808496516497473383321971961490322261302253756625800043388213098478469223397216023279226615015473219569275646695949769269941428538646375548203382538029084474973544538691586151752565461553040146434435296174885508868444987144943814366388580594790599874910442060429226574103929878228028963295369494217024889/321053216647239593947814323906257853121968982105906607635393121525191171526921436896586092302098904493834409720225721295960658706676257560005359788247795462033399882271023229870096664909931806474077957259264000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
        "endpoint_signs": [
          1,
          -1
        ],
        "second_derivative_sign": -1,
        "defining_interval": [
          "1905/128",
          "15241/1024"
        ]
      },
      "independent_argument_policy": "Evaluate at the certified bracket midpoint; the rigorous Arb value separately propagates the entire argument ball.",
      "mpmath_160_digits": true,
      "mpmath_210_digits": true,
      "integral_relative_error": "7.66448621e-152"
    },
    {
      "params": {
        "nu": "0",
        "x": "critical-6"
      },
      "stored_interval_contains_ball": true,
      "accuracy_bits": 672,
      "argument": "[18.05371800485293942196537899535702664038362584167125330297697292374322557585240325228623568341281597160341518878028990790107883502 +/- 4.94e-129]",
      "root_certificate": {
        "lower": "2898102118950110459592263514104336422438029227056227954257734489711024211950551626356600398628964255224750472624685067459606921573508505732761337246375837090043245872087621541566439158269256703043517604777283863534491724227553911040148974597784732459735924900532580519472301338011791519212125618837057701224722213814689302466227122594030816784086628300224937467747904425308610617911736081132853968671069667166343635993/160526608323619796973907161953128926560984491052953303817696560762595585763460718448293046151049452246917204860112860647980329353338128780002679894123897731016699941135511614935048332454965903237038978629632000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
        "upper": "2898102118950110459592263514104336422438029227056227954257734489711024211950551626356600398628964255224750472624685067459606921573508505732761337246375837090043245872087621541566439158269256703043517604777283863855544940874793504987963298504042585581704907006439188154865422863202963046133562515423150003323626707649099022691948418554689523460344188305584725715543366458708492888934965951229518878602876141244300895257/160526608323619796973907161953128926560984491052953303817696560762595585763460718448293046151049452246917204860112860647980329353338128780002679894123897731016699941135511614935048332454965903237038978629632000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
        "endpoint_signs": [
          -1,
          1
        ],
        "second_derivative_sign": 1,
        "defining_interval": [
          "18487/1024",
          "2311/128"
        ]
      },
      "independent_argument_policy": "Evaluate at the certified bracket midpoint; the rigorous Arb value separately propagates the entire argument ball.",
      "mpmath_160_digits": true,
      "mpmath_210_digits": true,
      "integral_relative_error": "0.0"
    },
    {
      "params": {
        "nu": "1",
        "x": "0"
      },
      "stored_interval_contains_ball": true,
      "accuracy_bits": null,
      "argument": "0",
      "root_certificate": null,
      "mpmath_160_digits": true,
      "mpmath_210_digits": true
    },
    {
      "params": {
        "nu": "1",
        "x": "critical-1"
      },
      "stored_interval_contains_ball": true,
      "accuracy_bits": 695,
      "argument": "[3.629525878495603377946928302265242395013674620956719940010707117470397466045093767144923921918937912260831333919093228636950487052 +/- 1.16e-130]",
      "root_certificate": {
        "lower": "2330541916390823124341806416044096221076708019473376022942253931887364092541828396157284211349593621369546698935646538484644629573750700573052273756980875664157578472260222617441520895713563535326986062270238309591669875414669662344377592865208559105842211784640110449335312258732208070905187000450494232335942260353345331534814509619230921553261482593242232037078859515317348633611492244282982825847391785883392122097/642106433294479187895628647812515706243937964211813215270786243050382343053842873793172184604197808987668819440451442591921317413352515120010719576495590924066799764542046459740193329819863612948155914518528000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
        "upper": "2330541916390823124341806416044096221076708019473376022942253931887364092541828396157284211349593621369546698935646538484644629573750700573052273756980875664157578472260222617441520895713563535326986062270238310875882742003628038135634888490239971593718140208266540990907798359496894178590934586794863440731560235690984212437699693461865748258291722614681385028260707648916877717704411724669642465574617682195221159153/642106433294479187895628647812515706243937964211813215270786243050382343053842873793172184604197808987668819440451442591921317413352515120010719576495590924066799764542046459740193329819863612948155914518528000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
        "endpoint_signs": [
          1,
          -1
        ],
        "second_derivative_sign": -1,
        "defining_interval": [
          "929/256",
          "3717/1024"
        ]
      },
      "independent_argument_policy": "Evaluate at the certified bracket midpoint; the rigorous Arb value separately propagates the entire argument ball.",
      "mpmath_160_digits": true,
      "mpmath_210_digits": true,
      "integral_relative_error": "0.0"
    },
    {
      "params": {
        "nu": "1",
        "x": "critical-2"
      },
      "stored_interval_contains_ball": true,
      "accuracy_bits": 689,
      "argument": "[6.953106553572898257543135021445778498607249999325712497516259240937525034466299768772932802100043027460397931539183847629992075471 +/- 4.24e-130]",
      "root_certificate": {
        "lower": "558079306178895284608857277130722814679128706634280951100048552655752997691765592625428304380997386487279015300939116391579290871321892342507216869226299095920409229156534824226833228928422503767673033787177317784809313442595424303556215129917275545889078175863212361045526854865014776676690979398442754425045620357763408613854551978462794753299639888645023231540983155811755269440318853280812376945518516215618107059/80263304161809898486953580976564463280492245526476651908848280381297792881730359224146523075524726123458602430056430323990164676669064390001339947061948865508349970567755807467524166227482951618519489314816000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
        "upper": "558079306178895284608857277130722814679128706634280951100048552655752997691765592625428304380997386487279015300939116391579290871321892342507216869226299095920409229156534824226833228928422503767673033787177317945335921766215221277463377083046202106873569228816516178742087617460600540137409427691488905474497867274968268726715199958792148091428419891324917355438714172511696404951933788329144831911421753254596736691/80263304161809898486953580976564463280492245526476651908848280381297792881730359224146523075524726123458602430056430323990164676669064390001339947061948865508349970567755807467524166227482951618519489314816000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
        "endpoint_signs": [
          -1,
          1
        ],
        "second_derivative_sign": 1,
        "defining_interval": [
          "7119/1024",
          "445/64"
        ]
      },
      "independent_argument_policy": "Evaluate at the certified bracket midpoint; the rigorous Arb value separately propagates the entire argument ball.",
      "mpmath_160_digits": true,
      "mpmath_210_digits": true,
      "integral_relative_error": "0.0"
    },
    {
      "params": {
        "nu": "1",
        "x": "critical-3"
      },
      "stored_interval_contains_ball": true,
      "accuracy_bits": 685,
      "argument": "[10.11870334097380150557566901841955098615846348158578638377476002718302153362151590525868848250775891906541065878042021824662183771 +/- 2.03e-129]",
      "root_certificate": {
        "lower": "3248642255918808986800985945779819528479321554292411620124716034535438038010286830446560616940393171446551979923957048582873893934112393586776772541688215348127338921792907489985780446582645160976088607915919393306039418966223930992971004784499609698579257412932095876613172831993500372741031152893489697212585390868811360462091775904844473462377268123349970328002286738312198112099548345368922071804317087781173600111/321053216647239593947814323906257853121968982105906607635393121525191171526921436896586092302098904493834409720225721295960658706676257560005359788247795462033399882271023229870096664909931806474077957259264000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
        "upper": "3248642255918808986800985945779819528479321554292411620124716034535438038010286830446560616940393171446551979923957048582873893934112393586776772541688215348127338921792907489985780446582645160976088607915919393948145852260703118888599652597015315942517221624745311147399415882375843426583904946065674301410394378537630800913534367826161886814892388134069546823593210805111962654146008085562251891667930035937088118639/321053216647239593947814323906257853121968982105906607635393121525191171526921436896586092302098904493834409720225721295960658706676257560005359788247795462033399882271023229870096664909931806474077957259264000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
        "endpoint_signs": [
          1,
          -1
        ],
        "second_derivative_sign": -1,
        "defining_interval": [
          "10361/1024",
          "5181/512"
        ]
      },
      "independent_argument_policy": "Evaluate at the certified bracket midpoint; the rigorous Arb value separately propagates the entire argument ball.",
      "mpmath_160_digits": true,
      "mpmath_210_digits": true,
      "integral_relative_error": "8.546847113e-152"
    },
    {
      "params": {
        "nu": "1",
        "x": "critical-4"
      },
      "stored_interval_contains_ball": true,
      "accuracy_bits": 679,
      "argument": "[13.28817465814084932354395837663413875456471111120530283389666130771341528578745269826854357114742395474451384625506706282665488887 +/- 4.47e-129]",
      "root_certificate": {
        "lower": "2133105608683226513168966043293742308840580472956722419524755968370999388117519114922166285888256437583218162038901404824255105497231853576897671394254237935239406657352550636074654913420718464253639435317284737851167220378406673206469164222450723670659569483163209112209834972884890196208247219370415761511760184452048875576096448493572066023267995560688836396009845812778906195922229012885959918281541392630210823493/160526608323619796973907161953128926560984491052953303817696560762595585763460718448293046151049452246917204860112860647980329353338128780002679894123897731016699941135511614935048332454965903237038978629632000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
        "upper": "2133105608683226513168966043293742308840580472956722419524755968370999388117519114922166285888256437583218162038901404824255105497231853576897671394254237935239406657352550636074654913420718464253639435317284738172220437025646267154283488128708576792628551589069816747602956498076061723129684115956508063610664678286458595801817744454230772699525555566048624643805307846178788466945458882982624828213347866708168082757/160526608323619796973907161953128926560984491052953303817696560762595585763460718448293046151049452246917204860112860647980329353338128780002679894123897731016699941135511614935048332454965903237038978629632000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
        "endpoint_signs": [
          -1,
          1
        ],
        "second_derivative_sign": 1,
        "defining_interval": [
          "13607/1024",
          "1701/128"
        ]
      },
      "independent_argument_policy": "Evaluate at the certified bracket midpoint; the rigorous Arb value separately propagates the entire argument ball.",
      "mpmath_160_digits": true,
      "mpmath_210_digits": true,
      "integral_relative_error": "9.066295062e-152"
    },
    {
      "params": {
        "nu": "1",
        "x": "critical-5"
      },
      "stored_interval_contains_ball": true,
      "accuracy_bits": 676,
      "argument": "[16.43862655919464551973759651209678132924957469213777936601130763436318640260063692922373621115492291888504352894685434965506021589 +/- 1.89e-129]",
      "root_certificate": {
        "lower": "1319418483523046323331161332110954191154165931978566492794051672996318103183211371057146367846513630408505041682123245294723076636262428968606089936471092067450065975018805224585054309548155892117149213821210743035573761944432174397223591489016504215452940614489141529375580942966079630236252347114987748381992213723862792666641946502553408159385167545116934764512105581605671297032408643513233741580747626933391544559/80263304161809898486953580976564463280492245526476651908848280381297792881730359224146523075524726123458602430056430323990164676669064390001339947061948865508349970567755807467524166227482951618519489314816000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
        "upper": "1319418483523046323331161332110954191154165931978566492794051672996318103183211371057146367846513630408505041682123245294723076636262428968606089936471092067450065975018805224585054309548155892117149213821210743196100370268051971371130753442145430776437431667442445347072141705561665393696970795408033899431444460641067652779502594482882761497513947547796828888409836598305612432544023578561566196546650863972370174191/80263304161809898486953580976564463280492245526476651908848280381297792881730359224146523075524726123458602430056430323990164676669064390001339947061948865508349970567755807467524166227482951618519489314816000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
        "endpoint_signs": [
          1,
          -1
        ],
        "second_derivative_sign": -1,
        "defining_interval": [
          "16833/1024",
          "8417/512"
        ]
      },
      "independent_argument_policy": "Evaluate at the certified bracket midpoint; the rigorous Arb value separately propagates the entire argument ball.",
      "mpmath_160_digits": true,
      "mpmath_210_digits": true,
      "integral_relative_error": "0.0"
    },
    {
      "params": {
        "nu": "1",
        "x": "critical-6"
      },
      "stored_interval_contains_ball": true,
      "accuracy_bits": 671,
      "argument": "[19.59116944695854112156711122130795657651557435745195227451996499398385916679339900860672533168544870243478767816617971172064630631 +/- 3.64e-129]",
      "root_certificate": {
        "lower": "1572451992206790400889910071182353249924730509408973337237517445396794479416821916190174592316630367363708935550322920767920532694635143974758540207434526231527870120623465425077769201459416617108277564666318168470637424645785125469661077773438747061774891330587639114210276036946804441260335798408710025509421867536343437065038493030894449074199557955960190627186275205644671692276034617275625109507941268595989200809/80263304161809898486953580976564463280492245526476651908848280381297792881730359224146523075524726123458602430056430323990164676669064390001339947061948865508349970567755807467524166227482951618519489314816000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
        "upper": "1572451992206790400889910071182353249924730509408973337237517445396794479416821916190174592316630367363708935550322920767920532694635143974758540207434526231527870120623465425077769201459416617108277564666318168631164032969404922443568239726567673622759382383540942931906836799542390204721054246701756176558874114453548297177899141011223802412328337958640084751084006222344612827787649552323957564473844505634967830441/80263304161809898486953580976564463280492245526476651908848280381297792881730359224146523075524726123458602430056430323990164676669064390001339947061948865508349970567755807467524166227482951618519489314816000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
        "endpoint_signs": [
          -1,
          1
        ],
        "second_derivative_sign": 1,
        "defining_interval": [
          "20061/1024",
          "10031/512"
        ]
      },
      "independent_argument_policy": "Evaluate at the certified bracket midpoint; the rigorous Arb value separately propagates the entire argument ball.",
      "mpmath_160_digits": true,
      "mpmath_210_digits": true,
      "integral_relative_error": "0.0"
    }
  ],
  "retained_identifiers_and_text": []
}