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

	"arith": {
		"env" : {
		"previousHash" : "5e20a0453cecd065ea59c37ac63e079ee08998b6045136a8ce6635c7912ec0b6",
		"currentNumber" : "0",
		"currentGasLimit" : "1000000",
		"currentDifficulty" : "256",
		"currentTimestamp" : 1,
		"currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba",
		"code" : "{ (call (- (gas) 200) (caller) (+ 2 2 (* 4 4 4) (/ 2 2) (% 3 2) (- 8 2 2)) 0 0 0 0) }"
		},
		"pre" : {
		"0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
			"balance" : "1000000000000000000",
			"nonce" : 0,
			"code" : "{ (call (- (gas) 200) (caller) (+ 2 2 (* 4 4 4) (/ 2 2) (% 3 2) (- 8 2 2)) 0 0 0 0) }",
			"storage": {}
		}
		},
		"exec" : [
		{
			"address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
			"origin" : "cd1722f3947def4cf144679da39c4c32bdc35681",
			"caller" : "cd1722f3947def4cf144679da39c4c32bdc35681",
			"value" : "1000000000000000000",
			"data" : "",
			"gasPrice" : "100000000000000",
		    "gas" : "10000"
		}
		]
	},

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

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