)]}'
{
  "id": "8bf69a6f20f484f9ab51022d3316fb946b3abb34",
  "entries": [
    {
      "mode": 33188,
      "type": "blob",
      "id": "c0f631a4c49b55dc091a75b02b89f66d580b2098",
      "name": ".gitignore"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "99f6e547a5c4ebccb884bad1b075e21f82875294",
      "name": ".gitmodules"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "e2f9b2a343e3892a3903649bbf414192b1469f17",
      "name": ".readthedocs.yaml"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "7693e693fccd83236c154db303dd36ba0f415d81",
      "name": ".regression-noclean"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "33d2597ef8d0692be2bcdbcf8ed180e0687db841",
      "name": ".travis.yml"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "4fde85eb3e328c6fb4757a944b8a27374618058c",
      "name": "BilbyFs_CorresProof.patch"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "d4802157ca9ce527d4b2e6814c1a676597ccc3f6",
      "name": "CONTRIBUTING.md"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "a599e55cb50d79eaf736869ffc0fa2af267a6c86",
      "name": "CONTRIBUTORS.md"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "85cda3e9c7e3a6a540a443422288fa70eeca4328",
      "name": "LICENSE_BSD2.txt"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "698b26718e4a5e651d326c24f7a2b9a1b6c8da86",
      "name": "LICENSE_GPLv2.txt"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "bb98c9cd47353df03ed781328f56536fd6789634",
      "name": "README.md"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "534d0c1145301982ea0bc511dedc0e54d7d5b658",
      "name": "ROOTS"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "e18a8fa66535e9a296c08ae7670dfa8890644bf1",
      "name": "build-env.mk"
    },
    {
      "mode": 33261,
      "type": "blob",
      "id": "5a49f40d78d8360c602c5388b2203966787cc750",
      "name": "build-env.sh"
    },
    {
      "mode": 16384,
      "type": "tree",
      "id": "e2763161f6bb4dcee34bb36fdcede284a0e11dc2",
      "name": "c-refinement"
    },
    {
      "mode": 16384,
      "type": "tree",
      "id": "dd04a927d788336baf1d933eb713e5cdaec387b4",
      "name": "cogent"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "e4b442ae2b8ecabf59899c76f388f1d93c3300dc",
      "name": "config.mk"
    },
    {
      "mode": 16384,
      "type": "tree",
      "id": "aa527dab8758f1218e4a528dd29d598c097d4bf3",
      "name": "docs"
    },
    {
      "mode": 16384,
      "type": "tree",
      "id": "45c2d85777662edb2e429917eac4ac29b2957192",
      "name": "impl"
    },
    {
      "mode": 16384,
      "type": "tree",
      "id": "b45e277efbd6ae9806ed51aa6ed84f43a7359154",
      "name": "isa-parser"
    },
    {
      "mode": 57344,
      "type": "commit",
      "id": "d4d6f88b61122a64cae44be37a59489d0cd71f91",
      "name": "isabelle"
    },
    {
      "mode": 16384,
      "type": "tree",
      "id": "f3845b3e36a8f182eda2cd1d0e9eea52c281186d",
      "name": "minigent"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "9ef4a56eeb29bf1411a6171d0c0d8e67f61c28cd",
      "name": "post-deploy.rb"
    },
    {
      "mode": 16384,
      "type": "tree",
      "id": "c717a2221681bf6e6e3a25dbfb340caee88a7388",
      "name": "regression"
    },
    {
      "mode": 33261,
      "type": "blob",
      "id": "4dd5975c9bb638d5f3d347fbf0d052e01bf87ba2",
      "name": "run_tests"
    },
    {
      "mode": 16384,
      "type": "tree",
      "id": "cbaf2ac043df62595b5af8c96d3e3a0bbfd88ccf",
      "name": "tutorial"
    },
    {
      "mode": 57344,
      "type": "commit",
      "id": "e775964cfdd48ad0a2edcea89b644d884d57efeb",
      "name": "z3"
    }
  ]
}