)]}'
{
  "id": "05b0bbe58113de4773c9269bcec000a4a5d10189",
  "entries": [
    {
      "mode": 33188,
      "type": "blob",
      "id": "9c63a64ada220196923cd193e213aa8ba7832afb",
      "name": "MockZ3_solver_check.c"
    }
  ]
}