)]}'
{
  "id": "c07ea61ae480819e5566cee5c2ba1df83044b53c",
  "entries": [
    {
      "mode": 33188,
      "type": "blob",
      "id": "675f701a9e36d0772e3e42b0ec9516cbf33d4781",
      "name": "assert.go"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "26efcd5fdbfcad6f2e16d5c27fec31807a333279",
      "name": "axioms.md"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "b0ddc1496db3f5d2f8aada33ba62b391b59de5dc",
      "name": "bounds.go"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "9a40cb72cc79ff71d4b857b1c8542c7c74934962",
      "name": "check.go"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "dfcf6b68d2d24dd503b296f6801829c2bc3138fe",
      "name": "check_test.go"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "b1cc71d9df4b6f9fa738e04939d6c5efd91e72a5",
      "name": "data.go"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "275d96aef753732fdff0194b59cc19ede8ae9604",
      "name": "gen.go"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "4cdb968020d3fb4b4691090ce81b6afb8a8cacc7",
      "name": "optimize.go"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "c09629cb3ddfec83559c481e1fb946190c7ab1a4",
      "name": "resolve.go"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "01d243b7401325fccc1fb960ae87913e484d30f5",
      "name": "type.go"
    }
  ]
}