{
  "cutoffs": [
    1,
    4,
    16,
    64,
    256,
    1024,
    4096
  ],
  "arithmetic_bits": 192,
  "certified_cases": 7,
  "agreeing_cases": 7,
  "escape_iterations": [
    23,
    61,
    212,
    815,
    3228,
    12879,
    51482
  ],
  "all_escaped_after_cutoff": true,
  "exact_rational_control_checks": 49,
  "cases": [
    {
      "cutoff": 1,
      "parameter_numerator": "17",
      "parameter_denominator": "64",
      "arb_first_escape": 23,
      "integer_certificate": {
        "first_escape": 23,
        "exact_rational_control_checks": 7,
        "cutoff_upper_numerator_hex": "0x440000000000000000000000000000000000000000000000",
        "pre_escape_upper_numerator_hex": "0x167305d9b20d91fbeb11701051abf1fdf53db62fd1b4f83b7",
        "escape_lower_numerator_hex": "0x23bf8afac52875c534864eb285d04badd7dc64ec80bff8e09",
        "escape_upper_numerator_hex": "0x23bf8afac52875c534864eb285d04badd7dc64ec80bff90cb",
        "enclosure_denominator": "2^192"
      }
    },
    {
      "cutoff": 4,
      "parameter_numerator": "101",
      "parameter_denominator": "400",
      "arb_first_escape": 61,
      "integer_certificate": {
        "first_escape": 61,
        "exact_rational_control_checks": 7,
        "cutoff_upper_numerator_hex": "0x6073ee1445c99507767789e187101e59debf2fa0f0b03000",
        "pre_escape_upper_numerator_hex": "0x1a1c9f807328f4ff5b8836e3dd2a0e3f14de281b37e486afd",
        "escape_lower_numerator_hex": "0x2ea7770691bc2dd8a95f41c9182a801c910dfc5a13bc0c6b7",
        "escape_upper_numerator_hex": "0x2ea7770691bc2dd8a95f41c9182a801c910dfc5a13bc1adb9",
        "enclosure_denominator": "2^192"
      }
    },
    {
      "cutoff": 16,
      "parameter_numerator": "1157",
      "parameter_denominator": "4624",
      "arb_first_escape": 212,
      "integer_certificate": {
        "first_escape": 212,
        "exact_rational_control_checks": 7,
        "cutoff_upper_numerator_hex": "0x740dc679c47a6bff121604af5fafc66702cb59b02a026347",
        "pre_escape_upper_numerator_hex": "0x1d2a4e53e795c7eb47da4faf463f9846d8f39db4f01f77a02",
        "escape_lower_numerator_hex": "0x392aae9185fafb4ecceb193a692a94b7fea641609eb217a4b",
        "escape_upper_numerator_hex": "0x392aae9185fafb4ecceb193a692a94b7fea641609eb534d3e",
        "enclosure_denominator": "2^192"
      }
    },
    {
      "cutoff": 64,
      "parameter_numerator": "16901",
      "parameter_denominator": "67600",
      "arb_first_escape": 815,
      "integer_certificate": {
        "first_escape": 815,
        "exact_rational_control_checks": 7,
        "cutoff_upper_numerator_hex": "0x7c6e75d6cb233365e36d3be3e559d39ddd22ca540ca617d4",
        "pre_escape_upper_numerator_hex": "0x1ae5d48155017a0414aaa19d9171697e5fd5f3f40eaacc12e",
        "escape_lower_numerator_hex": "0x3137e785411bffc6226048641ea85292c83fd4e1c9988e575",
        "escape_upper_numerator_hex": "0x3137e785411bffc6226048641ea85292c83fd4e1ca1b46242",
        "enclosure_denominator": "2^192"
      }
    },
    {
      "cutoff": 256,
      "parameter_numerator": "264197",
      "parameter_denominator": "1056784",
      "arb_first_escape": 3228,
      "integer_certificate": {
        "first_escape": 3228,
        "exact_rational_control_checks": 7,
        "cutoff_upper_numerator_hex": "0x7f0c97869a1d9ae900078d960fd931174f4bae509249179f",
        "pre_escape_upper_numerator_hex": "0x1e7167e9d212992b27a4bba381bad1b6b6aacd8730b24091c",
        "escape_lower_numerator_hex": "0x3dec6a794058d3bff512b10c50b26957577e51adca4056e6b",
        "escape_upper_numerator_hex": "0x3dec6a794058d3bff512b10c50b26957577e51adf9c9d3bdc",
        "enclosure_denominator": "2^192"
      }
    },
    {
      "cutoff": 1024,
      "parameter_numerator": "4202501",
      "parameter_denominator": "16810000",
      "arb_first_escape": 12879,
      "integer_certificate": {
        "first_escape": 12879,
        "exact_rational_control_checks": 7,
        "cutoff_upper_numerator_hex": "0x7fc1e30014c04839ea7a0176850ffaef7ffbd5c958bb7605",
        "pre_escape_upper_numerator_hex": "0x1ee3c61dfa5e5b6a21b55a4a72ff2046c40863585c005b6cc",
        "escape_lower_numerator_hex": "0x3fa2d18f8aab37fa6c218ba2a31edc3cb1325f88ad37471e0",
        "escape_upper_numerator_hex": "0x3fa2d18f8aab37fa6c218ba2a31edc3cb1325f94e9c6237cc",
        "enclosure_denominator": "2^192"
      }
    },
    {
      "cutoff": 4096,
      "parameter_numerator": "67141637",
      "parameter_denominator": "268566544",
      "arb_first_escape": 51482,
      "integer_certificate": {
        "first_escape": 51482,
        "exact_rational_control_checks": 7,
        "cutoff_upper_numerator_hex": "0x7ff05fea15b6e4e4e77d8b50fab7b5a90f99424bbcb0c552",
        "pre_escape_upper_numerator_hex": "0x1574c63ec696b9121e9ffced0cbe0102f9200ef31379bbc99",
        "escape_lower_numerator_hex": "0x20c5dca9efbddba9ec97ba1da7e732ab059082f284465ec08",
        "escape_upper_numerator_hex": "0x20c5dca9efbddba9ec97ba1da7e732ab059083d8c8190f683",
        "enclosure_denominator": "2^192"
      }
    }
  ]
}