TW
Tripwire
Find contracts. Test them. Review real vulns.

Analysis Run

019b477e-b178-71c8-8674-2583927ed09e

complete
Chain ID
1
Address
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?

Confirmed
0
Validated
0
Source
Bytecode only
Review Backing
Not yet
Best current signal
Untrusted DELEGATECALL target 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
22155 artifact.fetch complete 1 / 3 3 months ago
22156 tool.cast_disasm complete 1 / 3 3 months ago
101799 analysis.bundle complete 1 / 3 1 week ago
101800 capability.graph complete 1 / 3 1 week ago
101801 detector.run complete 1 / 3 1 week ago
101802 validation.fork complete 1 / 3 1 week 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
13
Selfdestruct
0
CREATE2
0
CALL-family (heavy)
1
EXT*/BALANCE
21
Total opcodes
2632
Flags
delegatecall_present heavy_ext_balance_usage
View cast disassembly output
00000000: PUSH1 0x60
00000002: PUSH1 0x40
00000004: MSTORE
00000005: PUSH1 0x04
00000007: CALLDATASIZE
00000008: LT
00000009: PUSH2 0x00f8
0000000c: JUMPI
0000000d: PUSH4 0xffffffff
00000012: PUSH1 0xe0
00000014: PUSH1 0x02
00000016: EXP
00000017: PUSH1 0x00
00000019: CALLDATALOAD
0000001a: DIV
0000001b: AND
0000001c: PUSH4 0x080741ff
00000021: DUP2
00000022: EQ
00000023: PUSH2 0x015a
00000026: JUMPI
00000027: DUP1
00000028: PUSH4 0x12d7e533
0000002d: EQ
0000002e: PUSH2 0x01a3
00000031: JUMPI
00000032: DUP1
00000033: PUSH4 0x14614af9
00000038: EQ
00000039: PUSH2 0x01bb
0000003c: JUMPI
0000003d: DUP1
0000003e: PUSH4 0x19f363bc
00000043: EQ
00000044: PUSH2 0x01d9
00000047: JUMPI
00000048: DUP1
00000049: PUSH4 0x1fb75dbf
0000004e: EQ
0000004f: PUSH2 0x01f0
00000052: JUMPI
00000053: DUP1
00000054: PUSH4 0x2b55b792
00000059: EQ
0000005a: PUSH2 0x0233
0000005d: JUMPI
0000005e: DUP1
0000005f: PUSH4 0x2d923501
00000064: EQ
00000065: PUSH2 0x0252
00000068: JUMPI
00000069: DUP1
0000006a: PUSH4 0x2e1a7d4d
0000006f: EQ
00000070: PUSH2 0x027d
00000073: JUMPI
00000074: DUP1
00000075: PUSH4 0x5295dfe6
0000007a: EQ
0000007b: PUSH2 0x0293
0000007e: JUMPI
0000007f: DUP1
00000080: PUSH4 0x54fd4d50
00000085: EQ
00000086: PUSH2 0x02b7
00000089: JUMPI
0000008a: DUP1
0000008b: PUSH4 0x853828b6
00000090: EQ
00000091: PUSH2 0x02ee
00000094: JUMPI
00000095: DUP1
00000096: PUSH4 0x89fb8a48
0000009b: EQ
0000009c: PUSH2 0x0301
0000009f: JUMPI
000000a0: DUP1
000000a1: PUSH4 0x9aae82c1
000000a6: EQ
000000a7: PUSH2 0x0317
000000aa: JUMPI
000000ab: DUP1
000000ac: PUSH4 0xa9cc4718
000000b1: EQ
000000b2: PUSH2 0x0336
000000b5: JUMPI
000000b6: DUP1
000000b7: PUSH4 0xaa0b7db7
000000bc: EQ
000000bd: PUSH2 0x0349
000000c0: JUMPI
000000c1: DUP1
000000c2: PUSH4 0xc0ee0b8a
000000c7: EQ
000000c8: PUSH2 0x0364
000000cb: JUMPI
000000cc: DUP1
000000cd: PUSH4 0xd3c4c4d0
000000d2: EQ
000000d3: PUSH2 0x0393
000000d6: JUMPI
000000d7: DUP1
000000d8: PUSH4 0xdef86cbb
000000dd: EQ
000000de: PUSH2 0x03bd
000000e1: JUMPI
000000e2: DUP1
000000e3: PUSH4 0xf91c7ca3
000000e8: EQ
000000e9: PUSH2 0x03e7
000000ec: JUMPI
000000ed: DUP1
000000ee: PUSH4 0xfffe58a2
000000f3: EQ
000000f4: PUSH2 0x040b
000000f7: JUMPI
000000f8: JUMPDEST
000000f9: PUSH20 0x18d13dc217928e416044aca1ee3d2d89c969349b
0000010e: PUSH4 0x6c2802e8
00000113: PUSH1 0x00
00000115: PUSH1 0x40
00000117: MLOAD
00000118: PUSH1 0xe0
0000011a: PUSH1 0x02
0000011c: EXP
0000011d: PUSH4 0xffffffff
00000122: DUP5
00000123: AND
00000124: MUL
00000125: DUP2
00000126: MSTORE
00000127: PUSH1 0x04
00000129: DUP2
0000012a: ADD
0000012b: SWAP2
0000012c: SWAP1
0000012d: SWAP2
0000012e: MSTORE
0000012f: PUSH1 0x24
00000131: ADD
00000132: PUSH1 0x00
00000134: PUSH1 0x40
00000136: MLOAD
00000137: DUP1
00000138: DUP4
00000139: SUB
0000013a: DUP2
0000013b: DUP7
0000013c: DUP1
0000013d: EXTCODESIZE
0000013e: ISZERO
0000013f: ISZERO
00000140: PUSH2 0x0148
00000143: JUMPI
00000144: PUSH1 0x00
00000146: DUP1
00000147: REVERT
00000148: JUMPDEST
00000149: GAS
0000014a: DELEGATECALL
0000014b: ISZERO
0000014c: ISZERO
0000014d: PUSH2 0x0155
00000150: JUMPI
00000151: PUSH1 0x00
00000153: DUP1
00000154: REVERT
00000155: JUMPDEST
00000156: POP
00000157: POP
00000158: POP
00000159: STOP
0000015a: JUMPDEST
0000015b: CALLVALUE
0000015c: ISZERO
0000015d: PUSH2 0x0165
00000160: JUMPI
00000161: PUSH1 0x00
00000163: DUP1
00000164: REVERT
00000165: JUMPDEST
00000166: PUSH2 0x01a1
00000169: PUSH1 0x04
0000016b: DUP1
0000016c: CALLDATALOAD
0000016d: PUSH1 0x01
0000016f: PUSH1 0xa0
00000171: PUSH1 0x02
00000173: EXP
00000174: SUB
00000175: AND
00000176: SWAP1
00000177: PUSH1 0x24
00000179: DUP1
0000017a: CALLDATALOAD
0000017b: SWAP2
0000017c: PUSH1 0x44
0000017e: CALLDATALOAD
0000017f: SWAP2
00000180: PUSH1 0x64
00000182: CALLDATALOAD
00000183: DUP1
00000184: DUP3
00000185: ADD
00000186: SWAP3
00000187: SWAP1
00000188: DUP2
00000189: ADD
0000018a: CALLDATALOAD
0000018b: SWAP2
0000018c: PUSH1 0x84
0000018e: CALLDATALOAD
0000018f: SWAP2
00000190: PUSH1 0xa4
00000192: CALLDATALOAD
00000193: SWAP2
00000194: PUSH1 0xc4
00000196: CALLDATALOAD
00000197: SWAP1
00000198: DUP2
00000199: ADD
0000019a: SWAP2
0000019b: ADD
0000019c: CALLDATALOAD
0000019d: PUSH2 0x0429
000001a0: JUMP
000001a1: JUMPDEST
000001a2: STOP
000001a3: JUMPDEST
000001a4: CALLVALUE
000001a5: ISZERO
000001a6: PUSH2 0x01ae
000001a9: JUMPI
000001aa: PUSH1 0x00
000001ac: DUP1
000001ad: REVERT
000001ae: JUMPDEST
000001af: PUSH2 0x01a1
000001b2: PUSH1 0x04
000001b4: CALLDATALOAD
000001b5: ISZERO
000001b6: ISZERO
000001b7: PUSH2 0x0511
000001ba: JUMP
000001bb: JUMPDEST
000001bc: PUSH2 0x01a1
000001bf: PUSH1 0x01
000001c1: PUSH1 0xa0
000001c3: PUSH1 0x02
000001c5: EXP
000001c6: SUB
000001c7: PUSH1 0x04
000001c9: CALLDATALOAD
000001ca: DUP2
000001cb: AND
000001cc: SWAP1
000001cd: PUSH1 0x24
000001cf: CALLDATALOAD
000001d0: SWAP1
000001d1: PUSH1 0x44
000001d3: CALLDATALOAD
000001d4: AND
000001d5: PUSH2 0x05b9
000001d8: JUMP
000001d9: JUMPDEST
000001da: PUSH2 0x01a1
000001dd: PUSH1 0x04
000001df: CALLDATALOAD
000001e0: PUSH1 0x01
000001e2: PUSH1 0xa0
000001e4: PUSH1 0x02
000001e6: EXP
000001e7: SUB
000001e8: PUSH1 0x24
000001ea: CALLDATALOAD
000001eb: AND
000001ec: PUSH2 0x063f
000001ef: JUMP
000001f0: JUMPDEST
000001f1: CALLVALUE
000001f2: ISZERO
000001f3: PUSH2 0x01fb
000001f6: JUMPI
000001f7: PUSH1 0x00
000001f9: DUP1
000001fa: REVERT
000001fb: JUMPDEST
000001fc: PUSH2 0x01a1
000001ff: PUSH1 0x04
00000201: DUP1
00000202: CALLDATALOAD
00000203: PUSH1 0x01
00000205: PUSH1 0xa0
00000207: PUSH1 0x02
00000209: EXP
0000020a: SUB
0000020b: AND
0000020c: SWAP1
0000020d: PUSH1 0x24
0000020f: DUP1
00000210: CALLDATALOAD
00000211: SWAP2
00000212: PUSH1 0x44
00000214: CALLDATALOAD
00000215: DUP1
00000216: DUP4
00000217: ADD
00000218: SWAP3
00000219: SWAP1
0000021a: DUP3
0000021b: ADD
0000021c: CALLDATALOAD
0000021d: SWAP2
0000021e: PUSH1 0x64
00000220: CALLDATALOAD
00000221: SWAP2
00000222: PUSH1 0x84
00000224: CALLDATALOAD
00000225: SWAP2
00000226: PUSH1 0xa4
00000228: CALLDATALOAD
00000229: SWAP2
0000022a: DUP3
0000022b: ADD
0000022c: SWAP2
0000022d: ADD
0000022e: CALLDATALOAD
0000022f: PUSH2 0x06bb
00000232: JUMP
00000233: JUMPDEST
00000234: CALLVALUE
00000235: ISZERO
00000236: PUSH2 0x023e
00000239: JUMPI
0000023a: PUSH1 0x00
0000023c: DUP1
0000023d: REVERT
0000023e: JUMPDEST
0000023f: PUSH2 0x01a1
00000242: PUSH1 0x01
00000244: PUSH1 0xa0
00000246: PUSH1 0x02
00000248: EXP
00000249: SUB
0000024a: PUSH1 0x04
0000024c: CALLDATALOAD
0000024d: AND
0000024e: PUSH2 0x079a
00000251: JUMP
00000252: JUMPDEST
00000253: CALLVALUE
00000254: ISZERO
00000255: PUSH2 0x025d
00000258: JUMPI
00000259: PUSH1 0x00
0000025b: DUP1
0000025c: REVERT
0000025d: JUMPDEST
0000025e: PUSH2 0x01a1
00000261: PUSH1 0x04
00000263: DUP1
00000264: CALLDATALOAD
00000265: PUSH1 0x01
00000267: PUSH1 0xa0
00000269: PUSH1 0x02
0000026b: EXP
0000026c: SUB
0000026d: AND
0000026e: SWAP1
0000026f: PUSH1 0x24
00000271: DUP1
00000272: CALLDATALOAD
00000273: SWAP1
00000274: DUP2
00000275: ADD
00000276: SWAP2
00000277: ADD
00000278: CALLDATALOAD
00000279: PUSH2 0x0826
0000027c: JUMP
0000027d: JUMPDEST
0000027e: CALLVALUE
0000027f: ISZERO
00000280: PUSH2 0x0288
00000283: JUMPI
00000284: PUSH1 0x00
00000286: DUP1
00000287: REVERT
00000288: JUMPDEST
00000289: PUSH2 0x01a1
0000028c: PUSH1 0x04
0000028e: CALLDATALOAD
0000028f: PUSH2 0x0900
00000292: JUMP
00000293: JUMPDEST
00000294: CALLVALUE
00000295: ISZERO
00000296: PUSH2 0x029e
00000299: JUMPI
0000029a: PUSH1 0x00
0000029c: DUP1
0000029d: REVERT
0000029e: JUMPDEST
0000029f: PUSH2 0x01a1
000002a2: PUSH1 0x01
000002a4: PUSH1 0xa0
000002a6: PUSH1 0x02
000002a8: EXP
000002a9: SUB
000002aa: PUSH1 0x04
000002ac: CALLDATALOAD
000002ad: AND
000002ae: PUSH1 0x24
000002b0: CALLDATALOAD
000002b1: ISZERO
000002b2: ISZERO
000002b3: PUSH2 0x0969
000002b6: JUMP
000002b7: JUMPDEST
000002b8: CALLVALUE
000002b9: ISZERO
000002ba: PUSH2 0x02c2
000002bd: JUMPI
000002be: PUSH1 0x00
000002c0: DUP1
000002c1: REVERT
000002c2: JUMPDEST
000002c3: PUSH2 0x02ca
000002c6: PUSH2 0x09ed
000002c9: JUMP
000002ca: JUMPDEST
000002cb: PUSH1 0x40
000002cd: MLOAD
000002ce: DUP1
000002cf: DUP5
000002d0: DUP2
000002d1: MSTORE
000002d2: PUSH1 0x20
000002d4: ADD
000002d5: DUP4
000002d6: DUP2
000002d7: MSTORE
000002d8: PUSH1 0x20
000002da: ADD
000002db: DUP3
000002dc: DUP2
000002dd: MSTORE
000002de: PUSH1 0x20
000002e0: ADD
000002e1: SWAP4
000002e2: POP
000002e3: POP
000002e4: POP
000002e5: POP
000002e6: PUSH1 0x40
000002e8: MLOAD
000002e9: DUP1
000002ea: SWAP2
000002eb: SUB
000002ec: SWAP1
000002ed: RETURN
000002ee: JUMPDEST
000002ef: CALLVALUE
000002f0: ISZERO
000002f1: PUSH2 0x02f9
000002f4: JUMPI
000002f5: PUSH1 0x00
000002f7: DUP1
000002f8: REVERT
000002f9: JUMPDEST
000002fa: PUSH2 0x01a1
000002fd: PUSH2 0x0a66
00000300: JUMP
00000301: JUMPDEST
00000302: CALLVALUE
00000303: ISZERO
00000304: PUSH2 0x030c
00000307: JUMPI
00000308: PUSH1 0x00
0000030a: DUP1
0000030b: REVERT
0000030c: JUMPDEST
0000030d: PUSH2 0x01a1
00000310: PUSH1 0x04
00000312: CALLDATALOAD
00000313: PUSH2 0x0ac8
00000316: JUMP
00000317: JUMPDEST
00000318: CALLVALUE
00000319: ISZERO
0000031a: PUSH2 0x0322
0000031d: JUMPI
0000031e: PUSH1 0x00
00000320: DUP1
00000321: REVERT
00000322: JUMPDEST
00000323: PUSH2 0x01a1
00000326: PUSH1 0x01
00000328: PUSH1 0xa0
0000032a: PUSH1 0x02
0000032c: EXP
0000032d: SUB
0000032e: PUSH1 0x04
00000330: CALLDATALOAD
00000331: AND
00000332: PUSH2 0x0b1e
00000335: JUMP
00000336: JUMPDEST
00000337: CALLVALUE
00000338: ISZERO
00000339: PUSH2 0x0341
0000033c: JUMPI
0000033d: PUSH1 0x00
0000033f: DUP1
00000340: REVERT
00000341: JUMPDEST
00000342: PUSH2 0x01a1
00000345: PUSH2 0x0b7d
00000348: JUMP
00000349: JUMPDEST
0000034a: PUSH2 0x01a1
0000034d: PUSH1 0x04
0000034f: DUP1
00000350: CALLDATALOAD
00000351: SWAP1
00000352: PUSH1 0x24
00000354: DUP1
00000355: CALLDATALOAD
00000356: SWAP2
00000357: PUSH1 0x44
00000359: CALLDATALOAD
0000035a: SWAP2
0000035b: DUP3
0000035c: ADD
0000035d: SWAP2
0000035e: ADD
0000035f: CALLDATALOAD
00000360: PUSH2 0x0bcd
00000363: JUMP
00000364: JUMPDEST
00000365: CALLVALUE
00000366: ISZERO
00000367: PUSH2 0x036f
0000036a: JUMPI
0000036b: PUSH1 0x00
0000036d: DUP1
0000036e: REVERT
0000036f: JUMPDEST
00000370: PUSH2 0x01a1
00000373: PUSH1 0x04
00000375: DUP1
00000376: CALLDATALOAD
00000377: PUSH1 0x01
00000379: PUSH1 0xa0
0000037b: PUSH1 0x02
0000037d: EXP
0000037e: SUB
0000037f: AND
00000380: SWAP1
00000381: PUSH1 0x24
00000383: DUP1
00000384: CALLDATALOAD
00000385: SWAP2
00000386: PUSH1 0x44
00000388: CALLDATALOAD
00000389: SWAP2
0000038a: DUP3
0000038b: ADD
0000038c: SWAP2
0000038d: ADD
0000038e: CALLDATALOAD
0000038f: PUSH2 0x0c67
00000392: JUMP
00000393: JUMPDEST
00000394: CALLVALUE
00000395: ISZERO
00000396: PUSH2 0x039e
00000399: JUMPI
0000039a: PUSH1 0x00
0000039c: DUP1
0000039d: REVERT
0000039e: JUMPDEST
0000039f: PUSH2 0x01a1
000003a2: PUSH1 0x04
000003a4: DUP1
000003a5: CALLDATALOAD
000003a6: SWAP1
000003a7: PUSH1 0x24
000003a9: DUP1
000003aa: CALLDATALOAD
000003ab: SWAP2
000003ac: PUSH1 0x44
000003ae: CALLDATALOAD
000003af: SWAP2
000003b0: PUSH1 0x64
000003b2: CALLDATALOAD
000003b3: SWAP1
000003b4: DUP2
000003b5: ADD
000003b6: SWAP2
000003b7: ADD
000003b8: CALLDATALOAD
000003b9: PUSH2 0x0cf5
000003bc: JUMP
000003bd: JUMPDEST
000003be: CALLVALUE
000003bf: ISZERO
000003c0: PUSH2 0x03c8
000003c3: JUMPI
000003c4: PUSH1 0x00
000003c6: DUP1
000003c7: REVERT
000003c8: JUMPDEST
000003c9: PUSH2 0x01a1
000003cc: PUSH1 0x24
000003ce: PUSH1 0x04
000003d0: DUP1
000003d1: CALLDATALOAD
000003d2: DUP3
000003d3: DUP2
000003d4: ADD
000003d5: SWAP3
000003d6: SWAP1
000003d7: DUP3
000003d8: ADD
000003d9: CALLDATALOAD
000003da: SWAP2
000003db: DUP2
000003dc: CALLDATALOAD
000003dd: SWAP2
000003de: DUP3
000003df: ADD
000003e0: SWAP2
000003e1: ADD
000003e2: CALLDATALOAD
000003e3: PUSH2 0x0d9b
000003e6: JUMP
000003e7: JUMPDEST
000003e8: CALLVALUE
000003e9: ISZERO
000003ea: PUSH2 0x03f2
000003ed: JUMPI
000003ee: PUSH1 0x00
000003f0: DUP1
000003f1: REVERT
000003f2: JUMPDEST
000003f3: PUSH2 0x01a1
000003f6: PUSH1 0x01
000003f8: PUSH1 0xa0
000003fa: PUSH1 0x02
000003fc: EXP
000003fd: SUB
000003fe: PUSH1 0x04
00000400: CALLDATALOAD
00000401: AND
00000402: PUSH1 0x24
00000404: CALLDATALOAD
00000405: ISZERO
00000406: ISZERO
00000407: PUSH2 0x0e35
0000040a: JUMP
0000040b: JUMPDEST
0000040c: CALLVALUE
0000040d: ISZERO
0000040e: PUSH2 0x0416
00000411: JUMPI
00000412: PUSH1 0x00
00000414: DUP1
00000415: REVERT
00000416: JUMPDEST
00000417: PUSH2 0x01a1
0000041a: PUSH1 0x04
0000041c: DUP1
0000041d: CALLDATALOAD
0000041e: PUSH1 0x24
00000420: DUP2
00000421: ADD
00000422: SWAP2
00000423: ADD
00000424: CALLDATALOAD
00000425: PUSH2 0x0eef
00000428: JUMP
00000429: JUMPDEST
0000042a: PUSH20 0x18d13dc217928e416044aca1ee3d2d89c969349b
0000043f: PUSH4 0x7d324b6d
00000444: PUSH1 0x00
00000446: DUP12
00000447: DUP12
00000448: DUP12
00000449: DUP12
0000044a: DUP12
0000044b: DUP12
0000044c: DUP12
0000044d: DUP12
0000044e: DUP12
0000044f: PUSH1 0x40
00000451: MLOAD
00000452: DUP12
00000453: PUSH4 0xffffffff
00000458: AND
00000459: PUSH1 0xe0
0000045b: PUSH1 0x02
0000045d: EXP
0000045e: MUL
0000045f: DUP2
00000460: MSTORE
00000461: PUSH1 0x04
00000463: ADD
00000464: DUP1
00000465: DUP12
00000466: DUP2
00000467: MSTORE
00000468: PUSH1 0x20
0000046a: ADD
0000046b: DUP11
0000046c: PUSH1 0x01
0000046e: PUSH1 0xa0
00000470: PUSH1 0x02
00000472: EXP
00000473: SUB
00000474: AND
00000475: PUSH1 0x01
00000477: PUSH1 0xa0
00000479: PUSH1 0x02
0000047b: EXP
0000047c: SUB
0000047d: AND
0000047e: DUP2
0000047f: MSTORE
00000480: PUSH1 0x20
00000482: ADD
00000483: DUP10
00000484: DUP2
00000485: MSTORE
00000486: PUSH1 0x20
00000488: ADD
00000489: DUP9
0000048a: DUP2
0000048b: MSTORE
0000048c: PUSH1 0x20
0000048e: ADD
0000048f: DUP1
00000490: PUSH1 0x20
00000492: ADD
00000493: DUP7
00000494: DUP2
00000495: MSTORE
00000496: PUSH1 0x20
00000498: ADD
00000499: DUP6
0000049a: DUP2
0000049b: MSTORE
0000049c: PUSH1 0x20
0000049e: ADD
0000049f: DUP1
000004a0: PUSH1 0x20
000004a2: ADD
000004a3: DUP4
000004a4: DUP2
000004a5: SUB
000004a6: DUP4
000004a7: MSTORE
000004a8: DUP10
000004a9: DUP10
000004aa: DUP3
000004ab: DUP2
000004ac: DUP2
000004ad: MSTORE
000004ae: PUSH1 0x20
000004b0: ADD
000004b1: SWAP3
000004b2: POP
000004b3: DUP1
000004b4: DUP3
000004b5: DUP5
000004b6: CALLDATACOPY
000004b7: SWAP1
000004b8: SWAP2
000004b9: ADD
000004ba: DUP5
000004bb: DUP2
000004bc: SUB
000004bd: DUP4
000004be: MSTORE
000004bf: DUP6
000004c0: DUP2
000004c1: MSTORE
000004c2: PUSH1 0x20
000004c4: ADD
000004c5: SWAP1
000004c6: POP
000004c7: DUP6
000004c8: DUP6
000004c9: DUP1
000004ca: DUP3
000004cb: DUP5
000004cc: CALLDATACOPY
000004cd: DUP3
000004ce: ADD
000004cf: SWAP2
000004d0: POP
000004d1: POP
000004d2: SWAP13
000004d3: POP
000004d4: POP
000004d5: POP
000004d6: POP
000004d7: POP
000004d8: POP
000004d9: POP
000004da: POP
000004db: POP
000004dc: POP
000004dd: POP
000004de: POP
000004df: POP
000004e0: PUSH1 0x00
000004e2: PUSH1 0x40
000004e4: MLOAD
000004e5: DUP1
000004e6: DUP4
000004e7: SUB
000004e8: DUP2
000004e9: DUP7
000004ea: DUP1
000004eb: EXTCODESIZE
000004ec: ISZERO
000004ed: ISZERO
000004ee: PUSH2 0x04f6
000004f1: JUMPI
000004f2: PUSH1 0x00
000004f4: DUP1
000004f5: REVERT
000004f6: JUMPDEST
000004f7: GAS
000004f8: DELEGATECALL
000004f9: ISZERO
000004fa: ISZERO
000004fb: PUSH2 0x0503
000004fe: JUMPI
000004ff: PUSH1 0x00
00000501: DUP1
00000502: REVERT
00000503: JUMPDEST
00000504: POP
00000505: POP
00000506: POP
00000507: POP
00000508: POP
00000509: POP
0000050a: POP
0000050b: POP
0000050c: POP
0000050d: POP
0000050e: POP
0000050f: POP
00000510: JUMP
00000511: JUMPDEST
00000512: PUSH1 0x16
00000514: SLOAD
00000515: PUSH1 0xa0
00000517: PUSH1 0x02
00000519: EXP
0000051a: SWAP1
0000051b: DIV
0000051c: PUSH1 0xff
0000051e: AND
0000051f: ISZERO
00000520: PUSH2 0x0528
00000523: JUMPI
00000524: PUSH1 0x00
00000526: DUP1
00000527: REVERT
00000528: JUMPDEST
00000529: PUSH1 0x16
0000052b: DUP1
0000052c: SLOAD
0000052d: PUSH1 0xa0
0000052f: PUSH1 0x02
00000531: EXP
00000532: PUSH1 0xff
00000534: MUL
00000535: NOT
00000536: AND
00000537: PUSH1 0xa0
00000539: PUSH1 0x02
0000053b: EXP
0000053c: OR
0000053d: SWAP1
0000053e: SSTORE
0000053f: PUSH20 0x18d13dc217928e416044aca1ee3d2d89c969349b
00000554: PUSH4 0x399d1b1a
00000559: PUSH1 0x00
0000055b: DUP4
0000055c: PUSH1 0x40
0000055e: MLOAD
0000055f: PUSH1 0xe0
00000561: PUSH1 0x02
00000563: EXP
00000564: PUSH4 0xffffffff
00000569: DUP6
0000056a: AND
0000056b: MUL
0000056c: DUP2
0000056d: MSTORE
0000056e: PUSH1 0x04
00000570: DUP2
00000571: ADD
00000572: SWAP3
00000573: SWAP1
00000574: SWAP3
00000575: MSTORE
00000576: ISZERO
00000577: ISZERO
00000578: PUSH1 0x24
0000057a: DUP3
0000057b: ADD
0000057c: MSTORE
0000057d: PUSH1 0x44
0000057f: ADD
00000580: PUSH1 0x00
00000582: PUSH1 0x40
00000584: MLOAD
00000585: DUP1
00000586: DUP4
00000587: SUB
00000588: DUP2
00000589: DUP7
0000058a: DUP1
0000058b: EXTCODESIZE
0000058c: ISZERO
0000058d: ISZERO
0000058e: PUSH2 0x0596
00000591: JUMPI
00000592: PUSH1 0x00
00000594: DUP1
00000595: REVERT
00000596: JUMPDEST
00000597: GAS
00000598: DELEGATECALL
00000599: ISZERO
0000059a: ISZERO
0000059b: PUSH2 0x05a3
0000059e: JUMPI
0000059f: PUSH1 0x00
000005a1: DUP1
000005a2: REVERT
000005a3: JUMPDEST
000005a4: POP
000005a5: POP
000005a6: PUSH1 0x16
000005a8: DUP1
000005a9: SLOAD
000005aa: PUSH1 0xa0
000005ac: PUSH1 0x02
000005ae: EXP
000005af: PUSH1 0xff
000005b1: MUL
000005b2: NOT
000005b3: AND
000005b4: SWAP1
000005b5: SSTORE
000005b6: POP
000005b7: POP
000005b8: JUMP
000005b9: JUMPDEST
000005ba: PUSH20 0x18d13dc217928e416044aca1ee3d2d89c969349b
000005cf: PUSH4 0x4afcba30
000005d4: PUSH1 0x00
000005d6: DUP6
000005d7: DUP6
000005d8: DUP6
000005d9: PUSH1 0x40
000005db: MLOAD
000005dc: PUSH1 0xe0
000005de: PUSH1 0x02
000005e0: EXP
000005e1: PUSH4 0xffffffff
000005e6: DUP8
000005e7: AND
000005e8: MUL
000005e9: DUP2
000005ea: MSTORE
000005eb: PUSH1 0x04
000005ed: DUP2
000005ee: ADD
000005ef: SWAP5
000005f0: SWAP1
000005f1: SWAP5
000005f2: MSTORE
000005f3: PUSH1 0x01
000005f5: PUSH1 0xa0
000005f7: PUSH1 0x02
000005f9: EXP
000005fa: SUB
000005fb: SWAP3
000005fc: DUP4
000005fd: AND
000005fe: PUSH1 0x24
00000600: DUP6
00000601: ADD
00000602: MSTORE
00000603: PUSH1 0x44
00000605: DUP5
00000606: ADD
00000607: SWAP2
00000608: SWAP1
00000609: SWAP2
0000060a: MSTORE
0000060b: AND
0000060c: PUSH1 0x64
0000060e: DUP3
0000060f: ADD
00000610: MSTORE
00000611: PUSH1 0x84
00000613: ADD
00000614: PUSH1 0x00
00000616: PUSH1 0x40
00000618: MLOAD
00000619: DUP1
0000061a: DUP4
0000061b: SUB
0000061c: DUP2
0000061d: DUP7
0000061e: DUP1
0000061f: EXTCODESIZE
00000620: ISZERO
00000621: ISZERO
00000622: PUSH2 0x062a
00000625: JUMPI
00000626: PUSH1 0x00
00000628: DUP1
00000629: REVERT
0000062a: JUMPDEST
0000062b: GAS
0000062c: DELEGATECALL
0000062d: ISZERO
0000062e: ISZERO
0000062f: PUSH2 0x0637
00000632: JUMPI
00000633: PUSH1 0x00
00000635: DUP1
00000636: REVERT
00000637: JUMPDEST
00000638: POP
00000639: POP
0000063a: POP
0000063b: POP
0000063c: POP
0000063d: POP
0000063e: JUMP
0000063f: JUMPDEST
00000640: PUSH20 0x18d13dc217928e416044aca1ee3d2d89c969349b
00000655: PUSH4 0x2fb2c6d2
0000065a: PUSH1 0x00
0000065c: DUP5
0000065d: DUP5
0000065e: PUSH1 0x40
00000660: MLOAD
00000661: PUSH1 0xe0
00000663: PUSH1 0x02
00000665: EXP
00000666: PUSH4 0xffffffff
0000066b: DUP7
0000066c: AND
0000066d: MUL
0000066e: DUP2
0000066f: MSTORE
00000670: PUSH1 0x04
00000672: DUP2
00000673: ADD
00000674: SWAP4
00000675: SWAP1
00000676: SWAP4
00000677: MSTORE
00000678: PUSH1 0x24
0000067a: DUP4
0000067b: ADD
0000067c: SWAP2
0000067d: SWAP1
0000067e: SWAP2
0000067f: MSTORE
00000680: PUSH1 0x01
00000682: PUSH1 0xa0
00000684: PUSH1 0x02
00000686: EXP
00000687: SUB
00000688: AND
00000689: PUSH1 0x44
0000068b: DUP3
0000068c: ADD
0000068d: MSTORE
0000068e: PUSH1 0x64
00000690: ADD
00000691: PUSH1 0x00
00000693: PUSH1 0x40
00000695: MLOAD
00000696: DUP1
00000697: DUP4
00000698: SUB
00000699: DUP2
0000069a: DUP7
0000069b: DUP1
0000069c: EXTCODESIZE
0000069d: ISZERO
0000069e: ISZERO
0000069f: PUSH2 0x06a7
000006a2: JUMPI
000006a3: PUSH1 0x00
000006a5: DUP1
000006a6: REVERT
000006a7: JUMPDEST
000006a8: GAS
000006a9: DELEGATECALL
000006aa: ISZERO
000006ab: ISZERO
000006ac: PUSH2 0x06b4
000006af: JUMPI
000006b0: PUSH1 0x00
000006b2: DUP1
000006b3: REVERT
000006b4: JUMPDEST
000006b5: POP
000006b6: POP
000006b7: POP
000006b8: POP
000006b9: POP
000006ba: JUMP
000006bb: JUMPDEST
000006bc: PUSH20 0x18d13dc217928e416044aca1ee3d2d89c969349b
000006d1: PUSH4 0x148b9557
000006d6: PUSH1 0x00
000006d8: DUP11
000006d9: DUP11
000006da: DUP11
000006db: DUP11
000006dc: DUP11
000006dd: DUP11
000006de: DUP11
000006df: DUP11
000006e0: PUSH1 0x40
000006e2: MLOAD
000006e3: DUP11
000006e4: PUSH4 0xffffffff
000006e9: AND
000006ea: PUSH1 0xe0
000006ec: PUSH1 0x02
000006ee: EXP
000006ef: MUL
000006f0: DUP2
000006f1: MSTORE
000006f2: PUSH1 0x04
000006f4: ADD
000006f5: DUP1
000006f6: DUP11
000006f7: DUP2
000006f8: MSTORE
000006f9: PUSH1 0x20
000006fb: ADD
000006fc: DUP10
000006fd: PUSH1 0x01
000006ff: PUSH1 0xa0
00000701: PUSH1 0x02
00000703: EXP
00000704: SUB
00000705: AND
00000706: PUSH1 0x01
00000708: PUSH1 0xa0
0000070a: PUSH1 0x02
0000070c: EXP
0000070d: SUB
0000070e: AND
0000070f: DUP2
00000710: MSTORE
00000711: PUSH1 0x20
00000713: ADD
00000714: DUP9
00000715: DUP2
00000716: MSTORE
00000717: PUSH1 0x20
00000719: ADD
0000071a: DUP1
0000071b: PUSH1 0x20
0000071d: ADD
0000071e: DUP7
0000071f: DUP2
00000720: MSTORE
00000721: PUSH1 0x20
00000723: ADD
00000724: DUP6
00000725: DUP2
00000726: MSTORE
00000727: PUSH1 0x20
00000729: ADD
0000072a: DUP1
0000072b: PUSH1 0x20
0000072d: ADD
0000072e: DUP4
0000072f: DUP2
00000730: SUB
00000731: DUP4
00000732: MSTORE
00000733: DUP10
00000734: DUP10
00000735: DUP3
00000736: DUP2
00000737: DUP2
00000738: MSTORE
00000739: PUSH1 0x20
0000073b: ADD
0000073c: SWAP3
0000073d: POP
0000073e: DUP1
0000073f: DUP3
00000740: DUP5
00000741: CALLDATACOPY
00000742: SWAP1
00000743: SWAP2
00000744: ADD
00000745: DUP5
00000746: DUP2
00000747: SUB
00000748: DUP4
00000749: MSTORE
0000074a: DUP6
0000074b: DUP2
0000074c: MSTORE
0000074d: PUSH1 0x20
0000074f: ADD
00000750: SWAP1
00000751: POP
00000752: DUP6
00000753: DUP6
00000754: DUP1
00000755: DUP3
00000756: DUP5
00000757: CALLDATACOPY
00000758: DUP3
00000759: ADD
0000075a: SWAP2
0000075b: POP
0000075c: POP
0000075d: SWAP12
0000075e: POP
0000075f: POP
00000760: POP
00000761: POP
00000762: POP
00000763: POP
00000764: POP
00000765: POP
00000766: POP
00000767: POP
00000768: POP
00000769: POP
0000076a: PUSH1 0x00
0000076c: PUSH1 0x40
0000076e: MLOAD
0000076f: DUP1
00000770: DUP4
00000771: SUB
00000772: DUP2
00000773: DUP7
00000774: DUP1
00000775: EXTCODESIZE
00000776: ISZERO
00000777: ISZERO
00000778: PUSH2 0x0780
0000077b: JUMPI
0000077c: PUSH1 0x00
0000077e: DUP1
0000077f: REVERT
00000780: JUMPDEST
00000781: GAS
00000782: DELEGATECALL
00000783: ISZERO
00000784: ISZERO
00000785: PUSH2 0x078d
00000788: JUMPI
00000789: PUSH1 0x00
0000078b: DUP1
0000078c: REVERT
0000078d: JUMPDEST
0000078e: POP
0000078f: POP
00000790: POP
00000791: POP
00000792: POP
00000793: POP
00000794: POP
00000795: POP
00000796: POP
00000797: POP
00000798: POP
00000799: JUMP
0000079a: JUMPDEST
0000079b: PUSH1 0x16
0000079d: SLOAD
0000079e: PUSH1 0xa0
000007a0: PUSH1 0x02
000007a2: EXP
000007a3: SWAP1
000007a4: DIV
000007a5: PUSH1 0xff
000007a7: AND
000007a8: ISZERO
000007a9: PUSH2 0x07b1
000007ac: JUMPI
000007ad: PUSH1 0x00
000007af: DUP1
000007b0: REVERT
000007b1: JUMPDEST
000007b2: PUSH1 0x16
000007b4: DUP1
000007b5: SLOAD
000007b6: PUSH1 0xa0
000007b8: PUSH1 0x02
000007ba: EXP
000007bb: PUSH1 0xff
000007bd: MUL
000007be: NOT
000007bf: AND
000007c0: PUSH1 0xa0
000007c2: PUSH1 0x02
000007c4: EXP
000007c5: OR
000007c6: SWAP1
000007c7: SSTORE
000007c8: PUSH20 0x18d13dc217928e416044aca1ee3d2d89c969349b
000007dd: PUSH4 0x80b8871c
000007e2: PUSH1 0x00
000007e4: DUP4
000007e5: PUSH1 0x40
000007e7: MLOAD
000007e8: PUSH1 0xe0
000007ea: PUSH1 0x02
000007ec: EXP
000007ed: PUSH4 0xffffffff
000007f2: DUP6
000007f3: AND
000007f4: MUL
000007f5: DUP2
000007f6: MSTORE
000007f7: PUSH1 0x04
000007f9: DUP2
000007fa: ADD
000007fb: SWAP3
000007fc: SWAP1
000007fd: SWAP3
000007fe: MSTORE
000007ff: PUSH1 0x01
00000801: PUSH1 0xa0
00000803: PUSH1 0x02
00000805: EXP
00000806: SUB
00000807: AND
00000808: PUSH1 0x24
0000080a: DUP3
0000080b: ADD
0000080c: MSTORE
0000080d: PUSH1 0x44
0000080f: ADD
00000810: PUSH1 0x00
00000812: PUSH1 0x40
00000814: MLOAD
00000815: DUP1
00000816: DUP4
00000817: SUB
00000818: DUP2
00000819: DUP7
0000081a: DUP1
0000081b: EXTCODESIZE
0000081c: ISZERO
0000081d: ISZERO
0000081e: PUSH2 0x0596
00000821: JUMPI
00000822: PUSH1 0x00
00000824: DUP1
00000825: REVERT
00000826: JUMPDEST
00000827: PUSH1 0x16
00000829: SLOAD
0000082a: PUSH1 0xa0
0000082c: PUSH1 0x02
0000082e: EXP
0000082f: SWAP1
00000830: DIV
00000831: PUSH1 0xff
00000833: AND
00000834: ISZERO
00000835: PUSH2 0x083d
00000838: JUMPI
00000839: PUSH1 0x00
0000083b: DUP1
0000083c: REVERT
0000083d: JUMPDEST
0000083e: PUSH1 0x16
00000840: DUP1
00000841: SLOAD
00000842: PUSH1 0xa0
00000844: PUSH1 0x02
00000846: EXP
00000847: PUSH1 0xff
00000849: MUL
0000084a: NOT
0000084b: AND
0000084c: PUSH1 0xa0
0000084e: PUSH1 0x02
00000850: EXP
00000851: OR
00000852: SWAP1
00000853: SSTORE
00000854: PUSH20 0x18d13dc217928e416044aca1ee3d2d89c969349b
00000869: PUSH4 0x392a4fa2
0000086e: PUSH1 0x00
00000870: DUP6
00000871: DUP6
00000872: DUP6
00000873: PUSH1 0x40
00000875: MLOAD
00000876: PUSH1 0xe0
00000878: PUSH1 0x02
0000087a: EXP
0000087b: PUSH4 0xffffffff
00000880: DUP8
00000881: AND
00000882: MUL
00000883: DUP2
00000884: MSTORE
00000885: PUSH1 0x04
00000887: DUP2
00000888: ADD
00000889: DUP6
0000088a: DUP2
0000088b: MSTORE
0000088c: PUSH1 0x01
0000088e: PUSH1 0xa0
00000890: PUSH1 0x02
00000892: EXP
00000893: SUB
00000894: DUP6
00000895: AND
00000896: PUSH1 0x24
00000898: DUP4
00000899: ADD
0000089a: MSTORE
0000089b: PUSH1 0x60
0000089d: PUSH1 0x44
0000089f: DUP4
000008a0: ADD
000008a1: SWAP1
000008a2: DUP2
000008a3: MSTORE
000008a4: PUSH1 0x64
000008a6: DUP4
000008a7: ADD
000008a8: DUP5
000008a9: SWAP1
000008aa: MSTORE
000008ab: SWAP1
000008ac: SWAP2
000008ad: PUSH1 0x84
000008af: ADD
000008b0: DUP5
000008b1: PUSH1 0x20
000008b3: DUP6
000008b4: MUL
000008b5: DUP1
000008b6: DUP3
000008b7: DUP5
000008b8: CALLDATACOPY
000008b9: DUP3
000008ba: ADD
000008bb: SWAP2
000008bc: POP
000008bd: POP
000008be: SWAP6
000008bf: POP
000008c0: POP
000008c1: POP
000008c2: POP
000008c3: POP
000008c4: POP
000008c5: PUSH1 0x00
000008c7: PUSH1 0x40
000008c9: MLOAD
000008ca: DUP1
000008cb: DUP4
000008cc: SUB
000008cd: DUP2
000008ce: DUP7
000008cf: DUP1
000008d0: EXTCODESIZE
000008d1: ISZERO
000008d2: ISZERO
000008d3: PUSH2 0x08db
000008d6: JUMPI
000008d7: PUSH1 0x00
000008d9: DUP1
000008da: REVERT
000008db: JUMPDEST
000008dc: GAS
000008dd: DELEGATECALL
000008de: ISZERO
000008df: ISZERO
000008e0: PUSH2 0x08e8
000008e3: JUMPI
000008e4: PUSH1 0x00
000008e6: DUP1
000008e7: REVERT
000008e8: JUMPDEST
000008e9: POP
000008ea: POP
000008eb: PUSH1 0x16
000008ed: DUP1
000008ee: SLOAD
000008ef: PUSH1 0xa0
000008f1: PUSH1 0x02
000008f3: EXP
000008f4: PUSH1 0xff
000008f6: MUL
000008f7: NOT
000008f8: AND
000008f9: SWAP1
000008fa: SSTORE
000008fb: POP
000008fc: POP
000008fd: POP
000008fe: POP
000008ff: JUMP
00000900: JUMPDEST
00000901: PUSH20 0x18d13dc217928e416044aca1ee3d2d89c969349b
00000916: PUSH4 0xf522fc1b
0000091b: PUSH1 0x00
0000091d: DUP4
0000091e: PUSH1 0x40
00000920: MLOAD
00000921: PUSH1 0xe0
00000923: PUSH1 0x02
00000925: EXP
00000926: PUSH4 0xffffffff
0000092b: DUP6
0000092c: AND
0000092d: MUL
0000092e: DUP2
0000092f: MSTORE
00000930: PUSH1 0x04
00000932: DUP2
00000933: ADD
00000934: SWAP3
00000935: SWAP1
00000936: SWAP3
00000937: MSTORE
00000938: PUSH1 0x24
0000093a: DUP3
0000093b: ADD
0000093c: MSTORE
0000093d: PUSH1 0x44
0000093f: ADD
00000940: PUSH1 0x00
00000942: PUSH1 0x40
00000944: MLOAD
00000945: DUP1
00000946: DUP4
00000947: SUB
00000948: DUP2
00000949: DUP7
0000094a: DUP1
0000094b: EXTCODESIZE
0000094c: ISZERO
0000094d: ISZERO
0000094e: PUSH2 0x0956
00000951: JUMPI
00000952: PUSH1 0x00
00000954: DUP1
00000955: REVERT
00000956: JUMPDEST
00000957: GAS
00000958: DELEGATECALL
00000959: ISZERO
0000095a: ISZERO
0000095b: PUSH2 0x0963
0000095e: JUMPI
0000095f: PUSH1 0x00
00000961: DUP1
00000962: REVERT
00000963: JUMPDEST
00000964: POP
00000965: POP
00000966: POP
00000967: POP
00000968: JUMP
00000969: JUMPDEST
0000096a: PUSH1 0x16
0000096c: SLOAD
0000096d: CALLER
0000096e: PUSH1 0x01
00000970: PUSH1 0xa0
00000972: PUSH1 0x02
00000974: EXP
00000975: SUB
00000976: SWAP1
00000977: DUP2
00000978: AND
00000979: SWAP2
0000097a: AND
0000097b: EQ
0000097c: PUSH2 0x0984
0000097f: JUMPI
00000980: PUSH1 0x00
00000982: DUP1
00000983: REVERT
00000984: JUMPDEST
00000985: PUSH20 0x18d13dc217928e416044aca1ee3d2d89c969349b
0000099a: PUSH4 0x61d67ca5
0000099f: PUSH1 0x00
000009a1: DUP5
000009a2: DUP5
000009a3: PUSH1 0x40
000009a5: MLOAD
000009a6: PUSH1 0xe0
000009a8: PUSH1 0x02
000009aa: EXP
000009ab: PUSH4 0xffffffff
000009b0: DUP7
000009b1: AND
000009b2: MUL
000009b3: DUP2
000009b4: MSTORE
000009b5: PUSH1 0x04
000009b7: DUP2
000009b8: ADD
000009b9: SWAP4
000009ba: SWAP1
000009bb: SWAP4
000009bc: MSTORE
000009bd: PUSH1 0x01
000009bf: PUSH1 0xa0
000009c1: PUSH1 0x02
000009c3: EXP
000009c4: SUB
000009c5: SWAP1
000009c6: SWAP2
000009c7: AND
000009c8: PUSH1 0x24
000009ca: DUP4
000009cb: ADD
000009cc: MSTORE
000009cd: ISZERO
000009ce: ISZERO
000009cf: PUSH1 0x44
000009d1: DUP3
000009d2: ADD
000009d3: MSTORE
000009d4: PUSH1 0x64
000009d6: ADD
000009d7: PUSH1 0x00
000009d9: PUSH1 0x40
000009db: MLOAD
000009dc: DUP1
000009dd: DUP4
000009de: SUB
000009df: DUP2
000009e0: DUP7
000009e1: DUP1
000009e2: EXTCODESIZE
000009e3: ISZERO
000009e4: ISZERO
000009e5: PUSH2 0x06a7
000009e8: JUMPI
000009e9: PUSH1 0x00
000009eb: DUP1
000009ec: REVERT
000009ed: JUMPDEST
000009ee: PUSH1 0x00
000009f0: DUP1
000009f1: PUSH1 0x00
000009f3: PUSH20 0x18d13dc217928e416044aca1ee3d2d89c969349b
00000a08: PUSH4 0x54fd4d50
00000a0d: PUSH1 0x40
00000a0f: MLOAD
00000a10: DUP2
00000a11: PUSH4 0xffffffff
00000a16: AND
00000a17: PUSH1 0xe0
00000a19: PUSH1 0x02
00000a1b: EXP
00000a1c: MUL
00000a1d: DUP2
00000a1e: MSTORE
00000a1f: PUSH1 0x04
00000a21: ADD
00000a22: PUSH1 0x60
00000a24: PUSH1 0x40
00000a26: MLOAD
00000a27: DUP1
00000a28: DUP4
00000a29: SUB
00000a2a: DUP2
00000a2b: DUP7
00000a2c: DUP1
00000a2d: EXTCODESIZE
00000a2e: ISZERO
00000a2f: ISZERO
00000a30: PUSH2 0x0a38
00000a33: JUMPI
00000a34: PUSH1 0x00
00000a36: DUP1
00000a37: REVERT
00000a38: JUMPDEST
00000a39: GAS
00000a3a: DELEGATECALL
00000a3b: ISZERO
00000a3c: ISZERO
00000a3d: PUSH2 0x0a45
00000a40: JUMPI
00000a41: PUSH1 0x00
00000a43: DUP1
00000a44: REVERT
00000a45: JUMPDEST
00000a46: POP
00000a47: POP
00000a48: POP
00000a49: PUSH1 0x40
00000a4b: MLOAD
00000a4c: DUP1
00000a4d: MLOAD
00000a4e: SWAP1
00000a4f: PUSH1 0x20
00000a51: ADD
00000a52: DUP1
00000a53: MLOAD
00000a54: SWAP1
00000a55: PUSH1 0x20
00000a57: ADD
00000a58: DUP1
00000a59: MLOAD
00000a5a: SWAP1
00000a5b: POP
00000a5c: SWAP3
00000a5d: POP
00000a5e: SWAP3
00000a5f: POP
00000a60: SWAP3
00000a61: POP
00000a62: SWAP1
00000a63: SWAP2
00000a64: SWAP3
00000a65: JUMP
00000a66: JUMPDEST
00000a67: PUSH20 0x18d13dc217928e416044aca1ee3d2d89c969349b
00000a7c: PUSH4 0xf64e7cda
00000a81: PUSH1 0x00
00000a83: PUSH1 0x40
00000a85: MLOAD
00000a86: PUSH1 0xe0
00000a88: PUSH1 0x02
00000a8a: EXP
00000a8b: PUSH4 0xffffffff
00000a90: DUP5
00000a91: AND
00000a92: MUL
00000a93: DUP2
00000a94: MSTORE
00000a95: PUSH1 0x04
00000a97: DUP2
00000a98: ADD
00000a99: SWAP2
00000a9a: SWAP1
00000a9b: SWAP2
00000a9c: MSTORE
00000a9d: PUSH1 0x24
00000a9f: ADD
00000aa0: PUSH1 0x00
00000aa2: PUSH1 0x40
00000aa4: MLOAD
00000aa5: DUP1
00000aa6: DUP4
00000aa7: SUB
00000aa8: DUP2
00000aa9: DUP7
00000aaa: DUP1
00000aab: EXTCODESIZE
00000aac: ISZERO
00000aad: ISZERO
00000aae: PUSH2 0x0ab6
00000ab1: JUMPI
00000ab2: PUSH1 0x00
00000ab4: DUP1
00000ab5: REVERT
00000ab6: JUMPDEST
00000ab7: GAS
00000ab8: DELEGATECALL
00000ab9: ISZERO
00000aba: ISZERO
00000abb: PUSH2 0x0ac3
00000abe: JUMPI
00000abf: PUSH1 0x00
00000ac1: DUP1
00000ac2: REVERT
00000ac3: JUMPDEST
00000ac4: POP
00000ac5: POP
00000ac6: POP
00000ac7: JUMP
00000ac8: JUMPDEST
00000ac9: PUSH20 0x18d13dc217928e416044aca1ee3d2d89c969349b
00000ade: PUSH4 0x68540b6b
00000ae3: PUSH1 0x00
00000ae5: DUP4
00000ae6: PUSH1 0x40
00000ae8: MLOAD
00000ae9: PUSH1 0xe0
00000aeb: PUSH1 0x02
00000aed: EXP
00000aee: PUSH4 0xffffffff
00000af3: DUP6
00000af4: AND
00000af5: MUL
00000af6: DUP2
00000af7: MSTORE
00000af8: PUSH1 0x04
00000afa: DUP2
00000afb: ADD
00000afc: SWAP3
00000afd: SWAP1
00000afe: SWAP3
00000aff: MSTORE
00000b00: PUSH1 0x24
00000b02: DUP3
00000b03: ADD
00000b04: MSTORE
00000b05: PUSH1 0x44
00000b07: ADD
00000b08: PUSH1 0x00
00000b0a: PUSH1 0x40
00000b0c: MLOAD
00000b0d: DUP1
00000b0e: DUP4
00000b0f: SUB
00000b10: DUP2
00000b11: DUP7
00000b12: DUP1
00000b13: EXTCODESIZE
00000b14: ISZERO
00000b15: ISZERO
00000b16: PUSH2 0x0956
00000b19: JUMPI
00000b1a: PUSH1 0x00
00000b1c: DUP1
00000b1d: REVERT
00000b1e: JUMPDEST
00000b1f: PUSH20 0x18d13dc217928e416044aca1ee3d2d89c969349b
00000b34: PUSH4 0xc27d2d45
00000b39: PUSH1 0x00
00000b3b: DUP4
00000b3c: PUSH1 0x40
00000b3e: MLOAD
00000b3f: PUSH1 0xe0
00000b41: PUSH1 0x02
00000b43: EXP
00000b44: PUSH4 0xffffffff
00000b49: DUP6
00000b4a: AND
00000b4b: MUL
00000b4c: DUP2
00000b4d: MSTORE
00000b4e: PUSH1 0x04
00000b50: DUP2
00000b51: ADD
00000b52: SWAP3
00000b53: SWAP1
00000b54: SWAP3
00000b55: MSTORE
00000b56: PUSH1 0x01
00000b58: PUSH1 0xa0
00000b5a: PUSH1 0x02
00000b5c: EXP
00000b5d: SUB
00000b5e: AND
00000b5f: PUSH1 0x24
00000b61: DUP3
00000b62: ADD
00000b63: MSTORE
00000b64: PUSH1 0x44
00000b66: ADD
00000b67: PUSH1 0x00
00000b69: PUSH1 0x40
00000b6b: MLOAD
00000b6c: DUP1
00000b6d: DUP4
00000b6e: SUB
00000b6f: DUP2
00000b70: DUP7
00000b71: DUP1
00000b72: EXTCODESIZE
00000b73: ISZERO
00000b74: ISZERO
00000b75: PUSH2 0x0956
00000b78: JUMPI
00000b79: PUSH1 0x00
00000b7b: DUP1
00000b7c: REVERT
00000b7d: JUMPDEST
00000b7e: PUSH20 0x18d13dc217928e416044aca1ee3d2d89c969349b
00000b93: PUSH4 0x62cea5b9
00000b98: PUSH1 0x00
00000b9a: PUSH1 0x40
00000b9c: MLOAD
00000b9d: PUSH1 0xe0
00000b9f: PUSH1 0x02
00000ba1: EXP
00000ba2: PUSH4 0xffffffff
00000ba7: DUP5
00000ba8: AND
00000ba9: MUL
00000baa: DUP2
00000bab: MSTORE
00000bac: PUSH1 0x04
00000bae: DUP2
00000baf: ADD
00000bb0: SWAP2
00000bb1: SWAP1
00000bb2: SWAP2
00000bb3: MSTORE
00000bb4: PUSH1 0x24
00000bb6: ADD
00000bb7: PUSH1 0x00
00000bb9: PUSH1 0x40
00000bbb: MLOAD
00000bbc: DUP1
00000bbd: DUP4
00000bbe: SUB
00000bbf: DUP2
00000bc0: DUP7
00000bc1: DUP1
00000bc2: EXTCODESIZE
00000bc3: ISZERO
00000bc4: ISZERO
00000bc5: PUSH2 0x0ab6
00000bc8: JUMPI
00000bc9: PUSH1 0x00
00000bcb: DUP1
00000bcc: REVERT
00000bcd: JUMPDEST
00000bce: PUSH20 0x18d13dc217928e416044aca1ee3d2d89c969349b
00000be3: PUSH4 0x14c937bb
00000be8: PUSH1 0x00
00000bea: DUP7
00000beb: DUP7
00000bec: DUP7
00000bed: DUP7
00000bee: PUSH1 0x40
00000bf0: MLOAD
00000bf1: DUP7
00000bf2: PUSH4 0xffffffff
00000bf7: AND
00000bf8: PUSH1 0xe0
00000bfa: PUSH1 0x02
00000bfc: EXP
00000bfd: MUL
00000bfe: DUP2
00000bff: MSTORE
00000c00: PUSH1 0x04
00000c02: ADD
00000c03: DUP1
00000c04: DUP7
00000c05: DUP2
00000c06: MSTORE
00000c07: PUSH1 0x20
00000c09: ADD
00000c0a: DUP6
00000c0b: DUP2
00000c0c: MSTORE
00000c0d: PUSH1 0x20
00000c0f: ADD
00000c10: DUP5
00000c11: DUP2
00000c12: MSTORE
00000c13: PUSH1 0x20
00000c15: ADD
00000c16: DUP1
00000c17: PUSH1 0x20
00000c19: ADD
00000c1a: DUP3
00000c1b: DUP2
00000c1c: SUB
00000c1d: DUP3
00000c1e: MSTORE
00000c1f: DUP5
00000c20: DUP5
00000c21: DUP3
00000c22: DUP2
00000c23: DUP2
00000c24: MSTORE
00000c25: PUSH1 0x20
00000c27: ADD
00000c28: SWAP3
00000c29: POP
00000c2a: DUP1
00000c2b: DUP3
00000c2c: DUP5
00000c2d: CALLDATACOPY
00000c2e: DUP3
00000c2f: ADD
00000c30: SWAP2
00000c31: POP
00000c32: POP
00000c33: SWAP7
00000c34: POP
00000c35: POP
00000c36: POP
00000c37: POP
00000c38: POP
00000c39: POP
00000c3a: POP
00000c3b: PUSH1 0x00
00000c3d: PUSH1 0x40
00000c3f: MLOAD
00000c40: DUP1
00000c41: DUP4
00000c42: SUB
00000c43: DUP2
00000c44: DUP7
00000c45: DUP1
00000c46: EXTCODESIZE
00000c47: ISZERO
00000c48: ISZERO
00000c49: PUSH2 0x0c51
00000c4c: JUMPI
00000c4d: PUSH1 0x00
00000c4f: DUP1
00000c50: REVERT
00000c51: JUMPDEST
00000c52: GAS
00000c53: DELEGATECALL
00000c54: ISZERO
00000c55: ISZERO
00000c56: PUSH2 0x0c5e
00000c59: JUMPI
00000c5a: PUSH1 0x00
00000c5c: DUP1
00000c5d: REVERT
00000c5e: JUMPDEST
00000c5f: POP
00000c60: POP
00000c61: POP
00000c62: POP
00000c63: POP
00000c64: POP
00000c65: POP
00000c66: JUMP
00000c67: JUMPDEST
00000c68: PUSH20 0x18d13dc217928e416044aca1ee3d2d89c969349b
00000c7d: PUSH4 0xdde9806b
00000c82: PUSH1 0x00
00000c84: DUP7
00000c85: DUP7
00000c86: DUP7
00000c87: DUP7
00000c88: PUSH1 0x40
00000c8a: MLOAD
00000c8b: PUSH1 0xe0
00000c8d: PUSH1 0x02
00000c8f: EXP
00000c90: PUSH4 0xffffffff
00000c95: DUP9
00000c96: AND
00000c97: MUL
00000c98: DUP2
00000c99: MSTORE
00000c9a: PUSH1 0x04
00000c9c: DUP2
00000c9d: ADD
00000c9e: DUP7
00000c9f: DUP2
00000ca0: MSTORE
00000ca1: PUSH1 0x01
00000ca3: PUSH1 0xa0
00000ca5: PUSH1 0x02
00000ca7: EXP
00000ca8: SUB
00000ca9: DUP7
00000caa: AND
00000cab: PUSH1 0x24
00000cad: DUP4
00000cae: ADD
00000caf: MSTORE
00000cb0: PUSH1 0x44
00000cb2: DUP3
00000cb3: ADD
00000cb4: DUP6
00000cb5: SWAP1
00000cb6: MSTORE
00000cb7: PUSH1 0x80
00000cb9: PUSH1 0x64
00000cbb: DUP4
00000cbc: ADD
00000cbd: SWAP1
00000cbe: DUP2
00000cbf: MSTORE
00000cc0: PUSH1 0x84
00000cc2: DUP4
00000cc3: ADD
00000cc4: DUP5
00000cc5: SWAP1
00000cc6: MSTORE
00000cc7: SWAP1
00000cc8: SWAP2
00000cc9: PUSH1 0xa4
00000ccb: ADD
00000ccc: DUP5
00000ccd: DUP5
00000cce: DUP1
00000ccf: DUP3
00000cd0: DUP5
00000cd1: CALLDATACOPY
00000cd2: DUP3
00000cd3: ADD
00000cd4: SWAP2
00000cd5: POP
00000cd6: POP
00000cd7: SWAP7
00000cd8: POP
00000cd9: POP
00000cda: POP
00000cdb: POP
00000cdc: POP
00000cdd: POP
00000cde: POP
00000cdf: PUSH1 0x00
00000ce1: PUSH1 0x40
00000ce3: MLOAD
00000ce4: DUP1
00000ce5: DUP4
00000ce6: SUB
00000ce7: DUP2
00000ce8: DUP7
00000ce9: DUP1
00000cea: EXTCODESIZE
00000ceb: ISZERO
00000cec: ISZERO
00000ced: PUSH2 0x0c51
00000cf0: JUMPI
00000cf1: PUSH1 0x00
00000cf3: DUP1
00000cf4: REVERT
00000cf5: JUMPDEST
00000cf6: PUSH20 0x18d13dc217928e416044aca1ee3d2d89c969349b
00000d0b: PUSH4 0x2006b39d
00000d10: PUSH1 0x00
00000d12: DUP8
00000d13: DUP8
00000d14: DUP8
00000d15: DUP8
00000d16: DUP8
00000d17: PUSH1 0x40
00000d19: MLOAD
00000d1a: DUP8
00000d1b: PUSH4 0xffffffff
00000d20: AND
00000d21: PUSH1 0xe0
00000d23: PUSH1 0x02
00000d25: EXP
00000d26: MUL
00000d27: DUP2
00000d28: MSTORE
00000d29: PUSH1 0x04
00000d2b: ADD
00000d2c: DUP1
00000d2d: DUP8
00000d2e: DUP2
00000d2f: MSTORE
00000d30: PUSH1 0x20
00000d32: ADD
00000d33: DUP7
00000d34: DUP2
00000d35: MSTORE
00000d36: PUSH1 0x20
00000d38: ADD
00000d39: DUP6
00000d3a: DUP2
00000d3b: MSTORE
00000d3c: PUSH1 0x20
00000d3e: ADD
00000d3f: DUP5
00000d40: DUP2
00000d41: MSTORE
00000d42: PUSH1 0x20
00000d44: ADD
00000d45: DUP1
00000d46: PUSH1 0x20
00000d48: ADD
00000d49: DUP3
00000d4a: DUP2
00000d4b: SUB
00000d4c: DUP3
00000d4d: MSTORE
00000d4e: DUP5
00000d4f: DUP5
00000d50: DUP3
00000d51: DUP2
00000d52: DUP2
00000d53: MSTORE
00000d54: PUSH1 0x20
00000d56: ADD
00000d57: SWAP3
00000d58: POP
00000d59: PUSH1 0x20
00000d5b: MUL
00000d5c: DUP1
00000d5d: DUP3
00000d5e: DUP5
00000d5f: CALLDATACOPY
00000d60: DUP3
00000d61: ADD
00000d62: SWAP2
00000d63: POP
00000d64: POP
00000d65: SWAP8
00000d66: POP
00000d67: POP
00000d68: POP
00000d69: POP
00000d6a: POP
00000d6b: POP
00000d6c: POP
00000d6d: POP
00000d6e: PUSH1 0x00
00000d70: PUSH1 0x40
00000d72: MLOAD
00000d73: DUP1
00000d74: DUP4
00000d75: SUB
00000d76: DUP2
00000d77: DUP7
00000d78: DUP1
00000d79: EXTCODESIZE
00000d7a: ISZERO
00000d7b: ISZERO
00000d7c: PUSH2 0x0d84
00000d7f: JUMPI
00000d80: PUSH1 0x00
00000d82: DUP1
00000d83: REVERT
00000d84: JUMPDEST
00000d85: GAS
00000d86: DELEGATECALL
00000d87: ISZERO
00000d88: ISZERO
00000d89: PUSH2 0x0d91
00000d8c: JUMPI
00000d8d: PUSH1 0x00
00000d8f: DUP1
00000d90: REVERT
00000d91: JUMPDEST
00000d92: POP
00000d93: POP
00000d94: POP
00000d95: POP
00000d96: POP
00000d97: POP
00000d98: POP
00000d99: POP
00000d9a: JUMP
00000d9b: JUMPDEST
00000d9c: PUSH20 0x18d13dc217928e416044aca1ee3d2d89c969349b
00000db1: PUSH4 0x536b7ad5
00000db6: PUSH1 0x00
00000db8: DUP7
00000db9: DUP7
00000dba: DUP7
00000dbb: DUP7
00000dbc: PUSH1 0x40
00000dbe: MLOAD
00000dbf: DUP7
00000dc0: PUSH4 0xffffffff
00000dc5: AND
00000dc6: PUSH1 0xe0
00000dc8: PUSH1 0x02
00000dca: EXP
00000dcb: MUL
00000dcc: DUP2
00000dcd: MSTORE
00000dce: PUSH1 0x04
00000dd0: ADD
00000dd1: DUP1
00000dd2: DUP7
00000dd3: DUP2
00000dd4: MSTORE
00000dd5: PUSH1 0x20
00000dd7: ADD
00000dd8: DUP1
00000dd9: PUSH1 0x20
00000ddb: ADD
00000ddc: DUP1
00000ddd: PUSH1 0x20
00000ddf: ADD
00000de0: DUP4
00000de1: DUP2
00000de2: SUB
00000de3: DUP4
00000de4: MSTORE
00000de5: DUP8
00000de6: DUP8
00000de7: DUP3
00000de8: DUP2
00000de9: DUP2
00000dea: MSTORE
00000deb: PUSH1 0x20
00000ded: ADD
00000dee: SWAP3
00000def: POP
00000df0: PUSH1 0x20
00000df2: MUL
00000df3: DUP1
00000df4: DUP3
00000df5: DUP5
00000df6: CALLDATACOPY
00000df7: SWAP1
00000df8: SWAP2
00000df9: ADD
00000dfa: DUP5
00000dfb: DUP2
00000dfc: SUB
00000dfd: DUP4
00000dfe: MSTORE
00000dff: DUP6
00000e00: DUP2
00000e01: MSTORE
00000e02: PUSH1 0x20
00000e04: SWAP1
00000e05: DUP2
00000e06: ADD
00000e07: SWAP2
00000e08: POP
00000e09: DUP7
00000e0a: SWAP1
00000e0b: DUP7
00000e0c: MUL
00000e0d: DUP1
00000e0e: DUP3
00000e0f: DUP5
00000e10: CALLDATACOPY
00000e11: DUP3
00000e12: ADD
00000e13: SWAP2
00000e14: POP
00000e15: POP
00000e16: SWAP8
00000e17: POP
00000e18: POP
00000e19: POP
00000e1a: POP
00000e1b: POP
00000e1c: POP
00000e1d: POP
00000e1e: POP
00000e1f: PUSH1 0x00
00000e21: PUSH1 0x40
00000e23: MLOAD
00000e24: DUP1
00000e25: DUP4
00000e26: SUB
00000e27: DUP2
00000e28: DUP7
00000e29: DUP1
00000e2a: EXTCODESIZE
00000e2b: ISZERO
00000e2c: ISZERO
00000e2d: PUSH2 0x0c51
00000e30: JUMPI
00000e31: PUSH1 0x00
00000e33: DUP1
00000e34: REVERT
00000e35: JUMPDEST
00000e36: PUSH1 0x16
00000e38: SLOAD
00000e39: PUSH1 0xa0
00000e3b: PUSH1 0x02
00000e3d: EXP
00000e3e: SWAP1
00000e3f: DIV
00000e40: PUSH1 0xff
00000e42: AND
00000e43: ISZERO
00000e44: PUSH2 0x0e4c
00000e47: JUMPI
00000e48: PUSH1 0x00
00000e4a: DUP1
00000e4b: REVERT
00000e4c: JUMPDEST
00000e4d: PUSH1 0x16
00000e4f: DUP1
00000e50: SLOAD
00000e51: PUSH1 0xa0
00000e53: PUSH1 0x02
00000e55: EXP
00000e56: PUSH1 0xff
00000e58: MUL
00000e59: NOT
00000e5a: AND
00000e5b: PUSH1 0xa0
00000e5d: PUSH1 0x02
00000e5f: EXP
00000e60: OR
00000e61: SWAP1
00000e62: SSTORE
00000e63: PUSH20 0x18d13dc217928e416044aca1ee3d2d89c969349b
00000e78: PUSH4 0x663eb994
00000e7d: PUSH1 0x00
00000e7f: DUP5
00000e80: DUP5
00000e81: PUSH1 0x40
00000e83: MLOAD
00000e84: PUSH1 0xe0
00000e86: PUSH1 0x02
00000e88: EXP
00000e89: PUSH4 0xffffffff
00000e8e: DUP7
00000e8f: AND
00000e90: MUL
00000e91: DUP2
00000e92: MSTORE
00000e93: PUSH1 0x04
00000e95: DUP2
00000e96: ADD
00000e97: SWAP4
00000e98: SWAP1
00000e99: SWAP4
00000e9a: MSTORE
00000e9b: PUSH1 0x01
00000e9d: PUSH1 0xa0
00000e9f: PUSH1 0x02
00000ea1: EXP
00000ea2: SUB
00000ea3: SWAP1
00000ea4: SWAP2
00000ea5: AND
00000ea6: PUSH1 0x24
00000ea8: DUP4
00000ea9: ADD
00000eaa: MSTORE
00000eab: ISZERO
00000eac: ISZERO
00000ead: PUSH1 0x44
00000eaf: DUP3
00000eb0: ADD
00000eb1: MSTORE
00000eb2: PUSH1 0x64
00000eb4: ADD
00000eb5: PUSH1 0x00
00000eb7: PUSH1 0x40
00000eb9: MLOAD
00000eba: DUP1
00000ebb: DUP4
00000ebc: SUB
00000ebd: DUP2
00000ebe: DUP7
00000ebf: DUP1
00000ec0: EXTCODESIZE
00000ec1: ISZERO
00000ec2: ISZERO
00000ec3: PUSH2 0x0ecb
00000ec6: JUMPI
00000ec7: PUSH1 0x00
00000ec9: DUP1
00000eca: REVERT
00000ecb: JUMPDEST
00000ecc: GAS
00000ecd: DELEGATECALL
00000ece: ISZERO
00000ecf: ISZERO
00000ed0: PUSH2 0x0ed8
00000ed3: JUMPI
00000ed4: PUSH1 0x00
00000ed6: DUP1
00000ed7: REVERT
00000ed8: JUMPDEST
00000ed9: POP
00000eda: POP
00000edb: PUSH1 0x16
00000edd: DUP1
00000ede: SLOAD
00000edf: PUSH1 0xa0
00000ee1: PUSH1 0x02
00000ee3: EXP
00000ee4: PUSH1 0xff
00000ee6: MUL
00000ee7: NOT
00000ee8: AND
00000ee9: SWAP1
00000eea: SSTORE
00000eeb: POP
00000eec: POP
00000eed: POP
00000eee: JUMP
00000eef: JUMPDEST
00000ef0: PUSH1 0x16
00000ef2: SLOAD
00000ef3: PUSH1 0xa0
00000ef5: PUSH1 0x02
00000ef7: EXP
00000ef8: SWAP1
00000ef9: DIV
00000efa: PUSH1 0xff
00000efc: AND
00000efd: ISZERO
00000efe: PUSH2 0x0f06
00000f01: JUMPI
00000f02: PUSH1 0x00
00000f04: DUP1
00000f05: REVERT
00000f06: JUMPDEST
00000f07: PUSH1 0x16
00000f09: DUP1
00000f0a: SLOAD
00000f0b: PUSH1 0xa0
00000f0d: PUSH1 0x02
00000f0f: EXP
00000f10: PUSH1 0xff
00000f12: MUL
00000f13: NOT
00000f14: AND
00000f15: PUSH1 0xa0
00000f17: PUSH1 0x02
00000f19: EXP
00000f1a: OR
00000f1b: SWAP1
00000f1c: SSTORE
00000f1d: PUSH20 0x18d13dc217928e416044aca1ee3d2d89c969349b
00000f32: PUSH4 0xd4d357c0
00000f37: PUSH1 0x00
00000f39: DUP5
00000f3a: DUP5
00000f3b: PUSH1 0x40
00000f3d: MLOAD
00000f3e: PUSH1 0xe0
00000f40: PUSH1 0x02
00000f42: EXP
00000f43: PUSH4 0xffffffff
00000f48: DUP7
00000f49: AND
00000f4a: MUL
00000f4b: DUP2
00000f4c: MSTORE
00000f4d: PUSH1 0x04
00000f4f: DUP2
00000f50: ADD
00000f51: DUP5
00000f52: DUP2
00000f53: MSTORE
00000f54: PUSH1 0x40
00000f56: PUSH1 0x24
00000f58: DUP4
00000f59: ADD
00000f5a: SWAP1
00000f5b: DUP2
00000f5c: MSTORE
00000f5d: PUSH1 0x44
00000f5f: DUP4
00000f60: ADD
00000f61: DUP5
00000f62: SWAP1
00000f63: MSTORE
00000f64: SWAP1
00000f65: SWAP2
00000f66: PUSH1 0x64
00000f68: ADD
00000f69: DUP5
00000f6a: PUSH1 0x20
00000f6c: DUP6
00000f6d: MUL
00000f6e: DUP1
00000f6f: DUP3
00000f70: DUP5
00000f71: CALLDATACOPY
00000f72: DUP3
00000f73: ADD
00000f74: SWAP2
00000f75: POP
00000f76: POP
00000f77: SWAP5
00000f78: POP
00000f79: POP
00000f7a: POP
00000f7b: POP
00000f7c: POP
00000f7d: PUSH1 0x00
00000f7f: PUSH1 0x40
00000f81: MLOAD
00000f82: DUP1
00000f83: DUP4
00000f84: SUB
00000f85: DUP2
00000f86: DUP7
00000f87: DUP1
00000f88: EXTCODESIZE
00000f89: ISZERO
00000f8a: ISZERO
00000f8b: PUSH2 0x0ecb
00000f8e: JUMPI
00000f8f: PUSH1 0x00
00000f91: DUP1
00000f92: REVERT
00000f93: STOP
00000f94: LOG1
00000f95: PUSH6 0x627a7a723058
00000f9c: KECCAK256
00000f9d: UNKNOWN(0x27)
00000f9e: UNKNOWN(0xD9)
00000f9f: UNKNOWN(0x28)
00000fa0: UNKNOWN(0xCB)
00000fa1: UNKNOWN(0x25)
00000fa2: UNKNOWN(0xF9)
00000fa3: UNKNOWN(0xBD)
00000fa4: CALL
00000fa5: INVALID
00000fa6: CODECOPY
00000fa7: DUP14
00000fa8: UNKNOWN(0xCB)
00000fa9: DUP16
00000faa: UNKNOWN(0xEA)
00000fab: MULMOD
00000fac: UNKNOWN(0xCC)
00000fad: UNKNOWN(0xD3)
00000fae: PUSH10 0x946f81f86064dc3c58c4
00000fb9: PUSH1 0xed
00000fbb: UNKNOWN(0xB1)
00000fbc: UNKNOWN(0x21)
00000fbd: STOP
00000fbe: UNKNOWN(0x29)

Findings

validated = confirmed for call sinks; sink observed for others
Severity Category Tool Title Confidence Validated Confirmed Details
critical upgradeability detector Untrusted DELEGATECALL target reachable 70 no no
view
trace_id: 0x0a0fea59a20b9968105adebe147fe95d3ca11cffcad9d08a5f5365f88442b16d
call_targets: 0x18d13dc217928e416044aca1ee3d2d89c969349b
target_varies: no
classification: constant_target
validation_json
{
    "sink": "DELEGATECALL",
    "errors": 0,
    "status": "sink_reached",
    "attempts": 1,
    "trace_id": "0x0a0fea59a20b9968105adebe147fe95d3ca11cffcad9d08a5f5365f88442b16d",
    "confirmed": false,
    "trace_mode": "callTracer",
    "call_targets": [
        "0x18d13dc217928e416044aca1ee3d2d89c969349b"
    ],
    "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": "0x080741ff",
            "selector": "0x080741ff",
            "calldata_variants": [
                "0x080741ff",
                "0x080741ff0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x12d7e533",
            "selector": "0x12d7e533",
            "calldata_variants": [
                "0x12d7e533",
                "0x12d7e5330000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x14614af9",
            "selector": "0x14614af9",
            "calldata_variants": [
                "0x14614af9",
                "0x14614af90000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x19f363bc",
            "selector": "0x19f363bc",
            "calldata_variants": [
                "0x19f363bc",
                "0x19f363bc0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x1fb75dbf",
            "selector": "0x1fb75dbf",
            "calldata_variants": [
                "0x1fb75dbf",
                "0x1fb75dbf0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x2b55b792",
            "selector": "0x2b55b792",
            "calldata_variants": [
                "0x2b55b792",
                "0x2b55b7920000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x2d923501",
            "selector": "0x2d923501",
            "calldata_variants": [
                "0x2d923501",
                "0x2d9235010000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x2e1a7d4d",
            "selector": "0x2e1a7d4d",
            "calldata_variants": [
                "0x2e1a7d4d",
                "0x2e1a7d4d0000000000000000000000000000000000000000000000000000000000000000"
            ]
        }
    ]
}
evidence_json
{
    "examples": [
        {
            "pc": 330,
            "opcode": "DELEGATECALL",
            "returndata_checked": null,
            "value_expression_category": "n/a",
            "target_expression_category": "computed"
        },
        {
            "pc": 1272,
            "opcode": "DELEGATECALL",
            "returndata_checked": null,
            "value_expression_category": "n/a",
            "target_expression_category": "computed"
        },
        {
            "pc": 1432,
            "opcode": "DELEGATECALL",
            "returndata_checked": null,
            "value_expression_category": "n/a",
            "target_expression_category": "computed"
        }
    ],
    "guards_detected": [],
    "delegatecall_count": 13,
    "untrusted_delegatecall_count": 13
}
high other detector Untrusted CALL target/value reachable 60 no no
view
trace_id: 0x0a0fea59a20b9968105adebe147fe95d3ca11cffcad9d08a5f5365f88442b16d
call_targets: 0x69d00aa92d3d3774aa503a7865ae0887fb23d70b
target_varies: no
classification: constant_target
validation_json
{
    "sink": "CALL",
    "errors": 0,
    "status": "sink_reached",
    "attempts": 1,
    "trace_id": "0x0a0fea59a20b9968105adebe147fe95d3ca11cffcad9d08a5f5365f88442b16d",
    "confirmed": false,
    "trace_mode": "callTracer",
    "call_targets": [
        "0x69d00aa92d3d3774aa503a7865ae0887fb23d70b"
    ],
    "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": "0x080741ff",
            "selector": "0x080741ff",
            "calldata_variants": [
                "0x080741ff",
                "0x080741ff0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x12d7e533",
            "selector": "0x12d7e533",
            "calldata_variants": [
                "0x12d7e533",
                "0x12d7e5330000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x14614af9",
            "selector": "0x14614af9",
            "calldata_variants": [
                "0x14614af9",
                "0x14614af90000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x19f363bc",
            "selector": "0x19f363bc",
            "calldata_variants": [
                "0x19f363bc",
                "0x19f363bc0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x1fb75dbf",
            "selector": "0x1fb75dbf",
            "calldata_variants": [
                "0x1fb75dbf",
                "0x1fb75dbf0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x2b55b792",
            "selector": "0x2b55b792",
            "calldata_variants": [
                "0x2b55b792",
                "0x2b55b7920000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x2d923501",
            "selector": "0x2d923501",
            "calldata_variants": [
                "0x2d923501",
                "0x2d9235010000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x2e1a7d4d",
            "selector": "0x2e1a7d4d",
            "calldata_variants": [
                "0x2e1a7d4d",
                "0x2e1a7d4d0000000000000000000000000000000000000000000000000000000000000000"
            ]
        }
    ]
}
evidence_json
{
    "examples": [
        {
            "pc": 4004,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        }
    ],
    "call_count": 1,
    "guards_detected": [],
    "untrusted_call_count": 1
}
high other detector ETH value transfer possible 55 no no
view
trace_id: 0x0a0fea59a20b9968105adebe147fe95d3ca11cffcad9d08a5f5365f88442b16d
call_targets: 0x69d00aa92d3d3774aa503a7865ae0887fb23d70b
target_varies: no
classification: constant_target
validation_json
{
    "sink": "CALL",
    "errors": 0,
    "status": "sink_reached",
    "attempts": 1,
    "trace_id": "0x0a0fea59a20b9968105adebe147fe95d3ca11cffcad9d08a5f5365f88442b16d",
    "confirmed": false,
    "trace_mode": "callTracer",
    "call_targets": [
        "0x69d00aa92d3d3774aa503a7865ae0887fb23d70b"
    ],
    "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": "0x080741ff",
            "selector": "0x080741ff",
            "calldata_variants": [
                "0x080741ff",
                "0x080741ff0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x12d7e533",
            "selector": "0x12d7e533",
            "calldata_variants": [
                "0x12d7e533",
                "0x12d7e5330000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x14614af9",
            "selector": "0x14614af9",
            "calldata_variants": [
                "0x14614af9",
                "0x14614af90000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x19f363bc",
            "selector": "0x19f363bc",
            "calldata_variants": [
                "0x19f363bc",
                "0x19f363bc0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x1fb75dbf",
            "selector": "0x1fb75dbf",
            "calldata_variants": [
                "0x1fb75dbf",
                "0x1fb75dbf0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x2b55b792",
            "selector": "0x2b55b792",
            "calldata_variants": [
                "0x2b55b792",
                "0x2b55b7920000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x2d923501",
            "selector": "0x2d923501",
            "calldata_variants": [
                "0x2d923501",
                "0x2d9235010000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x2e1a7d4d",
            "selector": "0x2e1a7d4d",
            "calldata_variants": [
                "0x2e1a7d4d",
                "0x2e1a7d4d0000000000000000000000000000000000000000000000000000000000000000"
            ]
        }
    ]
}
evidence_json
{
    "examples": [
        {
            "pc": 4004,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        }
    ],
    "eth_value_calls": 1,
    "guards_detected": []
}