spb/wp29_uqo

1{2 "n_outside_workspace_refs": 2,3 "outside_refs": [4  {5   "event_id": "line59",6   "path": "~/wp29/runs/RC0189/out/results.json"7  },8  {9   "event_id": "line59",10   "path": "~/wp29/runs/RC0189/out/counterexample.csv"11  }12 ],13 "n_gate_invocations": 214}