{
    "pop0": {
        "env" : {
        "previousHash" : "5e20a0453cecd065ea59c37ac63e079ee08998b6045136a8ce6635c7912ec0b6",
        "currentNumber" : "0",
        "currentGasLimit" : "1000000",
        "currentDifficulty" : "256",
        "currentTimestamp" : 1,
        "currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba"
        },
        "pre" : {
        "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
            "balance" : "1000000000000000000",
            "nonce" : 0,
            "code" : "0x6002600360045055",
            "storage": {}
        }
        },
        "exec" : {
            "address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
            "origin" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "caller" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "value" : "1000000000000000000",
            "data" : "",
            "gasPrice" : "100000000000000",
            "gas" : "10000"
        }
    },

    "pop1": {
        "env" : {
        "previousHash" : "5e20a0453cecd065ea59c37ac63e079ee08998b6045136a8ce6635c7912ec0b6",
        "currentNumber" : "0",
        "currentGasLimit" : "1000000",
        "currentDifficulty" : "256",
        "currentTimestamp" : 1,
        "currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba"
        },
        "pre" : {
        "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
            "balance" : "1000000000000000000",
            "nonce" : 0,
            "code" : "0x5060026003600455",
            "storage": {}
        }
        },
        "exec" : {
            "address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
            "origin" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "caller" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "value" : "1000000000000000000",
            "data" : "",
            "gasPrice" : "100000000000000",
            "gas" : "10000"
        }
    },

    "dupAt51becameMload": {
        "env" : {
        "previousHash" : "5e20a0453cecd065ea59c37ac63e079ee08998b6045136a8ce6635c7912ec0b6",
        "currentNumber" : "0",
        "currentGasLimit" : "1000000",
        "currentDifficulty" : "256",
        "currentTimestamp" : 1,
        "currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba"
        },
        "pre" : {
        "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
            "balance" : "1000000000000000000",
            "nonce" : 0,
            "code" : "0x600260035155",
            "storage": {}
        }
        },
        "exec" : {
            "address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
            "origin" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "caller" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "value" : "1000000000000000000",
            "data" : "",
            "gasPrice" : "100000000000000",
            "gas" : "10000"
        }
    },

    "swapAt52becameMstore": {
        "env" : {
        "previousHash" : "5e20a0453cecd065ea59c37ac63e079ee08998b6045136a8ce6635c7912ec0b6",
        "currentNumber" : "0",
        "currentGasLimit" : "1000000",
        "currentDifficulty" : "256",
        "currentTimestamp" : 1,
        "currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba"
        },
        "pre" : {
        "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
            "balance" : "1000000000000000000",
            "nonce" : 0,
            "code" : "0x600260035255",
            "storage": {}
        }
        },
        "exec" : {
            "address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
            "origin" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "caller" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "value" : "1000000000000000000",
            "data" : "",
            "gasPrice" : "100000000000000",
            "gas" : "10000"
        }
    },

    "mstore_mload0": {
        "env" : {
        "previousHash" : "5e20a0453cecd065ea59c37ac63e079ee08998b6045136a8ce6635c7912ec0b6",
        "currentNumber" : "0",
        "currentGasLimit" : "1000000",
        "currentDifficulty" : "256",
        "currentTimestamp" : 1,
        "currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba"
        },
        "pre" : {
        "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
            "balance" : "1000000000000000000",
            "nonce" : 0,
            "code" : "{(MSTORE 0 23) [[ 1 ]] (MLOAD 0) } ",
            "storage": {}
        }
        },
        "exec" : {
            "address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
            "origin" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "caller" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "value" : "1000000000000000000",
            "data" : "",
            "gasPrice" : "100000000000000",
            "gas" : "10000"
        }
    },

    "mloadError0": {
        "env" : {
        "previousHash" : "5e20a0453cecd065ea59c37ac63e079ee08998b6045136a8ce6635c7912ec0b6",
        "currentNumber" : "0",
        "currentGasLimit" : "1000000",
        "currentDifficulty" : "256",
        "currentTimestamp" : 1,
        "currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba"
        },
        "pre" : {
        "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
            "balance" : "1000000000000000000",
            "nonce" : 0,
            "code" : "{[[ 0 ]] (MLOAD 0) } ",
            "storage": {}
        }
        },
        "exec" : {
            "address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
            "origin" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "caller" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "value" : "1000000000000000000",
            "data" : "",
            "gasPrice" : "100000000000000",
            "gas" : "10000"
        }
    },

    "mloadError1": {
        "env" : {
        "previousHash" : "5e20a0453cecd065ea59c37ac63e079ee08998b6045136a8ce6635c7912ec0b6",
        "currentNumber" : "0",
        "currentGasLimit" : "1000000",
        "currentDifficulty" : "256",
        "currentTimestamp" : 1,
        "currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba"
        },
        "pre" : {
        "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
            "balance" : "1000000000000000000",
            "nonce" : 0,
            "code" : "{(MSTORE 1 23) [[ 1 ]] (MLOAD 0) } ",
            "storage": {}
        }
        },
        "exec" : {
            "address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
            "origin" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "caller" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "value" : "1000000000000000000",
            "data" : "",
            "gasPrice" : "100000000000000",
            "gas" : "10000"
        }
    },

    "mloadOutOfGasError2": {
        "env" : {
        "previousHash" : "5e20a0453cecd065ea59c37ac63e079ee08998b6045136a8ce6635c7912ec0b6",
        "currentNumber" : "0",
        "currentGasLimit" : "1000000",
        "currentDifficulty" : "256",
        "currentTimestamp" : 1,
        "currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba"
        },
        "pre" : {
        "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
            "balance" : "1000000000000000000",
            "nonce" : 0,
            "code" : "{ [[ 1 ]] (MLOAD 7489573) } ",
            "storage": {}
        }
        },
        "exec" : {
            "address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
            "origin" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "caller" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "value" : "1000000000000000000",
            "data" : "",
            "gasPrice" : "100000000000000",
            "gas" : "10000"
        }
    },

    "mstore0": {
        "env" : {
        "previousHash" : "5e20a0453cecd065ea59c37ac63e079ee08998b6045136a8ce6635c7912ec0b6",
        "currentNumber" : "0",
        "currentGasLimit" : "1000000",
        "currentDifficulty" : "256",
        "currentTimestamp" : 1,
        "currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba"
        },
        "pre" : {
        "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
            "balance" : "1000000000000000000",
            "nonce" : 0,
            "code" : "{ (MSTORE 1 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff) [[ 1 ]] (MLOAD 1) } ",
            "storage": {}
        }
        },
        "exec" : {
            "address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
            "origin" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "caller" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "value" : "1000000000000000000",
            "data" : "",
            "gasPrice" : "100000000000000",
            "gas" : "10000"
        }
    },

    "mstore1": {
        "env" : {
        "previousHash" : "5e20a0453cecd065ea59c37ac63e079ee08998b6045136a8ce6635c7912ec0b6",
        "currentNumber" : "0",
        "currentGasLimit" : "1000000",
        "currentDifficulty" : "256",
        "currentTimestamp" : 1,
        "currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba"
        },
        "pre" : {
        "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
            "balance" : "1000000000000000000",
            "nonce" : 0,
            "code" : "{ (MSTORE 1 (+ 2 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff) ) [[ 1 ]] (MLOAD 1) } ",
            "storage": {}
        }
        },
        "exec" : {
            "address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
            "origin" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "caller" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "value" : "1000000000000000000",
            "data" : "",
            "gasPrice" : "100000000000000",
            "gas" : "10000"
        }
    },

    "mstoreWordToBigError": {
        "env" : {
        "previousHash" : "5e20a0453cecd065ea59c37ac63e079ee08998b6045136a8ce6635c7912ec0b6",
        "currentNumber" : "0",
        "currentGasLimit" : "1000000",
        "currentDifficulty" : "256",
        "currentTimestamp" : 1,
        "currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba"
        },
        "pre" : {
        "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
            "balance" : "1000000000000000000",
            "nonce" : 0,
            "code" : "{ (MSTORE 1 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff23 ) [[ 1 ]] (MLOAD 1) } ",
            "storage": {}
        }
        },
        "exec" : {
            "address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
            "origin" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "caller" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "value" : "1000000000000000000",
            "data" : "",
            "gasPrice" : "100000000000000",
            "gas" : "10000"
        }
    },

    "mstore8WordToBigError": {
        "env" : {
        "previousHash" : "5e20a0453cecd065ea59c37ac63e079ee08998b6045136a8ce6635c7912ec0b6",
        "currentNumber" : "0",
        "currentGasLimit" : "1000000",
        "currentDifficulty" : "256",
        "currentTimestamp" : 1,
        "currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba"
        },
        "pre" : {
        "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
            "balance" : "1000000000000000000",
            "nonce" : 0,
            "code" : "{ (MSTORE8 1 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff23 ) [[ 1 ]] (MLOAD 1) } ",
            "storage": {}
        }
        },
        "exec" : {
            "address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
            "origin" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "caller" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "value" : "1000000000000000000",
            "data" : "",
            "gasPrice" : "100000000000000",
            "gas" : "10000"
        }
    },

    "mstore8_0": {
        "env" : {
        "previousHash" : "5e20a0453cecd065ea59c37ac63e079ee08998b6045136a8ce6635c7912ec0b6",
        "currentNumber" : "0",
        "currentGasLimit" : "1000000",
        "currentDifficulty" : "256",
        "currentTimestamp" : 1,
        "currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba"
        },
        "pre" : {
        "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
            "balance" : "1000000000000000000",
            "nonce" : 0,
            "code" : "{ (MSTORE8 1 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff ) [[ 1 ]] (MLOAD 1) } ",
            "storage": {}
        }
        },
        "exec" : {
            "address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
            "origin" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "caller" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "value" : "1000000000000000000",
            "data" : "",
            "gasPrice" : "100000000000000",
            "gas" : "10000"
        }
    },

    "mstore8_1": {
        "env" : {
        "previousHash" : "5e20a0453cecd065ea59c37ac63e079ee08998b6045136a8ce6635c7912ec0b6",
        "currentNumber" : "0",
        "currentGasLimit" : "1000000",
        "currentDifficulty" : "256",
        "currentTimestamp" : 1,
        "currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba"
        },
        "pre" : {
        "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
            "balance" : "1000000000000000000",
            "nonce" : 0,
            "code" : "{ (MSTORE8 1 0xff) (MSTORE8 2 0xee) [[ 1 ]] (MLOAD 0) } ",
            "storage": {}
        }
        },
        "exec" : {
            "address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
            "origin" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "caller" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "value" : "1000000000000000000",
            "data" : "",
            "gasPrice" : "100000000000000",
            "gas" : "10000"
        }
    },

    "sstore_load_0": {
        "env" : {
        "previousHash" : "5e20a0453cecd065ea59c37ac63e079ee08998b6045136a8ce6635c7912ec0b6",
        "currentNumber" : "0",
        "currentGasLimit" : "1000000",
        "currentDifficulty" : "256",
        "currentTimestamp" : 1,
        "currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba"
        },
        "pre" : {
        "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
            "balance" : "1000000000000000000",
            "nonce" : 0,
            "code" : "{ (SSTORE 0 0xff) (SSTORE 10 0xee)  [[ 20 ]] (SLOAD 0)  } ",
            "storage": {}
        }
        },
        "exec" : {
            "address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
            "origin" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "caller" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "value" : "1000000000000000000",
            "data" : "",
            "gasPrice" : "100000000000000",
            "gas" : "10000"
        }
    },

    "sstore_load_1": {
        "env" : {
        "previousHash" : "5e20a0453cecd065ea59c37ac63e079ee08998b6045136a8ce6635c7912ec0b6",
        "currentNumber" : "0",
        "currentGasLimit" : "1000000",
        "currentDifficulty" : "256",
        "currentTimestamp" : 1,
        "currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba"
        },
        "pre" : {
        "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
            "balance" : "1000000000000000000",
            "nonce" : 0,
            "code" : "{ (SSTORE 0 0xff) (SSTORE 10 0xee)  [[ 20 ]] (SLOAD 100)  } ",
            "storage": {}
        }
        },
        "exec" : {
            "address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
            "origin" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "caller" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "value" : "1000000000000000000",
            "data" : "",
            "gasPrice" : "100000000000000",
            "gas" : "10000"
        }
    },

    "sstore_load_2": {
        "env" : {
        "previousHash" : "5e20a0453cecd065ea59c37ac63e079ee08998b6045136a8ce6635c7912ec0b6",
        "currentNumber" : "0",
        "currentGasLimit" : "1000000",
        "currentDifficulty" : "256",
        "currentTimestamp" : 1,
        "currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba"
        },
        "pre" : {
        "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
            "balance" : "1000000000000000000",
            "nonce" : 0,
            "code" : "{ (SSTORE 0 0xff) (SSTORE 1 0xee) (SSTORE 2 0xdd) [[ 10 ]] (SLOAD 1) [[ 20 ]] (SLOAD 2)  } ",
            "storage": {}
        }
        },
        "exec" : {
            "address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
            "origin" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "caller" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "value" : "1000000000000000000",
            "data" : "",
            "gasPrice" : "100000000000000",
            "gas" : "10000"
        }
    },

    "jumpAfterStop": {
        "env" : {
        "previousHash" : "5e20a0453cecd065ea59c37ac63e079ee08998b6045136a8ce6635c7912ec0b6",
        "currentNumber" : "0",
        "currentGasLimit" : "1000000",
        "currentDifficulty" : "256",
        "currentTimestamp" : 1,
        "currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba"
        },
        "pre" : {
        "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
            "balance" : "1000000000000000000",
            "nonce" : 0,
            "code" : "0x6006560060015b6002600355",
            "storage": {}
        }
        },
        "exec" : {
            "address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
            "origin" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "caller" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "value" : "1000000000000000000",
            "data" : "",
            "gasPrice" : "100000000000000",
            "gas" : "10000"
        }
    },

    "jumpiAfterStop": {
        "env" : {
        "previousHash" : "5e20a0453cecd065ea59c37ac63e079ee08998b6045136a8ce6635c7912ec0b6",
        "currentNumber" : "0",
        "currentGasLimit" : "1000000",
        "currentDifficulty" : "256",
        "currentTimestamp" : 1,
        "currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba"
        },
        "pre" : {
        "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
            "balance" : "1000000000000000000",
            "nonce" : 0,
            "code" : "0x60016008570060015b6002600355",
            "storage": {}
        }
        },
        "exec" : {
            "address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
            "origin" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "caller" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "value" : "1000000000000000000",
            "data" : "",
            "gasPrice" : "100000000000000",
            "gas" : "10000"
        }
    },

    "jumpInsidePushWithoutJumpDest": {
        "env" : {
        "previousHash" : "5e20a0453cecd065ea59c37ac63e079ee08998b6045136a8ce6635c7912ec0b6",
        "currentNumber" : "0",
        "currentGasLimit" : "1000000",
        "currentDifficulty" : "256",
        "currentTimestamp" : 1,
        "currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba"
        },
        "pre" : {
        "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
            "balance" : "1000000000000000000",
            "nonce" : 0,
            "code" : "0x60055661eeff",
            "storage": {}
        }
        },
        "exec" : {
            "address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
            "origin" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "caller" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "value" : "1000000000000000000",
            "data" : "",
            "gasPrice" : "100000000000000",
            "gas" : "10000"
        }
    },

    "jumpInsidePushWithJumpDest": {
        "env" : {
        "previousHash" : "5e20a0453cecd065ea59c37ac63e079ee08998b6045136a8ce6635c7912ec0b6",
        "currentNumber" : "0",
        "currentGasLimit" : "1000000",
        "currentDifficulty" : "256",
        "currentTimestamp" : 1,
        "currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba"
        },
        "pre" : {
        "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
            "balance" : "1000000000000000000",
            "nonce" : 0,
            "code" : "0x600456655b6001600155",
            "storage": {}
        }
        },
        "exec" : {
            "address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
            "origin" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "caller" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "value" : "1000000000000000000",
            "data" : "",
            "gasPrice" : "100000000000000",
            "gas" : "10000"
        }
    },

    "jumpifInsidePushWithoutJumpDest": {
        "env" : {
        "previousHash" : "5e20a0453cecd065ea59c37ac63e079ee08998b6045136a8ce6635c7912ec0b6",
        "currentNumber" : "0",
        "currentGasLimit" : "1000000",
        "currentDifficulty" : "256",
        "currentTimestamp" : 1,
        "currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba"
        },
        "pre" : {
        "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
            "balance" : "1000000000000000000",
            "nonce" : 0,
            "code" : "0x600160075761eeff",
            "storage": {}
        }
        },
        "exec" : {
            "address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
            "origin" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "caller" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "value" : "1000000000000000000",
            "data" : "",
            "gasPrice" : "100000000000000",
            "gas" : "10000"
        }
    },

    "jumpifInsidePushWithJumpDest": {
        "env" : {
        "previousHash" : "5e20a0453cecd065ea59c37ac63e079ee08998b6045136a8ce6635c7912ec0b6",
        "currentNumber" : "0",
        "currentGasLimit" : "1000000",
        "currentDifficulty" : "256",
        "currentTimestamp" : 1,
        "currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba"
        },
        "pre" : {
        "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
            "balance" : "1000000000000000000",
            "nonce" : 0,
            "code" : "0x6001600657655b6001600155",
            "storage": {}
        }
        },
        "exec" : {
            "address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
            "origin" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "caller" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "value" : "1000000000000000000",
            "data" : "",
            "gasPrice" : "100000000000000",
            "gas" : "10000"
        }
    },

    "jump0_foreverOutOfGas": {
        "env" : {
        "previousHash" : "5e20a0453cecd065ea59c37ac63e079ee08998b6045136a8ce6635c7912ec0b6",
        "currentNumber" : "0",
        "currentGasLimit" : "1000000",
        "currentDifficulty" : "256",
        "currentTimestamp" : 1,
        "currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba"
        },
        "pre" : {
        "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
            "balance" : "1000000000000000000",
            "nonce" : 0,
            "code" : "0x5b600056",
            "storage": {}
        }
        },
        "exec" : {
            "address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
            "origin" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "caller" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "value" : "1000000000000000000",
            "data" : "",
            "gasPrice" : "100000000000000",
            "gas" : "10000"
        }
    },

    "jumpOntoJump": {
        "env" : {
        "previousHash" : "5e20a0453cecd065ea59c37ac63e079ee08998b6045136a8ce6635c7912ec0b6",
        "currentNumber" : "0",
        "currentGasLimit" : "1000000",
        "currentDifficulty" : "256",
        "currentTimestamp" : 1,
        "currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba"
        },
        "pre" : {
        "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
            "balance" : "1000000000000000000",
            "nonce" : 0,
            "code" : "0x565b600056",
            "storage": {}
        }
        },
        "exec" : {
            "address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
            "origin" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "caller" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "value" : "1000000000000000000",
            "data" : "",
            "gasPrice" : "100000000000000",
            "gas" : "10000"
        }
    },

    "jumpDynamicJumpSameDest": {
        "env" : {
        "previousHash" : "5e20a0453cecd065ea59c37ac63e079ee08998b6045136a8ce6635c7912ec0b6",
        "currentNumber" : "0",
        "currentGasLimit" : "1000000",
        "currentDifficulty" : "256",
        "currentTimestamp" : 1,
        "currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba"
        },
        "pre" : {
        "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
            "balance" : "1000000000000000000",
            "nonce" : 0,
            "code" : "0x6002600401565b600360005260206000f3600656",
            "storage": {}
        }
        },
        "exec" : {
            "address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
            "origin" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "caller" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "value" : "1000000000000000000",
            "data" : "",
            "gasPrice" : "100000000000000",
            "gas" : "10000"
        }
    },

    "jump0_outOfBoundary": {
        "env" : {
        "previousHash" : "5e20a0453cecd065ea59c37ac63e079ee08998b6045136a8ce6635c7912ec0b6",
        "currentNumber" : "0",
        "currentGasLimit" : "1000000",
        "currentDifficulty" : "256",
        "currentTimestamp" : 1,
        "currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba"
        },
        "pre" : {
        "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
            "balance" : "1000000000000000000",
            "nonce" : 0,
            "code" : "0x60236007566001600255",
            "storage": {}
        }
        },
        "exec" : {
            "address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
            "origin" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "caller" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "value" : "1000000000000000000",
            "data" : "",
            "gasPrice" : "100000000000000",
            "gas" : "10000"
        }
    },
    "jump0_jumpdest0": {
        "env" : {
        "previousHash" : "5e20a0453cecd065ea59c37ac63e079ee08998b6045136a8ce6635c7912ec0b6",
        "currentNumber" : "0",
        "currentGasLimit" : "1000000",
        "currentDifficulty" : "256",
        "currentTimestamp" : 1,
        "currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba"
        },
        "pre" : {
        "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
            "balance" : "1000000000000000000",
            "nonce" : 0,
            "code" : "0x602360075660015b600255",
            "storage": {}
        }
        },
        "exec" : {
            "address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
            "origin" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "caller" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "value" : "1000000000000000000",
            "data" : "",
            "gasPrice" : "100000000000000",
            "gas" : "10000"
        }
    },

    "jump0_withoutJumpdest": {
        "env" : {
        "previousHash" : "5e20a0453cecd065ea59c37ac63e079ee08998b6045136a8ce6635c7912ec0b6",
        "currentNumber" : "0",
        "currentGasLimit" : "1000000",
        "currentDifficulty" : "256",
        "currentTimestamp" : 1,
        "currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba"
        },
        "pre" : {
        "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
            "balance" : "1000000000000000000",
            "nonce" : 0,
            "code" : "0x60236007566001600255",
            "storage": {}
        }
        },
        "exec" : {
            "address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
            "origin" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "caller" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "value" : "1000000000000000000",
            "data" : "",
            "gasPrice" : "100000000000000",
            "gas" : "10000"
        }
    },

    "jump0_AfterJumpdest": {
        "env" : {
        "previousHash" : "5e20a0453cecd065ea59c37ac63e079ee08998b6045136a8ce6635c7912ec0b6",
        "currentNumber" : "0",
        "currentGasLimit" : "1000000",
        "currentDifficulty" : "256",
        "currentTimestamp" : 1,
        "currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba"
        },
        "pre" : {
        "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
            "balance" : "1000000000000000000",
            "nonce" : 0,
            "code" : "0x602360085660015b600255",
            "storage": {}
        }
        },
        "exec" : {
            "address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
            "origin" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "caller" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "value" : "1000000000000000000",
            "data" : "",
            "gasPrice" : "100000000000000",
            "gas" : "10000"
        }
    },

    "jump0_jumpdest2": {
        "env" : {
        "previousHash" : "5e20a0453cecd065ea59c37ac63e079ee08998b6045136a8ce6635c7912ec0b6",
        "currentNumber" : "0",
        "currentGasLimit" : "1000000",
        "currentDifficulty" : "256",
        "currentTimestamp" : 1,
        "currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba"
        },
        "pre" : {
        "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
            "balance" : "1000000000000000000",
            "nonce" : 0,
            "code" : "0x6023600a6008505660015b600255",
            "storage": {}
        }
        },
        "exec" : {
            "address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
            "origin" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "caller" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "value" : "1000000000000000000",
            "data" : "",
            "gasPrice" : "100000000000000",
            "gas" : "10000"
        }
    },

    "jump0_AfterJumpdest3": {
        "env" : {
        "previousHash" : "5e20a0453cecd065ea59c37ac63e079ee08998b6045136a8ce6635c7912ec0b6",
        "currentNumber" : "0",
        "currentGasLimit" : "1000000",
        "currentDifficulty" : "256",
        "currentTimestamp" : 1,
        "currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba"
        },
        "pre" : {
        "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
            "balance" : "1000000000000000000",
            "nonce" : 0,
            "code" : "0x6023600b6008505660015b600255",
            "storage": {}
        }
        },
        "exec" : {
            "address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
            "origin" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "caller" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "value" : "1000000000000000000",
            "data" : "",
            "gasPrice" : "100000000000000",
            "gas" : "10000"
        }
    },

    "jump1": {
        "env" : {
        "previousHash" : "5e20a0453cecd065ea59c37ac63e079ee08998b6045136a8ce6635c7912ec0b6",
        "currentNumber" : "0",
        "currentGasLimit" : "1000000",
        "currentDifficulty" : "256",
        "currentTimestamp" : 1,
        "currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba"
        },
        "pre" : {
        "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
            "balance" : "1000000000000000000",
            "nonce" : 0,
            "code" : "0x620fffff620fffff0156",
            "storage": {}
        }
        },
        "exec" : {
            "address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
            "origin" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "caller" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "value" : "1000000000000000000",
            "data" : "",
            "gasPrice" : "100000000000000",
            "gas" : "10000"
        }
    },

    "jumpi0": {
        "env" : {
        "previousHash" : "5e20a0453cecd065ea59c37ac63e079ee08998b6045136a8ce6635c7912ec0b6",
        "currentNumber" : "0",
        "currentGasLimit" : "1000000",
        "currentDifficulty" : "256",
        "currentTimestamp" : 1,
        "currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba"
        },
        "pre" : {
        "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
            "balance" : "1000000000000000000",
            "nonce" : 0,
            "code" : "0x602360016009576001600255",
            "storage": {}
        }
        },
        "exec" : {
            "address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
            "origin" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "caller" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "value" : "1000000000000000000",
            "data" : "",
            "gasPrice" : "100000000000000",
            "gas" : "10000"
        }
    },

    "jumpi1_jumpdest": {
        "env" : {
        "previousHash" : "5e20a0453cecd065ea59c37ac63e079ee08998b6045136a8ce6635c7912ec0b6",
        "currentNumber" : "0",
        "currentGasLimit" : "1000000",
        "currentDifficulty" : "256",
        "currentTimestamp" : 1,
        "currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba"
        },
        "pre" : {
        "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
            "balance" : "1000000000000000000",
            "nonce" : 0,
            "code" : "0x60236001600a5760015b600255",
            "storage": {}
        }
        },
        "exec" : {
            "address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
            "origin" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "caller" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "value" : "1000000000000000000",
            "data" : "",
            "gasPrice" : "100000000000000",
            "gas" : "10000"
        }
    },

    "jumpi1": {
        "env" : {
        "previousHash" : "5e20a0453cecd065ea59c37ac63e079ee08998b6045136a8ce6635c7912ec0b6",
        "currentNumber" : "0",
        "currentGasLimit" : "1000000",
        "currentDifficulty" : "256",
        "currentTimestamp" : 1,
        "currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba"
        },
        "pre" : {
        "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
            "balance" : "1000000000000000000",
            "nonce" : 0,
            "code" : "0x602360006009576001600255",
            "storage": {}
        }
        },
        "exec" : {
            "address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
            "origin" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "caller" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "value" : "1000000000000000000",
            "data" : "",
            "gasPrice" : "100000000000000",
            "gas" : "10000"
        }
    },

    "jumpiOutsideBoundary": {
        "env" : {
        "previousHash" : "5e20a0453cecd065ea59c37ac63e079ee08998b6045136a8ce6635c7912ec0b6",
        "currentNumber" : "0",
        "currentGasLimit" : "1000000",
        "currentDifficulty" : "256",
        "currentTimestamp" : 1,
        "currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba"
        },
        "pre" : {
        "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
            "balance" : "1000000000000000000",
            "nonce" : 0,
            "code" : "0x60017fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff576002600355",
            "storage": {}
        }
        },
        "exec" : {
            "address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
            "origin" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "caller" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "value" : "1000000000000000000",
            "data" : "",
            "gasPrice" : "100000000000000",
            "gas" : "10000"
        }
    },

    "DynamicJumpAfterStop": {
        "env" : {
        "previousHash" : "5e20a0453cecd065ea59c37ac63e079ee08998b6045136a8ce6635c7912ec0b6",
        "currentNumber" : "0",
        "currentGasLimit" : "1000000",
        "currentDifficulty" : "256",
        "currentTimestamp" : 1,
        "currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba"
        },
        "pre" : {
        "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
            "balance" : "1000000000000000000",
            "nonce" : 0,
            "code" : "0x6008600101560060015b6002600355",
            "storage": {}
        }
        },
        "exec" : {
            "address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
            "origin" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "caller" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "value" : "1000000000000000000",
            "data" : "",
            "gasPrice" : "100000000000000",
            "gas" : "10000"
        }
    },

    "DynamicJumpiAfterStop": {
        "env" : {
        "previousHash" : "5e20a0453cecd065ea59c37ac63e079ee08998b6045136a8ce6635c7912ec0b6",
        "currentNumber" : "0",
        "currentGasLimit" : "1000000",
        "currentDifficulty" : "256",
        "currentTimestamp" : 1,
        "currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba"
        },
        "pre" : {
        "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
            "balance" : "1000000000000000000",
            "nonce" : 0,
            "code" : "0x60016008600301570060015b6002600355",
            "storage": {}
        }
        },
        "exec" : {
            "address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
            "origin" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "caller" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "value" : "1000000000000000000",
            "data" : "",
            "gasPrice" : "100000000000000",
            "gas" : "10000"
        }
    },

    "DynamicJumpInsidePushWithoutJumpDest": {
        "env" : {
        "previousHash" : "5e20a0453cecd065ea59c37ac63e079ee08998b6045136a8ce6635c7912ec0b6",
        "currentNumber" : "0",
        "currentGasLimit" : "1000000",
        "currentDifficulty" : "256",
        "currentTimestamp" : 1,
        "currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba"
        },
        "pre" : {
        "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
            "balance" : "1000000000000000000",
            "nonce" : 0,
            "code" : "0x60056003015661eeff",
            "storage": {}
        }
        },
        "exec" : {
            "address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
            "origin" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "caller" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "value" : "1000000000000000000",
            "data" : "",
            "gasPrice" : "100000000000000",
            "gas" : "10000"
        }
    },

    "DynamicJumpInsidePushWithJumpDest": {
        "env" : {
        "previousHash" : "5e20a0453cecd065ea59c37ac63e079ee08998b6045136a8ce6635c7912ec0b6",
        "currentNumber" : "0",
        "currentGasLimit" : "1000000",
        "currentDifficulty" : "256",
        "currentTimestamp" : 1,
        "currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba"
        },
        "pre" : {
        "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
            "balance" : "1000000000000000000",
            "nonce" : 0,
            "code" : "0x600460030156655b6001600155",
            "storage": {}
        }
        },
        "exec" : {
            "address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
            "origin" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "caller" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "value" : "1000000000000000000",
            "data" : "",
            "gasPrice" : "100000000000000",
            "gas" : "10000"
        }
    },

    "DynamicJumpifInsidePushWithoutJumpDest": {
        "env" : {
        "previousHash" : "5e20a0453cecd065ea59c37ac63e079ee08998b6045136a8ce6635c7912ec0b6",
        "currentNumber" : "0",
        "currentGasLimit" : "1000000",
        "currentDifficulty" : "256",
        "currentTimestamp" : 1,
        "currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba"
        },
        "pre" : {
        "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
            "balance" : "1000000000000000000",
            "nonce" : 0,
            "code" : "0x600160076003015761eeff",
            "storage": {}
        }
        },
        "exec" : {
            "address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
            "origin" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "caller" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "value" : "1000000000000000000",
            "data" : "",
            "gasPrice" : "100000000000000",
            "gas" : "10000"
        }
    },

    "DynamicJumpifInsidePushWithJumpDest": {
        "env" : {
        "previousHash" : "5e20a0453cecd065ea59c37ac63e079ee08998b6045136a8ce6635c7912ec0b6",
        "currentNumber" : "0",
        "currentGasLimit" : "1000000",
        "currentDifficulty" : "256",
        "currentTimestamp" : 1,
        "currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba"
        },
        "pre" : {
        "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
            "balance" : "1000000000000000000",
            "nonce" : 0,
            "code" : "0x6001600660030157655b6001600155",
            "storage": {}
        }
        },
        "exec" : {
            "address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
            "origin" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "caller" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "value" : "1000000000000000000",
            "data" : "",
            "gasPrice" : "100000000000000",
            "gas" : "10000"
        }
    },

    "DynamicJump0_foreverOutOfGas": {
        "env" : {
        "previousHash" : "5e20a0453cecd065ea59c37ac63e079ee08998b6045136a8ce6635c7912ec0b6",
        "currentNumber" : "0",
        "currentGasLimit" : "1000000",
        "currentDifficulty" : "256",
        "currentTimestamp" : 1,
        "currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba"
        },
        "pre" : {
        "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
            "balance" : "1000000000000000000",
            "nonce" : 0,
            "code" : "0x5b600060000156",
            "storage": {}
        }
        },
        "exec" : {
            "address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
            "origin" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "caller" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "value" : "1000000000000000000",
            "data" : "",
            "gasPrice" : "100000000000000",
            "gas" : "10000"
        }
    },

    "DyanmicJump0_outOfBoundary": {
        "env" : {
        "previousHash" : "5e20a0453cecd065ea59c37ac63e079ee08998b6045136a8ce6635c7912ec0b6",
        "currentNumber" : "0",
        "currentGasLimit" : "1000000",
        "currentDifficulty" : "256",
        "currentTimestamp" : 1,
        "currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba"
        },
        "pre" : {
        "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
            "balance" : "1000000000000000000",
            "nonce" : 0,
            "code" : "0x60236007600301566001600255",
            "storage": {}
        }
        },
        "exec" : {
            "address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
            "origin" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "caller" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "value" : "1000000000000000000",
            "data" : "",
            "gasPrice" : "100000000000000",
            "gas" : "10000"
        }
    },
    "DynamicJump0_jumpdest0": {
        "env" : {
        "previousHash" : "5e20a0453cecd065ea59c37ac63e079ee08998b6045136a8ce6635c7912ec0b6",
        "currentNumber" : "0",
        "currentGasLimit" : "1000000",
        "currentDifficulty" : "256",
        "currentTimestamp" : 1,
        "currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba"
        },
        "pre" : {
        "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
            "balance" : "1000000000000000000",
            "nonce" : 0,
            "code" : "0x602360076003015660015b600255",
            "storage": {}
        }
        },
        "exec" : {
            "address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
            "origin" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "caller" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "value" : "1000000000000000000",
            "data" : "",
            "gasPrice" : "100000000000000",
            "gas" : "10000"
        }
    },

    "DynamicJump0_withoutJumpdest": {
        "env" : {
        "previousHash" : "5e20a0453cecd065ea59c37ac63e079ee08998b6045136a8ce6635c7912ec0b6",
        "currentNumber" : "0",
        "currentGasLimit" : "1000000",
        "currentDifficulty" : "256",
        "currentTimestamp" : 1,
        "currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba"
        },
        "pre" : {
        "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
            "balance" : "1000000000000000000",
            "nonce" : 0,
            "code" : "0x60236007600301566001600255",
            "storage": {}
        }
        },
        "exec" : {
            "address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
            "origin" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "caller" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "value" : "1000000000000000000",
            "data" : "",
            "gasPrice" : "100000000000000",
            "gas" : "10000"
        }
    },

    "DynamicJump0_AfterJumpdest": {
        "env" : {
        "previousHash" : "5e20a0453cecd065ea59c37ac63e079ee08998b6045136a8ce6635c7912ec0b6",
        "currentNumber" : "0",
        "currentGasLimit" : "1000000",
        "currentDifficulty" : "256",
        "currentTimestamp" : 1,
        "currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba"
        },
        "pre" : {
        "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
            "balance" : "1000000000000000000",
            "nonce" : 0,
            "code" : "0x602360086003015660015b600255",
            "storage": {}
        }
        },
        "exec" : {
            "address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
            "origin" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "caller" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "value" : "1000000000000000000",
            "data" : "",
            "gasPrice" : "100000000000000",
            "gas" : "10000"
        }
    },

    "DynamicJump0_jumpdest2": {
        "env" : {
        "previousHash" : "5e20a0453cecd065ea59c37ac63e079ee08998b6045136a8ce6635c7912ec0b6",
        "currentNumber" : "0",
        "currentGasLimit" : "1000000",
        "currentDifficulty" : "256",
        "currentTimestamp" : 1,
        "currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba"
        },
        "pre" : {
        "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
            "balance" : "1000000000000000000",
            "nonce" : 0,
            "code" : "0x6023600a6008506003015660015b600255",
            "storage": {}
        }
        },
        "exec" : {
            "address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
            "origin" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "caller" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "value" : "1000000000000000000",
            "data" : "",
            "gasPrice" : "100000000000000",
            "gas" : "10000"
        }
    },

    "DynamicJump0_AfterJumpdest3": {
        "env" : {
        "previousHash" : "5e20a0453cecd065ea59c37ac63e079ee08998b6045136a8ce6635c7912ec0b6",
        "currentNumber" : "0",
        "currentGasLimit" : "1000000",
        "currentDifficulty" : "256",
        "currentTimestamp" : 1,
        "currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba"
        },
        "pre" : {
        "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
            "balance" : "1000000000000000000",
            "nonce" : 0,
            "code" : "0x6023600b6008506003015660015b600255",
            "storage": {}
        }
        },
        "exec" : {
            "address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
            "origin" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "caller" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "value" : "1000000000000000000",
            "data" : "",
            "gasPrice" : "100000000000000",
            "gas" : "10000"
        }
    },

    "DynamicJump1": {
        "env" : {
        "previousHash" : "5e20a0453cecd065ea59c37ac63e079ee08998b6045136a8ce6635c7912ec0b6",
        "currentNumber" : "0",
        "currentGasLimit" : "1000000",
        "currentDifficulty" : "256",
        "currentTimestamp" : 1,
        "currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba"
        },
        "pre" : {
        "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
            "balance" : "1000000000000000000",
            "nonce" : 0,
            "code" : "0x620fffff620fffff0160030156",
            "storage": {}
        }
        },
        "exec" : {
            "address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
            "origin" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "caller" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "value" : "1000000000000000000",
            "data" : "",
            "gasPrice" : "100000000000000",
            "gas" : "10000"
        }
    },

    "DynamicJumpi0": {
        "env" : {
        "previousHash" : "5e20a0453cecd065ea59c37ac63e079ee08998b6045136a8ce6635c7912ec0b6",
        "currentNumber" : "0",
        "currentGasLimit" : "1000000",
        "currentDifficulty" : "256",
        "currentTimestamp" : 1,
        "currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba"
        },
        "pre" : {
        "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
            "balance" : "1000000000000000000",
            "nonce" : 0,
            "code" : "0x602360016009600301576001600255",
            "storage": {}
        }
        },
        "exec" : {
            "address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
            "origin" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "caller" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "value" : "1000000000000000000",
            "data" : "",
            "gasPrice" : "100000000000000",
            "gas" : "10000"
        }
    },

    "DynamicJumpi1_jumpdest": {
        "env" : {
        "previousHash" : "5e20a0453cecd065ea59c37ac63e079ee08998b6045136a8ce6635c7912ec0b6",
        "currentNumber" : "0",
        "currentGasLimit" : "1000000",
        "currentDifficulty" : "256",
        "currentTimestamp" : 1,
        "currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba"
        },
        "pre" : {
        "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
            "balance" : "1000000000000000000",
            "nonce" : 0,
            "code" : "0x60236001600a6003015760015b600255",
            "storage": {}
        }
        },
        "exec" : {
            "address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
            "origin" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "caller" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "value" : "1000000000000000000",
            "data" : "",
            "gasPrice" : "100000000000000",
            "gas" : "10000"
        }
    },

    "DynamicJumpi1": {
        "env" : {
        "previousHash" : "5e20a0453cecd065ea59c37ac63e079ee08998b6045136a8ce6635c7912ec0b6",
        "currentNumber" : "0",
        "currentGasLimit" : "1000000",
        "currentDifficulty" : "256",
        "currentTimestamp" : 1,
        "currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba"
        },
        "pre" : {
        "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
            "balance" : "1000000000000000000",
            "nonce" : 0,
            "code" : "0x602360006009600301576001600255",
            "storage": {}
        }
        },
        "exec" : {
            "address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
            "origin" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "caller" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "value" : "1000000000000000000",
            "data" : "",
            "gasPrice" : "100000000000000",
            "gas" : "10000"
        }
    },

    "DynamicJumpiOutsideBoundary": {
        "env" : {
        "previousHash" : "5e20a0453cecd065ea59c37ac63e079ee08998b6045136a8ce6635c7912ec0b6",
        "currentNumber" : "0",
        "currentGasLimit" : "1000000",
        "currentDifficulty" : "256",
        "currentTimestamp" : 1,
        "currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba"
        },
        "pre" : {
        "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
            "balance" : "1000000000000000000",
            "nonce" : 0,
            "code" : "0x60017ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff0600301576002600355",
            "storage": {}
        }
        },
        "exec" : {
            "address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
            "origin" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "caller" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "value" : "1000000000000000000",
            "data" : "",
            "gasPrice" : "100000000000000",
            "gas" : "10000"
        }
    },

    "pc0": {
        "env" : {
        "previousHash" : "5e20a0453cecd065ea59c37ac63e079ee08998b6045136a8ce6635c7912ec0b6",
        "currentNumber" : "0",
        "currentGasLimit" : "1000000",
        "currentDifficulty" : "256",
        "currentTimestamp" : 1,
        "currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba"
        },
        "pre" : {
        "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
            "balance" : "1000000000000000000",
            "nonce" : 0,
            "code" : "{ [[ 0 ]] (PC)}",
            "storage": {}
        }
        },
        "exec" : {
            "address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
            "origin" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "caller" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "value" : "1000000000000000000",
            "data" : "",
            "gasPrice" : "100000000000000",
            "gas" : "10000"
        }
    },

    "pc1": {
        "env" : {
        "previousHash" : "5e20a0453cecd065ea59c37ac63e079ee08998b6045136a8ce6635c7912ec0b6",
        "currentNumber" : "0",
        "currentGasLimit" : "1000000",
        "currentDifficulty" : "256",
        "currentTimestamp" : 1,
        "currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba"
        },
        "pre" : {
        "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
            "balance" : "1000000000000000000",
            "nonce" : 0,
            "code" : "{(SSTORE 0 0xff) [[ 0 ]] (PC)}",
            "storage": {}
        }
        },
        "exec" : {
            "address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
            "origin" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "caller" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "value" : "1000000000000000000",
            "data" : "",
            "gasPrice" : "100000000000000",
            "gas" : "10000"
        }
    },

    "msize0": {
        "env" : {
        "previousHash" : "5e20a0453cecd065ea59c37ac63e079ee08998b6045136a8ce6635c7912ec0b6",
        "currentNumber" : "0",
        "currentGasLimit" : "1000000",
        "currentDifficulty" : "256",
        "currentTimestamp" : 1,
        "currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba"
        },
        "pre" : {
        "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
            "balance" : "1000000000000000000",
            "nonce" : 0,
            "code" : "{(MSTORE 0 0xff) [[ 0 ]] (MSIZE)}",
            "storage": {}
        }
        },
        "exec" : {
            "address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
            "origin" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "caller" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "value" : "1000000000000000000",
            "data" : "",
            "gasPrice" : "100000000000000",
            "gas" : "10000"
        }
    },

    "msize1": {
        "env" : {
        "previousHash" : "5e20a0453cecd065ea59c37ac63e079ee08998b6045136a8ce6635c7912ec0b6",
        "currentNumber" : "0",
        "currentGasLimit" : "1000000",
        "currentDifficulty" : "256",
        "currentTimestamp" : 1,
        "currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba"
        },
        "pre" : {
        "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
            "balance" : "1000000000000000000",
            "nonce" : 0,
            "code" : "{(MSTORE 0 0xffffffffff) [[ 0 ]] (MSIZE)}",
            "storage": {}
        }
        },
        "exec" : {
            "address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
            "origin" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "caller" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "value" : "1000000000000000000",
            "data" : "",
            "gasPrice" : "100000000000000",
            "gas" : "10000"
        }
    },

    "msize2": {
        "env" : {
        "previousHash" : "5e20a0453cecd065ea59c37ac63e079ee08998b6045136a8ce6635c7912ec0b6",
        "currentNumber" : "0",
        "currentGasLimit" : "1000000",
        "currentDifficulty" : "256",
        "currentTimestamp" : 1,
        "currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba"
        },
        "pre" : {
        "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
            "balance" : "1000000000000000000",
            "nonce" : 0,
            "code" : "{(MSTORE 0 0xffffffffff)  (MSTORE 32 0xeeee) [[ 0 ]] (MSIZE)}",
            "storage": {}
        }
        },
        "exec" : {
            "address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
            "origin" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "caller" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "value" : "1000000000000000000",
            "data" : "",
            "gasPrice" : "100000000000000",
            "gas" : "10000"
        }
    },

    "msize3": {
        "env" : {
        "previousHash" : "5e20a0453cecd065ea59c37ac63e079ee08998b6045136a8ce6635c7912ec0b6",
        "currentNumber" : "0",
        "currentGasLimit" : "1000000",
        "currentDifficulty" : "256",
        "currentTimestamp" : 1,
        "currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba"
        },
        "pre" : {
        "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
            "balance" : "1000000000000000000",
            "nonce" : 0,
            "code" : "{(MSTORE 0 0xffffffffff)  (MSTORE 90 0xeeee) [[ 0 ]] (MSIZE)}",
            "storage": {}
        }
        },
        "exec" : {
            "address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
            "origin" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "caller" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "value" : "1000000000000000000",
            "data" : "",
            "gasPrice" : "100000000000000",
            "gas" : "10000"
        }
    },

    "gas0": {
        "env" : {
        "previousHash" : "5e20a0453cecd065ea59c37ac63e079ee08998b6045136a8ce6635c7912ec0b6",
        "currentNumber" : "0",
        "currentGasLimit" : "1000000",
        "currentDifficulty" : "256",
        "currentTimestamp" : 1,
        "currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba"
        },
        "pre" : {
        "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
            "balance" : "1000000000000000000",
            "nonce" : 0,
            "code" : "{(MSTORE 0 0xffffffffff)  (MSTORE 90 0xeeee) [[ 0 ]] (GAS)}",
            "storage": {}
        }
        },
        "exec" : {
            "address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
            "origin" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "caller" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "value" : "1000000000000000000",
            "data" : "",
            "gasPrice" : "100000000000000",
            "gas" : "10000"
        }
    },

    "gas1": {
        "env" : {
        "previousHash" : "5e20a0453cecd065ea59c37ac63e079ee08998b6045136a8ce6635c7912ec0b6",
        "currentNumber" : "0",
        "currentGasLimit" : "1000000",
        "currentDifficulty" : "256",
        "currentTimestamp" : 1,
        "currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba"
        },
        "pre" : {
        "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
            "balance" : "1000000000000000000",
            "nonce" : 0,
            "code" : "{[[ 0 ]] (GAS)}",
            "storage": {}
        }
        },
        "exec" : {
            "address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
            "origin" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "caller" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "value" : "1000000000000000000",
            "data" : "",
            "gasPrice" : "100000000000000",
            "gas" : "10000"
        }
    }
}