)]}'
{
  "id": "7f1a4c7217fc9ca0838781a9241f391a04a75a18",
  "entries": [
    {
      "mode": 33188,
      "type": "blob",
      "id": "4f47bef8e26cee6d643ada8405e008f62a340a13",
      "name": "CMakeLists.txt"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "a9d526e769a8f87600ef25e60f3e1757d03fdaa8",
      "name": "ExportSMTLIB.cpp"
    }
  ]
}