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