)]}'
{
  "id": "47df2ab1d01f3d06436b2c28ca47cf1fad37539a",
  "entries": [
    {
      "mode": 33188,
      "type": "blob",
      "id": "8456d908ded2d1defbdf1130af7d4ccbf0341faa",
      "name": "assert.go"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "26efcd5fdbfcad6f2e16d5c27fec31807a333279",
      "name": "axioms.md"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "2bdfa85dabb0be2fe27b0b640efe17df5a645405",
      "name": "bounds.go"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "0d5f6e419b6a247b833dfff269ad38d607493a9f",
      "name": "check.go"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "dfcf6b68d2d24dd503b296f6801829c2bc3138fe",
      "name": "check_test.go"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "345a833a18bffad3c5dfd749389ebb5e530acc33",
      "name": "data.go"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "712f9ac1e04687b64cbe8c9235ac71e5f4ea0dfe",
      "name": "gen.go"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "c9893794850d1cd4527eaabf47421f043cdf080e",
      "name": "optimize.go"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "82c25bc4a201c51321debf0fedfe37755721f53c",
      "name": "resolve.go"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "50da53ad733e872990105ba045bb2ac6a17b191a",
      "name": "type.go"
    }
  ]
}