)]}'
{
  "id": "dffa8a4f84412ee567b275b3bc1db0480a2d5104",
  "entries": [
    {
      "mode": 33188,
      "type": "blob",
      "id": "8fbb7aa954d9e75480d55eb1ab0acfdc766e7ac7",
      "name": "CMakeLists.txt"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "4326f967281e110feeccb6f2ba4ceb5669b83aa6",
      "name": "ExportSMTLIB.cpp"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "1c1912aec0f2ffb1d6862ab3c4bc30679ca34afd",
      "name": "LLVMIR.cpp"
    }
  ]
}