{
    "arith" : {
        "callcreates" : [
            {
                "data" : [
                    0,
                    0,
                    0,
                    0
                ],
                "destination" : "cd1722f3947def4cf144679da39c4c32bdc35681",
                "gasLimit" : 9776,
                "value" : 4
            }
        ],
        "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,
            "gasLimit" : null,
            "previousHash" : "5e20a0453cecd065ea59c37ac63e079ee08998b6045136a8ce6635c7912ec0b6"
        },
        "exec" : [
            {
                "address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
                "caller" : "cd1722f3947def4cf144679da39c4c32bdc35681",
                "data" : "",
                "gas" : "10000",
                "gasPrice" : "100000000000000",
                "origin" : "cd1722f3947def4cf144679da39c4c32bdc35681",
                "value" : "1000000000000000000"
            }
        ],
        "gas" : 9954,
        "out" : [
        ],
        "post" : {
            "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
                "balance" : 999999999999999992,
                "nonce" : 1,
                "storage" : {
                }
            },
            "cd1722f3947def4cf144679da39c4c32bdc35681" : {
                "balance" : 4,
                "nonce" : 0,
                "storage" : {
                }
            },
            "code" : [
            ]
        },
        "pre" : {
            "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
                "balance" : 1000000000000000000,
                "nonce" : 0,
                "storage" : {
                }
            },
            "code" : [
                96,
                0,
                96,
                0,
                96,
                0,
                96,
                0,
                96,
                2,
                96,
                2,
                96,
                8,
                3,
                96,
                2,
                96,
                3,
                6,
                96,
                2,
                96,
                2,
                4,
                96,
                4,
                96,
                4,
                96,
                4,
                2,
                96,
                2,
                96,
                2,
                1,
                51,
                96,
                200,
                92,
                3,
                241
            ]
        }
    },
    "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,
            "gasLimit" : null,
            "previousHash" : "5e20a0453cecd065ea59c37ac63e079ee08998b6045136a8ce6635c7912ec0b6"
        },
        "exec" : [
            {
                "address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
                "caller" : "cd1722f3947def4cf144679da39c4c32bdc35681",
                "data" : "",
                "gas" : "10000",
                "gasPrice" : "100000000000000",
                "origin" : "cd1722f3947def4cf144679da39c4c32bdc35681",
                "value" : "1000000000000000000"
            }
        ],
        "gas" : 9832,
        "out" : [
        ],
        "post" : {
            "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
                "balance" : 999999999999999918,
                "nonce" : 4,
                "storage" : {
                }
            },
            "cd1722f3947def4cf144679da39c4c32bdc35681" : {
                "balance" : 41,
                "nonce" : 0,
                "storage" : {
                }
            },
            "code" : [
            ]
        },
        "pre" : {
            "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
                "balance" : 1000000000000000000,
                "nonce" : 0,
                "storage" : {
                }
            },
            "code" : [
                96,
                1,
                96,
                1,
                16,
                15,
                99,
                0,
                0,
                0,
                29,
                89,
                96,
                0,
                96,
                0,
                96,
                0,
                96,
                0,
                96,
                2,
                51,
                96,
                200,
                92,
                3,
                241,
                80,
                96,
                0,
                96,
                1,
                16,
                15,
                99,
                0,
                0,
                0,
                58,
                89,
                96,
                0,
                96,
                0,
                96,
                0,
                96,
                0,
                96,
                3,
                51,
                96,
                200,
                92,
                3,
                241,
                80,
                96,
                1,
                96,
                0,
                16,
                15,
                99,
                0,
                0,
                0,
                87,
                89,
                96,
                0,
                96,
                0,
                96,
                0,
                96,
                0,
                96,
                4,
                51,
                96,
                200,
                92,
                3,
                241,
                80,
                96,
                0,
                96,
                0,
                16,
                15,
                99,
                0,
                0,
                0,
                116,
                89,
                96,
                0,
                96,
                0,
                96,
                0,
                96,
                0,
                96,
                5,
                51,
                96,
                200,
                92,
                3,
                241,
                80,
                96,
                1,
                96,
                1,
                17,
                15,
                99,
                0,
                0,
                0,
                145,
                89,
                96,
                0,
                96,
                0,
                96,
                0,
                96,
                0,
                96,
                12,
                51,
                96,
                200,
                92,
                3,
                241,
                80,
                96,
                0,
                96,
                1,
                17,
                15,
                99,
                0,
                0,
                0,
                174,
                89,
                96,
                0,
                96,
                0,
                96,
                0,
                96,
                0,
                96,
                13,
                51,
                96,
                200,
                92,
                3,
                241,
                80,
                96,
                1,
                96,
                0,
                17,
                15,
                99,
                0,
                0,
                0,
                203,
                89,
                96,
                0,
                96,
                0,
                96,
                0,
                96,
                0,
                96,
                14,
                51,
                96,
                200,
                92,
                3,
                241,
                80,
                96,
                0,
                96,
                0,
                17,
                15,
                99,
                0,
                0,
                0,
                232,
                89,
                96,
                0,
                96,
                0,
                96,
                0,
                96,
                0,
                96,
                15,
                51,
                96,
                200,
                92,
                3,
                241,
                80
            ]
        }
    },
    "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,
            "gasLimit" : null,
            "previousHash" : "5e20a0453cecd065ea59c37ac63e079ee08998b6045136a8ce6635c7912ec0b6"
        },
        "exec" : [
            {
                "address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
                "caller" : "cd1722f3947def4cf144679da39c4c32bdc35681",
                "data" : "",
                "gas" : "10000",
                "gasPrice" : "100000000000000",
                "origin" : "cd1722f3947def4cf144679da39c4c32bdc35681",
                "value" : "1000000000000000000"
            }
        ],
        "gas" : 9971,
        "out" : [
        ],
        "post" : {
            "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
                "balance" : 0,
                "nonce" : 1,
                "storage" : {
                }
            },
            "cd1722f3947def4cf144679da39c4c32bdc35681" : {
                "balance" : 500000000000000000,
                "nonce" : 0,
                "storage" : {
                }
            },
            "code" : [
            ]
        },
        "pre" : {
            "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
                "balance" : 1000000000000000000,
                "nonce" : 0,
                "storage" : {
                }
            },
            "code" : [
                96,
                0,
                96,
                0,
                96,
                0,
                96,
                0,
                103,
                6,
                240,
                91,
                89,
                211,
                178,
                0,
                0,
                51,
                96,
                200,
                92,
                3,
                241
            ]
        }
    },
    "suicide" : {
        "callcreates" : [
        ],
        "env" : {
            "code" : "(suicide (caller))",
            "currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba",
            "currentDifficulty" : "256",
            "currentGasLimit" : "1000000",
            "currentNumber" : "0",
            "currentTimestamp" : 1,
            "gasLimit" : null,
            "previousHash" : "5e20a0453cecd065ea59c37ac63e079ee08998b6045136a8ce6635c7912ec0b6"
        },
        "exec" : [
            {
                "address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
                "caller" : "cd1722f3947def4cf144679da39c4c32bdc35681",
                "data" : "",
                "gas" : "10000",
                "gasPrice" : "100000000000000",
                "origin" : "cd1722f3947def4cf144679da39c4c32bdc35681",
                "value" : "1000000000000000000"
            }
        ],
        "gas" : 9999,
        "out" : [
        ],
        "post" : {
            "cd1722f3947def4cf144679da39c4c32bdc35681" : {
                "balance" : 1000000000000000000,
                "nonce" : 0,
                "storage" : {
                }
            },
            "code" : [
            ]
        },
        "pre" : {
            "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
                "balance" : 1000000000000000000,
                "nonce" : 0,
                "storage" : {
                }
            },
            "code" : [
                51,
                255
            ]
        }
    }
}