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