Analysis Run

019b477e-bb96-7333-accd-309a0405b22a
complete
Chain ID
1
Address
0x8d90113a1e286a5ab3e496fbd1853f265e5913c6
Block Number
—
Created
Mon, Dec 22, 2025 7:17 PM
Review Summary
What survived the funnel

Open this run to answer one question: is this real attacker-relevant behavior with real impact, or just normal contract plumbing?
back to vulns open contract
Confirmed
0
Validated
0
Source
Verified
Review Backing
Not yet
Best current signal
ETH value transfer possible
crit 0 high 0 direct contract
Review Checklist
1. Read the findings table first. Ignore raw jobs until the result looks real.
2. Confirm attacker control, not just the existence of a sink.
3. Confirm money or privilege impact.
4. Keep it if the behavior is real. Kill it if this is normal proxy, admin, or upgrade plumbing.
Processing Jobs

Status & attempts
ID	Type	Status	Attempts	Heartbeat
23933	artifact.fetch	complete	1 / 3	3 months ago
23934	tool.cast_disasm	complete	1 / 3	3 months ago
67062	analysis.bundle	complete	1 / 3	2 weeks ago
67063	capability.graph	complete	1 / 3	2 weeks ago
67064	detector.run	complete	1 / 3	2 weeks ago
67065	validation.fork	complete	1 / 3	2 weeks ago
Artifact

Runtime bytecode: available
Creation TX: —
Deployer: —
Proxy: no
Implementation:
—
Verified Source: yes
Slither

tool.slither
No slither job recorded yet.
Codex

report.consolidate
No codex job recorded yet.
Opcode Heuristics

tool.cast_disasm
Delegatecall
0
Selfdestruct
0
CREATE2
0
CALL-family (heavy)
11
EXT*/BALANCE
9
Total opcodes
5093
Flags
heavy_ext_balance_usage
View cast disassembly output
00000000: PUSH1 0x80
00000002: PUSH1 0x40
00000004: MSTORE
00000005: PUSH1 0x04
00000007: CALLDATASIZE
00000008: LT
00000009: PUSH2 0x00d6
0000000c: JUMPI
0000000d: PUSH1 0x00
0000000f: CALLDATALOAD
00000010: PUSH1 0xe0
00000012: SHR
00000013: DUP1
00000014: PUSH4 0x8a36486b
00000019: GT
0000001a: PUSH2 0x007f
0000001d: JUMPI
0000001e: DUP1
0000001f: PUSH4 0xe7605b79
00000024: GT
00000025: PUSH2 0x0059
00000028: JUMPI
00000029: DUP1
0000002a: PUSH4 0xe7605b79
0000002f: EQ
00000030: PUSH2 0x01e5
00000033: JUMPI
00000034: DUP1
00000035: PUSH4 0xe8edc816
0000003a: EQ
0000003b: PUSH2 0x01fa
0000003e: JUMPI
0000003f: DUP1
00000040: PUSH4 0xf230b4c2
00000045: EQ
00000046: PUSH2 0x020f
00000049: JUMPI
0000004a: DUP1
0000004b: PUSH4 0xf2fde38b
00000050: EQ
00000051: PUSH2 0x0224
00000054: JUMPI
00000055: PUSH2 0x00dd
00000058: JUMP
00000059: JUMPDEST
0000005a: DUP1
0000005b: PUSH4 0x8a36486b
00000060: EQ
00000061: PUSH2 0x01a6
00000064: JUMPI
00000065: DUP1
00000066: PUSH4 0xc49e4fd9
0000006b: EQ
0000006c: PUSH2 0x01bb
0000006f: JUMPI
00000070: DUP1
00000071: PUSH4 0xe306f779
00000076: EQ
00000077: PUSH2 0x01d0
0000007a: JUMPI
0000007b: PUSH2 0x00dd
0000007e: JUMP
0000007f: JUMPDEST
00000080: DUP1
00000081: PUSH4 0x54fd4d50
00000086: GT
00000087: PUSH2 0x00b0
0000008a: JUMPI
0000008b: DUP1
0000008c: PUSH4 0x54fd4d50
00000091: EQ
00000092: PUSH2 0x014f
00000095: JUMPI
00000096: DUP1
00000097: PUSH4 0x570ca735
0000009c: EQ
0000009d: PUSH2 0x0171
000000a0: JUMPI
000000a1: DUP1
000000a2: PUSH4 0x645a55b6
000000a7: EQ
000000a8: PUSH2 0x0186
000000ab: JUMPI
000000ac: PUSH2 0x00dd
000000af: JUMP
000000b0: JUMPDEST
000000b1: DUP1
000000b2: PUSH4 0x30db4580
000000b7: EQ
000000b8: PUSH2 0x00e2
000000bb: JUMPI
000000bc: DUP1
000000bd: PUSH4 0x3ec63216
000000c2: EQ
000000c3: PUSH2 0x0104
000000c6: JUMPI
000000c7: DUP1
000000c8: PUSH4 0x46920bad
000000cd: EQ
000000ce: PUSH2 0x012f
000000d1: JUMPI
000000d2: PUSH2 0x00dd
000000d5: JUMP
000000d6: JUMPDEST
000000d7: CALLDATASIZE
000000d8: PUSH2 0x00dd
000000db: JUMPI
000000dc: STOP
000000dd: JUMPDEST
000000de: PUSH1 0x00
000000e0: DUP1
000000e1: REVERT
000000e2: JUMPDEST
000000e3: CALLVALUE
000000e4: DUP1
000000e5: ISZERO
000000e6: PUSH2 0x00ee
000000e9: JUMPI
000000ea: PUSH1 0x00
000000ec: DUP1
000000ed: REVERT
000000ee: JUMPDEST
000000ef: POP
000000f0: PUSH2 0x0102
000000f3: PUSH2 0x00fd
000000f6: CALLDATASIZE
000000f7: PUSH1 0x04
000000f9: PUSH2 0x16cc
000000fc: JUMP
000000fd: JUMPDEST
000000fe: PUSH2 0x0244
00000101: JUMP
00000102: JUMPDEST
00000103: STOP
00000104: JUMPDEST
00000105: CALLVALUE
00000106: DUP1
00000107: ISZERO
00000108: PUSH2 0x0110
0000010b: JUMPI
0000010c: PUSH1 0x00
0000010e: DUP1
0000010f: REVERT
00000110: JUMPDEST
00000111: POP
00000112: PUSH2 0x0119
00000115: PUSH2 0x02c7
00000118: JUMP
00000119: JUMPDEST
0000011a: PUSH1 0x40
0000011c: MLOAD
0000011d: PUSH2 0x0126
00000120: SWAP2
00000121: SWAP1
00000122: PUSH2 0x1c62
00000125: JUMP
00000126: JUMPDEST
00000127: PUSH1 0x40
00000129: MLOAD
0000012a: DUP1
0000012b: SWAP2
0000012c: SUB
0000012d: SWAP1
0000012e: RETURN
0000012f: JUMPDEST
00000130: CALLVALUE
00000131: DUP1
00000132: ISZERO
00000133: PUSH2 0x013b
00000136: JUMPI
00000137: PUSH1 0x00
00000139: DUP1
0000013a: REVERT
0000013b: JUMPDEST
0000013c: POP
0000013d: PUSH2 0x0102
00000140: PUSH2 0x014a
00000143: CALLDATASIZE
00000144: PUSH1 0x04
00000146: PUSH2 0x16cc
00000149: JUMP
0000014a: JUMPDEST
0000014b: PUSH2 0x02eb
0000014e: JUMP
0000014f: JUMPDEST
00000150: CALLVALUE
00000151: DUP1
00000152: ISZERO
00000153: PUSH2 0x015b
00000156: JUMPI
00000157: PUSH1 0x00
00000159: DUP1
0000015a: REVERT
0000015b: JUMPDEST
0000015c: POP
0000015d: PUSH2 0x0164
00000160: PUSH2 0x033b
00000163: JUMP
00000164: JUMPDEST
00000165: PUSH1 0x40
00000167: MLOAD
00000168: PUSH2 0x0126
0000016b: SWAP2
0000016c: SWAP1
0000016d: PUSH2 0x1d0d
00000170: JUMP
00000171: JUMPDEST
00000172: CALLVALUE
00000173: DUP1
00000174: ISZERO
00000175: PUSH2 0x017d
00000178: JUMPI
00000179: PUSH1 0x00
0000017b: DUP1
0000017c: REVERT
0000017d: JUMPDEST
0000017e: POP
0000017f: PUSH2 0x0119
00000182: PUSH2 0x0374
00000185: JUMP
00000186: JUMPDEST
00000187: PUSH2 0x0199
0000018a: PUSH2 0x0194
0000018d: CALLDATASIZE
0000018e: PUSH1 0x04
00000190: PUSH2 0x18f9
00000193: JUMP
00000194: JUMPDEST
00000195: PUSH2 0x0383
00000198: JUMP
00000199: JUMPDEST
0000019a: PUSH1 0x40
0000019c: MLOAD
0000019d: PUSH2 0x0126
000001a0: SWAP2
000001a1: SWAP1
000001a2: PUSH2 0x1ccd
000001a5: JUMP
000001a6: JUMPDEST
000001a7: CALLVALUE
000001a8: DUP1
000001a9: ISZERO
000001aa: PUSH2 0x01b2
000001ad: JUMPI
000001ae: PUSH1 0x00
000001b0: DUP1
000001b1: REVERT
000001b2: JUMPDEST
000001b3: POP
000001b4: PUSH2 0x0119
000001b7: PUSH2 0x07cf
000001ba: JUMP
000001bb: JUMPDEST
000001bc: CALLVALUE
000001bd: DUP1
000001be: ISZERO
000001bf: PUSH2 0x01c7
000001c2: JUMPI
000001c3: PUSH1 0x00
000001c5: DUP1
000001c6: REVERT
000001c7: JUMPDEST
000001c8: POP
000001c9: PUSH2 0x0119
000001cc: PUSH2 0x07f3
000001cf: JUMP
000001d0: JUMPDEST
000001d1: CALLVALUE
000001d2: DUP1
000001d3: ISZERO
000001d4: PUSH2 0x01dc
000001d7: JUMPI
000001d8: PUSH1 0x00
000001da: DUP1
000001db: REVERT
000001dc: JUMPDEST
000001dd: POP
000001de: PUSH2 0x0199
000001e1: PUSH2 0x0817
000001e4: JUMP
000001e5: JUMPDEST
000001e6: CALLVALUE
000001e7: DUP1
000001e8: ISZERO
000001e9: PUSH2 0x01f1
000001ec: JUMPI
000001ed: PUSH1 0x00
000001ef: DUP1
000001f0: REVERT
000001f1: JUMPDEST
000001f2: POP
000001f3: PUSH2 0x0119
000001f6: PUSH2 0x081d
000001f9: JUMP
000001fa: JUMPDEST
000001fb: CALLVALUE
000001fc: DUP1
000001fd: ISZERO
000001fe: PUSH2 0x0206
00000201: JUMPI
00000202: PUSH1 0x00
00000204: DUP1
00000205: REVERT
00000206: JUMPDEST
00000207: POP
00000208: PUSH2 0x0119
0000020b: PUSH2 0x0841
0000020e: JUMP
0000020f: JUMPDEST
00000210: CALLVALUE
00000211: DUP1
00000212: ISZERO
00000213: PUSH2 0x021b
00000216: JUMPI
00000217: PUSH1 0x00
00000219: DUP1
0000021a: REVERT
0000021b: JUMPDEST
0000021c: POP
0000021d: PUSH2 0x0164
00000220: PUSH2 0x0865
00000223: JUMP
00000224: JUMPDEST
00000225: CALLVALUE
00000226: DUP1
00000227: ISZERO
00000228: PUSH2 0x0230
0000022b: JUMPI
0000022c: PUSH1 0x00
0000022e: DUP1
0000022f: REVERT
00000230: JUMPDEST
00000231: POP
00000232: PUSH2 0x0102
00000235: PUSH2 0x023f
00000238: CALLDATASIZE
00000239: PUSH1 0x04
0000023b: PUSH2 0x1694
0000023e: JUMP
0000023f: JUMPDEST
00000240: PUSH2 0x0886
00000243: JUMP
00000244: JUMPDEST
00000245: PUSH1 0x02
00000247: SLOAD
00000248: PUSH1 0x01
0000024a: PUSH1 0x01
0000024c: PUSH1 0xa0
0000024e: SHL
0000024f: SUB
00000250: AND
00000251: CALLER
00000252: EQ
00000253: PUSH2 0x0277
00000256: JUMPI
00000257: PUSH1 0x40
00000259: MLOAD
0000025a: PUSH3 0x461bcd
0000025e: PUSH1 0xe5
00000260: SHL
00000261: DUP2
00000262: MSTORE
00000263: PUSH1 0x04
00000265: ADD
00000266: PUSH2 0x026e
00000269: SWAP1
0000026a: PUSH2 0x1e56
0000026d: JUMP
0000026e: JUMPDEST
0000026f: PUSH1 0x40
00000271: MLOAD
00000272: DUP1
00000273: SWAP2
00000274: SUB
00000275: SWAP1
00000276: REVERT
00000277: JUMPDEST
00000278: PUSH1 0x00
0000027a: JUMPDEST
0000027b: DUP3
0000027c: DUP2
0000027d: LT
0000027e: ISZERO
0000027f: PUSH2 0x02c1
00000282: JUMPI
00000283: PUSH2 0x02b9
00000286: DUP3
00000287: PUSH1 0x00
00000289: DUP7
0000028a: DUP7
0000028b: DUP6
0000028c: DUP2
0000028d: DUP2
0000028e: LT
0000028f: PUSH2 0x0294
00000292: JUMPI
00000293: INVALID
00000294: JUMPDEST
00000295: SWAP1
00000296: POP
00000297: PUSH1 0x20
00000299: MUL
0000029a: ADD
0000029b: PUSH1 0x20
0000029d: DUP2
0000029e: ADD
0000029f: SWAP1
000002a0: PUSH2 0x02a9
000002a3: SWAP2
000002a4: SWAP1
000002a5: PUSH2 0x1694
000002a8: JUMP
000002a9: JUMPDEST
000002aa: PUSH1 0x01
000002ac: PUSH1 0x01
000002ae: PUSH1 0xa0
000002b0: SHL
000002b1: SUB
000002b2: AND
000002b3: SWAP2
000002b4: SWAP1
000002b5: PUSH2 0x0910
000002b8: JUMP
000002b9: JUMPDEST
000002ba: PUSH1 0x01
000002bc: ADD
000002bd: PUSH2 0x027a
000002c0: JUMP
000002c1: JUMPDEST
000002c2: POP
000002c3: POP
000002c4: POP
000002c5: POP
000002c6: JUMP
000002c7: JUMPDEST
000002c8: PUSH32 0x00000000000000000000000003f34be1bf910116595db1b11e9d1b2ca5d59659
000002e9: DUP2
000002ea: JUMP
000002eb: JUMPDEST
000002ec: PUSH1 0x02
000002ee: SLOAD
000002ef: PUSH1 0x01
000002f1: PUSH1 0x01
000002f3: PUSH1 0xa0
000002f5: SHL
000002f6: SUB
000002f7: AND
000002f8: CALLER
000002f9: EQ
000002fa: PUSH2 0x0315
000002fd: JUMPI
000002fe: PUSH1 0x40
00000300: MLOAD
00000301: PUSH3 0x461bcd
00000305: PUSH1 0xe5
00000307: SHL
00000308: DUP2
00000309: MSTORE
0000030a: PUSH1 0x04
0000030c: ADD
0000030d: PUSH2 0x026e
00000310: SWAP1
00000311: PUSH2 0x1e56
00000314: JUMP
00000315: JUMPDEST
00000316: PUSH1 0x00
00000318: JUMPDEST
00000319: DUP3
0000031a: DUP2
0000031b: LT
0000031c: ISZERO
0000031d: PUSH2 0x02c1
00000320: JUMPI
00000321: PUSH2 0x0333
00000324: DUP3
00000325: PUSH1 0x00
00000327: NOT
00000328: DUP7
00000329: DUP7
0000032a: DUP6
0000032b: DUP2
0000032c: DUP2
0000032d: LT
0000032e: PUSH2 0x0294
00000331: JUMPI
00000332: INVALID
00000333: JUMPDEST
00000334: PUSH1 0x01
00000336: ADD
00000337: PUSH2 0x0318
0000033a: JUMP
0000033b: JUMPDEST
0000033c: PUSH1 0x40
0000033e: MLOAD
0000033f: DUP1
00000340: PUSH1 0x40
00000342: ADD
00000343: PUSH1 0x40
00000345: MSTORE
00000346: DUP1
00000347: PUSH1 0x05
00000349: DUP2
0000034a: MSTORE
0000034b: PUSH1 0x20
0000034d: ADD
0000034e: PUSH32 0x352e302e30000000000000000000000000000000000000000000000000000000
0000036f: DUP2
00000370: MSTORE
00000371: POP
00000372: DUP2
00000373: JUMP
00000374: JUMPDEST
00000375: PUSH1 0x02
00000377: SLOAD
00000378: PUSH1 0x01
0000037a: PUSH1 0x01
0000037c: PUSH1 0xa0
0000037e: SHL
0000037f: SUB
00000380: AND
00000381: DUP2
00000382: JUMP
00000383: JUMPDEST
00000384: PUSH1 0x00
00000386: PUSH32 0x00000000000000000000000003f34be1bf910116595db1b11e9d1b2ca5d59659
000003a7: PUSH1 0x01
000003a9: PUSH1 0x01
000003ab: PUSH1 0xa0
000003ad: SHL
000003ae: SUB
000003af: AND
000003b0: CALLER
000003b1: EQ
000003b2: PUSH2 0x03cd
000003b5: JUMPI
000003b6: PUSH1 0x40
000003b8: MLOAD
000003b9: PUSH3 0x461bcd
000003bd: PUSH1 0xe5
000003bf: SHL
000003c0: DUP2
000003c1: MSTORE
000003c2: PUSH1 0x04
000003c4: ADD
000003c5: PUSH2 0x026e
000003c8: SWAP1
000003c9: PUSH2 0x1ec4
000003cc: JUMP
000003cd: JUMPDEST
000003ce: PUSH1 0x02
000003d0: PUSH1 0x00
000003d2: SLOAD
000003d3: EQ
000003d4: ISZERO
000003d5: PUSH2 0x03f0
000003d8: JUMPI
000003d9: PUSH1 0x40
000003db: MLOAD
000003dc: PUSH3 0x461bcd
000003e0: PUSH1 0xe5
000003e2: SHL
000003e3: DUP2
000003e4: MSTORE
000003e5: PUSH1 0x04
000003e7: ADD
000003e8: PUSH2 0x026e
000003eb: SWAP1
000003ec: PUSH2 0x22f2
000003ef: JUMP
000003f0: JUMPDEST
000003f1: PUSH1 0x02
000003f3: PUSH1 0x00
000003f5: SSTORE
000003f6: PUSH2 0x03fd
000003f9: PUSH2 0x1528
000003fc: JUMP
000003fd: JUMPDEST
000003fe: PUSH2 0x0405
00000401: PUSH2 0x15ad
00000404: JUMP
00000405: JUMPDEST
00000406: PUSH2 0x0410
00000409: DUP7
0000040a: DUP7
0000040b: DUP7
0000040c: PUSH2 0x0a3d
0000040f: JUMP
00000410: JUMPDEST
00000411: SWAP2
00000412: POP
00000413: SWAP2
00000414: POP
00000415: PUSH1 0x00
00000417: PUSH32 0x0000000000000000000000006d9cc14a1d36e6ff13fc6efa9e9326fcd12e7903
00000438: PUSH1 0x01
0000043a: PUSH1 0x01
0000043c: PUSH1 0xa0
0000043e: SHL
0000043f: SUB
00000440: AND
00000441: PUSH4 0x7d5aa5f4
00000446: PUSH1 0x40
00000448: MLOAD
00000449: DUP2
0000044a: PUSH4 0xffffffff
0000044f: AND
00000450: PUSH1 0xe0
00000452: SHL
00000453: DUP2
00000454: MSTORE
00000455: PUSH1 0x04
00000457: ADD
00000458: PUSH1 0x20
0000045a: PUSH1 0x40
0000045c: MLOAD
0000045d: DUP1
0000045e: DUP4
0000045f: SUB
00000460: DUP2
00000461: DUP7
00000462: DUP1
00000463: EXTCODESIZE
00000464: ISZERO
00000465: DUP1
00000466: ISZERO
00000467: PUSH2 0x046f
0000046a: JUMPI
0000046b: PUSH1 0x00
0000046d: DUP1
0000046e: REVERT
0000046f: JUMPDEST
00000470: POP
00000471: GAS
00000472: STATICCALL
00000473: ISZERO
00000474: DUP1
00000475: ISZERO
00000476: PUSH2 0x0483
00000479: JUMPI
0000047a: RETURNDATASIZE
0000047b: PUSH1 0x00
0000047d: DUP1
0000047e: RETURNDATACOPY
0000047f: RETURNDATASIZE
00000480: PUSH1 0x00
00000482: REVERT
00000483: JUMPDEST
00000484: POP
00000485: POP
00000486: POP
00000487: POP
00000488: PUSH1 0x40
0000048a: MLOAD
0000048b: RETURNDATASIZE
0000048c: PUSH1 0x1f
0000048e: NOT
0000048f: PUSH1 0x1f
00000491: DUP3
00000492: ADD
00000493: AND
00000494: DUP3
00000495: ADD
00000496: DUP1
00000497: PUSH1 0x40
00000499: MSTORE
0000049a: POP
0000049b: DUP2
0000049c: ADD
0000049d: SWAP1
0000049e: PUSH2 0x04a7
000004a1: SWAP2
000004a2: SWAP1
000004a3: PUSH2 0x16b0
000004a6: JUMP
000004a7: JUMPDEST
000004a8: SWAP1
000004a9: POP
000004aa: DUP2
000004ab: PUSH1 0x80
000004ad: ADD
000004ae: MLOAD
000004af: PUSH1 0x01
000004b1: PUSH1 0x01
000004b3: PUSH1 0xa0
000004b5: SHL
000004b6: SUB
000004b7: AND
000004b8: DUP2
000004b9: PUSH1 0x01
000004bb: PUSH1 0x01
000004bd: PUSH1 0xa0
000004bf: SHL
000004c0: SUB
000004c1: AND
000004c2: EQ
000004c3: ISZERO
000004c4: PUSH2 0x0543
000004c7: JUMPI
000004c8: DUP3
000004c9: PUSH1 0xa0
000004cb: ADD
000004cc: MLOAD
000004cd: CALLVALUE
000004ce: EQ
000004cf: PUSH2 0x04ea
000004d2: JUMPI
000004d3: PUSH1 0x40
000004d5: MLOAD
000004d6: PUSH3 0x461bcd
000004da: PUSH1 0xe5
000004dc: SHL
000004dd: DUP2
000004de: MSTORE
000004df: PUSH1 0x04
000004e1: ADD
000004e2: PUSH2 0x026e
000004e5: SWAP1
000004e6: PUSH2 0x2201
000004e9: JUMP
000004ea: JUMPDEST
000004eb: DUP1
000004ec: PUSH1 0x01
000004ee: PUSH1 0x01
000004f0: PUSH1 0xa0
000004f2: SHL
000004f3: SUB
000004f4: AND
000004f5: PUSH4 0xd0e30db0
000004fa: CALLVALUE
000004fb: PUSH1 0x40
000004fd: MLOAD
000004fe: DUP3
000004ff: PUSH4 0xffffffff
00000504: AND
00000505: PUSH1 0xe0
00000507: SHL
00000508: DUP2
00000509: MSTORE
0000050a: PUSH1 0x04
0000050c: ADD
0000050d: PUSH1 0x00
0000050f: PUSH1 0x40
00000511: MLOAD
00000512: DUP1
00000513: DUP4
00000514: SUB
00000515: DUP2
00000516: DUP6
00000517: DUP9
00000518: DUP1
00000519: EXTCODESIZE
0000051a: ISZERO
0000051b: DUP1
0000051c: ISZERO
0000051d: PUSH2 0x0525
00000520: JUMPI
00000521: PUSH1 0x00
00000523: DUP1
00000524: REVERT
00000525: JUMPDEST
00000526: POP
00000527: GAS
00000528: CALL
00000529: ISZERO
0000052a: DUP1
0000052b: ISZERO
0000052c: PUSH2 0x0539
0000052f: JUMPI
00000530: RETURNDATASIZE
00000531: PUSH1 0x00
00000533: DUP1
00000534: RETURNDATACOPY
00000535: RETURNDATASIZE
00000536: PUSH1 0x00
00000538: REVERT
00000539: JUMPDEST
0000053a: POP
0000053b: POP
0000053c: POP
0000053d: POP
0000053e: POP
0000053f: PUSH2 0x05ea
00000542: JUMP
00000543: JUMPDEST
00000544: DUP2
00000545: MLOAD
00000546: PUSH1 0x80
00000548: DUP4
00000549: ADD
0000054a: MLOAD
0000054b: PUSH1 0xa0
0000054d: DUP6
0000054e: ADD
0000054f: MLOAD
00000550: PUSH1 0x40
00000552: MLOAD
00000553: PUSH32 0x3474ad1a00000000000000000000000000000000000000000000000000000000
00000574: DUP2
00000575: MSTORE
00000576: PUSH1 0x01
00000578: PUSH1 0x01
0000057a: PUSH1 0xa0
0000057c: SHL
0000057d: SUB
0000057e: PUSH32 0x0000000000000000000000003c68dfc45dc92c9c605d92b49858073e10b857a6
0000059f: AND
000005a0: SWAP4
000005a1: PUSH4 0x3474ad1a
000005a6: SWAP4
000005a7: PUSH2 0x05b7
000005aa: SWAP4
000005ab: SWAP2
000005ac: SWAP3
000005ad: SWAP1
000005ae: SWAP2
000005af: SWAP1
000005b0: PUSH1 0x04
000005b2: ADD
000005b3: PUSH2 0x1c90
000005b6: JUMP
000005b7: JUMPDEST
000005b8: PUSH1 0x00
000005ba: PUSH1 0x40
000005bc: MLOAD
000005bd: DUP1
000005be: DUP4
000005bf: SUB
000005c0: DUP2
000005c1: PUSH1 0x00
000005c3: DUP8
000005c4: DUP1
000005c5: EXTCODESIZE
000005c6: ISZERO
000005c7: DUP1
000005c8: ISZERO
000005c9: PUSH2 0x05d1
000005cc: JUMPI
000005cd: PUSH1 0x00
000005cf: DUP1
000005d0: REVERT
000005d1: JUMPDEST
000005d2: POP
000005d3: GAS
000005d4: CALL
000005d5: ISZERO
000005d6: DUP1
000005d7: ISZERO
000005d8: PUSH2 0x05e5
000005db: JUMPI
000005dc: RETURNDATASIZE
000005dd: PUSH1 0x00
000005df: DUP1
000005e0: RETURNDATACOPY
000005e1: RETURNDATASIZE
000005e2: PUSH1 0x00
000005e4: REVERT
000005e5: JUMPDEST
000005e6: POP
000005e7: POP
000005e8: POP
000005e9: POP
000005ea: JUMPDEST
000005eb: PUSH2 0x0630
000005ee: PUSH32 0x00000000000000000000000095e6f48254609a6ee006f7d493c8e5fb97094cef
0000060f: DUP5
00000610: PUSH1 0xa0
00000612: ADD
00000613: MLOAD
00000614: DUP5
00000615: PUSH1 0x80
00000617: ADD
00000618: MLOAD
00000619: PUSH1 0x01
0000061b: PUSH1 0x01
0000061d: PUSH1 0xa0
0000061f: SHL
00000620: SUB
00000621: AND
00000622: PUSH2 0x0cc6
00000625: SWAP1
00000626: SWAP3
00000627: SWAP2
00000628: SWAP1
00000629: PUSH4 0xffffffff
0000062e: AND
0000062f: JUMP
00000630: JUMPDEST
00000631: PUSH1 0x40
00000633: MLOAD
00000634: PUSH32 0xbfc8bfce00000000000000000000000000000000000000000000000000000000
00000655: DUP2
00000656: MSTORE
00000657: PUSH1 0x01
00000659: PUSH1 0x01
0000065b: PUSH1 0xa0
0000065d: SHL
0000065e: SUB
0000065f: PUSH32 0x000000000000000000000000080bf510fcbf18b91105470639e9561022937712
00000680: AND
00000681: SWAP1
00000682: PUSH4 0xbfc8bfce
00000687: SWAP1
00000688: PUSH2 0x0699
0000068b: SWAP1
0000068c: DUP11
0000068d: SWAP1
0000068e: ADDRESS
0000068f: SWAP1
00000690: DUP12
00000691: SWAP1
00000692: PUSH1 0x04
00000694: ADD
00000695: PUSH2 0x2386
00000698: JUMP
00000699: JUMPDEST
0000069a: PUSH1 0x00
0000069c: PUSH1 0x40
0000069e: MLOAD
0000069f: DUP1
000006a0: DUP4
000006a1: SUB
000006a2: DUP2
000006a3: PUSH1 0x00
000006a5: DUP8
000006a6: DUP1
000006a7: EXTCODESIZE
000006a8: ISZERO
000006a9: DUP1
000006aa: ISZERO
000006ab: PUSH2 0x06b3
000006ae: JUMPI
000006af: PUSH1 0x00
000006b1: DUP1
000006b2: REVERT
000006b3: JUMPDEST
000006b4: POP
000006b5: GAS
000006b6: CALL
000006b7: ISZERO
000006b8: DUP1
000006b9: ISZERO
000006ba: PUSH2 0x06c7
000006bd: JUMPI
000006be: RETURNDATASIZE
000006bf: PUSH1 0x00
000006c1: DUP1
000006c2: RETURNDATACOPY
000006c3: RETURNDATASIZE
000006c4: PUSH1 0x00
000006c6: REVERT
000006c7: JUMPDEST
000006c8: POP
000006c9: POP
000006ca: POP
000006cb: POP
000006cc: PUSH1 0x00
000006ce: PUSH2 0x06ea
000006d1: DUP3
000006d2: DUP5
000006d3: PUSH1 0x20
000006d5: ADD
000006d6: MLOAD
000006d7: DUP6
000006d8: PUSH1 0x60
000006da: ADD
000006db: MLOAD
000006dc: DUP8
000006dd: PUSH1 0x80
000006df: ADD
000006e0: MLOAD
000006e1: DUP8
000006e2: PUSH1 0x40
000006e4: ADD
000006e5: MLOAD
000006e6: PUSH2 0x0d71
000006e9: JUMP
000006ea: JUMPDEST
000006eb: PUSH1 0x80
000006ed: DUP5
000006ee: ADD
000006ef: MLOAD
000006f0: SWAP1
000006f1: SWAP2
000006f2: POP
000006f3: PUSH2 0x0727
000006f6: SWAP1
000006f7: PUSH1 0x01
000006f9: PUSH1 0x01
000006fb: PUSH1 0xa0
000006fd: SHL
000006fe: SUB
000006ff: AND
00000700: PUSH32 0x00000000000000000000000095e6f48254609a6ee006f7d493c8e5fb97094cef
00000721: PUSH1 0x00
00000723: PUSH2 0x0910
00000726: JUMP
00000727: JUMPDEST
00000728: DUP3
00000729: PUSH1 0x00
0000072b: ADD
0000072c: MLOAD
0000072d: PUSH1 0x01
0000072f: PUSH1 0x01
00000731: PUSH1 0xa0
00000733: SHL
00000734: SUB
00000735: AND
00000736: DUP4
00000737: PUSH1 0xc0
00000739: ADD
0000073a: MLOAD
0000073b: DUP5
0000073c: PUSH1 0xa0
0000073e: ADD
0000073f: MLOAD
00000740: PUSH32 0x75d58426b26ab641a6a6a46f12fe35e17c570a1cd264c7248a73d90e3a8682ff
00000761: PUSH1 0x40
00000763: MLOAD
00000764: DUP1
00000765: PUSH1 0x40
00000767: ADD
00000768: PUSH1 0x40
0000076a: MSTORE
0000076b: DUP1
0000076c: PUSH1 0x05
0000076e: DUP2
0000076f: MSTORE
00000770: PUSH1 0x20
00000772: ADD
00000773: PUSH5 0x183c103b19
00000779: PUSH1 0xd9
0000077b: SHL
0000077c: DUP2
0000077d: MSTORE
0000077e: POP
0000077f: DUP8
00000780: PUSH1 0x80
00000782: ADD
00000783: MLOAD
00000784: DUP10
00000785: PUSH1 0xa0
00000787: ADD
00000788: MLOAD
00000789: DUP11
0000078a: PUSH1 0x00
0000078c: ADD
0000078d: MLOAD
0000078e: DUP11
0000078f: PUSH1 0x60
00000791: ADD
00000792: MLOAD
00000793: DUP13
00000794: PUSH1 0x80
00000796: ADD
00000797: MLOAD
00000798: DUP13
00000799: PUSH1 0x20
0000079b: ADD
0000079c: MLOAD
0000079d: DUP12
0000079e: DUP15
0000079f: PUSH1 0x40
000007a1: ADD
000007a2: MLOAD
000007a3: PUSH1 0x40
000007a5: MLOAD
000007a6: PUSH2 0x07b7
000007a9: SWAP10
000007aa: SWAP9
000007ab: SWAP8
000007ac: SWAP7
000007ad: SWAP6
000007ae: SWAP5
000007af: SWAP4
000007b0: SWAP3
000007b1: SWAP2
000007b2: SWAP1
000007b3: PUSH2 0x1d20
000007b6: JUMP
000007b7: JUMPDEST
000007b8: PUSH1 0x40
000007ba: MLOAD
000007bb: DUP1
000007bc: SWAP2
000007bd: SUB
000007be: SWAP1
000007bf: LOG4
000007c0: PUSH1 0x01
000007c2: PUSH1 0x00
000007c4: SSTORE
000007c5: SWAP8
000007c6: SWAP7
000007c7: POP
000007c8: POP
000007c9: POP
000007ca: POP
000007cb: POP
000007cc: POP
000007cd: POP
000007ce: JUMP
000007cf: JUMPDEST
000007d0: PUSH32 0x000000000000000000000000080bf510fcbf18b91105470639e9561022937712
000007f1: DUP2
000007f2: JUMP
000007f3: JUMPDEST
000007f4: PUSH32 0x0000000000000000000000006d9cc14a1d36e6ff13fc6efa9e9326fcd12e7903
00000815: DUP2
00000816: JUMP
00000817: JUMPDEST
00000818: PUSH1 0x01
0000081a: SLOAD
0000081b: DUP2
0000081c: JUMP
0000081d: JUMPDEST
0000081e: PUSH32 0x00000000000000000000000095e6f48254609a6ee006f7d493c8e5fb97094cef
0000083f: DUP2
00000840: JUMP
00000841: JUMPDEST
00000842: PUSH32 0x0000000000000000000000003c68dfc45dc92c9c605d92b49858073e10b857a6
00000863: DUP2
00000864: JUMP
00000865: JUMPDEST
00000866: PUSH1 0x40
00000868: MLOAD
00000869: DUP1
0000086a: PUSH1 0x40
0000086c: ADD
0000086d: PUSH1 0x40
0000086f: MSTORE
00000870: DUP1
00000871: PUSH1 0x05
00000873: DUP2
00000874: MSTORE
00000875: PUSH1 0x20
00000877: ADD
00000878: PUSH5 0x183c103b19
0000087e: PUSH1 0xd9
00000880: SHL
00000881: DUP2
00000882: MSTORE
00000883: POP
00000884: DUP2
00000885: JUMP
00000886: JUMPDEST
00000887: PUSH1 0x02
00000889: SLOAD
0000088a: PUSH1 0x01
0000088c: PUSH1 0x01
0000088e: PUSH1 0xa0
00000890: SHL
00000891: SUB
00000892: AND
00000893: CALLER
00000894: EQ
00000895: PUSH2 0x08b0
00000898: JUMPI
00000899: PUSH1 0x40
0000089b: MLOAD
0000089c: PUSH3 0x461bcd
000008a0: PUSH1 0xe5
000008a2: SHL
000008a3: DUP2
000008a4: MSTORE
000008a5: PUSH1 0x04
000008a7: ADD
000008a8: PUSH2 0x026e
000008ab: SWAP1
000008ac: PUSH2 0x1e56
000008af: JUMP
000008b0: JUMPDEST
000008b1: PUSH1 0x01
000008b3: PUSH1 0x01
000008b5: PUSH1 0xa0
000008b7: SHL
000008b8: SUB
000008b9: DUP2
000008ba: AND
000008bb: PUSH2 0x08d6
000008be: JUMPI
000008bf: PUSH1 0x40
000008c1: MLOAD
000008c2: PUSH3 0x461bcd
000008c6: PUSH1 0xe5
000008c8: SHL
000008c9: DUP2
000008ca: MSTORE
000008cb: PUSH1 0x04
000008cd: ADD
000008ce: PUSH2 0x026e
000008d1: SWAP1
000008d2: PUSH2 0x1d8b
000008d5: JUMP
000008d6: JUMPDEST
000008d7: PUSH1 0x02
000008d9: DUP1
000008da: SLOAD
000008db: PUSH32 0xffffffffffffffffffffffff0000000000000000000000000000000000000000
000008fc: AND
000008fd: PUSH1 0x01
000008ff: PUSH1 0x01
00000901: PUSH1 0xa0
00000903: SHL
00000904: SUB
00000905: SWAP3
00000906: SWAP1
00000907: SWAP3
00000908: AND
00000909: SWAP2
0000090a: SWAP1
0000090b: SWAP2
0000090c: OR
0000090d: SWAP1
0000090e: SSTORE
0000090f: JUMP
00000910: JUMPDEST
00000911: DUP1
00000912: ISZERO
00000913: DUP1
00000914: PUSH2 0x09b1
00000917: JUMPI
00000918: POP
00000919: PUSH1 0x40
0000091b: MLOAD
0000091c: PUSH32 0xdd62ed3e00000000000000000000000000000000000000000000000000000000
0000093d: DUP2
0000093e: MSTORE
0000093f: PUSH1 0x01
00000941: PUSH1 0x01
00000943: PUSH1 0xa0
00000945: SHL
00000946: SUB
00000947: DUP5
00000948: AND
00000949: SWAP1
0000094a: PUSH4 0xdd62ed3e
0000094f: SWAP1
00000950: PUSH2 0x095f
00000953: SWAP1
00000954: ADDRESS
00000955: SWAP1
00000956: DUP7
00000957: SWAP1
00000958: PUSH1 0x04
0000095a: ADD
0000095b: PUSH2 0x1c76
0000095e: JUMP
0000095f: JUMPDEST
00000960: PUSH1 0x20
00000962: PUSH1 0x40
00000964: MLOAD
00000965: DUP1
00000966: DUP4
00000967: SUB
00000968: DUP2
00000969: DUP7
0000096a: DUP1
0000096b: EXTCODESIZE
0000096c: ISZERO
0000096d: DUP1
0000096e: ISZERO
0000096f: PUSH2 0x0977
00000972: JUMPI
00000973: PUSH1 0x00
00000975: DUP1
00000976: REVERT
00000977: JUMPDEST
00000978: POP
00000979: GAS
0000097a: STATICCALL
0000097b: ISZERO
0000097c: DUP1
0000097d: ISZERO
0000097e: PUSH2 0x098b
00000981: JUMPI
00000982: RETURNDATASIZE
00000983: PUSH1 0x00
00000985: DUP1
00000986: RETURNDATACOPY
00000987: RETURNDATASIZE
00000988: PUSH1 0x00
0000098a: REVERT
0000098b: JUMPDEST
0000098c: POP
0000098d: POP
0000098e: POP
0000098f: POP
00000990: PUSH1 0x40
00000992: MLOAD
00000993: RETURNDATASIZE
00000994: PUSH1 0x1f
00000996: NOT
00000997: PUSH1 0x1f
00000999: DUP3
0000099a: ADD
0000099b: AND
0000099c: DUP3
0000099d: ADD
0000099e: DUP1
0000099f: PUSH1 0x40
000009a1: MSTORE
000009a2: POP
000009a3: DUP2
000009a4: ADD
000009a5: SWAP1
000009a6: PUSH2 0x09af
000009a9: SWAP2
000009aa: SWAP1
000009ab: PUSH2 0x18e1
000009ae: JUMP
000009af: JUMPDEST
000009b0: ISZERO
000009b1: JUMPDEST
000009b2: PUSH2 0x09cd
000009b5: JUMPI
000009b6: PUSH1 0x40
000009b8: MLOAD
000009b9: PUSH3 0x461bcd
000009bd: PUSH1 0xe5
000009bf: SHL
000009c0: DUP2
000009c1: MSTORE
000009c2: PUSH1 0x04
000009c4: ADD
000009c5: PUSH2 0x026e
000009c8: SWAP1
000009c9: PUSH2 0x2329
000009cc: JUMP
000009cd: JUMPDEST
000009ce: PUSH2 0x0a38
000009d1: DUP4
000009d2: PUSH4 0x095ea7b3
000009d7: PUSH1 0xe0
000009d9: SHL
000009da: DUP5
000009db: DUP5
000009dc: PUSH1 0x40
000009de: MLOAD
000009df: PUSH1 0x24
000009e1: ADD
000009e2: PUSH2 0x09ec
000009e5: SWAP3
000009e6: SWAP2
000009e7: SWAP1
000009e8: PUSH2 0x1cb4
000009eb: JUMP
000009ec: JUMPDEST
000009ed: PUSH1 0x40
000009ef: DUP1
000009f0: MLOAD
000009f1: PUSH1 0x1f
000009f3: NOT
000009f4: DUP2
000009f5: DUP5
000009f6: SUB
000009f7: ADD
000009f8: DUP2
000009f9: MSTORE
000009fa: SWAP2
000009fb: SWAP1
000009fc: MSTORE
000009fd: PUSH1 0x20
000009ff: DUP2
00000a00: ADD
00000a01: DUP1
00000a02: MLOAD
00000a03: PUSH28 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffff
00000a20: AND
00000a21: PUSH1 0x01
00000a23: PUSH1 0x01
00000a25: PUSH1 0xe0
00000a27: SHL
00000a28: SUB
00000a29: NOT
00000a2a: SWAP1
00000a2b: SWAP4
00000a2c: AND
00000a2d: SWAP3
00000a2e: SWAP1
00000a2f: SWAP3
00000a30: OR
00000a31: SWAP1
00000a32: SWAP2
00000a33: MSTORE
00000a34: PUSH2 0x0e90
00000a37: JUMP
00000a38: JUMPDEST
00000a39: POP
00000a3a: POP
00000a3b: POP
00000a3c: JUMP
00000a3d: JUMPDEST
00000a3e: PUSH2 0x0a45
00000a41: PUSH2 0x1528
00000a44: JUMP
00000a45: JUMPDEST
00000a46: PUSH2 0x0a4d
00000a49: PUSH2 0x15ad
00000a4c: JUMP
00000a4d: JUMPDEST
00000a4e: PUSH1 0x00
00000a50: PUSH1 0x60
00000a52: PUSH2 0x0a5a
00000a55: DUP7
00000a56: PUSH2 0x0f1f
00000a59: JUMP
00000a5a: JUMPDEST
00000a5b: PUSH1 0x20
00000a5d: DUP4
00000a5e: ADD
00000a5f: MLOAD
00000a60: SWAP3
00000a61: SWAP7
00000a62: POP
00000a63: SWAP1
00000a64: SWAP4
00000a65: POP
00000a66: SWAP2
00000a67: POP
00000a68: PUSH1 0x01
00000a6a: PUSH1 0x01
00000a6c: PUSH1 0xa0
00000a6e: SHL
00000a6f: SUB
00000a70: AND
00000a71: ADDRESS
00000a72: EQ
00000a73: PUSH2 0x0a8e
00000a76: JUMPI
00000a77: PUSH1 0x40
00000a79: MLOAD
00000a7a: PUSH3 0x461bcd
00000a7e: PUSH1 0xe5
00000a80: SHL
00000a81: DUP2
00000a82: MSTORE
00000a83: PUSH1 0x04
00000a85: ADD
00000a86: PUSH2 0x026e
00000a89: SWAP1
00000a8a: PUSH2 0x1e8d
00000a8d: JUMP
00000a8e: JUMPDEST
00000a8f: DUP2
00000a90: DUP5
00000a91: PUSH1 0xa0
00000a93: ADD
00000a94: MLOAD
00000a95: EQ
00000a96: PUSH2 0x0ab1
00000a99: JUMPI
00000a9a: PUSH1 0x40
00000a9c: MLOAD
00000a9d: PUSH3 0x461bcd
00000aa1: PUSH1 0xe5
00000aa3: SHL
00000aa4: DUP2
00000aa5: MSTORE
00000aa6: PUSH1 0x04
00000aa8: ADD
00000aa9: PUSH2 0x026e
00000aac: SWAP1
00000aad: PUSH2 0x1f32
00000ab0: JUMP
00000ab1: JUMPDEST
00000ab2: PUSH2 0x0abc
00000ab5: DUP8
00000ab6: ADDRESS
00000ab7: DUP9
00000ab8: PUSH2 0x0fc3
00000abb: JUMP
00000abc: JUMPDEST
00000abd: PUSH1 0xa0
00000abf: DUP5
00000ac0: ADD
00000ac1: MSTORE
00000ac2: PUSH2 0x0aca
00000ac5: DUP5
00000ac6: PUSH2 0x102a
00000ac9: JUMP
00000aca: JUMPDEST
00000acb: PUSH1 0xc0
00000acd: DUP5
00000ace: ADD
00000acf: MSTORE
00000ad0: PUSH2 0x0120
00000ad3: DUP5
00000ad4: ADD
00000ad5: MLOAD
00000ad6: PUSH2 0xffff
00000ad9: AND
00000ada: PUSH1 0x40
00000adc: DUP5
00000add: ADD
00000ade: MSTORE
00000adf: PUSH2 0x0ae7
00000ae2: DUP6
00000ae3: PUSH2 0x1043
00000ae6: JUMP
00000ae7: JUMPDEST
00000ae8: PUSH1 0x01
00000aea: PUSH1 0x01
00000aec: PUSH1 0xa0
00000aee: SHL
00000aef: SUB
00000af0: AND
00000af1: PUSH1 0x20
00000af3: DUP5
00000af4: ADD
00000af5: MSTORE
00000af6: PUSH1 0xa0
00000af8: DUP4
00000af9: ADD
00000afa: MLOAD
00000afb: PUSH2 0x0b04
00000afe: SWAP1
00000aff: DUP7
00000b00: PUSH2 0x107d
00000b03: JUMP
00000b04: JUMPDEST
00000b05: PUSH1 0x01
00000b07: PUSH1 0x01
00000b09: PUSH1 0xa0
00000b0b: SHL
00000b0c: SUB
00000b0d: SWAP1
00000b0e: DUP2
00000b0f: AND
00000b10: DUP1
00000b11: DUP6
00000b12: MSTORE
00000b13: PUSH1 0x40
00000b15: DUP7
00000b16: ADD
00000b17: MLOAD
00000b18: SWAP1
00000b19: SWAP2
00000b1a: AND
00000b1b: EQ
00000b1c: PUSH2 0x0c30
00000b1f: JUMPI
00000b20: PUSH2 0x0b35
00000b23: DUP5
00000b24: PUSH1 0x40
00000b26: ADD
00000b27: MLOAD
00000b28: PUSH1 0x01
00000b2a: PUSH1 0x01
00000b2c: PUSH1 0xa0
00000b2e: SHL
00000b2f: SUB
00000b30: AND
00000b31: PUSH2 0x1119
00000b34: JUMP
00000b35: JUMPDEST
00000b36: PUSH2 0x0b51
00000b39: JUMPI
00000b3a: PUSH1 0x40
00000b3c: MLOAD
00000b3d: PUSH3 0x461bcd
00000b41: PUSH1 0xe5
00000b43: SHL
00000b44: DUP2
00000b45: MSTORE
00000b46: PUSH1 0x04
00000b48: ADD
00000b49: PUSH2 0x026e
00000b4c: SWAP1
00000b4d: PUSH2 0x1ffd
00000b50: JUMP
00000b51: JUMPDEST
00000b52: DUP4
00000b53: PUSH1 0x40
00000b55: ADD
00000b56: MLOAD
00000b57: PUSH1 0x01
00000b59: PUSH1 0x01
00000b5b: PUSH1 0xa0
00000b5d: SHL
00000b5e: SUB
00000b5f: AND
00000b60: PUSH4 0x1626ba7e
00000b65: DUP5
00000b66: PUSH1 0xa0
00000b68: ADD
00000b69: MLOAD
00000b6a: DUP8
00000b6b: PUSH1 0x40
00000b6d: MLOAD
00000b6e: DUP4
00000b6f: PUSH4 0xffffffff
00000b74: AND
00000b75: PUSH1 0xe0
00000b77: SHL
00000b78: DUP2
00000b79: MSTORE
00000b7a: PUSH1 0x04
00000b7c: ADD
00000b7d: PUSH2 0x0b87
00000b80: SWAP3
00000b81: SWAP2
00000b82: SWAP1
00000b83: PUSH2 0x1cd6
00000b86: JUMP
00000b87: JUMPDEST
00000b88: PUSH1 0x20
00000b8a: PUSH1 0x40
00000b8c: MLOAD
00000b8d: DUP1
00000b8e: DUP4
00000b8f: SUB
00000b90: DUP2
00000b91: DUP7
00000b92: DUP1
00000b93: EXTCODESIZE
00000b94: ISZERO
00000b95: DUP1
00000b96: ISZERO
00000b97: PUSH2 0x0b9f
00000b9a: JUMPI
00000b9b: PUSH1 0x00
00000b9d: DUP1
00000b9e: REVERT
00000b9f: JUMPDEST
00000ba0: POP
00000ba1: GAS
00000ba2: STATICCALL
00000ba3: ISZERO
00000ba4: DUP1
00000ba5: ISZERO
00000ba6: PUSH2 0x0bb3
00000ba9: JUMPI
00000baa: RETURNDATASIZE
00000bab: PUSH1 0x00
00000bad: DUP1
00000bae: RETURNDATACOPY
00000baf: RETURNDATASIZE
00000bb0: PUSH1 0x00
00000bb2: REVERT
00000bb3: JUMPDEST
00000bb4: POP
00000bb5: POP
00000bb6: POP
00000bb7: POP
00000bb8: PUSH1 0x40
00000bba: MLOAD
00000bbb: RETURNDATASIZE
00000bbc: PUSH1 0x1f
00000bbe: NOT
00000bbf: PUSH1 0x1f
00000bc1: DUP3
00000bc2: ADD
00000bc3: AND
00000bc4: DUP3
00000bc5: ADD
00000bc6: DUP1
00000bc7: PUSH1 0x40
00000bc9: MSTORE
00000bca: POP
00000bcb: DUP2
00000bcc: ADD
00000bcd: SWAP1
00000bce: PUSH2 0x0bd7
00000bd1: SWAP2
00000bd2: SWAP1
00000bd3: PUSH2 0x176c
00000bd6: JUMP
00000bd7: JUMPDEST
00000bd8: PUSH1 0x01
00000bda: PUSH1 0x01
00000bdc: PUSH1 0xe0
00000bde: SHL
00000bdf: SUB
00000be0: NOT
00000be1: AND
00000be2: PUSH32 0x1626ba7e00000000000000000000000000000000000000000000000000000000
00000c03: EQ
00000c04: PUSH2 0x0c1f
00000c07: JUMPI
00000c08: PUSH1 0x40
00000c0a: MLOAD
00000c0b: PUSH3 0x461bcd
00000c0f: PUSH1 0xe5
00000c11: SHL
00000c12: DUP2
00000c13: MSTORE
00000c14: PUSH1 0x04
00000c16: ADD
00000c17: PUSH2 0x026e
00000c1a: SWAP1
00000c1b: PUSH2 0x1efb
00000c1e: JUMP
00000c1f: JUMPDEST
00000c20: PUSH1 0x40
00000c22: DUP5
00000c23: ADD
00000c24: MLOAD
00000c25: PUSH1 0x01
00000c27: PUSH1 0x01
00000c29: PUSH1 0xa0
00000c2b: SHL
00000c2c: SUB
00000c2d: AND
00000c2e: DUP4
00000c2f: MSTORE
00000c30: JUMPDEST
00000c31: PUSH2 0x2710
00000c34: DUP4
00000c35: PUSH1 0x40
00000c37: ADD
00000c38: MLOAD
00000c39: PUSH2 0xffff
00000c3c: AND
00000c3d: LT
00000c3e: PUSH2 0x0c59
00000c41: JUMPI
00000c42: PUSH1 0x40
00000c44: MLOAD
00000c45: PUSH3 0x461bcd
00000c49: PUSH1 0xe5
00000c4b: SHL
00000c4c: DUP2
00000c4d: MSTORE
00000c4e: PUSH1 0x04
00000c50: ADD
00000c51: PUSH2 0x026e
00000c54: SWAP1
00000c55: PUSH2 0x21ca
00000c58: JUMP
00000c59: JUMPDEST
00000c5a: PUSH1 0x20
00000c5c: DUP4
00000c5d: ADD
00000c5e: MLOAD
00000c5f: PUSH1 0x01
00000c61: PUSH1 0x01
00000c63: PUSH1 0xa0
00000c65: SHL
00000c66: SUB
00000c67: AND
00000c68: PUSH2 0x0c83
00000c6b: JUMPI
00000c6c: PUSH1 0x40
00000c6e: MLOAD
00000c6f: PUSH3 0x461bcd
00000c73: PUSH1 0xe5
00000c75: SHL
00000c76: DUP2
00000c77: MSTORE
00000c78: PUSH1 0x04
00000c7a: ADD
00000c7b: PUSH2 0x026e
00000c7e: SWAP1
00000c7f: PUSH2 0x1f69
00000c82: JUMP
00000c83: JUMPDEST
00000c84: PUSH2 0x0c91
00000c87: DUP5
00000c88: PUSH2 0x0140
00000c8b: ADD
00000c8c: MLOAD
00000c8d: PUSH2 0x111f
00000c90: JUMP
00000c91: JUMPDEST
00000c92: PUSH1 0x01
00000c94: PUSH1 0x01
00000c96: PUSH1 0xa0
00000c98: SHL
00000c99: SUB
00000c9a: AND
00000c9b: PUSH1 0x60
00000c9d: DUP5
00000c9e: ADD
00000c9f: MSTORE
00000ca0: PUSH2 0x0160
00000ca3: DUP5
00000ca4: ADD
00000ca5: MLOAD
00000ca6: PUSH2 0x0cae
00000ca9: SWAP1
00000caa: PUSH2 0x111f
00000cad: JUMP
00000cae: JUMPDEST
00000caf: PUSH1 0x01
00000cb1: PUSH1 0x01
00000cb3: PUSH1 0xa0
00000cb5: SHL
00000cb6: SUB
00000cb7: AND
00000cb8: PUSH1 0x80
00000cba: DUP5
00000cbb: ADD
00000cbc: MSTORE
00000cbd: POP
00000cbe: POP
00000cbf: SWAP4
00000cc0: POP
00000cc1: SWAP4
00000cc2: SWAP2
00000cc3: POP
00000cc4: POP
00000cc5: JUMP
00000cc6: JUMPDEST
00000cc7: PUSH1 0x00
00000cc9: PUSH2 0x0d50
00000ccc: DUP3
00000ccd: DUP6
00000cce: PUSH1 0x01
00000cd0: PUSH1 0x01
00000cd2: PUSH1 0xa0
00000cd4: SHL
00000cd5: SUB
00000cd6: AND
00000cd7: PUSH4 0xdd62ed3e
00000cdc: ADDRESS
00000cdd: DUP8
00000cde: PUSH1 0x40
00000ce0: MLOAD
00000ce1: DUP4
00000ce2: PUSH4 0xffffffff
00000ce7: AND
00000ce8: PUSH1 0xe0
00000cea: SHL
00000ceb: DUP2
00000cec: MSTORE
00000ced: PUSH1 0x04
00000cef: ADD
00000cf0: PUSH2 0x0cfa
00000cf3: SWAP3
00000cf4: SWAP2
00000cf5: SWAP1
00000cf6: PUSH2 0x1c76
00000cf9: JUMP
00000cfa: JUMPDEST
00000cfb: PUSH1 0x20
00000cfd: PUSH1 0x40
00000cff: MLOAD
00000d00: DUP1
00000d01: DUP4
00000d02: SUB
00000d03: DUP2
00000d04: DUP7
00000d05: DUP1
00000d06: EXTCODESIZE
00000d07: ISZERO
00000d08: DUP1
00000d09: ISZERO
00000d0a: PUSH2 0x0d12
00000d0d: JUMPI
00000d0e: PUSH1 0x00
00000d10: DUP1
00000d11: REVERT
00000d12: JUMPDEST
00000d13: POP
00000d14: GAS
00000d15: STATICCALL
00000d16: ISZERO
00000d17: DUP1
00000d18: ISZERO
00000d19: PUSH2 0x0d26
00000d1c: JUMPI
00000d1d: RETURNDATASIZE
00000d1e: PUSH1 0x00
00000d20: DUP1
00000d21: RETURNDATACOPY
00000d22: RETURNDATASIZE
00000d23: PUSH1 0x00
00000d25: REVERT
00000d26: JUMPDEST
00000d27: POP
00000d28: POP
00000d29: POP
00000d2a: POP
00000d2b: PUSH1 0x40
00000d2d: MLOAD
00000d2e: RETURNDATASIZE
00000d2f: PUSH1 0x1f
00000d31: NOT
00000d32: PUSH1 0x1f
00000d34: DUP3
00000d35: ADD
00000d36: AND
00000d37: DUP3
00000d38: ADD
00000d39: DUP1
00000d3a: PUSH1 0x40
00000d3c: MSTORE
00000d3d: POP
00000d3e: DUP2
00000d3f: ADD
00000d40: SWAP1
00000d41: PUSH2 0x0d4a
00000d44: SWAP2
00000d45: SWAP1
00000d46: PUSH2 0x18e1
00000d49: JUMP
00000d4a: JUMPDEST
00000d4b: SWAP1
00000d4c: PUSH2 0x114d
00000d4f: JUMP
00000d50: JUMPDEST
00000d51: SWAP1
00000d52: POP
00000d53: PUSH2 0x02c1
00000d56: DUP5
00000d57: PUSH4 0x095ea7b3
00000d5c: PUSH1 0xe0
00000d5e: SHL
00000d5f: DUP6
00000d60: DUP5
00000d61: PUSH1 0x40
00000d63: MLOAD
00000d64: PUSH1 0x24
00000d66: ADD
00000d67: PUSH2 0x09ec
00000d6a: SWAP3
00000d6b: SWAP2
00000d6c: SWAP1
00000d6d: PUSH2 0x1cb4
00000d70: JUMP
00000d71: JUMPDEST
00000d72: PUSH1 0x00
00000d74: DUP3
00000d75: PUSH2 0xffff
00000d78: DUP4
00000d79: AND
00000d7a: ISZERO
00000d7b: PUSH2 0x0da5
00000d7e: JUMPI
00000d7f: PUSH2 0x0da2
00000d82: PUSH2 0x2710
00000d85: PUSH2 0x0d9c
00000d88: PUSH2 0x0d95
00000d8b: DUP3
00000d8c: PUSH2 0xffff
00000d8f: DUP9
00000d90: AND
00000d91: PUSH2 0x1179
00000d94: JUMP
00000d95: JUMPDEST
00000d96: DUP5
00000d97: SWAP1
00000d98: PUSH2 0x11bb
00000d9b: JUMP
00000d9c: JUMPDEST
00000d9d: SWAP1
00000d9e: PUSH2 0x11f5
00000da1: JUMP
00000da2: JUMPDEST
00000da3: SWAP1
00000da4: POP
00000da5: JUMPDEST
00000da6: DUP7
00000da7: PUSH1 0x01
00000da9: PUSH1 0x01
00000dab: PUSH1 0xa0
00000dad: SHL
00000dae: SUB
00000daf: AND
00000db0: DUP6
00000db1: PUSH1 0x01
00000db3: PUSH1 0x01
00000db5: PUSH1 0xa0
00000db7: SHL
00000db8: SUB
00000db9: AND
00000dba: EQ
00000dbb: ISZERO
00000dbc: PUSH2 0x0e72
00000dbf: JUMPI
00000dc0: PUSH1 0x40
00000dc2: MLOAD
00000dc3: PUSH32 0x2e1a7d4d00000000000000000000000000000000000000000000000000000000
00000de4: DUP2
00000de5: MSTORE
00000de6: PUSH1 0x01
00000de8: PUSH1 0x01
00000dea: PUSH1 0xa0
00000dec: SHL
00000ded: SUB
00000dee: DUP9
00000def: AND
00000df0: SWAP1
00000df1: PUSH4 0x2e1a7d4d
00000df6: SWAP1
00000df7: PUSH2 0x0e04
00000dfa: SWAP1
00000dfb: DUP5
00000dfc: SWAP1
00000dfd: PUSH1 0x04
00000dff: ADD
00000e00: PUSH2 0x1ccd
00000e03: JUMP
00000e04: JUMPDEST
00000e05: PUSH1 0x00
00000e07: PUSH1 0x40
00000e09: MLOAD
00000e0a: DUP1
00000e0b: DUP4
00000e0c: SUB
00000e0d: DUP2
00000e0e: PUSH1 0x00
00000e10: DUP8
00000e11: DUP1
00000e12: EXTCODESIZE
00000e13: ISZERO
00000e14: DUP1
00000e15: ISZERO
00000e16: PUSH2 0x0e1e
00000e19: JUMPI
00000e1a: PUSH1 0x00
00000e1c: DUP1
00000e1d: REVERT
00000e1e: JUMPDEST
00000e1f: POP
00000e20: GAS
00000e21: CALL
00000e22: ISZERO
00000e23: DUP1
00000e24: ISZERO
00000e25: PUSH2 0x0e32
00000e28: JUMPI
00000e29: RETURNDATASIZE
00000e2a: PUSH1 0x00
00000e2c: DUP1
00000e2d: RETURNDATACOPY
00000e2e: RETURNDATASIZE
00000e2f: PUSH1 0x00
00000e31: REVERT
00000e32: JUMPDEST
00000e33: POP
00000e34: POP
00000e35: PUSH1 0x40
00000e37: MLOAD
00000e38: PUSH1 0x01
00000e3a: PUSH1 0x01
00000e3c: PUSH1 0xa0
00000e3e: SHL
00000e3f: SUB
00000e40: DUP10
00000e41: AND
00000e42: SWAP3
00000e43: POP
00000e44: DUP4
00000e45: ISZERO
00000e46: PUSH2 0x08fc
00000e49: MUL
00000e4a: SWAP2
00000e4b: POP
00000e4c: DUP4
00000e4d: SWAP1
00000e4e: PUSH1 0x00
00000e50: DUP2
00000e51: DUP2
00000e52: DUP2
00000e53: DUP6
00000e54: DUP9
00000e55: DUP9
00000e56: CALL
00000e57: SWAP4
00000e58: POP
00000e59: POP
00000e5a: POP
00000e5b: POP
00000e5c: ISZERO
00000e5d: DUP1
00000e5e: ISZERO
00000e5f: PUSH2 0x0e6c
00000e62: JUMPI
00000e63: RETURNDATASIZE
00000e64: PUSH1 0x00
00000e66: DUP1
00000e67: RETURNDATACOPY
00000e68: RETURNDATASIZE
00000e69: PUSH1 0x00
00000e6b: REVERT
00000e6c: JUMPDEST
00000e6d: POP
00000e6e: PUSH2 0x0e86
00000e71: JUMP
00000e72: JUMPDEST
00000e73: PUSH2 0x0e86
00000e76: PUSH1 0x01
00000e78: PUSH1 0x01
00000e7a: PUSH1 0xa0
00000e7c: SHL
00000e7d: SUB
00000e7e: DUP7
00000e7f: AND
00000e80: DUP8
00000e81: DUP4
00000e82: PUSH2 0x1237
00000e85: JUMP
00000e86: JUMPDEST
00000e87: SWAP7
00000e88: SWAP6
00000e89: POP
00000e8a: POP
00000e8b: POP
00000e8c: POP
00000e8d: POP
00000e8e: POP
00000e8f: JUMP
00000e90: JUMPDEST
00000e91: PUSH1 0x60
00000e93: PUSH2 0x0ee5
00000e96: DUP3
00000e97: PUSH1 0x40
00000e99: MLOAD
00000e9a: DUP1
00000e9b: PUSH1 0x40
00000e9d: ADD
00000e9e: PUSH1 0x40
00000ea0: MSTORE
00000ea1: DUP1
00000ea2: PUSH1 0x20
00000ea4: DUP2
00000ea5: MSTORE
00000ea6: PUSH1 0x20
00000ea8: ADD
00000ea9: PUSH32 0x5361666545524332303a206c6f772d6c6576656c2063616c6c206661696c6564
00000eca: DUP2
00000ecb: MSTORE
00000ecc: POP
00000ecd: DUP6
00000ece: PUSH1 0x01
00000ed0: PUSH1 0x01
00000ed2: PUSH1 0xa0
00000ed4: SHL
00000ed5: SUB
00000ed6: AND
00000ed7: PUSH2 0x1256
00000eda: SWAP1
00000edb: SWAP3
00000edc: SWAP2
00000edd: SWAP1
00000ede: PUSH4 0xffffffff
00000ee3: AND
00000ee4: JUMP
00000ee5: JUMPDEST
00000ee6: DUP1
00000ee7: MLOAD
00000ee8: SWAP1
00000ee9: SWAP2
00000eea: POP
00000eeb: ISZERO
00000eec: PUSH2 0x0a38
00000eef: JUMPI
00000ef0: DUP1
00000ef1: DUP1
00000ef2: PUSH1 0x20
00000ef4: ADD
00000ef5: SWAP1
00000ef6: MLOAD
00000ef7: DUP2
00000ef8: ADD
00000ef9: SWAP1
00000efa: PUSH2 0x0f03
00000efd: SWAP2
00000efe: SWAP1
00000eff: PUSH2 0x174c
00000f02: JUMP
00000f03: JUMPDEST
00000f04: PUSH2 0x0a38
00000f07: JUMPI
00000f08: PUSH1 0x40
00000f0a: MLOAD
00000f0b: PUSH3 0x461bcd
00000f0f: PUSH1 0xe5
00000f11: SHL
00000f12: DUP2
00000f13: MSTORE
00000f14: PUSH1 0x04
00000f16: ADD
00000f17: PUSH2 0x026e
00000f1a: SWAP1
00000f1b: PUSH2 0x2295
00000f1e: JUMP
00000f1f: JUMPDEST
00000f20: PUSH2 0x0f27
00000f23: PUSH2 0x1528
00000f26: JUMP
00000f27: JUMPDEST
00000f28: PUSH1 0x00
00000f2a: PUSH1 0x60
00000f2c: PUSH2 0x0320
00000f2f: DUP5
00000f30: MLOAD
00000f31: GT
00000f32: PUSH2 0x0f4d
00000f35: JUMPI
00000f36: PUSH1 0x40
00000f38: MLOAD
00000f39: PUSH3 0x461bcd
00000f3d: PUSH1 0xe5
00000f3f: SHL
00000f40: DUP2
00000f41: MSTORE
00000f42: PUSH1 0x04
00000f44: ADD
00000f45: PUSH2 0x026e
00000f48: SWAP1
00000f49: PUSH2 0x1de8
00000f4c: JUMP
00000f4d: JUMPDEST
00000f4e: PUSH2 0x0f58
00000f51: DUP5
00000f52: PUSH1 0x00
00000f54: PUSH2 0x126d
00000f57: JUMP
00000f58: JUMPDEST
00000f59: PUSH28 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffff
00000f76: NOT
00000f77: AND
00000f78: PUSH4 0x64a3bc15
00000f7d: PUSH1 0xe0
00000f7f: SHL
00000f80: EQ
00000f81: PUSH2 0x0f9c
00000f84: JUMPI
00000f85: PUSH1 0x40
00000f87: MLOAD
00000f88: PUSH3 0x461bcd
00000f8c: PUSH1 0xe5
00000f8e: SHL
00000f8f: DUP2
00000f90: MSTORE
00000f91: PUSH1 0x04
00000f93: ADD
00000f94: PUSH2 0x026e
00000f97: SWAP1
00000f98: PUSH2 0x206b
00000f9b: JUMP
00000f9c: JUMPDEST
00000f9d: PUSH1 0x04
00000f9f: DUP5
00000fa0: ADD
00000fa1: DUP1
00000fa2: MLOAD
00000fa3: PUSH2 0x0fb5
00000fa6: SWAP1
00000fa7: DUP7
00000fa8: ADD
00000fa9: PUSH1 0x24
00000fab: SWAP1
00000fac: DUP2
00000fad: ADD
00000fae: SWAP1
00000faf: DUP8
00000fb0: ADD
00000fb1: PUSH2 0x1794
00000fb4: JUMP
00000fb5: JUMPDEST
00000fb6: SWAP4
00000fb7: POP
00000fb8: SWAP4
00000fb9: POP
00000fba: SWAP4
00000fbb: POP
00000fbc: POP
00000fbd: SWAP2
00000fbe: SWAP4
00000fbf: SWAP1
00000fc0: SWAP3
00000fc1: POP
00000fc2: JUMP
00000fc3: JUMPDEST
00000fc4: PUSH1 0x00
00000fc6: DUP1
00000fc7: PUSH1 0x40
00000fc9: MLOAD
00000fca: PUSH1 0x20
00000fcc: ADD
00000fcd: PUSH2 0x0fd5
00000fd0: SWAP1
00000fd1: PUSH2 0x1a20
00000fd4: JUMP
00000fd5: JUMPDEST
00000fd6: PUSH1 0x40
00000fd8: MLOAD
00000fd9: PUSH1 0x20
00000fdb: DUP2
00000fdc: DUP4
00000fdd: SUB
00000fde: SUB
00000fdf: DUP2
00000fe0: MSTORE
00000fe1: SWAP1
00000fe2: PUSH1 0x40
00000fe4: MSTORE
00000fe5: DUP1
00000fe6: MLOAD
00000fe7: SWAP1
00000fe8: PUSH1 0x20
00000fea: ADD
00000feb: KECCAK256
00000fec: SWAP1
00000fed: POP
00000fee: PUSH1 0x00
00000ff0: DUP4
00000ff1: DUP1
00000ff2: MLOAD
00000ff3: SWAP1
00000ff4: PUSH1 0x20
00000ff6: ADD
00000ff7: KECCAK256
00000ff8: SWAP1
00000ff9: POP
00000ffa: PUSH1 0x40
00000ffc: MLOAD
00000ffd: DUP3
00000ffe: DUP2
00000fff: MSTORE
00001000: DUP7
00001001: PUSH1 0x20
00001003: DUP3
00001004: ADD
00001005: MSTORE
00001006: PUSH1 0x01
00001008: PUSH1 0x01
0000100a: PUSH1 0xa0
0000100c: SHL
0000100d: SUB
0000100e: DUP7
0000100f: AND
00001010: PUSH1 0x40
00001012: DUP3
00001013: ADD
00001014: MSTORE
00001015: DUP2
00001016: PUSH1 0x60
00001018: DUP3
00001019: ADD
0000101a: MSTORE
0000101b: PUSH1 0x80
0000101d: DUP2
0000101e: KECCAK256
0000101f: SWAP4
00001020: POP
00001021: POP
00001022: PUSH2 0x0e86
00001025: DUP4
00001026: PUSH2 0x12a6
00001029: JUMP
0000102a: JUMPDEST
0000102b: PUSH1 0x00
0000102d: PUSH2 0x103d
00001030: PUSH2 0x1038
00001033: DUP4
00001034: PUSH2 0x12e6
00001037: JUMP
00001038: JUMPDEST
00001039: PUSH2 0x12a6
0000103c: JUMP
0000103d: JUMPDEST
0000103e: SWAP3
0000103f: SWAP2
00001040: POP
00001041: POP
00001042: JUMP
00001043: JUMPDEST
00001044: PUSH1 0x00
00001046: DUP2
00001047: MLOAD
00001048: PUSH1 0x55
0000104a: EQ
0000104b: DUP1
0000104c: PUSH2 0x1056
0000104f: JUMPI
00001050: POP
00001051: DUP2
00001052: MLOAD
00001053: PUSH1 0x56
00001055: EQ
00001056: JUMPDEST
00001057: PUSH2 0x1072
0000105a: JUMPI
0000105b: PUSH1 0x40
0000105d: MLOAD
0000105e: PUSH3 0x461bcd
00001062: PUSH1 0xe5
00001064: SHL
00001065: DUP2
00001066: MSTORE
00001067: PUSH1 0x04
00001069: ADD
0000106a: PUSH2 0x026e
0000106d: SWAP1
0000106e: PUSH2 0x20ff
00001071: JUMP
00001072: JUMPDEST
00001073: PUSH2 0x103d
00001076: DUP3
00001077: PUSH1 0x41
00001079: PUSH2 0x1351
0000107c: JUMP
0000107d: JUMPDEST
0000107e: PUSH1 0x00
00001080: DUP1
00001081: PUSH1 0x00
00001083: DUP1
00001084: PUSH1 0x00
00001086: PUSH2 0x108e
00001089: DUP7
0000108a: PUSH2 0x1389
0000108d: JUMP
0000108e: JUMPDEST
0000108f: SWAP4
00001090: POP
00001091: SWAP4
00001092: POP
00001093: SWAP4
00001094: POP
00001095: SWAP4
00001096: POP
00001097: PUSH1 0x01
00001099: DUP8
0000109a: DUP3
0000109b: PUSH1 0x40
0000109d: MLOAD
0000109e: PUSH1 0x20
000010a0: ADD
000010a1: PUSH2 0x10ab
000010a4: SWAP3
000010a5: SWAP2
000010a6: SWAP1
000010a7: PUSH2 0x19e4
000010aa: JUMP
000010ab: JUMPDEST
000010ac: PUSH1 0x40
000010ae: MLOAD
000010af: PUSH1 0x20
000010b1: DUP2
000010b2: DUP4
000010b3: SUB
000010b4: SUB
000010b5: DUP2
000010b6: MSTORE
000010b7: SWAP1
000010b8: PUSH1 0x40
000010ba: MSTORE
000010bb: DUP1
000010bc: MLOAD
000010bd: SWAP1
000010be: PUSH1 0x20
000010c0: ADD
000010c1: KECCAK256
000010c2: DUP6
000010c3: DUP6
000010c4: DUP6
000010c5: PUSH1 0x40
000010c7: MLOAD
000010c8: PUSH1 0x00
000010ca: DUP2
000010cb: MSTORE
000010cc: PUSH1 0x20
000010ce: ADD
000010cf: PUSH1 0x40
000010d1: MSTORE
000010d2: PUSH1 0x40
000010d4: MLOAD
000010d5: PUSH2 0x10e1
000010d8: SWAP5
000010d9: SWAP4
000010da: SWAP3
000010db: SWAP2
000010dc: SWAP1
000010dd: PUSH2 0x1cef
000010e0: JUMP
000010e1: JUMPDEST
000010e2: PUSH1 0x20
000010e4: PUSH1 0x40
000010e6: MLOAD
000010e7: PUSH1 0x20
000010e9: DUP2
000010ea: SUB
000010eb: SWAP1
000010ec: DUP1
000010ed: DUP5
000010ee: SUB
000010ef: SWAP1
000010f0: DUP6
000010f1: GAS
000010f2: STATICCALL
000010f3: ISZERO
000010f4: DUP1
000010f5: ISZERO
000010f6: PUSH2 0x1103
000010f9: JUMPI
000010fa: RETURNDATASIZE
000010fb: PUSH1 0x00
000010fd: DUP1
000010fe: RETURNDATACOPY
000010ff: RETURNDATASIZE
00001100: PUSH1 0x00
00001102: REVERT
00001103: JUMPDEST
00001104: POP
00001105: POP
00001106: PUSH1 0x40
00001108: MLOAD
00001109: PUSH1 0x1f
0000110b: NOT
0000110c: ADD
0000110d: MLOAD
0000110e: SWAP9
0000110f: SWAP8
00001110: POP
00001111: POP
00001112: POP
00001113: POP
00001114: POP
00001115: POP
00001116: POP
00001117: POP
00001118: JUMP
00001119: JUMPDEST
0000111a: EXTCODESIZE
0000111b: ISZERO
0000111c: ISZERO
0000111d: SWAP1
0000111e: JUMP
0000111f: JUMPDEST
00001120: PUSH1 0x00
00001122: DUP2
00001123: MLOAD
00001124: PUSH1 0x24
00001126: EQ
00001127: PUSH2 0x1142
0000112a: JUMPI
0000112b: PUSH1 0x40
0000112d: MLOAD
0000112e: PUSH3 0x461bcd
00001132: PUSH1 0xe5
00001134: SHL
00001135: DUP2
00001136: MSTORE
00001137: PUSH1 0x04
00001139: ADD
0000113a: PUSH2 0x026e
0000113d: SWAP1
0000113e: PUSH2 0x2034
00001141: JUMP
00001142: JUMPDEST
00001143: PUSH2 0x103d
00001146: DUP3
00001147: PUSH1 0x10
00001149: PUSH2 0x1351
0000114c: JUMP
0000114d: JUMPDEST
0000114e: PUSH1 0x00
00001150: DUP3
00001151: DUP3
00001152: ADD
00001153: DUP4
00001154: DUP2
00001155: LT
00001156: ISZERO
00001157: PUSH2 0x1172
0000115a: JUMPI
0000115b: PUSH1 0x40
0000115d: MLOAD
0000115e: PUSH3 0x461bcd
00001162: PUSH1 0xe5
00001164: SHL
00001165: DUP2
00001166: MSTORE
00001167: PUSH1 0x04
00001169: ADD
0000116a: PUSH2 0x026e
0000116d: SWAP1
0000116e: PUSH2 0x1e1f
00001171: JUMP
00001172: JUMPDEST
00001173: SWAP4
00001174: SWAP3
00001175: POP
00001176: POP
00001177: POP
00001178: JUMP
00001179: JUMPDEST
0000117a: PUSH1 0x00
0000117c: PUSH2 0x1172
0000117f: DUP4
00001180: DUP4
00001181: PUSH1 0x40
00001183: MLOAD
00001184: DUP1
00001185: PUSH1 0x40
00001187: ADD
00001188: PUSH1 0x40
0000118a: MSTORE
0000118b: DUP1
0000118c: PUSH1 0x1e
0000118e: DUP2
0000118f: MSTORE
00001190: PUSH1 0x20
00001192: ADD
00001193: PUSH32 0x536166654d6174683a207375627472616374696f6e206f766572666c6f770000
000011b4: DUP2
000011b5: MSTORE
000011b6: POP
000011b7: PUSH2 0x13d2
000011ba: JUMP
000011bb: JUMPDEST
000011bc: PUSH1 0x00
000011be: DUP3
000011bf: PUSH2 0x11ca
000011c2: JUMPI
000011c3: POP
000011c4: PUSH1 0x00
000011c6: PUSH2 0x103d
000011c9: JUMP
000011ca: JUMPDEST
000011cb: DUP3
000011cc: DUP3
000011cd: MUL
000011ce: DUP3
000011cf: DUP5
000011d0: DUP3
000011d1: DUP2
000011d2: PUSH2 0x11d7
000011d5: JUMPI
000011d6: INVALID
000011d7: JUMPDEST
000011d8: DIV
000011d9: EQ
000011da: PUSH2 0x1172
000011dd: JUMPI
000011de: PUSH1 0x40
000011e0: MLOAD
000011e1: PUSH3 0x461bcd
000011e5: PUSH1 0xe5
000011e7: SHL
000011e8: DUP2
000011e9: MSTORE
000011ea: PUSH1 0x04
000011ec: ADD
000011ed: PUSH2 0x026e
000011f0: SWAP1
000011f1: PUSH2 0x1fa0
000011f4: JUMP
000011f5: JUMPDEST
000011f6: PUSH1 0x00
000011f8: PUSH2 0x1172
000011fb: DUP4
000011fc: DUP4
000011fd: PUSH1 0x40
000011ff: MLOAD
00001200: DUP1
00001201: PUSH1 0x40
00001203: ADD
00001204: PUSH1 0x40
00001206: MSTORE
00001207: DUP1
00001208: PUSH1 0x1a
0000120a: DUP2
0000120b: MSTORE
0000120c: PUSH1 0x20
0000120e: ADD
0000120f: PUSH32 0x536166654d6174683a206469766973696f6e206279207a65726f000000000000
00001230: DUP2
00001231: MSTORE
00001232: POP
00001233: PUSH2 0x13fe
00001236: JUMP
00001237: JUMPDEST
00001238: PUSH2 0x0a38
0000123b: DUP4
0000123c: PUSH4 0xa9059cbb
00001241: PUSH1 0xe0
00001243: SHL
00001244: DUP5
00001245: DUP5
00001246: PUSH1 0x40
00001248: MLOAD
00001249: PUSH1 0x24
0000124b: ADD
0000124c: PUSH2 0x09ec
0000124f: SWAP3
00001250: SWAP2
00001251: SWAP1
00001252: PUSH2 0x1cb4
00001255: JUMP
00001256: JUMPDEST
00001257: PUSH1 0x60
00001259: PUSH2 0x1265
0000125c: DUP5
0000125d: DUP5
0000125e: PUSH1 0x00
00001260: DUP6
00001261: PUSH2 0x1435
00001264: JUMP
00001265: JUMPDEST
00001266: SWAP5
00001267: SWAP4
00001268: POP
00001269: POP
0000126a: POP
0000126b: POP
0000126c: JUMP
0000126d: JUMPDEST
0000126e: PUSH1 0x00
00001270: DUP2
00001271: PUSH1 0x04
00001273: ADD
00001274: DUP4
00001275: MLOAD
00001276: LT
00001277: ISZERO
00001278: PUSH2 0x1293
0000127b: JUMPI
0000127c: PUSH1 0x40
0000127e: MLOAD
0000127f: PUSH3 0x461bcd
00001283: PUSH1 0xe5
00001285: SHL
00001286: DUP2
00001287: MSTORE
00001288: PUSH1 0x04
0000128a: ADD
0000128b: PUSH2 0x026e
0000128e: SWAP1
0000128f: PUSH2 0x2238
00001292: JUMP
00001293: JUMPDEST
00001294: POP
00001295: ADD
00001296: PUSH1 0x20
00001298: ADD
00001299: MLOAD
0000129a: PUSH1 0x01
0000129c: PUSH1 0x01
0000129e: PUSH1 0xe0
000012a0: SHL
000012a1: SUB
000012a2: NOT
000012a3: AND
000012a4: SWAP1
000012a5: JUMP
000012a6: JUMPDEST
000012a7: PUSH1 0x01
000012a9: SLOAD
000012aa: PUSH1 0x40
000012ac: MLOAD
000012ad: PUSH32 0x1901000000000000000000000000000000000000000000000000000000000000
000012ce: DUP2
000012cf: MSTORE
000012d0: PUSH1 0x02
000012d2: DUP2
000012d3: ADD
000012d4: SWAP2
000012d5: SWAP1
000012d6: SWAP2
000012d7: MSTORE
000012d8: PUSH1 0x22
000012da: DUP2
000012db: ADD
000012dc: SWAP2
000012dd: SWAP1
000012de: SWAP2
000012df: MSTORE
000012e0: PUSH1 0x42
000012e2: SWAP1
000012e3: KECCAK256
000012e4: SWAP1
000012e5: JUMP
000012e6: JUMPDEST
000012e7: PUSH1 0x00
000012e9: DUP1
000012ea: PUSH1 0x40
000012ec: MLOAD
000012ed: PUSH1 0x20
000012ef: ADD
000012f0: PUSH2 0x12f8
000012f3: SWAP1
000012f4: PUSH2 0x1ab5
000012f7: JUMP
000012f8: JUMPDEST
000012f9: PUSH1 0x40
000012fb: DUP1
000012fc: MLOAD
000012fd: PUSH1 0x1f
000012ff: NOT
00001300: DUP2
00001301: DUP5
00001302: SUB
00001303: DUP2
00001304: ADD
00001305: DUP3
00001306: MSTORE
00001307: SWAP3
00001308: SWAP1
00001309: SWAP2
0000130a: MSTORE
0000130b: DUP1
0000130c: MLOAD
0000130d: PUSH1 0x20
0000130f: SWAP2
00001310: DUP3
00001311: ADD
00001312: KECCAK256
00001313: PUSH2 0x0140
00001316: DUP7
00001317: ADD
00001318: DUP1
00001319: MLOAD
0000131a: DUP1
0000131b: MLOAD
0000131c: DUP2
0000131d: DUP6
0000131e: ADD
0000131f: KECCAK256
00001320: PUSH2 0x0160
00001323: DUP10
00001324: ADD
00001325: DUP1
00001326: MLOAD
00001327: DUP1
00001328: MLOAD
00001329: SWAP7
0000132a: DUP2
0000132b: ADD
0000132c: SWAP7
0000132d: SWAP1
0000132e: SWAP7
0000132f: KECCAK256
00001330: SWAP7
00001331: DUP11
00001332: ADD
00001333: DUP1
00001334: MLOAD
00001335: SWAP6
00001336: DUP2
00001337: MSTORE
00001338: SWAP2
00001339: DUP5
0000133a: MSTORE
0000133b: SWAP6
0000133c: DUP7
0000133d: MSTORE
0000133e: PUSH2 0x01a0
00001341: DUP2
00001342: KECCAK256
00001343: SWAP4
00001344: SWAP1
00001345: MSTORE
00001346: SWAP1
00001347: MSTORE
00001348: SWAP2
00001349: MSTORE
0000134a: SWAP2
0000134b: POP
0000134c: POP
0000134d: SWAP2
0000134e: SWAP1
0000134f: POP
00001350: JUMP
00001351: JUMPDEST
00001352: PUSH1 0x00
00001354: DUP2
00001355: PUSH1 0x14
00001357: ADD
00001358: DUP4
00001359: MLOAD
0000135a: LT
0000135b: ISZERO
0000135c: PUSH2 0x1377
0000135f: JUMPI
00001360: PUSH1 0x40
00001362: MLOAD
00001363: PUSH3 0x461bcd
00001367: PUSH1 0xe5
00001369: SHL
0000136a: DUP2
0000136b: MSTORE
0000136c: PUSH1 0x04
0000136e: ADD
0000136f: PUSH2 0x026e
00001372: SWAP1
00001373: PUSH2 0x20a2
00001376: JUMP
00001377: JUMPDEST
00001378: POP
00001379: ADD
0000137a: PUSH1 0x14
0000137c: ADD
0000137d: MLOAD
0000137e: PUSH1 0x01
00001380: PUSH1 0x01
00001382: PUSH1 0xa0
00001384: SHL
00001385: SUB
00001386: AND
00001387: SWAP1
00001388: JUMP
00001389: JUMPDEST
0000138a: PUSH1 0x00
0000138c: DUP1
0000138d: PUSH1 0x00
0000138f: DUP1
00001390: PUSH2 0x1398
00001393: DUP6
00001394: PUSH2 0x1043
00001397: JUMP
00001398: JUMPDEST
00001399: SWAP1
0000139a: POP
0000139b: DUP5
0000139c: PUSH1 0x00
0000139e: DUP2
0000139f: MLOAD
000013a0: DUP2
000013a1: LT
000013a2: PUSH2 0x13a7
000013a5: JUMPI
000013a6: INVALID
000013a7: JUMPDEST
000013a8: ADD
000013a9: PUSH1 0x20
000013ab: ADD
000013ac: MLOAD
000013ad: PUSH1 0xf8
000013af: SHR
000013b0: SWAP4
000013b1: POP
000013b2: PUSH2 0x13bc
000013b5: DUP6
000013b6: PUSH1 0x01
000013b8: PUSH2 0x14f9
000013bb: JUMP
000013bc: JUMPDEST
000013bd: SWAP3
000013be: POP
000013bf: PUSH2 0x13c9
000013c2: DUP6
000013c3: PUSH1 0x21
000013c5: PUSH2 0x14f9
000013c8: JUMP
000013c9: JUMPDEST
000013ca: SWAP2
000013cb: POP
000013cc: SWAP2
000013cd: SWAP4
000013ce: POP
000013cf: SWAP2
000013d0: SWAP4
000013d1: JUMP
000013d2: JUMPDEST
000013d3: PUSH1 0x00
000013d5: DUP2
000013d6: DUP5
000013d7: DUP5
000013d8: GT
000013d9: ISZERO
000013da: PUSH2 0x13f6
000013dd: JUMPI
000013de: PUSH1 0x40
000013e0: MLOAD
000013e1: PUSH3 0x461bcd
000013e5: PUSH1 0xe5
000013e7: SHL
000013e8: DUP2
000013e9: MSTORE
000013ea: PUSH1 0x04
000013ec: ADD
000013ed: PUSH2 0x026e
000013f0: SWAP2
000013f1: SWAP1
000013f2: PUSH2 0x1d0d
000013f5: JUMP
000013f6: JUMPDEST
000013f7: POP
000013f8: POP
000013f9: POP
000013fa: SWAP1
000013fb: SUB
000013fc: SWAP1
000013fd: JUMP
000013fe: JUMPDEST
000013ff: PUSH1 0x00
00001401: DUP2
00001402: DUP4
00001403: PUSH2 0x141f
00001406: JUMPI
00001407: PUSH1 0x40
00001409: MLOAD
0000140a: PUSH3 0x461bcd
0000140e: PUSH1 0xe5
00001410: SHL
00001411: DUP2
00001412: MSTORE
00001413: PUSH1 0x04
00001415: ADD
00001416: PUSH2 0x026e
00001419: SWAP2
0000141a: SWAP1
0000141b: PUSH2 0x1d0d
0000141e: JUMP
0000141f: JUMPDEST
00001420: POP
00001421: PUSH1 0x00
00001423: DUP4
00001424: DUP6
00001425: DUP2
00001426: PUSH2 0x142b
00001429: JUMPI
0000142a: INVALID
0000142b: JUMPDEST
0000142c: DIV
0000142d: SWAP6
0000142e: SWAP5
0000142f: POP
00001430: POP
00001431: POP
00001432: POP
00001433: POP
00001434: JUMP
00001435: JUMPDEST
00001436: PUSH1 0x60
00001438: PUSH2 0x1440
0000143b: DUP6
0000143c: PUSH2 0x1119
0000143f: JUMP
00001440: JUMPDEST
00001441: PUSH2 0x145c
00001444: JUMPI
00001445: PUSH1 0x40
00001447: MLOAD
00001448: PUSH3 0x461bcd
0000144c: PUSH1 0xe5
0000144e: SHL
0000144f: DUP2
00001450: MSTORE
00001451: PUSH1 0x04
00001453: ADD
00001454: PUSH2 0x026e
00001457: SWAP1
00001458: PUSH2 0x2193
0000145b: JUMP
0000145c: JUMPDEST
0000145d: PUSH1 0x00
0000145f: PUSH1 0x60
00001461: DUP7
00001462: PUSH1 0x01
00001464: PUSH1 0x01
00001466: PUSH1 0xa0
00001468: SHL
00001469: SUB
0000146a: AND
0000146b: DUP6
0000146c: DUP8
0000146d: PUSH1 0x40
0000146f: MLOAD
00001470: PUSH2 0x1479
00001473: SWAP2
00001474: SWAP1
00001475: PUSH2 0x1a04
00001478: JUMP
00001479: JUMPDEST
0000147a: PUSH1 0x00
0000147c: PUSH1 0x40
0000147e: MLOAD
0000147f: DUP1
00001480: DUP4
00001481: SUB
00001482: DUP2
00001483: DUP6
00001484: DUP8
00001485: GAS
00001486: CALL
00001487: SWAP3
00001488: POP
00001489: POP
0000148a: POP
0000148b: RETURNDATASIZE
0000148c: DUP1
0000148d: PUSH1 0x00
0000148f: DUP2
00001490: EQ
00001491: PUSH2 0x14b6
00001494: JUMPI
00001495: PUSH1 0x40
00001497: MLOAD
00001498: SWAP2
00001499: POP
0000149a: PUSH1 0x1f
0000149c: NOT
0000149d: PUSH1 0x3f
0000149f: RETURNDATASIZE
000014a0: ADD
000014a1: AND
000014a2: DUP3
000014a3: ADD
000014a4: PUSH1 0x40
000014a6: MSTORE
000014a7: RETURNDATASIZE
000014a8: DUP3
000014a9: MSTORE
000014aa: RETURNDATASIZE
000014ab: PUSH1 0x00
000014ad: PUSH1 0x20
000014af: DUP5
000014b0: ADD
000014b1: RETURNDATACOPY
000014b2: PUSH2 0x14bb
000014b5: JUMP
000014b6: JUMPDEST
000014b7: PUSH1 0x60
000014b9: SWAP2
000014ba: POP
000014bb: JUMPDEST
000014bc: POP
000014bd: SWAP2
000014be: POP
000014bf: SWAP2
000014c0: POP
000014c1: DUP2
000014c2: ISZERO
000014c3: PUSH2 0x14cf
000014c6: JUMPI
000014c7: SWAP2
000014c8: POP
000014c9: PUSH2 0x1265
000014cc: SWAP1
000014cd: POP
000014ce: JUMP
000014cf: JUMPDEST
000014d0: DUP1
000014d1: MLOAD
000014d2: ISZERO
000014d3: PUSH2 0x14df
000014d6: JUMPI
000014d7: DUP1
000014d8: MLOAD
000014d9: DUP1
000014da: DUP3
000014db: PUSH1 0x20
000014dd: ADD
000014de: REVERT
000014df: JUMPDEST
000014e0: DUP4
000014e1: PUSH1 0x40
000014e3: MLOAD
000014e4: PUSH3 0x461bcd
000014e8: PUSH1 0xe5
000014ea: SHL
000014eb: DUP2
000014ec: MSTORE
000014ed: PUSH1 0x04
000014ef: ADD
000014f0: PUSH2 0x026e
000014f3: SWAP2
000014f4: SWAP1
000014f5: PUSH2 0x1d0d
000014f8: JUMP
000014f9: JUMPDEST
000014fa: PUSH1 0x00
000014fc: DUP2
000014fd: PUSH1 0x20
000014ff: ADD
00001500: DUP4
00001501: MLOAD
00001502: LT
00001503: ISZERO
00001504: PUSH2 0x151f
00001507: JUMPI
00001508: PUSH1 0x40
0000150a: MLOAD
0000150b: PUSH3 0x461bcd
0000150f: PUSH1 0xe5
00001511: SHL
00001512: DUP2
00001513: MSTORE
00001514: PUSH1 0x04
00001516: ADD
00001517: PUSH2 0x026e
0000151a: SWAP1
0000151b: PUSH2 0x2136
0000151e: JUMP
0000151f: JUMPDEST
00001520: POP
00001521: ADD
00001522: PUSH1 0x20
00001524: ADD
00001525: MLOAD
00001526: SWAP1
00001527: JUMP
00001528: JUMPDEST
00001529: PUSH1 0x40
0000152b: MLOAD
0000152c: DUP1
0000152d: PUSH2 0x0180
00001530: ADD
00001531: PUSH1 0x40
00001533: MSTORE
00001534: DUP1
00001535: PUSH1 0x00
00001537: PUSH1 0x01
00001539: PUSH1 0x01
0000153b: PUSH1 0xa0
0000153d: SHL
0000153e: SUB
0000153f: AND
00001540: DUP2
00001541: MSTORE
00001542: PUSH1 0x20
00001544: ADD
00001545: PUSH1 0x00
00001547: PUSH1 0x01
00001549: PUSH1 0x01
0000154b: PUSH1 0xa0
0000154d: SHL
0000154e: SUB
0000154f: AND
00001550: DUP2
00001551: MSTORE
00001552: PUSH1 0x20
00001554: ADD
00001555: PUSH1 0x00
00001557: PUSH1 0x01
00001559: PUSH1 0x01
0000155b: PUSH1 0xa0
0000155d: SHL
0000155e: SUB
0000155f: AND
00001560: DUP2
00001561: MSTORE
00001562: PUSH1 0x20
00001564: ADD
00001565: PUSH1 0x00
00001567: PUSH1 0x01
00001569: PUSH1 0x01
0000156b: PUSH1 0xa0
0000156d: SHL
0000156e: SUB
0000156f: AND
00001570: DUP2
00001571: MSTORE
00001572: PUSH1 0x20
00001574: ADD
00001575: PUSH1 0x00
00001577: DUP2
00001578: MSTORE
00001579: PUSH1 0x20
0000157b: ADD
0000157c: PUSH1 0x00
0000157e: DUP2
0000157f: MSTORE
00001580: PUSH1 0x20
00001582: ADD
00001583: PUSH1 0x00
00001585: DUP2
00001586: MSTORE
00001587: PUSH1 0x20
00001589: ADD
0000158a: PUSH1 0x00
0000158c: DUP2
0000158d: MSTORE
0000158e: PUSH1 0x20
00001590: ADD
00001591: PUSH1 0x00
00001593: DUP2
00001594: MSTORE
00001595: PUSH1 0x20
00001597: ADD
00001598: PUSH1 0x00
0000159a: DUP2
0000159b: MSTORE
0000159c: PUSH1 0x20
0000159e: ADD
0000159f: PUSH1 0x60
000015a1: DUP2
000015a2: MSTORE
000015a3: PUSH1 0x20
000015a5: ADD
000015a6: PUSH1 0x60
000015a8: DUP2
000015a9: MSTORE
000015aa: POP
000015ab: SWAP1
000015ac: JUMP
000015ad: JUMPDEST
000015ae: PUSH1 0x40
000015b0: DUP1
000015b1: MLOAD
000015b2: PUSH1 0xe0
000015b4: DUP2
000015b5: ADD
000015b6: DUP3
000015b7: MSTORE
000015b8: PUSH1 0x00
000015ba: DUP1
000015bb: DUP3
000015bc: MSTORE
000015bd: PUSH1 0x20
000015bf: DUP3
000015c0: ADD
000015c1: DUP2
000015c2: SWAP1
000015c3: MSTORE
000015c4: SWAP2
000015c5: DUP2
000015c6: ADD
000015c7: DUP3
000015c8: SWAP1
000015c9: MSTORE
000015ca: PUSH1 0x60
000015cc: DUP2
000015cd: ADD
000015ce: DUP3
000015cf: SWAP1
000015d0: MSTORE
000015d1: PUSH1 0x80
000015d3: DUP2
000015d4: ADD
000015d5: DUP3
000015d6: SWAP1
000015d7: MSTORE
000015d8: PUSH1 0xa0
000015da: DUP2
000015db: ADD
000015dc: DUP3
000015dd: SWAP1
000015de: MSTORE
000015df: PUSH1 0xc0
000015e1: DUP2
000015e2: ADD
000015e3: SWAP2
000015e4: SWAP1
000015e5: SWAP2
000015e6: MSTORE
000015e7: SWAP1
000015e8: JUMP
000015e9: JUMPDEST
000015ea: DUP1
000015eb: MLOAD
000015ec: PUSH2 0x103d
000015ef: DUP2
000015f0: PUSH2 0x243d
000015f3: JUMP
000015f4: JUMPDEST
000015f5: PUSH1 0x00
000015f7: DUP3
000015f8: PUSH1 0x1f
000015fa: DUP4
000015fb: ADD
000015fc: SLT
000015fd: PUSH2 0x1604
00001600: JUMPI
00001601: DUP1
00001602: DUP2
00001603: REVERT
00001604: JUMPDEST
00001605: DUP2
00001606: CALLDATALOAD
00001607: PUSH2 0x1617
0000160a: PUSH2 0x1612
0000160d: DUP3
0000160e: PUSH2 0x23ed
00001611: JUMP
00001612: JUMPDEST
00001613: PUSH2 0x23c6
00001616: JUMP
00001617: JUMPDEST
00001618: SWAP2
00001619: POP
0000161a: DUP1
0000161b: DUP3
0000161c: MSTORE
0000161d: DUP4
0000161e: PUSH1 0x20
00001620: DUP3
00001621: DUP6
00001622: ADD
00001623: ADD
00001624: GT
00001625: ISZERO
00001626: PUSH2 0x162e
00001629: JUMPI
0000162a: PUSH1 0x00
0000162c: DUP1
0000162d: REVERT
0000162e: JUMPDEST
0000162f: DUP1
00001630: PUSH1 0x20
00001632: DUP5
00001633: ADD
00001634: PUSH1 0x20
00001636: DUP5
00001637: ADD
00001638: CALLDATACOPY
00001639: PUSH1 0x00
0000163b: SWAP1
0000163c: DUP3
0000163d: ADD
0000163e: PUSH1 0x20
00001640: ADD
00001641: MSTORE
00001642: SWAP3
00001643: SWAP2
00001644: POP
00001645: POP
00001646: JUMP
00001647: JUMPDEST
00001648: PUSH1 0x00
0000164a: DUP3
0000164b: PUSH1 0x1f
0000164d: DUP4
0000164e: ADD
0000164f: SLT
00001650: PUSH2 0x1657
00001653: JUMPI
00001654: DUP1
00001655: DUP2
00001656: REVERT
00001657: JUMPDEST
00001658: DUP2
00001659: MLOAD
0000165a: PUSH2 0x1665
0000165d: PUSH2 0x1612
00001660: DUP3
00001661: PUSH2 0x23ed
00001664: JUMP
00001665: JUMPDEST
00001666: SWAP2
00001667: POP
00001668: DUP1
00001669: DUP3
0000166a: MSTORE
0000166b: DUP4
0000166c: PUSH1 0x20
0000166e: DUP3
0000166f: DUP6
00001670: ADD
00001671: ADD
00001672: GT
00001673: ISZERO
00001674: PUSH2 0x167c
00001677: JUMPI
00001678: PUSH1 0x00
0000167a: DUP1
0000167b: REVERT
0000167c: JUMPDEST
0000167d: PUSH2 0x168d
00001680: DUP2
00001681: PUSH1 0x20
00001683: DUP5
00001684: ADD
00001685: PUSH1 0x20
00001687: DUP7
00001688: ADD
00001689: PUSH2 0x2411
0000168c: JUMP
0000168d: JUMPDEST
0000168e: POP
0000168f: SWAP3
00001690: SWAP2
00001691: POP
00001692: POP
00001693: JUMP
00001694: JUMPDEST
00001695: PUSH1 0x00
00001697: PUSH1 0x20
00001699: DUP3
0000169a: DUP5
0000169b: SUB
0000169c: SLT
0000169d: ISZERO
0000169e: PUSH2 0x16a5
000016a1: JUMPI
000016a2: DUP1
000016a3: DUP2
000016a4: REVERT
000016a5: JUMPDEST
000016a6: DUP2
000016a7: CALLDATALOAD
000016a8: PUSH2 0x1172
000016ab: DUP2
000016ac: PUSH2 0x243d
000016af: JUMP
000016b0: JUMPDEST
000016b1: PUSH1 0x00
000016b3: PUSH1 0x20
000016b5: DUP3
000016b6: DUP5
000016b7: SUB
000016b8: SLT
000016b9: ISZERO
000016ba: PUSH2 0x16c1
000016bd: JUMPI
000016be: DUP1
000016bf: DUP2
000016c0: REVERT
000016c1: JUMPDEST
000016c2: DUP2
000016c3: MLOAD
000016c4: PUSH2 0x1172
000016c7: DUP2
000016c8: PUSH2 0x243d
000016cb: JUMP
000016cc: JUMPDEST
000016cd: PUSH1 0x00
000016cf: DUP1
000016d0: PUSH1 0x00
000016d2: PUSH1 0x40
000016d4: DUP5
000016d5: DUP7
000016d6: SUB
000016d7: SLT
000016d8: ISZERO
000016d9: PUSH2 0x16e0
000016dc: JUMPI
000016dd: DUP2
000016de: DUP3
000016df: REVERT
000016e0: JUMPDEST
000016e1: DUP4
000016e2: CALLDATALOAD
000016e3: PUSH8 0xffffffffffffffff
000016ec: DUP1
000016ed: DUP3
000016ee: GT
000016ef: ISZERO
000016f0: PUSH2 0x16f7
000016f3: JUMPI
000016f4: DUP4
000016f5: DUP5
000016f6: REVERT
000016f7: JUMPDEST
000016f8: DUP2
000016f9: DUP7
000016fa: ADD
000016fb: SWAP2
000016fc: POP
000016fd: DUP7
000016fe: PUSH1 0x1f
00001700: DUP4
00001701: ADD
00001702: SLT
00001703: PUSH2 0x170a
00001706: JUMPI
00001707: DUP4
00001708: DUP5
00001709: REVERT
0000170a: JUMPDEST
0000170b: DUP2
0000170c: CALLDATALOAD
0000170d: DUP2
0000170e: DUP2
0000170f: GT
00001710: ISZERO
00001711: PUSH2 0x1718
00001714: JUMPI
00001715: DUP5
00001716: DUP6
00001717: REVERT
00001718: JUMPDEST
00001719: DUP8
0000171a: PUSH1 0x20
0000171c: DUP1
0000171d: DUP4
0000171e: MUL
0000171f: DUP6
00001720: ADD
00001721: ADD
00001722: GT
00001723: ISZERO
00001724: PUSH2 0x172b
00001727: JUMPI
00001728: DUP5
00001729: DUP6
0000172a: REVERT
0000172b: JUMPDEST
0000172c: PUSH1 0x20
0000172e: SWAP3
0000172f: DUP4
00001730: ADD
00001731: SWAP6
00001732: POP
00001733: SWAP4
00001734: POP
00001735: POP
00001736: DUP5
00001737: ADD
00001738: CALLDATALOAD
00001739: PUSH2 0x1741
0000173c: DUP2
0000173d: PUSH2 0x243d
00001740: JUMP
00001741: JUMPDEST
00001742: DUP1
00001743: SWAP2
00001744: POP
00001745: POP
00001746: SWAP3
00001747: POP
00001748: SWAP3
00001749: POP
0000174a: SWAP3
0000174b: JUMP
0000174c: JUMPDEST
0000174d: PUSH1 0x00
0000174f: PUSH1 0x20
00001751: DUP3
00001752: DUP5
00001753: SUB
00001754: SLT
00001755: ISZERO
00001756: PUSH2 0x175d
00001759: JUMPI
0000175a: DUP1
0000175b: DUP2
0000175c: REVERT
0000175d: JUMPDEST
0000175e: DUP2
0000175f: MLOAD
00001760: DUP1
00001761: ISZERO
00001762: ISZERO
00001763: DUP2
00001764: EQ
00001765: PUSH2 0x1172
00001768: JUMPI
00001769: DUP2
0000176a: DUP3
0000176b: REVERT
0000176c: JUMPDEST
0000176d: PUSH1 0x00
0000176f: PUSH1 0x20
00001771: DUP3
00001772: DUP5
00001773: SUB
00001774: SLT
00001775: ISZERO
00001776: PUSH2 0x177d
00001779: JUMPI
0000177a: DUP1
0000177b: DUP2
0000177c: REVERT
0000177d: JUMPDEST
0000177e: DUP2
0000177f: MLOAD
00001780: PUSH1 0x01
00001782: PUSH1 0x01
00001784: PUSH1 0xe0
00001786: SHL
00001787: SUB
00001788: NOT
00001789: DUP2
0000178a: AND
0000178b: DUP2
0000178c: EQ
0000178d: PUSH2 0x1172
00001790: JUMPI
00001791: DUP2
00001792: DUP3
00001793: REVERT
00001794: JUMPDEST
00001795: PUSH1 0x00
00001797: DUP1
00001798: PUSH1 0x00
0000179a: PUSH1 0x60
0000179c: DUP5
0000179d: DUP7
0000179e: SUB
0000179f: SLT
000017a0: ISZERO
000017a1: PUSH2 0x17a8
000017a4: JUMPI
000017a5: DUP3
000017a6: DUP4
000017a7: REVERT
000017a8: JUMPDEST
000017a9: DUP4
000017aa: MLOAD
000017ab: PUSH8 0xffffffffffffffff
000017b4: DUP1
000017b5: DUP3
000017b6: GT
000017b7: ISZERO
000017b8: PUSH2 0x17bf
000017bb: JUMPI
000017bc: DUP5
000017bd: DUP6
000017be: REVERT
000017bf: JUMPDEST
000017c0: DUP2
000017c1: DUP7
000017c2: ADD
000017c3: SWAP2
000017c4: POP
000017c5: PUSH2 0x0180
000017c8: DUP1
000017c9: DUP4
000017ca: DUP10
000017cb: SUB
000017cc: SLT
000017cd: ISZERO
000017ce: PUSH2 0x17d5
000017d1: JUMPI
000017d2: DUP6
000017d3: DUP7
000017d4: REVERT
000017d5: JUMPDEST
000017d6: PUSH2 0x17de
000017d9: DUP2
000017da: PUSH2 0x23c6
000017dd: JUMP
000017de: JUMPDEST
000017df: SWAP1
000017e0: POP
000017e1: PUSH2 0x17ea
000017e4: DUP9
000017e5: DUP5
000017e6: PUSH2 0x15e9
000017e9: JUMP
000017ea: JUMPDEST
000017eb: DUP2
000017ec: MSTORE
000017ed: PUSH2 0x17f9
000017f0: DUP9
000017f1: PUSH1 0x20
000017f3: DUP6
000017f4: ADD
000017f5: PUSH2 0x15e9
000017f8: JUMP
000017f9: JUMPDEST
000017fa: PUSH1 0x20
000017fc: DUP3
000017fd: ADD
000017fe: MSTORE
000017ff: PUSH2 0x180b
00001802: DUP9
00001803: PUSH1 0x40
00001805: DUP6
00001806: ADD
00001807: PUSH2 0x15e9
0000180a: JUMP
0000180b: JUMPDEST
0000180c: PUSH1 0x40
0000180e: DUP3
0000180f: ADD
00001810: MSTORE
00001811: PUSH2 0x181d
00001814: DUP9
00001815: PUSH1 0x60
00001817: DUP6
00001818: ADD
00001819: PUSH2 0x15e9
0000181c: JUMP
0000181d: JUMPDEST
0000181e: PUSH1 0x60
00001820: DUP3
00001821: ADD
00001822: MSTORE
00001823: PUSH1 0x80
00001825: DUP4
00001826: ADD
00001827: MLOAD
00001828: PUSH1 0x80
0000182a: DUP3
0000182b: ADD
0000182c: MSTORE
0000182d: PUSH1 0xa0
0000182f: DUP4
00001830: ADD
00001831: MLOAD
00001832: PUSH1 0xa0
00001834: DUP3
00001835: ADD
00001836: MSTORE
00001837: PUSH1 0xc0
00001839: DUP4
0000183a: ADD
0000183b: MLOAD
0000183c: PUSH1 0xc0
0000183e: DUP3
0000183f: ADD
00001840: MSTORE
00001841: PUSH1 0xe0
00001843: DUP4
00001844: ADD
00001845: MLOAD
00001846: PUSH1 0xe0
00001848: DUP3
00001849: ADD
0000184a: MSTORE
0000184b: PUSH2 0x0100
0000184e: DUP1
0000184f: DUP5
00001850: ADD
00001851: MLOAD
00001852: DUP2
00001853: DUP4
00001854: ADD
00001855: MSTORE
00001856: POP
00001857: PUSH2 0x0120
0000185a: DUP1
0000185b: DUP5
0000185c: ADD
0000185d: MLOAD
0000185e: DUP2
0000185f: DUP4
00001860: ADD
00001861: MSTORE
00001862: POP
00001863: PUSH2 0x0140
00001866: DUP1
00001867: DUP5
00001868: ADD
00001869: MLOAD
0000186a: DUP4
0000186b: DUP2
0000186c: GT
0000186d: ISZERO
0000186e: PUSH2 0x1875
00001871: JUMPI
00001872: DUP8
00001873: DUP9
00001874: REVERT
00001875: JUMPDEST
00001876: PUSH2 0x1881
00001879: DUP11
0000187a: DUP3
0000187b: DUP8
0000187c: ADD
0000187d: PUSH2 0x1647
00001880: JUMP
00001881: JUMPDEST
00001882: DUP3
00001883: DUP5
00001884: ADD
00001885: MSTORE
00001886: POP
00001887: POP
00001888: PUSH2 0x0160
0000188b: DUP1
0000188c: DUP5
0000188d: ADD
0000188e: MLOAD
0000188f: DUP4
00001890: DUP2
00001891: GT
00001892: ISZERO
00001893: PUSH2 0x189a
00001896: JUMPI
00001897: DUP8
00001898: DUP9
00001899: REVERT
0000189a: JUMPDEST
0000189b: PUSH2 0x18a6
0000189e: DUP11
0000189f: DUP3
000018a0: DUP8
000018a1: ADD
000018a2: PUSH2 0x1647
000018a5: JUMP
000018a6: JUMPDEST
000018a7: DUP3
000018a8: DUP5
000018a9: ADD
000018aa: MSTORE
000018ab: POP
000018ac: POP
000018ad: DUP1
000018ae: SWAP6
000018af: POP
000018b0: POP
000018b1: PUSH1 0x20
000018b3: DUP7
000018b4: ADD
000018b5: MLOAD
000018b6: SWAP4
000018b7: POP
000018b8: PUSH1 0x40
000018ba: DUP7
000018bb: ADD
000018bc: MLOAD
000018bd: SWAP2
000018be: POP
000018bf: DUP1
000018c0: DUP3
000018c1: GT
000018c2: ISZERO
000018c3: PUSH2 0x18ca
000018c6: JUMPI
000018c7: DUP3
000018c8: DUP4
000018c9: REVERT
000018ca: JUMPDEST
000018cb: POP
000018cc: PUSH2 0x18d7
000018cf: DUP7
000018d0: DUP3
000018d1: DUP8
000018d2: ADD
000018d3: PUSH2 0x1647
000018d6: JUMP
000018d7: JUMPDEST
000018d8: SWAP2
000018d9: POP
000018da: POP
000018db: SWAP3
000018dc: POP
000018dd: SWAP3
000018de: POP
000018df: SWAP3
000018e0: JUMP
000018e1: JUMPDEST
000018e2: PUSH1 0x00
000018e4: PUSH1 0x20
000018e6: DUP3
000018e7: DUP5
000018e8: SUB
000018e9: SLT
000018ea: ISZERO
000018eb: PUSH2 0x18f2
000018ee: JUMPI
000018ef: DUP1
000018f0: DUP2
000018f1: REVERT
000018f2: JUMPDEST
000018f3: POP
000018f4: MLOAD
000018f5: SWAP2
000018f6: SWAP1
000018f7: POP
000018f8: JUMP
000018f9: JUMPDEST
000018fa: PUSH1 0x00
000018fc: DUP1
000018fd: PUSH1 0x00
000018ff: PUSH1 0x60
00001901: DUP5
00001902: DUP7
00001903: SUB
00001904: SLT
00001905: ISZERO
00001906: PUSH2 0x190d
00001909: JUMPI
0000190a: DUP3
0000190b: DUP4
0000190c: REVERT
0000190d: JUMPDEST
0000190e: DUP4
0000190f: CALLDATALOAD
00001910: SWAP3
00001911: POP
00001912: PUSH1 0x20
00001914: DUP5
00001915: ADD
00001916: CALLDATALOAD
00001917: PUSH8 0xffffffffffffffff
00001920: DUP1
00001921: DUP3
00001922: GT
00001923: ISZERO
00001924: PUSH2 0x192b
00001927: JUMPI
00001928: DUP4
00001929: DUP5
0000192a: REVERT
0000192b: JUMPDEST
0000192c: PUSH2 0x1937
0000192f: DUP8
00001930: DUP4
00001931: DUP9
00001932: ADD
00001933: PUSH2 0x15f4
00001936: JUMP
00001937: JUMPDEST
00001938: SWAP4
00001939: POP
0000193a: PUSH1 0x40
0000193c: DUP7
0000193d: ADD
0000193e: CALLDATALOAD
0000193f: SWAP2
00001940: POP
00001941: DUP1
00001942: DUP3
00001943: GT
00001944: ISZERO
00001945: PUSH2 0x194c
00001948: JUMPI
00001949: DUP3
0000194a: DUP4
0000194b: REVERT
0000194c: JUMPDEST
0000194d: POP
0000194e: PUSH2 0x18d7
00001951: DUP7
00001952: DUP3
00001953: DUP8
00001954: ADD
00001955: PUSH2 0x15f4
00001958: JUMP
00001959: JUMPDEST
0000195a: PUSH1 0x00
0000195c: DUP2
0000195d: MLOAD
0000195e: DUP1
0000195f: DUP5
00001960: MSTORE
00001961: PUSH2 0x1971
00001964: DUP2
00001965: PUSH1 0x20
00001967: DUP7
00001968: ADD
00001969: PUSH1 0x20
0000196b: DUP7
0000196c: ADD
0000196d: PUSH2 0x2411
00001970: JUMP
00001971: JUMPDEST
00001972: PUSH1 0x1f
00001974: ADD
00001975: PUSH1 0x1f
00001977: NOT
00001978: AND
00001979: SWAP3
0000197a: SWAP1
0000197b: SWAP3
0000197c: ADD
0000197d: PUSH1 0x20
0000197f: ADD
00001980: SWAP3
00001981: SWAP2
00001982: POP
00001983: POP
00001984: JUMP
00001985: JUMPDEST
00001986: PUSH32 0x6279746573206d616b65724173736574446174612c0000000000000000000000
000019a7: DUP2
000019a8: MSTORE
000019a9: PUSH1 0x15
000019ab: ADD
000019ac: SWAP1
000019ad: JUMP
000019ae: JUMPDEST
000019af: PUSH32 0x62797465732074616b6572417373657444617461000000000000000000000000
000019d0: DUP2
000019d1: MSTORE
000019d2: PUSH1 0x14
000019d4: ADD
000019d5: SWAP1
000019d6: JUMP
000019d7: JUMPDEST
000019d8: PUSH1 0x29
000019da: PUSH1 0xf8
000019dc: SHL
000019dd: DUP2
000019de: MSTORE
000019df: PUSH1 0x01
000019e1: ADD
000019e2: SWAP1
000019e3: JUMP
000019e4: JUMPDEST
000019e5: SWAP2
000019e6: DUP3
000019e7: MSTORE
000019e8: PUSH1 0x60
000019ea: SHL
000019eb: PUSH12 0xffffffffffffffffffffffff
000019f8: NOT
000019f9: AND
000019fa: PUSH1 0x20
000019fc: DUP3
000019fd: ADD
000019fe: MSTORE
000019ff: PUSH1 0x34
00001a01: ADD
00001a02: SWAP1
00001a03: JUMP
00001a04: JUMPDEST
00001a05: PUSH1 0x00
00001a07: DUP3
00001a08: MLOAD
00001a09: PUSH2 0x1a16
00001a0c: DUP2
00001a0d: DUP5
00001a0e: PUSH1 0x20
00001a10: DUP8
00001a11: ADD
00001a12: PUSH2 0x2411
00001a15: JUMP
00001a16: JUMPDEST
00001a17: SWAP2
00001a18: SWAP1
00001a19: SWAP2
00001a1a: ADD
00001a1b: SWAP3
00001a1c: SWAP2
00001a1d: POP
00001a1e: POP
00001a1f: JUMP
00001a20: JUMPDEST
00001a21: PUSH32 0x5a65726f45785472616e73616374696f6e280000000000000000000000000000
00001a42: DUP2
00001a43: MSTORE
00001a44: PUSH13 0x1d5a5b9d0c8d4d881cd85b1d0b
00001a52: PUSH1 0x9a
00001a54: SHL
00001a55: PUSH1 0x12
00001a57: DUP3
00001a58: ADD
00001a59: MSTORE
00001a5a: PUSH32 0x61646472657373207369676e6572416464726573732c00000000000000000000
00001a7b: PUSH1 0x1f
00001a7d: DUP3
00001a7e: ADD
00001a7f: MSTORE
00001a80: PUSH32 0x6279746573206461746100000000000000000000000000000000000000000000
00001aa1: PUSH1 0x35
00001aa3: DUP3
00001aa4: ADD
00001aa5: MSTORE
00001aa6: PUSH1 0x29
00001aa8: PUSH1 0xf8
00001aaa: SHL
00001aab: PUSH1 0x3f
00001aad: DUP3
00001aae: ADD
00001aaf: MSTORE
00001ab0: PUSH1 0x40
00001ab2: ADD
00001ab3: SWAP1
00001ab4: JUMP
00001ab5: JUMPDEST
00001ab6: PUSH1 0x00
00001ab8: PUSH32 0x4f72646572280000000000000000000000000000000000000000000000000000
00001ad9: DUP3
00001ada: MSTORE
00001adb: PUSH32 0x61646472657373206d616b6572416464726573732c0000000000000000000000
00001afc: PUSH1 0x06
00001afe: DUP4
00001aff: ADD
00001b00: MSTORE
00001b01: PUSH32 0x616464726573732074616b6572416464726573732c0000000000000000000000
00001b22: PUSH1 0x1b
00001b24: DUP4
00001b25: ADD
00001b26: MSTORE
00001b27: PUSH32 0x6164647265737320666565526563697069656e74416464726573732c00000000
00001b48: PUSH1 0x30
00001b4a: DUP4
00001b4b: ADD
00001b4c: MSTORE
00001b4d: PUSH32 0x616464726573732073656e646572416464726573732c00000000000000000000
00001b6e: PUSH1 0x4c
00001b70: DUP4
00001b71: ADD
00001b72: MSTORE
00001b73: PUSH32 0x75696e74323536206d616b65724173736574416d6f756e742c00000000000000
00001b94: PUSH1 0x62
00001b96: DUP4
00001b97: ADD
00001b98: MSTORE
00001b99: PUSH32 0x75696e743235362074616b65724173736574416d6f756e742c00000000000000
00001bba: PUSH1 0x7b
00001bbc: DUP4
00001bbd: ADD
00001bbe: MSTORE
00001bbf: PUSH32 0x75696e74323536206d616b65724665652c000000000000000000000000000000
00001be0: PUSH1 0x94
00001be2: DUP4
00001be3: ADD
00001be4: MSTORE
00001be5: PUSH32 0x75696e743235362074616b65724665652c000000000000000000000000000000
00001c06: PUSH1 0xa5
00001c08: DUP4
00001c09: ADD
00001c0a: MSTORE
00001c0b: PUSH32 0x75696e743235362065787069726174696f6e54696d655365636f6e64732c0000
00001c2c: PUSH1 0xb6
00001c2e: DUP4
00001c2f: ADD
00001c30: MSTORE
00001c31: PUSH13 0x1d5a5b9d0c8d4d881cd85b1d0b
00001c3f: PUSH1 0x9a
00001c41: SHL
00001c42: PUSH1 0xd4
00001c44: DUP4
00001c45: ADD
00001c46: MSTORE
00001c47: PUSH2 0x103d
00001c4a: PUSH2 0x1c5d
00001c4d: PUSH2 0x1c58
00001c50: PUSH1 0xe1
00001c52: DUP6
00001c53: ADD
00001c54: PUSH2 0x1985
00001c57: JUMP
00001c58: JUMPDEST
00001c59: PUSH2 0x19ae
00001c5c: JUMP
00001c5d: JUMPDEST
00001c5e: PUSH2 0x19d7
00001c61: JUMP
00001c62: JUMPDEST
00001c63: PUSH1 0x01
00001c65: PUSH1 0x01
00001c67: PUSH1 0xa0
00001c69: SHL
00001c6a: SUB
00001c6b: SWAP2
00001c6c: SWAP1
00001c6d: SWAP2
00001c6e: AND
00001c6f: DUP2
00001c70: MSTORE
00001c71: PUSH1 0x20
00001c73: ADD
00001c74: SWAP1
00001c75: JUMP
00001c76: JUMPDEST
00001c77: PUSH1 0x01
00001c79: PUSH1 0x01
00001c7b: PUSH1 0xa0
00001c7d: SHL
00001c7e: SUB
00001c7f: SWAP3
00001c80: DUP4
00001c81: AND
00001c82: DUP2
00001c83: MSTORE
00001c84: SWAP2
00001c85: AND
00001c86: PUSH1 0x20
00001c88: DUP3
00001c89: ADD
00001c8a: MSTORE
00001c8b: PUSH1 0x40
00001c8d: ADD
00001c8e: SWAP1
00001c8f: JUMP
00001c90: JUMPDEST
00001c91: PUSH1 0x01
00001c93: PUSH1 0x01
00001c95: PUSH1 0xa0
00001c97: SHL
00001c98: SUB
00001c99: SWAP4
00001c9a: DUP5
00001c9b: AND
00001c9c: DUP2
00001c9d: MSTORE
00001c9e: SWAP2
00001c9f: SWAP1
00001ca0: SWAP3
00001ca1: AND
00001ca2: PUSH1 0x20
00001ca4: DUP3
00001ca5: ADD
00001ca6: MSTORE
00001ca7: PUSH1 0x40
00001ca9: DUP2
00001caa: ADD
00001cab: SWAP2
00001cac: SWAP1
00001cad: SWAP2
00001cae: MSTORE
00001caf: PUSH1 0x60
00001cb1: ADD
00001cb2: SWAP1
00001cb3: JUMP
00001cb4: JUMPDEST
00001cb5: PUSH1 0x01
00001cb7: PUSH1 0x01
00001cb9: PUSH1 0xa0
00001cbb: SHL
00001cbc: SUB
00001cbd: SWAP3
00001cbe: SWAP1
00001cbf: SWAP3
00001cc0: AND
00001cc1: DUP3
00001cc2: MSTORE
00001cc3: PUSH1 0x20
00001cc5: DUP3
00001cc6: ADD
00001cc7: MSTORE
00001cc8: PUSH1 0x40
00001cca: ADD
00001ccb: SWAP1
00001ccc: JUMP
00001ccd: JUMPDEST
00001cce: SWAP1
00001ccf: DUP2
00001cd0: MSTORE
00001cd1: PUSH1 0x20
00001cd3: ADD
00001cd4: SWAP1
00001cd5: JUMP
00001cd6: JUMPDEST
00001cd7: PUSH1 0x00
00001cd9: DUP4
00001cda: DUP3
00001cdb: MSTORE
00001cdc: PUSH1 0x40
00001cde: PUSH1 0x20
00001ce0: DUP4
00001ce1: ADD
00001ce2: MSTORE
00001ce3: PUSH2 0x1265
00001ce6: PUSH1 0x40
00001ce8: DUP4
00001ce9: ADD
00001cea: DUP5
00001ceb: PUSH2 0x1959
00001cee: JUMP
00001cef: JUMPDEST
00001cf0: SWAP4
00001cf1: DUP5
00001cf2: MSTORE
00001cf3: PUSH1 0xff
00001cf5: SWAP3
00001cf6: SWAP1
00001cf7: SWAP3
00001cf8: AND
00001cf9: PUSH1 0x20
00001cfb: DUP5
00001cfc: ADD
00001cfd: MSTORE
00001cfe: PUSH1 0x40
00001d00: DUP4
00001d01: ADD
00001d02: MSTORE
00001d03: PUSH1 0x60
00001d05: DUP3
00001d06: ADD
00001d07: MSTORE
00001d08: PUSH1 0x80
00001d0a: ADD
00001d0b: SWAP1
00001d0c: JUMP
00001d0d: JUMPDEST
00001d0e: PUSH1 0x00
00001d10: PUSH1 0x20
00001d12: DUP3
00001d13: MSTORE
00001d14: PUSH2 0x1172
00001d17: PUSH1 0x20
00001d19: DUP4
00001d1a: ADD
00001d1b: DUP5
00001d1c: PUSH2 0x1959
00001d1f: JUMP
00001d20: JUMPDEST
00001d21: PUSH1 0x00
00001d23: PUSH2 0x0120
00001d26: DUP1
00001d27: DUP4
00001d28: MSTORE
00001d29: PUSH2 0x1d34
00001d2c: DUP2
00001d2d: DUP5
00001d2e: ADD
00001d2f: DUP14
00001d30: PUSH2 0x1959
00001d33: JUMP
00001d34: JUMPDEST
00001d35: SWAP2
00001d36: POP
00001d37: POP
00001d38: PUSH1 0x01
00001d3a: PUSH1 0x01
00001d3c: PUSH1 0xa0
00001d3e: SHL
00001d3f: SUB
00001d40: DUP1
00001d41: DUP12
00001d42: AND
00001d43: PUSH1 0x20
00001d45: DUP5
00001d46: ADD
00001d47: MSTORE
00001d48: DUP10
00001d49: PUSH1 0x40
00001d4b: DUP5
00001d4c: ADD
00001d4d: MSTORE
00001d4e: DUP1
00001d4f: DUP10
00001d50: AND
00001d51: PUSH1 0x60
00001d53: DUP5
00001d54: ADD
00001d55: MSTORE
00001d56: DUP1
00001d57: DUP9
00001d58: AND
00001d59: PUSH1 0x80
00001d5b: DUP5
00001d5c: ADD
00001d5d: MSTORE
00001d5e: DUP7
00001d5f: PUSH1 0xa0
00001d61: DUP5
00001d62: ADD
00001d63: MSTORE
00001d64: DUP1
00001d65: DUP7
00001d66: AND
00001d67: PUSH1 0xc0
00001d69: DUP5
00001d6a: ADD
00001d6b: MSTORE
00001d6c: POP
00001d6d: DUP4
00001d6e: PUSH1 0xe0
00001d70: DUP4
00001d71: ADD
00001d72: MSTORE
00001d73: PUSH2 0xffff
00001d76: DUP4
00001d77: AND
00001d78: PUSH2 0x0100
00001d7b: DUP4
00001d7c: ADD
00001d7d: MSTORE
00001d7e: SWAP11
00001d7f: SWAP10
00001d80: POP
00001d81: POP
00001d82: POP
00001d83: POP
00001d84: POP
00001d85: POP
00001d86: POP
00001d87: POP
00001d88: POP
00001d89: POP
00001d8a: JUMP
00001d8b: JUMPDEST
00001d8c: PUSH1 0x20
00001d8e: DUP1
00001d8f: DUP3
00001d90: MSTORE
00001d91: PUSH1 0x2c
00001d93: SWAP1
00001d94: DUP3
00001d95: ADD
00001d96: MSTORE
00001d97: PUSH32 0x414d4d577261707065723a206f70657261746f722063616e206e6f7420626520
00001db8: PUSH1 0x40
00001dba: DUP3
00001dbb: ADD
00001dbc: MSTORE
00001dbd: PUSH32 0x7a65726f20616464726573730000000000000000000000000000000000000000
00001dde: PUSH1 0x60
00001de0: DUP3
00001de1: ADD
00001de2: MSTORE
00001de3: PUSH1 0x80
00001de5: ADD
00001de6: SWAP1
00001de7: JUMP
00001de8: JUMPDEST
00001de9: PUSH1 0x20
00001deb: DUP1
00001dec: DUP3
00001ded: MSTORE
00001dee: PUSH1 0x1b
00001df0: SWAP1
00001df1: DUP3
00001df2: ADD
00001df3: MSTORE
00001df4: PUSH32 0x4c69624465636f6465723a204c454e4754485f4c4553535f3830300000000000
00001e15: PUSH1 0x40
00001e17: DUP3
00001e18: ADD
00001e19: MSTORE
00001e1a: PUSH1 0x60
00001e1c: ADD
00001e1d: SWAP1
00001e1e: JUMP
00001e1f: JUMPDEST
00001e20: PUSH1 0x20
00001e22: DUP1
00001e23: DUP3
00001e24: MSTORE
00001e25: PUSH1 0x1b
00001e27: SWAP1
00001e28: DUP3
00001e29: ADD
00001e2a: MSTORE
00001e2b: PUSH32 0x536166654d6174683a206164646974696f6e206f766572666c6f770000000000
00001e4c: PUSH1 0x40
00001e4e: DUP3
00001e4f: ADD
00001e50: MSTORE
00001e51: PUSH1 0x60
00001e53: ADD
00001e54: SWAP1
00001e55: JUMP
00001e56: JUMPDEST
00001e57: PUSH1 0x20
00001e59: DUP1
00001e5a: DUP3
00001e5b: MSTORE
00001e5c: PUSH1 0x11
00001e5e: SWAP1
00001e5f: DUP3
00001e60: ADD
00001e61: MSTORE
00001e62: PUSH32 0x504d4d3a206e6f74206f70657261746f72000000000000000000000000000000
00001e83: PUSH1 0x40
00001e85: DUP3
00001e86: ADD
00001e87: MSTORE
00001e88: PUSH1 0x60
00001e8a: ADD
00001e8b: SWAP1
00001e8c: JUMP
00001e8d: JUMPDEST
00001e8e: PUSH1 0x20
00001e90: DUP1
00001e91: DUP3
00001e92: MSTORE
00001e93: PUSH1 0x14
00001e95: SWAP1
00001e96: DUP3
00001e97: ADD
00001e98: MSTORE
00001e99: PUSH32 0x504d4d3a20696e636f72726563742074616b6572000000000000000000000000
00001eba: PUSH1 0x40
00001ebc: DUP3
00001ebd: ADD
00001ebe: MSTORE
00001ebf: PUSH1 0x60
00001ec1: ADD
00001ec2: SWAP1
00001ec3: JUMP
00001ec4: JUMPDEST
00001ec5: PUSH1 0x20
00001ec7: DUP1
00001ec8: DUP3
00001ec9: MSTORE
00001eca: PUSH1 0x1f
00001ecc: SWAP1
00001ecd: DUP3
00001ece: ADD
00001ecf: MSTORE
00001ed0: PUSH32 0x504d4d3a206e6f7420746865205573657250726f787920636f6e747261637400
00001ef1: PUSH1 0x40
00001ef3: DUP3
00001ef4: ADD
00001ef5: MSTORE
00001ef6: PUSH1 0x60
00001ef8: ADD
00001ef9: SWAP1
00001efa: JUMP
00001efb: JUMPDEST
00001efc: PUSH1 0x20
00001efe: DUP1
00001eff: DUP3
00001f00: MSTORE
00001f01: PUSH1 0x1b
00001f03: SWAP1
00001f04: DUP3
00001f05: ADD
00001f06: MSTORE
00001f07: PUSH32 0x504d4d3a20696e76616c69642045524331323731207369676e65720000000000
00001f28: PUSH1 0x40
00001f2a: DUP3
00001f2b: ADD
00001f2c: MSTORE
00001f2d: PUSH1 0x60
00001f2f: ADD
00001f30: SWAP1
00001f31: JUMP
00001f32: JUMPDEST
00001f33: PUSH1 0x20
00001f35: DUP1
00001f36: DUP3
00001f37: MSTORE
00001f38: PUSH1 0x1a
00001f3a: SWAP1
00001f3b: DUP3
00001f3c: ADD
00001f3d: MSTORE
00001f3e: PUSH32 0x504d4d3a20696e636f72726563742066696c6c20616d6f756e74000000000000
00001f5f: PUSH1 0x40
00001f61: DUP3
00001f62: ADD
00001f63: MSTORE
00001f64: PUSH1 0x60
00001f66: ADD
00001f67: SWAP1
00001f68: JUMP
00001f69: JUMPDEST
00001f6a: PUSH1 0x20
00001f6c: DUP1
00001f6d: DUP3
00001f6e: MSTORE
00001f6f: PUSH1 0x15
00001f71: SWAP1
00001f72: DUP3
00001f73: ADD
00001f74: MSTORE
00001f75: PUSH32 0x504d4d3a20696e76616c69642072656365697665720000000000000000000000
00001f96: PUSH1 0x40
00001f98: DUP3
00001f99: ADD
00001f9a: MSTORE
00001f9b: PUSH1 0x60
00001f9d: ADD
00001f9e: SWAP1
00001f9f: JUMP
00001fa0: JUMPDEST
00001fa1: PUSH1 0x20
00001fa3: DUP1
00001fa4: DUP3
00001fa5: MSTORE
00001fa6: PUSH1 0x21
00001fa8: SWAP1
00001fa9: DUP3
00001faa: ADD
00001fab: MSTORE
00001fac: PUSH32 0x536166654d6174683a206d756c7469706c69636174696f6e206f766572666c6f
00001fcd: PUSH1 0x40
00001fcf: DUP3
00001fd0: ADD
00001fd1: MSTORE
00001fd2: PUSH32 0x7700000000000000000000000000000000000000000000000000000000000000
00001ff3: PUSH1 0x60
00001ff5: DUP3
00001ff6: ADD
00001ff7: MSTORE
00001ff8: PUSH1 0x80
00001ffa: ADD
00001ffb: SWAP1
00001ffc: JUMP
00001ffd: JUMPDEST
00001ffe: PUSH1 0x20
00002000: DUP1
00002001: DUP3
00002002: MSTORE
00002003: PUSH1 0x1d
00002005: SWAP1
00002006: DUP3
00002007: ADD
00002008: MSTORE
00002009: PUSH32 0x504d4d3a20696e76616c696420636f6e74726163742061646472657373000000
0000202a: PUSH1 0x40
0000202c: DUP3
0000202d: ADD
0000202e: MSTORE
0000202f: PUSH1 0x60
00002031: ADD
00002032: SWAP1
00002033: JUMP
00002034: JUMPDEST
00002035: PUSH1 0x20
00002037: DUP1
00002038: DUP3
00002039: MSTORE
0000203a: PUSH1 0x1e
0000203c: SWAP1
0000203d: DUP3
0000203e: ADD
0000203f: MSTORE
00002040: PUSH32 0x4c69624465636f6465723a204c454e4754485f33365f52455155495245440000
00002061: PUSH1 0x40
00002063: DUP3
00002064: ADD
00002065: MSTORE
00002066: PUSH1 0x60
00002068: ADD
00002069: SWAP1
0000206a: JUMP
0000206b: JUMPDEST
0000206c: PUSH1 0x20
0000206e: DUP1
0000206f: DUP3
00002070: MSTORE
00002071: PUSH1 0x1b
00002073: SWAP1
00002074: DUP3
00002075: ADD
00002076: MSTORE
00002077: PUSH32 0x4c69624465636f6465723a2057524f4e475f4d4554484f445f49440000000000
00002098: PUSH1 0x40
0000209a: DUP3
0000209b: ADD
0000209c: MSTORE
0000209d: PUSH1 0x60
0000209f: ADD
000020a0: SWAP1
000020a1: JUMP
000020a2: JUMPDEST
000020a3: PUSH1 0x20
000020a5: DUP1
000020a6: DUP3
000020a7: MSTORE
000020a8: PUSH1 0x3b
000020aa: SWAP1
000020ab: DUP3
000020ac: ADD
000020ad: MSTORE
000020ae: PUSH32 0x4c696242797465732372656164416464726573732067726561746572206f7220
000020cf: PUSH1 0x40
000020d1: DUP3
000020d2: ADD
000020d3: MSTORE
000020d4: PUSH32 0x657175616c20746f203230206c656e6774682072657175697265640000000000
000020f5: PUSH1 0x60
000020f7: DUP3
000020f8: ADD
000020f9: MSTORE
000020fa: PUSH1 0x80
000020fc: ADD
000020fd: SWAP1
000020fe: JUMP
000020ff: JUMPDEST
00002100: PUSH1 0x20
00002102: DUP1
00002103: DUP3
00002104: MSTORE
00002105: PUSH1 0x1e
00002107: SWAP1
00002108: DUP3
00002109: ADD
0000210a: MSTORE
0000210b: PUSH32 0x4c69624465636f6465723a204c454e4754485f38355f52455155495245440000
0000212c: PUSH1 0x40
0000212e: DUP3
0000212f: ADD
00002130: MSTORE
00002131: PUSH1 0x60
00002133: ADD
00002134: SWAP1
00002135: JUMP
00002136: JUMPDEST
00002137: PUSH1 0x20
00002139: DUP1
0000213a: DUP3
0000213b: MSTORE
0000213c: PUSH1 0x3b
0000213e: SWAP1
0000213f: DUP3
00002140: ADD
00002141: MSTORE
00002142: PUSH32 0x4c696242797465732372656164427974657333322067726561746572206f7220
00002163: PUSH1 0x40
00002165: DUP3
00002166: ADD
00002167: MSTORE
00002168: PUSH32 0x657175616c20746f203332206c656e6774682072657175697265640000000000
00002189: PUSH1 0x60
0000218b: DUP3
0000218c: ADD
0000218d: MSTORE
0000218e: PUSH1 0x80
00002190: ADD
00002191: SWAP1
00002192: JUMP
00002193: JUMPDEST
00002194: PUSH1 0x20
00002196: DUP1
00002197: DUP3
00002198: MSTORE
00002199: PUSH1 0x1d
0000219b: SWAP1
0000219c: DUP3
0000219d: ADD
0000219e: MSTORE
0000219f: PUSH32 0x416464726573733a2063616c6c20746f206e6f6e2d636f6e7472616374000000
000021c0: PUSH1 0x40
000021c2: DUP3
000021c3: ADD
000021c4: MSTORE
000021c5: PUSH1 0x60
000021c7: ADD
000021c8: SWAP1
000021c9: JUMP
000021ca: JUMPDEST
000021cb: PUSH1 0x20
000021cd: DUP1
000021ce: DUP3
000021cf: MSTORE
000021d0: PUSH1 0x17
000021d2: SWAP1
000021d3: DUP3
000021d4: ADD
000021d5: MSTORE
000021d6: PUSH32 0x504d4d3a20696e76616c69642066656520666163746f72000000000000000000
000021f7: PUSH1 0x40
000021f9: DUP3
000021fa: ADD
000021fb: MSTORE
000021fc: PUSH1 0x60
000021fe: ADD
000021ff: SWAP1
00002200: JUMP
00002201: JUMPDEST
00002202: PUSH1 0x20
00002204: DUP1
00002205: DUP3
00002206: MSTORE
00002207: PUSH1 0x15
00002209: SWAP1
0000220a: DUP3
0000220b: ADD
0000220c: MSTORE
0000220d: PUSH32 0x504d4d3a20696e73756666696369656e74204554480000000000000000000000
0000222e: PUSH1 0x40
00002230: DUP3
00002231: ADD
00002232: MSTORE
00002233: PUSH1 0x60
00002235: ADD
00002236: SWAP1
00002237: JUMP
00002238: JUMPDEST
00002239: PUSH1 0x20
0000223b: DUP1
0000223c: DUP3
0000223d: MSTORE
0000223e: PUSH1 0x39
00002240: SWAP1
00002241: DUP3
00002242: ADD
00002243: MSTORE
00002244: PUSH32 0x4c6962427974657323726561644279746573342067726561746572206f722065
00002265: PUSH1 0x40
00002267: DUP3
00002268: ADD
00002269: MSTORE
0000226a: PUSH32 0x7175616c20746f2034206c656e67746820726571756972656400000000000000
0000228b: PUSH1 0x60
0000228d: DUP3
0000228e: ADD
0000228f: MSTORE
00002290: PUSH1 0x80
00002292: ADD
00002293: SWAP1
00002294: JUMP
00002295: JUMPDEST
00002296: PUSH1 0x20
00002298: DUP1
00002299: DUP3
0000229a: MSTORE
0000229b: PUSH1 0x2a
0000229d: SWAP1
0000229e: DUP3
0000229f: ADD
000022a0: MSTORE
000022a1: PUSH32 0x5361666545524332303a204552433230206f7065726174696f6e20646964206e
000022c2: PUSH1 0x40
000022c4: DUP3
000022c5: ADD
000022c6: MSTORE
000022c7: PUSH32 0x6f74207375636365656400000000000000000000000000000000000000000000
000022e8: PUSH1 0x60
000022ea: DUP3
000022eb: ADD
000022ec: MSTORE
000022ed: PUSH1 0x80
000022ef: ADD
000022f0: SWAP1
000022f1: JUMP
000022f2: JUMPDEST
000022f3: PUSH1 0x20
000022f5: DUP1
000022f6: DUP3
000022f7: MSTORE
000022f8: PUSH1 0x1f
000022fa: SWAP1
000022fb: DUP3
000022fc: ADD
000022fd: MSTORE
000022fe: PUSH32 0x5265656e7472616e637947756172643a207265656e7472616e742063616c6c00
0000231f: PUSH1 0x40
00002321: DUP3
00002322: ADD
00002323: MSTORE
00002324: PUSH1 0x60
00002326: ADD
00002327: SWAP1
00002328: JUMP
00002329: JUMPDEST
0000232a: PUSH1 0x20
0000232c: DUP1
0000232d: DUP3
0000232e: MSTORE
0000232f: PUSH1 0x36
00002331: SWAP1
00002332: DUP3
00002333: ADD
00002334: MSTORE
00002335: PUSH32 0x5361666545524332303a20617070726f76652066726f6d206e6f6e2d7a65726f
00002356: PUSH1 0x40
00002358: DUP3
00002359: ADD
0000235a: MSTORE
0000235b: PUSH32 0x20746f206e6f6e2d7a65726f20616c6c6f77616e636500000000000000000000
0000237c: PUSH1 0x60
0000237e: DUP3
0000237f: ADD
00002380: MSTORE
00002381: PUSH1 0x80
00002383: ADD
00002384: SWAP1
00002385: JUMP
00002386: JUMPDEST
00002387: PUSH1 0x00
00002389: DUP5
0000238a: DUP3
0000238b: MSTORE
0000238c: PUSH1 0x01
0000238e: PUSH1 0x01
00002390: PUSH1 0xa0
00002392: SHL
00002393: SUB
00002394: DUP5
00002395: AND
00002396: PUSH1 0x20
00002398: DUP4
00002399: ADD
0000239a: MSTORE
0000239b: PUSH1 0x80
0000239d: PUSH1 0x40
0000239f: DUP4
000023a0: ADD
000023a1: MSTORE
000023a2: PUSH2 0x23ae
000023a5: PUSH1 0x80
000023a7: DUP4
000023a8: ADD
000023a9: DUP5
000023aa: PUSH2 0x1959
000023ad: JUMP
000023ae: JUMPDEST
000023af: DUP3
000023b0: DUP2
000023b1: SUB
000023b2: PUSH1 0x60
000023b4: SWAP1
000023b5: SWAP4
000023b6: ADD
000023b7: SWAP3
000023b8: SWAP1
000023b9: SWAP3
000023ba: MSTORE
000023bb: DUP2
000023bc: MSTORE
000023bd: PUSH1 0x20
000023bf: ADD
000023c0: SWAP4
000023c1: SWAP3
000023c2: POP
000023c3: POP
000023c4: POP
000023c5: JUMP
000023c6: JUMPDEST
000023c7: PUSH1 0x40
000023c9: MLOAD
000023ca: DUP2
000023cb: DUP2
000023cc: ADD
000023cd: PUSH8 0xffffffffffffffff
000023d6: DUP2
000023d7: GT
000023d8: DUP3
000023d9: DUP3
000023da: LT
000023db: OR
000023dc: ISZERO
000023dd: PUSH2 0x23e5
000023e0: JUMPI
000023e1: PUSH1 0x00
000023e3: DUP1
000023e4: REVERT
000023e5: JUMPDEST
000023e6: PUSH1 0x40
000023e8: MSTORE
000023e9: SWAP2
000023ea: SWAP1
000023eb: POP
000023ec: JUMP
000023ed: JUMPDEST
000023ee: PUSH1 0x00
000023f0: PUSH8 0xffffffffffffffff
000023f9: DUP3
000023fa: GT
000023fb: ISZERO
000023fc: PUSH2 0x2403
000023ff: JUMPI
00002400: DUP1
00002401: DUP2
00002402: REVERT
00002403: JUMPDEST
00002404: POP
00002405: PUSH1 0x1f
00002407: ADD
00002408: PUSH1 0x1f
0000240a: NOT
0000240b: AND
0000240c: PUSH1 0x20
0000240e: ADD
0000240f: SWAP1
00002410: JUMP
00002411: JUMPDEST
00002412: PUSH1 0x00
00002414: JUMPDEST
00002415: DUP4
00002416: DUP2
00002417: LT
00002418: ISZERO
00002419: PUSH2 0x242c
0000241c: JUMPI
0000241d: DUP2
0000241e: DUP2
0000241f: ADD
00002420: MLOAD
00002421: DUP4
00002422: DUP3
00002423: ADD
00002424: MSTORE
00002425: PUSH1 0x20
00002427: ADD
00002428: PUSH2 0x2414
0000242b: JUMP
0000242c: JUMPDEST
0000242d: DUP4
0000242e: DUP2
0000242f: GT
00002430: ISZERO
00002431: PUSH2 0x02c1
00002434: JUMPI
00002435: POP
00002436: POP
00002437: PUSH1 0x00
00002439: SWAP2
0000243a: ADD
0000243b: MSTORE
0000243c: JUMP
0000243d: JUMPDEST
0000243e: PUSH1 0x01
00002440: PUSH1 0x01
00002442: PUSH1 0xa0
00002444: SHL
00002445: SUB
00002446: DUP2
00002447: AND
00002448: DUP2
00002449: EQ
0000244a: PUSH2 0x2452
0000244d: JUMPI
0000244e: PUSH1 0x00
00002450: DUP1
00002451: REVERT
00002452: JUMPDEST
00002453: POP
00002454: JUMP
00002455: INVALID
00002456: LOG2
00002457: PUSH5 0x6970667358
0000245d: UNKNOWN(0x22)
0000245e: SLT
0000245f: KECCAK256
00002460: SWAP7
00002461: UNKNOWN(0xA6)
00002462: UNKNOWN(0xD5)
00002463: MSIZE
00002464: UNKNOWN(0xA6)
00002465: DIV
00002466: SELFBALANCE
00002467: EXP
00002468: SWAP6
00002469: INVALID
0000246a: UNKNOWN(0xC4)
0000246b: UNKNOWN(0xCD)
0000246c: UNKNOWN(0x0F)
0000246d: RETURNDATASIZE
0000246e: UNKNOWN(0xB1)
0000246f: AND
00002470: UNKNOWN(0xAE)
00002471: UNKNOWN(0xE5)
00002472: SWAP10
00002473: UNKNOWN(0xCF)
00002474: UNKNOWN(0xE0)
00002475: PUSH9 0x6671594f670fb5debf
0000247f: UNKNOWN(0xAA)
00002480: PUSH5 0x736f6c6343
00002486: STOP
00002487: MOD
00002488: UNKNOWN(0x0C)
00002489: STOP
0000248a: CALLER
Findings

validated = confirmed for call sinks; sink observed for others
Severity	Category	Tool	Title	Confidence	Validated	Confirmed	Details
high	other	detector	ETH value transfer possible	55	no	no	view trace_id: 0x515240d69b7a20815fb89be8af724a386f1930c35c29b6399ebff52a8b0c803b call_targets: 0x8d90113a1e286a5ab3e496fbd1853f265e5913c6 target_varies: no classification: constant_target validation_json { "sink": "CALL", "errors": 0, "status": "sink_reached", "attempts": 1, "trace_id": "0x515240d69b7a20815fb89be8af724a386f1930c35c29b6399ebff52a8b0c803b", "confirmed": false, "trace_mode": "callTracer", "call_targets": [ "0x8d90113a1e286a5ab3e496fbd1853f265e5913c6" ], "matched_probe": null, "target_varies": false, "classification": "constant_target" } witness_json { "notes": "heuristic witness; entrypoints are best-effort selectors with zeroed calldata", "constraints": [], "entrypoints": [ { "calldata": "0xe7605b79", "selector": "0xe7605b79", "calldata_variants": [ "0xe7605b79", "0xe7605b790000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xe8edc816", "selector": "0xe8edc816", "calldata_variants": [ "0xe8edc816", "0xe8edc8160000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xf230b4c2", "selector": "0xf230b4c2", "calldata_variants": [ "0xf230b4c2", "0xf230b4c20000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xf2fde38b", "selector": "0xf2fde38b", "calldata_variants": [ "0xf2fde38b", "0xf2fde38b0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x8a36486b", "selector": "0x8a36486b", "calldata_variants": [ "0x8a36486b", "0x8a36486b0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xc49e4fd9", "selector": "0xc49e4fd9", "calldata_variants": [ "0xc49e4fd9", "0xc49e4fd90000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xe306f779", "selector": "0xe306f779", "calldata_variants": [ "0xe306f779", "0xe306f7790000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x54fd4d50", "selector": "0x54fd4d50", "calldata_variants": [ "0x54fd4d50", "0x54fd4d500000000000000000000000000000000000000000000000000000000000000000" ] } ] } evidence_json { "examples": [ { "pc": 1320, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" }, { "pc": 1492, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" }, { "pc": 1718, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" } ], "eth_value_calls": 6, "guards_detected": [] }
high	other	detector	Untrusted CALL target/value reachable	60	no	no	view trace_id: 0x515240d69b7a20815fb89be8af724a386f1930c35c29b6399ebff52a8b0c803b call_targets: 0x8d90113a1e286a5ab3e496fbd1853f265e5913c6 target_varies: no classification: constant_target validation_json { "sink": "CALL", "errors": 0, "status": "sink_reached", "attempts": 1, "trace_id": "0x515240d69b7a20815fb89be8af724a386f1930c35c29b6399ebff52a8b0c803b", "confirmed": false, "trace_mode": "callTracer", "call_targets": [ "0x8d90113a1e286a5ab3e496fbd1853f265e5913c6" ], "matched_probe": null, "target_varies": false, "classification": "constant_target" } witness_json { "notes": "heuristic witness; entrypoints are best-effort selectors with zeroed calldata", "constraints": [], "entrypoints": [ { "calldata": "0xe7605b79", "selector": "0xe7605b79", "calldata_variants": [ "0xe7605b79", "0xe7605b790000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xe8edc816", "selector": "0xe8edc816", "calldata_variants": [ "0xe8edc816", "0xe8edc8160000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xf230b4c2", "selector": "0xf230b4c2", "calldata_variants": [ "0xf230b4c2", "0xf230b4c20000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xf2fde38b", "selector": "0xf2fde38b", "calldata_variants": [ "0xf2fde38b", "0xf2fde38b0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x8a36486b", "selector": "0x8a36486b", "calldata_variants": [ "0x8a36486b", "0x8a36486b0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xc49e4fd9", "selector": "0xc49e4fd9", "calldata_variants": [ "0xc49e4fd9", "0xc49e4fd90000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xe306f779", "selector": "0xe306f779", "calldata_variants": [ "0xe306f779", "0xe306f7790000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x54fd4d50", "selector": "0x54fd4d50", "calldata_variants": [ "0x54fd4d50", "0x54fd4d500000000000000000000000000000000000000000000000000000000000000000" ] } ] } evidence_json { "examples": [ { "pc": 1320, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" }, { "pc": 1492, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" }, { "pc": 1718, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" } ], "call_count": 6, "guards_detected": [], "untrusted_call_count": 6 }
Severity