{
 "n_outside_workspace_refs": 2,
 "outside_refs": [
  {
   "event_id": "line59",
   "path": "~/wp29/runs/RC0189/out/results.json"
  },
  {
   "event_id": "line59",
   "path": "~/wp29/runs/RC0189/out/counterexample.csv"
  }
 ],
 "n_gate_invocations": 2
}