{
  "tid": "T509",
  "count": 7,
  "all_passed": true,
  "controls": [
    "pi_interval",
    "displaced_value_rejected",
    "integral_t_equals_half"
  ],
  "minimum_accuracy_bits": 628,
  "records": [
    {
      "params": {
        "nu": "0",
        "x": "0"
      },
      "stored_interval_contains_ball": true,
      "accuracy_bits": 899,
      "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": 684,
      "argument": "[4.931811941152376980694874896114110409034406765405536338396314166348872946960096153833643132870258712959728115097642773693211011747 +/- 1.90e-130]",
      "root_certificate": {
        "lower": "3166748175212474667829811857437540128669052718774918804850913366779321114235632766959903916857572636552291404936699168225189748051866875657893346458341874830761952296294525114667774694149556670620539838830467845508505185415482205791942807208550218855793425322129318575866911293613403467078049744082430639325733308785885345744376353445098708997034783966427440200667642035053517957743072782333894680799965562128509309597/642106433294479187895628647812515706243937964211813215270786243050382343053842873793172184604197808987668819440451442591921317413352515120010719576495590924066799764542046459740193329819863612948155914518528000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
        "upper": "3166748175212474667829811857437540128669052718774918804850913366779321114235632766959903916857572636552291404936699168225189748051866875657893346458341874830761952296294525114667774694149556670620539838830467846792718052004440581583200102833581631343669353745755749117439397394378089574763797330426799847721351284123524226647261537287733535702065023987866593191849490168653047041835992262720554320527191458440338346653/642106433294479187895628647812515706243937964211813215270786243050382343053842873793172184604197808987668819440451442591921317413352515120010719576495590924066799764542046459740193329819863612948155914518528000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
        "endpoint_signs": [
          1,
          -1
        ],
        "second_derivative_sign": -1,
        "defining_interval": [
          "2525/512",
          "5051/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-2"
      },
      "stored_interval_contains_ball": true,
      "accuracy_bits": 673,
      "argument": "[9.404054583685528705817181083769927673800814291281947596904540733319013111218312429350367848306108523187111344251842536065179251448 +/- 1.40e-130]",
      "root_certificate": {
        "lower": "3019201973618456593870627571755074253681533952891162532436119644319528612645530099745054949141473527225289815407583426436410860645142400679726342729957886185277050796126283553338269782979677022052643932422224149949198989200012894735933225328235747347371584025952393460737921566839371836833985565256648659229978557191896349499600771570850244013957386243224541354205523062062040560626773603572465561603220553052169693861/321053216647239593947814323906257853121968982105906607635393121525191171526921436896586092302098904493834409720225721295960658706676257560005359788247795462033399882271023229870096664909931806474077957259264000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
        "upper": "3019201973618456593870627571755074253681533952891162532436119644319528612645530099745054949141473527225289815407583426436410860645142400679726342729957886185277050796126283553338269782979677022052643932422224150591305422494492082631561873140751453591309548237765608731524164617221714890676859358428833263427787544860715789951043363492167657366472506253944117849796447128861805102673233343765795381466833501208084212389/321053216647239593947814323906257853121968982105906607635393121525191171526921436896586092302098904493834409720225721295960658706676257560005359788247795462033399882271023229870096664909931806474077957259264000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
        "endpoint_signs": [
          -1,
          1
        ],
        "second_derivative_sign": 1,
        "defining_interval": [
          "9629/1024",
          "4815/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-3"
      },
      "stored_interval_contains_ball": true,
      "accuracy_bits": 661,
      "argument": "[13.85826915961344712930804651043171424331326174130203763105021802920240163645914182174394754623622562758616127040767240829241527407 +/- 1.22e-129]",
      "root_certificate": {
        "lower": "4449241890857135021398041758182001390384697608849958923433275304264818338807060461403433634108499532231691793505220639710237827795304740370272646737625435601360586305001316622371742055735676981676761190541316171948682510363571251626239588057486532776619280559477310265542157242053625908893644010810317449165183500433222114961430011188417290365611641476816821157079188603442635675433291246164108941604407877576095475111/321053216647239593947814323906257853121968982105906607635393121525191171526921436896586092302098904493834409720225721295960658706676257560005359788247795462033399882271023229870096664909931806474077957259264000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
        "upper": "4449241890857135021398041758182001390384697608849958923433275304264818338807060461403433634108499532231691793505220639710237827795304740370272646737625435601360586305001316622371742055735676981676761190541316172590788943658050439521868235870002239020557244771290525536328400292435968962736517803982502053362992488102041555412872603109734703718126761487536397652670112670242400217479750986357438761468020825732009993639/321053216647239593947814323906257853121968982105906607635393121525191171526921436896586092302098904493834409720225721295960658706676257560005359788247795462033399882271023229870096664909931806474077957259264000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
        "endpoint_signs": [
          1,
          -1
        ],
        "second_derivative_sign": -1,
        "defining_interval": [
          "7095/512",
          "14191/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": 651,
      "argument": "[18.30717293559907593671445509138261575237056660370876698172034840387846880810103439493564638467295198996941790119889680769264278639 +/- 9.34e-130]",
      "root_certificate": {
        "lower": "183674273709105356039998441869403135752666475963686123195902999943729793415309132482548298853802942088427200695037294207273979043045887918899049114819292849137870847094674914019319140428738724500998996381006849703676055181396556635051522645154444896925264617952955122734658373177970914905387569714374414581712096424094698349165255898221246749829361604470398479040439258699648873435559719621920491431753220994390007523/10032913020226237310869197622070557910061530690809581488606035047662224110216294903018315384440590765432325303757053790498770584583633048750167493382743608188543746320969475933440520778435368952314936164352000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
        "upper": "183674273709105356039998441869403135752666475963686123195902999943729793415309132482548298853802942088427200695037294207273979043045887918899049114819292849137870847094674914019319140428738724500998996381006849723741881221849031256789917889295560717048325999572118099946728468502419135337977375751005183462893627288745305863272836895762415917095459104805385244527655635787141515374511586502962048302491125624262336227/10032913020226237310869197622070557910061530690809581488606035047662224110216294903018315384440590765432325303757053790498770584583633048750167493382743608188543746320969475933440520778435368952314936164352000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
        "endpoint_signs": [
          -1,
          1
        ],
        "second_derivative_sign": 1,
        "defining_interval": [
          "9373/512",
          "18747/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": "3.016167132e-151"
    },
    {
      "params": {
        "nu": "0",
        "x": "critical-5"
      },
      "stored_interval_contains_ball": true,
      "accuracy_bits": 639,
      "argument": "[22.75379257885771590720486483014747889834626593365373232635039133248274698947204914977916869512158677256979724500483711182643460596 +/- 4.48e-129]",
      "root_certificate": {
        "lower": "913147287295794845991892300335787207962845955433109622372058113593995973670961252236011098690481542153672199585900539879909193544280273993106820214042634257843414593722548041391512578886559511328784462145034056545612593490496743883533092659800647112921746980437203427787104147129312384598359393495285318143643977160310916262187750552803224799202266482943200842765990293649704665236692298824549531947475206212667451967/40131652080904949243476790488282231640246122763238325954424140190648896440865179612073261537762363061729301215028215161995082338334532195000669973530974432754174985283877903733762083113741475809259744657408000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
        "upper": "913147287295794845991892300335787207962845955433109622372058113593995973670961252236011098690481542153672199585900539879909193544280273993106820214042634257843414593722548041391512578886559511328784462145034056625875897652306642370486673636365110393413992506913855336635384528427105266328718617641808393668370100618913346318618074542967901468266656484283147904714855801999675232992499766348715759430426824732156766783/40131652080904949243476790488282231640246122763238325954424140190648896440865179612073261537762363061729301215028215161995082338334532195000669973530974432754174985283877903733762083113741475809259744657408000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
        "endpoint_signs": [
          1,
          -1
        ],
        "second_derivative_sign": -1,
        "defining_interval": [
          "23299/1024",
          "5825/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-6"
      },
      "stored_interval_contains_ball": true,
      "accuracy_bits": 628,
      "argument": "[27.19922113464055167824877173506479135890611723885029732402746739259743838437322798078814599799280349131361954628315035785088944272 +/- 3.65e-129]",
      "root_certificate": {
        "lower": "2183099358893982740799381418405946823508490895889264966403195028674181243857827200684797708899722538327219599054722046112902856670994131176325076080443938583817405940190238346375898244500159909202409324984205453474198724389698954440190823628946951689512611545800272989079462603753189154413699257292008640906610016850264528519228510446887009760067830599781260307076821439672486309993523560347282668411039374980266544559/80263304161809898486953580976564463280492245526476651908848280381297792881730359224146523075524726123458602430056430323990164676669064390001339947061948865508349970567755807467524166227482951618519489314816000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
        "upper": "2183099358893982740799381418405946823508490895889264966403195028674181243857827200684797708899722538327219599054722046112902856670994131176325076080443938583817405940190238346375898244500159909202409324984205453634725332713318751414097985582075878250497102598753576806776023366348774917874417705585054791956062263767469388632089158427216363098196610602461154430974552456372427445505138495395615123376942612019245174191/80263304161809898486953580976564463280492245526476651908848280381297792881730359224146523075524726123458602430056430323990164676669064390001339947061948865508349970567755807467524166227482951618519489314816000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
        "endpoint_signs": [
          -1,
          1
        ],
        "second_derivative_sign": 1,
        "defining_interval": [
          "6963/256",
          "27853/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"
    }
  ],
  "retained_identifiers_and_text": []
}