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

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

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

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

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

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

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

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

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

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

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

    "mloadMemExp": {
        "env" : {
        "previousHash" : "5e20a0453cecd065ea59c37ac63e079ee08998b6045136a8ce6635c7912ec0b6",
        "currentNumber" : "0",
        "currentGasLimit" : "8390000000",
        "currentDifficulty" : "256",
        "currentTimestamp" : "1",
        "currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba"
        },
        "pre" : {
        "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
            "balance" : "100000000000000000000000",
            "nonce" : "0",
            "code" : "0x630fffffff51",
            "storage": {}
        }
        },
        "exec" : {
            "address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
            "origin" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "caller" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "value" : "1000000000000000000",
            "data" : "",
            "gasPrice" : "1",
            "gas" : "8390000"
        }
    },

    "mstoreMemExp": {
        "env" : {
        "previousHash" : "5e20a0453cecd065ea59c37ac63e079ee08998b6045136a8ce6635c7912ec0b6",
        "currentNumber" : "0",
        "currentGasLimit" : "8390000000",
        "currentDifficulty" : "256",
        "currentTimestamp" : "1",
        "currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba"
        },
        "pre" : {
        "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
            "balance" : "100000000000000000000000",
            "nonce" : "0",
            "code" : "0x60f1630fffffff52",
            "storage": {}
        }
        },
        "exec" : {
            "address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
            "origin" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "caller" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "value" : "1000000000000000000",
            "data" : "",
            "gasPrice" : "1",
            "gas" : "8390000000"
        }
    },

    "log1MemExp": {
        "env" : {
        "previousHash" : "5e20a0453cecd065ea59c37ac63e079ee08998b6045136a8ce6635c7912ec0b6",
        "currentNumber" : "0",
        "currentGasLimit" : "8390000000",
        "currentDifficulty" : "256",
        "currentTimestamp" : "1",
        "currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba"
        },
        "pre" : {
        "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
            "balance" : "100000000000000000000000",
            "nonce" : "0",
            "code" : "0x60ff60ff630fffffffa1",
            "storage": {}
        }
        },
        "exec" : {
            "address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
            "origin" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "caller" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "value" : "1000000000000000000",
            "data" : "",
            "gasPrice" : "1",
            "gas" : "8390000000"
        }
    },

    "extcodecopyMemExp": {
        "env" : {
        "previousHash" : "5e20a0453cecd065ea59c37ac63e079ee08998b6045136a8ce6635c7912ec0b6",
        "currentNumber" : "0",
        "currentGasLimit" : "8390000000",
        "currentDifficulty" : "256",
        "currentTimestamp" : "1",
        "currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba"
        },
        "pre" : {
        "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
            "balance" : "100000000000000000000000",
            "nonce" : "0",
            "code" : "0x60ff60ff630fffffff630fffffff3c",
            "storage": {}
        }
        },
        "exec" : {
            "address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
            "origin" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "caller" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "value" : "1000000000000000000",
            "data" : "",
            "gasPrice" : "1",
            "gas" : "8390000000"
        }
    },

    "codecopyMemExp": {
        "env" : {
        "previousHash" : "5e20a0453cecd065ea59c37ac63e079ee08998b6045136a8ce6635c7912ec0b6",
        "currentNumber" : "0",
        "currentGasLimit" : "8390000000",
        "currentDifficulty" : "256",
        "currentTimestamp" : "1",
        "currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba"
        },
        "pre" : {
        "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
            "balance" : "100000000000000000000000",
            "nonce" : "0",
            "code" : "0x60ff60ff630fffffff630fffffff39",
            "storage": {}
        }
        },
        "exec" : {
            "address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
            "origin" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "caller" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "value" : "1000000000000000000",
            "data" : "",
            "gasPrice" : "1",
            "gas" : "8390000000"
        }
    },

    "calldatacopyMemExp": {
        "env" : {
        "previousHash" : "5e20a0453cecd065ea59c37ac63e079ee08998b6045136a8ce6635c7912ec0b6",
        "currentNumber" : "0",
        "currentGasLimit" : "8390000000",
        "currentDifficulty" : "256",
        "currentTimestamp" : "1",
        "currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba"
        },
        "pre" : {
        "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
            "balance" : "100000000000000000000000",
            "nonce" : "0",
            "code" : "0x60ff60ff630fffffff630fffffff37",
            "storage": {}
        }
        },
        "exec" : {
            "address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
            "origin" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "caller" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "value" : "1000000000000000000",
            "data" : "",
            "gasPrice" : "1",
            "gas" : "8390000000"
        }
    },

    "sha3MemExp": {
        "env" : {
        "previousHash" : "5e20a0453cecd065ea59c37ac63e079ee08998b6045136a8ce6635c7912ec0b6",
        "currentNumber" : "0",
        "currentGasLimit" : "8390000000",
        "currentDifficulty" : "256",
        "currentTimestamp" : "1",
        "currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba"
        },
        "pre" : {
        "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
            "balance" : "100000000000000000000000",
            "nonce" : "0",
            "code" : "0x60ff630fffffff20",
            "storage": {}
        }
        },
        "exec" : {
            "address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
            "origin" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "caller" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "value" : "1000000000000000000",
            "data" : "",
            "gasPrice" : "1",
            "gas" : "8390000000"
        }
    },

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

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

    "mstore8_1": {
        "env" : {
        "previousHash" : "5e20a0453cecd065ea59c37ac63e079ee08998b6045136a8ce6635c7912ec0b6",
        "currentNumber" : "0",
        "currentGasLimit" : "1000000",
        "currentDifficulty" : "256",
        "currentTimestamp" : "1",
        "currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba"
        },
        "expect" : {
            "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
                "balance" : "100000000000000000000000",
                "code" : "0x60ff60015360ee600253600051600155",
                "nonce" : "0",
                "storage" : {
                    "0x01" : "0xffee0000000000000000000000000000000000000000000000000000000000"
                }
            }
        },
        "pre" : {
        "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
            "balance" : "100000000000000000000000",
            "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" : "100000"
        }
    },

    "sstore_load_0": {
        "env" : {
        "previousHash" : "5e20a0453cecd065ea59c37ac63e079ee08998b6045136a8ce6635c7912ec0b6",
        "currentNumber" : "0",
        "currentGasLimit" : "1000000",
        "currentDifficulty" : "256",
        "currentTimestamp" : "1",
        "currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba"
        },
        "expect" : {
            "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
                "storage" : {
                    "0x" : "0xff",
                    "0x0a" : "0xee",
                    "0x14" : "0xff"
                }
            }
        },
        "pre" : {
        "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
            "balance" : "100000000000000000000000",
            "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" : "100000"
        }
    },

    "sstore_load_1": {
        "env" : {
        "previousHash" : "5e20a0453cecd065ea59c37ac63e079ee08998b6045136a8ce6635c7912ec0b6",
        "currentNumber" : "0",
        "currentGasLimit" : "1000000",
        "currentDifficulty" : "256",
        "currentTimestamp" : "1",
        "currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba"
        },
        "expect" : {
            "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
                "storage" : {
                    "0x" : "0xff",
                    "0x0a" : "0xee"
                }
            }
        },
        "pre" : {
        "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
            "balance" : "100000000000000000000000",
            "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" : "100000"
        }
    },

    "sstore_load_2": {
        "env" : {
        "previousHash" : "5e20a0453cecd065ea59c37ac63e079ee08998b6045136a8ce6635c7912ec0b6",
        "currentNumber" : "0",
        "currentGasLimit" : "1000000",
        "currentDifficulty" : "256",
        "currentTimestamp" : "1",
        "currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba"
        },
        "pre" : {
        "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
            "balance" : "100000000000000000000000",
            "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" : "100000"
        }
    },

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

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

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

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

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

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

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

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

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


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

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

    "jumpTo1InstructionafterJump_jumpdestFirstInstruction": {
        "env" : {
        "previousHash" : "5e20a0453cecd065ea59c37ac63e079ee08998b6045136a8ce6635c7912ec0b6",
        "currentNumber" : "0",
        "currentGasLimit" : "1000000",
        "currentDifficulty" : "256",
        "currentTimestamp" : "1",
        "currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba"
        },
        "pre" : {
        "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
            "balance" : "1000000000000000000",
            "nonce" : "0",
            "code" : "0x5b6003565b6001600055",
            "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" : "100000000000000000000000",
            "nonce" : "0",
            "code" : "0x6002600401565b600360005260206000f3600656",
            "storage": {}
        }
        },
        "exec" : {
            "address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
            "origin" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "caller" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "value" : "1000000000000000000",
            "data" : "",
            "gasPrice" : "100000000000000",
            "gas" : "100000"
        }
    },

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

    "DynamicJumpStartWithJumpDest": {
        "env" : {
        "previousHash" : "5e20a0453cecd065ea59c37ac63e079ee08998b6045136a8ce6635c7912ec0b6",
        "currentNumber" : "0",
        "currentGasLimit" : "1000000",
        "currentDifficulty" : "256",
        "currentTimestamp" : "1",
        "currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba"
        },
        "expect" : {
            "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
                "storage" : {
                    "0x" : "0x12"
                }
            }
        },
        "pre" : {
        "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
            "balance" : "100000000000000000000000",
            "nonce" : "0",
            "code" : "0x5b586000555960115758600052596000575b58600055",
            "storage": {}
        }
        },
        "exec" : {
            "address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
            "origin" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "caller" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "value" : "1000000000000000000",
            "data" : "",
            "gasPrice" : "100000000000000",
            "gas" : "100000"
        }
    },

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

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

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

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

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

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

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

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

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

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

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

    "BlockNumberDynamicJumpiAfterStop": {
           "env" : {
           "previousHash" : "5e20a0453cecd065ea59c37ac63e079ee08998b6045136a8ce6635c7912ec0b6",
           "currentNumber" : "2",
           "currentGasLimit" : "1000000",
           "currentDifficulty" : "256",
           "currentTimestamp" : "1",
           "currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba"
           },
           "expect" : {
            "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
                "storage" : {
                    "0x03" : "0x02"
                }
            }
           },		
           "pre" : {
           "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
               "balance" : "100000000000000000000000",
               "nonce" : "0",
               "code" : "0x600160084301570060015b6002600355",
               "storage": {}
           }
           },
           "exec" : {
               "address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
               "origin" : "cd1722f3947def4cf144679da39c4c32bdc35681",
               "caller" : "cd1722f3947def4cf144679da39c4c32bdc35681",
               "value" : "1000000000000000000",
               "data" : "",
               "gasPrice" : "100000000000000",
               "gas" : "100000"
           }
       },

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

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

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

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

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

   "DyanmicJump0_outOfBoundary": {
       "env" : {
       "previousHash" : "5e20a0453cecd065ea59c37ac63e079ee08998b6045136a8ce6635c7912ec0b6",
       "currentNumber" : "2",
       "currentGasLimit" : "1000000",
       "currentDifficulty" : "256",
       "currentTimestamp" : "1",
       "currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba"
       },
       "pre" : {
       "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
           "balance" : "100000000000000000000000",
           "nonce" : "0",
           "code" : "0x602360074301566001600255",
           "storage": {}
       }
       },
       "exec" : {
           "address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
           "origin" : "cd1722f3947def4cf144679da39c4c32bdc35681",
           "caller" : "cd1722f3947def4cf144679da39c4c32bdc35681",
           "value" : "1000000000000000000",
           "data" : "",
           "gasPrice" : "100000000000000",
           "gas" : "100000"
       }
   },
   "BlockNumberDynamicJump0_jumpdest0": {
       "env" : {
       "previousHash" : "5e20a0453cecd065ea59c37ac63e079ee08998b6045136a8ce6635c7912ec0b6",
       "currentNumber" : "2",
       "currentGasLimit" : "1000000",
       "currentDifficulty" : "256",
       "currentTimestamp" : "1",
       "currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba"
       },
       "expect" : {
            "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
                "storage" : {
                    "0x02" : "0x23"
                }
            }
        },
       "pre" : {
       "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
           "balance" : "100000000000000000000000",
           "nonce" : "0",
           "code" : "0x6023600743015660015b600255",
           "storage": {}
       }
       },
       "exec" : {
           "address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
           "origin" : "cd1722f3947def4cf144679da39c4c32bdc35681",
           "caller" : "cd1722f3947def4cf144679da39c4c32bdc35681",
           "value" : "1000000000000000000",
           "data" : "",
           "gasPrice" : "100000000000000",
           "gas" : "100000"
       }
   },

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

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

   "BlockNumberDynamicJump0_jumpdest2": {
       "env" : {
       "previousHash" : "5e20a0453cecd065ea59c37ac63e079ee08998b6045136a8ce6635c7912ec0b6",
       "currentNumber" : "2",
       "currentGasLimit" : "1000000",
       "currentDifficulty" : "256",
       "currentTimestamp" : "1",
       "currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba"
       },
        "expect" : {
            "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
                "storage" : {
                    "0x02" : "0x23"
                }
            }
        },
       "pre" : {
       "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
           "balance" : "100000000000000000000000",
           "nonce" : "0",
           "code" : "0x6023600a60085043015660015b600255",
           "storage": {}
       }
       },
       "exec" : {
           "address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
           "origin" : "cd1722f3947def4cf144679da39c4c32bdc35681",
           "caller" : "cd1722f3947def4cf144679da39c4c32bdc35681",
           "value" : "1000000000000000000",
           "data" : "",
           "gasPrice" : "100000000000000",
           "gas" : "100000"
       }
   },

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

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

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

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

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

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


    "DynamicJumpJD_DependsOnJumps0": {
        "env" : {
        "previousHash" : "5e20a0453cecd065ea59c37ac63e079ee08998b6045136a8ce6635c7912ec0b6",
        "currentNumber" : "1",
        "currentGasLimit" : "1000000",
        "currentDifficulty" : "256",
        "currentTimestamp" : "1",
        "currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba"
        },
        "pre" : {
        "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
            "balance" : "100000000000000000000000",
            "nonce" : "0",
                "//" : "PUSH1 3 JUMP",
            "code" : "0x6009436006575b566001",
            "storage": {}
        }
        },
        "exec" : {
            "address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
            "origin" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "caller" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "value" : "1000000000000000000",
            "data" : "",
            "gasPrice" : "100000000000000",
            "gas" : "100000"
        }
    },

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

    "DynamicJumpPathologicalTest0": {
        "env" : {
        "previousHash" : "5e20a0453cecd065ea59c37ac63e079ee08998b6045136a8ce6635c7912ec0b6",
        "currentNumber" : "4",
        "currentGasLimit" : "1000000",
        "currentDifficulty" : "256",
        "currentTimestamp" : "1",
        "currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba"
        },
        "expect" : {
            "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
                "storage" : {
                    "0x01" : "0x01"
                }
            }
        },
        "pre" : {
        "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
            "balance" : "100000000000000000000000",
            "nonce" : "0",
            "code" : "0x435660615b4343025660615b60615b5b5b6001600155",
            "storage": {}
        }
        },
        "exec" : {
            "address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
            "origin" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "caller" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "value" : "1000000000000000000",
            "data" : "",
            "gasPrice" : "100000000000000",
            "gas" : "100000"
        }
    },

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

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

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

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

    "JDfromStorageDynamicJumpiAfterStop": {
           "env" : {
           "previousHash" : "5e20a0453cecd065ea59c37ac63e079ee08998b6045136a8ce6635c7912ec0b6",
           "currentNumber" : "2",
           "currentGasLimit" : "1000000",
           "currentDifficulty" : "256",
           "currentTimestamp" : "1",
           "currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba"
           },
           "expect" : {
            "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
                "storage" : {
                    "0x" : "0x04",
                    "0x03" : "0x02"
                }
            }
           },
           "pre" : {
           "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
               "balance" : "100000000000000000000000",
               "nonce" : "0",
               "code" : "0x6001600860005401570060015b6002600355",
               "storage" : {
                       "0x00" : "0x04"
                   }
           }
           },
           "exec" : {
               "address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
               "origin" : "cd1722f3947def4cf144679da39c4c32bdc35681",
               "caller" : "cd1722f3947def4cf144679da39c4c32bdc35681",
               "value" : "1000000000000000000",
               "data" : "",
               "gasPrice" : "100000000000000",
               "gas" : "100000"
           }
    },

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

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

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

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

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

    "DyanmicJump0_outOfBoundary": {
       "env" : {
       "previousHash" : "5e20a0453cecd065ea59c37ac63e079ee08998b6045136a8ce6635c7912ec0b6",
       "currentNumber" : "2",
       "currentGasLimit" : "1000000",
       "currentDifficulty" : "256",
       "currentTimestamp" : "1",
       "currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba"
       },
       "pre" : {
       "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
           "balance" : "100000000000000000000000",
           "nonce" : "0",
           "code" : "0x6023600760005401566001600255",
           "storage" : {
                   "0x00" : "0x04"
               }

       }
       },
       "exec" : {
           "address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
           "origin" : "cd1722f3947def4cf144679da39c4c32bdc35681",
           "caller" : "cd1722f3947def4cf144679da39c4c32bdc35681",
           "value" : "1000000000000000000",
           "data" : "",
           "gasPrice" : "100000000000000",
           "gas" : "100000"
       }
    },
    "JDfromStorageDynamicJump0_jumpdest0": {
       "env" : {
       "previousHash" : "5e20a0453cecd065ea59c37ac63e079ee08998b6045136a8ce6635c7912ec0b6",
       "currentNumber" : "2",
       "currentGasLimit" : "1000000",
       "currentDifficulty" : "256",
       "currentTimestamp" : "1",
       "currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba"
       },
       "expect" : {
            "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
                "storage" : {
                    "0x" : "0x04",
                    "0x02" : "0x23"
                }
            }
       },
       "pre" : {
       "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
           "balance" : "100000000000000000000000",
           "nonce" : "0",
           "code" : "0x60236007600054015660015b600255",
           "storage" : {
                   "0x00" : "0x04"
               }
       }
       },
       "exec" : {
           "address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
           "origin" : "cd1722f3947def4cf144679da39c4c32bdc35681",
           "caller" : "cd1722f3947def4cf144679da39c4c32bdc35681",
           "value" : "1000000000000000000",
           "data" : "",
           "gasPrice" : "100000000000000",
           "gas" : "100000"
       }
    },

    "JDfromStorageDynamicJump0_withoutJumpdest": {
       "env" : {
       "previousHash" : "5e20a0453cecd065ea59c37ac63e079ee08998b6045136a8ce6635c7912ec0b6",
       "currentNumber" : "2",
       "currentGasLimit" : "1000000",
       "currentDifficulty" : "256",
       "currentTimestamp" : "1",
       "currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba"
       },
       "pre" : {
       "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
           "balance" : "100000000000000000000000",
           "nonce" : "0",
           "code" : "0x6023600760005401566001600255",
           "storage" : {
                   "0x00" : "0x04"
               }

       }
       },
       "exec" : {
           "address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
           "origin" : "cd1722f3947def4cf144679da39c4c32bdc35681",
           "caller" : "cd1722f3947def4cf144679da39c4c32bdc35681",
           "value" : "1000000000000000000",
           "data" : "",
           "gasPrice" : "100000000000000",
           "gas" : "100000"
       }
    },

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

    "JDfromStorageDynamicJump0_jumpdest2": {
       "env" : {
       "previousHash" : "5e20a0453cecd065ea59c37ac63e079ee08998b6045136a8ce6635c7912ec0b6",
       "currentNumber" : "2",
       "currentGasLimit" : "1000000",
       "currentDifficulty" : "256",
       "currentTimestamp" : "1",
       "currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba"
       },
        "expect" : {
            "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
                "storage" : {
                    "0x" : "0x04",
                    "0x02" : "0x23"
                }
            }
        },
       "pre" : {
       "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
           "balance" : "100000000000000000000000",
           "nonce" : "0",
           "code" : "0x6023600a600850600054015660015b600255",
           "storage" : {
                   "0x00" : "0x04"
               }

       }
       },
       "exec" : {
           "address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
           "origin" : "cd1722f3947def4cf144679da39c4c32bdc35681",
           "caller" : "cd1722f3947def4cf144679da39c4c32bdc35681",
           "value" : "1000000000000000000",
           "data" : "",
           "gasPrice" : "100000000000000",
           "gas" : "100000"
       }
    },

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

    "JDfromStorageDynamicJump1": {
       "env" : {
       "previousHash" : "5e20a0453cecd065ea59c37ac63e079ee08998b6045136a8ce6635c7912ec0b6",
       "currentNumber" : "2",
       "currentGasLimit" : "1000000",
       "currentDifficulty" : "256",
       "currentTimestamp" : "1",
       "currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba"
       },
       "pre" : {
       "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
           "balance" : "100000000000000000000000",
           "nonce" : "0",
           "code" : "0x620fffff620fffff016000540156",
           "storage" : {
                   "0x00" : "0x04"
               }

       }
       },
       "exec" : {
           "address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
           "origin" : "cd1722f3947def4cf144679da39c4c32bdc35681",
           "caller" : "cd1722f3947def4cf144679da39c4c32bdc35681",
           "value" : "1000000000000000000",
           "data" : "",
           "gasPrice" : "100000000000000",
           "gas" : "100000"
       }
    },

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

    "JDfromStorageDynamicJumpi1_jumpdest": {
       "env" : {
       "previousHash" : "5e20a0453cecd065ea59c37ac63e079ee08998b6045136a8ce6635c7912ec0b6",
       "currentNumber" : "2",
       "currentGasLimit" : "1000000",
       "currentDifficulty" : "256",
       "currentTimestamp" : "1",
       "currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba"
       },
       "pre" : {
       "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
           "balance" : "100000000000000000000000",
           "nonce" : "0",
           "code" : "0x60236001600a600054015760015b600255",
           "storage" : {
                   "0x00" : "0x04"
               }

       }
       },
       "exec" : {
           "address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
           "origin" : "cd1722f3947def4cf144679da39c4c32bdc35681",
           "caller" : "cd1722f3947def4cf144679da39c4c32bdc35681",
           "value" : "1000000000000000000",
           "data" : "",
           "gasPrice" : "100000000000000",
           "gas" : "100000"
       }
    },

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

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


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

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

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

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

    "msize2": {
        "env" : {
        "previousHash" : "5e20a0453cecd065ea59c37ac63e079ee08998b6045136a8ce6635c7912ec0b6",
        "currentNumber" : "0",
        "currentGasLimit" : "1000000",
        "currentDifficulty" : "256",
        "currentTimestamp" : "1",
        "currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba"
        },
        "expect" : {
            "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
                "storage" : {
                    "0x" : "0x40"
                }
            }
        },
        "pre" : {
        "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
            "balance" : "100000000000000000000000",
            "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" : "100000"
        }
    },

    "msize3": {
        "env" : {
        "previousHash" : "5e20a0453cecd065ea59c37ac63e079ee08998b6045136a8ce6635c7912ec0b6",
        "currentNumber" : "0",
        "currentGasLimit" : "1000000",
        "currentDifficulty" : "256",
        "currentTimestamp" : "1",
        "currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba"
        },
        "expect" : {
            "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
                "storage" : {
                    "0x" : "0x80"
                }
            }
        },
        "pre" : {
        "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
            "balance" : "100000000000000000000000",
            "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" : "100000"
        }
    },

    "gas0": {
        "env" : {
        "previousHash" : "5e20a0453cecd065ea59c37ac63e079ee08998b6045136a8ce6635c7912ec0b6",
        "currentNumber" : "0",
        "currentGasLimit" : "1000000",
        "currentDifficulty" : "256",
        "currentTimestamp" : "1",
        "currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba"
        },
        "expect" : {
            "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
                "storage" : {
                    "0x" : "0x018680"
                }
            }
        },
        "pre" : {
        "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
            "balance" : "100000000000000000000000",
            "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" : "100000"
        }
    },

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

    "gasOverFlow": {
        "env" : {
            "previousHash" : "5e20a0453cecd065ea59c37ac63e079ee08998b6045136a8ce6635c7912ec0b6",
            "currentNumber" : "0",
            "currentGasLimit" : "1000000",
            "currentDifficulty" : "256",
            "currentTimestamp" : "1",
            "currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba"
        },
        "pre" : {
            "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
                "balance" : "100000000000000000000000",
                "nonce" : "0",
                "code" : "(asm PUSH1 0x03 JUMPDEST PUSH1 0x01 SAWP1 SUB DUP1 PUSH1 0x02 JUMPI PUSH9 0x010000000000000016 JUMP JUMPDEST PUSH4 0xbadf000d PUSH1 0x11 SSTORE STOP )",
                "storage": {}
            }
        },
        "exec" : {
            "address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
            "origin" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "caller" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "value" : "1000000000000000000",
            "data" : "",
            "gasPrice" : "100000000000000",
            "gas" : "100000"
        }
    },

    "byte1": {
        "env" : {
        "previousHash" : "5e20a0453cecd065ea59c37ac63e079ee08998b6045136a8ce6635c7912ec0b6",
        "currentNumber" : "0",
        "currentGasLimit" : "1000000",
        "currentDifficulty" : "256",
        "currentTimestamp" : "1",
        "currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba"
        },
        "pre" : {
        "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
            "balance" : "100000000000000000000000",
            "nonce" : "0",
            "code" : "(asm 0x112233445566778899001122334455667788990011223344556677889900aabb 0 BYTE 0x112233445566778899001122334455667788990011223344556677889900aabb 1 BYTE 0x112233445566778899001122334455667788990011223344556677889900aabb 2 BYTE 0x112233445566778899001122334455667788990011223344556677889900aabb 3 BYTE 0x112233445566778899001122334455667788990011223344556677889900aabb 4 BYTE 0x112233445566778899001122334455667788990011223344556677889900aabb 5 BYTE 0x112233445566778899001122334455667788990011223344556677889900aabb 6 BYTE 0x112233445566778899001122334455667788990011223344556677889900aabb 7 BYTE 0x112233445566778899001122334455667788990011223344556677889900aabb 8 BYTE 0x112233445566778899001122334455667788990011223344556677889900aabb 9 BYTE 0x112233445566778899001122334455667788990011223344556677889900aabb 10 BYTE 0x112233445566778899001122334455667788990011223344556677889900aabb 11 BYTE 0x112233445566778899001122334455667788990011223344556677889900aabb 12 BYTE 0x112233445566778899001122334455667788990011223344556677889900aabb 13 BYTE 0x112233445566778899001122334455667788990011223344556677889900aabb 14 BYTE 0x112233445566778899001122334455667788990011223344556677889900aabb 15 BYTE 0x112233445566778899001122334455667788990011223344556677889900aabb 16 BYTE 0x112233445566778899001122334455667788990011223344556677889900aabb 17 BYTE 0x112233445566778899001122334455667788990011223344556677889900aabb 18 BYTE 0x112233445566778899001122334455667788990011223344556677889900aabb 19 BYTE 0x112233445566778899001122334455667788990011223344556677889900aabb 20 BYTE 0x112233445566778899001122334455667788990011223344556677889900aabb 21 BYTE 0x112233445566778899001122334455667788990011223344556677889900aabb 22 BYTE 0x112233445566778899001122334455667788990011223344556677889900aabb 23 BYTE 0x112233445566778899001122334455667788990011223344556677889900aabb 24 BYTE 0x112233445566778899001122334455667788990011223344556677889900aabb 25 BYTE 0x112233445566778899001122334455667788990011223344556677889900aabb 26 BYTE 0x112233445566778899001122334455667788990011223344556677889900aabb 27 BYTE 0x112233445566778899001122334455667788990011223344556677889900aabb 28 BYTE 0x112233445566778899001122334455667788990011223344556677889900aabb 29 BYTE 0x112233445566778899001122334455667788990011223344556677889900aabb 30 BYTE 0x112233445566778899001122334455667788990011223344556677889900aabb 31 BYTE 0x112233445566778899001122334455667788990011223344556677889900aabb 32 BYTE 0x112233445566778899001122334455667788990011223344556677889900aabb 2014 BYTE 0 0 SSTORE)",
            "storage": {}
        }
        },
        "exec" : {
            "address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
            "origin" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "caller" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "value" : "1000000000000000000",
            "data" : "",
            "gasPrice" : "100000000000000",
            "gas" : "100000"
        }
    },

    "memory1": {
        "env" : {
        "previousHash" : "5e20a0453cecd065ea59c37ac63e079ee08998b6045136a8ce6635c7912ec0b6",
        "currentNumber" : "0",
        "currentGasLimit" : "1000000",
        "currentDifficulty" : "256",
        "currentTimestamp" : "1",
        "currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba"
        },
        "pre" : {
        "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
            "balance" : "100000000000000000000000",
            "nonce" : "0",
            "code" : "(asm 2 0 MSTORE8 3 1 MSTORE8 0 MLOAD 1 MLOAD ADD 2 MSTORE 64 0 RETURN)",
            "storage": {}
        }
        },
        "exec" : {
            "address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
            "origin" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "caller" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "value" : "1000000000000000000",
            "data" : "",
            "gasPrice" : "100000000000000",
            "gas" : "100000"
        }
    },

    "return1": {
        "env" : {
        "previousHash" : "5e20a0453cecd065ea59c37ac63e079ee08998b6045136a8ce6635c7912ec0b6",
        "currentNumber" : "0",
        "currentGasLimit" : "1000000",
        "currentDifficulty" : "256",
        "currentTimestamp" : "1",
        "currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba"
        },
        "pre" : {
        "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
            "balance" : "100000000000000000000000",
            "nonce" : "0",
            "code" : "(asm 1 1000000 RETURN)",
            "storage": {}
        }
        },
        "exec" : {
            "address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
            "origin" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "caller" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "value" : "1000000000000000000",
            "data" : "",
            "gasPrice" : "100000000000000",
            "gas" : "100000"
        }
    },

    "return2": {
        "env" : {
        "previousHash" : "5e20a0453cecd065ea59c37ac63e079ee08998b6045136a8ce6635c7912ec0b6",
        "currentNumber" : "0",
        "currentGasLimit" : "1000000",
        "currentDifficulty" : "256",
        "currentTimestamp" : "1",
        "currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba"
        },
        "pre" : {
        "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
            "balance" : "100000000000000000000000",
            "nonce" : "0",
            "code" : "{ [i] 1 ( if (> @i 0) { (return 39) [i] 2 } (return 1) ) }",
            "storage": {}
        }
        },
        "exec" : {
            "address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
            "origin" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "caller" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "value" : "1000000000000000000",
            "data" : "",
            "gasPrice" : "100000000000000",
            "gas" : "100000"
        }
    },

    "stackjump1": {
        "env" : {
        "previousHash" : "5e20a0453cecd065ea59c37ac63e079ee08998b6045136a8ce6635c7912ec0b6",
        "currentNumber" : "0",
        "currentGasLimit" : "1000000",
        "currentDifficulty" : "256",
        "currentTimestamp" : "1",
        "currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba"
        },
        "pre" : {
        "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
            "balance" : "100000000000000000000000",
            "nonce" : "0",
            "code" : "(asm 0x4 0x6 0x9 0x14 JUMP JUMPDEST 0xa SUB 0x0 MSTORE MSIZE 0x0 RETURN JUMPDEST 0x0 MSTORE ADD 0x9 JUMP)",
            "storage": {}
        }
        },
        "exec" : {
            "address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
            "origin" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "caller" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "value" : "1000000000000000000",
            "data" : "",
            "gasPrice" : "100000000000000",
            "gas" : "100000"
        }
    },

    "kv1": {
        "env" : {
        "previousHash" : "5e20a0453cecd065ea59c37ac63e079ee08998b6045136a8ce6635c7912ec0b6",
        "currentNumber" : "0",
        "currentGasLimit" : "1000000",
        "currentDifficulty" : "256",
        "currentTimestamp" : "1",
        "currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba"
        },
        "expect" : {
            "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
                "storage" : {
                    "0x45" : "0xcd1722f3947def4cf144679da39c4c32bdc35681"
                }
            }
        },
        "pre" : {
        "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
            "balance" : "100000000000000000000000",
            "nonce" : "0",
            "code" : "{    [[69]] (caller)   (return 0 (lll     (when (= (caller) @@69)       (for {} (< @i (calldatasize)) [i](+ @i 64)         [[ (calldataload @i) ]] (calldataload (+ @i 32))       )     )   0))}",
            "storage": {}
        }
        },
        "exec" : {
            "address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
            "origin" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "caller" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "value" : "1000000000000000000",
            "data" : "",
            "gasPrice" : "100000000000000",
            "gas" : "100000"
        }
    },
    
    "jumpi_at_the_end" : {
        "env" : {
            "currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba",
            "currentDifficulty" : "256",
            "currentGasLimit" : "10000000",
            "currentNumber" : "0",
            "currentTimestamp" : "1",
            "previousHash" : "5e20a0453cecd065ea59c37ac63e079ee08998b6045136a8ce6635c7912ec0b6"
        },
        "exec" : {
            "address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
            "caller" : "cd1722f3947def4cf144679da39c4c32bdc35681",
			"code" : "(asm 10 0 MSTORE JUMPDEST 0 MLOAD 1 SWAP1 SUB DUP1 0 MSTORE 6 JUMPI)",
            "data" : "0x",
            "gas" : "1000",
            "gasPrice" : "100000000000000",
            "origin" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "value" : "1000000000000000000"
        },
        "pre" : {
            "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
                "balance" : "100000000000000000000000",
				"code" : "(asm 10 0 MSTORE JUMPDEST 0 MLOAD 1 SWAP1 SUB DUP1 0 MSTORE 5 JUMPI)",
                "nonce" : "0",
                "storage" : {}
            }
        }
    },

    "bad_indirect_jump1": {
        "env" : {
        "previousHash" : "5e20a0453cecd065ea59c37ac63e079ee08998b6045136a8ce6635c7912ec0b6",
        "currentNumber" : "0",
        "currentGasLimit" : "1000000",
        "currentDifficulty" : "256",
        "currentTimestamp" : "1",
        "currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba"
        },
        "pre" : {
        "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
            "balance" : "100000000000000000000000",
            "nonce" : "0",
            "code" : "(asm 27 37 MUL JUMP JUMPDEST)",
            "storage": {}
        }
        },
        "exec" : {
            "address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
            "origin" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "caller" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "value" : "1000000000000000000",
            "data" : "",
            "gasPrice" : "100000000000000",
            "gas" : "100000"
        }
    },

    "bad_indirect_jump2": {
        "env" : {
        "previousHash" : "5e20a0453cecd065ea59c37ac63e079ee08998b6045136a8ce6635c7912ec0b6",
        "currentNumber" : "0",
        "currentGasLimit" : "1000000",
        "currentDifficulty" : "256",
        "currentTimestamp" : "1",
        "currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba"
        },
        "pre" : {
        "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
            "balance" : "100000000000000000000000",
            "nonce" : "0",
            "code" : "(asm 1 3 3 MUL JUMPI 0 0 JUMP)",
            "storage": {}
        }
        },
        "exec" : {
            "address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
            "origin" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "caller" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "value" : "1000000000000000000",
            "data" : "",
            "gasPrice" : "100000000000000",
            "gas" : "100000"
        }
    },

    "for_loop1": {
        "env" : {
        "previousHash" : "5e20a0453cecd065ea59c37ac63e079ee08998b6045136a8ce6635c7912ec0b6",
        "currentNumber" : "0",
        "currentGasLimit" : "1000000",
        "currentDifficulty" : "256",
        "currentTimestamp" : "1",
        "currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba"
        },
        "pre" : {
        "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
            "balance" : "100000000000000000000000",
            "nonce" : "0",
            "code" : "(for [i]:10 (> @i 0) [i](- @i 1) [j](+ @i @j))",
            "storage": {}
        }
        },
        "exec" : {
            "address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
            "origin" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "caller" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "value" : "1000000000000000000",
            "data" : "",
            "gasPrice" : "100000000000000",
            "gas" : "100000"
        }
    },

    "for_loop2": {
        "env" : {
        "previousHash" : "5e20a0453cecd065ea59c37ac63e079ee08998b6045136a8ce6635c7912ec0b6",
        "currentNumber" : "0",
        "currentGasLimit" : "1000000",
        "currentDifficulty" : "256",
        "currentTimestamp" : "1",
        "currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba"
        },
        "pre" : {
        "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
            "balance" : "100000000000000000000000",
            "nonce" : "0",
            "code" : "(for [i]:0 (< @i 10) [i](+ @i 1) [j](+ @i @j))",
            "storage": {}
        }
        },
        "exec" : {
            "address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
            "origin" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "caller" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "value" : "1000000000000000000",
            "data" : "",
            "gasPrice" : "100000000000000",
            "gas" : "100000"
        }
    },

    "indirect_jump1": {
        "env" : {
        "previousHash" : "5e20a0453cecd065ea59c37ac63e079ee08998b6045136a8ce6635c7912ec0b6",
        "currentNumber" : "0",
        "currentGasLimit" : "1000000",
        "currentDifficulty" : "256",
        "currentTimestamp" : "1",
        "currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba"
        },
        "pre" : {
        "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
            "balance" : "100000000000000000000000",
            "nonce" : "0",
            "code" : "(asm 4 3 ADD JUMP STOP JUMPDEST 1 0 MSTORE MSIZE 0 RETURN)",
            "storage": {}
        }
        },
        "exec" : {
            "address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
            "origin" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "caller" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "value" : "1000000000000000000",
            "data" : "",
            "gasPrice" : "100000000000000",
            "gas" : "100000"
        }
    },

    "indirect_jump2": {
        "env" : {
        "previousHash" : "5e20a0453cecd065ea59c37ac63e079ee08998b6045136a8ce6635c7912ec0b6",
        "currentNumber" : "0",
        "currentGasLimit" : "1000000",
        "currentDifficulty" : "256",
        "currentTimestamp" : "1",
        "currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba"
        },
        "pre" : {
        "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
            "balance" : "100000000000000000000000",
            "nonce" : "0",
            "code" : "(asm 8 6 ADD JUMP STOP JUMPDEST 1 0 MSTORE STOP JUMPDEST 2 0 MSTORE MSIZE 0 RETURN)",
            "storage": {}
        }
        },
        "exec" : {
            "address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
            "origin" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "caller" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "value" : "1000000000000000000",
            "data" : "",
            "gasPrice" : "100000000000000",
            "gas" : "100000"
        }
    },

    "indirect_jump3": {
        "env" : {
        "previousHash" : "5e20a0453cecd065ea59c37ac63e079ee08998b6045136a8ce6635c7912ec0b6",
        "currentNumber" : "0",
        "currentGasLimit" : "1000000",
        "currentDifficulty" : "256",
        "currentTimestamp" : "1",
        "currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba"
        },
        "pre" : {
        "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
            "balance" : "100000000000000000000000",
            "nonce" : "0",
            "code" : "(asm  1 4 5 ADD JUMPI STOP JUMPDEST 1 0 MSTORE MSIZE 0 RETURN)",
            "storage": {}
        }
        },
        "exec" : {
            "address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
            "origin" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "caller" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "value" : "1000000000000000000",
            "data" : "",
            "gasPrice" : "100000000000000",
            "gas" : "100000"
        }
    },

    "indirect_jump4": {
        "env" : {
        "previousHash" : "5e20a0453cecd065ea59c37ac63e079ee08998b6045136a8ce6635c7912ec0b6",
        "currentNumber" : "0",
        "currentGasLimit" : "1000000",
        "currentDifficulty" : "256",
        "currentTimestamp" : "1",
        "currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba"
        },
        "pre" : {
        "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
            "balance" : "100000000000000000000000",
            "nonce" : "0",
            "code" : "(asm 0 7 5 ADD JUMPI 1 0 MSTORE STOP JUMPDEST)",
            "storage": {}
        }
        },
        "exec" : {
            "address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
            "origin" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "caller" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "value" : "1000000000000000000",
            "data" : "",
            "gasPrice" : "100000000000000",
            "gas" : "100000"
        }
    },

    "stack_loop": {
        "env" : {
        "previousHash" : "5e20a0453cecd065ea59c37ac63e079ee08998b6045136a8ce6635c7912ec0b6",
        "currentNumber" : "0",
        "currentGasLimit" : "1000000",
        "currentDifficulty" : "256",
        "currentTimestamp" : "1",
        "currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba"
        },
        "pre" : {
        "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
            "balance" : "100000000000000000000000",
            "nonce" : "0",
            "code" : "(asm 10 JUMPDEST 1 DUP2 SUB DUP1 2 JUMPI   0 MSTORE8 1  MSTORE8 2  MSTORE8 3 MSTORE8 4 MSTORE8 5 MSTORE8 6 MSTORE8 7 MSTORE8 8 MSTORE8 9 MSTORE8 MSIZE 0 RETURN)",
            "storage": {}
        }
        },
        "exec" : {
            "address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
            "origin" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "caller" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "value" : "1000000000000000000",
            "data" : "",
            "gasPrice" : "100000000000000",
            "gas" : "100000"
        }
    },

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