)]}'
{
  "id": "9279903531f71b486efb7efa52dd75f994aaa8cf",
  "entries": [
    {
      "mode": 33188,
      "type": "blob",
      "id": "8fbb7aa954d9e75480d55eb1ab0acfdc766e7ac7",
      "name": "CMakeLists.txt"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "be17143ec9c4aa2d56432aae4d4d546ab5f6565e",
      "name": "ExportSMTLIB.cpp"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "00229dffafb6131fa76f0a82801d4dfb23faccc6",
      "name": "LLVMIR.cpp"
    }
  ]
}