)]}'
{
  "id": "09942ad1769d899e9c55367a2de7757ace9c1b96",
  "entries": [
    {
      "mode": 33188,
      "type": "blob",
      "id": "8fbb7aa954d9e75480d55eb1ab0acfdc766e7ac7",
      "name": "CMakeLists.txt"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "4326f967281e110feeccb6f2ba4ceb5669b83aa6",
      "name": "ExportSMTLIB.cpp"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "00229dffafb6131fa76f0a82801d4dfb23faccc6",
      "name": "LLVMIR.cpp"
    }
  ]
}