)]}'
{
  "id": "43479ddaeaf23ebd52c5fb382f32017971022872",
  "entries": [
    {
      "mode": 33188,
      "type": "blob",
      "id": "4f47bef8e26cee6d643ada8405e008f62a340a13",
      "name": "CMakeLists.txt"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "e6d8e34ea7372a5419c1804a40f57e5555026b91",
      "name": "ExportSMTLIB.cpp"
    }
  ]
}