)]}'
{
  "commit": "7460bc1bb120a025d049af974c3fc17be85d1104",
  "tree": "c18e5d6636b4bdb0fbef211f38dced76062c8de0",
  "parents": [
    "682cfa14e8f0c31fde7bf0f03f43916b5b540775"
  ],
  "author": {
    "name": "Leonardo de Moura",
    "email": "leonardo@microsoft.com",
    "time": "Tue Aug 21 12:42:42 2018 -0700"
  },
  "committer": {
    "name": "Leonardo de Moura",
    "email": "leonardo@microsoft.com",
    "time": "Tue Aug 21 12:42:42 2018 -0700"
  },
  "message": "checkpoint\n",
  "tree_diff": [
    {
      "type": "modify",
      "old_id": "d1705c6d254a81badd4b012e7ec30aab3c37988b",
      "old_mode": 33188,
      "old_path": "src/kernel/declaration.cpp",
      "new_id": "34e016a5411944f75f373a25afd278c2c244cc01",
      "new_mode": 33188,
      "new_path": "src/kernel/declaration.cpp"
    },
    {
      "type": "modify",
      "old_id": "b238a9e8424edba1451f2eb51e53f40c38a50e6f",
      "old_mode": 33188,
      "old_path": "src/kernel/declaration.h",
      "new_id": "e0fba818e70d19a3829f96c794507052c30f7366",
      "new_mode": 33188,
      "new_path": "src/kernel/declaration.h"
    },
    {
      "type": "modify",
      "old_id": "aef3194ebc7e4ce5dba0add34bee4b310821001a",
      "old_mode": 33188,
      "old_path": "src/kernel/environment.h",
      "new_id": "efc301a7d05030bbab85b30e68270a286553ee96",
      "new_mode": 33188,
      "new_path": "src/kernel/environment.h"
    },
    {
      "type": "modify",
      "old_id": "18d082f8ea4392b49da742afa2f0a3ff5cd4297f",
      "old_mode": 33188,
      "old_path": "src/kernel/inductive.cpp",
      "new_id": "a20aea78f7b843a0dce82e2e47fd79318a30dd57",
      "new_mode": 33188,
      "new_path": "src/kernel/inductive.cpp"
    }
  ]
}