{
    "arith" : {
        "callcreates" : [
            {
                "data" : [
                ],
                "destination" : "cd1722f3947def4cf144679da39c4c32bdc35681",
                "gasLimit" : 9792,
                "value" : 74
            }
        ],
        "env" : {
            "code" : "{ (call (- (gas) 200) (caller) (+ 2 2 (* 4 4 4) (/ 2 2) (% 3 2) (- 8 2 2)) 0 0 0 0) }",
            "currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba",
            "currentDifficulty" : "256",
            "currentGasLimit" : "1000000",
            "currentNumber" : "0",
            "currentTimestamp" : 1,
            "previousHash" : "5e20a0453cecd065ea59c37ac63e079ee08998b6045136a8ce6635c7912ec0b6"
        },
        "exec" : [
            {
                "address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
                "caller" : "cd1722f3947def4cf144679da39c4c32bdc35681",
                "data" : "",
                "gas" : "10000",
                "gasPrice" : "100000000000000",
                "origin" : "cd1722f3947def4cf144679da39c4c32bdc35681",
                "value" : "1000000000000000000"
            }
        ],
        "gas" : 9971,
        "out" : [
        ],
        "post" : {
            "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
                "balance" : 999999999999999852,
                "code" : [
                    96,
                    0,
                    96,
                    0,
                    96,
                    0,
                    96,
                    0,
                    96,
                    74,
                    51,
                    96,
                    200,
                    92,
                    3,
                    241
                ],
                "nonce" : 1,
                "storage" : {
                }
            },
            "cd1722f3947def4cf144679da39c4c32bdc35681" : {
                "balance" : 74,
                "code" : [
                ],
                "nonce" : 0,
                "storage" : {
                }
            }
        },
        "pre" : {
            "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
                "balance" : 1000000000000000000,
                "code" : [
                    96,
                    0,
                    96,
                    0,
                    96,
                    0,
                    96,
                    0,
                    96,
                    74,
                    51,
                    96,
                    200,
                    92,
                    3,
                    241
                ],
                "nonce" : 0,
                "storage" : {
                }
            }
        }
    },
    "boolean" : {
        "callcreates" : [
            {
                "data" : [
                ],
                "destination" : "cd1722f3947def4cf144679da39c4c32bdc35681",
                "gasLimit" : 9786,
                "value" : 2
            },
            {
                "data" : [
                ],
                "destination" : "cd1722f3947def4cf144679da39c4c32bdc35681",
                "gasLimit" : 9732,
                "value" : 12
            },
            {
                "data" : [
                ],
                "destination" : "cd1722f3947def4cf144679da39c4c32bdc35681",
                "gasLimit" : 9696,
                "value" : 13
            },
            {
                "data" : [
                ],
                "destination" : "cd1722f3947def4cf144679da39c4c32bdc35681",
                "gasLimit" : 9660,
                "value" : 14
            }
        ],
        "env" : {
            "code" : "(seq (when (and 1 1) (call (- (gas) 200) (caller) 2 0 0 0 0)) (when (and 1 0) (call (- (gas) 200) (caller) 3 0 0 0 0)) (when (and 0 1) (call (- (gas) 200) (caller) 4 0 0 0 0)) (when (and 0 0) (call (- (gas) 200) (caller) 5 0 0 0 0)) (when (or 1 1) (call (- (gas) 200) (caller) 12 0 0 0 0)) (when (or 1 0) (call (- (gas) 200) (caller) 13 0 0 0 0)) (when (or 0 1) (call (- (gas) 200) (caller) 14 0 0 0 0)) (when (or 0 0) (call (- (gas) 200) (caller) 15 0 0 0 0)) )",
            "currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba",
            "currentDifficulty" : "256",
            "currentGasLimit" : "1000000",
            "currentNumber" : "0",
            "currentTimestamp" : 1,
            "previousHash" : "5e20a0453cecd065ea59c37ac63e079ee08998b6045136a8ce6635c7912ec0b6"
        },
        "exec" : [
            {
                "address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
                "caller" : "cd1722f3947def4cf144679da39c4c32bdc35681",
                "data" : "",
                "gas" : "10000",
                "gasPrice" : "100000000000000",
                "origin" : "cd1722f3947def4cf144679da39c4c32bdc35681",
                "value" : "1000000000000000000"
            }
        ],
        "gas" : 9832,
        "out" : [
        ],
        "post" : {
            "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
                "balance" : 999999999999999918,
                "code" : [
                    96,
                    1,
                    96,
                    1,
                    16,
                    15,
                    96,
                    26,
                    89,
                    96,
                    0,
                    96,
                    0,
                    96,
                    0,
                    96,
                    0,
                    96,
                    2,
                    51,
                    96,
                    200,
                    92,
                    3,
                    241,
                    80,
                    96,
                    0,
                    96,
                    1,
                    16,
                    15,
                    96,
                    52,
                    89,
                    96,
                    0,
                    96,
                    0,
                    96,
                    0,
                    96,
                    0,
                    96,
                    3,
                    51,
                    96,
                    200,
                    92,
                    3,
                    241,
                    80,
                    96,
                    1,
                    96,
                    0,
                    16,
                    15,
                    96,
                    78,
                    89,
                    96,
                    0,
                    96,
                    0,
                    96,
                    0,
                    96,
                    0,
                    96,
                    4,
                    51,
                    96,
                    200,
                    92,
                    3,
                    241,
                    80,
                    96,
                    0,
                    96,
                    0,
                    16,
                    15,
                    96,
                    104,
                    89,
                    96,
                    0,
                    96,
                    0,
                    96,
                    0,
                    96,
                    0,
                    96,
                    5,
                    51,
                    96,
                    200,
                    92,
                    3,
                    241,
                    80,
                    96,
                    1,
                    96,
                    1,
                    17,
                    15,
                    96,
                    130,
                    89,
                    96,
                    0,
                    96,
                    0,
                    96,
                    0,
                    96,
                    0,
                    96,
                    12,
                    51,
                    96,
                    200,
                    92,
                    3,
                    241,
                    80,
                    96,
                    0,
                    96,
                    1,
                    17,
                    15,
                    96,
                    156,
                    89,
                    96,
                    0,
                    96,
                    0,
                    96,
                    0,
                    96,
                    0,
                    96,
                    13,
                    51,
                    96,
                    200,
                    92,
                    3,
                    241,
                    80,
                    96,
                    1,
                    96,
                    0,
                    17,
                    15,
                    96,
                    182,
                    89,
                    96,
                    0,
                    96,
                    0,
                    96,
                    0,
                    96,
                    0,
                    96,
                    14,
                    51,
                    96,
                    200,
                    92,
                    3,
                    241,
                    80,
                    96,
                    0,
                    96,
                    0,
                    17,
                    15,
                    96,
                    208,
                    89,
                    96,
                    0,
                    96,
                    0,
                    96,
                    0,
                    96,
                    0,
                    96,
                    15,
                    51,
                    96,
                    200,
                    92,
                    3,
                    241,
                    80
                ],
                "nonce" : 4,
                "storage" : {
                }
            },
            "cd1722f3947def4cf144679da39c4c32bdc35681" : {
                "balance" : 41,
                "code" : [
                ],
                "nonce" : 0,
                "storage" : {
                }
            }
        },
        "pre" : {
            "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
                "balance" : 1000000000000000000,
                "code" : [
                    96,
                    1,
                    96,
                    1,
                    16,
                    15,
                    96,
                    26,
                    89,
                    96,
                    0,
                    96,
                    0,
                    96,
                    0,
                    96,
                    0,
                    96,
                    2,
                    51,
                    96,
                    200,
                    92,
                    3,
                    241,
                    80,
                    96,
                    0,
                    96,
                    1,
                    16,
                    15,
                    96,
                    52,
                    89,
                    96,
                    0,
                    96,
                    0,
                    96,
                    0,
                    96,
                    0,
                    96,
                    3,
                    51,
                    96,
                    200,
                    92,
                    3,
                    241,
                    80,
                    96,
                    1,
                    96,
                    0,
                    16,
                    15,
                    96,
                    78,
                    89,
                    96,
                    0,
                    96,
                    0,
                    96,
                    0,
                    96,
                    0,
                    96,
                    4,
                    51,
                    96,
                    200,
                    92,
                    3,
                    241,
                    80,
                    96,
                    0,
                    96,
                    0,
                    16,
                    15,
                    96,
                    104,
                    89,
                    96,
                    0,
                    96,
                    0,
                    96,
                    0,
                    96,
                    0,
                    96,
                    5,
                    51,
                    96,
                    200,
                    92,
                    3,
                    241,
                    80,
                    96,
                    1,
                    96,
                    1,
                    17,
                    15,
                    96,
                    130,
                    89,
                    96,
                    0,
                    96,
                    0,
                    96,
                    0,
                    96,
                    0,
                    96,
                    12,
                    51,
                    96,
                    200,
                    92,
                    3,
                    241,
                    80,
                    96,
                    0,
                    96,
                    1,
                    17,
                    15,
                    96,
                    156,
                    89,
                    96,
                    0,
                    96,
                    0,
                    96,
                    0,
                    96,
                    0,
                    96,
                    13,
                    51,
                    96,
                    200,
                    92,
                    3,
                    241,
                    80,
                    96,
                    1,
                    96,
                    0,
                    17,
                    15,
                    96,
                    182,
                    89,
                    96,
                    0,
                    96,
                    0,
                    96,
                    0,
                    96,
                    0,
                    96,
                    14,
                    51,
                    96,
                    200,
                    92,
                    3,
                    241,
                    80,
                    96,
                    0,
                    96,
                    0,
                    17,
                    15,
                    96,
                    208,
                    89,
                    96,
                    0,
                    96,
                    0,
                    96,
                    0,
                    96,
                    0,
                    96,
                    15,
                    51,
                    96,
                    200,
                    92,
                    3,
                    241,
                    80
                ],
                "nonce" : 0,
                "storage" : {
                }
            }
        }
    },
    "mktx" : {
        "callcreates" : [
            {
                "data" : [
                ],
                "destination" : "cd1722f3947def4cf144679da39c4c32bdc35681",
                "gasLimit" : 9792,
                "value" : 500000000000000000
            }
        ],
        "env" : {
            "code" : "(call (- (gas) 200) (caller) 500000000000000000 0 0 0 0)",
            "currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba",
            "currentDifficulty" : "256",
            "currentGasLimit" : "1000000",
            "currentNumber" : "0",
            "currentTimestamp" : 1,
            "previousHash" : "5e20a0453cecd065ea59c37ac63e079ee08998b6045136a8ce6635c7912ec0b6"
        },
        "exec" : [
            {
                "address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
                "caller" : "cd1722f3947def4cf144679da39c4c32bdc35681",
                "data" : "",
                "gas" : "10000",
                "gasPrice" : "100000000000000",
                "origin" : "cd1722f3947def4cf144679da39c4c32bdc35681",
                "value" : "1000000000000000000"
            }
        ],
        "gas" : 9971,
        "out" : [
        ],
        "post" : {
            "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
                "balance" : 0,
                "code" : [
                    96,
                    0,
                    96,
                    0,
                    96,
                    0,
                    96,
                    0,
                    103,
                    6,
                    240,
                    91,
                    89,
                    211,
                    178,
                    0,
                    0,
                    51,
                    96,
                    200,
                    92,
                    3,
                    241
                ],
                "nonce" : 1,
                "storage" : {
                }
            },
            "cd1722f3947def4cf144679da39c4c32bdc35681" : {
                "balance" : 500000000000000000,
                "code" : [
                ],
                "nonce" : 0,
                "storage" : {
                }
            }
        },
        "pre" : {
            "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
                "balance" : 1000000000000000000,
                "code" : [
                    96,
                    0,
                    96,
                    0,
                    96,
                    0,
                    96,
                    0,
                    103,
                    6,
                    240,
                    91,
                    89,
                    211,
                    178,
                    0,
                    0,
                    51,
                    96,
                    200,
                    92,
                    3,
                    241
                ],
                "nonce" : 0,
                "storage" : {
                }
            }
        }
    },
    "suicide" : {
        "callcreates" : [
        ],
        "env" : {
            "code" : "(suicide (caller))",
            "currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba",
            "currentDifficulty" : "256",
            "currentGasLimit" : "1000000",
            "currentNumber" : "0",
            "currentTimestamp" : 1,
            "previousHash" : "5e20a0453cecd065ea59c37ac63e079ee08998b6045136a8ce6635c7912ec0b6"
        },
        "exec" : [
            {
                "address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
                "caller" : "cd1722f3947def4cf144679da39c4c32bdc35681",
                "data" : "",
                "gas" : "10000",
                "gasPrice" : "100000000000000",
                "origin" : "cd1722f3947def4cf144679da39c4c32bdc35681",
                "value" : "1000000000000000000"
            }
        ],
        "gas" : 9999,
        "out" : [
        ],
        "post" : {
            "cd1722f3947def4cf144679da39c4c32bdc35681" : {
                "balance" : 1000000000000000000,
                "code" : [
                ],
                "nonce" : 0,
                "storage" : {
                }
            }
        },
        "pre" : {
            "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
                "balance" : 1000000000000000000,
                "code" : [
                    51,
                    255
                ],
                "nonce" : 0,
                "storage" : {
                }
            }
        }
    }
}