{
  "minimum_parameter_envelope": {
    "d_code_at_least": 1,
    "a_at_least": 1,
    "b_at_least": 1,
    "auxiliary_work_tapes_at_least": 4,
    "g_at_least": 2
  },
  "P_at_least": 324000,
  "rho_at_least": 32400200,
  "S_at_least": 1296008021,
  "K_declared_at_least": 5184032084,
  "c_declared_at_least": 2592016043,
  "H_declared_at_least": "2^10202",
  "H_decimal_digits_at_least": 3072,
  "interpretation": "Lower envelope of the explicit declared upper-bound parameters, not lower bounds on actual execution time or space. It does not assert a valid program attains the minimum code length. No compiler or fixed-library transition list was executed."
}