github.com/ethereumproject/go-ethereum@v5.5.2+incompatible/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" : "0x7f112233445566778899001122334455667788990011223344556677889900aabb60001a7f112233445566778899001122334455667788990011223344556677889900aabb60011a7f112233445566778899001122334455667788990011223344556677889900aabb60021a7f112233445566778899001122334455667788990011223344556677889900aabb60031a7f112233445566778899001122334455667788990011223344556677889900aabb60041a7f112233445566778899001122334455667788990011223344556677889900aabb60051a7f112233445566778899001122334455667788990011223344556677889900aabb60061a7f112233445566778899001122334455667788990011223344556677889900aabb60071a7f112233445566778899001122334455667788990011223344556677889900aabb60081a7f112233445566778899001122334455667788990011223344556677889900aabb60091a7f112233445566778899001122334455667788990011223344556677889900aabb600a1a7f112233445566778899001122334455667788990011223344556677889900aabb600b1a7f112233445566778899001122334455667788990011223344556677889900aabb600c1a7f112233445566778899001122334455667788990011223344556677889900aabb600d1a7f112233445566778899001122334455667788990011223344556677889900aabb600e1a7f112233445566778899001122334455667788990011223344556677889900aabb600f1a7f112233445566778899001122334455667788990011223344556677889900aabb60101a7f112233445566778899001122334455667788990011223344556677889900aabb60111a7f112233445566778899001122334455667788990011223344556677889900aabb60121a7f112233445566778899001122334455667788990011223344556677889900aabb60131a7f112233445566778899001122334455667788990011223344556677889900aabb60141a7f112233445566778899001122334455667788990011223344556677889900aabb60151a7f112233445566778899001122334455667788990011223344556677889900aabb60161a7f112233445566778899001122334455667788990011223344556677889900aabb60171a7f112233445566778899001122334455667788990011223344556677889900aabb60181a7f112233445566778899001122334455667788990011223344556677889900aabb60191a7f112233445566778899001122334455667788990011223344556677889900aabb601a1a7f112233445566778899001122334455667788990011223344556677889900aabb601b1a7f112233445566778899001122334455667788990011223344556677889900aabb601c1a7f112233445566778899001122334455667788990011223344556677889900aabb601d1a7f112233445566778899001122334455667788990011223344556677889900aabb601e1a7f112233445566778899001122334455667788990011223344556677889900aabb601f1a7f112233445566778899001122334455667788990011223344556677889900aabb60201a7f112233445566778899001122334455667788990011223344556677889900aabb6107de1a6000600055",
  2102              "data" : "0x",
  2103              "gas" : "0x0186a0",
  2104              "gasPrice" : "0x5af3107a4000",
  2105              "origin" : "cd1722f3947def4cf144679da39c4c32bdc35681",
  2106              "value" : "0x0de0b6b3a7640000"
  2107          },
  2108          "gas" : "0x0171e0",
  2109          "logs" : [
  2110          ],
  2111          "out" : "0x",
  2112          "post" : {
  2113              "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
  2114                  "balance" : "0x152d02c7e14af6800000",
  2115                  "code" : "0x7f112233445566778899001122334455667788990011223344556677889900aabb60001a7f112233445566778899001122334455667788990011223344556677889900aabb60011a7f112233445566778899001122334455667788990011223344556677889900aabb60021a7f112233445566778899001122334455667788990011223344556677889900aabb60031a7f112233445566778899001122334455667788990011223344556677889900aabb60041a7f112233445566778899001122334455667788990011223344556677889900aabb60051a7f112233445566778899001122334455667788990011223344556677889900aabb60061a7f112233445566778899001122334455667788990011223344556677889900aabb60071a7f112233445566778899001122334455667788990011223344556677889900aabb60081a7f112233445566778899001122334455667788990011223344556677889900aabb60091a7f112233445566778899001122334455667788990011223344556677889900aabb600a1a7f112233445566778899001122334455667788990011223344556677889900aabb600b1a7f112233445566778899001122334455667788990011223344556677889900aabb600c1a7f112233445566778899001122334455667788990011223344556677889900aabb600d1a7f112233445566778899001122334455667788990011223344556677889900aabb600e1a7f112233445566778899001122334455667788990011223344556677889900aabb600f1a7f112233445566778899001122334455667788990011223344556677889900aabb60101a7f112233445566778899001122334455667788990011223344556677889900aabb60111a7f112233445566778899001122334455667788990011223344556677889900aabb60121a7f112233445566778899001122334455667788990011223344556677889900aabb60131a7f112233445566778899001122334455667788990011223344556677889900aabb60141a7f112233445566778899001122334455667788990011223344556677889900aabb60151a7f112233445566778899001122334455667788990011223344556677889900aabb60161a7f112233445566778899001122334455667788990011223344556677889900aabb60171a7f112233445566778899001122334455667788990011223344556677889900aabb60181a7f112233445566778899001122334455667788990011223344556677889900aabb60191a7f112233445566778899001122334455667788990011223344556677889900aabb601a1a7f112233445566778899001122334455667788990011223344556677889900aabb601b1a7f112233445566778899001122334455667788990011223344556677889900aabb601c1a7f112233445566778899001122334455667788990011223344556677889900aabb601d1a7f112233445566778899001122334455667788990011223344556677889900aabb601e1a7f112233445566778899001122334455667788990011223344556677889900aabb601f1a7f112233445566778899001122334455667788990011223344556677889900aabb60201a7f112233445566778899001122334455667788990011223344556677889900aabb6107de1a6000600055",
  2116                  "nonce" : "0x00",
  2117                  "storage" : {
  2118                  }
  2119              }
  2120          },
  2121          "pre" : {
  2122              "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
  2123                  "balance" : "0x152d02c7e14af6800000",
  2124                  "code" : "0x7f112233445566778899001122334455667788990011223344556677889900aabb60001a7f112233445566778899001122334455667788990011223344556677889900aabb60011a7f112233445566778899001122334455667788990011223344556677889900aabb60021a7f112233445566778899001122334455667788990011223344556677889900aabb60031a7f112233445566778899001122334455667788990011223344556677889900aabb60041a7f112233445566778899001122334455667788990011223344556677889900aabb60051a7f112233445566778899001122334455667788990011223344556677889900aabb60061a7f112233445566778899001122334455667788990011223344556677889900aabb60071a7f112233445566778899001122334455667788990011223344556677889900aabb60081a7f112233445566778899001122334455667788990011223344556677889900aabb60091a7f112233445566778899001122334455667788990011223344556677889900aabb600a1a7f112233445566778899001122334455667788990011223344556677889900aabb600b1a7f112233445566778899001122334455667788990011223344556677889900aabb600c1a7f112233445566778899001122334455667788990011223344556677889900aabb600d1a7f112233445566778899001122334455667788990011223344556677889900aabb600e1a7f112233445566778899001122334455667788990011223344556677889900aabb600f1a7f112233445566778899001122334455667788990011223344556677889900aabb60101a7f112233445566778899001122334455667788990011223344556677889900aabb60111a7f112233445566778899001122334455667788990011223344556677889900aabb60121a7f112233445566778899001122334455667788990011223344556677889900aabb60131a7f112233445566778899001122334455667788990011223344556677889900aabb60141a7f112233445566778899001122334455667788990011223344556677889900aabb60151a7f112233445566778899001122334455667788990011223344556677889900aabb60161a7f112233445566778899001122334455667788990011223344556677889900aabb60171a7f112233445566778899001122334455667788990011223344556677889900aabb60181a7f112233445566778899001122334455667788990011223344556677889900aabb60191a7f112233445566778899001122334455667788990011223344556677889900aabb601a1a7f112233445566778899001122334455667788990011223344556677889900aabb601b1a7f112233445566778899001122334455667788990011223344556677889900aabb601c1a7f112233445566778899001122334455667788990011223344556677889900aabb601d1a7f112233445566778899001122334455667788990011223344556677889900aabb601e1a7f112233445566778899001122334455667788990011223344556677889900aabb601f1a7f112233445566778899001122334455667788990011223344556677889900aabb60201a7f112233445566778899001122334455667788990011223344556677889900aabb6107de1a6000600055",
  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" : "0x6060035b60600160800380606002576868010000000000000016565b6363badf000d6060115500",
  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" : "0x6060035b60600160800380606002576868010000000000000016565b6363badf000d6060115500",
  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      "jumpInsidePushWithJumpDest" : {
  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" : "0x600456655b6001600155",
  3031              "data" : "0x",
  3032              "gas" : "0x0186a0",
  3033              "gasPrice" : "0x5af3107a4000",
  3034              "origin" : "cd1722f3947def4cf144679da39c4c32bdc35681",
  3035              "value" : "0x0de0b6b3a7640000"
  3036          },
  3037          "pre" : {
  3038              "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
  3039                  "balance" : "0x152d02c7e14af6800000",
  3040                  "code" : "0x600456655b6001600155",
  3041                  "nonce" : "0x00",
  3042                  "storage" : {
  3043                  }
  3044              }
  3045          }
  3046      },
  3047      "jumpInsidePushWithoutJumpDest" : {
  3048          "env" : {
  3049              "currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba",
  3050              "currentDifficulty" : "0x0100",
  3051              "currentGasLimit" : "0x0f4240",
  3052              "currentNumber" : "0x00",
  3053              "currentTimestamp" : "0x01"
  3054          },
  3055          "exec" : {
  3056              "address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
  3057              "caller" : "cd1722f3947def4cf144679da39c4c32bdc35681",
  3058              "code" : "0x60055661eeff",
  3059              "data" : "0x",
  3060              "gas" : "0x0186a0",
  3061              "gasPrice" : "0x5af3107a4000",
  3062              "origin" : "cd1722f3947def4cf144679da39c4c32bdc35681",
  3063              "value" : "0x0de0b6b3a7640000"
  3064          },
  3065          "pre" : {
  3066              "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
  3067                  "balance" : "0x152d02c7e14af6800000",
  3068                  "code" : "0x60055661eeff",
  3069                  "nonce" : "0x00",
  3070                  "storage" : {
  3071                  }
  3072              }
  3073          }
  3074      },
  3075      "jumpOntoJump" : {
  3076          "env" : {
  3077              "currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba",
  3078              "currentDifficulty" : "0x0100",
  3079              "currentGasLimit" : "0x0f4240",
  3080              "currentNumber" : "0x00",
  3081              "currentTimestamp" : "0x01"
  3082          },
  3083          "exec" : {
  3084              "address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
  3085              "caller" : "cd1722f3947def4cf144679da39c4c32bdc35681",
  3086              "code" : "0x565b600056",
  3087              "data" : "0x",
  3088              "gas" : "0x0186a0",
  3089              "gasPrice" : "0x5af3107a4000",
  3090              "origin" : "cd1722f3947def4cf144679da39c4c32bdc35681",
  3091              "value" : "0x0de0b6b3a7640000"
  3092          },
  3093          "pre" : {
  3094              "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
  3095                  "balance" : "0x152d02c7e14af6800000",
  3096                  "code" : "0x565b600056",
  3097                  "nonce" : "0x00",
  3098                  "storage" : {
  3099                  }
  3100              }
  3101          }
  3102      },
  3103      "jumpTo1InstructionafterJump" : {
  3104          "env" : {
  3105              "currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba",
  3106              "currentDifficulty" : "0x0100",
  3107              "currentGasLimit" : "0x0f4240",
  3108              "currentNumber" : "0x00",
  3109              "currentTimestamp" : "0x01"
  3110          },
  3111          "exec" : {
  3112              "address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
  3113              "caller" : "cd1722f3947def4cf144679da39c4c32bdc35681",
  3114              "code" : "0x6003565b6001600055",
  3115              "data" : "0x",
  3116              "gas" : "0x2710",
  3117              "gasPrice" : "0x5af3107a4000",
  3118              "origin" : "cd1722f3947def4cf144679da39c4c32bdc35681",
  3119              "value" : "0x0de0b6b3a7640000"
  3120          },
  3121          "pre" : {
  3122              "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
  3123                  "balance" : "0x0de0b6b3a7640000",
  3124                  "code" : "0x6003565b6001600055",
  3125                  "nonce" : "0x00",
  3126                  "storage" : {
  3127                  }
  3128              }
  3129          }
  3130      },
  3131      "jumpTo1InstructionafterJump_jumpdestFirstInstruction" : {
  3132          "env" : {
  3133              "currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba",
  3134              "currentDifficulty" : "0x0100",
  3135              "currentGasLimit" : "0x0f4240",
  3136              "currentNumber" : "0x00",
  3137              "currentTimestamp" : "0x01"
  3138          },
  3139          "exec" : {
  3140              "address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
  3141              "caller" : "cd1722f3947def4cf144679da39c4c32bdc35681",
  3142              "code" : "0x5b6003565b6001600055",
  3143              "data" : "0x",
  3144              "gas" : "0x2710",
  3145              "gasPrice" : "0x5af3107a4000",
  3146              "origin" : "cd1722f3947def4cf144679da39c4c32bdc35681",
  3147              "value" : "0x0de0b6b3a7640000"
  3148          },
  3149          "pre" : {
  3150              "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
  3151                  "balance" : "0x0de0b6b3a7640000",
  3152                  "code" : "0x5b6003565b6001600055",
  3153                  "nonce" : "0x00",
  3154                  "storage" : {
  3155                  }
  3156              }
  3157          }
  3158      },
  3159      "jumpTo1InstructionafterJump_noJumpDest" : {
  3160          "env" : {
  3161              "currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba",
  3162              "currentDifficulty" : "0x0100",
  3163              "currentGasLimit" : "0x0f4240",
  3164              "currentNumber" : "0x00",
  3165              "currentTimestamp" : "0x01"
  3166          },
  3167          "exec" : {
  3168              "address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
  3169              "caller" : "cd1722f3947def4cf144679da39c4c32bdc35681",
  3170              "code" : "0x6003566001600055",
  3171              "data" : "0x",
  3172              "gas" : "0x2710",
  3173              "gasPrice" : "0x5af3107a4000",
  3174              "origin" : "cd1722f3947def4cf144679da39c4c32bdc35681",
  3175              "value" : "0x0de0b6b3a7640000"
  3176          },
  3177          "pre" : {
  3178              "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
  3179                  "balance" : "0x0de0b6b3a7640000",
  3180                  "code" : "0x6003566001600055",
  3181                  "nonce" : "0x00",
  3182                  "storage" : {
  3183                  }
  3184              }
  3185          }
  3186      },
  3187      "jumpToUint64maxPlus1" : {
  3188          "env" : {
  3189              "currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba",
  3190              "currentDifficulty" : "0x0100",
  3191              "currentGasLimit" : "0x0f4240",
  3192              "currentNumber" : "0x00",
  3193              "currentTimestamp" : "0x01"
  3194          },
  3195          "exec" : {
  3196              "address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
  3197              "caller" : "cd1722f3947def4cf144679da39c4c32bdc35681",
  3198              "code" : "0x6801000000000000000b565b5b6001600155",
  3199              "data" : "0x",
  3200              "gas" : "0x0186a0",
  3201              "gasPrice" : "0x5af3107a4000",
  3202              "origin" : "cd1722f3947def4cf144679da39c4c32bdc35681",
  3203              "value" : "0x0de0b6b3a7640000"
  3204          },
  3205          "expect" : {
  3206              "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
  3207                  "storage" : {
  3208                      "0x01" : "0x00"
  3209                  }
  3210              }
  3211          },
  3212          "pre" : {
  3213              "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
  3214                  "balance" : "0x152d02c7e14af6800000",
  3215                  "code" : "0x6801000000000000000b565b5b6001600155",
  3216                  "nonce" : "0x00",
  3217                  "storage" : {
  3218                  }
  3219              }
  3220          }
  3221      },
  3222      "jumpToUintmaxPlus1" : {
  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" : "0x640100000007565b5b6001600155",
  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" : "0x640100000007565b5b6001600155",
  3251                  "nonce" : "0x00",
  3252                  "storage" : {
  3253                  }
  3254              }
  3255          }
  3256      },
  3257      "jumpdestBigList" : {
  3258          "callcreates" : [
  3259          ],
  3260          "env" : {
  3261              "currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba",
  3262              "currentDifficulty" : "0x0100",
  3263              "currentGasLimit" : "0x0f4240",
  3264              "currentNumber" : "0x00",
  3265              "currentTimestamp" : "0x01"
  3266          },
  3267          "exec" : {
  3268              "address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
  3269              "caller" : "cd1722f3947def4cf144679da39c4c32bdc35681",
  3270              "code" : "0x6009565b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b",
  3271              "data" : "0x",
  3272              "gas" : "0x05f5e100",
  3273              "gasPrice" : "0x5af3107a4000",
  3274              "origin" : "cd1722f3947def4cf144679da39c4c32bdc35681",
  3275              "value" : "0x0de0b6b3a7640000"
  3276          },
  3277          "gas" : "0x05f5e0a1",
  3278          "logs" : [
  3279          ],
  3280          "out" : "0x",
  3281          "post" : {
  3282              "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
  3283                  "balance" : "0x152d02c7e14af6800000",
  3284                  "code" : "0x6009565b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b",
  3285                  "nonce" : "0x00",
  3286                  "storage" : {
  3287                  }
  3288              }
  3289          },
  3290          "pre" : {
  3291              "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
  3292                  "balance" : "0x152d02c7e14af6800000",
  3293                  "code" : "0x6009565b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b",
  3294                  "nonce" : "0x00",
  3295                  "storage" : {
  3296                  }
  3297              }
  3298          }
  3299      },
  3300      "jumpi0" : {
  3301          "env" : {
  3302              "currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba",
  3303              "currentDifficulty" : "0x0100",
  3304              "currentGasLimit" : "0x0f4240",
  3305              "currentNumber" : "0x00",
  3306              "currentTimestamp" : "0x01"
  3307          },
  3308          "exec" : {
  3309              "address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
  3310              "caller" : "cd1722f3947def4cf144679da39c4c32bdc35681",
  3311              "code" : "0x602360016009576001600255",
  3312              "data" : "0x",
  3313              "gas" : "0x0186a0",
  3314              "gasPrice" : "0x5af3107a4000",
  3315              "origin" : "cd1722f3947def4cf144679da39c4c32bdc35681",
  3316              "value" : "0x0de0b6b3a7640000"
  3317          },
  3318          "pre" : {
  3319              "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
  3320                  "balance" : "0x152d02c7e14af6800000",
  3321                  "code" : "0x602360016009576001600255",
  3322                  "nonce" : "0x00",
  3323                  "storage" : {
  3324                  }
  3325              }
  3326          }
  3327      },
  3328      "jumpi1" : {
  3329          "callcreates" : [
  3330          ],
  3331          "env" : {
  3332              "currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba",
  3333              "currentDifficulty" : "0x0100",
  3334              "currentGasLimit" : "0x0f4240",
  3335              "currentNumber" : "0x00",
  3336              "currentTimestamp" : "0x01"
  3337          },
  3338          "exec" : {
  3339              "address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
  3340              "caller" : "cd1722f3947def4cf144679da39c4c32bdc35681",
  3341              "code" : "0x602360006009576001600255",
  3342              "data" : "0x",
  3343              "gas" : "0x0186a0",
  3344              "gasPrice" : "0x5af3107a4000",
  3345              "origin" : "cd1722f3947def4cf144679da39c4c32bdc35681",
  3346              "value" : "0x0de0b6b3a7640000"
  3347          },
  3348          "gas" : "0x013867",
  3349          "logs" : [
  3350          ],
  3351          "out" : "0x",
  3352          "post" : {
  3353              "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
  3354                  "balance" : "0x152d02c7e14af6800000",
  3355                  "code" : "0x602360006009576001600255",
  3356                  "nonce" : "0x00",
  3357                  "storage" : {
  3358                      "0x02" : "0x01"
  3359                  }
  3360              }
  3361          },
  3362          "pre" : {
  3363              "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
  3364                  "balance" : "0x152d02c7e14af6800000",
  3365                  "code" : "0x602360006009576001600255",
  3366                  "nonce" : "0x00",
  3367                  "storage" : {
  3368                  }
  3369              }
  3370          }
  3371      },
  3372      "jumpi1_jumpdest" : {
  3373          "env" : {
  3374              "currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba",
  3375              "currentDifficulty" : "0x0100",
  3376              "currentGasLimit" : "0x0f4240",
  3377              "currentNumber" : "0x00",
  3378              "currentTimestamp" : "0x01"
  3379          },
  3380          "exec" : {
  3381              "address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
  3382              "caller" : "cd1722f3947def4cf144679da39c4c32bdc35681",
  3383              "code" : "0x60236001600a5760015b600255",
  3384              "data" : "0x",
  3385              "gas" : "0x0186a0",
  3386              "gasPrice" : "0x5af3107a4000",
  3387              "origin" : "cd1722f3947def4cf144679da39c4c32bdc35681",
  3388              "value" : "0x0de0b6b3a7640000"
  3389          },
  3390          "pre" : {
  3391              "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
  3392                  "balance" : "0x152d02c7e14af6800000",
  3393                  "code" : "0x60236001600a5760015b600255",
  3394                  "nonce" : "0x00",
  3395                  "storage" : {
  3396                  }
  3397              }
  3398          }
  3399      },
  3400      "jumpiAfterStop" : {
  3401          "callcreates" : [
  3402          ],
  3403          "env" : {
  3404              "currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba",
  3405              "currentDifficulty" : "0x0100",
  3406              "currentGasLimit" : "0x0f4240",
  3407              "currentNumber" : "0x00",
  3408              "currentTimestamp" : "0x01"
  3409          },
  3410          "exec" : {
  3411              "address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
  3412              "caller" : "cd1722f3947def4cf144679da39c4c32bdc35681",
  3413              "code" : "0x60016008570060015b6002600355",
  3414              "data" : "0x",
  3415              "gas" : "0x0186a0",
  3416              "gasPrice" : "0x5af3107a4000",
  3417              "origin" : "cd1722f3947def4cf144679da39c4c32bdc35681",
  3418              "value" : "0x0de0b6b3a7640000"
  3419          },
  3420          "gas" : "0x013869",
  3421          "logs" : [
  3422          ],
  3423          "out" : "0x",
  3424          "post" : {
  3425              "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
  3426                  "balance" : "0x152d02c7e14af6800000",
  3427                  "code" : "0x60016008570060015b6002600355",
  3428                  "nonce" : "0x00",
  3429                  "storage" : {
  3430                      "0x03" : "0x02"
  3431                  }
  3432              }
  3433          },
  3434          "pre" : {
  3435              "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
  3436                  "balance" : "0x152d02c7e14af6800000",
  3437                  "code" : "0x60016008570060015b6002600355",
  3438                  "nonce" : "0x00",
  3439                  "storage" : {
  3440                  }
  3441              }
  3442          }
  3443      },
  3444      "jumpiOutsideBoundary" : {
  3445          "env" : {
  3446              "currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba",
  3447              "currentDifficulty" : "0x0100",
  3448              "currentGasLimit" : "0x0f4240",
  3449              "currentNumber" : "0x00",
  3450              "currentTimestamp" : "0x01"
  3451          },
  3452          "exec" : {
  3453              "address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
  3454              "caller" : "cd1722f3947def4cf144679da39c4c32bdc35681",
  3455              "code" : "0x60017fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff576002600355",
  3456              "data" : "0x",
  3457              "gas" : "0x0186a0",
  3458              "gasPrice" : "0x5af3107a4000",
  3459              "origin" : "cd1722f3947def4cf144679da39c4c32bdc35681",
  3460              "value" : "0x0de0b6b3a7640000"
  3461          },
  3462          "pre" : {
  3463              "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
  3464                  "balance" : "0x152d02c7e14af6800000",
  3465                  "code" : "0x60017fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff576002600355",
  3466                  "nonce" : "0x00",
  3467                  "storage" : {
  3468                  }
  3469              }
  3470          }
  3471      },
  3472      "jumpiToUint64maxPlus1" : {
  3473          "env" : {
  3474              "currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba",
  3475              "currentDifficulty" : "0x0100",
  3476              "currentGasLimit" : "0x0f4240",
  3477              "currentNumber" : "0x00",
  3478              "currentTimestamp" : "0x01"
  3479          },
  3480          "exec" : {
  3481              "address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
  3482              "caller" : "cd1722f3947def4cf144679da39c4c32bdc35681",
  3483              "code" : "0x60016801000000000000000d575b5b6001600155",
  3484              "data" : "0x",
  3485              "gas" : "0x0186a0",
  3486              "gasPrice" : "0x5af3107a4000",
  3487              "origin" : "cd1722f3947def4cf144679da39c4c32bdc35681",
  3488              "value" : "0x0de0b6b3a7640000"
  3489          },
  3490          "expect" : {
  3491              "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
  3492                  "storage" : {
  3493                      "0x01" : "0x00"
  3494                  }
  3495              }
  3496          },
  3497          "pre" : {
  3498              "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
  3499                  "balance" : "0x152d02c7e14af6800000",
  3500                  "code" : "0x60016801000000000000000d575b5b6001600155",
  3501                  "nonce" : "0x00",
  3502                  "storage" : {
  3503                  }
  3504              }
  3505          }
  3506      },
  3507      "jumpiToUintmaxPlus1" : {
  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" : "0x6001640100000009575b5b6001600155",
  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" : "0x6001640100000009575b5b6001600155",
  3536                  "nonce" : "0x00",
  3537                  "storage" : {
  3538                  }
  3539              }
  3540          }
  3541      },
  3542      "jumpi_at_the_end" : {
  3543          "callcreates" : [
  3544          ],
  3545          "env" : {
  3546              "currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba",
  3547              "currentDifficulty" : "0x0100",
  3548              "currentGasLimit" : "0x989680",
  3549              "currentNumber" : "0x00",
  3550              "currentTimestamp" : "0x01"
  3551          },
  3552          "exec" : {
  3553              "address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
  3554              "caller" : "cd1722f3947def4cf144679da39c4c32bdc35681",
  3555              "code" : "0x600a6000525b6000516001900380600052600557",
  3556              "data" : "0x",
  3557              "gas" : "0x03e8",
  3558              "gasPrice" : "0x5af3107a4000",
  3559              "origin" : "cd1722f3947def4cf144679da39c4c32bdc35681",
  3560              "value" : "0x0de0b6b3a7640000"
  3561          },
  3562          "gas" : "0x0260",
  3563          "logs" : [
  3564          ],
  3565          "out" : "0x",
  3566          "post" : {
  3567              "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
  3568                  "balance" : "0x152d02c7e14af6800000",
  3569                  "code" : "0x600a6000525b6000516001900380600052600557",
  3570                  "nonce" : "0x00",
  3571                  "storage" : {
  3572                  }
  3573              }
  3574          },
  3575          "pre" : {
  3576              "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
  3577                  "balance" : "0x152d02c7e14af6800000",
  3578                  "code" : "0x600a6000525b6000516001900380600052600557",
  3579                  "nonce" : "0x00",
  3580                  "storage" : {
  3581                  }
  3582              }
  3583          }
  3584      },
  3585      "jumpifInsidePushWithJumpDest" : {
  3586          "env" : {
  3587              "currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba",
  3588              "currentDifficulty" : "0x0100",
  3589              "currentGasLimit" : "0x0f4240",
  3590              "currentNumber" : "0x00",
  3591              "currentTimestamp" : "0x01"
  3592          },
  3593          "exec" : {
  3594              "address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
  3595              "caller" : "cd1722f3947def4cf144679da39c4c32bdc35681",
  3596              "code" : "0x6001600657655b6001600155",
  3597              "data" : "0x",
  3598              "gas" : "0x0186a0",
  3599              "gasPrice" : "0x5af3107a4000",
  3600              "origin" : "cd1722f3947def4cf144679da39c4c32bdc35681",
  3601              "value" : "0x0de0b6b3a7640000"
  3602          },
  3603          "pre" : {
  3604              "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
  3605                  "balance" : "0x152d02c7e14af6800000",
  3606                  "code" : "0x6001600657655b6001600155",
  3607                  "nonce" : "0x00",
  3608                  "storage" : {
  3609                  }
  3610              }
  3611          }
  3612      },
  3613      "jumpifInsidePushWithoutJumpDest" : {
  3614          "env" : {
  3615              "currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba",
  3616              "currentDifficulty" : "0x0100",
  3617              "currentGasLimit" : "0x0f4240",
  3618              "currentNumber" : "0x00",
  3619              "currentTimestamp" : "0x01"
  3620          },
  3621          "exec" : {
  3622              "address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
  3623              "caller" : "cd1722f3947def4cf144679da39c4c32bdc35681",
  3624              "code" : "0x600160075761eeff",
  3625              "data" : "0x",
  3626              "gas" : "0x0186a0",
  3627              "gasPrice" : "0x5af3107a4000",
  3628              "origin" : "cd1722f3947def4cf144679da39c4c32bdc35681",
  3629              "value" : "0x0de0b6b3a7640000"
  3630          },
  3631          "pre" : {
  3632              "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
  3633                  "balance" : "0x152d02c7e14af6800000",
  3634                  "code" : "0x600160075761eeff",
  3635                  "nonce" : "0x00",
  3636                  "storage" : {
  3637                  }
  3638              }
  3639          }
  3640      },
  3641      "kv1" : {
  3642          "callcreates" : [
  3643          ],
  3644          "env" : {
  3645              "currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba",
  3646              "currentDifficulty" : "0x0100",
  3647              "currentGasLimit" : "0x0f4240",
  3648              "currentNumber" : "0x00",
  3649              "currentTimestamp" : "0x01"
  3650          },
  3651          "exec" : {
  3652              "address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
  3653              "caller" : "cd1722f3947def4cf144679da39c4c32bdc35681",
  3654              "code" : "0x33604555602d80600f6000396000f3604554331415602c575b366080511015602b576020608051013560805135556040608051016080526009565b5b",
  3655              "data" : "0x",
  3656              "gas" : "0x0186a0",
  3657              "gasPrice" : "0x5af3107a4000",
  3658              "origin" : "cd1722f3947def4cf144679da39c4c32bdc35681",
  3659              "value" : "0x0de0b6b3a7640000"
  3660          },
  3661          "gas" : "0x01385d",
  3662          "logs" : [
  3663          ],
  3664          "out" : "0x604554331415602c575b366080511015602b576020608051013560805135556040608051016080526009565b5b",
  3665          "post" : {
  3666              "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
  3667                  "balance" : "0x152d02c7e14af6800000",
  3668                  "code" : "0x33604555602d80600f6000396000f3604554331415602c575b366080511015602b576020608051013560805135556040608051016080526009565b5b",
  3669                  "nonce" : "0x00",
  3670                  "storage" : {
  3671                      "0x45" : "0xcd1722f3947def4cf144679da39c4c32bdc35681"
  3672                  }
  3673              }
  3674          },
  3675          "pre" : {
  3676              "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
  3677                  "balance" : "0x152d02c7e14af6800000",
  3678                  "code" : "0x33604555602d80600f6000396000f3604554331415602c575b366080511015602b576020608051013560805135556040608051016080526009565b5b",
  3679                  "nonce" : "0x00",
  3680                  "storage" : {
  3681                  }
  3682              }
  3683          }
  3684      },
  3685      "log1MemExp" : {
  3686          "env" : {
  3687              "currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba",
  3688              "currentDifficulty" : "0x0100",
  3689              "currentGasLimit" : "0x01f4153d80",
  3690              "currentNumber" : "0x00",
  3691              "currentTimestamp" : "0x01"
  3692          },
  3693          "exec" : {
  3694              "address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
  3695              "caller" : "cd1722f3947def4cf144679da39c4c32bdc35681",
  3696              "code" : "0x60ff60ff630fffffffa1",
  3697              "data" : "0x",
  3698              "gas" : "0x01f4153d80",
  3699              "gasPrice" : "0x01",
  3700              "origin" : "cd1722f3947def4cf144679da39c4c32bdc35681",
  3701              "value" : "0x0de0b6b3a7640000"
  3702          },
  3703          "pre" : {
  3704              "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
  3705                  "balance" : "0x152d02c7e14af6800000",
  3706                  "code" : "0x60ff60ff630fffffffa1",
  3707                  "nonce" : "0x00",
  3708                  "storage" : {
  3709                  }
  3710              }
  3711          }
  3712      },
  3713      "loop_stacklimit_1020" : {
  3714          "callcreates" : [
  3715          ],
  3716          "env" : {
  3717              "currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba",
  3718              "currentDifficulty" : "0x0100",
  3719              "currentGasLimit" : "0x0f4240",
  3720              "currentNumber" : "0x00",
  3721              "currentTimestamp" : "0x01"
  3722          },
  3723          "exec" : {
  3724              "address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
  3725              "caller" : "cd1722f3947def4cf144679da39c4c32bdc35681",
  3726              "code" : "0x6000345b60019003906001018180600357600052600152600059f3",
  3727              "data" : "0x",
  3728              "gas" : "0x0186a0",
  3729              "gasPrice" : "0x5af3107a4000",
  3730              "origin" : "cd1722f3947def4cf144679da39c4c32bdc35681",
  3731              "value" : "0x03fc"
  3732          },
  3733          "gas" : "0xef1c",
  3734          "logs" : [
  3735          ],
  3736          "out" : "0x",
  3737          "post" : {
  3738              "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
  3739                  "balance" : "0x152d02c7e14af6800000",
  3740                  "code" : "0x6000345b60019003906001018180600357600052600152600059f3",
  3741                  "nonce" : "0x00",
  3742                  "storage" : {
  3743                  }
  3744              }
  3745          },
  3746          "pre" : {
  3747              "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
  3748                  "balance" : "0x152d02c7e14af6800000",
  3749                  "code" : "0x6000345b60019003906001018180600357600052600152600059f3",
  3750                  "nonce" : "0x00",
  3751                  "storage" : {
  3752                  }
  3753              }
  3754          }
  3755      },
  3756      "loop_stacklimit_1021" : {
  3757          "env" : {
  3758              "currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba",
  3759              "currentDifficulty" : "0x0100",
  3760              "currentGasLimit" : "0x0f4240",
  3761              "currentNumber" : "0x00",
  3762              "currentTimestamp" : "0x01"
  3763          },
  3764          "exec" : {
  3765              "address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
  3766              "caller" : "cd1722f3947def4cf144679da39c4c32bdc35681",
  3767              "code" : "0x6000345b60019003906001018180600357600052600152600059f3",
  3768              "data" : "0x",
  3769              "gas" : "0x0186a0",
  3770              "gasPrice" : "0x5af3107a4000",
  3771              "origin" : "cd1722f3947def4cf144679da39c4c32bdc35681",
  3772              "value" : "0x03fd"
  3773          },
  3774          "expect" : {
  3775              "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
  3776                  "storage" : {
  3777                      "0x02" : "0x23"
  3778                  }
  3779              }
  3780          },
  3781          "pre" : {
  3782              "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
  3783                  "balance" : "0x152d02c7e14af6800000",
  3784                  "code" : "0x6000345b60019003906001018180600357600052600152600059f3",
  3785                  "nonce" : "0x00",
  3786                  "storage" : {
  3787                  }
  3788              }
  3789          }
  3790      },
  3791      "memory1" : {
  3792          "callcreates" : [
  3793          ],
  3794          "env" : {
  3795              "currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba",
  3796              "currentDifficulty" : "0x0100",
  3797              "currentGasLimit" : "0x0f4240",
  3798              "currentNumber" : "0x00",
  3799              "currentTimestamp" : "0x01"
  3800          },
  3801          "exec" : {
  3802              "address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
  3803              "caller" : "cd1722f3947def4cf144679da39c4c32bdc35681",
  3804              "code" : "0x600260005360036001536000516001510160025260406000f3",
  3805              "data" : "0x",
  3806              "gas" : "0x0186a0",
  3807              "gasPrice" : "0x5af3107a4000",
  3808              "origin" : "cd1722f3947def4cf144679da39c4c32bdc35681",
  3809              "value" : "0x0de0b6b3a7640000"
  3810          },
  3811          "gas" : "0x01866d",
  3812          "logs" : [
  3813          ],
  3814          "out" : "0x02030503000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
  3815          "post" : {
  3816              "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
  3817                  "balance" : "0x152d02c7e14af6800000",
  3818                  "code" : "0x600260005360036001536000516001510160025260406000f3",
  3819                  "nonce" : "0x00",
  3820                  "storage" : {
  3821                  }
  3822              }
  3823          },
  3824          "pre" : {
  3825              "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
  3826                  "balance" : "0x152d02c7e14af6800000",
  3827                  "code" : "0x600260005360036001536000516001510160025260406000f3",
  3828                  "nonce" : "0x00",
  3829                  "storage" : {
  3830                  }
  3831              }
  3832          }
  3833      },
  3834      "mloadError0" : {
  3835          "callcreates" : [
  3836          ],
  3837          "env" : {
  3838              "currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba",
  3839              "currentDifficulty" : "0x0100",
  3840              "currentGasLimit" : "0x0f4240",
  3841              "currentNumber" : "0x00",
  3842              "currentTimestamp" : "0x01"
  3843          },
  3844          "exec" : {
  3845              "address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
  3846              "caller" : "cd1722f3947def4cf144679da39c4c32bdc35681",
  3847              "code" : "0x600051600055",
  3848              "data" : "0x",
  3849              "gas" : "0x0186a0",
  3850              "gasPrice" : "0x5af3107a4000",
  3851              "origin" : "cd1722f3947def4cf144679da39c4c32bdc35681",
  3852              "value" : "0x0de0b6b3a7640000"
  3853          },
  3854          "gas" : "0x01730c",
  3855          "logs" : [
  3856          ],
  3857          "out" : "0x",
  3858          "post" : {
  3859              "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
  3860                  "balance" : "0x152d02c7e14af6800000",
  3861                  "code" : "0x600051600055",
  3862                  "nonce" : "0x00",
  3863                  "storage" : {
  3864                  }
  3865              }
  3866          },
  3867          "pre" : {
  3868              "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
  3869                  "balance" : "0x152d02c7e14af6800000",
  3870                  "code" : "0x600051600055",
  3871                  "nonce" : "0x00",
  3872                  "storage" : {
  3873                  }
  3874              }
  3875          }
  3876      },
  3877      "mloadError1" : {
  3878          "callcreates" : [
  3879          ],
  3880          "env" : {
  3881              "currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba",
  3882              "currentDifficulty" : "0x0100",
  3883              "currentGasLimit" : "0x0f4240",
  3884              "currentNumber" : "0x00",
  3885              "currentTimestamp" : "0x01"
  3886          },
  3887          "exec" : {
  3888              "address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
  3889              "caller" : "cd1722f3947def4cf144679da39c4c32bdc35681",
  3890              "code" : "0x6017600152600051600155",
  3891              "data" : "0x",
  3892              "gas" : "0x0186a0",
  3893              "gasPrice" : "0x5af3107a4000",
  3894              "origin" : "cd1722f3947def4cf144679da39c4c32bdc35681",
  3895              "value" : "0x0de0b6b3a7640000"
  3896          },
  3897          "gas" : "0x017300",
  3898          "logs" : [
  3899          ],
  3900          "out" : "0x",
  3901          "post" : {
  3902              "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
  3903                  "balance" : "0x152d02c7e14af6800000",
  3904                  "code" : "0x6017600152600051600155",
  3905                  "nonce" : "0x00",
  3906                  "storage" : {
  3907                  }
  3908              }
  3909          },
  3910          "pre" : {
  3911              "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
  3912                  "balance" : "0x152d02c7e14af6800000",
  3913                  "code" : "0x6017600152600051600155",
  3914                  "nonce" : "0x00",
  3915                  "storage" : {
  3916                  }
  3917              }
  3918          }
  3919      },
  3920      "mloadMemExp" : {
  3921          "env" : {
  3922              "currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba",
  3923              "currentDifficulty" : "0x0100",
  3924              "currentGasLimit" : "0x01f4153d80",
  3925              "currentNumber" : "0x00",
  3926              "currentTimestamp" : "0x01"
  3927          },
  3928          "exec" : {
  3929              "address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
  3930              "caller" : "cd1722f3947def4cf144679da39c4c32bdc35681",
  3931              "code" : "0x630fffffff51",
  3932              "data" : "0x",
  3933              "gas" : "0x800570",
  3934              "gasPrice" : "0x01",
  3935              "origin" : "cd1722f3947def4cf144679da39c4c32bdc35681",
  3936              "value" : "0x0de0b6b3a7640000"
  3937          },
  3938          "pre" : {
  3939              "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
  3940                  "balance" : "0x152d02c7e14af6800000",
  3941                  "code" : "0x630fffffff51",
  3942                  "nonce" : "0x00",
  3943                  "storage" : {
  3944                  }
  3945              }
  3946          }
  3947      },
  3948      "mloadOutOfGasError2" : {
  3949          "env" : {
  3950              "currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba",
  3951              "currentDifficulty" : "0x0100",
  3952              "currentGasLimit" : "0x0f4240",
  3953              "currentNumber" : "0x00",
  3954              "currentTimestamp" : "0x01"
  3955          },
  3956          "exec" : {
  3957              "address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
  3958              "caller" : "cd1722f3947def4cf144679da39c4c32bdc35681",
  3959              "code" : "0x6272482551600155",
  3960              "data" : "0x",
  3961              "gas" : "0x0186a0",
  3962              "gasPrice" : "0x5af3107a4000",
  3963              "origin" : "cd1722f3947def4cf144679da39c4c32bdc35681",
  3964              "value" : "0x0de0b6b3a7640000"
  3965          },
  3966          "pre" : {
  3967              "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
  3968                  "balance" : "0x152d02c7e14af6800000",
  3969                  "code" : "0x6272482551600155",
  3970                  "nonce" : "0x00",
  3971                  "storage" : {
  3972                  }
  3973              }
  3974          }
  3975      },
  3976      "msize0" : {
  3977          "callcreates" : [
  3978          ],
  3979          "env" : {
  3980              "currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba",
  3981              "currentDifficulty" : "0x0100",
  3982              "currentGasLimit" : "0x0f4240",
  3983              "currentNumber" : "0x00",
  3984              "currentTimestamp" : "0x01"
  3985          },
  3986          "exec" : {
  3987              "address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
  3988              "caller" : "cd1722f3947def4cf144679da39c4c32bdc35681",
  3989              "code" : "0x60ff60005259600055",
  3990              "data" : "0x",
  3991              "gas" : "0x0186a0",
  3992              "gasPrice" : "0x5af3107a4000",
  3993              "origin" : "cd1722f3947def4cf144679da39c4c32bdc35681",
  3994              "value" : "0x0de0b6b3a7640000"
  3995          },
  3996          "gas" : "0x01386f",
  3997          "logs" : [
  3998          ],
  3999          "out" : "0x",
  4000          "post" : {
  4001              "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
  4002                  "balance" : "0x152d02c7e14af6800000",
  4003                  "code" : "0x60ff60005259600055",
  4004                  "nonce" : "0x00",
  4005                  "storage" : {
  4006                      "0x00" : "0x20"
  4007                  }
  4008              }
  4009          },
  4010          "pre" : {
  4011              "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
  4012                  "balance" : "0x152d02c7e14af6800000",
  4013                  "code" : "0x60ff60005259600055",
  4014                  "nonce" : "0x00",
  4015                  "storage" : {
  4016                  }
  4017              }
  4018          }
  4019      },
  4020      "msize1" : {
  4021          "callcreates" : [
  4022          ],
  4023          "env" : {
  4024              "currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba",
  4025              "currentDifficulty" : "0x0100",
  4026              "currentGasLimit" : "0x0f4240",
  4027              "currentNumber" : "0x00",
  4028              "currentTimestamp" : "0x01"
  4029          },
  4030          "exec" : {
  4031              "address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
  4032              "caller" : "cd1722f3947def4cf144679da39c4c32bdc35681",
  4033              "code" : "0x64ffffffffff60005259600055",
  4034              "data" : "0x",
  4035              "gas" : "0x0186a0",
  4036              "gasPrice" : "0x5af3107a4000",
  4037              "origin" : "cd1722f3947def4cf144679da39c4c32bdc35681",
  4038              "value" : "0x0de0b6b3a7640000"
  4039          },
  4040          "gas" : "0x01386f",
  4041          "logs" : [
  4042          ],
  4043          "out" : "0x",
  4044          "post" : {
  4045              "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
  4046                  "balance" : "0x152d02c7e14af6800000",
  4047                  "code" : "0x64ffffffffff60005259600055",
  4048                  "nonce" : "0x00",
  4049                  "storage" : {
  4050                      "0x00" : "0x20"
  4051                  }
  4052              }
  4053          },
  4054          "pre" : {
  4055              "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
  4056                  "balance" : "0x152d02c7e14af6800000",
  4057                  "code" : "0x64ffffffffff60005259600055",
  4058                  "nonce" : "0x00",
  4059                  "storage" : {
  4060                  }
  4061              }
  4062          }
  4063      },
  4064      "msize2" : {
  4065          "callcreates" : [
  4066          ],
  4067          "env" : {
  4068              "currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba",
  4069              "currentDifficulty" : "0x0100",
  4070              "currentGasLimit" : "0x0f4240",
  4071              "currentNumber" : "0x00",
  4072              "currentTimestamp" : "0x01"
  4073          },
  4074          "exec" : {
  4075              "address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
  4076              "caller" : "cd1722f3947def4cf144679da39c4c32bdc35681",
  4077              "code" : "0x64ffffffffff60005261eeee60205259600055",
  4078              "data" : "0x",
  4079              "gas" : "0x0186a0",
  4080              "gasPrice" : "0x5af3107a4000",
  4081              "origin" : "cd1722f3947def4cf144679da39c4c32bdc35681",
  4082              "value" : "0x0de0b6b3a7640000"
  4083          },
  4084          "gas" : "0x013863",
  4085          "logs" : [
  4086          ],
  4087          "out" : "0x",
  4088          "post" : {
  4089              "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
  4090                  "balance" : "0x152d02c7e14af6800000",
  4091                  "code" : "0x64ffffffffff60005261eeee60205259600055",
  4092                  "nonce" : "0x00",
  4093                  "storage" : {
  4094                      "0x00" : "0x40"
  4095                  }
  4096              }
  4097          },
  4098          "pre" : {
  4099              "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
  4100                  "balance" : "0x152d02c7e14af6800000",
  4101                  "code" : "0x64ffffffffff60005261eeee60205259600055",
  4102                  "nonce" : "0x00",
  4103                  "storage" : {
  4104                  }
  4105              }
  4106          }
  4107      },
  4108      "msize3" : {
  4109          "callcreates" : [
  4110          ],
  4111          "env" : {
  4112              "currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba",
  4113              "currentDifficulty" : "0x0100",
  4114              "currentGasLimit" : "0x0f4240",
  4115              "currentNumber" : "0x00",
  4116              "currentTimestamp" : "0x01"
  4117          },
  4118          "exec" : {
  4119              "address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
  4120              "caller" : "cd1722f3947def4cf144679da39c4c32bdc35681",
  4121              "code" : "0x64ffffffffff60005261eeee605a5259600055",
  4122              "data" : "0x",
  4123              "gas" : "0x0186a0",
  4124              "gasPrice" : "0x5af3107a4000",
  4125              "origin" : "cd1722f3947def4cf144679da39c4c32bdc35681",
  4126              "value" : "0x0de0b6b3a7640000"
  4127          },
  4128          "gas" : "0x01385d",
  4129          "logs" : [
  4130          ],
  4131          "out" : "0x",
  4132          "post" : {
  4133              "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
  4134                  "balance" : "0x152d02c7e14af6800000",
  4135                  "code" : "0x64ffffffffff60005261eeee605a5259600055",
  4136                  "nonce" : "0x00",
  4137                  "storage" : {
  4138                      "0x00" : "0x80"
  4139                  }
  4140              }
  4141          },
  4142          "pre" : {
  4143              "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
  4144                  "balance" : "0x152d02c7e14af6800000",
  4145                  "code" : "0x64ffffffffff60005261eeee605a5259600055",
  4146                  "nonce" : "0x00",
  4147                  "storage" : {
  4148                  }
  4149              }
  4150          }
  4151      },
  4152      "mstore0" : {
  4153          "callcreates" : [
  4154          ],
  4155          "env" : {
  4156              "currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba",
  4157              "currentDifficulty" : "0x0100",
  4158              "currentGasLimit" : "0x0f4240",
  4159              "currentNumber" : "0x00",
  4160              "currentTimestamp" : "0x01"
  4161          },
  4162          "exec" : {
  4163              "address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
  4164              "caller" : "cd1722f3947def4cf144679da39c4c32bdc35681",
  4165              "code" : "0x7fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff600152600151600155",
  4166              "data" : "0x",
  4167              "gas" : "0x0186a0",
  4168              "gasPrice" : "0x5af3107a4000",
  4169              "origin" : "cd1722f3947def4cf144679da39c4c32bdc35681",
  4170              "value" : "0x0de0b6b3a7640000"
  4171          },
  4172          "gas" : "0x013868",
  4173          "logs" : [
  4174          ],
  4175          "out" : "0x",
  4176          "post" : {
  4177              "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
  4178                  "balance" : "0x152d02c7e14af6800000",
  4179                  "code" : "0x7fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff600152600151600155",
  4180                  "nonce" : "0x00",
  4181                  "storage" : {
  4182                      "0x01" : "0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff"
  4183                  }
  4184              }
  4185          },
  4186          "pre" : {
  4187              "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
  4188                  "balance" : "0x152d02c7e14af6800000",
  4189                  "code" : "0x7fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff600152600151600155",
  4190                  "nonce" : "0x00",
  4191                  "storage" : {
  4192                  }
  4193              }
  4194          }
  4195      },
  4196      "mstore1" : {
  4197          "callcreates" : [
  4198          ],
  4199          "env" : {
  4200              "currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba",
  4201              "currentDifficulty" : "0x0100",
  4202              "currentGasLimit" : "0x0f4240",
  4203              "currentNumber" : "0x00",
  4204              "currentTimestamp" : "0x01"
  4205          },
  4206          "exec" : {
  4207              "address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
  4208              "caller" : "cd1722f3947def4cf144679da39c4c32bdc35681",
  4209              "code" : "0x7fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff600201600152600151600155",
  4210              "data" : "0x",
  4211              "gas" : "0x0186a0",
  4212              "gasPrice" : "0x5af3107a4000",
  4213              "origin" : "cd1722f3947def4cf144679da39c4c32bdc35681",
  4214              "value" : "0x0de0b6b3a7640000"
  4215          },
  4216          "gas" : "0x013862",
  4217          "logs" : [
  4218          ],
  4219          "out" : "0x",
  4220          "post" : {
  4221              "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
  4222                  "balance" : "0x152d02c7e14af6800000",
  4223                  "code" : "0x7fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff600201600152600151600155",
  4224                  "nonce" : "0x00",
  4225                  "storage" : {
  4226                      "0x01" : "0x01"
  4227                  }
  4228              }
  4229          },
  4230          "pre" : {
  4231              "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
  4232                  "balance" : "0x152d02c7e14af6800000",
  4233                  "code" : "0x7fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff600201600152600151600155",
  4234                  "nonce" : "0x00",
  4235                  "storage" : {
  4236                  }
  4237              }
  4238          }
  4239      },
  4240      "mstore8MemExp" : {
  4241          "env" : {
  4242              "currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba",
  4243              "currentDifficulty" : "0x0100",
  4244              "currentGasLimit" : "0x01f4153d80",
  4245              "currentNumber" : "0x00",
  4246              "currentTimestamp" : "0x01"
  4247          },
  4248          "exec" : {
  4249              "address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
  4250              "caller" : "cd1722f3947def4cf144679da39c4c32bdc35681",
  4251              "code" : "0x60f1630fffffff53",
  4252              "data" : "0x",
  4253              "gas" : "0x800570",
  4254              "gasPrice" : "0x01",
  4255              "origin" : "cd1722f3947def4cf144679da39c4c32bdc35681",
  4256              "value" : "0x0de0b6b3a7640000"
  4257          },
  4258          "pre" : {
  4259              "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
  4260                  "balance" : "0x152d02c7e14af6800000",
  4261                  "code" : "0x60f1630fffffff53",
  4262                  "nonce" : "0x00",
  4263                  "storage" : {
  4264                  }
  4265              }
  4266          }
  4267      },
  4268      "mstore8WordToBigError" : {
  4269          "callcreates" : [
  4270          ],
  4271          "env" : {
  4272              "currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba",
  4273              "currentDifficulty" : "0x0100",
  4274              "currentGasLimit" : "0x0f4240",
  4275              "currentNumber" : "0x00",
  4276              "currentTimestamp" : "0x01"
  4277          },
  4278          "exec" : {
  4279              "address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
  4280              "caller" : "cd1722f3947def4cf144679da39c4c32bdc35681",
  4281              "code" : "0x",
  4282              "data" : "0x",
  4283              "gas" : "0x0186a0",
  4284              "gasPrice" : "0x5af3107a4000",
  4285              "origin" : "cd1722f3947def4cf144679da39c4c32bdc35681",
  4286              "value" : "0x0de0b6b3a7640000"
  4287          },
  4288          "gas" : "0x0186a0",
  4289          "logs" : [
  4290          ],
  4291          "out" : "0x",
  4292          "post" : {
  4293              "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
  4294                  "balance" : "0x152d02c7e14af6800000",
  4295                  "code" : "0x",
  4296                  "nonce" : "0x00",
  4297                  "storage" : {
  4298                  }
  4299              }
  4300          },
  4301          "pre" : {
  4302              "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
  4303                  "balance" : "0x152d02c7e14af6800000",
  4304                  "code" : "0x",
  4305                  "nonce" : "0x00",
  4306                  "storage" : {
  4307                  }
  4308              }
  4309          }
  4310      },
  4311      "mstore8_0" : {
  4312          "callcreates" : [
  4313          ],
  4314          "env" : {
  4315              "currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba",
  4316              "currentDifficulty" : "0x0100",
  4317              "currentGasLimit" : "0x0f4240",
  4318              "currentNumber" : "0x00",
  4319              "currentTimestamp" : "0x01"
  4320          },
  4321          "exec" : {
  4322              "address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
  4323              "caller" : "cd1722f3947def4cf144679da39c4c32bdc35681",
  4324              "code" : "0x7fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff600153600151600155",
  4325              "data" : "0x",
  4326              "gas" : "0x0186a0",
  4327              "gasPrice" : "0x5af3107a4000",
  4328              "origin" : "cd1722f3947def4cf144679da39c4c32bdc35681",
  4329              "value" : "0x0de0b6b3a7640000"
  4330          },
  4331          "gas" : "0x013868",
  4332          "logs" : [
  4333          ],
  4334          "out" : "0x",
  4335          "post" : {
  4336              "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
  4337                  "balance" : "0x152d02c7e14af6800000",
  4338                  "code" : "0x7fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff600153600151600155",
  4339                  "nonce" : "0x00",
  4340                  "storage" : {
  4341                      "0x01" : "0xff00000000000000000000000000000000000000000000000000000000000000"
  4342                  }
  4343              }
  4344          },
  4345          "pre" : {
  4346              "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
  4347                  "balance" : "0x152d02c7e14af6800000",
  4348                  "code" : "0x7fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff600153600151600155",
  4349                  "nonce" : "0x00",
  4350                  "storage" : {
  4351                  }
  4352              }
  4353          }
  4354      },
  4355      "mstore8_1" : {
  4356          "callcreates" : [
  4357          ],
  4358          "env" : {
  4359              "currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba",
  4360              "currentDifficulty" : "0x0100",
  4361              "currentGasLimit" : "0x0f4240",
  4362              "currentNumber" : "0x00",
  4363              "currentTimestamp" : "0x01"
  4364          },
  4365          "exec" : {
  4366              "address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
  4367              "caller" : "cd1722f3947def4cf144679da39c4c32bdc35681",
  4368              "code" : "0x60ff60015360ee600253600051600155",
  4369              "data" : "0x",
  4370              "gas" : "0x0186a0",
  4371              "gasPrice" : "0x5af3107a4000",
  4372              "origin" : "cd1722f3947def4cf144679da39c4c32bdc35681",
  4373              "value" : "0x0de0b6b3a7640000"
  4374          },
  4375          "gas" : "0x013862",
  4376          "logs" : [
  4377          ],
  4378          "out" : "0x",
  4379          "post" : {
  4380              "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
  4381                  "balance" : "0x152d02c7e14af6800000",
  4382                  "code" : "0x60ff60015360ee600253600051600155",
  4383                  "nonce" : "0x00",
  4384                  "storage" : {
  4385                      "0x01" : "0xffee0000000000000000000000000000000000000000000000000000000000"
  4386                  }
  4387              }
  4388          },
  4389          "pre" : {
  4390              "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
  4391                  "balance" : "0x152d02c7e14af6800000",
  4392                  "code" : "0x60ff60015360ee600253600051600155",
  4393                  "nonce" : "0x00",
  4394                  "storage" : {
  4395                  }
  4396              }
  4397          }
  4398      },
  4399      "mstoreMemExp" : {
  4400          "env" : {
  4401              "currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba",
  4402              "currentDifficulty" : "0x0100",
  4403              "currentGasLimit" : "0x01f4153d80",
  4404              "currentNumber" : "0x00",
  4405              "currentTimestamp" : "0x01"
  4406          },
  4407          "exec" : {
  4408              "address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
  4409              "caller" : "cd1722f3947def4cf144679da39c4c32bdc35681",
  4410              "code" : "0x60f1630fffffff52",
  4411              "data" : "0x",
  4412              "gas" : "0x01f4153d80",
  4413              "gasPrice" : "0x01",
  4414              "origin" : "cd1722f3947def4cf144679da39c4c32bdc35681",
  4415              "value" : "0x0de0b6b3a7640000"
  4416          },
  4417          "pre" : {
  4418              "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
  4419                  "balance" : "0x152d02c7e14af6800000",
  4420                  "code" : "0x60f1630fffffff52",
  4421                  "nonce" : "0x00",
  4422                  "storage" : {
  4423                  }
  4424              }
  4425          }
  4426      },
  4427      "mstoreWordToBigError" : {
  4428          "callcreates" : [
  4429          ],
  4430          "env" : {
  4431              "currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba",
  4432              "currentDifficulty" : "0x0100",
  4433              "currentGasLimit" : "0x01f4153d80",
  4434              "currentNumber" : "0x00",
  4435              "currentTimestamp" : "0x01"
  4436          },
  4437          "exec" : {
  4438              "address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
  4439              "caller" : "cd1722f3947def4cf144679da39c4c32bdc35681",
  4440              "code" : "0x",
  4441              "data" : "0x",
  4442              "gas" : "0x0186a0",
  4443              "gasPrice" : "0x5af3107a4000",
  4444              "origin" : "cd1722f3947def4cf144679da39c4c32bdc35681",
  4445              "value" : "0x0de0b6b3a7640000"
  4446          },
  4447          "gas" : "0x0186a0",
  4448          "logs" : [
  4449          ],
  4450          "out" : "0x",
  4451          "post" : {
  4452              "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
  4453                  "balance" : "0x152d02c7e14af6800000",
  4454                  "code" : "0x",
  4455                  "nonce" : "0x00",
  4456                  "storage" : {
  4457                  }
  4458              }
  4459          },
  4460          "pre" : {
  4461              "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
  4462                  "balance" : "0x152d02c7e14af6800000",
  4463                  "code" : "0x",
  4464                  "nonce" : "0x00",
  4465                  "storage" : {
  4466                  }
  4467              }
  4468          }
  4469      },
  4470      "mstore_mload0" : {
  4471          "callcreates" : [
  4472          ],
  4473          "env" : {
  4474              "currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba",
  4475              "currentDifficulty" : "0x0100",
  4476              "currentGasLimit" : "0x0f4240",
  4477              "currentNumber" : "0x00",
  4478              "currentTimestamp" : "0x01"
  4479          },
  4480          "exec" : {
  4481              "address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
  4482              "caller" : "cd1722f3947def4cf144679da39c4c32bdc35681",
  4483              "code" : "0x6017600052600051600155",
  4484              "data" : "0x",
  4485              "gas" : "0x0186a0",
  4486              "gasPrice" : "0x5af3107a4000",
  4487              "origin" : "cd1722f3947def4cf144679da39c4c32bdc35681",
  4488              "value" : "0x0de0b6b3a7640000"
  4489          },
  4490          "gas" : "0x01386b",
  4491          "logs" : [
  4492          ],
  4493          "out" : "0x",
  4494          "post" : {
  4495              "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
  4496                  "balance" : "0x152d02c7e14af6800000",
  4497                  "code" : "0x6017600052600051600155",
  4498                  "nonce" : "0x00",
  4499                  "storage" : {
  4500                      "0x01" : "0x17"
  4501                  }
  4502              }
  4503          },
  4504          "pre" : {
  4505              "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
  4506                  "balance" : "0x152d02c7e14af6800000",
  4507                  "code" : "0x6017600052600051600155",
  4508                  "nonce" : "0x00",
  4509                  "storage" : {
  4510                  }
  4511              }
  4512          }
  4513      },
  4514      "pc0" : {
  4515          "callcreates" : [
  4516          ],
  4517          "env" : {
  4518              "currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba",
  4519              "currentDifficulty" : "0x0100",
  4520              "currentGasLimit" : "0x0f4240",
  4521              "currentNumber" : "0x00",
  4522              "currentTimestamp" : "0x01"
  4523          },
  4524          "exec" : {
  4525              "address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
  4526              "caller" : "cd1722f3947def4cf144679da39c4c32bdc35681",
  4527              "code" : "0x58600055",
  4528              "data" : "0x",
  4529              "gas" : "0x0186a0",
  4530              "gasPrice" : "0x5af3107a4000",
  4531              "origin" : "cd1722f3947def4cf144679da39c4c32bdc35681",
  4532              "value" : "0x0de0b6b3a7640000"
  4533          },
  4534          "gas" : "0x017313",
  4535          "logs" : [
  4536          ],
  4537          "out" : "0x",
  4538          "post" : {
  4539              "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
  4540                  "balance" : "0x152d02c7e14af6800000",
  4541                  "code" : "0x58600055",
  4542                  "nonce" : "0x00",
  4543                  "storage" : {
  4544                  }
  4545              }
  4546          },
  4547          "pre" : {
  4548              "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
  4549                  "balance" : "0x152d02c7e14af6800000",
  4550                  "code" : "0x58600055",
  4551                  "nonce" : "0x00",
  4552                  "storage" : {
  4553                  }
  4554              }
  4555          }
  4556      },
  4557      "pc1" : {
  4558          "callcreates" : [
  4559          ],
  4560          "env" : {
  4561              "currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba",
  4562              "currentDifficulty" : "0x0100",
  4563              "currentGasLimit" : "0x0f4240",
  4564              "currentNumber" : "0x00",
  4565              "currentTimestamp" : "0x01"
  4566          },
  4567          "exec" : {
  4568              "address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
  4569              "caller" : "cd1722f3947def4cf144679da39c4c32bdc35681",
  4570              "code" : "0x60ff60005558600055",
  4571              "data" : "0x",
  4572              "gas" : "0x0186a0",
  4573              "gasPrice" : "0x5af3107a4000",
  4574              "origin" : "cd1722f3947def4cf144679da39c4c32bdc35681",
  4575              "value" : "0x0de0b6b3a7640000"
  4576          },
  4577          "gas" : "0x0124ed",
  4578          "logs" : [
  4579          ],
  4580          "out" : "0x",
  4581          "post" : {
  4582              "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
  4583                  "balance" : "0x152d02c7e14af6800000",
  4584                  "code" : "0x60ff60005558600055",
  4585                  "nonce" : "0x00",
  4586                  "storage" : {
  4587                      "0x00" : "0x05"
  4588                  }
  4589              }
  4590          },
  4591          "pre" : {
  4592              "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
  4593                  "balance" : "0x152d02c7e14af6800000",
  4594                  "code" : "0x60ff60005558600055",
  4595                  "nonce" : "0x00",
  4596                  "storage" : {
  4597                  }
  4598              }
  4599          }
  4600      },
  4601      "pop0" : {
  4602          "callcreates" : [
  4603          ],
  4604          "env" : {
  4605              "currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba",
  4606              "currentDifficulty" : "0x0100",
  4607              "currentGasLimit" : "0x0f4240",
  4608              "currentNumber" : "0x00",
  4609              "currentTimestamp" : "0x01"
  4610          },
  4611          "exec" : {
  4612              "address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
  4613              "caller" : "cd1722f3947def4cf144679da39c4c32bdc35681",
  4614              "code" : "0x6002600360045055",
  4615              "data" : "0x",
  4616              "gas" : "0x0186a0",
  4617              "gasPrice" : "0x5af3107a4000",
  4618              "origin" : "cd1722f3947def4cf144679da39c4c32bdc35681",
  4619              "value" : "0x0de0b6b3a7640000"
  4620          },
  4621          "gas" : "0x013875",
  4622          "logs" : [
  4623          ],
  4624          "out" : "0x",
  4625          "post" : {
  4626              "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
  4627                  "balance" : "0x152d02c7e14af6800000",
  4628                  "code" : "0x6002600360045055",
  4629                  "nonce" : "0x00",
  4630                  "storage" : {
  4631                      "0x03" : "0x02"
  4632                  }
  4633              }
  4634          },
  4635          "pre" : {
  4636              "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
  4637                  "balance" : "0x152d02c7e14af6800000",
  4638                  "code" : "0x6002600360045055",
  4639                  "nonce" : "0x00",
  4640                  "storage" : {
  4641                  }
  4642              }
  4643          }
  4644      },
  4645      "pop1" : {
  4646          "env" : {
  4647              "currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba",
  4648              "currentDifficulty" : "0x0100",
  4649              "currentGasLimit" : "0x0f4240",
  4650              "currentNumber" : "0x00",
  4651              "currentTimestamp" : "0x01"
  4652          },
  4653          "exec" : {
  4654              "address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
  4655              "caller" : "cd1722f3947def4cf144679da39c4c32bdc35681",
  4656              "code" : "0x5060026003600455",
  4657              "data" : "0x",
  4658              "gas" : "0x0186a0",
  4659              "gasPrice" : "0x5af3107a4000",
  4660              "origin" : "cd1722f3947def4cf144679da39c4c32bdc35681",
  4661              "value" : "0x0de0b6b3a7640000"
  4662          },
  4663          "pre" : {
  4664              "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
  4665                  "balance" : "0x152d02c7e14af6800000",
  4666                  "code" : "0x5060026003600455",
  4667                  "nonce" : "0x00",
  4668                  "storage" : {
  4669                  }
  4670              }
  4671          }
  4672      },
  4673      "return1" : {
  4674          "env" : {
  4675              "currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba",
  4676              "currentDifficulty" : "0x0100",
  4677              "currentGasLimit" : "0x0f4240",
  4678              "currentNumber" : "0x00",
  4679              "currentTimestamp" : "0x01"
  4680          },
  4681          "exec" : {
  4682              "address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
  4683              "caller" : "cd1722f3947def4cf144679da39c4c32bdc35681",
  4684              "code" : "0x6001620f4240f3",
  4685              "data" : "0x",
  4686              "gas" : "0x0186a0",
  4687              "gasPrice" : "0x5af3107a4000",
  4688              "origin" : "cd1722f3947def4cf144679da39c4c32bdc35681",
  4689              "value" : "0x0de0b6b3a7640000"
  4690          },
  4691          "pre" : {
  4692              "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
  4693                  "balance" : "0x152d02c7e14af6800000",
  4694                  "code" : "0x6001620f4240f3",
  4695                  "nonce" : "0x00",
  4696                  "storage" : {
  4697                  }
  4698              }
  4699          }
  4700      },
  4701      "return2" : {
  4702          "callcreates" : [
  4703          ],
  4704          "env" : {
  4705              "currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba",
  4706              "currentDifficulty" : "0x0100",
  4707              "currentGasLimit" : "0x0f4240",
  4708              "currentNumber" : "0x00",
  4709              "currentTimestamp" : "0x01"
  4710          },
  4711          "exec" : {
  4712              "address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
  4713              "caller" : "cd1722f3947def4cf144679da39c4c32bdc35681",
  4714              "code" : "0x6001608052600060805111601b57600160005260206000f3602b565b602760005260206000f360026080525b",
  4715              "data" : "0x",
  4716              "gas" : "0x0186a0",
  4717              "gasPrice" : "0x5af3107a4000",
  4718              "origin" : "cd1722f3947def4cf144679da39c4c32bdc35681",
  4719              "value" : "0x0de0b6b3a7640000"
  4720          },
  4721          "gas" : "0x01865f",
  4722          "logs" : [
  4723          ],
  4724          "out" : "0x0000000000000000000000000000000000000000000000000000000000000027",
  4725          "post" : {
  4726              "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
  4727                  "balance" : "0x152d02c7e14af6800000",
  4728                  "code" : "0x6001608052600060805111601b57600160005260206000f3602b565b602760005260206000f360026080525b",
  4729                  "nonce" : "0x00",
  4730                  "storage" : {
  4731                  }
  4732              }
  4733          },
  4734          "pre" : {
  4735              "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
  4736                  "balance" : "0x152d02c7e14af6800000",
  4737                  "code" : "0x6001608052600060805111601b57600160005260206000f3602b565b602760005260206000f360026080525b",
  4738                  "nonce" : "0x00",
  4739                  "storage" : {
  4740                  }
  4741              }
  4742          }
  4743      },
  4744      "sha3MemExp" : {
  4745          "env" : {
  4746              "currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba",
  4747              "currentDifficulty" : "0x0100",
  4748              "currentGasLimit" : "0x01f4153d80",
  4749              "currentNumber" : "0x00",
  4750              "currentTimestamp" : "0x01"
  4751          },
  4752          "exec" : {
  4753              "address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
  4754              "caller" : "cd1722f3947def4cf144679da39c4c32bdc35681",
  4755              "code" : "0x60ff630fffffff20",
  4756              "data" : "0x",
  4757              "gas" : "0x01f4153d80",
  4758              "gasPrice" : "0x01",
  4759              "origin" : "cd1722f3947def4cf144679da39c4c32bdc35681",
  4760              "value" : "0x0de0b6b3a7640000"
  4761          },
  4762          "pre" : {
  4763              "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
  4764                  "balance" : "0x152d02c7e14af6800000",
  4765                  "code" : "0x60ff630fffffff20",
  4766                  "nonce" : "0x00",
  4767                  "storage" : {
  4768                  }
  4769              }
  4770          }
  4771      },
  4772      "sstore_load_0" : {
  4773          "callcreates" : [
  4774          ],
  4775          "env" : {
  4776              "currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba",
  4777              "currentDifficulty" : "0x0100",
  4778              "currentGasLimit" : "0x0f4240",
  4779              "currentNumber" : "0x00",
  4780              "currentTimestamp" : "0x01"
  4781          },
  4782          "exec" : {
  4783              "address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
  4784              "caller" : "cd1722f3947def4cf144679da39c4c32bdc35681",
  4785              "code" : "0x60ff60005560ee600a55600054601455",
  4786              "data" : "0x",
  4787              "gas" : "0x0186a0",
  4788              "gasPrice" : "0x5af3107a4000",
  4789              "origin" : "cd1722f3947def4cf144679da39c4c32bdc35681",
  4790              "value" : "0x0de0b6b3a7640000"
  4791          },
  4792          "gas" : "0x9bfc",
  4793          "logs" : [
  4794          ],
  4795          "out" : "0x",
  4796          "post" : {
  4797              "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
  4798                  "balance" : "0x152d02c7e14af6800000",
  4799                  "code" : "0x60ff60005560ee600a55600054601455",
  4800                  "nonce" : "0x00",
  4801                  "storage" : {
  4802                      "0x00" : "0xff",
  4803                      "0x0a" : "0xee",
  4804                      "0x14" : "0xff"
  4805                  }
  4806              }
  4807          },
  4808          "pre" : {
  4809              "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
  4810                  "balance" : "0x152d02c7e14af6800000",
  4811                  "code" : "0x60ff60005560ee600a55600054601455",
  4812                  "nonce" : "0x00",
  4813                  "storage" : {
  4814                  }
  4815              }
  4816          }
  4817      },
  4818      "sstore_load_1" : {
  4819          "callcreates" : [
  4820          ],
  4821          "env" : {
  4822              "currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba",
  4823              "currentDifficulty" : "0x0100",
  4824              "currentGasLimit" : "0x0f4240",
  4825              "currentNumber" : "0x00",
  4826              "currentTimestamp" : "0x01"
  4827          },
  4828          "exec" : {
  4829              "address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
  4830              "caller" : "cd1722f3947def4cf144679da39c4c32bdc35681",
  4831              "code" : "0x60ff60005560ee600a55606454601455",
  4832              "data" : "0x",
  4833              "gas" : "0x0186a0",
  4834              "gasPrice" : "0x5af3107a4000",
  4835              "origin" : "cd1722f3947def4cf144679da39c4c32bdc35681",
  4836              "value" : "0x0de0b6b3a7640000"
  4837          },
  4838          "gas" : "0xd694",
  4839          "logs" : [
  4840          ],
  4841          "out" : "0x",
  4842          "post" : {
  4843              "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
  4844                  "balance" : "0x152d02c7e14af6800000",
  4845                  "code" : "0x60ff60005560ee600a55606454601455",
  4846                  "nonce" : "0x00",
  4847                  "storage" : {
  4848                      "0x00" : "0xff",
  4849                      "0x0a" : "0xee"
  4850                  }
  4851              }
  4852          },
  4853          "pre" : {
  4854              "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
  4855                  "balance" : "0x152d02c7e14af6800000",
  4856                  "code" : "0x60ff60005560ee600a55606454601455",
  4857                  "nonce" : "0x00",
  4858                  "storage" : {
  4859                  }
  4860              }
  4861          }
  4862      },
  4863      "sstore_load_2" : {
  4864          "env" : {
  4865              "currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba",
  4866              "currentDifficulty" : "0x0100",
  4867              "currentGasLimit" : "0x0f4240",
  4868              "currentNumber" : "0x00",
  4869              "currentTimestamp" : "0x01"
  4870          },
  4871          "exec" : {
  4872              "address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
  4873              "caller" : "cd1722f3947def4cf144679da39c4c32bdc35681",
  4874              "code" : "0x60ff60005560ee60015560dd600255600154600a55600254601455",
  4875              "data" : "0x",
  4876              "gas" : "0x0186a0",
  4877              "gasPrice" : "0x5af3107a4000",
  4878              "origin" : "cd1722f3947def4cf144679da39c4c32bdc35681",
  4879              "value" : "0x0de0b6b3a7640000"
  4880          },
  4881          "pre" : {
  4882              "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
  4883                  "balance" : "0x152d02c7e14af6800000",
  4884                  "code" : "0x60ff60005560ee60015560dd600255600154600a55600254601455",
  4885                  "nonce" : "0x00",
  4886                  "storage" : {
  4887                  }
  4888              }
  4889          }
  4890      },
  4891      "sstore_underflow" : {
  4892          "env" : {
  4893              "currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba",
  4894              "currentDifficulty" : "0x0100",
  4895              "currentGasLimit" : "0x0f4240",
  4896              "currentNumber" : "0x00",
  4897              "currentTimestamp" : "0x01"
  4898          },
  4899          "exec" : {
  4900              "address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
  4901              "caller" : "cd1722f3947def4cf144679da39c4c32bdc35681",
  4902              "code" : "0x600155",
  4903              "data" : "0x",
  4904              "gas" : "0x0186a0",
  4905              "gasPrice" : "0x5af3107a4000",
  4906              "origin" : "cd1722f3947def4cf144679da39c4c32bdc35681",
  4907              "value" : "0x0de0b6b3a7640000"
  4908          },
  4909          "expect" : {
  4910              "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
  4911                  "storage" : {
  4912                      "0x01" : "0x00"
  4913                  }
  4914              }
  4915          },
  4916          "pre" : {
  4917              "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
  4918                  "balance" : "0x152d02c7e14af6800000",
  4919                  "code" : "0x600155",
  4920                  "nonce" : "0x00",
  4921                  "storage" : {
  4922                  }
  4923              }
  4924          }
  4925      },
  4926      "stack_loop" : {
  4927          "callcreates" : [
  4928          ],
  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" : "0x600a5b6001810380600257600053600153600253600353600453600553600653600753600853600953596000f3",
  4940              "data" : "0x",
  4941              "gas" : "0x0186a0",
  4942              "gasPrice" : "0x5af3107a4000",
  4943              "origin" : "cd1722f3947def4cf144679da39c4c32bdc35681",
  4944              "value" : "0x0de0b6b3a7640000"
  4945          },
  4946          "gas" : "0x018555",
  4947          "logs" : [
  4948          ],
  4949          "out" : "0x0001020304050607080900000000000000000000000000000000000000000000",
  4950          "post" : {
  4951              "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
  4952                  "balance" : "0x152d02c7e14af6800000",
  4953                  "code" : "0x600a5b6001810380600257600053600153600253600353600453600553600653600753600853600953596000f3",
  4954                  "nonce" : "0x00",
  4955                  "storage" : {
  4956                  }
  4957              }
  4958          },
  4959          "pre" : {
  4960              "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
  4961                  "balance" : "0x152d02c7e14af6800000",
  4962                  "code" : "0x600a5b6001810380600257600053600153600253600353600453600553600653600753600853600953596000f3",
  4963                  "nonce" : "0x00",
  4964                  "storage" : {
  4965                  }
  4966              }
  4967          }
  4968      },
  4969      "stackjump1" : {
  4970          "callcreates" : [
  4971          ],
  4972          "env" : {
  4973              "currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba",
  4974              "currentDifficulty" : "0x0100",
  4975              "currentGasLimit" : "0x0f4240",
  4976              "currentNumber" : "0x00",
  4977              "currentTimestamp" : "0x01"
  4978          },
  4979          "exec" : {
  4980              "address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
  4981              "caller" : "cd1722f3947def4cf144679da39c4c32bdc35681",
  4982              "code" : "0x6004600660096014565b600a03600052596000f35b60005201600956",
  4983              "data" : "0x",
  4984              "gas" : "0x0186a0",
  4985              "gasPrice" : "0x5af3107a4000",
  4986              "origin" : "cd1722f3947def4cf144679da39c4c32bdc35681",
  4987              "value" : "0x0de0b6b3a7640000"
  4988          },
  4989          "gas" : "0x018662",
  4990          "logs" : [
  4991          ],
  4992          "out" : "0x0000000000000000000000000000000000000000000000000000000000000000",
  4993          "post" : {
  4994              "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
  4995                  "balance" : "0x152d02c7e14af6800000",
  4996                  "code" : "0x6004600660096014565b600a03600052596000f35b60005201600956",
  4997                  "nonce" : "0x00",
  4998                  "storage" : {
  4999                  }
  5000              }
  5001          },
  5002          "pre" : {
  5003              "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
  5004                  "balance" : "0x152d02c7e14af6800000",
  5005                  "code" : "0x6004600660096014565b600a03600052596000f35b60005201600956",
  5006                  "nonce" : "0x00",
  5007                  "storage" : {
  5008                  }
  5009              }
  5010          }
  5011      },
  5012      "swapAt52becameMstore" : {
  5013          "env" : {
  5014              "currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba",
  5015              "currentDifficulty" : "0x0100",
  5016              "currentGasLimit" : "0x0f4240",
  5017              "currentNumber" : "0x00",
  5018              "currentTimestamp" : "0x01"
  5019          },
  5020          "exec" : {
  5021              "address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
  5022              "caller" : "cd1722f3947def4cf144679da39c4c32bdc35681",
  5023              "code" : "0x600260035255",
  5024              "data" : "0x",
  5025              "gas" : "0x0186a0",
  5026              "gasPrice" : "0x5af3107a4000",
  5027              "origin" : "cd1722f3947def4cf144679da39c4c32bdc35681",
  5028              "value" : "0x0de0b6b3a7640000"
  5029          },
  5030          "pre" : {
  5031              "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
  5032                  "balance" : "0x152d02c7e14af6800000",
  5033                  "code" : "0x600260035255",
  5034                  "nonce" : "0x00",
  5035                  "storage" : {
  5036                  }
  5037              }
  5038          }
  5039      },
  5040      "when" : {
  5041          "callcreates" : [
  5042          ],
  5043          "env" : {
  5044              "currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba",
  5045              "currentDifficulty" : "0x0100",
  5046              "currentGasLimit" : "0x0f4240",
  5047              "currentNumber" : "0x00",
  5048              "currentTimestamp" : "0x01"
  5049          },
  5050          "exec" : {
  5051              "address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
  5052              "caller" : "cd1722f3947def4cf144679da39c4c32bdc35681",
  5053              "code" : "0x600060011115600e57600d6080525b",
  5054              "data" : "0x",
  5055              "gas" : "0x0186a0",
  5056              "gasPrice" : "0x5af3107a4000",
  5057              "origin" : "cd1722f3947def4cf144679da39c4c32bdc35681",
  5058              "value" : "0x0de0b6b3a7640000"
  5059          },
  5060          "gas" : "0x01866e",
  5061          "logs" : [
  5062          ],
  5063          "out" : "0x",
  5064          "post" : {
  5065              "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
  5066                  "balance" : "0x152d02c7e14af6800000",
  5067                  "code" : "0x600060011115600e57600d6080525b",
  5068                  "nonce" : "0x00",
  5069                  "storage" : {
  5070                  }
  5071              }
  5072          },
  5073          "pre" : {
  5074              "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
  5075                  "balance" : "0x152d02c7e14af6800000",
  5076                  "code" : "0x600060011115600e57600d6080525b",
  5077                  "nonce" : "0x00",
  5078                  "storage" : {
  5079                  }
  5080              }
  5081          }
  5082      }
  5083  }