Analysis Run

019b477e-c139-72e2-8d0e-ad1dd05c737f
complete
Chain ID
1
Address
0xc1dfd16259c2530e57aea8a2cf106db5671616b0
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
Bytecode only
Review Backing
Not yet
Best current signal
Untrusted CALL target/value reachable
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
24827	artifact.fetch	complete	1 / 3	3 months ago
24828	tool.cast_disasm	complete	1 / 3	3 months ago
102200	analysis.bundle	complete	1 / 3	2 weeks ago
102201	capability.graph	complete	1 / 3	2 weeks ago
102202	detector.run	complete	1 / 3	2 weeks ago
102203	validation.fork	complete	1 / 3	2 weeks ago
Artifact

Runtime bytecode: available
Creation TX: —
Deployer: —
Proxy: no
Implementation:
—
Verified Source: no
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)
13
EXT*/BALANCE
8
Total opcodes
5286
Flags
heavy_ext_balance_usage call_family_heavy
View cast disassembly output
00000000: PUSH1 0x80
00000002: PUSH1 0x40
00000004: MSTORE
00000005: PUSH1 0x04
00000007: CALLDATASIZE
00000008: LT
00000009: PUSH2 0x0091
0000000c: JUMPI
0000000d: PUSH1 0x00
0000000f: CALLDATALOAD
00000010: PUSH1 0xe0
00000012: SHR
00000013: DUP1
00000014: PUSH4 0x5b191845
00000019: GT
0000001a: PUSH2 0x0059
0000001d: JUMPI
0000001e: DUP1
0000001f: PUSH4 0x5b191845
00000024: EQ
00000025: PUSH2 0x014d
00000028: JUMPI
00000029: DUP1
0000002a: PUSH4 0x7462eb75
0000002f: EQ
00000030: PUSH2 0x0169
00000033: JUMPI
00000034: DUP1
00000035: PUSH4 0xab80f0ed
0000003a: EQ
0000003b: PUSH2 0x0192
0000003e: JUMPI
0000003f: DUP1
00000040: PUSH4 0xcf5541db
00000045: EQ
00000046: PUSH2 0x01ae
00000049: JUMPI
0000004a: DUP1
0000004b: PUSH4 0xe086e5ec
00000050: EQ
00000051: PUSH2 0x01d7
00000054: JUMPI
00000055: PUSH2 0x0098
00000058: JUMP
00000059: JUMPDEST
0000005a: DUP1
0000005b: PUSH2 0xc09a
0000005e: EQ
0000005f: PUSH2 0x009a
00000062: JUMPI
00000063: DUP1
00000064: PUSH2 0xc8d2
00000067: EQ
00000068: PUSH2 0x00b6
0000006b: JUMPI
0000006c: DUP1
0000006d: PUSH4 0x0ecaf9d5
00000072: EQ
00000073: PUSH2 0x00d2
00000076: JUMPI
00000077: DUP1
00000078: PUSH4 0x4d9caed5
0000007d: EQ
0000007e: PUSH2 0x00fb
00000081: JUMPI
00000082: DUP1
00000083: PUSH4 0x4f876bd7
00000088: EQ
00000089: PUSH2 0x0124
0000008c: JUMPI
0000008d: PUSH2 0x0098
00000090: JUMP
00000091: JUMPDEST
00000092: CALLDATASIZE
00000093: PUSH2 0x0098
00000096: JUMPI
00000097: STOP
00000098: JUMPDEST
00000099: STOP
0000009a: JUMPDEST
0000009b: PUSH2 0x00b4
0000009e: PUSH1 0x04
000000a0: DUP1
000000a1: CALLDATASIZE
000000a2: SUB
000000a3: DUP2
000000a4: ADD
000000a5: SWAP1
000000a6: PUSH2 0x00af
000000a9: SWAP2
000000aa: SWAP1
000000ab: PUSH2 0x1b96
000000ae: JUMP
000000af: JUMPDEST
000000b0: PUSH2 0x01e1
000000b3: JUMP
000000b4: JUMPDEST
000000b5: STOP
000000b6: JUMPDEST
000000b7: PUSH2 0x00d0
000000ba: PUSH1 0x04
000000bc: DUP1
000000bd: CALLDATASIZE
000000be: SUB
000000bf: DUP2
000000c0: ADD
000000c1: SWAP1
000000c2: PUSH2 0x00cb
000000c5: SWAP2
000000c6: SWAP1
000000c7: PUSH2 0x19e1
000000ca: JUMP
000000cb: JUMPDEST
000000cc: PUSH2 0x032f
000000cf: JUMP
000000d0: JUMPDEST
000000d1: STOP
000000d2: JUMPDEST
000000d3: CALLVALUE
000000d4: DUP1
000000d5: ISZERO
000000d6: PUSH2 0x00de
000000d9: JUMPI
000000da: PUSH1 0x00
000000dc: DUP1
000000dd: REVERT
000000de: JUMPDEST
000000df: POP
000000e0: PUSH2 0x00f9
000000e3: PUSH1 0x04
000000e5: DUP1
000000e6: CALLDATASIZE
000000e7: SUB
000000e8: DUP2
000000e9: ADD
000000ea: SWAP1
000000eb: PUSH2 0x00f4
000000ee: SWAP2
000000ef: SWAP1
000000f0: PUSH2 0x190f
000000f3: JUMP
000000f4: JUMPDEST
000000f5: PUSH2 0x05e0
000000f8: JUMP
000000f9: JUMPDEST
000000fa: STOP
000000fb: JUMPDEST
000000fc: CALLVALUE
000000fd: DUP1
000000fe: ISZERO
000000ff: PUSH2 0x0107
00000102: JUMPI
00000103: PUSH1 0x00
00000105: DUP1
00000106: REVERT
00000107: JUMPDEST
00000108: POP
00000109: PUSH2 0x0122
0000010c: PUSH1 0x04
0000010e: DUP1
0000010f: CALLDATASIZE
00000110: SUB
00000111: DUP2
00000112: ADD
00000113: SWAP1
00000114: PUSH2 0x011d
00000117: SWAP2
00000118: SWAP1
00000119: PUSH2 0x1958
0000011c: JUMP
0000011d: JUMPDEST
0000011e: PUSH2 0x0754
00000121: JUMP
00000122: JUMPDEST
00000123: STOP
00000124: JUMPDEST
00000125: CALLVALUE
00000126: DUP1
00000127: ISZERO
00000128: PUSH2 0x0130
0000012b: JUMPI
0000012c: PUSH1 0x00
0000012e: DUP1
0000012f: REVERT
00000130: JUMPDEST
00000131: POP
00000132: PUSH2 0x014b
00000135: PUSH1 0x04
00000137: DUP1
00000138: CALLDATASIZE
00000139: SUB
0000013a: DUP2
0000013b: ADD
0000013c: SWAP1
0000013d: PUSH2 0x0146
00000140: SWAP2
00000141: SWAP1
00000142: PUSH2 0x18a2
00000145: JUMP
00000146: JUMPDEST
00000147: PUSH2 0x08a9
0000014a: JUMP
0000014b: JUMPDEST
0000014c: STOP
0000014d: JUMPDEST
0000014e: PUSH2 0x0167
00000151: PUSH1 0x04
00000153: DUP1
00000154: CALLDATASIZE
00000155: SUB
00000156: DUP2
00000157: ADD
00000158: SWAP1
00000159: PUSH2 0x0162
0000015c: SWAP2
0000015d: SWAP1
0000015e: PUSH2 0x1b1b
00000161: JUMP
00000162: JUMPDEST
00000163: PUSH2 0x095c
00000166: JUMP
00000167: JUMPDEST
00000168: STOP
00000169: JUMPDEST
0000016a: CALLVALUE
0000016b: DUP1
0000016c: ISZERO
0000016d: PUSH2 0x0175
00000170: JUMPI
00000171: PUSH1 0x00
00000173: DUP1
00000174: REVERT
00000175: JUMPDEST
00000176: POP
00000177: PUSH2 0x0190
0000017a: PUSH1 0x04
0000017c: DUP1
0000017d: CALLDATASIZE
0000017e: SUB
0000017f: DUP2
00000180: ADD
00000181: SWAP1
00000182: PUSH2 0x018b
00000185: SWAP2
00000186: SWAP1
00000187: PUSH2 0x18a2
0000018a: JUMP
0000018b: JUMPDEST
0000018c: PUSH2 0x0b79
0000018f: JUMP
00000190: JUMPDEST
00000191: STOP
00000192: JUMPDEST
00000193: PUSH2 0x01ac
00000196: PUSH1 0x04
00000198: DUP1
00000199: CALLDATASIZE
0000019a: SUB
0000019b: DUP2
0000019c: ADD
0000019d: SWAP1
0000019e: PUSH2 0x01a7
000001a1: SWAP2
000001a2: SWAP1
000001a3: PUSH2 0x1ac1
000001a6: JUMP
000001a7: JUMPDEST
000001a8: PUSH2 0x0c2b
000001ab: JUMP
000001ac: JUMPDEST
000001ad: STOP
000001ae: JUMPDEST
000001af: CALLVALUE
000001b0: DUP1
000001b1: ISZERO
000001b2: PUSH2 0x01ba
000001b5: JUMPI
000001b6: PUSH1 0x00
000001b8: DUP1
000001b9: REVERT
000001ba: JUMPDEST
000001bb: POP
000001bc: PUSH2 0x01d5
000001bf: PUSH1 0x04
000001c1: DUP1
000001c2: CALLDATASIZE
000001c3: SUB
000001c4: DUP2
000001c5: ADD
000001c6: SWAP1
000001c7: PUSH2 0x01d0
000001ca: SWAP2
000001cb: SWAP1
000001cc: PUSH2 0x18cf
000001cf: JUMP
000001d0: JUMPDEST
000001d1: PUSH2 0x0d6c
000001d4: JUMP
000001d5: JUMPDEST
000001d6: STOP
000001d7: JUMPDEST
000001d8: PUSH2 0x01df
000001db: PUSH2 0x0df3
000001de: JUMP
000001df: JUMPDEST
000001e0: STOP
000001e1: JUMPDEST
000001e2: PUSH1 0x01
000001e4: PUSH1 0x00
000001e6: CALLER
000001e7: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000001fc: AND
000001fd: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000212: AND
00000213: DUP2
00000214: MSTORE
00000215: PUSH1 0x20
00000217: ADD
00000218: SWAP1
00000219: DUP2
0000021a: MSTORE
0000021b: PUSH1 0x20
0000021d: ADD
0000021e: PUSH1 0x00
00000220: KECCAK256
00000221: PUSH1 0x00
00000223: SWAP1
00000224: SLOAD
00000225: SWAP1
00000226: PUSH2 0x0100
00000229: EXP
0000022a: SWAP1
0000022b: DIV
0000022c: PUSH1 0xff
0000022e: AND
0000022f: PUSH2 0x026d
00000232: JUMPI
00000233: PUSH1 0x40
00000235: MLOAD
00000236: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00000257: DUP2
00000258: MSTORE
00000259: PUSH1 0x04
0000025b: ADD
0000025c: PUSH2 0x0264
0000025f: SWAP1
00000260: PUSH2 0x1ecf
00000263: JUMP
00000264: JUMPDEST
00000265: PUSH1 0x40
00000267: MLOAD
00000268: DUP1
00000269: SWAP2
0000026a: SUB
0000026b: SWAP1
0000026c: REVERT
0000026d: JUMPDEST
0000026e: PUSH1 0x00
00000270: DUP1
00000271: PUSH1 0x00
00000273: SWAP1
00000274: SLOAD
00000275: SWAP1
00000276: PUSH2 0x0100
00000279: EXP
0000027a: SWAP1
0000027b: DIV
0000027c: PUSH1 0x60
0000027e: SHL
0000027f: DUP3
00000280: XOR
00000281: PUSH1 0x60
00000283: SHR
00000284: SWAP1
00000285: POP
00000286: PUSH1 0x00
00000288: PUSH2 0x0293
0000028b: DUP3
0000028c: DUP9
0000028d: DUP8
0000028e: DUP8
0000028f: PUSH2 0x0f39
00000292: JUMP
00000293: JUMPDEST
00000294: SWAP1
00000295: POP
00000296: DUP6
00000297: DUP2
00000298: PUSH1 0x01
0000029a: DUP2
0000029b: MLOAD
0000029c: DUP2
0000029d: LT
0000029e: PUSH2 0x02aa
000002a1: JUMPI
000002a2: PUSH2 0x02a9
000002a5: PUSH2 0x22fd
000002a8: JUMP
000002a9: JUMPDEST
000002aa: JUMPDEST
000002ab: PUSH1 0x20
000002ad: MUL
000002ae: PUSH1 0x20
000002b0: ADD
000002b1: ADD
000002b2: MLOAD
000002b3: LT
000002b4: ISZERO
000002b5: PUSH2 0x02f3
000002b8: JUMPI
000002b9: PUSH1 0x40
000002bb: MLOAD
000002bc: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
000002dd: DUP2
000002de: MSTORE
000002df: PUSH1 0x04
000002e1: ADD
000002e2: PUSH2 0x02ea
000002e5: SWAP1
000002e6: PUSH2 0x1e2f
000002e9: JUMP
000002ea: JUMPDEST
000002eb: PUSH1 0x40
000002ed: MLOAD
000002ee: DUP1
000002ef: SWAP2
000002f0: SUB
000002f1: SWAP1
000002f2: REVERT
000002f3: JUMPDEST
000002f4: PUSH2 0x0319
000002f7: DUP6
000002f8: DUP4
000002f9: DUP4
000002fa: PUSH1 0x00
000002fc: DUP2
000002fd: MLOAD
000002fe: DUP2
000002ff: LT
00000300: PUSH2 0x030c
00000303: JUMPI
00000304: PUSH2 0x030b
00000307: PUSH2 0x22fd
0000030a: JUMP
0000030b: JUMPDEST
0000030c: JUMPDEST
0000030d: PUSH1 0x20
0000030f: MUL
00000310: PUSH1 0x20
00000312: ADD
00000313: ADD
00000314: MLOAD
00000315: PUSH2 0x100a
00000318: JUMP
00000319: JUMPDEST
0000031a: PUSH2 0x0326
0000031d: DUP2
0000031e: DUP7
0000031f: DUP7
00000320: ADDRESS
00000321: DUP7
00000322: PUSH2 0x1140
00000325: JUMP
00000326: JUMPDEST
00000327: POP
00000328: POP
00000329: POP
0000032a: POP
0000032b: POP
0000032c: POP
0000032d: POP
0000032e: JUMP
0000032f: JUMPDEST
00000330: PUSH1 0x01
00000332: PUSH1 0x00
00000334: CALLER
00000335: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000034a: AND
0000034b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000360: AND
00000361: DUP2
00000362: MSTORE
00000363: PUSH1 0x20
00000365: ADD
00000366: SWAP1
00000367: DUP2
00000368: MSTORE
00000369: PUSH1 0x20
0000036b: ADD
0000036c: PUSH1 0x00
0000036e: KECCAK256
0000036f: PUSH1 0x00
00000371: SWAP1
00000372: SLOAD
00000373: SWAP1
00000374: PUSH2 0x0100
00000377: EXP
00000378: SWAP1
00000379: DIV
0000037a: PUSH1 0xff
0000037c: AND
0000037d: PUSH2 0x03bb
00000380: JUMPI
00000381: PUSH1 0x40
00000383: MLOAD
00000384: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
000003a5: DUP2
000003a6: MSTORE
000003a7: PUSH1 0x04
000003a9: ADD
000003aa: PUSH2 0x03b2
000003ad: SWAP1
000003ae: PUSH2 0x1ecf
000003b1: JUMP
000003b2: JUMPDEST
000003b3: PUSH1 0x40
000003b5: MLOAD
000003b6: DUP1
000003b7: SWAP2
000003b8: SUB
000003b9: SWAP1
000003ba: REVERT
000003bb: JUMPDEST
000003bc: PUSH1 0x00
000003be: DUP1
000003bf: PUSH1 0x00
000003c1: SWAP1
000003c2: SLOAD
000003c3: SWAP1
000003c4: PUSH2 0x0100
000003c7: EXP
000003c8: SWAP1
000003c9: DIV
000003ca: PUSH1 0x60
000003cc: SHL
000003cd: DUP8
000003ce: XOR
000003cf: PUSH1 0x60
000003d1: SHR
000003d2: SWAP1
000003d3: POP
000003d4: PUSH1 0x00
000003d6: DUP6
000003d7: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000003ec: AND
000003ed: PUSH4 0x70a08231
000003f2: ADDRESS
000003f3: PUSH1 0x40
000003f5: MLOAD
000003f6: DUP3
000003f7: PUSH4 0xffffffff
000003fc: AND
000003fd: PUSH1 0xe0
000003ff: SHL
00000400: DUP2
00000401: MSTORE
00000402: PUSH1 0x04
00000404: ADD
00000405: PUSH2 0x040e
00000408: SWAP2
00000409: SWAP1
0000040a: PUSH2 0x1deb
0000040d: JUMP
0000040e: JUMPDEST
0000040f: PUSH1 0x20
00000411: PUSH1 0x40
00000413: MLOAD
00000414: DUP1
00000415: DUP4
00000416: SUB
00000417: DUP2
00000418: DUP7
00000419: DUP1
0000041a: EXTCODESIZE
0000041b: ISZERO
0000041c: DUP1
0000041d: ISZERO
0000041e: PUSH2 0x0426
00000421: JUMPI
00000422: PUSH1 0x00
00000424: DUP1
00000425: REVERT
00000426: JUMPDEST
00000427: POP
00000428: GAS
00000429: STATICCALL
0000042a: ISZERO
0000042b: DUP1
0000042c: ISZERO
0000042d: PUSH2 0x043a
00000430: JUMPI
00000431: RETURNDATASIZE
00000432: PUSH1 0x00
00000434: DUP1
00000435: RETURNDATACOPY
00000436: RETURNDATASIZE
00000437: PUSH1 0x00
00000439: REVERT
0000043a: JUMPDEST
0000043b: POP
0000043c: POP
0000043d: POP
0000043e: POP
0000043f: PUSH1 0x40
00000441: MLOAD
00000442: RETURNDATASIZE
00000443: PUSH1 0x1f
00000445: NOT
00000446: PUSH1 0x1f
00000448: DUP3
00000449: ADD
0000044a: AND
0000044b: DUP3
0000044c: ADD
0000044d: DUP1
0000044e: PUSH1 0x40
00000450: MSTORE
00000451: POP
00000452: DUP2
00000453: ADD
00000454: SWAP1
00000455: PUSH2 0x045e
00000458: SWAP2
00000459: SWAP1
0000045a: PUSH2 0x1aee
0000045d: JUMP
0000045e: JUMPDEST
0000045f: SWAP1
00000460: POP
00000461: DUP3
00000462: DUP2
00000463: LT
00000464: PUSH2 0x04a2
00000467: JUMPI
00000468: PUSH1 0x40
0000046a: MLOAD
0000046b: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
0000048c: DUP2
0000048d: MSTORE
0000048e: PUSH1 0x04
00000490: ADD
00000491: PUSH2 0x0499
00000494: SWAP1
00000495: PUSH2 0x1e6f
00000498: JUMP
00000499: JUMPDEST
0000049a: PUSH1 0x40
0000049c: MLOAD
0000049d: DUP1
0000049e: SWAP2
0000049f: SUB
000004a0: SWAP1
000004a1: REVERT
000004a2: JUMPDEST
000004a3: PUSH1 0x00
000004a5: PUSH2 0x04c5
000004a8: DUP7
000004a9: PUSH1 0x01
000004ab: DUP5
000004ac: DUP8
000004ad: PUSH2 0x04b6
000004b0: SWAP2
000004b1: SWAP1
000004b2: PUSH2 0x2120
000004b5: JUMP
000004b6: JUMPDEST
000004b7: PUSH2 0x04c0
000004ba: SWAP2
000004bb: SWAP1
000004bc: PUSH2 0x203f
000004bf: JUMP
000004c0: JUMPDEST
000004c1: PUSH2 0x127e
000004c4: JUMP
000004c5: JUMPDEST
000004c6: SWAP1
000004c7: POP
000004c8: PUSH1 0x00
000004ca: DUP7
000004cb: DUP3
000004cc: DUP8
000004cd: PUSH2 0x04d6
000004d0: SWAP2
000004d1: SWAP1
000004d2: PUSH2 0x20c6
000004d5: JUMP
000004d6: JUMPDEST
000004d7: PUSH2 0x04e0
000004da: SWAP2
000004db: SWAP1
000004dc: PUSH2 0x2095
000004df: JUMP
000004e0: JUMPDEST
000004e1: SWAP1
000004e2: POP
000004e3: PUSH1 0x00
000004e5: PUSH2 0x04f0
000004e8: DUP6
000004e9: DUP5
000004ea: DUP13
000004eb: DUP13
000004ec: PUSH2 0x1297
000004ef: JUMP
000004f0: JUMPDEST
000004f1: SWAP1
000004f2: POP
000004f3: DUP2
000004f4: DUP2
000004f5: PUSH1 0x00
000004f7: DUP2
000004f8: MLOAD
000004f9: DUP2
000004fa: LT
000004fb: PUSH2 0x0507
000004fe: JUMPI
000004ff: PUSH2 0x0506
00000502: PUSH2 0x22fd
00000505: JUMP
00000506: JUMPDEST
00000507: JUMPDEST
00000508: PUSH1 0x20
0000050a: MUL
0000050b: PUSH1 0x20
0000050d: ADD
0000050e: ADD
0000050f: MLOAD
00000510: LT
00000511: PUSH2 0x054f
00000514: JUMPI
00000515: PUSH1 0x40
00000517: MLOAD
00000518: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00000539: DUP2
0000053a: MSTORE
0000053b: PUSH1 0x04
0000053d: ADD
0000053e: PUSH2 0x0546
00000541: SWAP1
00000542: PUSH2 0x1f0f
00000545: JUMP
00000546: JUMPDEST
00000547: PUSH1 0x40
00000549: MLOAD
0000054a: DUP1
0000054b: SWAP2
0000054c: SUB
0000054d: SWAP1
0000054e: REVERT
0000054f: JUMPDEST
00000550: PUSH2 0x0575
00000553: DUP11
00000554: DUP7
00000555: DUP4
00000556: PUSH1 0x00
00000558: DUP2
00000559: MLOAD
0000055a: DUP2
0000055b: LT
0000055c: PUSH2 0x0568
0000055f: JUMPI
00000560: PUSH2 0x0567
00000563: PUSH2 0x22fd
00000566: JUMP
00000567: JUMPDEST
00000568: JUMPDEST
00000569: PUSH1 0x20
0000056b: MUL
0000056c: PUSH1 0x20
0000056e: ADD
0000056f: ADD
00000570: MLOAD
00000571: PUSH2 0x100a
00000574: JUMP
00000575: JUMPDEST
00000576: PUSH2 0x0582
00000579: DUP2
0000057a: DUP12
0000057b: DUP12
0000057c: ADDRESS
0000057d: DUP10
0000057e: PUSH2 0x1140
00000581: JUMP
00000582: JUMPDEST
00000583: POP
00000584: POP
00000585: POP
00000586: POP
00000587: POP
00000588: PUSH1 0x00
0000058a: CALLVALUE
0000058b: GT
0000058c: ISZERO
0000058d: PUSH2 0x05d8
00000590: JUMPI
00000591: COINBASE
00000592: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000005a7: AND
000005a8: PUSH2 0x08fc
000005ab: CALLVALUE
000005ac: SWAP1
000005ad: DUP2
000005ae: ISZERO
000005af: MUL
000005b0: SWAP1
000005b1: PUSH1 0x40
000005b3: MLOAD
000005b4: PUSH1 0x00
000005b6: PUSH1 0x40
000005b8: MLOAD
000005b9: DUP1
000005ba: DUP4
000005bb: SUB
000005bc: DUP2
000005bd: DUP6
000005be: DUP9
000005bf: DUP9
000005c0: CALL
000005c1: SWAP4
000005c2: POP
000005c3: POP
000005c4: POP
000005c5: POP
000005c6: ISZERO
000005c7: DUP1
000005c8: ISZERO
000005c9: PUSH2 0x05d6
000005cc: JUMPI
000005cd: RETURNDATASIZE
000005ce: PUSH1 0x00
000005d0: DUP1
000005d1: RETURNDATACOPY
000005d2: RETURNDATASIZE
000005d3: PUSH1 0x00
000005d5: REVERT
000005d6: JUMPDEST
000005d7: POP
000005d8: JUMPDEST
000005d9: POP
000005da: POP
000005db: POP
000005dc: POP
000005dd: POP
000005de: POP
000005df: JUMP
000005e0: JUMPDEST
000005e1: PUSH32 0x000000000000000000000000e1b086488a9bb81f4b2c26a5b661ae3e793f8c4e
00000602: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000617: AND
00000618: CALLER
00000619: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000062e: AND
0000062f: EQ
00000630: PUSH2 0x0638
00000633: JUMPI
00000634: PUSH1 0x00
00000636: DUP1
00000637: REVERT
00000638: JUMPDEST
00000639: PUSH1 0x00
0000063b: DUP2
0000063c: MLOAD
0000063d: SWAP1
0000063e: POP
0000063f: PUSH1 0x00
00000641: JUMPDEST
00000642: DUP2
00000643: DUP2
00000644: LT
00000645: ISZERO
00000646: PUSH2 0x074f
00000649: JUMPI
0000064a: PUSH1 0x00
0000064c: DUP4
0000064d: DUP3
0000064e: DUP2
0000064f: MLOAD
00000650: DUP2
00000651: LT
00000652: PUSH2 0x065e
00000655: JUMPI
00000656: PUSH2 0x065d
00000659: PUSH2 0x22fd
0000065c: JUMP
0000065d: JUMPDEST
0000065e: JUMPDEST
0000065f: PUSH1 0x20
00000661: MUL
00000662: PUSH1 0x20
00000664: ADD
00000665: ADD
00000666: MLOAD
00000667: SWAP1
00000668: POP
00000669: PUSH1 0x00
0000066b: DUP2
0000066c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000681: AND
00000682: PUSH4 0x70a08231
00000687: ADDRESS
00000688: PUSH1 0x40
0000068a: MLOAD
0000068b: DUP3
0000068c: PUSH4 0xffffffff
00000691: AND
00000692: PUSH1 0xe0
00000694: SHL
00000695: DUP2
00000696: MSTORE
00000697: PUSH1 0x04
00000699: ADD
0000069a: PUSH2 0x06a3
0000069d: SWAP2
0000069e: SWAP1
0000069f: PUSH2 0x1deb
000006a2: JUMP
000006a3: JUMPDEST
000006a4: PUSH1 0x20
000006a6: PUSH1 0x40
000006a8: MLOAD
000006a9: DUP1
000006aa: DUP4
000006ab: SUB
000006ac: DUP2
000006ad: DUP7
000006ae: DUP1
000006af: EXTCODESIZE
000006b0: ISZERO
000006b1: DUP1
000006b2: ISZERO
000006b3: PUSH2 0x06bb
000006b6: JUMPI
000006b7: PUSH1 0x00
000006b9: DUP1
000006ba: REVERT
000006bb: JUMPDEST
000006bc: POP
000006bd: GAS
000006be: STATICCALL
000006bf: ISZERO
000006c0: DUP1
000006c1: ISZERO
000006c2: PUSH2 0x06cf
000006c5: JUMPI
000006c6: RETURNDATASIZE
000006c7: PUSH1 0x00
000006c9: DUP1
000006ca: RETURNDATACOPY
000006cb: RETURNDATASIZE
000006cc: PUSH1 0x00
000006ce: REVERT
000006cf: JUMPDEST
000006d0: POP
000006d1: POP
000006d2: POP
000006d3: POP
000006d4: PUSH1 0x40
000006d6: MLOAD
000006d7: RETURNDATASIZE
000006d8: PUSH1 0x1f
000006da: NOT
000006db: PUSH1 0x1f
000006dd: DUP3
000006de: ADD
000006df: AND
000006e0: DUP3
000006e1: ADD
000006e2: DUP1
000006e3: PUSH1 0x40
000006e5: MSTORE
000006e6: POP
000006e7: DUP2
000006e8: ADD
000006e9: SWAP1
000006ea: PUSH2 0x06f3
000006ed: SWAP2
000006ee: SWAP1
000006ef: PUSH2 0x1aee
000006f2: JUMP
000006f3: JUMPDEST
000006f4: SWAP1
000006f5: POP
000006f6: PUSH2 0x073a
000006f9: DUP6
000006fa: DUP5
000006fb: DUP2
000006fc: MLOAD
000006fd: DUP2
000006fe: LT
000006ff: PUSH2 0x070b
00000702: JUMPI
00000703: PUSH2 0x070a
00000706: PUSH2 0x22fd
00000709: JUMP
0000070a: JUMPDEST
0000070b: JUMPDEST
0000070c: PUSH1 0x20
0000070e: MUL
0000070f: PUSH1 0x20
00000711: ADD
00000712: ADD
00000713: MLOAD
00000714: PUSH32 0x000000000000000000000000e1b086488a9bb81f4b2c26a5b661ae3e793f8c4e
00000735: DUP4
00000736: PUSH2 0x100a
00000739: JUMP
0000073a: JUMPDEST
0000073b: POP
0000073c: POP
0000073d: DUP1
0000073e: DUP1
0000073f: PUSH2 0x0747
00000742: SWAP1
00000743: PUSH2 0x2256
00000746: JUMP
00000747: JUMPDEST
00000748: SWAP2
00000749: POP
0000074a: POP
0000074b: PUSH2 0x0641
0000074e: JUMP
0000074f: JUMPDEST
00000750: POP
00000751: POP
00000752: POP
00000753: JUMP
00000754: JUMPDEST
00000755: PUSH32 0x000000000000000000000000e1b086488a9bb81f4b2c26a5b661ae3e793f8c4e
00000776: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000078b: AND
0000078c: CALLER
0000078d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000007a2: AND
000007a3: EQ
000007a4: PUSH2 0x07ac
000007a7: JUMPI
000007a8: PUSH1 0x00
000007aa: DUP1
000007ab: REVERT
000007ac: JUMPDEST
000007ad: PUSH1 0x00
000007af: DUP3
000007b0: MLOAD
000007b1: SWAP1
000007b2: POP
000007b3: PUSH1 0x00
000007b5: JUMPDEST
000007b6: DUP2
000007b7: DUP2
000007b8: LT
000007b9: ISZERO
000007ba: PUSH2 0x08a3
000007bd: JUMPI
000007be: PUSH1 0x00
000007c0: DUP5
000007c1: DUP3
000007c2: DUP2
000007c3: MLOAD
000007c4: DUP2
000007c5: LT
000007c6: PUSH2 0x07d2
000007c9: JUMPI
000007ca: PUSH2 0x07d1
000007cd: PUSH2 0x22fd
000007d0: JUMP
000007d1: JUMPDEST
000007d2: JUMPDEST
000007d3: PUSH1 0x20
000007d5: MUL
000007d6: PUSH1 0x20
000007d8: ADD
000007d9: ADD
000007da: MLOAD
000007db: SWAP1
000007dc: POP
000007dd: PUSH1 0x00
000007df: DUP2
000007e0: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000007f5: AND
000007f6: PUSH4 0x70a08231
000007fb: ADDRESS
000007fc: PUSH1 0x40
000007fe: MLOAD
000007ff: DUP3
00000800: PUSH4 0xffffffff
00000805: AND
00000806: PUSH1 0xe0
00000808: SHL
00000809: DUP2
0000080a: MSTORE
0000080b: PUSH1 0x04
0000080d: ADD
0000080e: PUSH2 0x0817
00000811: SWAP2
00000812: SWAP1
00000813: PUSH2 0x1deb
00000816: JUMP
00000817: JUMPDEST
00000818: PUSH1 0x20
0000081a: PUSH1 0x40
0000081c: MLOAD
0000081d: DUP1
0000081e: DUP4
0000081f: SUB
00000820: DUP2
00000821: DUP7
00000822: DUP1
00000823: EXTCODESIZE
00000824: ISZERO
00000825: DUP1
00000826: ISZERO
00000827: PUSH2 0x082f
0000082a: JUMPI
0000082b: PUSH1 0x00
0000082d: DUP1
0000082e: REVERT
0000082f: JUMPDEST
00000830: POP
00000831: GAS
00000832: STATICCALL
00000833: ISZERO
00000834: DUP1
00000835: ISZERO
00000836: PUSH2 0x0843
00000839: JUMPI
0000083a: RETURNDATASIZE
0000083b: PUSH1 0x00
0000083d: DUP1
0000083e: RETURNDATACOPY
0000083f: RETURNDATASIZE
00000840: PUSH1 0x00
00000842: REVERT
00000843: JUMPDEST
00000844: POP
00000845: POP
00000846: POP
00000847: POP
00000848: PUSH1 0x40
0000084a: MLOAD
0000084b: RETURNDATASIZE
0000084c: PUSH1 0x1f
0000084e: NOT
0000084f: PUSH1 0x1f
00000851: DUP3
00000852: ADD
00000853: AND
00000854: DUP3
00000855: ADD
00000856: DUP1
00000857: PUSH1 0x40
00000859: MSTORE
0000085a: POP
0000085b: DUP2
0000085c: ADD
0000085d: SWAP1
0000085e: PUSH2 0x0867
00000861: SWAP2
00000862: SWAP1
00000863: PUSH2 0x1aee
00000866: JUMP
00000867: JUMPDEST
00000868: SWAP1
00000869: POP
0000086a: PUSH2 0x088e
0000086d: DUP7
0000086e: DUP5
0000086f: DUP2
00000870: MLOAD
00000871: DUP2
00000872: LT
00000873: PUSH2 0x087f
00000876: JUMPI
00000877: PUSH2 0x087e
0000087a: PUSH2 0x22fd
0000087d: JUMP
0000087e: JUMPDEST
0000087f: JUMPDEST
00000880: PUSH1 0x20
00000882: MUL
00000883: PUSH1 0x20
00000885: ADD
00000886: ADD
00000887: MLOAD
00000888: DUP7
00000889: DUP4
0000088a: PUSH2 0x100a
0000088d: JUMP
0000088e: JUMPDEST
0000088f: POP
00000890: POP
00000891: DUP1
00000892: DUP1
00000893: PUSH2 0x089b
00000896: SWAP1
00000897: PUSH2 0x2256
0000089a: JUMP
0000089b: JUMPDEST
0000089c: SWAP2
0000089d: POP
0000089e: POP
0000089f: PUSH2 0x07b5
000008a2: JUMP
000008a3: JUMPDEST
000008a4: POP
000008a5: POP
000008a6: POP
000008a7: POP
000008a8: JUMP
000008a9: JUMPDEST
000008aa: PUSH32 0x000000000000000000000000e1b086488a9bb81f4b2c26a5b661ae3e793f8c4e
000008cb: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000008e0: AND
000008e1: CALLER
000008e2: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000008f7: AND
000008f8: EQ
000008f9: PUSH2 0x0901
000008fc: JUMPI
000008fd: PUSH1 0x00
000008ff: DUP1
00000900: REVERT
00000901: JUMPDEST
00000902: PUSH1 0x00
00000904: PUSH1 0x01
00000906: PUSH1 0x00
00000908: DUP4
00000909: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000091e: AND
0000091f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000934: AND
00000935: DUP2
00000936: MSTORE
00000937: PUSH1 0x20
00000939: ADD
0000093a: SWAP1
0000093b: DUP2
0000093c: MSTORE
0000093d: PUSH1 0x20
0000093f: ADD
00000940: PUSH1 0x00
00000942: KECCAK256
00000943: PUSH1 0x00
00000945: PUSH2 0x0100
00000948: EXP
00000949: DUP2
0000094a: SLOAD
0000094b: DUP2
0000094c: PUSH1 0xff
0000094e: MUL
0000094f: NOT
00000950: AND
00000951: SWAP1
00000952: DUP4
00000953: ISZERO
00000954: ISZERO
00000955: MUL
00000956: OR
00000957: SWAP1
00000958: SSTORE
00000959: POP
0000095a: POP
0000095b: JUMP
0000095c: JUMPDEST
0000095d: PUSH32 0x000000000000000000000000e1b086488a9bb81f4b2c26a5b661ae3e793f8c4e
0000097e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000993: AND
00000994: CALLER
00000995: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000009aa: AND
000009ab: EQ
000009ac: PUSH2 0x09b4
000009af: JUMPI
000009b0: PUSH1 0x00
000009b2: DUP1
000009b3: REVERT
000009b4: JUMPDEST
000009b5: PUSH1 0x00
000009b7: PUSH2 0x09c2
000009ba: DUP3
000009bb: DUP8
000009bc: DUP7
000009bd: DUP7
000009be: PUSH2 0x0f39
000009c1: JUMP
000009c2: JUMPDEST
000009c3: SWAP1
000009c4: POP
000009c5: DUP5
000009c6: DUP2
000009c7: PUSH1 0x01
000009c9: DUP2
000009ca: MLOAD
000009cb: DUP2
000009cc: LT
000009cd: PUSH2 0x09d9
000009d0: JUMPI
000009d1: PUSH2 0x09d8
000009d4: PUSH2 0x22fd
000009d7: JUMP
000009d8: JUMPDEST
000009d9: JUMPDEST
000009da: PUSH1 0x20
000009dc: MUL
000009dd: PUSH1 0x20
000009df: ADD
000009e0: ADD
000009e1: MLOAD
000009e2: LT
000009e3: ISZERO
000009e4: PUSH2 0x0a22
000009e7: JUMPI
000009e8: PUSH1 0x40
000009ea: MLOAD
000009eb: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00000a0c: DUP2
00000a0d: MSTORE
00000a0e: PUSH1 0x04
00000a10: ADD
00000a11: PUSH2 0x0a19
00000a14: SWAP1
00000a15: PUSH2 0x1e2f
00000a18: JUMP
00000a19: JUMPDEST
00000a1a: PUSH1 0x40
00000a1c: MLOAD
00000a1d: DUP1
00000a1e: SWAP2
00000a1f: SUB
00000a20: SWAP1
00000a21: REVERT
00000a22: JUMPDEST
00000a23: PUSH2 0x0a48
00000a26: DUP5
00000a27: DUP4
00000a28: DUP4
00000a29: PUSH1 0x00
00000a2b: DUP2
00000a2c: MLOAD
00000a2d: DUP2
00000a2e: LT
00000a2f: PUSH2 0x0a3b
00000a32: JUMPI
00000a33: PUSH2 0x0a3a
00000a36: PUSH2 0x22fd
00000a39: JUMP
00000a3a: JUMPDEST
00000a3b: JUMPDEST
00000a3c: PUSH1 0x20
00000a3e: MUL
00000a3f: PUSH1 0x20
00000a41: ADD
00000a42: ADD
00000a43: MLOAD
00000a44: PUSH2 0x100a
00000a47: JUMP
00000a48: JUMPDEST
00000a49: PUSH2 0x0a55
00000a4c: DUP2
00000a4d: DUP6
00000a4e: DUP6
00000a4f: ADDRESS
00000a50: DUP7
00000a51: PUSH2 0x1140
00000a54: JUMP
00000a55: JUMPDEST
00000a56: PUSH20 0xc02aaa39b223fe8d0a0e5c4f27ead9083c756cc2
00000a6b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000a80: AND
00000a81: PUSH4 0x2e1a7d4d
00000a86: DUP3
00000a87: PUSH1 0x01
00000a89: DUP2
00000a8a: MLOAD
00000a8b: DUP2
00000a8c: LT
00000a8d: PUSH2 0x0a99
00000a90: JUMPI
00000a91: PUSH2 0x0a98
00000a94: PUSH2 0x22fd
00000a97: JUMP
00000a98: JUMPDEST
00000a99: JUMPDEST
00000a9a: PUSH1 0x20
00000a9c: MUL
00000a9d: PUSH1 0x20
00000a9f: ADD
00000aa0: ADD
00000aa1: MLOAD
00000aa2: PUSH1 0x40
00000aa4: MLOAD
00000aa5: DUP3
00000aa6: PUSH4 0xffffffff
00000aab: AND
00000aac: PUSH1 0xe0
00000aae: SHL
00000aaf: DUP2
00000ab0: MSTORE
00000ab1: PUSH1 0x04
00000ab3: ADD
00000ab4: PUSH2 0x0abd
00000ab7: SWAP2
00000ab8: SWAP1
00000ab9: PUSH2 0x1f4f
00000abc: JUMP
00000abd: JUMPDEST
00000abe: PUSH1 0x00
00000ac0: PUSH1 0x40
00000ac2: MLOAD
00000ac3: DUP1
00000ac4: DUP4
00000ac5: SUB
00000ac6: DUP2
00000ac7: PUSH1 0x00
00000ac9: DUP8
00000aca: DUP1
00000acb: EXTCODESIZE
00000acc: ISZERO
00000acd: DUP1
00000ace: ISZERO
00000acf: PUSH2 0x0ad7
00000ad2: JUMPI
00000ad3: PUSH1 0x00
00000ad5: DUP1
00000ad6: REVERT
00000ad7: JUMPDEST
00000ad8: POP
00000ad9: GAS
00000ada: CALL
00000adb: ISZERO
00000adc: DUP1
00000add: ISZERO
00000ade: PUSH2 0x0aeb
00000ae1: JUMPI
00000ae2: RETURNDATASIZE
00000ae3: PUSH1 0x00
00000ae5: DUP1
00000ae6: RETURNDATACOPY
00000ae7: RETURNDATASIZE
00000ae8: PUSH1 0x00
00000aea: REVERT
00000aeb: JUMPDEST
00000aec: POP
00000aed: POP
00000aee: POP
00000aef: POP
00000af0: PUSH32 0x000000000000000000000000e1b086488a9bb81f4b2c26a5b661ae3e793f8c4e
00000b11: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000b26: AND
00000b27: PUSH2 0x08fc
00000b2a: DUP3
00000b2b: PUSH1 0x01
00000b2d: DUP2
00000b2e: MLOAD
00000b2f: DUP2
00000b30: LT
00000b31: PUSH2 0x0b3d
00000b34: JUMPI
00000b35: PUSH2 0x0b3c
00000b38: PUSH2 0x22fd
00000b3b: JUMP
00000b3c: JUMPDEST
00000b3d: JUMPDEST
00000b3e: PUSH1 0x20
00000b40: MUL
00000b41: PUSH1 0x20
00000b43: ADD
00000b44: ADD
00000b45: MLOAD
00000b46: SWAP1
00000b47: DUP2
00000b48: ISZERO
00000b49: MUL
00000b4a: SWAP1
00000b4b: PUSH1 0x40
00000b4d: MLOAD
00000b4e: PUSH1 0x00
00000b50: PUSH1 0x40
00000b52: MLOAD
00000b53: DUP1
00000b54: DUP4
00000b55: SUB
00000b56: DUP2
00000b57: DUP6
00000b58: DUP9
00000b59: DUP9
00000b5a: CALL
00000b5b: SWAP4
00000b5c: POP
00000b5d: POP
00000b5e: POP
00000b5f: POP
00000b60: ISZERO
00000b61: DUP1
00000b62: ISZERO
00000b63: PUSH2 0x0b70
00000b66: JUMPI
00000b67: RETURNDATASIZE
00000b68: PUSH1 0x00
00000b6a: DUP1
00000b6b: RETURNDATACOPY
00000b6c: RETURNDATASIZE
00000b6d: PUSH1 0x00
00000b6f: REVERT
00000b70: JUMPDEST
00000b71: POP
00000b72: POP
00000b73: POP
00000b74: POP
00000b75: POP
00000b76: POP
00000b77: POP
00000b78: JUMP
00000b79: JUMPDEST
00000b7a: PUSH32 0x000000000000000000000000e1b086488a9bb81f4b2c26a5b661ae3e793f8c4e
00000b9b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000bb0: AND
00000bb1: CALLER
00000bb2: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000bc7: AND
00000bc8: EQ
00000bc9: PUSH2 0x0bd1
00000bcc: JUMPI
00000bcd: PUSH1 0x00
00000bcf: DUP1
00000bd0: REVERT
00000bd1: JUMPDEST
00000bd2: PUSH1 0x01
00000bd4: DUP1
00000bd5: PUSH1 0x00
00000bd7: DUP4
00000bd8: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000bed: AND
00000bee: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000c03: AND
00000c04: DUP2
00000c05: MSTORE
00000c06: PUSH1 0x20
00000c08: ADD
00000c09: SWAP1
00000c0a: DUP2
00000c0b: MSTORE
00000c0c: PUSH1 0x20
00000c0e: ADD
00000c0f: PUSH1 0x00
00000c11: KECCAK256
00000c12: PUSH1 0x00
00000c14: PUSH2 0x0100
00000c17: EXP
00000c18: DUP2
00000c19: SLOAD
00000c1a: DUP2
00000c1b: PUSH1 0xff
00000c1d: MUL
00000c1e: NOT
00000c1f: AND
00000c20: SWAP1
00000c21: DUP4
00000c22: ISZERO
00000c23: ISZERO
00000c24: MUL
00000c25: OR
00000c26: SWAP1
00000c27: SSTORE
00000c28: POP
00000c29: POP
00000c2a: JUMP
00000c2b: JUMPDEST
00000c2c: PUSH32 0x000000000000000000000000e1b086488a9bb81f4b2c26a5b661ae3e793f8c4e
00000c4d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000c62: AND
00000c63: CALLER
00000c64: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000c79: AND
00000c7a: EQ
00000c7b: PUSH2 0x0c83
00000c7e: JUMPI
00000c7f: PUSH1 0x00
00000c81: DUP1
00000c82: REVERT
00000c83: JUMPDEST
00000c84: PUSH20 0xc02aaa39b223fe8d0a0e5c4f27ead9083c756cc2
00000c99: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000cae: AND
00000caf: PUSH4 0x2e1a7d4d
00000cb4: DUP3
00000cb5: PUSH1 0x40
00000cb7: MLOAD
00000cb8: DUP3
00000cb9: PUSH4 0xffffffff
00000cbe: AND
00000cbf: PUSH1 0xe0
00000cc1: SHL
00000cc2: DUP2
00000cc3: MSTORE
00000cc4: PUSH1 0x04
00000cc6: ADD
00000cc7: PUSH2 0x0cd0
00000cca: SWAP2
00000ccb: SWAP1
00000ccc: PUSH2 0x1f4f
00000ccf: JUMP
00000cd0: JUMPDEST
00000cd1: PUSH1 0x00
00000cd3: PUSH1 0x40
00000cd5: MLOAD
00000cd6: DUP1
00000cd7: DUP4
00000cd8: SUB
00000cd9: DUP2
00000cda: PUSH1 0x00
00000cdc: DUP8
00000cdd: DUP1
00000cde: EXTCODESIZE
00000cdf: ISZERO
00000ce0: DUP1
00000ce1: ISZERO
00000ce2: PUSH2 0x0cea
00000ce5: JUMPI
00000ce6: PUSH1 0x00
00000ce8: DUP1
00000ce9: REVERT
00000cea: JUMPDEST
00000ceb: POP
00000cec: GAS
00000ced: CALL
00000cee: ISZERO
00000cef: DUP1
00000cf0: ISZERO
00000cf1: PUSH2 0x0cfe
00000cf4: JUMPI
00000cf5: RETURNDATASIZE
00000cf6: PUSH1 0x00
00000cf8: DUP1
00000cf9: RETURNDATACOPY
00000cfa: RETURNDATASIZE
00000cfb: PUSH1 0x00
00000cfd: REVERT
00000cfe: JUMPDEST
00000cff: POP
00000d00: POP
00000d01: POP
00000d02: POP
00000d03: PUSH32 0x000000000000000000000000e1b086488a9bb81f4b2c26a5b661ae3e793f8c4e
00000d24: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000d39: AND
00000d3a: PUSH2 0x08fc
00000d3d: DUP3
00000d3e: SWAP1
00000d3f: DUP2
00000d40: ISZERO
00000d41: MUL
00000d42: SWAP1
00000d43: PUSH1 0x40
00000d45: MLOAD
00000d46: PUSH1 0x00
00000d48: PUSH1 0x40
00000d4a: MLOAD
00000d4b: DUP1
00000d4c: DUP4
00000d4d: SUB
00000d4e: DUP2
00000d4f: DUP6
00000d50: DUP9
00000d51: DUP9
00000d52: CALL
00000d53: SWAP4
00000d54: POP
00000d55: POP
00000d56: POP
00000d57: POP
00000d58: ISZERO
00000d59: DUP1
00000d5a: ISZERO
00000d5b: PUSH2 0x0d68
00000d5e: JUMPI
00000d5f: RETURNDATASIZE
00000d60: PUSH1 0x00
00000d62: DUP1
00000d63: RETURNDATACOPY
00000d64: RETURNDATASIZE
00000d65: PUSH1 0x00
00000d67: REVERT
00000d68: JUMPDEST
00000d69: POP
00000d6a: POP
00000d6b: JUMP
00000d6c: JUMPDEST
00000d6d: PUSH32 0x000000000000000000000000e1b086488a9bb81f4b2c26a5b661ae3e793f8c4e
00000d8e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000da3: AND
00000da4: CALLER
00000da5: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000dba: AND
00000dbb: EQ
00000dbc: PUSH2 0x0dc4
00000dbf: JUMPI
00000dc0: PUSH1 0x00
00000dc2: DUP1
00000dc3: REVERT
00000dc4: JUMPDEST
00000dc5: PUSH2 0x0def
00000dc8: DUP3
00000dc9: PUSH32 0x000000000000000000000000e1b086488a9bb81f4b2c26a5b661ae3e793f8c4e
00000dea: DUP4
00000deb: PUSH2 0x100a
00000dee: JUMP
00000def: JUMPDEST
00000df0: POP
00000df1: POP
00000df2: JUMP
00000df3: JUMPDEST
00000df4: PUSH32 0x000000000000000000000000e1b086488a9bb81f4b2c26a5b661ae3e793f8c4e
00000e15: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000e2a: AND
00000e2b: CALLER
00000e2c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000e41: AND
00000e42: EQ
00000e43: PUSH2 0x0e4b
00000e46: JUMPI
00000e47: PUSH1 0x00
00000e49: DUP1
00000e4a: REVERT
00000e4b: JUMPDEST
00000e4c: PUSH1 0x00
00000e4e: SELFBALANCE
00000e4f: SWAP1
00000e50: POP
00000e51: PUSH20 0xc02aaa39b223fe8d0a0e5c4f27ead9083c756cc2
00000e66: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000e7b: AND
00000e7c: PUSH4 0x2e1a7d4d
00000e81: DUP3
00000e82: PUSH1 0x40
00000e84: MLOAD
00000e85: DUP3
00000e86: PUSH4 0xffffffff
00000e8b: AND
00000e8c: PUSH1 0xe0
00000e8e: SHL
00000e8f: DUP2
00000e90: MSTORE
00000e91: PUSH1 0x04
00000e93: ADD
00000e94: PUSH2 0x0e9d
00000e97: SWAP2
00000e98: SWAP1
00000e99: PUSH2 0x1f4f
00000e9c: JUMP
00000e9d: JUMPDEST
00000e9e: PUSH1 0x00
00000ea0: PUSH1 0x40
00000ea2: MLOAD
00000ea3: DUP1
00000ea4: DUP4
00000ea5: SUB
00000ea6: DUP2
00000ea7: PUSH1 0x00
00000ea9: DUP8
00000eaa: DUP1
00000eab: EXTCODESIZE
00000eac: ISZERO
00000ead: DUP1
00000eae: ISZERO
00000eaf: PUSH2 0x0eb7
00000eb2: JUMPI
00000eb3: PUSH1 0x00
00000eb5: DUP1
00000eb6: REVERT
00000eb7: JUMPDEST
00000eb8: POP
00000eb9: GAS
00000eba: CALL
00000ebb: ISZERO
00000ebc: DUP1
00000ebd: ISZERO
00000ebe: PUSH2 0x0ecb
00000ec1: JUMPI
00000ec2: RETURNDATASIZE
00000ec3: PUSH1 0x00
00000ec5: DUP1
00000ec6: RETURNDATACOPY
00000ec7: RETURNDATASIZE
00000ec8: PUSH1 0x00
00000eca: REVERT
00000ecb: JUMPDEST
00000ecc: POP
00000ecd: POP
00000ece: POP
00000ecf: POP
00000ed0: PUSH32 0x000000000000000000000000e1b086488a9bb81f4b2c26a5b661ae3e793f8c4e
00000ef1: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000f06: AND
00000f07: PUSH2 0x08fc
00000f0a: DUP3
00000f0b: SWAP1
00000f0c: DUP2
00000f0d: ISZERO
00000f0e: MUL
00000f0f: SWAP1
00000f10: PUSH1 0x40
00000f12: MLOAD
00000f13: PUSH1 0x00
00000f15: PUSH1 0x40
00000f17: MLOAD
00000f18: DUP1
00000f19: DUP4
00000f1a: SUB
00000f1b: DUP2
00000f1c: DUP6
00000f1d: DUP9
00000f1e: DUP9
00000f1f: CALL
00000f20: SWAP4
00000f21: POP
00000f22: POP
00000f23: POP
00000f24: POP
00000f25: ISZERO
00000f26: DUP1
00000f27: ISZERO
00000f28: PUSH2 0x0f35
00000f2b: JUMPI
00000f2c: RETURNDATASIZE
00000f2d: PUSH1 0x00
00000f2f: DUP1
00000f30: RETURNDATACOPY
00000f31: RETURNDATASIZE
00000f32: PUSH1 0x00
00000f34: REVERT
00000f35: JUMPDEST
00000f36: POP
00000f37: POP
00000f38: JUMP
00000f39: JUMPDEST
00000f3a: PUSH1 0x60
00000f3c: PUSH1 0x02
00000f3e: PUSH8 0xffffffffffffffff
00000f47: DUP2
00000f48: GT
00000f49: ISZERO
00000f4a: PUSH2 0x0f56
00000f4d: JUMPI
00000f4e: PUSH2 0x0f55
00000f51: PUSH2 0x232c
00000f54: JUMP
00000f55: JUMPDEST
00000f56: JUMPDEST
00000f57: PUSH1 0x40
00000f59: MLOAD
00000f5a: SWAP1
00000f5b: DUP1
00000f5c: DUP3
00000f5d: MSTORE
00000f5e: DUP1
00000f5f: PUSH1 0x20
00000f61: MUL
00000f62: PUSH1 0x20
00000f64: ADD
00000f65: DUP3
00000f66: ADD
00000f67: PUSH1 0x40
00000f69: MSTORE
00000f6a: DUP1
00000f6b: ISZERO
00000f6c: PUSH2 0x0f84
00000f6f: JUMPI
00000f70: DUP2
00000f71: PUSH1 0x20
00000f73: ADD
00000f74: PUSH1 0x20
00000f76: DUP3
00000f77: MUL
00000f78: DUP1
00000f79: CALLDATASIZE
00000f7a: DUP4
00000f7b: CALLDATACOPY
00000f7c: DUP1
00000f7d: DUP3
00000f7e: ADD
00000f7f: SWAP2
00000f80: POP
00000f81: POP
00000f82: SWAP1
00000f83: POP
00000f84: JUMPDEST
00000f85: POP
00000f86: SWAP1
00000f87: POP
00000f88: DUP4
00000f89: DUP2
00000f8a: PUSH1 0x00
00000f8c: DUP2
00000f8d: MLOAD
00000f8e: DUP2
00000f8f: LT
00000f90: PUSH2 0x0f9c
00000f93: JUMPI
00000f94: PUSH2 0x0f9b
00000f97: PUSH2 0x22fd
00000f9a: JUMP
00000f9b: JUMPDEST
00000f9c: JUMPDEST
00000f9d: PUSH1 0x20
00000f9f: MUL
00000fa0: PUSH1 0x20
00000fa2: ADD
00000fa3: ADD
00000fa4: DUP2
00000fa5: DUP2
00000fa6: MSTORE
00000fa7: POP
00000fa8: POP
00000fa9: PUSH1 0x00
00000fab: DUP1
00000fac: PUSH2 0x0fb6
00000faf: DUP8
00000fb0: DUP7
00000fb1: DUP7
00000fb2: PUSH2 0x1368
00000fb5: JUMP
00000fb6: JUMPDEST
00000fb7: SWAP2
00000fb8: POP
00000fb9: SWAP2
00000fba: POP
00000fbb: PUSH2 0x0fe0
00000fbe: DUP4
00000fbf: PUSH1 0x00
00000fc1: DUP2
00000fc2: MLOAD
00000fc3: DUP2
00000fc4: LT
00000fc5: PUSH2 0x0fd1
00000fc8: JUMPI
00000fc9: PUSH2 0x0fd0
00000fcc: PUSH2 0x22fd
00000fcf: JUMP
00000fd0: JUMPDEST
00000fd1: JUMPDEST
00000fd2: PUSH1 0x20
00000fd4: MUL
00000fd5: PUSH1 0x20
00000fd7: ADD
00000fd8: ADD
00000fd9: MLOAD
00000fda: DUP4
00000fdb: DUP4
00000fdc: PUSH2 0x1470
00000fdf: JUMP
00000fe0: JUMPDEST
00000fe1: DUP4
00000fe2: PUSH1 0x01
00000fe4: DUP2
00000fe5: MLOAD
00000fe6: DUP2
00000fe7: LT
00000fe8: PUSH2 0x0ff4
00000feb: JUMPI
00000fec: PUSH2 0x0ff3
00000fef: PUSH2 0x22fd
00000ff2: JUMP
00000ff3: JUMPDEST
00000ff4: JUMPDEST
00000ff5: PUSH1 0x20
00000ff7: MUL
00000ff8: PUSH1 0x20
00000ffa: ADD
00000ffb: ADD
00000ffc: DUP2
00000ffd: DUP2
00000ffe: MSTORE
00000fff: POP
00001000: POP
00001001: POP
00001002: POP
00001003: SWAP5
00001004: SWAP4
00001005: POP
00001006: POP
00001007: POP
00001008: POP
00001009: JUMP
0000100a: JUMPDEST
0000100b: PUSH1 0x00
0000100d: DUP1
0000100e: DUP5
0000100f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001024: AND
00001025: PUSH4 0xa9059cbb
0000102a: DUP6
0000102b: DUP6
0000102c: PUSH1 0x40
0000102e: MLOAD
0000102f: PUSH1 0x24
00001031: ADD
00001032: PUSH2 0x103c
00001035: SWAP3
00001036: SWAP2
00001037: SWAP1
00001038: PUSH2 0x1e06
0000103b: JUMP
0000103c: JUMPDEST
0000103d: PUSH1 0x40
0000103f: MLOAD
00001040: PUSH1 0x20
00001042: DUP2
00001043: DUP4
00001044: SUB
00001045: SUB
00001046: DUP2
00001047: MSTORE
00001048: SWAP1
00001049: PUSH1 0x40
0000104b: MSTORE
0000104c: SWAP1
0000104d: PUSH1 0xe0
0000104f: SHL
00001050: PUSH1 0x20
00001052: DUP3
00001053: ADD
00001054: DUP1
00001055: MLOAD
00001056: PUSH28 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffff
00001073: DUP4
00001074: DUP2
00001075: DUP4
00001076: AND
00001077: OR
00001078: DUP4
00001079: MSTORE
0000107a: POP
0000107b: POP
0000107c: POP
0000107d: POP
0000107e: PUSH1 0x40
00001080: MLOAD
00001081: PUSH2 0x108a
00001084: SWAP2
00001085: SWAP1
00001086: PUSH2 0x1dd4
00001089: JUMP
0000108a: JUMPDEST
0000108b: PUSH1 0x00
0000108d: PUSH1 0x40
0000108f: MLOAD
00001090: DUP1
00001091: DUP4
00001092: SUB
00001093: DUP2
00001094: PUSH1 0x00
00001096: DUP7
00001097: GAS
00001098: CALL
00001099: SWAP2
0000109a: POP
0000109b: POP
0000109c: RETURNDATASIZE
0000109d: DUP1
0000109e: PUSH1 0x00
000010a0: DUP2
000010a1: EQ
000010a2: PUSH2 0x10c7
000010a5: JUMPI
000010a6: PUSH1 0x40
000010a8: MLOAD
000010a9: SWAP2
000010aa: POP
000010ab: PUSH1 0x1f
000010ad: NOT
000010ae: PUSH1 0x3f
000010b0: RETURNDATASIZE
000010b1: ADD
000010b2: AND
000010b3: DUP3
000010b4: ADD
000010b5: PUSH1 0x40
000010b7: MSTORE
000010b8: RETURNDATASIZE
000010b9: DUP3
000010ba: MSTORE
000010bb: RETURNDATASIZE
000010bc: PUSH1 0x00
000010be: PUSH1 0x20
000010c0: DUP5
000010c1: ADD
000010c2: RETURNDATACOPY
000010c3: PUSH2 0x10cc
000010c6: JUMP
000010c7: JUMPDEST
000010c8: PUSH1 0x60
000010ca: SWAP2
000010cb: POP
000010cc: JUMPDEST
000010cd: POP
000010ce: SWAP2
000010cf: POP
000010d0: SWAP2
000010d1: POP
000010d2: DUP2
000010d3: DUP1
000010d4: ISZERO
000010d5: PUSH2 0x10fa
000010d8: JUMPI
000010d9: POP
000010da: PUSH1 0x00
000010dc: DUP2
000010dd: MLOAD
000010de: EQ
000010df: DUP1
000010e0: PUSH2 0x10f9
000010e3: JUMPI
000010e4: POP
000010e5: DUP1
000010e6: DUP1
000010e7: PUSH1 0x20
000010e9: ADD
000010ea: SWAP1
000010eb: MLOAD
000010ec: DUP2
000010ed: ADD
000010ee: SWAP1
000010ef: PUSH2 0x10f8
000010f2: SWAP2
000010f3: SWAP1
000010f4: PUSH2 0x19b4
000010f7: JUMP
000010f8: JUMPDEST
000010f9: JUMPDEST
000010fa: JUMPDEST
000010fb: PUSH2 0x1139
000010fe: JUMPI
000010ff: PUSH1 0x40
00001101: MLOAD
00001102: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00001123: DUP2
00001124: MSTORE
00001125: PUSH1 0x04
00001127: ADD
00001128: PUSH2 0x1130
0000112b: SWAP1
0000112c: PUSH2 0x1f2f
0000112f: JUMP
00001130: JUMPDEST
00001131: PUSH1 0x40
00001133: MLOAD
00001134: DUP1
00001135: SWAP2
00001136: SUB
00001137: SWAP1
00001138: REVERT
00001139: JUMPDEST
0000113a: POP
0000113b: POP
0000113c: POP
0000113d: POP
0000113e: POP
0000113f: JUMP
00001140: JUMPDEST
00001141: PUSH1 0x00
00001143: PUSH2 0x114c
00001146: DUP6
00001147: DUP6
00001148: PUSH2 0x1533
0000114b: JUMP
0000114c: JUMPDEST
0000114d: POP
0000114e: SWAP1
0000114f: POP
00001150: PUSH1 0x00
00001152: DUP7
00001153: PUSH1 0x01
00001155: DUP2
00001156: MLOAD
00001157: DUP2
00001158: LT
00001159: PUSH2 0x1165
0000115c: JUMPI
0000115d: PUSH2 0x1164
00001160: PUSH2 0x22fd
00001163: JUMP
00001164: JUMPDEST
00001165: JUMPDEST
00001166: PUSH1 0x20
00001168: MUL
00001169: PUSH1 0x20
0000116b: ADD
0000116c: ADD
0000116d: MLOAD
0000116e: SWAP1
0000116f: POP
00001170: PUSH1 0x00
00001172: DUP1
00001173: DUP4
00001174: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001189: AND
0000118a: DUP9
0000118b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000011a0: AND
000011a1: EQ
000011a2: PUSH2 0x11ad
000011a5: JUMPI
000011a6: DUP3
000011a7: PUSH1 0x00
000011a9: PUSH2 0x11b1
000011ac: JUMP
000011ad: JUMPDEST
000011ae: PUSH1 0x00
000011b0: DUP4
000011b1: JUMPDEST
000011b2: SWAP2
000011b3: POP
000011b4: SWAP2
000011b5: POP
000011b6: DUP5
000011b7: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000011cc: AND
000011cd: PUSH4 0x022c0d9f
000011d2: DUP4
000011d3: DUP4
000011d4: DUP10
000011d5: PUSH1 0x00
000011d7: PUSH8 0xffffffffffffffff
000011e0: DUP2
000011e1: GT
000011e2: ISZERO
000011e3: PUSH2 0x11ef
000011e6: JUMPI
000011e7: PUSH2 0x11ee
000011ea: PUSH2 0x232c
000011ed: JUMP
000011ee: JUMPDEST
000011ef: JUMPDEST
000011f0: PUSH1 0x40
000011f2: MLOAD
000011f3: SWAP1
000011f4: DUP1
000011f5: DUP3
000011f6: MSTORE
000011f7: DUP1
000011f8: PUSH1 0x1f
000011fa: ADD
000011fb: PUSH1 0x1f
000011fd: NOT
000011fe: AND
000011ff: PUSH1 0x20
00001201: ADD
00001202: DUP3
00001203: ADD
00001204: PUSH1 0x40
00001206: MSTORE
00001207: DUP1
00001208: ISZERO
00001209: PUSH2 0x1221
0000120c: JUMPI
0000120d: DUP2
0000120e: PUSH1 0x20
00001210: ADD
00001211: PUSH1 0x01
00001213: DUP3
00001214: MUL
00001215: DUP1
00001216: CALLDATASIZE
00001217: DUP4
00001218: CALLDATACOPY
00001219: DUP1
0000121a: DUP3
0000121b: ADD
0000121c: SWAP2
0000121d: POP
0000121e: POP
0000121f: SWAP1
00001220: POP
00001221: JUMPDEST
00001222: POP
00001223: PUSH1 0x40
00001225: MLOAD
00001226: DUP6
00001227: PUSH4 0xffffffff
0000122c: AND
0000122d: PUSH1 0xe0
0000122f: SHL
00001230: DUP2
00001231: MSTORE
00001232: PUSH1 0x04
00001234: ADD
00001235: PUSH2 0x1241
00001238: SWAP5
00001239: SWAP4
0000123a: SWAP3
0000123b: SWAP2
0000123c: SWAP1
0000123d: PUSH2 0x1f6a
00001240: JUMP
00001241: JUMPDEST
00001242: PUSH1 0x00
00001244: PUSH1 0x40
00001246: MLOAD
00001247: DUP1
00001248: DUP4
00001249: SUB
0000124a: DUP2
0000124b: PUSH1 0x00
0000124d: DUP8
0000124e: DUP1
0000124f: EXTCODESIZE
00001250: ISZERO
00001251: DUP1
00001252: ISZERO
00001253: PUSH2 0x125b
00001256: JUMPI
00001257: PUSH1 0x00
00001259: DUP1
0000125a: REVERT
0000125b: JUMPDEST
0000125c: POP
0000125d: GAS
0000125e: CALL
0000125f: ISZERO
00001260: DUP1
00001261: ISZERO
00001262: PUSH2 0x126f
00001265: JUMPI
00001266: RETURNDATASIZE
00001267: PUSH1 0x00
00001269: DUP1
0000126a: RETURNDATACOPY
0000126b: RETURNDATASIZE
0000126c: PUSH1 0x00
0000126e: REVERT
0000126f: JUMPDEST
00001270: POP
00001271: POP
00001272: POP
00001273: POP
00001274: POP
00001275: POP
00001276: POP
00001277: POP
00001278: POP
00001279: POP
0000127a: POP
0000127b: POP
0000127c: POP
0000127d: JUMP
0000127e: JUMPDEST
0000127f: PUSH1 0x00
00001281: DUP2
00001282: DUP4
00001283: LT
00001284: PUSH2 0x128d
00001287: JUMPI
00001288: DUP2
00001289: PUSH2 0x128f
0000128c: JUMP
0000128d: JUMPDEST
0000128e: DUP3
0000128f: JUMPDEST
00001290: SWAP1
00001291: POP
00001292: SWAP3
00001293: SWAP2
00001294: POP
00001295: POP
00001296: JUMP
00001297: JUMPDEST
00001298: PUSH1 0x60
0000129a: PUSH1 0x02
0000129c: PUSH8 0xffffffffffffffff
000012a5: DUP2
000012a6: GT
000012a7: ISZERO
000012a8: PUSH2 0x12b4
000012ab: JUMPI
000012ac: PUSH2 0x12b3
000012af: PUSH2 0x232c
000012b2: JUMP
000012b3: JUMPDEST
000012b4: JUMPDEST
000012b5: PUSH1 0x40
000012b7: MLOAD
000012b8: SWAP1
000012b9: DUP1
000012ba: DUP3
000012bb: MSTORE
000012bc: DUP1
000012bd: PUSH1 0x20
000012bf: MUL
000012c0: PUSH1 0x20
000012c2: ADD
000012c3: DUP3
000012c4: ADD
000012c5: PUSH1 0x40
000012c7: MSTORE
000012c8: DUP1
000012c9: ISZERO
000012ca: PUSH2 0x12e2
000012cd: JUMPI
000012ce: DUP2
000012cf: PUSH1 0x20
000012d1: ADD
000012d2: PUSH1 0x20
000012d4: DUP3
000012d5: MUL
000012d6: DUP1
000012d7: CALLDATASIZE
000012d8: DUP4
000012d9: CALLDATACOPY
000012da: DUP1
000012db: DUP3
000012dc: ADD
000012dd: SWAP2
000012de: POP
000012df: POP
000012e0: SWAP1
000012e1: POP
000012e2: JUMPDEST
000012e3: POP
000012e4: SWAP1
000012e5: POP
000012e6: DUP4
000012e7: DUP2
000012e8: PUSH1 0x01
000012ea: DUP2
000012eb: MLOAD
000012ec: DUP2
000012ed: LT
000012ee: PUSH2 0x12fa
000012f1: JUMPI
000012f2: PUSH2 0x12f9
000012f5: PUSH2 0x22fd
000012f8: JUMP
000012f9: JUMPDEST
000012fa: JUMPDEST
000012fb: PUSH1 0x20
000012fd: MUL
000012fe: PUSH1 0x20
00001300: ADD
00001301: ADD
00001302: DUP2
00001303: DUP2
00001304: MSTORE
00001305: POP
00001306: POP
00001307: PUSH1 0x00
00001309: DUP1
0000130a: PUSH2 0x1314
0000130d: DUP8
0000130e: DUP7
0000130f: DUP7
00001310: PUSH2 0x1368
00001313: JUMP
00001314: JUMPDEST
00001315: SWAP2
00001316: POP
00001317: SWAP2
00001318: POP
00001319: PUSH2 0x133e
0000131c: DUP4
0000131d: PUSH1 0x01
0000131f: DUP2
00001320: MLOAD
00001321: DUP2
00001322: LT
00001323: PUSH2 0x132f
00001326: JUMPI
00001327: PUSH2 0x132e
0000132a: PUSH2 0x22fd
0000132d: JUMP
0000132e: JUMPDEST
0000132f: JUMPDEST
00001330: PUSH1 0x20
00001332: MUL
00001333: PUSH1 0x20
00001335: ADD
00001336: ADD
00001337: MLOAD
00001338: DUP4
00001339: DUP4
0000133a: PUSH2 0x1582
0000133d: JUMP
0000133e: JUMPDEST
0000133f: DUP4
00001340: PUSH1 0x00
00001342: DUP2
00001343: MLOAD
00001344: DUP2
00001345: LT
00001346: PUSH2 0x1352
00001349: JUMPI
0000134a: PUSH2 0x1351
0000134d: PUSH2 0x22fd
00001350: JUMP
00001351: JUMPDEST
00001352: JUMPDEST
00001353: PUSH1 0x20
00001355: MUL
00001356: PUSH1 0x20
00001358: ADD
00001359: ADD
0000135a: DUP2
0000135b: DUP2
0000135c: MSTORE
0000135d: POP
0000135e: POP
0000135f: POP
00001360: POP
00001361: SWAP5
00001362: SWAP4
00001363: POP
00001364: POP
00001365: POP
00001366: POP
00001367: JUMP
00001368: JUMPDEST
00001369: PUSH1 0x00
0000136b: DUP1
0000136c: PUSH1 0x00
0000136e: PUSH2 0x1377
00001371: DUP6
00001372: DUP6
00001373: PUSH2 0x1533
00001376: JUMP
00001377: JUMPDEST
00001378: POP
00001379: SWAP1
0000137a: POP
0000137b: PUSH1 0x00
0000137d: DUP1
0000137e: DUP8
0000137f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001394: AND
00001395: PUSH4 0x0902f1ac
0000139a: PUSH1 0x40
0000139c: MLOAD
0000139d: DUP2
0000139e: PUSH4 0xffffffff
000013a3: AND
000013a4: PUSH1 0xe0
000013a6: SHL
000013a7: DUP2
000013a8: MSTORE
000013a9: PUSH1 0x04
000013ab: ADD
000013ac: PUSH1 0x60
000013ae: PUSH1 0x40
000013b0: MLOAD
000013b1: DUP1
000013b2: DUP4
000013b3: SUB
000013b4: DUP2
000013b5: DUP7
000013b6: DUP1
000013b7: EXTCODESIZE
000013b8: ISZERO
000013b9: DUP1
000013ba: ISZERO
000013bb: PUSH2 0x13c3
000013be: JUMPI
000013bf: PUSH1 0x00
000013c1: DUP1
000013c2: REVERT
000013c3: JUMPDEST
000013c4: POP
000013c5: GAS
000013c6: STATICCALL
000013c7: ISZERO
000013c8: DUP1
000013c9: ISZERO
000013ca: PUSH2 0x13d7
000013cd: JUMPI
000013ce: RETURNDATASIZE
000013cf: PUSH1 0x00
000013d1: DUP1
000013d2: RETURNDATACOPY
000013d3: RETURNDATASIZE
000013d4: PUSH1 0x00
000013d6: REVERT
000013d7: JUMPDEST
000013d8: POP
000013d9: POP
000013da: POP
000013db: POP
000013dc: PUSH1 0x40
000013de: MLOAD
000013df: RETURNDATASIZE
000013e0: PUSH1 0x1f
000013e2: NOT
000013e3: PUSH1 0x1f
000013e5: DUP3
000013e6: ADD
000013e7: AND
000013e8: DUP3
000013e9: ADD
000013ea: DUP1
000013eb: PUSH1 0x40
000013ed: MSTORE
000013ee: POP
000013ef: DUP2
000013f0: ADD
000013f1: SWAP1
000013f2: PUSH2 0x13fb
000013f5: SWAP2
000013f6: SWAP1
000013f7: PUSH2 0x1a6e
000013fa: JUMP
000013fb: JUMPDEST
000013fc: POP
000013fd: PUSH14 0xffffffffffffffffffffffffffff
0000140c: AND
0000140d: SWAP2
0000140e: POP
0000140f: PUSH14 0xffffffffffffffffffffffffffff
0000141e: AND
0000141f: SWAP2
00001420: POP
00001421: DUP3
00001422: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001437: AND
00001438: DUP8
00001439: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000144e: AND
0000144f: EQ
00001450: PUSH2 0x145a
00001453: JUMPI
00001454: DUP1
00001455: DUP3
00001456: PUSH2 0x145d
00001459: JUMP
0000145a: JUMPDEST
0000145b: DUP2
0000145c: DUP2
0000145d: JUMPDEST
0000145e: DUP1
0000145f: SWAP6
00001460: POP
00001461: DUP2
00001462: SWAP7
00001463: POP
00001464: POP
00001465: POP
00001466: POP
00001467: POP
00001468: POP
00001469: SWAP4
0000146a: POP
0000146b: SWAP4
0000146c: SWAP2
0000146d: POP
0000146e: POP
0000146f: JUMP
00001470: JUMPDEST
00001471: PUSH1 0x00
00001473: DUP1
00001474: DUP4
00001475: GT
00001476: DUP1
00001477: ISZERO
00001478: PUSH2 0x1481
0000147b: JUMPI
0000147c: POP
0000147d: PUSH1 0x00
0000147f: DUP3
00001480: GT
00001481: JUMPDEST
00001482: PUSH2 0x14c0
00001485: JUMPI
00001486: PUSH1 0x40
00001488: MLOAD
00001489: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
000014aa: DUP2
000014ab: MSTORE
000014ac: PUSH1 0x04
000014ae: ADD
000014af: PUSH2 0x14b7
000014b2: SWAP1
000014b3: PUSH2 0x1eef
000014b6: JUMP
000014b7: JUMPDEST
000014b8: PUSH1 0x40
000014ba: MLOAD
000014bb: DUP1
000014bc: SWAP2
000014bd: SUB
000014be: SWAP1
000014bf: REVERT
000014c0: JUMPDEST
000014c1: PUSH1 0x00
000014c3: PUSH2 0x14d7
000014c6: PUSH2 0x03e5
000014c9: DUP7
000014ca: PUSH2 0x1652
000014cd: SWAP1
000014ce: SWAP2
000014cf: SWAP1
000014d0: PUSH4 0xffffffff
000014d5: AND
000014d6: JUMP
000014d7: JUMPDEST
000014d8: SWAP1
000014d9: POP
000014da: PUSH1 0x00
000014dc: PUSH2 0x14ee
000014df: DUP5
000014e0: DUP4
000014e1: PUSH2 0x1652
000014e4: SWAP1
000014e5: SWAP2
000014e6: SWAP1
000014e7: PUSH4 0xffffffff
000014ec: AND
000014ed: JUMP
000014ee: JUMPDEST
000014ef: SWAP1
000014f0: POP
000014f1: PUSH1 0x00
000014f3: PUSH2 0x1519
000014f6: DUP4
000014f7: PUSH2 0x150b
000014fa: PUSH2 0x03e8
000014fd: DUP10
000014fe: PUSH2 0x1652
00001501: SWAP1
00001502: SWAP2
00001503: SWAP1
00001504: PUSH4 0xffffffff
00001509: AND
0000150a: JUMP
0000150b: JUMPDEST
0000150c: PUSH2 0x16bf
0000150f: SWAP1
00001510: SWAP2
00001511: SWAP1
00001512: PUSH4 0xffffffff
00001517: AND
00001518: JUMP
00001519: JUMPDEST
0000151a: SWAP1
0000151b: POP
0000151c: DUP1
0000151d: DUP3
0000151e: PUSH2 0x1527
00001521: SWAP2
00001522: SWAP1
00001523: PUSH2 0x2095
00001526: JUMP
00001527: JUMPDEST
00001528: SWAP4
00001529: POP
0000152a: POP
0000152b: POP
0000152c: POP
0000152d: SWAP4
0000152e: SWAP3
0000152f: POP
00001530: POP
00001531: POP
00001532: JUMP
00001533: JUMPDEST
00001534: PUSH1 0x00
00001536: DUP1
00001537: DUP3
00001538: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000154d: AND
0000154e: DUP5
0000154f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001564: AND
00001565: LT
00001566: PUSH2 0x1570
00001569: JUMPI
0000156a: DUP3
0000156b: DUP5
0000156c: PUSH2 0x1573
0000156f: JUMP
00001570: JUMPDEST
00001571: DUP4
00001572: DUP4
00001573: JUMPDEST
00001574: DUP1
00001575: SWAP3
00001576: POP
00001577: DUP2
00001578: SWAP4
00001579: POP
0000157a: POP
0000157b: POP
0000157c: SWAP3
0000157d: POP
0000157e: SWAP3
0000157f: SWAP1
00001580: POP
00001581: JUMP
00001582: JUMPDEST
00001583: PUSH1 0x00
00001585: DUP1
00001586: DUP4
00001587: GT
00001588: DUP1
00001589: ISZERO
0000158a: PUSH2 0x1593
0000158d: JUMPI
0000158e: POP
0000158f: PUSH1 0x00
00001591: DUP3
00001592: GT
00001593: JUMPDEST
00001594: PUSH2 0x15d2
00001597: JUMPI
00001598: PUSH1 0x40
0000159a: MLOAD
0000159b: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
000015bc: DUP2
000015bd: MSTORE
000015be: PUSH1 0x04
000015c0: ADD
000015c1: PUSH2 0x15c9
000015c4: SWAP1
000015c5: PUSH2 0x1eef
000015c8: JUMP
000015c9: JUMPDEST
000015ca: PUSH1 0x40
000015cc: MLOAD
000015cd: DUP1
000015ce: SWAP2
000015cf: SUB
000015d0: SWAP1
000015d1: REVERT
000015d2: JUMPDEST
000015d3: PUSH1 0x00
000015d5: PUSH2 0x15fb
000015d8: PUSH2 0x03e8
000015db: PUSH2 0x15ed
000015de: DUP8
000015df: DUP8
000015e0: PUSH2 0x1652
000015e3: SWAP1
000015e4: SWAP2
000015e5: SWAP1
000015e6: PUSH4 0xffffffff
000015eb: AND
000015ec: JUMP
000015ed: JUMPDEST
000015ee: PUSH2 0x1652
000015f1: SWAP1
000015f2: SWAP2
000015f3: SWAP1
000015f4: PUSH4 0xffffffff
000015f9: AND
000015fa: JUMP
000015fb: JUMPDEST
000015fc: SWAP1
000015fd: POP
000015fe: PUSH1 0x00
00001600: PUSH2 0x1626
00001603: PUSH2 0x03e5
00001606: PUSH2 0x1618
00001609: DUP9
0000160a: DUP8
0000160b: PUSH2 0x1718
0000160e: SWAP1
0000160f: SWAP2
00001610: SWAP1
00001611: PUSH4 0xffffffff
00001616: AND
00001617: JUMP
00001618: JUMPDEST
00001619: PUSH2 0x1652
0000161c: SWAP1
0000161d: SWAP2
0000161e: SWAP1
0000161f: PUSH4 0xffffffff
00001624: AND
00001625: JUMP
00001626: JUMPDEST
00001627: SWAP1
00001628: POP
00001629: PUSH2 0x1647
0000162c: PUSH1 0x01
0000162e: DUP3
0000162f: DUP5
00001630: PUSH2 0x1639
00001633: SWAP2
00001634: SWAP1
00001635: PUSH2 0x2095
00001638: JUMP
00001639: JUMPDEST
0000163a: PUSH2 0x16bf
0000163d: SWAP1
0000163e: SWAP2
0000163f: SWAP1
00001640: PUSH4 0xffffffff
00001645: AND
00001646: JUMP
00001647: JUMPDEST
00001648: SWAP3
00001649: POP
0000164a: POP
0000164b: POP
0000164c: SWAP4
0000164d: SWAP3
0000164e: POP
0000164f: POP
00001650: POP
00001651: JUMP
00001652: JUMPDEST
00001653: PUSH1 0x00
00001655: DUP1
00001656: DUP3
00001657: EQ
00001658: DUP1
00001659: PUSH2 0x167a
0000165c: JUMPI
0000165d: POP
0000165e: DUP3
0000165f: DUP3
00001660: DUP4
00001661: DUP6
00001662: PUSH2 0x166b
00001665: SWAP2
00001666: SWAP1
00001667: PUSH2 0x20c6
0000166a: JUMP
0000166b: JUMPDEST
0000166c: SWAP3
0000166d: POP
0000166e: DUP3
0000166f: PUSH2 0x1678
00001672: SWAP2
00001673: SWAP1
00001674: PUSH2 0x2095
00001677: JUMP
00001678: JUMPDEST
00001679: EQ
0000167a: JUMPDEST
0000167b: PUSH2 0x16b9
0000167e: JUMPI
0000167f: PUSH1 0x40
00001681: MLOAD
00001682: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
000016a3: DUP2
000016a4: MSTORE
000016a5: PUSH1 0x04
000016a7: ADD
000016a8: PUSH2 0x16b0
000016ab: SWAP1
000016ac: PUSH2 0x1e8f
000016af: JUMP
000016b0: JUMPDEST
000016b1: PUSH1 0x40
000016b3: MLOAD
000016b4: DUP1
000016b5: SWAP2
000016b6: SUB
000016b7: SWAP1
000016b8: REVERT
000016b9: JUMPDEST
000016ba: SWAP3
000016bb: SWAP2
000016bc: POP
000016bd: POP
000016be: JUMP
000016bf: JUMPDEST
000016c0: PUSH1 0x00
000016c2: DUP3
000016c3: DUP3
000016c4: DUP5
000016c5: PUSH2 0x16ce
000016c8: SWAP2
000016c9: SWAP1
000016ca: PUSH2 0x203f
000016cd: JUMP
000016ce: JUMPDEST
000016cf: SWAP2
000016d0: POP
000016d1: DUP2
000016d2: LT
000016d3: ISZERO
000016d4: PUSH2 0x1712
000016d7: JUMPI
000016d8: PUSH1 0x40
000016da: MLOAD
000016db: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
000016fc: DUP2
000016fd: MSTORE
000016fe: PUSH1 0x04
00001700: ADD
00001701: PUSH2 0x1709
00001704: SWAP1
00001705: PUSH2 0x1eaf
00001708: JUMP
00001709: JUMPDEST
0000170a: PUSH1 0x40
0000170c: MLOAD
0000170d: DUP1
0000170e: SWAP2
0000170f: SUB
00001710: SWAP1
00001711: REVERT
00001712: JUMPDEST
00001713: SWAP3
00001714: SWAP2
00001715: POP
00001716: POP
00001717: JUMP
00001718: JUMPDEST
00001719: PUSH1 0x00
0000171b: DUP3
0000171c: DUP3
0000171d: DUP5
0000171e: PUSH2 0x1727
00001721: SWAP2
00001722: SWAP1
00001723: PUSH2 0x2120
00001726: JUMP
00001727: JUMPDEST
00001728: SWAP2
00001729: POP
0000172a: DUP2
0000172b: GT
0000172c: ISZERO
0000172d: PUSH2 0x176b
00001730: JUMPI
00001731: PUSH1 0x40
00001733: MLOAD
00001734: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00001755: DUP2
00001756: MSTORE
00001757: PUSH1 0x04
00001759: ADD
0000175a: PUSH2 0x1762
0000175d: SWAP1
0000175e: PUSH2 0x1e4f
00001761: JUMP
00001762: JUMPDEST
00001763: PUSH1 0x40
00001765: MLOAD
00001766: DUP1
00001767: SWAP2
00001768: SUB
00001769: SWAP1
0000176a: REVERT
0000176b: JUMPDEST
0000176c: SWAP3
0000176d: SWAP2
0000176e: POP
0000176f: POP
00001770: JUMP
00001771: JUMPDEST
00001772: PUSH1 0x00
00001774: PUSH2 0x1784
00001777: PUSH2 0x177f
0000177a: DUP5
0000177b: PUSH2 0x1fdb
0000177e: JUMP
0000177f: JUMPDEST
00001780: PUSH2 0x1fb6
00001783: JUMP
00001784: JUMPDEST
00001785: SWAP1
00001786: POP
00001787: DUP1
00001788: DUP4
00001789: DUP3
0000178a: MSTORE
0000178b: PUSH1 0x20
0000178d: DUP3
0000178e: ADD
0000178f: SWAP1
00001790: POP
00001791: DUP3
00001792: DUP6
00001793: PUSH1 0x20
00001795: DUP7
00001796: MUL
00001797: DUP3
00001798: ADD
00001799: GT
0000179a: ISZERO
0000179b: PUSH2 0x17a7
0000179e: JUMPI
0000179f: PUSH2 0x17a6
000017a2: PUSH2 0x2360
000017a5: JUMP
000017a6: JUMPDEST
000017a7: JUMPDEST
000017a8: PUSH1 0x00
000017aa: JUMPDEST
000017ab: DUP6
000017ac: DUP2
000017ad: LT
000017ae: ISZERO
000017af: PUSH2 0x17d7
000017b2: JUMPI
000017b3: DUP2
000017b4: PUSH2 0x17bd
000017b7: DUP9
000017b8: DUP3
000017b9: PUSH2 0x17e1
000017bc: JUMP
000017bd: JUMPDEST
000017be: DUP5
000017bf: MSTORE
000017c0: PUSH1 0x20
000017c2: DUP5
000017c3: ADD
000017c4: SWAP4
000017c5: POP
000017c6: PUSH1 0x20
000017c8: DUP4
000017c9: ADD
000017ca: SWAP3
000017cb: POP
000017cc: POP
000017cd: PUSH1 0x01
000017cf: DUP2
000017d0: ADD
000017d1: SWAP1
000017d2: POP
000017d3: PUSH2 0x17aa
000017d6: JUMP
000017d7: JUMPDEST
000017d8: POP
000017d9: POP
000017da: POP
000017db: SWAP4
000017dc: SWAP3
000017dd: POP
000017de: POP
000017df: POP
000017e0: JUMP
000017e1: JUMPDEST
000017e2: PUSH1 0x00
000017e4: DUP2
000017e5: CALLDATALOAD
000017e6: SWAP1
000017e7: POP
000017e8: PUSH2 0x17f0
000017eb: DUP2
000017ec: PUSH2 0x2589
000017ef: JUMP
000017f0: JUMPDEST
000017f1: SWAP3
000017f2: SWAP2
000017f3: POP
000017f4: POP
000017f5: JUMP
000017f6: JUMPDEST
000017f7: PUSH1 0x00
000017f9: DUP3
000017fa: PUSH1 0x1f
000017fc: DUP4
000017fd: ADD
000017fe: SLT
000017ff: PUSH2 0x180b
00001802: JUMPI
00001803: PUSH2 0x180a
00001806: PUSH2 0x235b
00001809: JUMP
0000180a: JUMPDEST
0000180b: JUMPDEST
0000180c: DUP2
0000180d: CALLDATALOAD
0000180e: PUSH2 0x181b
00001811: DUP5
00001812: DUP3
00001813: PUSH1 0x20
00001815: DUP7
00001816: ADD
00001817: PUSH2 0x1771
0000181a: JUMP
0000181b: JUMPDEST
0000181c: SWAP2
0000181d: POP
0000181e: POP
0000181f: SWAP3
00001820: SWAP2
00001821: POP
00001822: POP
00001823: JUMP
00001824: JUMPDEST
00001825: PUSH1 0x00
00001827: DUP2
00001828: MLOAD
00001829: SWAP1
0000182a: POP
0000182b: PUSH2 0x1833
0000182e: DUP2
0000182f: PUSH2 0x25a0
00001832: JUMP
00001833: JUMPDEST
00001834: SWAP3
00001835: SWAP2
00001836: POP
00001837: POP
00001838: JUMP
00001839: JUMPDEST
0000183a: PUSH1 0x00
0000183c: DUP2
0000183d: CALLDATALOAD
0000183e: SWAP1
0000183f: POP
00001840: PUSH2 0x1848
00001843: DUP2
00001844: PUSH2 0x25b7
00001847: JUMP
00001848: JUMPDEST
00001849: SWAP3
0000184a: SWAP2
0000184b: POP
0000184c: POP
0000184d: JUMP
0000184e: JUMPDEST
0000184f: PUSH1 0x00
00001851: DUP2
00001852: MLOAD
00001853: SWAP1
00001854: POP
00001855: PUSH2 0x185d
00001858: DUP2
00001859: PUSH2 0x25ce
0000185c: JUMP
0000185d: JUMPDEST
0000185e: SWAP3
0000185f: SWAP2
00001860: POP
00001861: POP
00001862: JUMP
00001863: JUMPDEST
00001864: PUSH1 0x00
00001866: DUP2
00001867: CALLDATALOAD
00001868: SWAP1
00001869: POP
0000186a: PUSH2 0x1872
0000186d: DUP2
0000186e: PUSH2 0x25e5
00001871: JUMP
00001872: JUMPDEST
00001873: SWAP3
00001874: SWAP2
00001875: POP
00001876: POP
00001877: JUMP
00001878: JUMPDEST
00001879: PUSH1 0x00
0000187b: DUP2
0000187c: MLOAD
0000187d: SWAP1
0000187e: POP
0000187f: PUSH2 0x1887
00001882: DUP2
00001883: PUSH2 0x25e5
00001886: JUMP
00001887: JUMPDEST
00001888: SWAP3
00001889: SWAP2
0000188a: POP
0000188b: POP
0000188c: JUMP
0000188d: JUMPDEST
0000188e: PUSH1 0x00
00001890: DUP2
00001891: MLOAD
00001892: SWAP1
00001893: POP
00001894: PUSH2 0x189c
00001897: DUP2
00001898: PUSH2 0x25fc
0000189b: JUMP
0000189c: JUMPDEST
0000189d: SWAP3
0000189e: SWAP2
0000189f: POP
000018a0: POP
000018a1: JUMP
000018a2: JUMPDEST
000018a3: PUSH1 0x00
000018a5: PUSH1 0x20
000018a7: DUP3
000018a8: DUP5
000018a9: SUB
000018aa: SLT
000018ab: ISZERO
000018ac: PUSH2 0x18b8
000018af: JUMPI
000018b0: PUSH2 0x18b7
000018b3: PUSH2 0x236a
000018b6: JUMP
000018b7: JUMPDEST
000018b8: JUMPDEST
000018b9: PUSH1 0x00
000018bb: PUSH2 0x18c6
000018be: DUP5
000018bf: DUP3
000018c0: DUP6
000018c1: ADD
000018c2: PUSH2 0x17e1
000018c5: JUMP
000018c6: JUMPDEST
000018c7: SWAP2
000018c8: POP
000018c9: POP
000018ca: SWAP3
000018cb: SWAP2
000018cc: POP
000018cd: POP
000018ce: JUMP
000018cf: JUMPDEST
000018d0: PUSH1 0x00
000018d2: DUP1
000018d3: PUSH1 0x40
000018d5: DUP4
000018d6: DUP6
000018d7: SUB
000018d8: SLT
000018d9: ISZERO
000018da: PUSH2 0x18e6
000018dd: JUMPI
000018de: PUSH2 0x18e5
000018e1: PUSH2 0x236a
000018e4: JUMP
000018e5: JUMPDEST
000018e6: JUMPDEST
000018e7: PUSH1 0x00
000018e9: PUSH2 0x18f4
000018ec: DUP6
000018ed: DUP3
000018ee: DUP7
000018ef: ADD
000018f0: PUSH2 0x17e1
000018f3: JUMP
000018f4: JUMPDEST
000018f5: SWAP3
000018f6: POP
000018f7: POP
000018f8: PUSH1 0x20
000018fa: PUSH2 0x1905
000018fd: DUP6
000018fe: DUP3
000018ff: DUP7
00001900: ADD
00001901: PUSH2 0x1863
00001904: JUMP
00001905: JUMPDEST
00001906: SWAP2
00001907: POP
00001908: POP
00001909: SWAP3
0000190a: POP
0000190b: SWAP3
0000190c: SWAP1
0000190d: POP
0000190e: JUMP
0000190f: JUMPDEST
00001910: PUSH1 0x00
00001912: PUSH1 0x20
00001914: DUP3
00001915: DUP5
00001916: SUB
00001917: SLT
00001918: ISZERO
00001919: PUSH2 0x1925
0000191c: JUMPI
0000191d: PUSH2 0x1924
00001920: PUSH2 0x236a
00001923: JUMP
00001924: JUMPDEST
00001925: JUMPDEST
00001926: PUSH1 0x00
00001928: DUP3
00001929: ADD
0000192a: CALLDATALOAD
0000192b: PUSH8 0xffffffffffffffff
00001934: DUP2
00001935: GT
00001936: ISZERO
00001937: PUSH2 0x1943
0000193a: JUMPI
0000193b: PUSH2 0x1942
0000193e: PUSH2 0x2365
00001941: JUMP
00001942: JUMPDEST
00001943: JUMPDEST
00001944: PUSH2 0x194f
00001947: DUP5
00001948: DUP3
00001949: DUP6
0000194a: ADD
0000194b: PUSH2 0x17f6
0000194e: JUMP
0000194f: JUMPDEST
00001950: SWAP2
00001951: POP
00001952: POP
00001953: SWAP3
00001954: SWAP2
00001955: POP
00001956: POP
00001957: JUMP
00001958: JUMPDEST
00001959: PUSH1 0x00
0000195b: DUP1
0000195c: PUSH1 0x40
0000195e: DUP4
0000195f: DUP6
00001960: SUB
00001961: SLT
00001962: ISZERO
00001963: PUSH2 0x196f
00001966: JUMPI
00001967: PUSH2 0x196e
0000196a: PUSH2 0x236a
0000196d: JUMP
0000196e: JUMPDEST
0000196f: JUMPDEST
00001970: PUSH1 0x00
00001972: DUP4
00001973: ADD
00001974: CALLDATALOAD
00001975: PUSH8 0xffffffffffffffff
0000197e: DUP2
0000197f: GT
00001980: ISZERO
00001981: PUSH2 0x198d
00001984: JUMPI
00001985: PUSH2 0x198c
00001988: PUSH2 0x2365
0000198b: JUMP
0000198c: JUMPDEST
0000198d: JUMPDEST
0000198e: PUSH2 0x1999
00001991: DUP6
00001992: DUP3
00001993: DUP7
00001994: ADD
00001995: PUSH2 0x17f6
00001998: JUMP
00001999: JUMPDEST
0000199a: SWAP3
0000199b: POP
0000199c: POP
0000199d: PUSH1 0x20
0000199f: PUSH2 0x19aa
000019a2: DUP6
000019a3: DUP3
000019a4: DUP7
000019a5: ADD
000019a6: PUSH2 0x17e1
000019a9: JUMP
000019aa: JUMPDEST
000019ab: SWAP2
000019ac: POP
000019ad: POP
000019ae: SWAP3
000019af: POP
000019b0: SWAP3
000019b1: SWAP1
000019b2: POP
000019b3: JUMP
000019b4: JUMPDEST
000019b5: PUSH1 0x00
000019b7: PUSH1 0x20
000019b9: DUP3
000019ba: DUP5
000019bb: SUB
000019bc: SLT
000019bd: ISZERO
000019be: PUSH2 0x19ca
000019c1: JUMPI
000019c2: PUSH2 0x19c9
000019c5: PUSH2 0x236a
000019c8: JUMP
000019c9: JUMPDEST
000019ca: JUMPDEST
000019cb: PUSH1 0x00
000019cd: PUSH2 0x19d8
000019d0: DUP5
000019d1: DUP3
000019d2: DUP6
000019d3: ADD
000019d4: PUSH2 0x1824
000019d7: JUMP
000019d8: JUMPDEST
000019d9: SWAP2
000019da: POP
000019db: POP
000019dc: SWAP3
000019dd: SWAP2
000019de: POP
000019df: POP
000019e0: JUMP
000019e1: JUMPDEST
000019e2: PUSH1 0x00
000019e4: DUP1
000019e5: PUSH1 0x00
000019e7: DUP1
000019e8: PUSH1 0x00
000019ea: DUP1
000019eb: PUSH1 0xc0
000019ed: DUP8
000019ee: DUP10
000019ef: SUB
000019f0: SLT
000019f1: ISZERO
000019f2: PUSH2 0x19fe
000019f5: JUMPI
000019f6: PUSH2 0x19fd
000019f9: PUSH2 0x236a
000019fc: JUMP
000019fd: JUMPDEST
000019fe: JUMPDEST
000019ff: PUSH1 0x00
00001a01: PUSH2 0x1a0c
00001a04: DUP10
00001a05: DUP3
00001a06: DUP11
00001a07: ADD
00001a08: PUSH2 0x1839
00001a0b: JUMP
00001a0c: JUMPDEST
00001a0d: SWAP7
00001a0e: POP
00001a0f: POP
00001a10: PUSH1 0x20
00001a12: PUSH2 0x1a1d
00001a15: DUP10
00001a16: DUP3
00001a17: DUP11
00001a18: ADD
00001a19: PUSH2 0x17e1
00001a1c: JUMP
00001a1d: JUMPDEST
00001a1e: SWAP6
00001a1f: POP
00001a20: POP
00001a21: PUSH1 0x40
00001a23: PUSH2 0x1a2e
00001a26: DUP10
00001a27: DUP3
00001a28: DUP11
00001a29: ADD
00001a2a: PUSH2 0x17e1
00001a2d: JUMP
00001a2e: JUMPDEST
00001a2f: SWAP5
00001a30: POP
00001a31: POP
00001a32: PUSH1 0x60
00001a34: PUSH2 0x1a3f
00001a37: DUP10
00001a38: DUP3
00001a39: DUP11
00001a3a: ADD
00001a3b: PUSH2 0x1863
00001a3e: JUMP
00001a3f: JUMPDEST
00001a40: SWAP4
00001a41: POP
00001a42: POP
00001a43: PUSH1 0x80
00001a45: PUSH2 0x1a50
00001a48: DUP10
00001a49: DUP3
00001a4a: DUP11
00001a4b: ADD
00001a4c: PUSH2 0x1863
00001a4f: JUMP
00001a50: JUMPDEST
00001a51: SWAP3
00001a52: POP
00001a53: POP
00001a54: PUSH1 0xa0
00001a56: PUSH2 0x1a61
00001a59: DUP10
00001a5a: DUP3
00001a5b: DUP11
00001a5c: ADD
00001a5d: PUSH2 0x1863
00001a60: JUMP
00001a61: JUMPDEST
00001a62: SWAP2
00001a63: POP
00001a64: POP
00001a65: SWAP3
00001a66: SWAP6
00001a67: POP
00001a68: SWAP3
00001a69: SWAP6
00001a6a: POP
00001a6b: SWAP3
00001a6c: SWAP6
00001a6d: JUMP
00001a6e: JUMPDEST
00001a6f: PUSH1 0x00
00001a71: DUP1
00001a72: PUSH1 0x00
00001a74: PUSH1 0x60
00001a76: DUP5
00001a77: DUP7
00001a78: SUB
00001a79: SLT
00001a7a: ISZERO
00001a7b: PUSH2 0x1a87
00001a7e: JUMPI
00001a7f: PUSH2 0x1a86
00001a82: PUSH2 0x236a
00001a85: JUMP
00001a86: JUMPDEST
00001a87: JUMPDEST
00001a88: PUSH1 0x00
00001a8a: PUSH2 0x1a95
00001a8d: DUP7
00001a8e: DUP3
00001a8f: DUP8
00001a90: ADD
00001a91: PUSH2 0x184e
00001a94: JUMP
00001a95: JUMPDEST
00001a96: SWAP4
00001a97: POP
00001a98: POP
00001a99: PUSH1 0x20
00001a9b: PUSH2 0x1aa6
00001a9e: DUP7
00001a9f: DUP3
00001aa0: DUP8
00001aa1: ADD
00001aa2: PUSH2 0x184e
00001aa5: JUMP
00001aa6: JUMPDEST
00001aa7: SWAP3
00001aa8: POP
00001aa9: POP
00001aaa: PUSH1 0x40
00001aac: PUSH2 0x1ab7
00001aaf: DUP7
00001ab0: DUP3
00001ab1: DUP8
00001ab2: ADD
00001ab3: PUSH2 0x188d
00001ab6: JUMP
00001ab7: JUMPDEST
00001ab8: SWAP2
00001ab9: POP
00001aba: POP
00001abb: SWAP3
00001abc: POP
00001abd: SWAP3
00001abe: POP
00001abf: SWAP3
00001ac0: JUMP
00001ac1: JUMPDEST
00001ac2: PUSH1 0x00
00001ac4: PUSH1 0x20
00001ac6: DUP3
00001ac7: DUP5
00001ac8: SUB
00001ac9: SLT
00001aca: ISZERO
00001acb: PUSH2 0x1ad7
00001ace: JUMPI
00001acf: PUSH2 0x1ad6
00001ad2: PUSH2 0x236a
00001ad5: JUMP
00001ad6: JUMPDEST
00001ad7: JUMPDEST
00001ad8: PUSH1 0x00
00001ada: PUSH2 0x1ae5
00001add: DUP5
00001ade: DUP3
00001adf: DUP6
00001ae0: ADD
00001ae1: PUSH2 0x1863
00001ae4: JUMP
00001ae5: JUMPDEST
00001ae6: SWAP2
00001ae7: POP
00001ae8: POP
00001ae9: SWAP3
00001aea: SWAP2
00001aeb: POP
00001aec: POP
00001aed: JUMP
00001aee: JUMPDEST
00001aef: PUSH1 0x00
00001af1: PUSH1 0x20
00001af3: DUP3
00001af4: DUP5
00001af5: SUB
00001af6: SLT
00001af7: ISZERO
00001af8: PUSH2 0x1b04
00001afb: JUMPI
00001afc: PUSH2 0x1b03
00001aff: PUSH2 0x236a
00001b02: JUMP
00001b03: JUMPDEST
00001b04: JUMPDEST
00001b05: PUSH1 0x00
00001b07: PUSH2 0x1b12
00001b0a: DUP5
00001b0b: DUP3
00001b0c: DUP6
00001b0d: ADD
00001b0e: PUSH2 0x1878
00001b11: JUMP
00001b12: JUMPDEST
00001b13: SWAP2
00001b14: POP
00001b15: POP
00001b16: SWAP3
00001b17: SWAP2
00001b18: POP
00001b19: POP
00001b1a: JUMP
00001b1b: JUMPDEST
00001b1c: PUSH1 0x00
00001b1e: DUP1
00001b1f: PUSH1 0x00
00001b21: DUP1
00001b22: PUSH1 0x00
00001b24: PUSH1 0xa0
00001b26: DUP7
00001b27: DUP9
00001b28: SUB
00001b29: SLT
00001b2a: ISZERO
00001b2b: PUSH2 0x1b37
00001b2e: JUMPI
00001b2f: PUSH2 0x1b36
00001b32: PUSH2 0x236a
00001b35: JUMP
00001b36: JUMPDEST
00001b37: JUMPDEST
00001b38: PUSH1 0x00
00001b3a: PUSH2 0x1b45
00001b3d: DUP9
00001b3e: DUP3
00001b3f: DUP10
00001b40: ADD
00001b41: PUSH2 0x1863
00001b44: JUMP
00001b45: JUMPDEST
00001b46: SWAP6
00001b47: POP
00001b48: POP
00001b49: PUSH1 0x20
00001b4b: PUSH2 0x1b56
00001b4e: DUP9
00001b4f: DUP3
00001b50: DUP10
00001b51: ADD
00001b52: PUSH2 0x1863
00001b55: JUMP
00001b56: JUMPDEST
00001b57: SWAP5
00001b58: POP
00001b59: POP
00001b5a: PUSH1 0x40
00001b5c: PUSH2 0x1b67
00001b5f: DUP9
00001b60: DUP3
00001b61: DUP10
00001b62: ADD
00001b63: PUSH2 0x17e1
00001b66: JUMP
00001b67: JUMPDEST
00001b68: SWAP4
00001b69: POP
00001b6a: POP
00001b6b: PUSH1 0x60
00001b6d: PUSH2 0x1b78
00001b70: DUP9
00001b71: DUP3
00001b72: DUP10
00001b73: ADD
00001b74: PUSH2 0x17e1
00001b77: JUMP
00001b78: JUMPDEST
00001b79: SWAP3
00001b7a: POP
00001b7b: POP
00001b7c: PUSH1 0x80
00001b7e: PUSH2 0x1b89
00001b81: DUP9
00001b82: DUP3
00001b83: DUP10
00001b84: ADD
00001b85: PUSH2 0x17e1
00001b88: JUMP
00001b89: JUMPDEST
00001b8a: SWAP2
00001b8b: POP
00001b8c: POP
00001b8d: SWAP3
00001b8e: SWAP6
00001b8f: POP
00001b90: SWAP3
00001b91: SWAP6
00001b92: SWAP1
00001b93: SWAP4
00001b94: POP
00001b95: JUMP
00001b96: JUMPDEST
00001b97: PUSH1 0x00
00001b99: DUP1
00001b9a: PUSH1 0x00
00001b9c: DUP1
00001b9d: PUSH1 0x00
00001b9f: PUSH1 0xa0
00001ba1: DUP7
00001ba2: DUP9
00001ba3: SUB
00001ba4: SLT
00001ba5: ISZERO
00001ba6: PUSH2 0x1bb2
00001ba9: JUMPI
00001baa: PUSH2 0x1bb1
00001bad: PUSH2 0x236a
00001bb0: JUMP
00001bb1: JUMPDEST
00001bb2: JUMPDEST
00001bb3: PUSH1 0x00
00001bb5: PUSH2 0x1bc0
00001bb8: DUP9
00001bb9: DUP3
00001bba: DUP10
00001bbb: ADD
00001bbc: PUSH2 0x1863
00001bbf: JUMP
00001bc0: JUMPDEST
00001bc1: SWAP6
00001bc2: POP
00001bc3: POP
00001bc4: PUSH1 0x20
00001bc6: PUSH2 0x1bd1
00001bc9: DUP9
00001bca: DUP3
00001bcb: DUP10
00001bcc: ADD
00001bcd: PUSH2 0x1863
00001bd0: JUMP
00001bd1: JUMPDEST
00001bd2: SWAP5
00001bd3: POP
00001bd4: POP
00001bd5: PUSH1 0x40
00001bd7: PUSH2 0x1be2
00001bda: DUP9
00001bdb: DUP3
00001bdc: DUP10
00001bdd: ADD
00001bde: PUSH2 0x17e1
00001be1: JUMP
00001be2: JUMPDEST
00001be3: SWAP4
00001be4: POP
00001be5: POP
00001be6: PUSH1 0x60
00001be8: PUSH2 0x1bf3
00001beb: DUP9
00001bec: DUP3
00001bed: DUP10
00001bee: ADD
00001bef: PUSH2 0x17e1
00001bf2: JUMP
00001bf3: JUMPDEST
00001bf4: SWAP3
00001bf5: POP
00001bf6: POP
00001bf7: PUSH1 0x80
00001bf9: PUSH2 0x1c04
00001bfc: DUP9
00001bfd: DUP3
00001bfe: DUP10
00001bff: ADD
00001c00: PUSH2 0x1839
00001c03: JUMP
00001c04: JUMPDEST
00001c05: SWAP2
00001c06: POP
00001c07: POP
00001c08: SWAP3
00001c09: SWAP6
00001c0a: POP
00001c0b: SWAP3
00001c0c: SWAP6
00001c0d: SWAP1
00001c0e: SWAP4
00001c0f: POP
00001c10: JUMP
00001c11: JUMPDEST
00001c12: PUSH2 0x1c1a
00001c15: DUP2
00001c16: PUSH2 0x2154
00001c19: JUMP
00001c1a: JUMPDEST
00001c1b: DUP3
00001c1c: MSTORE
00001c1d: POP
00001c1e: POP
00001c1f: JUMP
00001c20: JUMPDEST
00001c21: PUSH1 0x00
00001c23: PUSH2 0x1c2b
00001c26: DUP3
00001c27: PUSH2 0x2007
00001c2a: JUMP
00001c2b: JUMPDEST
00001c2c: PUSH2 0x1c35
00001c2f: DUP2
00001c30: DUP6
00001c31: PUSH2 0x2012
00001c34: JUMP
00001c35: JUMPDEST
00001c36: SWAP4
00001c37: POP
00001c38: PUSH2 0x1c45
00001c3b: DUP2
00001c3c: DUP6
00001c3d: PUSH1 0x20
00001c3f: DUP7
00001c40: ADD
00001c41: PUSH2 0x21f2
00001c44: JUMP
00001c45: JUMPDEST
00001c46: PUSH2 0x1c4e
00001c49: DUP2
00001c4a: PUSH2 0x236f
00001c4d: JUMP
00001c4e: JUMPDEST
00001c4f: DUP5
00001c50: ADD
00001c51: SWAP2
00001c52: POP
00001c53: POP
00001c54: SWAP3
00001c55: SWAP2
00001c56: POP
00001c57: POP
00001c58: JUMP
00001c59: JUMPDEST
00001c5a: PUSH1 0x00
00001c5c: PUSH2 0x1c64
00001c5f: DUP3
00001c60: PUSH2 0x2007
00001c63: JUMP
00001c64: JUMPDEST
00001c65: PUSH2 0x1c6e
00001c68: DUP2
00001c69: DUP6
00001c6a: PUSH2 0x2023
00001c6d: JUMP
00001c6e: JUMPDEST
00001c6f: SWAP4
00001c70: POP
00001c71: PUSH2 0x1c7e
00001c74: DUP2
00001c75: DUP6
00001c76: PUSH1 0x20
00001c78: DUP7
00001c79: ADD
00001c7a: PUSH2 0x21f2
00001c7d: JUMP
00001c7e: JUMPDEST
00001c7f: DUP1
00001c80: DUP5
00001c81: ADD
00001c82: SWAP2
00001c83: POP
00001c84: POP
00001c85: SWAP3
00001c86: SWAP2
00001c87: POP
00001c88: POP
00001c89: JUMP
00001c8a: JUMPDEST
00001c8b: PUSH1 0x00
00001c8d: PUSH2 0x1c97
00001c90: PUSH1 0x19
00001c92: DUP4
00001c93: PUSH2 0x202e
00001c96: JUMP
00001c97: JUMPDEST
00001c98: SWAP2
00001c99: POP
00001c9a: PUSH2 0x1ca2
00001c9d: DUP3
00001c9e: PUSH2 0x2380
00001ca1: JUMP
00001ca2: JUMPDEST
00001ca3: PUSH1 0x20
00001ca5: DUP3
00001ca6: ADD
00001ca7: SWAP1
00001ca8: POP
00001ca9: SWAP2
00001caa: SWAP1
00001cab: POP
00001cac: JUMP
00001cad: JUMPDEST
00001cae: PUSH1 0x00
00001cb0: PUSH2 0x1cba
00001cb3: PUSH1 0x15
00001cb5: DUP4
00001cb6: PUSH2 0x202e
00001cb9: JUMP
00001cba: JUMPDEST
00001cbb: SWAP2
00001cbc: POP
00001cbd: PUSH2 0x1cc5
00001cc0: DUP3
00001cc1: PUSH2 0x23a9
00001cc4: JUMP
00001cc5: JUMPDEST
00001cc6: PUSH1 0x20
00001cc8: DUP3
00001cc9: ADD
00001cca: SWAP1
00001ccb: POP
00001ccc: SWAP2
00001ccd: SWAP1
00001cce: POP
00001ccf: JUMP
00001cd0: JUMPDEST
00001cd1: PUSH1 0x00
00001cd3: PUSH2 0x1cdd
00001cd6: PUSH1 0x30
00001cd8: DUP4
00001cd9: PUSH2 0x202e
00001cdc: JUMP
00001cdd: JUMPDEST
00001cde: SWAP2
00001cdf: POP
00001ce0: PUSH2 0x1ce8
00001ce3: DUP3
00001ce4: PUSH2 0x23d2
00001ce7: JUMP
00001ce8: JUMPDEST
00001ce9: PUSH1 0x40
00001ceb: DUP3
00001cec: ADD
00001ced: SWAP1
00001cee: POP
00001cef: SWAP2
00001cf0: SWAP1
00001cf1: POP
00001cf2: JUMP
00001cf3: JUMPDEST
00001cf4: PUSH1 0x00
00001cf6: PUSH2 0x1d00
00001cf9: PUSH1 0x14
00001cfb: DUP4
00001cfc: PUSH2 0x202e
00001cff: JUMP
00001d00: JUMPDEST
00001d01: SWAP2
00001d02: POP
00001d03: PUSH2 0x1d0b
00001d06: DUP3
00001d07: PUSH2 0x2421
00001d0a: JUMP
00001d0b: JUMPDEST
00001d0c: PUSH1 0x20
00001d0e: DUP3
00001d0f: ADD
00001d10: SWAP1
00001d11: POP
00001d12: SWAP2
00001d13: SWAP1
00001d14: POP
00001d15: JUMP
00001d16: JUMPDEST
00001d17: PUSH1 0x00
00001d19: PUSH2 0x1d23
00001d1c: PUSH1 0x14
00001d1e: DUP4
00001d1f: PUSH2 0x202e
00001d22: JUMP
00001d23: JUMPDEST
00001d24: SWAP2
00001d25: POP
00001d26: PUSH2 0x1d2e
00001d29: DUP3
00001d2a: PUSH2 0x244a
00001d2d: JUMP
00001d2e: JUMPDEST
00001d2f: PUSH1 0x20
00001d31: DUP3
00001d32: ADD
00001d33: SWAP1
00001d34: POP
00001d35: SWAP2
00001d36: SWAP1
00001d37: POP
00001d38: JUMP
00001d39: JUMPDEST
00001d3a: PUSH1 0x00
00001d3c: PUSH2 0x1d46
00001d3f: PUSH1 0x0a
00001d41: DUP4
00001d42: PUSH2 0x202e
00001d45: JUMP
00001d46: JUMPDEST
00001d47: SWAP2
00001d48: POP
00001d49: PUSH2 0x1d51
00001d4c: DUP3
00001d4d: PUSH2 0x2473
00001d50: JUMP
00001d51: JUMPDEST
00001d52: PUSH1 0x20
00001d54: DUP3
00001d55: ADD
00001d56: SWAP1
00001d57: POP
00001d58: SWAP2
00001d59: SWAP1
00001d5a: POP
00001d5b: JUMP
00001d5c: JUMPDEST
00001d5d: PUSH1 0x00
00001d5f: PUSH2 0x1d69
00001d62: PUSH1 0x28
00001d64: DUP4
00001d65: PUSH2 0x202e
00001d68: JUMP
00001d69: JUMPDEST
00001d6a: SWAP2
00001d6b: POP
00001d6c: PUSH2 0x1d74
00001d6f: DUP3
00001d70: PUSH2 0x249c
00001d73: JUMP
00001d74: JUMPDEST
00001d75: PUSH1 0x40
00001d77: DUP3
00001d78: ADD
00001d79: SWAP1
00001d7a: POP
00001d7b: SWAP2
00001d7c: SWAP1
00001d7d: POP
00001d7e: JUMP
00001d7f: JUMPDEST
00001d80: PUSH1 0x00
00001d82: PUSH2 0x1d8c
00001d85: PUSH1 0x21
00001d87: DUP4
00001d88: PUSH2 0x202e
00001d8b: JUMP
00001d8c: JUMPDEST
00001d8d: SWAP2
00001d8e: POP
00001d8f: PUSH2 0x1d97
00001d92: DUP3
00001d93: PUSH2 0x24eb
00001d96: JUMP
00001d97: JUMPDEST
00001d98: PUSH1 0x40
00001d9a: DUP3
00001d9b: ADD
00001d9c: SWAP1
00001d9d: POP
00001d9e: SWAP2
00001d9f: SWAP1
00001da0: POP
00001da1: JUMP
00001da2: JUMPDEST
00001da3: PUSH1 0x00
00001da5: PUSH2 0x1daf
00001da8: PUSH1 0x2d
00001daa: DUP4
00001dab: PUSH2 0x202e
00001dae: JUMP
00001daf: JUMPDEST
00001db0: SWAP2
00001db1: POP
00001db2: PUSH2 0x1dba
00001db5: DUP3
00001db6: PUSH2 0x253a
00001db9: JUMP
00001dba: JUMPDEST
00001dbb: PUSH1 0x40
00001dbd: DUP3
00001dbe: ADD
00001dbf: SWAP1
00001dc0: POP
00001dc1: SWAP2
00001dc2: SWAP1
00001dc3: POP
00001dc4: JUMP
00001dc5: JUMPDEST
00001dc6: PUSH2 0x1dce
00001dc9: DUP2
00001dca: PUSH2 0x21d8
00001dcd: JUMP
00001dce: JUMPDEST
00001dcf: DUP3
00001dd0: MSTORE
00001dd1: POP
00001dd2: POP
00001dd3: JUMP
00001dd4: JUMPDEST
00001dd5: PUSH1 0x00
00001dd7: PUSH2 0x1de0
00001dda: DUP3
00001ddb: DUP5
00001ddc: PUSH2 0x1c59
00001ddf: JUMP
00001de0: JUMPDEST
00001de1: SWAP2
00001de2: POP
00001de3: DUP2
00001de4: SWAP1
00001de5: POP
00001de6: SWAP3
00001de7: SWAP2
00001de8: POP
00001de9: POP
00001dea: JUMP
00001deb: JUMPDEST
00001dec: PUSH1 0x00
00001dee: PUSH1 0x20
00001df0: DUP3
00001df1: ADD
00001df2: SWAP1
00001df3: POP
00001df4: PUSH2 0x1e00
00001df7: PUSH1 0x00
00001df9: DUP4
00001dfa: ADD
00001dfb: DUP5
00001dfc: PUSH2 0x1c11
00001dff: JUMP
00001e00: JUMPDEST
00001e01: SWAP3
00001e02: SWAP2
00001e03: POP
00001e04: POP
00001e05: JUMP
00001e06: JUMPDEST
00001e07: PUSH1 0x00
00001e09: PUSH1 0x40
00001e0b: DUP3
00001e0c: ADD
00001e0d: SWAP1
00001e0e: POP
00001e0f: PUSH2 0x1e1b
00001e12: PUSH1 0x00
00001e14: DUP4
00001e15: ADD
00001e16: DUP6
00001e17: PUSH2 0x1c11
00001e1a: JUMP
00001e1b: JUMPDEST
00001e1c: PUSH2 0x1e28
00001e1f: PUSH1 0x20
00001e21: DUP4
00001e22: ADD
00001e23: DUP5
00001e24: PUSH2 0x1dc5
00001e27: JUMP
00001e28: JUMPDEST
00001e29: SWAP4
00001e2a: SWAP3
00001e2b: POP
00001e2c: POP
00001e2d: POP
00001e2e: JUMP
00001e2f: JUMPDEST
00001e30: PUSH1 0x00
00001e32: PUSH1 0x20
00001e34: DUP3
00001e35: ADD
00001e36: SWAP1
00001e37: POP
00001e38: DUP2
00001e39: DUP2
00001e3a: SUB
00001e3b: PUSH1 0x00
00001e3d: DUP4
00001e3e: ADD
00001e3f: MSTORE
00001e40: PUSH2 0x1e48
00001e43: DUP2
00001e44: PUSH2 0x1c8a
00001e47: JUMP
00001e48: JUMPDEST
00001e49: SWAP1
00001e4a: POP
00001e4b: SWAP2
00001e4c: SWAP1
00001e4d: POP
00001e4e: JUMP
00001e4f: JUMPDEST
00001e50: PUSH1 0x00
00001e52: PUSH1 0x20
00001e54: DUP3
00001e55: ADD
00001e56: SWAP1
00001e57: POP
00001e58: DUP2
00001e59: DUP2
00001e5a: SUB
00001e5b: PUSH1 0x00
00001e5d: DUP4
00001e5e: ADD
00001e5f: MSTORE
00001e60: PUSH2 0x1e68
00001e63: DUP2
00001e64: PUSH2 0x1cad
00001e67: JUMP
00001e68: JUMPDEST
00001e69: SWAP1
00001e6a: POP
00001e6b: SWAP2
00001e6c: SWAP1
00001e6d: POP
00001e6e: JUMP
00001e6f: JUMPDEST
00001e70: PUSH1 0x00
00001e72: PUSH1 0x20
00001e74: DUP3
00001e75: ADD
00001e76: SWAP1
00001e77: POP
00001e78: DUP2
00001e79: DUP2
00001e7a: SUB
00001e7b: PUSH1 0x00
00001e7d: DUP4
00001e7e: ADD
00001e7f: MSTORE
00001e80: PUSH2 0x1e88
00001e83: DUP2
00001e84: PUSH2 0x1cd0
00001e87: JUMP
00001e88: JUMPDEST
00001e89: SWAP1
00001e8a: POP
00001e8b: SWAP2
00001e8c: SWAP1
00001e8d: POP
00001e8e: JUMP
00001e8f: JUMPDEST
00001e90: PUSH1 0x00
00001e92: PUSH1 0x20
00001e94: DUP3
00001e95: ADD
00001e96: SWAP1
00001e97: POP
00001e98: DUP2
00001e99: DUP2
00001e9a: SUB
00001e9b: PUSH1 0x00
00001e9d: DUP4
00001e9e: ADD
00001e9f: MSTORE
00001ea0: PUSH2 0x1ea8
00001ea3: DUP2
00001ea4: PUSH2 0x1cf3
00001ea7: JUMP
00001ea8: JUMPDEST
00001ea9: SWAP1
00001eaa: POP
00001eab: SWAP2
00001eac: SWAP1
00001ead: POP
00001eae: JUMP
00001eaf: JUMPDEST
00001eb0: PUSH1 0x00
00001eb2: PUSH1 0x20
00001eb4: DUP3
00001eb5: ADD
00001eb6: SWAP1
00001eb7: POP
00001eb8: DUP2
00001eb9: DUP2
00001eba: SUB
00001ebb: PUSH1 0x00
00001ebd: DUP4
00001ebe: ADD
00001ebf: MSTORE
00001ec0: PUSH2 0x1ec8
00001ec3: DUP2
00001ec4: PUSH2 0x1d16
00001ec7: JUMP
00001ec8: JUMPDEST
00001ec9: SWAP1
00001eca: POP
00001ecb: SWAP2
00001ecc: SWAP1
00001ecd: POP
00001ece: JUMP
00001ecf: JUMPDEST
00001ed0: PUSH1 0x00
00001ed2: PUSH1 0x20
00001ed4: DUP3
00001ed5: ADD
00001ed6: SWAP1
00001ed7: POP
00001ed8: DUP2
00001ed9: DUP2
00001eda: SUB
00001edb: PUSH1 0x00
00001edd: DUP4
00001ede: ADD
00001edf: MSTORE
00001ee0: PUSH2 0x1ee8
00001ee3: DUP2
00001ee4: PUSH2 0x1d39
00001ee7: JUMP
00001ee8: JUMPDEST
00001ee9: SWAP1
00001eea: POP
00001eeb: SWAP2
00001eec: SWAP1
00001eed: POP
00001eee: JUMP
00001eef: JUMPDEST
00001ef0: PUSH1 0x00
00001ef2: PUSH1 0x20
00001ef4: DUP3
00001ef5: ADD
00001ef6: SWAP1
00001ef7: POP
00001ef8: DUP2
00001ef9: DUP2
00001efa: SUB
00001efb: PUSH1 0x00
00001efd: DUP4
00001efe: ADD
00001eff: MSTORE
00001f00: PUSH2 0x1f08
00001f03: DUP2
00001f04: PUSH2 0x1d5c
00001f07: JUMP
00001f08: JUMPDEST
00001f09: SWAP1
00001f0a: POP
00001f0b: SWAP2
00001f0c: SWAP1
00001f0d: POP
00001f0e: JUMP
00001f0f: JUMPDEST
00001f10: PUSH1 0x00
00001f12: PUSH1 0x20
00001f14: DUP3
00001f15: ADD
00001f16: SWAP1
00001f17: POP
00001f18: DUP2
00001f19: DUP2
00001f1a: SUB
00001f1b: PUSH1 0x00
00001f1d: DUP4
00001f1e: ADD
00001f1f: MSTORE
00001f20: PUSH2 0x1f28
00001f23: DUP2
00001f24: PUSH2 0x1d7f
00001f27: JUMP
00001f28: JUMPDEST
00001f29: SWAP1
00001f2a: POP
00001f2b: SWAP2
00001f2c: SWAP1
00001f2d: POP
00001f2e: JUMP
00001f2f: JUMPDEST
00001f30: PUSH1 0x00
00001f32: PUSH1 0x20
00001f34: DUP3
00001f35: ADD
00001f36: SWAP1
00001f37: POP
00001f38: DUP2
00001f39: DUP2
00001f3a: SUB
00001f3b: PUSH1 0x00
00001f3d: DUP4
00001f3e: ADD
00001f3f: MSTORE
00001f40: PUSH2 0x1f48
00001f43: DUP2
00001f44: PUSH2 0x1da2
00001f47: JUMP
00001f48: JUMPDEST
00001f49: SWAP1
00001f4a: POP
00001f4b: SWAP2
00001f4c: SWAP1
00001f4d: POP
00001f4e: JUMP
00001f4f: JUMPDEST
00001f50: PUSH1 0x00
00001f52: PUSH1 0x20
00001f54: DUP3
00001f55: ADD
00001f56: SWAP1
00001f57: POP
00001f58: PUSH2 0x1f64
00001f5b: PUSH1 0x00
00001f5d: DUP4
00001f5e: ADD
00001f5f: DUP5
00001f60: PUSH2 0x1dc5
00001f63: JUMP
00001f64: JUMPDEST
00001f65: SWAP3
00001f66: SWAP2
00001f67: POP
00001f68: POP
00001f69: JUMP
00001f6a: JUMPDEST
00001f6b: PUSH1 0x00
00001f6d: PUSH1 0x80
00001f6f: DUP3
00001f70: ADD
00001f71: SWAP1
00001f72: POP
00001f73: PUSH2 0x1f7f
00001f76: PUSH1 0x00
00001f78: DUP4
00001f79: ADD
00001f7a: DUP8
00001f7b: PUSH2 0x1dc5
00001f7e: JUMP
00001f7f: JUMPDEST
00001f80: PUSH2 0x1f8c
00001f83: PUSH1 0x20
00001f85: DUP4
00001f86: ADD
00001f87: DUP7
00001f88: PUSH2 0x1dc5
00001f8b: JUMP
00001f8c: JUMPDEST
00001f8d: PUSH2 0x1f99
00001f90: PUSH1 0x40
00001f92: DUP4
00001f93: ADD
00001f94: DUP6
00001f95: PUSH2 0x1c11
00001f98: JUMP
00001f99: JUMPDEST
00001f9a: DUP2
00001f9b: DUP2
00001f9c: SUB
00001f9d: PUSH1 0x60
00001f9f: DUP4
00001fa0: ADD
00001fa1: MSTORE
00001fa2: PUSH2 0x1fab
00001fa5: DUP2
00001fa6: DUP5
00001fa7: PUSH2 0x1c20
00001faa: JUMP
00001fab: JUMPDEST
00001fac: SWAP1
00001fad: POP
00001fae: SWAP6
00001faf: SWAP5
00001fb0: POP
00001fb1: POP
00001fb2: POP
00001fb3: POP
00001fb4: POP
00001fb5: JUMP
00001fb6: JUMPDEST
00001fb7: PUSH1 0x00
00001fb9: PUSH2 0x1fc0
00001fbc: PUSH2 0x1fd1
00001fbf: JUMP
00001fc0: JUMPDEST
00001fc1: SWAP1
00001fc2: POP
00001fc3: PUSH2 0x1fcc
00001fc6: DUP3
00001fc7: DUP3
00001fc8: PUSH2 0x2225
00001fcb: JUMP
00001fcc: JUMPDEST
00001fcd: SWAP2
00001fce: SWAP1
00001fcf: POP
00001fd0: JUMP
00001fd1: JUMPDEST
00001fd2: PUSH1 0x00
00001fd4: PUSH1 0x40
00001fd6: MLOAD
00001fd7: SWAP1
00001fd8: POP
00001fd9: SWAP1
00001fda: JUMP
00001fdb: JUMPDEST
00001fdc: PUSH1 0x00
00001fde: PUSH8 0xffffffffffffffff
00001fe7: DUP3
00001fe8: GT
00001fe9: ISZERO
00001fea: PUSH2 0x1ff6
00001fed: JUMPI
00001fee: PUSH2 0x1ff5
00001ff1: PUSH2 0x232c
00001ff4: JUMP
00001ff5: JUMPDEST
00001ff6: JUMPDEST
00001ff7: PUSH1 0x20
00001ff9: DUP3
00001ffa: MUL
00001ffb: SWAP1
00001ffc: POP
00001ffd: PUSH1 0x20
00001fff: DUP2
00002000: ADD
00002001: SWAP1
00002002: POP
00002003: SWAP2
00002004: SWAP1
00002005: POP
00002006: JUMP
00002007: JUMPDEST
00002008: PUSH1 0x00
0000200a: DUP2
0000200b: MLOAD
0000200c: SWAP1
0000200d: POP
0000200e: SWAP2
0000200f: SWAP1
00002010: POP
00002011: JUMP
00002012: JUMPDEST
00002013: PUSH1 0x00
00002015: DUP3
00002016: DUP3
00002017: MSTORE
00002018: PUSH1 0x20
0000201a: DUP3
0000201b: ADD
0000201c: SWAP1
0000201d: POP
0000201e: SWAP3
0000201f: SWAP2
00002020: POP
00002021: POP
00002022: JUMP
00002023: JUMPDEST
00002024: PUSH1 0x00
00002026: DUP2
00002027: SWAP1
00002028: POP
00002029: SWAP3
0000202a: SWAP2
0000202b: POP
0000202c: POP
0000202d: JUMP
0000202e: JUMPDEST
0000202f: PUSH1 0x00
00002031: DUP3
00002032: DUP3
00002033: MSTORE
00002034: PUSH1 0x20
00002036: DUP3
00002037: ADD
00002038: SWAP1
00002039: POP
0000203a: SWAP3
0000203b: SWAP2
0000203c: POP
0000203d: POP
0000203e: JUMP
0000203f: JUMPDEST
00002040: PUSH1 0x00
00002042: PUSH2 0x204a
00002045: DUP3
00002046: PUSH2 0x21d8
00002049: JUMP
0000204a: JUMPDEST
0000204b: SWAP2
0000204c: POP
0000204d: PUSH2 0x2055
00002050: DUP4
00002051: PUSH2 0x21d8
00002054: JUMP
00002055: JUMPDEST
00002056: SWAP3
00002057: POP
00002058: DUP3
00002059: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff
0000207a: SUB
0000207b: DUP3
0000207c: GT
0000207d: ISZERO
0000207e: PUSH2 0x208a
00002081: JUMPI
00002082: PUSH2 0x2089
00002085: PUSH2 0x229f
00002088: JUMP
00002089: JUMPDEST
0000208a: JUMPDEST
0000208b: DUP3
0000208c: DUP3
0000208d: ADD
0000208e: SWAP1
0000208f: POP
00002090: SWAP3
00002091: SWAP2
00002092: POP
00002093: POP
00002094: JUMP
00002095: JUMPDEST
00002096: PUSH1 0x00
00002098: PUSH2 0x20a0
0000209b: DUP3
0000209c: PUSH2 0x21d8
0000209f: JUMP
000020a0: JUMPDEST
000020a1: SWAP2
000020a2: POP
000020a3: PUSH2 0x20ab
000020a6: DUP4
000020a7: PUSH2 0x21d8
000020aa: JUMP
000020ab: JUMPDEST
000020ac: SWAP3
000020ad: POP
000020ae: DUP3
000020af: PUSH2 0x20bb
000020b2: JUMPI
000020b3: PUSH2 0x20ba
000020b6: PUSH2 0x22ce
000020b9: JUMP
000020ba: JUMPDEST
000020bb: JUMPDEST
000020bc: DUP3
000020bd: DUP3
000020be: DIV
000020bf: SWAP1
000020c0: POP
000020c1: SWAP3
000020c2: SWAP2
000020c3: POP
000020c4: POP
000020c5: JUMP
000020c6: JUMPDEST
000020c7: PUSH1 0x00
000020c9: PUSH2 0x20d1
000020cc: DUP3
000020cd: PUSH2 0x21d8
000020d0: JUMP
000020d1: JUMPDEST
000020d2: SWAP2
000020d3: POP
000020d4: PUSH2 0x20dc
000020d7: DUP4
000020d8: PUSH2 0x21d8
000020db: JUMP
000020dc: JUMPDEST
000020dd: SWAP3
000020de: POP
000020df: DUP2
000020e0: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff
00002101: DIV
00002102: DUP4
00002103: GT
00002104: DUP3
00002105: ISZERO
00002106: ISZERO
00002107: AND
00002108: ISZERO
00002109: PUSH2 0x2115
0000210c: JUMPI
0000210d: PUSH2 0x2114
00002110: PUSH2 0x229f
00002113: JUMP
00002114: JUMPDEST
00002115: JUMPDEST
00002116: DUP3
00002117: DUP3
00002118: MUL
00002119: SWAP1
0000211a: POP
0000211b: SWAP3
0000211c: SWAP2
0000211d: POP
0000211e: POP
0000211f: JUMP
00002120: JUMPDEST
00002121: PUSH1 0x00
00002123: PUSH2 0x212b
00002126: DUP3
00002127: PUSH2 0x21d8
0000212a: JUMP
0000212b: JUMPDEST
0000212c: SWAP2
0000212d: POP
0000212e: PUSH2 0x2136
00002131: DUP4
00002132: PUSH2 0x21d8
00002135: JUMP
00002136: JUMPDEST
00002137: SWAP3
00002138: POP
00002139: DUP3
0000213a: DUP3
0000213b: LT
0000213c: ISZERO
0000213d: PUSH2 0x2149
00002140: JUMPI
00002141: PUSH2 0x2148
00002144: PUSH2 0x229f
00002147: JUMP
00002148: JUMPDEST
00002149: JUMPDEST
0000214a: DUP3
0000214b: DUP3
0000214c: SUB
0000214d: SWAP1
0000214e: POP
0000214f: SWAP3
00002150: SWAP2
00002151: POP
00002152: POP
00002153: JUMP
00002154: JUMPDEST
00002155: PUSH1 0x00
00002157: PUSH2 0x215f
0000215a: DUP3
0000215b: PUSH2 0x21b8
0000215e: JUMP
0000215f: JUMPDEST
00002160: SWAP1
00002161: POP
00002162: SWAP2
00002163: SWAP1
00002164: POP
00002165: JUMP
00002166: JUMPDEST
00002167: PUSH1 0x00
00002169: DUP2
0000216a: ISZERO
0000216b: ISZERO
0000216c: SWAP1
0000216d: POP
0000216e: SWAP2
0000216f: SWAP1
00002170: POP
00002171: JUMP
00002172: JUMPDEST
00002173: PUSH1 0x00
00002175: PUSH32 0xffffffffffffffffffffffffffffffffffffffff000000000000000000000000
00002196: DUP3
00002197: AND
00002198: SWAP1
00002199: POP
0000219a: SWAP2
0000219b: SWAP1
0000219c: POP
0000219d: JUMP
0000219e: JUMPDEST
0000219f: PUSH1 0x00
000021a1: PUSH14 0xffffffffffffffffffffffffffff
000021b0: DUP3
000021b1: AND
000021b2: SWAP1
000021b3: POP
000021b4: SWAP2
000021b5: SWAP1
000021b6: POP
000021b7: JUMP
000021b8: JUMPDEST
000021b9: PUSH1 0x00
000021bb: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000021d0: DUP3
000021d1: AND
000021d2: SWAP1
000021d3: POP
000021d4: SWAP2
000021d5: SWAP1
000021d6: POP
000021d7: JUMP
000021d8: JUMPDEST
000021d9: PUSH1 0x00
000021db: DUP2
000021dc: SWAP1
000021dd: POP
000021de: SWAP2
000021df: SWAP1
000021e0: POP
000021e1: JUMP
000021e2: JUMPDEST
000021e3: PUSH1 0x00
000021e5: PUSH4 0xffffffff
000021ea: DUP3
000021eb: AND
000021ec: SWAP1
000021ed: POP
000021ee: SWAP2
000021ef: SWAP1
000021f0: POP
000021f1: JUMP
000021f2: JUMPDEST
000021f3: PUSH1 0x00
000021f5: JUMPDEST
000021f6: DUP4
000021f7: DUP2
000021f8: LT
000021f9: ISZERO
000021fa: PUSH2 0x2210
000021fd: JUMPI
000021fe: DUP1
000021ff: DUP3
00002200: ADD
00002201: MLOAD
00002202: DUP2
00002203: DUP5
00002204: ADD
00002205: MSTORE
00002206: PUSH1 0x20
00002208: DUP2
00002209: ADD
0000220a: SWAP1
0000220b: POP
0000220c: PUSH2 0x21f5
0000220f: JUMP
00002210: JUMPDEST
00002211: DUP4
00002212: DUP2
00002213: GT
00002214: ISZERO
00002215: PUSH2 0x221f
00002218: JUMPI
00002219: PUSH1 0x00
0000221b: DUP5
0000221c: DUP5
0000221d: ADD
0000221e: MSTORE
0000221f: JUMPDEST
00002220: POP
00002221: POP
00002222: POP
00002223: POP
00002224: JUMP
00002225: JUMPDEST
00002226: PUSH2 0x222e
00002229: DUP3
0000222a: PUSH2 0x236f
0000222d: JUMP
0000222e: JUMPDEST
0000222f: DUP2
00002230: ADD
00002231: DUP2
00002232: DUP2
00002233: LT
00002234: PUSH8 0xffffffffffffffff
0000223d: DUP3
0000223e: GT
0000223f: OR
00002240: ISZERO
00002241: PUSH2 0x224d
00002244: JUMPI
00002245: PUSH2 0x224c
00002248: PUSH2 0x232c
0000224b: JUMP
0000224c: JUMPDEST
0000224d: JUMPDEST
0000224e: DUP1
0000224f: PUSH1 0x40
00002251: MSTORE
00002252: POP
00002253: POP
00002254: POP
00002255: JUMP
00002256: JUMPDEST
00002257: PUSH1 0x00
00002259: PUSH2 0x2261
0000225c: DUP3
0000225d: PUSH2 0x21d8
00002260: JUMP
00002261: JUMPDEST
00002262: SWAP2
00002263: POP
00002264: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff
00002285: DUP3
00002286: EQ
00002287: ISZERO
00002288: PUSH2 0x2294
0000228b: JUMPI
0000228c: PUSH2 0x2293
0000228f: PUSH2 0x229f
00002292: JUMP
00002293: JUMPDEST
00002294: JUMPDEST
00002295: PUSH1 0x01
00002297: DUP3
00002298: ADD
00002299: SWAP1
0000229a: POP
0000229b: SWAP2
0000229c: SWAP1
0000229d: POP
0000229e: JUMP
0000229f: JUMPDEST
000022a0: PUSH32 0x4e487b7100000000000000000000000000000000000000000000000000000000
000022c1: PUSH1 0x00
000022c3: MSTORE
000022c4: PUSH1 0x11
000022c6: PUSH1 0x04
000022c8: MSTORE
000022c9: PUSH1 0x24
000022cb: PUSH1 0x00
000022cd: REVERT
000022ce: JUMPDEST
000022cf: PUSH32 0x4e487b7100000000000000000000000000000000000000000000000000000000
000022f0: PUSH1 0x00
000022f2: MSTORE
000022f3: PUSH1 0x12
000022f5: PUSH1 0x04
000022f7: MSTORE
000022f8: PUSH1 0x24
000022fa: PUSH1 0x00
000022fc: REVERT
000022fd: JUMPDEST
000022fe: PUSH32 0x4e487b7100000000000000000000000000000000000000000000000000000000
0000231f: PUSH1 0x00
00002321: MSTORE
00002322: PUSH1 0x32
00002324: PUSH1 0x04
00002326: MSTORE
00002327: PUSH1 0x24
00002329: PUSH1 0x00
0000232b: REVERT
0000232c: JUMPDEST
0000232d: PUSH32 0x4e487b7100000000000000000000000000000000000000000000000000000000
0000234e: PUSH1 0x00
00002350: MSTORE
00002351: PUSH1 0x41
00002353: PUSH1 0x04
00002355: MSTORE
00002356: PUSH1 0x24
00002358: PUSH1 0x00
0000235a: REVERT
0000235b: JUMPDEST
0000235c: PUSH1 0x00
0000235e: DUP1
0000235f: REVERT
00002360: JUMPDEST
00002361: PUSH1 0x00
00002363: DUP1
00002364: REVERT
00002365: JUMPDEST
00002366: PUSH1 0x00
00002368: DUP1
00002369: REVERT
0000236a: JUMPDEST
0000236b: PUSH1 0x00
0000236d: DUP1
0000236e: REVERT
0000236f: JUMPDEST
00002370: PUSH1 0x00
00002372: PUSH1 0x1f
00002374: NOT
00002375: PUSH1 0x1f
00002377: DUP4
00002378: ADD
00002379: AND
0000237a: SWAP1
0000237b: POP
0000237c: SWAP2
0000237d: SWAP1
0000237e: POP
0000237f: JUMP
00002380: JUMPDEST
00002381: PUSH32 0x616d6f756e74735b315d203c20616d6f756e744f75744d696e00000000000000
000023a2: PUSH1 0x00
000023a4: DUP3
000023a5: ADD
000023a6: MSTORE
000023a7: POP
000023a8: JUMP
000023a9: JUMPDEST
000023aa: PUSH32 0x64732d6d6174682d7375622d756e646572666c6f770000000000000000000000
000023cb: PUSH1 0x00
000023cd: DUP3
000023ce: ADD
000023cf: MSTORE
000023d0: POP
000023d1: JUMP
000023d2: JUMPDEST
000023d3: PUSH32 0x63757272656e7453686974636f696e42616c616e6365203e3d205f7461726765
000023f4: PUSH1 0x00
000023f6: DUP3
000023f7: ADD
000023f8: MSTORE
000023f9: PUSH32 0x7453686974636f696e42616c616e636500000000000000000000000000000000
0000241a: PUSH1 0x20
0000241c: DUP3
0000241d: ADD
0000241e: MSTORE
0000241f: POP
00002420: JUMP
00002421: JUMPDEST
00002422: PUSH32 0x64732d6d6174682d6d756c2d6f766572666c6f77000000000000000000000000
00002443: PUSH1 0x00
00002445: DUP3
00002446: ADD
00002447: MSTORE
00002448: POP
00002449: JUMP
0000244a: JUMPDEST
0000244b: PUSH32 0x64732d6d6174682d6164642d6f766572666c6f77000000000000000000000000
0000246c: PUSH1 0x00
0000246e: DUP3
0000246f: ADD
00002470: MSTORE
00002471: POP
00002472: JUMP
00002473: JUMPDEST
00002474: PUSH32 0x756e617070726f76656400000000000000000000000000000000000000000000
00002495: PUSH1 0x00
00002497: DUP3
00002498: ADD
00002499: MSTORE
0000249a: POP
0000249b: JUMP
0000249c: JUMPDEST
0000249d: PUSH32 0x556e697377617056324c6962726172793a20494e53554646494349454e545f4c
000024be: PUSH1 0x00
000024c0: DUP3
000024c1: ADD
000024c2: MSTORE
000024c3: PUSH32 0x4951554944495459000000000000000000000000000000000000000000000000
000024e4: PUSH1 0x20
000024e6: DUP3
000024e7: ADD
000024e8: MSTORE
000024e9: POP
000024ea: JUMP
000024eb: JUMPDEST
000024ec: PUSH32 0x616d6f756e74735b305d203e3d20616d6f756e74496e4d617841646a75737465
0000250d: PUSH1 0x00
0000250f: DUP3
00002510: ADD
00002511: MSTORE
00002512: PUSH32 0x6400000000000000000000000000000000000000000000000000000000000000
00002533: PUSH1 0x20
00002535: DUP3
00002536: ADD
00002537: MSTORE
00002538: POP
00002539: JUMP
0000253a: JUMPDEST
0000253b: PUSH32 0x5472616e7366657248656c7065723a3a736166655472616e736665723a207472
0000255c: PUSH1 0x00
0000255e: DUP3
0000255f: ADD
00002560: MSTORE
00002561: PUSH32 0x616e73666572206661696c656400000000000000000000000000000000000000
00002582: PUSH1 0x20
00002584: DUP3
00002585: ADD
00002586: MSTORE
00002587: POP
00002588: JUMP
00002589: JUMPDEST
0000258a: PUSH2 0x2592
0000258d: DUP2
0000258e: PUSH2 0x2154
00002591: JUMP
00002592: JUMPDEST
00002593: DUP2
00002594: EQ
00002595: PUSH2 0x259d
00002598: JUMPI
00002599: PUSH1 0x00
0000259b: DUP1
0000259c: REVERT
0000259d: JUMPDEST
0000259e: POP
0000259f: JUMP
000025a0: JUMPDEST
000025a1: PUSH2 0x25a9
000025a4: DUP2
000025a5: PUSH2 0x2166
000025a8: JUMP
000025a9: JUMPDEST
000025aa: DUP2
000025ab: EQ
000025ac: PUSH2 0x25b4
000025af: JUMPI
000025b0: PUSH1 0x00
000025b2: DUP1
000025b3: REVERT
000025b4: JUMPDEST
000025b5: POP
000025b6: JUMP
000025b7: JUMPDEST
000025b8: PUSH2 0x25c0
000025bb: DUP2
000025bc: PUSH2 0x2172
000025bf: JUMP
000025c0: JUMPDEST
000025c1: DUP2
000025c2: EQ
000025c3: PUSH2 0x25cb
000025c6: JUMPI
000025c7: PUSH1 0x00
000025c9: DUP1
000025ca: REVERT
000025cb: JUMPDEST
000025cc: POP
000025cd: JUMP
000025ce: JUMPDEST
000025cf: PUSH2 0x25d7
000025d2: DUP2
000025d3: PUSH2 0x219e
000025d6: JUMP
000025d7: JUMPDEST
000025d8: DUP2
000025d9: EQ
000025da: PUSH2 0x25e2
000025dd: JUMPI
000025de: PUSH1 0x00
000025e0: DUP1
000025e1: REVERT
000025e2: JUMPDEST
000025e3: POP
000025e4: JUMP
000025e5: JUMPDEST
000025e6: PUSH2 0x25ee
000025e9: DUP2
000025ea: PUSH2 0x21d8
000025ed: JUMP
000025ee: JUMPDEST
000025ef: DUP2
000025f0: EQ
000025f1: PUSH2 0x25f9
000025f4: JUMPI
000025f5: PUSH1 0x00
000025f7: DUP1
000025f8: REVERT
000025f9: JUMPDEST
000025fa: POP
000025fb: JUMP
000025fc: JUMPDEST
000025fd: PUSH2 0x2605
00002600: DUP2
00002601: PUSH2 0x21e2
00002604: JUMP
00002605: JUMPDEST
00002606: DUP2
00002607: EQ
00002608: PUSH2 0x2610
0000260b: JUMPI
0000260c: PUSH1 0x00
0000260e: DUP1
0000260f: REVERT
00002610: JUMPDEST
00002611: POP
00002612: JUMP
00002613: INVALID
00002614: LOG2
00002615: PUSH5 0x6970667358
0000261b: UNKNOWN(0x22)
0000261c: SLT
0000261d: KECCAK256
0000261e: UNKNOWN(0xE3)
0000261f: PUSH18 0x3c4078e615dd9c5a03f9ce052ee27734dcb5
00002632: DUP12
00002633: UNKNOWN(0x23)
00002634: DUP13
00002635: CALLDATACOPY
00002636: SUB
00002637: UNKNOWN(0x29)
00002638: SWAP16
00002639: UNKNOWN(0xFC)
0000263a: UNKNOWN(0x26)
0000263b: UNKNOWN(0xC4)
0000263c: UNKNOWN(0xC9)
0000263d: MLOAD
0000263e: PUSH5 0x736f6c6343
00002644: STOP
00002645: ADDMOD
00002646: SMOD
00002647: STOP
00002648: CALLER
Findings

validated = confirmed for call sinks; sink observed for others
Severity	Category	Tool	Title	Confidence	Validated	Confirmed	Details
medium	other	detector	Untrusted CALL target/value reachable	45	no	no	view trace_id: 0x88d20c443b778963a67398808ad957a981978824c5aa621ef30bc38a9c2f3cca call_targets: 0xc1dfd16259c2530e57aea8a2cf106db5671616b0 target_varies: no classification: constant_target validation_json { "sink": "CALL", "errors": 0, "status": "sink_reached", "attempts": 1, "trace_id": "0x88d20c443b778963a67398808ad957a981978824c5aa621ef30bc38a9c2f3cca", "confirmed": false, "trace_mode": "callTracer", "call_targets": [ "0xc1dfd16259c2530e57aea8a2cf106db5671616b0" ], "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": "0x5b191845", "selector": "0x5b191845", "calldata_variants": [ "0x5b191845", "0x5b1918450000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x7462eb75", "selector": "0x7462eb75", "calldata_variants": [ "0x7462eb75", "0x7462eb750000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xab80f0ed", "selector": "0xab80f0ed", "calldata_variants": [ "0xab80f0ed", "0xab80f0ed0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xcf5541db", "selector": "0xcf5541db", "calldata_variants": [ "0xcf5541db", "0xcf5541db0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xe086e5ec", "selector": "0xe086e5ec", "calldata_variants": [ "0xe086e5ec", "0xe086e5ec0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x0ecaf9d5", "selector": "0x0ecaf9d5", "calldata_variants": [ "0x0ecaf9d5", "0x0ecaf9d50000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x4d9caed5", "selector": "0x4d9caed5", "calldata_variants": [ "0x4d9caed5", "0x4d9caed50000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x4f876bd7", "selector": "0x4f876bd7", "calldata_variants": [ "0x4f876bd7", "0x4f876bd70000000000000000000000000000000000000000000000000000000000000000" ] } ] } evidence_json { "examples": [ { "pc": 1472, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" }, { "pc": 2778, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" }, { "pc": 2906, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" } ], "call_count": 9, "guards_detected": [ { "pc": 1560, "type": "msg_sender_eq_const", "value": "0xffffffffffffffffffffffffffffffffffffffff" }, { "pc": 1932, "type": "msg_sender_eq_const", "value": "0xffffffffffffffffffffffffffffffffffffffff" }, { "pc": 2273, "type": "msg_sender_eq_const", "value": "0xffffffffffffffffffffffffffffffffffffffff" }, { "pc": 2452, "type": "msg_sender_eq_const", "value": "0xffffffffffffffffffffffffffffffffffffffff" }, { "pc": 2993, "type": "msg_sender_eq_const", "value": "0xffffffffffffffffffffffffffffffffffffffff" }, { "pc": 3171, "type": "msg_sender_eq_const", "value": "0xffffffffffffffffffffffffffffffffffffffff" }, { "pc": 3492, "type": "msg_sender_eq_const", "value": "0xffffffffffffffffffffffffffffffffffffffff" }, { "pc": 3627, "type": "msg_sender_eq_const", "value": "0xffffffffffffffffffffffffffffffffffffffff" } ], "untrusted_call_count": 9 }
medium	other	detector	ETH value transfer possible	40	no	no	view trace_id: 0x88d20c443b778963a67398808ad957a981978824c5aa621ef30bc38a9c2f3cca call_targets: 0xc1dfd16259c2530e57aea8a2cf106db5671616b0 target_varies: no classification: constant_target validation_json { "sink": "CALL", "errors": 0, "status": "sink_reached", "attempts": 1, "trace_id": "0x88d20c443b778963a67398808ad957a981978824c5aa621ef30bc38a9c2f3cca", "confirmed": false, "trace_mode": "callTracer", "call_targets": [ "0xc1dfd16259c2530e57aea8a2cf106db5671616b0" ], "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": "0x5b191845", "selector": "0x5b191845", "calldata_variants": [ "0x5b191845", "0x5b1918450000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x7462eb75", "selector": "0x7462eb75", "calldata_variants": [ "0x7462eb75", "0x7462eb750000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xab80f0ed", "selector": "0xab80f0ed", "calldata_variants": [ "0xab80f0ed", "0xab80f0ed0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xcf5541db", "selector": "0xcf5541db", "calldata_variants": [ "0xcf5541db", "0xcf5541db0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xe086e5ec", "selector": "0xe086e5ec", "calldata_variants": [ "0xe086e5ec", "0xe086e5ec0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x0ecaf9d5", "selector": "0x0ecaf9d5", "calldata_variants": [ "0x0ecaf9d5", "0x0ecaf9d50000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x4d9caed5", "selector": "0x4d9caed5", "calldata_variants": [ "0x4d9caed5", "0x4d9caed50000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x4f876bd7", "selector": "0x4f876bd7", "calldata_variants": [ "0x4f876bd7", "0x4f876bd70000000000000000000000000000000000000000000000000000000000000000" ] } ] } evidence_json { "examples": [ { "pc": 1472, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" }, { "pc": 2778, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" }, { "pc": 2906, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" } ], "eth_value_calls": 9, "guards_detected": [ { "pc": 1560, "type": "msg_sender_eq_const", "value": "0xffffffffffffffffffffffffffffffffffffffff" }, { "pc": 1932, "type": "msg_sender_eq_const", "value": "0xffffffffffffffffffffffffffffffffffffffff" }, { "pc": 2273, "type": "msg_sender_eq_const", "value": "0xffffffffffffffffffffffffffffffffffffffff" }, { "pc": 2452, "type": "msg_sender_eq_const", "value": "0xffffffffffffffffffffffffffffffffffffffff" }, { "pc": 2993, "type": "msg_sender_eq_const", "value": "0xffffffffffffffffffffffffffffffffffffffff" }, { "pc": 3171, "type": "msg_sender_eq_const", "value": "0xffffffffffffffffffffffffffffffffffffffff" }, { "pc": 3492, "type": "msg_sender_eq_const", "value": "0xffffffffffffffffffffffffffffffffffffffff" }, { "pc": 3627, "type": "msg_sender_eq_const", "value": "0xffffffffffffffffffffffffffffffffffffffff" } ] }
Severity