Tools
Bytecode to Opcode Disassembler
Attempts to decode the low level Contract Bytecodes to Opcodes.
Decoded Bytecode:
- [0] PUSH1 0x80
- [1] PUSH1 0x40
- [2] MSTORE
- [3] CALLVALUE
- [4] DUP1
- [5] ISZERO
- [6] PUSH2 0x0010
- [7] JUMPI
- [8] PUSH1 0x00
- [9] DUP1
- [10] REVERT
- [11] JUMPDEST
- [12] POP
- [13] PUSH1 0x04
- [14] CALLDATASIZE
- [15] LT
- [16] PUSH2 0x0088
- [17] JUMPI
- [18] PUSH1 0x00
- [19] CALLDATALOAD
- [20] PUSH1 0xe0
- [21] SHR
- [22] DUP1
- [23] PUSH4 0x2c10c112
- [24] GT
- [25] PUSH2 0x005b
- [26] JUMPI
- [27] DUP1
- [28] PUSH4 0x2c10c112
- [29] EQ
- [30] PUSH2 0x0127
- [31] JUMPI
- [32] DUP1
- [33] PUSH4 0x32cb6b0c
- [34] EQ
- [35] PUSH2 0x0143
- [36] JUMPI
- [37] DUP1
- [38] PUSH4 0x95d89b41
- [39] EQ
- [40] PUSH2 0x0161
- [41] JUMPI
- [42] DUP1
- [43] PUSH4 0xe8a3d485
- [44] EQ
- [45] PUSH2 0x017f
- [46] JUMPI
- [47] PUSH2 0x0088
- [48] JUMP
- [49] JUMPDEST
- [50] DUP1
- [51] PUSH4 0x01ffc9a7
- [52] EQ
- [53] PUSH2 0x008d
- [54] JUMPI
- [55] DUP1
- [56] PUSH4 0x02fe5305
- [57] EQ
- [58] PUSH2 0x00bd
- [59] JUMPI
- [60] DUP1
- [61] PUSH4 0x06fdde03
- [62] EQ
- [63] PUSH2 0x00d9
- [64] JUMPI
- [65] DUP1
- [66] PUSH4 0x0e89341c
- [67] EQ
- [68] PUSH2 0x00f7
- [69] JUMPI
- [70] JUMPDEST
- [71] PUSH1 0x00
- [72] DUP1
- [73] REVERT
- [74] JUMPDEST
- [75] PUSH2 0x00a7
- [76] PUSH1 0x04
- [77] DUP1
- [78] CALLDATASIZE
- [79] SUB
- [80] DUP2
- [81] ADD
- [82] SWAP1
- [83] PUSH2 0x00a2
- [84] SWAP2
- [85] SWAP1
- [86] PUSH2 0x0781
- [87] JUMP
- [88] JUMPDEST
- [89] PUSH2 0x019d
- [90] JUMP
- [91] JUMPDEST
- [92] PUSH1 0x40
- [93] MLOAD
- [94] PUSH2 0x00b4
- [95] SWAP2
- [96] SWAP1
- [97] PUSH2 0x07c9
- [98] JUMP
- [99] JUMPDEST
- [100] PUSH1 0x40
- [101] MLOAD
- [102] DUP1
- [103] SWAP2
- [104] SUB
- [105] SWAP1
- [106] RETURN
- [107] JUMPDEST
- [108] PUSH2 0x00d7
- [109] PUSH1 0x04
- [110] DUP1
- [111] CALLDATASIZE
- [112] SUB
- [113] DUP2
- [114] ADD
- [115] SWAP1
- [116] PUSH2 0x00d2
- [117] SWAP2
- [118] SWAP1
- [119] PUSH2 0x092a
- [120] JUMP
- [121] JUMPDEST
- [122] PUSH2 0x01ff
- [123] JUMP
- [124] JUMPDEST
- [125] STOP
- [126] JUMPDEST
- [127] PUSH2 0x00e1
- [128] PUSH2 0x02e0
- [129] JUMP
- [130] JUMPDEST
- [131] PUSH1 0x40
- [132] MLOAD
- [133] PUSH2 0x00ee
- [134] SWAP2
- [135] SWAP1
- [136] PUSH2 0x09fb
- [137] JUMP
- [138] JUMPDEST
- [139] PUSH1 0x40
- [140] MLOAD
- [141] DUP1
- [142] SWAP2
- [143] SUB
- [144] SWAP1
- [145] RETURN
- [146] JUMPDEST
- [147] PUSH2 0x0111
- [148] PUSH1 0x04
- [149] DUP1
- [150] CALLDATASIZE
- [151] SUB
- [152] DUP2
- [153] ADD
- [154] SWAP1
- [155] PUSH2 0x010c
- [156] SWAP2
- [157] SWAP1
- [158] PUSH2 0x0a53
- [159] JUMP
- [160] JUMPDEST
- [161] PUSH2 0x036e
- [162] JUMP
- [163] JUMPDEST
- [164] PUSH1 0x40
- [165] MLOAD
- [166] PUSH2 0x011e
- [167] SWAP2
- [168] SWAP1
- [169] PUSH2 0x09fb
- [170] JUMP
- [171] JUMPDEST
- [172] PUSH1 0x40
- [173] MLOAD
- [174] DUP1
- [175] SWAP2
- [176] SUB
- [177] SWAP1
- [178] RETURN
- [179] JUMPDEST
- [180] PUSH2 0x0141
- [181] PUSH1 0x04
- [182] DUP1
- [183] CALLDATASIZE
- [184] SUB
- [185] DUP2
- [186] ADD
- [187] SWAP1
- [188] PUSH2 0x013c
- [189] SWAP2
- [190] SWAP1
- [191] PUSH2 0x0ba6
- [192] JUMP
- [193] JUMPDEST
- [194] PUSH2 0x0402
- [195] JUMP
- [196] JUMPDEST
- [197] STOP
- [198] JUMPDEST
- [199] PUSH2 0x014b
- [200] PUSH2 0x054c
- [201] JUMP
- [202] JUMPDEST
- [203] PUSH1 0x40
- [204] MLOAD
- [205] PUSH2 0x0158
- [206] SWAP2
- [207] SWAP1
- [208] PUSH2 0x0bfe
- [209] JUMP
- [210] JUMPDEST
- [211] PUSH1 0x40
- [212] MLOAD
- [213] DUP1
- [214] SWAP2
- [215] SUB
- [216] SWAP1
- [217] RETURN
- [218] JUMPDEST
- [219] PUSH2 0x0169
- [220] PUSH2 0x0552
- [221] JUMP
- [222] JUMPDEST
- [223] PUSH1 0x40
- [224] MLOAD
- [225] PUSH2 0x0176
- [226] SWAP2
- [227] SWAP1
- [228] PUSH2 0x09fb
- [229] JUMP
- [230] JUMPDEST
- [231] PUSH1 0x40
- [232] MLOAD
- [233] DUP1
- [234] SWAP2
- [235] SUB
- [236] SWAP1
- [237] RETURN
- [238] JUMPDEST
- [239] PUSH2 0x0187
- [240] PUSH2 0x05e0
- [241] JUMP
- [242] JUMPDEST
- [243] PUSH1 0x40
- [244] MLOAD
- [245] PUSH2 0x0194
- [246] SWAP2
- [247] SWAP1
- [248] PUSH2 0x09fb
- [249] JUMP
- [250] JUMPDEST
- [251] PUSH1 0x40
- [252] MLOAD
- [253] DUP1
- [254] SWAP2
- [255] SUB
- [256] SWAP1
- [257] RETURN
- [258] JUMPDEST
- [259] PUSH1 0x00
- [260] PUSH4 0xd9b67a26
- [261] PUSH1 0xe0
- [262] SHL
- [263] DUP3
- [264] PUSH28 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffff
- [265] NOT
- [266] AND
- [267] EQ
- [268] DUP1
- [269] PUSH2 0x01f8
- [270] JUMPI
- [271] POP
- [272] PUSH4 0x0e89341c
- [273] PUSH1 0xe0
- [274] SHL
- [275] DUP3
- [276] PUSH28 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffff
- [277] NOT
- [278] AND
- [279] EQ
- [280] JUMPDEST
- [281] SWAP1
- [282] POP
- [283] SWAP2
- [284] SWAP1
- [285] POP
- [286] JUMP
- [287] JUMPDEST
- [288] CALLER
- [289] PUSH20 0xffffffffffffffffffffffffffffffffffffffff
- [290] AND
- [291] PUSH1 0x00
- [292] DUP1
- [293] SLOAD
- [294] SWAP1
- [295] PUSH2 0x0100
- [296] EXP
- [297] SWAP1
- [298] DIV
- [299] PUSH20 0xffffffffffffffffffffffffffffffffffffffff
- [300] AND
- [301] PUSH20 0xffffffffffffffffffffffffffffffffffffffff
- [302] AND
- [303] EQ
- [304] PUSH2 0x028d
- [305] JUMPI
- [306] PUSH1 0x40
- [307] MLOAD
- [308] PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
- [309] DUP2
- [310] MSTORE
- [311] PUSH1 0x04
- [312] ADD
- [313] PUSH2 0x0284
- [314] SWAP1
- [315] PUSH2 0x0c65
- [316] JUMP
- [317] JUMPDEST
- [318] PUSH1 0x40
- [319] MLOAD
- [320] DUP1
- [321] SWAP2
- [322] SUB
- [323] SWAP1
- [324] REVERT
- [325] JUMPDEST
- [326] DUP1
- [327] PUSH1 0x03
- [328] SWAP1
- [329] DUP1
- [330] MLOAD
- [331] SWAP1
- [332] PUSH1 0x20
- [333] ADD
- [334] SWAP1
- [335] PUSH2 0x02a3
- [336] SWAP3
- [337] SWAP2
- [338] SWAP1
- [339] PUSH2 0x0672
- [340] JUMP
- [341] JUMPDEST
- [342] POP
- [343] PUSH1 0x00
- [344] PUSH32 0x6bb7ff708619ba0610cba295a58592e0451dee2622938c8755667688daf3529b
- [345] DUP3
- [346] PUSH1 0x40
- [347] MLOAD
- [348] PUSH2 0x02d5
- [349] SWAP2
- [350] SWAP1
- [351] PUSH2 0x09fb
- [352] JUMP
- [353] JUMPDEST
- [354] PUSH1 0x40
- [355] MLOAD
- [356] DUP1
- [357] SWAP2
- [358] SUB
- [359] SWAP1
- [360] LOG2
- [361] POP
- [362] JUMP
- [363] JUMPDEST
- [364] PUSH1 0x01
- [365] DUP1
- [366] SLOAD
- [367] PUSH2 0x02ed
- [368] SWAP1
- [369] PUSH2 0x0cb4
- [370] JUMP
- [371] JUMPDEST
- [372] DUP1
- [373] PUSH1 0x1f
- [374] ADD
- [375] PUSH1 0x20
- [376] DUP1
- [377] SWAP2
- [378] DIV
- [379] MUL
- [380] PUSH1 0x20
- [381] ADD
- [382] PUSH1 0x40
- [383] MLOAD
- [384] SWAP1
- [385] DUP2
- [386] ADD
- [387] PUSH1 0x40
- [388] MSTORE
- [389] DUP1
- [390] SWAP3
- [391] SWAP2
- [392] SWAP1
- [393] DUP2
- [394] DUP2
- [395] MSTORE
- [396] PUSH1 0x20
- [397] ADD
- [398] DUP3
- [399] DUP1
- [400] SLOAD
- [401] PUSH2 0x0319
- [402] SWAP1
- [403] PUSH2 0x0cb4
- [404] JUMP
- [405] JUMPDEST
- [406] DUP1
- [407] ISZERO
- [408] PUSH2 0x0366
- [409] JUMPI
- [410] DUP1
- [411] PUSH1 0x1f
- [412] LT
- [413] PUSH2 0x033b
- [414] JUMPI
- [415] PUSH2 0x0100
- [416] DUP1
- [417] DUP4
- [418] SLOAD
- [419] DIV
- [420] MUL
- [421] DUP4
- [422] MSTORE
- [423] SWAP2
- [424] PUSH1 0x20
- [425] ADD
- [426] SWAP2
- [427] PUSH2 0x0366
- [428] JUMP
- [429] JUMPDEST
- [430] DUP3
- [431] ADD
- [432] SWAP2
- [433] SWAP1
- [434] PUSH1 0x00
- [435] MSTORE
- [436] PUSH1 0x20
- [437] PUSH1 0x00
- [438] SHA3
- [439] SWAP1
- [440] JUMPDEST
- [441] DUP2
- [442] SLOAD
- [443] DUP2
- [444] MSTORE
- [445] SWAP1
- [446] PUSH1 0x01
- [447] ADD
- [448] SWAP1
- [449] PUSH1 0x20
- [450] ADD
- [451] DUP1
- [452] DUP4
- [453] GT
- [454] PUSH2 0x0349
- [455] JUMPI
- [456] DUP3
- [457] SWAP1
- [458] SUB
- [459] PUSH1 0x1f
- [460] AND
- [461] DUP3
- [462] ADD
- [463] SWAP2
- [464] JUMPDEST
- [465] POP
- [466] POP
- [467] POP
- [468] POP
- [469] POP
- [470] DUP2
- [471] JUMP
- [472] JUMPDEST
- [473] PUSH1 0x60
- [474] PUSH1 0x03
- [475] DUP1
- [476] SLOAD
- [477] PUSH2 0x037d
- [478] SWAP1
- [479] PUSH2 0x0cb4
- [480] JUMP
- [481] JUMPDEST
- [482] DUP1
- [483] PUSH1 0x1f
- [484] ADD
- [485] PUSH1 0x20
- [486] DUP1
- [487] SWAP2
- [488] DIV
- [489] MUL
- [490] PUSH1 0x20
- [491] ADD
- [492] PUSH1 0x40
- [493] MLOAD
- [494] SWAP1
- [495] DUP2
- [496] ADD
- [497] PUSH1 0x40
- [498] MSTORE
- [499] DUP1
- [500] SWAP3
- [501] SWAP2
- [502] SWAP1
- [503] DUP2
- [504] DUP2
- [505] MSTORE
- [506] PUSH1 0x20
- [507] ADD
- [508] DUP3
- [509] DUP1
- [510] SLOAD
- [511] PUSH2 0x03a9
- [512] SWAP1
- [513] PUSH2 0x0cb4
- [514] JUMP
- [515] JUMPDEST
- [516] DUP1
- [517] ISZERO
- [518] PUSH2 0x03f6
- [519] JUMPI
- [520] DUP1
- [521] PUSH1 0x1f
- [522] LT
- [523] PUSH2 0x03cb
- [524] JUMPI
- [525] PUSH2 0x0100
- [526] DUP1
- [527] DUP4
- [528] SLOAD
- [529] DIV
- [530] MUL
- [531] DUP4
- [532] MSTORE
- [533] SWAP2
- [534] PUSH1 0x20
- [535] ADD
- [536] SWAP2
- [537] PUSH2 0x03f6
- [538] JUMP
- [539] JUMPDEST
- [540] DUP3
- [541] ADD
- [542] SWAP2
- [543] SWAP1
- [544] PUSH1 0x00
- [545] MSTORE
- [546] PUSH1 0x20
- [547] PUSH1 0x00
- [548] SHA3
- [549] SWAP1
- [550] JUMPDEST
- [551] DUP2
- [552] SLOAD
- [553] DUP2
- [554] MSTORE
- [555] SWAP1
- [556] PUSH1 0x01
- [557] ADD
- [558] SWAP1
- [559] PUSH1 0x20
- [560] ADD
- [561] DUP1
- [562] DUP4
- [563] GT
- [564] PUSH2 0x03d9
- [565] JUMPI
- [566] DUP3
- [567] SWAP1
- [568] SUB
- [569] PUSH1 0x1f
- [570] AND
- [571] DUP3
- [572] ADD
- [573] SWAP2
- [574] JUMPDEST
- [575] POP
- [576] POP
- [577] POP
- [578] POP
- [579] POP
- [580] SWAP1
- [581] POP
- [582] SWAP2
- [583] SWAP1
- [584] POP
- [585] JUMP
- [586] JUMPDEST
- [587] CALLER
- [588] PUSH20 0xffffffffffffffffffffffffffffffffffffffff
- [589] AND
- [590] PUSH1 0x00
- [591] DUP1
- [592] SLOAD
- [593] SWAP1
- [594] PUSH2 0x0100
- [595] EXP
- [596] SWAP1
- [597] DIV
- [598] PUSH20 0xffffffffffffffffffffffffffffffffffffffff
- [599] AND
- [600] PUSH20 0xffffffffffffffffffffffffffffffffffffffff
- [601] AND
- [602] EQ
- [603] PUSH2 0x0490
- [604] JUMPI
- [605] PUSH1 0x40
- [606] MLOAD
- [607] PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
- [608] DUP2
- [609] MSTORE
- [610] PUSH1 0x04
- [611] ADD
- [612] PUSH2 0x0487
- [613] SWAP1
- [614] PUSH2 0x0c65
- [615] JUMP
- [616] JUMPDEST
- [617] PUSH1 0x40
- [618] MLOAD
- [619] DUP1
- [620] SWAP2
- [621] SUB
- [622] SWAP1
- [623] REVERT
- [624] JUMPDEST
- [625] PUSH1 0x00
- [626] JUMPDEST
- [627] DUP2
- [628] MLOAD
- [629] DUP2
- [630] LT
- [631] ISZERO
- [632] PUSH2 0x0548
- [633] JUMPI
- [634] DUP2
- [635] DUP2
- [636] DUP2
- [637] MLOAD
- [638] DUP2
- [639] LT
- [640] PUSH2 0x04af
- [641] JUMPI
- [642] PUSH2 0x04ae
- [643] PUSH2 0x0ce5
- [644] JUMP
- [645] JUMPDEST
- [646] JUMPDEST
- [647] PUSH1 0x20
- [648] MUL
- [649] PUSH1 0x20
- [650] ADD
- [651] ADD
- [652] MLOAD
- [653] PUSH20 0xffffffffffffffffffffffffffffffffffffffff
- [654] AND
- [655] PUSH1 0x00
- [656] PUSH20 0xffffffffffffffffffffffffffffffffffffffff
- [657] AND
- [658] CALLER
- [659] PUSH20 0xffffffffffffffffffffffffffffffffffffffff
- [660] AND
- [661] PUSH32 0xc3d58168c5ae7397731d063d5bbf3d657854427343f4c083240f7aacaa2d0f62
- [662] PUSH1 0x00
- [663] PUSH1 0x01
- [664] PUSH1 0x40
- [665] MLOAD
- [666] PUSH2 0x052f
- [667] SWAP3
- [668] SWAP2
- [669] SWAP1
- [670] PUSH2 0x0d94
- [671] JUMP
- [672] JUMPDEST
- [673] PUSH1 0x40
- [674] MLOAD
- [675] DUP1
- [676] SWAP2
- [677] SUB
- [678] SWAP1
- [679] LOG4
- [680] DUP1
- [681] PUSH2 0x0541
- [682] SWAP1
- [683] PUSH2 0x0dec
- [684] JUMP
- [685] JUMPDEST
- [686] SWAP1
- [687] POP
- [688] PUSH2 0x0493
- [689] JUMP
- [690] JUMPDEST
- [691] POP
- [692] POP
- [693] JUMP
- [694] JUMPDEST
- [695] PUSH2 0x2710
- [696] DUP2
- [697] JUMP
- [698] JUMPDEST
- [699] PUSH1 0x02
- [700] DUP1
- [701] SLOAD
- [702] PUSH2 0x055f
- [703] SWAP1
- [704] PUSH2 0x0cb4
- [705] JUMP
- [706] JUMPDEST
- [707] DUP1
- [708] PUSH1 0x1f
- [709] ADD
- [710] PUSH1 0x20
- [711] DUP1
- [712] SWAP2
- [713] DIV
- [714] MUL
- [715] PUSH1 0x20
- [716] ADD
- [717] PUSH1 0x40
- [718] MLOAD
- [719] SWAP1
- [720] DUP2
- [721] ADD
- [722] PUSH1 0x40
- [723] MSTORE
- [724] DUP1
- [725] SWAP3
- [726] SWAP2
- [727] SWAP1
- [728] DUP2
- [729] DUP2
- [730] MSTORE
- [731] PUSH1 0x20
- [732] ADD
- [733] DUP3
- [734] DUP1
- [735] SLOAD
- [736] PUSH2 0x058b
- [737] SWAP1
- [738] PUSH2 0x0cb4
- [739] JUMP
- [740] JUMPDEST
- [741] DUP1
- [742] ISZERO
- [743] PUSH2 0x05d8
- [744] JUMPI
- [745] DUP1
- [746] PUSH1 0x1f
- [747] LT
- [748] PUSH2 0x05ad
- [749] JUMPI
- [750] PUSH2 0x0100
- [751] DUP1
- [752] DUP4
- [753] SLOAD
- [754] DIV
- [755] MUL
- [756] DUP4
- [757] MSTORE
- [758] SWAP2
- [759] PUSH1 0x20
- [760] ADD
- [761] SWAP2
- [762] PUSH2 0x05d8
- [763] JUMP
- [764] JUMPDEST
- [765] DUP3
- [766] ADD
- [767] SWAP2
- [768] SWAP1
- [769] PUSH1 0x00
- [770] MSTORE
- [771] PUSH1 0x20
- [772] PUSH1 0x00
- [773] SHA3
- [774] SWAP1
- [775] JUMPDEST
- [776] DUP2
- [777] SLOAD
- [778] DUP2
- [779] MSTORE
- [780] SWAP1
- [781] PUSH1 0x01
- [782] ADD
- [783] SWAP1
- [784] PUSH1 0x20
- [785] ADD
- [786] DUP1
- [787] DUP4
- [788] GT
- [789] PUSH2 0x05bb
- [790] JUMPI
- [791] DUP3
- [792] SWAP1
- [793] SUB
- [794] PUSH1 0x1f
- [795] AND
- [796] DUP3
- [797] ADD
- [798] SWAP2
- [799] JUMPDEST
- [800] POP
- [801] POP
- [802] POP
- [803] POP
- [804] POP
- [805] DUP2
- [806] JUMP
- [807] JUMPDEST
- [808] PUSH1 0x60
- [809] PUSH1 0x03
- [810] DUP1
- [811] SLOAD
- [812] PUSH2 0x05ef
- [813] SWAP1
- [814] PUSH2 0x0cb4
- [815] JUMP
- [816] JUMPDEST
- [817] DUP1
- [818] PUSH1 0x1f
- [819] ADD
- [820] PUSH1 0x20
- [821] DUP1
- [822] SWAP2
- [823] DIV
- [824] MUL
- [825] PUSH1 0x20
- [826] ADD
- [827] PUSH1 0x40
- [828] MLOAD
- [829] SWAP1
- [830] DUP2
- [831] ADD
- [832] PUSH1 0x40
- [833] MSTORE
- [834] DUP1
- [835] SWAP3
- [836] SWAP2
- [837] SWAP1
- [838] DUP2
- [839] DUP2
- [840] MSTORE
- [841] PUSH1 0x20
- [842] ADD
- [843] DUP3
- [844] DUP1
- [845] SLOAD
- [846] PUSH2 0x061b
- [847] SWAP1
- [848] PUSH2 0x0cb4
- [849] JUMP
- [850] JUMPDEST
- [851] DUP1
- [852] ISZERO
- [853] PUSH2 0x0668
- [854] JUMPI
- [855] DUP1
- [856] PUSH1 0x1f
- [857] LT
- [858] PUSH2 0x063d
- [859] JUMPI
- [860] PUSH2 0x0100
- [861] DUP1
- [862] DUP4
- [863] SLOAD
- [864] DIV
- [865] MUL
- [866] DUP4
- [867] MSTORE
- [868] SWAP2
- [869] PUSH1 0x20
- [870] ADD
- [871] SWAP2
- [872] PUSH2 0x0668
- [873] JUMP
- [874] JUMPDEST
- [875] DUP3
- [876] ADD
- [877] SWAP2
- [878] SWAP1
- [879] PUSH1 0x00
- [880] MSTORE
- [881] PUSH1 0x20
- [882] PUSH1 0x00
- [883] SHA3
- [884] SWAP1
- [885] JUMPDEST
- [886] DUP2
- [887] SLOAD
- [888] DUP2
- [889] MSTORE
- [890] SWAP1
- [891] PUSH1 0x01
- [892] ADD
- [893] SWAP1
- [894] PUSH1 0x20
- [895] ADD
- [896] DUP1
- [897] DUP4
- [898] GT
- [899] PUSH2 0x064b
- [900] JUMPI
- [901] DUP3
- [902] SWAP1
- [903] SUB
- [904] PUSH1 0x1f
- [905] AND
- [906] DUP3
- [907] ADD
- [908] SWAP2
- [909] JUMPDEST
- [910] POP
- [911] POP
- [912] POP
- [913] POP
- [914] POP
- [915] SWAP1
- [916] POP
- [917] SWAP1
- [918] JUMP
- [919] JUMPDEST
- [920] DUP3
- [921] DUP1
- [922] SLOAD
- [923] PUSH2 0x067e
- [924] SWAP1
- [925] PUSH2 0x0cb4
- [926] JUMP
- [927] JUMPDEST
- [928] SWAP1
- [929] PUSH1 0x00
- [930] MSTORE
- [931] PUSH1 0x20
- [932] PUSH1 0x00
- [933] SHA3
- [934] SWAP1
- [935] PUSH1 0x1f
- [936] ADD
- [937] PUSH1 0x20
- [938] SWAP1
- [939] DIV
- [940] DUP2
- [941] ADD
- [942] SWAP3
- [943] DUP3
- [944] PUSH2 0x06a0
- [945] JUMPI
- [946] PUSH1 0x00
- [947] DUP6
- [948] SSTORE
- [949] PUSH2 0x06e7
- [950] JUMP
- [951] JUMPDEST
- [952] DUP3
- [953] PUSH1 0x1f
- [954] LT
- [955] PUSH2 0x06b9
- [956] JUMPI
- [957] DUP1
- [958] MLOAD
- [959] PUSH1 0xff
- [960] NOT
- [961] AND
- [962] DUP4
- [963] DUP1
- [964] ADD
- [965] OR
- [966] DUP6
- [967] SSTORE
- [968] PUSH2 0x06e7
- [969] JUMP
- [970] JUMPDEST
- [971] DUP3
- [972] DUP1
- [973] ADD
- [974] PUSH1 0x01
- [975] ADD
- [976] DUP6
- [977] SSTORE
- [978] DUP3
- [979] ISZERO
- [980] PUSH2 0x06e7
- [981] JUMPI
- [982] SWAP2
- [983] DUP3
- [984] ADD
- [985] JUMPDEST
- [986] DUP3
- [987] DUP2
- [988] GT
- [989] ISZERO
- [990] PUSH2 0x06e6
- [991] JUMPI
- [992] DUP3
- [993] MLOAD
- [994] DUP3
- [995] SSTORE
- [996] SWAP2
- [997] PUSH1 0x20
- [998] ADD
- [999] SWAP2
- [1000] SWAP1
- [1001] PUSH1 0x01
- [1002] ADD
- [1003] SWAP1
- [1004] PUSH2 0x06cb
- [1005] JUMP
- [1006] JUMPDEST
- [1007] JUMPDEST
- [1008] POP
- [1009] SWAP1
- [1010] POP
- [1011] PUSH2 0x06f4
- [1012] SWAP2
- [1013] SWAP1
- [1014] PUSH2 0x06f8
- [1015] JUMP
- [1016] JUMPDEST
- [1017] POP
- [1018] SWAP1
- [1019] JUMP
- [1020] JUMPDEST
- [1021] JUMPDEST
- [1022] DUP1
- [1023] DUP3
- [1024] GT
- [1025] ISZERO
- [1026] PUSH2 0x0711
- [1027] JUMPI
- [1028] PUSH1 0x00
- [1029] DUP2
- [1030] PUSH1 0x00
- [1031] SWAP1
- [1032] SSTORE
- [1033] POP
- [1034] PUSH1 0x01
- [1035] ADD
- [1036] PUSH2 0x06f9
- [1037] JUMP
- [1038] JUMPDEST
- [1039] POP
- [1040] SWAP1
- [1041] JUMP
- [1042] JUMPDEST
- [1043] PUSH1 0x00
- [1044] PUSH1 0x40
- [1045] MLOAD
- [1046] SWAP1
- [1047] POP
- [1048] SWAP1
- [1049] JUMP
- [1050] JUMPDEST
- [1051] PUSH1 0x00
- [1052] DUP1
- [1053] REVERT
- [1054] JUMPDEST
- [1055] PUSH1 0x00
- [1056] DUP1
- [1057] REVERT
- [1058] JUMPDEST
- [1059] PUSH1 0x00
- [1060] PUSH32 0xffffffff00000000000000000000000000000000000000000000000000000000
- [1061] DUP3
- [1062] AND
- [1063] SWAP1
- [1064] POP
- [1065] SWAP2
- [1066] SWAP1
- [1067] POP
- [1068] JUMP
- [1069] JUMPDEST
- [1070] PUSH2 0x075e
- [1071] DUP2
- [1072] PUSH2 0x0729
- [1073] JUMP
- [1074] JUMPDEST
- [1075] DUP2
- [1076] EQ
- [1077] PUSH2 0x0769
- [1078] JUMPI
- [1079] PUSH1 0x00
- [1080] DUP1
- [1081] REVERT
- [1082] JUMPDEST
- [1083] POP
- [1084] JUMP
- [1085] JUMPDEST
- [1086] PUSH1 0x00
- [1087] DUP2
- [1088] CALLDATALOAD
- [1089] SWAP1
- [1090] POP
- [1091] PUSH2 0x077b
- [1092] DUP2
- [1093] PUSH2 0x0755
- [1094] JUMP
- [1095] JUMPDEST
- [1096] SWAP3
- [1097] SWAP2
- [1098] POP
- [1099] POP
- [1100] JUMP
- [1101] JUMPDEST
- [1102] PUSH1 0x00
- [1103] PUSH1 0x20
- [1104] DUP3
- [1105] DUP5
- [1106] SUB
- [1107] SLT
- [1108] ISZERO
- [1109] PUSH2 0x0797
- [1110] JUMPI
- [1111] PUSH2 0x0796
- [1112] PUSH2 0x071f
- [1113] JUMP
- [1114] JUMPDEST
- [1115] JUMPDEST
- [1116] PUSH1 0x00
- [1117] PUSH2 0x07a5
- [1118] DUP5
- [1119] DUP3
- [1120] DUP6
- [1121] ADD
- [1122] PUSH2 0x076c
- [1123] JUMP
- [1124] JUMPDEST
- [1125] SWAP2
- [1126] POP
- [1127] POP
- [1128] SWAP3
- [1129] SWAP2
- [1130] POP
- [1131] POP
- [1132] JUMP
- [1133] JUMPDEST
- [1134] PUSH1 0x00
- [1135] DUP2
- [1136] ISZERO
- [1137] ISZERO
- [1138] SWAP1
- [1139] POP
- [1140] SWAP2
- [1141] SWAP1
- [1142] POP
- [1143] JUMP
- [1144] JUMPDEST
- [1145] PUSH2 0x07c3
- [1146] DUP2
- [1147] PUSH2 0x07ae
- [1148] JUMP
- [1149] JUMPDEST
- [1150] DUP3
- [1151] MSTORE
- [1152] POP
- [1153] POP
- [1154] JUMP
- [1155] JUMPDEST
- [1156] PUSH1 0x00
- [1157] PUSH1 0x20
- [1158] DUP3
- [1159] ADD
- [1160] SWAP1
- [1161] POP
- [1162] PUSH2 0x07de
- [1163] PUSH1 0x00
- [1164] DUP4
- [1165] ADD
- [1166] DUP5
- [1167] PUSH2 0x07ba
- [1168] JUMP
- [1169] JUMPDEST
- [1170] SWAP3
- [1171] SWAP2
- [1172] POP
- [1173] POP
- [1174] JUMP
- [1175] JUMPDEST
- [1176] PUSH1 0x00
- [1177] DUP1
- [1178] REVERT
- [1179] JUMPDEST
- [1180] PUSH1 0x00
- [1181] DUP1
- [1182] REVERT
- [1183] JUMPDEST
- [1184] PUSH1 0x00
- [1185] PUSH1 0x1f
- [1186] NOT
- [1187] PUSH1 0x1f
- [1188] DUP4
- [1189] ADD
- [1190] AND
- [1191] SWAP1
- [1192] POP
- [1193] SWAP2
- [1194] SWAP1
- [1195] POP
- [1196] JUMP
- [1197] JUMPDEST
- [1198] PUSH32 0x4e487b7100000000000000000000000000000000000000000000000000000000
- [1199] PUSH1 0x00
- [1200] MSTORE
- [1201] PUSH1 0x41
- [1202] PUSH1 0x04
- [1203] MSTORE
- [1204] PUSH1 0x24
- [1205] PUSH1 0x00
- [1206] REVERT
- [1207] JUMPDEST
- [1208] PUSH2 0x0837
- [1209] DUP3
- [1210] PUSH2 0x07ee
- [1211] JUMP
- [1212] JUMPDEST
- [1213] DUP2
- [1214] ADD
- [1215] DUP2
- [1216] DUP2
- [1217] LT
- [1218] PUSH8 0xffffffffffffffff
- [1219] DUP3
- [1220] GT
- [1221] OR
- [1222] ISZERO
- [1223] PUSH2 0x0856
- [1224] JUMPI
- [1225] PUSH2 0x0855
- [1226] PUSH2 0x07ff
- [1227] JUMP
- [1228] JUMPDEST
- [1229] JUMPDEST
- [1230] DUP1
- [1231] PUSH1 0x40
- [1232] MSTORE
- [1233] POP
- [1234] POP
- [1235] POP
- [1236] JUMP
- [1237] JUMPDEST
- [1238] PUSH1 0x00
- [1239] PUSH2 0x0869
- [1240] PUSH2 0x0715
- [1241] JUMP
- [1242] JUMPDEST
- [1243] SWAP1
- [1244] POP
- [1245] PUSH2 0x0875
- [1246] DUP3
- [1247] DUP3
- [1248] PUSH2 0x082e
- [1249] JUMP
- [1250] JUMPDEST
- [1251] SWAP2
- [1252] SWAP1
- [1253] POP
- [1254] JUMP
- [1255] JUMPDEST
- [1256] PUSH1 0x00
- [1257] PUSH8 0xffffffffffffffff
- [1258] DUP3
- [1259] GT
- [1260] ISZERO
- [1261] PUSH2 0x0895
- [1262] JUMPI
- [1263] PUSH2 0x0894
- [1264] PUSH2 0x07ff
- [1265] JUMP
- [1266] JUMPDEST
- [1267] JUMPDEST
- [1268] PUSH2 0x089e
- [1269] DUP3
- [1270] PUSH2 0x07ee
- [1271] JUMP
- [1272] JUMPDEST
- [1273] SWAP1
- [1274] POP
- [1275] PUSH1 0x20
- [1276] DUP2
- [1277] ADD
- [1278] SWAP1
- [1279] POP
- [1280] SWAP2
- [1281] SWAP1
- [1282] POP
- [1283] JUMP
- [1284] JUMPDEST
- [1285] DUP3
- [1286] DUP2
- [1287] DUP4
- [1288] CALLDATACOPY
- [1289] PUSH1 0x00
- [1290] DUP4
- [1291] DUP4
- [1292] ADD
- [1293] MSTORE
- [1294] POP
- [1295] POP
- [1296] POP
- [1297] JUMP
- [1298] JUMPDEST
- [1299] PUSH1 0x00
- [1300] PUSH2 0x08cd
- [1301] PUSH2 0x08c8
- [1302] DUP5
- [1303] PUSH2 0x087a
- [1304] JUMP
- [1305] JUMPDEST
- [1306] PUSH2 0x085f
- [1307] JUMP
- [1308] JUMPDEST
- [1309] SWAP1
- [1310] POP
- [1311] DUP3
- [1312] DUP2
- [1313] MSTORE
- [1314] PUSH1 0x20
- [1315] DUP2
- [1316] ADD
- [1317] DUP5
- [1318] DUP5
- [1319] DUP5
- [1320] ADD
- [1321] GT
- [1322] ISZERO
- [1323] PUSH2 0x08e9
- [1324] JUMPI
- [1325] PUSH2 0x08e8
- [1326] PUSH2 0x07e9
- [1327] JUMP
- [1328] JUMPDEST
- [1329] JUMPDEST
- [1330] PUSH2 0x08f4
- [1331] DUP5
- [1332] DUP3
- [1333] DUP6
- [1334] PUSH2 0x08ab
- [1335] JUMP
- [1336] JUMPDEST
- [1337] POP
- [1338] SWAP4
- [1339] SWAP3
- [1340] POP
- [1341] POP
- [1342] POP
- [1343] JUMP
- [1344] JUMPDEST
- [1345] PUSH1 0x00
- [1346] DUP3
- [1347] PUSH1 0x1f
- [1348] DUP4
- [1349] ADD
- [1350] SLT
- [1351] PUSH2 0x0911
- [1352] JUMPI
- [1353] PUSH2 0x0910
- [1354] PUSH2 0x07e4
- [1355] JUMP
- [1356] JUMPDEST
- [1357] JUMPDEST
- [1358] DUP2
- [1359] CALLDATALOAD
- [1360] PUSH2 0x0921
- [1361] DUP5
- [1362] DUP3
- [1363] PUSH1 0x20
- [1364] DUP7
- [1365] ADD
- [1366] PUSH2 0x08ba
- [1367] JUMP
- [1368] JUMPDEST
- [1369] SWAP2
- [1370] POP
- [1371] POP
- [1372] SWAP3
- [1373] SWAP2
- [1374] POP
- [1375] POP
- [1376] JUMP
- [1377] JUMPDEST
- [1378] PUSH1 0x00
- [1379] PUSH1 0x20
- [1380] DUP3
- [1381] DUP5
- [1382] SUB
- [1383] SLT
- [1384] ISZERO
- [1385] PUSH2 0x0940
- [1386] JUMPI
- [1387] PUSH2 0x093f
- [1388] PUSH2 0x071f
- [1389] JUMP
- [1390] JUMPDEST
- [1391] JUMPDEST
- [1392] PUSH1 0x00
- [1393] DUP3
- [1394] ADD
- [1395] CALLDATALOAD
- [1396] PUSH8 0xffffffffffffffff
- [1397] DUP2
- [1398] GT
- [1399] ISZERO
- [1400] PUSH2 0x095e
- [1401] JUMPI
- [1402] PUSH2 0x095d
- [1403] PUSH2 0x0724
- [1404] JUMP
- [1405] JUMPDEST
- [1406] JUMPDEST
- [1407] PUSH2 0x096a
- [1408] DUP5
- [1409] DUP3
- [1410] DUP6
- [1411] ADD
- [1412] PUSH2 0x08fc
- [1413] JUMP
- [1414] JUMPDEST
- [1415] SWAP2
- [1416] POP
- [1417] POP
- [1418] SWAP3
- [1419] SWAP2
- [1420] POP
- [1421] POP
- [1422] JUMP
- [1423] JUMPDEST
- [1424] PUSH1 0x00
- [1425] DUP2
- [1426] MLOAD
- [1427] SWAP1
- [1428] POP
- [1429] SWAP2
- [1430] SWAP1
- [1431] POP
- [1432] JUMP
- [1433] JUMPDEST
- [1434] PUSH1 0x00
- [1435] DUP3
- [1436] DUP3
- [1437] MSTORE
- [1438] PUSH1 0x20
- [1439] DUP3
- [1440] ADD
- [1441] SWAP1
- [1442] POP
- [1443] SWAP3
- [1444] SWAP2
- [1445] POP
- [1446] POP
- [1447] JUMP
- [1448] JUMPDEST
- [1449] PUSH1 0x00
- [1450] JUMPDEST
- [1451] DUP4
- [1452] DUP2
- [1453] LT
- [1454] ISZERO
- [1455] PUSH2 0x09ad
- [1456] JUMPI
- [1457] DUP1
- [1458] DUP3
- [1459] ADD
- [1460] MLOAD
- [1461] DUP2
- [1462] DUP5
- [1463] ADD
- [1464] MSTORE
- [1465] PUSH1 0x20
- [1466] DUP2
- [1467] ADD
- [1468] SWAP1
- [1469] POP
- [1470] PUSH2 0x0992
- [1471] JUMP
- [1472] JUMPDEST
- [1473] DUP4
- [1474] DUP2
- [1475] GT
- [1476] ISZERO
- [1477] PUSH2 0x09bc
- [1478] JUMPI
- [1479] PUSH1 0x00
- [1480] DUP5
- [1481] DUP5
- [1482] ADD
- [1483] MSTORE
- [1484] JUMPDEST
- [1485] POP
- [1486] POP
- [1487] POP
- [1488] POP
- [1489] JUMP
- [1490] JUMPDEST
- [1491] PUSH1 0x00
- [1492] PUSH2 0x09cd
- [1493] DUP3
- [1494] PUSH2 0x0973
- [1495] JUMP
- [1496] JUMPDEST
- [1497] PUSH2 0x09d7
- [1498] DUP2
- [1499] DUP6
- [1500] PUSH2 0x097e
- [1501] JUMP
- [1502] JUMPDEST
- [1503] SWAP4
- [1504] POP
- [1505] PUSH2 0x09e7
- [1506] DUP2
- [1507] DUP6
- [1508] PUSH1 0x20
- [1509] DUP7
- [1510] ADD
- [1511] PUSH2 0x098f
- [1512] JUMP
- [1513] JUMPDEST
- [1514] PUSH2 0x09f0
- [1515] DUP2
- [1516] PUSH2 0x07ee
- [1517] JUMP
- [1518] JUMPDEST
- [1519] DUP5
- [1520] ADD
- [1521] SWAP2
- [1522] POP
- [1523] POP
- [1524] SWAP3
- [1525] SWAP2
- [1526] POP
- [1527] POP
- [1528] JUMP
- [1529] JUMPDEST
- [1530] PUSH1 0x00
- [1531] PUSH1 0x20
- [1532] DUP3
- [1533] ADD
- [1534] SWAP1
- [1535] POP
- [1536] DUP2
- [1537] DUP2
- [1538] SUB
- [1539] PUSH1 0x00
- [1540] DUP4
- [1541] ADD
- [1542] MSTORE
- [1543] PUSH2 0x0a15
- [1544] DUP2
- [1545] DUP5
- [1546] PUSH2 0x09c2
- [1547] JUMP
- [1548] JUMPDEST
- [1549] SWAP1
- [1550] POP
- [1551] SWAP3
- [1552] SWAP2
- [1553] POP
- [1554] POP
- [1555] JUMP
- [1556] JUMPDEST
- [1557] PUSH1 0x00
- [1558] DUP2
- [1559] SWAP1
- [1560] POP
- [1561] SWAP2
- [1562] SWAP1
- [1563] POP
- [1564] JUMP
- [1565] JUMPDEST
- [1566] PUSH2 0x0a30
- [1567] DUP2
- [1568] PUSH2 0x0a1d
- [1569] JUMP
- [1570] JUMPDEST
- [1571] DUP2
- [1572] EQ
- [1573] PUSH2 0x0a3b
- [1574] JUMPI
- [1575] PUSH1 0x00
- [1576] DUP1
- [1577] REVERT
- [1578] JUMPDEST
- [1579] POP
- [1580] JUMP
- [1581] JUMPDEST
- [1582] PUSH1 0x00
- [1583] DUP2
- [1584] CALLDATALOAD
- [1585] SWAP1
- [1586] POP
- [1587] PUSH2 0x0a4d
- [1588] DUP2
- [1589] PUSH2 0x0a27
- [1590] JUMP
- [1591] JUMPDEST
- [1592] SWAP3
- [1593] SWAP2
- [1594] POP
- [1595] POP
- [1596] JUMP
- [1597] JUMPDEST
- [1598] PUSH1 0x00
- [1599] PUSH1 0x20
- [1600] DUP3
- [1601] DUP5
- [1602] SUB
- [1603] SLT
- [1604] ISZERO
- [1605] PUSH2 0x0a69
- [1606] JUMPI
- [1607] PUSH2 0x0a68
- [1608] PUSH2 0x071f
- [1609] JUMP
- [1610] JUMPDEST
- [1611] JUMPDEST
- [1612] PUSH1 0x00
- [1613] PUSH2 0x0a77
- [1614] DUP5
- [1615] DUP3
- [1616] DUP6
- [1617] ADD
- [1618] PUSH2 0x0a3e
- [1619] JUMP
- [1620] JUMPDEST
- [1621] SWAP2
- [1622] POP
- [1623] POP
- [1624] SWAP3
- [1625] SWAP2
- [1626] POP
- [1627] POP
- [1628] JUMP
- [1629] JUMPDEST
- [1630] PUSH1 0x00
- [1631] PUSH8 0xffffffffffffffff
- [1632] DUP3
- [1633] GT
- [1634] ISZERO
- [1635] PUSH2 0x0a9b
- [1636] JUMPI
- [1637] PUSH2 0x0a9a
- [1638] PUSH2 0x07ff
- [1639] JUMP
- [1640] JUMPDEST
- [1641] JUMPDEST
- [1642] PUSH1 0x20
- [1643] DUP3
- [1644] MUL
- [1645] SWAP1
- [1646] POP
- [1647] PUSH1 0x20
- [1648] DUP2
- [1649] ADD
- [1650] SWAP1
- [1651] POP
- [1652] SWAP2
- [1653] SWAP1
- [1654] POP
- [1655] JUMP
- [1656] JUMPDEST
- [1657] PUSH1 0x00
- [1658] DUP1
- [1659] REVERT
- [1660] JUMPDEST
- [1661] PUSH1 0x00
- [1662] PUSH20 0xffffffffffffffffffffffffffffffffffffffff
- [1663] DUP3
- [1664] AND
- [1665] SWAP1
- [1666] POP
- [1667] SWAP2
- [1668] SWAP1
- [1669] POP
- [1670] JUMP
- [1671] JUMPDEST
- [1672] PUSH1 0x00
- [1673] PUSH2 0x0adc
- [1674] DUP3
- [1675] PUSH2 0x0ab1
- [1676] JUMP
- [1677] JUMPDEST
- [1678] SWAP1
- [1679] POP
- [1680] SWAP2
- [1681] SWAP1
- [1682] POP
- [1683] JUMP
- [1684] JUMPDEST
- [1685] PUSH2 0x0aec
- [1686] DUP2
- [1687] PUSH2 0x0ad1
- [1688] JUMP
- [1689] JUMPDEST
- [1690] DUP2
- [1691] EQ
- [1692] PUSH2 0x0af7
- [1693] JUMPI
- [1694] PUSH1 0x00
- [1695] DUP1
- [1696] REVERT
- [1697] JUMPDEST
- [1698] POP
- [1699] JUMP
- [1700] JUMPDEST
- [1701] PUSH1 0x00
- [1702] DUP2
- [1703] CALLDATALOAD
- [1704] SWAP1
- [1705] POP
- [1706] PUSH2 0x0b09
- [1707] DUP2
- [1708] PUSH2 0x0ae3
- [1709] JUMP
- [1710] JUMPDEST
- [1711] SWAP3
- [1712] SWAP2
- [1713] POP
- [1714] POP
- [1715] JUMP
- [1716] JUMPDEST
- [1717] PUSH1 0x00
- [1718] PUSH2 0x0b22
- [1719] PUSH2 0x0b1d
- [1720] DUP5
- [1721] PUSH2 0x0a80
- [1722] JUMP
- [1723] JUMPDEST
- [1724] PUSH2 0x085f
- [1725] JUMP
- [1726] JUMPDEST
- [1727] SWAP1
- [1728] POP
- [1729] DUP1
- [1730] DUP4
- [1731] DUP3
- [1732] MSTORE
- [1733] PUSH1 0x20
- [1734] DUP3
- [1735] ADD
- [1736] SWAP1
- [1737] POP
- [1738] PUSH1 0x20
- [1739] DUP5
- [1740] MUL
- [1741] DUP4
- [1742] ADD
- [1743] DUP6
- [1744] DUP2
- [1745] GT
- [1746] ISZERO
- [1747] PUSH2 0x0b45
- [1748] JUMPI
- [1749] PUSH2 0x0b44
- [1750] PUSH2 0x0aac
- [1751] JUMP
- [1752] JUMPDEST
- [1753] JUMPDEST
- [1754] DUP4
- [1755] JUMPDEST
- [1756] DUP2
- [1757] DUP2
- [1758] LT
- [1759] ISZERO
- [1760] PUSH2 0x0b6e
- [1761] JUMPI
- [1762] DUP1
- [1763] PUSH2 0x0b5a
- [1764] DUP9
- [1765] DUP3
- [1766] PUSH2 0x0afa
- [1767] JUMP
- [1768] JUMPDEST
- [1769] DUP5
- [1770] MSTORE
- [1771] PUSH1 0x20
- [1772] DUP5
- [1773] ADD
- [1774] SWAP4
- [1775] POP
- [1776] POP
- [1777] PUSH1 0x20
- [1778] DUP2
- [1779] ADD
- [1780] SWAP1
- [1781] POP
- [1782] PUSH2 0x0b47
- [1783] JUMP
- [1784] JUMPDEST
- [1785] POP
- [1786] POP
- [1787] POP
- [1788] SWAP4
- [1789] SWAP3
- [1790] POP
- [1791] POP
- [1792] POP
- [1793] JUMP
- [1794] JUMPDEST
- [1795] PUSH1 0x00
- [1796] DUP3
- [1797] PUSH1 0x1f
- [1798] DUP4
- [1799] ADD
- [1800] SLT
- [1801] PUSH2 0x0b8d
- [1802] JUMPI
- [1803] PUSH2 0x0b8c
- [1804] PUSH2 0x07e4
- [1805] JUMP
- [1806] JUMPDEST
- [1807] JUMPDEST
- [1808] DUP2
- [1809] CALLDATALOAD
- [1810] PUSH2 0x0b9d
- [1811] DUP5
- [1812] DUP3
- [1813] PUSH1 0x20
- [1814] DUP7
- [1815] ADD
- [1816] PUSH2 0x0b0f
- [1817] JUMP
- [1818] JUMPDEST
- [1819] SWAP2
- [1820] POP
- [1821] POP
- [1822] SWAP3
- [1823] SWAP2
- [1824] POP
- [1825] POP
- [1826] JUMP
- [1827] JUMPDEST
- [1828] PUSH1 0x00
- [1829] PUSH1 0x20
- [1830] DUP3
- [1831] DUP5
- [1832] SUB
- [1833] SLT
- [1834] ISZERO
- [1835] PUSH2 0x0bbc
- [1836] JUMPI
- [1837] PUSH2 0x0bbb
- [1838] PUSH2 0x071f
- [1839] JUMP
- [1840] JUMPDEST
- [1841] JUMPDEST
- [1842] PUSH1 0x00
- [1843] DUP3
- [1844] ADD
- [1845] CALLDATALOAD
- [1846] PUSH8 0xffffffffffffffff
- [1847] DUP2
- [1848] GT
- [1849] ISZERO
- [1850] PUSH2 0x0bda
- [1851] JUMPI
- [1852] PUSH2 0x0bd9
- [1853] PUSH2 0x0724
- [1854] JUMP
- [1855] JUMPDEST
- [1856] JUMPDEST
- [1857] PUSH2 0x0be6
- [1858] DUP5
- [1859] DUP3
- [1860] DUP6
- [1861] ADD
- [1862] PUSH2 0x0b78
- [1863] JUMP
- [1864] JUMPDEST
- [1865] SWAP2
- [1866] POP
- [1867] POP
- [1868] SWAP3
- [1869] SWAP2
- [1870] POP
- [1871] POP
- [1872] JUMP
- [1873] JUMPDEST
- [1874] PUSH2 0x0bf8
- [1875] DUP2
- [1876] PUSH2 0x0a1d
- [1877] JUMP
- [1878] JUMPDEST
- [1879] DUP3
- [1880] MSTORE
- [1881] POP
- [1882] POP
- [1883] JUMP
- [1884] JUMPDEST
- [1885] PUSH1 0x00
- [1886] PUSH1 0x20
- [1887] DUP3
- [1888] ADD
- [1889] SWAP1
- [1890] POP
- [1891] PUSH2 0x0c13
- [1892] PUSH1 0x00
- [1893] DUP4
- [1894] ADD
- [1895] DUP5
- [1896] PUSH2 0x0bef
- [1897] JUMP
- [1898] JUMPDEST
- [1899] SWAP3
- [1900] SWAP2
- [1901] POP
- [1902] POP
- [1903] JUMP
- [1904] JUMPDEST
- [1905] PUSH32 0x4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572
- [1906] PUSH1 0x00
- [1907] DUP3
- [1908] ADD
- [1909] MSTORE
- [1910] POP
- [1911] JUMP
- [1912] JUMPDEST
- [1913] PUSH1 0x00
- [1914] PUSH2 0x0c4f
- [1915] PUSH1 0x20
- [1916] DUP4
- [1917] PUSH2 0x097e
- [1918] JUMP
- [1919] JUMPDEST
- [1920] SWAP2
- [1921] POP
- [1922] PUSH2 0x0c5a
- [1923] DUP3
- [1924] PUSH2 0x0c19
- [1925] JUMP
- [1926] JUMPDEST
- [1927] PUSH1 0x20
- [1928] DUP3
- [1929] ADD
- [1930] SWAP1
- [1931] POP
- [1932] SWAP2
- [1933] SWAP1
- [1934] POP
- [1935] JUMP
- [1936] JUMPDEST
- [1937] PUSH1 0x00
- [1938] PUSH1 0x20
- [1939] DUP3
- [1940] ADD
- [1941] SWAP1
- [1942] POP
- [1943] DUP2
- [1944] DUP2
- [1945] SUB
- [1946] PUSH1 0x00
- [1947] DUP4
- [1948] ADD
- [1949] MSTORE
- [1950] PUSH2 0x0c7e
- [1951] DUP2
- [1952] PUSH2 0x0c42
- [1953] JUMP
- [1954] JUMPDEST
- [1955] SWAP1
- [1956] POP
- [1957] SWAP2
- [1958] SWAP1
- [1959] POP
- [1960] JUMP
- [1961] JUMPDEST
- [1962] PUSH32 0x4e487b7100000000000000000000000000000000000000000000000000000000
- [1963] PUSH1 0x00
- [1964] MSTORE
- [1965] PUSH1 0x22
- [1966] PUSH1 0x04
- [1967] MSTORE
- [1968] PUSH1 0x24
- [1969] PUSH1 0x00
- [1970] REVERT
- [1971] JUMPDEST
- [1972] PUSH1 0x00
- [1973] PUSH1 0x02
- [1974] DUP3
- [1975] DIV
- [1976] SWAP1
- [1977] POP
- [1978] PUSH1 0x01
- [1979] DUP3
- [1980] AND
- [1981] DUP1
- [1982] PUSH2 0x0ccc
- [1983] JUMPI
- [1984] PUSH1 0x7f
- [1985] DUP3
- [1986] AND
- [1987] SWAP2
- [1988] POP
- [1989] JUMPDEST
- [1990] PUSH1 0x20
- [1991] DUP3
- [1992] LT
- [1993] DUP2
- [1994] SUB
- [1995] PUSH2 0x0cdf
- [1996] JUMPI
- [1997] PUSH2 0x0cde
- [1998] PUSH2 0x0c85
- [1999] JUMP
- [2000] JUMPDEST
- [2001] JUMPDEST
- [2002] POP
- [2003] SWAP2
- [2004] SWAP1
- [2005] POP
- [2006] JUMP
- [2007] JUMPDEST
- [2008] PUSH32 0x4e487b7100000000000000000000000000000000000000000000000000000000
- [2009] PUSH1 0x00
- [2010] MSTORE
- [2011] PUSH1 0x32
- [2012] PUSH1 0x04
- [2013] MSTORE
- [2014] PUSH1 0x24
- [2015] PUSH1 0x00
- [2016] REVERT
- [2017] JUMPDEST
- [2018] PUSH1 0x00
- [2019] DUP2
- [2020] SWAP1
- [2021] POP
- [2022] SWAP2
- [2023] SWAP1
- [2024] POP
- [2025] JUMP
- [2026] JUMPDEST
- [2027] PUSH1 0x00
- [2028] DUP2
- [2029] SWAP1
- [2030] POP
- [2031] SWAP2
- [2032] SWAP1
- [2033] POP
- [2034] JUMP
- [2035] JUMPDEST
- [2036] PUSH1 0x00
- [2037] PUSH2 0x0d43
- [2038] PUSH2 0x0d3e
- [2039] PUSH2 0x0d39
- [2040] DUP5
- [2041] PUSH2 0x0d14
- [2042] JUMP
- [2043] JUMPDEST
- [2044] PUSH2 0x0d1e
- [2045] JUMP
- [2046] JUMPDEST
- [2047] PUSH2 0x0a1d
- [2048] JUMP
- [2049] JUMPDEST
- [2050] SWAP1
- [2051] POP
- [2052] SWAP2
- [2053] SWAP1
- [2054] POP
- [2055] JUMP
- [2056] JUMPDEST
- [2057] PUSH2 0x0d53
- [2058] DUP2
- [2059] PUSH2 0x0d28
- [2060] JUMP
- [2061] JUMPDEST
- [2062] DUP3
- [2063] MSTORE
- [2064] POP
- [2065] POP
- [2066] JUMP
- [2067] JUMPDEST
- [2068] PUSH1 0x00
- [2069] DUP2
- [2070] SWAP1
- [2071] POP
- [2072] SWAP2
- [2073] SWAP1
- [2074] POP
- [2075] JUMP
- [2076] JUMPDEST
- [2077] PUSH1 0x00
- [2078] PUSH2 0x0d7e
- [2079] PUSH2 0x0d79
- [2080] PUSH2 0x0d74
- [2081] DUP5
- [2082] PUSH2 0x0d59
- [2083] JUMP
- [2084] JUMPDEST
- [2085] PUSH2 0x0d1e
- [2086] JUMP
- [2087] JUMPDEST
- [2088] PUSH2 0x0a1d
- [2089] JUMP
- [2090] JUMPDEST
- [2091] SWAP1
- [2092] POP
- [2093] SWAP2
- [2094] SWAP1
- [2095] POP
- [2096] JUMP
- [2097] JUMPDEST
- [2098] PUSH2 0x0d8e
- [2099] DUP2
- [2100] PUSH2 0x0d63
- [2101] JUMP
- [2102] JUMPDEST
- [2103] DUP3
- [2104] MSTORE
- [2105] POP
- [2106] POP
- [2107] JUMP
- [2108] JUMPDEST
- [2109] PUSH1 0x00
- [2110] PUSH1 0x40
- [2111] DUP3
- [2112] ADD
- [2113] SWAP1
- [2114] POP
- [2115] PUSH2 0x0da9
- [2116] PUSH1 0x00
- [2117] DUP4
- [2118] ADD
- [2119] DUP6
- [2120] PUSH2 0x0d4a
- [2121] JUMP
- [2122] JUMPDEST
- [2123] PUSH2 0x0db6
- [2124] PUSH1 0x20
- [2125] DUP4
- [2126] ADD
- [2127] DUP5
- [2128] PUSH2 0x0d85
- [2129] JUMP
- [2130] JUMPDEST
- [2131] SWAP4
- [2132] SWAP3
- [2133] POP
- [2134] POP
- [2135] POP
- [2136] JUMP
- [2137] JUMPDEST
- [2138] PUSH32 0x4e487b7100000000000000000000000000000000000000000000000000000000
- [2139] PUSH1 0x00
- [2140] MSTORE
- [2141] PUSH1 0x11
- [2142] PUSH1 0x04
- [2143] MSTORE
- [2144] PUSH1 0x24
- [2145] PUSH1 0x00
- [2146] REVERT
- [2147] JUMPDEST
- [2148] PUSH1 0x00
- [2149] PUSH2 0x0df7
- [2150] DUP3
- [2151] PUSH2 0x0a1d
- [2152] JUMP
- [2153] JUMPDEST
- [2154] SWAP2
- [2155] POP
- [2156] PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff
- [2157] DUP3
- [2158] SUB
- [2159] PUSH2 0x0e29
- [2160] JUMPI
- [2161] PUSH2 0x0e28
- [2162] PUSH2 0x0dbd
- [2163] JUMP
- [2164] JUMPDEST
- [2165] JUMPDEST
- [2166] PUSH1 0x01
- [2167] DUP3
- [2168] ADD
- [2169] SWAP1
- [2170] POP
- [2171] SWAP2
- [2172] SWAP1
- [2173] POP
- [2174] JUMP
- [2175] 'fe'(Unknown Opcode)
- [2176] LOG2
- [2177] PUSH5 0x6970667358
- [2178] '22'(Unknown Opcode)
- [2179] SLT
- [2180] SHA3
- [2181] DIFFICULTY
- [2182] PC
- [2183] BASEFEE
- [2184] 'e6'(Unknown Opcode)
- [2185] '2b'(Unknown Opcode)
- [2186] LOG3
- [2187] 'b0'(Unknown Opcode)
- [2188] SUB
- [2189] 'b1'(Unknown Opcode)
- [2190] 'ba'(Unknown Opcode)
- [2191] '2d'(Unknown Opcode)
- [2192] '4d'(Unknown Opcode)
- [2193] DUP6
- [2194] TSTORE
- [2195] CALLDATASIZE
- [2196] '2f'(Unknown Opcode)
- [2197] 'be'(Unknown Opcode)
- [2198] DUP10
- [2199] 'dd'(Unknown Opcode)
- [2200] BYTE
- [2201] EXTCODESIZE
- [2202] 'c0'(Unknown Opcode)
- [2203] SLT
- [2204] '27'(Unknown Opcode)
- [2205] SWAP6
- [2206] PC
- [2207] DUP3
- [2208] 'e8'(Unknown Opcode)
- [2209] '4b'(Unknown Opcode)