{
  "storage": [
    {
      "astId": 3,
      "contract": "test-data/foundryissue2462.sol:Token",
      "label": "x",
      "offset": 0,
      "slot": "0",
      "type": "t_uint256"
    },
    {
      "astId": 7,
      "contract": "test-data/foundryissue2462.sol:Token",
      "label": "balances",
      "offset": 0,
      "slot": "1",
      "type": "t_mapping(t_address,t_uint256)"
    },
    {
      "astId": 13,
      "contract": "test-data/foundryissue2462.sol:Token",
      "label": "allowances",
      "offset": 0,
      "slot": "2",
      "type": "t_mapping(t_address,t_mapping(t_address,t_uint256))"
    }
  ],
  "types": {
    "t_address": {
      "encoding": "inplace",
      "label": "address",
      "numberOfBytes": "20"
    },
    "t_mapping(t_address,t_mapping(t_address,t_uint256))": {
      "encoding": "mapping",
      "key": "t_address",
      "label": "mapping(address => mapping(address => uint256))",
      "numberOfBytes": "32",
      "value": "t_mapping(t_address,t_uint256)"
    },
    "t_mapping(t_address,t_uint256)": {
      "encoding": "mapping",
      "key": "t_address",
      "label": "mapping(address => uint256)",
      "numberOfBytes": "32",
      "value": "t_uint256"
    },
    "t_uint256": {
      "encoding": "inplace",
      "label": "uint256",
      "numberOfBytes": "32"
    }
  }
}