forked from Consensys/mythril
-
Notifications
You must be signed in to change notification settings - Fork 5
/
test.html
62 lines (53 loc) · 81.1 KB
/
test.html
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
<!DOCTYPE html>
<html>
<head>
<title>Call Graph</title>
<link rel="stylesheet" href="https://cdnjs.cloudflare.com/ajax/libs/vis/4.21.0/vis.min.css" integrity="sha256-iq5ygGJ7021Pi7H5S+QAUXCPUfaBzfqeplbg/KlEssg=" crossorigin="anonymous" />
<script src="https://cdnjs.cloudflare.com/ajax/libs/vis/4.21.0/vis.min.js" integrity="sha256-JuQeAGbk9rG/EoRMixuy5X8syzICcvB0dj3KindZkY0=" crossorigin="anonymous"></script>
<style type="text/css">
#mynetwork {
height: 100%;
background-color: #232625;
}
body {
background-color: #232625;
color: #ffffff;
font-size: 10px;
}
html, body {
height: 95%;
}
</style>
<script>
var options = {"autoResize": true, "edges": {"font": {"align": "horizontal", "background": "none", "color": "#FFFFFF", "face": "arial", "multi": false, "strokeColor": "#ffffff", "strokeWidth": 0, "vadjust": 0}}, "height": "100%", "layout": {"hierarchical": {"blockShifting": true, "direction": "LR", "edgeMinimization": true, "enabled": true, "levelSeparation": 450, "nodeSpacing": 200, "parentCentralization": false, "sortMethod": "directed", "treeSpacing": 100}, "improvedLayout": true}, "manipulation": false, "nodes": {"borderWidth": 1, "borderWidthSelected": 2, "chosen": true, "color": "#000000", "font": {"align": "left", "color": "#FFFFFF"}, "shape": "box"}, "physics": {"enabled": false}, "width": "100%"};
var nodes = [{"color": {"background": "#842899", "border": "#9e42b3", "highlight": {"background": "#933da6", "border": "#9e42b3"}}, "fullLabel": "0 PUSH1 0x80\n2 PUSH1 0x40\n4 MSTORE\n5 PUSH1 0x0a\n7 PUSH1 0x00\n9 SSTORE\n10 PUSH1 0x00\n12 PUSH1 0x01\n14 SSTORE\n15 CALLVALUE\n16 DUP1\n17 ISZERO\n18 PUSH2 0x001a\n21 JUMPI", "id": "0", "isExpanded": false, "label": "0 PUSH1 0x80\n2 PUSH1 0x40\n4 MSTORE\n5 PUSH1 0x0a\n7 PUSH1 0x00\n9 SSTORE\n(click to expand +)", "size": 150, "truncLabel": "0 PUSH1 0x80\n2 PUSH1 0x40\n4 MSTORE\n5 PUSH1 0x0a\n7 PUSH1 0x00\n9 SSTORE\n(click to expand +)"}, {"color": {"background": "#842899", "border": "#9e42b3", "highlight": {"background": "#933da6", "border": "#9e42b3"}}, "fullLabel": "26 JUMPDEST\n27 POP\n28 PUSH2 0x01cf\n31 DUP1\n32 PUSH2 0x002a\n35 PUSH1 0x00\n37 CODECOPY\n38 PUSH1 0x00\n40 RETURN", "id": "1", "isExpanded": false, "label": "26 JUMPDEST\n27 POP\n28 PUSH2 0x01cf\n31 DUP1\n32 PUSH2 0x002a\n35 PUSH1 0x00\n(click to expand +)", "size": 150, "truncLabel": "26 JUMPDEST\n27 POP\n28 PUSH2 0x01cf\n31 DUP1\n32 PUSH2 0x002a\n35 PUSH1 0x00\n(click to expand +)"}, {"color": {"background": "#842899", "border": "#9e42b3", "highlight": {"background": "#933da6", "border": "#9e42b3"}}, "fullLabel": "22 PUSH1 0x00\n24 DUP1\n25 REVERT", "id": "2", "isExpanded": false, "label": "22 PUSH1 0x00\n24 DUP1\n25 REVERT", "size": 150, "truncLabel": "22 PUSH1 0x00\n24 DUP1\n25 REVERT"}, {"color": {"background": "#842899", "border": "#9e42b3", "highlight": {"background": "#933da6", "border": "#9e42b3"}}, "fullLabel": "0 PUSH1 0x80\n2 PUSH1 0x40\n4 MSTORE\n5 CALLVALUE\n6 DUP1\n7 ISZERO\n8 PUSH2 0x0010\n11 JUMPI", "id": "3", "isExpanded": false, "label": "0 PUSH1 0x80\n2 PUSH1 0x40\n4 MSTORE\n5 CALLVALUE\n6 DUP1\n7 ISZERO\n(click to expand +)", "size": 150, "truncLabel": "0 PUSH1 0x80\n2 PUSH1 0x40\n4 MSTORE\n5 CALLVALUE\n6 DUP1\n7 ISZERO\n(click to expand +)"}, {"color": {"background": "#842899", "border": "#9e42b3", "highlight": {"background": "#933da6", "border": "#9e42b3"}}, "fullLabel": "16 JUMPDEST\n17 POP\n18 PUSH1 0x04\n20 CALLDATASIZE\n21 LT\n22 PUSH2 0x007f\n25 JUMPI", "id": "4", "isExpanded": false, "label": "16 JUMPDEST\n17 POP\n18 PUSH1 0x04\n20 CALLDATASIZE\n21 LT\n22 PUSH2 0x007f\n(click to expand +)", "size": 150, "truncLabel": "16 JUMPDEST\n17 POP\n18 PUSH1 0x04\n20 CALLDATASIZE\n21 LT\n22 PUSH2 0x007f\n(click to expand +)"}, {"color": {"background": "#842899", "border": "#9e42b3", "highlight": {"background": "#933da6", "border": "#9e42b3"}}, "fullLabel": "12 PUSH1 0x00\n14 DUP1\n15 REVERT", "id": "5", "isExpanded": false, "label": "12 PUSH1 0x00\n14 DUP1\n15 REVERT", "size": 150, "truncLabel": "12 PUSH1 0x00\n14 DUP1\n15 REVERT"}, {"color": {"background": "#842899", "border": "#9e42b3", "highlight": {"background": "#933da6", "border": "#9e42b3"}}, "fullLabel": "127 JUMPDEST\n128 PUSH1 0x00\n130 DUP1\n131 REVERT", "id": "6", "isExpanded": false, "label": "127 JUMPDEST\n128 PUSH1 0x00\n130 DUP1\n131 REVERT", "size": 150, "truncLabel": "127 JUMPDEST\n128 PUSH1 0x00\n130 DUP1\n131 REVERT"}, {"color": {"background": "#842899", "border": "#9e42b3", "highlight": {"background": "#933da6", "border": "#9e42b3"}}, "fullLabel": "26 PUSH1 0x00\n28 CALLDATALOAD\n29 PUSH29 0x01000000(...)\n59 SWAP1\n60 DIV\n61 DUP1\n62 PUSH4 0x0685a2aa\n67 EQ\n68 PUSH2 0x0084\n71 JUMPI", "id": "7", "isExpanded": false, "label": "26 PUSH1 0x00\n28 CALLDATALOAD\n29 PUSH29 0x01000000(...)\n59 SWAP1\n60 DIV\n61 DUP1\n(click to expand +)", "size": 150, "truncLabel": "26 PUSH1 0x00\n28 CALLDATALOAD\n29 PUSH29 0x01000000(...)\n59 SWAP1\n60 DIV\n61 DUP1\n(click to expand +)"}, {"color": {"background": "#842899", "border": "#9e42b3", "highlight": {"background": "#933da6", "border": "#9e42b3"}}, "fullLabel": "132 JUMPDEST\n133 PUSH2 0x00b0\n136 PUSH1 0x04\n138 DUP1\n139 CALLDATASIZE\n140 SUB\n141 PUSH1 0x20\n143 DUP2\n144 LT\n145 ISZERO\n146 PUSH2 0x009a\n149 JUMPI", "id": "8", "isExpanded": false, "label": "132 JUMPDEST\n133 PUSH2 0x00b0\n136 PUSH1 0x04\n138 DUP1\n139 CALLDATASIZE\n140 SUB\n(click to expand +)", "size": 150, "truncLabel": "132 JUMPDEST\n133 PUSH2 0x00b0\n136 PUSH1 0x04\n138 DUP1\n139 CALLDATASIZE\n140 SUB\n(click to expand +)"}, {"color": {"background": "#842899", "border": "#9e42b3", "highlight": {"background": "#933da6", "border": "#9e42b3"}}, "fullLabel": "72 DUP1\n73 PUSH4 0x0dbe671f\n78 EQ\n79 PUSH2 0x00b2\n82 JUMPI", "id": "9", "isExpanded": false, "label": "72 DUP1\n73 PUSH4 0x0dbe671f\n78 EQ\n79 PUSH2 0x00b2\n82 JUMPI", "size": 150, "truncLabel": "72 DUP1\n73 PUSH4 0x0dbe671f\n78 EQ\n79 PUSH2 0x00b2\n82 JUMPI"}, {"color": {"background": "#842899", "border": "#9e42b3", "highlight": {"background": "#933da6", "border": "#9e42b3"}}, "fullLabel": "178 JUMPDEST\n179 PUSH2 0x00ba\n182 PUSH2 0x017a\n185 JUMP", "id": "10", "isExpanded": false, "label": "178 JUMPDEST\n179 PUSH2 0x00ba\n182 PUSH2 0x017a\n185 JUMP", "size": 150, "truncLabel": "178 JUMPDEST\n179 PUSH2 0x00ba\n182 PUSH2 0x017a\n185 JUMP"}, {"color": {"background": "#842899", "border": "#9e42b3", "highlight": {"background": "#933da6", "border": "#9e42b3"}}, "fullLabel": "83 DUP1\n84 PUSH4 0x28bbdc02\n89 EQ\n90 PUSH2 0x00d0\n93 JUMPI", "id": "11", "isExpanded": false, "label": "83 DUP1\n84 PUSH4 0x28bbdc02\n89 EQ\n90 PUSH2 0x00d0\n93 JUMPI", "size": 150, "truncLabel": "83 DUP1\n84 PUSH4 0x28bbdc02\n89 EQ\n90 PUSH2 0x00d0\n93 JUMPI"}, {"color": {"background": "#842899", "border": "#9e42b3", "highlight": {"background": "#933da6", "border": "#9e42b3"}}, "fullLabel": "208 JUMPDEST\n209 PUSH2 0x00d8\n212 PUSH2 0x0180\n215 JUMP", "id": "12", "isExpanded": false, "label": "208 JUMPDEST\n209 PUSH2 0x00d8\n212 PUSH2 0x0180\n215 JUMP", "size": 150, "truncLabel": "208 JUMPDEST\n209 PUSH2 0x00d8\n212 PUSH2 0x0180\n215 JUMP"}, {"color": {"background": "#842899", "border": "#9e42b3", "highlight": {"background": "#933da6", "border": "#9e42b3"}}, "fullLabel": "94 DUP1\n95 PUSH4 0x4df7e3d0\n100 EQ\n101 PUSH2 0x00ee\n104 JUMPI", "id": "13", "isExpanded": false, "label": "94 DUP1\n95 PUSH4 0x4df7e3d0\n100 EQ\n101 PUSH2 0x00ee\n104 JUMPI", "size": 150, "truncLabel": "94 DUP1\n95 PUSH4 0x4df7e3d0\n100 EQ\n101 PUSH2 0x00ee\n104 JUMPI"}, {"color": {"background": "#842899", "border": "#9e42b3", "highlight": {"background": "#933da6", "border": "#9e42b3"}}, "fullLabel": "238 JUMPDEST\n239 PUSH2 0x00f6\n242 PUSH2 0x0189\n245 JUMP", "id": "14", "isExpanded": false, "label": "238 JUMPDEST\n239 PUSH2 0x00f6\n242 PUSH2 0x0189\n245 JUMP", "size": 150, "truncLabel": "238 JUMPDEST\n239 PUSH2 0x00f6\n242 PUSH2 0x0189\n245 JUMP"}, {"color": {"background": "#842899", "border": "#9e42b3", "highlight": {"background": "#933da6", "border": "#9e42b3"}}, "fullLabel": "105 DUP1\n106 PUSH4 0x725933d0\n111 EQ\n112 PUSH2 0x010c\n115 JUMPI", "id": "15", "isExpanded": false, "label": "105 DUP1\n106 PUSH4 0x725933d0\n111 EQ\n112 PUSH2 0x010c\n115 JUMPI", "size": 150, "truncLabel": "105 DUP1\n106 PUSH4 0x725933d0\n111 EQ\n112 PUSH2 0x010c\n115 JUMPI"}, {"color": {"background": "#842899", "border": "#9e42b3", "highlight": {"background": "#933da6", "border": "#9e42b3"}}, "fullLabel": "268 JUMPDEST\n269 PUSH2 0x0138\n272 PUSH1 0x04\n274 DUP1\n275 CALLDATASIZE\n276 SUB\n277 PUSH1 0x20\n279 DUP2\n280 LT\n281 ISZERO\n282 PUSH2 0x0122\n285 JUMPI", "id": "16", "isExpanded": false, "label": "268 JUMPDEST\n269 PUSH2 0x0138\n272 PUSH1 0x04\n274 DUP1\n275 CALLDATASIZE\n276 SUB\n(click to expand +)", "size": 150, "truncLabel": "268 JUMPDEST\n269 PUSH2 0x0138\n272 PUSH1 0x04\n274 DUP1\n275 CALLDATASIZE\n276 SUB\n(click to expand +)"}, {"color": {"background": "#842899", "border": "#9e42b3", "highlight": {"background": "#933da6", "border": "#9e42b3"}}, "fullLabel": "116 DUP1\n117 PUSH4 0xf318597a\n122 EQ\n123 PUSH2 0x013a\n126 JUMPI", "id": "17", "isExpanded": false, "label": "116 DUP1\n117 PUSH4 0xf318597a\n122 EQ\n123 PUSH2 0x013a\n126 JUMPI", "size": 150, "truncLabel": "116 DUP1\n117 PUSH4 0xf318597a\n122 EQ\n123 PUSH2 0x013a\n126 JUMPI"}, {"color": {"background": "#842899", "border": "#9e42b3", "highlight": {"background": "#933da6", "border": "#9e42b3"}}, "fullLabel": "314 JUMPDEST\n315 PUSH2 0x0142\n318 PUSH2 0x0199\n321 JUMP", "id": "18", "isExpanded": false, "label": "314 JUMPDEST\n315 PUSH2 0x0142\n318 PUSH2 0x0199\n321 JUMP", "size": 150, "truncLabel": "314 JUMPDEST\n315 PUSH2 0x0142\n318 PUSH2 0x0199\n321 JUMP"}, {"color": {"background": "#842899", "border": "#9e42b3", "highlight": {"background": "#933da6", "border": "#9e42b3"}}, "fullLabel": "127 JUMPDEST\n128 PUSH1 0x00\n130 DUP1\n131 REVERT", "id": "19", "isExpanded": false, "label": "127 JUMPDEST\n128 PUSH1 0x00\n130 DUP1\n131 REVERT", "size": 150, "truncLabel": "127 JUMPDEST\n128 PUSH1 0x00\n130 DUP1\n131 REVERT"}, {"color": {"background": "#842899", "border": "#9e42b3", "highlight": {"background": "#933da6", "border": "#9e42b3"}}, "fullLabel": "409 JUMPDEST\n410 PUSH1 0x00\n412 PUSH1 0x01\n414 SLOAD\n415 SWAP1\n416 POP\n417 SWAP1\n418 JUMP", "id": "20", "isExpanded": false, "label": "409 JUMPDEST\n410 PUSH1 0x00\n412 PUSH1 0x01\n414 SLOAD\n415 SWAP1\n416 POP\n(click to expand +)", "size": 150, "truncLabel": "409 JUMPDEST\n410 PUSH1 0x00\n412 PUSH1 0x01\n414 SLOAD\n415 SWAP1\n416 POP\n(click to expand +)"}, {"color": {"background": "#842899", "border": "#9e42b3", "highlight": {"background": "#933da6", "border": "#9e42b3"}}, "fullLabel": "322 JUMPDEST\n323 PUSH1 0x40\n325 MLOAD\n326 DUP1\n327 DUP3\n328 DUP2\n329 MSTORE\n330 PUSH1 0x20\n332 ADD\n333 SWAP2\n334 POP\n335 POP\n336 PUSH1 0x40\n338 MLOAD\n339 DUP1\n340 SWAP2\n341 SUB\n342 SWAP1\n343 RETURN", "id": "21", "isExpanded": false, "label": "322 JUMPDEST\n323 PUSH1 0x40\n325 MLOAD\n326 DUP1\n327 DUP3\n328 DUP2\n(click to expand +)", "size": 150, "truncLabel": "322 JUMPDEST\n323 PUSH1 0x40\n325 MLOAD\n326 DUP1\n327 DUP3\n328 DUP2\n(click to expand +)"}, {"color": {"background": "#842899", "border": "#9e42b3", "highlight": {"background": "#933da6", "border": "#9e42b3"}}, "fullLabel": "290 JUMPDEST\n291 DUP2\n292 ADD\n293 SWAP1\n294 DUP1\n295 DUP1\n296 CALLDATALOAD\n297 SWAP1\n298 PUSH1 0x20\n300 ADD\n301 SWAP1\n302 SWAP3\n303 SWAP2\n304 SWAP1\n305 POP\n306 POP\n307 POP\n308 PUSH2 0x018f\n311 JUMP", "id": "22", "isExpanded": false, "label": "290 JUMPDEST\n291 DUP2\n292 ADD\n293 SWAP1\n294 DUP1\n295 DUP1\n(click to expand +)", "size": 150, "truncLabel": "290 JUMPDEST\n291 DUP2\n292 ADD\n293 SWAP1\n294 DUP1\n295 DUP1\n(click to expand +)"}, {"color": {"background": "#842899", "border": "#9e42b3", "highlight": {"background": "#933da6", "border": "#9e42b3"}}, "fullLabel": "286 PUSH1 0x00\n288 DUP1\n289 REVERT", "id": "23", "isExpanded": false, "label": "286 PUSH1 0x00\n288 DUP1\n289 REVERT", "size": 150, "truncLabel": "286 PUSH1 0x00\n288 DUP1\n289 REVERT"}, {"color": {"background": "#842899", "border": "#9e42b3", "highlight": {"background": "#933da6", "border": "#9e42b3"}}, "fullLabel": "399 JUMPDEST\n400 DUP1\n401 PUSH1 0x00\n403 DUP2\n404 SWAP1\n405 SSTORE\n406 POP\n407 POP\n408 JUMP", "id": "24", "isExpanded": false, "label": "399 JUMPDEST\n400 DUP1\n401 PUSH1 0x00\n403 DUP2\n404 SWAP1\n405 SSTORE\n(click to expand +)", "size": 150, "truncLabel": "399 JUMPDEST\n400 DUP1\n401 PUSH1 0x00\n403 DUP2\n404 SWAP1\n405 SSTORE\n(click to expand +)"}, {"color": {"background": "#842899", "border": "#9e42b3", "highlight": {"background": "#933da6", "border": "#9e42b3"}}, "fullLabel": "312 JUMPDEST\n313 STOP", "id": "25", "isExpanded": false, "label": "312 JUMPDEST\n313 STOP", "size": 150, "truncLabel": "312 JUMPDEST\n313 STOP"}, {"color": {"background": "#842899", "border": "#9e42b3", "highlight": {"background": "#933da6", "border": "#9e42b3"}}, "fullLabel": "393 JUMPDEST\n394 PUSH1 0x01\n396 SLOAD\n397 DUP2\n398 JUMP", "id": "26", "isExpanded": false, "label": "393 JUMPDEST\n394 PUSH1 0x01\n396 SLOAD\n397 DUP2\n398 JUMP", "size": 150, "truncLabel": "393 JUMPDEST\n394 PUSH1 0x01\n396 SLOAD\n397 DUP2\n398 JUMP"}, {"color": {"background": "#842899", "border": "#9e42b3", "highlight": {"background": "#933da6", "border": "#9e42b3"}}, "fullLabel": "246 JUMPDEST\n247 PUSH1 0x40\n249 MLOAD\n250 DUP1\n251 DUP3\n252 DUP2\n253 MSTORE\n254 PUSH1 0x20\n256 ADD\n257 SWAP2\n258 POP\n259 POP\n260 PUSH1 0x40\n262 MLOAD\n263 DUP1\n264 SWAP2\n265 SUB\n266 SWAP1\n267 RETURN", "id": "27", "isExpanded": false, "label": "246 JUMPDEST\n247 PUSH1 0x40\n249 MLOAD\n250 DUP1\n251 DUP3\n252 DUP2\n(click to expand +)", "size": 150, "truncLabel": "246 JUMPDEST\n247 PUSH1 0x40\n249 MLOAD\n250 DUP1\n251 DUP3\n252 DUP2\n(click to expand +)"}, {"color": {"background": "#842899", "border": "#9e42b3", "highlight": {"background": "#933da6", "border": "#9e42b3"}}, "fullLabel": "384 JUMPDEST\n385 PUSH1 0x00\n387 DUP1\n388 SLOAD\n389 SWAP1\n390 POP\n391 SWAP1\n392 JUMP", "id": "28", "isExpanded": false, "label": "384 JUMPDEST\n385 PUSH1 0x00\n387 DUP1\n388 SLOAD\n389 SWAP1\n390 POP\n(click to expand +)", "size": 150, "truncLabel": "384 JUMPDEST\n385 PUSH1 0x00\n387 DUP1\n388 SLOAD\n389 SWAP1\n390 POP\n(click to expand +)"}, {"color": {"background": "#842899", "border": "#9e42b3", "highlight": {"background": "#933da6", "border": "#9e42b3"}}, "fullLabel": "216 JUMPDEST\n217 PUSH1 0x40\n219 MLOAD\n220 DUP1\n221 DUP3\n222 DUP2\n223 MSTORE\n224 PUSH1 0x20\n226 ADD\n227 SWAP2\n228 POP\n229 POP\n230 PUSH1 0x40\n232 MLOAD\n233 DUP1\n234 SWAP2\n235 SUB\n236 SWAP1\n237 RETURN", "id": "29", "isExpanded": false, "label": "216 JUMPDEST\n217 PUSH1 0x40\n219 MLOAD\n220 DUP1\n221 DUP3\n222 DUP2\n(click to expand +)", "size": 150, "truncLabel": "216 JUMPDEST\n217 PUSH1 0x40\n219 MLOAD\n220 DUP1\n221 DUP3\n222 DUP2\n(click to expand +)"}, {"color": {"background": "#842899", "border": "#9e42b3", "highlight": {"background": "#933da6", "border": "#9e42b3"}}, "fullLabel": "378 JUMPDEST\n379 PUSH1 0x00\n381 SLOAD\n382 DUP2\n383 JUMP", "id": "30", "isExpanded": false, "label": "378 JUMPDEST\n379 PUSH1 0x00\n381 SLOAD\n382 DUP2\n383 JUMP", "size": 150, "truncLabel": "378 JUMPDEST\n379 PUSH1 0x00\n381 SLOAD\n382 DUP2\n383 JUMP"}, {"color": {"background": "#842899", "border": "#9e42b3", "highlight": {"background": "#933da6", "border": "#9e42b3"}}, "fullLabel": "186 JUMPDEST\n187 PUSH1 0x40\n189 MLOAD\n190 DUP1\n191 DUP3\n192 DUP2\n193 MSTORE\n194 PUSH1 0x20\n196 ADD\n197 SWAP2\n198 POP\n199 POP\n200 PUSH1 0x40\n202 MLOAD\n203 DUP1\n204 SWAP2\n205 SUB\n206 SWAP1\n207 RETURN", "id": "31", "isExpanded": false, "label": "186 JUMPDEST\n187 PUSH1 0x40\n189 MLOAD\n190 DUP1\n191 DUP3\n192 DUP2\n(click to expand +)", "size": 150, "truncLabel": "186 JUMPDEST\n187 PUSH1 0x40\n189 MLOAD\n190 DUP1\n191 DUP3\n192 DUP2\n(click to expand +)"}, {"color": {"background": "#842899", "border": "#9e42b3", "highlight": {"background": "#933da6", "border": "#9e42b3"}}, "fullLabel": "154 JUMPDEST\n155 DUP2\n156 ADD\n157 SWAP1\n158 DUP1\n159 DUP1\n160 CALLDATALOAD\n161 SWAP1\n162 PUSH1 0x20\n164 ADD\n165 SWAP1\n166 SWAP3\n167 SWAP2\n168 SWAP1\n169 POP\n170 POP\n171 POP\n172 PUSH2 0x0158\n175 JUMP", "id": "32", "isExpanded": false, "label": "154 JUMPDEST\n155 DUP2\n156 ADD\n157 SWAP1\n158 DUP1\n159 DUP1\n(click to expand +)", "size": 150, "truncLabel": "154 JUMPDEST\n155 DUP2\n156 ADD\n157 SWAP1\n158 DUP1\n159 DUP1\n(click to expand +)"}, {"color": {"background": "#842899", "border": "#9e42b3", "highlight": {"background": "#933da6", "border": "#9e42b3"}}, "fullLabel": "150 PUSH1 0x00\n152 DUP1\n153 REVERT", "id": "33", "isExpanded": false, "label": "150 PUSH1 0x00\n152 DUP1\n153 REVERT", "size": 150, "truncLabel": "150 PUSH1 0x00\n152 DUP1\n153 REVERT"}, {"color": {"background": "#842899", "border": "#9e42b3", "highlight": {"background": "#933da6", "border": "#9e42b3"}}, "fullLabel": "344 JUMPDEST\n345 PUSH1 0x0a\n347 DUP2\n348 GT\n349 ISZERO\n350 PUSH2 0x016e\n353 JUMPI", "id": "34", "isExpanded": false, "label": "344 JUMPDEST\n345 PUSH1 0x0a\n347 DUP2\n348 GT\n349 ISZERO\n350 PUSH2 0x016e\n(click to expand +)", "size": 150, "truncLabel": "344 JUMPDEST\n345 PUSH1 0x0a\n347 DUP2\n348 GT\n349 ISZERO\n350 PUSH2 0x016e\n(click to expand +)"}, {"color": {"background": "#842899", "border": "#9e42b3", "highlight": {"background": "#933da6", "border": "#9e42b3"}}, "fullLabel": "366 JUMPDEST\n367 PUSH1 0x1e\n369 PUSH1 0x01\n371 DUP2\n372 SWAP1\n373 SSTORE\n374 POP\n375 JUMPDEST\n376 POP\n377 JUMP", "id": "35", "isExpanded": false, "label": "366 JUMPDEST\n367 PUSH1 0x1e\n369 PUSH1 0x01\n371 DUP2\n372 SWAP1\n373 SSTORE\n(click to expand +)", "size": 150, "truncLabel": "366 JUMPDEST\n367 PUSH1 0x1e\n369 PUSH1 0x01\n371 DUP2\n372 SWAP1\n373 SSTORE\n(click to expand +)"}, {"color": {"background": "#842899", "border": "#9e42b3", "highlight": {"background": "#933da6", "border": "#9e42b3"}}, "fullLabel": "354 PUSH1 0x64\n356 PUSH1 0x01\n358 DUP2\n359 SWAP1\n360 SSTORE\n361 POP\n362 PUSH2 0x0177\n365 JUMP", "id": "36", "isExpanded": false, "label": "354 PUSH1 0x64\n356 PUSH1 0x01\n358 DUP2\n359 SWAP1\n360 SSTORE\n361 POP\n(click to expand +)", "size": 150, "truncLabel": "354 PUSH1 0x64\n356 PUSH1 0x01\n358 DUP2\n359 SWAP1\n360 SSTORE\n361 POP\n(click to expand +)"}, {"color": {"background": "#842899", "border": "#9e42b3", "highlight": {"background": "#933da6", "border": "#9e42b3"}}, "fullLabel": "375 JUMPDEST\n376 POP\n377 JUMP", "id": "37", "isExpanded": false, "label": "375 JUMPDEST\n376 POP\n377 JUMP", "size": 150, "truncLabel": "375 JUMPDEST\n376 POP\n377 JUMP"}, {"color": {"background": "#842899", "border": "#9e42b3", "highlight": {"background": "#933da6", "border": "#9e42b3"}}, "fullLabel": "176 JUMPDEST\n177 STOP", "id": "38", "isExpanded": false, "label": "176 JUMPDEST\n177 STOP", "size": 150, "truncLabel": "176 JUMPDEST\n177 STOP"}, {"color": {"background": "#842899", "border": "#9e42b3", "highlight": {"background": "#933da6", "border": "#9e42b3"}}, "fullLabel": "176 JUMPDEST\n177 STOP", "id": "39", "isExpanded": false, "label": "176 JUMPDEST\n177 STOP", "size": 150, "truncLabel": "176 JUMPDEST\n177 STOP"}, {"color": {"background": "#842899", "border": "#9e42b3", "highlight": {"background": "#933da6", "border": "#9e42b3"}}, "fullLabel": "0 PUSH1 0x80\n2 PUSH1 0x40\n4 MSTORE\n5 CALLVALUE\n6 DUP1\n7 ISZERO\n8 PUSH2 0x0010\n11 JUMPI", "id": "40", "isExpanded": false, "label": "0 PUSH1 0x80\n2 PUSH1 0x40\n4 MSTORE\n5 CALLVALUE\n6 DUP1\n7 ISZERO\n(click to expand +)", "size": 150, "truncLabel": "0 PUSH1 0x80\n2 PUSH1 0x40\n4 MSTORE\n5 CALLVALUE\n6 DUP1\n7 ISZERO\n(click to expand +)"}, {"color": {"background": "#842899", "border": "#9e42b3", "highlight": {"background": "#933da6", "border": "#9e42b3"}}, "fullLabel": "0 PUSH1 0x80\n2 PUSH1 0x40\n4 MSTORE\n5 CALLVALUE\n6 DUP1\n7 ISZERO\n8 PUSH2 0x0010\n11 JUMPI", "id": "41", "isExpanded": false, "label": "0 PUSH1 0x80\n2 PUSH1 0x40\n4 MSTORE\n5 CALLVALUE\n6 DUP1\n7 ISZERO\n(click to expand +)", "size": 150, "truncLabel": "0 PUSH1 0x80\n2 PUSH1 0x40\n4 MSTORE\n5 CALLVALUE\n6 DUP1\n7 ISZERO\n(click to expand +)"}, {"color": {"background": "#842899", "border": "#9e42b3", "highlight": {"background": "#933da6", "border": "#9e42b3"}}, "fullLabel": "0 PUSH1 0x80\n2 PUSH1 0x40\n4 MSTORE\n5 CALLVALUE\n6 DUP1\n7 ISZERO\n8 PUSH2 0x0010\n11 JUMPI", "id": "42", "isExpanded": false, "label": "0 PUSH1 0x80\n2 PUSH1 0x40\n4 MSTORE\n5 CALLVALUE\n6 DUP1\n7 ISZERO\n(click to expand +)", "size": 150, "truncLabel": "0 PUSH1 0x80\n2 PUSH1 0x40\n4 MSTORE\n5 CALLVALUE\n6 DUP1\n7 ISZERO\n(click to expand +)"}, {"color": {"background": "#842899", "border": "#9e42b3", "highlight": {"background": "#933da6", "border": "#9e42b3"}}, "fullLabel": "16 JUMPDEST\n17 POP\n18 PUSH1 0x04\n20 CALLDATASIZE\n21 LT\n22 PUSH2 0x007f\n25 JUMPI", "id": "43", "isExpanded": false, "label": "16 JUMPDEST\n17 POP\n18 PUSH1 0x04\n20 CALLDATASIZE\n21 LT\n22 PUSH2 0x007f\n(click to expand +)", "size": 150, "truncLabel": "16 JUMPDEST\n17 POP\n18 PUSH1 0x04\n20 CALLDATASIZE\n21 LT\n22 PUSH2 0x007f\n(click to expand +)"}, {"color": {"background": "#842899", "border": "#9e42b3", "highlight": {"background": "#933da6", "border": "#9e42b3"}}, "fullLabel": "12 PUSH1 0x00\n14 DUP1\n15 REVERT", "id": "44", "isExpanded": false, "label": "12 PUSH1 0x00\n14 DUP1\n15 REVERT", "size": 150, "truncLabel": "12 PUSH1 0x00\n14 DUP1\n15 REVERT"}, {"color": {"background": "#842899", "border": "#9e42b3", "highlight": {"background": "#933da6", "border": "#9e42b3"}}, "fullLabel": "127 JUMPDEST\n128 PUSH1 0x00\n130 DUP1\n131 REVERT", "id": "45", "isExpanded": false, "label": "127 JUMPDEST\n128 PUSH1 0x00\n130 DUP1\n131 REVERT", "size": 150, "truncLabel": "127 JUMPDEST\n128 PUSH1 0x00\n130 DUP1\n131 REVERT"}, {"color": {"background": "#842899", "border": "#9e42b3", "highlight": {"background": "#933da6", "border": "#9e42b3"}}, "fullLabel": "26 PUSH1 0x00\n28 CALLDATALOAD\n29 PUSH29 0x01000000(...)\n59 SWAP1\n60 DIV\n61 DUP1\n62 PUSH4 0x0685a2aa\n67 EQ\n68 PUSH2 0x0084\n71 JUMPI", "id": "46", "isExpanded": false, "label": "26 PUSH1 0x00\n28 CALLDATALOAD\n29 PUSH29 0x01000000(...)\n59 SWAP1\n60 DIV\n61 DUP1\n(click to expand +)", "size": 150, "truncLabel": "26 PUSH1 0x00\n28 CALLDATALOAD\n29 PUSH29 0x01000000(...)\n59 SWAP1\n60 DIV\n61 DUP1\n(click to expand +)"}, {"color": {"background": "#842899", "border": "#9e42b3", "highlight": {"background": "#933da6", "border": "#9e42b3"}}, "fullLabel": "72 DUP1\n73 PUSH4 0x0dbe671f\n78 EQ\n79 PUSH2 0x00b2\n82 JUMPI", "id": "47", "isExpanded": false, "label": "72 DUP1\n73 PUSH4 0x0dbe671f\n78 EQ\n79 PUSH2 0x00b2\n82 JUMPI", "size": 150, "truncLabel": "72 DUP1\n73 PUSH4 0x0dbe671f\n78 EQ\n79 PUSH2 0x00b2\n82 JUMPI"}, {"color": {"background": "#842899", "border": "#9e42b3", "highlight": {"background": "#933da6", "border": "#9e42b3"}}, "fullLabel": "83 DUP1\n84 PUSH4 0x28bbdc02\n89 EQ\n90 PUSH2 0x00d0\n93 JUMPI", "id": "48", "isExpanded": false, "label": "83 DUP1\n84 PUSH4 0x28bbdc02\n89 EQ\n90 PUSH2 0x00d0\n93 JUMPI", "size": 150, "truncLabel": "83 DUP1\n84 PUSH4 0x28bbdc02\n89 EQ\n90 PUSH2 0x00d0\n93 JUMPI"}, {"color": {"background": "#842899", "border": "#9e42b3", "highlight": {"background": "#933da6", "border": "#9e42b3"}}, "fullLabel": "94 DUP1\n95 PUSH4 0x4df7e3d0\n100 EQ\n101 PUSH2 0x00ee\n104 JUMPI", "id": "49", "isExpanded": false, "label": "94 DUP1\n95 PUSH4 0x4df7e3d0\n100 EQ\n101 PUSH2 0x00ee\n104 JUMPI", "size": 150, "truncLabel": "94 DUP1\n95 PUSH4 0x4df7e3d0\n100 EQ\n101 PUSH2 0x00ee\n104 JUMPI"}, {"color": {"background": "#842899", "border": "#9e42b3", "highlight": {"background": "#933da6", "border": "#9e42b3"}}, "fullLabel": "105 DUP1\n106 PUSH4 0x725933d0\n111 EQ\n112 PUSH2 0x010c\n115 JUMPI", "id": "50", "isExpanded": false, "label": "105 DUP1\n106 PUSH4 0x725933d0\n111 EQ\n112 PUSH2 0x010c\n115 JUMPI", "size": 150, "truncLabel": "105 DUP1\n106 PUSH4 0x725933d0\n111 EQ\n112 PUSH2 0x010c\n115 JUMPI"}, {"color": {"background": "#842899", "border": "#9e42b3", "highlight": {"background": "#933da6", "border": "#9e42b3"}}, "fullLabel": "116 DUP1\n117 PUSH4 0xf318597a\n122 EQ\n123 PUSH2 0x013a\n126 JUMPI", "id": "51", "isExpanded": false, "label": "116 DUP1\n117 PUSH4 0xf318597a\n122 EQ\n123 PUSH2 0x013a\n126 JUMPI", "size": 150, "truncLabel": "116 DUP1\n117 PUSH4 0xf318597a\n122 EQ\n123 PUSH2 0x013a\n126 JUMPI"}, {"color": {"background": "#842899", "border": "#9e42b3", "highlight": {"background": "#933da6", "border": "#9e42b3"}}, "fullLabel": "127 JUMPDEST\n128 PUSH1 0x00\n130 DUP1\n131 REVERT", "id": "52", "isExpanded": false, "label": "127 JUMPDEST\n128 PUSH1 0x00\n130 DUP1\n131 REVERT", "size": 150, "truncLabel": "127 JUMPDEST\n128 PUSH1 0x00\n130 DUP1\n131 REVERT"}, {"color": {"background": "#842899", "border": "#9e42b3", "highlight": {"background": "#933da6", "border": "#9e42b3"}}, "fullLabel": "314 JUMPDEST\n315 PUSH2 0x0142\n318 PUSH2 0x0199\n321 JUMP", "id": "53", "isExpanded": false, "label": "314 JUMPDEST\n315 PUSH2 0x0142\n318 PUSH2 0x0199\n321 JUMP", "size": 150, "truncLabel": "314 JUMPDEST\n315 PUSH2 0x0142\n318 PUSH2 0x0199\n321 JUMP"}, {"color": {"background": "#842899", "border": "#9e42b3", "highlight": {"background": "#933da6", "border": "#9e42b3"}}, "fullLabel": "409 JUMPDEST\n410 PUSH1 0x00\n412 PUSH1 0x01\n414 SLOAD\n415 SWAP1\n416 POP\n417 SWAP1\n418 JUMP", "id": "54", "isExpanded": false, "label": "409 JUMPDEST\n410 PUSH1 0x00\n412 PUSH1 0x01\n414 SLOAD\n415 SWAP1\n416 POP\n(click to expand +)", "size": 150, "truncLabel": "409 JUMPDEST\n410 PUSH1 0x00\n412 PUSH1 0x01\n414 SLOAD\n415 SWAP1\n416 POP\n(click to expand +)"}, {"color": {"background": "#842899", "border": "#9e42b3", "highlight": {"background": "#933da6", "border": "#9e42b3"}}, "fullLabel": "322 JUMPDEST\n323 PUSH1 0x40\n325 MLOAD\n326 DUP1\n327 DUP3\n328 DUP2\n329 MSTORE\n330 PUSH1 0x20\n332 ADD\n333 SWAP2\n334 POP\n335 POP\n336 PUSH1 0x40\n338 MLOAD\n339 DUP1\n340 SWAP2\n341 SUB\n342 SWAP1\n343 RETURN", "id": "55", "isExpanded": false, "label": "322 JUMPDEST\n323 PUSH1 0x40\n325 MLOAD\n326 DUP1\n327 DUP3\n328 DUP2\n(click to expand +)", "size": 150, "truncLabel": "322 JUMPDEST\n323 PUSH1 0x40\n325 MLOAD\n326 DUP1\n327 DUP3\n328 DUP2\n(click to expand +)"}, {"color": {"background": "#842899", "border": "#9e42b3", "highlight": {"background": "#933da6", "border": "#9e42b3"}}, "fullLabel": "16 JUMPDEST\n17 POP\n18 PUSH1 0x04\n20 CALLDATASIZE\n21 LT\n22 PUSH2 0x007f\n25 JUMPI", "id": "56", "isExpanded": false, "label": "16 JUMPDEST\n17 POP\n18 PUSH1 0x04\n20 CALLDATASIZE\n21 LT\n22 PUSH2 0x007f\n(click to expand +)", "size": 150, "truncLabel": "16 JUMPDEST\n17 POP\n18 PUSH1 0x04\n20 CALLDATASIZE\n21 LT\n22 PUSH2 0x007f\n(click to expand +)"}, {"color": {"background": "#842899", "border": "#9e42b3", "highlight": {"background": "#933da6", "border": "#9e42b3"}}, "fullLabel": "12 PUSH1 0x00\n14 DUP1\n15 REVERT", "id": "57", "isExpanded": false, "label": "12 PUSH1 0x00\n14 DUP1\n15 REVERT", "size": 150, "truncLabel": "12 PUSH1 0x00\n14 DUP1\n15 REVERT"}, {"color": {"background": "#842899", "border": "#9e42b3", "highlight": {"background": "#933da6", "border": "#9e42b3"}}, "fullLabel": "127 JUMPDEST\n128 PUSH1 0x00\n130 DUP1\n131 REVERT", "id": "58", "isExpanded": false, "label": "127 JUMPDEST\n128 PUSH1 0x00\n130 DUP1\n131 REVERT", "size": 150, "truncLabel": "127 JUMPDEST\n128 PUSH1 0x00\n130 DUP1\n131 REVERT"}, {"color": {"background": "#842899", "border": "#9e42b3", "highlight": {"background": "#933da6", "border": "#9e42b3"}}, "fullLabel": "26 PUSH1 0x00\n28 CALLDATALOAD\n29 PUSH29 0x01000000(...)\n59 SWAP1\n60 DIV\n61 DUP1\n62 PUSH4 0x0685a2aa\n67 EQ\n68 PUSH2 0x0084\n71 JUMPI", "id": "59", "isExpanded": false, "label": "26 PUSH1 0x00\n28 CALLDATALOAD\n29 PUSH29 0x01000000(...)\n59 SWAP1\n60 DIV\n61 DUP1\n(click to expand +)", "size": 150, "truncLabel": "26 PUSH1 0x00\n28 CALLDATALOAD\n29 PUSH29 0x01000000(...)\n59 SWAP1\n60 DIV\n61 DUP1\n(click to expand +)"}, {"color": {"background": "#842899", "border": "#9e42b3", "highlight": {"background": "#933da6", "border": "#9e42b3"}}, "fullLabel": "72 DUP1\n73 PUSH4 0x0dbe671f\n78 EQ\n79 PUSH2 0x00b2\n82 JUMPI", "id": "60", "isExpanded": false, "label": "72 DUP1\n73 PUSH4 0x0dbe671f\n78 EQ\n79 PUSH2 0x00b2\n82 JUMPI", "size": 150, "truncLabel": "72 DUP1\n73 PUSH4 0x0dbe671f\n78 EQ\n79 PUSH2 0x00b2\n82 JUMPI"}, {"color": {"background": "#842899", "border": "#9e42b3", "highlight": {"background": "#933da6", "border": "#9e42b3"}}, "fullLabel": "83 DUP1\n84 PUSH4 0x28bbdc02\n89 EQ\n90 PUSH2 0x00d0\n93 JUMPI", "id": "61", "isExpanded": false, "label": "83 DUP1\n84 PUSH4 0x28bbdc02\n89 EQ\n90 PUSH2 0x00d0\n93 JUMPI", "size": 150, "truncLabel": "83 DUP1\n84 PUSH4 0x28bbdc02\n89 EQ\n90 PUSH2 0x00d0\n93 JUMPI"}, {"color": {"background": "#842899", "border": "#9e42b3", "highlight": {"background": "#933da6", "border": "#9e42b3"}}, "fullLabel": "94 DUP1\n95 PUSH4 0x4df7e3d0\n100 EQ\n101 PUSH2 0x00ee\n104 JUMPI", "id": "62", "isExpanded": false, "label": "94 DUP1\n95 PUSH4 0x4df7e3d0\n100 EQ\n101 PUSH2 0x00ee\n104 JUMPI", "size": 150, "truncLabel": "94 DUP1\n95 PUSH4 0x4df7e3d0\n100 EQ\n101 PUSH2 0x00ee\n104 JUMPI"}, {"color": {"background": "#842899", "border": "#9e42b3", "highlight": {"background": "#933da6", "border": "#9e42b3"}}, "fullLabel": "105 DUP1\n106 PUSH4 0x725933d0\n111 EQ\n112 PUSH2 0x010c\n115 JUMPI", "id": "63", "isExpanded": false, "label": "105 DUP1\n106 PUSH4 0x725933d0\n111 EQ\n112 PUSH2 0x010c\n115 JUMPI", "size": 150, "truncLabel": "105 DUP1\n106 PUSH4 0x725933d0\n111 EQ\n112 PUSH2 0x010c\n115 JUMPI"}, {"color": {"background": "#842899", "border": "#9e42b3", "highlight": {"background": "#933da6", "border": "#9e42b3"}}, "fullLabel": "116 DUP1\n117 PUSH4 0xf318597a\n122 EQ\n123 PUSH2 0x013a\n126 JUMPI", "id": "64", "isExpanded": false, "label": "116 DUP1\n117 PUSH4 0xf318597a\n122 EQ\n123 PUSH2 0x013a\n126 JUMPI", "size": 150, "truncLabel": "116 DUP1\n117 PUSH4 0xf318597a\n122 EQ\n123 PUSH2 0x013a\n126 JUMPI"}, {"color": {"background": "#842899", "border": "#9e42b3", "highlight": {"background": "#933da6", "border": "#9e42b3"}}, "fullLabel": "127 JUMPDEST\n128 PUSH1 0x00\n130 DUP1\n131 REVERT", "id": "65", "isExpanded": false, "label": "127 JUMPDEST\n128 PUSH1 0x00\n130 DUP1\n131 REVERT", "size": 150, "truncLabel": "127 JUMPDEST\n128 PUSH1 0x00\n130 DUP1\n131 REVERT"}, {"color": {"background": "#842899", "border": "#9e42b3", "highlight": {"background": "#933da6", "border": "#9e42b3"}}, "fullLabel": "16 JUMPDEST\n17 POP\n18 PUSH1 0x04\n20 CALLDATASIZE\n21 LT\n22 PUSH2 0x007f\n25 JUMPI", "id": "66", "isExpanded": false, "label": "16 JUMPDEST\n17 POP\n18 PUSH1 0x04\n20 CALLDATASIZE\n21 LT\n22 PUSH2 0x007f\n(click to expand +)", "size": 150, "truncLabel": "16 JUMPDEST\n17 POP\n18 PUSH1 0x04\n20 CALLDATASIZE\n21 LT\n22 PUSH2 0x007f\n(click to expand +)"}, {"color": {"background": "#842899", "border": "#9e42b3", "highlight": {"background": "#933da6", "border": "#9e42b3"}}, "fullLabel": "12 PUSH1 0x00\n14 DUP1\n15 REVERT", "id": "67", "isExpanded": false, "label": "12 PUSH1 0x00\n14 DUP1\n15 REVERT", "size": 150, "truncLabel": "12 PUSH1 0x00\n14 DUP1\n15 REVERT"}, {"color": {"background": "#842899", "border": "#9e42b3", "highlight": {"background": "#933da6", "border": "#9e42b3"}}, "fullLabel": "127 JUMPDEST\n128 PUSH1 0x00\n130 DUP1\n131 REVERT", "id": "68", "isExpanded": false, "label": "127 JUMPDEST\n128 PUSH1 0x00\n130 DUP1\n131 REVERT", "size": 150, "truncLabel": "127 JUMPDEST\n128 PUSH1 0x00\n130 DUP1\n131 REVERT"}, {"color": {"background": "#842899", "border": "#9e42b3", "highlight": {"background": "#933da6", "border": "#9e42b3"}}, "fullLabel": "26 PUSH1 0x00\n28 CALLDATALOAD\n29 PUSH29 0x01000000(...)\n59 SWAP1\n60 DIV\n61 DUP1\n62 PUSH4 0x0685a2aa\n67 EQ\n68 PUSH2 0x0084\n71 JUMPI", "id": "69", "isExpanded": false, "label": "26 PUSH1 0x00\n28 CALLDATALOAD\n29 PUSH29 0x01000000(...)\n59 SWAP1\n60 DIV\n61 DUP1\n(click to expand +)", "size": 150, "truncLabel": "26 PUSH1 0x00\n28 CALLDATALOAD\n29 PUSH29 0x01000000(...)\n59 SWAP1\n60 DIV\n61 DUP1\n(click to expand +)"}, {"color": {"background": "#842899", "border": "#9e42b3", "highlight": {"background": "#933da6", "border": "#9e42b3"}}, "fullLabel": "72 DUP1\n73 PUSH4 0x0dbe671f\n78 EQ\n79 PUSH2 0x00b2\n82 JUMPI", "id": "70", "isExpanded": false, "label": "72 DUP1\n73 PUSH4 0x0dbe671f\n78 EQ\n79 PUSH2 0x00b2\n82 JUMPI", "size": 150, "truncLabel": "72 DUP1\n73 PUSH4 0x0dbe671f\n78 EQ\n79 PUSH2 0x00b2\n82 JUMPI"}, {"color": {"background": "#842899", "border": "#9e42b3", "highlight": {"background": "#933da6", "border": "#9e42b3"}}, "fullLabel": "83 DUP1\n84 PUSH4 0x28bbdc02\n89 EQ\n90 PUSH2 0x00d0\n93 JUMPI", "id": "71", "isExpanded": false, "label": "83 DUP1\n84 PUSH4 0x28bbdc02\n89 EQ\n90 PUSH2 0x00d0\n93 JUMPI", "size": 150, "truncLabel": "83 DUP1\n84 PUSH4 0x28bbdc02\n89 EQ\n90 PUSH2 0x00d0\n93 JUMPI"}, {"color": {"background": "#842899", "border": "#9e42b3", "highlight": {"background": "#933da6", "border": "#9e42b3"}}, "fullLabel": "94 DUP1\n95 PUSH4 0x4df7e3d0\n100 EQ\n101 PUSH2 0x00ee\n104 JUMPI", "id": "72", "isExpanded": false, "label": "94 DUP1\n95 PUSH4 0x4df7e3d0\n100 EQ\n101 PUSH2 0x00ee\n104 JUMPI", "size": 150, "truncLabel": "94 DUP1\n95 PUSH4 0x4df7e3d0\n100 EQ\n101 PUSH2 0x00ee\n104 JUMPI"}, {"color": {"background": "#842899", "border": "#9e42b3", "highlight": {"background": "#933da6", "border": "#9e42b3"}}, "fullLabel": "208 JUMPDEST\n209 PUSH2 0x00d8\n212 PUSH2 0x0180\n215 JUMP", "id": "73", "isExpanded": false, "label": "208 JUMPDEST\n209 PUSH2 0x00d8\n212 PUSH2 0x0180\n215 JUMP", "size": 150, "truncLabel": "208 JUMPDEST\n209 PUSH2 0x00d8\n212 PUSH2 0x0180\n215 JUMP"}, {"color": {"background": "#842899", "border": "#9e42b3", "highlight": {"background": "#933da6", "border": "#9e42b3"}}, "fullLabel": "384 JUMPDEST\n385 PUSH1 0x00\n387 DUP1\n388 SLOAD\n389 SWAP1\n390 POP\n391 SWAP1\n392 JUMP", "id": "74", "isExpanded": false, "label": "384 JUMPDEST\n385 PUSH1 0x00\n387 DUP1\n388 SLOAD\n389 SWAP1\n390 POP\n(click to expand +)", "size": 150, "truncLabel": "384 JUMPDEST\n385 PUSH1 0x00\n387 DUP1\n388 SLOAD\n389 SWAP1\n390 POP\n(click to expand +)"}, {"color": {"background": "#842899", "border": "#9e42b3", "highlight": {"background": "#933da6", "border": "#9e42b3"}}, "fullLabel": "216 JUMPDEST\n217 PUSH1 0x40\n219 MLOAD\n220 DUP1\n221 DUP3\n222 DUP2\n223 MSTORE\n224 PUSH1 0x20\n226 ADD\n227 SWAP2\n228 POP\n229 POP\n230 PUSH1 0x40\n232 MLOAD\n233 DUP1\n234 SWAP2\n235 SUB\n236 SWAP1\n237 RETURN", "id": "75", "isExpanded": false, "label": "216 JUMPDEST\n217 PUSH1 0x40\n219 MLOAD\n220 DUP1\n221 DUP3\n222 DUP2\n(click to expand +)", "size": 150, "truncLabel": "216 JUMPDEST\n217 PUSH1 0x40\n219 MLOAD\n220 DUP1\n221 DUP3\n222 DUP2\n(click to expand +)"}, {"color": {"background": "#842899", "border": "#9e42b3", "highlight": {"background": "#933da6", "border": "#9e42b3"}}, "fullLabel": "105 DUP1\n106 PUSH4 0x725933d0\n111 EQ\n112 PUSH2 0x010c\n115 JUMPI", "id": "76", "isExpanded": false, "label": "105 DUP1\n106 PUSH4 0x725933d0\n111 EQ\n112 PUSH2 0x010c\n115 JUMPI", "size": 150, "truncLabel": "105 DUP1\n106 PUSH4 0x725933d0\n111 EQ\n112 PUSH2 0x010c\n115 JUMPI"}, {"color": {"background": "#842899", "border": "#9e42b3", "highlight": {"background": "#933da6", "border": "#9e42b3"}}, "fullLabel": "116 DUP1\n117 PUSH4 0xf318597a\n122 EQ\n123 PUSH2 0x013a\n126 JUMPI", "id": "77", "isExpanded": false, "label": "116 DUP1\n117 PUSH4 0xf318597a\n122 EQ\n123 PUSH2 0x013a\n126 JUMPI", "size": 150, "truncLabel": "116 DUP1\n117 PUSH4 0xf318597a\n122 EQ\n123 PUSH2 0x013a\n126 JUMPI"}, {"color": {"background": "#842899", "border": "#9e42b3", "highlight": {"background": "#933da6", "border": "#9e42b3"}}, "fullLabel": "127 JUMPDEST\n128 PUSH1 0x00\n130 DUP1\n131 REVERT", "id": "78", "isExpanded": false, "label": "127 JUMPDEST\n128 PUSH1 0x00\n130 DUP1\n131 REVERT", "size": 150, "truncLabel": "127 JUMPDEST\n128 PUSH1 0x00\n130 DUP1\n131 REVERT"}, {"color": {"background": "#842899", "border": "#9e42b3", "highlight": {"background": "#933da6", "border": "#9e42b3"}}, "fullLabel": "0 PUSH1 0x80\n2 PUSH1 0x40\n4 MSTORE\n5 CALLVALUE\n6 DUP1\n7 ISZERO\n8 PUSH2 0x0010\n11 JUMPI", "id": "79", "isExpanded": false, "label": "0 PUSH1 0x80\n2 PUSH1 0x40\n4 MSTORE\n5 CALLVALUE\n6 DUP1\n7 ISZERO\n(click to expand +)", "size": 150, "truncLabel": "0 PUSH1 0x80\n2 PUSH1 0x40\n4 MSTORE\n5 CALLVALUE\n6 DUP1\n7 ISZERO\n(click to expand +)"}, {"color": {"background": "#842899", "border": "#9e42b3", "highlight": {"background": "#933da6", "border": "#9e42b3"}}, "fullLabel": "0 PUSH1 0x80\n2 PUSH1 0x40\n4 MSTORE\n5 CALLVALUE\n6 DUP1\n7 ISZERO\n8 PUSH2 0x0010\n11 JUMPI", "id": "80", "isExpanded": false, "label": "0 PUSH1 0x80\n2 PUSH1 0x40\n4 MSTORE\n5 CALLVALUE\n6 DUP1\n7 ISZERO\n(click to expand +)", "size": 150, "truncLabel": "0 PUSH1 0x80\n2 PUSH1 0x40\n4 MSTORE\n5 CALLVALUE\n6 DUP1\n7 ISZERO\n(click to expand +)"}, {"color": {"background": "#842899", "border": "#9e42b3", "highlight": {"background": "#933da6", "border": "#9e42b3"}}, "fullLabel": "16 JUMPDEST\n17 POP\n18 PUSH1 0x04\n20 CALLDATASIZE\n21 LT\n22 PUSH2 0x007f\n25 JUMPI", "id": "81", "isExpanded": false, "label": "16 JUMPDEST\n17 POP\n18 PUSH1 0x04\n20 CALLDATASIZE\n21 LT\n22 PUSH2 0x007f\n(click to expand +)", "size": 150, "truncLabel": "16 JUMPDEST\n17 POP\n18 PUSH1 0x04\n20 CALLDATASIZE\n21 LT\n22 PUSH2 0x007f\n(click to expand +)"}, {"color": {"background": "#842899", "border": "#9e42b3", "highlight": {"background": "#933da6", "border": "#9e42b3"}}, "fullLabel": "12 PUSH1 0x00\n14 DUP1\n15 REVERT", "id": "82", "isExpanded": false, "label": "12 PUSH1 0x00\n14 DUP1\n15 REVERT", "size": 150, "truncLabel": "12 PUSH1 0x00\n14 DUP1\n15 REVERT"}, {"color": {"background": "#842899", "border": "#9e42b3", "highlight": {"background": "#933da6", "border": "#9e42b3"}}, "fullLabel": "127 JUMPDEST\n128 PUSH1 0x00\n130 DUP1\n131 REVERT", "id": "83", "isExpanded": false, "label": "127 JUMPDEST\n128 PUSH1 0x00\n130 DUP1\n131 REVERT", "size": 150, "truncLabel": "127 JUMPDEST\n128 PUSH1 0x00\n130 DUP1\n131 REVERT"}, {"color": {"background": "#842899", "border": "#9e42b3", "highlight": {"background": "#933da6", "border": "#9e42b3"}}, "fullLabel": "26 PUSH1 0x00\n28 CALLDATALOAD\n29 PUSH29 0x01000000(...)\n59 SWAP1\n60 DIV\n61 DUP1\n62 PUSH4 0x0685a2aa\n67 EQ\n68 PUSH2 0x0084\n71 JUMPI", "id": "84", "isExpanded": false, "label": "26 PUSH1 0x00\n28 CALLDATALOAD\n29 PUSH29 0x01000000(...)\n59 SWAP1\n60 DIV\n61 DUP1\n(click to expand +)", "size": 150, "truncLabel": "26 PUSH1 0x00\n28 CALLDATALOAD\n29 PUSH29 0x01000000(...)\n59 SWAP1\n60 DIV\n61 DUP1\n(click to expand +)"}, {"color": {"background": "#842899", "border": "#9e42b3", "highlight": {"background": "#933da6", "border": "#9e42b3"}}, "fullLabel": "72 DUP1\n73 PUSH4 0x0dbe671f\n78 EQ\n79 PUSH2 0x00b2\n82 JUMPI", "id": "85", "isExpanded": false, "label": "72 DUP1\n73 PUSH4 0x0dbe671f\n78 EQ\n79 PUSH2 0x00b2\n82 JUMPI", "size": 150, "truncLabel": "72 DUP1\n73 PUSH4 0x0dbe671f\n78 EQ\n79 PUSH2 0x00b2\n82 JUMPI"}, {"color": {"background": "#842899", "border": "#9e42b3", "highlight": {"background": "#933da6", "border": "#9e42b3"}}, "fullLabel": "83 DUP1\n84 PUSH4 0x28bbdc02\n89 EQ\n90 PUSH2 0x00d0\n93 JUMPI", "id": "86", "isExpanded": false, "label": "83 DUP1\n84 PUSH4 0x28bbdc02\n89 EQ\n90 PUSH2 0x00d0\n93 JUMPI", "size": 150, "truncLabel": "83 DUP1\n84 PUSH4 0x28bbdc02\n89 EQ\n90 PUSH2 0x00d0\n93 JUMPI"}, {"color": {"background": "#842899", "border": "#9e42b3", "highlight": {"background": "#933da6", "border": "#9e42b3"}}, "fullLabel": "94 DUP1\n95 PUSH4 0x4df7e3d0\n100 EQ\n101 PUSH2 0x00ee\n104 JUMPI", "id": "87", "isExpanded": false, "label": "94 DUP1\n95 PUSH4 0x4df7e3d0\n100 EQ\n101 PUSH2 0x00ee\n104 JUMPI", "size": 150, "truncLabel": "94 DUP1\n95 PUSH4 0x4df7e3d0\n100 EQ\n101 PUSH2 0x00ee\n104 JUMPI"}, {"color": {"background": "#842899", "border": "#9e42b3", "highlight": {"background": "#933da6", "border": "#9e42b3"}}, "fullLabel": "105 DUP1\n106 PUSH4 0x725933d0\n111 EQ\n112 PUSH2 0x010c\n115 JUMPI", "id": "88", "isExpanded": false, "label": "105 DUP1\n106 PUSH4 0x725933d0\n111 EQ\n112 PUSH2 0x010c\n115 JUMPI", "size": 150, "truncLabel": "105 DUP1\n106 PUSH4 0x725933d0\n111 EQ\n112 PUSH2 0x010c\n115 JUMPI"}, {"color": {"background": "#842899", "border": "#9e42b3", "highlight": {"background": "#933da6", "border": "#9e42b3"}}, "fullLabel": "116 DUP1\n117 PUSH4 0xf318597a\n122 EQ\n123 PUSH2 0x013a\n126 JUMPI", "id": "89", "isExpanded": false, "label": "116 DUP1\n117 PUSH4 0xf318597a\n122 EQ\n123 PUSH2 0x013a\n126 JUMPI", "size": 150, "truncLabel": "116 DUP1\n117 PUSH4 0xf318597a\n122 EQ\n123 PUSH2 0x013a\n126 JUMPI"}, {"color": {"background": "#842899", "border": "#9e42b3", "highlight": {"background": "#933da6", "border": "#9e42b3"}}, "fullLabel": "268 JUMPDEST\n269 PUSH2 0x0138\n272 PUSH1 0x04\n274 DUP1\n275 CALLDATASIZE\n276 SUB\n277 PUSH1 0x20\n279 DUP2\n280 LT\n281 ISZERO\n282 PUSH2 0x0122\n285 JUMPI", "id": "90", "isExpanded": false, "label": "268 JUMPDEST\n269 PUSH2 0x0138\n272 PUSH1 0x04\n274 DUP1\n275 CALLDATASIZE\n276 SUB\n(click to expand +)", "size": 150, "truncLabel": "268 JUMPDEST\n269 PUSH2 0x0138\n272 PUSH1 0x04\n274 DUP1\n275 CALLDATASIZE\n276 SUB\n(click to expand +)"}, {"color": {"background": "#842899", "border": "#9e42b3", "highlight": {"background": "#933da6", "border": "#9e42b3"}}, "fullLabel": "290 JUMPDEST\n291 DUP2\n292 ADD\n293 SWAP1\n294 DUP1\n295 DUP1\n296 CALLDATALOAD\n297 SWAP1\n298 PUSH1 0x20\n300 ADD\n301 SWAP1\n302 SWAP3\n303 SWAP2\n304 SWAP1\n305 POP\n306 POP\n307 POP\n308 PUSH2 0x018f\n311 JUMP", "id": "91", "isExpanded": false, "label": "290 JUMPDEST\n291 DUP2\n292 ADD\n293 SWAP1\n294 DUP1\n295 DUP1\n(click to expand +)", "size": 150, "truncLabel": "290 JUMPDEST\n291 DUP2\n292 ADD\n293 SWAP1\n294 DUP1\n295 DUP1\n(click to expand +)"}, {"color": {"background": "#842899", "border": "#9e42b3", "highlight": {"background": "#933da6", "border": "#9e42b3"}}, "fullLabel": "286 PUSH1 0x00\n288 DUP1\n289 REVERT", "id": "92", "isExpanded": false, "label": "286 PUSH1 0x00\n288 DUP1\n289 REVERT", "size": 150, "truncLabel": "286 PUSH1 0x00\n288 DUP1\n289 REVERT"}, {"color": {"background": "#842899", "border": "#9e42b3", "highlight": {"background": "#933da6", "border": "#9e42b3"}}, "fullLabel": "399 JUMPDEST\n400 DUP1\n401 PUSH1 0x00\n403 DUP2\n404 SWAP1\n405 SSTORE\n406 POP\n407 POP\n408 JUMP", "id": "93", "isExpanded": false, "label": "399 JUMPDEST\n400 DUP1\n401 PUSH1 0x00\n403 DUP2\n404 SWAP1\n405 SSTORE\n(click to expand +)", "size": 150, "truncLabel": "399 JUMPDEST\n400 DUP1\n401 PUSH1 0x00\n403 DUP2\n404 SWAP1\n405 SSTORE\n(click to expand +)"}, {"color": {"background": "#842899", "border": "#9e42b3", "highlight": {"background": "#933da6", "border": "#9e42b3"}}, "fullLabel": "312 JUMPDEST\n313 STOP", "id": "94", "isExpanded": false, "label": "312 JUMPDEST\n313 STOP", "size": 150, "truncLabel": "312 JUMPDEST\n313 STOP"}, {"color": {"background": "#842899", "border": "#9e42b3", "highlight": {"background": "#933da6", "border": "#9e42b3"}}, "fullLabel": "127 JUMPDEST\n128 PUSH1 0x00\n130 DUP1\n131 REVERT", "id": "95", "isExpanded": false, "label": "127 JUMPDEST\n128 PUSH1 0x00\n130 DUP1\n131 REVERT", "size": 150, "truncLabel": "127 JUMPDEST\n128 PUSH1 0x00\n130 DUP1\n131 REVERT"}, {"color": {"background": "#842899", "border": "#9e42b3", "highlight": {"background": "#933da6", "border": "#9e42b3"}}, "fullLabel": "16 JUMPDEST\n17 POP\n18 PUSH1 0x04\n20 CALLDATASIZE\n21 LT\n22 PUSH2 0x007f\n25 JUMPI", "id": "96", "isExpanded": false, "label": "16 JUMPDEST\n17 POP\n18 PUSH1 0x04\n20 CALLDATASIZE\n21 LT\n22 PUSH2 0x007f\n(click to expand +)", "size": 150, "truncLabel": "16 JUMPDEST\n17 POP\n18 PUSH1 0x04\n20 CALLDATASIZE\n21 LT\n22 PUSH2 0x007f\n(click to expand +)"}, {"color": {"background": "#842899", "border": "#9e42b3", "highlight": {"background": "#933da6", "border": "#9e42b3"}}, "fullLabel": "12 PUSH1 0x00\n14 DUP1\n15 REVERT", "id": "97", "isExpanded": false, "label": "12 PUSH1 0x00\n14 DUP1\n15 REVERT", "size": 150, "truncLabel": "12 PUSH1 0x00\n14 DUP1\n15 REVERT"}, {"color": {"background": "#842899", "border": "#9e42b3", "highlight": {"background": "#933da6", "border": "#9e42b3"}}, "fullLabel": "127 JUMPDEST\n128 PUSH1 0x00\n130 DUP1\n131 REVERT", "id": "98", "isExpanded": false, "label": "127 JUMPDEST\n128 PUSH1 0x00\n130 DUP1\n131 REVERT", "size": 150, "truncLabel": "127 JUMPDEST\n128 PUSH1 0x00\n130 DUP1\n131 REVERT"}, {"color": {"background": "#842899", "border": "#9e42b3", "highlight": {"background": "#933da6", "border": "#9e42b3"}}, "fullLabel": "26 PUSH1 0x00\n28 CALLDATALOAD\n29 PUSH29 0x01000000(...)\n59 SWAP1\n60 DIV\n61 DUP1\n62 PUSH4 0x0685a2aa\n67 EQ\n68 PUSH2 0x0084\n71 JUMPI", "id": "99", "isExpanded": false, "label": "26 PUSH1 0x00\n28 CALLDATALOAD\n29 PUSH29 0x01000000(...)\n59 SWAP1\n60 DIV\n61 DUP1\n(click to expand +)", "size": 150, "truncLabel": "26 PUSH1 0x00\n28 CALLDATALOAD\n29 PUSH29 0x01000000(...)\n59 SWAP1\n60 DIV\n61 DUP1\n(click to expand +)"}, {"color": {"background": "#842899", "border": "#9e42b3", "highlight": {"background": "#933da6", "border": "#9e42b3"}}, "fullLabel": "72 DUP1\n73 PUSH4 0x0dbe671f\n78 EQ\n79 PUSH2 0x00b2\n82 JUMPI", "id": "100", "isExpanded": false, "label": "72 DUP1\n73 PUSH4 0x0dbe671f\n78 EQ\n79 PUSH2 0x00b2\n82 JUMPI", "size": 150, "truncLabel": "72 DUP1\n73 PUSH4 0x0dbe671f\n78 EQ\n79 PUSH2 0x00b2\n82 JUMPI"}, {"color": {"background": "#842899", "border": "#9e42b3", "highlight": {"background": "#933da6", "border": "#9e42b3"}}, "fullLabel": "132 JUMPDEST\n133 PUSH2 0x00b0\n136 PUSH1 0x04\n138 DUP1\n139 CALLDATASIZE\n140 SUB\n141 PUSH1 0x20\n143 DUP2\n144 LT\n145 ISZERO\n146 PUSH2 0x009a\n149 JUMPI", "id": "101", "isExpanded": false, "label": "132 JUMPDEST\n133 PUSH2 0x00b0\n136 PUSH1 0x04\n138 DUP1\n139 CALLDATASIZE\n140 SUB\n(click to expand +)", "size": 150, "truncLabel": "132 JUMPDEST\n133 PUSH2 0x00b0\n136 PUSH1 0x04\n138 DUP1\n139 CALLDATASIZE\n140 SUB\n(click to expand +)"}, {"color": {"background": "#842899", "border": "#9e42b3", "highlight": {"background": "#933da6", "border": "#9e42b3"}}, "fullLabel": "154 JUMPDEST\n155 DUP2\n156 ADD\n157 SWAP1\n158 DUP1\n159 DUP1\n160 CALLDATALOAD\n161 SWAP1\n162 PUSH1 0x20\n164 ADD\n165 SWAP1\n166 SWAP3\n167 SWAP2\n168 SWAP1\n169 POP\n170 POP\n171 POP\n172 PUSH2 0x0158\n175 JUMP", "id": "102", "isExpanded": false, "label": "154 JUMPDEST\n155 DUP2\n156 ADD\n157 SWAP1\n158 DUP1\n159 DUP1\n(click to expand +)", "size": 150, "truncLabel": "154 JUMPDEST\n155 DUP2\n156 ADD\n157 SWAP1\n158 DUP1\n159 DUP1\n(click to expand +)"}, {"color": {"background": "#842899", "border": "#9e42b3", "highlight": {"background": "#933da6", "border": "#9e42b3"}}, "fullLabel": "150 PUSH1 0x00\n152 DUP1\n153 REVERT", "id": "103", "isExpanded": false, "label": "150 PUSH1 0x00\n152 DUP1\n153 REVERT", "size": 150, "truncLabel": "150 PUSH1 0x00\n152 DUP1\n153 REVERT"}, {"color": {"background": "#842899", "border": "#9e42b3", "highlight": {"background": "#933da6", "border": "#9e42b3"}}, "fullLabel": "344 JUMPDEST\n345 PUSH1 0x0a\n347 DUP2\n348 GT\n349 ISZERO\n350 PUSH2 0x016e\n353 JUMPI", "id": "104", "isExpanded": false, "label": "344 JUMPDEST\n345 PUSH1 0x0a\n347 DUP2\n348 GT\n349 ISZERO\n350 PUSH2 0x016e\n(click to expand +)", "size": 150, "truncLabel": "344 JUMPDEST\n345 PUSH1 0x0a\n347 DUP2\n348 GT\n349 ISZERO\n350 PUSH2 0x016e\n(click to expand +)"}, {"color": {"background": "#842899", "border": "#9e42b3", "highlight": {"background": "#933da6", "border": "#9e42b3"}}, "fullLabel": "366 JUMPDEST\n367 PUSH1 0x1e\n369 PUSH1 0x01\n371 DUP2\n372 SWAP1\n373 SSTORE\n374 POP\n375 JUMPDEST\n376 POP\n377 JUMP", "id": "105", "isExpanded": false, "label": "366 JUMPDEST\n367 PUSH1 0x1e\n369 PUSH1 0x01\n371 DUP2\n372 SWAP1\n373 SSTORE\n(click to expand +)", "size": 150, "truncLabel": "366 JUMPDEST\n367 PUSH1 0x1e\n369 PUSH1 0x01\n371 DUP2\n372 SWAP1\n373 SSTORE\n(click to expand +)"}, {"color": {"background": "#842899", "border": "#9e42b3", "highlight": {"background": "#933da6", "border": "#9e42b3"}}, "fullLabel": "354 PUSH1 0x64\n356 PUSH1 0x01\n358 DUP2\n359 SWAP1\n360 SSTORE\n361 POP\n362 PUSH2 0x0177\n365 JUMP", "id": "106", "isExpanded": false, "label": "354 PUSH1 0x64\n356 PUSH1 0x01\n358 DUP2\n359 SWAP1\n360 SSTORE\n361 POP\n(click to expand +)", "size": 150, "truncLabel": "354 PUSH1 0x64\n356 PUSH1 0x01\n358 DUP2\n359 SWAP1\n360 SSTORE\n361 POP\n(click to expand +)"}, {"color": {"background": "#842899", "border": "#9e42b3", "highlight": {"background": "#933da6", "border": "#9e42b3"}}, "fullLabel": "375 JUMPDEST\n376 POP\n377 JUMP", "id": "107", "isExpanded": false, "label": "375 JUMPDEST\n376 POP\n377 JUMP", "size": 150, "truncLabel": "375 JUMPDEST\n376 POP\n377 JUMP"}, {"color": {"background": "#842899", "border": "#9e42b3", "highlight": {"background": "#933da6", "border": "#9e42b3"}}, "fullLabel": "176 JUMPDEST\n177 STOP", "id": "108", "isExpanded": false, "label": "176 JUMPDEST\n177 STOP", "size": 150, "truncLabel": "176 JUMPDEST\n177 STOP"}, {"color": {"background": "#842899", "border": "#9e42b3", "highlight": {"background": "#933da6", "border": "#9e42b3"}}, "fullLabel": "176 JUMPDEST\n177 STOP", "id": "109", "isExpanded": false, "label": "176 JUMPDEST\n177 STOP", "size": 150, "truncLabel": "176 JUMPDEST\n177 STOP"}, {"color": {"background": "#842899", "border": "#9e42b3", "highlight": {"background": "#933da6", "border": "#9e42b3"}}, "fullLabel": "83 DUP1\n84 PUSH4 0x28bbdc02\n89 EQ\n90 PUSH2 0x00d0\n93 JUMPI", "id": "110", "isExpanded": false, "label": "83 DUP1\n84 PUSH4 0x28bbdc02\n89 EQ\n90 PUSH2 0x00d0\n93 JUMPI", "size": 150, "truncLabel": "83 DUP1\n84 PUSH4 0x28bbdc02\n89 EQ\n90 PUSH2 0x00d0\n93 JUMPI"}, {"color": {"background": "#842899", "border": "#9e42b3", "highlight": {"background": "#933da6", "border": "#9e42b3"}}, "fullLabel": "94 DUP1\n95 PUSH4 0x4df7e3d0\n100 EQ\n101 PUSH2 0x00ee\n104 JUMPI", "id": "111", "isExpanded": false, "label": "94 DUP1\n95 PUSH4 0x4df7e3d0\n100 EQ\n101 PUSH2 0x00ee\n104 JUMPI", "size": 150, "truncLabel": "94 DUP1\n95 PUSH4 0x4df7e3d0\n100 EQ\n101 PUSH2 0x00ee\n104 JUMPI"}, {"color": {"background": "#842899", "border": "#9e42b3", "highlight": {"background": "#933da6", "border": "#9e42b3"}}, "fullLabel": "105 DUP1\n106 PUSH4 0x725933d0\n111 EQ\n112 PUSH2 0x010c\n115 JUMPI", "id": "112", "isExpanded": false, "label": "105 DUP1\n106 PUSH4 0x725933d0\n111 EQ\n112 PUSH2 0x010c\n115 JUMPI", "size": 150, "truncLabel": "105 DUP1\n106 PUSH4 0x725933d0\n111 EQ\n112 PUSH2 0x010c\n115 JUMPI"}, {"color": {"background": "#842899", "border": "#9e42b3", "highlight": {"background": "#933da6", "border": "#9e42b3"}}, "fullLabel": "116 DUP1\n117 PUSH4 0xf318597a\n122 EQ\n123 PUSH2 0x013a\n126 JUMPI", "id": "113", "isExpanded": false, "label": "116 DUP1\n117 PUSH4 0xf318597a\n122 EQ\n123 PUSH2 0x013a\n126 JUMPI", "size": 150, "truncLabel": "116 DUP1\n117 PUSH4 0xf318597a\n122 EQ\n123 PUSH2 0x013a\n126 JUMPI"}, {"color": {"background": "#842899", "border": "#9e42b3", "highlight": {"background": "#933da6", "border": "#9e42b3"}}, "fullLabel": "127 JUMPDEST\n128 PUSH1 0x00\n130 DUP1\n131 REVERT", "id": "114", "isExpanded": false, "label": "127 JUMPDEST\n128 PUSH1 0x00\n130 DUP1\n131 REVERT", "size": 150, "truncLabel": "127 JUMPDEST\n128 PUSH1 0x00\n130 DUP1\n131 REVERT"}];
var edges = [{"arrows": "to", "from": "0", "label": "call_value1 == 0", "smooth": {"type": "cubicBezier"}, "to": "1"}, {"arrows": "to", "from": "0", "label": "Not(call_value1 == 0)", "smooth": {"type": "cubicBezier"}, "to": "2"}, {"arrows": "to", "from": "1", "label": "", "smooth": {"type": "cubicBezier"}, "to": "3"}, {"arrows": "to", "from": "3", "label": "call_value2 == 0", "smooth": {"type": "cubicBezier"}, "to": "4"}, {"arrows": "to", "from": "3", "label": "Not(call_value2 == 0)", "smooth": {"type": "cubicBezier"}, "to": "5"}, {"arrows": "to", "from": "4", "label": "Not(ULE(4, calldatasize))", "smooth": {"type": "cubicBezier"}, "to": "6"}, {"arrows": "to", "from": "4", "label": "ULE(4, calldatasize)", "smooth": {"type": "cubicBezier"}, "to": "7"}, {"arrows": "to", "from": "7", "label": "And(If(3 \u003c= calldatasize, 2_calldata_3, 0) == 0xaa, If(2 \u003c= calldatasize, 2_calldata_2, 0) == 0xa2, If(1 \u003c= calldatasize, 2_calldata_1, 0) == 0x85, If(0 \u003c= calldatasize, 2_calldata_0, 0) == 6)", "smooth": {"type": "cubicBezier"}, "to": "8"}, {"arrows": "to", "from": "7", "label": "Not(And(If(3 \u003c= calldatasize, 2_calldata_3, 0) == 0xaa, If(2 \u003c= calldatasize, 2_calldata_2, 0) == 0xa2, If(1 \u003c= calldatasize, 2_calldata_1, 0) == 0x85, If(0 \u003c= calldatasize, 2_calldata_0, 0) == 6))", "smooth": {"type": "cubicBezier"}, "to": "9"}, {"arrows": "to", "from": "9", "label": "And(If(3 \u003c= calldatasize, 2_calldata_3, 0) == 31, If(2 \u003c= calldatasize, 2_calldata_2, 0) == 0x67, If(1 \u003c= calldatasize, 2_calldata_1, 0) == 0xbe, If(0 \u003c= calldatasize, 2_calldata_0, 0) == 13)", "smooth": {"type": "cubicBezier"}, "to": "10"}, {"arrows": "to", "from": "9", "label": "Not(And(If(3 \u003c= calldatasize, 2_calldata_3, 0) == 31, If(2 \u003c= calldatasize, 2_calldata_2, 0) == 0x67, If(1 \u003c= calldatasize, 2_calldata_1, 0) == 0xbe, If(0 \u003c= calldatasize, 2_calldata_0, 0) == 13))", "smooth": {"type": "cubicBezier"}, "to": "11"}, {"arrows": "to", "from": "11", "label": "And(If(3 \u003c= calldatasize, 2_calldata_3, 0) == 2, If(2 \u003c= calldatasize, 2_calldata_2, 0) == 0xdc, If(1 \u003c= calldatasize, 2_calldata_1, 0) == 0xbb, If(0 \u003c= calldatasize, 2_calldata_0, 0) == 40)", "smooth": {"type": "cubicBezier"}, "to": "12"}, {"arrows": "to", "from": "11", "label": "Not(And(If(3 \u003c= calldatasize, 2_calldata_3, 0) == 2, If(2 \u003c= calldatasize, 2_calldata_2, 0) == 0xdc, If(1 \u003c= calldatasize, 2_calldata_1, 0) == 0xbb, If(0 \u003c= calldatasize, 2_calldata_0, 0) == 40))", "smooth": {"type": "cubicBezier"}, "to": "13"}, {"arrows": "to", "from": "13", "label": "And(If(3 \u003c= calldatasize, 2_calldata_3, 0) == 0xd0, If(2 \u003c= calldatasize, 2_calldata_2, 0) == 0xe3, If(1 \u003c= calldatasize, 2_calldata_1, 0) == 0xf7, If(0 \u003c= calldatasize, 2_calldata_0, 0) == 77)", "smooth": {"type": "cubicBezier"}, "to": "14"}, {"arrows": "to", "from": "13", "label": "Not(And(If(3 \u003c= calldatasize, 2_calldata_3, 0) == 0xd0, If(2 \u003c= calldatasize, 2_calldata_2, 0) == 0xe3, If(1 \u003c= calldatasize, 2_calldata_1, 0) == 0xf7, If(0 \u003c= calldatasize, 2_calldata_0, 0) == 77))", "smooth": {"type": "cubicBezier"}, "to": "15"}, {"arrows": "to", "from": "15", "label": "And(If(3 \u003c= calldatasize, 2_calldata_3, 0) == 0xd0, If(2 \u003c= calldatasize, 2_calldata_2, 0) == 51, If(1 \u003c= calldatasize, 2_calldata_1, 0) == 89, If(0 \u003c= calldatasize, 2_calldata_0, 0) == 0x72)", "smooth": {"type": "cubicBezier"}, "to": "16"}, {"arrows": "to", "from": "15", "label": "Not(And(If(3 \u003c= calldatasize, 2_calldata_3, 0) == 0xd0, If(2 \u003c= calldatasize, 2_calldata_2, 0) == 51, If(1 \u003c= calldatasize, 2_calldata_1, 0) == 89, If(0 \u003c= calldatasize, 2_calldata_0, 0) == 0x72))", "smooth": {"type": "cubicBezier"}, "to": "17"}, {"arrows": "to", "from": "17", "label": "And(If(3 \u003c= calldatasize, 2_calldata_3, 0) == 0x7a, If(2 \u003c= calldatasize, 2_calldata_2, 0) == 89, If(1 \u003c= calldatasize, 2_calldata_1, 0) == 24, If(0 \u003c= calldatasize, 2_calldata_0, 0) == 0xf3)", "smooth": {"type": "cubicBezier"}, "to": "18"}, {"arrows": "to", "from": "17", "label": "Not(And(If(3 \u003c= calldatasize, 2_calldata_3, 0) == 0x7a, If(2 \u003c= calldatasize, 2_calldata_2, 0) == 89, If(1 \u003c= calldatasize, 2_calldata_1, 0) == 24, If(0 \u003c= calldatasize, 2_calldata_0, 0) == 0xf3))", "smooth": {"type": "cubicBezier"}, "to": "19"}, {"arrows": "to", "from": "18", "label": "", "smooth": {"type": "cubicBezier"}, "to": "20"}, {"arrows": "to", "from": "20", "label": "", "smooth": {"type": "cubicBezier"}, "to": "21"}, {"arrows": "to", "from": "16", "label": "ULE(32, 0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc + calldatasize)", "smooth": {"type": "cubicBezier"}, "to": "22"}, {"arrows": "to", "from": "16", "label": "Not(ULE(32, 0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc + calldatasize))", "smooth": {"type": "cubicBezier"}, "to": "23"}, {"arrows": "to", "from": "22", "label": "", "smooth": {"type": "cubicBezier"}, "to": "24"}, {"arrows": "to", "from": "24", "label": "", "smooth": {"type": "cubicBezier"}, "to": "25"}, {"arrows": "to", "from": "14", "label": "", "smooth": {"type": "cubicBezier"}, "to": "26"}, {"arrows": "to", "from": "26", "label": "", "smooth": {"type": "cubicBezier"}, "to": "27"}, {"arrows": "to", "from": "12", "label": "", "smooth": {"type": "cubicBezier"}, "to": "28"}, {"arrows": "to", "from": "28", "label": "", "smooth": {"type": "cubicBezier"}, "to": "29"}, {"arrows": "to", "from": "10", "label": "", "smooth": {"type": "cubicBezier"}, "to": "30"}, {"arrows": "to", "from": "30", "label": "", "smooth": {"type": "cubicBezier"}, "to": "31"}, {"arrows": "to", "from": "8", "label": "ULE(32, 0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc + calldatasize)", "smooth": {"type": "cubicBezier"}, "to": "32"}, {"arrows": "to", "from": "8", "label": "Not(ULE(32, 0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc + calldatasize))", "smooth": {"type": "cubicBezier"}, "to": "33"}, {"arrows": "to", "from": "32", "label": "", "smooth": {"type": "cubicBezier"}, "to": "34"}, {"arrows": "to", "from": "34", "label": "And(If(35 \u003c= calldatasize, Extract(7, 4, 2_calldata_35), 0) == 0, If(34 \u003c= calldatasize, 2_calldata_34, 0) == 0, If(33 \u003c= calldatasize, 2_calldata_33, 0) == 0, If(32 \u003c= calldatasize, 2_calldata_32, 0) == 0, If(31 \u003c= calldatasize, 2_calldata_31, 0) == 0, If(30 \u003c= calldatasize, 2_calldata_30, 0) == 0, If(29 \u003c= calldatasize, 2_calldata_29, 0) == 0, If(28 \u003c= calldatasize, 2_calldata_28, 0) == 0, If(27 \u003c= calldatasize, 2_calldata_27, 0) == 0, If(26 \u003c= calldatasize, 2_calldata_26, 0) == 0, If(25 \u003c= calldatasize, 2_calldata_25, 0) == 0, If(24 \u003c= calldatasize, 2_calldata_24, 0) == 0, If(23 \u003c= calldatasize, 2_calldata_23, 0) == 0, If(22 \u003c= calldatasize, 2_calldata_22, 0) == 0, If(21 \u003c= calldatasize, 2_calldata_21, 0) == 0, If(20 \u003c= calldatasize, 2_calldata_20, 0) == 0, If(19 \u003c= calldatasize, 2_calldata_19, 0) == 0, If(18 \u003c= calldatasize, 2_calldata_18, 0) == 0, If(17 \u003c= calldatasize, 2_calldata_17, 0) == 0, If(16 \u003c= calldatasize, 2_calldata_16, 0) == 0, If(15 \u003c= calldatasize, 2_calldata_15, 0) == 0, If(14 \u003c= calldatasize, 2_calldata_14, 0) == 0, If(13 \u003c= calldatasize, 2_calldata_13, 0) == 0, If(12 \u003c= calldatasize, 2_calldata_12, 0) == 0, If(11 \u003c= calldatasize, 2_calldata_11, 0) == 0, If(10 \u003c= calldatasize, 2_calldata_10, 0) == 0, If(9 \u003c= calldatasize, 2_calldata_9, 0) == 0, If(8 \u003c= calldatasize, 2_calldata_8, 0) == 0, If(7 \u003c= calldatasize, 2_calldata_7, 0) == 0, If(6 \u003c= calldatasize, 2_calldata_6, 0) == 0, If(5 \u003c= calldatasize, 2_calldata_5, 0) == 0, If(4 \u003c= calldatasize, 2_calldata_4, 0) == 0, ULE(If(35 \u003c= calldatasize, Extract(3, 0, 2_calldata_35), 0), 10))", "smooth": {"type": "cubicBezier"}, "to": "35"}, {"arrows": "to", "from": "34", "label": "Not(And(If(35 \u003c= calldatasize, Extract(7, 4, 2_calldata_35), 0) == 0, If(34 \u003c= calldatasize, 2_calldata_34, 0) == 0, If(33 \u003c= calldatasize, 2_calldata_33, 0) == 0, If(32 \u003c= calldatasize, 2_calldata_32, 0) == 0, If(31 \u003c= calldatasize, 2_calldata_31, 0) == 0, If(30 \u003c= calldatasize, 2_calldata_30, 0) == 0, If(29 \u003c= calldatasize, 2_calldata_29, 0) == 0, If(28 \u003c= calldatasize, 2_calldata_28, 0) == 0, If(27 \u003c= calldatasize, 2_calldata_27, 0) == 0, If(26 \u003c= calldatasize, 2_calldata_26, 0) == 0, If(25 \u003c= calldatasize, 2_calldata_25, 0) == 0, If(24 \u003c= calldatasize, 2_calldata_24, 0) == 0, If(23 \u003c= calldatasize, 2_calldata_23, 0) == 0, If(22 \u003c= calldatasize, 2_calldata_22, 0) == 0, If(21 \u003c= calldatasize, 2_calldata_21, 0) == 0, If(20 \u003c= calldatasize, 2_calldata_20, 0) == 0, If(19 \u003c= calldatasize, 2_calldata_19, 0) == 0, If(18 \u003c= calldatasize, 2_calldata_18, 0) == 0, If(17 \u003c= calldatasize, 2_calldata_17, 0) == 0, If(16 \u003c= calldatasize, 2_calldata_16, 0) == 0, If(15 \u003c= calldatasize, 2_calldata_15, 0) == 0, If(14 \u003c= calldatasize, 2_calldata_14, 0) == 0, If(13 \u003c= calldatasize, 2_calldata_13, 0) == 0, If(12 \u003c= calldatasize, 2_calldata_12, 0) == 0, If(11 \u003c= calldatasize, 2_calldata_11, 0) == 0, If(10 \u003c= calldatasize, 2_calldata_10, 0) == 0, If(9 \u003c= calldatasize, 2_calldata_9, 0) == 0, If(8 \u003c= calldatasize, 2_calldata_8, 0) == 0, If(7 \u003c= calldatasize, 2_calldata_7, 0) == 0, If(6 \u003c= calldatasize, 2_calldata_6, 0) == 0, If(5 \u003c= calldatasize, 2_calldata_5, 0) == 0, If(4 \u003c= calldatasize, 2_calldata_4, 0) == 0, ULE(If(35 \u003c= calldatasize, Extract(3, 0, 2_calldata_35), 0), 10)))", "smooth": {"type": "cubicBezier"}, "to": "36"}, {"arrows": "to", "from": "36", "label": "", "smooth": {"type": "cubicBezier"}, "to": "37"}, {"arrows": "to", "from": "37", "label": "", "smooth": {"type": "cubicBezier"}, "to": "38"}, {"arrows": "to", "from": "35", "label": "", "smooth": {"type": "cubicBezier"}, "to": "39"}, {"arrows": "to", "from": "25", "label": "", "smooth": {"type": "cubicBezier"}, "to": "40"}, {"arrows": "to", "from": "38", "label": "", "smooth": {"type": "cubicBezier"}, "to": "41"}, {"arrows": "to", "from": "39", "label": "", "smooth": {"type": "cubicBezier"}, "to": "42"}, {"arrows": "to", "from": "42", "label": "call_value5 == 0", "smooth": {"type": "cubicBezier"}, "to": "43"}, {"arrows": "to", "from": "42", "label": "Not(call_value5 == 0)", "smooth": {"type": "cubicBezier"}, "to": "44"}, {"arrows": "to", "from": "43", "label": "Not(ULE(4, calldatasize))", "smooth": {"type": "cubicBezier"}, "to": "45"}, {"arrows": "to", "from": "43", "label": "ULE(4, calldatasize)", "smooth": {"type": "cubicBezier"}, "to": "46"}, {"arrows": "to", "from": "46", "label": "Not(And(If(3 \u003c= calldatasize, 5_calldata_3, 0) == 0xaa, If(2 \u003c= calldatasize, 5_calldata_2, 0) == 0xa2, If(1 \u003c= calldatasize, 5_calldata_1, 0) == 0x85, If(0 \u003c= calldatasize, 5_calldata_0, 0) == 6))", "smooth": {"type": "cubicBezier"}, "to": "47"}, {"arrows": "to", "from": "47", "label": "Not(And(If(3 \u003c= calldatasize, 5_calldata_3, 0) == 31, If(2 \u003c= calldatasize, 5_calldata_2, 0) == 0x67, If(1 \u003c= calldatasize, 5_calldata_1, 0) == 0xbe, If(0 \u003c= calldatasize, 5_calldata_0, 0) == 13))", "smooth": {"type": "cubicBezier"}, "to": "48"}, {"arrows": "to", "from": "48", "label": "Not(And(If(3 \u003c= calldatasize, 5_calldata_3, 0) == 2, If(2 \u003c= calldatasize, 5_calldata_2, 0) == 0xdc, If(1 \u003c= calldatasize, 5_calldata_1, 0) == 0xbb, If(0 \u003c= calldatasize, 5_calldata_0, 0) == 40))", "smooth": {"type": "cubicBezier"}, "to": "49"}, {"arrows": "to", "from": "49", "label": "Not(And(If(3 \u003c= calldatasize, 5_calldata_3, 0) == 0xd0, If(2 \u003c= calldatasize, 5_calldata_2, 0) == 0xe3, If(1 \u003c= calldatasize, 5_calldata_1, 0) == 0xf7, If(0 \u003c= calldatasize, 5_calldata_0, 0) == 77))", "smooth": {"type": "cubicBezier"}, "to": "50"}, {"arrows": "to", "from": "50", "label": "Not(And(If(3 \u003c= calldatasize, 5_calldata_3, 0) == 0xd0, If(2 \u003c= calldatasize, 5_calldata_2, 0) == 51, If(1 \u003c= calldatasize, 5_calldata_1, 0) == 89, If(0 \u003c= calldatasize, 5_calldata_0, 0) == 0x72))", "smooth": {"type": "cubicBezier"}, "to": "51"}, {"arrows": "to", "from": "51", "label": "Not(And(If(3 \u003c= calldatasize, 5_calldata_3, 0) == 0x7a, If(2 \u003c= calldatasize, 5_calldata_2, 0) == 89, If(1 \u003c= calldatasize, 5_calldata_1, 0) == 24, If(0 \u003c= calldatasize, 5_calldata_0, 0) == 0xf3))", "smooth": {"type": "cubicBezier"}, "to": "52"}, {"arrows": "to", "from": "51", "label": "And(If(3 \u003c= calldatasize, 5_calldata_3, 0) == 0x7a, If(2 \u003c= calldatasize, 5_calldata_2, 0) == 89, If(1 \u003c= calldatasize, 5_calldata_1, 0) == 24, If(0 \u003c= calldatasize, 5_calldata_0, 0) == 0xf3)", "smooth": {"type": "cubicBezier"}, "to": "53"}, {"arrows": "to", "from": "53", "label": "", "smooth": {"type": "cubicBezier"}, "to": "54"}, {"arrows": "to", "from": "54", "label": "", "smooth": {"type": "cubicBezier"}, "to": "55"}, {"arrows": "to", "from": "41", "label": "call_value4 == 0", "smooth": {"type": "cubicBezier"}, "to": "56"}, {"arrows": "to", "from": "41", "label": "Not(call_value4 == 0)", "smooth": {"type": "cubicBezier"}, "to": "57"}, {"arrows": "to", "from": "56", "label": "Not(ULE(4, calldatasize))", "smooth": {"type": "cubicBezier"}, "to": "58"}, {"arrows": "to", "from": "56", "label": "ULE(4, calldatasize)", "smooth": {"type": "cubicBezier"}, "to": "59"}, {"arrows": "to", "from": "59", "label": "Not(And(If(3 \u003c= calldatasize, 4_calldata_3, 0) == 0xaa, If(2 \u003c= calldatasize, 4_calldata_2, 0) == 0xa2, If(1 \u003c= calldatasize, 4_calldata_1, 0) == 0x85, If(0 \u003c= calldatasize, 4_calldata_0, 0) == 6))", "smooth": {"type": "cubicBezier"}, "to": "60"}, {"arrows": "to", "from": "60", "label": "Not(And(If(3 \u003c= calldatasize, 4_calldata_3, 0) == 31, If(2 \u003c= calldatasize, 4_calldata_2, 0) == 0x67, If(1 \u003c= calldatasize, 4_calldata_1, 0) == 0xbe, If(0 \u003c= calldatasize, 4_calldata_0, 0) == 13))", "smooth": {"type": "cubicBezier"}, "to": "61"}, {"arrows": "to", "from": "61", "label": "Not(And(If(3 \u003c= calldatasize, 4_calldata_3, 0) == 2, If(2 \u003c= calldatasize, 4_calldata_2, 0) == 0xdc, If(1 \u003c= calldatasize, 4_calldata_1, 0) == 0xbb, If(0 \u003c= calldatasize, 4_calldata_0, 0) == 40))", "smooth": {"type": "cubicBezier"}, "to": "62"}, {"arrows": "to", "from": "62", "label": "Not(And(If(3 \u003c= calldatasize, 4_calldata_3, 0) == 0xd0, If(2 \u003c= calldatasize, 4_calldata_2, 0) == 0xe3, If(1 \u003c= calldatasize, 4_calldata_1, 0) == 0xf7, If(0 \u003c= calldatasize, 4_calldata_0, 0) == 77))", "smooth": {"type": "cubicBezier"}, "to": "63"}, {"arrows": "to", "from": "63", "label": "Not(And(If(3 \u003c= calldatasize, 4_calldata_3, 0) == 0xd0, If(2 \u003c= calldatasize, 4_calldata_2, 0) == 51, If(1 \u003c= calldatasize, 4_calldata_1, 0) == 89, If(0 \u003c= calldatasize, 4_calldata_0, 0) == 0x72))", "smooth": {"type": "cubicBezier"}, "to": "64"}, {"arrows": "to", "from": "64", "label": "Not(And(If(3 \u003c= calldatasize, 4_calldata_3, 0) == 0x7a, If(2 \u003c= calldatasize, 4_calldata_2, 0) == 89, If(1 \u003c= calldatasize, 4_calldata_1, 0) == 24, If(0 \u003c= calldatasize, 4_calldata_0, 0) == 0xf3))", "smooth": {"type": "cubicBezier"}, "to": "65"}, {"arrows": "to", "from": "40", "label": "call_value3 == 0", "smooth": {"type": "cubicBezier"}, "to": "66"}, {"arrows": "to", "from": "40", "label": "Not(call_value3 == 0)", "smooth": {"type": "cubicBezier"}, "to": "67"}, {"arrows": "to", "from": "66", "label": "Not(ULE(4, calldatasize))", "smooth": {"type": "cubicBezier"}, "to": "68"}, {"arrows": "to", "from": "66", "label": "ULE(4, calldatasize)", "smooth": {"type": "cubicBezier"}, "to": "69"}, {"arrows": "to", "from": "69", "label": "Not(And(If(3 \u003c= calldatasize, 3_calldata_3, 0) == 0xaa, If(2 \u003c= calldatasize, 3_calldata_2, 0) == 0xa2, If(1 \u003c= calldatasize, 3_calldata_1, 0) == 0x85, If(0 \u003c= calldatasize, 3_calldata_0, 0) == 6))", "smooth": {"type": "cubicBezier"}, "to": "70"}, {"arrows": "to", "from": "70", "label": "Not(And(If(3 \u003c= calldatasize, 3_calldata_3, 0) == 31, If(2 \u003c= calldatasize, 3_calldata_2, 0) == 0x67, If(1 \u003c= calldatasize, 3_calldata_1, 0) == 0xbe, If(0 \u003c= calldatasize, 3_calldata_0, 0) == 13))", "smooth": {"type": "cubicBezier"}, "to": "71"}, {"arrows": "to", "from": "71", "label": "Not(And(If(3 \u003c= calldatasize, 3_calldata_3, 0) == 2, If(2 \u003c= calldatasize, 3_calldata_2, 0) == 0xdc, If(1 \u003c= calldatasize, 3_calldata_1, 0) == 0xbb, If(0 \u003c= calldatasize, 3_calldata_0, 0) == 40))", "smooth": {"type": "cubicBezier"}, "to": "72"}, {"arrows": "to", "from": "71", "label": "And(If(3 \u003c= calldatasize, 3_calldata_3, 0) == 2, If(2 \u003c= calldatasize, 3_calldata_2, 0) == 0xdc, If(1 \u003c= calldatasize, 3_calldata_1, 0) == 0xbb, If(0 \u003c= calldatasize, 3_calldata_0, 0) == 40)", "smooth": {"type": "cubicBezier"}, "to": "73"}, {"arrows": "to", "from": "73", "label": "", "smooth": {"type": "cubicBezier"}, "to": "74"}, {"arrows": "to", "from": "74", "label": "", "smooth": {"type": "cubicBezier"}, "to": "75"}, {"arrows": "to", "from": "72", "label": "Not(And(If(3 \u003c= calldatasize, 3_calldata_3, 0) == 0xd0, If(2 \u003c= calldatasize, 3_calldata_2, 0) == 0xe3, If(1 \u003c= calldatasize, 3_calldata_1, 0) == 0xf7, If(0 \u003c= calldatasize, 3_calldata_0, 0) == 77))", "smooth": {"type": "cubicBezier"}, "to": "76"}, {"arrows": "to", "from": "76", "label": "Not(And(If(3 \u003c= calldatasize, 3_calldata_3, 0) == 0xd0, If(2 \u003c= calldatasize, 3_calldata_2, 0) == 51, If(1 \u003c= calldatasize, 3_calldata_1, 0) == 89, If(0 \u003c= calldatasize, 3_calldata_0, 0) == 0x72))", "smooth": {"type": "cubicBezier"}, "to": "77"}, {"arrows": "to", "from": "77", "label": "Not(And(If(3 \u003c= calldatasize, 3_calldata_3, 0) == 0x7a, If(2 \u003c= calldatasize, 3_calldata_2, 0) == 89, If(1 \u003c= calldatasize, 3_calldata_1, 0) == 24, If(0 \u003c= calldatasize, 3_calldata_0, 0) == 0xf3))", "smooth": {"type": "cubicBezier"}, "to": "78"}, {"arrows": "to", "from": "21", "label": "", "smooth": {"type": "cubicBezier"}, "to": "79"}, {"arrows": "to", "from": "29", "label": "", "smooth": {"type": "cubicBezier"}, "to": "80"}, {"arrows": "to", "from": "80", "label": "call_value7 == 0", "smooth": {"type": "cubicBezier"}, "to": "81"}, {"arrows": "to", "from": "80", "label": "Not(call_value7 == 0)", "smooth": {"type": "cubicBezier"}, "to": "82"}, {"arrows": "to", "from": "81", "label": "Not(ULE(4, calldatasize))", "smooth": {"type": "cubicBezier"}, "to": "83"}, {"arrows": "to", "from": "81", "label": "ULE(4, calldatasize)", "smooth": {"type": "cubicBezier"}, "to": "84"}, {"arrows": "to", "from": "84", "label": "Not(And(If(3 \u003c= calldatasize, 7_calldata_3, 0) == 0xaa, If(2 \u003c= calldatasize, 7_calldata_2, 0) == 0xa2, If(1 \u003c= calldatasize, 7_calldata_1, 0) == 0x85, If(0 \u003c= calldatasize, 7_calldata_0, 0) == 6))", "smooth": {"type": "cubicBezier"}, "to": "85"}, {"arrows": "to", "from": "85", "label": "Not(And(If(3 \u003c= calldatasize, 7_calldata_3, 0) == 31, If(2 \u003c= calldatasize, 7_calldata_2, 0) == 0x67, If(1 \u003c= calldatasize, 7_calldata_1, 0) == 0xbe, If(0 \u003c= calldatasize, 7_calldata_0, 0) == 13))", "smooth": {"type": "cubicBezier"}, "to": "86"}, {"arrows": "to", "from": "86", "label": "Not(And(If(3 \u003c= calldatasize, 7_calldata_3, 0) == 2, If(2 \u003c= calldatasize, 7_calldata_2, 0) == 0xdc, If(1 \u003c= calldatasize, 7_calldata_1, 0) == 0xbb, If(0 \u003c= calldatasize, 7_calldata_0, 0) == 40))", "smooth": {"type": "cubicBezier"}, "to": "87"}, {"arrows": "to", "from": "87", "label": "Not(And(If(3 \u003c= calldatasize, 7_calldata_3, 0) == 0xd0, If(2 \u003c= calldatasize, 7_calldata_2, 0) == 0xe3, If(1 \u003c= calldatasize, 7_calldata_1, 0) == 0xf7, If(0 \u003c= calldatasize, 7_calldata_0, 0) == 77))", "smooth": {"type": "cubicBezier"}, "to": "88"}, {"arrows": "to", "from": "88", "label": "Not(And(If(3 \u003c= calldatasize, 7_calldata_3, 0) == 0xd0, If(2 \u003c= calldatasize, 7_calldata_2, 0) == 51, If(1 \u003c= calldatasize, 7_calldata_1, 0) == 89, If(0 \u003c= calldatasize, 7_calldata_0, 0) == 0x72))", "smooth": {"type": "cubicBezier"}, "to": "89"}, {"arrows": "to", "from": "88", "label": "And(If(3 \u003c= calldatasize, 7_calldata_3, 0) == 0xd0, If(2 \u003c= calldatasize, 7_calldata_2, 0) == 51, If(1 \u003c= calldatasize, 7_calldata_1, 0) == 89, If(0 \u003c= calldatasize, 7_calldata_0, 0) == 0x72)", "smooth": {"type": "cubicBezier"}, "to": "90"}, {"arrows": "to", "from": "90", "label": "ULE(32, 0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc + calldatasize)", "smooth": {"type": "cubicBezier"}, "to": "91"}, {"arrows": "to", "from": "90", "label": "Not(ULE(32, 0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc + calldatasize))", "smooth": {"type": "cubicBezier"}, "to": "92"}, {"arrows": "to", "from": "91", "label": "", "smooth": {"type": "cubicBezier"}, "to": "93"}, {"arrows": "to", "from": "93", "label": "", "smooth": {"type": "cubicBezier"}, "to": "94"}, {"arrows": "to", "from": "89", "label": "Not(And(If(3 \u003c= calldatasize, 7_calldata_3, 0) == 0x7a, If(2 \u003c= calldatasize, 7_calldata_2, 0) == 89, If(1 \u003c= calldatasize, 7_calldata_1, 0) == 24, If(0 \u003c= calldatasize, 7_calldata_0, 0) == 0xf3))", "smooth": {"type": "cubicBezier"}, "to": "95"}, {"arrows": "to", "from": "79", "label": "call_value6 == 0", "smooth": {"type": "cubicBezier"}, "to": "96"}, {"arrows": "to", "from": "79", "label": "Not(call_value6 == 0)", "smooth": {"type": "cubicBezier"}, "to": "97"}, {"arrows": "to", "from": "96", "label": "Not(ULE(4, calldatasize))", "smooth": {"type": "cubicBezier"}, "to": "98"}, {"arrows": "to", "from": "96", "label": "ULE(4, calldatasize)", "smooth": {"type": "cubicBezier"}, "to": "99"}, {"arrows": "to", "from": "99", "label": "Not(And(If(3 \u003c= calldatasize, 6_calldata_3, 0) == 0xaa, If(2 \u003c= calldatasize, 6_calldata_2, 0) == 0xa2, If(1 \u003c= calldatasize, 6_calldata_1, 0) == 0x85, If(0 \u003c= calldatasize, 6_calldata_0, 0) == 6))", "smooth": {"type": "cubicBezier"}, "to": "100"}, {"arrows": "to", "from": "99", "label": "And(If(3 \u003c= calldatasize, 6_calldata_3, 0) == 0xaa, If(2 \u003c= calldatasize, 6_calldata_2, 0) == 0xa2, If(1 \u003c= calldatasize, 6_calldata_1, 0) == 0x85, If(0 \u003c= calldatasize, 6_calldata_0, 0) == 6)", "smooth": {"type": "cubicBezier"}, "to": "101"}, {"arrows": "to", "from": "101", "label": "ULE(32, 0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc + calldatasize)", "smooth": {"type": "cubicBezier"}, "to": "102"}, {"arrows": "to", "from": "101", "label": "Not(ULE(32, 0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc + calldatasize))", "smooth": {"type": "cubicBezier"}, "to": "103"}, {"arrows": "to", "from": "102", "label": "", "smooth": {"type": "cubicBezier"}, "to": "104"}, {"arrows": "to", "from": "104", "label": "And(If(35 \u003c= calldatasize, Extract(7, 4, 6_calldata_35), 0) == 0, If(34 \u003c= calldatasize, 6_calldata_34, 0) == 0, If(33 \u003c= calldatasize, 6_calldata_33, 0) == 0, If(32 \u003c= calldatasize, 6_calldata_32, 0) == 0, If(31 \u003c= calldatasize, 6_calldata_31, 0) == 0, If(30 \u003c= calldatasize, 6_calldata_30, 0) == 0, If(29 \u003c= calldatasize, 6_calldata_29, 0) == 0, If(28 \u003c= calldatasize, 6_calldata_28, 0) == 0, If(27 \u003c= calldatasize, 6_calldata_27, 0) == 0, If(26 \u003c= calldatasize, 6_calldata_26, 0) == 0, If(25 \u003c= calldatasize, 6_calldata_25, 0) == 0, If(24 \u003c= calldatasize, 6_calldata_24, 0) == 0, If(23 \u003c= calldatasize, 6_calldata_23, 0) == 0, If(22 \u003c= calldatasize, 6_calldata_22, 0) == 0, If(21 \u003c= calldatasize, 6_calldata_21, 0) == 0, If(20 \u003c= calldatasize, 6_calldata_20, 0) == 0, If(19 \u003c= calldatasize, 6_calldata_19, 0) == 0, If(18 \u003c= calldatasize, 6_calldata_18, 0) == 0, If(17 \u003c= calldatasize, 6_calldata_17, 0) == 0, If(16 \u003c= calldatasize, 6_calldata_16, 0) == 0, If(15 \u003c= calldatasize, 6_calldata_15, 0) == 0, If(14 \u003c= calldatasize, 6_calldata_14, 0) == 0, If(13 \u003c= calldatasize, 6_calldata_13, 0) == 0, If(12 \u003c= calldatasize, 6_calldata_12, 0) == 0, If(11 \u003c= calldatasize, 6_calldata_11, 0) == 0, If(10 \u003c= calldatasize, 6_calldata_10, 0) == 0, If(9 \u003c= calldatasize, 6_calldata_9, 0) == 0, If(8 \u003c= calldatasize, 6_calldata_8, 0) == 0, If(7 \u003c= calldatasize, 6_calldata_7, 0) == 0, If(6 \u003c= calldatasize, 6_calldata_6, 0) == 0, If(5 \u003c= calldatasize, 6_calldata_5, 0) == 0, If(4 \u003c= calldatasize, 6_calldata_4, 0) == 0, ULE(If(35 \u003c= calldatasize, Extract(3, 0, 6_calldata_35), 0), 10))", "smooth": {"type": "cubicBezier"}, "to": "105"}, {"arrows": "to", "from": "104", "label": "Not(And(If(35 \u003c= calldatasize, Extract(7, 4, 6_calldata_35), 0) == 0, If(34 \u003c= calldatasize, 6_calldata_34, 0) == 0, If(33 \u003c= calldatasize, 6_calldata_33, 0) == 0, If(32 \u003c= calldatasize, 6_calldata_32, 0) == 0, If(31 \u003c= calldatasize, 6_calldata_31, 0) == 0, If(30 \u003c= calldatasize, 6_calldata_30, 0) == 0, If(29 \u003c= calldatasize, 6_calldata_29, 0) == 0, If(28 \u003c= calldatasize, 6_calldata_28, 0) == 0, If(27 \u003c= calldatasize, 6_calldata_27, 0) == 0, If(26 \u003c= calldatasize, 6_calldata_26, 0) == 0, If(25 \u003c= calldatasize, 6_calldata_25, 0) == 0, If(24 \u003c= calldatasize, 6_calldata_24, 0) == 0, If(23 \u003c= calldatasize, 6_calldata_23, 0) == 0, If(22 \u003c= calldatasize, 6_calldata_22, 0) == 0, If(21 \u003c= calldatasize, 6_calldata_21, 0) == 0, If(20 \u003c= calldatasize, 6_calldata_20, 0) == 0, If(19 \u003c= calldatasize, 6_calldata_19, 0) == 0, If(18 \u003c= calldatasize, 6_calldata_18, 0) == 0, If(17 \u003c= calldatasize, 6_calldata_17, 0) == 0, If(16 \u003c= calldatasize, 6_calldata_16, 0) == 0, If(15 \u003c= calldatasize, 6_calldata_15, 0) == 0, If(14 \u003c= calldatasize, 6_calldata_14, 0) == 0, If(13 \u003c= calldatasize, 6_calldata_13, 0) == 0, If(12 \u003c= calldatasize, 6_calldata_12, 0) == 0, If(11 \u003c= calldatasize, 6_calldata_11, 0) == 0, If(10 \u003c= calldatasize, 6_calldata_10, 0) == 0, If(9 \u003c= calldatasize, 6_calldata_9, 0) == 0, If(8 \u003c= calldatasize, 6_calldata_8, 0) == 0, If(7 \u003c= calldatasize, 6_calldata_7, 0) == 0, If(6 \u003c= calldatasize, 6_calldata_6, 0) == 0, If(5 \u003c= calldatasize, 6_calldata_5, 0) == 0, If(4 \u003c= calldatasize, 6_calldata_4, 0) == 0, ULE(If(35 \u003c= calldatasize, Extract(3, 0, 6_calldata_35), 0), 10)))", "smooth": {"type": "cubicBezier"}, "to": "106"}, {"arrows": "to", "from": "106", "label": "", "smooth": {"type": "cubicBezier"}, "to": "107"}, {"arrows": "to", "from": "107", "label": "", "smooth": {"type": "cubicBezier"}, "to": "108"}, {"arrows": "to", "from": "105", "label": "", "smooth": {"type": "cubicBezier"}, "to": "109"}, {"arrows": "to", "from": "100", "label": "Not(And(If(3 \u003c= calldatasize, 6_calldata_3, 0) == 31, If(2 \u003c= calldatasize, 6_calldata_2, 0) == 0x67, If(1 \u003c= calldatasize, 6_calldata_1, 0) == 0xbe, If(0 \u003c= calldatasize, 6_calldata_0, 0) == 13))", "smooth": {"type": "cubicBezier"}, "to": "110"}, {"arrows": "to", "from": "110", "label": "Not(And(If(3 \u003c= calldatasize, 6_calldata_3, 0) == 2, If(2 \u003c= calldatasize, 6_calldata_2, 0) == 0xdc, If(1 \u003c= calldatasize, 6_calldata_1, 0) == 0xbb, If(0 \u003c= calldatasize, 6_calldata_0, 0) == 40))", "smooth": {"type": "cubicBezier"}, "to": "111"}, {"arrows": "to", "from": "111", "label": "Not(And(If(3 \u003c= calldatasize, 6_calldata_3, 0) == 0xd0, If(2 \u003c= calldatasize, 6_calldata_2, 0) == 0xe3, If(1 \u003c= calldatasize, 6_calldata_1, 0) == 0xf7, If(0 \u003c= calldatasize, 6_calldata_0, 0) == 77))", "smooth": {"type": "cubicBezier"}, "to": "112"}, {"arrows": "to", "from": "112", "label": "Not(And(If(3 \u003c= calldatasize, 6_calldata_3, 0) == 0xd0, If(2 \u003c= calldatasize, 6_calldata_2, 0) == 51, If(1 \u003c= calldatasize, 6_calldata_1, 0) == 89, If(0 \u003c= calldatasize, 6_calldata_0, 0) == 0x72))", "smooth": {"type": "cubicBezier"}, "to": "113"}, {"arrows": "to", "from": "113", "label": "Not(And(If(3 \u003c= calldatasize, 6_calldata_3, 0) == 0x7a, If(2 \u003c= calldatasize, 6_calldata_2, 0) == 89, If(1 \u003c= calldatasize, 6_calldata_1, 0) == 24, If(0 \u003c= calldatasize, 6_calldata_0, 0) == 0xf3))", "smooth": {"type": "cubicBezier"}, "to": "114"}];
</script>
</head>
<body>
<p>Mythril / Ethereum LASER Symbolic VM</p>
<div id="mynetwork"></div>
<script type="text/javascript">
var container = document.getElementById('mynetwork');
var nodesSet = new vis.DataSet(nodes);
var edgesSet = new vis.DataSet(edges);
var data = {'nodes': nodesSet, 'edges': edgesSet}
var gph = new vis.Network(container, data, options);
gph.on("click", function (params) {
// parse node id
var nodeID = params['nodes']['0'];
if (nodeID) {
var clickedNode = nodesSet.get(nodeID);
if(clickedNode.isExpanded) {
clickedNode.label = clickedNode.truncLabel;
}
else {
clickedNode.label = clickedNode.fullLabel;
}
clickedNode.isExpanded = !clickedNode.isExpanded;
nodesSet.update(clickedNode);
}
});
</script>
</body>
</html>