)]}'
{
  "id": "fb7c64b4473cbf7ecab5bca4d234425717cb1c42",
  "entries": [
    {
      "mode": 33188,
      "type": "blob",
      "id": "1b6453ca73ec809eb503f30dc9017f24aa5d6136",
      "name": "assert.go"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "d75705d5cec6202f16adf86ce022aa12507b1d97",
      "name": "axioms.md"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "4811cde55d7db4ec8540c91e5c4b6fc4e402a915",
      "name": "bounds.go"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "42ea6159ac353a8094cdd52d1015b8012202bd2c",
      "name": "check.go"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "f1115da04988f5b5267a0d49c0521b7e2e505562",
      "name": "check_test.go"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "e381f8dea70549e3b2669d7146af012cc7a8b63c",
      "name": "data.go"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "5bc34c849b2b0126e2108bc728c1ea01fdfd13a2",
      "name": "gen.go"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "86974d5113c51031c29565d45d29c7ddc076535e",
      "name": "optimize.go"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "394150cadf71bc4fe039c49b916203ff11f8268b",
      "name": "resolve.go"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "058b019763109b2544142c5c242a64de0262a26e",
      "name": "type.go"
    }
  ]
}