{"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}