{
    "SLOAD_Bounds" : {
        "env" : {
            "currentCoinbase" : "0x2adc25665018aa1fe0e6bc666dac8fc2697ff9ba",
            "currentDifficulty" : "0x020000",
            "currentGasLimit" : "0x7fffffffffffffff",
            "currentNumber" : "0x01",
            "currentTimestamp" : "0x03e8",
            "previousHash" : "0x5e20a0453cecd065ea59c37ac63e079ee08998b6045136a8ce6635c7912ec0b6"
        },
        "post" : {
            "EIP150" : [
                {
                    "hash" : "0x03c73bdee9d82b284d98c672b59bcaff59daef066ddab684290a8c2e47e6c579",
                    "indexes" : {
                        "data" : 0,
                        "gas" : 0,
                        "value" : 0
                    }
                }
            ],
            "EIP158" : [
                {
                    "hash" : "0x03c73bdee9d82b284d98c672b59bcaff59daef066ddab684290a8c2e47e6c579",
                    "indexes" : {
                        "data" : 0,
                        "gas" : 0,
                        "value" : 0
                    }
                }
            ],
            "Frontier" : [
                {
                    "hash" : "0xe92c368377f8bae66097342b63f421dcd1d8e679aef42fd133b4dc8574717cf3",
                    "indexes" : {
                        "data" : 0,
                        "gas" : 0,
                        "value" : 0
                    }
                }
            ],
            "Homestead" : [
                {
                    "hash" : "0xe92c368377f8bae66097342b63f421dcd1d8e679aef42fd133b4dc8574717cf3",
                    "indexes" : {
                        "data" : 0,
                        "gas" : 0,
                        "value" : 0
                    }
                }
            ],
            "Metropolis" : [
                {
                    "hash" : "0x03c73bdee9d82b284d98c672b59bcaff59daef066ddab684290a8c2e47e6c579",
                    "indexes" : {
                        "data" : 0,
                        "gas" : 0,
                        "value" : 0
                    }
                }
            ]
        },
        "pre" : {
            "0x1000000000000000000000000000000000000000" : {
                "balance" : "0x00",
                "code" : "0x7fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff54",
                "nonce" : "0x00",
                "storage" : {
                }
            },
            "0xa94f5374fce5edbc8e2a8697c15331677e6ebf0b" : {
                "balance" : "0x07ffffffffffffffffff",
                "code" : "",
                "nonce" : "0x00",
                "storage" : {
                }
            }
        },
        "transaction" : {
            "data" : [
                ""
            ],
            "gasLimit" : [
                "0x7fffffffffffffff"
            ],
            "gasPrice" : "0x01",
            "nonce" : "0x00",
            "secretKey" : "0x45a915e4d060149eb4365960e6a7a45f334393093061116b197e3240065ff2d8",
            "to" : "0x1000000000000000000000000000000000000000",
            "value" : [
                "0x01"
            ]
        }
    }
}