{
  "contexts": 24,
  "leaves": 535,
  "budgetExhausted": 0,
  "noLocalInputReference": 468
}
