{
  "storage": [
    {
      "astId": 3,
      "contract": "contracts/HelloWorld.sol:HelloWorld",
      "label": "_address",
      "offset": 0,
      "slot": "0",
      "type": "t_address"
    },
    {
      "astId": 7,
      "contract": "contracts/HelloWorld.sol:HelloWorld",
      "label": "addresses",
      "offset": 0,
      "slot": "1",
      "type": "t_mapping(t_uint256,t_address)"
    },
    {
      "astId": 9,
      "contract": "contracts/HelloWorld.sol:HelloWorld",
      "label": "_bool",
      "offset": 0,
      "slot": "2",
      "type": "t_bool"
    },
    {
      "astId": 11,
      "contract": "contracts/HelloWorld.sol:HelloWorld",
      "label": "_uint256",
      "offset": 0,
      "slot": "3",
      "type": "t_uint256"
    },
    {
      "astId": 13,
      "contract": "contracts/HelloWorld.sol:HelloWorld",
      "label": "offset0",
      "offset": 0,
      "slot": "4",
      "type": "t_uint8"
    },
    {
      "astId": 15,
      "contract": "contracts/HelloWorld.sol:HelloWorld",
      "label": "offset1",
      "offset": 1,
      "slot": "4",
      "type": "t_uint8"
    },
    {
      "astId": 17,
      "contract": "contracts/HelloWorld.sol:HelloWorld",
      "label": "offset2",
      "offset": 2,
      "slot": "4",
      "type": "t_uint16"
    },
    {
      "astId": 19,
      "contract": "contracts/HelloWorld.sol:HelloWorld",
      "label": "offset3",
      "offset": 4,
      "slot": "4",
      "type": "t_uint32"
    },
    {
      "astId": 21,
      "contract": "contracts/HelloWorld.sol:HelloWorld",
      "label": "offset4",
      "offset": 8,
      "slot": "4",
      "type": "t_uint64"
    },
    {
      "astId": 23,
      "contract": "contracts/HelloWorld.sol:HelloWorld",
      "label": "offset5",
      "offset": 16,
      "slot": "4",
      "type": "t_uint128"
    },
    {
      "astId": 25,
      "contract": "contracts/HelloWorld.sol:HelloWorld",
      "label": "_bytes32",
      "offset": 0,
      "slot": "5",
      "type": "t_bytes32"
    },
    {
      "astId": 27,
      "contract": "contracts/HelloWorld.sol:HelloWorld",
      "label": "_string",
      "offset": 0,
      "slot": "6",
      "type": "t_string_storage"
    }
  ],
  "types": {
    "t_address": {
      "encoding": "inplace",
      "label": "address",
      "numberOfBytes": "20"
    },
    "t_bool": {
      "encoding": "inplace",
      "label": "bool",
      "numberOfBytes": "1"
    },
    "t_bytes32": {
      "encoding": "inplace",
      "label": "bytes32",
      "numberOfBytes": "32"
    },
    "t_mapping(t_uint256,t_address)": {
      "encoding": "mapping",
      "key": "t_uint256",
      "label": "mapping(uint256 => address)",
      "numberOfBytes": "32",
      "value": "t_address"
    },
    "t_string_storage": {
      "encoding": "bytes",
      "label": "string",
      "numberOfBytes": "32"
    },
    "t_uint128": {
      "encoding": "inplace",
      "label": "uint128",
      "numberOfBytes": "16"
    },
    "t_uint16": {
      "encoding": "inplace",
      "label": "uint16",
      "numberOfBytes": "2"
    },
    "t_uint256": {
      "encoding": "inplace",
      "label": "uint256",
      "numberOfBytes": "32"
    },
    "t_uint32": {
      "encoding": "inplace",
      "label": "uint32",
      "numberOfBytes": "4"
    },
    "t_uint64": {
      "encoding": "inplace",
      "label": "uint64",
      "numberOfBytes": "8"
    },
    "t_uint8": {
      "encoding": "inplace",
      "label": "uint8",
      "numberOfBytes": "1"
    }
  }
}
