github.com/jeffallen/go-ethereum@v1.1.4-0.20150910155051-571d3236c49c/tests/files/VMTests/vmIOandFlowOperationsTest.json (about)

     1  {
     2      "BlockNumberDynamicJump0_AfterJumpdest" : {
     3          "env" : {
     4              "currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba",
     5              "currentDifficulty" : "0x0100",
     6              "currentGasLimit" : "0x0f4240",
     7              "currentNumber" : "0x02",
     8              "currentTimestamp" : "0x01",
     9              "previousHash" : "5e20a0453cecd065ea59c37ac63e079ee08998b6045136a8ce6635c7912ec0b6"
    10          },
    11          "exec" : {
    12              "address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
    13              "caller" : "cd1722f3947def4cf144679da39c4c32bdc35681",
    14              "code" : "0x6023600843015660015b600255",
    15              "data" : "0x",
    16              "gas" : "0x0186a0",
    17              "gasPrice" : "0x5af3107a4000",
    18              "origin" : "cd1722f3947def4cf144679da39c4c32bdc35681",
    19              "value" : "0x0de0b6b3a7640000"
    20          },
    21          "pre" : {
    22              "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
    23                  "balance" : "0x152d02c7e14af6800000",
    24                  "code" : "0x6023600843015660015b600255",
    25                  "nonce" : "0x00",
    26                  "storage" : {
    27                  }
    28              }
    29          }
    30      },
    31      "BlockNumberDynamicJump0_AfterJumpdest3" : {
    32          "env" : {
    33              "currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba",
    34              "currentDifficulty" : "0x0100",
    35              "currentGasLimit" : "0x0f4240",
    36              "currentNumber" : "0x02",
    37              "currentTimestamp" : "0x01",
    38              "previousHash" : "5e20a0453cecd065ea59c37ac63e079ee08998b6045136a8ce6635c7912ec0b6"
    39          },
    40          "exec" : {
    41              "address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
    42              "caller" : "cd1722f3947def4cf144679da39c4c32bdc35681",
    43              "code" : "0x6023600b60085043015660015b600255",
    44              "data" : "0x",
    45              "gas" : "0x0186a0",
    46              "gasPrice" : "0x5af3107a4000",
    47              "origin" : "cd1722f3947def4cf144679da39c4c32bdc35681",
    48              "value" : "0x0de0b6b3a7640000"
    49          },
    50          "pre" : {
    51              "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
    52                  "balance" : "0x152d02c7e14af6800000",
    53                  "code" : "0x6023600b60085043015660015b600255",
    54                  "nonce" : "0x00",
    55                  "storage" : {
    56                  }
    57              }
    58          }
    59      },
    60      "BlockNumberDynamicJump0_foreverOutOfGas" : {
    61          "env" : {
    62              "currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba",
    63              "currentDifficulty" : "0x0100",
    64              "currentGasLimit" : "0x0f4240",
    65              "currentNumber" : "0x02",
    66              "currentTimestamp" : "0x01",
    67              "previousHash" : "5e20a0453cecd065ea59c37ac63e079ee08998b6045136a8ce6635c7912ec0b6"
    68          },
    69          "exec" : {
    70              "address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
    71              "caller" : "cd1722f3947def4cf144679da39c4c32bdc35681",
    72              "code" : "0x5b600060000156",
    73              "data" : "0x",
    74              "gas" : "0x0186a0",
    75              "gasPrice" : "0x5af3107a4000",
    76              "origin" : "cd1722f3947def4cf144679da39c4c32bdc35681",
    77              "value" : "0x0de0b6b3a7640000"
    78          },
    79          "pre" : {
    80              "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
    81                  "balance" : "0x152d02c7e14af6800000",
    82                  "code" : "0x5b600060000156",
    83                  "nonce" : "0x00",
    84                  "storage" : {
    85                  }
    86              }
    87          }
    88      },
    89      "BlockNumberDynamicJump0_jumpdest0" : {
    90          "callcreates" : [
    91          ],
    92          "env" : {
    93              "currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba",
    94              "currentDifficulty" : "0x0100",
    95              "currentGasLimit" : "0x0f4240",
    96              "currentNumber" : "0x02",
    97              "currentTimestamp" : "0x01",
    98              "previousHash" : "5e20a0453cecd065ea59c37ac63e079ee08998b6045136a8ce6635c7912ec0b6"
    99          },
   100          "exec" : {
   101              "address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
   102              "caller" : "cd1722f3947def4cf144679da39c4c32bdc35681",
   103              "code" : "0x6023600743015660015b600255",
   104              "data" : "0x",
   105              "gas" : "0x0186a0",
   106              "gasPrice" : "0x5af3107a4000",
   107              "origin" : "cd1722f3947def4cf144679da39c4c32bdc35681",
   108              "value" : "0x0de0b6b3a7640000"
   109          },
   110          "gas" : "0x013869",
   111          "logs" : [
   112          ],
   113          "out" : "0x",
   114          "post" : {
   115              "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
   116                  "balance" : "0x152d02c7e14af6800000",
   117                  "code" : "0x6023600743015660015b600255",
   118                  "nonce" : "0x00",
   119                  "storage" : {
   120                      "0x02" : "0x23"
   121                  }
   122              }
   123          },
   124          "pre" : {
   125              "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
   126                  "balance" : "0x152d02c7e14af6800000",
   127                  "code" : "0x6023600743015660015b600255",
   128                  "nonce" : "0x00",
   129                  "storage" : {
   130                  }
   131              }
   132          }
   133      },
   134      "BlockNumberDynamicJump0_jumpdest2" : {
   135          "callcreates" : [
   136          ],
   137          "env" : {
   138              "currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba",
   139              "currentDifficulty" : "0x0100",
   140              "currentGasLimit" : "0x0f4240",
   141              "currentNumber" : "0x02",
   142              "currentTimestamp" : "0x01",
   143              "previousHash" : "5e20a0453cecd065ea59c37ac63e079ee08998b6045136a8ce6635c7912ec0b6"
   144          },
   145          "exec" : {
   146              "address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
   147              "caller" : "cd1722f3947def4cf144679da39c4c32bdc35681",
   148              "code" : "0x6023600a60085043015660015b600255",
   149              "data" : "0x",
   150              "gas" : "0x0186a0",
   151              "gasPrice" : "0x5af3107a4000",
   152              "origin" : "cd1722f3947def4cf144679da39c4c32bdc35681",
   153              "value" : "0x0de0b6b3a7640000"
   154          },
   155          "gas" : "0x013864",
   156          "logs" : [
   157          ],
   158          "out" : "0x",
   159          "post" : {
   160              "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
   161                  "balance" : "0x152d02c7e14af6800000",
   162                  "code" : "0x6023600a60085043015660015b600255",
   163                  "nonce" : "0x00",
   164                  "storage" : {
   165                      "0x02" : "0x23"
   166                  }
   167              }
   168          },
   169          "pre" : {
   170              "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
   171                  "balance" : "0x152d02c7e14af6800000",
   172                  "code" : "0x6023600a60085043015660015b600255",
   173                  "nonce" : "0x00",
   174                  "storage" : {
   175                  }
   176              }
   177          }
   178      },
   179      "BlockNumberDynamicJump0_withoutJumpdest" : {
   180          "env" : {
   181              "currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba",
   182              "currentDifficulty" : "0x0100",
   183              "currentGasLimit" : "0x0f4240",
   184              "currentNumber" : "0x02",
   185              "currentTimestamp" : "0x01",
   186              "previousHash" : "5e20a0453cecd065ea59c37ac63e079ee08998b6045136a8ce6635c7912ec0b6"
   187          },
   188          "exec" : {
   189              "address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
   190              "caller" : "cd1722f3947def4cf144679da39c4c32bdc35681",
   191              "code" : "0x602360074301566001600255",
   192              "data" : "0x",
   193              "gas" : "0x0186a0",
   194              "gasPrice" : "0x5af3107a4000",
   195              "origin" : "cd1722f3947def4cf144679da39c4c32bdc35681",
   196              "value" : "0x0de0b6b3a7640000"
   197          },
   198          "pre" : {
   199              "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
   200                  "balance" : "0x152d02c7e14af6800000",
   201                  "code" : "0x602360074301566001600255",
   202                  "nonce" : "0x00",
   203                  "storage" : {
   204                  }
   205              }
   206          }
   207      },
   208      "BlockNumberDynamicJump1" : {
   209          "env" : {
   210              "currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba",
   211              "currentDifficulty" : "0x0100",
   212              "currentGasLimit" : "0x0f4240",
   213              "currentNumber" : "0x02",
   214              "currentTimestamp" : "0x01",
   215              "previousHash" : "5e20a0453cecd065ea59c37ac63e079ee08998b6045136a8ce6635c7912ec0b6"
   216          },
   217          "exec" : {
   218              "address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
   219              "caller" : "cd1722f3947def4cf144679da39c4c32bdc35681",
   220              "code" : "0x620fffff620fffff01430156",
   221              "data" : "0x",
   222              "gas" : "0x0186a0",
   223              "gasPrice" : "0x5af3107a4000",
   224              "origin" : "cd1722f3947def4cf144679da39c4c32bdc35681",
   225              "value" : "0x0de0b6b3a7640000"
   226          },
   227          "pre" : {
   228              "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
   229                  "balance" : "0x152d02c7e14af6800000",
   230                  "code" : "0x620fffff620fffff01430156",
   231                  "nonce" : "0x00",
   232                  "storage" : {
   233                  }
   234              }
   235          }
   236      },
   237      "BlockNumberDynamicJumpInsidePushWithJumpDest" : {
   238          "env" : {
   239              "currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba",
   240              "currentDifficulty" : "0x0100",
   241              "currentGasLimit" : "0x0f4240",
   242              "currentNumber" : "0x02",
   243              "currentTimestamp" : "0x01",
   244              "previousHash" : "5e20a0453cecd065ea59c37ac63e079ee08998b6045136a8ce6635c7912ec0b6"
   245          },
   246          "exec" : {
   247              "address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
   248              "caller" : "cd1722f3947def4cf144679da39c4c32bdc35681",
   249              "code" : "0x6004430156655b6001600155",
   250              "data" : "0x",
   251              "gas" : "0x0186a0",
   252              "gasPrice" : "0x5af3107a4000",
   253              "origin" : "cd1722f3947def4cf144679da39c4c32bdc35681",
   254              "value" : "0x0de0b6b3a7640000"
   255          },
   256          "pre" : {
   257              "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
   258                  "balance" : "0x152d02c7e14af6800000",
   259                  "code" : "0x6004430156655b6001600155",
   260                  "nonce" : "0x00",
   261                  "storage" : {
   262                  }
   263              }
   264          }
   265      },
   266      "BlockNumberDynamicJumpInsidePushWithoutJumpDest" : {
   267          "env" : {
   268              "currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba",
   269              "currentDifficulty" : "0x0100",
   270              "currentGasLimit" : "0x0f4240",
   271              "currentNumber" : "0x02",
   272              "currentTimestamp" : "0x01",
   273              "previousHash" : "5e20a0453cecd065ea59c37ac63e079ee08998b6045136a8ce6635c7912ec0b6"
   274          },
   275          "exec" : {
   276              "address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
   277              "caller" : "cd1722f3947def4cf144679da39c4c32bdc35681",
   278              "code" : "0x600543015661eeff",
   279              "data" : "0x",
   280              "gas" : "0x0186a0",
   281              "gasPrice" : "0x5af3107a4000",
   282              "origin" : "cd1722f3947def4cf144679da39c4c32bdc35681",
   283              "value" : "0x0de0b6b3a7640000"
   284          },
   285          "pre" : {
   286              "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
   287                  "balance" : "0x152d02c7e14af6800000",
   288                  "code" : "0x600543015661eeff",
   289                  "nonce" : "0x00",
   290                  "storage" : {
   291                  }
   292              }
   293          }
   294      },
   295      "BlockNumberDynamicJumpi0" : {
   296          "env" : {
   297              "currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba",
   298              "currentDifficulty" : "0x0100",
   299              "currentGasLimit" : "0x0f4240",
   300              "currentNumber" : "0x02",
   301              "currentTimestamp" : "0x01",
   302              "previousHash" : "5e20a0453cecd065ea59c37ac63e079ee08998b6045136a8ce6635c7912ec0b6"
   303          },
   304          "exec" : {
   305              "address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
   306              "caller" : "cd1722f3947def4cf144679da39c4c32bdc35681",
   307              "code" : "0x6023600160094301576001600255",
   308              "data" : "0x",
   309              "gas" : "0x0186a0",
   310              "gasPrice" : "0x5af3107a4000",
   311              "origin" : "cd1722f3947def4cf144679da39c4c32bdc35681",
   312              "value" : "0x0de0b6b3a7640000"
   313          },
   314          "pre" : {
   315              "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
   316                  "balance" : "0x152d02c7e14af6800000",
   317                  "code" : "0x6023600160094301576001600255",
   318                  "nonce" : "0x00",
   319                  "storage" : {
   320                  }
   321              }
   322          }
   323      },
   324      "BlockNumberDynamicJumpi1" : {
   325          "callcreates" : [
   326          ],
   327          "env" : {
   328              "currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba",
   329              "currentDifficulty" : "0x0100",
   330              "currentGasLimit" : "0x0f4240",
   331              "currentNumber" : "0x02",
   332              "currentTimestamp" : "0x01",
   333              "previousHash" : "5e20a0453cecd065ea59c37ac63e079ee08998b6045136a8ce6635c7912ec0b6"
   334          },
   335          "exec" : {
   336              "address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
   337              "caller" : "cd1722f3947def4cf144679da39c4c32bdc35681",
   338              "code" : "0x6023600060094301576001600255",
   339              "data" : "0x",
   340              "gas" : "0x0186a0",
   341              "gasPrice" : "0x5af3107a4000",
   342              "origin" : "cd1722f3947def4cf144679da39c4c32bdc35681",
   343              "value" : "0x0de0b6b3a7640000"
   344          },
   345          "gas" : "0x013862",
   346          "logs" : [
   347          ],
   348          "out" : "0x",
   349          "post" : {
   350              "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
   351                  "balance" : "0x152d02c7e14af6800000",
   352                  "code" : "0x6023600060094301576001600255",
   353                  "nonce" : "0x00",
   354                  "storage" : {
   355                      "0x02" : "0x01"
   356                  }
   357              }
   358          },
   359          "pre" : {
   360              "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
   361                  "balance" : "0x152d02c7e14af6800000",
   362                  "code" : "0x6023600060094301576001600255",
   363                  "nonce" : "0x00",
   364                  "storage" : {
   365                  }
   366              }
   367          }
   368      },
   369      "BlockNumberDynamicJumpi1_jumpdest" : {
   370          "env" : {
   371              "currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba",
   372              "currentDifficulty" : "0x0100",
   373              "currentGasLimit" : "0x0f4240",
   374              "currentNumber" : "0x02",
   375              "currentTimestamp" : "0x01",
   376              "previousHash" : "5e20a0453cecd065ea59c37ac63e079ee08998b6045136a8ce6635c7912ec0b6"
   377          },
   378          "exec" : {
   379              "address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
   380              "caller" : "cd1722f3947def4cf144679da39c4c32bdc35681",
   381              "code" : "0x60236001600a43015760015b600255",
   382              "data" : "0x",
   383              "gas" : "0x0186a0",
   384              "gasPrice" : "0x5af3107a4000",
   385              "origin" : "cd1722f3947def4cf144679da39c4c32bdc35681",
   386              "value" : "0x0de0b6b3a7640000"
   387          },
   388          "pre" : {
   389              "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
   390                  "balance" : "0x152d02c7e14af6800000",
   391                  "code" : "0x60236001600a43015760015b600255",
   392                  "nonce" : "0x00",
   393                  "storage" : {
   394                  }
   395              }
   396          }
   397      },
   398      "BlockNumberDynamicJumpiAfterStop" : {
   399          "callcreates" : [
   400          ],
   401          "env" : {
   402              "currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba",
   403              "currentDifficulty" : "0x0100",
   404              "currentGasLimit" : "0x0f4240",
   405              "currentNumber" : "0x02",
   406              "currentTimestamp" : "0x01",
   407              "previousHash" : "5e20a0453cecd065ea59c37ac63e079ee08998b6045136a8ce6635c7912ec0b6"
   408          },
   409          "exec" : {
   410              "address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
   411              "caller" : "cd1722f3947def4cf144679da39c4c32bdc35681",
   412              "code" : "0x600160084301570060015b6002600355",
   413              "data" : "0x",
   414              "gas" : "0x0186a0",
   415              "gasPrice" : "0x5af3107a4000",
   416              "origin" : "cd1722f3947def4cf144679da39c4c32bdc35681",
   417              "value" : "0x0de0b6b3a7640000"
   418          },
   419          "gas" : "0x013864",
   420          "logs" : [
   421          ],
   422          "out" : "0x",
   423          "post" : {
   424              "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
   425                  "balance" : "0x152d02c7e14af6800000",
   426                  "code" : "0x600160084301570060015b6002600355",
   427                  "nonce" : "0x00",
   428                  "storage" : {
   429                      "0x03" : "0x02"
   430                  }
   431              }
   432          },
   433          "pre" : {
   434              "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
   435                  "balance" : "0x152d02c7e14af6800000",
   436                  "code" : "0x600160084301570060015b6002600355",
   437                  "nonce" : "0x00",
   438                  "storage" : {
   439                  }
   440              }
   441          }
   442      },
   443      "BlockNumberDynamicJumpiOutsideBoundary" : {
   444          "env" : {
   445              "currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba",
   446              "currentDifficulty" : "0x0100",
   447              "currentGasLimit" : "0x0f4240",
   448              "currentNumber" : "0x02",
   449              "currentTimestamp" : "0x01",
   450              "previousHash" : "5e20a0453cecd065ea59c37ac63e079ee08998b6045136a8ce6635c7912ec0b6"
   451          },
   452          "exec" : {
   453              "address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
   454              "caller" : "cd1722f3947def4cf144679da39c4c32bdc35681",
   455              "code" : "0x60017ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff04301576002600355",
   456              "data" : "0x",
   457              "gas" : "0x0186a0",
   458              "gasPrice" : "0x5af3107a4000",
   459              "origin" : "cd1722f3947def4cf144679da39c4c32bdc35681",
   460              "value" : "0x0de0b6b3a7640000"
   461          },
   462          "pre" : {
   463              "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
   464                  "balance" : "0x152d02c7e14af6800000",
   465                  "code" : "0x60017ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff04301576002600355",
   466                  "nonce" : "0x00",
   467                  "storage" : {
   468                  }
   469              }
   470          }
   471      },
   472      "BlockNumberDynamicJumpifInsidePushWithJumpDest" : {
   473          "env" : {
   474              "currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba",
   475              "currentDifficulty" : "0x0100",
   476              "currentGasLimit" : "0x0f4240",
   477              "currentNumber" : "0x02",
   478              "currentTimestamp" : "0x01",
   479              "previousHash" : "5e20a0453cecd065ea59c37ac63e079ee08998b6045136a8ce6635c7912ec0b6"
   480          },
   481          "exec" : {
   482              "address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
   483              "caller" : "cd1722f3947def4cf144679da39c4c32bdc35681",
   484              "code" : "0x60016006430157655b6001600155",
   485              "data" : "0x",
   486              "gas" : "0x0186a0",
   487              "gasPrice" : "0x5af3107a4000",
   488              "origin" : "cd1722f3947def4cf144679da39c4c32bdc35681",
   489              "value" : "0x0de0b6b3a7640000"
   490          },
   491          "pre" : {
   492              "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
   493                  "balance" : "0x152d02c7e14af6800000",
   494                  "code" : "0x60016006430157655b6001600155",
   495                  "nonce" : "0x00",
   496                  "storage" : {
   497                  }
   498              }
   499          }
   500      },
   501      "BlockNumberDynamicJumpifInsidePushWithoutJumpDest" : {
   502          "env" : {
   503              "currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba",
   504              "currentDifficulty" : "0x0100",
   505              "currentGasLimit" : "0x0f4240",
   506              "currentNumber" : "0x02",
   507              "currentTimestamp" : "0x01",
   508              "previousHash" : "5e20a0453cecd065ea59c37ac63e079ee08998b6045136a8ce6635c7912ec0b6"
   509          },
   510          "exec" : {
   511              "address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
   512              "caller" : "cd1722f3947def4cf144679da39c4c32bdc35681",
   513              "code" : "0x6001600743015761eeff",
   514              "data" : "0x",
   515              "gas" : "0x0186a0",
   516              "gasPrice" : "0x5af3107a4000",
   517              "origin" : "cd1722f3947def4cf144679da39c4c32bdc35681",
   518              "value" : "0x0de0b6b3a7640000"
   519          },
   520          "pre" : {
   521              "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
   522                  "balance" : "0x152d02c7e14af6800000",
   523                  "code" : "0x6001600743015761eeff",
   524                  "nonce" : "0x00",
   525                  "storage" : {
   526                  }
   527              }
   528          }
   529      },
   530      "DyanmicJump0_outOfBoundary" : {
   531          "env" : {
   532              "currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba",
   533              "currentDifficulty" : "0x0100",
   534              "currentGasLimit" : "0x0f4240",
   535              "currentNumber" : "0x02",
   536              "currentTimestamp" : "0x01",
   537              "previousHash" : "5e20a0453cecd065ea59c37ac63e079ee08998b6045136a8ce6635c7912ec0b6"
   538          },
   539          "exec" : {
   540              "address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
   541              "caller" : "cd1722f3947def4cf144679da39c4c32bdc35681",
   542              "code" : "0x6023600760005401566001600255",
   543              "data" : "0x",
   544              "gas" : "0x0186a0",
   545              "gasPrice" : "0x5af3107a4000",
   546              "origin" : "cd1722f3947def4cf144679da39c4c32bdc35681",
   547              "value" : "0x0de0b6b3a7640000"
   548          },
   549          "pre" : {
   550              "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
   551                  "balance" : "0x152d02c7e14af6800000",
   552                  "code" : "0x6023600760005401566001600255",
   553                  "nonce" : "0x00",
   554                  "storage" : {
   555                      "0x00" : "0x04"
   556                  }
   557              }
   558          }
   559      },
   560      "DynamicJump0_AfterJumpdest" : {
   561          "env" : {
   562              "currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba",
   563              "currentDifficulty" : "0x0100",
   564              "currentGasLimit" : "0x0f4240",
   565              "currentNumber" : "0x00",
   566              "currentTimestamp" : "0x01",
   567              "previousHash" : "5e20a0453cecd065ea59c37ac63e079ee08998b6045136a8ce6635c7912ec0b6"
   568          },
   569          "exec" : {
   570              "address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
   571              "caller" : "cd1722f3947def4cf144679da39c4c32bdc35681",
   572              "code" : "0x602360086003015660015b600255",
   573              "data" : "0x",
   574              "gas" : "0x0186a0",
   575              "gasPrice" : "0x5af3107a4000",
   576              "origin" : "cd1722f3947def4cf144679da39c4c32bdc35681",
   577              "value" : "0x0de0b6b3a7640000"
   578          },
   579          "pre" : {
   580              "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
   581                  "balance" : "0x152d02c7e14af6800000",
   582                  "code" : "0x602360086003015660015b600255",
   583                  "nonce" : "0x00",
   584                  "storage" : {
   585                  }
   586              }
   587          }
   588      },
   589      "DynamicJump0_AfterJumpdest3" : {
   590          "env" : {
   591              "currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba",
   592              "currentDifficulty" : "0x0100",
   593              "currentGasLimit" : "0x0f4240",
   594              "currentNumber" : "0x00",
   595              "currentTimestamp" : "0x01",
   596              "previousHash" : "5e20a0453cecd065ea59c37ac63e079ee08998b6045136a8ce6635c7912ec0b6"
   597          },
   598          "exec" : {
   599              "address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
   600              "caller" : "cd1722f3947def4cf144679da39c4c32bdc35681",
   601              "code" : "0x6023600b6008506003015660015b600255",
   602              "data" : "0x",
   603              "gas" : "0x0186a0",
   604              "gasPrice" : "0x5af3107a4000",
   605              "origin" : "cd1722f3947def4cf144679da39c4c32bdc35681",
   606              "value" : "0x0de0b6b3a7640000"
   607          },
   608          "pre" : {
   609              "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
   610                  "balance" : "0x152d02c7e14af6800000",
   611                  "code" : "0x6023600b6008506003015660015b600255",
   612                  "nonce" : "0x00",
   613                  "storage" : {
   614                  }
   615              }
   616          }
   617      },
   618      "DynamicJump0_foreverOutOfGas" : {
   619          "env" : {
   620              "currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba",
   621              "currentDifficulty" : "0x0100",
   622              "currentGasLimit" : "0x0f4240",
   623              "currentNumber" : "0x00",
   624              "currentTimestamp" : "0x01",
   625              "previousHash" : "5e20a0453cecd065ea59c37ac63e079ee08998b6045136a8ce6635c7912ec0b6"
   626          },
   627          "exec" : {
   628              "address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
   629              "caller" : "cd1722f3947def4cf144679da39c4c32bdc35681",
   630              "code" : "0x5b600060000156",
   631              "data" : "0x",
   632              "gas" : "0x0186a0",
   633              "gasPrice" : "0x5af3107a4000",
   634              "origin" : "cd1722f3947def4cf144679da39c4c32bdc35681",
   635              "value" : "0x0de0b6b3a7640000"
   636          },
   637          "pre" : {
   638              "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
   639                  "balance" : "0x152d02c7e14af6800000",
   640                  "code" : "0x5b600060000156",
   641                  "nonce" : "0x00",
   642                  "storage" : {
   643                  }
   644              }
   645          }
   646      },
   647      "DynamicJump0_jumpdest0" : {
   648          "callcreates" : [
   649          ],
   650          "env" : {
   651              "currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba",
   652              "currentDifficulty" : "0x0100",
   653              "currentGasLimit" : "0x0f4240",
   654              "currentNumber" : "0x00",
   655              "currentTimestamp" : "0x01",
   656              "previousHash" : "5e20a0453cecd065ea59c37ac63e079ee08998b6045136a8ce6635c7912ec0b6"
   657          },
   658          "exec" : {
   659              "address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
   660              "caller" : "cd1722f3947def4cf144679da39c4c32bdc35681",
   661              "code" : "0x602360076003015660015b600255",
   662              "data" : "0x",
   663              "gas" : "0x0186a0",
   664              "gasPrice" : "0x5af3107a4000",
   665              "origin" : "cd1722f3947def4cf144679da39c4c32bdc35681",
   666              "value" : "0x0de0b6b3a7640000"
   667          },
   668          "gas" : "0x013868",
   669          "logs" : [
   670          ],
   671          "out" : "0x",
   672          "post" : {
   673              "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
   674                  "balance" : "0x152d02c7e14af6800000",
   675                  "code" : "0x602360076003015660015b600255",
   676                  "nonce" : "0x00",
   677                  "storage" : {
   678                      "0x02" : "0x23"
   679                  }
   680              }
   681          },
   682          "pre" : {
   683              "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
   684                  "balance" : "0x152d02c7e14af6800000",
   685                  "code" : "0x602360076003015660015b600255",
   686                  "nonce" : "0x00",
   687                  "storage" : {
   688                  }
   689              }
   690          }
   691      },
   692      "DynamicJump0_jumpdest2" : {
   693          "callcreates" : [
   694          ],
   695          "env" : {
   696              "currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba",
   697              "currentDifficulty" : "0x0100",
   698              "currentGasLimit" : "0x0f4240",
   699              "currentNumber" : "0x00",
   700              "currentTimestamp" : "0x01",
   701              "previousHash" : "5e20a0453cecd065ea59c37ac63e079ee08998b6045136a8ce6635c7912ec0b6"
   702          },
   703          "exec" : {
   704              "address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
   705              "caller" : "cd1722f3947def4cf144679da39c4c32bdc35681",
   706              "code" : "0x6023600a6008506003015660015b600255",
   707              "data" : "0x",
   708              "gas" : "0x0186a0",
   709              "gasPrice" : "0x5af3107a4000",
   710              "origin" : "cd1722f3947def4cf144679da39c4c32bdc35681",
   711              "value" : "0x0de0b6b3a7640000"
   712          },
   713          "gas" : "0x013863",
   714          "logs" : [
   715          ],
   716          "out" : "0x",
   717          "post" : {
   718              "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
   719                  "balance" : "0x152d02c7e14af6800000",
   720                  "code" : "0x6023600a6008506003015660015b600255",
   721                  "nonce" : "0x00",
   722                  "storage" : {
   723                      "0x02" : "0x23"
   724                  }
   725              }
   726          },
   727          "pre" : {
   728              "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
   729                  "balance" : "0x152d02c7e14af6800000",
   730                  "code" : "0x6023600a6008506003015660015b600255",
   731                  "nonce" : "0x00",
   732                  "storage" : {
   733                  }
   734              }
   735          }
   736      },
   737      "DynamicJump0_withoutJumpdest" : {
   738          "env" : {
   739              "currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba",
   740              "currentDifficulty" : "0x0100",
   741              "currentGasLimit" : "0x0f4240",
   742              "currentNumber" : "0x00",
   743              "currentTimestamp" : "0x01",
   744              "previousHash" : "5e20a0453cecd065ea59c37ac63e079ee08998b6045136a8ce6635c7912ec0b6"
   745          },
   746          "exec" : {
   747              "address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
   748              "caller" : "cd1722f3947def4cf144679da39c4c32bdc35681",
   749              "code" : "0x60236007600301566001600255",
   750              "data" : "0x",
   751              "gas" : "0x0186a0",
   752              "gasPrice" : "0x5af3107a4000",
   753              "origin" : "cd1722f3947def4cf144679da39c4c32bdc35681",
   754              "value" : "0x0de0b6b3a7640000"
   755          },
   756          "pre" : {
   757              "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
   758                  "balance" : "0x152d02c7e14af6800000",
   759                  "code" : "0x60236007600301566001600255",
   760                  "nonce" : "0x00",
   761                  "storage" : {
   762                  }
   763              }
   764          }
   765      },
   766      "DynamicJump1" : {
   767          "env" : {
   768              "currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba",
   769              "currentDifficulty" : "0x0100",
   770              "currentGasLimit" : "0x0f4240",
   771              "currentNumber" : "0x00",
   772              "currentTimestamp" : "0x01",
   773              "previousHash" : "5e20a0453cecd065ea59c37ac63e079ee08998b6045136a8ce6635c7912ec0b6"
   774          },
   775          "exec" : {
   776              "address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
   777              "caller" : "cd1722f3947def4cf144679da39c4c32bdc35681",
   778              "code" : "0x620fffff620fffff0160030156",
   779              "data" : "0x",
   780              "gas" : "0x0186a0",
   781              "gasPrice" : "0x5af3107a4000",
   782              "origin" : "cd1722f3947def4cf144679da39c4c32bdc35681",
   783              "value" : "0x0de0b6b3a7640000"
   784          },
   785          "pre" : {
   786              "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
   787                  "balance" : "0x152d02c7e14af6800000",
   788                  "code" : "0x620fffff620fffff0160030156",
   789                  "nonce" : "0x00",
   790                  "storage" : {
   791                  }
   792              }
   793          }
   794      },
   795      "DynamicJumpAfterStop" : {
   796          "callcreates" : [
   797          ],
   798          "env" : {
   799              "currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba",
   800              "currentDifficulty" : "0x0100",
   801              "currentGasLimit" : "0x0f4240",
   802              "currentNumber" : "0x00",
   803              "currentTimestamp" : "0x01",
   804              "previousHash" : "5e20a0453cecd065ea59c37ac63e079ee08998b6045136a8ce6635c7912ec0b6"
   805          },
   806          "exec" : {
   807              "address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
   808              "caller" : "cd1722f3947def4cf144679da39c4c32bdc35681",
   809              "code" : "0x6008600101560060015b6002600355",
   810              "data" : "0x",
   811              "gas" : "0x0186a0",
   812              "gasPrice" : "0x5af3107a4000",
   813              "origin" : "cd1722f3947def4cf144679da39c4c32bdc35681",
   814              "value" : "0x0de0b6b3a7640000"
   815          },
   816          "gas" : "0x013868",
   817          "logs" : [
   818          ],
   819          "out" : "0x",
   820          "post" : {
   821              "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
   822                  "balance" : "0x152d02c7e14af6800000",
   823                  "code" : "0x6008600101560060015b6002600355",
   824                  "nonce" : "0x00",
   825                  "storage" : {
   826                      "0x03" : "0x02"
   827                  }
   828              }
   829          },
   830          "pre" : {
   831              "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
   832                  "balance" : "0x152d02c7e14af6800000",
   833                  "code" : "0x6008600101560060015b6002600355",
   834                  "nonce" : "0x00",
   835                  "storage" : {
   836                  }
   837              }
   838          }
   839      },
   840      "DynamicJumpInsidePushWithJumpDest" : {
   841          "env" : {
   842              "currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba",
   843              "currentDifficulty" : "0x0100",
   844              "currentGasLimit" : "0x0f4240",
   845              "currentNumber" : "0x00",
   846              "currentTimestamp" : "0x01",
   847              "previousHash" : "5e20a0453cecd065ea59c37ac63e079ee08998b6045136a8ce6635c7912ec0b6"
   848          },
   849          "exec" : {
   850              "address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
   851              "caller" : "cd1722f3947def4cf144679da39c4c32bdc35681",
   852              "code" : "0x600460030156655b6001600155",
   853              "data" : "0x",
   854              "gas" : "0x0186a0",
   855              "gasPrice" : "0x5af3107a4000",
   856              "origin" : "cd1722f3947def4cf144679da39c4c32bdc35681",
   857              "value" : "0x0de0b6b3a7640000"
   858          },
   859          "pre" : {
   860              "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
   861                  "balance" : "0x152d02c7e14af6800000",
   862                  "code" : "0x600460030156655b6001600155",
   863                  "nonce" : "0x00",
   864                  "storage" : {
   865                  }
   866              }
   867          }
   868      },
   869      "DynamicJumpInsidePushWithoutJumpDest" : {
   870          "env" : {
   871              "currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba",
   872              "currentDifficulty" : "0x0100",
   873              "currentGasLimit" : "0x0f4240",
   874              "currentNumber" : "0x00",
   875              "currentTimestamp" : "0x01",
   876              "previousHash" : "5e20a0453cecd065ea59c37ac63e079ee08998b6045136a8ce6635c7912ec0b6"
   877          },
   878          "exec" : {
   879              "address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
   880              "caller" : "cd1722f3947def4cf144679da39c4c32bdc35681",
   881              "code" : "0x60056003015661eeff",
   882              "data" : "0x",
   883              "gas" : "0x0186a0",
   884              "gasPrice" : "0x5af3107a4000",
   885              "origin" : "cd1722f3947def4cf144679da39c4c32bdc35681",
   886              "value" : "0x0de0b6b3a7640000"
   887          },
   888          "pre" : {
   889              "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
   890                  "balance" : "0x152d02c7e14af6800000",
   891                  "code" : "0x60056003015661eeff",
   892                  "nonce" : "0x00",
   893                  "storage" : {
   894                  }
   895              }
   896          }
   897      },
   898      "DynamicJumpJD_DependsOnJumps0" : {
   899          "env" : {
   900              "currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba",
   901              "currentDifficulty" : "0x0100",
   902              "currentGasLimit" : "0x0f4240",
   903              "currentNumber" : "0x01",
   904              "currentTimestamp" : "0x01",
   905              "previousHash" : "5e20a0453cecd065ea59c37ac63e079ee08998b6045136a8ce6635c7912ec0b6"
   906          },
   907          "exec" : {
   908              "address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
   909              "caller" : "cd1722f3947def4cf144679da39c4c32bdc35681",
   910              "code" : "0x6009436006575b566001",
   911              "data" : "0x",
   912              "gas" : "0x0186a0",
   913              "gasPrice" : "0x5af3107a4000",
   914              "origin" : "cd1722f3947def4cf144679da39c4c32bdc35681",
   915              "value" : "0x0de0b6b3a7640000"
   916          },
   917          "pre" : {
   918              "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
   919                  "balance" : "0x152d02c7e14af6800000",
   920                  "code" : "0x6009436006575b566001",
   921                  "nonce" : "0x00",
   922                  "storage" : {
   923                  }
   924              }
   925          }
   926      },
   927      "DynamicJumpJD_DependsOnJumps1" : {
   928          "callcreates" : [
   929          ],
   930          "env" : {
   931              "currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba",
   932              "currentDifficulty" : "0x0100",
   933              "currentGasLimit" : "0x0f4240",
   934              "currentNumber" : "0x01",
   935              "currentTimestamp" : "0x01",
   936              "previousHash" : "5e20a0453cecd065ea59c37ac63e079ee08998b6045136a8ce6635c7912ec0b6"
   937          },
   938          "exec" : {
   939              "address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
   940              "caller" : "cd1722f3947def4cf144679da39c4c32bdc35681",
   941              "code" : "0x600a436006575b5660015b6001600155",
   942              "data" : "0x",
   943              "gas" : "0x0186a0",
   944              "gasPrice" : "0x5af3107a4000",
   945              "origin" : "cd1722f3947def4cf144679da39c4c32bdc35681",
   946              "value" : "0x0de0b6b3a7640000"
   947          },
   948          "gas" : "0x01385e",
   949          "logs" : [
   950          ],
   951          "out" : "0x",
   952          "post" : {
   953              "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
   954                  "balance" : "0x152d02c7e14af6800000",
   955                  "code" : "0x600a436006575b5660015b6001600155",
   956                  "nonce" : "0x00",
   957                  "storage" : {
   958                      "0x01" : "0x01"
   959                  }
   960              }
   961          },
   962          "pre" : {
   963              "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
   964                  "balance" : "0x152d02c7e14af6800000",
   965                  "code" : "0x600a436006575b5660015b6001600155",
   966                  "nonce" : "0x00",
   967                  "storage" : {
   968                  }
   969              }
   970          }
   971      },
   972      "DynamicJumpPathologicalTest0" : {
   973          "callcreates" : [
   974          ],
   975          "env" : {
   976              "currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba",
   977              "currentDifficulty" : "0x0100",
   978              "currentGasLimit" : "0x0f4240",
   979              "currentNumber" : "0x04",
   980              "currentTimestamp" : "0x01",
   981              "previousHash" : "5e20a0453cecd065ea59c37ac63e079ee08998b6045136a8ce6635c7912ec0b6"
   982          },
   983          "exec" : {
   984              "address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
   985              "caller" : "cd1722f3947def4cf144679da39c4c32bdc35681",
   986              "code" : "0x435660615b4343025660615b60615b5b5b6001600155",
   987              "data" : "0x",
   988              "gas" : "0x0186a0",
   989              "gasPrice" : "0x5af3107a4000",
   990              "origin" : "cd1722f3947def4cf144679da39c4c32bdc35681",
   991              "value" : "0x0de0b6b3a7640000"
   992          },
   993          "gas" : "0x01385d",
   994          "logs" : [
   995          ],
   996          "out" : "0x",
   997          "post" : {
   998              "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
   999                  "balance" : "0x152d02c7e14af6800000",
  1000                  "code" : "0x435660615b4343025660615b60615b5b5b6001600155",
  1001                  "nonce" : "0x00",
  1002                  "storage" : {
  1003                      "0x01" : "0x01"
  1004                  }
  1005              }
  1006          },
  1007          "pre" : {
  1008              "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
  1009                  "balance" : "0x152d02c7e14af6800000",
  1010                  "code" : "0x435660615b4343025660615b60615b5b5b6001600155",
  1011                  "nonce" : "0x00",
  1012                  "storage" : {
  1013                  }
  1014              }
  1015          }
  1016      },
  1017      "DynamicJumpPathologicalTest1" : {
  1018          "env" : {
  1019              "currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba",
  1020              "currentDifficulty" : "0x0100",
  1021              "currentGasLimit" : "0x0f4240",
  1022              "currentNumber" : "0x04",
  1023              "currentTimestamp" : "0x01",
  1024              "previousHash" : "5e20a0453cecd065ea59c37ac63e079ee08998b6045136a8ce6635c7912ec0b6"
  1025          },
  1026          "exec" : {
  1027              "address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
  1028              "caller" : "cd1722f3947def4cf144679da39c4c32bdc35681",
  1029              "code" : "0x435660615b4343025660615b60615b605b6001600155",
  1030              "data" : "0x",
  1031              "gas" : "0x0186a0",
  1032              "gasPrice" : "0x5af3107a4000",
  1033              "origin" : "cd1722f3947def4cf144679da39c4c32bdc35681",
  1034              "value" : "0x0de0b6b3a7640000"
  1035          },
  1036          "pre" : {
  1037              "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
  1038                  "balance" : "0x152d02c7e14af6800000",
  1039                  "code" : "0x435660615b4343025660615b60615b605b6001600155",
  1040                  "nonce" : "0x00",
  1041                  "storage" : {
  1042                  }
  1043              }
  1044          }
  1045      },
  1046      "DynamicJumpPathologicalTest2" : {
  1047          "env" : {
  1048              "currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba",
  1049              "currentDifficulty" : "0x0100",
  1050              "currentGasLimit" : "0x0f4240",
  1051              "currentNumber" : "0x04",
  1052              "currentTimestamp" : "0x01",
  1053              "previousHash" : "5e20a0453cecd065ea59c37ac63e079ee08998b6045136a8ce6635c7912ec0b6"
  1054          },
  1055          "exec" : {
  1056              "address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
  1057              "caller" : "cd1722f3947def4cf144679da39c4c32bdc35681",
  1058              "code" : "0x435631615b60615b60615b606001600155",
  1059              "data" : "0x",
  1060              "gas" : "0x0186a0",
  1061              "gasPrice" : "0x5af3107a4000",
  1062              "origin" : "cd1722f3947def4cf144679da39c4c32bdc35681",
  1063              "value" : "0x0de0b6b3a7640000"
  1064          },
  1065          "pre" : {
  1066              "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
  1067                  "balance" : "0x152d02c7e14af6800000",
  1068                  "code" : "0x435631615b60615b60615b606001600155",
  1069                  "nonce" : "0x00",
  1070                  "storage" : {
  1071                  }
  1072              }
  1073          }
  1074      },
  1075      "DynamicJumpPathologicalTest3" : {
  1076          "env" : {
  1077              "currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba",
  1078              "currentDifficulty" : "0x0100",
  1079              "currentGasLimit" : "0x0f4240",
  1080              "currentNumber" : "0x07",
  1081              "currentTimestamp" : "0x01",
  1082              "previousHash" : "5e20a0453cecd065ea59c37ac63e079ee08998b6045136a8ce6635c7912ec0b6"
  1083          },
  1084          "exec" : {
  1085              "address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
  1086              "caller" : "cd1722f3947def4cf144679da39c4c32bdc35681",
  1087              "code" : "0x435631615b60615b60615b606001600155",
  1088              "data" : "0x",
  1089              "gas" : "0x0186a0",
  1090              "gasPrice" : "0x5af3107a4000",
  1091              "origin" : "cd1722f3947def4cf144679da39c4c32bdc35681",
  1092              "value" : "0x0de0b6b3a7640000"
  1093          },
  1094          "pre" : {
  1095              "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
  1096                  "balance" : "0x152d02c7e14af6800000",
  1097                  "code" : "0x435631615b60615b60615b606001600155",
  1098                  "nonce" : "0x00",
  1099                  "storage" : {
  1100                  }
  1101              }
  1102          }
  1103      },
  1104      "DynamicJumpStartWithJumpDest" : {
  1105          "callcreates" : [
  1106          ],
  1107          "env" : {
  1108              "currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba",
  1109              "currentDifficulty" : "0x0100",
  1110              "currentGasLimit" : "0x0f4240",
  1111              "currentNumber" : "0x00",
  1112              "currentTimestamp" : "0x01",
  1113              "previousHash" : "5e20a0453cecd065ea59c37ac63e079ee08998b6045136a8ce6635c7912ec0b6"
  1114          },
  1115          "exec" : {
  1116              "address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
  1117              "caller" : "cd1722f3947def4cf144679da39c4c32bdc35681",
  1118              "code" : "0x5b586000555960115758600052596000575b58600055",
  1119              "data" : "0x",
  1120              "gas" : "0x0186a0",
  1121              "gasPrice" : "0x5af3107a4000",
  1122              "origin" : "cd1722f3947def4cf144679da39c4c32bdc35681",
  1123              "value" : "0x0de0b6b3a7640000"
  1124          },
  1125          "gas" : "0x011126",
  1126          "logs" : [
  1127          ],
  1128          "out" : "0x",
  1129          "post" : {
  1130              "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
  1131                  "balance" : "0x152d02c7e14af6800000",
  1132                  "code" : "0x5b586000555960115758600052596000575b58600055",
  1133                  "nonce" : "0x00",
  1134                  "storage" : {
  1135                      "0x00" : "0x12"
  1136                  }
  1137              }
  1138          },
  1139          "pre" : {
  1140              "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
  1141                  "balance" : "0x152d02c7e14af6800000",
  1142                  "code" : "0x5b586000555960115758600052596000575b58600055",
  1143                  "nonce" : "0x00",
  1144                  "storage" : {
  1145                  }
  1146              }
  1147          }
  1148      },
  1149      "DynamicJumpi0" : {
  1150          "env" : {
  1151              "currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba",
  1152              "currentDifficulty" : "0x0100",
  1153              "currentGasLimit" : "0x0f4240",
  1154              "currentNumber" : "0x00",
  1155              "currentTimestamp" : "0x01",
  1156              "previousHash" : "5e20a0453cecd065ea59c37ac63e079ee08998b6045136a8ce6635c7912ec0b6"
  1157          },
  1158          "exec" : {
  1159              "address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
  1160              "caller" : "cd1722f3947def4cf144679da39c4c32bdc35681",
  1161              "code" : "0x602360016009600301576001600255",
  1162              "data" : "0x",
  1163              "gas" : "0x0186a0",
  1164              "gasPrice" : "0x5af3107a4000",
  1165              "origin" : "cd1722f3947def4cf144679da39c4c32bdc35681",
  1166              "value" : "0x0de0b6b3a7640000"
  1167          },
  1168          "pre" : {
  1169              "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
  1170                  "balance" : "0x152d02c7e14af6800000",
  1171                  "code" : "0x602360016009600301576001600255",
  1172                  "nonce" : "0x00",
  1173                  "storage" : {
  1174                  }
  1175              }
  1176          }
  1177      },
  1178      "DynamicJumpi1" : {
  1179          "callcreates" : [
  1180          ],
  1181          "env" : {
  1182              "currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba",
  1183              "currentDifficulty" : "0x0100",
  1184              "currentGasLimit" : "0x0f4240",
  1185              "currentNumber" : "0x00",
  1186              "currentTimestamp" : "0x01",
  1187              "previousHash" : "5e20a0453cecd065ea59c37ac63e079ee08998b6045136a8ce6635c7912ec0b6"
  1188          },
  1189          "exec" : {
  1190              "address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
  1191              "caller" : "cd1722f3947def4cf144679da39c4c32bdc35681",
  1192              "code" : "0x602360006009600301576001600255",
  1193              "data" : "0x",
  1194              "gas" : "0x0186a0",
  1195              "gasPrice" : "0x5af3107a4000",
  1196              "origin" : "cd1722f3947def4cf144679da39c4c32bdc35681",
  1197              "value" : "0x0de0b6b3a7640000"
  1198          },
  1199          "gas" : "0x013861",
  1200          "logs" : [
  1201          ],
  1202          "out" : "0x",
  1203          "post" : {
  1204              "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
  1205                  "balance" : "0x152d02c7e14af6800000",
  1206                  "code" : "0x602360006009600301576001600255",
  1207                  "nonce" : "0x00",
  1208                  "storage" : {
  1209                      "0x02" : "0x01"
  1210                  }
  1211              }
  1212          },
  1213          "pre" : {
  1214              "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
  1215                  "balance" : "0x152d02c7e14af6800000",
  1216                  "code" : "0x602360006009600301576001600255",
  1217                  "nonce" : "0x00",
  1218                  "storage" : {
  1219                  }
  1220              }
  1221          }
  1222      },
  1223      "DynamicJumpi1_jumpdest" : {
  1224          "env" : {
  1225              "currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba",
  1226              "currentDifficulty" : "0x0100",
  1227              "currentGasLimit" : "0x0f4240",
  1228              "currentNumber" : "0x00",
  1229              "currentTimestamp" : "0x01",
  1230              "previousHash" : "5e20a0453cecd065ea59c37ac63e079ee08998b6045136a8ce6635c7912ec0b6"
  1231          },
  1232          "exec" : {
  1233              "address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
  1234              "caller" : "cd1722f3947def4cf144679da39c4c32bdc35681",
  1235              "code" : "0x60236001600a6003015760015b600255",
  1236              "data" : "0x",
  1237              "gas" : "0x0186a0",
  1238              "gasPrice" : "0x5af3107a4000",
  1239              "origin" : "cd1722f3947def4cf144679da39c4c32bdc35681",
  1240              "value" : "0x0de0b6b3a7640000"
  1241          },
  1242          "pre" : {
  1243              "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
  1244                  "balance" : "0x152d02c7e14af6800000",
  1245                  "code" : "0x60236001600a6003015760015b600255",
  1246                  "nonce" : "0x00",
  1247                  "storage" : {
  1248                  }
  1249              }
  1250          }
  1251      },
  1252      "DynamicJumpiAfterStop" : {
  1253          "callcreates" : [
  1254          ],
  1255          "env" : {
  1256              "currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba",
  1257              "currentDifficulty" : "0x0100",
  1258              "currentGasLimit" : "0x0f4240",
  1259              "currentNumber" : "0x00",
  1260              "currentTimestamp" : "0x01",
  1261              "previousHash" : "5e20a0453cecd065ea59c37ac63e079ee08998b6045136a8ce6635c7912ec0b6"
  1262          },
  1263          "exec" : {
  1264              "address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
  1265              "caller" : "cd1722f3947def4cf144679da39c4c32bdc35681",
  1266              "code" : "0x60016008600301570060015b6002600355",
  1267              "data" : "0x",
  1268              "gas" : "0x0186a0",
  1269              "gasPrice" : "0x5af3107a4000",
  1270              "origin" : "cd1722f3947def4cf144679da39c4c32bdc35681",
  1271              "value" : "0x0de0b6b3a7640000"
  1272          },
  1273          "gas" : "0x013863",
  1274          "logs" : [
  1275          ],
  1276          "out" : "0x",
  1277          "post" : {
  1278              "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
  1279                  "balance" : "0x152d02c7e14af6800000",
  1280                  "code" : "0x60016008600301570060015b6002600355",
  1281                  "nonce" : "0x00",
  1282                  "storage" : {
  1283                      "0x03" : "0x02"
  1284                  }
  1285              }
  1286          },
  1287          "pre" : {
  1288              "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
  1289                  "balance" : "0x152d02c7e14af6800000",
  1290                  "code" : "0x60016008600301570060015b6002600355",
  1291                  "nonce" : "0x00",
  1292                  "storage" : {
  1293                  }
  1294              }
  1295          }
  1296      },
  1297      "DynamicJumpiOutsideBoundary" : {
  1298          "env" : {
  1299              "currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba",
  1300              "currentDifficulty" : "0x0100",
  1301              "currentGasLimit" : "0x0f4240",
  1302              "currentNumber" : "0x00",
  1303              "currentTimestamp" : "0x01",
  1304              "previousHash" : "5e20a0453cecd065ea59c37ac63e079ee08998b6045136a8ce6635c7912ec0b6"
  1305          },
  1306          "exec" : {
  1307              "address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
  1308              "caller" : "cd1722f3947def4cf144679da39c4c32bdc35681",
  1309              "code" : "0x60017ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff0600301576002600355",
  1310              "data" : "0x",
  1311              "gas" : "0x0186a0",
  1312              "gasPrice" : "0x5af3107a4000",
  1313              "origin" : "cd1722f3947def4cf144679da39c4c32bdc35681",
  1314              "value" : "0x0de0b6b3a7640000"
  1315          },
  1316          "pre" : {
  1317              "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
  1318                  "balance" : "0x152d02c7e14af6800000",
  1319                  "code" : "0x60017ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff0600301576002600355",
  1320                  "nonce" : "0x00",
  1321                  "storage" : {
  1322                  }
  1323              }
  1324          }
  1325      },
  1326      "DynamicJumpifInsidePushWithJumpDest" : {
  1327          "env" : {
  1328              "currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba",
  1329              "currentDifficulty" : "0x0100",
  1330              "currentGasLimit" : "0x0f4240",
  1331              "currentNumber" : "0x00",
  1332              "currentTimestamp" : "0x01",
  1333              "previousHash" : "5e20a0453cecd065ea59c37ac63e079ee08998b6045136a8ce6635c7912ec0b6"
  1334          },
  1335          "exec" : {
  1336              "address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
  1337              "caller" : "cd1722f3947def4cf144679da39c4c32bdc35681",
  1338              "code" : "0x6001600660030157655b6001600155",
  1339              "data" : "0x",
  1340              "gas" : "0x0186a0",
  1341              "gasPrice" : "0x5af3107a4000",
  1342              "origin" : "cd1722f3947def4cf144679da39c4c32bdc35681",
  1343              "value" : "0x0de0b6b3a7640000"
  1344          },
  1345          "pre" : {
  1346              "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
  1347                  "balance" : "0x152d02c7e14af6800000",
  1348                  "code" : "0x6001600660030157655b6001600155",
  1349                  "nonce" : "0x00",
  1350                  "storage" : {
  1351                  }
  1352              }
  1353          }
  1354      },
  1355      "DynamicJumpifInsidePushWithoutJumpDest" : {
  1356          "env" : {
  1357              "currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba",
  1358              "currentDifficulty" : "0x0100",
  1359              "currentGasLimit" : "0x0f4240",
  1360              "currentNumber" : "0x00",
  1361              "currentTimestamp" : "0x01",
  1362              "previousHash" : "5e20a0453cecd065ea59c37ac63e079ee08998b6045136a8ce6635c7912ec0b6"
  1363          },
  1364          "exec" : {
  1365              "address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
  1366              "caller" : "cd1722f3947def4cf144679da39c4c32bdc35681",
  1367              "code" : "0x600160076003015761eeff",
  1368              "data" : "0x",
  1369              "gas" : "0x0186a0",
  1370              "gasPrice" : "0x5af3107a4000",
  1371              "origin" : "cd1722f3947def4cf144679da39c4c32bdc35681",
  1372              "value" : "0x0de0b6b3a7640000"
  1373          },
  1374          "pre" : {
  1375              "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
  1376                  "balance" : "0x152d02c7e14af6800000",
  1377                  "code" : "0x600160076003015761eeff",
  1378                  "nonce" : "0x00",
  1379                  "storage" : {
  1380                  }
  1381              }
  1382          }
  1383      },
  1384      "JDfromStorageDynamicJump0_AfterJumpdest" : {
  1385          "env" : {
  1386              "currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba",
  1387              "currentDifficulty" : "0x0100",
  1388              "currentGasLimit" : "0x0f4240",
  1389              "currentNumber" : "0x02",
  1390              "currentTimestamp" : "0x01",
  1391              "previousHash" : "5e20a0453cecd065ea59c37ac63e079ee08998b6045136a8ce6635c7912ec0b6"
  1392          },
  1393          "exec" : {
  1394              "address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
  1395              "caller" : "cd1722f3947def4cf144679da39c4c32bdc35681",
  1396              "code" : "0x60236008600054015660015b600255",
  1397              "data" : "0x",
  1398              "gas" : "0x0186a0",
  1399              "gasPrice" : "0x5af3107a4000",
  1400              "origin" : "cd1722f3947def4cf144679da39c4c32bdc35681",
  1401              "value" : "0x0de0b6b3a7640000"
  1402          },
  1403          "pre" : {
  1404              "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
  1405                  "balance" : "0x152d02c7e14af6800000",
  1406                  "code" : "0x60236008600054015660015b600255",
  1407                  "nonce" : "0x00",
  1408                  "storage" : {
  1409                      "0x00" : "0x04"
  1410                  }
  1411              }
  1412          }
  1413      },
  1414      "JDfromStorageDynamicJump0_AfterJumpdest3" : {
  1415          "env" : {
  1416              "currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba",
  1417              "currentDifficulty" : "0x0100",
  1418              "currentGasLimit" : "0x0f4240",
  1419              "currentNumber" : "0x02",
  1420              "currentTimestamp" : "0x01",
  1421              "previousHash" : "5e20a0453cecd065ea59c37ac63e079ee08998b6045136a8ce6635c7912ec0b6"
  1422          },
  1423          "exec" : {
  1424              "address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
  1425              "caller" : "cd1722f3947def4cf144679da39c4c32bdc35681",
  1426              "code" : "0x6023600b600850600054015660015b600255",
  1427              "data" : "0x",
  1428              "gas" : "0x0186a0",
  1429              "gasPrice" : "0x5af3107a4000",
  1430              "origin" : "cd1722f3947def4cf144679da39c4c32bdc35681",
  1431              "value" : "0x0de0b6b3a7640000"
  1432          },
  1433          "pre" : {
  1434              "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
  1435                  "balance" : "0x152d02c7e14af6800000",
  1436                  "code" : "0x6023600b600850600054015660015b600255",
  1437                  "nonce" : "0x00",
  1438                  "storage" : {
  1439                      "0x00" : "0x04"
  1440                  }
  1441              }
  1442          }
  1443      },
  1444      "JDfromStorageDynamicJump0_foreverOutOfGas" : {
  1445          "env" : {
  1446              "currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba",
  1447              "currentDifficulty" : "0x0100",
  1448              "currentGasLimit" : "0x0f4240",
  1449              "currentNumber" : "0x02",
  1450              "currentTimestamp" : "0x01",
  1451              "previousHash" : "5e20a0453cecd065ea59c37ac63e079ee08998b6045136a8ce6635c7912ec0b6"
  1452          },
  1453          "exec" : {
  1454              "address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
  1455              "caller" : "cd1722f3947def4cf144679da39c4c32bdc35681",
  1456              "code" : "0x5b600060000156",
  1457              "data" : "0x",
  1458              "gas" : "0x0186a0",
  1459              "gasPrice" : "0x5af3107a4000",
  1460              "origin" : "cd1722f3947def4cf144679da39c4c32bdc35681",
  1461              "value" : "0x0de0b6b3a7640000"
  1462          },
  1463          "pre" : {
  1464              "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
  1465                  "balance" : "0x152d02c7e14af6800000",
  1466                  "code" : "0x5b600060000156",
  1467                  "nonce" : "0x00",
  1468                  "storage" : {
  1469                      "0x00" : "0x04"
  1470                  }
  1471              }
  1472          }
  1473      },
  1474      "JDfromStorageDynamicJump0_jumpdest0" : {
  1475          "callcreates" : [
  1476          ],
  1477          "env" : {
  1478              "currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba",
  1479              "currentDifficulty" : "0x0100",
  1480              "currentGasLimit" : "0x0f4240",
  1481              "currentNumber" : "0x02",
  1482              "currentTimestamp" : "0x01",
  1483              "previousHash" : "5e20a0453cecd065ea59c37ac63e079ee08998b6045136a8ce6635c7912ec0b6"
  1484          },
  1485          "exec" : {
  1486              "address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
  1487              "caller" : "cd1722f3947def4cf144679da39c4c32bdc35681",
  1488              "code" : "0x60236007600054015660015b600255",
  1489              "data" : "0x",
  1490              "gas" : "0x0186a0",
  1491              "gasPrice" : "0x5af3107a4000",
  1492              "origin" : "cd1722f3947def4cf144679da39c4c32bdc35681",
  1493              "value" : "0x0de0b6b3a7640000"
  1494          },
  1495          "gas" : "0x013836",
  1496          "logs" : [
  1497          ],
  1498          "out" : "0x",
  1499          "post" : {
  1500              "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
  1501                  "balance" : "0x152d02c7e14af6800000",
  1502                  "code" : "0x60236007600054015660015b600255",
  1503                  "nonce" : "0x00",
  1504                  "storage" : {
  1505                      "0x00" : "0x04",
  1506                      "0x02" : "0x23"
  1507                  }
  1508              }
  1509          },
  1510          "pre" : {
  1511              "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
  1512                  "balance" : "0x152d02c7e14af6800000",
  1513                  "code" : "0x60236007600054015660015b600255",
  1514                  "nonce" : "0x00",
  1515                  "storage" : {
  1516                      "0x00" : "0x04"
  1517                  }
  1518              }
  1519          }
  1520      },
  1521      "JDfromStorageDynamicJump0_jumpdest2" : {
  1522          "callcreates" : [
  1523          ],
  1524          "env" : {
  1525              "currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba",
  1526              "currentDifficulty" : "0x0100",
  1527              "currentGasLimit" : "0x0f4240",
  1528              "currentNumber" : "0x02",
  1529              "currentTimestamp" : "0x01",
  1530              "previousHash" : "5e20a0453cecd065ea59c37ac63e079ee08998b6045136a8ce6635c7912ec0b6"
  1531          },
  1532          "exec" : {
  1533              "address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
  1534              "caller" : "cd1722f3947def4cf144679da39c4c32bdc35681",
  1535              "code" : "0x6023600a600850600054015660015b600255",
  1536              "data" : "0x",
  1537              "gas" : "0x0186a0",
  1538              "gasPrice" : "0x5af3107a4000",
  1539              "origin" : "cd1722f3947def4cf144679da39c4c32bdc35681",
  1540              "value" : "0x0de0b6b3a7640000"
  1541          },
  1542          "gas" : "0x013831",
  1543          "logs" : [
  1544          ],
  1545          "out" : "0x",
  1546          "post" : {
  1547              "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
  1548                  "balance" : "0x152d02c7e14af6800000",
  1549                  "code" : "0x6023600a600850600054015660015b600255",
  1550                  "nonce" : "0x00",
  1551                  "storage" : {
  1552                      "0x00" : "0x04",
  1553                      "0x02" : "0x23"
  1554                  }
  1555              }
  1556          },
  1557          "pre" : {
  1558              "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
  1559                  "balance" : "0x152d02c7e14af6800000",
  1560                  "code" : "0x6023600a600850600054015660015b600255",
  1561                  "nonce" : "0x00",
  1562                  "storage" : {
  1563                      "0x00" : "0x04"
  1564                  }
  1565              }
  1566          }
  1567      },
  1568      "JDfromStorageDynamicJump0_withoutJumpdest" : {
  1569          "env" : {
  1570              "currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba",
  1571              "currentDifficulty" : "0x0100",
  1572              "currentGasLimit" : "0x0f4240",
  1573              "currentNumber" : "0x02",
  1574              "currentTimestamp" : "0x01",
  1575              "previousHash" : "5e20a0453cecd065ea59c37ac63e079ee08998b6045136a8ce6635c7912ec0b6"
  1576          },
  1577          "exec" : {
  1578              "address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
  1579              "caller" : "cd1722f3947def4cf144679da39c4c32bdc35681",
  1580              "code" : "0x6023600760005401566001600255",
  1581              "data" : "0x",
  1582              "gas" : "0x0186a0",
  1583              "gasPrice" : "0x5af3107a4000",
  1584              "origin" : "cd1722f3947def4cf144679da39c4c32bdc35681",
  1585              "value" : "0x0de0b6b3a7640000"
  1586          },
  1587          "pre" : {
  1588              "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
  1589                  "balance" : "0x152d02c7e14af6800000",
  1590                  "code" : "0x6023600760005401566001600255",
  1591                  "nonce" : "0x00",
  1592                  "storage" : {
  1593                      "0x00" : "0x04"
  1594                  }
  1595              }
  1596          }
  1597      },
  1598      "JDfromStorageDynamicJump1" : {
  1599          "env" : {
  1600              "currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba",
  1601              "currentDifficulty" : "0x0100",
  1602              "currentGasLimit" : "0x0f4240",
  1603              "currentNumber" : "0x02",
  1604              "currentTimestamp" : "0x01",
  1605              "previousHash" : "5e20a0453cecd065ea59c37ac63e079ee08998b6045136a8ce6635c7912ec0b6"
  1606          },
  1607          "exec" : {
  1608              "address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
  1609              "caller" : "cd1722f3947def4cf144679da39c4c32bdc35681",
  1610              "code" : "0x620fffff620fffff016000540156",
  1611              "data" : "0x",
  1612              "gas" : "0x0186a0",
  1613              "gasPrice" : "0x5af3107a4000",
  1614              "origin" : "cd1722f3947def4cf144679da39c4c32bdc35681",
  1615              "value" : "0x0de0b6b3a7640000"
  1616          },
  1617          "pre" : {
  1618              "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
  1619                  "balance" : "0x152d02c7e14af6800000",
  1620                  "code" : "0x620fffff620fffff016000540156",
  1621                  "nonce" : "0x00",
  1622                  "storage" : {
  1623                      "0x00" : "0x04"
  1624                  }
  1625              }
  1626          }
  1627      },
  1628      "JDfromStorageDynamicJumpInsidePushWithJumpDest" : {
  1629          "env" : {
  1630              "currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba",
  1631              "currentDifficulty" : "0x0100",
  1632              "currentGasLimit" : "0x0f4240",
  1633              "currentNumber" : "0x02",
  1634              "currentTimestamp" : "0x01",
  1635              "previousHash" : "5e20a0453cecd065ea59c37ac63e079ee08998b6045136a8ce6635c7912ec0b6"
  1636          },
  1637          "exec" : {
  1638              "address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
  1639              "caller" : "cd1722f3947def4cf144679da39c4c32bdc35681",
  1640              "code" : "0x60046000540156655b6001600155",
  1641              "data" : "0x",
  1642              "gas" : "0x0186a0",
  1643              "gasPrice" : "0x5af3107a4000",
  1644              "origin" : "cd1722f3947def4cf144679da39c4c32bdc35681",
  1645              "value" : "0x0de0b6b3a7640000"
  1646          },
  1647          "pre" : {
  1648              "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
  1649                  "balance" : "0x152d02c7e14af6800000",
  1650                  "code" : "0x60046000540156655b6001600155",
  1651                  "nonce" : "0x00",
  1652                  "storage" : {
  1653                      "0x00" : "0x04"
  1654                  }
  1655              }
  1656          }
  1657      },
  1658      "JDfromStorageDynamicJumpInsidePushWithoutJumpDest" : {
  1659          "env" : {
  1660              "currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba",
  1661              "currentDifficulty" : "0x0100",
  1662              "currentGasLimit" : "0x0f4240",
  1663              "currentNumber" : "0x02",
  1664              "currentTimestamp" : "0x01",
  1665              "previousHash" : "5e20a0453cecd065ea59c37ac63e079ee08998b6045136a8ce6635c7912ec0b6"
  1666          },
  1667          "exec" : {
  1668              "address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
  1669              "caller" : "cd1722f3947def4cf144679da39c4c32bdc35681",
  1670              "code" : "0x6005600054015661eeff",
  1671              "data" : "0x",
  1672              "gas" : "0x0186a0",
  1673              "gasPrice" : "0x5af3107a4000",
  1674              "origin" : "cd1722f3947def4cf144679da39c4c32bdc35681",
  1675              "value" : "0x0de0b6b3a7640000"
  1676          },
  1677          "pre" : {
  1678              "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
  1679                  "balance" : "0x152d02c7e14af6800000",
  1680                  "code" : "0x6005600054015661eeff",
  1681                  "nonce" : "0x00",
  1682                  "storage" : {
  1683                      "0x00" : "0x04"
  1684                  }
  1685              }
  1686          }
  1687      },
  1688      "JDfromStorageDynamicJumpi0" : {
  1689          "env" : {
  1690              "currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba",
  1691              "currentDifficulty" : "0x0100",
  1692              "currentGasLimit" : "0x0f4240",
  1693              "currentNumber" : "0x02",
  1694              "currentTimestamp" : "0x01",
  1695              "previousHash" : "5e20a0453cecd065ea59c37ac63e079ee08998b6045136a8ce6635c7912ec0b6"
  1696          },
  1697          "exec" : {
  1698              "address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
  1699              "caller" : "cd1722f3947def4cf144679da39c4c32bdc35681",
  1700              "code" : "0x60236001600960005401576001600255",
  1701              "data" : "0x",
  1702              "gas" : "0x0186a0",
  1703              "gasPrice" : "0x5af3107a4000",
  1704              "origin" : "cd1722f3947def4cf144679da39c4c32bdc35681",
  1705              "value" : "0x0de0b6b3a7640000"
  1706          },
  1707          "pre" : {
  1708              "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
  1709                  "balance" : "0x152d02c7e14af6800000",
  1710                  "code" : "0x60236001600960005401576001600255",
  1711                  "nonce" : "0x00",
  1712                  "storage" : {
  1713                      "0x00" : "0x04"
  1714                  }
  1715              }
  1716          }
  1717      },
  1718      "JDfromStorageDynamicJumpi1" : {
  1719          "callcreates" : [
  1720          ],
  1721          "env" : {
  1722              "currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba",
  1723              "currentDifficulty" : "0x0100",
  1724              "currentGasLimit" : "0x0f4240",
  1725              "currentNumber" : "0x02",
  1726              "currentTimestamp" : "0x01",
  1727              "previousHash" : "5e20a0453cecd065ea59c37ac63e079ee08998b6045136a8ce6635c7912ec0b6"
  1728          },
  1729          "exec" : {
  1730              "address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
  1731              "caller" : "cd1722f3947def4cf144679da39c4c32bdc35681",
  1732              "code" : "0x60236000600960005401576001600255",
  1733              "data" : "0x",
  1734              "gas" : "0x0186a0",
  1735              "gasPrice" : "0x5af3107a4000",
  1736              "origin" : "cd1722f3947def4cf144679da39c4c32bdc35681",
  1737              "value" : "0x0de0b6b3a7640000"
  1738          },
  1739          "gas" : "0x01382f",
  1740          "logs" : [
  1741          ],
  1742          "out" : "0x",
  1743          "post" : {
  1744              "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
  1745                  "balance" : "0x152d02c7e14af6800000",
  1746                  "code" : "0x60236000600960005401576001600255",
  1747                  "nonce" : "0x00",
  1748                  "storage" : {
  1749                      "0x00" : "0x04",
  1750                      "0x02" : "0x01"
  1751                  }
  1752              }
  1753          },
  1754          "pre" : {
  1755              "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
  1756                  "balance" : "0x152d02c7e14af6800000",
  1757                  "code" : "0x60236000600960005401576001600255",
  1758                  "nonce" : "0x00",
  1759                  "storage" : {
  1760                      "0x00" : "0x04"
  1761                  }
  1762              }
  1763          }
  1764      },
  1765      "JDfromStorageDynamicJumpi1_jumpdest" : {
  1766          "env" : {
  1767              "currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba",
  1768              "currentDifficulty" : "0x0100",
  1769              "currentGasLimit" : "0x0f4240",
  1770              "currentNumber" : "0x02",
  1771              "currentTimestamp" : "0x01",
  1772              "previousHash" : "5e20a0453cecd065ea59c37ac63e079ee08998b6045136a8ce6635c7912ec0b6"
  1773          },
  1774          "exec" : {
  1775              "address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
  1776              "caller" : "cd1722f3947def4cf144679da39c4c32bdc35681",
  1777              "code" : "0x60236001600a600054015760015b600255",
  1778              "data" : "0x",
  1779              "gas" : "0x0186a0",
  1780              "gasPrice" : "0x5af3107a4000",
  1781              "origin" : "cd1722f3947def4cf144679da39c4c32bdc35681",
  1782              "value" : "0x0de0b6b3a7640000"
  1783          },
  1784          "pre" : {
  1785              "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
  1786                  "balance" : "0x152d02c7e14af6800000",
  1787                  "code" : "0x60236001600a600054015760015b600255",
  1788                  "nonce" : "0x00",
  1789                  "storage" : {
  1790                      "0x00" : "0x04"
  1791                  }
  1792              }
  1793          }
  1794      },
  1795      "JDfromStorageDynamicJumpiAfterStop" : {
  1796          "callcreates" : [
  1797          ],
  1798          "env" : {
  1799              "currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba",
  1800              "currentDifficulty" : "0x0100",
  1801              "currentGasLimit" : "0x0f4240",
  1802              "currentNumber" : "0x02",
  1803              "currentTimestamp" : "0x01",
  1804              "previousHash" : "5e20a0453cecd065ea59c37ac63e079ee08998b6045136a8ce6635c7912ec0b6"
  1805          },
  1806          "exec" : {
  1807              "address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
  1808              "caller" : "cd1722f3947def4cf144679da39c4c32bdc35681",
  1809              "code" : "0x6001600860005401570060015b6002600355",
  1810              "data" : "0x",
  1811              "gas" : "0x0186a0",
  1812              "gasPrice" : "0x5af3107a4000",
  1813              "origin" : "cd1722f3947def4cf144679da39c4c32bdc35681",
  1814              "value" : "0x0de0b6b3a7640000"
  1815          },
  1816          "gas" : "0x013831",
  1817          "logs" : [
  1818          ],
  1819          "out" : "0x",
  1820          "post" : {
  1821              "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
  1822                  "balance" : "0x152d02c7e14af6800000",
  1823                  "code" : "0x6001600860005401570060015b6002600355",
  1824                  "nonce" : "0x00",
  1825                  "storage" : {
  1826                      "0x00" : "0x04",
  1827                      "0x03" : "0x02"
  1828                  }
  1829              }
  1830          },
  1831          "pre" : {
  1832              "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
  1833                  "balance" : "0x152d02c7e14af6800000",
  1834                  "code" : "0x6001600860005401570060015b6002600355",
  1835                  "nonce" : "0x00",
  1836                  "storage" : {
  1837                      "0x00" : "0x04"
  1838                  }
  1839              }
  1840          }
  1841      },
  1842      "JDfromStorageDynamicJumpiOutsideBoundary" : {
  1843          "env" : {
  1844              "currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba",
  1845              "currentDifficulty" : "0x0100",
  1846              "currentGasLimit" : "0x0f4240",
  1847              "currentNumber" : "0x02",
  1848              "currentTimestamp" : "0x01",
  1849              "previousHash" : "5e20a0453cecd065ea59c37ac63e079ee08998b6045136a8ce6635c7912ec0b6"
  1850          },
  1851          "exec" : {
  1852              "address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
  1853              "caller" : "cd1722f3947def4cf144679da39c4c32bdc35681",
  1854              "code" : "0x60017ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff060005401576002600355",
  1855              "data" : "0x",
  1856              "gas" : "0x0186a0",
  1857              "gasPrice" : "0x5af3107a4000",
  1858              "origin" : "cd1722f3947def4cf144679da39c4c32bdc35681",
  1859              "value" : "0x0de0b6b3a7640000"
  1860          },
  1861          "pre" : {
  1862              "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
  1863                  "balance" : "0x152d02c7e14af6800000",
  1864                  "code" : "0x60017ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff060005401576002600355",
  1865                  "nonce" : "0x00",
  1866                  "storage" : {
  1867                      "0x00" : "0x04"
  1868                  }
  1869              }
  1870          }
  1871      },
  1872      "JDfromStorageDynamicJumpifInsidePushWithJumpDest" : {
  1873          "env" : {
  1874              "currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba",
  1875              "currentDifficulty" : "0x0100",
  1876              "currentGasLimit" : "0x0f4240",
  1877              "currentNumber" : "0x02",
  1878              "currentTimestamp" : "0x01",
  1879              "previousHash" : "5e20a0453cecd065ea59c37ac63e079ee08998b6045136a8ce6635c7912ec0b6"
  1880          },
  1881          "exec" : {
  1882              "address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
  1883              "caller" : "cd1722f3947def4cf144679da39c4c32bdc35681",
  1884              "code" : "0x600160066000540157655b6001600155",
  1885              "data" : "0x",
  1886              "gas" : "0x0186a0",
  1887              "gasPrice" : "0x5af3107a4000",
  1888              "origin" : "cd1722f3947def4cf144679da39c4c32bdc35681",
  1889              "value" : "0x0de0b6b3a7640000"
  1890          },
  1891          "pre" : {
  1892              "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
  1893                  "balance" : "0x152d02c7e14af6800000",
  1894                  "code" : "0x600160066000540157655b6001600155",
  1895                  "nonce" : "0x00",
  1896                  "storage" : {
  1897                      "0x00" : "0x04"
  1898                  }
  1899              }
  1900          }
  1901      },
  1902      "JDfromStorageDynamicJumpifInsidePushWithoutJumpDest" : {
  1903          "env" : {
  1904              "currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba",
  1905              "currentDifficulty" : "0x0100",
  1906              "currentGasLimit" : "0x0f4240",
  1907              "currentNumber" : "0x02",
  1908              "currentTimestamp" : "0x01",
  1909              "previousHash" : "5e20a0453cecd065ea59c37ac63e079ee08998b6045136a8ce6635c7912ec0b6"
  1910          },
  1911          "exec" : {
  1912              "address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
  1913              "caller" : "cd1722f3947def4cf144679da39c4c32bdc35681",
  1914              "code" : "0x60016007600054015761eeff",
  1915              "data" : "0x",
  1916              "gas" : "0x0186a0",
  1917              "gasPrice" : "0x5af3107a4000",
  1918              "origin" : "cd1722f3947def4cf144679da39c4c32bdc35681",
  1919              "value" : "0x0de0b6b3a7640000"
  1920          },
  1921          "pre" : {
  1922              "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
  1923                  "balance" : "0x152d02c7e14af6800000",
  1924                  "code" : "0x60016007600054015761eeff",
  1925                  "nonce" : "0x00",
  1926                  "storage" : {
  1927                      "0x00" : "0x04"
  1928                  }
  1929              }
  1930          }
  1931      },
  1932      "bad_indirect_jump1" : {
  1933          "env" : {
  1934              "currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba",
  1935              "currentDifficulty" : "0x0100",
  1936              "currentGasLimit" : "0x0f4240",
  1937              "currentNumber" : "0x00",
  1938              "currentTimestamp" : "0x01",
  1939              "previousHash" : "5e20a0453cecd065ea59c37ac63e079ee08998b6045136a8ce6635c7912ec0b6"
  1940          },
  1941          "exec" : {
  1942              "address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
  1943              "caller" : "cd1722f3947def4cf144679da39c4c32bdc35681",
  1944              "code" : "0x601b602502565b",
  1945              "data" : "0x",
  1946              "gas" : "0x0186a0",
  1947              "gasPrice" : "0x5af3107a4000",
  1948              "origin" : "cd1722f3947def4cf144679da39c4c32bdc35681",
  1949              "value" : "0x0de0b6b3a7640000"
  1950          },
  1951          "pre" : {
  1952              "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
  1953                  "balance" : "0x152d02c7e14af6800000",
  1954                  "code" : "0x601b602502565b",
  1955                  "nonce" : "0x00",
  1956                  "storage" : {
  1957                  }
  1958              }
  1959          }
  1960      },
  1961      "bad_indirect_jump2" : {
  1962          "env" : {
  1963              "currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba",
  1964              "currentDifficulty" : "0x0100",
  1965              "currentGasLimit" : "0x0f4240",
  1966              "currentNumber" : "0x00",
  1967              "currentTimestamp" : "0x01",
  1968              "previousHash" : "5e20a0453cecd065ea59c37ac63e079ee08998b6045136a8ce6635c7912ec0b6"
  1969          },
  1970          "exec" : {
  1971              "address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
  1972              "caller" : "cd1722f3947def4cf144679da39c4c32bdc35681",
  1973              "code" : "0x60016003600302576000600056",
  1974              "data" : "0x",
  1975              "gas" : "0x0186a0",
  1976              "gasPrice" : "0x5af3107a4000",
  1977              "origin" : "cd1722f3947def4cf144679da39c4c32bdc35681",
  1978              "value" : "0x0de0b6b3a7640000"
  1979          },
  1980          "pre" : {
  1981              "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
  1982                  "balance" : "0x152d02c7e14af6800000",
  1983                  "code" : "0x60016003600302576000600056",
  1984                  "nonce" : "0x00",
  1985                  "storage" : {
  1986                  }
  1987              }
  1988          }
  1989      },
  1990      "byte1" : {
  1991          "callcreates" : [
  1992          ],
  1993          "env" : {
  1994              "currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba",
  1995              "currentDifficulty" : "0x0100",
  1996              "currentGasLimit" : "0x0f4240",
  1997              "currentNumber" : "0x00",
  1998              "currentTimestamp" : "0x01",
  1999              "previousHash" : "5e20a0453cecd065ea59c37ac63e079ee08998b6045136a8ce6635c7912ec0b6"
  2000          },
  2001          "exec" : {
  2002              "address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
  2003              "caller" : "cd1722f3947def4cf144679da39c4c32bdc35681",
  2004              "code" : "0x7f112233445566778899001122334455667788990011223344556677889900aabb60001a7f112233445566778899001122334455667788990011223344556677889900aabb60011a7f112233445566778899001122334455667788990011223344556677889900aabb60021a7f112233445566778899001122334455667788990011223344556677889900aabb60031a7f112233445566778899001122334455667788990011223344556677889900aabb60041a7f112233445566778899001122334455667788990011223344556677889900aabb60051a7f112233445566778899001122334455667788990011223344556677889900aabb60061a7f112233445566778899001122334455667788990011223344556677889900aabb60071a7f112233445566778899001122334455667788990011223344556677889900aabb60081a7f112233445566778899001122334455667788990011223344556677889900aabb60091a7f112233445566778899001122334455667788990011223344556677889900aabb600a1a7f112233445566778899001122334455667788990011223344556677889900aabb600b1a7f112233445566778899001122334455667788990011223344556677889900aabb600c1a7f112233445566778899001122334455667788990011223344556677889900aabb600d1a7f112233445566778899001122334455667788990011223344556677889900aabb600e1a7f112233445566778899001122334455667788990011223344556677889900aabb600f1a7f112233445566778899001122334455667788990011223344556677889900aabb60101a7f112233445566778899001122334455667788990011223344556677889900aabb60111a7f112233445566778899001122334455667788990011223344556677889900aabb60121a7f112233445566778899001122334455667788990011223344556677889900aabb60131a7f112233445566778899001122334455667788990011223344556677889900aabb60141a7f112233445566778899001122334455667788990011223344556677889900aabb60151a7f112233445566778899001122334455667788990011223344556677889900aabb60161a7f112233445566778899001122334455667788990011223344556677889900aabb60171a7f112233445566778899001122334455667788990011223344556677889900aabb60181a7f112233445566778899001122334455667788990011223344556677889900aabb60191a7f112233445566778899001122334455667788990011223344556677889900aabb601a1a7f112233445566778899001122334455667788990011223344556677889900aabb601b1a7f112233445566778899001122334455667788990011223344556677889900aabb601c1a7f112233445566778899001122334455667788990011223344556677889900aabb601d1a7f112233445566778899001122334455667788990011223344556677889900aabb601e1a7f112233445566778899001122334455667788990011223344556677889900aabb601f1a7f112233445566778899001122334455667788990011223344556677889900aabb60201a7f112233445566778899001122334455667788990011223344556677889900aabb6107de1a6000600055",
  2005              "data" : "0x",
  2006              "gas" : "0x0186a0",
  2007              "gasPrice" : "0x5af3107a4000",
  2008              "origin" : "cd1722f3947def4cf144679da39c4c32bdc35681",
  2009              "value" : "0x0de0b6b3a7640000"
  2010          },
  2011          "gas" : "0x0171e0",
  2012          "logs" : [
  2013          ],
  2014          "out" : "0x",
  2015          "post" : {
  2016              "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
  2017                  "balance" : "0x152d02c7e14af6800000",
  2018                  "code" : "0x7f112233445566778899001122334455667788990011223344556677889900aabb60001a7f112233445566778899001122334455667788990011223344556677889900aabb60011a7f112233445566778899001122334455667788990011223344556677889900aabb60021a7f112233445566778899001122334455667788990011223344556677889900aabb60031a7f112233445566778899001122334455667788990011223344556677889900aabb60041a7f112233445566778899001122334455667788990011223344556677889900aabb60051a7f112233445566778899001122334455667788990011223344556677889900aabb60061a7f112233445566778899001122334455667788990011223344556677889900aabb60071a7f112233445566778899001122334455667788990011223344556677889900aabb60081a7f112233445566778899001122334455667788990011223344556677889900aabb60091a7f112233445566778899001122334455667788990011223344556677889900aabb600a1a7f112233445566778899001122334455667788990011223344556677889900aabb600b1a7f112233445566778899001122334455667788990011223344556677889900aabb600c1a7f112233445566778899001122334455667788990011223344556677889900aabb600d1a7f112233445566778899001122334455667788990011223344556677889900aabb600e1a7f112233445566778899001122334455667788990011223344556677889900aabb600f1a7f112233445566778899001122334455667788990011223344556677889900aabb60101a7f112233445566778899001122334455667788990011223344556677889900aabb60111a7f112233445566778899001122334455667788990011223344556677889900aabb60121a7f112233445566778899001122334455667788990011223344556677889900aabb60131a7f112233445566778899001122334455667788990011223344556677889900aabb60141a7f112233445566778899001122334455667788990011223344556677889900aabb60151a7f112233445566778899001122334455667788990011223344556677889900aabb60161a7f112233445566778899001122334455667788990011223344556677889900aabb60171a7f112233445566778899001122334455667788990011223344556677889900aabb60181a7f112233445566778899001122334455667788990011223344556677889900aabb60191a7f112233445566778899001122334455667788990011223344556677889900aabb601a1a7f112233445566778899001122334455667788990011223344556677889900aabb601b1a7f112233445566778899001122334455667788990011223344556677889900aabb601c1a7f112233445566778899001122334455667788990011223344556677889900aabb601d1a7f112233445566778899001122334455667788990011223344556677889900aabb601e1a7f112233445566778899001122334455667788990011223344556677889900aabb601f1a7f112233445566778899001122334455667788990011223344556677889900aabb60201a7f112233445566778899001122334455667788990011223344556677889900aabb6107de1a6000600055",
  2019                  "nonce" : "0x00",
  2020                  "storage" : {
  2021                  }
  2022              }
  2023          },
  2024          "pre" : {
  2025              "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
  2026                  "balance" : "0x152d02c7e14af6800000",
  2027                  "code" : "0x7f112233445566778899001122334455667788990011223344556677889900aabb60001a7f112233445566778899001122334455667788990011223344556677889900aabb60011a7f112233445566778899001122334455667788990011223344556677889900aabb60021a7f112233445566778899001122334455667788990011223344556677889900aabb60031a7f112233445566778899001122334455667788990011223344556677889900aabb60041a7f112233445566778899001122334455667788990011223344556677889900aabb60051a7f112233445566778899001122334455667788990011223344556677889900aabb60061a7f112233445566778899001122334455667788990011223344556677889900aabb60071a7f112233445566778899001122334455667788990011223344556677889900aabb60081a7f112233445566778899001122334455667788990011223344556677889900aabb60091a7f112233445566778899001122334455667788990011223344556677889900aabb600a1a7f112233445566778899001122334455667788990011223344556677889900aabb600b1a7f112233445566778899001122334455667788990011223344556677889900aabb600c1a7f112233445566778899001122334455667788990011223344556677889900aabb600d1a7f112233445566778899001122334455667788990011223344556677889900aabb600e1a7f112233445566778899001122334455667788990011223344556677889900aabb600f1a7f112233445566778899001122334455667788990011223344556677889900aabb60101a7f112233445566778899001122334455667788990011223344556677889900aabb60111a7f112233445566778899001122334455667788990011223344556677889900aabb60121a7f112233445566778899001122334455667788990011223344556677889900aabb60131a7f112233445566778899001122334455667788990011223344556677889900aabb60141a7f112233445566778899001122334455667788990011223344556677889900aabb60151a7f112233445566778899001122334455667788990011223344556677889900aabb60161a7f112233445566778899001122334455667788990011223344556677889900aabb60171a7f112233445566778899001122334455667788990011223344556677889900aabb60181a7f112233445566778899001122334455667788990011223344556677889900aabb60191a7f112233445566778899001122334455667788990011223344556677889900aabb601a1a7f112233445566778899001122334455667788990011223344556677889900aabb601b1a7f112233445566778899001122334455667788990011223344556677889900aabb601c1a7f112233445566778899001122334455667788990011223344556677889900aabb601d1a7f112233445566778899001122334455667788990011223344556677889900aabb601e1a7f112233445566778899001122334455667788990011223344556677889900aabb601f1a7f112233445566778899001122334455667788990011223344556677889900aabb60201a7f112233445566778899001122334455667788990011223344556677889900aabb6107de1a6000600055",
  2028                  "nonce" : "0x00",
  2029                  "storage" : {
  2030                  }
  2031              }
  2032          }
  2033      },
  2034      "calldatacopyMemExp" : {
  2035          "env" : {
  2036              "currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba",
  2037              "currentDifficulty" : "0x0100",
  2038              "currentGasLimit" : "0x01f4153d80",
  2039              "currentNumber" : "0x00",
  2040              "currentTimestamp" : "0x01",
  2041              "previousHash" : "5e20a0453cecd065ea59c37ac63e079ee08998b6045136a8ce6635c7912ec0b6"
  2042          },
  2043          "exec" : {
  2044              "address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
  2045              "caller" : "cd1722f3947def4cf144679da39c4c32bdc35681",
  2046              "code" : "0x60ff60ff630fffffff630fffffff37",
  2047              "data" : "0x",
  2048              "gas" : "0x01f4153d80",
  2049              "gasPrice" : "0x01",
  2050              "origin" : "cd1722f3947def4cf144679da39c4c32bdc35681",
  2051              "value" : "0x0de0b6b3a7640000"
  2052          },
  2053          "pre" : {
  2054              "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
  2055                  "balance" : "0x152d02c7e14af6800000",
  2056                  "code" : "0x60ff60ff630fffffff630fffffff37",
  2057                  "nonce" : "0x00",
  2058                  "storage" : {
  2059                  }
  2060              }
  2061          }
  2062      },
  2063      "codecopyMemExp" : {
  2064          "env" : {
  2065              "currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba",
  2066              "currentDifficulty" : "0x0100",
  2067              "currentGasLimit" : "0x01f4153d80",
  2068              "currentNumber" : "0x00",
  2069              "currentTimestamp" : "0x01",
  2070              "previousHash" : "5e20a0453cecd065ea59c37ac63e079ee08998b6045136a8ce6635c7912ec0b6"
  2071          },
  2072          "exec" : {
  2073              "address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
  2074              "caller" : "cd1722f3947def4cf144679da39c4c32bdc35681",
  2075              "code" : "0x60ff60ff630fffffff630fffffff39",
  2076              "data" : "0x",
  2077              "gas" : "0x01f4153d80",
  2078              "gasPrice" : "0x01",
  2079              "origin" : "cd1722f3947def4cf144679da39c4c32bdc35681",
  2080              "value" : "0x0de0b6b3a7640000"
  2081          },
  2082          "pre" : {
  2083              "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
  2084                  "balance" : "0x152d02c7e14af6800000",
  2085                  "code" : "0x60ff60ff630fffffff630fffffff39",
  2086                  "nonce" : "0x00",
  2087                  "storage" : {
  2088                  }
  2089              }
  2090          }
  2091      },
  2092      "dupAt51becameMload" : {
  2093          "callcreates" : [
  2094          ],
  2095          "env" : {
  2096              "currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba",
  2097              "currentDifficulty" : "0x0100",
  2098              "currentGasLimit" : "0x0f4240",
  2099              "currentNumber" : "0x00",
  2100              "currentTimestamp" : "0x01",
  2101              "previousHash" : "5e20a0453cecd065ea59c37ac63e079ee08998b6045136a8ce6635c7912ec0b6"
  2102          },
  2103          "exec" : {
  2104              "address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
  2105              "caller" : "cd1722f3947def4cf144679da39c4c32bdc35681",
  2106              "code" : "0x600260035155",
  2107              "data" : "0x",
  2108              "gas" : "0x0186a0",
  2109              "gasPrice" : "0x5af3107a4000",
  2110              "origin" : "cd1722f3947def4cf144679da39c4c32bdc35681",
  2111              "value" : "0x0de0b6b3a7640000"
  2112          },
  2113          "gas" : "0x013871",
  2114          "logs" : [
  2115          ],
  2116          "out" : "0x",
  2117          "post" : {
  2118              "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
  2119                  "balance" : "0x152d02c7e14af6800000",
  2120                  "code" : "0x600260035155",
  2121                  "nonce" : "0x00",
  2122                  "storage" : {
  2123                      "0x00" : "0x02"
  2124                  }
  2125              }
  2126          },
  2127          "pre" : {
  2128              "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
  2129                  "balance" : "0x152d02c7e14af6800000",
  2130                  "code" : "0x600260035155",
  2131                  "nonce" : "0x00",
  2132                  "storage" : {
  2133                  }
  2134              }
  2135          }
  2136      },
  2137      "extcodecopyMemExp" : {
  2138          "env" : {
  2139              "currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba",
  2140              "currentDifficulty" : "0x0100",
  2141              "currentGasLimit" : "0x01f4153d80",
  2142              "currentNumber" : "0x00",
  2143              "currentTimestamp" : "0x01",
  2144              "previousHash" : "5e20a0453cecd065ea59c37ac63e079ee08998b6045136a8ce6635c7912ec0b6"
  2145          },
  2146          "exec" : {
  2147              "address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
  2148              "caller" : "cd1722f3947def4cf144679da39c4c32bdc35681",
  2149              "code" : "0x60ff60ff630fffffff630fffffff3c",
  2150              "data" : "0x",
  2151              "gas" : "0x01f4153d80",
  2152              "gasPrice" : "0x01",
  2153              "origin" : "cd1722f3947def4cf144679da39c4c32bdc35681",
  2154              "value" : "0x0de0b6b3a7640000"
  2155          },
  2156          "pre" : {
  2157              "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
  2158                  "balance" : "0x152d02c7e14af6800000",
  2159                  "code" : "0x60ff60ff630fffffff630fffffff3c",
  2160                  "nonce" : "0x00",
  2161                  "storage" : {
  2162                  }
  2163              }
  2164          }
  2165      },
  2166      "for_loop1" : {
  2167          "callcreates" : [
  2168          ],
  2169          "env" : {
  2170              "currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba",
  2171              "currentDifficulty" : "0x0100",
  2172              "currentGasLimit" : "0x0f4240",
  2173              "currentNumber" : "0x00",
  2174              "currentTimestamp" : "0x01",
  2175              "previousHash" : "5e20a0453cecd065ea59c37ac63e079ee08998b6045136a8ce6635c7912ec0b6"
  2176          },
  2177          "exec" : {
  2178              "address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
  2179              "caller" : "cd1722f3947def4cf144679da39c4c32bdc35681",
  2180              "code" : "0x600a6080525b6000608051111560265760a0516080510160a0526001608051036080526005565b",
  2181              "data" : "0x",
  2182              "gas" : "0x0186a0",
  2183              "gasPrice" : "0x5af3107a4000",
  2184              "origin" : "cd1722f3947def4cf144679da39c4c32bdc35681",
  2185              "value" : "0x0de0b6b3a7640000"
  2186          },
  2187          "gas" : "0x018351",
  2188          "logs" : [
  2189          ],
  2190          "out" : "0x",
  2191          "post" : {
  2192              "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
  2193                  "balance" : "0x152d02c7e14af6800000",
  2194                  "code" : "0x600a6080525b6000608051111560265760a0516080510160a0526001608051036080526005565b",
  2195                  "nonce" : "0x00",
  2196                  "storage" : {
  2197                  }
  2198              }
  2199          },
  2200          "pre" : {
  2201              "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
  2202                  "balance" : "0x152d02c7e14af6800000",
  2203                  "code" : "0x600a6080525b6000608051111560265760a0516080510160a0526001608051036080526005565b",
  2204                  "nonce" : "0x00",
  2205                  "storage" : {
  2206                  }
  2207              }
  2208          }
  2209      },
  2210      "for_loop2" : {
  2211          "callcreates" : [
  2212          ],
  2213          "env" : {
  2214              "currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba",
  2215              "currentDifficulty" : "0x0100",
  2216              "currentGasLimit" : "0x0f4240",
  2217              "currentNumber" : "0x00",
  2218              "currentTimestamp" : "0x01",
  2219              "previousHash" : "5e20a0453cecd065ea59c37ac63e079ee08998b6045136a8ce6635c7912ec0b6"
  2220          },
  2221          "exec" : {
  2222              "address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
  2223              "caller" : "cd1722f3947def4cf144679da39c4c32bdc35681",
  2224              "code" : "0x60006080525b600a608051101560265760a0516080510160a0526001608051016080526005565b",
  2225              "data" : "0x",
  2226              "gas" : "0x0186a0",
  2227              "gasPrice" : "0x5af3107a4000",
  2228              "origin" : "cd1722f3947def4cf144679da39c4c32bdc35681",
  2229              "value" : "0x0de0b6b3a7640000"
  2230          },
  2231          "gas" : "0x018351",
  2232          "logs" : [
  2233          ],
  2234          "out" : "0x",
  2235          "post" : {
  2236              "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
  2237                  "balance" : "0x152d02c7e14af6800000",
  2238                  "code" : "0x60006080525b600a608051101560265760a0516080510160a0526001608051016080526005565b",
  2239                  "nonce" : "0x00",
  2240                  "storage" : {
  2241                  }
  2242              }
  2243          },
  2244          "pre" : {
  2245              "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
  2246                  "balance" : "0x152d02c7e14af6800000",
  2247                  "code" : "0x60006080525b600a608051101560265760a0516080510160a0526001608051016080526005565b",
  2248                  "nonce" : "0x00",
  2249                  "storage" : {
  2250                  }
  2251              }
  2252          }
  2253      },
  2254      "gas0" : {
  2255          "callcreates" : [
  2256          ],
  2257          "env" : {
  2258              "currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba",
  2259              "currentDifficulty" : "0x0100",
  2260              "currentGasLimit" : "0x0f4240",
  2261              "currentNumber" : "0x00",
  2262              "currentTimestamp" : "0x01",
  2263              "previousHash" : "5e20a0453cecd065ea59c37ac63e079ee08998b6045136a8ce6635c7912ec0b6"
  2264          },
  2265          "exec" : {
  2266              "address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
  2267              "caller" : "cd1722f3947def4cf144679da39c4c32bdc35681",
  2268              "code" : "0x64ffffffffff60005261eeee605a525a600055",
  2269              "data" : "0x",
  2270              "gas" : "0x0186a0",
  2271              "gasPrice" : "0x5af3107a4000",
  2272              "origin" : "cd1722f3947def4cf144679da39c4c32bdc35681",
  2273              "value" : "0x0de0b6b3a7640000"
  2274          },
  2275          "gas" : "0x01385d",
  2276          "logs" : [
  2277          ],
  2278          "out" : "0x",
  2279          "post" : {
  2280              "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
  2281                  "balance" : "0x152d02c7e14af6800000",
  2282                  "code" : "0x64ffffffffff60005261eeee605a525a600055",
  2283                  "nonce" : "0x00",
  2284                  "storage" : {
  2285                      "0x00" : "0x018680"
  2286                  }
  2287              }
  2288          },
  2289          "pre" : {
  2290              "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
  2291                  "balance" : "0x152d02c7e14af6800000",
  2292                  "code" : "0x64ffffffffff60005261eeee605a525a600055",
  2293                  "nonce" : "0x00",
  2294                  "storage" : {
  2295                  }
  2296              }
  2297          }
  2298      },
  2299      "gas1" : {
  2300          "callcreates" : [
  2301          ],
  2302          "env" : {
  2303              "currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba",
  2304              "currentDifficulty" : "0x0100",
  2305              "currentGasLimit" : "0x0f4240",
  2306              "currentNumber" : "0x00",
  2307              "currentTimestamp" : "0x01",
  2308              "previousHash" : "5e20a0453cecd065ea59c37ac63e079ee08998b6045136a8ce6635c7912ec0b6"
  2309          },
  2310          "exec" : {
  2311              "address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
  2312              "caller" : "cd1722f3947def4cf144679da39c4c32bdc35681",
  2313              "code" : "0x5a600055",
  2314              "data" : "0x",
  2315              "gas" : "0x0186a0",
  2316              "gasPrice" : "0x5af3107a4000",
  2317              "origin" : "cd1722f3947def4cf144679da39c4c32bdc35681",
  2318              "value" : "0x0de0b6b3a7640000"
  2319          },
  2320          "gas" : "0x01387b",
  2321          "logs" : [
  2322          ],
  2323          "out" : "0x",
  2324          "post" : {
  2325              "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
  2326                  "balance" : "0x152d02c7e14af6800000",
  2327                  "code" : "0x5a600055",
  2328                  "nonce" : "0x00",
  2329                  "storage" : {
  2330                      "0x00" : "0x01869e"
  2331                  }
  2332              }
  2333          },
  2334          "pre" : {
  2335              "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
  2336                  "balance" : "0x152d02c7e14af6800000",
  2337                  "code" : "0x5a600055",
  2338                  "nonce" : "0x00",
  2339                  "storage" : {
  2340                  }
  2341              }
  2342          }
  2343      },
  2344      "gasOverFlow" : {
  2345          "env" : {
  2346              "currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba",
  2347              "currentDifficulty" : "0x0100",
  2348              "currentGasLimit" : "0x0f4240",
  2349              "currentNumber" : "0x00",
  2350              "currentTimestamp" : "0x01",
  2351              "previousHash" : "5e20a0453cecd065ea59c37ac63e079ee08998b6045136a8ce6635c7912ec0b6"
  2352          },
  2353          "exec" : {
  2354              "address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
  2355              "caller" : "cd1722f3947def4cf144679da39c4c32bdc35681",
  2356              "code" : "0x6060035b60600160800380606002576868010000000000000016565b6363badf000d6060115500",
  2357              "data" : "0x",
  2358              "gas" : "0x0186a0",
  2359              "gasPrice" : "0x5af3107a4000",
  2360              "origin" : "cd1722f3947def4cf144679da39c4c32bdc35681",
  2361              "value" : "0x0de0b6b3a7640000"
  2362          },
  2363          "pre" : {
  2364              "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
  2365                  "balance" : "0x152d02c7e14af6800000",
  2366                  "code" : "0x6060035b60600160800380606002576868010000000000000016565b6363badf000d6060115500",
  2367                  "nonce" : "0x00",
  2368                  "storage" : {
  2369                  }
  2370              }
  2371          }
  2372      },
  2373      "indirect_jump1" : {
  2374          "callcreates" : [
  2375          ],
  2376          "env" : {
  2377              "currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba",
  2378              "currentDifficulty" : "0x0100",
  2379              "currentGasLimit" : "0x0f4240",
  2380              "currentNumber" : "0x00",
  2381              "currentTimestamp" : "0x01",
  2382              "previousHash" : "5e20a0453cecd065ea59c37ac63e079ee08998b6045136a8ce6635c7912ec0b6"
  2383          },
  2384          "exec" : {
  2385              "address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
  2386              "caller" : "cd1722f3947def4cf144679da39c4c32bdc35681",
  2387              "code" : "0x600460030156005b6001600052596000f3",
  2388              "data" : "0x",
  2389              "gas" : "0x0186a0",
  2390              "gasPrice" : "0x5af3107a4000",
  2391              "origin" : "cd1722f3947def4cf144679da39c4c32bdc35681",
  2392              "value" : "0x0de0b6b3a7640000"
  2393          },
  2394          "gas" : "0x01867d",
  2395          "logs" : [
  2396          ],
  2397          "out" : "0x0000000000000000000000000000000000000000000000000000000000000001",
  2398          "post" : {
  2399              "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
  2400                  "balance" : "0x152d02c7e14af6800000",
  2401                  "code" : "0x600460030156005b6001600052596000f3",
  2402                  "nonce" : "0x00",
  2403                  "storage" : {
  2404                  }
  2405              }
  2406          },
  2407          "pre" : {
  2408              "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
  2409                  "balance" : "0x152d02c7e14af6800000",
  2410                  "code" : "0x600460030156005b6001600052596000f3",
  2411                  "nonce" : "0x00",
  2412                  "storage" : {
  2413                  }
  2414              }
  2415          }
  2416      },
  2417      "indirect_jump2" : {
  2418          "callcreates" : [
  2419          ],
  2420          "env" : {
  2421              "currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba",
  2422              "currentDifficulty" : "0x0100",
  2423              "currentGasLimit" : "0x0f4240",
  2424              "currentNumber" : "0x00",
  2425              "currentTimestamp" : "0x01",
  2426              "previousHash" : "5e20a0453cecd065ea59c37ac63e079ee08998b6045136a8ce6635c7912ec0b6"
  2427          },
  2428          "exec" : {
  2429              "address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
  2430              "caller" : "cd1722f3947def4cf144679da39c4c32bdc35681",
  2431              "code" : "0x600860060156005b6001600052005b6002600052596000f3",
  2432              "data" : "0x",
  2433              "gas" : "0x0186a0",
  2434              "gasPrice" : "0x5af3107a4000",
  2435              "origin" : "cd1722f3947def4cf144679da39c4c32bdc35681",
  2436              "value" : "0x0de0b6b3a7640000"
  2437          },
  2438          "gas" : "0x01867d",
  2439          "logs" : [
  2440          ],
  2441          "out" : "0x0000000000000000000000000000000000000000000000000000000000000002",
  2442          "post" : {
  2443              "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
  2444                  "balance" : "0x152d02c7e14af6800000",
  2445                  "code" : "0x600860060156005b6001600052005b6002600052596000f3",
  2446                  "nonce" : "0x00",
  2447                  "storage" : {
  2448                  }
  2449              }
  2450          },
  2451          "pre" : {
  2452              "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
  2453                  "balance" : "0x152d02c7e14af6800000",
  2454                  "code" : "0x600860060156005b6001600052005b6002600052596000f3",
  2455                  "nonce" : "0x00",
  2456                  "storage" : {
  2457                  }
  2458              }
  2459          }
  2460      },
  2461      "indirect_jump3" : {
  2462          "callcreates" : [
  2463          ],
  2464          "env" : {
  2465              "currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba",
  2466              "currentDifficulty" : "0x0100",
  2467              "currentGasLimit" : "0x0f4240",
  2468              "currentNumber" : "0x00",
  2469              "currentTimestamp" : "0x01",
  2470              "previousHash" : "5e20a0453cecd065ea59c37ac63e079ee08998b6045136a8ce6635c7912ec0b6"
  2471          },
  2472          "exec" : {
  2473              "address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
  2474              "caller" : "cd1722f3947def4cf144679da39c4c32bdc35681",
  2475              "code" : "0x6001600460050157005b6001600052596000f3",
  2476              "data" : "0x",
  2477              "gas" : "0x0186a0",
  2478              "gasPrice" : "0x5af3107a4000",
  2479              "origin" : "cd1722f3947def4cf144679da39c4c32bdc35681",
  2480              "value" : "0x0de0b6b3a7640000"
  2481          },
  2482          "gas" : "0x018678",
  2483          "logs" : [
  2484          ],
  2485          "out" : "0x0000000000000000000000000000000000000000000000000000000000000001",
  2486          "post" : {
  2487              "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
  2488                  "balance" : "0x152d02c7e14af6800000",
  2489                  "code" : "0x6001600460050157005b6001600052596000f3",
  2490                  "nonce" : "0x00",
  2491                  "storage" : {
  2492                  }
  2493              }
  2494          },
  2495          "pre" : {
  2496              "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
  2497                  "balance" : "0x152d02c7e14af6800000",
  2498                  "code" : "0x6001600460050157005b6001600052596000f3",
  2499                  "nonce" : "0x00",
  2500                  "storage" : {
  2501                  }
  2502              }
  2503          }
  2504      },
  2505      "indirect_jump4" : {
  2506          "callcreates" : [
  2507          ],
  2508          "env" : {
  2509              "currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba",
  2510              "currentDifficulty" : "0x0100",
  2511              "currentGasLimit" : "0x0f4240",
  2512              "currentNumber" : "0x00",
  2513              "currentTimestamp" : "0x01",
  2514              "previousHash" : "5e20a0453cecd065ea59c37ac63e079ee08998b6045136a8ce6635c7912ec0b6"
  2515          },
  2516          "exec" : {
  2517              "address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
  2518              "caller" : "cd1722f3947def4cf144679da39c4c32bdc35681",
  2519              "code" : "0x60006007600501576001600052005b",
  2520              "data" : "0x",
  2521              "gas" : "0x0186a0",
  2522              "gasPrice" : "0x5af3107a4000",
  2523              "origin" : "cd1722f3947def4cf144679da39c4c32bdc35681",
  2524              "value" : "0x0de0b6b3a7640000"
  2525          },
  2526          "gas" : "0x01867e",
  2527          "logs" : [
  2528          ],
  2529          "out" : "0x",
  2530          "post" : {
  2531              "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
  2532                  "balance" : "0x152d02c7e14af6800000",
  2533                  "code" : "0x60006007600501576001600052005b",
  2534                  "nonce" : "0x00",
  2535                  "storage" : {
  2536                  }
  2537              }
  2538          },
  2539          "pre" : {
  2540              "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
  2541                  "balance" : "0x152d02c7e14af6800000",
  2542                  "code" : "0x60006007600501576001600052005b",
  2543                  "nonce" : "0x00",
  2544                  "storage" : {
  2545                  }
  2546              }
  2547          }
  2548      },
  2549      "jump0_AfterJumpdest" : {
  2550          "env" : {
  2551              "currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba",
  2552              "currentDifficulty" : "0x0100",
  2553              "currentGasLimit" : "0x0f4240",
  2554              "currentNumber" : "0x00",
  2555              "currentTimestamp" : "0x01",
  2556              "previousHash" : "5e20a0453cecd065ea59c37ac63e079ee08998b6045136a8ce6635c7912ec0b6"
  2557          },
  2558          "exec" : {
  2559              "address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
  2560              "caller" : "cd1722f3947def4cf144679da39c4c32bdc35681",
  2561              "code" : "0x602360085660015b600255",
  2562              "data" : "0x",
  2563              "gas" : "0x0186a0",
  2564              "gasPrice" : "0x5af3107a4000",
  2565              "origin" : "cd1722f3947def4cf144679da39c4c32bdc35681",
  2566              "value" : "0x0de0b6b3a7640000"
  2567          },
  2568          "pre" : {
  2569              "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
  2570                  "balance" : "0x152d02c7e14af6800000",
  2571                  "code" : "0x602360085660015b600255",
  2572                  "nonce" : "0x00",
  2573                  "storage" : {
  2574                  }
  2575              }
  2576          }
  2577      },
  2578      "jump0_AfterJumpdest3" : {
  2579          "env" : {
  2580              "currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba",
  2581              "currentDifficulty" : "0x0100",
  2582              "currentGasLimit" : "0x0f4240",
  2583              "currentNumber" : "0x00",
  2584              "currentTimestamp" : "0x01",
  2585              "previousHash" : "5e20a0453cecd065ea59c37ac63e079ee08998b6045136a8ce6635c7912ec0b6"
  2586          },
  2587          "exec" : {
  2588              "address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
  2589              "caller" : "cd1722f3947def4cf144679da39c4c32bdc35681",
  2590              "code" : "0x6023600b6008505660015b600255",
  2591              "data" : "0x",
  2592              "gas" : "0x0186a0",
  2593              "gasPrice" : "0x5af3107a4000",
  2594              "origin" : "cd1722f3947def4cf144679da39c4c32bdc35681",
  2595              "value" : "0x0de0b6b3a7640000"
  2596          },
  2597          "pre" : {
  2598              "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
  2599                  "balance" : "0x152d02c7e14af6800000",
  2600                  "code" : "0x6023600b6008505660015b600255",
  2601                  "nonce" : "0x00",
  2602                  "storage" : {
  2603                  }
  2604              }
  2605          }
  2606      },
  2607      "jump0_foreverOutOfGas" : {
  2608          "env" : {
  2609              "currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba",
  2610              "currentDifficulty" : "0x0100",
  2611              "currentGasLimit" : "0x0f4240",
  2612              "currentNumber" : "0x00",
  2613              "currentTimestamp" : "0x01",
  2614              "previousHash" : "5e20a0453cecd065ea59c37ac63e079ee08998b6045136a8ce6635c7912ec0b6"
  2615          },
  2616          "exec" : {
  2617              "address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
  2618              "caller" : "cd1722f3947def4cf144679da39c4c32bdc35681",
  2619              "code" : "0x5b600056",
  2620              "data" : "0x",
  2621              "gas" : "0x0186a0",
  2622              "gasPrice" : "0x5af3107a4000",
  2623              "origin" : "cd1722f3947def4cf144679da39c4c32bdc35681",
  2624              "value" : "0x0de0b6b3a7640000"
  2625          },
  2626          "pre" : {
  2627              "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
  2628                  "balance" : "0x152d02c7e14af6800000",
  2629                  "code" : "0x5b600056",
  2630                  "nonce" : "0x00",
  2631                  "storage" : {
  2632                  }
  2633              }
  2634          }
  2635      },
  2636      "jump0_jumpdest0" : {
  2637          "callcreates" : [
  2638          ],
  2639          "env" : {
  2640              "currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba",
  2641              "currentDifficulty" : "0x0100",
  2642              "currentGasLimit" : "0x0f4240",
  2643              "currentNumber" : "0x00",
  2644              "currentTimestamp" : "0x01",
  2645              "previousHash" : "5e20a0453cecd065ea59c37ac63e079ee08998b6045136a8ce6635c7912ec0b6"
  2646          },
  2647          "exec" : {
  2648              "address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
  2649              "caller" : "cd1722f3947def4cf144679da39c4c32bdc35681",
  2650              "code" : "0x602360075660015b600255",
  2651              "data" : "0x",
  2652              "gas" : "0x0186a0",
  2653              "gasPrice" : "0x5af3107a4000",
  2654              "origin" : "cd1722f3947def4cf144679da39c4c32bdc35681",
  2655              "value" : "0x0de0b6b3a7640000"
  2656          },
  2657          "gas" : "0x01386e",
  2658          "logs" : [
  2659          ],
  2660          "out" : "0x",
  2661          "post" : {
  2662              "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
  2663                  "balance" : "0x152d02c7e14af6800000",
  2664                  "code" : "0x602360075660015b600255",
  2665                  "nonce" : "0x00",
  2666                  "storage" : {
  2667                      "0x02" : "0x23"
  2668                  }
  2669              }
  2670          },
  2671          "pre" : {
  2672              "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
  2673                  "balance" : "0x152d02c7e14af6800000",
  2674                  "code" : "0x602360075660015b600255",
  2675                  "nonce" : "0x00",
  2676                  "storage" : {
  2677                  }
  2678              }
  2679          }
  2680      },
  2681      "jump0_jumpdest2" : {
  2682          "callcreates" : [
  2683          ],
  2684          "env" : {
  2685              "currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba",
  2686              "currentDifficulty" : "0x0100",
  2687              "currentGasLimit" : "0x0f4240",
  2688              "currentNumber" : "0x00",
  2689              "currentTimestamp" : "0x01",
  2690              "previousHash" : "5e20a0453cecd065ea59c37ac63e079ee08998b6045136a8ce6635c7912ec0b6"
  2691          },
  2692          "exec" : {
  2693              "address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
  2694              "caller" : "cd1722f3947def4cf144679da39c4c32bdc35681",
  2695              "code" : "0x6023600a6008505660015b600255",
  2696              "data" : "0x",
  2697              "gas" : "0x0186a0",
  2698              "gasPrice" : "0x5af3107a4000",
  2699              "origin" : "cd1722f3947def4cf144679da39c4c32bdc35681",
  2700              "value" : "0x0de0b6b3a7640000"
  2701          },
  2702          "gas" : "0x013869",
  2703          "logs" : [
  2704          ],
  2705          "out" : "0x",
  2706          "post" : {
  2707              "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
  2708                  "balance" : "0x152d02c7e14af6800000",
  2709                  "code" : "0x6023600a6008505660015b600255",
  2710                  "nonce" : "0x00",
  2711                  "storage" : {
  2712                      "0x02" : "0x23"
  2713                  }
  2714              }
  2715          },
  2716          "pre" : {
  2717              "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
  2718                  "balance" : "0x152d02c7e14af6800000",
  2719                  "code" : "0x6023600a6008505660015b600255",
  2720                  "nonce" : "0x00",
  2721                  "storage" : {
  2722                  }
  2723              }
  2724          }
  2725      },
  2726      "jump0_outOfBoundary" : {
  2727          "env" : {
  2728              "currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba",
  2729              "currentDifficulty" : "0x0100",
  2730              "currentGasLimit" : "0x0f4240",
  2731              "currentNumber" : "0x00",
  2732              "currentTimestamp" : "0x01",
  2733              "previousHash" : "5e20a0453cecd065ea59c37ac63e079ee08998b6045136a8ce6635c7912ec0b6"
  2734          },
  2735          "exec" : {
  2736              "address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
  2737              "caller" : "cd1722f3947def4cf144679da39c4c32bdc35681",
  2738              "code" : "0x60236007566001600255",
  2739              "data" : "0x",
  2740              "gas" : "0x0186a0",
  2741              "gasPrice" : "0x5af3107a4000",
  2742              "origin" : "cd1722f3947def4cf144679da39c4c32bdc35681",
  2743              "value" : "0x0de0b6b3a7640000"
  2744          },
  2745          "pre" : {
  2746              "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
  2747                  "balance" : "0x152d02c7e14af6800000",
  2748                  "code" : "0x60236007566001600255",
  2749                  "nonce" : "0x00",
  2750                  "storage" : {
  2751                  }
  2752              }
  2753          }
  2754      },
  2755      "jump0_withoutJumpdest" : {
  2756          "env" : {
  2757              "currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba",
  2758              "currentDifficulty" : "0x0100",
  2759              "currentGasLimit" : "0x0f4240",
  2760              "currentNumber" : "0x00",
  2761              "currentTimestamp" : "0x01",
  2762              "previousHash" : "5e20a0453cecd065ea59c37ac63e079ee08998b6045136a8ce6635c7912ec0b6"
  2763          },
  2764          "exec" : {
  2765              "address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
  2766              "caller" : "cd1722f3947def4cf144679da39c4c32bdc35681",
  2767              "code" : "0x60236007566001600255",
  2768              "data" : "0x",
  2769              "gas" : "0x0186a0",
  2770              "gasPrice" : "0x5af3107a4000",
  2771              "origin" : "cd1722f3947def4cf144679da39c4c32bdc35681",
  2772              "value" : "0x0de0b6b3a7640000"
  2773          },
  2774          "pre" : {
  2775              "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
  2776                  "balance" : "0x152d02c7e14af6800000",
  2777                  "code" : "0x60236007566001600255",
  2778                  "nonce" : "0x00",
  2779                  "storage" : {
  2780                  }
  2781              }
  2782          }
  2783      },
  2784      "jump1" : {
  2785          "env" : {
  2786              "currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba",
  2787              "currentDifficulty" : "0x0100",
  2788              "currentGasLimit" : "0x0f4240",
  2789              "currentNumber" : "0x00",
  2790              "currentTimestamp" : "0x01",
  2791              "previousHash" : "5e20a0453cecd065ea59c37ac63e079ee08998b6045136a8ce6635c7912ec0b6"
  2792          },
  2793          "exec" : {
  2794              "address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
  2795              "caller" : "cd1722f3947def4cf144679da39c4c32bdc35681",
  2796              "code" : "0x620fffff620fffff0156",
  2797              "data" : "0x",
  2798              "gas" : "0x0186a0",
  2799              "gasPrice" : "0x5af3107a4000",
  2800              "origin" : "cd1722f3947def4cf144679da39c4c32bdc35681",
  2801              "value" : "0x0de0b6b3a7640000"
  2802          },
  2803          "pre" : {
  2804              "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
  2805                  "balance" : "0x152d02c7e14af6800000",
  2806                  "code" : "0x620fffff620fffff0156",
  2807                  "nonce" : "0x00",
  2808                  "storage" : {
  2809                  }
  2810              }
  2811          }
  2812      },
  2813      "jumpAfterStop" : {
  2814          "callcreates" : [
  2815          ],
  2816          "env" : {
  2817              "currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba",
  2818              "currentDifficulty" : "0x0100",
  2819              "currentGasLimit" : "0x0f4240",
  2820              "currentNumber" : "0x00",
  2821              "currentTimestamp" : "0x01",
  2822              "previousHash" : "5e20a0453cecd065ea59c37ac63e079ee08998b6045136a8ce6635c7912ec0b6"
  2823          },
  2824          "exec" : {
  2825              "address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
  2826              "caller" : "cd1722f3947def4cf144679da39c4c32bdc35681",
  2827              "code" : "0x6006560060015b6002600355",
  2828              "data" : "0x",
  2829              "gas" : "0x0186a0",
  2830              "gasPrice" : "0x5af3107a4000",
  2831              "origin" : "cd1722f3947def4cf144679da39c4c32bdc35681",
  2832              "value" : "0x0de0b6b3a7640000"
  2833          },
  2834          "gas" : "0x01386e",
  2835          "logs" : [
  2836          ],
  2837          "out" : "0x",
  2838          "post" : {
  2839              "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
  2840                  "balance" : "0x152d02c7e14af6800000",
  2841                  "code" : "0x6006560060015b6002600355",
  2842                  "nonce" : "0x00",
  2843                  "storage" : {
  2844                      "0x03" : "0x02"
  2845                  }
  2846              }
  2847          },
  2848          "pre" : {
  2849              "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
  2850                  "balance" : "0x152d02c7e14af6800000",
  2851                  "code" : "0x6006560060015b6002600355",
  2852                  "nonce" : "0x00",
  2853                  "storage" : {
  2854                  }
  2855              }
  2856          }
  2857      },
  2858      "jumpDynamicJumpSameDest" : {
  2859          "callcreates" : [
  2860          ],
  2861          "env" : {
  2862              "currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba",
  2863              "currentDifficulty" : "0x0100",
  2864              "currentGasLimit" : "0x0f4240",
  2865              "currentNumber" : "0x00",
  2866              "currentTimestamp" : "0x01",
  2867              "previousHash" : "5e20a0453cecd065ea59c37ac63e079ee08998b6045136a8ce6635c7912ec0b6"
  2868          },
  2869          "exec" : {
  2870              "address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
  2871              "caller" : "cd1722f3947def4cf144679da39c4c32bdc35681",
  2872              "code" : "0x6002600401565b600360005260206000f3600656",
  2873              "data" : "0x",
  2874              "gas" : "0x0186a0",
  2875              "gasPrice" : "0x5af3107a4000",
  2876              "origin" : "cd1722f3947def4cf144679da39c4c32bdc35681",
  2877              "value" : "0x0de0b6b3a7640000"
  2878          },
  2879          "gas" : "0x01867c",
  2880          "logs" : [
  2881          ],
  2882          "out" : "0x0000000000000000000000000000000000000000000000000000000000000003",
  2883          "post" : {
  2884              "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
  2885                  "balance" : "0x152d02c7e14af6800000",
  2886                  "code" : "0x6002600401565b600360005260206000f3600656",
  2887                  "nonce" : "0x00",
  2888                  "storage" : {
  2889                  }
  2890              }
  2891          },
  2892          "pre" : {
  2893              "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
  2894                  "balance" : "0x152d02c7e14af6800000",
  2895                  "code" : "0x6002600401565b600360005260206000f3600656",
  2896                  "nonce" : "0x00",
  2897                  "storage" : {
  2898                  }
  2899              }
  2900          }
  2901      },
  2902      "jumpInsidePushWithJumpDest" : {
  2903          "env" : {
  2904              "currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba",
  2905              "currentDifficulty" : "0x0100",
  2906              "currentGasLimit" : "0x0f4240",
  2907              "currentNumber" : "0x00",
  2908              "currentTimestamp" : "0x01",
  2909              "previousHash" : "5e20a0453cecd065ea59c37ac63e079ee08998b6045136a8ce6635c7912ec0b6"
  2910          },
  2911          "exec" : {
  2912              "address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
  2913              "caller" : "cd1722f3947def4cf144679da39c4c32bdc35681",
  2914              "code" : "0x600456655b6001600155",
  2915              "data" : "0x",
  2916              "gas" : "0x0186a0",
  2917              "gasPrice" : "0x5af3107a4000",
  2918              "origin" : "cd1722f3947def4cf144679da39c4c32bdc35681",
  2919              "value" : "0x0de0b6b3a7640000"
  2920          },
  2921          "pre" : {
  2922              "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
  2923                  "balance" : "0x152d02c7e14af6800000",
  2924                  "code" : "0x600456655b6001600155",
  2925                  "nonce" : "0x00",
  2926                  "storage" : {
  2927                  }
  2928              }
  2929          }
  2930      },
  2931      "jumpInsidePushWithoutJumpDest" : {
  2932          "env" : {
  2933              "currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba",
  2934              "currentDifficulty" : "0x0100",
  2935              "currentGasLimit" : "0x0f4240",
  2936              "currentNumber" : "0x00",
  2937              "currentTimestamp" : "0x01",
  2938              "previousHash" : "5e20a0453cecd065ea59c37ac63e079ee08998b6045136a8ce6635c7912ec0b6"
  2939          },
  2940          "exec" : {
  2941              "address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
  2942              "caller" : "cd1722f3947def4cf144679da39c4c32bdc35681",
  2943              "code" : "0x60055661eeff",
  2944              "data" : "0x",
  2945              "gas" : "0x0186a0",
  2946              "gasPrice" : "0x5af3107a4000",
  2947              "origin" : "cd1722f3947def4cf144679da39c4c32bdc35681",
  2948              "value" : "0x0de0b6b3a7640000"
  2949          },
  2950          "pre" : {
  2951              "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
  2952                  "balance" : "0x152d02c7e14af6800000",
  2953                  "code" : "0x60055661eeff",
  2954                  "nonce" : "0x00",
  2955                  "storage" : {
  2956                  }
  2957              }
  2958          }
  2959      },
  2960      "jumpOntoJump" : {
  2961          "env" : {
  2962              "currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba",
  2963              "currentDifficulty" : "0x0100",
  2964              "currentGasLimit" : "0x0f4240",
  2965              "currentNumber" : "0x00",
  2966              "currentTimestamp" : "0x01",
  2967              "previousHash" : "5e20a0453cecd065ea59c37ac63e079ee08998b6045136a8ce6635c7912ec0b6"
  2968          },
  2969          "exec" : {
  2970              "address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
  2971              "caller" : "cd1722f3947def4cf144679da39c4c32bdc35681",
  2972              "code" : "0x565b600056",
  2973              "data" : "0x",
  2974              "gas" : "0x0186a0",
  2975              "gasPrice" : "0x5af3107a4000",
  2976              "origin" : "cd1722f3947def4cf144679da39c4c32bdc35681",
  2977              "value" : "0x0de0b6b3a7640000"
  2978          },
  2979          "pre" : {
  2980              "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
  2981                  "balance" : "0x152d02c7e14af6800000",
  2982                  "code" : "0x565b600056",
  2983                  "nonce" : "0x00",
  2984                  "storage" : {
  2985                  }
  2986              }
  2987          }
  2988      },
  2989      "jumpTo1InstructionafterJump" : {
  2990          "env" : {
  2991              "currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba",
  2992              "currentDifficulty" : "0x0100",
  2993              "currentGasLimit" : "0x0f4240",
  2994              "currentNumber" : "0x00",
  2995              "currentTimestamp" : "0x01",
  2996              "previousHash" : "5e20a0453cecd065ea59c37ac63e079ee08998b6045136a8ce6635c7912ec0b6"
  2997          },
  2998          "exec" : {
  2999              "address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
  3000              "caller" : "cd1722f3947def4cf144679da39c4c32bdc35681",
  3001              "code" : "0x6003565b6001600055",
  3002              "data" : "0x",
  3003              "gas" : "0x2710",
  3004              "gasPrice" : "0x5af3107a4000",
  3005              "origin" : "cd1722f3947def4cf144679da39c4c32bdc35681",
  3006              "value" : "0x0de0b6b3a7640000"
  3007          },
  3008          "pre" : {
  3009              "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
  3010                  "balance" : "0x0de0b6b3a7640000",
  3011                  "code" : "0x6003565b6001600055",
  3012                  "nonce" : "0x00",
  3013                  "storage" : {
  3014                  }
  3015              }
  3016          }
  3017      },
  3018      "jumpTo1InstructionafterJump_jumpdestFirstInstruction" : {
  3019          "env" : {
  3020              "currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba",
  3021              "currentDifficulty" : "0x0100",
  3022              "currentGasLimit" : "0x0f4240",
  3023              "currentNumber" : "0x00",
  3024              "currentTimestamp" : "0x01",
  3025              "previousHash" : "5e20a0453cecd065ea59c37ac63e079ee08998b6045136a8ce6635c7912ec0b6"
  3026          },
  3027          "exec" : {
  3028              "address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
  3029              "caller" : "cd1722f3947def4cf144679da39c4c32bdc35681",
  3030              "code" : "0x5b6003565b6001600055",
  3031              "data" : "0x",
  3032              "gas" : "0x2710",
  3033              "gasPrice" : "0x5af3107a4000",
  3034              "origin" : "cd1722f3947def4cf144679da39c4c32bdc35681",
  3035              "value" : "0x0de0b6b3a7640000"
  3036          },
  3037          "pre" : {
  3038              "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
  3039                  "balance" : "0x0de0b6b3a7640000",
  3040                  "code" : "0x5b6003565b6001600055",
  3041                  "nonce" : "0x00",
  3042                  "storage" : {
  3043                  }
  3044              }
  3045          }
  3046      },
  3047      "jumpTo1InstructionafterJump_noJumpDest" : {
  3048          "env" : {
  3049              "currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba",
  3050              "currentDifficulty" : "0x0100",
  3051              "currentGasLimit" : "0x0f4240",
  3052              "currentNumber" : "0x00",
  3053              "currentTimestamp" : "0x01",
  3054              "previousHash" : "5e20a0453cecd065ea59c37ac63e079ee08998b6045136a8ce6635c7912ec0b6"
  3055          },
  3056          "exec" : {
  3057              "address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
  3058              "caller" : "cd1722f3947def4cf144679da39c4c32bdc35681",
  3059              "code" : "0x6003566001600055",
  3060              "data" : "0x",
  3061              "gas" : "0x2710",
  3062              "gasPrice" : "0x5af3107a4000",
  3063              "origin" : "cd1722f3947def4cf144679da39c4c32bdc35681",
  3064              "value" : "0x0de0b6b3a7640000"
  3065          },
  3066          "pre" : {
  3067              "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
  3068                  "balance" : "0x0de0b6b3a7640000",
  3069                  "code" : "0x6003566001600055",
  3070                  "nonce" : "0x00",
  3071                  "storage" : {
  3072                  }
  3073              }
  3074          }
  3075      },
  3076      "jumpToUint64maxPlus1" : {
  3077          "env" : {
  3078              "currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba",
  3079              "currentDifficulty" : "0x0100",
  3080              "currentGasLimit" : "0x0f4240",
  3081              "currentNumber" : "0x00",
  3082              "currentTimestamp" : "0x01",
  3083              "previousHash" : "5e20a0453cecd065ea59c37ac63e079ee08998b6045136a8ce6635c7912ec0b6"
  3084          },
  3085          "exec" : {
  3086              "address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
  3087              "caller" : "cd1722f3947def4cf144679da39c4c32bdc35681",
  3088              "code" : "0x6801000000000000000b565b5b6001600155",
  3089              "data" : "0x",
  3090              "gas" : "0x0186a0",
  3091              "gasPrice" : "0x5af3107a4000",
  3092              "origin" : "cd1722f3947def4cf144679da39c4c32bdc35681",
  3093              "value" : "0x0de0b6b3a7640000"
  3094          },
  3095          "expect" : {
  3096              "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
  3097                  "storage" : {
  3098                      "0x01" : "0x00"
  3099                  }
  3100              }
  3101          },
  3102          "pre" : {
  3103              "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
  3104                  "balance" : "0x152d02c7e14af6800000",
  3105                  "code" : "0x6801000000000000000b565b5b6001600155",
  3106                  "nonce" : "0x00",
  3107                  "storage" : {
  3108                  }
  3109              }
  3110          }
  3111      },
  3112      "jumpToUintmaxPlus1" : {
  3113          "env" : {
  3114              "currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba",
  3115              "currentDifficulty" : "0x0100",
  3116              "currentGasLimit" : "0x0f4240",
  3117              "currentNumber" : "0x00",
  3118              "currentTimestamp" : "0x01",
  3119              "previousHash" : "5e20a0453cecd065ea59c37ac63e079ee08998b6045136a8ce6635c7912ec0b6"
  3120          },
  3121          "exec" : {
  3122              "address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
  3123              "caller" : "cd1722f3947def4cf144679da39c4c32bdc35681",
  3124              "code" : "0x640100000007565b5b6001600155",
  3125              "data" : "0x",
  3126              "gas" : "0x0186a0",
  3127              "gasPrice" : "0x5af3107a4000",
  3128              "origin" : "cd1722f3947def4cf144679da39c4c32bdc35681",
  3129              "value" : "0x0de0b6b3a7640000"
  3130          },
  3131          "expect" : {
  3132              "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
  3133                  "storage" : {
  3134                      "0x01" : "0x00"
  3135                  }
  3136              }
  3137          },
  3138          "pre" : {
  3139              "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
  3140                  "balance" : "0x152d02c7e14af6800000",
  3141                  "code" : "0x640100000007565b5b6001600155",
  3142                  "nonce" : "0x00",
  3143                  "storage" : {
  3144                  }
  3145              }
  3146          }
  3147      },
  3148      "jumpdestBigList" : {
  3149          "callcreates" : [
  3150          ],
  3151          "env" : {
  3152              "currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba",
  3153              "currentDifficulty" : "0x0100",
  3154              "currentGasLimit" : "0x0f4240",
  3155              "currentNumber" : "0x00",
  3156              "currentTimestamp" : "0x01",
  3157              "previousHash" : "5e20a0453cecd065ea59c37ac63e079ee08998b6045136a8ce6635c7912ec0b6"
  3158          },
  3159          "exec" : {
  3160              "address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
  3161              "caller" : "cd1722f3947def4cf144679da39c4c32bdc35681",
  3162              "code" : "0x6009565b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b",
  3163              "data" : "0x",
  3164              "gas" : "0x05f5e100",
  3165              "gasPrice" : "0x5af3107a4000",
  3166              "origin" : "cd1722f3947def4cf144679da39c4c32bdc35681",
  3167              "value" : "0x0de0b6b3a7640000"
  3168          },
  3169          "gas" : "0x05f5e0a1",
  3170          "logs" : [
  3171          ],
  3172          "out" : "0x",
  3173          "post" : {
  3174              "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
  3175                  "balance" : "0x152d02c7e14af6800000",
  3176                  "code" : "0x6009565b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b",
  3177                  "nonce" : "0x00",
  3178                  "storage" : {
  3179                  }
  3180              }
  3181          },
  3182          "pre" : {
  3183              "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
  3184                  "balance" : "0x152d02c7e14af6800000",
  3185                  "code" : "0x6009565b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b",
  3186                  "nonce" : "0x00",
  3187                  "storage" : {
  3188                  }
  3189              }
  3190          }
  3191      },
  3192      "jumpi0" : {
  3193          "env" : {
  3194              "currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba",
  3195              "currentDifficulty" : "0x0100",
  3196              "currentGasLimit" : "0x0f4240",
  3197              "currentNumber" : "0x00",
  3198              "currentTimestamp" : "0x01",
  3199              "previousHash" : "5e20a0453cecd065ea59c37ac63e079ee08998b6045136a8ce6635c7912ec0b6"
  3200          },
  3201          "exec" : {
  3202              "address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
  3203              "caller" : "cd1722f3947def4cf144679da39c4c32bdc35681",
  3204              "code" : "0x602360016009576001600255",
  3205              "data" : "0x",
  3206              "gas" : "0x0186a0",
  3207              "gasPrice" : "0x5af3107a4000",
  3208              "origin" : "cd1722f3947def4cf144679da39c4c32bdc35681",
  3209              "value" : "0x0de0b6b3a7640000"
  3210          },
  3211          "pre" : {
  3212              "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
  3213                  "balance" : "0x152d02c7e14af6800000",
  3214                  "code" : "0x602360016009576001600255",
  3215                  "nonce" : "0x00",
  3216                  "storage" : {
  3217                  }
  3218              }
  3219          }
  3220      },
  3221      "jumpi1" : {
  3222          "callcreates" : [
  3223          ],
  3224          "env" : {
  3225              "currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba",
  3226              "currentDifficulty" : "0x0100",
  3227              "currentGasLimit" : "0x0f4240",
  3228              "currentNumber" : "0x00",
  3229              "currentTimestamp" : "0x01",
  3230              "previousHash" : "5e20a0453cecd065ea59c37ac63e079ee08998b6045136a8ce6635c7912ec0b6"
  3231          },
  3232          "exec" : {
  3233              "address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
  3234              "caller" : "cd1722f3947def4cf144679da39c4c32bdc35681",
  3235              "code" : "0x602360006009576001600255",
  3236              "data" : "0x",
  3237              "gas" : "0x0186a0",
  3238              "gasPrice" : "0x5af3107a4000",
  3239              "origin" : "cd1722f3947def4cf144679da39c4c32bdc35681",
  3240              "value" : "0x0de0b6b3a7640000"
  3241          },
  3242          "gas" : "0x013867",
  3243          "logs" : [
  3244          ],
  3245          "out" : "0x",
  3246          "post" : {
  3247              "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
  3248                  "balance" : "0x152d02c7e14af6800000",
  3249                  "code" : "0x602360006009576001600255",
  3250                  "nonce" : "0x00",
  3251                  "storage" : {
  3252                      "0x02" : "0x01"
  3253                  }
  3254              }
  3255          },
  3256          "pre" : {
  3257              "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
  3258                  "balance" : "0x152d02c7e14af6800000",
  3259                  "code" : "0x602360006009576001600255",
  3260                  "nonce" : "0x00",
  3261                  "storage" : {
  3262                  }
  3263              }
  3264          }
  3265      },
  3266      "jumpi1_jumpdest" : {
  3267          "env" : {
  3268              "currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba",
  3269              "currentDifficulty" : "0x0100",
  3270              "currentGasLimit" : "0x0f4240",
  3271              "currentNumber" : "0x00",
  3272              "currentTimestamp" : "0x01",
  3273              "previousHash" : "5e20a0453cecd065ea59c37ac63e079ee08998b6045136a8ce6635c7912ec0b6"
  3274          },
  3275          "exec" : {
  3276              "address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
  3277              "caller" : "cd1722f3947def4cf144679da39c4c32bdc35681",
  3278              "code" : "0x60236001600a5760015b600255",
  3279              "data" : "0x",
  3280              "gas" : "0x0186a0",
  3281              "gasPrice" : "0x5af3107a4000",
  3282              "origin" : "cd1722f3947def4cf144679da39c4c32bdc35681",
  3283              "value" : "0x0de0b6b3a7640000"
  3284          },
  3285          "pre" : {
  3286              "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
  3287                  "balance" : "0x152d02c7e14af6800000",
  3288                  "code" : "0x60236001600a5760015b600255",
  3289                  "nonce" : "0x00",
  3290                  "storage" : {
  3291                  }
  3292              }
  3293          }
  3294      },
  3295      "jumpiAfterStop" : {
  3296          "callcreates" : [
  3297          ],
  3298          "env" : {
  3299              "currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba",
  3300              "currentDifficulty" : "0x0100",
  3301              "currentGasLimit" : "0x0f4240",
  3302              "currentNumber" : "0x00",
  3303              "currentTimestamp" : "0x01",
  3304              "previousHash" : "5e20a0453cecd065ea59c37ac63e079ee08998b6045136a8ce6635c7912ec0b6"
  3305          },
  3306          "exec" : {
  3307              "address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
  3308              "caller" : "cd1722f3947def4cf144679da39c4c32bdc35681",
  3309              "code" : "0x60016008570060015b6002600355",
  3310              "data" : "0x",
  3311              "gas" : "0x0186a0",
  3312              "gasPrice" : "0x5af3107a4000",
  3313              "origin" : "cd1722f3947def4cf144679da39c4c32bdc35681",
  3314              "value" : "0x0de0b6b3a7640000"
  3315          },
  3316          "gas" : "0x013869",
  3317          "logs" : [
  3318          ],
  3319          "out" : "0x",
  3320          "post" : {
  3321              "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
  3322                  "balance" : "0x152d02c7e14af6800000",
  3323                  "code" : "0x60016008570060015b6002600355",
  3324                  "nonce" : "0x00",
  3325                  "storage" : {
  3326                      "0x03" : "0x02"
  3327                  }
  3328              }
  3329          },
  3330          "pre" : {
  3331              "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
  3332                  "balance" : "0x152d02c7e14af6800000",
  3333                  "code" : "0x60016008570060015b6002600355",
  3334                  "nonce" : "0x00",
  3335                  "storage" : {
  3336                  }
  3337              }
  3338          }
  3339      },
  3340      "jumpiOutsideBoundary" : {
  3341          "env" : {
  3342              "currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba",
  3343              "currentDifficulty" : "0x0100",
  3344              "currentGasLimit" : "0x0f4240",
  3345              "currentNumber" : "0x00",
  3346              "currentTimestamp" : "0x01",
  3347              "previousHash" : "5e20a0453cecd065ea59c37ac63e079ee08998b6045136a8ce6635c7912ec0b6"
  3348          },
  3349          "exec" : {
  3350              "address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
  3351              "caller" : "cd1722f3947def4cf144679da39c4c32bdc35681",
  3352              "code" : "0x60017fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff576002600355",
  3353              "data" : "0x",
  3354              "gas" : "0x0186a0",
  3355              "gasPrice" : "0x5af3107a4000",
  3356              "origin" : "cd1722f3947def4cf144679da39c4c32bdc35681",
  3357              "value" : "0x0de0b6b3a7640000"
  3358          },
  3359          "pre" : {
  3360              "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
  3361                  "balance" : "0x152d02c7e14af6800000",
  3362                  "code" : "0x60017fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff576002600355",
  3363                  "nonce" : "0x00",
  3364                  "storage" : {
  3365                  }
  3366              }
  3367          }
  3368      },
  3369      "jumpiToUint64maxPlus1" : {
  3370          "env" : {
  3371              "currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba",
  3372              "currentDifficulty" : "0x0100",
  3373              "currentGasLimit" : "0x0f4240",
  3374              "currentNumber" : "0x00",
  3375              "currentTimestamp" : "0x01",
  3376              "previousHash" : "5e20a0453cecd065ea59c37ac63e079ee08998b6045136a8ce6635c7912ec0b6"
  3377          },
  3378          "exec" : {
  3379              "address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
  3380              "caller" : "cd1722f3947def4cf144679da39c4c32bdc35681",
  3381              "code" : "0x60016801000000000000000d575b5b6001600155",
  3382              "data" : "0x",
  3383              "gas" : "0x0186a0",
  3384              "gasPrice" : "0x5af3107a4000",
  3385              "origin" : "cd1722f3947def4cf144679da39c4c32bdc35681",
  3386              "value" : "0x0de0b6b3a7640000"
  3387          },
  3388          "expect" : {
  3389              "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
  3390                  "storage" : {
  3391                      "0x01" : "0x00"
  3392                  }
  3393              }
  3394          },
  3395          "pre" : {
  3396              "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
  3397                  "balance" : "0x152d02c7e14af6800000",
  3398                  "code" : "0x60016801000000000000000d575b5b6001600155",
  3399                  "nonce" : "0x00",
  3400                  "storage" : {
  3401                  }
  3402              }
  3403          }
  3404      },
  3405      "jumpiToUintmaxPlus1" : {
  3406          "env" : {
  3407              "currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba",
  3408              "currentDifficulty" : "0x0100",
  3409              "currentGasLimit" : "0x0f4240",
  3410              "currentNumber" : "0x00",
  3411              "currentTimestamp" : "0x01",
  3412              "previousHash" : "5e20a0453cecd065ea59c37ac63e079ee08998b6045136a8ce6635c7912ec0b6"
  3413          },
  3414          "exec" : {
  3415              "address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
  3416              "caller" : "cd1722f3947def4cf144679da39c4c32bdc35681",
  3417              "code" : "0x6001640100000009575b5b6001600155",
  3418              "data" : "0x",
  3419              "gas" : "0x0186a0",
  3420              "gasPrice" : "0x5af3107a4000",
  3421              "origin" : "cd1722f3947def4cf144679da39c4c32bdc35681",
  3422              "value" : "0x0de0b6b3a7640000"
  3423          },
  3424          "expect" : {
  3425              "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
  3426                  "storage" : {
  3427                      "0x01" : "0x00"
  3428                  }
  3429              }
  3430          },
  3431          "pre" : {
  3432              "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
  3433                  "balance" : "0x152d02c7e14af6800000",
  3434                  "code" : "0x6001640100000009575b5b6001600155",
  3435                  "nonce" : "0x00",
  3436                  "storage" : {
  3437                  }
  3438              }
  3439          }
  3440      },
  3441      "jumpi_at_the_end" : {
  3442          "callcreates" : [
  3443          ],
  3444          "env" : {
  3445              "currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba",
  3446              "currentDifficulty" : "0x0100",
  3447              "currentGasLimit" : "0x989680",
  3448              "currentNumber" : "0x00",
  3449              "currentTimestamp" : "0x01",
  3450              "previousHash" : "5e20a0453cecd065ea59c37ac63e079ee08998b6045136a8ce6635c7912ec0b6"
  3451          },
  3452          "exec" : {
  3453              "address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
  3454              "caller" : "cd1722f3947def4cf144679da39c4c32bdc35681",
  3455              "code" : "0x600a6000525b6000516001900380600052600557",
  3456              "data" : "0x",
  3457              "gas" : "0x03e8",
  3458              "gasPrice" : "0x5af3107a4000",
  3459              "origin" : "cd1722f3947def4cf144679da39c4c32bdc35681",
  3460              "value" : "0x0de0b6b3a7640000"
  3461          },
  3462          "gas" : "0x0260",
  3463          "logs" : [
  3464          ],
  3465          "out" : "0x",
  3466          "post" : {
  3467              "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
  3468                  "balance" : "0x152d02c7e14af6800000",
  3469                  "code" : "0x600a6000525b6000516001900380600052600557",
  3470                  "nonce" : "0x00",
  3471                  "storage" : {
  3472                  }
  3473              }
  3474          },
  3475          "pre" : {
  3476              "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
  3477                  "balance" : "0x152d02c7e14af6800000",
  3478                  "code" : "0x600a6000525b6000516001900380600052600557",
  3479                  "nonce" : "0x00",
  3480                  "storage" : {
  3481                  }
  3482              }
  3483          }
  3484      },
  3485      "jumpifInsidePushWithJumpDest" : {
  3486          "env" : {
  3487              "currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba",
  3488              "currentDifficulty" : "0x0100",
  3489              "currentGasLimit" : "0x0f4240",
  3490              "currentNumber" : "0x00",
  3491              "currentTimestamp" : "0x01",
  3492              "previousHash" : "5e20a0453cecd065ea59c37ac63e079ee08998b6045136a8ce6635c7912ec0b6"
  3493          },
  3494          "exec" : {
  3495              "address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
  3496              "caller" : "cd1722f3947def4cf144679da39c4c32bdc35681",
  3497              "code" : "0x6001600657655b6001600155",
  3498              "data" : "0x",
  3499              "gas" : "0x0186a0",
  3500              "gasPrice" : "0x5af3107a4000",
  3501              "origin" : "cd1722f3947def4cf144679da39c4c32bdc35681",
  3502              "value" : "0x0de0b6b3a7640000"
  3503          },
  3504          "pre" : {
  3505              "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
  3506                  "balance" : "0x152d02c7e14af6800000",
  3507                  "code" : "0x6001600657655b6001600155",
  3508                  "nonce" : "0x00",
  3509                  "storage" : {
  3510                  }
  3511              }
  3512          }
  3513      },
  3514      "jumpifInsidePushWithoutJumpDest" : {
  3515          "env" : {
  3516              "currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba",
  3517              "currentDifficulty" : "0x0100",
  3518              "currentGasLimit" : "0x0f4240",
  3519              "currentNumber" : "0x00",
  3520              "currentTimestamp" : "0x01",
  3521              "previousHash" : "5e20a0453cecd065ea59c37ac63e079ee08998b6045136a8ce6635c7912ec0b6"
  3522          },
  3523          "exec" : {
  3524              "address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
  3525              "caller" : "cd1722f3947def4cf144679da39c4c32bdc35681",
  3526              "code" : "0x600160075761eeff",
  3527              "data" : "0x",
  3528              "gas" : "0x0186a0",
  3529              "gasPrice" : "0x5af3107a4000",
  3530              "origin" : "cd1722f3947def4cf144679da39c4c32bdc35681",
  3531              "value" : "0x0de0b6b3a7640000"
  3532          },
  3533          "pre" : {
  3534              "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
  3535                  "balance" : "0x152d02c7e14af6800000",
  3536                  "code" : "0x600160075761eeff",
  3537                  "nonce" : "0x00",
  3538                  "storage" : {
  3539                  }
  3540              }
  3541          }
  3542      },
  3543      "kv1" : {
  3544          "callcreates" : [
  3545          ],
  3546          "env" : {
  3547              "currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba",
  3548              "currentDifficulty" : "0x0100",
  3549              "currentGasLimit" : "0x0f4240",
  3550              "currentNumber" : "0x00",
  3551              "currentTimestamp" : "0x01",
  3552              "previousHash" : "5e20a0453cecd065ea59c37ac63e079ee08998b6045136a8ce6635c7912ec0b6"
  3553          },
  3554          "exec" : {
  3555              "address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
  3556              "caller" : "cd1722f3947def4cf144679da39c4c32bdc35681",
  3557              "code" : "0x33604555602d8060106000396000f300604554331415602c575b366080511015602b576020608051013560805135556040608051016080526009565b5b",
  3558              "data" : "0x",
  3559              "gas" : "0x0186a0",
  3560              "gasPrice" : "0x5af3107a4000",
  3561              "origin" : "cd1722f3947def4cf144679da39c4c32bdc35681",
  3562              "value" : "0x0de0b6b3a7640000"
  3563          },
  3564          "gas" : "0x01385d",
  3565          "logs" : [
  3566          ],
  3567          "out" : "0x604554331415602c575b366080511015602b576020608051013560805135556040608051016080526009565b5b",
  3568          "post" : {
  3569              "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
  3570                  "balance" : "0x152d02c7e14af6800000",
  3571                  "code" : "0x33604555602d8060106000396000f300604554331415602c575b366080511015602b576020608051013560805135556040608051016080526009565b5b",
  3572                  "nonce" : "0x00",
  3573                  "storage" : {
  3574                      "0x45" : "0xcd1722f3947def4cf144679da39c4c32bdc35681"
  3575                  }
  3576              }
  3577          },
  3578          "pre" : {
  3579              "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
  3580                  "balance" : "0x152d02c7e14af6800000",
  3581                  "code" : "0x33604555602d8060106000396000f300604554331415602c575b366080511015602b576020608051013560805135556040608051016080526009565b5b",
  3582                  "nonce" : "0x00",
  3583                  "storage" : {
  3584                  }
  3585              }
  3586          }
  3587      },
  3588      "log1MemExp" : {
  3589          "env" : {
  3590              "currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba",
  3591              "currentDifficulty" : "0x0100",
  3592              "currentGasLimit" : "0x01f4153d80",
  3593              "currentNumber" : "0x00",
  3594              "currentTimestamp" : "0x01",
  3595              "previousHash" : "5e20a0453cecd065ea59c37ac63e079ee08998b6045136a8ce6635c7912ec0b6"
  3596          },
  3597          "exec" : {
  3598              "address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
  3599              "caller" : "cd1722f3947def4cf144679da39c4c32bdc35681",
  3600              "code" : "0x60ff60ff630fffffffa1",
  3601              "data" : "0x",
  3602              "gas" : "0x01f4153d80",
  3603              "gasPrice" : "0x01",
  3604              "origin" : "cd1722f3947def4cf144679da39c4c32bdc35681",
  3605              "value" : "0x0de0b6b3a7640000"
  3606          },
  3607          "pre" : {
  3608              "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
  3609                  "balance" : "0x152d02c7e14af6800000",
  3610                  "code" : "0x60ff60ff630fffffffa1",
  3611                  "nonce" : "0x00",
  3612                  "storage" : {
  3613                  }
  3614              }
  3615          }
  3616      },
  3617      "memory1" : {
  3618          "callcreates" : [
  3619          ],
  3620          "env" : {
  3621              "currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba",
  3622              "currentDifficulty" : "0x0100",
  3623              "currentGasLimit" : "0x0f4240",
  3624              "currentNumber" : "0x00",
  3625              "currentTimestamp" : "0x01",
  3626              "previousHash" : "5e20a0453cecd065ea59c37ac63e079ee08998b6045136a8ce6635c7912ec0b6"
  3627          },
  3628          "exec" : {
  3629              "address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
  3630              "caller" : "cd1722f3947def4cf144679da39c4c32bdc35681",
  3631              "code" : "0x600260005360036001536000516001510160025260406000f3",
  3632              "data" : "0x",
  3633              "gas" : "0x0186a0",
  3634              "gasPrice" : "0x5af3107a4000",
  3635              "origin" : "cd1722f3947def4cf144679da39c4c32bdc35681",
  3636              "value" : "0x0de0b6b3a7640000"
  3637          },
  3638          "gas" : "0x01866d",
  3639          "logs" : [
  3640          ],
  3641          "out" : "0x02030503000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
  3642          "post" : {
  3643              "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
  3644                  "balance" : "0x152d02c7e14af6800000",
  3645                  "code" : "0x600260005360036001536000516001510160025260406000f3",
  3646                  "nonce" : "0x00",
  3647                  "storage" : {
  3648                  }
  3649              }
  3650          },
  3651          "pre" : {
  3652              "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
  3653                  "balance" : "0x152d02c7e14af6800000",
  3654                  "code" : "0x600260005360036001536000516001510160025260406000f3",
  3655                  "nonce" : "0x00",
  3656                  "storage" : {
  3657                  }
  3658              }
  3659          }
  3660      },
  3661      "mloadError0" : {
  3662          "callcreates" : [
  3663          ],
  3664          "env" : {
  3665              "currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba",
  3666              "currentDifficulty" : "0x0100",
  3667              "currentGasLimit" : "0x0f4240",
  3668              "currentNumber" : "0x00",
  3669              "currentTimestamp" : "0x01",
  3670              "previousHash" : "5e20a0453cecd065ea59c37ac63e079ee08998b6045136a8ce6635c7912ec0b6"
  3671          },
  3672          "exec" : {
  3673              "address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
  3674              "caller" : "cd1722f3947def4cf144679da39c4c32bdc35681",
  3675              "code" : "0x600051600055",
  3676              "data" : "0x",
  3677              "gas" : "0x0186a0",
  3678              "gasPrice" : "0x5af3107a4000",
  3679              "origin" : "cd1722f3947def4cf144679da39c4c32bdc35681",
  3680              "value" : "0x0de0b6b3a7640000"
  3681          },
  3682          "gas" : "0x01730c",
  3683          "logs" : [
  3684          ],
  3685          "out" : "0x",
  3686          "post" : {
  3687              "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
  3688                  "balance" : "0x152d02c7e14af6800000",
  3689                  "code" : "0x600051600055",
  3690                  "nonce" : "0x00",
  3691                  "storage" : {
  3692                  }
  3693              }
  3694          },
  3695          "pre" : {
  3696              "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
  3697                  "balance" : "0x152d02c7e14af6800000",
  3698                  "code" : "0x600051600055",
  3699                  "nonce" : "0x00",
  3700                  "storage" : {
  3701                  }
  3702              }
  3703          }
  3704      },
  3705      "mloadError1" : {
  3706          "callcreates" : [
  3707          ],
  3708          "env" : {
  3709              "currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba",
  3710              "currentDifficulty" : "0x0100",
  3711              "currentGasLimit" : "0x0f4240",
  3712              "currentNumber" : "0x00",
  3713              "currentTimestamp" : "0x01",
  3714              "previousHash" : "5e20a0453cecd065ea59c37ac63e079ee08998b6045136a8ce6635c7912ec0b6"
  3715          },
  3716          "exec" : {
  3717              "address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
  3718              "caller" : "cd1722f3947def4cf144679da39c4c32bdc35681",
  3719              "code" : "0x6017600152600051600155",
  3720              "data" : "0x",
  3721              "gas" : "0x0186a0",
  3722              "gasPrice" : "0x5af3107a4000",
  3723              "origin" : "cd1722f3947def4cf144679da39c4c32bdc35681",
  3724              "value" : "0x0de0b6b3a7640000"
  3725          },
  3726          "gas" : "0x017300",
  3727          "logs" : [
  3728          ],
  3729          "out" : "0x",
  3730          "post" : {
  3731              "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
  3732                  "balance" : "0x152d02c7e14af6800000",
  3733                  "code" : "0x6017600152600051600155",
  3734                  "nonce" : "0x00",
  3735                  "storage" : {
  3736                  }
  3737              }
  3738          },
  3739          "pre" : {
  3740              "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
  3741                  "balance" : "0x152d02c7e14af6800000",
  3742                  "code" : "0x6017600152600051600155",
  3743                  "nonce" : "0x00",
  3744                  "storage" : {
  3745                  }
  3746              }
  3747          }
  3748      },
  3749      "mloadMemExp" : {
  3750          "env" : {
  3751              "currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba",
  3752              "currentDifficulty" : "0x0100",
  3753              "currentGasLimit" : "0x01f4153d80",
  3754              "currentNumber" : "0x00",
  3755              "currentTimestamp" : "0x01",
  3756              "previousHash" : "5e20a0453cecd065ea59c37ac63e079ee08998b6045136a8ce6635c7912ec0b6"
  3757          },
  3758          "exec" : {
  3759              "address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
  3760              "caller" : "cd1722f3947def4cf144679da39c4c32bdc35681",
  3761              "code" : "0x630fffffff51",
  3762              "data" : "0x",
  3763              "gas" : "0x800570",
  3764              "gasPrice" : "0x01",
  3765              "origin" : "cd1722f3947def4cf144679da39c4c32bdc35681",
  3766              "value" : "0x0de0b6b3a7640000"
  3767          },
  3768          "pre" : {
  3769              "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
  3770                  "balance" : "0x152d02c7e14af6800000",
  3771                  "code" : "0x630fffffff51",
  3772                  "nonce" : "0x00",
  3773                  "storage" : {
  3774                  }
  3775              }
  3776          }
  3777      },
  3778      "mloadOutOfGasError2" : {
  3779          "env" : {
  3780              "currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba",
  3781              "currentDifficulty" : "0x0100",
  3782              "currentGasLimit" : "0x0f4240",
  3783              "currentNumber" : "0x00",
  3784              "currentTimestamp" : "0x01",
  3785              "previousHash" : "5e20a0453cecd065ea59c37ac63e079ee08998b6045136a8ce6635c7912ec0b6"
  3786          },
  3787          "exec" : {
  3788              "address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
  3789              "caller" : "cd1722f3947def4cf144679da39c4c32bdc35681",
  3790              "code" : "0x6272482551600155",
  3791              "data" : "0x",
  3792              "gas" : "0x0186a0",
  3793              "gasPrice" : "0x5af3107a4000",
  3794              "origin" : "cd1722f3947def4cf144679da39c4c32bdc35681",
  3795              "value" : "0x0de0b6b3a7640000"
  3796          },
  3797          "pre" : {
  3798              "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
  3799                  "balance" : "0x152d02c7e14af6800000",
  3800                  "code" : "0x6272482551600155",
  3801                  "nonce" : "0x00",
  3802                  "storage" : {
  3803                  }
  3804              }
  3805          }
  3806      },
  3807      "msize0" : {
  3808          "callcreates" : [
  3809          ],
  3810          "env" : {
  3811              "currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba",
  3812              "currentDifficulty" : "0x0100",
  3813              "currentGasLimit" : "0x0f4240",
  3814              "currentNumber" : "0x00",
  3815              "currentTimestamp" : "0x01",
  3816              "previousHash" : "5e20a0453cecd065ea59c37ac63e079ee08998b6045136a8ce6635c7912ec0b6"
  3817          },
  3818          "exec" : {
  3819              "address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
  3820              "caller" : "cd1722f3947def4cf144679da39c4c32bdc35681",
  3821              "code" : "0x60ff60005259600055",
  3822              "data" : "0x",
  3823              "gas" : "0x0186a0",
  3824              "gasPrice" : "0x5af3107a4000",
  3825              "origin" : "cd1722f3947def4cf144679da39c4c32bdc35681",
  3826              "value" : "0x0de0b6b3a7640000"
  3827          },
  3828          "gas" : "0x01386f",
  3829          "logs" : [
  3830          ],
  3831          "out" : "0x",
  3832          "post" : {
  3833              "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
  3834                  "balance" : "0x152d02c7e14af6800000",
  3835                  "code" : "0x60ff60005259600055",
  3836                  "nonce" : "0x00",
  3837                  "storage" : {
  3838                      "0x00" : "0x20"
  3839                  }
  3840              }
  3841          },
  3842          "pre" : {
  3843              "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
  3844                  "balance" : "0x152d02c7e14af6800000",
  3845                  "code" : "0x60ff60005259600055",
  3846                  "nonce" : "0x00",
  3847                  "storage" : {
  3848                  }
  3849              }
  3850          }
  3851      },
  3852      "msize1" : {
  3853          "callcreates" : [
  3854          ],
  3855          "env" : {
  3856              "currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba",
  3857              "currentDifficulty" : "0x0100",
  3858              "currentGasLimit" : "0x0f4240",
  3859              "currentNumber" : "0x00",
  3860              "currentTimestamp" : "0x01",
  3861              "previousHash" : "5e20a0453cecd065ea59c37ac63e079ee08998b6045136a8ce6635c7912ec0b6"
  3862          },
  3863          "exec" : {
  3864              "address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
  3865              "caller" : "cd1722f3947def4cf144679da39c4c32bdc35681",
  3866              "code" : "0x64ffffffffff60005259600055",
  3867              "data" : "0x",
  3868              "gas" : "0x0186a0",
  3869              "gasPrice" : "0x5af3107a4000",
  3870              "origin" : "cd1722f3947def4cf144679da39c4c32bdc35681",
  3871              "value" : "0x0de0b6b3a7640000"
  3872          },
  3873          "gas" : "0x01386f",
  3874          "logs" : [
  3875          ],
  3876          "out" : "0x",
  3877          "post" : {
  3878              "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
  3879                  "balance" : "0x152d02c7e14af6800000",
  3880                  "code" : "0x64ffffffffff60005259600055",
  3881                  "nonce" : "0x00",
  3882                  "storage" : {
  3883                      "0x00" : "0x20"
  3884                  }
  3885              }
  3886          },
  3887          "pre" : {
  3888              "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
  3889                  "balance" : "0x152d02c7e14af6800000",
  3890                  "code" : "0x64ffffffffff60005259600055",
  3891                  "nonce" : "0x00",
  3892                  "storage" : {
  3893                  }
  3894              }
  3895          }
  3896      },
  3897      "msize2" : {
  3898          "callcreates" : [
  3899          ],
  3900          "env" : {
  3901              "currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba",
  3902              "currentDifficulty" : "0x0100",
  3903              "currentGasLimit" : "0x0f4240",
  3904              "currentNumber" : "0x00",
  3905              "currentTimestamp" : "0x01",
  3906              "previousHash" : "5e20a0453cecd065ea59c37ac63e079ee08998b6045136a8ce6635c7912ec0b6"
  3907          },
  3908          "exec" : {
  3909              "address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
  3910              "caller" : "cd1722f3947def4cf144679da39c4c32bdc35681",
  3911              "code" : "0x64ffffffffff60005261eeee60205259600055",
  3912              "data" : "0x",
  3913              "gas" : "0x0186a0",
  3914              "gasPrice" : "0x5af3107a4000",
  3915              "origin" : "cd1722f3947def4cf144679da39c4c32bdc35681",
  3916              "value" : "0x0de0b6b3a7640000"
  3917          },
  3918          "gas" : "0x013863",
  3919          "logs" : [
  3920          ],
  3921          "out" : "0x",
  3922          "post" : {
  3923              "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
  3924                  "balance" : "0x152d02c7e14af6800000",
  3925                  "code" : "0x64ffffffffff60005261eeee60205259600055",
  3926                  "nonce" : "0x00",
  3927                  "storage" : {
  3928                      "0x00" : "0x40"
  3929                  }
  3930              }
  3931          },
  3932          "pre" : {
  3933              "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
  3934                  "balance" : "0x152d02c7e14af6800000",
  3935                  "code" : "0x64ffffffffff60005261eeee60205259600055",
  3936                  "nonce" : "0x00",
  3937                  "storage" : {
  3938                  }
  3939              }
  3940          }
  3941      },
  3942      "msize3" : {
  3943          "callcreates" : [
  3944          ],
  3945          "env" : {
  3946              "currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba",
  3947              "currentDifficulty" : "0x0100",
  3948              "currentGasLimit" : "0x0f4240",
  3949              "currentNumber" : "0x00",
  3950              "currentTimestamp" : "0x01",
  3951              "previousHash" : "5e20a0453cecd065ea59c37ac63e079ee08998b6045136a8ce6635c7912ec0b6"
  3952          },
  3953          "exec" : {
  3954              "address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
  3955              "caller" : "cd1722f3947def4cf144679da39c4c32bdc35681",
  3956              "code" : "0x64ffffffffff60005261eeee605a5259600055",
  3957              "data" : "0x",
  3958              "gas" : "0x0186a0",
  3959              "gasPrice" : "0x5af3107a4000",
  3960              "origin" : "cd1722f3947def4cf144679da39c4c32bdc35681",
  3961              "value" : "0x0de0b6b3a7640000"
  3962          },
  3963          "gas" : "0x01385d",
  3964          "logs" : [
  3965          ],
  3966          "out" : "0x",
  3967          "post" : {
  3968              "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
  3969                  "balance" : "0x152d02c7e14af6800000",
  3970                  "code" : "0x64ffffffffff60005261eeee605a5259600055",
  3971                  "nonce" : "0x00",
  3972                  "storage" : {
  3973                      "0x00" : "0x80"
  3974                  }
  3975              }
  3976          },
  3977          "pre" : {
  3978              "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
  3979                  "balance" : "0x152d02c7e14af6800000",
  3980                  "code" : "0x64ffffffffff60005261eeee605a5259600055",
  3981                  "nonce" : "0x00",
  3982                  "storage" : {
  3983                  }
  3984              }
  3985          }
  3986      },
  3987      "mstore0" : {
  3988          "callcreates" : [
  3989          ],
  3990          "env" : {
  3991              "currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba",
  3992              "currentDifficulty" : "0x0100",
  3993              "currentGasLimit" : "0x0f4240",
  3994              "currentNumber" : "0x00",
  3995              "currentTimestamp" : "0x01",
  3996              "previousHash" : "5e20a0453cecd065ea59c37ac63e079ee08998b6045136a8ce6635c7912ec0b6"
  3997          },
  3998          "exec" : {
  3999              "address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
  4000              "caller" : "cd1722f3947def4cf144679da39c4c32bdc35681",
  4001              "code" : "0x7fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff600152600151600155",
  4002              "data" : "0x",
  4003              "gas" : "0x0186a0",
  4004              "gasPrice" : "0x5af3107a4000",
  4005              "origin" : "cd1722f3947def4cf144679da39c4c32bdc35681",
  4006              "value" : "0x0de0b6b3a7640000"
  4007          },
  4008          "gas" : "0x013868",
  4009          "logs" : [
  4010          ],
  4011          "out" : "0x",
  4012          "post" : {
  4013              "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
  4014                  "balance" : "0x152d02c7e14af6800000",
  4015                  "code" : "0x7fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff600152600151600155",
  4016                  "nonce" : "0x00",
  4017                  "storage" : {
  4018                      "0x01" : "0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff"
  4019                  }
  4020              }
  4021          },
  4022          "pre" : {
  4023              "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
  4024                  "balance" : "0x152d02c7e14af6800000",
  4025                  "code" : "0x7fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff600152600151600155",
  4026                  "nonce" : "0x00",
  4027                  "storage" : {
  4028                  }
  4029              }
  4030          }
  4031      },
  4032      "mstore1" : {
  4033          "callcreates" : [
  4034          ],
  4035          "env" : {
  4036              "currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba",
  4037              "currentDifficulty" : "0x0100",
  4038              "currentGasLimit" : "0x0f4240",
  4039              "currentNumber" : "0x00",
  4040              "currentTimestamp" : "0x01",
  4041              "previousHash" : "5e20a0453cecd065ea59c37ac63e079ee08998b6045136a8ce6635c7912ec0b6"
  4042          },
  4043          "exec" : {
  4044              "address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
  4045              "caller" : "cd1722f3947def4cf144679da39c4c32bdc35681",
  4046              "code" : "0x7fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff600201600152600151600155",
  4047              "data" : "0x",
  4048              "gas" : "0x0186a0",
  4049              "gasPrice" : "0x5af3107a4000",
  4050              "origin" : "cd1722f3947def4cf144679da39c4c32bdc35681",
  4051              "value" : "0x0de0b6b3a7640000"
  4052          },
  4053          "gas" : "0x013862",
  4054          "logs" : [
  4055          ],
  4056          "out" : "0x",
  4057          "post" : {
  4058              "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
  4059                  "balance" : "0x152d02c7e14af6800000",
  4060                  "code" : "0x7fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff600201600152600151600155",
  4061                  "nonce" : "0x00",
  4062                  "storage" : {
  4063                      "0x01" : "0x01"
  4064                  }
  4065              }
  4066          },
  4067          "pre" : {
  4068              "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
  4069                  "balance" : "0x152d02c7e14af6800000",
  4070                  "code" : "0x7fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff600201600152600151600155",
  4071                  "nonce" : "0x00",
  4072                  "storage" : {
  4073                  }
  4074              }
  4075          }
  4076      },
  4077      "mstore8MemExp" : {
  4078          "env" : {
  4079              "currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba",
  4080              "currentDifficulty" : "0x0100",
  4081              "currentGasLimit" : "0x01f4153d80",
  4082              "currentNumber" : "0x00",
  4083              "currentTimestamp" : "0x01",
  4084              "previousHash" : "5e20a0453cecd065ea59c37ac63e079ee08998b6045136a8ce6635c7912ec0b6"
  4085          },
  4086          "exec" : {
  4087              "address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
  4088              "caller" : "cd1722f3947def4cf144679da39c4c32bdc35681",
  4089              "code" : "0x60f1630fffffff53",
  4090              "data" : "0x",
  4091              "gas" : "0x800570",
  4092              "gasPrice" : "0x01",
  4093              "origin" : "cd1722f3947def4cf144679da39c4c32bdc35681",
  4094              "value" : "0x0de0b6b3a7640000"
  4095          },
  4096          "pre" : {
  4097              "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
  4098                  "balance" : "0x152d02c7e14af6800000",
  4099                  "code" : "0x60f1630fffffff53",
  4100                  "nonce" : "0x00",
  4101                  "storage" : {
  4102                  }
  4103              }
  4104          }
  4105      },
  4106      "mstore8WordToBigError" : {
  4107          "callcreates" : [
  4108          ],
  4109          "env" : {
  4110              "currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba",
  4111              "currentDifficulty" : "0x0100",
  4112              "currentGasLimit" : "0x0f4240",
  4113              "currentNumber" : "0x00",
  4114              "currentTimestamp" : "0x01",
  4115              "previousHash" : "5e20a0453cecd065ea59c37ac63e079ee08998b6045136a8ce6635c7912ec0b6"
  4116          },
  4117          "exec" : {
  4118              "address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
  4119              "caller" : "cd1722f3947def4cf144679da39c4c32bdc35681",
  4120              "code" : "0x",
  4121              "data" : "0x",
  4122              "gas" : "0x0186a0",
  4123              "gasPrice" : "0x5af3107a4000",
  4124              "origin" : "cd1722f3947def4cf144679da39c4c32bdc35681",
  4125              "value" : "0x0de0b6b3a7640000"
  4126          },
  4127          "gas" : "0x0186a0",
  4128          "logs" : [
  4129          ],
  4130          "out" : "0x",
  4131          "post" : {
  4132              "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
  4133                  "balance" : "0x152d02c7e14af6800000",
  4134                  "code" : "0x",
  4135                  "nonce" : "0x00",
  4136                  "storage" : {
  4137                  }
  4138              }
  4139          },
  4140          "pre" : {
  4141              "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
  4142                  "balance" : "0x152d02c7e14af6800000",
  4143                  "code" : "0x",
  4144                  "nonce" : "0x00",
  4145                  "storage" : {
  4146                  }
  4147              }
  4148          }
  4149      },
  4150      "mstore8_0" : {
  4151          "callcreates" : [
  4152          ],
  4153          "env" : {
  4154              "currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba",
  4155              "currentDifficulty" : "0x0100",
  4156              "currentGasLimit" : "0x0f4240",
  4157              "currentNumber" : "0x00",
  4158              "currentTimestamp" : "0x01",
  4159              "previousHash" : "5e20a0453cecd065ea59c37ac63e079ee08998b6045136a8ce6635c7912ec0b6"
  4160          },
  4161          "exec" : {
  4162              "address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
  4163              "caller" : "cd1722f3947def4cf144679da39c4c32bdc35681",
  4164              "code" : "0x7fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff600153600151600155",
  4165              "data" : "0x",
  4166              "gas" : "0x0186a0",
  4167              "gasPrice" : "0x5af3107a4000",
  4168              "origin" : "cd1722f3947def4cf144679da39c4c32bdc35681",
  4169              "value" : "0x0de0b6b3a7640000"
  4170          },
  4171          "gas" : "0x013868",
  4172          "logs" : [
  4173          ],
  4174          "out" : "0x",
  4175          "post" : {
  4176              "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
  4177                  "balance" : "0x152d02c7e14af6800000",
  4178                  "code" : "0x7fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff600153600151600155",
  4179                  "nonce" : "0x00",
  4180                  "storage" : {
  4181                      "0x01" : "0xff00000000000000000000000000000000000000000000000000000000000000"
  4182                  }
  4183              }
  4184          },
  4185          "pre" : {
  4186              "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
  4187                  "balance" : "0x152d02c7e14af6800000",
  4188                  "code" : "0x7fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff600153600151600155",
  4189                  "nonce" : "0x00",
  4190                  "storage" : {
  4191                  }
  4192              }
  4193          }
  4194      },
  4195      "mstore8_1" : {
  4196          "callcreates" : [
  4197          ],
  4198          "env" : {
  4199              "currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba",
  4200              "currentDifficulty" : "0x0100",
  4201              "currentGasLimit" : "0x0f4240",
  4202              "currentNumber" : "0x00",
  4203              "currentTimestamp" : "0x01",
  4204              "previousHash" : "5e20a0453cecd065ea59c37ac63e079ee08998b6045136a8ce6635c7912ec0b6"
  4205          },
  4206          "exec" : {
  4207              "address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
  4208              "caller" : "cd1722f3947def4cf144679da39c4c32bdc35681",
  4209              "code" : "0x60ff60015360ee600253600051600155",
  4210              "data" : "0x",
  4211              "gas" : "0x0186a0",
  4212              "gasPrice" : "0x5af3107a4000",
  4213              "origin" : "cd1722f3947def4cf144679da39c4c32bdc35681",
  4214              "value" : "0x0de0b6b3a7640000"
  4215          },
  4216          "gas" : "0x013862",
  4217          "logs" : [
  4218          ],
  4219          "out" : "0x",
  4220          "post" : {
  4221              "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
  4222                  "balance" : "0x152d02c7e14af6800000",
  4223                  "code" : "0x60ff60015360ee600253600051600155",
  4224                  "nonce" : "0x00",
  4225                  "storage" : {
  4226                      "0x01" : "0xffee0000000000000000000000000000000000000000000000000000000000"
  4227                  }
  4228              }
  4229          },
  4230          "pre" : {
  4231              "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
  4232                  "balance" : "0x152d02c7e14af6800000",
  4233                  "code" : "0x60ff60015360ee600253600051600155",
  4234                  "nonce" : "0x00",
  4235                  "storage" : {
  4236                  }
  4237              }
  4238          }
  4239      },
  4240      "mstoreMemExp" : {
  4241          "env" : {
  4242              "currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba",
  4243              "currentDifficulty" : "0x0100",
  4244              "currentGasLimit" : "0x01f4153d80",
  4245              "currentNumber" : "0x00",
  4246              "currentTimestamp" : "0x01",
  4247              "previousHash" : "5e20a0453cecd065ea59c37ac63e079ee08998b6045136a8ce6635c7912ec0b6"
  4248          },
  4249          "exec" : {
  4250              "address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
  4251              "caller" : "cd1722f3947def4cf144679da39c4c32bdc35681",
  4252              "code" : "0x60f1630fffffff52",
  4253              "data" : "0x",
  4254              "gas" : "0x01f4153d80",
  4255              "gasPrice" : "0x01",
  4256              "origin" : "cd1722f3947def4cf144679da39c4c32bdc35681",
  4257              "value" : "0x0de0b6b3a7640000"
  4258          },
  4259          "pre" : {
  4260              "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
  4261                  "balance" : "0x152d02c7e14af6800000",
  4262                  "code" : "0x60f1630fffffff52",
  4263                  "nonce" : "0x00",
  4264                  "storage" : {
  4265                  }
  4266              }
  4267          }
  4268      },
  4269      "mstoreWordToBigError" : {
  4270          "callcreates" : [
  4271          ],
  4272          "env" : {
  4273              "currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba",
  4274              "currentDifficulty" : "0x0100",
  4275              "currentGasLimit" : "0x01f4153d80",
  4276              "currentNumber" : "0x00",
  4277              "currentTimestamp" : "0x01",
  4278              "previousHash" : "5e20a0453cecd065ea59c37ac63e079ee08998b6045136a8ce6635c7912ec0b6"
  4279          },
  4280          "exec" : {
  4281              "address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
  4282              "caller" : "cd1722f3947def4cf144679da39c4c32bdc35681",
  4283              "code" : "0x",
  4284              "data" : "0x",
  4285              "gas" : "0x0186a0",
  4286              "gasPrice" : "0x5af3107a4000",
  4287              "origin" : "cd1722f3947def4cf144679da39c4c32bdc35681",
  4288              "value" : "0x0de0b6b3a7640000"
  4289          },
  4290          "gas" : "0x0186a0",
  4291          "logs" : [
  4292          ],
  4293          "out" : "0x",
  4294          "post" : {
  4295              "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
  4296                  "balance" : "0x152d02c7e14af6800000",
  4297                  "code" : "0x",
  4298                  "nonce" : "0x00",
  4299                  "storage" : {
  4300                  }
  4301              }
  4302          },
  4303          "pre" : {
  4304              "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
  4305                  "balance" : "0x152d02c7e14af6800000",
  4306                  "code" : "0x",
  4307                  "nonce" : "0x00",
  4308                  "storage" : {
  4309                  }
  4310              }
  4311          }
  4312      },
  4313      "mstore_mload0" : {
  4314          "callcreates" : [
  4315          ],
  4316          "env" : {
  4317              "currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba",
  4318              "currentDifficulty" : "0x0100",
  4319              "currentGasLimit" : "0x0f4240",
  4320              "currentNumber" : "0x00",
  4321              "currentTimestamp" : "0x01",
  4322              "previousHash" : "5e20a0453cecd065ea59c37ac63e079ee08998b6045136a8ce6635c7912ec0b6"
  4323          },
  4324          "exec" : {
  4325              "address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
  4326              "caller" : "cd1722f3947def4cf144679da39c4c32bdc35681",
  4327              "code" : "0x6017600052600051600155",
  4328              "data" : "0x",
  4329              "gas" : "0x0186a0",
  4330              "gasPrice" : "0x5af3107a4000",
  4331              "origin" : "cd1722f3947def4cf144679da39c4c32bdc35681",
  4332              "value" : "0x0de0b6b3a7640000"
  4333          },
  4334          "gas" : "0x01386b",
  4335          "logs" : [
  4336          ],
  4337          "out" : "0x",
  4338          "post" : {
  4339              "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
  4340                  "balance" : "0x152d02c7e14af6800000",
  4341                  "code" : "0x6017600052600051600155",
  4342                  "nonce" : "0x00",
  4343                  "storage" : {
  4344                      "0x01" : "0x17"
  4345                  }
  4346              }
  4347          },
  4348          "pre" : {
  4349              "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
  4350                  "balance" : "0x152d02c7e14af6800000",
  4351                  "code" : "0x6017600052600051600155",
  4352                  "nonce" : "0x00",
  4353                  "storage" : {
  4354                  }
  4355              }
  4356          }
  4357      },
  4358      "pc0" : {
  4359          "callcreates" : [
  4360          ],
  4361          "env" : {
  4362              "currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba",
  4363              "currentDifficulty" : "0x0100",
  4364              "currentGasLimit" : "0x0f4240",
  4365              "currentNumber" : "0x00",
  4366              "currentTimestamp" : "0x01",
  4367              "previousHash" : "5e20a0453cecd065ea59c37ac63e079ee08998b6045136a8ce6635c7912ec0b6"
  4368          },
  4369          "exec" : {
  4370              "address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
  4371              "caller" : "cd1722f3947def4cf144679da39c4c32bdc35681",
  4372              "code" : "0x58600055",
  4373              "data" : "0x",
  4374              "gas" : "0x0186a0",
  4375              "gasPrice" : "0x5af3107a4000",
  4376              "origin" : "cd1722f3947def4cf144679da39c4c32bdc35681",
  4377              "value" : "0x0de0b6b3a7640000"
  4378          },
  4379          "gas" : "0x017313",
  4380          "logs" : [
  4381          ],
  4382          "out" : "0x",
  4383          "post" : {
  4384              "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
  4385                  "balance" : "0x152d02c7e14af6800000",
  4386                  "code" : "0x58600055",
  4387                  "nonce" : "0x00",
  4388                  "storage" : {
  4389                  }
  4390              }
  4391          },
  4392          "pre" : {
  4393              "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
  4394                  "balance" : "0x152d02c7e14af6800000",
  4395                  "code" : "0x58600055",
  4396                  "nonce" : "0x00",
  4397                  "storage" : {
  4398                  }
  4399              }
  4400          }
  4401      },
  4402      "pc1" : {
  4403          "callcreates" : [
  4404          ],
  4405          "env" : {
  4406              "currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba",
  4407              "currentDifficulty" : "0x0100",
  4408              "currentGasLimit" : "0x0f4240",
  4409              "currentNumber" : "0x00",
  4410              "currentTimestamp" : "0x01",
  4411              "previousHash" : "5e20a0453cecd065ea59c37ac63e079ee08998b6045136a8ce6635c7912ec0b6"
  4412          },
  4413          "exec" : {
  4414              "address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
  4415              "caller" : "cd1722f3947def4cf144679da39c4c32bdc35681",
  4416              "code" : "0x60ff60005558600055",
  4417              "data" : "0x",
  4418              "gas" : "0x0186a0",
  4419              "gasPrice" : "0x5af3107a4000",
  4420              "origin" : "cd1722f3947def4cf144679da39c4c32bdc35681",
  4421              "value" : "0x0de0b6b3a7640000"
  4422          },
  4423          "gas" : "0x0124ed",
  4424          "logs" : [
  4425          ],
  4426          "out" : "0x",
  4427          "post" : {
  4428              "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
  4429                  "balance" : "0x152d02c7e14af6800000",
  4430                  "code" : "0x60ff60005558600055",
  4431                  "nonce" : "0x00",
  4432                  "storage" : {
  4433                      "0x00" : "0x05"
  4434                  }
  4435              }
  4436          },
  4437          "pre" : {
  4438              "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
  4439                  "balance" : "0x152d02c7e14af6800000",
  4440                  "code" : "0x60ff60005558600055",
  4441                  "nonce" : "0x00",
  4442                  "storage" : {
  4443                  }
  4444              }
  4445          }
  4446      },
  4447      "pop0" : {
  4448          "callcreates" : [
  4449          ],
  4450          "env" : {
  4451              "currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba",
  4452              "currentDifficulty" : "0x0100",
  4453              "currentGasLimit" : "0x0f4240",
  4454              "currentNumber" : "0x00",
  4455              "currentTimestamp" : "0x01",
  4456              "previousHash" : "5e20a0453cecd065ea59c37ac63e079ee08998b6045136a8ce6635c7912ec0b6"
  4457          },
  4458          "exec" : {
  4459              "address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
  4460              "caller" : "cd1722f3947def4cf144679da39c4c32bdc35681",
  4461              "code" : "0x6002600360045055",
  4462              "data" : "0x",
  4463              "gas" : "0x0186a0",
  4464              "gasPrice" : "0x5af3107a4000",
  4465              "origin" : "cd1722f3947def4cf144679da39c4c32bdc35681",
  4466              "value" : "0x0de0b6b3a7640000"
  4467          },
  4468          "gas" : "0x013875",
  4469          "logs" : [
  4470          ],
  4471          "out" : "0x",
  4472          "post" : {
  4473              "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
  4474                  "balance" : "0x152d02c7e14af6800000",
  4475                  "code" : "0x6002600360045055",
  4476                  "nonce" : "0x00",
  4477                  "storage" : {
  4478                      "0x03" : "0x02"
  4479                  }
  4480              }
  4481          },
  4482          "pre" : {
  4483              "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
  4484                  "balance" : "0x152d02c7e14af6800000",
  4485                  "code" : "0x6002600360045055",
  4486                  "nonce" : "0x00",
  4487                  "storage" : {
  4488                  }
  4489              }
  4490          }
  4491      },
  4492      "pop1" : {
  4493          "env" : {
  4494              "currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba",
  4495              "currentDifficulty" : "0x0100",
  4496              "currentGasLimit" : "0x0f4240",
  4497              "currentNumber" : "0x00",
  4498              "currentTimestamp" : "0x01",
  4499              "previousHash" : "5e20a0453cecd065ea59c37ac63e079ee08998b6045136a8ce6635c7912ec0b6"
  4500          },
  4501          "exec" : {
  4502              "address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
  4503              "caller" : "cd1722f3947def4cf144679da39c4c32bdc35681",
  4504              "code" : "0x5060026003600455",
  4505              "data" : "0x",
  4506              "gas" : "0x0186a0",
  4507              "gasPrice" : "0x5af3107a4000",
  4508              "origin" : "cd1722f3947def4cf144679da39c4c32bdc35681",
  4509              "value" : "0x0de0b6b3a7640000"
  4510          },
  4511          "pre" : {
  4512              "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
  4513                  "balance" : "0x152d02c7e14af6800000",
  4514                  "code" : "0x5060026003600455",
  4515                  "nonce" : "0x00",
  4516                  "storage" : {
  4517                  }
  4518              }
  4519          }
  4520      },
  4521      "return1" : {
  4522          "env" : {
  4523              "currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba",
  4524              "currentDifficulty" : "0x0100",
  4525              "currentGasLimit" : "0x0f4240",
  4526              "currentNumber" : "0x00",
  4527              "currentTimestamp" : "0x01",
  4528              "previousHash" : "5e20a0453cecd065ea59c37ac63e079ee08998b6045136a8ce6635c7912ec0b6"
  4529          },
  4530          "exec" : {
  4531              "address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
  4532              "caller" : "cd1722f3947def4cf144679da39c4c32bdc35681",
  4533              "code" : "0x6001620f4240f3",
  4534              "data" : "0x",
  4535              "gas" : "0x0186a0",
  4536              "gasPrice" : "0x5af3107a4000",
  4537              "origin" : "cd1722f3947def4cf144679da39c4c32bdc35681",
  4538              "value" : "0x0de0b6b3a7640000"
  4539          },
  4540          "pre" : {
  4541              "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
  4542                  "balance" : "0x152d02c7e14af6800000",
  4543                  "code" : "0x6001620f4240f3",
  4544                  "nonce" : "0x00",
  4545                  "storage" : {
  4546                  }
  4547              }
  4548          }
  4549      },
  4550      "return2" : {
  4551          "callcreates" : [
  4552          ],
  4553          "env" : {
  4554              "currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba",
  4555              "currentDifficulty" : "0x0100",
  4556              "currentGasLimit" : "0x0f4240",
  4557              "currentNumber" : "0x00",
  4558              "currentTimestamp" : "0x01",
  4559              "previousHash" : "5e20a0453cecd065ea59c37ac63e079ee08998b6045136a8ce6635c7912ec0b6"
  4560          },
  4561          "exec" : {
  4562              "address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
  4563              "caller" : "cd1722f3947def4cf144679da39c4c32bdc35681",
  4564              "code" : "0x6001608052600060805111601b57600160005260206000f3602b565b602760005260206000f360026080525b",
  4565              "data" : "0x",
  4566              "gas" : "0x0186a0",
  4567              "gasPrice" : "0x5af3107a4000",
  4568              "origin" : "cd1722f3947def4cf144679da39c4c32bdc35681",
  4569              "value" : "0x0de0b6b3a7640000"
  4570          },
  4571          "gas" : "0x01865f",
  4572          "logs" : [
  4573          ],
  4574          "out" : "0x0000000000000000000000000000000000000000000000000000000000000027",
  4575          "post" : {
  4576              "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
  4577                  "balance" : "0x152d02c7e14af6800000",
  4578                  "code" : "0x6001608052600060805111601b57600160005260206000f3602b565b602760005260206000f360026080525b",
  4579                  "nonce" : "0x00",
  4580                  "storage" : {
  4581                  }
  4582              }
  4583          },
  4584          "pre" : {
  4585              "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
  4586                  "balance" : "0x152d02c7e14af6800000",
  4587                  "code" : "0x6001608052600060805111601b57600160005260206000f3602b565b602760005260206000f360026080525b",
  4588                  "nonce" : "0x00",
  4589                  "storage" : {
  4590                  }
  4591              }
  4592          }
  4593      },
  4594      "sha3MemExp" : {
  4595          "env" : {
  4596              "currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba",
  4597              "currentDifficulty" : "0x0100",
  4598              "currentGasLimit" : "0x01f4153d80",
  4599              "currentNumber" : "0x00",
  4600              "currentTimestamp" : "0x01",
  4601              "previousHash" : "5e20a0453cecd065ea59c37ac63e079ee08998b6045136a8ce6635c7912ec0b6"
  4602          },
  4603          "exec" : {
  4604              "address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
  4605              "caller" : "cd1722f3947def4cf144679da39c4c32bdc35681",
  4606              "code" : "0x60ff630fffffff20",
  4607              "data" : "0x",
  4608              "gas" : "0x01f4153d80",
  4609              "gasPrice" : "0x01",
  4610              "origin" : "cd1722f3947def4cf144679da39c4c32bdc35681",
  4611              "value" : "0x0de0b6b3a7640000"
  4612          },
  4613          "pre" : {
  4614              "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
  4615                  "balance" : "0x152d02c7e14af6800000",
  4616                  "code" : "0x60ff630fffffff20",
  4617                  "nonce" : "0x00",
  4618                  "storage" : {
  4619                  }
  4620              }
  4621          }
  4622      },
  4623      "sstore_load_0" : {
  4624          "callcreates" : [
  4625          ],
  4626          "env" : {
  4627              "currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba",
  4628              "currentDifficulty" : "0x0100",
  4629              "currentGasLimit" : "0x0f4240",
  4630              "currentNumber" : "0x00",
  4631              "currentTimestamp" : "0x01",
  4632              "previousHash" : "5e20a0453cecd065ea59c37ac63e079ee08998b6045136a8ce6635c7912ec0b6"
  4633          },
  4634          "exec" : {
  4635              "address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
  4636              "caller" : "cd1722f3947def4cf144679da39c4c32bdc35681",
  4637              "code" : "0x60ff60005560ee600a55600054601455",
  4638              "data" : "0x",
  4639              "gas" : "0x0186a0",
  4640              "gasPrice" : "0x5af3107a4000",
  4641              "origin" : "cd1722f3947def4cf144679da39c4c32bdc35681",
  4642              "value" : "0x0de0b6b3a7640000"
  4643          },
  4644          "gas" : "0x9bfc",
  4645          "logs" : [
  4646          ],
  4647          "out" : "0x",
  4648          "post" : {
  4649              "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
  4650                  "balance" : "0x152d02c7e14af6800000",
  4651                  "code" : "0x60ff60005560ee600a55600054601455",
  4652                  "nonce" : "0x00",
  4653                  "storage" : {
  4654                      "0x00" : "0xff",
  4655                      "0x0a" : "0xee",
  4656                      "0x14" : "0xff"
  4657                  }
  4658              }
  4659          },
  4660          "pre" : {
  4661              "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
  4662                  "balance" : "0x152d02c7e14af6800000",
  4663                  "code" : "0x60ff60005560ee600a55600054601455",
  4664                  "nonce" : "0x00",
  4665                  "storage" : {
  4666                  }
  4667              }
  4668          }
  4669      },
  4670      "sstore_load_1" : {
  4671          "callcreates" : [
  4672          ],
  4673          "env" : {
  4674              "currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba",
  4675              "currentDifficulty" : "0x0100",
  4676              "currentGasLimit" : "0x0f4240",
  4677              "currentNumber" : "0x00",
  4678              "currentTimestamp" : "0x01",
  4679              "previousHash" : "5e20a0453cecd065ea59c37ac63e079ee08998b6045136a8ce6635c7912ec0b6"
  4680          },
  4681          "exec" : {
  4682              "address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
  4683              "caller" : "cd1722f3947def4cf144679da39c4c32bdc35681",
  4684              "code" : "0x60ff60005560ee600a55606454601455",
  4685              "data" : "0x",
  4686              "gas" : "0x0186a0",
  4687              "gasPrice" : "0x5af3107a4000",
  4688              "origin" : "cd1722f3947def4cf144679da39c4c32bdc35681",
  4689              "value" : "0x0de0b6b3a7640000"
  4690          },
  4691          "gas" : "0xd694",
  4692          "logs" : [
  4693          ],
  4694          "out" : "0x",
  4695          "post" : {
  4696              "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
  4697                  "balance" : "0x152d02c7e14af6800000",
  4698                  "code" : "0x60ff60005560ee600a55606454601455",
  4699                  "nonce" : "0x00",
  4700                  "storage" : {
  4701                      "0x00" : "0xff",
  4702                      "0x0a" : "0xee"
  4703                  }
  4704              }
  4705          },
  4706          "pre" : {
  4707              "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
  4708                  "balance" : "0x152d02c7e14af6800000",
  4709                  "code" : "0x60ff60005560ee600a55606454601455",
  4710                  "nonce" : "0x00",
  4711                  "storage" : {
  4712                  }
  4713              }
  4714          }
  4715      },
  4716      "sstore_load_2" : {
  4717          "env" : {
  4718              "currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba",
  4719              "currentDifficulty" : "0x0100",
  4720              "currentGasLimit" : "0x0f4240",
  4721              "currentNumber" : "0x00",
  4722              "currentTimestamp" : "0x01",
  4723              "previousHash" : "5e20a0453cecd065ea59c37ac63e079ee08998b6045136a8ce6635c7912ec0b6"
  4724          },
  4725          "exec" : {
  4726              "address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
  4727              "caller" : "cd1722f3947def4cf144679da39c4c32bdc35681",
  4728              "code" : "0x60ff60005560ee60015560dd600255600154600a55600254601455",
  4729              "data" : "0x",
  4730              "gas" : "0x0186a0",
  4731              "gasPrice" : "0x5af3107a4000",
  4732              "origin" : "cd1722f3947def4cf144679da39c4c32bdc35681",
  4733              "value" : "0x0de0b6b3a7640000"
  4734          },
  4735          "pre" : {
  4736              "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
  4737                  "balance" : "0x152d02c7e14af6800000",
  4738                  "code" : "0x60ff60005560ee60015560dd600255600154600a55600254601455",
  4739                  "nonce" : "0x00",
  4740                  "storage" : {
  4741                  }
  4742              }
  4743          }
  4744      },
  4745      "stack_loop" : {
  4746          "callcreates" : [
  4747          ],
  4748          "env" : {
  4749              "currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba",
  4750              "currentDifficulty" : "0x0100",
  4751              "currentGasLimit" : "0x0f4240",
  4752              "currentNumber" : "0x00",
  4753              "currentTimestamp" : "0x01",
  4754              "previousHash" : "5e20a0453cecd065ea59c37ac63e079ee08998b6045136a8ce6635c7912ec0b6"
  4755          },
  4756          "exec" : {
  4757              "address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
  4758              "caller" : "cd1722f3947def4cf144679da39c4c32bdc35681",
  4759              "code" : "0x600a5b6001810380600257600053600153600253600353600453600553600653600753600853600953596000f3",
  4760              "data" : "0x",
  4761              "gas" : "0x0186a0",
  4762              "gasPrice" : "0x5af3107a4000",
  4763              "origin" : "cd1722f3947def4cf144679da39c4c32bdc35681",
  4764              "value" : "0x0de0b6b3a7640000"
  4765          },
  4766          "gas" : "0x018555",
  4767          "logs" : [
  4768          ],
  4769          "out" : "0x0001020304050607080900000000000000000000000000000000000000000000",
  4770          "post" : {
  4771              "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
  4772                  "balance" : "0x152d02c7e14af6800000",
  4773                  "code" : "0x600a5b6001810380600257600053600153600253600353600453600553600653600753600853600953596000f3",
  4774                  "nonce" : "0x00",
  4775                  "storage" : {
  4776                  }
  4777              }
  4778          },
  4779          "pre" : {
  4780              "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
  4781                  "balance" : "0x152d02c7e14af6800000",
  4782                  "code" : "0x600a5b6001810380600257600053600153600253600353600453600553600653600753600853600953596000f3",
  4783                  "nonce" : "0x00",
  4784                  "storage" : {
  4785                  }
  4786              }
  4787          }
  4788      },
  4789      "stackjump1" : {
  4790          "callcreates" : [
  4791          ],
  4792          "env" : {
  4793              "currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba",
  4794              "currentDifficulty" : "0x0100",
  4795              "currentGasLimit" : "0x0f4240",
  4796              "currentNumber" : "0x00",
  4797              "currentTimestamp" : "0x01",
  4798              "previousHash" : "5e20a0453cecd065ea59c37ac63e079ee08998b6045136a8ce6635c7912ec0b6"
  4799          },
  4800          "exec" : {
  4801              "address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
  4802              "caller" : "cd1722f3947def4cf144679da39c4c32bdc35681",
  4803              "code" : "0x6004600660096014565b600a03600052596000f35b60005201600956",
  4804              "data" : "0x",
  4805              "gas" : "0x0186a0",
  4806              "gasPrice" : "0x5af3107a4000",
  4807              "origin" : "cd1722f3947def4cf144679da39c4c32bdc35681",
  4808              "value" : "0x0de0b6b3a7640000"
  4809          },
  4810          "gas" : "0x018662",
  4811          "logs" : [
  4812          ],
  4813          "out" : "0x0000000000000000000000000000000000000000000000000000000000000000",
  4814          "post" : {
  4815              "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
  4816                  "balance" : "0x152d02c7e14af6800000",
  4817                  "code" : "0x6004600660096014565b600a03600052596000f35b60005201600956",
  4818                  "nonce" : "0x00",
  4819                  "storage" : {
  4820                  }
  4821              }
  4822          },
  4823          "pre" : {
  4824              "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
  4825                  "balance" : "0x152d02c7e14af6800000",
  4826                  "code" : "0x6004600660096014565b600a03600052596000f35b60005201600956",
  4827                  "nonce" : "0x00",
  4828                  "storage" : {
  4829                  }
  4830              }
  4831          }
  4832      },
  4833      "swapAt52becameMstore" : {
  4834          "env" : {
  4835              "currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba",
  4836              "currentDifficulty" : "0x0100",
  4837              "currentGasLimit" : "0x0f4240",
  4838              "currentNumber" : "0x00",
  4839              "currentTimestamp" : "0x01",
  4840              "previousHash" : "5e20a0453cecd065ea59c37ac63e079ee08998b6045136a8ce6635c7912ec0b6"
  4841          },
  4842          "exec" : {
  4843              "address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
  4844              "caller" : "cd1722f3947def4cf144679da39c4c32bdc35681",
  4845              "code" : "0x600260035255",
  4846              "data" : "0x",
  4847              "gas" : "0x0186a0",
  4848              "gasPrice" : "0x5af3107a4000",
  4849              "origin" : "cd1722f3947def4cf144679da39c4c32bdc35681",
  4850              "value" : "0x0de0b6b3a7640000"
  4851          },
  4852          "pre" : {
  4853              "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
  4854                  "balance" : "0x152d02c7e14af6800000",
  4855                  "code" : "0x600260035255",
  4856                  "nonce" : "0x00",
  4857                  "storage" : {
  4858                  }
  4859              }
  4860          }
  4861      },
  4862      "when" : {
  4863          "callcreates" : [
  4864          ],
  4865          "env" : {
  4866              "currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba",
  4867              "currentDifficulty" : "0x0100",
  4868              "currentGasLimit" : "0x0f4240",
  4869              "currentNumber" : "0x00",
  4870              "currentTimestamp" : "0x01",
  4871              "previousHash" : "5e20a0453cecd065ea59c37ac63e079ee08998b6045136a8ce6635c7912ec0b6"
  4872          },
  4873          "exec" : {
  4874              "address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
  4875              "caller" : "cd1722f3947def4cf144679da39c4c32bdc35681",
  4876              "code" : "0x600060011115600e57600d6080525b",
  4877              "data" : "0x",
  4878              "gas" : "0x0186a0",
  4879              "gasPrice" : "0x5af3107a4000",
  4880              "origin" : "cd1722f3947def4cf144679da39c4c32bdc35681",
  4881              "value" : "0x0de0b6b3a7640000"
  4882          },
  4883          "gas" : "0x01866e",
  4884          "logs" : [
  4885          ],
  4886          "out" : "0x",
  4887          "post" : {
  4888              "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
  4889                  "balance" : "0x152d02c7e14af6800000",
  4890                  "code" : "0x600060011115600e57600d6080525b",
  4891                  "nonce" : "0x00",
  4892                  "storage" : {
  4893                  }
  4894              }
  4895          },
  4896          "pre" : {
  4897              "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
  4898                  "balance" : "0x152d02c7e14af6800000",
  4899                  "code" : "0x600060011115600e57600d6080525b",
  4900                  "nonce" : "0x00",
  4901                  "storage" : {
  4902                  }
  4903              }
  4904          }
  4905      }
  4906  }