{
    "dupAt51doesNotExistAnymore" : {
        "callcreates" : [
        ],
        "env" : {
            "currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba",
            "currentDifficulty" : "256",
            "currentGasLimit" : "1000000",
            "currentNumber" : "0",
            "currentTimestamp" : "1",
            "previousHash" : "5e20a0453cecd065ea59c37ac63e079ee08998b6045136a8ce6635c7912ec0b6"
        },
        "exec" : {
            "address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
            "caller" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "code" : "0x600260035157",
            "data" : "0x",
            "gas" : "10000",
            "gasPrice" : "100000000000000",
            "origin" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "value" : "1000000000000000000"
        },
        "gas" : "9997",
        "out" : "0x",
        "post" : {
            "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
                "balance" : "1000000000000000000",
                "code" : "0x600260035157",
                "nonce" : "0",
                "storage" : {
                }
            }
        },
        "pre" : {
            "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
                "balance" : "1000000000000000000",
                "code" : "0x600260035157",
                "nonce" : "0",
                "storage" : {
                }
            }
        }
    },
    "gas0" : {
        "callcreates" : [
        ],
        "env" : {
            "currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba",
            "currentDifficulty" : "256",
            "currentGasLimit" : "1000000",
            "currentNumber" : "0",
            "currentTimestamp" : "1",
            "previousHash" : "5e20a0453cecd065ea59c37ac63e079ee08998b6045136a8ce6635c7912ec0b6"
        },
        "exec" : {
            "address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
            "caller" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "code" : "0x64ffffffffff60005461eeee605a545c600057",
            "data" : "0x",
            "gas" : "10000",
            "gasPrice" : "100000000000000",
            "origin" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "value" : "1000000000000000000"
        },
        "gas" : "9788",
        "out" : "0x",
        "post" : {
            "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
                "balance" : "1000000000000000000",
                "code" : "0x64ffffffffff60005461eeee605a545c600057",
                "nonce" : "0",
                "storage" : {
                    "0x" : "0x2705"
                }
            }
        },
        "pre" : {
            "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
                "balance" : "1000000000000000000",
                "code" : "0x64ffffffffff60005461eeee605a545c600057",
                "nonce" : "0",
                "storage" : {
                }
            }
        }
    },
    "gas1" : {
        "callcreates" : [
        ],
        "env" : {
            "currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba",
            "currentDifficulty" : "256",
            "currentGasLimit" : "1000000",
            "currentNumber" : "0",
            "currentTimestamp" : "1",
            "previousHash" : "5e20a0453cecd065ea59c37ac63e079ee08998b6045136a8ce6635c7912ec0b6"
        },
        "exec" : {
            "address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
            "caller" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "code" : "0x5c600057",
            "data" : "0x",
            "gas" : "10000",
            "gasPrice" : "100000000000000",
            "origin" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "value" : "1000000000000000000"
        },
        "gas" : "9798",
        "out" : "0x",
        "post" : {
            "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
                "balance" : "1000000000000000000",
                "code" : "0x5c600057",
                "nonce" : "0",
                "storage" : {
                    "0x" : "0x270f"
                }
            }
        },
        "pre" : {
            "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
                "balance" : "1000000000000000000",
                "code" : "0x5c600057",
                "nonce" : "0",
                "storage" : {
                }
            }
        }
    },
    "jump0" : {
        "callcreates" : [
        ],
        "env" : {
            "currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba",
            "currentDifficulty" : "256",
            "currentGasLimit" : "1000000",
            "currentNumber" : "0",
            "currentTimestamp" : "1",
            "previousHash" : "5e20a0453cecd065ea59c37ac63e079ee08998b6045136a8ce6635c7912ec0b6"
        },
        "exec" : {
            "address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
            "caller" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "code" : "0x60236007586001600257",
            "data" : "0x",
            "gas" : "10000",
            "gasPrice" : "100000000000000",
            "origin" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "value" : "1000000000000000000"
        },
        "gas" : "9997",
        "out" : "0x",
        "post" : {
            "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
                "balance" : "1000000000000000000",
                "code" : "0x60236007586001600257",
                "nonce" : "0",
                "storage" : {
                }
            }
        },
        "pre" : {
            "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
                "balance" : "1000000000000000000",
                "code" : "0x60236007586001600257",
                "nonce" : "0",
                "storage" : {
                }
            }
        }
    },
    "jump0_foreverOutOfGas" : {
        "callcreates" : [
        ],
        "env" : {
            "currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba",
            "currentDifficulty" : "256",
            "currentGasLimit" : "1000000",
            "currentNumber" : "0",
            "currentTimestamp" : "1",
            "previousHash" : "5e20a0453cecd065ea59c37ac63e079ee08998b6045136a8ce6635c7912ec0b6"
        },
        "exec" : {
            "address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
            "caller" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "code" : "0x6023600058",
            "data" : "0x",
            "gas" : "10000",
            "gasPrice" : "100000000000000",
            "origin" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "value" : "1000000000000000000"
        },
        "gas" : "0",
        "out" : "0x",
        "post" : {
            "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
                "balance" : "1000000000000000000",
                "code" : "0x6023600058",
                "nonce" : "0",
                "storage" : {
                }
            }
        },
        "pre" : {
            "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
                "balance" : "1000000000000000000",
                "code" : "0x6023600058",
                "nonce" : "0",
                "storage" : {
                }
            }
        }
    },
    "jumpi0" : {
        "callcreates" : [
        ],
        "env" : {
            "currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba",
            "currentDifficulty" : "256",
            "currentGasLimit" : "1000000",
            "currentNumber" : "0",
            "currentTimestamp" : "1",
            "previousHash" : "5e20a0453cecd065ea59c37ac63e079ee08998b6045136a8ce6635c7912ec0b6"
        },
        "exec" : {
            "address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
            "caller" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "code" : "0x602360016009596001600257",
            "data" : "0x",
            "gas" : "10000",
            "gasPrice" : "100000000000000",
            "origin" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "value" : "1000000000000000000"
        },
        "gas" : "9996",
        "out" : "0x",
        "post" : {
            "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
                "balance" : "1000000000000000000",
                "code" : "0x602360016009596001600257",
                "nonce" : "0",
                "storage" : {
                }
            }
        },
        "pre" : {
            "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
                "balance" : "1000000000000000000",
                "code" : "0x602360016009596001600257",
                "nonce" : "0",
                "storage" : {
                }
            }
        }
    },
    "jumpi1" : {
        "callcreates" : [
        ],
        "env" : {
            "currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba",
            "currentDifficulty" : "256",
            "currentGasLimit" : "1000000",
            "currentNumber" : "0",
            "currentTimestamp" : "1",
            "previousHash" : "5e20a0453cecd065ea59c37ac63e079ee08998b6045136a8ce6635c7912ec0b6"
        },
        "exec" : {
            "address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
            "caller" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "code" : "0x602360006009596001600257",
            "data" : "0x",
            "gas" : "10000",
            "gasPrice" : "100000000000000",
            "origin" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "value" : "1000000000000000000"
        },
        "gas" : "9794",
        "out" : "0x",
        "post" : {
            "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
                "balance" : "1000000000000000000",
                "code" : "0x602360006009596001600257",
                "nonce" : "0",
                "storage" : {
                    "0x02" : "0x01"
                }
            }
        },
        "pre" : {
            "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
                "balance" : "1000000000000000000",
                "code" : "0x602360006009596001600257",
                "nonce" : "0",
                "storage" : {
                }
            }
        }
    },
    "mloadError0" : {
        "callcreates" : [
        ],
        "env" : {
            "currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba",
            "currentDifficulty" : "256",
            "currentGasLimit" : "1000000",
            "currentNumber" : "0",
            "currentTimestamp" : "1",
            "previousHash" : "5e20a0453cecd065ea59c37ac63e079ee08998b6045136a8ce6635c7912ec0b6"
        },
        "exec" : {
            "address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
            "caller" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "code" : "0x600053600057",
            "data" : "0x",
            "gas" : "10000",
            "gasPrice" : "100000000000000",
            "origin" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "value" : "1000000000000000000"
        },
        "gas" : "9896",
        "out" : "0x",
        "post" : {
            "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
                "balance" : "1000000000000000000",
                "code" : "0x600053600057",
                "nonce" : "0",
                "storage" : {
                }
            }
        },
        "pre" : {
            "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
                "balance" : "1000000000000000000",
                "code" : "0x600053600057",
                "nonce" : "0",
                "storage" : {
                }
            }
        }
    },
    "mloadError1" : {
        "callcreates" : [
        ],
        "env" : {
            "currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba",
            "currentDifficulty" : "256",
            "currentGasLimit" : "1000000",
            "currentNumber" : "0",
            "currentTimestamp" : "1",
            "previousHash" : "5e20a0453cecd065ea59c37ac63e079ee08998b6045136a8ce6635c7912ec0b6"
        },
        "exec" : {
            "address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
            "caller" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "code" : "0x6017600154600053600157",
            "data" : "0x",
            "gas" : "10000",
            "gasPrice" : "100000000000000",
            "origin" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "value" : "1000000000000000000"
        },
        "gas" : "9892",
        "out" : "0x",
        "post" : {
            "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
                "balance" : "1000000000000000000",
                "code" : "0x6017600154600053600157",
                "nonce" : "0",
                "storage" : {
                }
            }
        },
        "pre" : {
            "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
                "balance" : "1000000000000000000",
                "code" : "0x6017600154600053600157",
                "nonce" : "0",
                "storage" : {
                }
            }
        }
    },
    "mloadOutOfGasError2" : {
        "callcreates" : [
        ],
        "env" : {
            "currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba",
            "currentDifficulty" : "256",
            "currentGasLimit" : "1000000",
            "currentNumber" : "0",
            "currentTimestamp" : "1",
            "previousHash" : "5e20a0453cecd065ea59c37ac63e079ee08998b6045136a8ce6635c7912ec0b6"
        },
        "exec" : {
            "address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
            "caller" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "code" : "0x6272482553600157",
            "data" : "0x",
            "gas" : "10000",
            "gasPrice" : "100000000000000",
            "origin" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "value" : "1000000000000000000"
        },
        "gas" : "0",
        "out" : "0x",
        "post" : {
            "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
                "balance" : "1000000000000000000",
                "code" : "0x6272482553600157",
                "nonce" : "0",
                "storage" : {
                }
            }
        },
        "pre" : {
            "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
                "balance" : "1000000000000000000",
                "code" : "0x6272482553600157",
                "nonce" : "0",
                "storage" : {
                }
            }
        }
    },
    "msize0" : {
        "callcreates" : [
        ],
        "env" : {
            "currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba",
            "currentDifficulty" : "256",
            "currentGasLimit" : "1000000",
            "currentNumber" : "0",
            "currentTimestamp" : "1",
            "previousHash" : "5e20a0453cecd065ea59c37ac63e079ee08998b6045136a8ce6635c7912ec0b6"
        },
        "exec" : {
            "address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
            "caller" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "code" : "0x60ff6000545b600057",
            "data" : "0x",
            "gas" : "10000",
            "gasPrice" : "100000000000000",
            "origin" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "value" : "1000000000000000000"
        },
        "gas" : "9794",
        "out" : "0x",
        "post" : {
            "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
                "balance" : "1000000000000000000",
                "code" : "0x60ff6000545b600057",
                "nonce" : "0",
                "storage" : {
                    "0x" : "0x20"
                }
            }
        },
        "pre" : {
            "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
                "balance" : "1000000000000000000",
                "code" : "0x60ff6000545b600057",
                "nonce" : "0",
                "storage" : {
                }
            }
        }
    },
    "msize1" : {
        "callcreates" : [
        ],
        "env" : {
            "currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba",
            "currentDifficulty" : "256",
            "currentGasLimit" : "1000000",
            "currentNumber" : "0",
            "currentTimestamp" : "1",
            "previousHash" : "5e20a0453cecd065ea59c37ac63e079ee08998b6045136a8ce6635c7912ec0b6"
        },
        "exec" : {
            "address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
            "caller" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "code" : "0x64ffffffffff6000545b600057",
            "data" : "0x",
            "gas" : "10000",
            "gasPrice" : "100000000000000",
            "origin" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "value" : "1000000000000000000"
        },
        "gas" : "9794",
        "out" : "0x",
        "post" : {
            "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
                "balance" : "1000000000000000000",
                "code" : "0x64ffffffffff6000545b600057",
                "nonce" : "0",
                "storage" : {
                    "0x" : "0x20"
                }
            }
        },
        "pre" : {
            "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
                "balance" : "1000000000000000000",
                "code" : "0x64ffffffffff6000545b600057",
                "nonce" : "0",
                "storage" : {
                }
            }
        }
    },
    "msize2" : {
        "callcreates" : [
        ],
        "env" : {
            "currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba",
            "currentDifficulty" : "256",
            "currentGasLimit" : "1000000",
            "currentNumber" : "0",
            "currentTimestamp" : "1",
            "previousHash" : "5e20a0453cecd065ea59c37ac63e079ee08998b6045136a8ce6635c7912ec0b6"
        },
        "exec" : {
            "address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
            "caller" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "code" : "0x64ffffffffff60005461eeee6020545b600057",
            "data" : "0x",
            "gas" : "10000",
            "gasPrice" : "100000000000000",
            "origin" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "value" : "1000000000000000000"
        },
        "gas" : "9790",
        "out" : "0x",
        "post" : {
            "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
                "balance" : "1000000000000000000",
                "code" : "0x64ffffffffff60005461eeee6020545b600057",
                "nonce" : "0",
                "storage" : {
                    "0x" : "0x40"
                }
            }
        },
        "pre" : {
            "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
                "balance" : "1000000000000000000",
                "code" : "0x64ffffffffff60005461eeee6020545b600057",
                "nonce" : "0",
                "storage" : {
                }
            }
        }
    },
    "msize3" : {
        "callcreates" : [
        ],
        "env" : {
            "currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba",
            "currentDifficulty" : "256",
            "currentGasLimit" : "1000000",
            "currentNumber" : "0",
            "currentTimestamp" : "1",
            "previousHash" : "5e20a0453cecd065ea59c37ac63e079ee08998b6045136a8ce6635c7912ec0b6"
        },
        "exec" : {
            "address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
            "caller" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "code" : "0x64ffffffffff60005461eeee605a545b600057",
            "data" : "0x",
            "gas" : "10000",
            "gasPrice" : "100000000000000",
            "origin" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "value" : "1000000000000000000"
        },
        "gas" : "9788",
        "out" : "0x",
        "post" : {
            "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
                "balance" : "1000000000000000000",
                "code" : "0x64ffffffffff60005461eeee605a545b600057",
                "nonce" : "0",
                "storage" : {
                    "0x" : "0x80"
                }
            }
        },
        "pre" : {
            "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
                "balance" : "1000000000000000000",
                "code" : "0x64ffffffffff60005461eeee605a545b600057",
                "nonce" : "0",
                "storage" : {
                }
            }
        }
    },
    "mstore0" : {
        "callcreates" : [
        ],
        "env" : {
            "currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba",
            "currentDifficulty" : "256",
            "currentGasLimit" : "1000000",
            "currentNumber" : "0",
            "currentTimestamp" : "1",
            "previousHash" : "5e20a0453cecd065ea59c37ac63e079ee08998b6045136a8ce6635c7912ec0b6"
        },
        "exec" : {
            "address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
            "caller" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "code" : "0x7fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff600154600153600157",
            "data" : "0x",
            "gas" : "10000",
            "gasPrice" : "100000000000000",
            "origin" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "value" : "1000000000000000000"
        },
        "gas" : "9792",
        "out" : "0x",
        "post" : {
            "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
                "balance" : "1000000000000000000",
                "code" : "0x7fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff600154600153600157",
                "nonce" : "0",
                "storage" : {
                    "0x01" : "0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff"
                }
            }
        },
        "pre" : {
            "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
                "balance" : "1000000000000000000",
                "code" : "0x7fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff600154600153600157",
                "nonce" : "0",
                "storage" : {
                }
            }
        }
    },
    "mstore1" : {
        "callcreates" : [
        ],
        "env" : {
            "currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba",
            "currentDifficulty" : "256",
            "currentGasLimit" : "1000000",
            "currentNumber" : "0",
            "currentTimestamp" : "1",
            "previousHash" : "5e20a0453cecd065ea59c37ac63e079ee08998b6045136a8ce6635c7912ec0b6"
        },
        "exec" : {
            "address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
            "caller" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "code" : "0x7fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff600201600154600153600157",
            "data" : "0x",
            "gas" : "10000",
            "gasPrice" : "100000000000000",
            "origin" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "value" : "1000000000000000000"
        },
        "gas" : "9790",
        "out" : "0x",
        "post" : {
            "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
                "balance" : "1000000000000000000",
                "code" : "0x7fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff600201600154600153600157",
                "nonce" : "0",
                "storage" : {
                    "0x01" : "0x01"
                }
            }
        },
        "pre" : {
            "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
                "balance" : "1000000000000000000",
                "code" : "0x7fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff600201600154600153600157",
                "nonce" : "0",
                "storage" : {
                }
            }
        }
    },
    "mstore8WordToBigError" : {
        "callcreates" : [
        ],
        "env" : {
            "currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba",
            "currentDifficulty" : "256",
            "currentGasLimit" : "1000000",
            "currentNumber" : "0",
            "currentTimestamp" : "1",
            "previousHash" : "5e20a0453cecd065ea59c37ac63e079ee08998b6045136a8ce6635c7912ec0b6"
        },
        "exec" : {
            "address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
            "caller" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "code" : "0x",
            "data" : "0x",
            "gas" : "10000",
            "gasPrice" : "100000000000000",
            "origin" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "value" : "1000000000000000000"
        },
        "gas" : "10000",
        "out" : "0x",
        "post" : {
            "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
                "balance" : "1000000000000000000",
                "code" : "0x",
                "nonce" : "0",
                "storage" : {
                }
            }
        },
        "pre" : {
            "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
                "balance" : "1000000000000000000",
                "code" : "0x",
                "nonce" : "0",
                "storage" : {
                }
            }
        }
    },
    "mstore8_0" : {
        "callcreates" : [
        ],
        "env" : {
            "currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba",
            "currentDifficulty" : "256",
            "currentGasLimit" : "1000000",
            "currentNumber" : "0",
            "currentTimestamp" : "1",
            "previousHash" : "5e20a0453cecd065ea59c37ac63e079ee08998b6045136a8ce6635c7912ec0b6"
        },
        "exec" : {
            "address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
            "caller" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "code" : "0x7fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff600155600153600157",
            "data" : "0x",
            "gas" : "10000",
            "gasPrice" : "100000000000000",
            "origin" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "value" : "1000000000000000000"
        },
        "gas" : "9792",
        "out" : "0x",
        "post" : {
            "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
                "balance" : "1000000000000000000",
                "code" : "0x7fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff600155600153600157",
                "nonce" : "0",
                "storage" : {
                    "0x01" : "0xff00000000000000000000000000000000000000000000000000000000000000"
                }
            }
        },
        "pre" : {
            "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
                "balance" : "1000000000000000000",
                "code" : "0x7fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff600155600153600157",
                "nonce" : "0",
                "storage" : {
                }
            }
        }
    },
    "mstore8_1" : {
        "callcreates" : [
        ],
        "env" : {
            "currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba",
            "currentDifficulty" : "256",
            "currentGasLimit" : "1000000",
            "currentNumber" : "0",
            "currentTimestamp" : "1",
            "previousHash" : "5e20a0453cecd065ea59c37ac63e079ee08998b6045136a8ce6635c7912ec0b6"
        },
        "exec" : {
            "address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
            "caller" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "code" : "0x60ff60015560ee600255600053600157",
            "data" : "0x",
            "gas" : "10000",
            "gasPrice" : "100000000000000",
            "origin" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "value" : "1000000000000000000"
        },
        "gas" : "9790",
        "out" : "0x",
        "post" : {
            "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
                "balance" : "1000000000000000000",
                "code" : "0x60ff60015560ee600255600053600157",
                "nonce" : "0",
                "storage" : {
                    "0x01" : "0xffee0000000000000000000000000000000000000000000000000000000000"
                }
            }
        },
        "pre" : {
            "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
                "balance" : "1000000000000000000",
                "code" : "0x60ff60015560ee600255600053600157",
                "nonce" : "0",
                "storage" : {
                }
            }
        }
    },
    "mstoreWordToBigError" : {
        "callcreates" : [
        ],
        "env" : {
            "currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba",
            "currentDifficulty" : "256",
            "currentGasLimit" : "1000000",
            "currentNumber" : "0",
            "currentTimestamp" : "1",
            "previousHash" : "5e20a0453cecd065ea59c37ac63e079ee08998b6045136a8ce6635c7912ec0b6"
        },
        "exec" : {
            "address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
            "caller" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "code" : "0x",
            "data" : "0x",
            "gas" : "10000",
            "gasPrice" : "100000000000000",
            "origin" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "value" : "1000000000000000000"
        },
        "gas" : "10000",
        "out" : "0x",
        "post" : {
            "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
                "balance" : "1000000000000000000",
                "code" : "0x",
                "nonce" : "0",
                "storage" : {
                }
            }
        },
        "pre" : {
            "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
                "balance" : "1000000000000000000",
                "code" : "0x",
                "nonce" : "0",
                "storage" : {
                }
            }
        }
    },
    "mstore_mload0" : {
        "callcreates" : [
        ],
        "env" : {
            "currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba",
            "currentDifficulty" : "256",
            "currentGasLimit" : "1000000",
            "currentNumber" : "0",
            "currentTimestamp" : "1",
            "previousHash" : "5e20a0453cecd065ea59c37ac63e079ee08998b6045136a8ce6635c7912ec0b6"
        },
        "exec" : {
            "address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
            "caller" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "code" : "0x6017600054600053600157",
            "data" : "0x",
            "gas" : "10000",
            "gasPrice" : "100000000000000",
            "origin" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "value" : "1000000000000000000"
        },
        "gas" : "9793",
        "out" : "0x",
        "post" : {
            "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
                "balance" : "1000000000000000000",
                "code" : "0x6017600054600053600157",
                "nonce" : "0",
                "storage" : {
                    "0x01" : "0x17"
                }
            }
        },
        "pre" : {
            "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
                "balance" : "1000000000000000000",
                "code" : "0x6017600054600053600157",
                "nonce" : "0",
                "storage" : {
                }
            }
        }
    },
    "pc0" : {
        "callcreates" : [
        ],
        "env" : {
            "currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba",
            "currentDifficulty" : "256",
            "currentGasLimit" : "1000000",
            "currentNumber" : "0",
            "currentTimestamp" : "1",
            "previousHash" : "5e20a0453cecd065ea59c37ac63e079ee08998b6045136a8ce6635c7912ec0b6"
        },
        "exec" : {
            "address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
            "caller" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "code" : "0x5a600057",
            "data" : "0x",
            "gas" : "10000",
            "gasPrice" : "100000000000000",
            "origin" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "value" : "1000000000000000000"
        },
        "gas" : "9898",
        "out" : "0x",
        "post" : {
            "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
                "balance" : "1000000000000000000",
                "code" : "0x5a600057",
                "nonce" : "0",
                "storage" : {
                }
            }
        },
        "pre" : {
            "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
                "balance" : "1000000000000000000",
                "code" : "0x5a600057",
                "nonce" : "0",
                "storage" : {
                }
            }
        }
    },
    "pc1" : {
        "callcreates" : [
        ],
        "env" : {
            "currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba",
            "currentDifficulty" : "256",
            "currentGasLimit" : "1000000",
            "currentNumber" : "0",
            "currentTimestamp" : "1",
            "previousHash" : "5e20a0453cecd065ea59c37ac63e079ee08998b6045136a8ce6635c7912ec0b6"
        },
        "exec" : {
            "address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
            "caller" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "code" : "0x60ff6000575a600057",
            "data" : "0x",
            "gas" : "10000",
            "gasPrice" : "100000000000000",
            "origin" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "value" : "1000000000000000000"
        },
        "gas" : "9696",
        "out" : "0x",
        "post" : {
            "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
                "balance" : "1000000000000000000",
                "code" : "0x60ff6000575a600057",
                "nonce" : "0",
                "storage" : {
                    "0x" : "0x05"
                }
            }
        },
        "pre" : {
            "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
                "balance" : "1000000000000000000",
                "code" : "0x60ff6000575a600057",
                "nonce" : "0",
                "storage" : {
                }
            }
        }
    },
    "pop0" : {
        "callcreates" : [
        ],
        "env" : {
            "currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba",
            "currentDifficulty" : "256",
            "currentGasLimit" : "1000000",
            "currentNumber" : "0",
            "currentTimestamp" : "1",
            "previousHash" : "5e20a0453cecd065ea59c37ac63e079ee08998b6045136a8ce6635c7912ec0b6"
        },
        "exec" : {
            "address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
            "caller" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "code" : "0x6002600360045057",
            "data" : "0x",
            "gas" : "10000",
            "gasPrice" : "100000000000000",
            "origin" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "value" : "1000000000000000000"
        },
        "gas" : "9796",
        "out" : "0x",
        "post" : {
            "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
                "balance" : "1000000000000000000",
                "code" : "0x6002600360045057",
                "nonce" : "0",
                "storage" : {
                    "0x03" : "0x02"
                }
            }
        },
        "pre" : {
            "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
                "balance" : "1000000000000000000",
                "code" : "0x6002600360045057",
                "nonce" : "0",
                "storage" : {
                }
            }
        }
    },
    "pop1" : {
        "callcreates" : [
        ],
        "env" : {
            "currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba",
            "currentDifficulty" : "256",
            "currentGasLimit" : "1000000",
            "currentNumber" : "0",
            "currentTimestamp" : "1",
            "previousHash" : "5e20a0453cecd065ea59c37ac63e079ee08998b6045136a8ce6635c7912ec0b6"
        },
        "exec" : {
            "address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
            "caller" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "code" : "0x5060026003600457",
            "data" : "0x",
            "gas" : "10000",
            "gasPrice" : "100000000000000",
            "origin" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "value" : "1000000000000000000"
        },
        "gas" : "9999",
        "out" : "0x",
        "post" : {
            "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
                "balance" : "1000000000000000000",
                "code" : "0x5060026003600457",
                "nonce" : "0",
                "storage" : {
                }
            }
        },
        "pre" : {
            "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
                "balance" : "1000000000000000000",
                "code" : "0x5060026003600457",
                "nonce" : "0",
                "storage" : {
                }
            }
        }
    },
    "sstore_load_0" : {
        "callcreates" : [
        ],
        "env" : {
            "currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba",
            "currentDifficulty" : "256",
            "currentGasLimit" : "1000000",
            "currentNumber" : "0",
            "currentTimestamp" : "1",
            "previousHash" : "5e20a0453cecd065ea59c37ac63e079ee08998b6045136a8ce6635c7912ec0b6"
        },
        "exec" : {
            "address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
            "caller" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "code" : "0x60ff60005760ee600a57600056601457",
            "data" : "0x",
            "gas" : "10000",
            "gasPrice" : "100000000000000",
            "origin" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "value" : "1000000000000000000"
        },
        "gas" : "9374",
        "out" : "0x",
        "post" : {
            "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
                "balance" : "1000000000000000000",
                "code" : "0x60ff60005760ee600a57600056601457",
                "nonce" : "0",
                "storage" : {
                    "0x" : "0xff",
                    "0x0a" : "0xee",
                    "0x14" : "0xff"
                }
            }
        },
        "pre" : {
            "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
                "balance" : "1000000000000000000",
                "code" : "0x60ff60005760ee600a57600056601457",
                "nonce" : "0",
                "storage" : {
                }
            }
        }
    },
    "sstore_load_1" : {
        "callcreates" : [
        ],
        "env" : {
            "currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba",
            "currentDifficulty" : "256",
            "currentGasLimit" : "1000000",
            "currentNumber" : "0",
            "currentTimestamp" : "1",
            "previousHash" : "5e20a0453cecd065ea59c37ac63e079ee08998b6045136a8ce6635c7912ec0b6"
        },
        "exec" : {
            "address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
            "caller" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "code" : "0x60ff60005760ee600a57606456601457",
            "data" : "0x",
            "gas" : "10000",
            "gasPrice" : "100000000000000",
            "origin" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "value" : "1000000000000000000"
        },
        "gas" : "9474",
        "out" : "0x",
        "post" : {
            "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
                "balance" : "1000000000000000000",
                "code" : "0x60ff60005760ee600a57606456601457",
                "nonce" : "0",
                "storage" : {
                    "0x" : "0xff",
                    "0x0a" : "0xee"
                }
            }
        },
        "pre" : {
            "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
                "balance" : "1000000000000000000",
                "code" : "0x60ff60005760ee600a57606456601457",
                "nonce" : "0",
                "storage" : {
                }
            }
        }
    },
    "sstore_load_2" : {
        "callcreates" : [
        ],
        "env" : {
            "currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba",
            "currentDifficulty" : "256",
            "currentGasLimit" : "1000000",
            "currentNumber" : "0",
            "currentTimestamp" : "1",
            "previousHash" : "5e20a0453cecd065ea59c37ac63e079ee08998b6045136a8ce6635c7912ec0b6"
        },
        "exec" : {
            "address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
            "caller" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "code" : "0x60ff60005760ee60015760dd600257600156600a57600256601457",
            "data" : "0x",
            "gas" : "10000",
            "gasPrice" : "100000000000000",
            "origin" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "value" : "1000000000000000000"
        },
        "gas" : "8950",
        "out" : "0x",
        "post" : {
            "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
                "balance" : "1000000000000000000",
                "code" : "0x60ff60005760ee60015760dd600257600156600a57600256601457",
                "nonce" : "0",
                "storage" : {
                    "0x" : "0xff",
                    "0x01" : "0xee",
                    "0x02" : "0xdd",
                    "0x0a" : "0xee",
                    "0x14" : "0xdd"
                }
            }
        },
        "pre" : {
            "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
                "balance" : "1000000000000000000",
                "code" : "0x60ff60005760ee60015760dd600257600156600a57600256601457",
                "nonce" : "0",
                "storage" : {
                }
            }
        }
    },
    "swapAt52doesNotExistAnymore" : {
        "callcreates" : [
        ],
        "env" : {
            "currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba",
            "currentDifficulty" : "256",
            "currentGasLimit" : "1000000",
            "currentNumber" : "0",
            "currentTimestamp" : "1",
            "previousHash" : "5e20a0453cecd065ea59c37ac63e079ee08998b6045136a8ce6635c7912ec0b6"
        },
        "exec" : {
            "address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
            "caller" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "code" : "0x600260035257",
            "data" : "0x",
            "gas" : "10000",
            "gasPrice" : "100000000000000",
            "origin" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "value" : "1000000000000000000"
        },
        "gas" : "9997",
        "out" : "0x",
        "post" : {
            "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
                "balance" : "1000000000000000000",
                "code" : "0x600260035257",
                "nonce" : "0",
                "storage" : {
                }
            }
        },
        "pre" : {
            "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
                "balance" : "1000000000000000000",
                "code" : "0x600260035257",
                "nonce" : "0",
                "storage" : {
                }
            }
        }
    }
}