Analysis Run

019b477e-ca2d-70fd-8eda-232f952e68af

complete

Chain ID

1

Address

0x3c8c49ed8cc6ba2240703169cc0039174f8a3e1d

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 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
26465	artifact.fetch	complete	1 / 3	3 months ago
26466	tool.cast_disasm	complete	1 / 3	3 months ago
91597	analysis.bundle	complete	1 / 3	2 weeks ago
91598	capability.graph	complete	1 / 3	2 weeks ago
91599	detector.run	complete	1 / 3	2 weeks ago
91600	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

2

Selfdestruct

0

CREATE2

0

CALL-family (heavy)

6

EXT*/BALANCE

0

Total opcodes

4288

Flags

delegatecall_present

View cast disassembly output

00000000: PUSH1 0x80
00000002: PUSH1 0x40
00000004: MSTORE
00000005: PUSH1 0x04
00000007: CALLDATASIZE
00000008: LT
00000009: PUSH2 0x00a0
0000000c: JUMPI
0000000d: PUSH1 0x00
0000000f: CALLDATALOAD
00000010: PUSH1 0xe0
00000012: SHR
00000013: DUP1
00000014: PUSH4 0xd0e30db0
00000019: GT
0000001a: PUSH2 0x0064
0000001d: JUMPI
0000001e: DUP1
0000001f: PUSH4 0xd0e30db0
00000024: EQ
00000025: PUSH2 0x0197
00000028: JUMPI
00000029: DUP1
0000002a: PUSH4 0xd44e9422
0000002f: EQ
00000030: PUSH2 0x019f
00000033: JUMPI
00000034: DUP1
00000035: PUSH4 0xf90a2f30
0000003a: EQ
0000003b: PUSH2 0x01bf
0000003e: JUMPI
0000003f: DUP1
00000040: PUSH4 0xfb618cb2
00000045: EQ
00000046: PUSH2 0x0215
00000049: JUMPI
0000004a: DUP1
0000004b: PUSH4 0xfc7e286d
00000050: EQ
00000051: PUSH2 0x0235
00000054: JUMPI
00000055: DUP1
00000056: PUSH4 0xfef28dd0
0000005b: EQ
0000005c: PUSH2 0x0262
0000005f: JUMPI
00000060: PUSH1 0x00
00000062: DUP1
00000063: REVERT
00000064: JUMPDEST
00000065: DUP1
00000066: PUSH4 0x119ca895
0000006b: EQ
0000006c: PUSH2 0x00b4
0000006f: JUMPI
00000070: DUP1
00000071: PUSH4 0x253b13e8
00000076: EQ
00000077: PUSH2 0x00f1
0000007a: JUMPI
0000007b: DUP1
0000007c: PUSH4 0x2e1a7d4d
00000081: EQ
00000082: PUSH2 0x011f
00000085: JUMPI
00000086: DUP1
00000087: PUSH4 0x3644e515
0000008c: EQ
0000008d: PUSH2 0x013f
00000090: JUMPI
00000091: DUP1
00000092: PUSH4 0xcfdd7aea
00000097: EQ
00000098: PUSH2 0x0154
0000009b: JUMPI
0000009c: PUSH1 0x00
0000009e: DUP1
0000009f: REVERT
000000a0: JUMPDEST
000000a1: CALLDATASIZE
000000a2: PUSH2 0x00af
000000a5: JUMPI
000000a6: PUSH2 0x00ad
000000a9: PUSH2 0x0282
000000ac: JUMP
000000ad: JUMPDEST
000000ae: STOP
000000af: JUMPDEST
000000b0: PUSH1 0x00
000000b2: DUP1
000000b3: REVERT
000000b4: JUMPDEST
000000b5: CALLVALUE
000000b6: DUP1
000000b7: ISZERO
000000b8: PUSH2 0x00c0
000000bb: JUMPI
000000bc: PUSH1 0x00
000000be: DUP1
000000bf: REVERT
000000c0: JUMPDEST
000000c1: POP
000000c2: PUSH2 0x00d4
000000c5: PUSH2 0x00cf
000000c8: CALLDATASIZE
000000c9: PUSH1 0x04
000000cb: PUSH2 0x1338
000000ce: JUMP
000000cf: JUMPDEST
000000d0: PUSH2 0x02dd
000000d3: JUMP
000000d4: JUMPDEST
000000d5: PUSH1 0x40
000000d7: MLOAD
000000d8: PUSH1 0x01
000000da: PUSH1 0x01
000000dc: PUSH1 0xa0
000000de: SHL
000000df: SUB
000000e0: SWAP1
000000e1: SWAP2
000000e2: AND
000000e3: DUP2
000000e4: MSTORE
000000e5: PUSH1 0x20
000000e7: ADD
000000e8: JUMPDEST
000000e9: PUSH1 0x40
000000eb: MLOAD
000000ec: DUP1
000000ed: SWAP2
000000ee: SUB
000000ef: SWAP1
000000f0: RETURN
000000f1: JUMPDEST
000000f2: CALLVALUE
000000f3: DUP1
000000f4: ISZERO
000000f5: PUSH2 0x00fd
000000f8: JUMPI
000000f9: PUSH1 0x00
000000fb: DUP1
000000fc: REVERT
000000fd: JUMPDEST
000000fe: POP
000000ff: PUSH2 0x0111
00000102: PUSH2 0x010c
00000105: CALLDATASIZE
00000106: PUSH1 0x04
00000108: PUSH2 0x140d
0000010b: JUMP
0000010c: JUMPDEST
0000010d: PUSH2 0x0621
00000110: JUMP
00000111: JUMPDEST
00000112: PUSH1 0x40
00000114: MLOAD
00000115: SWAP1
00000116: DUP2
00000117: MSTORE
00000118: PUSH1 0x20
0000011a: ADD
0000011b: PUSH2 0x00e8
0000011e: JUMP
0000011f: JUMPDEST
00000120: CALLVALUE
00000121: DUP1
00000122: ISZERO
00000123: PUSH2 0x012b
00000126: JUMPI
00000127: PUSH1 0x00
00000129: DUP1
0000012a: REVERT
0000012b: JUMPDEST
0000012c: POP
0000012d: PUSH2 0x00ad
00000130: PUSH2 0x013a
00000133: CALLDATASIZE
00000134: PUSH1 0x04
00000136: PUSH2 0x146c
00000139: JUMP
0000013a: JUMPDEST
0000013b: PUSH2 0x073f
0000013e: JUMP
0000013f: JUMPDEST
00000140: CALLVALUE
00000141: DUP1
00000142: ISZERO
00000143: PUSH2 0x014b
00000146: JUMPI
00000147: PUSH1 0x00
00000149: DUP1
0000014a: REVERT
0000014b: JUMPDEST
0000014c: POP
0000014d: PUSH2 0x0111
00000150: PUSH2 0x07ee
00000153: JUMP
00000154: JUMPDEST
00000155: CALLVALUE
00000156: DUP1
00000157: ISZERO
00000158: PUSH2 0x0160
0000015b: JUMPI
0000015c: PUSH1 0x00
0000015e: DUP1
0000015f: REVERT
00000160: JUMPDEST
00000161: POP
00000162: PUSH2 0x00ad
00000165: PUSH2 0x016f
00000168: CALLDATASIZE
00000169: PUSH1 0x04
0000016b: PUSH2 0x146c
0000016e: JUMP
0000016f: JUMPDEST
00000170: CALLER
00000171: PUSH1 0x00
00000173: SWAP1
00000174: DUP2
00000175: MSTORE
00000176: PUSH1 0x01
00000178: PUSH1 0x20
0000017a: DUP2
0000017b: DUP2
0000017c: MSTORE
0000017d: PUSH1 0x40
0000017f: DUP1
00000180: DUP5
00000181: KECCAK256
00000182: SWAP5
00000183: DUP5
00000184: MSTORE
00000185: SWAP4
00000186: SWAP1
00000187: MSTORE
00000188: SWAP2
00000189: SWAP1
0000018a: KECCAK256
0000018b: DUP1
0000018c: SLOAD
0000018d: PUSH1 0xff
0000018f: NOT
00000190: AND
00000191: SWAP1
00000192: SWAP2
00000193: OR
00000194: SWAP1
00000195: SSTORE
00000196: JUMP
00000197: JUMPDEST
00000198: PUSH2 0x00ad
0000019b: PUSH2 0x0282
0000019e: JUMP
0000019f: JUMPDEST
000001a0: CALLVALUE
000001a1: DUP1
000001a2: ISZERO
000001a3: PUSH2 0x01ab
000001a6: JUMPI
000001a7: PUSH1 0x00
000001a9: DUP1
000001aa: REVERT
000001ab: JUMPDEST
000001ac: POP
000001ad: PUSH2 0x00ad
000001b0: PUSH2 0x01ba
000001b3: CALLDATASIZE
000001b4: PUSH1 0x04
000001b6: PUSH2 0x1485
000001b9: JUMP
000001ba: JUMPDEST
000001bb: PUSH2 0x08e9
000001be: JUMP
000001bf: JUMPDEST
000001c0: CALLVALUE
000001c1: DUP1
000001c2: ISZERO
000001c3: PUSH2 0x01cb
000001c6: JUMPI
000001c7: PUSH1 0x00
000001c9: DUP1
000001ca: REVERT
000001cb: JUMPDEST
000001cc: POP
000001cd: PUSH2 0x0205
000001d0: PUSH2 0x01da
000001d3: CALLDATASIZE
000001d4: PUSH1 0x04
000001d6: PUSH2 0x14e9
000001d9: JUMP
000001da: JUMPDEST
000001db: PUSH1 0x01
000001dd: PUSH1 0x01
000001df: PUSH1 0xa0
000001e1: SHL
000001e2: SUB
000001e3: SWAP2
000001e4: SWAP1
000001e5: SWAP2
000001e6: AND
000001e7: PUSH1 0x00
000001e9: SWAP1
000001ea: DUP2
000001eb: MSTORE
000001ec: PUSH1 0x01
000001ee: PUSH1 0x20
000001f0: SWAP1
000001f1: DUP2
000001f2: MSTORE
000001f3: PUSH1 0x40
000001f5: DUP1
000001f6: DUP4
000001f7: KECCAK256
000001f8: SWAP4
000001f9: DUP4
000001fa: MSTORE
000001fb: SWAP3
000001fc: SWAP1
000001fd: MSTORE
000001fe: KECCAK256
000001ff: SLOAD
00000200: PUSH1 0xff
00000202: AND
00000203: SWAP1
00000204: JUMP
00000205: JUMPDEST
00000206: PUSH1 0x40
00000208: MLOAD
00000209: SWAP1
0000020a: ISZERO
0000020b: ISZERO
0000020c: DUP2
0000020d: MSTORE
0000020e: PUSH1 0x20
00000210: ADD
00000211: PUSH2 0x00e8
00000214: JUMP
00000215: JUMPDEST
00000216: CALLVALUE
00000217: DUP1
00000218: ISZERO
00000219: PUSH2 0x0221
0000021c: JUMPI
0000021d: PUSH1 0x00
0000021f: DUP1
00000220: REVERT
00000221: JUMPDEST
00000222: POP
00000223: PUSH2 0x00d4
00000226: PUSH2 0x0230
00000229: CALLDATASIZE
0000022a: PUSH1 0x04
0000022c: PUSH2 0x1515
0000022f: JUMP
00000230: JUMPDEST
00000231: PUSH2 0x0a51
00000234: JUMP
00000235: JUMPDEST
00000236: CALLVALUE
00000237: DUP1
00000238: ISZERO
00000239: PUSH2 0x0241
0000023c: JUMPI
0000023d: PUSH1 0x00
0000023f: DUP1
00000240: REVERT
00000241: JUMPDEST
00000242: POP
00000243: PUSH2 0x0111
00000246: PUSH2 0x0250
00000249: CALLDATASIZE
0000024a: PUSH1 0x04
0000024c: PUSH2 0x155a
0000024f: JUMP
00000250: JUMPDEST
00000251: PUSH1 0x00
00000253: PUSH1 0x20
00000255: DUP2
00000256: SWAP1
00000257: MSTORE
00000258: SWAP1
00000259: DUP2
0000025a: MSTORE
0000025b: PUSH1 0x40
0000025d: SWAP1
0000025e: KECCAK256
0000025f: SLOAD
00000260: DUP2
00000261: JUMP
00000262: JUMPDEST
00000263: CALLVALUE
00000264: DUP1
00000265: ISZERO
00000266: PUSH2 0x026e
00000269: JUMPI
0000026a: PUSH1 0x00
0000026c: DUP1
0000026d: REVERT
0000026e: JUMPDEST
0000026f: POP
00000270: PUSH2 0x0111
00000273: PUSH2 0x027d
00000276: CALLDATASIZE
00000277: PUSH1 0x04
00000279: PUSH2 0x14e9
0000027c: JUMP
0000027d: JUMPDEST
0000027e: PUSH2 0x0b9d
00000281: JUMP
00000282: JUMPDEST
00000283: CALLER
00000284: PUSH1 0x00
00000286: SWAP1
00000287: DUP2
00000288: MSTORE
00000289: PUSH1 0x20
0000028b: DUP2
0000028c: SWAP1
0000028d: MSTORE
0000028e: PUSH1 0x40
00000290: DUP2
00000291: KECCAK256
00000292: DUP1
00000293: SLOAD
00000294: CALLVALUE
00000295: SWAP3
00000296: SWAP1
00000297: PUSH2 0x02a1
0000029a: SWAP1
0000029b: DUP5
0000029c: SWAP1
0000029d: PUSH2 0x158d
000002a0: JUMP
000002a1: JUMPDEST
000002a2: SWAP1
000002a3: SWAP2
000002a4: SSTORE
000002a5: POP
000002a6: POP
000002a7: PUSH1 0x40
000002a9: MLOAD
000002aa: CALLVALUE
000002ab: DUP2
000002ac: MSTORE
000002ad: CALLER
000002ae: SWAP1
000002af: PUSH32 0xe1fffcc4923d04b559f4d29a8bfc6cda04eb5b0d3c460751c2402c5c5cc9109c
000002d0: SWAP1
000002d1: PUSH1 0x20
000002d3: ADD
000002d4: PUSH1 0x40
000002d6: MLOAD
000002d7: DUP1
000002d8: SWAP2
000002d9: SUB
000002da: SWAP1
000002db: LOG2
000002dc: JUMP
000002dd: JUMPDEST
000002de: PUSH1 0x00
000002e0: DUP1
000002e1: PUSH1 0x00
000002e3: PUSH2 0x02ec
000002e6: DUP6
000002e7: DUP6
000002e8: PUSH2 0x0c47
000002eb: JUMP
000002ec: JUMPDEST
000002ed: SWAP2
000002ee: POP
000002ef: SWAP2
000002f0: POP
000002f1: DUP5
000002f2: PUSH1 0xa0
000002f4: ADD
000002f5: MLOAD
000002f6: DUP6
000002f7: PUSH1 0x60
000002f9: ADD
000002fa: MLOAD
000002fb: PUSH2 0x0304
000002fe: SWAP2
000002ff: SWAP1
00000300: PUSH2 0x158d
00000303: JUMP
00000304: JUMPDEST
00000305: DUP2
00000306: LT
00000307: ISZERO
00000308: PUSH2 0x0358
0000030b: JUMPI
0000030c: PUSH1 0x40
0000030e: MLOAD
0000030f: PUSH3 0x461bcd
00000313: PUSH1 0xe5
00000315: SHL
00000316: DUP2
00000317: MSTORE
00000318: PUSH1 0x20
0000031a: PUSH1 0x04
0000031c: DUP3
0000031d: ADD
0000031e: MSTORE
0000031f: PUSH1 0x1a
00000321: PUSH1 0x24
00000323: DUP3
00000324: ADD
00000325: MSTORE
00000326: PUSH32 0x494e53554646494349454e545f434f4e545249425554494f4e53000000000000
00000347: PUSH1 0x44
00000349: DUP3
0000034a: ADD
0000034b: MSTORE
0000034c: PUSH1 0x64
0000034e: ADD
0000034f: JUMPDEST
00000350: PUSH1 0x40
00000352: MLOAD
00000353: DUP1
00000354: SWAP2
00000355: SUB
00000356: SWAP1
00000357: REVERT
00000358: JUMPDEST
00000359: PUSH1 0x00
0000035b: DUP6
0000035c: PUSH1 0x20
0000035e: ADD
0000035f: MLOAD
00000360: DUP7
00000361: PUSH1 0x40
00000363: ADD
00000364: MLOAD
00000365: DUP8
00000366: PUSH1 0x60
00000368: ADD
00000369: MLOAD
0000036a: DUP9
0000036b: PUSH1 0x80
0000036d: ADD
0000036e: MLOAD
0000036f: PUSH1 0x40
00000371: MLOAD
00000372: PUSH1 0x24
00000374: ADD
00000375: PUSH2 0x0381
00000378: SWAP5
00000379: SWAP4
0000037a: SWAP3
0000037b: SWAP2
0000037c: SWAP1
0000037d: PUSH2 0x15fd
00000380: JUMP
00000381: JUMPDEST
00000382: PUSH1 0x40
00000384: DUP1
00000385: MLOAD
00000386: PUSH1 0x1f
00000388: NOT
00000389: DUP2
0000038a: DUP5
0000038b: SUB
0000038c: ADD
0000038d: DUP2
0000038e: MSTORE
0000038f: SWAP2
00000390: SWAP1
00000391: MSTORE
00000392: PUSH1 0x20
00000394: DUP2
00000395: ADD
00000396: DUP1
00000397: MLOAD
00000398: PUSH1 0x01
0000039a: PUSH1 0x01
0000039c: PUSH1 0xe0
0000039e: SHL
0000039f: SUB
000003a0: AND
000003a1: PUSH4 0x8be2eba3
000003a6: PUSH1 0xe0
000003a8: SHL
000003a9: OR
000003aa: SWAP1
000003ab: MSTORE
000003ac: DUP4
000003ad: MLOAD
000003ae: SWAP1
000003af: SWAP2
000003b0: POP
000003b1: PUSH1 0x00
000003b3: SWAP1
000003b4: PUSH1 0x02
000003b6: LT
000003b7: PUSH2 0x03c1
000003ba: JUMPI
000003bb: DUP4
000003bc: MLOAD
000003bd: PUSH2 0x03c4
000003c0: JUMP
000003c1: JUMPDEST
000003c2: PUSH1 0x02
000003c4: JUMPDEST
000003c5: PUSH1 0x02
000003c7: SLOAD
000003c8: PUSH1 0x05
000003ca: SLOAD
000003cb: SWAP2
000003cc: SWAP3
000003cd: POP
000003ce: PUSH1 0x00
000003d0: SWAP2
000003d1: PUSH2 0x03ef
000003d4: SWAP2
000003d5: DUP8
000003d6: SWAP2
000003d7: DUP6
000003d8: SWAP2
000003d9: PUSH1 0x01
000003db: PUSH1 0x01
000003dd: PUSH1 0xa0
000003df: SHL
000003e0: SUB
000003e1: SWAP1
000003e2: DUP2
000003e3: AND
000003e4: SWAP2
000003e5: DUP9
000003e6: SWAP2
000003e7: AND
000003e8: DUP7
000003e9: DUP1
000003ea: DUP1
000003eb: PUSH2 0x0e65
000003ee: JUMP
000003ef: JUMPDEST
000003f0: SWAP1
000003f1: POP
000003f2: PUSH1 0x00
000003f4: PUSH2 0x03fe
000003f7: DUP3
000003f8: PUSH1 0x00
000003fa: PUSH2 0x0a51
000003fd: JUMP
000003fe: JUMPDEST
000003ff: PUSH1 0x60
00000401: DUP11
00000402: ADD
00000403: MLOAD
00000404: PUSH1 0x40
00000406: MLOAD
00000407: SWAP2
00000408: SWAP3
00000409: POP
0000040a: PUSH1 0x01
0000040c: PUSH1 0x01
0000040e: PUSH1 0xa0
00000410: SHL
00000411: SUB
00000412: DUP4
00000413: AND
00000414: SWAP2
00000415: DUP2
00000416: ISZERO
00000417: PUSH2 0x08fc
0000041a: MUL
0000041b: SWAP2
0000041c: SWAP1
0000041d: PUSH1 0x00
0000041f: DUP2
00000420: DUP2
00000421: DUP2
00000422: DUP6
00000423: DUP9
00000424: DUP9
00000425: CALL
00000426: SWAP4
00000427: POP
00000428: POP
00000429: POP
0000042a: POP
0000042b: ISZERO
0000042c: DUP1
0000042d: ISZERO
0000042e: PUSH2 0x043b
00000431: JUMPI
00000432: RETURNDATASIZE
00000433: PUSH1 0x00
00000435: DUP1
00000436: RETURNDATACOPY
00000437: RETURNDATASIZE
00000438: PUSH1 0x00
0000043a: REVERT
0000043b: JUMPDEST
0000043c: POP
0000043d: PUSH1 0x00
0000043f: PUSH2 0x0447
00000442: DUP4
00000443: PUSH2 0x0ebe
00000446: JUMP
00000447: JUMPDEST
00000448: SWAP1
00000449: POP
0000044a: DUP1
0000044b: PUSH1 0x01
0000044d: PUSH1 0x01
0000044f: PUSH1 0xa0
00000451: SHL
00000452: SUB
00000453: AND
00000454: DUP3
00000455: PUSH1 0x01
00000457: PUSH1 0x01
00000459: PUSH1 0xa0
0000045b: SHL
0000045c: SUB
0000045d: AND
0000045e: EQ
0000045f: PUSH2 0x04aa
00000462: JUMPI
00000463: PUSH1 0x40
00000465: MLOAD
00000466: PUSH3 0x461bcd
0000046a: PUSH1 0xe5
0000046c: SHL
0000046d: DUP2
0000046e: MSTORE
0000046f: PUSH1 0x20
00000471: PUSH1 0x04
00000473: DUP3
00000474: ADD
00000475: MSTORE
00000476: PUSH1 0x19
00000478: PUSH1 0x24
0000047a: DUP3
0000047b: ADD
0000047c: MSTORE
0000047d: PUSH32 0x494e56414c49445f435245415445325f43414c43554c41544500000000000000
0000049e: PUSH1 0x44
000004a0: DUP3
000004a1: ADD
000004a2: MSTORE
000004a3: PUSH1 0x64
000004a5: ADD
000004a6: PUSH2 0x034f
000004a9: JUMP
000004aa: JUMPDEST
000004ab: PUSH1 0xa0
000004ad: DUP11
000004ae: ADD
000004af: MLOAD
000004b0: ISZERO
000004b1: PUSH2 0x0510
000004b4: JUMPI
000004b5: PUSH1 0xa0
000004b7: DUP11
000004b8: ADD
000004b9: MLOAD
000004ba: PUSH1 0x40
000004bc: MLOAD
000004bd: ORIGIN
000004be: SWAP2
000004bf: DUP1
000004c0: ISZERO
000004c1: PUSH2 0x08fc
000004c4: MUL
000004c5: SWAP2
000004c6: PUSH1 0x00
000004c8: DUP2
000004c9: DUP2
000004ca: DUP2
000004cb: DUP6
000004cc: DUP9
000004cd: DUP9
000004ce: CALL
000004cf: SWAP4
000004d0: POP
000004d1: POP
000004d2: POP
000004d3: POP
000004d4: PUSH2 0x0510
000004d7: JUMPI
000004d8: PUSH1 0x40
000004da: MLOAD
000004db: PUSH3 0x461bcd
000004df: PUSH1 0xe5
000004e1: SHL
000004e2: DUP2
000004e3: MSTORE
000004e4: PUSH1 0x20
000004e6: PUSH1 0x04
000004e8: DUP3
000004e9: ADD
000004ea: MSTORE
000004eb: PUSH1 0x0e
000004ed: PUSH1 0x24
000004ef: DUP3
000004f0: ADD
000004f1: MSTORE
000004f2: PUSH14 0x11915157d4105657d19052531151
00000501: PUSH1 0x92
00000503: SHL
00000504: PUSH1 0x44
00000506: DUP3
00000507: ADD
00000508: MSTORE
00000509: PUSH1 0x64
0000050b: ADD
0000050c: PUSH2 0x034f
0000050f: JUMP
00000510: JUMPDEST
00000511: PUSH1 0x00
00000513: DUP11
00000514: PUSH1 0xa0
00000516: ADD
00000517: MLOAD
00000518: DUP12
00000519: PUSH1 0x60
0000051b: ADD
0000051c: MLOAD
0000051d: DUP9
0000051e: PUSH2 0x0527
00000521: SWAP2
00000522: SWAP1
00000523: PUSH2 0x166b
00000526: JUMP
00000527: JUMPDEST
00000528: PUSH2 0x0531
0000052b: SWAP2
0000052c: SWAP1
0000052d: PUSH2 0x166b
00000530: JUMP
00000531: JUMPDEST
00000532: SWAP1
00000533: POP
00000534: DUP1
00000535: ISZERO
00000536: PUSH2 0x05b5
00000539: JUMPI
0000053a: PUSH1 0x00
0000053c: DUP1
0000053d: DUP5
0000053e: PUSH1 0x01
00000540: PUSH1 0x01
00000542: PUSH1 0xa0
00000544: SHL
00000545: SUB
00000546: AND
00000547: DUP4
00000548: PUSH1 0x40
0000054a: MLOAD
0000054b: PUSH1 0x00
0000054d: PUSH1 0x40
0000054f: MLOAD
00000550: DUP1
00000551: DUP4
00000552: SUB
00000553: DUP2
00000554: DUP6
00000555: DUP8
00000556: GAS
00000557: CALL
00000558: SWAP3
00000559: POP
0000055a: POP
0000055b: POP
0000055c: RETURNDATASIZE
0000055d: DUP1
0000055e: PUSH1 0x00
00000560: DUP2
00000561: EQ
00000562: PUSH2 0x0587
00000565: JUMPI
00000566: PUSH1 0x40
00000568: MLOAD
00000569: SWAP2
0000056a: POP
0000056b: PUSH1 0x1f
0000056d: NOT
0000056e: PUSH1 0x3f
00000570: RETURNDATASIZE
00000571: ADD
00000572: AND
00000573: DUP3
00000574: ADD
00000575: PUSH1 0x40
00000577: MSTORE
00000578: RETURNDATASIZE
00000579: DUP3
0000057a: MSTORE
0000057b: RETURNDATASIZE
0000057c: PUSH1 0x00
0000057e: PUSH1 0x20
00000580: DUP5
00000581: ADD
00000582: RETURNDATACOPY
00000583: PUSH2 0x058c
00000586: JUMP
00000587: JUMPDEST
00000588: PUSH1 0x60
0000058a: SWAP2
0000058b: POP
0000058c: JUMPDEST
0000058d: POP
0000058e: SWAP2
0000058f: POP
00000590: SWAP2
00000591: POP
00000592: DUP2
00000593: DUP2
00000594: SWAP1
00000595: PUSH2 0x05b1
00000598: JUMPI
00000599: PUSH1 0x40
0000059b: MLOAD
0000059c: PUSH3 0x461bcd
000005a0: PUSH1 0xe5
000005a2: SHL
000005a3: DUP2
000005a4: MSTORE
000005a5: PUSH1 0x04
000005a7: ADD
000005a8: PUSH2 0x034f
000005ab: SWAP2
000005ac: SWAP1
000005ad: PUSH2 0x1682
000005b0: JUMP
000005b1: JUMPDEST
000005b2: POP
000005b3: POP
000005b4: POP
000005b5: JUMPDEST
000005b6: DUP11
000005b7: PUSH1 0x00
000005b9: ADD
000005ba: MLOAD
000005bb: PUSH1 0x01
000005bd: PUSH1 0x01
000005bf: PUSH1 0xa0
000005c1: SHL
000005c2: SUB
000005c3: AND
000005c4: PUSH32 0x67064e88d29874b25f9631211cabb9dd6c89e72e21d717f1f7def02c686aaff7
000005e5: DUP13
000005e6: PUSH1 0x20
000005e8: ADD
000005e9: MLOAD
000005ea: DUP14
000005eb: PUSH1 0x40
000005ed: ADD
000005ee: MLOAD
000005ef: DUP15
000005f0: PUSH1 0x60
000005f2: ADD
000005f3: MLOAD
000005f4: DUP16
000005f5: PUSH1 0xa0
000005f7: ADD
000005f8: MLOAD
000005f9: DUP9
000005fa: PUSH1 0x40
000005fc: MLOAD
000005fd: PUSH2 0x060a
00000600: SWAP6
00000601: SWAP5
00000602: SWAP4
00000603: SWAP3
00000604: SWAP2
00000605: SWAP1
00000606: PUSH2 0x1695
00000609: JUMP
0000060a: JUMPDEST
0000060b: PUSH1 0x40
0000060d: MLOAD
0000060e: DUP1
0000060f: SWAP2
00000610: SUB
00000611: SWAP1
00000612: LOG2
00000613: POP
00000614: SWAP1
00000615: SWAP10
00000616: SWAP9
00000617: POP
00000618: POP
00000619: POP
0000061a: POP
0000061b: POP
0000061c: POP
0000061d: POP
0000061e: POP
0000061f: POP
00000620: JUMP
00000621: JUMPDEST
00000622: PUSH1 0x00
00000624: PUSH2 0x062b
00000627: PUSH2 0x07ee
0000062a: JUMP
0000062b: JUMPDEST
0000062c: PUSH32 0x66aa2d0c6bbcb6dddf16ac157b840c02ed407ae0b7173ac3a6b00709c6246cdb
0000064d: DUP7
0000064e: PUSH1 0x00
00000650: ADD
00000651: MLOAD
00000652: DUP8
00000653: PUSH1 0x20
00000655: ADD
00000656: MLOAD
00000657: DUP9
00000658: PUSH1 0x60
0000065a: ADD
0000065b: MLOAD
0000065c: DUP10
0000065d: PUSH1 0x40
0000065f: ADD
00000660: MLOAD
00000661: DUP1
00000662: MLOAD
00000663: SWAP1
00000664: PUSH1 0x20
00000666: ADD
00000667: KECCAK256
00000668: DUP11
00000669: PUSH1 0x80
0000066b: ADD
0000066c: MLOAD
0000066d: PUSH1 0x40
0000066f: MLOAD
00000670: PUSH1 0x20
00000672: ADD
00000673: PUSH2 0x067c
00000676: SWAP2
00000677: SWAP1
00000678: PUSH2 0x16d6
0000067b: JUMP
0000067c: JUMPDEST
0000067d: PUSH1 0x40
0000067f: DUP1
00000680: MLOAD
00000681: PUSH1 0x1f
00000683: NOT
00000684: DUP2
00000685: DUP5
00000686: SUB
00000687: ADD
00000688: DUP2
00000689: MSTORE
0000068a: DUP3
0000068b: DUP3
0000068c: MSTORE
0000068d: DUP1
0000068e: MLOAD
0000068f: PUSH1 0x20
00000691: SWAP2
00000692: DUP3
00000693: ADD
00000694: KECCAK256
00000695: SWAP1
00000696: DUP4
00000697: ADD
00000698: SWAP8
00000699: SWAP1
0000069a: SWAP8
0000069b: MSTORE
0000069c: PUSH1 0x01
0000069e: PUSH1 0x01
000006a0: PUSH1 0xa0
000006a2: SHL
000006a3: SUB
000006a4: SWAP6
000006a5: DUP7
000006a6: AND
000006a7: SWAP1
000006a8: DUP3
000006a9: ADD
000006aa: MSTORE
000006ab: SWAP3
000006ac: DUP5
000006ad: AND
000006ae: PUSH1 0x60
000006b0: DUP5
000006b1: ADD
000006b2: MSTORE
000006b3: PUSH1 0x80
000006b5: DUP4
000006b6: ADD
000006b7: SWAP2
000006b8: SWAP1
000006b9: SWAP2
000006ba: MSTORE
000006bb: PUSH1 0xa0
000006bd: DUP3
000006be: ADD
000006bf: MSTORE
000006c0: PUSH1 0xc0
000006c2: DUP2
000006c3: ADD
000006c4: SWAP3
000006c5: SWAP1
000006c6: SWAP3
000006c7: MSTORE
000006c8: DUP7
000006c9: AND
000006ca: PUSH1 0xe0
000006cc: DUP3
000006cd: ADD
000006ce: MSTORE
000006cf: PUSH2 0x0100
000006d2: DUP2
000006d3: ADD
000006d4: DUP6
000006d5: SWAP1
000006d6: MSTORE
000006d7: PUSH2 0x0120
000006da: DUP2
000006db: ADD
000006dc: DUP5
000006dd: SWAP1
000006de: MSTORE
000006df: PUSH2 0x0140
000006e2: ADD
000006e3: PUSH1 0x40
000006e5: MLOAD
000006e6: PUSH1 0x20
000006e8: DUP2
000006e9: DUP4
000006ea: SUB
000006eb: SUB
000006ec: DUP2
000006ed: MSTORE
000006ee: SWAP1
000006ef: PUSH1 0x40
000006f1: MSTORE
000006f2: DUP1
000006f3: MLOAD
000006f4: SWAP1
000006f5: PUSH1 0x20
000006f7: ADD
000006f8: KECCAK256
000006f9: PUSH1 0x40
000006fb: MLOAD
000006fc: PUSH1 0x20
000006fe: ADD
000006ff: PUSH2 0x071f
00000702: SWAP3
00000703: SWAP2
00000704: SWAP1
00000705: PUSH2 0x1901
00000708: PUSH1 0xf0
0000070a: SHL
0000070b: DUP2
0000070c: MSTORE
0000070d: PUSH1 0x02
0000070f: DUP2
00000710: ADD
00000711: SWAP3
00000712: SWAP1
00000713: SWAP3
00000714: MSTORE
00000715: PUSH1 0x22
00000717: DUP3
00000718: ADD
00000719: MSTORE
0000071a: PUSH1 0x42
0000071c: ADD
0000071d: SWAP1
0000071e: JUMP
0000071f: JUMPDEST
00000720: PUSH1 0x40
00000722: MLOAD
00000723: PUSH1 0x20
00000725: DUP2
00000726: DUP4
00000727: SUB
00000728: SUB
00000729: DUP2
0000072a: MSTORE
0000072b: SWAP1
0000072c: PUSH1 0x40
0000072e: MSTORE
0000072f: DUP1
00000730: MLOAD
00000731: SWAP1
00000732: PUSH1 0x20
00000734: ADD
00000735: KECCAK256
00000736: SWAP1
00000737: POP
00000738: SWAP5
00000739: SWAP4
0000073a: POP
0000073b: POP
0000073c: POP
0000073d: POP
0000073e: JUMP
0000073f: JUMPDEST
00000740: CALLER
00000741: PUSH1 0x00
00000743: SWAP1
00000744: DUP2
00000745: MSTORE
00000746: PUSH1 0x20
00000748: DUP2
00000749: SWAP1
0000074a: MSTORE
0000074b: PUSH1 0x40
0000074d: SWAP1
0000074e: KECCAK256
0000074f: SLOAD
00000750: DUP2
00000751: GT
00000752: ISZERO
00000753: PUSH2 0x0796
00000756: JUMPI
00000757: PUSH1 0x40
00000759: MLOAD
0000075a: PUSH3 0x461bcd
0000075e: PUSH1 0xe5
00000760: SHL
00000761: DUP2
00000762: MSTORE
00000763: PUSH1 0x20
00000765: PUSH1 0x04
00000767: DUP3
00000768: ADD
00000769: MSTORE
0000076a: PUSH1 0x15
0000076c: PUSH1 0x24
0000076e: DUP3
0000076f: ADD
00000770: MSTORE
00000771: PUSH21 0x494e53554646494349454e545f4445504f53495453
00000787: PUSH1 0x58
00000789: SHL
0000078a: PUSH1 0x44
0000078c: DUP3
0000078d: ADD
0000078e: MSTORE
0000078f: PUSH1 0x64
00000791: ADD
00000792: PUSH2 0x034f
00000795: JUMP
00000796: JUMPDEST
00000797: CALLER
00000798: PUSH1 0x00
0000079a: DUP2
0000079b: DUP2
0000079c: MSTORE
0000079d: PUSH1 0x20
0000079f: DUP2
000007a0: SWAP1
000007a1: MSTORE
000007a2: PUSH1 0x40
000007a4: SWAP1
000007a5: KECCAK256
000007a6: DUP1
000007a7: SLOAD
000007a8: DUP4
000007a9: SWAP1
000007aa: SUB
000007ab: SWAP1
000007ac: SSTORE
000007ad: PUSH2 0x07b6
000007b0: SWAP1
000007b1: DUP3
000007b2: PUSH2 0x0f45
000007b5: JUMP
000007b6: JUMPDEST
000007b7: PUSH1 0x40
000007b9: MLOAD
000007ba: DUP2
000007bb: DUP2
000007bc: MSTORE
000007bd: CALLER
000007be: SWAP1
000007bf: PUSH32 0x7fcf532c15f0a6db0bd6d0e038bea71d30d808c7d98cb3bf7268a95bf5081b65
000007e0: SWAP1
000007e1: PUSH1 0x20
000007e3: ADD
000007e4: PUSH1 0x40
000007e6: MLOAD
000007e7: DUP1
000007e8: SWAP2
000007e9: SUB
000007ea: SWAP1
000007eb: LOG2
000007ec: POP
000007ed: JUMP
000007ee: JUMPDEST
000007ef: PUSH1 0x00
000007f1: PUSH32 0x0000000000000000000000000000000000000000000000000000000000000001
00000812: CHAINID
00000813: EQ
00000814: PUSH2 0x08c4
00000817: JUMPI
00000818: PUSH2 0x08bf
0000081b: PUSH1 0x40
0000081d: DUP1
0000081e: MLOAD
0000081f: PUSH32 0x8b73c3c69bb8fe3d512ecc4cf759cc79239f7b179b0ffacaa9a75d522b39400f
00000840: PUSH1 0x20
00000842: DUP3
00000843: ADD
00000844: MSTORE
00000845: PUSH32 0x58c077fda27743aeef22d163613a272954d4b84633a30b8304b688d9153ff51b
00000866: SWAP2
00000867: DUP2
00000868: ADD
00000869: SWAP2
0000086a: SWAP1
0000086b: SWAP2
0000086c: MSTORE
0000086d: PUSH32 0xc89efdaa54c0f20c7adf612882df0950f5a951637e0307cdcb4c672f298b8bc6
0000088e: PUSH1 0x60
00000890: DUP3
00000891: ADD
00000892: MSTORE
00000893: CHAINID
00000894: PUSH1 0x80
00000896: DUP3
00000897: ADD
00000898: MSTORE
00000899: ADDRESS
0000089a: PUSH1 0xa0
0000089c: DUP3
0000089d: ADD
0000089e: MSTORE
0000089f: PUSH1 0x00
000008a1: SWAP1
000008a2: PUSH1 0xc0
000008a4: ADD
000008a5: PUSH1 0x40
000008a7: MLOAD
000008a8: PUSH1 0x20
000008aa: DUP2
000008ab: DUP4
000008ac: SUB
000008ad: SUB
000008ae: DUP2
000008af: MSTORE
000008b0: SWAP1
000008b1: PUSH1 0x40
000008b3: MSTORE
000008b4: DUP1
000008b5: MLOAD
000008b6: SWAP1
000008b7: PUSH1 0x20
000008b9: ADD
000008ba: KECCAK256
000008bb: SWAP1
000008bc: POP
000008bd: SWAP1
000008be: JUMP
000008bf: JUMPDEST
000008c0: SWAP1
000008c1: POP
000008c2: SWAP1
000008c3: JUMP
000008c4: JUMPDEST
000008c5: POP
000008c6: PUSH32 0x1b960b265c983685a5e00dcb1965dde3ce357c73e970f3559ebe6cae00342a4b
000008e7: SWAP1
000008e8: JUMP
000008e9: JUMPDEST
000008ea: DUP1
000008eb: MLOAD
000008ec: PUSH1 0x60
000008ee: DUP3
000008ef: ADD
000008f0: MLOAD
000008f1: PUSH1 0x01
000008f3: PUSH1 0x01
000008f5: PUSH1 0xa0
000008f7: SHL
000008f8: SUB
000008f9: SWAP1
000008fa: SWAP2
000008fb: AND
000008fc: PUSH1 0x00
000008fe: SWAP1
000008ff: DUP2
00000900: MSTORE
00000901: PUSH1 0x01
00000903: PUSH1 0x20
00000905: SWAP1
00000906: DUP2
00000907: MSTORE
00000908: PUSH1 0x40
0000090a: DUP1
0000090b: DUP4
0000090c: KECCAK256
0000090d: SWAP4
0000090e: DUP4
0000090f: MSTORE
00000910: SWAP3
00000911: SWAP1
00000912: MSTORE
00000913: KECCAK256
00000914: SLOAD
00000915: PUSH1 0xff
00000917: AND
00000918: ISZERO
00000919: PUSH2 0x0954
0000091c: JUMPI
0000091d: PUSH1 0x40
0000091f: MLOAD
00000920: PUSH3 0x461bcd
00000924: PUSH1 0xe5
00000926: SHL
00000927: DUP2
00000928: MSTORE
00000929: PUSH1 0x20
0000092b: PUSH1 0x04
0000092d: DUP3
0000092e: ADD
0000092f: MSTORE
00000930: PUSH1 0x0d
00000932: PUSH1 0x24
00000934: DUP3
00000935: ADD
00000936: MSTORE
00000937: PUSH13 0x494e56414c49445f4e4f4e4345
00000945: PUSH1 0x98
00000947: SHL
00000948: PUSH1 0x44
0000094a: DUP3
0000094b: ADD
0000094c: MSTORE
0000094d: PUSH1 0x64
0000094f: ADD
00000950: PUSH2 0x034f
00000953: JUMP
00000954: JUMPDEST
00000955: PUSH1 0x00
00000957: PUSH2 0x096e
0000095a: DUP4
0000095b: DUP4
0000095c: PUSH1 0x00
0000095e: ADD
0000095f: MLOAD
00000960: DUP5
00000961: PUSH1 0x20
00000963: ADD
00000964: MLOAD
00000965: DUP6
00000966: PUSH1 0x60
00000968: ADD
00000969: MLOAD
0000096a: PUSH2 0x0621
0000096d: JUMP
0000096e: JUMPDEST
0000096f: SWAP1
00000970: POP
00000971: PUSH1 0x00
00000973: PUSH20 0xcf76a3d0be60ccd71c05f33bcbfb529dc806e259
00000988: PUSH4 0x333daf92
0000098d: DUP4
0000098e: DUP6
0000098f: PUSH1 0x40
00000991: ADD
00000992: MLOAD
00000993: PUSH1 0x40
00000995: MLOAD
00000996: DUP4
00000997: PUSH4 0xffffffff
0000099c: AND
0000099d: PUSH1 0xe0
0000099f: SHL
000009a0: DUP2
000009a1: MSTORE
000009a2: PUSH1 0x04
000009a4: ADD
000009a5: PUSH2 0x09af
000009a8: SWAP3
000009a9: SWAP2
000009aa: SWAP1
000009ab: PUSH2 0x170c
000009ae: JUMP
000009af: JUMPDEST
000009b0: PUSH1 0x20
000009b2: PUSH1 0x40
000009b4: MLOAD
000009b5: DUP1
000009b6: DUP4
000009b7: SUB
000009b8: DUP2
000009b9: DUP7
000009ba: GAS
000009bb: DELEGATECALL
000009bc: ISZERO
000009bd: DUP1
000009be: ISZERO
000009bf: PUSH2 0x09cc
000009c2: JUMPI
000009c3: RETURNDATASIZE
000009c4: PUSH1 0x00
000009c6: DUP1
000009c7: RETURNDATACOPY
000009c8: RETURNDATASIZE
000009c9: PUSH1 0x00
000009cb: REVERT
000009cc: JUMPDEST
000009cd: POP
000009ce: POP
000009cf: POP
000009d0: POP
000009d1: PUSH1 0x40
000009d3: MLOAD
000009d4: RETURNDATASIZE
000009d5: PUSH1 0x1f
000009d7: NOT
000009d8: PUSH1 0x1f
000009da: DUP3
000009db: ADD
000009dc: AND
000009dd: DUP3
000009de: ADD
000009df: DUP1
000009e0: PUSH1 0x40
000009e2: MSTORE
000009e3: POP
000009e4: DUP2
000009e5: ADD
000009e6: SWAP1
000009e7: PUSH2 0x09f0
000009ea: SWAP2
000009eb: SWAP1
000009ec: PUSH2 0x172d
000009ef: JUMP
000009f0: JUMPDEST
000009f1: SWAP1
000009f2: POP
000009f3: DUP1
000009f4: PUSH1 0x01
000009f6: PUSH1 0x01
000009f8: PUSH1 0xa0
000009fa: SHL
000009fb: SUB
000009fc: AND
000009fd: DUP4
000009fe: PUSH1 0x00
00000a00: ADD
00000a01: MLOAD
00000a02: PUSH1 0x01
00000a04: PUSH1 0x01
00000a06: PUSH1 0xa0
00000a08: SHL
00000a09: SUB
00000a0a: AND
00000a0b: EQ
00000a0c: PUSH2 0x0a4b
00000a0f: JUMPI
00000a10: PUSH1 0x40
00000a12: MLOAD
00000a13: PUSH3 0x461bcd
00000a17: PUSH1 0xe5
00000a19: SHL
00000a1a: DUP2
00000a1b: MSTORE
00000a1c: PUSH1 0x20
00000a1e: PUSH1 0x04
00000a20: DUP3
00000a21: ADD
00000a22: MSTORE
00000a23: PUSH1 0x11
00000a25: PUSH1 0x24
00000a27: DUP3
00000a28: ADD
00000a29: MSTORE
00000a2a: PUSH17 0x494e56414c49445f5349474e4154555245
00000a3c: PUSH1 0x78
00000a3e: SHL
00000a3f: PUSH1 0x44
00000a41: DUP3
00000a42: ADD
00000a43: MSTORE
00000a44: PUSH1 0x64
00000a46: ADD
00000a47: PUSH2 0x034f
00000a4a: JUMP
00000a4b: JUMPDEST
00000a4c: POP
00000a4d: POP
00000a4e: POP
00000a4f: POP
00000a50: JUMP
00000a51: JUMPDEST
00000a52: PUSH1 0x00
00000a54: DUP1
00000a55: DUP4
00000a56: DUP1
00000a57: MLOAD
00000a58: SWAP1
00000a59: PUSH1 0x20
00000a5b: ADD
00000a5c: KECCAK256
00000a5d: DUP4
00000a5e: PUSH1 0x40
00000a60: MLOAD
00000a61: PUSH1 0x20
00000a63: ADD
00000a64: PUSH2 0x0a77
00000a67: SWAP3
00000a68: SWAP2
00000a69: SWAP1
00000a6a: SWAP2
00000a6b: DUP3
00000a6c: MSTORE
00000a6d: PUSH1 0x20
00000a6f: DUP3
00000a70: ADD
00000a71: MSTORE
00000a72: PUSH1 0x40
00000a74: ADD
00000a75: SWAP1
00000a76: JUMP
00000a77: JUMPDEST
00000a78: PUSH1 0x40
00000a7a: MLOAD
00000a7b: PUSH1 0x20
00000a7d: DUP2
00000a7e: DUP4
00000a7f: SUB
00000a80: SUB
00000a81: DUP2
00000a82: MSTORE
00000a83: SWAP1
00000a84: PUSH1 0x40
00000a86: MSTORE
00000a87: DUP1
00000a88: MLOAD
00000a89: SWAP1
00000a8a: PUSH1 0x20
00000a8c: ADD
00000a8d: KECCAK256
00000a8e: SWAP1
00000a8f: POP
00000a90: PUSH1 0x00
00000a92: PUSH1 0x03
00000a94: PUSH1 0x00
00000a96: SWAP1
00000a97: SLOAD
00000a98: SWAP1
00000a99: PUSH2 0x0100
00000a9c: EXP
00000a9d: SWAP1
00000a9e: DIV
00000a9f: PUSH1 0x01
00000aa1: PUSH1 0x01
00000aa3: PUSH1 0xa0
00000aa5: SHL
00000aa6: SUB
00000aa7: AND
00000aa8: PUSH1 0x01
00000aaa: PUSH1 0x01
00000aac: PUSH1 0xa0
00000aae: SHL
00000aaf: SUB
00000ab0: AND
00000ab1: PUSH4 0x53e5d935
00000ab6: PUSH1 0x40
00000ab8: MLOAD
00000ab9: DUP2
00000aba: PUSH4 0xffffffff
00000abf: AND
00000ac0: PUSH1 0xe0
00000ac2: SHL
00000ac3: DUP2
00000ac4: MSTORE
00000ac5: PUSH1 0x04
00000ac7: ADD
00000ac8: PUSH1 0x00
00000aca: PUSH1 0x40
00000acc: MLOAD
00000acd: DUP1
00000ace: DUP4
00000acf: SUB
00000ad0: DUP2
00000ad1: DUP7
00000ad2: GAS
00000ad3: STATICCALL
00000ad4: ISZERO
00000ad5: DUP1
00000ad6: ISZERO
00000ad7: PUSH2 0x0ae4
00000ada: JUMPI
00000adb: RETURNDATASIZE
00000adc: PUSH1 0x00
00000ade: DUP1
00000adf: RETURNDATACOPY
00000ae0: RETURNDATASIZE
00000ae1: PUSH1 0x00
00000ae3: REVERT
00000ae4: JUMPDEST
00000ae5: POP
00000ae6: POP
00000ae7: POP
00000ae8: POP
00000ae9: PUSH1 0x40
00000aeb: MLOAD
00000aec: RETURNDATASIZE
00000aed: PUSH1 0x00
00000aef: DUP3
00000af0: RETURNDATACOPY
00000af1: PUSH1 0x1f
00000af3: RETURNDATASIZE
00000af4: SWAP1
00000af5: DUP2
00000af6: ADD
00000af7: PUSH1 0x1f
00000af9: NOT
00000afa: AND
00000afb: DUP3
00000afc: ADD
00000afd: PUSH1 0x40
00000aff: MSTORE
00000b00: PUSH2 0x0b0c
00000b03: SWAP2
00000b04: SWAP1
00000b05: DUP2
00000b06: ADD
00000b07: SWAP1
00000b08: PUSH2 0x174a
00000b0b: JUMP
00000b0c: JUMPDEST
00000b0d: PUSH1 0x04
00000b0f: SLOAD
00000b10: PUSH1 0x40
00000b12: MLOAD
00000b13: PUSH2 0x0b29
00000b16: SWAP3
00000b17: SWAP2
00000b18: PUSH1 0x01
00000b1a: PUSH1 0x01
00000b1c: PUSH1 0xa0
00000b1e: SHL
00000b1f: SUB
00000b20: AND
00000b21: SWAP1
00000b22: PUSH1 0x20
00000b24: ADD
00000b25: PUSH2 0x17b8
00000b28: JUMP
00000b29: JUMPDEST
00000b2a: PUSH1 0x40
00000b2c: DUP1
00000b2d: MLOAD
00000b2e: PUSH1 0x1f
00000b30: NOT
00000b31: DUP2
00000b32: DUP5
00000b33: SUB
00000b34: ADD
00000b35: DUP2
00000b36: MSTORE
00000b37: DUP3
00000b38: DUP3
00000b39: MSTORE
00000b3a: PUSH1 0x03
00000b3c: SLOAD
00000b3d: DUP2
00000b3e: MLOAD
00000b3f: PUSH1 0x20
00000b41: SWAP3
00000b42: DUP4
00000b43: ADD
00000b44: KECCAK256
00000b45: PUSH1 0x01
00000b47: PUSH1 0x01
00000b49: PUSH1 0xf8
00000b4b: SHL
00000b4c: SUB
00000b4d: NOT
00000b4e: DUP4
00000b4f: DUP7
00000b50: ADD
00000b51: MSTORE
00000b52: PUSH1 0x60
00000b54: SWAP2
00000b55: SWAP1
00000b56: SWAP2
00000b57: SHL
00000b58: PUSH12 0xffffffffffffffffffffffff
00000b65: NOT
00000b66: AND
00000b67: PUSH1 0x21
00000b69: DUP6
00000b6a: ADD
00000b6b: MSTORE
00000b6c: PUSH1 0x35
00000b6e: DUP5
00000b6f: ADD
00000b70: SWAP6
00000b71: SWAP1
00000b72: SWAP6
00000b73: MSTORE
00000b74: PUSH1 0x55
00000b76: DUP1
00000b77: DUP5
00000b78: ADD
00000b79: SWAP6
00000b7a: SWAP1
00000b7b: SWAP6
00000b7c: MSTORE
00000b7d: DUP2
00000b7e: MLOAD
00000b7f: DUP1
00000b80: DUP5
00000b81: SUB
00000b82: SWAP1
00000b83: SWAP6
00000b84: ADD
00000b85: DUP6
00000b86: MSTORE
00000b87: PUSH1 0x75
00000b89: SWAP1
00000b8a: SWAP3
00000b8b: ADD
00000b8c: SWAP1
00000b8d: MSTORE
00000b8e: DUP3
00000b8f: MLOAD
00000b90: SWAP3
00000b91: ADD
00000b92: SWAP2
00000b93: SWAP1
00000b94: SWAP2
00000b95: KECCAK256
00000b96: SWAP5
00000b97: SWAP4
00000b98: POP
00000b99: POP
00000b9a: POP
00000b9b: POP
00000b9c: JUMP
00000b9d: JUMPDEST
00000b9e: PUSH1 0x00
00000ba0: PUSH2 0x0ba7
00000ba3: PUSH2 0x07ee
00000ba6: JUMP
00000ba7: JUMPDEST
00000ba8: PUSH1 0x40
00000baa: DUP1
00000bab: MLOAD
00000bac: PUSH32 0x1283338d2d7a037281e87b39ad1220fd88e7fef005f1b5991e6720d6a7cd34b6
00000bcd: PUSH1 0x20
00000bcf: DUP3
00000bd0: ADD
00000bd1: MSTORE
00000bd2: PUSH1 0x01
00000bd4: PUSH1 0x01
00000bd6: PUSH1 0xa0
00000bd8: SHL
00000bd9: SUB
00000bda: DUP7
00000bdb: AND
00000bdc: SWAP2
00000bdd: DUP2
00000bde: ADD
00000bdf: SWAP2
00000be0: SWAP1
00000be1: SWAP2
00000be2: MSTORE
00000be3: PUSH1 0x60
00000be5: DUP2
00000be6: ADD
00000be7: DUP5
00000be8: SWAP1
00000be9: MSTORE
00000bea: PUSH1 0x80
00000bec: ADD
00000bed: PUSH1 0x40
00000bef: MLOAD
00000bf0: PUSH1 0x20
00000bf2: DUP2
00000bf3: DUP4
00000bf4: SUB
00000bf5: SUB
00000bf6: DUP2
00000bf7: MSTORE
00000bf8: SWAP1
00000bf9: PUSH1 0x40
00000bfb: MSTORE
00000bfc: DUP1
00000bfd: MLOAD
00000bfe: SWAP1
00000bff: PUSH1 0x20
00000c01: ADD
00000c02: KECCAK256
00000c03: PUSH1 0x40
00000c05: MLOAD
00000c06: PUSH1 0x20
00000c08: ADD
00000c09: PUSH2 0x0c29
00000c0c: SWAP3
00000c0d: SWAP2
00000c0e: SWAP1
00000c0f: PUSH2 0x1901
00000c12: PUSH1 0xf0
00000c14: SHL
00000c15: DUP2
00000c16: MSTORE
00000c17: PUSH1 0x02
00000c19: DUP2
00000c1a: ADD
00000c1b: SWAP3
00000c1c: SWAP1
00000c1d: SWAP3
00000c1e: MSTORE
00000c1f: PUSH1 0x22
00000c21: DUP3
00000c22: ADD
00000c23: MSTORE
00000c24: PUSH1 0x42
00000c26: ADD
00000c27: SWAP1
00000c28: JUMP
00000c29: JUMPDEST
00000c2a: PUSH1 0x40
00000c2c: MLOAD
00000c2d: PUSH1 0x20
00000c2f: DUP2
00000c30: DUP4
00000c31: SUB
00000c32: SUB
00000c33: DUP2
00000c34: MSTORE
00000c35: SWAP1
00000c36: PUSH1 0x40
00000c38: MSTORE
00000c39: DUP1
00000c3a: MLOAD
00000c3b: SWAP1
00000c3c: PUSH1 0x20
00000c3e: ADD
00000c3f: KECCAK256
00000c40: SWAP1
00000c41: POP
00000c42: SWAP3
00000c43: SWAP2
00000c44: POP
00000c45: POP
00000c46: JUMP
00000c47: JUMPDEST
00000c48: PUSH1 0x60
00000c4a: PUSH1 0x00
00000c4c: DUP3
00000c4d: MLOAD
00000c4e: PUSH8 0xffffffffffffffff
00000c57: DUP2
00000c58: GT
00000c59: ISZERO
00000c5a: PUSH2 0x0c65
00000c5d: JUMPI
00000c5e: PUSH2 0x0c65
00000c61: PUSH2 0x103f
00000c64: JUMP
00000c65: JUMPDEST
00000c66: PUSH1 0x40
00000c68: MLOAD
00000c69: SWAP1
00000c6a: DUP1
00000c6b: DUP3
00000c6c: MSTORE
00000c6d: DUP1
00000c6e: PUSH1 0x20
00000c70: MUL
00000c71: PUSH1 0x20
00000c73: ADD
00000c74: DUP3
00000c75: ADD
00000c76: PUSH1 0x40
00000c78: MSTORE
00000c79: DUP1
00000c7a: ISZERO
00000c7b: PUSH2 0x0c8e
00000c7e: JUMPI
00000c7f: DUP2
00000c80: PUSH1 0x20
00000c82: ADD
00000c83: PUSH1 0x20
00000c85: DUP3
00000c86: MUL
00000c87: DUP1
00000c88: CALLDATASIZE
00000c89: DUP4
00000c8a: CALLDATACOPY
00000c8b: ADD
00000c8c: SWAP1
00000c8d: POP
00000c8e: JUMPDEST
00000c8f: POP
00000c90: SWAP2
00000c91: POP
00000c92: PUSH1 0x00
00000c94: SWAP1
00000c95: POP
00000c96: PUSH1 0x00
00000c98: PUSH2 0x0cae
00000c9b: DUP6
00000c9c: PUSH1 0x00
00000c9e: ADD
00000c9f: MLOAD
00000ca0: DUP7
00000ca1: PUSH1 0xa0
00000ca3: ADD
00000ca4: MLOAD
00000ca5: DUP8
00000ca6: PUSH1 0xc0
00000ca8: ADD
00000ca9: MLOAD
00000caa: PUSH2 0x0f9b
00000cad: JUMP
00000cae: JUMPDEST
00000caf: PUSH1 0xa0
00000cb1: DUP7
00000cb2: ADD
00000cb3: MLOAD
00000cb4: SWAP1
00000cb5: SWAP2
00000cb6: POP
00000cb7: ISZERO
00000cb8: PUSH1 0x00
00000cba: JUMPDEST
00000cbb: DUP6
00000cbc: MLOAD
00000cbd: DUP2
00000cbe: LT
00000cbf: ISZERO
00000cc0: PUSH2 0x0e0e
00000cc3: JUMPI
00000cc4: PUSH1 0x00
00000cc6: DUP7
00000cc7: DUP3
00000cc8: DUP2
00000cc9: MLOAD
00000cca: DUP2
00000ccb: LT
00000ccc: PUSH2 0x0cd7
00000ccf: JUMPI
00000cd0: PUSH2 0x0cd7
00000cd3: PUSH2 0x17da
00000cd6: JUMP
00000cd7: JUMPDEST
00000cd8: PUSH1 0x20
00000cda: MUL
00000cdb: PUSH1 0x20
00000cdd: ADD
00000cde: ADD
00000cdf: MLOAD
00000ce0: SWAP1
00000ce1: POP
00000ce2: PUSH2 0x0ceb
00000ce5: DUP9
00000ce6: DUP3
00000ce7: PUSH2 0x08e9
00000cea: JUMP
00000ceb: JUMPDEST
00000cec: DUP1
00000ced: PUSH1 0x00
00000cef: ADD
00000cf0: MLOAD
00000cf1: DUP7
00000cf2: DUP4
00000cf3: DUP2
00000cf4: MLOAD
00000cf5: DUP2
00000cf6: LT
00000cf7: PUSH2 0x0d02
00000cfa: JUMPI
00000cfb: PUSH2 0x0d02
00000cfe: PUSH2 0x17da
00000d01: JUMP
00000d02: JUMPDEST
00000d03: PUSH1 0x01
00000d05: PUSH1 0x01
00000d07: PUSH1 0xa0
00000d09: SHL
00000d0a: SUB
00000d0b: SWAP3
00000d0c: DUP4
00000d0d: AND
00000d0e: PUSH1 0x20
00000d10: SWAP2
00000d11: DUP3
00000d12: MUL
00000d13: SWAP3
00000d14: SWAP1
00000d15: SWAP3
00000d16: ADD
00000d17: DUP2
00000d18: ADD
00000d19: SWAP2
00000d1a: SWAP1
00000d1b: SWAP2
00000d1c: MSTORE
00000d1d: DUP3
00000d1e: MLOAD
00000d1f: DUP3
00000d20: AND
00000d21: PUSH1 0x00
00000d23: SWAP1
00000d24: DUP2
00000d25: MSTORE
00000d26: PUSH1 0x01
00000d28: DUP1
00000d29: DUP4
00000d2a: MSTORE
00000d2b: PUSH1 0x40
00000d2d: DUP1
00000d2e: DUP4
00000d2f: KECCAK256
00000d30: PUSH1 0x60
00000d32: DUP8
00000d33: ADD
00000d34: MLOAD
00000d35: DUP5
00000d36: MSTORE
00000d37: DUP5
00000d38: MSTORE
00000d39: DUP1
00000d3a: DUP4
00000d3b: KECCAK256
00000d3c: DUP1
00000d3d: SLOAD
00000d3e: PUSH1 0xff
00000d40: NOT
00000d41: AND
00000d42: SWAP1
00000d43: SWAP3
00000d44: OR
00000d45: SWAP1
00000d46: SWAP2
00000d47: SSTORE
00000d48: DUP5
00000d49: DUP4
00000d4a: ADD
00000d4b: MLOAD
00000d4c: DUP6
00000d4d: MLOAD
00000d4e: SWAP1
00000d4f: SWAP5
00000d50: AND
00000d51: DUP3
00000d52: MSTORE
00000d53: SWAP2
00000d54: DUP2
00000d55: SWAP1
00000d56: MSTORE
00000d57: KECCAK256
00000d58: SLOAD
00000d59: LT
00000d5a: ISZERO
00000d5b: PUSH2 0x0d9e
00000d5e: JUMPI
00000d5f: PUSH1 0x40
00000d61: MLOAD
00000d62: PUSH3 0x461bcd
00000d66: PUSH1 0xe5
00000d68: SHL
00000d69: DUP2
00000d6a: MSTORE
00000d6b: PUSH1 0x20
00000d6d: PUSH1 0x04
00000d6f: DUP3
00000d70: ADD
00000d71: MSTORE
00000d72: PUSH1 0x15
00000d74: PUSH1 0x24
00000d76: DUP3
00000d77: ADD
00000d78: MSTORE
00000d79: PUSH21 0x494e53554646494349454e545f4445504f53495453
00000d8f: PUSH1 0x58
00000d91: SHL
00000d92: PUSH1 0x44
00000d94: DUP3
00000d95: ADD
00000d96: MSTORE
00000d97: PUSH1 0x64
00000d99: ADD
00000d9a: PUSH2 0x034f
00000d9d: JUMP
00000d9e: JUMPDEST
00000d9f: PUSH1 0x20
00000da1: DUP1
00000da2: DUP3
00000da3: ADD
00000da4: MLOAD
00000da5: DUP3
00000da6: MLOAD
00000da7: PUSH1 0x01
00000da9: PUSH1 0x01
00000dab: PUSH1 0xa0
00000dad: SHL
00000dae: SUB
00000daf: AND
00000db0: PUSH1 0x00
00000db2: SWAP1
00000db3: DUP2
00000db4: MSTORE
00000db5: SWAP2
00000db6: DUP3
00000db7: SWAP1
00000db8: MSTORE
00000db9: PUSH1 0x40
00000dbb: DUP3
00000dbc: KECCAK256
00000dbd: DUP1
00000dbe: SLOAD
00000dbf: SWAP2
00000dc0: SWAP3
00000dc1: SWAP1
00000dc2: SWAP2
00000dc3: PUSH2 0x0dcd
00000dc6: SWAP1
00000dc7: DUP5
00000dc8: SWAP1
00000dc9: PUSH2 0x166b
00000dcc: JUMP
00000dcd: JUMPDEST
00000dce: SWAP1
00000dcf: SWAP2
00000dd0: SSTORE
00000dd1: POP
00000dd2: POP
00000dd3: PUSH1 0x20
00000dd5: DUP2
00000dd6: ADD
00000dd7: MLOAD
00000dd8: PUSH2 0x0de1
00000ddb: SWAP1
00000ddc: DUP7
00000ddd: PUSH2 0x158d
00000de0: JUMP
00000de1: JUMPDEST
00000de2: SWAP5
00000de3: POP
00000de4: DUP3
00000de5: PUSH2 0x0dfb
00000de8: JUMPI
00000de9: DUP1
00000dea: MLOAD
00000deb: PUSH1 0x01
00000ded: PUSH1 0x01
00000def: PUSH1 0xa0
00000df1: SHL
00000df2: SUB
00000df3: DUP6
00000df4: DUP2
00000df5: AND
00000df6: SWAP2
00000df7: AND
00000df8: EQ
00000df9: SWAP3
00000dfa: POP
00000dfb: JUMPDEST
00000dfc: POP
00000dfd: DUP1
00000dfe: PUSH2 0x0e06
00000e01: DUP2
00000e02: PUSH2 0x17f0
00000e05: JUMP
00000e06: JUMPDEST
00000e07: SWAP2
00000e08: POP
00000e09: POP
00000e0a: PUSH2 0x0cba
00000e0d: JUMP
00000e0e: JUMPDEST
00000e0f: POP
00000e10: DUP1
00000e11: PUSH2 0x0e5c
00000e14: JUMPI
00000e15: PUSH1 0x40
00000e17: MLOAD
00000e18: PUSH3 0x461bcd
00000e1c: PUSH1 0xe5
00000e1e: SHL
00000e1f: DUP2
00000e20: MSTORE
00000e21: PUSH1 0x20
00000e23: PUSH1 0x04
00000e25: DUP3
00000e26: ADD
00000e27: MSTORE
00000e28: PUSH1 0x1b
00000e2a: PUSH1 0x24
00000e2c: DUP3
00000e2d: ADD
00000e2e: MSTORE
00000e2f: PUSH32 0x494e56414c49445f52454c41595f4645455f5349474e41545552450000000000
00000e50: PUSH1 0x44
00000e52: DUP3
00000e53: ADD
00000e54: MSTORE
00000e55: PUSH1 0x64
00000e57: ADD
00000e58: PUSH2 0x034f
00000e5b: JUMP
00000e5c: JUMPDEST
00000e5d: POP
00000e5e: POP
00000e5f: SWAP3
00000e60: POP
00000e61: SWAP3
00000e62: SWAP1
00000e63: POP
00000e64: JUMP
00000e65: JUMPDEST
00000e66: PUSH1 0x60
00000e68: DUP9
00000e69: DUP9
00000e6a: DUP9
00000e6b: DUP9
00000e6c: DUP9
00000e6d: DUP9
00000e6e: DUP9
00000e6f: DUP9
00000e70: PUSH1 0x40
00000e72: MLOAD
00000e73: PUSH1 0x24
00000e75: ADD
00000e76: PUSH2 0x0e86
00000e79: SWAP9
00000e7a: SWAP8
00000e7b: SWAP7
00000e7c: SWAP6
00000e7d: SWAP5
00000e7e: SWAP4
00000e7f: SWAP3
00000e80: SWAP2
00000e81: SWAP1
00000e82: PUSH2 0x1809
00000e85: JUMP
00000e86: JUMPDEST
00000e87: PUSH1 0x40
00000e89: DUP1
00000e8a: MLOAD
00000e8b: PUSH1 0x1f
00000e8d: NOT
00000e8e: DUP2
00000e8f: DUP5
00000e90: SUB
00000e91: ADD
00000e92: DUP2
00000e93: MSTORE
00000e94: SWAP2
00000e95: SWAP1
00000e96: MSTORE
00000e97: PUSH1 0x20
00000e99: DUP2
00000e9a: ADD
00000e9b: DUP1
00000e9c: MLOAD
00000e9d: PUSH1 0x01
00000e9f: PUSH1 0x01
00000ea1: PUSH1 0xe0
00000ea3: SHL
00000ea4: SUB
00000ea5: AND
00000ea6: PUSH4 0xb63e800d
00000eab: PUSH1 0xe0
00000ead: SHL
00000eae: OR
00000eaf: SWAP1
00000eb0: MSTORE
00000eb1: SWAP1
00000eb2: POP
00000eb3: SWAP9
00000eb4: SWAP8
00000eb5: POP
00000eb6: POP
00000eb7: POP
00000eb8: POP
00000eb9: POP
00000eba: POP
00000ebb: POP
00000ebc: POP
00000ebd: JUMP
00000ebe: JUMPDEST
00000ebf: PUSH1 0x03
00000ec1: SLOAD
00000ec2: PUSH1 0x04
00000ec4: DUP1
00000ec5: SLOAD
00000ec6: PUSH1 0x40
00000ec8: MLOAD
00000ec9: PUSH4 0x1688f0b9
00000ece: PUSH1 0xe0
00000ed0: SHL
00000ed1: DUP2
00000ed2: MSTORE
00000ed3: PUSH1 0x00
00000ed5: SWAP4
00000ed6: DUP5
00000ed7: SWAP4
00000ed8: PUSH1 0x01
00000eda: PUSH1 0x01
00000edc: PUSH1 0xa0
00000ede: SHL
00000edf: SUB
00000ee0: SWAP2
00000ee1: DUP3
00000ee2: AND
00000ee3: SWAP4
00000ee4: PUSH4 0x1688f0b9
00000ee9: SWAP4
00000eea: PUSH2 0x0efb
00000eed: SWAP4
00000eee: SWAP1
00000eef: SWAP2
00000ef0: AND
00000ef1: SWAP2
00000ef2: DUP9
00000ef3: SWAP2
00000ef4: DUP8
00000ef5: SWAP2
00000ef6: ADD
00000ef7: PUSH2 0x18c5
00000efa: JUMP
00000efb: JUMPDEST
00000efc: PUSH1 0x20
00000efe: PUSH1 0x40
00000f00: MLOAD
00000f01: DUP1
00000f02: DUP4
00000f03: SUB
00000f04: DUP2
00000f05: PUSH1 0x00
00000f07: DUP8
00000f08: GAS
00000f09: CALL
00000f0a: ISZERO
00000f0b: DUP1
00000f0c: ISZERO
00000f0d: PUSH2 0x0f1a
00000f10: JUMPI
00000f11: RETURNDATASIZE
00000f12: PUSH1 0x00
00000f14: DUP1
00000f15: RETURNDATACOPY
00000f16: RETURNDATASIZE
00000f17: PUSH1 0x00
00000f19: REVERT
00000f1a: JUMPDEST
00000f1b: POP
00000f1c: POP
00000f1d: POP
00000f1e: POP
00000f1f: PUSH1 0x40
00000f21: MLOAD
00000f22: RETURNDATASIZE
00000f23: PUSH1 0x1f
00000f25: NOT
00000f26: PUSH1 0x1f
00000f28: DUP3
00000f29: ADD
00000f2a: AND
00000f2b: DUP3
00000f2c: ADD
00000f2d: DUP1
00000f2e: PUSH1 0x40
00000f30: MSTORE
00000f31: POP
00000f32: DUP2
00000f33: ADD
00000f34: SWAP1
00000f35: PUSH2 0x0f3e
00000f38: SWAP2
00000f39: SWAP1
00000f3a: PUSH2 0x172d
00000f3d: JUMP
00000f3e: JUMPDEST
00000f3f: SWAP4
00000f40: SWAP3
00000f41: POP
00000f42: POP
00000f43: POP
00000f44: JUMP
00000f45: JUMPDEST
00000f46: PUSH1 0x00
00000f48: DUP1
00000f49: PUSH1 0x00
00000f4b: DUP1
00000f4c: PUSH1 0x00
00000f4e: DUP6
00000f4f: DUP8
00000f50: GAS
00000f51: CALL
00000f52: SWAP1
00000f53: POP
00000f54: DUP1
00000f55: PUSH2 0x0f96
00000f58: JUMPI
00000f59: PUSH1 0x40
00000f5b: MLOAD
00000f5c: PUSH3 0x461bcd
00000f60: PUSH1 0xe5
00000f62: SHL
00000f63: DUP2
00000f64: MSTORE
00000f65: PUSH1 0x20
00000f67: PUSH1 0x04
00000f69: DUP3
00000f6a: ADD
00000f6b: MSTORE
00000f6c: PUSH1 0x13
00000f6e: PUSH1 0x24
00000f70: DUP3
00000f71: ADD
00000f72: MSTORE
00000f73: PUSH19 0x11551217d514905394d1915497d19052531151
00000f87: PUSH1 0x6a
00000f89: SHL
00000f8a: PUSH1 0x44
00000f8c: DUP3
00000f8d: ADD
00000f8e: MSTORE
00000f8f: PUSH1 0x64
00000f91: ADD
00000f92: PUSH2 0x034f
00000f95: JUMP
00000f96: JUMPDEST
00000f97: POP
00000f98: POP
00000f99: POP
00000f9a: JUMP
00000f9b: JUMPDEST
00000f9c: PUSH1 0x00
00000f9e: DUP3
00000f9f: PUSH1 0x00
00000fa1: SUB
00000fa2: PUSH2 0x0fad
00000fa5: JUMPI
00000fa6: POP
00000fa7: PUSH1 0x00
00000fa9: PUSH2 0x0f3e
00000fac: JUMP
00000fad: JUMPDEST
00000fae: PUSH1 0x00
00000fb0: PUSH2 0x0fb9
00000fb3: DUP6
00000fb4: DUP6
00000fb5: PUSH2 0x0b9d
00000fb8: JUMP
00000fb9: JUMPDEST
00000fba: PUSH1 0x40
00000fbc: MLOAD
00000fbd: PUSH4 0x199ed7c9
00000fc2: PUSH1 0xe1
00000fc4: SHL
00000fc5: DUP2
00000fc6: MSTORE
00000fc7: SWAP1
00000fc8: SWAP2
00000fc9: POP
00000fca: PUSH20 0xcf76a3d0be60ccd71c05f33bcbfb529dc806e259
00000fdf: SWAP1
00000fe0: PUSH4 0x333daf92
00000fe5: SWAP1
00000fe6: PUSH2 0x0ff5
00000fe9: SWAP1
00000fea: DUP5
00000feb: SWAP1
00000fec: DUP8
00000fed: SWAP1
00000fee: PUSH1 0x04
00000ff0: ADD
00000ff1: PUSH2 0x170c
00000ff4: JUMP
00000ff5: JUMPDEST
00000ff6: PUSH1 0x20
00000ff8: PUSH1 0x40
00000ffa: MLOAD
00000ffb: DUP1
00000ffc: DUP4
00000ffd: SUB
00000ffe: DUP2
00000fff: DUP7
00001000: GAS
00001001: DELEGATECALL
00001002: ISZERO
00001003: DUP1
00001004: ISZERO
00001005: PUSH2 0x1012
00001008: JUMPI
00001009: RETURNDATASIZE
0000100a: PUSH1 0x00
0000100c: DUP1
0000100d: RETURNDATACOPY
0000100e: RETURNDATASIZE
0000100f: PUSH1 0x00
00001011: REVERT
00001012: JUMPDEST
00001013: POP
00001014: POP
00001015: POP
00001016: POP
00001017: PUSH1 0x40
00001019: MLOAD
0000101a: RETURNDATASIZE
0000101b: PUSH1 0x1f
0000101d: NOT
0000101e: PUSH1 0x1f
00001020: DUP3
00001021: ADD
00001022: AND
00001023: DUP3
00001024: ADD
00001025: DUP1
00001026: PUSH1 0x40
00001028: MSTORE
00001029: POP
0000102a: DUP2
0000102b: ADD
0000102c: SWAP1
0000102d: PUSH2 0x1036
00001030: SWAP2
00001031: SWAP1
00001032: PUSH2 0x172d
00001035: JUMP
00001036: JUMPDEST
00001037: SWAP6
00001038: SWAP5
00001039: POP
0000103a: POP
0000103b: POP
0000103c: POP
0000103d: POP
0000103e: JUMP
0000103f: JUMPDEST
00001040: PUSH4 0x4e487b71
00001045: PUSH1 0xe0
00001047: SHL
00001048: PUSH1 0x00
0000104a: MSTORE
0000104b: PUSH1 0x41
0000104d: PUSH1 0x04
0000104f: MSTORE
00001050: PUSH1 0x24
00001052: PUSH1 0x00
00001054: REVERT
00001055: JUMPDEST
00001056: PUSH1 0x40
00001058: MLOAD
00001059: PUSH1 0xe0
0000105b: DUP2
0000105c: ADD
0000105d: PUSH8 0xffffffffffffffff
00001066: DUP2
00001067: GT
00001068: DUP3
00001069: DUP3
0000106a: LT
0000106b: OR
0000106c: ISZERO
0000106d: PUSH2 0x1078
00001070: JUMPI
00001071: PUSH2 0x1078
00001074: PUSH2 0x103f
00001077: JUMP
00001078: JUMPDEST
00001079: PUSH1 0x40
0000107b: MSTORE
0000107c: SWAP1
0000107d: JUMP
0000107e: JUMPDEST
0000107f: PUSH1 0x40
00001081: MLOAD
00001082: PUSH1 0x1f
00001084: DUP3
00001085: ADD
00001086: PUSH1 0x1f
00001088: NOT
00001089: AND
0000108a: DUP2
0000108b: ADD
0000108c: PUSH8 0xffffffffffffffff
00001095: DUP2
00001096: GT
00001097: DUP3
00001098: DUP3
00001099: LT
0000109a: OR
0000109b: ISZERO
0000109c: PUSH2 0x10a7
0000109f: JUMPI
000010a0: PUSH2 0x10a7
000010a3: PUSH2 0x103f
000010a6: JUMP
000010a7: JUMPDEST
000010a8: PUSH1 0x40
000010aa: MSTORE
000010ab: SWAP2
000010ac: SWAP1
000010ad: POP
000010ae: JUMP
000010af: JUMPDEST
000010b0: PUSH1 0x01
000010b2: PUSH1 0x01
000010b4: PUSH1 0xa0
000010b6: SHL
000010b7: SUB
000010b8: DUP2
000010b9: AND
000010ba: DUP2
000010bb: EQ
000010bc: PUSH2 0x10c4
000010bf: JUMPI
000010c0: PUSH1 0x00
000010c2: DUP1
000010c3: REVERT
000010c4: JUMPDEST
000010c5: POP
000010c6: JUMP
000010c7: JUMPDEST
000010c8: DUP1
000010c9: CALLDATALOAD
000010ca: PUSH2 0x10d2
000010cd: DUP2
000010ce: PUSH2 0x10af
000010d1: JUMP
000010d2: JUMPDEST
000010d3: SWAP2
000010d4: SWAP1
000010d5: POP
000010d6: JUMP
000010d7: JUMPDEST
000010d8: PUSH1 0x00
000010da: PUSH8 0xffffffffffffffff
000010e3: DUP3
000010e4: GT
000010e5: ISZERO
000010e6: PUSH2 0x10f1
000010e9: JUMPI
000010ea: PUSH2 0x10f1
000010ed: PUSH2 0x103f
000010f0: JUMP
000010f1: JUMPDEST
000010f2: POP
000010f3: PUSH1 0x1f
000010f5: ADD
000010f6: PUSH1 0x1f
000010f8: NOT
000010f9: AND
000010fa: PUSH1 0x20
000010fc: ADD
000010fd: SWAP1
000010fe: JUMP
000010ff: JUMPDEST
00001100: PUSH1 0x00
00001102: DUP3
00001103: PUSH1 0x1f
00001105: DUP4
00001106: ADD
00001107: SLT
00001108: PUSH2 0x1110
0000110b: JUMPI
0000110c: PUSH1 0x00
0000110e: DUP1
0000110f: REVERT
00001110: JUMPDEST
00001111: DUP2
00001112: CALLDATALOAD
00001113: PUSH2 0x1123
00001116: PUSH2 0x111e
00001119: DUP3
0000111a: PUSH2 0x10d7
0000111d: JUMP
0000111e: JUMPDEST
0000111f: PUSH2 0x107e
00001122: JUMP
00001123: JUMPDEST
00001124: DUP2
00001125: DUP2
00001126: MSTORE
00001127: DUP5
00001128: PUSH1 0x20
0000112a: DUP4
0000112b: DUP7
0000112c: ADD
0000112d: ADD
0000112e: GT
0000112f: ISZERO
00001130: PUSH2 0x1138
00001133: JUMPI
00001134: PUSH1 0x00
00001136: DUP1
00001137: REVERT
00001138: JUMPDEST
00001139: DUP2
0000113a: PUSH1 0x20
0000113c: DUP6
0000113d: ADD
0000113e: PUSH1 0x20
00001140: DUP4
00001141: ADD
00001142: CALLDATACOPY
00001143: PUSH1 0x00
00001145: SWAP2
00001146: DUP2
00001147: ADD
00001148: PUSH1 0x20
0000114a: ADD
0000114b: SWAP2
0000114c: SWAP1
0000114d: SWAP2
0000114e: MSTORE
0000114f: SWAP4
00001150: SWAP3
00001151: POP
00001152: POP
00001153: POP
00001154: JUMP
00001155: JUMPDEST
00001156: PUSH1 0x00
00001158: PUSH8 0xffffffffffffffff
00001161: DUP3
00001162: GT
00001163: ISZERO
00001164: PUSH2 0x116f
00001167: JUMPI
00001168: PUSH2 0x116f
0000116b: PUSH2 0x103f
0000116e: JUMP
0000116f: JUMPDEST
00001170: POP
00001171: PUSH1 0x05
00001173: SHL
00001174: PUSH1 0x20
00001176: ADD
00001177: SWAP1
00001178: JUMP
00001179: JUMPDEST
0000117a: PUSH1 0x00
0000117c: DUP3
0000117d: PUSH1 0x1f
0000117f: DUP4
00001180: ADD
00001181: SLT
00001182: PUSH2 0x118a
00001185: JUMPI
00001186: PUSH1 0x00
00001188: DUP1
00001189: REVERT
0000118a: JUMPDEST
0000118b: DUP2
0000118c: CALLDATALOAD
0000118d: PUSH1 0x20
0000118f: PUSH2 0x119a
00001192: PUSH2 0x111e
00001195: DUP4
00001196: PUSH2 0x1155
00001199: JUMP
0000119a: JUMPDEST
0000119b: DUP3
0000119c: DUP2
0000119d: MSTORE
0000119e: PUSH1 0x05
000011a0: SWAP3
000011a1: SWAP1
000011a2: SWAP3
000011a3: SHL
000011a4: DUP5
000011a5: ADD
000011a6: DUP2
000011a7: ADD
000011a8: SWAP2
000011a9: DUP2
000011aa: DUP2
000011ab: ADD
000011ac: SWAP1
000011ad: DUP7
000011ae: DUP5
000011af: GT
000011b0: ISZERO
000011b1: PUSH2 0x11b9
000011b4: JUMPI
000011b5: PUSH1 0x00
000011b7: DUP1
000011b8: REVERT
000011b9: JUMPDEST
000011ba: DUP3
000011bb: DUP7
000011bc: ADD
000011bd: JUMPDEST
000011be: DUP5
000011bf: DUP2
000011c0: LT
000011c1: ISZERO
000011c2: PUSH2 0x11d4
000011c5: JUMPI
000011c6: DUP1
000011c7: CALLDATALOAD
000011c8: DUP4
000011c9: MSTORE
000011ca: SWAP2
000011cb: DUP4
000011cc: ADD
000011cd: SWAP2
000011ce: DUP4
000011cf: ADD
000011d0: PUSH2 0x11bd
000011d3: JUMP
000011d4: JUMPDEST
000011d5: POP
000011d6: SWAP7
000011d7: SWAP6
000011d8: POP
000011d9: POP
000011da: POP
000011db: POP
000011dc: POP
000011dd: POP
000011de: JUMP
000011df: JUMPDEST
000011e0: PUSH1 0x00
000011e2: PUSH1 0xe0
000011e4: DUP3
000011e5: DUP5
000011e6: SUB
000011e7: SLT
000011e8: ISZERO
000011e9: PUSH2 0x11f1
000011ec: JUMPI
000011ed: PUSH1 0x00
000011ef: DUP1
000011f0: REVERT
000011f1: JUMPDEST
000011f2: PUSH2 0x11f9
000011f5: PUSH2 0x1055
000011f8: JUMP
000011f9: JUMPDEST
000011fa: SWAP1
000011fb: POP
000011fc: PUSH2 0x1204
000011ff: DUP3
00001200: PUSH2 0x10c7
00001203: JUMP
00001204: JUMPDEST
00001205: DUP2
00001206: MSTORE
00001207: PUSH2 0x1212
0000120a: PUSH1 0x20
0000120c: DUP4
0000120d: ADD
0000120e: PUSH2 0x10c7
00001211: JUMP
00001212: JUMPDEST
00001213: PUSH1 0x20
00001215: DUP3
00001216: ADD
00001217: MSTORE
00001218: PUSH1 0x40
0000121a: DUP3
0000121b: ADD
0000121c: CALLDATALOAD
0000121d: PUSH8 0xffffffffffffffff
00001226: DUP1
00001227: DUP3
00001228: GT
00001229: ISZERO
0000122a: PUSH2 0x1232
0000122d: JUMPI
0000122e: PUSH1 0x00
00001230: DUP1
00001231: REVERT
00001232: JUMPDEST
00001233: PUSH2 0x123e
00001236: DUP6
00001237: DUP4
00001238: DUP7
00001239: ADD
0000123a: PUSH2 0x10ff
0000123d: JUMP
0000123e: JUMPDEST
0000123f: PUSH1 0x40
00001241: DUP5
00001242: ADD
00001243: MSTORE
00001244: PUSH1 0x60
00001246: DUP5
00001247: ADD
00001248: CALLDATALOAD
00001249: PUSH1 0x60
0000124b: DUP5
0000124c: ADD
0000124d: MSTORE
0000124e: PUSH1 0x80
00001250: DUP5
00001251: ADD
00001252: CALLDATALOAD
00001253: SWAP2
00001254: POP
00001255: DUP1
00001256: DUP3
00001257: GT
00001258: ISZERO
00001259: PUSH2 0x1261
0000125c: JUMPI
0000125d: PUSH1 0x00
0000125f: DUP1
00001260: REVERT
00001261: JUMPDEST
00001262: PUSH2 0x126d
00001265: DUP6
00001266: DUP4
00001267: DUP7
00001268: ADD
00001269: PUSH2 0x1179
0000126c: JUMP
0000126d: JUMPDEST
0000126e: PUSH1 0x80
00001270: DUP5
00001271: ADD
00001272: MSTORE
00001273: PUSH1 0xa0
00001275: DUP5
00001276: ADD
00001277: CALLDATALOAD
00001278: PUSH1 0xa0
0000127a: DUP5
0000127b: ADD
0000127c: MSTORE
0000127d: PUSH1 0xc0
0000127f: DUP5
00001280: ADD
00001281: CALLDATALOAD
00001282: SWAP2
00001283: POP
00001284: DUP1
00001285: DUP3
00001286: GT
00001287: ISZERO
00001288: PUSH2 0x1290
0000128b: JUMPI
0000128c: PUSH1 0x00
0000128e: DUP1
0000128f: REVERT
00001290: JUMPDEST
00001291: POP
00001292: PUSH2 0x129d
00001295: DUP5
00001296: DUP3
00001297: DUP6
00001298: ADD
00001299: PUSH2 0x10ff
0000129c: JUMP
0000129d: JUMPDEST
0000129e: PUSH1 0xc0
000012a0: DUP4
000012a1: ADD
000012a2: MSTORE
000012a3: POP
000012a4: SWAP3
000012a5: SWAP2
000012a6: POP
000012a7: POP
000012a8: JUMP
000012a9: JUMPDEST
000012aa: PUSH1 0x00
000012ac: PUSH1 0x80
000012ae: DUP3
000012af: DUP5
000012b0: SUB
000012b1: SLT
000012b2: ISZERO
000012b3: PUSH2 0x12bb
000012b6: JUMPI
000012b7: PUSH1 0x00
000012b9: DUP1
000012ba: REVERT
000012bb: JUMPDEST
000012bc: PUSH1 0x40
000012be: MLOAD
000012bf: PUSH1 0x80
000012c1: DUP2
000012c2: ADD
000012c3: PUSH8 0xffffffffffffffff
000012cc: DUP3
000012cd: DUP3
000012ce: LT
000012cf: DUP2
000012d0: DUP4
000012d1: GT
000012d2: OR
000012d3: ISZERO
000012d4: PUSH2 0x12df
000012d7: JUMPI
000012d8: PUSH2 0x12df
000012db: PUSH2 0x103f
000012de: JUMP
000012df: JUMPDEST
000012e0: DUP2
000012e1: PUSH1 0x40
000012e3: MSTORE
000012e4: DUP3
000012e5: SWAP4
000012e6: POP
000012e7: DUP5
000012e8: CALLDATALOAD
000012e9: SWAP2
000012ea: POP
000012eb: PUSH2 0x12f3
000012ee: DUP3
000012ef: PUSH2 0x10af
000012f2: JUMP
000012f3: JUMPDEST
000012f4: DUP2
000012f5: DUP4
000012f6: MSTORE
000012f7: PUSH1 0x20
000012f9: DUP6
000012fa: ADD
000012fb: CALLDATALOAD
000012fc: PUSH1 0x20
000012fe: DUP5
000012ff: ADD
00001300: MSTORE
00001301: PUSH1 0x40
00001303: DUP6
00001304: ADD
00001305: CALLDATALOAD
00001306: SWAP2
00001307: POP
00001308: DUP1
00001309: DUP3
0000130a: GT
0000130b: ISZERO
0000130c: PUSH2 0x1314
0000130f: JUMPI
00001310: PUSH1 0x00
00001312: DUP1
00001313: REVERT
00001314: JUMPDEST
00001315: POP
00001316: PUSH2 0x1321
00001319: DUP6
0000131a: DUP3
0000131b: DUP7
0000131c: ADD
0000131d: PUSH2 0x10ff
00001320: JUMP
00001321: JUMPDEST
00001322: PUSH1 0x40
00001324: DUP4
00001325: ADD
00001326: MSTORE
00001327: POP
00001328: PUSH1 0x60
0000132a: DUP4
0000132b: ADD
0000132c: CALLDATALOAD
0000132d: PUSH1 0x60
0000132f: DUP3
00001330: ADD
00001331: MSTORE
00001332: POP
00001333: SWAP3
00001334: SWAP2
00001335: POP
00001336: POP
00001337: JUMP
00001338: JUMPDEST
00001339: PUSH1 0x00
0000133b: DUP1
0000133c: PUSH1 0x40
0000133e: DUP4
0000133f: DUP6
00001340: SUB
00001341: SLT
00001342: ISZERO
00001343: PUSH2 0x134b
00001346: JUMPI
00001347: PUSH1 0x00
00001349: DUP1
0000134a: REVERT
0000134b: JUMPDEST
0000134c: DUP3
0000134d: CALLDATALOAD
0000134e: PUSH8 0xffffffffffffffff
00001357: DUP1
00001358: DUP3
00001359: GT
0000135a: ISZERO
0000135b: PUSH2 0x1363
0000135e: JUMPI
0000135f: PUSH1 0x00
00001361: DUP1
00001362: REVERT
00001363: JUMPDEST
00001364: PUSH2 0x136f
00001367: DUP7
00001368: DUP4
00001369: DUP8
0000136a: ADD
0000136b: PUSH2 0x11df
0000136e: JUMP
0000136f: JUMPDEST
00001370: SWAP4
00001371: POP
00001372: PUSH1 0x20
00001374: SWAP2
00001375: POP
00001376: DUP2
00001377: DUP6
00001378: ADD
00001379: CALLDATALOAD
0000137a: DUP2
0000137b: DUP2
0000137c: GT
0000137d: ISZERO
0000137e: PUSH2 0x1386
00001381: JUMPI
00001382: PUSH1 0x00
00001384: DUP1
00001385: REVERT
00001386: JUMPDEST
00001387: DUP6
00001388: ADD
00001389: PUSH1 0x1f
0000138b: DUP2
0000138c: ADD
0000138d: DUP8
0000138e: SGT
0000138f: PUSH2 0x1397
00001392: JUMPI
00001393: PUSH1 0x00
00001395: DUP1
00001396: REVERT
00001397: JUMPDEST
00001398: DUP1
00001399: CALLDATALOAD
0000139a: PUSH2 0x13a5
0000139d: PUSH2 0x111e
000013a0: DUP3
000013a1: PUSH2 0x1155
000013a4: JUMP
000013a5: JUMPDEST
000013a6: DUP2
000013a7: DUP2
000013a8: MSTORE
000013a9: PUSH1 0x05
000013ab: SWAP2
000013ac: SWAP1
000013ad: SWAP2
000013ae: SHL
000013af: DUP3
000013b0: ADD
000013b1: DUP5
000013b2: ADD
000013b3: SWAP1
000013b4: DUP5
000013b5: DUP2
000013b6: ADD
000013b7: SWAP1
000013b8: DUP10
000013b9: DUP4
000013ba: GT
000013bb: ISZERO
000013bc: PUSH2 0x13c4
000013bf: JUMPI
000013c0: PUSH1 0x00
000013c2: DUP1
000013c3: REVERT
000013c4: JUMPDEST
000013c5: DUP6
000013c6: DUP5
000013c7: ADD
000013c8: JUMPDEST
000013c9: DUP4
000013ca: DUP2
000013cb: LT
000013cc: ISZERO
000013cd: PUSH2 0x13fc
000013d0: JUMPI
000013d1: DUP1
000013d2: CALLDATALOAD
000013d3: DUP7
000013d4: DUP2
000013d5: GT
000013d6: ISZERO
000013d7: PUSH2 0x13e0
000013da: JUMPI
000013db: PUSH1 0x00
000013dd: DUP1
000013de: DUP2
000013df: REVERT
000013e0: JUMPDEST
000013e1: PUSH2 0x13ee
000013e4: DUP13
000013e5: DUP10
000013e6: DUP4
000013e7: DUP10
000013e8: ADD
000013e9: ADD
000013ea: PUSH2 0x12a9
000013ed: JUMP
000013ee: JUMPDEST
000013ef: DUP5
000013f0: MSTORE
000013f1: POP
000013f2: SWAP2
000013f3: DUP7
000013f4: ADD
000013f5: SWAP2
000013f6: DUP7
000013f7: ADD
000013f8: PUSH2 0x13c8
000013fb: JUMP
000013fc: JUMPDEST
000013fd: POP
000013fe: DUP1
000013ff: SWAP7
00001400: POP
00001401: POP
00001402: POP
00001403: POP
00001404: POP
00001405: POP
00001406: POP
00001407: SWAP3
00001408: POP
00001409: SWAP3
0000140a: SWAP1
0000140b: POP
0000140c: JUMP
0000140d: JUMPDEST
0000140e: PUSH1 0x00
00001410: DUP1
00001411: PUSH1 0x00
00001413: DUP1
00001414: PUSH1 0x80
00001416: DUP6
00001417: DUP8
00001418: SUB
00001419: SLT
0000141a: ISZERO
0000141b: PUSH2 0x1423
0000141e: JUMPI
0000141f: PUSH1 0x00
00001421: DUP1
00001422: REVERT
00001423: JUMPDEST
00001424: DUP5
00001425: CALLDATALOAD
00001426: PUSH8 0xffffffffffffffff
0000142f: DUP2
00001430: GT
00001431: ISZERO
00001432: PUSH2 0x143a
00001435: JUMPI
00001436: PUSH1 0x00
00001438: DUP1
00001439: REVERT
0000143a: JUMPDEST
0000143b: PUSH2 0x1446
0000143e: DUP8
0000143f: DUP3
00001440: DUP9
00001441: ADD
00001442: PUSH2 0x11df
00001445: JUMP
00001446: JUMPDEST
00001447: SWAP5
00001448: POP
00001449: POP
0000144a: PUSH1 0x20
0000144c: DUP6
0000144d: ADD
0000144e: CALLDATALOAD
0000144f: PUSH2 0x1457
00001452: DUP2
00001453: PUSH2 0x10af
00001456: JUMP
00001457: JUMPDEST
00001458: SWAP4
00001459: SWAP7
0000145a: SWAP4
0000145b: SWAP6
0000145c: POP
0000145d: POP
0000145e: POP
0000145f: POP
00001460: PUSH1 0x40
00001462: DUP3
00001463: ADD
00001464: CALLDATALOAD
00001465: SWAP2
00001466: PUSH1 0x60
00001468: ADD
00001469: CALLDATALOAD
0000146a: SWAP1
0000146b: JUMP
0000146c: JUMPDEST
0000146d: PUSH1 0x00
0000146f: PUSH1 0x20
00001471: DUP3
00001472: DUP5
00001473: SUB
00001474: SLT
00001475: ISZERO
00001476: PUSH2 0x147e
00001479: JUMPI
0000147a: PUSH1 0x00
0000147c: DUP1
0000147d: REVERT
0000147e: JUMPDEST
0000147f: POP
00001480: CALLDATALOAD
00001481: SWAP2
00001482: SWAP1
00001483: POP
00001484: JUMP
00001485: JUMPDEST
00001486: PUSH1 0x00
00001488: DUP1
00001489: PUSH1 0x40
0000148b: DUP4
0000148c: DUP6
0000148d: SUB
0000148e: SLT
0000148f: ISZERO
00001490: PUSH2 0x1498
00001493: JUMPI
00001494: PUSH1 0x00
00001496: DUP1
00001497: REVERT
00001498: JUMPDEST
00001499: DUP3
0000149a: CALLDATALOAD
0000149b: PUSH8 0xffffffffffffffff
000014a4: DUP1
000014a5: DUP3
000014a6: GT
000014a7: ISZERO
000014a8: PUSH2 0x14b0
000014ab: JUMPI
000014ac: PUSH1 0x00
000014ae: DUP1
000014af: REVERT
000014b0: JUMPDEST
000014b1: PUSH2 0x14bc
000014b4: DUP7
000014b5: DUP4
000014b6: DUP8
000014b7: ADD
000014b8: PUSH2 0x11df
000014bb: JUMP
000014bc: JUMPDEST
000014bd: SWAP4
000014be: POP
000014bf: PUSH1 0x20
000014c1: DUP6
000014c2: ADD
000014c3: CALLDATALOAD
000014c4: SWAP2
000014c5: POP
000014c6: DUP1
000014c7: DUP3
000014c8: GT
000014c9: ISZERO
000014ca: PUSH2 0x14d2
000014cd: JUMPI
000014ce: PUSH1 0x00
000014d0: DUP1
000014d1: REVERT
000014d2: JUMPDEST
000014d3: POP
000014d4: PUSH2 0x14df
000014d7: DUP6
000014d8: DUP3
000014d9: DUP7
000014da: ADD
000014db: PUSH2 0x12a9
000014de: JUMP
000014df: JUMPDEST
000014e0: SWAP2
000014e1: POP
000014e2: POP
000014e3: SWAP3
000014e4: POP
000014e5: SWAP3
000014e6: SWAP1
000014e7: POP
000014e8: JUMP
000014e9: JUMPDEST
000014ea: PUSH1 0x00
000014ec: DUP1
000014ed: PUSH1 0x40
000014ef: DUP4
000014f0: DUP6
000014f1: SUB
000014f2: SLT
000014f3: ISZERO
000014f4: PUSH2 0x14fc
000014f7: JUMPI
000014f8: PUSH1 0x00
000014fa: DUP1
000014fb: REVERT
000014fc: JUMPDEST
000014fd: DUP3
000014fe: CALLDATALOAD
000014ff: PUSH2 0x1507
00001502: DUP2
00001503: PUSH2 0x10af
00001506: JUMP
00001507: JUMPDEST
00001508: SWAP5
00001509: PUSH1 0x20
0000150b: SWAP4
0000150c: SWAP1
0000150d: SWAP4
0000150e: ADD
0000150f: CALLDATALOAD
00001510: SWAP4
00001511: POP
00001512: POP
00001513: POP
00001514: JUMP
00001515: JUMPDEST
00001516: PUSH1 0x00
00001518: DUP1
00001519: PUSH1 0x40
0000151b: DUP4
0000151c: DUP6
0000151d: SUB
0000151e: SLT
0000151f: ISZERO
00001520: PUSH2 0x1528
00001523: JUMPI
00001524: PUSH1 0x00
00001526: DUP1
00001527: REVERT
00001528: JUMPDEST
00001529: DUP3
0000152a: CALLDATALOAD
0000152b: PUSH8 0xffffffffffffffff
00001534: DUP2
00001535: GT
00001536: ISZERO
00001537: PUSH2 0x153f
0000153a: JUMPI
0000153b: PUSH1 0x00
0000153d: DUP1
0000153e: REVERT
0000153f: JUMPDEST
00001540: PUSH2 0x154b
00001543: DUP6
00001544: DUP3
00001545: DUP7
00001546: ADD
00001547: PUSH2 0x10ff
0000154a: JUMP
0000154b: JUMPDEST
0000154c: SWAP6
0000154d: PUSH1 0x20
0000154f: SWAP5
00001550: SWAP1
00001551: SWAP5
00001552: ADD
00001553: CALLDATALOAD
00001554: SWAP5
00001555: POP
00001556: POP
00001557: POP
00001558: POP
00001559: JUMP
0000155a: JUMPDEST
0000155b: PUSH1 0x00
0000155d: PUSH1 0x20
0000155f: DUP3
00001560: DUP5
00001561: SUB
00001562: SLT
00001563: ISZERO
00001564: PUSH2 0x156c
00001567: JUMPI
00001568: PUSH1 0x00
0000156a: DUP1
0000156b: REVERT
0000156c: JUMPDEST
0000156d: DUP2
0000156e: CALLDATALOAD
0000156f: PUSH2 0x0f3e
00001572: DUP2
00001573: PUSH2 0x10af
00001576: JUMP
00001577: JUMPDEST
00001578: PUSH4 0x4e487b71
0000157d: PUSH1 0xe0
0000157f: SHL
00001580: PUSH1 0x00
00001582: MSTORE
00001583: PUSH1 0x11
00001585: PUSH1 0x04
00001587: MSTORE
00001588: PUSH1 0x24
0000158a: PUSH1 0x00
0000158c: REVERT
0000158d: JUMPDEST
0000158e: PUSH1 0x00
00001590: DUP3
00001591: NOT
00001592: DUP3
00001593: GT
00001594: ISZERO
00001595: PUSH2 0x15a0
00001598: JUMPI
00001599: PUSH2 0x15a0
0000159c: PUSH2 0x1577
0000159f: JUMP
000015a0: JUMPDEST
000015a1: POP
000015a2: ADD
000015a3: SWAP1
000015a4: JUMP
000015a5: JUMPDEST
000015a6: PUSH1 0x00
000015a8: JUMPDEST
000015a9: DUP4
000015aa: DUP2
000015ab: LT
000015ac: ISZERO
000015ad: PUSH2 0x15c0
000015b0: JUMPI
000015b1: DUP2
000015b2: DUP2
000015b3: ADD
000015b4: MLOAD
000015b5: DUP4
000015b6: DUP3
000015b7: ADD
000015b8: MSTORE
000015b9: PUSH1 0x20
000015bb: ADD
000015bc: PUSH2 0x15a8
000015bf: JUMP
000015c0: JUMPDEST
000015c1: DUP4
000015c2: DUP2
000015c3: GT
000015c4: ISZERO
000015c5: PUSH2 0x0a4b
000015c8: JUMPI
000015c9: POP
000015ca: POP
000015cb: PUSH1 0x00
000015cd: SWAP2
000015ce: ADD
000015cf: MSTORE
000015d0: JUMP
000015d1: JUMPDEST
000015d2: PUSH1 0x00
000015d4: DUP2
000015d5: MLOAD
000015d6: DUP1
000015d7: DUP5
000015d8: MSTORE
000015d9: PUSH2 0x15e9
000015dc: DUP2
000015dd: PUSH1 0x20
000015df: DUP7
000015e0: ADD
000015e1: PUSH1 0x20
000015e3: DUP7
000015e4: ADD
000015e5: PUSH2 0x15a5
000015e8: JUMP
000015e9: JUMPDEST
000015ea: PUSH1 0x1f
000015ec: ADD
000015ed: PUSH1 0x1f
000015ef: NOT
000015f0: AND
000015f1: SWAP3
000015f2: SWAP1
000015f3: SWAP3
000015f4: ADD
000015f5: PUSH1 0x20
000015f7: ADD
000015f8: SWAP3
000015f9: SWAP2
000015fa: POP
000015fb: POP
000015fc: JUMP
000015fd: JUMPDEST
000015fe: PUSH1 0x01
00001600: PUSH1 0x01
00001602: PUSH1 0xa0
00001604: SHL
00001605: SUB
00001606: DUP6
00001607: AND
00001608: DUP2
00001609: MSTORE
0000160a: PUSH1 0x80
0000160c: PUSH1 0x20
0000160e: DUP1
0000160f: DUP4
00001610: ADD
00001611: DUP3
00001612: SWAP1
00001613: MSTORE
00001614: PUSH1 0x00
00001616: SWAP2
00001617: PUSH2 0x1622
0000161a: SWAP1
0000161b: DUP5
0000161c: ADD
0000161d: DUP8
0000161e: PUSH2 0x15d1
00001621: JUMP
00001622: JUMPDEST
00001623: PUSH1 0x40
00001625: DUP5
00001626: ADD
00001627: DUP7
00001628: SWAP1
00001629: MSTORE
0000162a: DUP4
0000162b: DUP2
0000162c: SUB
0000162d: PUSH1 0x60
0000162f: DUP6
00001630: ADD
00001631: MSTORE
00001632: DUP5
00001633: MLOAD
00001634: DUP1
00001635: DUP3
00001636: MSTORE
00001637: DUP3
00001638: DUP7
00001639: ADD
0000163a: SWAP2
0000163b: DUP4
0000163c: ADD
0000163d: SWAP1
0000163e: PUSH1 0x00
00001640: JUMPDEST
00001641: DUP2
00001642: DUP2
00001643: LT
00001644: ISZERO
00001645: PUSH2 0x165c
00001648: JUMPI
00001649: DUP4
0000164a: MLOAD
0000164b: DUP4
0000164c: MSTORE
0000164d: SWAP3
0000164e: DUP5
0000164f: ADD
00001650: SWAP3
00001651: SWAP2
00001652: DUP5
00001653: ADD
00001654: SWAP2
00001655: PUSH1 0x01
00001657: ADD
00001658: PUSH2 0x1640
0000165b: JUMP
0000165c: JUMPDEST
0000165d: POP
0000165e: SWAP1
0000165f: SWAP10
00001660: SWAP9
00001661: POP
00001662: POP
00001663: POP
00001664: POP
00001665: POP
00001666: POP
00001667: POP
00001668: POP
00001669: POP
0000166a: JUMP
0000166b: JUMPDEST
0000166c: PUSH1 0x00
0000166e: DUP3
0000166f: DUP3
00001670: LT
00001671: ISZERO
00001672: PUSH2 0x167d
00001675: JUMPI
00001676: PUSH2 0x167d
00001679: PUSH2 0x1577
0000167c: JUMP
0000167d: JUMPDEST
0000167e: POP
0000167f: SUB
00001680: SWAP1
00001681: JUMP
00001682: JUMPDEST
00001683: PUSH1 0x20
00001685: DUP2
00001686: MSTORE
00001687: PUSH1 0x00
00001689: PUSH2 0x0f3e
0000168c: PUSH1 0x20
0000168e: DUP4
0000168f: ADD
00001690: DUP5
00001691: PUSH2 0x15d1
00001694: JUMP
00001695: JUMPDEST
00001696: PUSH1 0x00
00001698: PUSH1 0x01
0000169a: DUP1
0000169b: PUSH1 0xa0
0000169d: SHL
0000169e: SUB
0000169f: DUP1
000016a0: DUP9
000016a1: AND
000016a2: DUP4
000016a3: MSTORE
000016a4: PUSH1 0xa0
000016a6: PUSH1 0x20
000016a8: DUP5
000016a9: ADD
000016aa: MSTORE
000016ab: PUSH2 0x16b7
000016ae: PUSH1 0xa0
000016b0: DUP5
000016b1: ADD
000016b2: DUP9
000016b3: PUSH2 0x15d1
000016b6: JUMP
000016b7: JUMPDEST
000016b8: PUSH1 0x40
000016ba: DUP5
000016bb: ADD
000016bc: SWAP7
000016bd: SWAP1
000016be: SWAP7
000016bf: MSTORE
000016c0: PUSH1 0x60
000016c2: DUP4
000016c3: ADD
000016c4: SWAP5
000016c5: SWAP1
000016c6: SWAP5
000016c7: MSTORE
000016c8: POP
000016c9: SWAP2
000016ca: AND
000016cb: PUSH1 0x80
000016cd: SWAP1
000016ce: SWAP2
000016cf: ADD
000016d0: MSTORE
000016d1: SWAP3
000016d2: SWAP2
000016d3: POP
000016d4: POP
000016d5: JUMP
000016d6: JUMPDEST
000016d7: DUP2
000016d8: MLOAD
000016d9: PUSH1 0x00
000016db: SWAP1
000016dc: DUP3
000016dd: SWAP1
000016de: PUSH1 0x20
000016e0: DUP1
000016e1: DUP7
000016e2: ADD
000016e3: DUP5
000016e4: JUMPDEST
000016e5: DUP4
000016e6: DUP2
000016e7: LT
000016e8: ISZERO
000016e9: PUSH2 0x1700
000016ec: JUMPI
000016ed: DUP2
000016ee: MLOAD
000016ef: DUP6
000016f0: MSTORE
000016f1: SWAP4
000016f2: DUP3
000016f3: ADD
000016f4: SWAP4
000016f5: SWAP1
000016f6: DUP3
000016f7: ADD
000016f8: SWAP1
000016f9: PUSH1 0x01
000016fb: ADD
000016fc: PUSH2 0x16e4
000016ff: JUMP
00001700: JUMPDEST
00001701: POP
00001702: SWAP3
00001703: SWAP7
00001704: SWAP6
00001705: POP
00001706: POP
00001707: POP
00001708: POP
00001709: POP
0000170a: POP
0000170b: JUMP
0000170c: JUMPDEST
0000170d: DUP3
0000170e: DUP2
0000170f: MSTORE
00001710: PUSH1 0x40
00001712: PUSH1 0x20
00001714: DUP3
00001715: ADD
00001716: MSTORE
00001717: PUSH1 0x00
00001719: PUSH2 0x1725
0000171c: PUSH1 0x40
0000171e: DUP4
0000171f: ADD
00001720: DUP5
00001721: PUSH2 0x15d1
00001724: JUMP
00001725: JUMPDEST
00001726: SWAP5
00001727: SWAP4
00001728: POP
00001729: POP
0000172a: POP
0000172b: POP
0000172c: JUMP
0000172d: JUMPDEST
0000172e: PUSH1 0x00
00001730: PUSH1 0x20
00001732: DUP3
00001733: DUP5
00001734: SUB
00001735: SLT
00001736: ISZERO
00001737: PUSH2 0x173f
0000173a: JUMPI
0000173b: PUSH1 0x00
0000173d: DUP1
0000173e: REVERT
0000173f: JUMPDEST
00001740: DUP2
00001741: MLOAD
00001742: PUSH2 0x0f3e
00001745: DUP2
00001746: PUSH2 0x10af
00001749: JUMP
0000174a: JUMPDEST
0000174b: PUSH1 0x00
0000174d: PUSH1 0x20
0000174f: DUP3
00001750: DUP5
00001751: SUB
00001752: SLT
00001753: ISZERO
00001754: PUSH2 0x175c
00001757: JUMPI
00001758: PUSH1 0x00
0000175a: DUP1
0000175b: REVERT
0000175c: JUMPDEST
0000175d: DUP2
0000175e: MLOAD
0000175f: PUSH8 0xffffffffffffffff
00001768: DUP2
00001769: GT
0000176a: ISZERO
0000176b: PUSH2 0x1773
0000176e: JUMPI
0000176f: PUSH1 0x00
00001771: DUP1
00001772: REVERT
00001773: JUMPDEST
00001774: DUP3
00001775: ADD
00001776: PUSH1 0x1f
00001778: DUP2
00001779: ADD
0000177a: DUP5
0000177b: SGT
0000177c: PUSH2 0x1784
0000177f: JUMPI
00001780: PUSH1 0x00
00001782: DUP1
00001783: REVERT
00001784: JUMPDEST
00001785: DUP1
00001786: MLOAD
00001787: PUSH2 0x1792
0000178a: PUSH2 0x111e
0000178d: DUP3
0000178e: PUSH2 0x10d7
00001791: JUMP
00001792: JUMPDEST
00001793: DUP2
00001794: DUP2
00001795: MSTORE
00001796: DUP6
00001797: PUSH1 0x20
00001799: DUP4
0000179a: DUP6
0000179b: ADD
0000179c: ADD
0000179d: GT
0000179e: ISZERO
0000179f: PUSH2 0x17a7
000017a2: JUMPI
000017a3: PUSH1 0x00
000017a5: DUP1
000017a6: REVERT
000017a7: JUMPDEST
000017a8: PUSH2 0x1036
000017ab: DUP3
000017ac: PUSH1 0x20
000017ae: DUP4
000017af: ADD
000017b0: PUSH1 0x20
000017b2: DUP7
000017b3: ADD
000017b4: PUSH2 0x15a5
000017b7: JUMP
000017b8: JUMPDEST
000017b9: PUSH1 0x00
000017bb: DUP4
000017bc: MLOAD
000017bd: PUSH2 0x17ca
000017c0: DUP2
000017c1: DUP5
000017c2: PUSH1 0x20
000017c4: DUP9
000017c5: ADD
000017c6: PUSH2 0x15a5
000017c9: JUMP
000017ca: JUMPDEST
000017cb: SWAP2
000017cc: SWAP1
000017cd: SWAP2
000017ce: ADD
000017cf: SWAP2
000017d0: DUP3
000017d1: MSTORE
000017d2: POP
000017d3: PUSH1 0x20
000017d5: ADD
000017d6: SWAP2
000017d7: SWAP1
000017d8: POP
000017d9: JUMP
000017da: JUMPDEST
000017db: PUSH4 0x4e487b71
000017e0: PUSH1 0xe0
000017e2: SHL
000017e3: PUSH1 0x00
000017e5: MSTORE
000017e6: PUSH1 0x32
000017e8: PUSH1 0x04
000017ea: MSTORE
000017eb: PUSH1 0x24
000017ed: PUSH1 0x00
000017ef: REVERT
000017f0: JUMPDEST
000017f1: PUSH1 0x00
000017f3: PUSH1 0x01
000017f5: DUP3
000017f6: ADD
000017f7: PUSH2 0x1802
000017fa: JUMPI
000017fb: PUSH2 0x1802
000017fe: PUSH2 0x1577
00001801: JUMP
00001802: JUMPDEST
00001803: POP
00001804: PUSH1 0x01
00001806: ADD
00001807: SWAP1
00001808: JUMP
00001809: JUMPDEST
0000180a: PUSH2 0x0100
0000180d: DUP1
0000180e: DUP3
0000180f: MSTORE
00001810: DUP10
00001811: MLOAD
00001812: SWAP1
00001813: DUP3
00001814: ADD
00001815: DUP2
00001816: SWAP1
00001817: MSTORE
00001818: PUSH1 0x00
0000181a: SWAP1
0000181b: PUSH2 0x0120
0000181e: DUP4
0000181f: ADD
00001820: SWAP1
00001821: PUSH1 0x20
00001823: SWAP1
00001824: DUP2
00001825: DUP14
00001826: ADD
00001827: DUP5
00001828: JUMPDEST
00001829: DUP3
0000182a: DUP2
0000182b: LT
0000182c: ISZERO
0000182d: PUSH2 0x184d
00001830: JUMPI
00001831: DUP2
00001832: MLOAD
00001833: PUSH1 0x01
00001835: PUSH1 0x01
00001837: PUSH1 0xa0
00001839: SHL
0000183a: SUB
0000183b: AND
0000183c: DUP6
0000183d: MSTORE
0000183e: SWAP4
0000183f: DUP4
00001840: ADD
00001841: SWAP4
00001842: SWAP1
00001843: DUP4
00001844: ADD
00001845: SWAP1
00001846: PUSH1 0x01
00001848: ADD
00001849: PUSH2 0x1828
0000184c: JUMP
0000184d: JUMPDEST
0000184e: POP
0000184f: POP
00001850: POP
00001851: DUP4
00001852: ADD
00001853: DUP11
00001854: SWAP1
00001855: MSTORE
00001856: PUSH1 0x01
00001858: PUSH1 0x01
0000185a: PUSH1 0xa0
0000185c: SHL
0000185d: SUB
0000185e: DUP10
0000185f: AND
00001860: PUSH1 0x40
00001862: DUP5
00001863: ADD
00001864: MSTORE
00001865: DUP3
00001866: DUP2
00001867: SUB
00001868: PUSH1 0x60
0000186a: DUP5
0000186b: ADD
0000186c: MSTORE
0000186d: PUSH2 0x1876
00001870: DUP2
00001871: DUP10
00001872: PUSH2 0x15d1
00001875: JUMP
00001876: JUMPDEST
00001877: SWAP2
00001878: POP
00001879: POP
0000187a: PUSH2 0x188e
0000187d: PUSH1 0x80
0000187f: DUP4
00001880: ADD
00001881: DUP8
00001882: PUSH1 0x01
00001884: PUSH1 0x01
00001886: PUSH1 0xa0
00001888: SHL
00001889: SUB
0000188a: AND
0000188b: SWAP1
0000188c: MSTORE
0000188d: JUMP
0000188e: JUMPDEST
0000188f: PUSH1 0x01
00001891: PUSH1 0x01
00001893: PUSH1 0xa0
00001895: SHL
00001896: SUB
00001897: DUP6
00001898: AND
00001899: PUSH1 0xa0
0000189b: DUP4
0000189c: ADD
0000189d: MSTORE
0000189e: DUP4
0000189f: PUSH1 0xc0
000018a1: DUP4
000018a2: ADD
000018a3: MSTORE
000018a4: PUSH2 0x18b8
000018a7: PUSH1 0xe0
000018a9: DUP4
000018aa: ADD
000018ab: DUP5
000018ac: PUSH1 0x01
000018ae: PUSH1 0x01
000018b0: PUSH1 0xa0
000018b2: SHL
000018b3: SUB
000018b4: AND
000018b5: SWAP1
000018b6: MSTORE
000018b7: JUMP
000018b8: JUMPDEST
000018b9: SWAP10
000018ba: SWAP9
000018bb: POP
000018bc: POP
000018bd: POP
000018be: POP
000018bf: POP
000018c0: POP
000018c1: POP
000018c2: POP
000018c3: POP
000018c4: JUMP
000018c5: JUMPDEST
000018c6: PUSH1 0x01
000018c8: PUSH1 0x01
000018ca: PUSH1 0xa0
000018cc: SHL
000018cd: SUB
000018ce: DUP5
000018cf: AND
000018d0: DUP2
000018d1: MSTORE
000018d2: PUSH1 0x60
000018d4: PUSH1 0x20
000018d6: DUP3
000018d7: ADD
000018d8: DUP2
000018d9: SWAP1
000018da: MSTORE
000018db: PUSH1 0x00
000018dd: SWAP1
000018de: PUSH2 0x18e9
000018e1: SWAP1
000018e2: DUP4
000018e3: ADD
000018e4: DUP6
000018e5: PUSH2 0x15d1
000018e8: JUMP
000018e9: JUMPDEST
000018ea: SWAP1
000018eb: POP
000018ec: DUP3
000018ed: PUSH1 0x40
000018ef: DUP4
000018f0: ADD
000018f1: MSTORE
000018f2: SWAP5
000018f3: SWAP4
000018f4: POP
000018f5: POP
000018f6: POP
000018f7: POP
000018f8: JUMP
000018f9: INVALID
000018fa: LOG2
000018fb: PUSH5 0x6970667358
00001901: UNKNOWN(0x22)
00001902: SLT
00001903: KECCAK256
00001904: UNKNOWN(0xE5)
00001905: UNKNOWN(0x4E)
00001906: UNKNOWN(0xD1)
00001907: UNKNOWN(0xCE)
00001908: SHL
00001909: DUP5
0000190a: SWAP3
0000190b: PUSH28 0x5f0a85eba4abc20573b24d95fee9674f1d3476d5ee8a782664736f6c
00001928: PUSH4 0x4300080d
0000192d: STOP
0000192e: CALLER

Findings

validated = confirmed for call sinks; sink observed for others

Severity	Category	Tool	Title	Confidence	Validated	Confirmed	Details
high	upgradeability	detector	Untrusted DELEGATECALL target reachable	55	no	no	view trace_id: 0x628bd7bce0ebb1474138518f57b239fe2714ea453a1c6c2b8372dde75807bea9 validation_json { "sink": "DELEGATECALL", "errors": 0, "status": "unknown", "attempts": 132, "trace_id": "0x628bd7bce0ebb1474138518f57b239fe2714ea453a1c6c2b8372dde75807bea9", "confirmed": false, "trace_mode": "callTracer", "call_targets": null, "matched_probe": null, "target_varies": null, "classification": "no_sink" } witness_json { "notes": "heuristic witness; entrypoints are best-effort selectors with zeroed calldata", "constraints": [], "entrypoints": [ { "calldata": "0xd0e30db0", "selector": "0xd0e30db0", "calldata_variants": [ "0xd0e30db0", "0xd0e30db00000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xd44e9422", "selector": "0xd44e9422", "calldata_variants": [ "0xd44e9422", "0xd44e94220000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xf90a2f30", "selector": "0xf90a2f30", "calldata_variants": [ "0xf90a2f30", "0xf90a2f300000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xfb618cb2", "selector": "0xfb618cb2", "calldata_variants": [ "0xfb618cb2", "0xfb618cb20000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xfc7e286d", "selector": "0xfc7e286d", "calldata_variants": [ "0xfc7e286d", "0xfc7e286d0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xfef28dd0", "selector": "0xfef28dd0", "calldata_variants": [ "0xfef28dd0", "0xfef28dd00000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x119ca895", "selector": "0x119ca895", "calldata_variants": [ "0x119ca895", "0x119ca8950000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x253b13e8", "selector": "0x253b13e8", "calldata_variants": [ "0x253b13e8", "0x253b13e80000000000000000000000000000000000000000000000000000000000000000" ] } ] } evidence_json { "examples": [ { "pc": 2491, "opcode": "DELEGATECALL", "returndata_checked": null, "value_expression_category": "n/a", "target_expression_category": "computed" }, { "pc": 4097, "opcode": "DELEGATECALL", "returndata_checked": null, "value_expression_category": "n/a", "target_expression_category": "computed" } ], "guards_detected": [ { "pc": 1213, "type": "tx_origin_used" } ], "delegatecall_count": 2, "untrusted_delegatecall_count": 2 }
high	auth	detector	Authorization based on tx.origin	70	no	—	view validation_json { "reason": "missing sink mapping", "status": "no_sink" } witness_json { "notes": "heuristic witness; entrypoints are best-effort selectors with zeroed calldata", "constraints": [], "entrypoints": [ { "calldata": "0xd0e30db0", "selector": "0xd0e30db0", "calldata_variants": [ "0xd0e30db0", "0xd0e30db00000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xd44e9422", "selector": "0xd44e9422", "calldata_variants": [ "0xd44e9422", "0xd44e94220000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xf90a2f30", "selector": "0xf90a2f30", "calldata_variants": [ "0xf90a2f30", "0xf90a2f300000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xfb618cb2", "selector": "0xfb618cb2", "calldata_variants": [ "0xfb618cb2", "0xfb618cb20000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xfc7e286d", "selector": "0xfc7e286d", "calldata_variants": [ "0xfc7e286d", "0xfc7e286d0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xfef28dd0", "selector": "0xfef28dd0", "calldata_variants": [ "0xfef28dd0", "0xfef28dd00000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x119ca895", "selector": "0x119ca895", "calldata_variants": [ "0x119ca895", "0x119ca8950000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x253b13e8", "selector": "0x253b13e8", "calldata_variants": [ "0x253b13e8", "0x253b13e80000000000000000000000000000000000000000000000000000000000000000" ] } ] } evidence_json { "guards_detected": [ { "pc": 1213, "type": "tx_origin_used" } ] }
medium	other	detector	Untrusted CALL target/value reachable	45	no	no	view trace_id: 0x2897150a130a4a542687fd287940ddd158797e336ec2f4c99416bfa43a595e5f call_targets: 0x3c8c49ed8cc6ba2240703169cc0039174f8a3e1d target_varies: no classification: constant_target validation_json { "sink": "CALL", "errors": 0, "status": "sink_reached", "attempts": 1, "trace_id": "0x2897150a130a4a542687fd287940ddd158797e336ec2f4c99416bfa43a595e5f", "confirmed": false, "trace_mode": "callTracer", "call_targets": [ "0x3c8c49ed8cc6ba2240703169cc0039174f8a3e1d" ], "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": "0xd0e30db0", "selector": "0xd0e30db0", "calldata_variants": [ "0xd0e30db0", "0xd0e30db00000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xd44e9422", "selector": "0xd44e9422", "calldata_variants": [ "0xd44e9422", "0xd44e94220000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xf90a2f30", "selector": "0xf90a2f30", "calldata_variants": [ "0xf90a2f30", "0xf90a2f300000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xfb618cb2", "selector": "0xfb618cb2", "calldata_variants": [ "0xfb618cb2", "0xfb618cb20000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xfc7e286d", "selector": "0xfc7e286d", "calldata_variants": [ "0xfc7e286d", "0xfc7e286d0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xfef28dd0", "selector": "0xfef28dd0", "calldata_variants": [ "0xfef28dd0", "0xfef28dd00000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x119ca895", "selector": "0x119ca895", "calldata_variants": [ "0x119ca895", "0x119ca8950000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x253b13e8", "selector": "0x253b13e8", "calldata_variants": [ "0x253b13e8", "0x253b13e80000000000000000000000000000000000000000000000000000000000000000" ] } ] } evidence_json { "examples": [ { "pc": 1061, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" }, { "pc": 1230, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" }, { "pc": 1367, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" } ], "call_count": 5, "guards_detected": [ { "pc": 1213, "type": "tx_origin_used" } ], "untrusted_call_count": 5 }
medium	other	detector	ETH value transfer possible	40	no	no	view trace_id: 0x2897150a130a4a542687fd287940ddd158797e336ec2f4c99416bfa43a595e5f call_targets: 0x3c8c49ed8cc6ba2240703169cc0039174f8a3e1d target_varies: no classification: constant_target validation_json { "sink": "CALL", "errors": 0, "status": "sink_reached", "attempts": 1, "trace_id": "0x2897150a130a4a542687fd287940ddd158797e336ec2f4c99416bfa43a595e5f", "confirmed": false, "trace_mode": "callTracer", "call_targets": [ "0x3c8c49ed8cc6ba2240703169cc0039174f8a3e1d" ], "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": "0xd0e30db0", "selector": "0xd0e30db0", "calldata_variants": [ "0xd0e30db0", "0xd0e30db00000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xd44e9422", "selector": "0xd44e9422", "calldata_variants": [ "0xd44e9422", "0xd44e94220000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xf90a2f30", "selector": "0xf90a2f30", "calldata_variants": [ "0xf90a2f30", "0xf90a2f300000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xfb618cb2", "selector": "0xfb618cb2", "calldata_variants": [ "0xfb618cb2", "0xfb618cb20000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xfc7e286d", "selector": "0xfc7e286d", "calldata_variants": [ "0xfc7e286d", "0xfc7e286d0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xfef28dd0", "selector": "0xfef28dd0", "calldata_variants": [ "0xfef28dd0", "0xfef28dd00000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x119ca895", "selector": "0x119ca895", "calldata_variants": [ "0x119ca895", "0x119ca8950000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x253b13e8", "selector": "0x253b13e8", "calldata_variants": [ "0x253b13e8", "0x253b13e80000000000000000000000000000000000000000000000000000000000000000" ] } ] } evidence_json { "examples": [ { "pc": 1061, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" }, { "pc": 1230, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" }, { "pc": 1367, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" } ], "eth_value_calls": 5, "guards_detected": [ { "pc": 1213, "type": "tx_origin_used" } ] }