)]}'
{
  "id": "6a5e992d7d29af2c51bd7954dcb607633a4ad906",
  "entries": [
    {
      "mode": 33188,
      "type": "blob",
      "id": "5f28d51a6d7a2228faf74ac784e6afa9423c4e53",
      "name": "Basic.lean"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "4ca57a3dde44a1ee882a0f32e5f1c455e402a586",
      "name": "BinSearch.lean"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "aa8ad91e209a4a08288618be3eb52492cdfee723",
      "name": "InsertionSort.lean"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "c7a2c4ae18f67bfc7a0eeafec7eb489a6e11c9df",
      "name": "QSort.lean"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "341ad4393021c3ff67773de0ae7ed08ecc5974fa",
      "name": "Subarray.lean"
    }
  ]
}