{
    "static_CALL_Bounds3" : {
        "_info" : {
            "comment" : "",
            "filledwith" : "cpp-1.3.0+commit.8fb57c56.Linux.g++",
            "lllcversion" : "Version: 0.4.20-develop.2018.1.8+commit.2548228b.Linux.g++",
            "source" : "src/GeneralStateTestsFiller/stMemoryStressTest/static_CALL_Bounds3Filler.json",
            "sourceHash" : "59f6e575fbb96fe6cd153831d6ab3e58faf32bd374a5bfec5be4e9b0bfc9a779"
        },
        "env" : {
            "currentCoinbase" : "0x2adc25665018aa1fe0e6bc666dac8fc2697ff9ba",
            "currentDifficulty" : "0x020000",
            "currentGasLimit" : "0x7fffffffffffffff",
            "currentNumber" : "0x01",
            "currentTimestamp" : "0x03e8",
            "previousHash" : "0x5e20a0453cecd065ea59c37ac63e079ee08998b6045136a8ce6635c7912ec0b6"
        },
        "post" : {
            "Byzantium" : [
                {
                    "hash" : "0x8b4b59edbe50a811df8a951df05089e5bb955dfec313e50a28746adac472cb5c",
                    "indexes" : {
                        "data" : 0,
                        "gas" : 0,
                        "value" : 0
                    },
                    "logs" : "0x1dcc4de8dec75d7aab85b567b6ccd41ad312451b948a7413f0a142fd40d49347"
                },
                {
                    "hash" : "0x5ab4e0857563a308728e1ce7f72c49d5e0546db6ab0445fedd07049d89868fa5",
                    "indexes" : {
                        "data" : 0,
                        "gas" : 1,
                        "value" : 0
                    },
                    "logs" : "0x1dcc4de8dec75d7aab85b567b6ccd41ad312451b948a7413f0a142fd40d49347"
                }
            ]
        },
        "pre" : {
            "0x1000000000000000000000000000000000000000" : {
                "balance" : "0x00",
                "code" : "0x67ffffffffffffffff600067ffffffffffffffff60007310000000000000000000000000000000000000016707fffffffffffffffa506fffffffffffffffffffffffffffffffff60006fffffffffffffffffffffffffffffffff60007310000000000000000000000000000000000000016707fffffffffffffffa507fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff60007fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff60007310000000000000000000000000000000000000016707fffffffffffffffa5063ffffffff63ffffffff63ffffffff63ffffffff7310000000000000000000000000000000000000016707fffffffffffffffa5067ffffffffffffffff67ffffffffffffffff67ffffffffffffffff67ffffffffffffffff7310000000000000000000000000000000000000016707fffffffffffffffa506fffffffffffffffffffffffffffffffff6fffffffffffffffffffffffffffffffff6fffffffffffffffffffffffffffffffff6fffffffffffffffffffffffffffffffff7310000000000000000000000000000000000000016707fffffffffffffffa507fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff7fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff7fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff7fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff7310000000000000000000000000000000000000016707fffffffffffffffa",
                "nonce" : "0x00",
                "storage" : {
                }
            },
            "0x1000000000000000000000000000000000000001" : {
                "balance" : "0x00",
                "code" : "0x600054600101600052",
                "nonce" : "0x00",
                "storage" : {
                }
            },
            "0xa94f5374fce5edbc8e2a8697c15331677e6ebf0b" : {
                "balance" : "0xffffffffffffffffffffffffffffffffffffffffffffffffffffff",
                "code" : "",
                "nonce" : "0x00",
                "storage" : {
                }
            }
        },
        "transaction" : {
            "data" : [
                "0x"
            ],
            "gasLimit" : [
                "0x0249f0",
                "0x0ee6b280"
            ],
            "gasPrice" : "0x01",
            "nonce" : "0x00",
            "secretKey" : "0x45a915e4d060149eb4365960e6a7a45f334393093061116b197e3240065ff2d8",
            "to" : "0x1000000000000000000000000000000000000000",
            "value" : [
                "0x01"
            ]
        }
    }
}