A total of 808 steps found
| Step |
PC |
Operation |
Gas |
GasCost |
Depth |
| [1] | 0 | PUSH1 | 24164 | 3 | 1 |
| [2] | 2 | PUSH1 | 24161 | 3 | 1 |
| [3] | 4 | MSTORE | 24158 | 12 | 1 |
| [4] | 5 | CALLDATASIZE | 24146 | 2 | 1 |
| [5] | 6 | PUSH2 | 24144 | 3 | 1 |
| [6] | 9 | JUMPI | 24141 | 10 | 1 |
| [7] | 19 | JUMPDEST | 24131 | 1 | 1 |
| [8] | 20 | PUSH2 | 24130 | 3 | 1 |
| [9] | 23 | JUMPDEST | 24127 | 1 | 1 |
| [10] | 24 | PUSH2 | 24126 | 3 | 1 |
| [11] | 27 | PUSH2 | 24123 | 3 | 1 |
| [12] | 30 | PUSH2 | 24120 | 3 | 1 |
| [13] | 33 | JUMP | 24117 | 8 | 1 |
| [14] | 94 | JUMPDEST | 24109 | 1 | 1 |
| [15] | 95 | PUSH1 | 24108 | 3 | 1 |
| [16] | 97 | PUSH2 | 24105 | 3 | 1 |
| [17] | 100 | PUSH32 | 24102 | 3 | 1 |
| [18] | 133 | SLOAD | 24099 | 2100 | 1 |
| [19] | 134 | PUSH1 | 21999 | 3 | 1 |
| [20] | 136 | PUSH1 | 21996 | 3 | 1 |
| [21] | 138 | PUSH1 | 21993 | 3 | 1 |
| [22] | 140 | SHL | 21990 | 3 | 1 |
| [23] | 141 | SUB | 21987 | 3 | 1 |
| [24] | 142 | AND | 21984 | 3 | 1 |
| [25] | 143 | SWAP1 | 21981 | 3 | 1 |
| [26] | 144 | JUMP | 21978 | 8 | 1 |
| [27] | 145 | JUMPDEST | 21970 | 1 | 1 |
| [28] | 146 | SWAP1 | 21969 | 3 | 1 |
| [29] | 147 | POP | 21966 | 2 | 1 |
| [30] | 148 | SWAP1 | 21964 | 3 | 1 |
| [31] | 149 | JUMP | 21961 | 8 | 1 |
| [32] | 34 | JUMPDEST | 21953 | 1 | 1 |
| [33] | 35 | PUSH2 | 21952 | 3 | 1 |
| [34] | 38 | JUMP | 21949 | 8 | 1 |
| [35] | 150 | JUMPDEST | 21941 | 1 | 1 |
| [36] | 151 | CALLDATASIZE | 21940 | 2 | 1 |
| [37] | 152 | PUSH1 | 21938 | 3 | 1 |
| [38] | 154 | DUP1 | 21935 | 3 | 1 |
| [39] | 155 | CALLDATACOPY | 21932 | 9 | 1 |
| [40] | 156 | PUSH1 | 21923 | 3 | 1 |
| [41] | 158 | DUP1 | 21920 | 3 | 1 |
| [42] | 159 | CALLDATASIZE | 21917 | 2 | 1 |
| [43] | 160 | PUSH1 | 21915 | 3 | 1 |
| [44] | 162 | DUP5 | 21912 | 3 | 1 |
| [45] | 163 | GAS | 21909 | 2 | 1 |
| [46] | 164 | DELEGATECALL | 21907 | 21606 | 1 |
| [47] | 0 | PUSH1 | 19006 | 3 | 2 |
| [48] | 2 | PUSH1 | 19003 | 3 | 2 |
| [49] | 4 | MSTORE | 19000 | 12 | 2 |
| [50] | 5 | PUSH1 | 18988 | 3 | 2 |
| [51] | 7 | CALLDATASIZE | 18985 | 2 | 2 |
| [52] | 8 | LT | 18983 | 3 | 2 |
| [53] | 9 | PUSH2 | 18980 | 3 | 2 |
| [54] | 12 | JUMPI | 18977 | 10 | 2 |
| [55] | 13 | PUSH1 | 18967 | 3 | 2 |
| [56] | 15 | CALLDATALOAD | 18964 | 3 | 2 |
| [57] | 16 | PUSH1 | 18961 | 3 | 2 |
| [58] | 18 | SHR | 18958 | 3 | 2 |
| [59] | 19 | DUP1 | 18955 | 3 | 2 |
| [60] | 20 | PUSH4 | 18952 | 3 | 2 |
| [61] | 25 | EQ | 18949 | 3 | 2 |
| [62] | 26 | PUSH2 | 18946 | 3 | 2 |
| [63] | 29 | JUMPI | 18943 | 10 | 2 |
| [64] | 30 | DUP1 | 18933 | 3 | 2 |
| [65] | 31 | PUSH4 | 18930 | 3 | 2 |
| [66] | 36 | EQ | 18927 | 3 | 2 |
| [67] | 37 | PUSH2 | 18924 | 3 | 2 |
| [68] | 40 | JUMPI | 18921 | 10 | 2 |
| [69] | 41 | DUP1 | 18911 | 3 | 2 |
| [70] | 42 | PUSH4 | 18908 | 3 | 2 |
| [71] | 47 | EQ | 18905 | 3 | 2 |
| [72] | 48 | PUSH2 | 18902 | 3 | 2 |
| [73] | 51 | JUMPI | 18899 | 10 | 2 |
| [74] | 52 | DUP1 | 18889 | 3 | 2 |
| [75] | 53 | PUSH4 | 18886 | 3 | 2 |
| [76] | 58 | EQ | 18883 | 3 | 2 |
| [77] | 59 | PUSH2 | 18880 | 3 | 2 |
| [78] | 62 | JUMPI | 18877 | 10 | 2 |
| [79] | 63 | DUP1 | 18867 | 3 | 2 |
| [80] | 64 | PUSH4 | 18864 | 3 | 2 |
| [81] | 69 | EQ | 18861 | 3 | 2 |
| [82] | 70 | PUSH2 | 18858 | 3 | 2 |
| [83] | 73 | JUMPI | 18855 | 10 | 2 |
| [84] | 74 | DUP1 | 18845 | 3 | 2 |
| [85] | 75 | PUSH4 | 18842 | 3 | 2 |
| [86] | 80 | EQ | 18839 | 3 | 2 |
| [87] | 81 | PUSH2 | 18836 | 3 | 2 |
| [88] | 84 | JUMPI | 18833 | 10 | 2 |
| [89] | 85 | DUP1 | 18823 | 3 | 2 |
| [90] | 86 | PUSH4 | 18820 | 3 | 2 |
| [91] | 91 | EQ | 18817 | 3 | 2 |
| [92] | 92 | PUSH2 | 18814 | 3 | 2 |
| [93] | 95 | JUMPI | 18811 | 10 | 2 |
| [94] | 96 | DUP1 | 18801 | 3 | 2 |
| [95] | 97 | PUSH4 | 18798 | 3 | 2 |
| [96] | 102 | EQ | 18795 | 3 | 2 |
| [97] | 103 | PUSH2 | 18792 | 3 | 2 |
| [98] | 106 | JUMPI | 18789 | 10 | 2 |
| [99] | 107 | DUP1 | 18779 | 3 | 2 |
| [100] | 108 | PUSH4 | 18776 | 3 | 2 |
| [101] | 113 | EQ | 18773 | 3 | 2 |
| [102] | 114 | PUSH2 | 18770 | 3 | 2 |
| [103] | 117 | JUMPI | 18767 | 10 | 2 |
| [104] | 118 | DUP1 | 18757 | 3 | 2 |
| [105] | 119 | PUSH4 | 18754 | 3 | 2 |
| [106] | 124 | EQ | 18751 | 3 | 2 |
| [107] | 125 | PUSH2 | 18748 | 3 | 2 |
| [108] | 128 | JUMPI | 18745 | 10 | 2 |
| [109] | 129 | DUP1 | 18735 | 3 | 2 |
| [110] | 130 | PUSH4 | 18732 | 3 | 2 |
| [111] | 135 | EQ | 18729 | 3 | 2 |
| [112] | 136 | PUSH2 | 18726 | 3 | 2 |
| [113] | 139 | JUMPI | 18723 | 10 | 2 |
| [114] | 140 | DUP1 | 18713 | 3 | 2 |
| [115] | 141 | PUSH4 | 18710 | 3 | 2 |
| [116] | 146 | EQ | 18707 | 3 | 2 |
| [117] | 147 | PUSH2 | 18704 | 3 | 2 |
| [118] | 150 | JUMPI | 18701 | 10 | 2 |
| [119] | 151 | DUP1 | 18691 | 3 | 2 |
| [120] | 152 | PUSH4 | 18688 | 3 | 2 |
| [121] | 157 | EQ | 18685 | 3 | 2 |
| [122] | 158 | PUSH2 | 18682 | 3 | 2 |
| [123] | 161 | JUMPI | 18679 | 10 | 2 |
| [124] | 162 | DUP1 | 18669 | 3 | 2 |
| [125] | 163 | PUSH4 | 18666 | 3 | 2 |
| [126] | 168 | EQ | 18663 | 3 | 2 |
| [127] | 169 | PUSH2 | 18660 | 3 | 2 |
| [128] | 172 | JUMPI | 18657 | 10 | 2 |
| [129] | 173 | DUP1 | 18647 | 3 | 2 |
| [130] | 174 | PUSH4 | 18644 | 3 | 2 |
| [131] | 179 | EQ | 18641 | 3 | 2 |
| [132] | 180 | PUSH2 | 18638 | 3 | 2 |
| [133] | 183 | JUMPI | 18635 | 10 | 2 |
| [134] | 184 | DUP1 | 18625 | 3 | 2 |
| [135] | 185 | PUSH4 | 18622 | 3 | 2 |
| [136] | 190 | EQ | 18619 | 3 | 2 |
| [137] | 191 | PUSH2 | 18616 | 3 | 2 |
| [138] | 194 | JUMPI | 18613 | 10 | 2 |
| [139] | 195 | DUP1 | 18603 | 3 | 2 |
| [140] | 196 | PUSH4 | 18600 | 3 | 2 |
| [141] | 201 | EQ | 18597 | 3 | 2 |
| [142] | 202 | PUSH2 | 18594 | 3 | 2 |
| [143] | 205 | JUMPI | 18591 | 10 | 2 |
| [144] | 1190 | JUMPDEST | 18581 | 1 | 2 |
| [145] | 1191 | CALLVALUE | 18580 | 2 | 2 |
| [146] | 1192 | DUP1 | 18578 | 3 | 2 |
| [147] | 1193 | ISZERO | 18575 | 3 | 2 |
| [148] | 1194 | PUSH2 | 18572 | 3 | 2 |
| [149] | 1197 | JUMPI | 18569 | 10 | 2 |
| [150] | 1202 | JUMPDEST | 18559 | 1 | 2 |
| [151] | 1203 | POP | 18558 | 2 | 2 |
| [152] | 1204 | PUSH2 | 18556 | 3 | 2 |
| [153] | 1207 | PUSH2 | 18553 | 3 | 2 |
| [154] | 1210 | CALLDATASIZE | 18550 | 2 | 2 |
| [155] | 1211 | PUSH1 | 18548 | 3 | 2 |
| [156] | 1213 | PUSH2 | 18545 | 3 | 2 |
| [157] | 1216 | JUMP | 18542 | 8 | 2 |
| [158] | 12273 | JUMPDEST | 18534 | 1 | 2 |
| [159] | 12274 | PUSH1 | 18533 | 3 | 2 |
| [160] | 12276 | PUSH1 | 18530 | 3 | 2 |
| [161] | 12278 | DUP3 | 18527 | 3 | 2 |
| [162] | 12279 | DUP5 | 18524 | 3 | 2 |
| [163] | 12280 | SUB | 18521 | 3 | 2 |
| [164] | 12281 | SLT | 18518 | 3 | 2 |
| [165] | 12282 | ISZERO | 18515 | 3 | 2 |
| [166] | 12283 | PUSH2 | 18512 | 3 | 2 |
| [167] | 12286 | JUMPI | 18509 | 10 | 2 |
| [168] | 12291 | JUMPDEST | 18499 | 1 | 2 |
| [169] | 12292 | DUP2 | 18498 | 3 | 2 |
| [170] | 12293 | CALLDATALOAD | 18495 | 3 | 2 |
| [171] | 12294 | PUSH2 | 18492 | 3 | 2 |
| [172] | 12297 | DUP2 | 18489 | 3 | 2 |
| [173] | 12298 | PUSH2 | 18486 | 3 | 2 |
| [174] | 12301 | JUMP | 18483 | 8 | 2 |
| [175] | 12147 | JUMPDEST | 18475 | 1 | 2 |
| [176] | 12148 | PUSH1 | 18474 | 3 | 2 |
| [177] | 12150 | PUSH1 | 18471 | 3 | 2 |
| [178] | 12152 | PUSH1 | 18468 | 3 | 2 |
| [179] | 12154 | SHL | 18465 | 3 | 2 |
| [180] | 12155 | SUB | 18462 | 3 | 2 |
| [181] | 12156 | DUP2 | 18459 | 3 | 2 |
| [182] | 12157 | AND | 18456 | 3 | 2 |
| [183] | 12158 | DUP2 | 18453 | 3 | 2 |
| [184] | 12159 | EQ | 18450 | 3 | 2 |
| [185] | 12160 | PUSH2 | 18447 | 3 | 2 |
| [186] | 12163 | JUMPI | 18444 | 10 | 2 |
| [187] | 3407 | JUMPDEST | 18434 | 1 | 2 |
| [188] | 3408 | POP | 18433 | 2 | 2 |
| [189] | 3409 | JUMP | 18431 | 8 | 2 |
| [190] | 10529 | JUMPDEST | 18423 | 1 | 2 |
| [191] | 10530 | SWAP4 | 18422 | 3 | 2 |
| [192] | 10531 | SWAP3 | 18419 | 3 | 2 |
| [193] | 10532 | POP | 18416 | 2 | 2 |
| [194] | 10533 | POP | 18414 | 2 | 2 |
| [195] | 10534 | POP | 18412 | 2 | 2 |
| [196] | 10535 | JUMP | 18410 | 8 | 2 |
| [197] | 1217 | JUMPDEST | 18402 | 1 | 2 |
| [198] | 1218 | PUSH2 | 18401 | 3 | 2 |
| [199] | 1221 | JUMP | 18398 | 8 | 2 |
| [200] | 3209 | JUMPDEST | 18390 | 1 | 2 |
| [201] | 3210 | ADDRESS | 18389 | 2 | 2 |
| [202] | 3211 | PUSH1 | 18387 | 3 | 2 |
| [203] | 3213 | PUSH1 | 18384 | 3 | 2 |
| [204] | 3215 | PUSH1 | 18381 | 3 | 2 |
| [205] | 3217 | SHL | 18378 | 3 | 2 |
| [206] | 3218 | SUB | 18375 | 3 | 2 |
| [207] | 3219 | PUSH32 | 18372 | 3 | 2 |
| [208] | 3252 | AND | 18369 | 3 | 2 |
| [209] | 3253 | EQ | 18366 | 3 | 2 |
| [210] | 3254 | ISZERO | 18363 | 3 | 2 |
| [211] | 3255 | PUSH2 | 18360 | 3 | 2 |
| [212] | 3258 | JUMPI | 18357 | 10 | 2 |
| [213] | 3282 | JUMPDEST | 18347 | 1 | 2 |
| [214] | 3283 | PUSH32 | 18346 | 3 | 2 |
| [215] | 3316 | PUSH1 | 18343 | 3 | 2 |
| [216] | 3318 | PUSH1 | 18340 | 3 | 2 |
| [217] | 3320 | PUSH1 | 18337 | 3 | 2 |
| [218] | 3322 | SHL | 18334 | 3 | 2 |
| [219] | 3323 | SUB | 18331 | 3 | 2 |
| [220] | 3324 | AND | 18328 | 3 | 2 |
| [221] | 3325 | PUSH2 | 18325 | 3 | 2 |
| [222] | 3328 | PUSH2 | 18322 | 3 | 2 |
| [223] | 3331 | JUMP | 18319 | 8 | 2 |
| [224] | 9449 | JUMPDEST | 18311 | 1 | 2 |
| [225] | 9450 | PUSH1 | 18310 | 3 | 2 |
| [226] | 9452 | DUP1 | 18307 | 3 | 2 |
| [227] | 9453 | MLOAD | 18304 | 3 | 2 |
| [228] | 9454 | PUSH1 | 18301 | 3 | 2 |
| [229] | 9456 | PUSH2 | 18298 | 3 | 2 |
| [230] | 9459 | DUP4 | 18295 | 3 | 2 |
| [231] | 9460 | CODECOPY | 18292 | 6 | 2 |
| [232] | 9461 | DUP2 | 18286 | 3 | 2 |
| [233] | 9462 | MLOAD | 18283 | 3 | 2 |
| [234] | 9463 | SWAP2 | 18280 | 3 | 2 |
| [235] | 9464 | MSTORE | 18277 | 3 | 2 |
| [236] | 9465 | SLOAD | 18274 | 100 | 2 |
| [237] | 9466 | PUSH1 | 18174 | 3 | 2 |
| [238] | 9468 | PUSH1 | 18171 | 3 | 2 |
| [239] | 9470 | PUSH1 | 18168 | 3 | 2 |
| [240] | 9472 | SHL | 18165 | 3 | 2 |
| [241] | 9473 | SUB | 18162 | 3 | 2 |
| [242] | 9474 | AND | 18159 | 3 | 2 |
| [243] | 9475 | SWAP1 | 18156 | 3 | 2 |
| [244] | 9476 | JUMP | 18153 | 8 | 2 |
| [245] | 3332 | JUMPDEST | 18145 | 1 | 2 |
| [246] | 3333 | PUSH1 | 18144 | 3 | 2 |
| [247] | 3335 | PUSH1 | 18141 | 3 | 2 |
| [248] | 3337 | PUSH1 | 18138 | 3 | 2 |
| [249] | 3339 | SHL | 18135 | 3 | 2 |
| [250] | 3340 | SUB | 18132 | 3 | 2 |
| [251] | 3341 | AND | 18129 | 3 | 2 |
| [252] | 3342 | EQ | 18126 | 3 | 2 |
| [253] | 3343 | PUSH2 | 18123 | 3 | 2 |
| [254] | 3346 | JUMPI | 18120 | 10 | 2 |
| [255] | 3370 | JUMPDEST | 18110 | 1 | 2 |
| [256] | 3371 | PUSH2 | 18109 | 3 | 2 |
| [257] | 3374 | DUP2 | 18106 | 3 | 2 |
| [258] | 3375 | PUSH2 | 18103 | 3 | 2 |
| [259] | 3378 | JUMP | 18100 | 8 | 2 |
| [260] | 9477 | JUMPDEST | 18092 | 1 | 2 |
| [261] | 9478 | PUSH1 | 18091 | 3 | 2 |
| [262] | 9480 | DUP1 | 18088 | 3 | 2 |
| [263] | 9481 | MLOAD | 18085 | 3 | 2 |
| [264] | 9482 | PUSH1 | 18082 | 3 | 2 |
| [265] | 9484 | PUSH2 | 18079 | 3 | 2 |
| [266] | 9487 | DUP4 | 18076 | 3 | 2 |
| [267] | 9488 | CODECOPY | 18073 | 6 | 2 |
| [268] | 9489 | DUP2 | 18067 | 3 | 2 |
| [269] | 9490 | MLOAD | 18064 | 3 | 2 |
| [270] | 9491 | SWAP2 | 18061 | 3 | 2 |
| [271] | 9492 | MSTORE | 18058 | 3 | 2 |
| [272] | 9493 | PUSH2 | 18055 | 3 | 2 |
| [273] | 9496 | DUP2 | 18052 | 3 | 2 |
| [274] | 9497 | PUSH2 | 18049 | 3 | 2 |
| [275] | 9500 | JUMP | 18046 | 8 | 2 |
| [276] | 9202 | JUMPDEST | 18038 | 1 | 2 |
| [277] | 9203 | PUSH2 | 18037 | 3 | 2 |
| [278] | 9206 | DUP2 | 18034 | 3 | 2 |
| [279] | 9207 | CALLER | 18031 | 2 | 2 |
| [280] | 9208 | PUSH2 | 18029 | 3 | 2 |
| [281] | 9211 | JUMP | 18026 | 8 | 2 |
| [282] | 10600 | JUMPDEST | 18018 | 1 | 2 |
| [283] | 10601 | PUSH2 | 18017 | 3 | 2 |
| [284] | 10604 | DUP3 | 18014 | 3 | 2 |
| [285] | 10605 | DUP3 | 18011 | 3 | 2 |
| [286] | 10606 | PUSH2 | 18008 | 3 | 2 |
| [287] | 10609 | JUMP | 18005 | 8 | 2 |
| [288] | 5790 | JUMPDEST | 17997 | 1 | 2 |
| [289] | 5791 | PUSH1 | 17996 | 3 | 2 |
| [290] | 5793 | SWAP2 | 17993 | 3 | 2 |
| [291] | 5794 | DUP3 | 17990 | 3 | 2 |
| [292] | 5795 | MSTORE | 17987 | 3 | 2 |
| [293] | 5796 | PUSH1 | 17984 | 3 | 2 |
| [294] | 5798 | PUSH1 | 17981 | 3 | 2 |
| [295] | 5800 | SWAP1 | 17978 | 3 | 2 |
| [296] | 5801 | DUP2 | 17975 | 3 | 2 |
| [297] | 5802 | MSTORE | 17972 | 3 | 2 |
| [298] | 5803 | PUSH1 | 17969 | 3 | 2 |
| [299] | 5805 | DUP1 | 17966 | 3 | 2 |
| [300] | 5806 | DUP5 | 17963 | 3 | 2 |
| [301] | 5807 | KECCAK256 | 17960 | 42 | 2 |
| [302] | 5808 | PUSH1 | 17918 | 3 | 2 |
| [303] | 5810 | PUSH1 | 17915 | 3 | 2 |
| [304] | 5812 | PUSH1 | 17912 | 3 | 2 |
| [305] | 5814 | SHL | 17909 | 3 | 2 |
| [306] | 5815 | SUB | 17906 | 3 | 2 |
| [307] | 5816 | SWAP4 | 17903 | 3 | 2 |
| [308] | 5817 | SWAP1 | 17900 | 3 | 2 |
| [309] | 5818 | SWAP4 | 17897 | 3 | 2 |
| [310] | 5819 | AND | 17894 | 3 | 2 |
| [311] | 5820 | DUP5 | 17891 | 3 | 2 |
| [312] | 5821 | MSTORE | 17888 | 3 | 2 |
| [313] | 5822 | SWAP2 | 17885 | 3 | 2 |
| [314] | 5823 | SWAP1 | 17882 | 3 | 2 |
| [315] | 5824 | MSTORE | 17879 | 3 | 2 |
| [316] | 5825 | SWAP1 | 17876 | 3 | 2 |
| [317] | 5826 | KECCAK256 | 17873 | 42 | 2 |
| [318] | 5827 | SLOAD | 17831 | 2100 | 2 |
| [319] | 5828 | PUSH1 | 15731 | 3 | 2 |
| [320] | 5830 | AND | 15728 | 3 | 2 |
| [321] | 5831 | SWAP1 | 15725 | 3 | 2 |
| [322] | 5832 | JUMP | 15722 | 8 | 2 |
| [323] | 10610 | JUMPDEST | 15714 | 1 | 2 |
| [324] | 10611 | PUSH2 | 15713 | 3 | 2 |
| [325] | 10614 | JUMPI | 15710 | 10 | 2 |
| [326] | 3205 | JUMPDEST | 15700 | 1 | 2 |
| [327] | 3206 | POP | 15699 | 2 | 2 |
| [328] | 3207 | POP | 15697 | 2 | 2 |
| [329] | 3208 | JUMP | 15695 | 8 | 2 |
| [330] | 3407 | JUMPDEST | 15687 | 1 | 2 |
| [331] | 3408 | POP | 15686 | 2 | 2 |
| [332] | 3409 | JUMP | 15684 | 8 | 2 |
| [333] | 9501 | JUMPDEST | 15676 | 1 | 2 |
| [334] | 9502 | PUSH2 | 15675 | 3 | 2 |
| [335] | 9505 | SLOAD | 15672 | 2100 | 2 |
| [336] | 9506 | PUSH1 | 13572 | 3 | 2 |
| [337] | 9508 | AND | 13569 | 3 | 2 |
| [338] | 9509 | PUSH2 | 13566 | 3 | 2 |
| [339] | 9512 | JUMPI | 13563 | 10 | 2 |
| [340] | 9583 | JUMPDEST | 13553 | 1 | 2 |
| [341] | 9584 | POP | 13552 | 2 | 2 |
| [342] | 9585 | POP | 13550 | 2 | 2 |
| [343] | 9586 | PUSH2 | 13548 | 3 | 2 |
| [344] | 9589 | DUP1 | 13545 | 3 | 2 |
| [345] | 9590 | SLOAD | 13542 | 100 | 2 |
| [346] | 9591 | PUSH1 | 13442 | 3 | 2 |
| [347] | 9593 | NOT | 13439 | 3 | 2 |
| [348] | 9594 | AND | 13436 | 3 | 2 |
| [349] | 9595 | SWAP1 | 13433 | 3 | 2 |
| [350] | 9596 | SSTORE | 13430 | 2900 | 2 |
| [351] | 9597 | JUMP | 10530 | 8 | 2 |
| [352] | 3379 | JUMPDEST | 10522 | 1 | 2 |
| [353] | 3380 | PUSH1 | 10521 | 3 | 2 |
| [354] | 3382 | DUP1 | 10518 | 3 | 2 |
| [355] | 3383 | MLOAD | 10515 | 3 | 2 |
| [356] | 3384 | PUSH1 | 10512 | 3 | 2 |
| [357] | 3386 | DUP1 | 10509 | 3 | 2 |
| [358] | 3387 | DUP3 | 10506 | 3 | 2 |
| [359] | 3388 | MSTORE | 10503 | 9 | 2 |
| [360] | 3389 | PUSH1 | 10494 | 3 | 2 |
| [361] | 3391 | DUP3 | 10491 | 3 | 2 |
| [362] | 3392 | ADD | 10488 | 3 | 2 |
| [363] | 3393 | SWAP1 | 10485 | 3 | 2 |
| [364] | 3394 | SWAP3 | 10482 | 3 | 2 |
| [365] | 3395 | MSTORE | 10479 | 3 | 2 |
| [366] | 3396 | PUSH2 | 10476 | 3 | 2 |
| [367] | 3399 | SWAP2 | 10473 | 3 | 2 |
| [368] | 3400 | DUP4 | 10470 | 3 | 2 |
| [369] | 3401 | SWAP2 | 10467 | 3 | 2 |
| [370] | 3402 | SWAP1 | 10464 | 3 | 2 |
| [371] | 3403 | PUSH2 | 10461 | 3 | 2 |
| [372] | 3406 | JUMP | 10458 | 8 | 2 |
| [373] | 9598 | JUMPDEST | 10450 | 1 | 2 |
| [374] | 9599 | PUSH32 | 10449 | 3 | 2 |
| [375] | 9632 | SLOAD | 10446 | 2100 | 2 |
| [376] | 9633 | PUSH1 | 8346 | 3 | 2 |
| [377] | 9635 | AND | 8343 | 3 | 2 |
| [378] | 9636 | ISZERO | 8340 | 3 | 2 |
| [379] | 9637 | PUSH2 | 8337 | 3 | 2 |
| [380] | 9640 | JUMPI | 8334 | 10 | 2 |
| [381] | 9649 | JUMPDEST | 8324 | 1 | 2 |
| [382] | 9650 | DUP3 | 8323 | 3 | 2 |
| [383] | 9651 | PUSH1 | 8320 | 3 | 2 |
| [384] | 9653 | PUSH1 | 8317 | 3 | 2 |
| [385] | 9655 | PUSH1 | 8314 | 3 | 2 |
| [386] | 9657 | SHL | 8311 | 3 | 2 |
| [387] | 9658 | SUB | 8308 | 3 | 2 |
| [388] | 9659 | AND | 8305 | 3 | 2 |
| [389] | 9660 | PUSH4 | 8302 | 3 | 2 |
| [390] | 9665 | PUSH1 | 8299 | 3 | 2 |
| [391] | 9667 | MLOAD | 8296 | 3 | 2 |
| [392] | 9668 | DUP2 | 8293 | 3 | 2 |
| [393] | 9669 | PUSH4 | 8290 | 3 | 2 |
| [394] | 9674 | AND | 8287 | 3 | 2 |
| [395] | 9675 | PUSH1 | 8284 | 3 | 2 |
| [396] | 9677 | SHL | 8281 | 3 | 2 |
| [397] | 9678 | DUP2 | 8278 | 3 | 2 |
| [398] | 9679 | MSTORE | 8275 | 6 | 2 |
| [399] | 9680 | PUSH1 | 8269 | 3 | 2 |
| [400] | 9682 | ADD | 8266 | 3 | 2 |
| [401] | 9683 | PUSH1 | 8263 | 3 | 2 |
| [402] | 9685 | PUSH1 | 8260 | 3 | 2 |
| [403] | 9687 | MLOAD | 8257 | 3 | 2 |
| [404] | 9688 | DUP1 | 8254 | 3 | 2 |
| [405] | 9689 | DUP4 | 8251 | 3 | 2 |
| [406] | 9690 | SUB | 8248 | 3 | 2 |
| [407] | 9691 | DUP2 | 8245 | 3 | 2 |
| [408] | 9692 | DUP7 | 8242 | 3 | 2 |
| [409] | 9693 | GAS | 8239 | 2 | 2 |
| [410] | 9694 | STATICCALL | 8237 | 8149 | 2 |
| [411] | 0 | PUSH1 | 5549 | 3 | 3 |
| [412] | 2 | PUSH1 | 5546 | 3 | 3 |
| [413] | 4 | MSTORE | 5543 | 12 | 3 |
| [414] | 5 | PUSH1 | 5531 | 3 | 3 |
| [415] | 7 | CALLDATASIZE | 5528 | 2 | 3 |
| [416] | 8 | LT | 5526 | 3 | 3 |
| [417] | 9 | PUSH2 | 5523 | 3 | 3 |
| [418] | 12 | JUMPI | 5520 | 10 | 3 |
| [419] | 13 | PUSH1 | 5510 | 3 | 3 |
| [420] | 15 | CALLDATALOAD | 5507 | 3 | 3 |
| [421] | 16 | PUSH1 | 5504 | 3 | 3 |
| [422] | 18 | SHR | 5501 | 3 | 3 |
| [423] | 19 | DUP1 | 5498 | 3 | 3 |
| [424] | 20 | PUSH4 | 5495 | 3 | 3 |
| [425] | 25 | EQ | 5492 | 3 | 3 |
| [426] | 26 | PUSH2 | 5489 | 3 | 3 |
| [427] | 29 | JUMPI | 5486 | 10 | 3 |
| [428] | 30 | DUP1 | 5476 | 3 | 3 |
| [429] | 31 | PUSH4 | 5473 | 3 | 3 |
| [430] | 36 | EQ | 5470 | 3 | 3 |
| [431] | 37 | PUSH2 | 5467 | 3 | 3 |
| [432] | 40 | JUMPI | 5464 | 10 | 3 |
| [433] | 41 | DUP1 | 5454 | 3 | 3 |
| [434] | 42 | PUSH4 | 5451 | 3 | 3 |
| [435] | 47 | EQ | 5448 | 3 | 3 |
| [436] | 48 | PUSH2 | 5445 | 3 | 3 |
| [437] | 51 | JUMPI | 5442 | 10 | 3 |
| [438] | 52 | DUP1 | 5432 | 3 | 3 |
| [439] | 53 | PUSH4 | 5429 | 3 | 3 |
| [440] | 58 | EQ | 5426 | 3 | 3 |
| [441] | 59 | PUSH2 | 5423 | 3 | 3 |
| [442] | 62 | JUMPI | 5420 | 10 | 3 |
| [443] | 63 | DUP1 | 5410 | 3 | 3 |
| [444] | 64 | PUSH4 | 5407 | 3 | 3 |
| [445] | 69 | EQ | 5404 | 3 | 3 |
| [446] | 70 | PUSH2 | 5401 | 3 | 3 |
| [447] | 73 | JUMPI | 5398 | 10 | 3 |
| [448] | 74 | DUP1 | 5388 | 3 | 3 |
| [449] | 75 | PUSH4 | 5385 | 3 | 3 |
| [450] | 80 | EQ | 5382 | 3 | 3 |
| [451] | 81 | PUSH2 | 5379 | 3 | 3 |
| [452] | 84 | JUMPI | 5376 | 10 | 3 |
| [453] | 85 | DUP1 | 5366 | 3 | 3 |
| [454] | 86 | PUSH4 | 5363 | 3 | 3 |
| [455] | 91 | EQ | 5360 | 3 | 3 |
| [456] | 92 | PUSH2 | 5357 | 3 | 3 |
| [457] | 95 | JUMPI | 5354 | 10 | 3 |
| [458] | 96 | DUP1 | 5344 | 3 | 3 |
| [459] | 97 | PUSH4 | 5341 | 3 | 3 |
| [460] | 102 | EQ | 5338 | 3 | 3 |
| [461] | 103 | PUSH2 | 5335 | 3 | 3 |
| [462] | 106 | JUMPI | 5332 | 10 | 3 |
| [463] | 107 | DUP1 | 5322 | 3 | 3 |
| [464] | 108 | PUSH4 | 5319 | 3 | 3 |
| [465] | 113 | EQ | 5316 | 3 | 3 |
| [466] | 114 | PUSH2 | 5313 | 3 | 3 |
| [467] | 117 | JUMPI | 5310 | 10 | 3 |
| [468] | 118 | DUP1 | 5300 | 3 | 3 |
| [469] | 119 | PUSH4 | 5297 | 3 | 3 |
| [470] | 124 | EQ | 5294 | 3 | 3 |
| [471] | 125 | PUSH2 | 5291 | 3 | 3 |
| [472] | 128 | JUMPI | 5288 | 10 | 3 |
| [473] | 129 | DUP1 | 5278 | 3 | 3 |
| [474] | 130 | PUSH4 | 5275 | 3 | 3 |
| [475] | 135 | EQ | 5272 | 3 | 3 |
| [476] | 136 | PUSH2 | 5269 | 3 | 3 |
| [477] | 139 | JUMPI | 5266 | 10 | 3 |
| [478] | 140 | DUP1 | 5256 | 3 | 3 |
| [479] | 141 | PUSH4 | 5253 | 3 | 3 |
| [480] | 146 | EQ | 5250 | 3 | 3 |
| [481] | 147 | PUSH2 | 5247 | 3 | 3 |
| [482] | 150 | JUMPI | 5244 | 10 | 3 |
| [483] | 151 | DUP1 | 5234 | 3 | 3 |
| [484] | 152 | PUSH4 | 5231 | 3 | 3 |
| [485] | 157 | EQ | 5228 | 3 | 3 |
| [486] | 158 | PUSH2 | 5225 | 3 | 3 |
| [487] | 161 | JUMPI | 5222 | 10 | 3 |
| [488] | 162 | DUP1 | 5212 | 3 | 3 |
| [489] | 163 | PUSH4 | 5209 | 3 | 3 |
| [490] | 168 | EQ | 5206 | 3 | 3 |
| [491] | 169 | PUSH2 | 5203 | 3 | 3 |
| [492] | 172 | JUMPI | 5200 | 10 | 3 |
| [493] | 173 | DUP1 | 5190 | 3 | 3 |
| [494] | 174 | PUSH4 | 5187 | 3 | 3 |
| [495] | 179 | EQ | 5184 | 3 | 3 |
| [496] | 180 | PUSH2 | 5181 | 3 | 3 |
| [497] | 183 | JUMPI | 5178 | 10 | 3 |
| [498] | 184 | DUP1 | 5168 | 3 | 3 |
| [499] | 185 | PUSH4 | 5165 | 3 | 3 |
| [500] | 190 | EQ | 5162 | 3 | 3 |
| [501] | 191 | PUSH2 | 5159 | 3 | 3 |
| [502] | 194 | JUMPI | 5156 | 10 | 3 |
| [503] | 195 | DUP1 | 5146 | 3 | 3 |
| [504] | 196 | PUSH4 | 5143 | 3 | 3 |
| [505] | 201 | EQ | 5140 | 3 | 3 |
| [506] | 202 | PUSH2 | 5137 | 3 | 3 |
| [507] | 205 | JUMPI | 5134 | 10 | 3 |
| [508] | 206 | DUP1 | 5124 | 3 | 3 |
| [509] | 207 | PUSH4 | 5121 | 3 | 3 |
| [510] | 212 | EQ | 5118 | 3 | 3 |
| [511] | 213 | PUSH2 | 5115 | 3 | 3 |
| [512] | 216 | JUMPI | 5112 | 10 | 3 |
| [513] | 217 | DUP1 | 5102 | 3 | 3 |
| [514] | 218 | PUSH4 | 5099 | 3 | 3 |
| [515] | 223 | EQ | 5096 | 3 | 3 |
| [516] | 224 | PUSH2 | 5093 | 3 | 3 |
| [517] | 227 | JUMPI | 5090 | 10 | 3 |
| [518] | 228 | DUP1 | 5080 | 3 | 3 |
| [519] | 229 | PUSH4 | 5077 | 3 | 3 |
| [520] | 234 | EQ | 5074 | 3 | 3 |
| [521] | 235 | PUSH2 | 5071 | 3 | 3 |
| [522] | 238 | JUMPI | 5068 | 10 | 3 |
| [523] | 239 | DUP1 | 5058 | 3 | 3 |
| [524] | 240 | PUSH4 | 5055 | 3 | 3 |
| [525] | 245 | EQ | 5052 | 3 | 3 |
| [526] | 246 | PUSH2 | 5049 | 3 | 3 |
| [527] | 249 | JUMPI | 5046 | 10 | 3 |
| [528] | 250 | DUP1 | 5036 | 3 | 3 |
| [529] | 251 | PUSH4 | 5033 | 3 | 3 |
| [530] | 256 | EQ | 5030 | 3 | 3 |
| [531] | 257 | PUSH2 | 5027 | 3 | 3 |
| [532] | 260 | JUMPI | 5024 | 10 | 3 |
| [533] | 261 | DUP1 | 5014 | 3 | 3 |
| [534] | 262 | PUSH4 | 5011 | 3 | 3 |
| [535] | 267 | EQ | 5008 | 3 | 3 |
| [536] | 268 | PUSH2 | 5005 | 3 | 3 |
| [537] | 271 | JUMPI | 5002 | 10 | 3 |
| [538] | 272 | DUP1 | 4992 | 3 | 3 |
| [539] | 273 | PUSH4 | 4989 | 3 | 3 |
| [540] | 278 | EQ | 4986 | 3 | 3 |
| [541] | 279 | PUSH2 | 4983 | 3 | 3 |
| [542] | 282 | JUMPI | 4980 | 10 | 3 |
| [543] | 283 | DUP1 | 4970 | 3 | 3 |
| [544] | 284 | PUSH4 | 4967 | 3 | 3 |
| [545] | 289 | EQ | 4964 | 3 | 3 |
| [546] | 290 | PUSH2 | 4961 | 3 | 3 |
| [547] | 293 | JUMPI | 4958 | 10 | 3 |
| [548] | 1496 | JUMPDEST | 4948 | 1 | 3 |
| [549] | 1497 | CALLVALUE | 4947 | 2 | 3 |
| [550] | 1498 | DUP1 | 4945 | 3 | 3 |
| [551] | 1499 | ISZERO | 4942 | 3 | 3 |
| [552] | 1500 | PUSH2 | 4939 | 3 | 3 |
| [553] | 1503 | JUMPI | 4936 | 10 | 3 |
| [554] | 1508 | JUMPDEST | 4926 | 1 | 3 |
| [555] | 1509 | POP | 4925 | 2 | 3 |
| [556] | 1510 | PUSH2 | 4923 | 3 | 3 |
| [557] | 1513 | PUSH2 | 4920 | 3 | 3 |
| [558] | 1516 | JUMP | 4917 | 8 | 3 |
| [559] | 4176 | JUMPDEST | 4909 | 1 | 3 |
| [560] | 4177 | PUSH1 | 4908 | 3 | 3 |
| [561] | 4179 | ADDRESS | 4905 | 2 | 3 |
| [562] | 4180 | PUSH1 | 4903 | 3 | 3 |
| [563] | 4182 | PUSH1 | 4900 | 3 | 3 |
| [564] | 4184 | PUSH1 | 4897 | 3 | 3 |
| [565] | 4186 | SHL | 4894 | 3 | 3 |
| [566] | 4187 | SUB | 4891 | 3 | 3 |
| [567] | 4188 | PUSH32 | 4888 | 3 | 3 |
| [568] | 4221 | AND | 4885 | 3 | 3 |
| [569] | 4222 | EQ | 4882 | 3 | 3 |
| [570] | 4223 | PUSH2 | 4879 | 3 | 3 |
| [571] | 4226 | JUMPI | 4876 | 10 | 3 |
| [572] | 4331 | JUMPDEST | 4866 | 1 | 3 |
| [573] | 4332 | POP | 4865 | 2 | 3 |
| [574] | 4333 | PUSH1 | 4863 | 3 | 3 |
| [575] | 4335 | DUP1 | 4860 | 3 | 3 |
| [576] | 4336 | MLOAD | 4857 | 3 | 3 |
| [577] | 4337 | PUSH1 | 4854 | 3 | 3 |
| [578] | 4339 | PUSH2 | 4851 | 3 | 3 |
| [579] | 4342 | DUP4 | 4848 | 3 | 3 |
| [580] | 4343 | CODECOPY | 4845 | 6 | 3 |
| [581] | 4344 | DUP2 | 4839 | 3 | 3 |
| [582] | 4345 | MLOAD | 4836 | 3 | 3 |
| [583] | 4346 | SWAP2 | 4833 | 3 | 3 |
| [584] | 4347 | MSTORE | 4830 | 3 | 3 |
| [585] | 4348 | SWAP1 | 4827 | 3 | 3 |
| [586] | 4349 | JUMP | 4824 | 8 | 3 |
| [587] | 838 | JUMPDEST | 4816 | 1 | 3 |
| [588] | 839 | PUSH1 | 4815 | 3 | 3 |
| [589] | 841 | MLOAD | 4812 | 3 | 3 |
| [590] | 842 | SWAP1 | 4809 | 3 | 3 |
| [591] | 843 | DUP2 | 4806 | 3 | 3 |
| [592] | 844 | MSTORE | 4803 | 9 | 3 |
| [593] | 845 | PUSH1 | 4794 | 3 | 3 |
| [594] | 847 | ADD | 4791 | 3 | 3 |
| [595] | 848 | PUSH2 | 4788 | 3 | 3 |
| [596] | 851 | JUMP | 4785 | 8 | 3 |
| [597] | 651 | JUMPDEST | 4777 | 1 | 3 |
| [598] | 652 | PUSH1 | 4776 | 3 | 3 |
| [599] | 654 | MLOAD | 4773 | 3 | 3 |
| [600] | 655 | DUP1 | 4770 | 3 | 3 |
| [601] | 656 | SWAP2 | 4767 | 3 | 3 |
| [602] | 657 | SUB | 4764 | 3 | 3 |
| [603] | 658 | SWAP1 | 4761 | 3 | 3 |
| [604] | 659 | RETURN | 4758 | 0 | 3 |
| [605] | 9695 | SWAP3 | 4846 | 3 | 2 |
| [606] | 9696 | POP | 4843 | 2 | 2 |
| [607] | 9697 | POP | 4841 | 2 | 2 |
| [608] | 9698 | POP | 4839 | 2 | 2 |
| [609] | 9699 | DUP1 | 4837 | 3 | 2 |
| [610] | 9700 | ISZERO | 4834 | 3 | 2 |
| [611] | 9701 | PUSH2 | 4831 | 3 | 2 |
| [612] | 9704 | JUMPI | 4828 | 10 | 2 |
| [613] | 9705 | POP | 4818 | 2 | 2 |
| [614] | 9706 | PUSH1 | 4816 | 3 | 2 |
| [615] | 9708 | DUP1 | 4813 | 3 | 2 |
| [616] | 9709 | MLOAD | 4810 | 3 | 2 |
| [617] | 9710 | PUSH1 | 4807 | 3 | 2 |
| [618] | 9712 | RETURNDATASIZE | 4804 | 2 | 2 |
| [619] | 9713 | SWAP1 | 4802 | 3 | 2 |
| [620] | 9714 | DUP2 | 4799 | 3 | 2 |
| [621] | 9715 | ADD | 4796 | 3 | 2 |
| [622] | 9716 | PUSH1 | 4793 | 3 | 2 |
| [623] | 9718 | NOT | 4790 | 3 | 2 |
| [624] | 9719 | AND | 4787 | 3 | 2 |
| [625] | 9720 | DUP3 | 4784 | 3 | 2 |
| [626] | 9721 | ADD | 4781 | 3 | 2 |
| [627] | 9722 | SWAP1 | 4778 | 3 | 2 |
| [628] | 9723 | SWAP3 | 4775 | 3 | 2 |
| [629] | 9724 | MSTORE | 4772 | 3 | 2 |
| [630] | 9725 | PUSH2 | 4769 | 3 | 2 |
| [631] | 9728 | SWAP2 | 4766 | 3 | 2 |
| [632] | 9729 | DUP2 | 4763 | 3 | 2 |
| [633] | 9730 | ADD | 4760 | 3 | 2 |
| [634] | 9731 | SWAP1 | 4757 | 3 | 2 |
| [635] | 9732 | PUSH2 | 4754 | 3 | 2 |
| [636] | 9735 | JUMP | 4751 | 8 | 2 |
| [637] | 13569 | JUMPDEST | 4743 | 1 | 2 |
| [638] | 13570 | PUSH1 | 4742 | 3 | 2 |
| [639] | 13572 | PUSH1 | 4739 | 3 | 2 |
| [640] | 13574 | DUP3 | 4736 | 3 | 2 |
| [641] | 13575 | DUP5 | 4733 | 3 | 2 |
| [642] | 13576 | SUB | 4730 | 3 | 2 |
| [643] | 13577 | SLT | 4727 | 3 | 2 |
| [644] | 13578 | ISZERO | 4724 | 3 | 2 |
| [645] | 13579 | PUSH2 | 4721 | 3 | 2 |
| [646] | 13582 | JUMPI | 4718 | 10 | 2 |
| [647] | 13587 | JUMPDEST | 4708 | 1 | 2 |
| [648] | 13588 | POP | 4707 | 2 | 2 |
| [649] | 13589 | MLOAD | 4705 | 3 | 2 |
| [650] | 13590 | SWAP2 | 4702 | 3 | 2 |
| [651] | 13591 | SWAP1 | 4699 | 3 | 2 |
| [652] | 13592 | POP | 4696 | 2 | 2 |
| [653] | 13593 | JUMP | 4694 | 8 | 2 |
| [654] | 9736 | JUMPDEST | 4686 | 1 | 2 |
| [655] | 9737 | PUSH1 | 4685 | 3 | 2 |
| [656] | 9739 | JUMPDEST | 4682 | 1 | 2 |
| [657] | 9740 | PUSH2 | 4681 | 3 | 2 |
| [658] | 9743 | JUMPI | 4678 | 10 | 2 |
| [659] | 9838 | JUMPDEST | 4668 | 1 | 2 |
| [660] | 9839 | PUSH1 | 4667 | 3 | 2 |
| [661] | 9841 | DUP1 | 4664 | 3 | 2 |
| [662] | 9842 | MLOAD | 4661 | 3 | 2 |
| [663] | 9843 | PUSH1 | 4658 | 3 | 2 |
| [664] | 9845 | PUSH2 | 4655 | 3 | 2 |
| [665] | 9848 | DUP4 | 4652 | 3 | 2 |
| [666] | 9849 | CODECOPY | 4649 | 6 | 2 |
| [667] | 9850 | DUP2 | 4643 | 3 | 2 |
| [668] | 9851 | MLOAD | 4640 | 3 | 2 |
| [669] | 9852 | SWAP2 | 4637 | 3 | 2 |
| [670] | 9853 | MSTORE | 4634 | 3 | 2 |
| [671] | 9854 | DUP2 | 4631 | 3 | 2 |
| [672] | 9855 | EQ | 4628 | 3 | 2 |
| [673] | 9856 | PUSH2 | 4625 | 3 | 2 |
| [674] | 9859 | JUMPI | 4622 | 10 | 2 |
| [675] | 9949 | JUMPDEST | 4612 | 1 | 2 |
| [676] | 9950 | POP | 4611 | 2 | 2 |
| [677] | 9951 | PUSH2 | 4609 | 3 | 2 |
| [678] | 9954 | DUP4 | 4606 | 3 | 2 |
| [679] | 9955 | DUP4 | 4603 | 3 | 2 |
| [680] | 9956 | DUP4 | 4600 | 3 | 2 |
| [681] | 9957 | PUSH2 | 4597 | 3 | 2 |
| [682] | 9960 | JUMP | 4594 | 8 | 2 |
| [683] | 10854 | JUMPDEST | 4586 | 1 | 2 |
| [684] | 10855 | PUSH2 | 4585 | 3 | 2 |
| [685] | 10858 | DUP4 | 4582 | 3 | 2 |
| [686] | 10859 | PUSH2 | 4579 | 3 | 2 |
| [687] | 10862 | JUMP | 4576 | 8 | 2 |
| [688] | 11742 | JUMPDEST | 4568 | 1 | 2 |
| [689] | 11743 | PUSH2 | 4567 | 3 | 2 |
| [690] | 11746 | DUP2 | 4564 | 3 | 2 |
| [691] | 11747 | PUSH2 | 4561 | 3 | 2 |
| [692] | 11750 | JUMP | 4558 | 8 | 2 |
| [693] | 10700 | JUMPDEST | 4550 | 1 | 2 |
| [694] | 10701 | PUSH2 | 4549 | 3 | 2 |
| [695] | 10704 | DUP2 | 4546 | 3 | 2 |
| [696] | 10705 | PUSH2 | 4543 | 3 | 2 |
| [697] | 10708 | JUMP | 4540 | 8 | 2 |
| [698] | 9187 | JUMPDEST | 4532 | 1 | 2 |
| [699] | 9188 | PUSH1 | 4531 | 3 | 2 |
| [700] | 9190 | PUSH1 | 4528 | 3 | 2 |
| [701] | 9192 | PUSH1 | 4525 | 3 | 2 |
| [702] | 9194 | SHL | 4522 | 3 | 2 |
| [703] | 9195 | SUB | 4519 | 3 | 2 |
| [704] | 9196 | AND | 4516 | 3 | 2 |
| [705] | 9197 | EXTCODESIZE | 4513 | 100 | 2 |
| [706] | 9198 | ISZERO | 4413 | 3 | 2 |
| [707] | 9199 | ISZERO | 4410 | 3 | 2 |
| [708] | 9200 | SWAP1 | 4407 | 3 | 2 |
| [709] | 9201 | JUMP | 4404 | 8 | 2 |
| [710] | 10709 | JUMPDEST | 4396 | 1 | 2 |
| [711] | 10710 | PUSH2 | 4395 | 3 | 2 |
| [712] | 10713 | JUMPI | 4392 | 10 | 2 |
| [713] | 10807 | JUMPDEST | 4382 | 1 | 2 |
| [714] | 10808 | PUSH1 | 4381 | 3 | 2 |
| [715] | 10810 | DUP1 | 4378 | 3 | 2 |
| [716] | 10811 | MLOAD | 4375 | 3 | 2 |
| [717] | 10812 | PUSH1 | 4372 | 3 | 2 |
| [718] | 10814 | PUSH2 | 4369 | 3 | 2 |
| [719] | 10817 | DUP4 | 4366 | 3 | 2 |
| [720] | 10818 | CODECOPY | 4363 | 6 | 2 |
| [721] | 10819 | DUP2 | 4357 | 3 | 2 |
| [722] | 10820 | MLOAD | 4354 | 3 | 2 |
| [723] | 10821 | SWAP2 | 4351 | 3 | 2 |
| [724] | 10822 | MSTORE | 4348 | 3 | 2 |
| [725] | 10823 | DUP1 | 4345 | 3 | 2 |
| [726] | 10824 | SLOAD | 4342 | 100 | 2 |
| [727] | 10825 | PUSH1 | 4242 | 3 | 2 |
| [728] | 10827 | PUSH1 | 4239 | 3 | 2 |
| [729] | 10829 | PUSH1 | 4236 | 3 | 2 |
| [730] | 10831 | SHL | 4233 | 3 | 2 |
| [731] | 10832 | SUB | 4230 | 3 | 2 |
| [732] | 10833 | NOT | 4227 | 3 | 2 |
| [733] | 10834 | AND | 4224 | 3 | 2 |
| [734] | 10835 | PUSH1 | 4221 | 3 | 2 |
| [735] | 10837 | PUSH1 | 4218 | 3 | 2 |
| [736] | 10839 | PUSH1 | 4215 | 3 | 2 |
| [737] | 10841 | SHL | 4212 | 3 | 2 |
| [738] | 10842 | SUB | 4209 | 3 | 2 |
| [739] | 10843 | SWAP3 | 4206 | 3 | 2 |
| [740] | 10844 | SWAP1 | 4203 | 3 | 2 |
| [741] | 10845 | SWAP3 | 4200 | 3 | 2 |
| [742] | 10846 | AND | 4197 | 3 | 2 |
| [743] | 10847 | SWAP2 | 4194 | 3 | 2 |
| [744] | 10848 | SWAP1 | 4191 | 3 | 2 |
| [745] | 10849 | SWAP2 | 4188 | 3 | 2 |
| [746] | 10850 | OR | 4185 | 3 | 2 |
| [747] | 10851 | SWAP1 | 4182 | 3 | 2 |
| [748] | 10852 | SSTORE | 4179 | 2900 | 2 |
| [749] | 10853 | JUMP | 1279 | 8 | 2 |
| [750] | 11751 | JUMPDEST | 1271 | 1 | 2 |
| [751] | 11752 | PUSH1 | 1270 | 3 | 2 |
| [752] | 11754 | MLOAD | 1267 | 3 | 2 |
| [753] | 11755 | PUSH1 | 1264 | 3 | 2 |
| [754] | 11757 | PUSH1 | 1261 | 3 | 2 |
| [755] | 11759 | PUSH1 | 1258 | 3 | 2 |
| [756] | 11761 | SHL | 1255 | 3 | 2 |
| [757] | 11762 | SUB | 1252 | 3 | 2 |
| [758] | 11763 | DUP3 | 1249 | 3 | 2 |
| [759] | 11764 | AND | 1246 | 3 | 2 |
| [760] | 11765 | SWAP1 | 1243 | 3 | 2 |
| [761] | 11766 | PUSH32 | 1240 | 3 | 2 |
| [762] | 11799 | SWAP1 | 1237 | 3 | 2 |
| [763] | 11800 | PUSH1 | 1234 | 3 | 2 |
| [764] | 11802 | SWAP1 | 1231 | 3 | 2 |
| [765] | 11803 | LOG2 | 1228 | 1125 | 2 |
| [766] | 11804 | POP | 103 | 2 | 2 |
| [767] | 11805 | JUMP | 101 | 8 | 2 |
| [768] | 10863 | JUMPDEST | 93 | 1 | 2 |
| [769] | 10864 | PUSH1 | 92 | 3 | 2 |
| [770] | 10866 | DUP3 | 89 | 3 | 2 |
| [771] | 10867 | MLOAD | 86 | 3 | 2 |
| [772] | 10868 | GT | 83 | 3 | 2 |
| [773] | 10869 | DUP1 | 80 | 3 | 2 |
| [774] | 10870 | PUSH2 | 77 | 3 | 2 |
| [775] | 10873 | JUMPI | 74 | 10 | 2 |
| [776] | 10874 | POP | 64 | 2 | 2 |
| [777] | 10875 | DUP1 | 62 | 3 | 2 |
| [778] | 10876 | JUMPDEST | 59 | 1 | 2 |
| [779] | 10877 | ISZERO | 58 | 3 | 2 |
| [780] | 10878 | PUSH2 | 55 | 3 | 2 |
| [781] | 10881 | JUMPI | 52 | 10 | 2 |
| [782] | 2914 | JUMPDEST | 42 | 1 | 2 |
| [783] | 2915 | POP | 41 | 2 | 2 |
| [784] | 2916 | POP | 39 | 2 | 2 |
| [785] | 2917 | POP | 37 | 2 | 2 |
| [786] | 2918 | JUMP | 35 | 8 | 2 |
| [787] | 2914 | JUMPDEST | 27 | 1 | 2 |
| [788] | 2915 | POP | 26 | 2 | 2 |
| [789] | 2916 | POP | 24 | 2 | 2 |
| [790] | 2917 | POP | 22 | 2 | 2 |
| [791] | 2918 | JUMP | 20 | 8 | 2 |
| [792] | 3407 | JUMPDEST | 12 | 1 | 2 |
| [793] | 3408 | POP | 11 | 2 | 2 |
| [794] | 3409 | JUMP | 9 | 8 | 2 |
| [795] | 670 | JUMPDEST | 1 | 1 | 2 |
| [796] | 671 | STOP | 0 | 0 | 2 |
| [797] | 165 | RETURNDATASIZE | 301 | 2 | 1 |
| [798] | 166 | PUSH1 | 299 | 3 | 1 |
| [799] | 168 | DUP1 | 296 | 3 | 1 |
| [800] | 169 | RETURNDATACOPY | 293 | 3 | 1 |
| [801] | 170 | DUP1 | 290 | 3 | 1 |
| [802] | 171 | DUP1 | 287 | 3 | 1 |
| [803] | 172 | ISZERO | 284 | 3 | 1 |
| [804] | 173 | PUSH2 | 281 | 3 | 1 |
| [805] | 176 | JUMPI | 278 | 10 | 1 |
| [806] | 177 | RETURNDATASIZE | 268 | 2 | 1 |
| [807] | 178 | PUSH1 | 266 | 3 | 1 |
| [808] | 180 | RETURN | 263 | 0 | 1 |