aboutsummaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorDimitry <winsvega@mail.ru>2016-05-11 02:42:34 +0800
committerDimitry <winsvega@mail.ru>2016-05-11 02:42:34 +0800
commit52767d1dc819c4b4dfcc18fcd8fe9579c868a713 (patch)
tree383b20514ec3c254a4ddab65092d2b934b01bf7b
parent4db720dbd701c3fe58debcb0c45624a705e5ea69 (diff)
downloaddexon-tests-52767d1dc819c4b4dfcc18fcd8fe9579c868a713.tar.gz
dexon-tests-52767d1dc819c4b4dfcc18fcd8fe9579c868a713.tar.zst
dexon-tests-52767d1dc819c4b4dfcc18fcd8fe9579c868a713.zip
instruction argument tests
-rw-r--r--StateTests/Homestead/stBoundsTest.json1234
1 files changed, 1234 insertions, 0 deletions
diff --git a/StateTests/Homestead/stBoundsTest.json b/StateTests/Homestead/stBoundsTest.json
new file mode 100644
index 000000000..d0fe177d2
--- /dev/null
+++ b/StateTests/Homestead/stBoundsTest.json
@@ -0,0 +1,1234 @@
+{
+ "BLOCKHASH_Bounds" : {
+ "env" : {
+ "currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba",
+ "currentDifficulty" : "0x02b8feb0",
+ "currentGasLimit" : "0x7fffffffffffffff",
+ "currentNumber" : "0x118c30",
+ "currentTimestamp" : "0x01",
+ "previousHash" : "5e20a0453cecd065ea59c37ac63e079ee08998b6045136a8ce6635c7912ec0b6"
+ },
+ "logs" : [
+ ],
+ "out" : "0x",
+ "post" : {
+ "1000000000000000000000000000000000000000" : {
+ "balance" : "0x01",
+ "code" : "0x60004060005563ffffffff4060015567ffffffffffffffff406002556fffffffffffffffffffffffffffffffff406003557fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff40600455",
+ "nonce" : "0x00",
+ "storage" : {
+ }
+ },
+ "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba" : {
+ "balance" : "0xb432",
+ "code" : "0x",
+ "nonce" : "0x00",
+ "storage" : {
+ }
+ },
+ "a94f5374fce5edbc8e2a8697c15331677e6ebf0b" : {
+ "balance" : "0x7fffffffffff4bcc",
+ "code" : "0x",
+ "nonce" : "0x01",
+ "storage" : {
+ }
+ }
+ },
+ "postStateRoot" : "82ab2906bd563e7d8f4ce84e222ad3e3cfb396bbba42a587677ec7f03610ac38",
+ "pre" : {
+ "1000000000000000000000000000000000000000" : {
+ "balance" : "0x00",
+ "code" : "0x60004060005563ffffffff4060015567ffffffffffffffff406002556fffffffffffffffffffffffffffffffff406003557fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff40600455",
+ "nonce" : "0x00",
+ "storage" : {
+ }
+ },
+ "a94f5374fce5edbc8e2a8697c15331677e6ebf0b" : {
+ "balance" : "0x7fffffffffffffff",
+ "code" : "0x",
+ "nonce" : "0x00",
+ "storage" : {
+ }
+ }
+ },
+ "transaction" : {
+ "data" : "",
+ "gasLimit" : "0x7ffffffffffffff0",
+ "gasPrice" : "0x01",
+ "nonce" : "0x00",
+ "secretKey" : "45a915e4d060149eb4365960e6a7a45f334393093061116b197e3240065ff2d8",
+ "to" : "1000000000000000000000000000000000000000",
+ "value" : "0x01"
+ }
+ },
+ "CALLCODE_Bounds" : {
+ "env" : {
+ "currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba",
+ "currentDifficulty" : "0x02b8feb0",
+ "currentGasLimit" : "0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff",
+ "currentNumber" : "0x118c30",
+ "currentTimestamp" : "0x01",
+ "previousHash" : "5e20a0453cecd065ea59c37ac63e079ee08998b6045136a8ce6635c7912ec0b6"
+ },
+ "logs" : [
+ ],
+ "out" : "0x",
+ "post" : {
+ "1000000000000000000000000000000000000000" : {
+ "balance" : "0x01",
+ "code" : "0x600060006000600060007310000000000000000000000000000000000000016d0ffffffffffffffffffffffffffff250630fffffff6000630fffffff600060007310000000000000000000000000000000000000016d0ffffffffffffffffffffffffffff25063ffffffff600063ffffffff600060007310000000000000000000000000000000000000016d0ffffffffffffffffffffffffffff25067ffffffffffffffff600067ffffffffffffffff600060007310000000000000000000000000000000000000016d0ffffffffffffffffffffffffffff2506fffffffffffffffffffffffffffffffff60006fffffffffffffffffffffffffffffffff600060007310000000000000000000000000000000000000016d0ffffffffffffffffffffffffffff2507fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff60007fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff600060007310000000000000000000000000000000000000016d0ffffffffffffffffffffffffffff2506000630fffffff6000630fffffff60007310000000000000000000000000000000000000016d0ffffffffffffffffffffffffffff250600063ffffffff600063ffffffff60007310000000000000000000000000000000000000016d0fffffffffffffffffffffffff",
+ "nonce" : "0x00",
+ "storage" : {
+ "0x00" : "0x02"
+ }
+ },
+ "1000000000000000000000000000000000000001" : {
+ "balance" : "0x00",
+ "code" : "0x600054600101600055",
+ "nonce" : "0x00",
+ "storage" : {
+ }
+ },
+ "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba" : {
+ "balance" : "0x100000000000000020001800b4e6",
+ "code" : "0x",
+ "nonce" : "0x00",
+ "storage" : {
+ }
+ },
+ "a94f5374fce5edbc8e2a8697c15331677e6ebf0b" : {
+ "balance" : "0xffffffffffffffffffffffffffffffffffffefffffffffffffffdfffe7ff4b18",
+ "code" : "0x",
+ "nonce" : "0x01",
+ "storage" : {
+ }
+ }
+ },
+ "postStateRoot" : "5a47b9aa4d103dee45801ef29c0304707cdebc8741b142b94399207d042d317f",
+ "pre" : {
+ "1000000000000000000000000000000000000000" : {
+ "balance" : "0x00",
+ "code" : "0x600060006000600060007310000000000000000000000000000000000000016d0ffffffffffffffffffffffffffff250630fffffff6000630fffffff600060007310000000000000000000000000000000000000016d0ffffffffffffffffffffffffffff25063ffffffff600063ffffffff600060007310000000000000000000000000000000000000016d0ffffffffffffffffffffffffffff25067ffffffffffffffff600067ffffffffffffffff600060007310000000000000000000000000000000000000016d0ffffffffffffffffffffffffffff2506fffffffffffffffffffffffffffffffff60006fffffffffffffffffffffffffffffffff600060007310000000000000000000000000000000000000016d0ffffffffffffffffffffffffffff2507fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff60007fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff600060007310000000000000000000000000000000000000016d0ffffffffffffffffffffffffffff2506000630fffffff6000630fffffff60007310000000000000000000000000000000000000016d0ffffffffffffffffffffffffffff250600063ffffffff600063ffffffff60007310000000000000000000000000000000000000016d0fffffffffffffffffffffffff",
+ "nonce" : "0x00",
+ "storage" : {
+ }
+ },
+ "1000000000000000000000000000000000000001" : {
+ "balance" : "0x00",
+ "code" : "0x600054600101600055",
+ "nonce" : "0x00",
+ "storage" : {
+ }
+ },
+ "a94f5374fce5edbc8e2a8697c15331677e6ebf0b" : {
+ "balance" : "0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff",
+ "code" : "0x",
+ "nonce" : "0x00",
+ "storage" : {
+ }
+ }
+ },
+ "transaction" : {
+ "data" : "",
+ "gasLimit" : "0xffffffffffffffffffffffffffff",
+ "gasPrice" : "0x01",
+ "nonce" : "0x00",
+ "secretKey" : "45a915e4d060149eb4365960e6a7a45f334393093061116b197e3240065ff2d8",
+ "to" : "1000000000000000000000000000000000000000",
+ "value" : "0x01"
+ }
+ },
+ "CALL_Bounds" : {
+ "env" : {
+ "currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba",
+ "currentDifficulty" : "0x02b8feb0",
+ "currentGasLimit" : "0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff",
+ "currentNumber" : "0x118c30",
+ "currentTimestamp" : "0x01",
+ "previousHash" : "5e20a0453cecd065ea59c37ac63e079ee08998b6045136a8ce6635c7912ec0b6"
+ },
+ "logs" : [
+ ],
+ "out" : "0x",
+ "post" : {
+ "1000000000000000000000000000000000000000" : {
+ "balance" : "0x01",
+ "code" : "0x600060006000600060007310000000000000000000000000000000000000016d0ffffffffffffffffffffffffffff150630fffffff6000630fffffff600060007310000000000000000000000000000000000000016d0ffffffffffffffffffffffffffff15063ffffffff600063ffffffff600060007310000000000000000000000000000000000000016d0ffffffffffffffffffffffffffff15067ffffffffffffffff600067ffffffffffffffff600060007310000000000000000000000000000000000000016d0ffffffffffffffffffffffffffff1506fffffffffffffffffffffffffffffffff60006fffffffffffffffffffffffffffffffff600060007310000000000000000000000000000000000000016d0ffffffffffffffffffffffffffff1507fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff60007fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff600060007310000000000000000000000000000000000000016d0ffffffffffffffffffffffffffff1506000630fffffff6000630fffffff60007310000000000000000000000000000000000000016d0ffffffffffffffffffffffffffff150600063ffffffff600063ffffffff60007310000000000000000000000000000000000000016d0fffffffffffffffffffffffff",
+ "nonce" : "0x00",
+ "storage" : {
+ }
+ },
+ "1000000000000000000000000000000000000001" : {
+ "balance" : "0x00",
+ "code" : "0x600054600101600055",
+ "nonce" : "0x00",
+ "storage" : {
+ "0x00" : "0x02"
+ }
+ },
+ "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba" : {
+ "balance" : "0x100000000000000020001800b4e6",
+ "code" : "0x",
+ "nonce" : "0x00",
+ "storage" : {
+ }
+ },
+ "a94f5374fce5edbc8e2a8697c15331677e6ebf0b" : {
+ "balance" : "0xffffffffffffffffffffffffffffffffffffefffffffffffffffdfffe7ff4b18",
+ "code" : "0x",
+ "nonce" : "0x01",
+ "storage" : {
+ }
+ }
+ },
+ "postStateRoot" : "95193f1004891d1148d074ee24eacf8b7c951bc1fb88c957711bba0e5030590c",
+ "pre" : {
+ "1000000000000000000000000000000000000000" : {
+ "balance" : "0x00",
+ "code" : "0x600060006000600060007310000000000000000000000000000000000000016d0ffffffffffffffffffffffffffff150630fffffff6000630fffffff600060007310000000000000000000000000000000000000016d0ffffffffffffffffffffffffffff15063ffffffff600063ffffffff600060007310000000000000000000000000000000000000016d0ffffffffffffffffffffffffffff15067ffffffffffffffff600067ffffffffffffffff600060007310000000000000000000000000000000000000016d0ffffffffffffffffffffffffffff1506fffffffffffffffffffffffffffffffff60006fffffffffffffffffffffffffffffffff600060007310000000000000000000000000000000000000016d0ffffffffffffffffffffffffffff1507fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff60007fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff600060007310000000000000000000000000000000000000016d0ffffffffffffffffffffffffffff1506000630fffffff6000630fffffff60007310000000000000000000000000000000000000016d0ffffffffffffffffffffffffffff150600063ffffffff600063ffffffff60007310000000000000000000000000000000000000016d0fffffffffffffffffffffffff",
+ "nonce" : "0x00",
+ "storage" : {
+ }
+ },
+ "1000000000000000000000000000000000000001" : {
+ "balance" : "0x00",
+ "code" : "0x600054600101600055",
+ "nonce" : "0x00",
+ "storage" : {
+ }
+ },
+ "a94f5374fce5edbc8e2a8697c15331677e6ebf0b" : {
+ "balance" : "0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff",
+ "code" : "0x",
+ "nonce" : "0x00",
+ "storage" : {
+ }
+ }
+ },
+ "transaction" : {
+ "data" : "",
+ "gasLimit" : "0xffffffffffffffffffffffffffff",
+ "gasPrice" : "0x01",
+ "nonce" : "0x00",
+ "secretKey" : "45a915e4d060149eb4365960e6a7a45f334393093061116b197e3240065ff2d8",
+ "to" : "1000000000000000000000000000000000000000",
+ "value" : "0x01"
+ }
+ },
+ "CREATE_Bounds" : {
+ "env" : {
+ "currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba",
+ "currentDifficulty" : "0x02b8feb0",
+ "currentGasLimit" : "0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff",
+ "currentNumber" : "0x118c30",
+ "currentTimestamp" : "0x01",
+ "previousHash" : "5e20a0453cecd065ea59c37ac63e079ee08998b6045136a8ce6635c7912ec0b6"
+ },
+ "logs" : [
+ ],
+ "out" : "0x",
+ "post" : {
+ "1000000000000000000000000000000000000000" : {
+ "balance" : "0x62",
+ "code" : "0x7f6001600155601080600c6000396000f3006000355415600957005b602035600060005260356020536055602153600060006001f050630fffffff60006001f05063ffffffff60006001f05067ffffffffffffffff60006001f0506fffffffffffffffffffffffffffffffff60006001f0507fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff60006001f0506000630fffffff6001f050600063ffffffff6001f050600067ffffffffffffffff6001f05060006fffffffffffffffffffffffffffffffff6001f05060007fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff6001f050630fffffff630fffffff6001f05063ffffffff63ffffffff6001f05067ffffffffffffffff67ffffffffffffffff6001f0506fffffffffffffffffffffffffffffffff6fffffffffffffffffffffffffffffffff6001f0507fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff7fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff6001f0",
+ "nonce" : "0x02",
+ "storage" : {
+ }
+ },
+ "13136008b64ff592819b2fa6d43f2835c452020e" : {
+ "balance" : "0x01",
+ "code" : "0x",
+ "nonce" : "0x00",
+ "storage" : {
+ }
+ },
+ "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba" : {
+ "balance" : "0x200018022400",
+ "code" : "0x",
+ "nonce" : "0x00",
+ "storage" : {
+ }
+ },
+ "7c5a2c91b22d7a9226523d4ba717db6afb741ebd" : {
+ "balance" : "0x01",
+ "code" : "0x396000f3006000355415600957005b60",
+ "nonce" : "0x00",
+ "storage" : {
+ "0x01" : "0x01"
+ }
+ },
+ "a94f5374fce5edbc8e2a8697c15331677e6ebf0b" : {
+ "balance" : "0xffffffffffffffffffffffffffffffffffffffffffffffffffffdfffe7fddbff",
+ "code" : "0x",
+ "nonce" : "0x01",
+ "storage" : {
+ }
+ }
+ },
+ "postStateRoot" : "6096418311870b370bfaf11356cb924e88f3f5afbfe6c0adee30863089629491",
+ "pre" : {
+ "1000000000000000000000000000000000000000" : {
+ "balance" : "0x64",
+ "code" : "0x7f6001600155601080600c6000396000f3006000355415600957005b602035600060005260356020536055602153600060006001f050630fffffff60006001f05063ffffffff60006001f05067ffffffffffffffff60006001f0506fffffffffffffffffffffffffffffffff60006001f0507fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff60006001f0506000630fffffff6001f050600063ffffffff6001f050600067ffffffffffffffff6001f05060006fffffffffffffffffffffffffffffffff6001f05060007fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff6001f050630fffffff630fffffff6001f05063ffffffff63ffffffff6001f05067ffffffffffffffff67ffffffffffffffff6001f0506fffffffffffffffffffffffffffffffff6fffffffffffffffffffffffffffffffff6001f0507fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff7fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff6001f0",
+ "nonce" : "0x00",
+ "storage" : {
+ }
+ },
+ "a94f5374fce5edbc8e2a8697c15331677e6ebf0b" : {
+ "balance" : "0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff",
+ "code" : "0x",
+ "nonce" : "0x00",
+ "storage" : {
+ }
+ }
+ },
+ "transaction" : {
+ "data" : "",
+ "gasLimit" : "0xffffffffffffffffffffffffffff",
+ "gasPrice" : "0x01",
+ "nonce" : "0x00",
+ "secretKey" : "45a915e4d060149eb4365960e6a7a45f334393093061116b197e3240065ff2d8",
+ "to" : "1000000000000000000000000000000000000000",
+ "value" : "0x00"
+ }
+ },
+ "DELEGATECALL_Bounds" : {
+ "env" : {
+ "currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba",
+ "currentDifficulty" : "0x02b8feb0",
+ "currentGasLimit" : "0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff",
+ "currentNumber" : "0x118c30",
+ "currentTimestamp" : "0x01",
+ "previousHash" : "5e20a0453cecd065ea59c37ac63e079ee08998b6045136a8ce6635c7912ec0b6"
+ },
+ "logs" : [
+ ],
+ "out" : "0x",
+ "post" : {
+ "1000000000000000000000000000000000000000" : {
+ "balance" : "0x01",
+ "code" : "0x60006000600060007310000000000000000000000000000000000000016d0ffffffffffffffffffffffffffff450630fffffff6000630fffffff60007310000000000000000000000000000000000000016d0ffffffffffffffffffffffffffff45063ffffffff600063ffffffff60007310000000000000000000000000000000000000016d0ffffffffffffffffffffffffffff45067ffffffffffffffff600067ffffffffffffffff60007310000000000000000000000000000000000000016d0ffffffffffffffffffffffffffff4506fffffffffffffffffffffffffffffffff60006fffffffffffffffffffffffffffffffff60007310000000000000000000000000000000000000016d0ffffffffffffffffffffffffffff4507fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff60007fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff60007310000000000000000000000000000000000000016d0ffffffffffffffffffffffffffff4506000630fffffff6000630fffffff7310000000000000000000000000000000000000016d0ffffffffffffffffffffffffffff450600063ffffffff600063ffffffff7310000000000000000000000000000000000000016d0ffffffffffffffffffffffffffff450600067ffffffffffffffff6000",
+ "nonce" : "0x00",
+ "storage" : {
+ "0x00" : "0x02"
+ }
+ },
+ "1000000000000000000000000000000000000001" : {
+ "balance" : "0x00",
+ "code" : "0x600054600101600055",
+ "nonce" : "0x00",
+ "storage" : {
+ }
+ },
+ "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba" : {
+ "balance" : "0x100000000000000020001800b4dd",
+ "code" : "0x",
+ "nonce" : "0x00",
+ "storage" : {
+ }
+ },
+ "a94f5374fce5edbc8e2a8697c15331677e6ebf0b" : {
+ "balance" : "0xffffffffffffffffffffffffffffffffffffefffffffffffffffdfffe7ff4b21",
+ "code" : "0x",
+ "nonce" : "0x01",
+ "storage" : {
+ }
+ }
+ },
+ "postStateRoot" : "c712744b5bbe9c749d84e511fd9cc9a332433ac22a9cfe4c096c2ccab89ff356",
+ "pre" : {
+ "1000000000000000000000000000000000000000" : {
+ "balance" : "0x00",
+ "code" : "0x60006000600060007310000000000000000000000000000000000000016d0ffffffffffffffffffffffffffff450630fffffff6000630fffffff60007310000000000000000000000000000000000000016d0ffffffffffffffffffffffffffff45063ffffffff600063ffffffff60007310000000000000000000000000000000000000016d0ffffffffffffffffffffffffffff45067ffffffffffffffff600067ffffffffffffffff60007310000000000000000000000000000000000000016d0ffffffffffffffffffffffffffff4506fffffffffffffffffffffffffffffffff60006fffffffffffffffffffffffffffffffff60007310000000000000000000000000000000000000016d0ffffffffffffffffffffffffffff4507fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff60007fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff60007310000000000000000000000000000000000000016d0ffffffffffffffffffffffffffff4506000630fffffff6000630fffffff7310000000000000000000000000000000000000016d0ffffffffffffffffffffffffffff450600063ffffffff600063ffffffff7310000000000000000000000000000000000000016d0ffffffffffffffffffffffffffff450600067ffffffffffffffff6000",
+ "nonce" : "0x00",
+ "storage" : {
+ }
+ },
+ "1000000000000000000000000000000000000001" : {
+ "balance" : "0x00",
+ "code" : "0x600054600101600055",
+ "nonce" : "0x00",
+ "storage" : {
+ }
+ },
+ "a94f5374fce5edbc8e2a8697c15331677e6ebf0b" : {
+ "balance" : "0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff",
+ "code" : "0x",
+ "nonce" : "0x00",
+ "storage" : {
+ }
+ }
+ },
+ "transaction" : {
+ "data" : "",
+ "gasLimit" : "0xffffffffffffffffffffffffffff",
+ "gasPrice" : "0x01",
+ "nonce" : "0x00",
+ "secretKey" : "45a915e4d060149eb4365960e6a7a45f334393093061116b197e3240065ff2d8",
+ "to" : "1000000000000000000000000000000000000000",
+ "value" : "0x01"
+ }
+ },
+ "DUP_Bounds" : {
+ "env" : {
+ "currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba",
+ "currentDifficulty" : "0x02b8feb0",
+ "currentGasLimit" : "0x7fffffffffffffff",
+ "currentNumber" : "0x118c30",
+ "currentTimestamp" : "0x01",
+ "previousHash" : "5e20a0453cecd065ea59c37ac63e079ee08998b6045136a8ce6635c7912ec0b6"
+ },
+ "logs" : [
+ ],
+ "out" : "0x",
+ "post" : {
+ "1000000000000000000000000000000000000000" : {
+ "balance" : "0x01",
+ "code" : "0x600080505063ffffffff80505067ffffffffffffffff8050506fffffffffffffffffffffffffffffffff8050507fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff805050600060008150505063ffffffff63ffffffff8150505067ffffffffffffffff67ffffffffffffffff815050506fffffffffffffffffffffffffffffffff6fffffffffffffffffffffffffffffffff815050507fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff7fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff81505050600060006000825050505063ffffffff63ffffffff63ffffffff825050505067ffffffffffffffff67ffffffffffffffff67ffffffffffffffff82505050506fffffffffffffffffffffffffffffffff6fffffffffffffffffffffffffffffffff6fffffffffffffffffffffffffffffffff82505050507fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff7fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff7fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff8250505050600060006000600083505050505063ffffffff63ffffffff63ffffffff63ffffffff83505050505067ffffffffffffffff67ffffffffff",
+ "nonce" : "0x00",
+ "storage" : {
+ }
+ },
+ "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba" : {
+ "balance" : "0x5321",
+ "code" : "0x",
+ "nonce" : "0x00",
+ "storage" : {
+ }
+ },
+ "a94f5374fce5edbc8e2a8697c15331677e6ebf0b" : {
+ "balance" : "0x7fffffffffffacdd",
+ "code" : "0x",
+ "nonce" : "0x01",
+ "storage" : {
+ }
+ }
+ },
+ "postStateRoot" : "3517f5387debc5089461049cb26d946ba072bd2b1dd00c2c45248a3b32686855",
+ "pre" : {
+ "1000000000000000000000000000000000000000" : {
+ "balance" : "0x00",
+ "code" : "0x600080505063ffffffff80505067ffffffffffffffff8050506fffffffffffffffffffffffffffffffff8050507fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff805050600060008150505063ffffffff63ffffffff8150505067ffffffffffffffff67ffffffffffffffff815050506fffffffffffffffffffffffffffffffff6fffffffffffffffffffffffffffffffff815050507fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff7fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff81505050600060006000825050505063ffffffff63ffffffff63ffffffff825050505067ffffffffffffffff67ffffffffffffffff67ffffffffffffffff82505050506fffffffffffffffffffffffffffffffff6fffffffffffffffffffffffffffffffff6fffffffffffffffffffffffffffffffff82505050507fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff7fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff7fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff8250505050600060006000600083505050505063ffffffff63ffffffff63ffffffff63ffffffff83505050505067ffffffffffffffff67ffffffffff",
+ "nonce" : "0x00",
+ "storage" : {
+ }
+ },
+ "a94f5374fce5edbc8e2a8697c15331677e6ebf0b" : {
+ "balance" : "0x7fffffffffffffff",
+ "code" : "0x",
+ "nonce" : "0x00",
+ "storage" : {
+ }
+ }
+ },
+ "transaction" : {
+ "data" : "",
+ "gasLimit" : "0x7ffffffffffffff0",
+ "gasPrice" : "0x01",
+ "nonce" : "0x00",
+ "secretKey" : "45a915e4d060149eb4365960e6a7a45f334393093061116b197e3240065ff2d8",
+ "to" : "1000000000000000000000000000000000000000",
+ "value" : "0x01"
+ }
+ },
+ "JUMP1_Bounds" : {
+ "env" : {
+ "currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba",
+ "currentDifficulty" : "0x02b8feb0",
+ "currentGasLimit" : "0x7fffffffffffffff",
+ "currentNumber" : "0x118c30",
+ "currentTimestamp" : "0x01",
+ "previousHash" : "5e20a0453cecd065ea59c37ac63e079ee08998b6045136a8ce6635c7912ec0b6"
+ },
+ "logs" : [
+ ],
+ "out" : "0x",
+ "post" : {
+ "1000000000000000000000000000000000000000" : {
+ "balance" : "0x01",
+ "code" : "0x6080506080506080506080",
+ "nonce" : "0x00",
+ "storage" : {
+ }
+ },
+ "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba" : {
+ "balance" : "0x521a",
+ "code" : "0x",
+ "nonce" : "0x00",
+ "storage" : {
+ }
+ },
+ "a94f5374fce5edbc8e2a8697c15331677e6ebf0b" : {
+ "balance" : "0x7fffffffffffade4",
+ "code" : "0x",
+ "nonce" : "0x01",
+ "storage" : {
+ }
+ }
+ },
+ "postStateRoot" : "e7923ad60c708a05faa20894bc8eb815e7267b06e19ac0ada8a4dad3ff84851d",
+ "pre" : {
+ "1000000000000000000000000000000000000000" : {
+ "balance" : "0x00",
+ "code" : "0x6080506080506080506080",
+ "nonce" : "0x00",
+ "storage" : {
+ }
+ },
+ "a94f5374fce5edbc8e2a8697c15331677e6ebf0b" : {
+ "balance" : "0x7fffffffffffffff",
+ "code" : "0x",
+ "nonce" : "0x00",
+ "storage" : {
+ }
+ }
+ },
+ "transaction" : {
+ "data" : "",
+ "gasLimit" : "0x7ffffffffffffff0",
+ "gasPrice" : "0x01",
+ "nonce" : "0x00",
+ "secretKey" : "45a915e4d060149eb4365960e6a7a45f334393093061116b197e3240065ff2d8",
+ "to" : "1000000000000000000000000000000000000000",
+ "value" : "0x01"
+ }
+ },
+ "JUMP_Bounds" : {
+ "env" : {
+ "currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba",
+ "currentDifficulty" : "0x02b8feb0",
+ "currentGasLimit" : "0x7fffffffffffffff",
+ "currentNumber" : "0x118c30",
+ "currentTimestamp" : "0x01",
+ "previousHash" : "5e20a0453cecd065ea59c37ac63e079ee08998b6045136a8ce6635c7912ec0b6"
+ },
+ "logs" : [
+ ],
+ "out" : "0x",
+ "post" : {
+ "1000000000000000000000000000000000000000" : {
+ "balance" : "0x00",
+ "code" : "0x600056",
+ "nonce" : "0x00",
+ "storage" : {
+ }
+ },
+ "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba" : {
+ "balance" : "0x7ffffffffffffff0",
+ "code" : "0x",
+ "nonce" : "0x00",
+ "storage" : {
+ }
+ },
+ "a94f5374fce5edbc8e2a8697c15331677e6ebf0b" : {
+ "balance" : "0x0f",
+ "code" : "0x",
+ "nonce" : "0x01",
+ "storage" : {
+ }
+ }
+ },
+ "postStateRoot" : "64e1427482e39e0e4647d2208afd01e4e977d293c10890738d91711bba816a95",
+ "pre" : {
+ "1000000000000000000000000000000000000000" : {
+ "balance" : "0x00",
+ "code" : "0x600056",
+ "nonce" : "0x00",
+ "storage" : {
+ }
+ },
+ "a94f5374fce5edbc8e2a8697c15331677e6ebf0b" : {
+ "balance" : "0x7fffffffffffffff",
+ "code" : "0x",
+ "nonce" : "0x00",
+ "storage" : {
+ }
+ }
+ },
+ "transaction" : {
+ "data" : "",
+ "gasLimit" : "0x7ffffffffffffff0",
+ "gasPrice" : "0x01",
+ "nonce" : "0x00",
+ "secretKey" : "45a915e4d060149eb4365960e6a7a45f334393093061116b197e3240065ff2d8",
+ "to" : "1000000000000000000000000000000000000000",
+ "value" : "0x01"
+ }
+ },
+ "JUMP_Bounds2" : {
+ "env" : {
+ "currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba",
+ "currentDifficulty" : "0x02b8feb0",
+ "currentGasLimit" : "0x7fffffffffffffff",
+ "currentNumber" : "0x118c30",
+ "currentTimestamp" : "0x01",
+ "previousHash" : "5e20a0453cecd065ea59c37ac63e079ee08998b6045136a8ce6635c7912ec0b6"
+ },
+ "logs" : [
+ ],
+ "out" : "0x",
+ "post" : {
+ "1000000000000000000000000000000000000000" : {
+ "balance" : "0x00",
+ "code" : "0x63ffffffff5667ffffffffffffffff566fffffffffffffffffffffffffffffffff567fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff56",
+ "nonce" : "0x00",
+ "storage" : {
+ }
+ },
+ "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba" : {
+ "balance" : "0x7ffffffffffffff0",
+ "code" : "0x",
+ "nonce" : "0x00",
+ "storage" : {
+ }
+ },
+ "a94f5374fce5edbc8e2a8697c15331677e6ebf0b" : {
+ "balance" : "0x0f",
+ "code" : "0x",
+ "nonce" : "0x01",
+ "storage" : {
+ }
+ }
+ },
+ "postStateRoot" : "9756d8fbc504409c995e330f081adaa87947eb012eeaec21d0e609480bb02dcd",
+ "pre" : {
+ "1000000000000000000000000000000000000000" : {
+ "balance" : "0x00",
+ "code" : "0x63ffffffff5667ffffffffffffffff566fffffffffffffffffffffffffffffffff567fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff56",
+ "nonce" : "0x00",
+ "storage" : {
+ }
+ },
+ "a94f5374fce5edbc8e2a8697c15331677e6ebf0b" : {
+ "balance" : "0x7fffffffffffffff",
+ "code" : "0x",
+ "nonce" : "0x00",
+ "storage" : {
+ }
+ }
+ },
+ "transaction" : {
+ "data" : "",
+ "gasLimit" : "0x7ffffffffffffff0",
+ "gasPrice" : "0x01",
+ "nonce" : "0x00",
+ "secretKey" : "45a915e4d060149eb4365960e6a7a45f334393093061116b197e3240065ff2d8",
+ "to" : "1000000000000000000000000000000000000000",
+ "value" : "0x01"
+ }
+ },
+ "MLOAD_Bounds" : {
+ "env" : {
+ "currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba",
+ "currentDifficulty" : "0x02b8feb0",
+ "currentGasLimit" : "0x7fffffffffffffff",
+ "currentNumber" : "0x118c30",
+ "currentTimestamp" : "0x01",
+ "previousHash" : "5e20a0453cecd065ea59c37ac63e079ee08998b6045136a8ce6635c7912ec0b6"
+ },
+ "logs" : [
+ ],
+ "out" : "0x",
+ "post" : {
+ "1000000000000000000000000000000000000000" : {
+ "balance" : "0x01",
+ "code" : "0x6000515063ffffffff515067ffffffffffffffff51506fffffffffffffffffffffffffffffffff51507fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff51",
+ "nonce" : "0x00",
+ "storage" : {
+ }
+ },
+ "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba" : {
+ "balance" : "0x200018085219",
+ "code" : "0x",
+ "nonce" : "0x00",
+ "storage" : {
+ }
+ },
+ "a94f5374fce5edbc8e2a8697c15331677e6ebf0b" : {
+ "balance" : "0x7fffdfffe7f7ade5",
+ "code" : "0x",
+ "nonce" : "0x01",
+ "storage" : {
+ }
+ }
+ },
+ "postStateRoot" : "bc0da6a1067b6a33c071ed705abc3e708963495ad0d11c29777f0fd8a2e23532",
+ "pre" : {
+ "1000000000000000000000000000000000000000" : {
+ "balance" : "0x00",
+ "code" : "0x6000515063ffffffff515067ffffffffffffffff51506fffffffffffffffffffffffffffffffff51507fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff51",
+ "nonce" : "0x00",
+ "storage" : {
+ }
+ },
+ "a94f5374fce5edbc8e2a8697c15331677e6ebf0b" : {
+ "balance" : "0x7fffffffffffffff",
+ "code" : "0x",
+ "nonce" : "0x00",
+ "storage" : {
+ }
+ }
+ },
+ "transaction" : {
+ "data" : "",
+ "gasLimit" : "0x7ffffffffffffff0",
+ "gasPrice" : "0x01",
+ "nonce" : "0x00",
+ "secretKey" : "45a915e4d060149eb4365960e6a7a45f334393093061116b197e3240065ff2d8",
+ "to" : "1000000000000000000000000000000000000000",
+ "value" : "0x01"
+ }
+ },
+ "MSTORE_Bounds" : {
+ "env" : {
+ "currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba",
+ "currentDifficulty" : "0x02b8feb0",
+ "currentGasLimit" : "0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff",
+ "currentNumber" : "0x118c30",
+ "currentTimestamp" : "0x01",
+ "previousHash" : "5e20a0453cecd065ea59c37ac63e079ee08998b6045136a8ce6635c7912ec0b6"
+ },
+ "logs" : [
+ ],
+ "out" : "0x",
+ "post" : {
+ "1000000000000000000000000000000000000000" : {
+ "balance" : "0x00",
+ "code" : "0x600167ffffffffffffffff52",
+ "nonce" : "0x00",
+ "storage" : {
+ }
+ },
+ "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba" : {
+ "balance" : "0x0fffffffffffffffff",
+ "code" : "0x",
+ "nonce" : "0x00",
+ "storage" : {
+ }
+ },
+ "a94f5374fce5edbc8e2a8697c15331677e6ebf0b" : {
+ "balance" : "0xfffffffffffffffffffffffffffffffffffffffffffffff00000000000000000",
+ "code" : "0x",
+ "nonce" : "0x01",
+ "storage" : {
+ }
+ }
+ },
+ "postStateRoot" : "a1fd75e13d296e32549d10a6358f88feebde57a5c7d02aab41610e86c7a0060f",
+ "pre" : {
+ "1000000000000000000000000000000000000000" : {
+ "balance" : "0x00",
+ "code" : "0x600167ffffffffffffffff52",
+ "nonce" : "0x00",
+ "storage" : {
+ }
+ },
+ "a94f5374fce5edbc8e2a8697c15331677e6ebf0b" : {
+ "balance" : "0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff",
+ "code" : "0x",
+ "nonce" : "0x00",
+ "storage" : {
+ }
+ }
+ },
+ "transaction" : {
+ "data" : "",
+ "gasLimit" : "0xfffffffffffffffff",
+ "gasPrice" : "0x01",
+ "nonce" : "0x00",
+ "secretKey" : "45a915e4d060149eb4365960e6a7a45f334393093061116b197e3240065ff2d8",
+ "to" : "1000000000000000000000000000000000000000",
+ "value" : "0x01"
+ }
+ },
+ "POP_Bounds" : {
+ "env" : {
+ "currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba",
+ "currentDifficulty" : "0x02b8feb0",
+ "currentGasLimit" : "0x7fffffffffffffff",
+ "currentNumber" : "0x118c30",
+ "currentTimestamp" : "0x01",
+ "previousHash" : "5e20a0453cecd065ea59c37ac63e079ee08998b6045136a8ce6635c7912ec0b6"
+ },
+ "logs" : [
+ ],
+ "out" : "0x",
+ "post" : {
+ "1000000000000000000000000000000000000000" : {
+ "balance" : "0x01",
+ "code" : "0x60005063ffffffff5067ffffffffffffffff506fffffffffffffffffffffffffffffffff507fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff50",
+ "nonce" : "0x00",
+ "storage" : {
+ }
+ },
+ "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba" : {
+ "balance" : "0x5221",
+ "code" : "0x",
+ "nonce" : "0x00",
+ "storage" : {
+ }
+ },
+ "a94f5374fce5edbc8e2a8697c15331677e6ebf0b" : {
+ "balance" : "0x7fffffffffffaddd",
+ "code" : "0x",
+ "nonce" : "0x01",
+ "storage" : {
+ }
+ }
+ },
+ "postStateRoot" : "277b70e7a9862ee232e2eee4dbbbd9ca5f9684b43d9bbc1c3163cbff1d3a7fe6",
+ "pre" : {
+ "1000000000000000000000000000000000000000" : {
+ "balance" : "0x00",
+ "code" : "0x60005063ffffffff5067ffffffffffffffff506fffffffffffffffffffffffffffffffff507fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff50",
+ "nonce" : "0x00",
+ "storage" : {
+ }
+ },
+ "a94f5374fce5edbc8e2a8697c15331677e6ebf0b" : {
+ "balance" : "0x7fffffffffffffff",
+ "code" : "0x",
+ "nonce" : "0x00",
+ "storage" : {
+ }
+ }
+ },
+ "transaction" : {
+ "data" : "",
+ "gasLimit" : "0x7ffffffffffffff0",
+ "gasPrice" : "0x01",
+ "nonce" : "0x00",
+ "secretKey" : "45a915e4d060149eb4365960e6a7a45f334393093061116b197e3240065ff2d8",
+ "to" : "1000000000000000000000000000000000000000",
+ "value" : "0x01"
+ }
+ },
+ "RETURN_Bounds" : {
+ "env" : {
+ "currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba",
+ "currentDifficulty" : "0x02b8feb0",
+ "currentGasLimit" : "0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff",
+ "currentNumber" : "0x118c30",
+ "currentTimestamp" : "0x01",
+ "previousHash" : "5e20a0453cecd065ea59c37ac63e079ee08998b6045136a8ce6635c7912ec0b6"
+ },
+ "logs" : [
+ ],
+ "out" : "0x",
+ "post" : {
+ "1000000000000000000000000000000000000000" : {
+ "balance" : "0x01",
+ "code" : "0x600060006000600060007310000000000000000000000000000000000000016d0ffffffffffffffffffffffffffff1600155600060006000600060007310000000000000000000000000000000000000026d0ffffffffffffffffffffffffffff1600255600060006000600060007310000000000000000000000000000000000000036d0ffffffffffffffffffffffffffff1600355600060006000600060007310000000000000000000000000000000000000046d0ffffffffffffffffffffffffffff1600455600060006000600060007310000000000000000000000000000000000000056d0ffffffffffffffffffffffffffff1600555600060006000600060007310000000000000000000000000000000000000066d0ffffffffffffffffffffffffffff1600655600060006000600060007310000000000000000000000000000000000000066d0ffffffffffffffffffffffffffff1600755600060006000600060007310000000000000000000000000000000000000066d0ffffffffffffffffffffffffffff1600855600060006000600060007310000000000000000000000000000000000000066d0ffffffffffffffffffffffffffff1600955600060006000600060007310000000000000000000000000000000000000066d0ffffffffffffffffffffffffffff1600a556000600060006000600073",
+ "nonce" : "0x00",
+ "storage" : {
+ "0x01" : "0x01",
+ "0x02" : "0x01",
+ "0x03" : "0x01",
+ "0x04" : "0x01",
+ "0x05" : "0x01",
+ "0x06" : "0x01",
+ "0x07" : "0x01",
+ "0x08" : "0x01",
+ "0x09" : "0x01",
+ "0x0a" : "0x01"
+ }
+ },
+ "1000000000000000000000000000000000000001" : {
+ "balance" : "0x00",
+ "code" : "0x60006000f3",
+ "nonce" : "0x00",
+ "storage" : {
+ }
+ },
+ "1000000000000000000000000000000000000002" : {
+ "balance" : "0x00",
+ "code" : "0x6000630ffffffff3",
+ "nonce" : "0x00",
+ "storage" : {
+ }
+ },
+ "1000000000000000000000000000000000000003" : {
+ "balance" : "0x00",
+ "code" : "0x600063fffffffff3",
+ "nonce" : "0x00",
+ "storage" : {
+ }
+ },
+ "1000000000000000000000000000000000000004" : {
+ "balance" : "0x00",
+ "code" : "0x600067fffffffffffffffff3",
+ "nonce" : "0x00",
+ "storage" : {
+ }
+ },
+ "1000000000000000000000000000000000000005" : {
+ "balance" : "0x00",
+ "code" : "0x60006d0ffffffffffffffffffffffffffff3",
+ "nonce" : "0x00",
+ "storage" : {
+ }
+ },
+ "1000000000000000000000000000000000000006" : {
+ "balance" : "0x00",
+ "code" : "0x60007ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff3",
+ "nonce" : "0x00",
+ "storage" : {
+ }
+ },
+ "1000000000000000000000000000000000000007" : {
+ "balance" : "0x00",
+ "code" : "0x630fffffff6000f3",
+ "nonce" : "0x00",
+ "storage" : {
+ }
+ },
+ "1000000000000000000000000000000000000008" : {
+ "balance" : "0x00",
+ "code" : "0x63ffffffff6000f3",
+ "nonce" : "0x00",
+ "storage" : {
+ }
+ },
+ "1000000000000000000000000000000000000009" : {
+ "balance" : "0x00",
+ "code" : "0x67ffffffffffffffff6000f3",
+ "nonce" : "0x00",
+ "storage" : {
+ }
+ },
+ "1000000000000000000000000000000000000010" : {
+ "balance" : "0x00",
+ "code" : "0x6d0fffffffffffffffffffffffffff6000f3",
+ "nonce" : "0x00",
+ "storage" : {
+ }
+ },
+ "1000000000000000000000000000000000000011" : {
+ "balance" : "0x00",
+ "code" : "0x7fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff6000f3",
+ "nonce" : "0x00",
+ "storage" : {
+ }
+ },
+ "1000000000000000000000000000000000000012" : {
+ "balance" : "0x00",
+ "code" : "0x630fffffff630ffffffff3",
+ "nonce" : "0x00",
+ "storage" : {
+ }
+ },
+ "1000000000000000000000000000000000000013" : {
+ "balance" : "0x00",
+ "code" : "0x63ffffffff63fffffffff3",
+ "nonce" : "0x00",
+ "storage" : {
+ }
+ },
+ "1000000000000000000000000000000000000014" : {
+ "balance" : "0x00",
+ "code" : "0x67ffffffffffffffff67fffffffffffffffff3",
+ "nonce" : "0x00",
+ "storage" : {
+ }
+ },
+ "1000000000000000000000000000000000000015" : {
+ "balance" : "0x00",
+ "code" : "0x6d0fffffffffffffffffffffffffff6d0ffffffffffffffffffffffffffff3",
+ "nonce" : "0x00",
+ "storage" : {
+ }
+ },
+ "1000000000000000000000000000000000000016" : {
+ "balance" : "0x00",
+ "code" : "0x7fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff7ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff3",
+ "nonce" : "0x00",
+ "storage" : {
+ }
+ },
+ "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba" : {
+ "balance" : "0x036216",
+ "code" : "0x",
+ "nonce" : "0x00",
+ "storage" : {
+ }
+ },
+ "a94f5374fce5edbc8e2a8697c15331677e6ebf0b" : {
+ "balance" : "0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc9de8",
+ "code" : "0x",
+ "nonce" : "0x01",
+ "storage" : {
+ }
+ }
+ },
+ "postStateRoot" : "6d24ae36b7cc3d5971d808c9582609c6516102dabe9215ed9395c97fea32f65f",
+ "pre" : {
+ "1000000000000000000000000000000000000000" : {
+ "balance" : "0x00",
+ "code" : "0x600060006000600060007310000000000000000000000000000000000000016d0ffffffffffffffffffffffffffff1600155600060006000600060007310000000000000000000000000000000000000026d0ffffffffffffffffffffffffffff1600255600060006000600060007310000000000000000000000000000000000000036d0ffffffffffffffffffffffffffff1600355600060006000600060007310000000000000000000000000000000000000046d0ffffffffffffffffffffffffffff1600455600060006000600060007310000000000000000000000000000000000000056d0ffffffffffffffffffffffffffff1600555600060006000600060007310000000000000000000000000000000000000066d0ffffffffffffffffffffffffffff1600655600060006000600060007310000000000000000000000000000000000000066d0ffffffffffffffffffffffffffff1600755600060006000600060007310000000000000000000000000000000000000066d0ffffffffffffffffffffffffffff1600855600060006000600060007310000000000000000000000000000000000000066d0ffffffffffffffffffffffffffff1600955600060006000600060007310000000000000000000000000000000000000066d0ffffffffffffffffffffffffffff1600a556000600060006000600073",
+ "nonce" : "0x00",
+ "storage" : {
+ }
+ },
+ "1000000000000000000000000000000000000001" : {
+ "balance" : "0x00",
+ "code" : "0x60006000f3",
+ "nonce" : "0x00",
+ "storage" : {
+ }
+ },
+ "1000000000000000000000000000000000000002" : {
+ "balance" : "0x00",
+ "code" : "0x6000630ffffffff3",
+ "nonce" : "0x00",
+ "storage" : {
+ }
+ },
+ "1000000000000000000000000000000000000003" : {
+ "balance" : "0x00",
+ "code" : "0x600063fffffffff3",
+ "nonce" : "0x00",
+ "storage" : {
+ }
+ },
+ "1000000000000000000000000000000000000004" : {
+ "balance" : "0x00",
+ "code" : "0x600067fffffffffffffffff3",
+ "nonce" : "0x00",
+ "storage" : {
+ }
+ },
+ "1000000000000000000000000000000000000005" : {
+ "balance" : "0x00",
+ "code" : "0x60006d0ffffffffffffffffffffffffffff3",
+ "nonce" : "0x00",
+ "storage" : {
+ }
+ },
+ "1000000000000000000000000000000000000006" : {
+ "balance" : "0x00",
+ "code" : "0x60007ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff3",
+ "nonce" : "0x00",
+ "storage" : {
+ }
+ },
+ "1000000000000000000000000000000000000007" : {
+ "balance" : "0x00",
+ "code" : "0x630fffffff6000f3",
+ "nonce" : "0x00",
+ "storage" : {
+ }
+ },
+ "1000000000000000000000000000000000000008" : {
+ "balance" : "0x00",
+ "code" : "0x63ffffffff6000f3",
+ "nonce" : "0x00",
+ "storage" : {
+ }
+ },
+ "1000000000000000000000000000000000000009" : {
+ "balance" : "0x00",
+ "code" : "0x67ffffffffffffffff6000f3",
+ "nonce" : "0x00",
+ "storage" : {
+ }
+ },
+ "1000000000000000000000000000000000000010" : {
+ "balance" : "0x00",
+ "code" : "0x6d0fffffffffffffffffffffffffff6000f3",
+ "nonce" : "0x00",
+ "storage" : {
+ }
+ },
+ "1000000000000000000000000000000000000011" : {
+ "balance" : "0x00",
+ "code" : "0x7fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff6000f3",
+ "nonce" : "0x00",
+ "storage" : {
+ }
+ },
+ "1000000000000000000000000000000000000012" : {
+ "balance" : "0x00",
+ "code" : "0x630fffffff630ffffffff3",
+ "nonce" : "0x00",
+ "storage" : {
+ }
+ },
+ "1000000000000000000000000000000000000013" : {
+ "balance" : "0x00",
+ "code" : "0x63ffffffff63fffffffff3",
+ "nonce" : "0x00",
+ "storage" : {
+ }
+ },
+ "1000000000000000000000000000000000000014" : {
+ "balance" : "0x00",
+ "code" : "0x67ffffffffffffffff67fffffffffffffffff3",
+ "nonce" : "0x00",
+ "storage" : {
+ }
+ },
+ "1000000000000000000000000000000000000015" : {
+ "balance" : "0x00",
+ "code" : "0x6d0fffffffffffffffffffffffffff6d0ffffffffffffffffffffffffffff3",
+ "nonce" : "0x00",
+ "storage" : {
+ }
+ },
+ "1000000000000000000000000000000000000016" : {
+ "balance" : "0x00",
+ "code" : "0x7fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff7ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff3",
+ "nonce" : "0x00",
+ "storage" : {
+ }
+ },
+ "a94f5374fce5edbc8e2a8697c15331677e6ebf0b" : {
+ "balance" : "0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff",
+ "code" : "0x",
+ "nonce" : "0x00",
+ "storage" : {
+ }
+ }
+ },
+ "transaction" : {
+ "data" : "",
+ "gasLimit" : "0xffffffffffffffffffffffffffff",
+ "gasPrice" : "0x01",
+ "nonce" : "0x00",
+ "secretKey" : "45a915e4d060149eb4365960e6a7a45f334393093061116b197e3240065ff2d8",
+ "to" : "1000000000000000000000000000000000000000",
+ "value" : "0x01"
+ }
+ },
+ "SLOAD_Bounds" : {
+ "env" : {
+ "currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba",
+ "currentDifficulty" : "0x02b8feb0",
+ "currentGasLimit" : "0x7fffffffffffffff",
+ "currentNumber" : "0x118c30",
+ "currentTimestamp" : "0x01",
+ "previousHash" : "5e20a0453cecd065ea59c37ac63e079ee08998b6045136a8ce6635c7912ec0b6"
+ },
+ "logs" : [
+ ],
+ "out" : "0x",
+ "post" : {
+ "1000000000000000000000000000000000000000" : {
+ "balance" : "0x01",
+ "code" : "0x6000545063ffffffff545067ffffffffffffffff54506fffffffffffffffffffffffffffffffff54507fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff54",
+ "nonce" : "0x00",
+ "storage" : {
+ }
+ },
+ "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba" : {
+ "balance" : "0x5319",
+ "code" : "0x",
+ "nonce" : "0x00",
+ "storage" : {
+ }
+ },
+ "a94f5374fce5edbc8e2a8697c15331677e6ebf0b" : {
+ "balance" : "0x7ffffffffffface5",
+ "code" : "0x",
+ "nonce" : "0x01",
+ "storage" : {
+ }
+ }
+ },
+ "postStateRoot" : "887be9fe13a4454d653b44096237ab64e24bec27148e384c49427609a3c5dd8b",
+ "pre" : {
+ "1000000000000000000000000000000000000000" : {
+ "balance" : "0x00",
+ "code" : "0x6000545063ffffffff545067ffffffffffffffff54506fffffffffffffffffffffffffffffffff54507fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff54",
+ "nonce" : "0x00",
+ "storage" : {
+ }
+ },
+ "a94f5374fce5edbc8e2a8697c15331677e6ebf0b" : {
+ "balance" : "0x7fffffffffffffff",
+ "code" : "0x",
+ "nonce" : "0x00",
+ "storage" : {
+ }
+ }
+ },
+ "transaction" : {
+ "data" : "",
+ "gasLimit" : "0x7ffffffffffffff0",
+ "gasPrice" : "0x01",
+ "nonce" : "0x00",
+ "secretKey" : "45a915e4d060149eb4365960e6a7a45f334393093061116b197e3240065ff2d8",
+ "to" : "1000000000000000000000000000000000000000",
+ "value" : "0x01"
+ }
+ },
+ "SSTORE_Bounds" : {
+ "env" : {
+ "currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba",
+ "currentDifficulty" : "0x02b8feb0",
+ "currentGasLimit" : "0x7fffffffffffffff",
+ "currentNumber" : "0x118c30",
+ "currentTimestamp" : "0x01",
+ "previousHash" : "5e20a0453cecd065ea59c37ac63e079ee08998b6045136a8ce6635c7912ec0b6"
+ },
+ "logs" : [
+ ],
+ "out" : "0x",
+ "post" : {
+ "1000000000000000000000000000000000000000" : {
+ "balance" : "0x01",
+ "code" : "0x600163ffffffff55600167ffffffffffffffff5560016fffffffffffffffffffffffffffffffff5560017fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff5563ffffffff60205567ffffffffffffffff6040556fffffffffffffffffffffffffffffffff6080557fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff61010055",
+ "nonce" : "0x00",
+ "storage" : {
+ "0x0100" : "0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff",
+ "0x20" : "0xffffffff",
+ "0x40" : "0xffffffffffffffff",
+ "0x80" : "0xffffffffffffffffffffffffffffffff",
+ "0xffffffff" : "0x01",
+ "0xffffffffffffffff" : "0x01",
+ "0xffffffffffffffffffffffffffffffff" : "0x01",
+ "0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff" : "0x01"
+ }
+ },
+ "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba" : {
+ "balance" : "0x02c338",
+ "code" : "0x",
+ "nonce" : "0x00",
+ "storage" : {
+ }
+ },
+ "a94f5374fce5edbc8e2a8697c15331677e6ebf0b" : {
+ "balance" : "0x7ffffffffffd3cc6",
+ "code" : "0x",
+ "nonce" : "0x01",
+ "storage" : {
+ }
+ }
+ },
+ "postStateRoot" : "5d5d1a7e82b3cad3524c37042c4d1a91a73fb790d4b8faacf10f666455d2e003",
+ "pre" : {
+ "1000000000000000000000000000000000000000" : {
+ "balance" : "0x00",
+ "code" : "0x600163ffffffff55600167ffffffffffffffff5560016fffffffffffffffffffffffffffffffff5560017fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff5563ffffffff60205567ffffffffffffffff6040556fffffffffffffffffffffffffffffffff6080557fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff61010055",
+ "nonce" : "0x00",
+ "storage" : {
+ }
+ },
+ "a94f5374fce5edbc8e2a8697c15331677e6ebf0b" : {
+ "balance" : "0x7fffffffffffffff",
+ "code" : "0x",
+ "nonce" : "0x00",
+ "storage" : {
+ }
+ }
+ },
+ "transaction" : {
+ "data" : "",
+ "gasLimit" : "0x7ffffffffffffff0",
+ "gasPrice" : "0x01",
+ "nonce" : "0x00",
+ "secretKey" : "45a915e4d060149eb4365960e6a7a45f334393093061116b197e3240065ff2d8",
+ "to" : "1000000000000000000000000000000000000000",
+ "value" : "0x01"
+ }
+ }
+} \ No newline at end of file