)]}'
{
  "id": "2c4e4b72361a1be52d5f44feb0559ec92b22d4d8",
  "entries": [
    {
      "mode": 33188,
      "type": "blob",
      "id": "675f701a9e36d0772e3e42b0ec9516cbf33d4781",
      "name": "assert.go"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "d75705d5cec6202f16adf86ce022aa12507b1d97",
      "name": "axioms.md"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "10e037ff7097dfa973c8fae1329850b9191b881e",
      "name": "bounds.go"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "40d6b7c4e1bf62d2d5b1ad1828a2168f30175019",
      "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": "0c004be9b81d0eeffb8fd944ce921463a45587af",
      "name": "gen.go"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "3c8780fe86d8f8cdbd36e442a1d23ca952c3af7e",
      "name": "optimize.go"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "8b5ec7e5668ea620bac072f4caaf78b08bb8759e",
      "name": "resolve.go"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "0ce0d34b92698484d426e8172457ea2d5c5965c8",
      "name": "type.go"
    }
  ]
}