{
  "profile": "jet",
  "t_choice": 1.1224620483093728,
  "t_score": 1.155352696872273,
  "t_noul": 1.5422108254079405,
  "version": "4b",
  "base": "michaljach/jet",
  "max_options": 255,
  "max_state_tokens": 16384
}