)]}'
{
  "id": "a751023b18429b75119fae9a957aa5c08303d48e",
  "repo": "www.eclipse.org/articles",
  "revision": "2e07f33e50f2201b7f1e6ea89bbf2b23519b0aa9",
  "path": "Article-TPTP-Profiling-Tool/tptpProfilingArticle.html"
}