)]}'
{
  "id": "77d07bc25042681302e37110e21eae5c51422277",
  "entries": [
    {
      "mode": 33188,
      "type": "blob",
      "id": "b59e1a4dec330de07070c249b872318b510c8a18",
      "name": "AC.lean"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "d478edb9a145ba905758b0004485d7eb56f288bd",
      "name": "Array.lean"
    },
    {
      "mode": 16384,
      "type": "tree",
      "id": "9fc5c5a17eb30755bbdeeb8dab9c5e5c0f1f90f2",
      "name": "Array"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "ea963f66b328a0c388a1efbfb395bc32544304eb",
      "name": "Basic.lean"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "b6ee6ccf4b4f63a5ccc293dbe46850a9106b6952",
      "name": "ByteArray.lean"
    },
    {
      "mode": 16384,
      "type": "tree",
      "id": "dffa79c75e1bc37d0c52da976e50c53319b4e8a5",
      "name": "ByteArray"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "e109c3e40fc72c5bc5e18aba0374c21fe94b313f",
      "name": "Channel.lean"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "dc2257bbfe08b2353210792c07dcb17bfdd5649c",
      "name": "Char.lean"
    },
    {
      "mode": 16384,
      "type": "tree",
      "id": "9cb5238e948baee2c62b19bd984d6b6e1ddd4764",
      "name": "Char"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "82be0e017ff164f8fec05f9776d3fb3b124d2990",
      "name": "Fin.lean"
    },
    {
      "mode": 16384,
      "type": "tree",
      "id": "9e7bc5fdac6a0f20265533fa63e572f31caf2f43",
      "name": "Fin"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "d45a565bb6e72b724c694c5e1960d2d4be9c7db4",
      "name": "Float.lean"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "7c798deaa3e29f34737d1c2e5fb35e8d0e375e21",
      "name": "FloatArray.lean"
    },
    {
      "mode": 16384,
      "type": "tree",
      "id": "65c329f983c1568d45436c1b1ad823e2c707c6c9",
      "name": "FloatArray"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "d65e4d4159c6d99dab7ae847817380c514c93742",
      "name": "Format.lean"
    },
    {
      "mode": 16384,
      "type": "tree",
      "id": "edacd97ff4dbc246ca13cace8d2b1ea69ed78200",
      "name": "Format"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "d32ed5cc67e42c7f851bc24b843acb38058caefa",
      "name": "Hashable.lean"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "55959e95bd895a564acdd67b11addd015dca80cd",
      "name": "Int.lean"
    },
    {
      "mode": 16384,
      "type": "tree",
      "id": "afc0b0b5697018a7f767f4956759f4121634e906",
      "name": "Int"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "6bb2c731695325ba86f36903d7860cfd6bb17524",
      "name": "List.lean"
    },
    {
      "mode": 16384,
      "type": "tree",
      "id": "6c9c2c79b28b98ae4565fbaacab60e702683bbdd",
      "name": "List"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "5d71ac093b753ac99e42cde8ecf47f8f757ff6e5",
      "name": "Nat.lean"
    },
    {
      "mode": 16384,
      "type": "tree",
      "id": "2d4b0af549859934fea203f9759b78221f246ac8",
      "name": "Nat"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "772ce0b0f986681fe2e900359c4bb61eb58df4ae",
      "name": "OfScientific.lean"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "0a35feacc2f2120993be05c10c57d3cfc6154918",
      "name": "Option.lean"
    },
    {
      "mode": 16384,
      "type": "tree",
      "id": "3b2cefab789c61ff2f84e65b51832ca2cbdd028b",
      "name": "Option"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "83ff19025250f34bd7bf7432e68ee58c4c539a64",
      "name": "Ord.lean"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "fd1b3814cf80d76d2658d1d1518e60c55bf5a3a6",
      "name": "Prod.lean"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "8fe7f346bc4aa6a96a176ecb14c18346cbb58e20",
      "name": "Queue.lean"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "dba66d541a949a3996c85165bb1de3de7901e25f",
      "name": "Random.lean"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "13f71eb3ed56da54aba1c18cd3f8a55659640ac5",
      "name": "Range.lean"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "10d2fa7a6ee45afc27fd009f5321e507c95ebe14",
      "name": "Repr.lean"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "2eb2fb5143c79d8b419e4930c562f9d0be084c79",
      "name": "Stream.lean"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "43c77de90786601523fd60aeef7f01ce051305b1",
      "name": "String.lean"
    },
    {
      "mode": 16384,
      "type": "tree",
      "id": "fd02440a65a4b0a53d85f124ed2026d4907d2ab3",
      "name": "String"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "e5d7e81c7977510856f6e724bce4711d12b5f961",
      "name": "ToString.lean"
    },
    {
      "mode": 16384,
      "type": "tree",
      "id": "c11aae9c7f3e125494a9b2855ad5ae0ba4547d14",
      "name": "ToString"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "9eba26f9db603078346badc9264ce70c66772812",
      "name": "UInt.lean"
    },
    {
      "mode": 16384,
      "type": "tree",
      "id": "c139347bd3781923cd5bda2da2ae0997d77c76e2",
      "name": "UInt"
    }
  ]
}