)]}'
{
  "id": "ac6a0b138125b497938d481cad14ebfab4c7d588",
  "entries": [
    {
      "mode": 33188,
      "type": "blob",
      "id": "4f47bef8e26cee6d643ada8405e008f62a340a13",
      "name": "CMakeLists.txt"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "189f766c444b06446e30647eb9a9e6479200e854",
      "name": "ExportSMTLIB.cpp"
    }
  ]
}