)]}'
{
  "id": "9b058060307de5ff01b59cace661cc5b211a25aa",
  "entries": [
    {
      "mode": 33188,
      "type": "blob",
      "id": "675f701a9e36d0772e3e42b0ec9516cbf33d4781",
      "name": "assert.go"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "d75705d5cec6202f16adf86ce022aa12507b1d97",
      "name": "axioms.md"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "04aee64576638ba511471b6578be969cabdb7ea8",
      "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": "229945405e83767aa13c4fd5fed1a4e1b0e00917",
      "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": "2ae723a954783168c93f4883bd2b3e492f4a79d8",
      "name": "resolve.go"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "ae9f276a98d2ae064579bcf7310400f2c2cbb3ce",
      "name": "type.go"
    }
  ]
}