{
  "precision_bits": 256,
  "constants": {
    "B": "[0.26149721284764278375542683861 +/- 3.67e-30]",
    "twin_constant": "[0.66016181584686957 +/- 9.04e-18]",
    "U_low": "[0.74130822433929034892239550271119455 +/- 4.95e-36]"
  },
  "original_printed_chain": {
    "L": "[2736.8600000000000000000000000000000 +/- 1e-36]",
    "w": "[2697.2871672158135661899888308120518 +/- 5.13e-33]",
    "v": "[2657.7871582457793331138278757283287 +/- 1.08e-32]",
    "c": "[8.3805685084991995985467831934953929 +/- 5.28e-36]",
    "c4_at_start": "[3193.4325141303059268233149926766868 +/- 1.66e-32]",
    "j_at_start": "[19.074277262826431083226087931414612 +/- 4.95e-34]",
    "c4_over_L_uniform": "[1.1839423525016712849593266423283581 +/- 3.04e-35]",
    "c4_j_over_L_uniform": "[22.582844694819864168553205805324799 +/- 2.25e-35]",
    "c1": "[52.406354833003897130626011788854009 +/- 2.65e-34]",
    "c2": "[52.425531755743605816043355701160706 +/- 3.25e-34]",
    "c3_upper": "[2.6818497478961531196618292031879034 +/- 1.73e-35]",
    "a1_upper": "[4.5829959846269996085998370673997431 +/- 5.50e-36]",
    "a_upper": "[1.3871512968183730474715861158633369e-6 +/- 2.85e-41]",
    "h_c": "[8.2075420343506542169182720147293209e-5 +/- 1.58e-40]",
    "case_a_uniform_coefficient": "[38.394169993231681100507284221418490 +/- 2.26e-34]",
    "case_b_uniform_coefficient": "[9.5200698155927580299258966600564344 +/- 4.24e-35]",
    "gates": {
      "threshold_slack": "[0.0048389473047189788227159351476637775 +/- 2.96e-38]",
      "logH_minus_7logL": "[1237.9416051519978494543534414256861 +/- 3.76e-32]",
      "7logL_minus_log1e9": "[34.678700060914596177853713770968209 +/- 2.98e-34]",
      "V_factor": "[0.99989306315876444822039857858431331 +/- 2.68e-36]",
      "support_log_slack": "[209.12851096438273162823952675390850 +/- 3.12e-33]",
      "D_over_z2_log_slack": "[436.56806820427798533196872627374503 +/- 4.34e-33]",
      "Kdelta_minus_3022": "[25831.954459859578894878324750976357 +/- 1.80e-31]",
      "eps_slack": "[0.012959213513513513513513513513513514 +/- 4.87e-37]",
      "prime_13_primorial_slack": "[13838.954459859578894878324750976357 +/- 1.80e-31]",
      "prime_17_primorial_slack": "[226401.04554014042110512167524902364 +/- 3.18e-30]"
    },
    "derivative_small_exponent": "[1.4578674261704927324411523328788938 +/- 3.71e-35]",
    "derivative_page_exponent": "[10.414974003507857803345680048171023 +/- 4.25e-34]"
  },
  "corrected_original_chain": {
    "L": "[2736.8600000000000000000000000000000 +/- 1e-36]",
    "w": "[2697.2871672158135661899888308120518 +/- 5.13e-33]",
    "v": "[2657.7871582457793331138278757283287 +/- 1.08e-32]",
    "c": "[8.3805685084991995985467831934953929 +/- 5.28e-36]",
    "c4_at_start": "[3193.4325141303059268233149926766868 +/- 1.66e-32]",
    "j_at_start": "[19.074277262826431083226087931414612 +/- 4.95e-34]",
    "c4_over_L_uniform": "[1.1839423525016712849593266423283581 +/- 3.04e-35]",
    "c4_j_over_L_uniform": "[22.582844694819864168553205805324799 +/- 2.25e-35]",
    "c1": "[52.406354833003897130626011788854009 +/- 2.65e-34]",
    "c2": "[52.425531755743605816043355701160706 +/- 3.25e-34]",
    "c3_upper": "[2.6818497478961531196618292031879034 +/- 1.73e-35]",
    "a1_upper": "[4.5829959846269996085998370673997431 +/- 5.50e-36]",
    "a_upper": "[0.0037964388982103324587030851770617322 +/- 4.98e-38]",
    "h_c": "[8.2075420343506542169182720147293209e-5 +/- 1.58e-40]",
    "case_a_uniform_coefficient": "[38.394169993231681100507284221418490 +/- 2.26e-34]",
    "case_b_uniform_coefficient": "[9.3682459890911631131062866926167852 +/- 1.39e-36]",
    "gates": {
      "threshold_slack": "[0.0048389473047189788227159351476637775 +/- 2.96e-38]",
      "logH_minus_7logL": "[1237.9416051519978494543534414256861 +/- 3.76e-32]",
      "7logL_minus_log1e9": "[34.678700060914596177853713770968209 +/- 2.98e-34]",
      "V_factor": "[0.99989306315876444822039857858431331 +/- 2.68e-36]",
      "support_log_slack": "[209.12851096438273162823952675390850 +/- 3.12e-33]",
      "D_over_z2_log_slack": "[436.56806820427798533196872627374503 +/- 4.34e-33]",
      "Kdelta_minus_3022": "[25831.954459859578894878324750976357 +/- 1.80e-31]",
      "eps_slack": "[0.012959213513513513513513513513513514 +/- 4.87e-37]",
      "prime_13_primorial_slack": "[13838.954459859578894878324750976357 +/- 1.80e-31]",
      "prime_17_primorial_slack": "[226401.04554014042110512167524902364 +/- 3.18e-30]"
    },
    "derivative_small_exponent": "[1.4578674261704927324411523328788938 +/- 3.71e-35]",
    "derivative_page_exponent": "[10.414974003507857803345680048171023 +/- 4.25e-34]"
  },
  "corrected_rounded_chain": {
    "brace": "[0.99579370267327711315250114926567617 +/- 3.21e-36]",
    "case_b": "[9.3682455317040906496205347476999603 +/- 4.95e-35]"
  },
  "direct_tp_lower_bound": "[0.66016175360000000000000000000000000 +/- 3e-40]",
  "direct_endpoint_C1_113": [
    "[38.417262629061843275071443630136182 +/- 1.43e-34]",
    "[9.8087250315915309499226680024523040 +/- 3.21e-35]",
    "[0.0037964392559082726695227731889482451 +/- 3.02e-38]",
    "[22.256314606756041572083303909492784 +/- 5.65e-35]",
    "[0.99579379637430320978840449825250379 +/- 4.03e-36]"
  ],
  "direct_cover_C1_113": {
    "boxes": [
      {
        "left": "136843/50",
        "right": "280267621/102400",
        "case_a": "[38.42 +/- 3.00e-3]",
        "case_b": "[9.8 +/- 0.0260]",
        "case_a_lower": "[38.417008256461278413025701087196964 +/- 2.13e-34]",
        "case_b_lower": "[9.8036819863291073071202065163257135 +/- 4.00e-35]",
        "case_b_upper": "[9.8259685687762300895890022926929010 +/- 4.00e-35]",
        "a": "[0.003796 +/- 6.85e-7]",
        "remainder": "[22.3 +/- 0.0565]",
        "brace": "[0.995794 +/- 6.49e-7]"
      },
      {
        "left": "280267621/102400",
        "right": "140140389/51200",
        "case_a": "[38.418 +/- 8.09e-4]",
        "case_b": "[9.8 +/- 0.0382]",
        "case_a_lower": "[38.417654394244985875490256867435441 +/- 2.25e-34]",
        "case_b_lower": "[9.8158985421275393664642491166756115 +/- 1.75e-35]",
        "case_b_upper": "[9.8381752982192812114759602372810803 +/- 3.27e-35]",
        "a": "[0.003795 +/- 8.28e-7]",
        "remainder": "[22.2 +/- 0.0511]",
        "brace": "[0.995795 +/- 5.69e-7]"
      },
      {
        "left": "140140389/51200",
        "right": "70076773/25600",
        "case_a": "[38.42 +/- 1.96e-3]",
        "case_b": "[9.8 +/- 0.0676]",
        "case_a_lower": "[38.418046105805267512911454448601159 +/- 4.58e-34]",
        "case_b_lower": "[9.8230713627744817437085358178038084 +/- 5.89e-36]",
        "case_b_upper": "[9.8675935789687910379323212181944334 +/- 5.89e-36]",
        "a": "[0.00379 +/- 5.22e-6]",
        "remainder": "[22.2 +/- 0.0458]",
        "brace": "[0.99580 +/- 4.94e-6]"
      },
      {
        "left": "70076773/25600",
        "right": "7008993/2560",
        "case_a": "[38.42 +/- 3.44e-3]",
        "case_b": "[9.9 +/- 0.0626]",
        "case_a_lower": "[38.418829394623524769416985584650831 +/- 2.02e-34]",
        "case_b_lower": "[9.8374150526073049835287733819619766 +/- 1.86e-36]",
        "case_b_upper": "[9.9263419137863662175261183526651016 +/- 1.86e-36]",
        "a": "[0.00379 +/- 4.00e-6]",
        "remainder": "[22.2 +/- 0.0352]",
        "brace": "[0.99580 +/- 3.67e-6]"
      },
      {
        "left": "7008993/2560",
        "right": "17529061/6400",
        "case_a": "[38.42 +/- 9.59e-3]",
        "case_b": "[1e+1 +/- 0.134]",
        "case_a_lower": "[38.420394958188648686878033229823104 +/- 1.05e-34]",
        "case_b_lower": "[9.8660852518814359888182331562289311 +/- 4.75e-35]",
        "case_b_upper": "[10.043491231598586319361751222635181 +/- 5.27e-35]",
        "a": "[0.00379 +/- 6.98e-6]",
        "remainder": "[2.2e+1 +/- 0.214]",
        "brace": "[0.99580 +/- 7.61e-6]"
      },
      {
        "left": "17529061/6400",
        "right": "8771109/3200",
        "case_a": "[38.4 +/- 0.0419]",
        "case_b": "[1.0e+1 +/- 0.277]",
        "case_a_lower": "[38.423522382934545972611903553722147 +/- 3.63e-34]",
        "case_b_lower": "[9.9233640353205573588412635790649065 +/- 1.54e-35]",
        "case_b_upper": "[10.276402580087162259201371000939907 +/- 4.85e-34]",
        "a": "[0.0038 +/- 3.03e-5]",
        "remainder": "[2.2e+1 +/- 0.172]",
        "brace": "[0.9958 +/- 2.14e-5]"
      },
      {
        "left": "8771109/3200",
        "right": "4392133/1600",
        "case_a": "[38.4 +/- 0.0660]",
        "case_b": "[1.0e+1 +/- 0.737]",
        "case_a_lower": "[38.429762115657979981547413837840403 +/- 1.28e-34]",
        "case_b_lower": "[10.037668753755388620315281963260904 +/- 1.49e-34]",
        "case_b_upper": "[10.736727469009456994949071025760904 +/- 1.49e-34]",
        "a": "[0.0038 +/- 5.67e-5]",
        "remainder": "[2.2e+1 +/- 0.431]",
        "brace": "[0.9958 +/- 4.85e-5]"
      },
      {
        "left": "4392133/1600",
        "right": "440529/160",
        "case_a": "[38.5 +/- 0.0579]",
        "case_b": "[1.1e+1 +/- 0.735]",
        "case_a_lower": "[38.442181456798051975662391409307372 +/- 3.39e-34]",
        "case_b_lower": "[10.265271774249986208099862020793736 +/- 4.11e-34]",
        "case_b_upper": "[11.635788432079270876068612020793736 +/- 4.11e-34]",
        "a": "[0.0037 +/- 5.76e-5]",
        "remainder": "[2e+1 +/- 1.92]",
        "brace": "[0.9959 +/- 6.59e-5]"
      },
      {
        "left": "440529/160",
        "right": "1107901/400",
        "case_a": "[3.9e+1 +/- 0.534]",
        "case_b": "[1e+1 +/- 3.36]",
        "case_a_lower": "[38.466779422234697278172523884844520 +/- 4.29e-34]",
        "case_b_lower": "[10.716439760214808121731122883563412 +/- 8.24e-35]",
        "case_b_upper": "[13.350693906582119599392255696063412 +/- 8.24e-35]",
        "a": "[0.004 +/- 4.07e-4]",
        "remainder": "[2e+1 +/- 1.59]",
        "brace": "[0.996 +/- 1.27e-4]"
      },
      {
        "left": "1107901/400",
        "right": "560529/200",
        "case_a": "[3.9e+1 +/- 0.485]",
        "case_b": "[1e+1 +/- 6.48]",
        "case_a_lower": "[38.515015438974815283224189164567001 +/- 1.87e-34]",
        "case_b_lower": "[11.602610230994423981574793035047480 +/- 4.15e-34]",
        "case_b_upper": "[16.471245609772404786018152410047480 +/- 4.15e-34]",
        "a": "[0.004 +/- 5.88e-4]",
        "remainder": "[2e+1 +/- 2.68]",
        "brace": "[0.996 +/- 1.90e-4]"
      },
      {
        "left": "560529/200",
        "right": "286843/100",
        "case_a": "[3.9e+1 +/- 0.393]",
        "case_b": "[2e+1 +/- 6.69]",
        "case_a_lower": "[38.607675659833155055609411427239809 +/- 1.52e-34]",
        "case_b_lower": "[13.310285760085891239841136835252854 +/- 1.58e-35]",
        "case_b_upper": "[21.643129212777923100192699335252854 +/- 1.58e-35]",
        "a": "[0.003 +/- 5.02e-4]",
        "remainder": "[2e+1 +/- 6.50]",
        "brace": "[0.996 +/- 5.05e-4]"
      },
      {
        "left": "286843/100",
        "right": "3000",
        "case_a": "[3.9e+1 +/- 0.410]",
        "case_b": "[2e+1 +/- 8.78]",
        "case_a_lower": "[38.778075056761109577105625864004039 +/- 6.01e-35]",
        "case_b_lower": "[16.469202067331435385245063273584105 +/- 4.53e-34]",
        "case_b_upper": "[28.774534415082099142569282023584105 +/- 4.53e-34]",
        "a": "[0.003 +/- 3.27e-4]",
        "remainder": "[1e+1 +/- 7.34]",
        "brace": "[0.997 +/- 6.29e-4]"
      }
    ],
    "count": 12,
    "worst_case_b_box": {
      "left": "136843/50",
      "right": "280267621/102400",
      "case_a": "[38.42 +/- 3.00e-3]",
      "case_b": "[9.8 +/- 0.0260]",
      "case_a_lower": "[38.417008256461278413025701087196964 +/- 2.13e-34]",
      "case_b_lower": "[9.8036819863291073071202065163257135 +/- 4.00e-35]",
      "case_b_upper": "[9.8259685687762300895890022926929010 +/- 4.00e-35]",
      "a": "[0.003796 +/- 6.85e-7]",
      "remainder": "[22.3 +/- 0.0565]",
      "brace": "[0.995794 +/- 6.49e-7]"
    },
    "min_lower_a": "[38.417008256461278413025701087196964 +/- 2.13e-34]",
    "min_lower_b": "[9.8036819863291073071202065163257135 +/- 4.00e-35]"
  },
  "direct_cover_C1_114": {
    "boxes": [
      {
        "left": "136843/50",
        "right": "280267621/102400",
        "case_a": "[38.42 +/- 3.00e-3]",
        "case_b": "[9.8 +/- 0.0260]",
        "case_a_lower": "[38.417008256461278413025701087196964 +/- 2.13e-34]",
        "case_b_lower": "[9.8036782680256880690093532976375693 +/- 4.65e-35]",
        "case_b_upper": "[9.8259648508511606474156872209774130 +/- 3.62e-36]",
        "a": "[0.003796 +/- 6.85e-7]",
        "remainder": "[22.3 +/- 0.0565]",
        "brace": "[0.995794 +/- 5.56e-7]"
      },
      {
        "left": "280267621/102400",
        "right": "140140389/51200",
        "case_a": "[38.418 +/- 8.09e-4]",
        "case_b": "[9.8 +/- 0.0382]",
        "case_a_lower": "[38.417654394244985875490256867435441 +/- 2.25e-34]",
        "case_b_lower": "[9.8158948241120193977550193042320434 +/- 4.92e-35]",
        "case_b_upper": "[9.8381715805821110387042685718101684 +/- 4.92e-35]",
        "a": "[0.003795 +/- 8.28e-7]",
        "remainder": "[22.2 +/- 0.0511]",
        "brace": "[0.995795 +/- 6.62e-7]"
      },
      {
        "left": "140140389/51200",
        "right": "70076773/25600",
        "case_a": "[38.42 +/- 1.96e-3]",
        "case_b": "[9.8 +/- 0.0676]",
        "case_a_lower": "[38.418046105805267512911454448601159 +/- 4.58e-34]",
        "case_b_lower": "[9.8230676449996959039986669412625222 +/- 7.58e-36]",
        "case_b_upper": "[9.8675898619507047900975286355984597 +/- 7.58e-36]",
        "a": "[0.00379 +/- 5.22e-6]",
        "remainder": "[22.2 +/- 0.0458]",
        "brace": "[0.99580 +/- 5.03e-6]"
      },
      {
        "left": "70076773/25600",
        "right": "7008993/2560",
        "case_a": "[38.42 +/- 3.44e-3]",
        "case_b": "[9.9 +/- 0.0626]",
        "case_a_lower": "[38.418829394623524769416985584650831 +/- 2.02e-34]",
        "case_b_lower": "[9.8374113353135361657923150445185106 +/- 1.50e-35]",
        "case_b_upper": "[9.9263381980059965835398126031122606 +/- 1.50e-35]",
        "a": "[0.00379 +/- 4.00e-6]",
        "remainder": "[22.2 +/- 0.0352]",
        "brace": "[0.99580 +/- 3.76e-6]"
      },
      {
        "left": "7008993/2560",
        "right": "17529061/6400",
        "case_a": "[38.42 +/- 9.59e-3]",
        "case_b": "[1e+1 +/- 0.134]",
        "case_a_lower": "[38.420394958188648686878033229823104 +/- 1.05e-34]",
        "case_b_lower": "[9.8660815355481710927917159503269336 +/- 4.80e-35]",
        "case_b_upper": "[10.043487518292119790835539192514434 +/- 3.53e-34]",
        "a": "[0.00379 +/- 6.98e-6]",
        "remainder": "[2.2e+1 +/- 0.214]",
        "brace": "[0.99580 +/- 7.52e-6]"
      },
      {
        "left": "17529061/6400",
        "right": "8771109/3200",
        "case_a": "[38.4 +/- 0.0419]",
        "case_b": "[1.0e+1 +/- 0.277]",
        "case_a_lower": "[38.423522382934545972611903553722147 +/- 3.63e-34]",
        "case_b_lower": "[9.9233603209019136149142103275096609 +/- 3.70e-35]",
        "case_b_upper": "[10.276398871722115250274928100947161 +/- 1.37e-34]",
        "a": "[0.0038 +/- 3.03e-5]",
        "remainder": "[2.2e+1 +/- 0.172]",
        "brace": "[0.9958 +/- 2.13e-5]"
      },
      {
        "left": "8771109/3200",
        "right": "4392133/1600",
        "case_a": "[38.4 +/- 0.0660]",
        "case_b": "[1.0e+1 +/- 0.737]",
        "case_a_lower": "[38.429762115657979981547413837840403 +/- 1.28e-34]",
        "case_b_lower": "[10.037665043606485615189088038148402 +/- 2.85e-34]",
        "case_b_upper": "[10.736723770036424885208619288148402 +/- 2.85e-34]",
        "a": "[0.0038 +/- 5.67e-5]",
        "remainder": "[2.2e+1 +/- 0.431]",
        "brace": "[0.9958 +/- 4.84e-5]"
      },
      {
        "left": "4392133/1600",
        "right": "440529/160",
        "case_a": "[38.5 +/- 0.0579]",
        "case_b": "[1.1e+1 +/- 0.735]",
        "case_a_lower": "[38.442181456798051975662391409307372 +/- 3.39e-34]",
        "case_b_lower": "[10.265268071143854312234320973470638 +/- 9.78e-35]",
        "case_b_upper": "[11.635784753187525920205512379720638 +/- 9.78e-35]",
        "a": "[0.0037 +/- 5.76e-5]",
        "remainder": "[2e+1 +/- 1.92]",
        "brace": "[0.9959 +/- 6.60e-5]"
      },
      {
        "left": "440529/160",
        "right": "1107901/400",
        "case_a": "[3.9e+1 +/- 0.534]",
        "case_b": "[1e+1 +/- 3.36]",
        "case_a_lower": "[38.466779422234697278172523884844520 +/- 4.29e-34]",
        "case_b_lower": "[10.716436071733894882170326759530409 +/- 1.40e-35]",
        "case_b_upper": "[13.350690266529980239836342384530409 +/- 1.40e-35]",
        "a": "[0.004 +/- 4.07e-4]",
        "remainder": "[2e+1 +/- 1.59]",
        "brace": "[0.996 +/- 1.27e-4]"
      },
      {
        "left": "1107901/400",
        "right": "560529/200",
        "case_a": "[3.9e+1 +/- 0.485]",
        "case_b": "[1e+1 +/- 6.48]",
        "case_a_lower": "[38.515015438974815283224189164567001 +/- 1.87e-34]",
        "case_b_lower": "[11.602606573979915510982032710186554 +/- 4.61e-34]",
        "case_b_upper": "[16.471242042164863478511329585186554 +/- 4.61e-34]",
        "a": "[0.004 +/- 5.88e-4]",
        "remainder": "[2e+1 +/- 2.68]",
        "brace": "[0.996 +/- 1.90e-4]"
      },
      {
        "left": "560529/200",
        "right": "286843/100",
        "case_a": "[3.9e+1 +/- 0.393]",
        "case_b": "[2e+1 +/- 6.69]",
        "case_a_lower": "[38.607675659833155055609411427239809 +/- 1.52e-34]",
        "case_b_lower": "[13.310282164112296442053295696185537 +/- 1.54e-34]",
        "case_b_upper": "[21.643125780717101434729076946185537 +/- 1.54e-34]",
        "a": "[0.003 +/- 5.02e-4]",
        "remainder": "[2e+1 +/- 6.50]",
        "brace": "[0.996 +/- 5.05e-4]"
      },
      {
        "left": "286843/100",
        "right": "3000",
        "case_a": "[3.9e+1 +/- 0.410]",
        "case_b": "[2e+1 +/- 8.78]",
        "case_a_lower": "[38.778075056761109577105625864004039 +/- 6.01e-35]",
        "case_b_lower": "[16.469198588745968418384603581578391 +/- 9.64e-36]",
        "case_b_upper": "[28.774531219618694858814291081578391 +/- 9.64e-36]",
        "a": "[0.003 +/- 3.27e-4]",
        "remainder": "[1e+1 +/- 7.34]",
        "brace": "[0.997 +/- 6.30e-4]"
      }
    ],
    "count": 12,
    "worst_case_b_box": {
      "left": "136843/50",
      "right": "280267621/102400",
      "case_a": "[38.42 +/- 3.00e-3]",
      "case_b": "[9.8 +/- 0.0260]",
      "case_a_lower": "[38.417008256461278413025701087196964 +/- 2.13e-34]",
      "case_b_lower": "[9.8036782680256880690093532976375693 +/- 4.65e-35]",
      "case_b_upper": "[9.8259648508511606474156872209774130 +/- 3.62e-36]",
      "a": "[0.003796 +/- 6.85e-7]",
      "remainder": "[22.3 +/- 0.0565]",
      "brace": "[0.995794 +/- 5.56e-7]"
    },
    "min_lower_a": "[38.417008256461278413025701087196964 +/- 2.13e-34]",
    "min_lower_b": "[9.8036782680256880690093532976375693 +/- 4.65e-35]"
  },
  "tail_at_3000_C1_113": {
    "case_a": "[39.281967657882922067226923742490815 +/- 3.77e-34]",
    "case_b": "[26.218293860128382794713342523589689 +/- 5.62e-35]",
    "a": "[0.0026111634028980125782905117641649960 +/- 4.02e-39]",
    "brace": "[0.99702192996708623454496062850127029 +/- 1.65e-36]"
  },
  "tail_at_3000_C1_114": {
    "case_a": "[39.281967657882922067226923742490815 +/- 3.77e-34]",
    "case_b": "[26.218290640535070105422588219302692 +/- 5.09e-35]",
    "a": "[0.0026111634028980125782905117641649960 +/- 4.02e-39]",
    "brace": "[0.99702184947725341731269177089409536 +/- 3.23e-36]"
  },
  "route_A_at_L0_C1_113": {
    "case_a": "[38.394169842754113298166370809559339 +/- 1.20e-34]",
    "case_b": "[9.3682468227866875202034465120970827 +/- 8.35e-36]",
    "a": "[0.0037964392559082726695227731889482451 +/- 3.02e-38]",
    "brace": "[0.99579379637430320978840449825250379 +/- 4.03e-36]"
  }
}