)]}'
{
  "id": "75edccc79e3775660c475b13412a24352068bdb3",
  "entries": [
    {
      "mode": 33188,
      "type": "blob",
      "id": "bedb20b65cf0ddbf2745b0fd47595d151a84da02",
      "name": "Implies"
    },
    {
      "mode": 16384,
      "type": "tree",
      "id": "0d635f052262fbc31025cbc24ecce92bcbac502a",
      "name": "fpu"
    }
  ]
}