)]}'
{
  "id": "d5ba8ef270f1f3d2b96ebaf682015ee5573a5397",
  "entries": [
    {
      "mode": 33188,
      "type": "blob",
      "id": "4f47bef8e26cee6d643ada8405e008f62a340a13",
      "name": "CMakeLists.txt"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "47235c4a5a52e30a58cd4b08abf6c30a558e3e18",
      "name": "ExportSMTLIB.cpp"
    }
  ]
}