{
  "case_count": 22,
  "precision_min": 3,
  "precision_max": 24,
  "all_stationary_values_half": true,
  "exhaustive_transition_comparisons": 8224,
  "cases": [
    {
      "precision_bits": 3,
      "parameter": "5/16",
      "separate": {
        "stationary_transition": 5,
        "first_stationary_value_iteration": 4,
        "stationary_value": "1/2"
      },
      "fused": {
        "stationary_transition": 4,
        "first_stationary_value_iteration": 3,
        "stationary_value": "1/2"
      },
      "exact": {
        "first_escape_iteration": 11,
        "scale_bits": 320,
        "previous_upper_numerator_hex": "0x1a527148cdc3b3eea542618e8f353b47bf567025c8605fd3e3a448eeb8623a6e043992ec1e3bbed06",
        "escape_lower_numerator_hex": "0x304d98f8e90ec46e6c44240d494f5b3902da1c59b70ab66ce8bddff099ec9a0b6fe7064f5b5612ad0",
        "escape_upper_numerator_hex": "0x304d98f8e90ec46e6c44240d494f5b3902da1c59b70ab66ce8bddff099ec9a0b6fe7064f5b5612aec"
      }
    },
    {
      "precision_bits": 4,
      "parameter": "9/32",
      "separate": {
        "stationary_transition": 6,
        "first_stationary_value_iteration": 5,
        "stationary_value": "1/2"
      },
      "fused": {
        "stationary_transition": 6,
        "first_stationary_value_iteration": 5,
        "stationary_value": "1/2"
      },
      "exact": {
        "first_escape_iteration": 16,
        "scale_bits": 320,
        "previous_upper_numerator_hex": "0x19178803eb1b7899b3281584899be4b957df637958d3bfa1a4f0c68c246d64d4634c3991eefcc3a69",
        "escape_lower_numerator_hex": "0x2bd9aba7ce3c65a3b4f99b962a656333f33ffe238f06c23bdd96c19d03f720d62d8199aa3f57045a1",
        "escape_upper_numerator_hex": "0x2bd9aba7ce3c65a3b4f99b962a656333f33ffe238f06c23bdd96c19d03f720d62d8199aa3f5704665"
      }
    },
    {
      "precision_bits": 5,
      "parameter": "17/64",
      "separate": {
        "stationary_transition": 10,
        "first_stationary_value_iteration": 9,
        "stationary_value": "1/2"
      },
      "fused": {
        "stationary_transition": 10,
        "first_stationary_value_iteration": 9,
        "stationary_value": "1/2"
      },
      "exact": {
        "first_escape_iteration": 23,
        "scale_bits": 320,
        "previous_upper_numerator_hex": "0x167305d9b20d91fbeb11701051abf1fdf53db62fd1b4f8331b506d29cc338d5fd750b76a9e1986eb6",
        "escape_lower_numerator_hex": "0x23bf8afac52875c534864eb285d04badd7dc64ec80bff8f54401d39be2bc52d6adf9937c9cbfbd746",
        "escape_upper_numerator_hex": "0x23bf8afac52875c534864eb285d04badd7dc64ec80bff8f54401d39be2bc52d6adf9937c9cbfbda69"
      }
    },
    {
      "precision_bits": 6,
      "parameter": "33/128",
      "separate": {
        "stationary_transition": 14,
        "first_stationary_value_iteration": 13,
        "stationary_value": "1/2"
      },
      "fused": {
        "stationary_transition": 15,
        "first_stationary_value_iteration": 14,
        "stationary_value": "1/2"
      },
      "exact": {
        "first_escape_iteration": 34,
        "scale_bits": 320,
        "previous_upper_numerator_hex": "0x1d339aa3a120408e444224bd87ff04754d3dffc7ec695a19628fc93aacb2598109ac2e2a42a915682",
        "escape_lower_numerator_hex": "0x396bb700d1cc7eb564d233b3a767b88ccbd1f30dac6a9d1fc95c0f88f591fa7705e0bcb995fd06fc3",
        "escape_upper_numerator_hex": "0x396bb700d1cc7eb564d233b3a767b88ccbd1f30dac6a9d1fc95c0f88f591fa7705e0bcb995fd088a9"
      }
    },
    {
      "precision_bits": 7,
      "parameter": "65/256",
      "separate": {
        "stationary_transition": 21,
        "first_stationary_value_iteration": 20,
        "stationary_value": "1/2"
      },
      "fused": {
        "stationary_transition": 23,
        "first_stationary_value_iteration": 22,
        "stationary_value": "1/2"
      },
      "exact": {
        "first_escape_iteration": 48,
        "scale_bits": 320,
        "previous_upper_numerator_hex": "0x160ca8cf0d9dc030d8bcb8f3fc2f2056348770a58d2e00744f648dc2bc25a42f85fe6563ad1f443bc",
        "escape_lower_numerator_hex": "0x2272da3d910cd287beb13abbc61643a3e5618814d73c6f000545aef4987994911a12ba94f9fb7e64e",
        "escape_upper_numerator_hex": "0x2272da3d910cd287beb13abbc61643a3e5618814d73c6f000545aef4987994911a12ba94f9fb805d5"
      }
    },
    {
      "precision_bits": 8,
      "parameter": "129/512",
      "separate": {
        "stationary_transition": 30,
        "first_stationary_value_iteration": 29,
        "stationary_value": "1/2"
      },
      "fused": {
        "stationary_transition": 33,
        "first_stationary_value_iteration": 32,
        "stationary_value": "1/2"
      },
      "exact": {
        "first_escape_iteration": 69,
        "scale_bits": 320,
        "previous_upper_numerator_hex": "0x17aa2be6247723b157c8ae85ee02d4276b6ace90e4a30af50ea98ed1038091ad437295bb6a5a6c583",
        "escape_lower_numerator_hex": "0x2708501afbcf5cad692158716693b00c6ca5a67afa1012e07295a6dbd0551a69f50f71db1e27f6e2b",
        "escape_upper_numerator_hex": "0x2708501afbcf5cad692158716693b00c6ca5a67afa1012e07295a6dbd0551a69f50f71db1e27fde09"
      }
    },
    {
      "precision_bits": 9,
      "parameter": "257/1024",
      "separate": {
        "stationary_transition": 46,
        "first_stationary_value_iteration": 45,
        "stationary_value": "1/2"
      },
      "fused": {
        "stationary_transition": 48,
        "first_stationary_value_iteration": 47,
        "stationary_value": "1/2"
      },
      "exact": {
        "first_escape_iteration": 99,
        "scale_bits": 320,
        "previous_upper_numerator_hex": "0x1e58c56017c54c7cdd48692bd5247f1c750e639ee98a4fc59996ffdd8512945c74a4f8cefd866d89d",
        "escape_lower_numerator_hex": "0x3d92d0acfcf9e39579bb0733b0d626defa196d593a0efdcde169094f2aae71a9d496c8794e3996173",
        "escape_upper_numerator_hex": "0x3d92d0acfcf9e39579bb0733b0d626defa196d593a0efdcde169094f2aae71a9d496c8794e39c522f"
      }
    },
    {
      "precision_bits": 10,
      "parameter": "513/2048",
      "separate": {
        "stationary_transition": 65,
        "first_stationary_value_iteration": 64,
        "stationary_value": "1/2"
      },
      "fused": {
        "stationary_transition": 69,
        "first_stationary_value_iteration": 68,
        "stationary_value": "1/2"
      },
      "exact": {
        "first_escape_iteration": 140,
        "scale_bits": 320,
        "previous_upper_numerator_hex": "0x17249523e13bd7cd6a388b20cdda2eeced1e6110384dce2d69d09739ff11553ab39e67ca672acfbc3",
        "escape_lower_numerator_hex": "0x257b806bb72e2d2a098680c26f25c4218d1fbdb02ae6f53ee40f9c5ffad15108f14b866e57f0f2a37",
        "escape_upper_numerator_hex": "0x257b806bb72e2d2a098680c26f25c4218d1fbdb02ae6f53ee40f9c5ffad15108f14b866e57f12871b"
      }
    },
    {
      "precision_bits": 11,
      "parameter": "1025/4096",
      "separate": {
        "stationary_transition": 95,
        "first_stationary_value_iteration": 94,
        "stationary_value": "1/2"
      },
      "fused": {
        "stationary_transition": 100,
        "first_stationary_value_iteration": 99,
        "stationary_value": "1/2"
      },
      "exact": {
        "first_escape_iteration": 199,
        "scale_bits": 320,
        "previous_upper_numerator_hex": "0x182b6235183461302e7a4ea17d9eb63f923cf85788670467eefcf685277ca19be37dbdcd1bc980cae",
        "escape_lower_numerator_hex": "0x28839c4180ca55cd1498a4e3dd585410b13886d7c73eb4b2d6cf2e3b61ed519a4a7ddae225e36cc9e",
        "escape_upper_numerator_hex": "0x28839c4180ca55cd1498a4e3dd585410b13886d7c73eb4b2d6cf2e3b61ed519a4a7ddae225e4176c4"
      }
    },
    {
      "precision_bits": 12,
      "parameter": "2049/8192",
      "separate": {
        "stationary_transition": 134,
        "first_stationary_value_iteration": 133,
        "stationary_value": "1/2"
      },
      "fused": {
        "stationary_transition": 143,
        "first_stationary_value_iteration": 142,
        "stationary_value": "1/2"
      },
      "exact": {
        "first_escape_iteration": 282,
        "scale_bits": 320,
        "previous_upper_numerator_hex": "0x15e7dbe8c72633c4289d19e40614093bd8fe13a3fe217e355873b6b039ffd388a067615bfd3e6b402",
        "escape_lower_numerator_hex": "0x21fe412cbabc3d48766ecf8e9655cbec82f57df7573c3017ef0341d859a3679cc4bfda1181c5fc08a",
        "escape_upper_numerator_hex": "0x21fe412cbabc3d48766ecf8e9655cbec82f57df7573c3017ef0341d859a3679cc4bfda1181c7638ca"
      }
    },
    {
      "precision_bits": 13,
      "parameter": "4097/16384",
      "separate": {
        "stationary_transition": 193,
        "first_stationary_value_iteration": 192,
        "stationary_value": "1/2"
      },
      "fused": {
        "stationary_transition": 205,
        "first_stationary_value_iteration": 204,
        "stationary_value": "1/2"
      },
      "exact": {
        "first_escape_iteration": 400,
        "scale_bits": 320,
        "previous_upper_numerator_hex": "0x17b01439449322097f55f616de9ce9a64a18f39d6ec545093409a186a4896bfc4e8fdd63be1116f85",
        "escape_lower_numerator_hex": "0x27120be1aa9b9f31b25ab2fc541e056999f31d0319b446ab64aa6e6000380a2804e3a12ace726a980",
        "escape_upper_numerator_hex": "0x27120be1aa9b9f31b25ab2fc541e056999f31d0319b446ab64aa6e6000380a2804e3a12ace7777e25"
      }
    },
    {
      "precision_bits": 14,
      "parameter": "8193/32768",
      "separate": {
        "stationary_transition": 275,
        "first_stationary_value_iteration": 274,
        "stationary_value": "1/2"
      },
      "fused": {
        "stationary_transition": 292,
        "first_stationary_value_iteration": 291,
        "stationary_value": "1/2"
      },
      "exact": {
        "first_escape_iteration": 567,
        "scale_bits": 320,
        "previous_upper_numerator_hex": "0x1c7581d1b4d1da928762cc6a3d81f95afe7842bb169ded8fa0c2422090193e24353b64f43b21fadde",
        "escape_lower_numerator_hex": "0x369ec55cb1233a61433b41d6427600964c46c18725e689acdb83a9be5547fab7c26a8c2c8dffba83e",
        "escape_upper_numerator_hex": "0x369ec55cb1233a61433b41d6427600964c46c18725e689acdb83a9be5547fab7c26a8c2c8e1ad926e"
      }
    },
    {
      "precision_bits": 15,
      "parameter": "16385/65536",
      "separate": {
        "stationary_transition": 391,
        "first_stationary_value_iteration": 390,
        "stationary_value": "1/2"
      },
      "fused": {
        "stationary_transition": 415,
        "first_stationary_value_iteration": 414,
        "stationary_value": "1/2"
      },
      "exact": {
        "first_escape_iteration": 802,
        "scale_bits": 320,
        "previous_upper_numerator_hex": "0x16b12d64ff9522aff07f33d5188d8c356f682d79b13955671fcbaad56a03dcdbac9c9dfd18295a2fb",
        "escape_lower_numerator_hex": "0x242ef6d29a3b7e34e7fd2cacf1c4313597f132250fcb4595bc8498fb204e892f590c6584c6aca3efd",
        "escape_upper_numerator_hex": "0x242ef6d29a3b7e34e7fd2cacf1c4313597f132250fcb4595bc8498fb204e892f590c6584c6d001f20"
      }
    },
    {
      "precision_bits": 16,
      "parameter": "32769/131072",
      "separate": {
        "stationary_transition": 555,
        "first_stationary_value_iteration": 554,
        "stationary_value": "1/2"
      },
      "fused": {
        "stationary_transition": 589,
        "first_stationary_value_iteration": 588,
        "stationary_value": "1/2"
      },
      "exact": {
        "first_escape_iteration": 1135,
        "scale_bits": 320,
        "previous_upper_numerator_hex": "0x15bae3df151834a1609249d2ca1caa6929a7c7d1c6ea907fdadb83ebadedde0b76ea5ffad68bf0818",
        "escape_lower_numerator_hex": "0x21832528476019da3973205ec2ae5c84ce8933659480391bbc5058778e24fc2e39b60cd70fb08f8bf",
        "escape_upper_numerator_hex": "0x21832528476019da3973205ec2ae5c84ce8933659480391bbc5058778e24fc2e39b60cd710037a7ec"
      }
    },
    {
      "precision_bits": 17,
      "parameter": "65537/262144",
      "separate": {
        "stationary_transition": 789,
        "first_stationary_value_iteration": 788,
        "stationary_value": "1/2"
      },
      "fused": {
        "stationary_transition": 837,
        "first_stationary_value_iteration": 836,
        "stationary_value": "1/2"
      },
      "exact": {
        "first_escape_iteration": 1607,
        "scale_bits": 320,
        "previous_upper_numerator_hex": "0x1f6d152d47ccea561d6f83bb01c9096b8543bc376e929871edbc69805b506f27fd5f345557832921f",
        "escape_lower_numerator_hex": "0x41b99dc01b33b0a5915e3fa30938317003807e2e89bcc824d33996e4886d3a82897c46f0cca541df4",
        "escape_upper_numerator_hex": "0x41b99dc01b33b0a5915e3fa30938317003807e2e89bcc824d33996e4886d3a82897c46f0cfde6ee92"
      }
    },
    {
      "precision_bits": 18,
      "parameter": "131073/524288",
      "separate": {
        "stationary_transition": 1118,
        "first_stationary_value_iteration": 1117,
        "stationary_value": "1/2"
      },
      "fused": {
        "stationary_transition": 1185,
        "first_stationary_value_iteration": 1184,
        "stationary_value": "1/2"
      },
      "exact": {
        "first_escape_iteration": 2273,
        "scale_bits": 320,
        "previous_upper_numerator_hex": "0x1ba3f6700a5d24cf28f336344b74c5594213178b10a2018794fbd67def3cef9979b34ee8413495e16",
        "escape_lower_numerator_hex": "0x33bff1f62185d54a71b33e142805333b40f9c6b573ed0c933a58af1069fbe78f771e3bbefd12142a1",
        "escape_upper_numerator_hex": "0x33bff1f62185d54a71b33e142805333b40f9c6b573ed0c933a58af1069fbe78f771e3bbf032b17aa3"
      }
    },
    {
      "precision_bits": 19,
      "parameter": "262145/1048576",
      "separate": {
        "stationary_transition": 1584,
        "first_stationary_value_iteration": 1583,
        "stationary_value": "1/2"
      },
      "fused": {
        "stationary_transition": 1679,
        "first_stationary_value_iteration": 1678,
        "stationary_value": "1/2"
      },
      "exact": {
        "first_escape_iteration": 3215,
        "scale_bits": 320,
        "previous_upper_numerator_hex": "0x19009821a14aa211d92042b3203b0d2828642452f87763af42379b694cc46637c22ba23293636a143",
        "escape_lower_numerator_hex": "0x2b11dc6ebe8879b17ba3d13d1d8239d87b0d1d316cc1cf96fca1e92d089999cbd9a9c223e8bda2073",
        "escape_upper_numerator_hex": "0x2b11dc6ebe8879b17ba3d13d1d8239d87b0d1d316cc1cf96fca1e92d089999cbd9a9c223f529793be"
      }
    },
    {
      "precision_bits": 20,
      "parameter": "524289/2097152",
      "separate": {
        "stationary_transition": 2244,
        "first_stationary_value_iteration": 2243,
        "stationary_value": "1/2"
      },
      "fused": {
        "stationary_transition": 2377,
        "first_stationary_value_iteration": 2376,
        "stationary_value": "1/2"
      },
      "exact": {
        "first_escape_iteration": 4548,
        "scale_bits": 320,
        "previous_upper_numerator_hex": "0x1f2bd595197dd517ac4f96c482a86525b6190c61dcd37eec575f972468515483753cbb50ecf12bc24",
        "escape_lower_numerator_hex": "0x40ba5438e747d23654c6d03ad576755e5b35c9bd0bc1da940ce2658a5c2b4e7ef9b796a411b81ea5c",
        "escape_upper_numerator_hex": "0x40ba5438e747d23654c6d03ad576755e5b35c9bd0bc1da940ce2658a5c2b4e7ef9b796a458ee49563"
      }
    },
    {
      "precision_bits": 21,
      "parameter": "1048577/4194304",
      "separate": {
        "stationary_transition": 3176,
        "first_stationary_value_iteration": 3175,
        "stationary_value": "1/2"
      },
      "fused": {
        "stationary_transition": 3365,
        "first_stationary_value_iteration": 3364,
        "stationary_value": "1/2"
      },
      "exact": {
        "first_escape_iteration": 6432,
        "scale_bits": 320,
        "previous_upper_numerator_hex": "0x191965763a8908dbebe68d3a1cc4bc37e5a30c47c9a7275e1848bd426f8c1aad030691186c0de3a3a",
        "escape_lower_numerator_hex": "0x2b5f85a10bcb348d3bb2edc758787e2cb8c9af7d4cd23a535f9056c76278d169b69a926e1942ccc60",
        "escape_upper_numerator_hex": "0x2b5f85a10bcb348d3bb2edc758787e2cb8c9af7d4cd23a535f9056c76278d169b69a926e7c4fad69f"
      }
    },
    {
      "precision_bits": 22,
      "parameter": "2097153/8388608",
      "separate": {
        "stationary_transition": 4495,
        "first_stationary_value_iteration": 4494,
        "stationary_value": "1/2"
      },
      "fused": {
        "stationary_transition": 4762,
        "first_stationary_value_iteration": 4761,
        "stationary_value": "1/2"
      },
      "exact": {
        "first_escape_iteration": 9097,
        "scale_bits": 320,
        "previous_upper_numerator_hex": "0x18ae0e28c587101330107a627c07f5f819ec1c9952f5bb334fb57ad421be00aeade2af794a136e438",
        "escape_lower_numerator_hex": "0x2a11900e53e52b68b78b29924e39277650b3cbaadb75092f755e252a0d42e7a2feaa5cf48110b7be5",
        "escape_upper_numerator_hex": "0x2a11900e53e52b68b78b29924e39277650b3cbaadb75092f755e252a0d42e7a2feaa5cf58a848fd72"
      }
    },
    {
      "precision_bits": 23,
      "parameter": "4194305/16777216",
      "separate": {
        "stationary_transition": 6361,
        "first_stationary_value_iteration": 6360,
        "stationary_value": "1/2"
      },
      "fused": {
        "stationary_transition": 6738,
        "first_stationary_value_iteration": 6737,
        "stationary_value": "1/2"
      },
      "exact": {
        "first_escape_iteration": 12866,
        "scale_bits": 320,
        "previous_upper_numerator_hex": "0x1949abee5f450f005840572e67215e36eb2ba539d26ee2035af192f301927ce5e7571d79be70a2f65",
        "escape_lower_numerator_hex": "0x2bf78c91006238c295594062d45cb37e35b498e2af0cfb2d336ed8a93d259262c9c3ad3b7b9982d71",
        "escape_upper_numerator_hex": "0x2bf78c91006238c295594062d45cb37e35b498e2af0cfb2d336ed8a93d259262c9c3ad3eabd578e53"
      }
    },
    {
      "precision_bits": 24,
      "parameter": "8388609/33554432",
      "separate": {
        "stationary_transition": 8999,
        "first_stationary_value_iteration": 8998,
        "stationary_value": "1/2"
      },
      "fused": {
        "stationary_transition": 9532,
        "first_stationary_value_iteration": 9531,
        "stationary_value": "1/2"
      },
      "exact": {
        "first_escape_iteration": 18196,
        "scale_bits": 320,
        "previous_upper_numerator_hex": "0x1872eec400cfdc1ad8ac075788739487dbb27293aea51e4fe7f940b3d568e5965cdedc35acb597c10",
        "escape_lower_numerator_hex": "0x295c05ec568b9f8cc14d7584945bff5e1da88281921d0be3e939a7db16573d197b109725e7931e17f",
        "escape_upper_numerator_hex": "0x295c05ec568b9f8cc14d7584945bff5e1da88281921d0be3e939a7db16573d197b10972df9e8fc28a"
      }
    }
  ],
  "boundary_cases": [
    {
      "precision_bits": 11,
      "parameter": "1025/4096",
      "separate_boundary": "1/2",
      "fused_boundary": "1/2"
    },
    {
      "precision_bits": 24,
      "parameter": "8388609/33554432",
      "separate_boundary": "1/2",
      "fused_boundary": "1/2"
    },
    {
      "precision_bits": 53,
      "parameter": "4503599627370497/18014398509481984",
      "separate_boundary": "1/2",
      "fused_boundary": "1/2"
    }
  ],
  "native": [
    {
      "precision_bits": 11,
      "compared_transitions": 95,
      "stationary_transition": 95,
      "parameter_hex": "0x1.0040000000000p-2",
      "boundary_next_hex": "0x1.0000000000000p-1"
    },
    {
      "precision_bits": 24,
      "compared_transitions": 8999,
      "stationary_transition": 8999,
      "parameter_hex": "0x1.0000020000000p-2",
      "boundary_next_hex": "0x1.0000000000000p-1"
    },
    {
      "precision_bits": 53,
      "compared_transitions": 1000,
      "stationary_transition": null,
      "parameter_hex": "0x1.0000000000001p-2",
      "boundary_next_hex": "0x1.0000000000000p-1"
    }
  ],
  "binary32_separate_stationary_transition": 8999,
  "binary32_fused_stationary_transition": 9532,
  "binary32_exact_first_escape": 18196
}