{
  "tid": "T353",
  "entries": 92,
  "digits": 100,
  "controls": {
    "gamma_1_1_equals_exp_minus_1": true,
    "beta_half_half_at_half_equals_pi_over_2": true,
    "rational_beta_2_2_at_half_equals_1_over_12": true,
    "hypergeometric_at_zero_equals_1": true,
    "polylogarithm_at_zero_equals_0": true
  },
  "records": [
    {
      "parameters": {
        "x": "1/2",
        "a": "1/2",
        "b": "1/2"
      },
      "number": "1.570796326794896619231321691639751442098584699687552910487472296153908203143104499314017412671058534",
      "decimal_contains_enclosure": true,
      "certified_accuracy_bits": 486,
      "shifted_decimal_rejected": true,
      "identity_check": true,
      "independent_precisions": [
        150,
        200
      ]
    },
    {
      "parameters": {
        "x": "1/2",
        "a": "1",
        "b": "1"
      },
      "number": "1/2",
      "exact_result": "1/2",
      "stored_exact": true,
      "independent_precisions": [
        150,
        200
      ]
    },
    {
      "parameters": {
        "x": "1/2",
        "a": "3/2",
        "b": "3/2"
      },
      "number": "0.1963495408493620774039152114549689302623230874609441138109340370192385253928880624142521765838823167",
      "decimal_contains_enclosure": true,
      "certified_accuracy_bits": 486,
      "shifted_decimal_rejected": true,
      "identity_check": true,
      "independent_precisions": [
        150,
        200
      ]
    },
    {
      "parameters": {
        "x": "1/2",
        "a": "2",
        "b": "2"
      },
      "number": "1/12",
      "exact_result": "1/12",
      "stored_exact": true,
      "independent_precisions": [
        150,
        200
      ]
    },
    {
      "parameters": {
        "x": "1/2",
        "a": "5/2",
        "b": "5/2"
      },
      "number": "0.03681553890925538951323410214780667442418557889892702133955013194110722351116651170267228310947793439",
      "decimal_contains_enclosure": true,
      "certified_accuracy_bits": 486,
      "shifted_decimal_rejected": true,
      "identity_check": true,
      "independent_precisions": [
        150,
        200
      ]
    },
    {
      "parameters": {
        "x": "1/2",
        "a": "3",
        "b": "3"
      },
      "number": "1/60",
      "exact_result": "1/60",
      "stored_exact": true,
      "independent_precisions": [
        150,
        200
      ]
    },
    {
      "parameters": {
        "x": "1/2",
        "a": "7/2",
        "b": "7/2"
      },
      "number": "0.007669903939428206148590437947459723838371995603943129445739610821064004898159689938056725647807902998",
      "decimal_contains_enclosure": true,
      "certified_accuracy_bits": 485,
      "shifted_decimal_rejected": true,
      "identity_check": true,
      "independent_precisions": [
        150,
        200
      ]
    },
    {
      "parameters": {
        "x": "1/2",
        "a": "4",
        "b": "4"
      },
      "number": "1/280",
      "exact_result": "1/280",
      "stored_exact": true,
      "independent_precisions": [
        150,
        200
      ]
    },
    {
      "parameters": {
        "x": "1/2",
        "a": "9/2",
        "b": "9/2"
      },
      "number": "0.001677791486749920095004158301006814589643874038362559566255539867107751071472432173949908735457978781",
      "decimal_contains_enclosure": true,
      "certified_accuracy_bits": 486,
      "shifted_decimal_rejected": true,
      "identity_check": true,
      "independent_precisions": [
        150,
        200
      ]
    },
    {
      "parameters": {
        "x": "1/2",
        "a": "5",
        "b": "5"
      },
      "number": "1/1260",
      "exact_result": "1/1260",
      "stored_exact": true,
      "independent_precisions": [
        150,
        200
      ]
    },
    {
      "parameters": {
        "x": "1/2",
        "a": "11/2",
        "b": "11/2"
      },
      "number": "0.0003775030845187320213759356177265332826698716586315759024074964700992439910812972391387294654780452257",
      "decimal_contains_enclosure": true,
      "certified_accuracy_bits": 486,
      "shifted_decimal_rejected": true,
      "identity_check": true,
      "independent_precisions": [
        150,
        200
      ]
    },
    {
      "parameters": {
        "x": "1/2",
        "a": "6",
        "b": "6"
      },
      "number": "1/5544",
      "exact_result": "1/5544",
      "stored_exact": true,
      "independent_precisions": [
        150,
        200
      ]
    },
    {
      "parameters": {
        "x": "1/2",
        "a": "13/2",
        "b": "13/2"
      },
      "number": "0.00008651112353554275489865191239566387727851225510306947763505127439774341462279728396929216917205203089",
      "decimal_contains_enclosure": true,
      "certified_accuracy_bits": 486,
      "shifted_decimal_rejected": true,
      "identity_check": true,
      "independent_precisions": [
        150,
        200
      ]
    },
    {
      "parameters": {
        "x": "1/2",
        "a": "7",
        "b": "7"
      },
      "number": "1/24024",
      "exact_result": "1/24024",
      "stored_exact": true,
      "independent_precisions": [
        150,
        200
      ]
    },
    {
      "parameters": {
        "x": "1/2",
        "a": "15/2",
        "b": "15/2"
      },
      "number": "0.00002008293939217956810147276537756482865394034493464112873670833155661900696600651235001425355779779288",
      "decimal_contains_enclosure": true,
      "certified_accuracy_bits": 486,
      "shifted_decimal_rejected": true,
      "identity_check": true,
      "independent_precisions": [
        150,
        200
      ]
    },
    {
      "parameters": {
        "x": "1/2",
        "a": "8",
        "b": "8"
      },
      "number": "1/102960",
      "exact_result": "1/102960",
      "stored_exact": true,
      "independent_precisions": [
        150,
        200
      ]
    },
    {
      "parameters": {
        "x": "1/2",
        "a": "17/2",
        "b": "17/2"
      },
      "number": "0.000004706938920042086273782679385366756715767268344056514547666015208582579757657776332034590677608857707",
      "decimal_contains_enclosure": true,
      "certified_accuracy_bits": 486,
      "shifted_decimal_rejected": true,
      "identity_check": true,
      "independent_precisions": [
        150,
        200
      ]
    },
    {
      "parameters": {
        "x": "1/2",
        "a": "9",
        "b": "9"
      },
      "number": "1/437580",
      "exact_result": "1/437580",
      "stored_exact": true,
      "independent_precisions": [
        150,
        200
      ]
    },
    {
      "parameters": {
        "x": "1/2",
        "a": "19/2",
        "b": "19/2"
      },
      "number": "0.000001111360578343270370198688188211595335667271692346677045976698035359775776113641633952611687768758070",
      "decimal_contains_enclosure": true,
      "certified_accuracy_bits": 485,
      "shifted_decimal_rejected": true,
      "identity_check": true,
      "independent_precisions": [
        150,
        200
      ]
    },
    {
      "parameters": {
        "x": "1/2",
        "a": "10",
        "b": "10"
      },
      "number": "1/1847560",
      "exact_result": "1/1847560",
      "stored_exact": true,
      "independent_precisions": [
        150,
        200
      ]
    },
    {
      "parameters": {
        "x": "2/3",
        "a": "1",
        "b": "1/2"
      },
      "number": "0.8452994616207484709817024389960850887047964974597462479627953470320446553941333086125692088285009495",
      "decimal_contains_enclosure": true,
      "certified_accuracy_bits": 490,
      "shifted_decimal_rejected": true,
      "identity_check": true,
      "independent_precisions": [
        150,
        200
      ]
    },
    {
      "parameters": {
        "x": "1/3",
        "a": "1/2",
        "b": "1"
      },
      "number": "1.154700538379251529018297561003914911295203502540253752037204652967955344605866691387430791171499050",
      "decimal_contains_enclosure": true,
      "certified_accuracy_bits": 491,
      "shifted_decimal_rejected": true,
      "identity_check": true,
      "independent_precisions": [
        150,
        200
      ]
    },
    {
      "parameters": {
        "x": "3/4",
        "a": "3/2",
        "b": "1/2"
      },
      "number": "0.6141848493043784227723528757166995363300218196724401166443631192396222145348696569390583950913935454",
      "decimal_contains_enclosure": true,
      "certified_accuracy_bits": 485,
      "shifted_decimal_rejected": true,
      "identity_check": true,
      "independent_precisions": [
        150,
        200
      ]
    },
    {
      "parameters": {
        "x": "1/4",
        "a": "1/2",
        "b": "3/2"
      },
      "number": "0.9566114774905181964589688159230519057685628800151127938431091769142859886082348423749590175796649886",
      "decimal_contains_enclosure": true,
      "certified_accuracy_bits": 487,
      "shifted_decimal_rejected": true,
      "identity_check": true,
      "independent_precisions": [
        150,
        200
      ]
    },
    {
      "parameters": {
        "x": "4/5",
        "a": "2",
        "b": "1/2"
      },
      "number": "0.4985346217334118466739084970069902054355024790783637296055316950467388544285528375519519542052546173",
      "decimal_contains_enclosure": true,
      "certified_accuracy_bits": 485,
      "shifted_decimal_rejected": true,
      "identity_check": true,
      "independent_precisions": [
        150,
        200
      ]
    },
    {
      "parameters": {
        "x": "1/5",
        "a": "1/2",
        "b": "2"
      },
      "number": "0.8347987115999214866594248363263431278978308542549696037278016382865944789047804957813813791280787160",
      "decimal_contains_enclosure": true,
      "certified_accuracy_bits": 490,
      "shifted_decimal_rejected": true,
      "identity_check": true,
      "independent_precisions": [
        150,
        200
      ]
    },
    {
      "parameters": {
        "x": "5/6",
        "a": "5/2",
        "b": "1/2"
      },
      "number": "0.4279054980082395108721772795415983391138720768929283068404281504149630391241286894049266727214085149",
      "decimal_contains_enclosure": true,
      "certified_accuracy_bits": 486,
      "shifted_decimal_rejected": true,
      "identity_check": true,
      "independent_precisions": [
        150,
        200
      ]
    },
    {
      "parameters": {
        "x": "1/6",
        "a": "1/2",
        "b": "5/2"
      },
      "number": "0.7501917470879329535513139891882152424600664478727363760251760717004681132331996850805863867818853856",
      "decimal_contains_enclosure": true,
      "certified_accuracy_bits": 490,
      "shifted_decimal_rejected": true,
      "identity_check": true,
      "independent_precisions": [
        150,
        200
      ]
    },
    {
      "parameters": {
        "x": "6/7",
        "a": "3",
        "b": "1/2"
      },
      "number": "0.3796455293328876523012325273348781479593962548885999142911380296418604571747990424318979793333352257",
      "decimal_contains_enclosure": true,
      "certified_accuracy_bits": 486,
      "shifted_decimal_rejected": true,
      "identity_check": true,
      "independent_precisions": [
        150,
        200
      ]
    },
    {
      "parameters": {
        "x": "1/7",
        "a": "1/2",
        "b": "3"
      },
      "number": "0.6870211373337790143654341393317885187072704117780667523755286370248062094918676242347686873333314410",
      "decimal_contains_enclosure": true,
      "certified_accuracy_bits": 490,
      "shifted_decimal_rejected": true,
      "identity_check": true,
      "independent_precisions": [
        150,
        200
      ]
    },
    {
      "parameters": {
        "x": "7/8",
        "a": "7/2",
        "b": "1/2"
      },
      "number": "0.3442171037944167382594801624912357610011617795961027815749345604938260956681770866690140384414268515",
      "decimal_contains_enclosure": true,
      "certified_accuracy_bits": 485,
      "shifted_decimal_rejected": true,
      "identity_check": true,
      "independent_precisions": [
        150,
        200
      ]
    },
    {
      "parameters": {
        "x": "1/8",
        "a": "1/2",
        "b": "7/2"
      },
      "number": "0.6375306004523936487600958947836088903104536577086177874797356246023665312962632254022468444779847322",
      "decimal_contains_enclosure": true,
      "certified_accuracy_bits": 488,
      "shifted_decimal_rejected": true,
      "identity_check": true,
      "independent_precisions": [
        150,
        200
      ]
    },
    {
      "parameters": {
        "x": "8/9",
        "a": "4",
        "b": "1/2"
      },
      "number": "0.3168854921941341694428114181200600953687373440459860212946632699719119472205891958978378731465151218",
      "decimal_contains_enclosure": true,
      "certified_accuracy_bits": 486,
      "shifted_decimal_rejected": true,
      "identity_check": true,
      "independent_precisions": [
        150,
        200
      ]
    },
    {
      "parameters": {
        "x": "1/9",
        "a": "1/2",
        "b": "4"
      },
      "number": "0.5974002220915801162714742961656541903455483702397282644196224443138023384936965183878764125677705925",
      "decimal_contains_enclosure": true,
      "certified_accuracy_bits": 490,
      "shifted_decimal_rejected": true,
      "identity_check": true,
      "independent_precisions": [
        150,
        200
      ]
    },
    {
      "parameters": {
        "x": "9/10",
        "a": "9/2",
        "b": "1/2"
      },
      "number": "0.2950219067802953891257359016380961610581879553835372682330222388734424812625826316174424165814781341",
      "decimal_contains_enclosure": true,
      "certified_accuracy_bits": 486,
      "shifted_decimal_rejected": true,
      "identity_check": true,
      "independent_precisions": [
        150,
        200
      ]
    },
    {
      "parameters": {
        "x": "1/10",
        "a": "1/2",
        "b": "9/2"
      },
      "number": "0.5640073344356636995163931484773929088394755522580932296898141730857260673313026414449108559730070016",
      "decimal_contains_enclosure": true,
      "certified_accuracy_bits": 490,
      "shifted_decimal_rejected": true,
      "identity_check": true,
      "independent_precisions": [
        150,
        200
      ]
    },
    {
      "parameters": {
        "x": "10/11",
        "a": "5",
        "b": "1/2"
      },
      "number": "0.2770433075216740552530897759340963139723600709090827165238049528899245762902569217387429872766093608",
      "decimal_contains_enclosure": true,
      "certified_accuracy_bits": 486,
      "shifted_decimal_rejected": true,
      "identity_check": true,
      "independent_precisions": [
        150,
        200
      ]
    },
    {
      "parameters": {
        "x": "1/11",
        "a": "1/2",
        "b": "5"
      },
      "number": "0.5356551051767386431596086367643163844403383417893299818888934598084881221224414909596697111360890519",
      "decimal_contains_enclosure": true,
      "certified_accuracy_bits": 490,
      "shifted_decimal_rejected": true,
      "identity_check": true,
      "independent_precisions": [
        150,
        200
      ]
    },
    {
      "parameters": {
        "x": "11/12",
        "a": "11/2",
        "b": "1/2"
      },
      "number": "0.2619357344791756396384871376548889262755177858972712878311154758052904411658207669050659143448177433",
      "decimal_contains_enclosure": true,
      "certified_accuracy_bits": 486,
      "shifted_decimal_rejected": true,
      "identity_check": true,
      "independent_precisions": [
        150,
        200
      ]
    },
    {
      "parameters": {
        "x": "1/12",
        "a": "1/2",
        "b": "11/2"
      },
      "number": "0.5111905826151875401394290074490512366323793709801961602994372949579612525686759788510520309542188789",
      "decimal_contains_enclosure": true,
      "certified_accuracy_bits": 490,
      "shifted_decimal_rejected": true,
      "identity_check": true,
      "independent_precisions": [
        150,
        200
      ]
    },
    {
      "parameters": {
        "x": "12/13",
        "a": "6",
        "b": "1/2"
      },
      "number": "0.2490174858185212835842310418132394808898856937163699723342022073411768021905078240519050749429009993",
      "decimal_contains_enclosure": true,
      "certified_accuracy_bits": 485,
      "shifted_decimal_rejected": true,
      "identity_check": true,
      "independent_precisions": [
        150,
        200
      ]
    },
    {
      "parameters": {
        "x": "1/13",
        "a": "1/2",
        "b": "6"
      },
      "number": "0.4897992529982175331545856970034993358489310451003688444046145314755620145483089147648337417959157395",
      "decimal_contains_enclosure": true,
      "certified_accuracy_bits": 489,
      "shifted_decimal_rejected": true,
      "identity_check": true,
      "independent_precisions": [
        150,
        200
      ]
    },
    {
      "parameters": {
        "x": "1/2",
        "a": "1/2",
        "b": "3/2"
      },
      "number": "1.285398163397448309615660845819875721049292349843776455243736148076954101571552249657008706335529267",
      "decimal_contains_enclosure": true,
      "certified_accuracy_bits": 486,
      "shifted_decimal_rejected": true,
      "identity_check": true,
      "independent_precisions": [
        150,
        200
      ]
    },
    {
      "parameters": {
        "x": "1/2",
        "a": "3/2",
        "b": "1/2"
      },
      "number": "0.2853981633974483096156608458198757210492923498437764552437361480769541015715522496570087063355292670",
      "decimal_contains_enclosure": true,
      "certified_accuracy_bits": 486,
      "shifted_decimal_rejected": true,
      "identity_check": true,
      "independent_precisions": [
        150,
        200
      ]
    },
    {
      "parameters": {
        "x": "1/2",
        "a": "1",
        "b": "2"
      },
      "number": "3/8",
      "exact_result": "3/8",
      "stored_exact": true,
      "independent_precisions": [
        150,
        200
      ]
    },
    {
      "parameters": {
        "x": "1/3",
        "a": "1",
        "b": "2"
      },
      "number": "5/18",
      "exact_result": "5/18",
      "stored_exact": true,
      "independent_precisions": [
        150,
        200
      ]
    },
    {
      "parameters": {
        "x": "1/2",
        "a": "2",
        "b": "1"
      },
      "number": "1/8",
      "exact_result": "1/8",
      "stored_exact": true,
      "independent_precisions": [
        150,
        200
      ]
    },
    {
      "parameters": {
        "x": "2/3",
        "a": "2",
        "b": "1"
      },
      "number": "2/9",
      "exact_result": "2/9",
      "stored_exact": true,
      "independent_precisions": [
        150,
        200
      ]
    },
    {
      "parameters": {
        "x": "1/2",
        "a": "3/2",
        "b": "5/2"
      },
      "number": "0.1398414370913477053686242723941511317978282103971387235721336851762859293631106978737927549586078250",
      "decimal_contains_enclosure": true,
      "certified_accuracy_bits": 486,
      "shifted_decimal_rejected": true,
      "identity_check": true,
      "independent_precisions": [
        150,
        200
      ]
    },
    {
      "parameters": {
        "x": "3/8",
        "a": "3/2",
        "b": "5/2"
      },
      "number": "0.1050755162724852061707012741172275270851235860288625848028833473741545114081984413309188663764715359",
      "decimal_contains_enclosure": true,
      "certified_accuracy_bits": 486,
      "shifted_decimal_rejected": true,
      "identity_check": true,
      "independent_precisions": [
        150,
        200
      ]
    },
    {
      "parameters": {
        "x": "1/2",
        "a": "5/2",
        "b": "3/2"
      },
      "number": "0.05650810375801437203529093906081779846449487706380539023880035184295259602977736454045942162527449171",
      "decimal_contains_enclosure": true,
      "certified_accuracy_bits": 486,
      "shifted_decimal_rejected": true,
      "identity_check": true,
      "independent_precisions": [
        150,
        200
      ]
    },
    {
      "parameters": {
        "x": "5/8",
        "a": "5/2",
        "b": "3/2"
      },
      "number": "0.09127402457687687123321393733774140317719950143208152900805068964508401398468962108333331020741078083",
      "decimal_contains_enclosure": true,
      "certified_accuracy_bits": 485,
      "shifted_decimal_rejected": true,
      "identity_check": true,
      "independent_precisions": [
        150,
        200
      ]
    },
    {
      "parameters": {
        "x": "1/2",
        "a": "2",
        "b": "3"
      },
      "number": "11/192",
      "exact_result": "11/192",
      "stored_exact": true,
      "independent_precisions": [
        150,
        200
      ]
    },
    {
      "parameters": {
        "x": "2/5",
        "a": "2",
        "b": "3"
      },
      "number": "82/1875",
      "exact_result": "82/1875",
      "stored_exact": true,
      "independent_precisions": [
        150,
        200
      ]
    },
    {
      "parameters": {
        "x": "1/2",
        "a": "3",
        "b": "2"
      },
      "number": "5/192",
      "exact_result": "5/192",
      "stored_exact": true,
      "independent_precisions": [
        150,
        200
      ]
    },
    {
      "parameters": {
        "x": "3/5",
        "a": "3",
        "b": "2"
      },
      "number": "99/2500",
      "exact_result": "99/2500",
      "stored_exact": true,
      "independent_precisions": [
        150,
        200
      ]
    },
    {
      "parameters": {
        "x": "1/2",
        "a": "5/2",
        "b": "7/2"
      },
      "number": "0.02465776945462769475661705107390333721209278944946351066977506597055361175558325585133614155473896720",
      "decimal_contains_enclosure": true,
      "certified_accuracy_bits": 486,
      "shifted_decimal_rejected": true,
      "identity_check": true,
      "independent_precisions": [
        150,
        200
      ]
    },
    {
      "parameters": {
        "x": "5/12",
        "a": "5/2",
        "b": "7/2"
      },
      "number": "0.01909644412995479537411362849676643861669635049434285899926184004070185954093003784265745451587284774",
      "decimal_contains_enclosure": true,
      "certified_accuracy_bits": 488,
      "shifted_decimal_rejected": true,
      "identity_check": true,
      "independent_precisions": [
        150,
        200
      ]
    },
    {
      "parameters": {
        "x": "1/2",
        "a": "7/2",
        "b": "5/2"
      },
      "number": "0.01215776945462769475661705107390333721209278944946351066977506597055361175558325585133614155473896720",
      "decimal_contains_enclosure": true,
      "certified_accuracy_bits": 486,
      "shifted_decimal_rejected": true,
      "identity_check": true,
      "independent_precisions": [
        150,
        200
      ]
    },
    {
      "parameters": {
        "x": "7/12",
        "a": "7/2",
        "b": "5/2"
      },
      "number": "0.01771909477930059413912047365104023580748922840458416234028829190040536397023647386001482859360508665",
      "decimal_contains_enclosure": true,
      "certified_accuracy_bits": 488,
      "shifted_decimal_rejected": true,
      "identity_check": true,
      "independent_precisions": [
        150,
        200
      ]
    },
    {
      "parameters": {
        "x": "1/2",
        "a": "3",
        "b": "4"
      },
      "number": "7/640",
      "exact_result": "7/640",
      "stored_exact": true,
      "independent_precisions": [
        150,
        200
      ]
    },
    {
      "parameters": {
        "x": "3/7",
        "a": "3",
        "b": "4"
      },
      "number": "20187/2352980",
      "exact_result": "20187/2352980",
      "stored_exact": true,
      "independent_precisions": [
        150,
        200
      ]
    },
    {
      "parameters": {
        "x": "1/2",
        "a": "4",
        "b": "3"
      },
      "number": "11/1920",
      "exact_result": "11/1920",
      "stored_exact": true,
      "independent_precisions": [
        150,
        200
      ]
    },
    {
      "parameters": {
        "x": "4/7",
        "a": "4",
        "b": "3"
      },
      "number": "14272/1764735",
      "exact_result": "14272/1764735",
      "stored_exact": true,
      "independent_precisions": [
        150,
        200
      ]
    },
    {
      "parameters": {
        "x": "1/2",
        "a": "7/2",
        "b": "9/2"
      },
      "number": "0.004951023398285531645723790402301290490614569230542993294298376839103431020508416397599791395332522928",
      "decimal_contains_enclosure": true,
      "certified_accuracy_bits": 486,
      "shifted_decimal_rejected": true,
      "identity_check": true,
      "independent_precisions": [
        150,
        200
      ]
    },
    {
      "parameters": {
        "x": "7/16",
        "a": "7/2",
        "b": "9/2"
      },
      "number": "0.003927234957069855264850413618279062436131271784518118620000341784779185531897136015600014632842971923",
      "decimal_contains_enclosure": true,
      "certified_accuracy_bits": 487,
      "shifted_decimal_rejected": true,
      "identity_check": true,
      "independent_precisions": [
        150,
        200
      ]
    },
    {
      "parameters": {
        "x": "1/2",
        "a": "9/2",
        "b": "7/2"
      },
      "number": "0.002718880541142674502866647545158433347757426373400136151441233981960573877651273540456934252475380070",
      "decimal_contains_enclosure": true,
      "certified_accuracy_bits": 486,
      "shifted_decimal_rejected": true,
      "identity_check": true,
      "independent_precisions": [
        150,
        200
      ]
    },
    {
      "parameters": {
        "x": "9/16",
        "a": "9/2",
        "b": "7/2"
      },
      "number": "0.003742668982358350883740024329180661402240723819425010825739269036284819366262553922456711014964931075",
      "decimal_contains_enclosure": true,
      "certified_accuracy_bits": 485,
      "shifted_decimal_rejected": true,
      "identity_check": true,
      "independent_precisions": [
        150,
        200
      ]
    },
    {
      "parameters": {
        "x": "1/2",
        "a": "4",
        "b": "5"
      },
      "number": "163/71680",
      "exact_result": "163/71680",
      "stored_exact": true,
      "independent_precisions": [
        150,
        200
      ]
    },
    {
      "parameters": {
        "x": "4/9",
        "a": "4",
        "b": "5"
      },
      "number": "2744512/1506635235",
      "exact_result": "2744512/1506635235",
      "stored_exact": true,
      "independent_precisions": [
        150,
        200
      ]
    },
    {
      "parameters": {
        "x": "1/2",
        "a": "5",
        "b": "4"
      },
      "number": "93/71680",
      "exact_result": "93/71680",
      "stored_exact": true,
      "independent_precisions": [
        150,
        200
      ]
    },
    {
      "parameters": {
        "x": "5/9",
        "a": "5",
        "b": "4"
      },
      "number": "4218125/2410616376",
      "exact_result": "4218125/2410616376",
      "stored_exact": true,
      "independent_precisions": [
        150,
        200
      ]
    },
    {
      "parameters": {
        "x": "1/2",
        "a": "9/2",
        "b": "11/2"
      },
      "number": "0.001055909632263848936390968039392296183710825908070168672016658822442764424625104975863843256617878279",
      "decimal_contains_enclosure": true,
      "certified_accuracy_bits": 486,
      "shifted_decimal_rejected": true,
      "identity_check": true,
      "independent_precisions": [
        150,
        200
      ]
    },
    {
      "parameters": {
        "x": "9/20",
        "a": "9/2",
        "b": "11/2"
      },
      "number": "0.0008532626038482854330892487239328882272245052372340075574893432023762760837930231366083385449874003634",
      "decimal_contains_enclosure": true,
      "certified_accuracy_bits": 485,
      "shifted_decimal_rejected": true,
      "identity_check": true,
      "independent_precisions": [
        150,
        200
      ]
    },
    {
      "parameters": {
        "x": "1/2",
        "a": "11/2",
        "b": "9/2"
      },
      "number": "0.0006218818544860711586131902616145184059330481302923908942388810446649866468473271980860654788401005015",
      "decimal_contains_enclosure": true,
      "certified_accuracy_bits": 486,
      "shifted_decimal_rejected": true,
      "identity_check": true,
      "independent_precisions": [
        150,
        200
      ]
    },
    {
      "parameters": {
        "x": "11/20",
        "a": "11/2",
        "b": "9/2"
      },
      "number": "0.0008245288829016346619149095770739263624193688011285520087661966647314749876794090373415701904705784174",
      "decimal_contains_enclosure": true,
      "certified_accuracy_bits": 485,
      "shifted_decimal_rejected": true,
      "identity_check": true,
      "independent_precisions": [
        150,
        200
      ]
    },
    {
      "parameters": {
        "x": "1/2",
        "a": "5",
        "b": "6"
      },
      "number": "319/645120",
      "exact_result": "319/645120",
      "stored_exact": true,
      "independent_precisions": [
        150,
        200
      ]
    },
    {
      "parameters": {
        "x": "5/11",
        "a": "5",
        "b": "6"
      },
      "number": "2632173125/6536230999452",
      "exact_result": "2632173125/6536230999452",
      "stored_exact": true,
      "independent_precisions": [
        150,
        200
      ]
    },
    {
      "parameters": {
        "x": "1/2",
        "a": "6",
        "b": "5"
      },
      "number": "193/645120",
      "exact_result": "193/645120",
      "stored_exact": true,
      "independent_precisions": [
        150,
        200
      ]
    },
    {
      "parameters": {
        "x": "6/11",
        "a": "6",
        "b": "5"
      },
      "number": "354904416/907809861035",
      "exact_result": "354904416/907809861035",
      "stored_exact": true,
      "independent_precisions": [
        150,
        200
      ]
    },
    {
      "parameters": {
        "x": "1/2",
        "a": "11/2",
        "b": "13/2"
      },
      "number": "0.0002331407468048205561425132634087211867894812838612424966582936895950765409951940741148192781935680674",
      "decimal_contains_enclosure": true,
      "certified_accuracy_bits": 486,
      "shifted_decimal_rejected": true,
      "identity_check": true,
      "independent_precisions": [
        150,
        200
      ]
    },
    {
      "parameters": {
        "x": "11/24",
        "a": "11/2",
        "b": "13/2"
      },
      "number": "0.0001912022762782685792831574729431603851438998814251877325141696756485677206851263073128655285033705220",
      "decimal_contains_enclosure": true,
      "certified_accuracy_bits": 483,
      "shifted_decimal_rejected": true,
      "identity_check": true,
      "independent_precisions": [
        150,
        200
      ]
    },
    {
      "parameters": {
        "x": "1/2",
        "a": "13/2",
        "b": "11/2"
      },
      "number": "0.0001443623377139114652334223543178120958803903747703334057492027805041674500861031650239101872844771583",
      "decimal_contains_enclosure": true,
      "certified_accuracy_bits": 486,
      "shifted_decimal_rejected": true,
      "identity_check": true,
      "independent_precisions": [
        150,
        200
      ]
    },
    {
      "parameters": {
        "x": "13/24",
        "a": "13/2",
        "b": "11/2"
      },
      "number": "0.0001863008082404634420927781447833728975259717772063881698933267944506762703961709318258639369746747037",
      "decimal_contains_enclosure": true,
      "certified_accuracy_bits": 483,
      "shifted_decimal_rejected": true,
      "identity_check": true,
      "independent_precisions": [
        150,
        200
      ]
    },
    {
      "parameters": {
        "x": "1/2",
        "a": "6",
        "b": "7"
      },
      "number": "1255/11354112",
      "exact_result": "1255/11354112",
      "stored_exact": true,
      "independent_precisions": [
        150,
        200
      ]
    },
    {
      "parameters": {
        "x": "6/13",
        "a": "6",
        "b": "7"
      },
      "number": "163652933952/1793952554431037",
      "exact_result": "163652933952/1793952554431037",
      "stored_exact": true,
      "independent_precisions": [
        150,
        200
      ]
    },
    {
      "parameters": {
        "x": "1/2",
        "a": "7",
        "b": "6"
      },
      "number": "793/11354112",
      "exact_result": "793/11354112",
      "stored_exact": true,
      "independent_precisions": [
        150,
        200
      ]
    },
    {
      "parameters": {
        "x": "7/13",
        "a": "7",
        "b": "6"
      },
      "number": "1645010553991/18452083417004952",
      "exact_result": "1645010553991/18452083417004952",
      "stored_exact": true,
      "independent_precisions": [
        150,
        200
      ]
    },
    {
      "parameters": {
        "x": "0",
        "a": "1/2",
        "b": "1/2"
      },
      "number": "0",
      "exact_result": "0",
      "stored_exact": true,
      "independent_precisions": [
        150,
        200
      ]
    },
    {
      "parameters": {
        "x": "1/4",
        "a": "1/2",
        "b": "1/2"
      },
      "number": "1.047197551196597746154214461093167628065723133125035273658314864102605468762069666209344941780705689",
      "decimal_contains_enclosure": true,
      "certified_accuracy_bits": 488,
      "shifted_decimal_rejected": true,
      "identity_check": true,
      "independent_precisions": [
        150,
        200
      ]
    },
    {
      "parameters": {
        "x": "3/4",
        "a": "1/2",
        "b": "1/2"
      },
      "number": "2.094395102393195492308428922186335256131446266250070547316629728205210937524139332418689883561411379",
      "decimal_contains_enclosure": true,
      "certified_accuracy_bits": 485,
      "shifted_decimal_rejected": true,
      "identity_check": true,
      "independent_precisions": [
        150,
        200
      ]
    },
    {
      "parameters": {
        "x": "1",
        "a": "1/2",
        "b": "1/2"
      },
      "number": "3.141592653589793238462643383279502884197169399375105820974944592307816406286208998628034825342117068",
      "decimal_contains_enclosure": true,
      "certified_accuracy_bits": 490,
      "shifted_decimal_rejected": true,
      "identity_check": true,
      "independent_precisions": [
        150,
        200
      ]
    }
  ],
  "rigour": "proven",
  "minimum_certified_accuracy_bits": 483,
  "working_guard_bits": 160,
  "identity_checks": 57,
  "exact_rows": 35
}