{
  "checkpoint_count": 6,
  "embedded_parameter_verified": 6,
  "finite_state_verified": 6,
  "format_version": 1,
  "formula": "I=I_S*(softplus((V-Vth)/(2*n*U_T))^2-softplus((V-Vth-V_D)/(2*n*U_T))^2)/(1+V/V_sat)",
  "language_loader_verified": 6,
  "reload_verified": 6,
  "sha256_verified": 6,
  "total_bytes": 1881303156
}