)]}'
{
  "id": "fb2913b89b0a4e742ff5fd301ae6108e233bbc8b",
  "entries": [
    {
      "mode": 33188,
      "type": "blob",
      "id": "675f701a9e36d0772e3e42b0ec9516cbf33d4781",
      "name": "assert.go"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "26efcd5fdbfcad6f2e16d5c27fec31807a333279",
      "name": "axioms.md"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "17b45099a07af992283423ed7b5f570cb0c2b1a4",
      "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": "c96dba059f1c2bac383abbfd0d6d9bb154815cbe",
      "name": "optimize.go"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "c09629cb3ddfec83559c481e1fb946190c7ab1a4",
      "name": "resolve.go"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "01d243b7401325fccc1fb960ae87913e484d30f5",
      "name": "type.go"
    }
  ]
}