{
    "mload32bitBound": {
        "env" : {
            "previousHash" : "5e20a0453cecd065ea59c37ac63e079ee08998b6045136a8ce6635c7912ec0b6",
            "currentNumber" : "0",
            "currentGasLimit" : "17592320524892",
            "currentDifficulty" : "256",
            "currentTimestamp" : "1",
            "currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba"
        },
        "pre" : {
            "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
                "balance" : "1000000000000000000",
                "nonce" : "0",
                "code" : "{ [[ 1 ]] (MLOAD 4294967296) } ",
                "storage": {}
            },
            "a94f5374fce5edbc8e2a8697c15331677e6ebf0b" : {
                "balance" : "175923205248920",
                "nonce" : "0",
                "code" : "",
                "storage": {}
            }
        },
        "transaction" : {
            "nonce" : "0",
            "gasPrice" : "1",
            "gasLimit" : "17592320524892",
            "to" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
            "value" : "10",
            "secretKey" : "45a915e4d060149eb4365960e6a7a45f334393093061116b197e3240065ff2d8",
            "data" : ""
        }
    },

    "mload32bitBound_return": {
        "env" : {
            "previousHash" : "5e20a0453cecd065ea59c37ac63e079ee08998b6045136a8ce6635c7912ec0b6",
            "currentNumber" : "0",
            "currentGasLimit" : "175923205248920000",
            "currentDifficulty" : "256",
            "currentTimestamp" : "1",
            "currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba"
        },
        "pre" : {
            "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
                "balance" : "1000000000000000000",
                "nonce" : "0",
                "code" : "{ (RETURN 0 4294967297) } ",
                "storage": {}
            },
            "a94f5374fce5edbc8e2a8697c15331677e6ebf0b" : {
                "balance" : "1759232052489200000",
                "nonce" : "0",
                "code" : "",
                "storage": {}
            }
        },
        "transaction" : {
            "nonce" : "0",
            "gasPrice" : "1",
            "gasLimit" : "175923205248920000",
            "to" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
            "value" : "0",
            "secretKey" : "45a915e4d060149eb4365960e6a7a45f334393093061116b197e3240065ff2d8",
            "data" : ""
        }
    },

    "mload32bitBound_return2": {
        "env" : {
            "previousHash" : "5e20a0453cecd065ea59c37ac63e079ee08998b6045136a8ce6635c7912ec0b6",
            "currentNumber" : "0",
            "currentGasLimit" : "175923205248920000",
            "currentDifficulty" : "256",
            "currentTimestamp" : "1",
            "currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba"
        },
        "pre" : {
            "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
                "balance" : "1000000000000000000",
                "nonce" : "0",
                "code" : "{[ 0 ] 1 (RETURN 0 4294967296) } ",
                "storage": {}
            },
            "a94f5374fce5edbc8e2a8697c15331677e6ebf0b" : {
                "balance" : "1759232052489200000",
                "nonce" : "0",
                "code" : "",
                "storage": {}
            }
        },
        "transaction" : {
            "nonce" : "0",
            "gasPrice" : "1",
            "gasLimit" : "175923205248920000",
            "to" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
            "value" : "0",
            "secretKey" : "45a915e4d060149eb4365960e6a7a45f334393093061116b197e3240065ff2d8",
            "data" : ""
        }
    },

    "mload32bitBound_Msize": {
        "env" : {
            "previousHash" : "5e20a0453cecd065ea59c37ac63e079ee08998b6045136a8ce6635c7912ec0b6",
            "currentNumber" : "0",
            "currentGasLimit" : "175923205248920000",
            "currentDifficulty" : "256",
            "currentTimestamp" : "1",
            "currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba"
        },
        "pre" : {
            "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
                "balance" : "1000000000000000000",
                "nonce" : "0",
                "code" : "{ [4294967295] 1 [[ 0 ]] (MSIZE)} ",
                "storage": {}
            },
            "a94f5374fce5edbc8e2a8697c15331677e6ebf0b" : {
                "balance" : "1759232052489200000",
                "nonce" : "0",
                "code" : "",
                "storage": {}
            }
        },
        "transaction" : {
            "nonce" : "0",
            "gasPrice" : "1",
            "gasLimit" : "175923205248920000",
            "to" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
            "value" : "0",
            "secretKey" : "45a915e4d060149eb4365960e6a7a45f334393093061116b197e3240065ff2d8",
            "data" : ""
        }
    },

    "mload32bitBound2": {
        "env" : {
            "previousHash" : "5e20a0453cecd065ea59c37ac63e079ee08998b6045136a8ce6635c7912ec0b6",
            "currentNumber" : "0",
            "currentGasLimit" : "37791080412587",
            "currentDifficulty" : "256",
            "currentTimestamp" : "1",
            "currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba"
        },
        "pre" : {
            "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
                "balance" : "1000000000000000000",
                "nonce" : "0",
                "code" : "{ [[ 1 ]] (MLOAD 6294967296) } ",
                "storage": {}
            },
            "a94f5374fce5edbc8e2a8697c15331677e6ebf0b" : {
                "balance" : "377910804219850",
                "nonce" : "0",
                "code" : "",
                "storage": {}
            }
        },
        "transaction" : {
            "nonce" : "0",
            "gasPrice" : "1",
            "gasLimit" : "37791080412587",
            "to" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
            "value" : "10",
            "secretKey" : "45a915e4d060149eb4365960e6a7a45f334393093061116b197e3240065ff2d8",
            "data" : ""
        }
    },

    "FillStack" : {
        "env" : {
            "currentCoinbase" : "945304eb96065b2a98b57a48a06ae28d285a71b5",
            "currentDifficulty" : "5623894562375",
            "currentGasLimit" : "115792089237316195423570985008687907853269984665640564039457584007913129639935",
            "currentNumber" : "0",
            "currentTimestamp" : "1",
            "previousHash" : "5e20a0453cecd065ea59c37ac63e079ee08998b6045136a8ce6635c7912ec0b6"
        },
        "pre" : {
            "095e7baea6a6c7c4c2dfeb977efac326af552d87" : {
                "balance" : "0",
                "code" : "0x5b7fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff7ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe457f00000000000000000000000100000000000000000000000000000000000000007f00000000000000000000000000000000000000000000000000000000000000017f000000000000000000000000000000000000000000000000000000000000c3504357155320803a975560005155",
                "nonce" : "0",
                "storage" : {
                }
            },
            "945304eb96065b2a98b57a48a06ae28d285a71b5" : {
                "balance" : "46",
                "code" : "0x6000355415600957005b60203560003555",
                "nonce" : "0",
                "storage" : {
                }
            },
            "a94f5374fce5edbc8e2a8697c15331677e6ebf0b" : {
                "balance" : "1000000000000000000",
                "code" : "0x",
                "nonce" : "0",
                "storage" : {
                }
            }
        },
        "transaction" : {
            "data" : "0x5b7fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff7ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe457f00000000000000000000000100000000000000000000000000000000000000007f00000000000000000000000000000000000000000000000000000000000000017f000000000000000000000000000000000000000000000000000000000000c3504357155320803a97",
            "gasLimit" : "3141592",
            "gasPrice" : "1",
            "nonce" : "0",
            "secretKey" : "45a915e4d060149eb4365960e6a7a45f334393093061116b197e3240065ff2d8",
            "to" : "095e7baea6a6c7c4c2dfeb977efac326af552d87",
            "value" : "264050067"
        }
    }
}