{
  "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]"
  ],
  "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]"
  },
  "cover_C1_113_count": 12,
  "cover_C1_113_minimum_a": "[38.417008256461278413025701087196964 +/- 2.13e-34]",
  "cover_C1_113_minimum_b": "[9.8036819863291073071202065163257135 +/- 4.00e-35]",
  "cover_C1_113_worst": {
    "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]"
  },
  "cover_C1_114_count": 12,
  "cover_C1_114_minimum_a": "[38.417008256461278413025701087196964 +/- 2.13e-34]",
  "cover_C1_114_minimum_b": "[9.8036782680256880690093532976375693 +/- 4.65e-35]",
  "cover_C1_114_worst": {
    "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]"
  }
}
