Analysis Run

019ba942-55bc-7290-8433-b6c0981c6ff0

complete

Chain ID

1

Address

0xc8f8ac74600d5a1c1ba677b10d1da0e7e806cf23

Block Number

—

Created

Sat, Jan 10, 2026 6:54 PM

Review Summary

What survived the funnel

Open this run to answer one question: is this real attacker-relevant behavior with real impact, or just normal contract plumbing?

back to vulns open contract

Confirmed

0

Validated

0

Source

Verified

Review Backing

Not yet

Best current signal

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
36842	artifact.fetch	complete	1 / 3	3 months ago
36843	proxy.resolve	complete	1 / 3	3 months ago
36844	tool.cast_disasm	complete	1 / 3	3 months ago
36845	analysis.bundle	complete	1 / 3	3 months ago
36846	capability.graph	complete	1 / 3	3 months ago
36847	detector.run	complete	1 / 3	3 months ago
36848	validation.fork	complete	1 / 3	3 months ago

Artifact

Runtime bytecode: available

Creation TX: —

Deployer: —

Proxy: no not_proxy

Implementation:

—

Verified Source: yes

Proxy evidence

{
    "status": "not_proxy"
}

Slither

tool.slither

No slither job recorded yet.

Codex

report.consolidate

No codex job recorded yet.

Opcode Heuristics

tool.cast_disasm

Delegatecall

1

Selfdestruct

0

CREATE2

0

CALL-family (heavy)

4

EXT*/BALANCE

5

Total opcodes

4644

Flags

delegatecall_present heavy_ext_balance_usage

View cast disassembly output

00000000: PUSH1 0x80
00000002: PUSH1 0x40
00000004: MSTORE
00000005: PUSH1 0x04
00000007: CALLDATASIZE
00000008: LT
00000009: PUSH2 0x019a
0000000c: JUMPI
0000000d: PUSH1 0x00
0000000f: CALLDATALOAD
00000010: PUSH1 0xe0
00000012: SHR
00000013: DUP1
00000014: PUSH4 0x6a42b8f8
00000019: GT
0000001a: PUSH2 0x00e1
0000001d: JUMPI
0000001e: DUP1
0000001f: PUSH4 0xaedbfe33
00000024: GT
00000025: PUSH2 0x008a
00000028: JUMPI
00000029: DUP1
0000002a: PUSH4 0xcd6dc687
0000002f: GT
00000030: PUSH2 0x0064
00000033: JUMPI
00000034: DUP1
00000035: PUSH4 0xcd6dc687
0000003a: EQ
0000003b: PUSH2 0x0542
0000003e: JUMPI
0000003f: DUP1
00000040: PUSH4 0xe30c3978
00000045: EQ
00000046: PUSH2 0x0562
00000049: JUMPI
0000004a: DUP1
0000004b: PUSH4 0xf23a6e61
00000050: EQ
00000051: PUSH2 0x058d
00000054: JUMPI
00000055: DUP1
00000056: PUSH4 0xf2fde38b
0000005b: EQ
0000005c: PUSH2 0x05d2
0000005f: JUMPI
00000060: PUSH1 0x00
00000062: DUP1
00000063: REVERT
00000064: JUMPDEST
00000065: DUP1
00000066: PUSH4 0xaedbfe33
0000006b: EQ
0000006c: PUSH2 0x04bd
0000006f: JUMPI
00000070: DUP1
00000071: PUSH4 0xbc197c81
00000076: EQ
00000077: PUSH2 0x04dd
0000007a: JUMPI
0000007b: DUP1
0000007c: PUSH4 0xc4d252f5
00000081: EQ
00000082: PUSH2 0x0522
00000085: JUMPI
00000086: PUSH1 0x00
00000088: DUP1
00000089: REVERT
0000008a: JUMPDEST
0000008b: DUP1
0000008c: PUSH4 0x7c10dea6
00000091: GT
00000092: PUSH2 0x00bb
00000095: JUMPI
00000096: DUP1
00000097: PUSH4 0x7c10dea6
0000009c: EQ
0000009d: PUSH2 0x0424
000000a0: JUMPI
000000a1: DUP1
000000a2: PUSH4 0x8da5cb5b
000000a7: EQ
000000a8: PUSH2 0x0444
000000ab: JUMPI
000000ac: DUP1
000000ad: PUSH4 0xa06db7dc
000000b2: EQ
000000b3: PUSH2 0x0496
000000b6: JUMPI
000000b7: PUSH1 0x00
000000b9: DUP1
000000ba: REVERT
000000bb: JUMPDEST
000000bc: DUP1
000000bd: PUSH4 0x6a42b8f8
000000c2: EQ
000000c3: PUSH2 0x038c
000000c6: JUMPI
000000c7: DUP1
000000c8: PUSH4 0x6db2feb2
000000cd: EQ
000000ce: PUSH2 0x03c7
000000d1: JUMPI
000000d2: DUP1
000000d3: PUSH4 0x79ba5097
000000d8: EQ
000000d9: PUSH2 0x040f
000000dc: JUMPI
000000dd: PUSH1 0x00
000000df: DUP1
000000e0: REVERT
000000e1: JUMPDEST
000000e2: DUP1
000000e3: PUSH4 0x4f1ef286
000000e8: GT
000000e9: PUSH2 0x0143
000000ec: JUMPI
000000ed: DUP1
000000ee: PUSH4 0x60e69a7b
000000f3: GT
000000f4: PUSH2 0x011d
000000f7: JUMPI
000000f8: DUP1
000000f9: PUSH4 0x60e69a7b
000000fe: EQ
000000ff: PUSH2 0x0339
00000102: JUMPI
00000103: DUP1
00000104: PUSH4 0x64d62353
00000109: EQ
0000010a: PUSH2 0x034c
0000010d: JUMPI
0000010e: DUP1
0000010f: PUSH4 0x64f9ad36
00000114: EQ
00000115: PUSH2 0x036c
00000118: JUMPI
00000119: PUSH1 0x00
0000011b: DUP1
0000011c: REVERT
0000011d: JUMPDEST
0000011e: DUP1
0000011f: PUSH4 0x4f1ef286
00000124: EQ
00000125: PUSH2 0x02f1
00000128: JUMPI
00000129: DUP1
0000012a: PUSH4 0x52d1902d
0000012f: EQ
00000130: PUSH2 0x0304
00000133: JUMPI
00000134: DUP1
00000135: PUSH4 0x5ab98d5a
0000013a: EQ
0000013b: PUSH2 0x0319
0000013e: JUMPI
0000013f: PUSH1 0x00
00000141: DUP1
00000142: REVERT
00000143: JUMPDEST
00000144: DUP1
00000145: PUSH4 0x3659cfe6
0000014a: GT
0000014b: PUSH2 0x0174
0000014e: JUMPI
0000014f: DUP1
00000150: PUSH4 0x3659cfe6
00000155: EQ
00000156: PUSH2 0x0276
00000159: JUMPI
0000015a: DUP1
0000015b: PUSH4 0x395db2cd
00000160: EQ
00000161: PUSH2 0x0296
00000164: JUMPI
00000165: DUP1
00000166: PUSH4 0x4d003070
0000016b: EQ
0000016c: PUSH2 0x02b6
0000016f: JUMPI
00000170: PUSH1 0x00
00000172: DUP1
00000173: REVERT
00000174: JUMPDEST
00000175: DUP1
00000176: PUSH4 0x0dc051f8
0000017b: EQ
0000017c: PUSH2 0x01a6
0000017f: JUMPI
00000180: DUP1
00000181: PUSH4 0x150b7a02
00000186: EQ
00000187: PUSH2 0x01ea
0000018a: JUMPI
0000018b: DUP1
0000018c: PUSH4 0x23452b9c
00000191: EQ
00000192: PUSH2 0x025f
00000195: JUMPI
00000196: PUSH1 0x00
00000198: DUP1
00000199: REVERT
0000019a: JUMPDEST
0000019b: CALLDATASIZE
0000019c: PUSH2 0x01a1
0000019f: JUMPI
000001a0: STOP
000001a1: JUMPDEST
000001a2: PUSH1 0x00
000001a4: DUP1
000001a5: REVERT
000001a6: JUMPDEST
000001a7: CALLVALUE
000001a8: DUP1
000001a9: ISZERO
000001aa: PUSH2 0x01b2
000001ad: JUMPI
000001ae: PUSH1 0x00
000001b0: DUP1
000001b1: REVERT
000001b2: JUMPDEST
000001b3: POP
000001b4: PUSH2 0x01d5
000001b7: PUSH2 0x01c1
000001ba: CALLDATASIZE
000001bb: PUSH1 0x04
000001bd: PUSH2 0x1c8e
000001c0: JUMP
000001c1: JUMPDEST
000001c2: PUSH1 0x00
000001c4: SWAP1
000001c5: DUP2
000001c6: MSTORE
000001c7: PUSH1 0x03
000001c9: PUSH1 0x20
000001cb: MSTORE
000001cc: PUSH1 0x40
000001ce: SWAP1
000001cf: KECCAK256
000001d0: SLOAD
000001d1: ISZERO
000001d2: ISZERO
000001d3: SWAP1
000001d4: JUMP
000001d5: JUMPDEST
000001d6: PUSH1 0x40
000001d8: MLOAD
000001d9: SWAP1
000001da: ISZERO
000001db: ISZERO
000001dc: DUP2
000001dd: MSTORE
000001de: PUSH1 0x20
000001e0: ADD
000001e1: JUMPDEST
000001e2: PUSH1 0x40
000001e4: MLOAD
000001e5: DUP1
000001e6: SWAP2
000001e7: SUB
000001e8: SWAP1
000001e9: RETURN
000001ea: JUMPDEST
000001eb: CALLVALUE
000001ec: DUP1
000001ed: ISZERO
000001ee: PUSH2 0x01f6
000001f1: JUMPI
000001f2: PUSH1 0x00
000001f4: DUP1
000001f5: REVERT
000001f6: JUMPDEST
000001f7: POP
000001f8: PUSH2 0x022e
000001fb: PUSH2 0x0205
000001fe: CALLDATASIZE
000001ff: PUSH1 0x04
00000201: PUSH2 0x1ddc
00000204: JUMP
00000205: JUMPDEST
00000206: PUSH32 0x150b7a0200000000000000000000000000000000000000000000000000000000
00000227: SWAP5
00000228: SWAP4
00000229: POP
0000022a: POP
0000022b: POP
0000022c: POP
0000022d: JUMP
0000022e: JUMPDEST
0000022f: PUSH1 0x40
00000231: MLOAD
00000232: PUSH32 0xffffffff00000000000000000000000000000000000000000000000000000000
00000253: SWAP1
00000254: SWAP2
00000255: AND
00000256: DUP2
00000257: MSTORE
00000258: PUSH1 0x20
0000025a: ADD
0000025b: PUSH2 0x01e1
0000025e: JUMP
0000025f: JUMPDEST
00000260: CALLVALUE
00000261: DUP1
00000262: ISZERO
00000263: PUSH2 0x026b
00000266: JUMPI
00000267: PUSH1 0x00
00000269: DUP1
0000026a: REVERT
0000026b: JUMPDEST
0000026c: POP
0000026d: PUSH2 0x0274
00000270: PUSH2 0x05f2
00000273: JUMP
00000274: JUMPDEST
00000275: STOP
00000276: JUMPDEST
00000277: CALLVALUE
00000278: DUP1
00000279: ISZERO
0000027a: PUSH2 0x0282
0000027d: JUMPI
0000027e: PUSH1 0x00
00000280: DUP1
00000281: REVERT
00000282: JUMPDEST
00000283: POP
00000284: PUSH2 0x0274
00000287: PUSH2 0x0291
0000028a: CALLDATASIZE
0000028b: PUSH1 0x04
0000028d: PUSH2 0x1e44
00000290: JUMP
00000291: JUMPDEST
00000292: PUSH2 0x06c4
00000295: JUMP
00000296: JUMPDEST
00000297: CALLVALUE
00000298: DUP1
00000299: ISZERO
0000029a: PUSH2 0x02a2
0000029d: JUMPI
0000029e: PUSH1 0x00
000002a0: DUP1
000002a1: REVERT
000002a2: JUMPDEST
000002a3: POP
000002a4: PUSH2 0x0274
000002a7: PUSH2 0x02b1
000002aa: CALLDATASIZE
000002ab: PUSH1 0x04
000002ad: PUSH2 0x1e44
000002b0: JUMP
000002b1: JUMPDEST
000002b2: PUSH2 0x081c
000002b5: JUMP
000002b6: JUMPDEST
000002b7: CALLVALUE
000002b8: DUP1
000002b9: ISZERO
000002ba: PUSH2 0x02c2
000002bd: JUMPI
000002be: PUSH1 0x00
000002c0: DUP1
000002c1: REVERT
000002c2: JUMPDEST
000002c3: POP
000002c4: PUSH2 0x02e3
000002c7: PUSH2 0x02d1
000002ca: CALLDATASIZE
000002cb: PUSH1 0x04
000002cd: PUSH2 0x1c8e
000002d0: JUMP
000002d1: JUMPDEST
000002d2: PUSH1 0x00
000002d4: SWAP1
000002d5: DUP2
000002d6: MSTORE
000002d7: PUSH1 0x03
000002d9: PUSH1 0x20
000002db: MSTORE
000002dc: PUSH1 0x40
000002de: SWAP1
000002df: KECCAK256
000002e0: SLOAD
000002e1: SWAP1
000002e2: JUMP
000002e3: JUMPDEST
000002e4: PUSH1 0x40
000002e6: MLOAD
000002e7: SWAP1
000002e8: DUP2
000002e9: MSTORE
000002ea: PUSH1 0x20
000002ec: ADD
000002ed: PUSH2 0x01e1
000002f0: JUMP
000002f1: JUMPDEST
000002f2: PUSH2 0x0274
000002f5: PUSH2 0x02ff
000002f8: CALLDATASIZE
000002f9: PUSH1 0x04
000002fb: PUSH2 0x1e66
000002fe: JUMP
000002ff: JUMPDEST
00000300: PUSH2 0x08f0
00000303: JUMP
00000304: JUMPDEST
00000305: CALLVALUE
00000306: DUP1
00000307: ISZERO
00000308: PUSH2 0x0310
0000030b: JUMPI
0000030c: PUSH1 0x00
0000030e: DUP1
0000030f: REVERT
00000310: JUMPDEST
00000311: POP
00000312: PUSH2 0x02e3
00000315: PUSH2 0x0a3a
00000318: JUMP
00000319: JUMPDEST
0000031a: CALLVALUE
0000031b: DUP1
0000031c: ISZERO
0000031d: PUSH2 0x0325
00000320: JUMPI
00000321: PUSH1 0x00
00000323: DUP1
00000324: REVERT
00000325: JUMPDEST
00000326: POP
00000327: PUSH2 0x0274
0000032a: PUSH2 0x0334
0000032d: CALLDATASIZE
0000032e: PUSH1 0x04
00000330: PUSH2 0x1c8e
00000333: JUMP
00000334: JUMPDEST
00000335: PUSH2 0x0ad0
00000338: JUMP
00000339: JUMPDEST
0000033a: PUSH2 0x0274
0000033d: PUSH2 0x0347
00000340: CALLDATASIZE
00000341: PUSH1 0x04
00000343: PUSH2 0x1f00
00000346: JUMP
00000347: JUMPDEST
00000348: PUSH2 0x0ba5
0000034b: JUMP
0000034c: JUMPDEST
0000034d: CALLVALUE
0000034e: DUP1
0000034f: ISZERO
00000350: PUSH2 0x0358
00000353: JUMPI
00000354: PUSH1 0x00
00000356: DUP1
00000357: REVERT
00000358: JUMPDEST
00000359: POP
0000035a: PUSH2 0x0274
0000035d: PUSH2 0x0367
00000360: CALLDATASIZE
00000361: PUSH1 0x04
00000363: PUSH2 0x1c8e
00000366: JUMP
00000367: JUMPDEST
00000368: PUSH2 0x0e41
0000036b: JUMP
0000036c: JUMPDEST
0000036d: CALLVALUE
0000036e: DUP1
0000036f: ISZERO
00000370: PUSH2 0x0378
00000373: JUMPI
00000374: PUSH1 0x00
00000376: DUP1
00000377: REVERT
00000378: JUMPDEST
00000379: POP
0000037a: PUSH2 0x01d5
0000037d: PUSH2 0x0387
00000380: CALLDATASIZE
00000381: PUSH1 0x04
00000383: PUSH2 0x1c8e
00000386: JUMP
00000387: JUMPDEST
00000388: PUSH2 0x0f1b
0000038b: JUMP
0000038c: JUMPDEST
0000038d: CALLVALUE
0000038e: DUP1
0000038f: ISZERO
00000390: PUSH2 0x0398
00000393: JUMPI
00000394: PUSH1 0x00
00000396: DUP1
00000397: REVERT
00000398: JUMPDEST
00000399: POP
0000039a: PUSH1 0x02
0000039c: SLOAD
0000039d: PUSH17 0x0100000000000000000000000000000000
000003af: SWAP1
000003b0: DIV
000003b1: PUSH16 0xffffffffffffffffffffffffffffffff
000003c2: AND
000003c3: PUSH2 0x02e3
000003c6: JUMP
000003c7: JUMPDEST
000003c8: CALLVALUE
000003c9: DUP1
000003ca: ISZERO
000003cb: PUSH2 0x03d3
000003ce: JUMPI
000003cf: PUSH1 0x00
000003d1: DUP1
000003d2: REVERT
000003d3: JUMPDEST
000003d4: POP
000003d5: PUSH2 0x01d5
000003d8: PUSH2 0x03e2
000003db: CALLDATASIZE
000003dc: PUSH1 0x04
000003de: PUSH2 0x1c8e
000003e1: JUMP
000003e2: JUMPDEST
000003e3: PUSH1 0x02
000003e5: SLOAD
000003e6: PUSH1 0x00
000003e8: SWAP2
000003e9: DUP3
000003ea: MSTORE
000003eb: PUSH1 0x03
000003ed: PUSH1 0x20
000003ef: MSTORE
000003f0: PUSH1 0x40
000003f2: SWAP1
000003f3: SWAP2
000003f4: KECCAK256
000003f5: SLOAD
000003f6: PUSH16 0xffffffffffffffffffffffffffffffff
00000407: SWAP1
00000408: SWAP2
00000409: AND
0000040a: ADD
0000040b: TIMESTAMP
0000040c: GT
0000040d: SWAP1
0000040e: JUMP
0000040f: JUMPDEST
00000410: CALLVALUE
00000411: DUP1
00000412: ISZERO
00000413: PUSH2 0x041b
00000416: JUMPI
00000417: PUSH1 0x00
00000419: DUP1
0000041a: REVERT
0000041b: JUMPDEST
0000041c: POP
0000041d: PUSH2 0x0274
00000420: PUSH2 0x0f4c
00000423: JUMP
00000424: JUMPDEST
00000425: CALLVALUE
00000426: DUP1
00000427: ISZERO
00000428: PUSH2 0x0430
0000042b: JUMPI
0000042c: PUSH1 0x00
0000042e: DUP1
0000042f: REVERT
00000430: JUMPDEST
00000431: POP
00000432: PUSH2 0x02e3
00000435: PUSH2 0x043f
00000438: CALLDATASIZE
00000439: PUSH1 0x04
0000043b: PUSH2 0x1c8e
0000043e: JUMP
0000043f: JUMPDEST
00000440: PUSH2 0x1056
00000443: JUMP
00000444: JUMPDEST
00000445: CALLVALUE
00000446: DUP1
00000447: ISZERO
00000448: PUSH2 0x0450
0000044b: JUMPI
0000044c: PUSH1 0x00
0000044e: DUP1
0000044f: REVERT
00000450: JUMPDEST
00000451: POP
00000452: PUSH1 0x00
00000454: SLOAD
00000455: PUSH3 0x010000
00000459: SWAP1
0000045a: DIV
0000045b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000470: AND
00000471: JUMPDEST
00000472: PUSH1 0x40
00000474: MLOAD
00000475: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000048a: SWAP1
0000048b: SWAP2
0000048c: AND
0000048d: DUP2
0000048e: MSTORE
0000048f: PUSH1 0x20
00000491: ADD
00000492: PUSH2 0x01e1
00000495: JUMP
00000496: JUMPDEST
00000497: CALLVALUE
00000498: DUP1
00000499: ISZERO
0000049a: PUSH2 0x04a2
0000049d: JUMPI
0000049e: PUSH1 0x00
000004a0: DUP1
000004a1: REVERT
000004a2: JUMPDEST
000004a3: POP
000004a4: PUSH1 0x02
000004a6: SLOAD
000004a7: PUSH16 0xffffffffffffffffffffffffffffffff
000004b8: AND
000004b9: PUSH2 0x02e3
000004bc: JUMP
000004bd: JUMPDEST
000004be: CALLVALUE
000004bf: DUP1
000004c0: ISZERO
000004c1: PUSH2 0x04c9
000004c4: JUMPI
000004c5: PUSH1 0x00
000004c7: DUP1
000004c8: REVERT
000004c9: JUMPDEST
000004ca: POP
000004cb: PUSH2 0x02e3
000004ce: PUSH2 0x04d8
000004d1: CALLDATASIZE
000004d2: PUSH1 0x04
000004d4: PUSH2 0x20d6
000004d7: JUMP
000004d8: JUMPDEST
000004d9: PUSH2 0x1172
000004dc: JUMP
000004dd: JUMPDEST
000004de: CALLVALUE
000004df: DUP1
000004e0: ISZERO
000004e1: PUSH2 0x04e9
000004e4: JUMPI
000004e5: PUSH1 0x00
000004e7: DUP1
000004e8: REVERT
000004e9: JUMPDEST
000004ea: POP
000004eb: PUSH2 0x022e
000004ee: PUSH2 0x04f8
000004f1: CALLDATASIZE
000004f2: PUSH1 0x04
000004f4: PUSH2 0x21d5
000004f7: JUMP
000004f8: JUMPDEST
000004f9: PUSH32 0xbc197c8100000000000000000000000000000000000000000000000000000000
0000051a: SWAP6
0000051b: SWAP5
0000051c: POP
0000051d: POP
0000051e: POP
0000051f: POP
00000520: POP
00000521: JUMP
00000522: JUMPDEST
00000523: CALLVALUE
00000524: DUP1
00000525: ISZERO
00000526: PUSH2 0x052e
00000529: JUMPI
0000052a: PUSH1 0x00
0000052c: DUP1
0000052d: REVERT
0000052e: JUMPDEST
0000052f: POP
00000530: PUSH2 0x0274
00000533: PUSH2 0x053d
00000536: CALLDATASIZE
00000537: PUSH1 0x04
00000539: PUSH2 0x1c8e
0000053c: JUMP
0000053d: JUMPDEST
0000053e: PUSH2 0x11ae
00000541: JUMP
00000542: JUMPDEST
00000543: CALLVALUE
00000544: DUP1
00000545: ISZERO
00000546: PUSH2 0x054e
00000549: JUMPI
0000054a: PUSH1 0x00
0000054c: DUP1
0000054d: REVERT
0000054e: JUMPDEST
0000054f: POP
00000550: PUSH2 0x0274
00000553: PUSH2 0x055d
00000556: CALLDATASIZE
00000557: PUSH1 0x04
00000559: PUSH2 0x227f
0000055c: JUMP
0000055d: JUMPDEST
0000055e: PUSH2 0x1298
00000561: JUMP
00000562: JUMPDEST
00000563: CALLVALUE
00000564: DUP1
00000565: ISZERO
00000566: PUSH2 0x056e
00000569: JUMPI
0000056a: PUSH1 0x00
0000056c: DUP1
0000056d: REVERT
0000056e: JUMPDEST
0000056f: POP
00000570: PUSH1 0x01
00000572: SLOAD
00000573: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000588: AND
00000589: PUSH2 0x0471
0000058c: JUMP
0000058d: JUMPDEST
0000058e: CALLVALUE
0000058f: DUP1
00000590: ISZERO
00000591: PUSH2 0x0599
00000594: JUMPI
00000595: PUSH1 0x00
00000597: DUP1
00000598: REVERT
00000599: JUMPDEST
0000059a: POP
0000059b: PUSH2 0x022e
0000059e: PUSH2 0x05a8
000005a1: CALLDATASIZE
000005a2: PUSH1 0x04
000005a4: PUSH2 0x22a9
000005a7: JUMP
000005a8: JUMPDEST
000005a9: PUSH32 0xf23a6e6100000000000000000000000000000000000000000000000000000000
000005ca: SWAP6
000005cb: SWAP5
000005cc: POP
000005cd: POP
000005ce: POP
000005cf: POP
000005d0: POP
000005d1: JUMP
000005d2: JUMPDEST
000005d3: CALLVALUE
000005d4: DUP1
000005d5: ISZERO
000005d6: PUSH2 0x05de
000005d9: JUMPI
000005da: PUSH1 0x00
000005dc: DUP1
000005dd: REVERT
000005de: JUMPDEST
000005df: POP
000005e0: PUSH2 0x0274
000005e3: PUSH2 0x05ed
000005e6: CALLDATASIZE
000005e7: PUSH1 0x04
000005e9: PUSH2 0x1e44
000005ec: JUMP
000005ed: JUMPDEST
000005ee: PUSH2 0x152f
000005f1: JUMP
000005f2: JUMPDEST
000005f3: PUSH1 0x00
000005f5: SLOAD
000005f6: PUSH3 0x010000
000005fa: SWAP1
000005fb: DIV
000005fc: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000611: AND
00000612: CALLER
00000613: EQ
00000614: PUSH2 0x0649
00000617: JUMPI
00000618: PUSH1 0x40
0000061a: MLOAD
0000061b: PUSH32 0xd238ed5900000000000000000000000000000000000000000000000000000000
0000063c: DUP2
0000063d: MSTORE
0000063e: PUSH1 0x04
00000640: ADD
00000641: PUSH1 0x40
00000643: MLOAD
00000644: DUP1
00000645: SWAP2
00000646: SUB
00000647: SWAP1
00000648: REVERT
00000649: JUMPDEST
0000064a: PUSH1 0x01
0000064c: SLOAD
0000064d: PUSH1 0x00
0000064f: DUP1
00000650: SLOAD
00000651: PUSH1 0x40
00000653: MLOAD
00000654: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000669: SWAP4
0000066a: DUP5
0000066b: AND
0000066c: SWAP4
0000066d: PUSH3 0x010000
00000671: SWAP1
00000672: SWAP3
00000673: DIV
00000674: SWAP1
00000675: SWAP2
00000676: AND
00000677: SWAP2
00000678: PUSH32 0x682679deecef4dcd49674845cc1e3a075fea9073680aa445a8207d5a4bdea3da
00000699: SWAP2
0000069a: LOG3
0000069b: PUSH1 0x01
0000069d: DUP1
0000069e: SLOAD
0000069f: PUSH32 0xffffffffffffffffffffffff0000000000000000000000000000000000000000
000006c0: AND
000006c1: SWAP1
000006c2: SSTORE
000006c3: JUMP
000006c4: JUMPDEST
000006c5: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000006da: PUSH32 0x000000000000000000000000c8f8ac74600d5a1c1ba677b10d1da0e7e806cf23
000006fb: AND
000006fc: ADDRESS
000006fd: SUB
000006fe: PUSH2 0x0733
00000701: JUMPI
00000702: PUSH1 0x40
00000704: MLOAD
00000705: PUSH32 0x43d22ee900000000000000000000000000000000000000000000000000000000
00000726: DUP2
00000727: MSTORE
00000728: PUSH1 0x04
0000072a: ADD
0000072b: PUSH1 0x40
0000072d: MLOAD
0000072e: DUP1
0000072f: SWAP2
00000730: SUB
00000731: SWAP1
00000732: REVERT
00000733: JUMPDEST
00000734: PUSH32 0x000000000000000000000000c8f8ac74600d5a1c1ba677b10d1da0e7e806cf23
00000755: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000076a: AND
0000076b: PUSH2 0x07a8
0000076e: PUSH32 0x360894a13ba1a3210667c828492db98dca3e2076cc3735a920a3ca505d382bbc
0000078f: SLOAD
00000790: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000007a5: AND
000007a6: SWAP1
000007a7: JUMP
000007a8: JUMPDEST
000007a9: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000007be: AND
000007bf: EQ
000007c0: PUSH2 0x07f5
000007c3: JUMPI
000007c4: PUSH1 0x40
000007c6: MLOAD
000007c7: PUSH32 0xe74d90a000000000000000000000000000000000000000000000000000000000
000007e8: DUP2
000007e9: MSTORE
000007ea: PUSH1 0x04
000007ec: ADD
000007ed: PUSH1 0x40
000007ef: MLOAD
000007f0: DUP1
000007f1: SWAP2
000007f2: SUB
000007f3: SWAP1
000007f4: REVERT
000007f5: JUMPDEST
000007f6: PUSH2 0x07fe
000007f9: DUP2
000007fa: PUSH2 0x1595
000007fd: JUMP
000007fe: JUMPDEST
000007ff: PUSH2 0x0819
00000802: DUP2
00000803: PUSH1 0x40
00000805: MLOAD
00000806: DUP1
00000807: PUSH1 0x20
00000809: ADD
0000080a: PUSH1 0x40
0000080c: MSTORE
0000080d: DUP1
0000080e: PUSH1 0x00
00000810: DUP2
00000811: MSTORE
00000812: POP
00000813: PUSH1 0x00
00000815: PUSH2 0x172b
00000818: JUMP
00000819: JUMPDEST
0000081a: POP
0000081b: JUMP
0000081c: JUMPDEST
0000081d: PUSH1 0x00
0000081f: SLOAD
00000820: PUSH3 0x010000
00000824: SWAP1
00000825: DIV
00000826: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000083b: AND
0000083c: CALLER
0000083d: EQ
0000083e: PUSH2 0x0873
00000841: JUMPI
00000842: PUSH1 0x40
00000844: MLOAD
00000845: PUSH32 0xd238ed5900000000000000000000000000000000000000000000000000000000
00000866: DUP2
00000867: MSTORE
00000868: PUSH1 0x04
0000086a: ADD
0000086b: PUSH1 0x40
0000086d: MLOAD
0000086e: DUP1
0000086f: SWAP2
00000870: SUB
00000871: SWAP1
00000872: REVERT
00000873: JUMPDEST
00000874: PUSH1 0x01
00000876: DUP1
00000877: SLOAD
00000878: PUSH32 0xffffffffffffffffffffffff0000000000000000000000000000000000000000
00000899: AND
0000089a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000008af: DUP4
000008b0: DUP2
000008b1: AND
000008b2: SWAP2
000008b3: DUP3
000008b4: OR
000008b5: SWAP1
000008b6: SWAP3
000008b7: SSTORE
000008b8: PUSH1 0x00
000008ba: DUP1
000008bb: SLOAD
000008bc: PUSH1 0x40
000008be: MLOAD
000008bf: SWAP3
000008c0: SWAP4
000008c1: PUSH3 0x010000
000008c5: SWAP1
000008c6: SWAP2
000008c7: DIV
000008c8: AND
000008c9: SWAP2
000008ca: PUSH32 0x4f2638f5949b9614ef8d5e268cb51348ad7f434a34812bf64b6e95014fbd357e
000008eb: SWAP2
000008ec: SWAP1
000008ed: LOG3
000008ee: POP
000008ef: JUMP
000008f0: JUMPDEST
000008f1: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000906: PUSH32 0x000000000000000000000000c8f8ac74600d5a1c1ba677b10d1da0e7e806cf23
00000927: AND
00000928: ADDRESS
00000929: SUB
0000092a: PUSH2 0x095f
0000092d: JUMPI
0000092e: PUSH1 0x40
00000930: MLOAD
00000931: PUSH32 0x43d22ee900000000000000000000000000000000000000000000000000000000
00000952: DUP2
00000953: MSTORE
00000954: PUSH1 0x04
00000956: ADD
00000957: PUSH1 0x40
00000959: MLOAD
0000095a: DUP1
0000095b: SWAP2
0000095c: SUB
0000095d: SWAP1
0000095e: REVERT
0000095f: JUMPDEST
00000960: PUSH32 0x000000000000000000000000c8f8ac74600d5a1c1ba677b10d1da0e7e806cf23
00000981: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000996: AND
00000997: PUSH2 0x09d4
0000099a: PUSH32 0x360894a13ba1a3210667c828492db98dca3e2076cc3735a920a3ca505d382bbc
000009bb: SLOAD
000009bc: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000009d1: AND
000009d2: SWAP1
000009d3: JUMP
000009d4: JUMPDEST
000009d5: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000009ea: AND
000009eb: EQ
000009ec: PUSH2 0x0a21
000009ef: JUMPI
000009f0: PUSH1 0x40
000009f2: MLOAD
000009f3: PUSH32 0xe74d90a000000000000000000000000000000000000000000000000000000000
00000a14: DUP2
00000a15: MSTORE
00000a16: PUSH1 0x04
00000a18: ADD
00000a19: PUSH1 0x40
00000a1b: MLOAD
00000a1c: DUP1
00000a1d: SWAP2
00000a1e: SUB
00000a1f: SWAP1
00000a20: REVERT
00000a21: JUMPDEST
00000a22: PUSH2 0x0a2a
00000a25: DUP3
00000a26: PUSH2 0x1595
00000a29: JUMP
00000a2a: JUMPDEST
00000a2b: PUSH2 0x0a36
00000a2e: DUP3
00000a2f: DUP3
00000a30: PUSH1 0x01
00000a32: PUSH2 0x172b
00000a35: JUMP
00000a36: JUMPDEST
00000a37: POP
00000a38: POP
00000a39: JUMP
00000a3a: JUMPDEST
00000a3b: PUSH1 0x00
00000a3d: ADDRESS
00000a3e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000a53: PUSH32 0x000000000000000000000000c8f8ac74600d5a1c1ba677b10d1da0e7e806cf23
00000a74: AND
00000a75: EQ
00000a76: PUSH2 0x0aab
00000a79: JUMPI
00000a7a: PUSH1 0x40
00000a7c: MLOAD
00000a7d: PUSH32 0x575bc92e00000000000000000000000000000000000000000000000000000000
00000a9e: DUP2
00000a9f: MSTORE
00000aa0: PUSH1 0x04
00000aa2: ADD
00000aa3: PUSH1 0x40
00000aa5: MLOAD
00000aa6: DUP1
00000aa7: SWAP2
00000aa8: SUB
00000aa9: SWAP1
00000aaa: REVERT
00000aab: JUMPDEST
00000aac: POP
00000aad: PUSH32 0x360894a13ba1a3210667c828492db98dca3e2076cc3735a920a3ca505d382bbc
00000ace: SWAP1
00000acf: JUMP
00000ad0: JUMPDEST
00000ad1: CALLER
00000ad2: ADDRESS
00000ad3: EQ
00000ad4: PUSH2 0x0b09
00000ad7: JUMPI
00000ad8: PUSH1 0x40
00000ada: MLOAD
00000adb: PUSH32 0x3d3fc0c100000000000000000000000000000000000000000000000000000000
00000afc: DUP2
00000afd: MSTORE
00000afe: PUSH1 0x04
00000b00: ADD
00000b01: PUSH1 0x40
00000b03: MLOAD
00000b04: DUP1
00000b05: SWAP2
00000b06: SUB
00000b07: SWAP1
00000b08: REVERT
00000b09: JUMPDEST
00000b0a: PUSH1 0x02
00000b0c: SLOAD
00000b0d: PUSH1 0x40
00000b0f: DUP1
00000b10: MLOAD
00000b11: PUSH16 0xffffffffffffffffffffffffffffffff
00000b22: SWAP1
00000b23: SWAP3
00000b24: AND
00000b25: DUP3
00000b26: MSTORE
00000b27: PUSH1 0x20
00000b29: DUP3
00000b2a: ADD
00000b2b: DUP4
00000b2c: SWAP1
00000b2d: MSTORE
00000b2e: PUSH32 0x55c7a79c45e9a972909cd640f9336a14a84adbaf756211f16267001854110191
00000b4f: SWAP2
00000b50: ADD
00000b51: PUSH1 0x40
00000b53: MLOAD
00000b54: DUP1
00000b55: SWAP2
00000b56: SUB
00000b57: SWAP1
00000b58: LOG1
00000b59: PUSH2 0x0b61
00000b5c: DUP2
00000b5d: PUSH2 0x187e
00000b60: JUMP
00000b61: JUMPDEST
00000b62: PUSH1 0x02
00000b64: DUP1
00000b65: SLOAD
00000b66: PUSH32 0xffffffffffffffffffffffffffffffff00000000000000000000000000000000
00000b87: AND
00000b88: PUSH16 0xffffffffffffffffffffffffffffffff
00000b99: SWAP3
00000b9a: SWAP1
00000b9b: SWAP3
00000b9c: AND
00000b9d: SWAP2
00000b9e: SWAP1
00000b9f: SWAP2
00000ba0: OR
00000ba1: SWAP1
00000ba2: SSTORE
00000ba3: POP
00000ba4: JUMP
00000ba5: JUMPDEST
00000ba6: PUSH1 0x00
00000ba8: SLOAD
00000ba9: PUSH3 0x010000
00000bad: SWAP1
00000bae: DIV
00000baf: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000bc4: AND
00000bc5: CALLER
00000bc6: EQ
00000bc7: PUSH2 0x0bfc
00000bca: JUMPI
00000bcb: PUSH1 0x40
00000bcd: MLOAD
00000bce: PUSH32 0xd238ed5900000000000000000000000000000000000000000000000000000000
00000bef: DUP2
00000bf0: MSTORE
00000bf1: PUSH1 0x04
00000bf3: ADD
00000bf4: PUSH1 0x40
00000bf6: MLOAD
00000bf7: DUP1
00000bf8: SWAP2
00000bf9: SUB
00000bfa: SWAP1
00000bfb: REVERT
00000bfc: JUMPDEST
00000bfd: PUSH1 0x00
00000bff: PUSH2 0x0c79
00000c02: DUP10
00000c03: DUP10
00000c04: DUP1
00000c05: DUP1
00000c06: PUSH1 0x20
00000c08: MUL
00000c09: PUSH1 0x20
00000c0b: ADD
00000c0c: PUSH1 0x40
00000c0e: MLOAD
00000c0f: SWAP1
00000c10: DUP2
00000c11: ADD
00000c12: PUSH1 0x40
00000c14: MSTORE
00000c15: DUP1
00000c16: SWAP4
00000c17: SWAP3
00000c18: SWAP2
00000c19: SWAP1
00000c1a: DUP2
00000c1b: DUP2
00000c1c: MSTORE
00000c1d: PUSH1 0x20
00000c1f: ADD
00000c20: DUP4
00000c21: DUP4
00000c22: PUSH1 0x20
00000c24: MUL
00000c25: DUP1
00000c26: DUP3
00000c27: DUP5
00000c28: CALLDATACOPY
00000c29: PUSH1 0x00
00000c2b: SWAP3
00000c2c: ADD
00000c2d: SWAP2
00000c2e: SWAP1
00000c2f: SWAP2
00000c30: MSTORE
00000c31: POP
00000c32: POP
00000c33: PUSH1 0x40
00000c35: DUP1
00000c36: MLOAD
00000c37: PUSH1 0x20
00000c39: DUP1
00000c3a: DUP14
00000c3b: MUL
00000c3c: DUP3
00000c3d: DUP2
00000c3e: ADD
00000c3f: DUP3
00000c40: ADD
00000c41: SWAP1
00000c42: SWAP4
00000c43: MSTORE
00000c44: DUP13
00000c45: DUP3
00000c46: MSTORE
00000c47: SWAP1
00000c48: SWAP4
00000c49: POP
00000c4a: DUP13
00000c4b: SWAP3
00000c4c: POP
00000c4d: DUP12
00000c4e: SWAP2
00000c4f: DUP3
00000c50: SWAP2
00000c51: DUP6
00000c52: ADD
00000c53: SWAP1
00000c54: DUP5
00000c55: SWAP1
00000c56: DUP1
00000c57: DUP3
00000c58: DUP5
00000c59: CALLDATACOPY
00000c5a: PUSH1 0x00
00000c5c: SWAP3
00000c5d: ADD
00000c5e: SWAP2
00000c5f: SWAP1
00000c60: SWAP2
00000c61: MSTORE
00000c62: POP
00000c63: PUSH2 0x0c72
00000c66: SWAP3
00000c67: POP
00000c68: DUP10
00000c69: SWAP2
00000c6a: POP
00000c6b: DUP11
00000c6c: SWAP1
00000c6d: POP
00000c6e: PUSH2 0x230e
00000c71: JUMP
00000c72: JUMPDEST
00000c73: DUP7
00000c74: DUP7
00000c75: PUSH2 0x1172
00000c78: JUMP
00000c79: JUMPDEST
00000c7a: SWAP1
00000c7b: POP
00000c7c: PUSH2 0x0c84
00000c7f: DUP2
00000c80: PUSH2 0x0f1b
00000c83: JUMP
00000c84: JUMPDEST
00000c85: PUSH2 0x0cc2
00000c88: JUMPI
00000c89: PUSH1 0x40
00000c8b: MLOAD
00000c8c: PUSH32 0x9b3906d900000000000000000000000000000000000000000000000000000000
00000cad: DUP2
00000cae: MSTORE
00000caf: PUSH1 0x04
00000cb1: DUP2
00000cb2: ADD
00000cb3: DUP3
00000cb4: SWAP1
00000cb5: MSTORE
00000cb6: PUSH1 0x24
00000cb8: ADD
00000cb9: JUMPDEST
00000cba: PUSH1 0x40
00000cbc: MLOAD
00000cbd: DUP1
00000cbe: SWAP2
00000cbf: SUB
00000cc0: SWAP1
00000cc1: REVERT
00000cc2: JUMPDEST
00000cc3: PUSH1 0x00
00000cc5: DUP2
00000cc6: DUP2
00000cc7: MSTORE
00000cc8: PUSH1 0x03
00000cca: PUSH1 0x20
00000ccc: MSTORE
00000ccd: PUSH1 0x40
00000ccf: DUP2
00000cd0: KECCAK256
00000cd1: DUP2
00000cd2: SWAP1
00000cd3: SSTORE
00000cd4: DUP9
00000cd5: SWAP1
00000cd6: JUMPDEST
00000cd7: DUP2
00000cd8: DUP2
00000cd9: LT
00000cda: ISZERO
00000cdb: PUSH2 0x0df1
00000cde: JUMPI
00000cdf: PUSH1 0x00
00000ce1: DUP12
00000ce2: DUP12
00000ce3: DUP4
00000ce4: DUP2
00000ce5: DUP2
00000ce6: LT
00000ce7: PUSH2 0x0cf2
00000cea: JUMPI
00000ceb: PUSH2 0x0cf2
00000cee: PUSH2 0x231b
00000cf1: JUMP
00000cf2: JUMPDEST
00000cf3: SWAP1
00000cf4: POP
00000cf5: PUSH1 0x20
00000cf7: MUL
00000cf8: ADD
00000cf9: PUSH1 0x20
00000cfb: DUP2
00000cfc: ADD
00000cfd: SWAP1
00000cfe: PUSH2 0x0d07
00000d01: SWAP2
00000d02: SWAP1
00000d03: PUSH2 0x1e44
00000d06: JUMP
00000d07: JUMPDEST
00000d08: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000d1d: AND
00000d1e: DUP11
00000d1f: DUP11
00000d20: DUP5
00000d21: DUP2
00000d22: DUP2
00000d23: LT
00000d24: PUSH2 0x0d2f
00000d27: JUMPI
00000d28: PUSH2 0x0d2f
00000d2b: PUSH2 0x231b
00000d2e: JUMP
00000d2f: JUMPDEST
00000d30: SWAP1
00000d31: POP
00000d32: PUSH1 0x20
00000d34: MUL
00000d35: ADD
00000d36: CALLDATALOAD
00000d37: DUP10
00000d38: DUP10
00000d39: DUP6
00000d3a: DUP2
00000d3b: DUP2
00000d3c: LT
00000d3d: PUSH2 0x0d48
00000d40: JUMPI
00000d41: PUSH2 0x0d48
00000d44: PUSH2 0x231b
00000d47: JUMP
00000d48: JUMPDEST
00000d49: SWAP1
00000d4a: POP
00000d4b: PUSH1 0x20
00000d4d: MUL
00000d4e: DUP2
00000d4f: ADD
00000d50: SWAP1
00000d51: PUSH2 0x0d5a
00000d54: SWAP2
00000d55: SWAP1
00000d56: PUSH2 0x234a
00000d59: JUMP
00000d5a: JUMPDEST
00000d5b: PUSH1 0x40
00000d5d: MLOAD
00000d5e: PUSH2 0x0d68
00000d61: SWAP3
00000d62: SWAP2
00000d63: SWAP1
00000d64: PUSH2 0x23af
00000d67: JUMP
00000d68: JUMPDEST
00000d69: PUSH1 0x00
00000d6b: PUSH1 0x40
00000d6d: MLOAD
00000d6e: DUP1
00000d6f: DUP4
00000d70: SUB
00000d71: DUP2
00000d72: DUP6
00000d73: DUP8
00000d74: GAS
00000d75: CALL
00000d76: SWAP3
00000d77: POP
00000d78: POP
00000d79: POP
00000d7a: RETURNDATASIZE
00000d7b: DUP1
00000d7c: PUSH1 0x00
00000d7e: DUP2
00000d7f: EQ
00000d80: PUSH2 0x0da5
00000d83: JUMPI
00000d84: PUSH1 0x40
00000d86: MLOAD
00000d87: SWAP2
00000d88: POP
00000d89: PUSH1 0x1f
00000d8b: NOT
00000d8c: PUSH1 0x3f
00000d8e: RETURNDATASIZE
00000d8f: ADD
00000d90: AND
00000d91: DUP3
00000d92: ADD
00000d93: PUSH1 0x40
00000d95: MSTORE
00000d96: RETURNDATASIZE
00000d97: DUP3
00000d98: MSTORE
00000d99: RETURNDATASIZE
00000d9a: PUSH1 0x00
00000d9c: PUSH1 0x20
00000d9e: DUP5
00000d9f: ADD
00000da0: RETURNDATACOPY
00000da1: PUSH2 0x0daa
00000da4: JUMP
00000da5: JUMPDEST
00000da6: PUSH1 0x60
00000da8: SWAP2
00000da9: POP
00000daa: JUMPDEST
00000dab: POP
00000dac: POP
00000dad: SWAP1
00000dae: POP
00000daf: DUP1
00000db0: PUSH2 0x0de8
00000db3: JUMPI
00000db4: PUSH1 0x40
00000db6: MLOAD
00000db7: PUSH32 0x149c28d900000000000000000000000000000000000000000000000000000000
00000dd8: DUP2
00000dd9: MSTORE
00000dda: PUSH1 0x04
00000ddc: DUP2
00000ddd: ADD
00000dde: DUP4
00000ddf: SWAP1
00000de0: MSTORE
00000de1: PUSH1 0x24
00000de3: ADD
00000de4: PUSH2 0x0cb9
00000de7: JUMP
00000de8: JUMPDEST
00000de9: POP
00000dea: PUSH1 0x01
00000dec: ADD
00000ded: PUSH2 0x0cd6
00000df0: JUMP
00000df1: JUMPDEST
00000df2: POP
00000df3: PUSH32 0x7e74d8579043af873f575ed17043a48d6beba2668c6b53325bcd8c9a550e5e9c
00000e14: DUP3
00000e15: DUP12
00000e16: DUP12
00000e17: DUP12
00000e18: DUP12
00000e19: DUP12
00000e1a: DUP12
00000e1b: PUSH1 0x40
00000e1d: MLOAD
00000e1e: PUSH2 0x0e2d
00000e21: SWAP8
00000e22: SWAP7
00000e23: SWAP6
00000e24: SWAP5
00000e25: SWAP4
00000e26: SWAP3
00000e27: SWAP2
00000e28: SWAP1
00000e29: PUSH2 0x24b8
00000e2c: JUMP
00000e2d: JUMPDEST
00000e2e: PUSH1 0x40
00000e30: MLOAD
00000e31: DUP1
00000e32: SWAP2
00000e33: SUB
00000e34: SWAP1
00000e35: LOG1
00000e36: POP
00000e37: POP
00000e38: POP
00000e39: POP
00000e3a: POP
00000e3b: POP
00000e3c: POP
00000e3d: POP
00000e3e: POP
00000e3f: POP
00000e40: JUMP
00000e41: JUMPDEST
00000e42: CALLER
00000e43: ADDRESS
00000e44: EQ
00000e45: PUSH2 0x0e7a
00000e48: JUMPI
00000e49: PUSH1 0x40
00000e4b: MLOAD
00000e4c: PUSH32 0x3d3fc0c100000000000000000000000000000000000000000000000000000000
00000e6d: DUP2
00000e6e: MSTORE
00000e6f: PUSH1 0x04
00000e71: ADD
00000e72: PUSH1 0x40
00000e74: MLOAD
00000e75: DUP1
00000e76: SWAP2
00000e77: SUB
00000e78: SWAP1
00000e79: REVERT
00000e7a: JUMPDEST
00000e7b: PUSH1 0x02
00000e7d: SLOAD
00000e7e: PUSH1 0x40
00000e80: DUP1
00000e81: MLOAD
00000e82: PUSH17 0x0100000000000000000000000000000000
00000e94: SWAP1
00000e95: SWAP3
00000e96: DIV
00000e97: PUSH16 0xffffffffffffffffffffffffffffffff
00000ea8: AND
00000ea9: DUP3
00000eaa: MSTORE
00000eab: PUSH1 0x20
00000ead: DUP3
00000eae: ADD
00000eaf: DUP4
00000eb0: SWAP1
00000eb1: MSTORE
00000eb2: PUSH32 0xa580b4a9812995ffed1b336481c3f3bfeb3414df9f587a9d73856bab25aa4eee
00000ed3: SWAP2
00000ed4: ADD
00000ed5: PUSH1 0x40
00000ed7: MLOAD
00000ed8: DUP1
00000ed9: SWAP2
00000eda: SUB
00000edb: SWAP1
00000edc: LOG1
00000edd: PUSH2 0x0ee5
00000ee0: DUP2
00000ee1: PUSH2 0x187e
00000ee4: JUMP
00000ee5: JUMPDEST
00000ee6: PUSH1 0x02
00000ee8: DUP1
00000ee9: SLOAD
00000eea: PUSH16 0xffffffffffffffffffffffffffffffff
00000efb: SWAP3
00000efc: DUP4
00000efd: AND
00000efe: PUSH17 0x0100000000000000000000000000000000
00000f10: MUL
00000f11: SWAP3
00000f12: AND
00000f13: SWAP2
00000f14: SWAP1
00000f15: SWAP2
00000f16: OR
00000f17: SWAP1
00000f18: SSTORE
00000f19: POP
00000f1a: JUMP
00000f1b: JUMPDEST
00000f1c: PUSH1 0x00
00000f1e: DUP2
00000f1f: DUP2
00000f20: MSTORE
00000f21: PUSH1 0x03
00000f23: PUSH1 0x20
00000f25: MSTORE
00000f26: PUSH1 0x40
00000f28: DUP2
00000f29: KECCAK256
00000f2a: SLOAD
00000f2b: ISZERO
00000f2c: DUP1
00000f2d: ISZERO
00000f2e: SWAP1
00000f2f: PUSH2 0x0f46
00000f32: JUMPI
00000f33: POP
00000f34: PUSH1 0x00
00000f36: DUP3
00000f37: DUP2
00000f38: MSTORE
00000f39: PUSH1 0x03
00000f3b: PUSH1 0x20
00000f3d: MSTORE
00000f3e: PUSH1 0x40
00000f40: SWAP1
00000f41: KECCAK256
00000f42: SLOAD
00000f43: TIMESTAMP
00000f44: LT
00000f45: ISZERO
00000f46: JUMPDEST
00000f47: SWAP3
00000f48: SWAP2
00000f49: POP
00000f4a: POP
00000f4b: JUMP
00000f4c: JUMPDEST
00000f4d: PUSH1 0x01
00000f4f: SLOAD
00000f50: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000f65: AND
00000f66: CALLER
00000f67: EQ
00000f68: PUSH2 0x0f9d
00000f6b: JUMPI
00000f6c: PUSH1 0x40
00000f6e: MLOAD
00000f6f: PUSH32 0x065cd53100000000000000000000000000000000000000000000000000000000
00000f90: DUP2
00000f91: MSTORE
00000f92: PUSH1 0x04
00000f94: ADD
00000f95: PUSH1 0x40
00000f97: MLOAD
00000f98: DUP1
00000f99: SWAP2
00000f9a: SUB
00000f9b: SWAP1
00000f9c: REVERT
00000f9d: JUMPDEST
00000f9e: PUSH1 0x00
00000fa0: DUP1
00000fa1: SLOAD
00000fa2: PUSH1 0x40
00000fa4: MLOAD
00000fa5: CALLER
00000fa6: SWAP3
00000fa7: PUSH3 0x010000
00000fab: SWAP1
00000fac: SWAP3
00000fad: DIV
00000fae: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000fc3: AND
00000fc4: SWAP2
00000fc5: PUSH32 0x8292fce18fa69edf4db7b94ea2e58241df0ae57f97e0a6c9b29067028bf92d76
00000fe6: SWAP2
00000fe7: LOG3
00000fe8: PUSH1 0x01
00000fea: DUP1
00000feb: SLOAD
00000fec: PUSH1 0x00
00000fee: DUP1
00000fef: SLOAD
00000ff0: PUSH32 0xffffffffffffffffffff0000000000000000000000000000000000000000ffff
00001011: AND
00001012: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001027: DUP4
00001028: AND
00001029: PUSH3 0x010000
0000102d: MUL
0000102e: OR
0000102f: SWAP1
00001030: SSTORE
00001031: PUSH32 0xffffffffffffffffffffffff0000000000000000000000000000000000000000
00001052: AND
00001053: SWAP1
00001054: SSTORE
00001055: JUMP
00001056: JUMPDEST
00001057: PUSH1 0x00
00001059: DUP1
0000105a: SLOAD
0000105b: PUSH3 0x010000
0000105f: SWAP1
00001060: DIV
00001061: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001076: AND
00001077: CALLER
00001078: EQ
00001079: PUSH2 0x10ae
0000107c: JUMPI
0000107d: PUSH1 0x40
0000107f: MLOAD
00001080: PUSH32 0xd238ed5900000000000000000000000000000000000000000000000000000000
000010a1: DUP2
000010a2: MSTORE
000010a3: PUSH1 0x04
000010a5: ADD
000010a6: PUSH1 0x40
000010a8: MLOAD
000010a9: DUP1
000010aa: SWAP2
000010ab: SUB
000010ac: SWAP1
000010ad: REVERT
000010ae: JUMPDEST
000010af: PUSH1 0x00
000010b1: DUP3
000010b2: DUP2
000010b3: MSTORE
000010b4: PUSH1 0x03
000010b6: PUSH1 0x20
000010b8: MSTORE
000010b9: PUSH1 0x40
000010bb: SWAP1
000010bc: KECCAK256
000010bd: SLOAD
000010be: ISZERO
000010bf: PUSH2 0x10f4
000010c2: JUMPI
000010c3: PUSH1 0x40
000010c5: MLOAD
000010c6: PUSH32 0x03773f3300000000000000000000000000000000000000000000000000000000
000010e7: DUP2
000010e8: MSTORE
000010e9: PUSH1 0x04
000010eb: ADD
000010ec: PUSH1 0x40
000010ee: MLOAD
000010ef: DUP1
000010f0: SWAP2
000010f1: SUB
000010f2: SWAP1
000010f3: REVERT
000010f4: JUMPDEST
000010f5: POP
000010f6: PUSH1 0x02
000010f8: SLOAD
000010f9: PUSH1 0x00
000010fb: DUP3
000010fc: DUP2
000010fd: MSTORE
000010fe: PUSH1 0x03
00001100: PUSH1 0x20
00001102: SWAP1
00001103: DUP2
00001104: MSTORE
00001105: PUSH1 0x40
00001107: SWAP2
00001108: DUP3
00001109: SWAP1
0000110a: KECCAK256
0000110b: PUSH17 0x0100000000000000000000000000000000
0000111d: SWAP1
0000111e: SWAP4
0000111f: DIV
00001120: PUSH16 0xffffffffffffffffffffffffffffffff
00001131: AND
00001132: TIMESTAMP
00001133: ADD
00001134: SWAP3
00001135: DUP4
00001136: SWAP1
00001137: SSTORE
00001138: DUP2
00001139: MLOAD
0000113a: DUP5
0000113b: DUP2
0000113c: MSTORE
0000113d: SWAP1
0000113e: DUP2
0000113f: ADD
00001140: DUP4
00001141: SWAP1
00001142: MSTORE
00001143: PUSH32 0x7902f8969f6429dd0244329d34db6ea75cec3a150e8ddbb8945511e2f2c639ea
00001164: SWAP2
00001165: ADD
00001166: PUSH1 0x40
00001168: MLOAD
00001169: DUP1
0000116a: SWAP2
0000116b: SUB
0000116c: SWAP1
0000116d: LOG1
0000116e: SWAP2
0000116f: SWAP1
00001170: POP
00001171: JUMP
00001172: JUMPDEST
00001173: PUSH1 0x00
00001175: DUP6
00001176: DUP6
00001177: DUP6
00001178: DUP6
00001179: DUP6
0000117a: PUSH1 0x40
0000117c: MLOAD
0000117d: PUSH1 0x20
0000117f: ADD
00001180: PUSH2 0x118d
00001183: SWAP6
00001184: SWAP5
00001185: SWAP4
00001186: SWAP3
00001187: SWAP2
00001188: SWAP1
00001189: PUSH2 0x2620
0000118c: JUMP
0000118d: JUMPDEST
0000118e: PUSH1 0x40
00001190: MLOAD
00001191: PUSH1 0x20
00001193: DUP2
00001194: DUP4
00001195: SUB
00001196: SUB
00001197: DUP2
00001198: MSTORE
00001199: SWAP1
0000119a: PUSH1 0x40
0000119c: MSTORE
0000119d: DUP1
0000119e: MLOAD
0000119f: SWAP1
000011a0: PUSH1 0x20
000011a2: ADD
000011a3: KECCAK256
000011a4: SWAP1
000011a5: POP
000011a6: SWAP6
000011a7: SWAP5
000011a8: POP
000011a9: POP
000011aa: POP
000011ab: POP
000011ac: POP
000011ad: JUMP
000011ae: JUMPDEST
000011af: PUSH1 0x00
000011b1: SLOAD
000011b2: PUSH3 0x010000
000011b6: SWAP1
000011b7: DIV
000011b8: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000011cd: AND
000011ce: CALLER
000011cf: EQ
000011d0: PUSH2 0x1205
000011d3: JUMPI
000011d4: PUSH1 0x40
000011d6: MLOAD
000011d7: PUSH32 0xd238ed5900000000000000000000000000000000000000000000000000000000
000011f8: DUP2
000011f9: MSTORE
000011fa: PUSH1 0x04
000011fc: ADD
000011fd: PUSH1 0x40
000011ff: MLOAD
00001200: DUP1
00001201: SWAP2
00001202: SUB
00001203: SWAP1
00001204: REVERT
00001205: JUMPDEST
00001206: PUSH1 0x00
00001208: DUP2
00001209: DUP2
0000120a: MSTORE
0000120b: PUSH1 0x03
0000120d: PUSH1 0x20
0000120f: MSTORE
00001210: PUSH1 0x40
00001212: SWAP1
00001213: KECCAK256
00001214: SLOAD
00001215: PUSH2 0x124a
00001218: JUMPI
00001219: PUSH1 0x40
0000121b: MLOAD
0000121c: PUSH32 0xf8b5a47d00000000000000000000000000000000000000000000000000000000
0000123d: DUP2
0000123e: MSTORE
0000123f: PUSH1 0x04
00001241: ADD
00001242: PUSH1 0x40
00001244: MLOAD
00001245: DUP1
00001246: SWAP2
00001247: SUB
00001248: SWAP1
00001249: REVERT
0000124a: JUMPDEST
0000124b: PUSH1 0x00
0000124d: DUP2
0000124e: DUP2
0000124f: MSTORE
00001250: PUSH1 0x03
00001252: PUSH1 0x20
00001254: MSTORE
00001255: PUSH1 0x40
00001257: DUP1
00001258: DUP3
00001259: KECCAK256
0000125a: SWAP2
0000125b: SWAP1
0000125c: SWAP2
0000125d: SSTORE
0000125e: MLOAD
0000125f: PUSH32 0xdecc068a49633f4a89136211fcf06f0c95bb0756be29aaba7e7eec56da7945c5
00001280: SWAP1
00001281: PUSH2 0x128d
00001284: SWAP1
00001285: DUP4
00001286: DUP2
00001287: MSTORE
00001288: PUSH1 0x20
0000128a: ADD
0000128b: SWAP1
0000128c: JUMP
0000128d: JUMPDEST
0000128e: PUSH1 0x40
00001290: MLOAD
00001291: DUP1
00001292: SWAP2
00001293: SUB
00001294: SWAP1
00001295: LOG1
00001296: POP
00001297: JUMP
00001298: JUMPDEST
00001299: PUSH1 0x00
0000129b: SLOAD
0000129c: PUSH2 0x0100
0000129f: SWAP1
000012a0: DIV
000012a1: PUSH1 0xff
000012a3: AND
000012a4: ISZERO
000012a5: DUP1
000012a6: ISZERO
000012a7: DUP1
000012a8: PUSH2 0x12b5
000012ab: JUMPI
000012ac: POP
000012ad: PUSH1 0x00
000012af: SLOAD
000012b0: PUSH1 0xff
000012b2: AND
000012b3: ISZERO
000012b4: ISZERO
000012b5: JUMPDEST
000012b6: DUP1
000012b7: ISZERO
000012b8: PUSH2 0x12d1
000012bb: JUMPI
000012bc: POP
000012bd: ADDRESS
000012be: EXTCODESIZE
000012bf: ISZERO
000012c0: ISZERO
000012c1: DUP1
000012c2: PUSH2 0x12d1
000012c5: JUMPI
000012c6: POP
000012c7: PUSH1 0x00
000012c9: SLOAD
000012ca: PUSH1 0xff
000012cc: AND
000012cd: PUSH1 0x01
000012cf: EQ
000012d0: ISZERO
000012d1: JUMPDEST
000012d2: ISZERO
000012d3: PUSH2 0x1308
000012d6: JUMPI
000012d7: PUSH1 0x40
000012d9: MLOAD
000012da: PUSH32 0x439a74c900000000000000000000000000000000000000000000000000000000
000012fb: DUP2
000012fc: MSTORE
000012fd: PUSH1 0x04
000012ff: ADD
00001300: PUSH1 0x40
00001302: MLOAD
00001303: DUP1
00001304: SWAP2
00001305: SUB
00001306: SWAP1
00001307: REVERT
00001308: JUMPDEST
00001309: PUSH1 0x00
0000130b: DUP1
0000130c: SLOAD
0000130d: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff00
0000132e: AND
0000132f: PUSH1 0x01
00001331: OR
00001332: SWAP1
00001333: SSTORE
00001334: DUP1
00001335: ISZERO
00001336: PUSH2 0x1366
00001339: JUMPI
0000133a: PUSH1 0x00
0000133c: DUP1
0000133d: SLOAD
0000133e: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff00ff
0000135f: AND
00001360: PUSH2 0x0100
00001363: OR
00001364: SWAP1
00001365: SSTORE
00001366: JUMPDEST
00001367: CALLER
00001368: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000137d: PUSH32 0x000000000000000000000000d310a3041dfcf14def5ccbc508668974b5da7174
0000139e: AND
0000139f: EQ
000013a0: PUSH2 0x13d5
000013a3: JUMPI
000013a4: PUSH1 0x40
000013a6: MLOAD
000013a7: PUSH32 0xa2ddd97100000000000000000000000000000000000000000000000000000000
000013c8: DUP2
000013c9: MSTORE
000013ca: PUSH1 0x04
000013cc: ADD
000013cd: PUSH1 0x40
000013cf: MLOAD
000013d0: DUP1
000013d1: SWAP2
000013d2: SUB
000013d3: SWAP1
000013d4: REVERT
000013d5: JUMPDEST
000013d6: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000013eb: DUP4
000013ec: AND
000013ed: PUSH2 0x1422
000013f0: JUMPI
000013f1: PUSH1 0x40
000013f3: MLOAD
000013f4: PUSH32 0x66e7950900000000000000000000000000000000000000000000000000000000
00001415: DUP2
00001416: MSTORE
00001417: PUSH1 0x04
00001419: ADD
0000141a: PUSH1 0x40
0000141c: MLOAD
0000141d: DUP1
0000141e: SWAP2
0000141f: SUB
00001420: SWAP1
00001421: REVERT
00001422: JUMPDEST
00001423: PUSH2 0x142b
00001426: DUP4
00001427: PUSH2 0x18ce
0000142a: JUMP
0000142b: JUMPDEST
0000142c: PUSH2 0x1434
0000142f: DUP3
00001430: PUSH2 0x187e
00001433: JUMP
00001434: JUMPDEST
00001435: PUSH16 0xffffffffffffffffffffffffffffffff
00001446: AND
00001447: PUSH17 0x0100000000000000000000000000000000
00001459: MUL
0000145a: PUSH32 0xffffffffffffffffffffffffffffffff00000000000000000000000000000000
0000147b: AND
0000147c: PUSH3 0x127500
00001480: OR
00001481: PUSH1 0x02
00001483: SSTORE
00001484: PUSH1 0x40
00001486: MLOAD
00001487: PUSH32 0xa580b4a9812995ffed1b336481c3f3bfeb3414df9f587a9d73856bab25aa4eee
000014a8: SWAP1
000014a9: PUSH2 0x14bf
000014ac: SWAP1
000014ad: PUSH1 0x00
000014af: SWAP1
000014b0: DUP6
000014b1: SWAP1
000014b2: SWAP2
000014b3: DUP3
000014b4: MSTORE
000014b5: PUSH1 0x20
000014b7: DUP3
000014b8: ADD
000014b9: MSTORE
000014ba: PUSH1 0x40
000014bc: ADD
000014bd: SWAP1
000014be: JUMP
000014bf: JUMPDEST
000014c0: PUSH1 0x40
000014c2: MLOAD
000014c3: DUP1
000014c4: SWAP2
000014c5: SUB
000014c6: SWAP1
000014c7: LOG1
000014c8: DUP1
000014c9: ISZERO
000014ca: PUSH2 0x152a
000014cd: JUMPI
000014ce: PUSH1 0x00
000014d0: DUP1
000014d1: SLOAD
000014d2: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff00ff
000014f3: AND
000014f4: SWAP1
000014f5: SSTORE
000014f6: PUSH1 0x40
000014f8: MLOAD
000014f9: PUSH1 0x01
000014fb: DUP2
000014fc: MSTORE
000014fd: PUSH32 0xbe9b076dc5b65990cca9dd9d7366682482e7817a6f6bc7f4faf4dc32af497f32
0000151e: SWAP1
0000151f: PUSH1 0x20
00001521: ADD
00001522: PUSH1 0x40
00001524: MLOAD
00001525: DUP1
00001526: SWAP2
00001527: SUB
00001528: SWAP1
00001529: LOG1
0000152a: JUMPDEST
0000152b: POP
0000152c: POP
0000152d: POP
0000152e: JUMP
0000152f: JUMPDEST
00001530: PUSH1 0x00
00001532: SLOAD
00001533: PUSH3 0x010000
00001537: SWAP1
00001538: DIV
00001539: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000154e: AND
0000154f: CALLER
00001550: EQ
00001551: PUSH2 0x1586
00001554: JUMPI
00001555: PUSH1 0x40
00001557: MLOAD
00001558: PUSH32 0xd238ed5900000000000000000000000000000000000000000000000000000000
00001579: DUP2
0000157a: MSTORE
0000157b: PUSH1 0x04
0000157d: ADD
0000157e: PUSH1 0x40
00001580: MLOAD
00001581: DUP1
00001582: SWAP2
00001583: SUB
00001584: SWAP1
00001585: REVERT
00001586: JUMPDEST
00001587: PUSH2 0x0819
0000158a: DUP2
0000158b: PUSH2 0x1987
0000158e: JUMP
0000158f: JUMPDEST
00001590: EXTCODESIZE
00001591: ISZERO
00001592: ISZERO
00001593: SWAP1
00001594: JUMP
00001595: JUMPDEST
00001596: CALLER
00001597: ADDRESS
00001598: EQ
00001599: PUSH2 0x15ce
0000159c: JUMPI
0000159d: PUSH1 0x40
0000159f: MLOAD
000015a0: PUSH32 0x3d3fc0c100000000000000000000000000000000000000000000000000000000
000015c1: DUP2
000015c2: MSTORE
000015c3: PUSH1 0x04
000015c5: ADD
000015c6: PUSH1 0x40
000015c8: MLOAD
000015c9: DUP1
000015ca: SWAP2
000015cb: SUB
000015cc: SWAP1
000015cd: REVERT
000015ce: JUMPDEST
000015cf: PUSH32 0x000000000000000000000000d310a3041dfcf14def5ccbc508668974b5da7174
000015f0: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001605: AND
00001606: PUSH4 0x9bb8dcfd
0000160b: PUSH2 0x1648
0000160e: PUSH32 0x360894a13ba1a3210667c828492db98dca3e2076cc3735a920a3ca505d382bbc
0000162f: SLOAD
00001630: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001645: AND
00001646: SWAP1
00001647: JUMP
00001648: JUMPDEST
00001649: PUSH1 0x40
0000164b: MLOAD
0000164c: PUSH32 0xffffffff00000000000000000000000000000000000000000000000000000000
0000166d: PUSH1 0xe0
0000166f: DUP5
00001670: SWAP1
00001671: SHL
00001672: AND
00001673: DUP2
00001674: MSTORE
00001675: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000168a: SWAP2
0000168b: DUP3
0000168c: AND
0000168d: PUSH1 0x04
0000168f: DUP3
00001690: ADD
00001691: MSTORE
00001692: SWAP1
00001693: DUP5
00001694: AND
00001695: PUSH1 0x24
00001697: DUP3
00001698: ADD
00001699: MSTORE
0000169a: PUSH1 0x44
0000169c: ADD
0000169d: PUSH1 0x20
0000169f: PUSH1 0x40
000016a1: MLOAD
000016a2: DUP1
000016a3: DUP4
000016a4: SUB
000016a5: DUP2
000016a6: DUP7
000016a7: GAS
000016a8: STATICCALL
000016a9: ISZERO
000016aa: DUP1
000016ab: ISZERO
000016ac: PUSH2 0x16b9
000016af: JUMPI
000016b0: RETURNDATASIZE
000016b1: PUSH1 0x00
000016b3: DUP1
000016b4: RETURNDATACOPY
000016b5: RETURNDATASIZE
000016b6: PUSH1 0x00
000016b8: REVERT
000016b9: JUMPDEST
000016ba: POP
000016bb: POP
000016bc: POP
000016bd: POP
000016be: PUSH1 0x40
000016c0: MLOAD
000016c1: RETURNDATASIZE
000016c2: PUSH1 0x1f
000016c4: NOT
000016c5: PUSH1 0x1f
000016c7: DUP3
000016c8: ADD
000016c9: AND
000016ca: DUP3
000016cb: ADD
000016cc: DUP1
000016cd: PUSH1 0x40
000016cf: MSTORE
000016d0: POP
000016d1: DUP2
000016d2: ADD
000016d3: SWAP1
000016d4: PUSH2 0x16dd
000016d7: SWAP2
000016d8: SWAP1
000016d9: PUSH2 0x26ef
000016dc: JUMP
000016dd: JUMPDEST
000016de: PUSH2 0x0819
000016e1: JUMPI
000016e2: PUSH1 0x40
000016e4: MLOAD
000016e5: PUSH32 0xc40d973400000000000000000000000000000000000000000000000000000000
00001706: DUP2
00001707: MSTORE
00001708: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000171d: DUP3
0000171e: AND
0000171f: PUSH1 0x04
00001721: DUP3
00001722: ADD
00001723: MSTORE
00001724: PUSH1 0x24
00001726: ADD
00001727: PUSH2 0x0cb9
0000172a: JUMP
0000172b: JUMPDEST
0000172c: PUSH32 0x4910fdfa16fed3260ed0e7147f7cc6da11a60208b5b9406d12a635614ffd9143
0000174d: SLOAD
0000174e: PUSH1 0xff
00001750: AND
00001751: ISZERO
00001752: PUSH2 0x175e
00001755: JUMPI
00001756: PUSH2 0x152a
00001759: DUP4
0000175a: PUSH2 0x1a53
0000175d: JUMP
0000175e: JUMPDEST
0000175f: DUP3
00001760: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001775: AND
00001776: PUSH4 0x52d1902d
0000177b: PUSH1 0x40
0000177d: MLOAD
0000177e: DUP2
0000177f: PUSH4 0xffffffff
00001784: AND
00001785: PUSH1 0xe0
00001787: SHL
00001788: DUP2
00001789: MSTORE
0000178a: PUSH1 0x04
0000178c: ADD
0000178d: PUSH1 0x20
0000178f: PUSH1 0x40
00001791: MLOAD
00001792: DUP1
00001793: DUP4
00001794: SUB
00001795: DUP2
00001796: DUP7
00001797: GAS
00001798: STATICCALL
00001799: SWAP3
0000179a: POP
0000179b: POP
0000179c: POP
0000179d: DUP1
0000179e: ISZERO
0000179f: PUSH2 0x17e3
000017a2: JUMPI
000017a3: POP
000017a4: PUSH1 0x40
000017a6: DUP1
000017a7: MLOAD
000017a8: PUSH1 0x1f
000017aa: RETURNDATASIZE
000017ab: SWAP1
000017ac: DUP2
000017ad: ADD
000017ae: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0
000017cf: AND
000017d0: DUP3
000017d1: ADD
000017d2: SWAP1
000017d3: SWAP3
000017d4: MSTORE
000017d5: PUSH2 0x17e0
000017d8: SWAP2
000017d9: DUP2
000017da: ADD
000017db: SWAP1
000017dc: PUSH2 0x2711
000017df: JUMP
000017e0: JUMPDEST
000017e1: PUSH1 0x01
000017e3: JUMPDEST
000017e4: PUSH2 0x1819
000017e7: JUMPI
000017e8: PUSH1 0x40
000017ea: MLOAD
000017eb: PUSH32 0xc0bb20b200000000000000000000000000000000000000000000000000000000
0000180c: DUP2
0000180d: MSTORE
0000180e: PUSH1 0x04
00001810: ADD
00001811: PUSH1 0x40
00001813: MLOAD
00001814: DUP1
00001815: SWAP2
00001816: SUB
00001817: SWAP1
00001818: REVERT
00001819: JUMPDEST
0000181a: PUSH32 0x360894a13ba1a3210667c828492db98dca3e2076cc3735a920a3ca505d382bbc
0000183b: DUP2
0000183c: EQ
0000183d: PUSH2 0x1872
00001840: JUMPI
00001841: PUSH1 0x40
00001843: MLOAD
00001844: PUSH32 0x0849b49600000000000000000000000000000000000000000000000000000000
00001865: DUP2
00001866: MSTORE
00001867: PUSH1 0x04
00001869: ADD
0000186a: PUSH1 0x40
0000186c: MLOAD
0000186d: DUP1
0000186e: SWAP2
0000186f: SUB
00001870: SWAP1
00001871: REVERT
00001872: JUMPDEST
00001873: POP
00001874: PUSH2 0x152a
00001877: DUP4
00001878: DUP4
00001879: DUP4
0000187a: PUSH2 0x1b09
0000187d: JUMP
0000187e: JUMPDEST
0000187f: PUSH1 0x00
00001881: PUSH16 0xffffffffffffffffffffffffffffffff
00001892: DUP3
00001893: GT
00001894: ISZERO
00001895: PUSH2 0x18ca
00001898: JUMPI
00001899: PUSH1 0x40
0000189b: MLOAD
0000189c: PUSH32 0xb0a90f3300000000000000000000000000000000000000000000000000000000
000018bd: DUP2
000018be: MSTORE
000018bf: PUSH1 0x04
000018c1: ADD
000018c2: PUSH1 0x40
000018c4: MLOAD
000018c5: DUP1
000018c6: SWAP2
000018c7: SUB
000018c8: SWAP1
000018c9: REVERT
000018ca: JUMPDEST
000018cb: POP
000018cc: SWAP1
000018cd: JUMP
000018ce: JUMPDEST
000018cf: PUSH1 0x00
000018d1: SLOAD
000018d2: PUSH2 0x0100
000018d5: SWAP1
000018d6: DIV
000018d7: PUSH1 0xff
000018d9: AND
000018da: PUSH2 0x190f
000018dd: JUMPI
000018de: PUSH1 0x40
000018e0: MLOAD
000018e1: PUSH32 0x624bb4ce00000000000000000000000000000000000000000000000000000000
00001902: DUP2
00001903: MSTORE
00001904: PUSH1 0x04
00001906: ADD
00001907: PUSH1 0x40
00001909: MLOAD
0000190a: DUP1
0000190b: SWAP2
0000190c: SUB
0000190d: SWAP1
0000190e: REVERT
0000190f: JUMPDEST
00001910: PUSH1 0x00
00001912: DUP1
00001913: SLOAD
00001914: PUSH32 0xffffffffffffffffffff0000000000000000000000000000000000000000ffff
00001935: AND
00001936: PUSH3 0x010000
0000193a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000194f: DUP5
00001950: AND
00001951: SWAP1
00001952: DUP2
00001953: MUL
00001954: SWAP2
00001955: SWAP1
00001956: SWAP2
00001957: OR
00001958: DUP3
00001959: SSTORE
0000195a: PUSH1 0x40
0000195c: MLOAD
0000195d: SWAP1
0000195e: SWAP2
0000195f: SWAP1
00001960: PUSH32 0x8292fce18fa69edf4db7b94ea2e58241df0ae57f97e0a6c9b29067028bf92d76
00001981: SWAP1
00001982: DUP3
00001983: SWAP1
00001984: LOG3
00001985: POP
00001986: JUMP
00001987: JUMPDEST
00001988: PUSH1 0x00
0000198a: DUP1
0000198b: SLOAD
0000198c: PUSH1 0x40
0000198e: MLOAD
0000198f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000019a4: DUP1
000019a5: DUP6
000019a6: AND
000019a7: SWAP4
000019a8: PUSH3 0x010000
000019ac: SWAP1
000019ad: SWAP4
000019ae: DIV
000019af: AND
000019b0: SWAP2
000019b1: PUSH32 0x8292fce18fa69edf4db7b94ea2e58241df0ae57f97e0a6c9b29067028bf92d76
000019d2: SWAP2
000019d3: LOG3
000019d4: PUSH1 0x00
000019d6: DUP1
000019d7: SLOAD
000019d8: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000019ed: DUP1
000019ee: DUP5
000019ef: AND
000019f0: PUSH3 0x010000
000019f4: MUL
000019f5: PUSH32 0xffffffffffffffffffff0000000000000000000000000000000000000000ffff
00001a16: SWAP1
00001a17: SWAP3
00001a18: AND
00001a19: SWAP2
00001a1a: SWAP1
00001a1b: SWAP2
00001a1c: OR
00001a1d: SWAP1
00001a1e: SWAP2
00001a1f: SSTORE
00001a20: PUSH1 0x01
00001a22: SLOAD
00001a23: AND
00001a24: ISZERO
00001a25: PUSH2 0x0819
00001a28: JUMPI
00001a29: PUSH1 0x01
00001a2b: DUP1
00001a2c: SLOAD
00001a2d: PUSH32 0xffffffffffffffffffffffff0000000000000000000000000000000000000000
00001a4e: AND
00001a4f: SWAP1
00001a50: SSTORE
00001a51: POP
00001a52: JUMP
00001a53: JUMPDEST
00001a54: DUP1
00001a55: EXTCODESIZE
00001a56: PUSH2 0x1aa3
00001a59: JUMPI
00001a5a: PUSH1 0x40
00001a5c: MLOAD
00001a5d: PUSH32 0xc40d973400000000000000000000000000000000000000000000000000000000
00001a7e: DUP2
00001a7f: MSTORE
00001a80: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001a95: DUP3
00001a96: AND
00001a97: PUSH1 0x04
00001a99: DUP3
00001a9a: ADD
00001a9b: MSTORE
00001a9c: PUSH1 0x24
00001a9e: ADD
00001a9f: PUSH2 0x0cb9
00001aa2: JUMP
00001aa3: JUMPDEST
00001aa4: PUSH32 0x360894a13ba1a3210667c828492db98dca3e2076cc3735a920a3ca505d382bbc
00001ac5: DUP1
00001ac6: SLOAD
00001ac7: PUSH32 0xffffffffffffffffffffffff0000000000000000000000000000000000000000
00001ae8: AND
00001ae9: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001afe: SWAP3
00001aff: SWAP1
00001b00: SWAP3
00001b01: AND
00001b02: SWAP2
00001b03: SWAP1
00001b04: SWAP2
00001b05: OR
00001b06: SWAP1
00001b07: SSTORE
00001b08: JUMP
00001b09: JUMPDEST
00001b0a: PUSH2 0x1b12
00001b0d: DUP4
00001b0e: PUSH2 0x1b34
00001b11: JUMP
00001b12: JUMPDEST
00001b13: PUSH1 0x00
00001b15: DUP3
00001b16: MLOAD
00001b17: GT
00001b18: DUP1
00001b19: PUSH2 0x1b1f
00001b1c: JUMPI
00001b1d: POP
00001b1e: DUP1
00001b1f: JUMPDEST
00001b20: ISZERO
00001b21: PUSH2 0x152a
00001b24: JUMPI
00001b25: PUSH2 0x1b2e
00001b28: DUP4
00001b29: DUP4
00001b2a: PUSH2 0x1b83
00001b2d: JUMP
00001b2e: JUMPDEST
00001b2f: POP
00001b30: POP
00001b31: POP
00001b32: POP
00001b33: JUMP
00001b34: JUMPDEST
00001b35: PUSH2 0x1b3d
00001b38: DUP2
00001b39: PUSH2 0x1a53
00001b3c: JUMP
00001b3d: JUMPDEST
00001b3e: PUSH1 0x40
00001b40: MLOAD
00001b41: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001b56: DUP3
00001b57: AND
00001b58: DUP2
00001b59: MSTORE
00001b5a: PUSH32 0xbc7cd75a20ee27fd9adebab32041f755214dbc6bffa90cc0225b39da2e5c2d3b
00001b7b: SWAP1
00001b7c: PUSH1 0x20
00001b7e: ADD
00001b7f: PUSH2 0x128d
00001b82: JUMP
00001b83: JUMPDEST
00001b84: PUSH1 0x60
00001b86: DUP3
00001b87: EXTCODESIZE
00001b88: PUSH2 0x1bbd
00001b8b: JUMPI
00001b8c: PUSH1 0x40
00001b8e: MLOAD
00001b8f: PUSH32 0x37f2022900000000000000000000000000000000000000000000000000000000
00001bb0: DUP2
00001bb1: MSTORE
00001bb2: PUSH1 0x04
00001bb4: ADD
00001bb5: PUSH1 0x40
00001bb7: MLOAD
00001bb8: DUP1
00001bb9: SWAP2
00001bba: SUB
00001bbb: SWAP1
00001bbc: REVERT
00001bbd: JUMPDEST
00001bbe: PUSH1 0x00
00001bc0: DUP1
00001bc1: DUP5
00001bc2: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001bd7: AND
00001bd8: DUP5
00001bd9: PUSH1 0x40
00001bdb: MLOAD
00001bdc: PUSH2 0x1be5
00001bdf: SWAP2
00001be0: SWAP1
00001be1: PUSH2 0x272a
00001be4: JUMP
00001be5: JUMPDEST
00001be6: PUSH1 0x00
00001be8: PUSH1 0x40
00001bea: MLOAD
00001beb: DUP1
00001bec: DUP4
00001bed: SUB
00001bee: DUP2
00001bef: DUP6
00001bf0: GAS
00001bf1: DELEGATECALL
00001bf2: SWAP2
00001bf3: POP
00001bf4: POP
00001bf5: RETURNDATASIZE
00001bf6: DUP1
00001bf7: PUSH1 0x00
00001bf9: DUP2
00001bfa: EQ
00001bfb: PUSH2 0x1c20
00001bfe: JUMPI
00001bff: PUSH1 0x40
00001c01: MLOAD
00001c02: SWAP2
00001c03: POP
00001c04: PUSH1 0x1f
00001c06: NOT
00001c07: PUSH1 0x3f
00001c09: RETURNDATASIZE
00001c0a: ADD
00001c0b: AND
00001c0c: DUP3
00001c0d: ADD
00001c0e: PUSH1 0x40
00001c10: MSTORE
00001c11: RETURNDATASIZE
00001c12: DUP3
00001c13: MSTORE
00001c14: RETURNDATASIZE
00001c15: PUSH1 0x00
00001c17: PUSH1 0x20
00001c19: DUP5
00001c1a: ADD
00001c1b: RETURNDATACOPY
00001c1c: PUSH2 0x1c25
00001c1f: JUMP
00001c20: JUMPDEST
00001c21: PUSH1 0x60
00001c23: SWAP2
00001c24: POP
00001c25: JUMPDEST
00001c26: POP
00001c27: SWAP2
00001c28: POP
00001c29: SWAP2
00001c2a: POP
00001c2b: PUSH2 0x1c34
00001c2e: DUP3
00001c2f: DUP3
00001c30: PUSH2 0x1c3d
00001c33: JUMP
00001c34: JUMPDEST
00001c35: SWAP6
00001c36: SWAP5
00001c37: POP
00001c38: POP
00001c39: POP
00001c3a: POP
00001c3b: POP
00001c3c: JUMP
00001c3d: JUMPDEST
00001c3e: PUSH1 0x60
00001c40: DUP3
00001c41: ISZERO
00001c42: PUSH2 0x1c4c
00001c45: JUMPI
00001c46: POP
00001c47: DUP1
00001c48: PUSH2 0x0f46
00001c4b: JUMP
00001c4c: JUMPDEST
00001c4d: DUP2
00001c4e: MLOAD
00001c4f: ISZERO
00001c50: PUSH2 0x1c5c
00001c53: JUMPI
00001c54: DUP2
00001c55: MLOAD
00001c56: DUP1
00001c57: DUP4
00001c58: PUSH1 0x20
00001c5a: ADD
00001c5b: REVERT
00001c5c: JUMPDEST
00001c5d: PUSH1 0x40
00001c5f: MLOAD
00001c60: PUSH32 0x62536b1000000000000000000000000000000000000000000000000000000000
00001c81: DUP2
00001c82: MSTORE
00001c83: PUSH1 0x04
00001c85: ADD
00001c86: PUSH1 0x40
00001c88: MLOAD
00001c89: DUP1
00001c8a: SWAP2
00001c8b: SUB
00001c8c: SWAP1
00001c8d: REVERT
00001c8e: JUMPDEST
00001c8f: PUSH1 0x00
00001c91: PUSH1 0x20
00001c93: DUP3
00001c94: DUP5
00001c95: SUB
00001c96: SLT
00001c97: ISZERO
00001c98: PUSH2 0x1ca0
00001c9b: JUMPI
00001c9c: PUSH1 0x00
00001c9e: DUP1
00001c9f: REVERT
00001ca0: JUMPDEST
00001ca1: POP
00001ca2: CALLDATALOAD
00001ca3: SWAP2
00001ca4: SWAP1
00001ca5: POP
00001ca6: JUMP
00001ca7: JUMPDEST
00001ca8: DUP1
00001ca9: CALLDATALOAD
00001caa: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001cbf: DUP2
00001cc0: AND
00001cc1: DUP2
00001cc2: EQ
00001cc3: PUSH2 0x1ccb
00001cc6: JUMPI
00001cc7: PUSH1 0x00
00001cc9: DUP1
00001cca: REVERT
00001ccb: JUMPDEST
00001ccc: SWAP2
00001ccd: SWAP1
00001cce: POP
00001ccf: JUMP
00001cd0: JUMPDEST
00001cd1: PUSH32 0x4e487b7100000000000000000000000000000000000000000000000000000000
00001cf2: PUSH1 0x00
00001cf4: MSTORE
00001cf5: PUSH1 0x41
00001cf7: PUSH1 0x04
00001cf9: MSTORE
00001cfa: PUSH1 0x24
00001cfc: PUSH1 0x00
00001cfe: REVERT
00001cff: JUMPDEST
00001d00: PUSH1 0x40
00001d02: MLOAD
00001d03: PUSH1 0x1f
00001d05: DUP3
00001d06: ADD
00001d07: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0
00001d28: AND
00001d29: DUP2
00001d2a: ADD
00001d2b: PUSH8 0xffffffffffffffff
00001d34: DUP2
00001d35: GT
00001d36: DUP3
00001d37: DUP3
00001d38: LT
00001d39: OR
00001d3a: ISZERO
00001d3b: PUSH2 0x1d46
00001d3e: JUMPI
00001d3f: PUSH2 0x1d46
00001d42: PUSH2 0x1cd0
00001d45: JUMP
00001d46: JUMPDEST
00001d47: PUSH1 0x40
00001d49: MSTORE
00001d4a: SWAP2
00001d4b: SWAP1
00001d4c: POP
00001d4d: JUMP
00001d4e: JUMPDEST
00001d4f: PUSH1 0x00
00001d51: DUP3
00001d52: PUSH1 0x1f
00001d54: DUP4
00001d55: ADD
00001d56: SLT
00001d57: PUSH2 0x1d5f
00001d5a: JUMPI
00001d5b: PUSH1 0x00
00001d5d: DUP1
00001d5e: REVERT
00001d5f: JUMPDEST
00001d60: DUP2
00001d61: CALLDATALOAD
00001d62: PUSH8 0xffffffffffffffff
00001d6b: DUP2
00001d6c: GT
00001d6d: ISZERO
00001d6e: PUSH2 0x1d79
00001d71: JUMPI
00001d72: PUSH2 0x1d79
00001d75: PUSH2 0x1cd0
00001d78: JUMP
00001d79: JUMPDEST
00001d7a: PUSH2 0x1daa
00001d7d: PUSH1 0x20
00001d7f: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0
00001da0: PUSH1 0x1f
00001da2: DUP5
00001da3: ADD
00001da4: AND
00001da5: ADD
00001da6: PUSH2 0x1cff
00001da9: JUMP
00001daa: JUMPDEST
00001dab: DUP2
00001dac: DUP2
00001dad: MSTORE
00001dae: DUP5
00001daf: PUSH1 0x20
00001db1: DUP4
00001db2: DUP7
00001db3: ADD
00001db4: ADD
00001db5: GT
00001db6: ISZERO
00001db7: PUSH2 0x1dbf
00001dba: JUMPI
00001dbb: PUSH1 0x00
00001dbd: DUP1
00001dbe: REVERT
00001dbf: JUMPDEST
00001dc0: DUP2
00001dc1: PUSH1 0x20
00001dc3: DUP6
00001dc4: ADD
00001dc5: PUSH1 0x20
00001dc7: DUP4
00001dc8: ADD
00001dc9: CALLDATACOPY
00001dca: PUSH1 0x00
00001dcc: SWAP2
00001dcd: DUP2
00001dce: ADD
00001dcf: PUSH1 0x20
00001dd1: ADD
00001dd2: SWAP2
00001dd3: SWAP1
00001dd4: SWAP2
00001dd5: MSTORE
00001dd6: SWAP4
00001dd7: SWAP3
00001dd8: POP
00001dd9: POP
00001dda: POP
00001ddb: JUMP
00001ddc: JUMPDEST
00001ddd: PUSH1 0x00
00001ddf: DUP1
00001de0: PUSH1 0x00
00001de2: DUP1
00001de3: PUSH1 0x80
00001de5: DUP6
00001de6: DUP8
00001de7: SUB
00001de8: SLT
00001de9: ISZERO
00001dea: PUSH2 0x1df2
00001ded: JUMPI
00001dee: PUSH1 0x00
00001df0: DUP1
00001df1: REVERT
00001df2: JUMPDEST
00001df3: PUSH2 0x1dfb
00001df6: DUP6
00001df7: PUSH2 0x1ca7
00001dfa: JUMP
00001dfb: JUMPDEST
00001dfc: SWAP4
00001dfd: POP
00001dfe: PUSH2 0x1e09
00001e01: PUSH1 0x20
00001e03: DUP7
00001e04: ADD
00001e05: PUSH2 0x1ca7
00001e08: JUMP
00001e09: JUMPDEST
00001e0a: SWAP3
00001e0b: POP
00001e0c: PUSH1 0x40
00001e0e: DUP6
00001e0f: ADD
00001e10: CALLDATALOAD
00001e11: SWAP2
00001e12: POP
00001e13: PUSH1 0x60
00001e15: DUP6
00001e16: ADD
00001e17: CALLDATALOAD
00001e18: PUSH8 0xffffffffffffffff
00001e21: DUP2
00001e22: GT
00001e23: ISZERO
00001e24: PUSH2 0x1e2c
00001e27: JUMPI
00001e28: PUSH1 0x00
00001e2a: DUP1
00001e2b: REVERT
00001e2c: JUMPDEST
00001e2d: PUSH2 0x1e38
00001e30: DUP8
00001e31: DUP3
00001e32: DUP9
00001e33: ADD
00001e34: PUSH2 0x1d4e
00001e37: JUMP
00001e38: JUMPDEST
00001e39: SWAP2
00001e3a: POP
00001e3b: POP
00001e3c: SWAP3
00001e3d: SWAP6
00001e3e: SWAP2
00001e3f: SWAP5
00001e40: POP
00001e41: SWAP3
00001e42: POP
00001e43: JUMP
00001e44: JUMPDEST
00001e45: PUSH1 0x00
00001e47: PUSH1 0x20
00001e49: DUP3
00001e4a: DUP5
00001e4b: SUB
00001e4c: SLT
00001e4d: ISZERO
00001e4e: PUSH2 0x1e56
00001e51: JUMPI
00001e52: PUSH1 0x00
00001e54: DUP1
00001e55: REVERT
00001e56: JUMPDEST
00001e57: PUSH2 0x1e5f
00001e5a: DUP3
00001e5b: PUSH2 0x1ca7
00001e5e: JUMP
00001e5f: JUMPDEST
00001e60: SWAP4
00001e61: SWAP3
00001e62: POP
00001e63: POP
00001e64: POP
00001e65: JUMP
00001e66: JUMPDEST
00001e67: PUSH1 0x00
00001e69: DUP1
00001e6a: PUSH1 0x40
00001e6c: DUP4
00001e6d: DUP6
00001e6e: SUB
00001e6f: SLT
00001e70: ISZERO
00001e71: PUSH2 0x1e79
00001e74: JUMPI
00001e75: PUSH1 0x00
00001e77: DUP1
00001e78: REVERT
00001e79: JUMPDEST
00001e7a: PUSH2 0x1e82
00001e7d: DUP4
00001e7e: PUSH2 0x1ca7
00001e81: JUMP
00001e82: JUMPDEST
00001e83: SWAP2
00001e84: POP
00001e85: PUSH1 0x20
00001e87: DUP4
00001e88: ADD
00001e89: CALLDATALOAD
00001e8a: PUSH8 0xffffffffffffffff
00001e93: DUP2
00001e94: GT
00001e95: ISZERO
00001e96: PUSH2 0x1e9e
00001e99: JUMPI
00001e9a: PUSH1 0x00
00001e9c: DUP1
00001e9d: REVERT
00001e9e: JUMPDEST
00001e9f: PUSH2 0x1eaa
00001ea2: DUP6
00001ea3: DUP3
00001ea4: DUP7
00001ea5: ADD
00001ea6: PUSH2 0x1d4e
00001ea9: JUMP
00001eaa: JUMPDEST
00001eab: SWAP2
00001eac: POP
00001ead: POP
00001eae: SWAP3
00001eaf: POP
00001eb0: SWAP3
00001eb1: SWAP1
00001eb2: POP
00001eb3: JUMP
00001eb4: JUMPDEST
00001eb5: PUSH1 0x00
00001eb7: DUP1
00001eb8: DUP4
00001eb9: PUSH1 0x1f
00001ebb: DUP5
00001ebc: ADD
00001ebd: SLT
00001ebe: PUSH2 0x1ec6
00001ec1: JUMPI
00001ec2: PUSH1 0x00
00001ec4: DUP1
00001ec5: REVERT
00001ec6: JUMPDEST
00001ec7: POP
00001ec8: DUP2
00001ec9: CALLDATALOAD
00001eca: PUSH8 0xffffffffffffffff
00001ed3: DUP2
00001ed4: GT
00001ed5: ISZERO
00001ed6: PUSH2 0x1ede
00001ed9: JUMPI
00001eda: PUSH1 0x00
00001edc: DUP1
00001edd: REVERT
00001ede: JUMPDEST
00001edf: PUSH1 0x20
00001ee1: DUP4
00001ee2: ADD
00001ee3: SWAP2
00001ee4: POP
00001ee5: DUP4
00001ee6: PUSH1 0x20
00001ee8: DUP3
00001ee9: PUSH1 0x05
00001eeb: SHL
00001eec: DUP6
00001eed: ADD
00001eee: ADD
00001eef: GT
00001ef0: ISZERO
00001ef1: PUSH2 0x1ef9
00001ef4: JUMPI
00001ef5: PUSH1 0x00
00001ef7: DUP1
00001ef8: REVERT
00001ef9: JUMPDEST
00001efa: SWAP3
00001efb: POP
00001efc: SWAP3
00001efd: SWAP1
00001efe: POP
00001eff: JUMP
00001f00: JUMPDEST
00001f01: PUSH1 0x00
00001f03: DUP1
00001f04: PUSH1 0x00
00001f06: DUP1
00001f07: PUSH1 0x00
00001f09: DUP1
00001f0a: PUSH1 0x00
00001f0c: DUP1
00001f0d: PUSH1 0xa0
00001f0f: DUP10
00001f10: DUP12
00001f11: SUB
00001f12: SLT
00001f13: ISZERO
00001f14: PUSH2 0x1f1c
00001f17: JUMPI
00001f18: PUSH1 0x00
00001f1a: DUP1
00001f1b: REVERT
00001f1c: JUMPDEST
00001f1d: DUP9
00001f1e: CALLDATALOAD
00001f1f: PUSH8 0xffffffffffffffff
00001f28: DUP1
00001f29: DUP3
00001f2a: GT
00001f2b: ISZERO
00001f2c: PUSH2 0x1f34
00001f2f: JUMPI
00001f30: PUSH1 0x00
00001f32: DUP1
00001f33: REVERT
00001f34: JUMPDEST
00001f35: PUSH2 0x1f40
00001f38: DUP13
00001f39: DUP4
00001f3a: DUP14
00001f3b: ADD
00001f3c: PUSH2 0x1eb4
00001f3f: JUMP
00001f40: JUMPDEST
00001f41: SWAP1
00001f42: SWAP11
00001f43: POP
00001f44: SWAP9
00001f45: POP
00001f46: PUSH1 0x20
00001f48: DUP12
00001f49: ADD
00001f4a: CALLDATALOAD
00001f4b: SWAP2
00001f4c: POP
00001f4d: DUP1
00001f4e: DUP3
00001f4f: GT
00001f50: ISZERO
00001f51: PUSH2 0x1f59
00001f54: JUMPI
00001f55: PUSH1 0x00
00001f57: DUP1
00001f58: REVERT
00001f59: JUMPDEST
00001f5a: PUSH2 0x1f65
00001f5d: DUP13
00001f5e: DUP4
00001f5f: DUP14
00001f60: ADD
00001f61: PUSH2 0x1eb4
00001f64: JUMP
00001f65: JUMPDEST
00001f66: SWAP1
00001f67: SWAP9
00001f68: POP
00001f69: SWAP7
00001f6a: POP
00001f6b: PUSH1 0x40
00001f6d: DUP12
00001f6e: ADD
00001f6f: CALLDATALOAD
00001f70: SWAP2
00001f71: POP
00001f72: DUP1
00001f73: DUP3
00001f74: GT
00001f75: ISZERO
00001f76: PUSH2 0x1f7e
00001f79: JUMPI
00001f7a: PUSH1 0x00
00001f7c: DUP1
00001f7d: REVERT
00001f7e: JUMPDEST
00001f7f: POP
00001f80: PUSH2 0x1f8b
00001f83: DUP12
00001f84: DUP3
00001f85: DUP13
00001f86: ADD
00001f87: PUSH2 0x1eb4
00001f8a: JUMP
00001f8b: JUMPDEST
00001f8c: SWAP1
00001f8d: SWAP6
00001f8e: POP
00001f8f: SWAP4
00001f90: POP
00001f91: POP
00001f92: PUSH1 0x60
00001f94: DUP10
00001f95: ADD
00001f96: CALLDATALOAD
00001f97: SWAP2
00001f98: POP
00001f99: PUSH2 0x1fa4
00001f9c: PUSH1 0x80
00001f9e: DUP11
00001f9f: ADD
00001fa0: PUSH2 0x1ca7
00001fa3: JUMP
00001fa4: JUMPDEST
00001fa5: SWAP1
00001fa6: POP
00001fa7: SWAP3
00001fa8: SWAP6
00001fa9: SWAP9
00001faa: POP
00001fab: SWAP3
00001fac: SWAP6
00001fad: SWAP9
00001fae: SWAP1
00001faf: SWAP4
00001fb0: SWAP7
00001fb1: POP
00001fb2: JUMP
00001fb3: JUMPDEST
00001fb4: PUSH1 0x00
00001fb6: PUSH8 0xffffffffffffffff
00001fbf: DUP3
00001fc0: GT
00001fc1: ISZERO
00001fc2: PUSH2 0x1fcd
00001fc5: JUMPI
00001fc6: PUSH2 0x1fcd
00001fc9: PUSH2 0x1cd0
00001fcc: JUMP
00001fcd: JUMPDEST
00001fce: POP
00001fcf: PUSH1 0x05
00001fd1: SHL
00001fd2: PUSH1 0x20
00001fd4: ADD
00001fd5: SWAP1
00001fd6: JUMP
00001fd7: JUMPDEST
00001fd8: PUSH1 0x00
00001fda: DUP3
00001fdb: PUSH1 0x1f
00001fdd: DUP4
00001fde: ADD
00001fdf: SLT
00001fe0: PUSH2 0x1fe8
00001fe3: JUMPI
00001fe4: PUSH1 0x00
00001fe6: DUP1
00001fe7: REVERT
00001fe8: JUMPDEST
00001fe9: DUP2
00001fea: CALLDATALOAD
00001feb: PUSH1 0x20
00001fed: PUSH2 0x1ffd
00001ff0: PUSH2 0x1ff8
00001ff3: DUP4
00001ff4: PUSH2 0x1fb3
00001ff7: JUMP
00001ff8: JUMPDEST
00001ff9: PUSH2 0x1cff
00001ffc: JUMP
00001ffd: JUMPDEST
00001ffe: DUP3
00001fff: DUP2
00002000: MSTORE
00002001: PUSH1 0x05
00002003: SWAP3
00002004: SWAP1
00002005: SWAP3
00002006: SHL
00002007: DUP5
00002008: ADD
00002009: DUP2
0000200a: ADD
0000200b: SWAP2
0000200c: DUP2
0000200d: DUP2
0000200e: ADD
0000200f: SWAP1
00002010: DUP7
00002011: DUP5
00002012: GT
00002013: ISZERO
00002014: PUSH2 0x201c
00002017: JUMPI
00002018: PUSH1 0x00
0000201a: DUP1
0000201b: REVERT
0000201c: JUMPDEST
0000201d: DUP3
0000201e: DUP7
0000201f: ADD
00002020: JUMPDEST
00002021: DUP5
00002022: DUP2
00002023: LT
00002024: ISZERO
00002025: PUSH2 0x2037
00002028: JUMPI
00002029: DUP1
0000202a: CALLDATALOAD
0000202b: DUP4
0000202c: MSTORE
0000202d: SWAP2
0000202e: DUP4
0000202f: ADD
00002030: SWAP2
00002031: DUP4
00002032: ADD
00002033: PUSH2 0x2020
00002036: JUMP
00002037: JUMPDEST
00002038: POP
00002039: SWAP7
0000203a: SWAP6
0000203b: POP
0000203c: POP
0000203d: POP
0000203e: POP
0000203f: POP
00002040: POP
00002041: JUMP
00002042: JUMPDEST
00002043: PUSH1 0x00
00002045: PUSH2 0x2050
00002048: PUSH2 0x1ff8
0000204b: DUP5
0000204c: PUSH2 0x1fb3
0000204f: JUMP
00002050: JUMPDEST
00002051: DUP4
00002052: DUP2
00002053: MSTORE
00002054: SWAP1
00002055: POP
00002056: PUSH1 0x20
00002058: DUP1
00002059: DUP3
0000205a: ADD
0000205b: SWAP1
0000205c: PUSH1 0x05
0000205e: DUP6
0000205f: SWAP1
00002060: SHL
00002061: DUP5
00002062: ADD
00002063: DUP7
00002064: DUP2
00002065: GT
00002066: ISZERO
00002067: PUSH2 0x206f
0000206a: JUMPI
0000206b: PUSH1 0x00
0000206d: DUP1
0000206e: REVERT
0000206f: JUMPDEST
00002070: DUP5
00002071: JUMPDEST
00002072: DUP2
00002073: DUP2
00002074: LT
00002075: ISZERO
00002076: PUSH2 0x20ab
00002079: JUMPI
0000207a: DUP1
0000207b: CALLDATALOAD
0000207c: PUSH8 0xffffffffffffffff
00002085: DUP2
00002086: GT
00002087: ISZERO
00002088: PUSH2 0x2091
0000208b: JUMPI
0000208c: PUSH1 0x00
0000208e: DUP1
0000208f: DUP2
00002090: REVERT
00002091: JUMPDEST
00002092: PUSH2 0x209d
00002095: DUP10
00002096: DUP3
00002097: DUP10
00002098: ADD
00002099: PUSH2 0x1d4e
0000209c: JUMP
0000209d: JUMPDEST
0000209e: DUP6
0000209f: MSTORE
000020a0: POP
000020a1: SWAP3
000020a2: DUP3
000020a3: ADD
000020a4: SWAP3
000020a5: DUP3
000020a6: ADD
000020a7: PUSH2 0x2071
000020aa: JUMP
000020ab: JUMPDEST
000020ac: POP
000020ad: POP
000020ae: POP
000020af: POP
000020b0: SWAP4
000020b1: SWAP3
000020b2: POP
000020b3: POP
000020b4: POP
000020b5: JUMP
000020b6: JUMPDEST
000020b7: PUSH1 0x00
000020b9: DUP3
000020ba: PUSH1 0x1f
000020bc: DUP4
000020bd: ADD
000020be: SLT
000020bf: PUSH2 0x20c7
000020c2: JUMPI
000020c3: PUSH1 0x00
000020c5: DUP1
000020c6: REVERT
000020c7: JUMPDEST
000020c8: PUSH2 0x1e5f
000020cb: DUP4
000020cc: DUP4
000020cd: CALLDATALOAD
000020ce: PUSH1 0x20
000020d0: DUP6
000020d1: ADD
000020d2: PUSH2 0x2042
000020d5: JUMP
000020d6: JUMPDEST
000020d7: PUSH1 0x00
000020d9: DUP1
000020da: PUSH1 0x00
000020dc: DUP1
000020dd: PUSH1 0x00
000020df: PUSH1 0xa0
000020e1: DUP7
000020e2: DUP9
000020e3: SUB
000020e4: SLT
000020e5: ISZERO
000020e6: PUSH2 0x20ee
000020e9: JUMPI
000020ea: PUSH1 0x00
000020ec: DUP1
000020ed: REVERT
000020ee: JUMPDEST
000020ef: DUP6
000020f0: CALLDATALOAD
000020f1: PUSH8 0xffffffffffffffff
000020fa: DUP1
000020fb: DUP3
000020fc: GT
000020fd: ISZERO
000020fe: PUSH2 0x2106
00002101: JUMPI
00002102: PUSH1 0x00
00002104: DUP1
00002105: REVERT
00002106: JUMPDEST
00002107: DUP2
00002108: DUP9
00002109: ADD
0000210a: SWAP2
0000210b: POP
0000210c: DUP9
0000210d: PUSH1 0x1f
0000210f: DUP4
00002110: ADD
00002111: SLT
00002112: PUSH2 0x211a
00002115: JUMPI
00002116: PUSH1 0x00
00002118: DUP1
00002119: REVERT
0000211a: JUMPDEST
0000211b: DUP2
0000211c: CALLDATALOAD
0000211d: PUSH1 0x20
0000211f: PUSH2 0x212a
00002122: PUSH2 0x1ff8
00002125: DUP4
00002126: PUSH2 0x1fb3
00002129: JUMP
0000212a: JUMPDEST
0000212b: DUP3
0000212c: DUP2
0000212d: MSTORE
0000212e: PUSH1 0x05
00002130: SWAP3
00002131: SWAP1
00002132: SWAP3
00002133: SHL
00002134: DUP5
00002135: ADD
00002136: DUP2
00002137: ADD
00002138: SWAP2
00002139: DUP2
0000213a: DUP2
0000213b: ADD
0000213c: SWAP1
0000213d: DUP13
0000213e: DUP5
0000213f: GT
00002140: ISZERO
00002141: PUSH2 0x2149
00002144: JUMPI
00002145: PUSH1 0x00
00002147: DUP1
00002148: REVERT
00002149: JUMPDEST
0000214a: SWAP5
0000214b: DUP3
0000214c: ADD
0000214d: SWAP5
0000214e: JUMPDEST
0000214f: DUP4
00002150: DUP7
00002151: LT
00002152: ISZERO
00002153: PUSH2 0x216e
00002156: JUMPI
00002157: PUSH2 0x215f
0000215a: DUP7
0000215b: PUSH2 0x1ca7
0000215e: JUMP
0000215f: JUMPDEST
00002160: DUP3
00002161: MSTORE
00002162: SWAP5
00002163: DUP3
00002164: ADD
00002165: SWAP5
00002166: SWAP1
00002167: DUP3
00002168: ADD
00002169: SWAP1
0000216a: PUSH2 0x214e
0000216d: JUMP
0000216e: JUMPDEST
0000216f: SWAP10
00002170: POP
00002171: POP
00002172: DUP10
00002173: ADD
00002174: CALLDATALOAD
00002175: SWAP3
00002176: POP
00002177: POP
00002178: DUP1
00002179: DUP3
0000217a: GT
0000217b: ISZERO
0000217c: PUSH2 0x2184
0000217f: JUMPI
00002180: PUSH1 0x00
00002182: DUP1
00002183: REVERT
00002184: JUMPDEST
00002185: PUSH2 0x2190
00002188: DUP10
00002189: DUP4
0000218a: DUP11
0000218b: ADD
0000218c: PUSH2 0x1fd7
0000218f: JUMP
00002190: JUMPDEST
00002191: SWAP6
00002192: POP
00002193: PUSH1 0x40
00002195: DUP9
00002196: ADD
00002197: CALLDATALOAD
00002198: SWAP2
00002199: POP
0000219a: DUP1
0000219b: DUP3
0000219c: GT
0000219d: ISZERO
0000219e: PUSH2 0x21a6
000021a1: JUMPI
000021a2: PUSH1 0x00
000021a4: DUP1
000021a5: REVERT
000021a6: JUMPDEST
000021a7: POP
000021a8: PUSH2 0x21b3
000021ab: DUP9
000021ac: DUP3
000021ad: DUP10
000021ae: ADD
000021af: PUSH2 0x20b6
000021b2: JUMP
000021b3: JUMPDEST
000021b4: SWAP4
000021b5: POP
000021b6: POP
000021b7: PUSH1 0x60
000021b9: DUP7
000021ba: ADD
000021bb: CALLDATALOAD
000021bc: SWAP2
000021bd: POP
000021be: PUSH2 0x21c9
000021c1: PUSH1 0x80
000021c3: DUP8
000021c4: ADD
000021c5: PUSH2 0x1ca7
000021c8: JUMP
000021c9: JUMPDEST
000021ca: SWAP1
000021cb: POP
000021cc: SWAP3
000021cd: SWAP6
000021ce: POP
000021cf: SWAP3
000021d0: SWAP6
000021d1: SWAP1
000021d2: SWAP4
000021d3: POP
000021d4: JUMP
000021d5: JUMPDEST
000021d6: PUSH1 0x00
000021d8: DUP1
000021d9: PUSH1 0x00
000021db: DUP1
000021dc: PUSH1 0x00
000021de: PUSH1 0xa0
000021e0: DUP7
000021e1: DUP9
000021e2: SUB
000021e3: SLT
000021e4: ISZERO
000021e5: PUSH2 0x21ed
000021e8: JUMPI
000021e9: PUSH1 0x00
000021eb: DUP1
000021ec: REVERT
000021ed: JUMPDEST
000021ee: PUSH2 0x21f6
000021f1: DUP7
000021f2: PUSH2 0x1ca7
000021f5: JUMP
000021f6: JUMPDEST
000021f7: SWAP5
000021f8: POP
000021f9: PUSH2 0x2204
000021fc: PUSH1 0x20
000021fe: DUP8
000021ff: ADD
00002200: PUSH2 0x1ca7
00002203: JUMP
00002204: JUMPDEST
00002205: SWAP4
00002206: POP
00002207: PUSH1 0x40
00002209: DUP7
0000220a: ADD
0000220b: CALLDATALOAD
0000220c: PUSH8 0xffffffffffffffff
00002215: DUP1
00002216: DUP3
00002217: GT
00002218: ISZERO
00002219: PUSH2 0x2221
0000221c: JUMPI
0000221d: PUSH1 0x00
0000221f: DUP1
00002220: REVERT
00002221: JUMPDEST
00002222: PUSH2 0x222d
00002225: DUP10
00002226: DUP4
00002227: DUP11
00002228: ADD
00002229: PUSH2 0x1fd7
0000222c: JUMP
0000222d: JUMPDEST
0000222e: SWAP5
0000222f: POP
00002230: PUSH1 0x60
00002232: DUP9
00002233: ADD
00002234: CALLDATALOAD
00002235: SWAP2
00002236: POP
00002237: DUP1
00002238: DUP3
00002239: GT
0000223a: ISZERO
0000223b: PUSH2 0x2243
0000223e: JUMPI
0000223f: PUSH1 0x00
00002241: DUP1
00002242: REVERT
00002243: JUMPDEST
00002244: PUSH2 0x224f
00002247: DUP10
00002248: DUP4
00002249: DUP11
0000224a: ADD
0000224b: PUSH2 0x1fd7
0000224e: JUMP
0000224f: JUMPDEST
00002250: SWAP4
00002251: POP
00002252: PUSH1 0x80
00002254: DUP9
00002255: ADD
00002256: CALLDATALOAD
00002257: SWAP2
00002258: POP
00002259: DUP1
0000225a: DUP3
0000225b: GT
0000225c: ISZERO
0000225d: PUSH2 0x2265
00002260: JUMPI
00002261: PUSH1 0x00
00002263: DUP1
00002264: REVERT
00002265: JUMPDEST
00002266: POP
00002267: PUSH2 0x2272
0000226a: DUP9
0000226b: DUP3
0000226c: DUP10
0000226d: ADD
0000226e: PUSH2 0x1d4e
00002271: JUMP
00002272: JUMPDEST
00002273: SWAP2
00002274: POP
00002275: POP
00002276: SWAP3
00002277: SWAP6
00002278: POP
00002279: SWAP3
0000227a: SWAP6
0000227b: SWAP1
0000227c: SWAP4
0000227d: POP
0000227e: JUMP
0000227f: JUMPDEST
00002280: PUSH1 0x00
00002282: DUP1
00002283: PUSH1 0x40
00002285: DUP4
00002286: DUP6
00002287: SUB
00002288: SLT
00002289: ISZERO
0000228a: PUSH2 0x2292
0000228d: JUMPI
0000228e: PUSH1 0x00
00002290: DUP1
00002291: REVERT
00002292: JUMPDEST
00002293: PUSH2 0x229b
00002296: DUP4
00002297: PUSH2 0x1ca7
0000229a: JUMP
0000229b: JUMPDEST
0000229c: SWAP5
0000229d: PUSH1 0x20
0000229f: SWAP4
000022a0: SWAP1
000022a1: SWAP4
000022a2: ADD
000022a3: CALLDATALOAD
000022a4: SWAP4
000022a5: POP
000022a6: POP
000022a7: POP
000022a8: JUMP
000022a9: JUMPDEST
000022aa: PUSH1 0x00
000022ac: DUP1
000022ad: PUSH1 0x00
000022af: DUP1
000022b0: PUSH1 0x00
000022b2: PUSH1 0xa0
000022b4: DUP7
000022b5: DUP9
000022b6: SUB
000022b7: SLT
000022b8: ISZERO
000022b9: PUSH2 0x22c1
000022bc: JUMPI
000022bd: PUSH1 0x00
000022bf: DUP1
000022c0: REVERT
000022c1: JUMPDEST
000022c2: PUSH2 0x22ca
000022c5: DUP7
000022c6: PUSH2 0x1ca7
000022c9: JUMP
000022ca: JUMPDEST
000022cb: SWAP5
000022cc: POP
000022cd: PUSH2 0x22d8
000022d0: PUSH1 0x20
000022d2: DUP8
000022d3: ADD
000022d4: PUSH2 0x1ca7
000022d7: JUMP
000022d8: JUMPDEST
000022d9: SWAP4
000022da: POP
000022db: PUSH1 0x40
000022dd: DUP7
000022de: ADD
000022df: CALLDATALOAD
000022e0: SWAP3
000022e1: POP
000022e2: PUSH1 0x60
000022e4: DUP7
000022e5: ADD
000022e6: CALLDATALOAD
000022e7: SWAP2
000022e8: POP
000022e9: PUSH1 0x80
000022eb: DUP7
000022ec: ADD
000022ed: CALLDATALOAD
000022ee: PUSH8 0xffffffffffffffff
000022f7: DUP2
000022f8: GT
000022f9: ISZERO
000022fa: PUSH2 0x2302
000022fd: JUMPI
000022fe: PUSH1 0x00
00002300: DUP1
00002301: REVERT
00002302: JUMPDEST
00002303: PUSH2 0x2272
00002306: DUP9
00002307: DUP3
00002308: DUP10
00002309: ADD
0000230a: PUSH2 0x1d4e
0000230d: JUMP
0000230e: JUMPDEST
0000230f: PUSH1 0x00
00002311: PUSH2 0x1e5f
00002314: CALLDATASIZE
00002315: DUP5
00002316: DUP5
00002317: PUSH2 0x2042
0000231a: JUMP
0000231b: JUMPDEST
0000231c: PUSH32 0x4e487b7100000000000000000000000000000000000000000000000000000000
0000233d: PUSH1 0x00
0000233f: MSTORE
00002340: PUSH1 0x32
00002342: PUSH1 0x04
00002344: MSTORE
00002345: PUSH1 0x24
00002347: PUSH1 0x00
00002349: REVERT
0000234a: JUMPDEST
0000234b: PUSH1 0x00
0000234d: DUP1
0000234e: DUP4
0000234f: CALLDATALOAD
00002350: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe1
00002371: DUP5
00002372: CALLDATASIZE
00002373: SUB
00002374: ADD
00002375: DUP2
00002376: SLT
00002377: PUSH2 0x237f
0000237a: JUMPI
0000237b: PUSH1 0x00
0000237d: DUP1
0000237e: REVERT
0000237f: JUMPDEST
00002380: DUP4
00002381: ADD
00002382: DUP1
00002383: CALLDATALOAD
00002384: SWAP2
00002385: POP
00002386: PUSH8 0xffffffffffffffff
0000238f: DUP3
00002390: GT
00002391: ISZERO
00002392: PUSH2 0x239a
00002395: JUMPI
00002396: PUSH1 0x00
00002398: DUP1
00002399: REVERT
0000239a: JUMPDEST
0000239b: PUSH1 0x20
0000239d: ADD
0000239e: SWAP2
0000239f: POP
000023a0: CALLDATASIZE
000023a1: DUP2
000023a2: SWAP1
000023a3: SUB
000023a4: DUP3
000023a5: SGT
000023a6: ISZERO
000023a7: PUSH2 0x1ef9
000023aa: JUMPI
000023ab: PUSH1 0x00
000023ad: DUP1
000023ae: REVERT
000023af: JUMPDEST
000023b0: DUP2
000023b1: DUP4
000023b2: DUP3
000023b3: CALLDATACOPY
000023b4: PUSH1 0x00
000023b6: SWAP2
000023b7: ADD
000023b8: SWAP1
000023b9: DUP2
000023ba: MSTORE
000023bb: SWAP2
000023bc: SWAP1
000023bd: POP
000023be: JUMP
000023bf: JUMPDEST
000023c0: DUP2
000023c1: DUP4
000023c2: MSTORE
000023c3: DUP2
000023c4: DUP2
000023c5: PUSH1 0x20
000023c7: DUP6
000023c8: ADD
000023c9: CALLDATACOPY
000023ca: POP
000023cb: PUSH1 0x00
000023cd: PUSH1 0x20
000023cf: DUP3
000023d0: DUP5
000023d1: ADD
000023d2: ADD
000023d3: MSTORE
000023d4: PUSH1 0x00
000023d6: PUSH1 0x20
000023d8: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0
000023f9: PUSH1 0x1f
000023fb: DUP5
000023fc: ADD
000023fd: AND
000023fe: DUP5
000023ff: ADD
00002400: ADD
00002401: SWAP1
00002402: POP
00002403: SWAP3
00002404: SWAP2
00002405: POP
00002406: POP
00002407: JUMP
00002408: JUMPDEST
00002409: DUP2
0000240a: DUP4
0000240b: MSTORE
0000240c: PUSH1 0x00
0000240e: PUSH1 0x20
00002410: DUP1
00002411: DUP6
00002412: ADD
00002413: DUP1
00002414: DUP2
00002415: SWAP7
00002416: POP
00002417: DUP6
00002418: PUSH1 0x05
0000241a: SHL
0000241b: DUP2
0000241c: ADD
0000241d: SWAP2
0000241e: POP
0000241f: DUP5
00002420: PUSH1 0x00
00002422: JUMPDEST
00002423: DUP8
00002424: DUP2
00002425: LT
00002426: ISZERO
00002427: PUSH2 0x24ab
0000242a: JUMPI
0000242b: DUP3
0000242c: DUP5
0000242d: SUB
0000242e: DUP10
0000242f: MSTORE
00002430: DUP2
00002431: CALLDATALOAD
00002432: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe1
00002453: DUP9
00002454: CALLDATASIZE
00002455: SUB
00002456: ADD
00002457: DUP2
00002458: SLT
00002459: PUSH2 0x2461
0000245c: JUMPI
0000245d: PUSH1 0x00
0000245f: DUP1
00002460: REVERT
00002461: JUMPDEST
00002462: DUP8
00002463: ADD
00002464: DUP6
00002465: DUP2
00002466: ADD
00002467: SWAP1
00002468: CALLDATALOAD
00002469: PUSH8 0xffffffffffffffff
00002472: DUP2
00002473: GT
00002474: ISZERO
00002475: PUSH2 0x247d
00002478: JUMPI
00002479: PUSH1 0x00
0000247b: DUP1
0000247c: REVERT
0000247d: JUMPDEST
0000247e: DUP1
0000247f: CALLDATASIZE
00002480: SUB
00002481: DUP3
00002482: SGT
00002483: ISZERO
00002484: PUSH2 0x248c
00002487: JUMPI
00002488: PUSH1 0x00
0000248a: DUP1
0000248b: REVERT
0000248c: JUMPDEST
0000248d: PUSH2 0x2497
00002490: DUP7
00002491: DUP3
00002492: DUP5
00002493: PUSH2 0x23bf
00002496: JUMP
00002497: JUMPDEST
00002498: SWAP11
00002499: DUP8
0000249a: ADD
0000249b: SWAP11
0000249c: SWAP6
0000249d: POP
0000249e: POP
0000249f: POP
000024a0: SWAP1
000024a1: DUP5
000024a2: ADD
000024a3: SWAP1
000024a4: PUSH1 0x01
000024a6: ADD
000024a7: PUSH2 0x2422
000024aa: JUMP
000024ab: JUMPDEST
000024ac: POP
000024ad: SWAP2
000024ae: SWAP8
000024af: SWAP7
000024b0: POP
000024b1: POP
000024b2: POP
000024b3: POP
000024b4: POP
000024b5: POP
000024b6: POP
000024b7: JUMP
000024b8: JUMPDEST
000024b9: DUP8
000024ba: DUP2
000024bb: MSTORE
000024bc: PUSH1 0x80
000024be: PUSH1 0x20
000024c0: DUP1
000024c1: DUP4
000024c2: ADD
000024c3: DUP3
000024c4: SWAP1
000024c5: MSTORE
000024c6: SWAP1
000024c7: DUP3
000024c8: ADD
000024c9: DUP8
000024ca: SWAP1
000024cb: MSTORE
000024cc: PUSH1 0x00
000024ce: SWAP1
000024cf: DUP9
000024d0: SWAP1
000024d1: PUSH1 0xa0
000024d3: DUP5
000024d4: ADD
000024d5: DUP4
000024d6: JUMPDEST
000024d7: DUP11
000024d8: DUP2
000024d9: LT
000024da: ISZERO
000024db: PUSH2 0x250f
000024de: JUMPI
000024df: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000024f4: PUSH2 0x24fc
000024f7: DUP6
000024f8: PUSH2 0x1ca7
000024fb: JUMP
000024fc: JUMPDEST
000024fd: AND
000024fe: DUP3
000024ff: MSTORE
00002500: SWAP3
00002501: DUP3
00002502: ADD
00002503: SWAP3
00002504: SWAP1
00002505: DUP3
00002506: ADD
00002507: SWAP1
00002508: PUSH1 0x01
0000250a: ADD
0000250b: PUSH2 0x24d6
0000250e: JUMP
0000250f: JUMPDEST
00002510: POP
00002511: DUP5
00002512: DUP2
00002513: SUB
00002514: PUSH1 0x40
00002516: DUP7
00002517: ADD
00002518: MSTORE
00002519: DUP8
0000251a: DUP2
0000251b: MSTORE
0000251c: PUSH32 0x07ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff
0000253d: DUP9
0000253e: GT
0000253f: ISZERO
00002540: PUSH2 0x2548
00002543: JUMPI
00002544: PUSH1 0x00
00002546: DUP1
00002547: REVERT
00002548: JUMPDEST
00002549: DUP8
0000254a: PUSH1 0x05
0000254c: SHL
0000254d: SWAP3
0000254e: POP
0000254f: DUP3
00002550: DUP10
00002551: DUP4
00002552: DUP4
00002553: ADD
00002554: CALLDATACOPY
00002555: SWAP1
00002556: SWAP2
00002557: ADD
00002558: DUP4
00002559: DUP2
0000255a: SUB
0000255b: DUP3
0000255c: ADD
0000255d: PUSH1 0x60
0000255f: DUP6
00002560: ADD
00002561: MSTORE
00002562: SWAP1
00002563: PUSH2 0x256f
00002566: DUP2
00002567: DUP4
00002568: ADD
00002569: DUP7
0000256a: DUP9
0000256b: PUSH2 0x2408
0000256e: JUMP
0000256f: JUMPDEST
00002570: SWAP12
00002571: SWAP11
00002572: POP
00002573: POP
00002574: POP
00002575: POP
00002576: POP
00002577: POP
00002578: POP
00002579: POP
0000257a: POP
0000257b: POP
0000257c: POP
0000257d: JUMP
0000257e: JUMPDEST
0000257f: PUSH1 0x00
00002581: JUMPDEST
00002582: DUP4
00002583: DUP2
00002584: LT
00002585: ISZERO
00002586: PUSH2 0x2599
00002589: JUMPI
0000258a: DUP2
0000258b: DUP2
0000258c: ADD
0000258d: MLOAD
0000258e: DUP4
0000258f: DUP3
00002590: ADD
00002591: MSTORE
00002592: PUSH1 0x20
00002594: ADD
00002595: PUSH2 0x2581
00002598: JUMP
00002599: JUMPDEST
0000259a: POP
0000259b: POP
0000259c: PUSH1 0x00
0000259e: SWAP2
0000259f: ADD
000025a0: MSTORE
000025a1: JUMP
000025a2: JUMPDEST
000025a3: PUSH1 0x00
000025a5: DUP2
000025a6: MLOAD
000025a7: DUP1
000025a8: DUP5
000025a9: MSTORE
000025aa: PUSH1 0x20
000025ac: DUP1
000025ad: DUP6
000025ae: ADD
000025af: DUP1
000025b0: DUP2
000025b1: SWAP7
000025b2: POP
000025b3: DUP4
000025b4: PUSH1 0x05
000025b6: SHL
000025b7: DUP2
000025b8: ADD
000025b9: SWAP2
000025ba: POP
000025bb: DUP3
000025bc: DUP7
000025bd: ADD
000025be: PUSH1 0x00
000025c0: JUMPDEST
000025c1: DUP6
000025c2: DUP2
000025c3: LT
000025c4: ISZERO
000025c5: PUSH2 0x24ab
000025c8: JUMPI
000025c9: DUP3
000025ca: DUP5
000025cb: SUB
000025cc: DUP10
000025cd: MSTORE
000025ce: DUP2
000025cf: MLOAD
000025d0: DUP1
000025d1: MLOAD
000025d2: DUP1
000025d3: DUP7
000025d4: MSTORE
000025d5: PUSH2 0x25e3
000025d8: DUP2
000025d9: DUP9
000025da: DUP9
000025db: ADD
000025dc: DUP10
000025dd: DUP6
000025de: ADD
000025df: PUSH2 0x257e
000025e2: JUMP
000025e3: JUMPDEST
000025e4: SWAP10
000025e5: DUP7
000025e6: ADD
000025e7: SWAP10
000025e8: PUSH1 0x1f
000025ea: ADD
000025eb: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0
0000260c: AND
0000260d: SWAP5
0000260e: SWAP1
0000260f: SWAP5
00002610: ADD
00002611: DUP6
00002612: ADD
00002613: SWAP4
00002614: POP
00002615: SWAP1
00002616: DUP5
00002617: ADD
00002618: SWAP1
00002619: PUSH1 0x01
0000261b: ADD
0000261c: PUSH2 0x25c0
0000261f: JUMP
00002620: JUMPDEST
00002621: PUSH1 0xa0
00002623: DUP1
00002624: DUP3
00002625: MSTORE
00002626: DUP7
00002627: MLOAD
00002628: SWAP1
00002629: DUP3
0000262a: ADD
0000262b: DUP2
0000262c: SWAP1
0000262d: MSTORE
0000262e: PUSH1 0x00
00002630: SWAP1
00002631: PUSH1 0x20
00002633: SWAP1
00002634: PUSH1 0xc0
00002636: DUP5
00002637: ADD
00002638: SWAP1
00002639: DUP3
0000263a: DUP11
0000263b: ADD
0000263c: DUP5
0000263d: JUMPDEST
0000263e: DUP3
0000263f: DUP2
00002640: LT
00002641: ISZERO
00002642: PUSH2 0x266f
00002645: JUMPI
00002646: DUP2
00002647: MLOAD
00002648: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000265d: AND
0000265e: DUP5
0000265f: MSTORE
00002660: SWAP3
00002661: DUP5
00002662: ADD
00002663: SWAP3
00002664: SWAP1
00002665: DUP5
00002666: ADD
00002667: SWAP1
00002668: PUSH1 0x01
0000266a: ADD
0000266b: PUSH2 0x263d
0000266e: JUMP
0000266f: JUMPDEST
00002670: POP
00002671: POP
00002672: POP
00002673: DUP4
00002674: DUP2
00002675: SUB
00002676: DUP3
00002677: DUP6
00002678: ADD
00002679: MSTORE
0000267a: DUP8
0000267b: MLOAD
0000267c: DUP1
0000267d: DUP3
0000267e: MSTORE
0000267f: DUP9
00002680: DUP4
00002681: ADD
00002682: SWAP2
00002683: DUP4
00002684: ADD
00002685: SWAP1
00002686: PUSH1 0x00
00002688: JUMPDEST
00002689: DUP2
0000268a: DUP2
0000268b: LT
0000268c: ISZERO
0000268d: PUSH2 0x26a4
00002690: JUMPI
00002691: DUP4
00002692: MLOAD
00002693: DUP4
00002694: MSTORE
00002695: SWAP3
00002696: DUP5
00002697: ADD
00002698: SWAP3
00002699: SWAP2
0000269a: DUP5
0000269b: ADD
0000269c: SWAP2
0000269d: PUSH1 0x01
0000269f: ADD
000026a0: PUSH2 0x2688
000026a3: JUMP
000026a4: JUMPDEST
000026a5: POP
000026a6: POP
000026a7: DUP5
000026a8: DUP2
000026a9: SUB
000026aa: PUSH1 0x40
000026ac: DUP7
000026ad: ADD
000026ae: MSTORE
000026af: PUSH2 0x26b8
000026b2: DUP2
000026b3: DUP10
000026b4: PUSH2 0x25a2
000026b7: JUMP
000026b8: JUMPDEST
000026b9: SWAP4
000026ba: POP
000026bb: POP
000026bc: POP
000026bd: POP
000026be: DUP4
000026bf: PUSH1 0x60
000026c1: DUP4
000026c2: ADD
000026c3: MSTORE
000026c4: PUSH2 0x26e5
000026c7: PUSH1 0x80
000026c9: DUP4
000026ca: ADD
000026cb: DUP5
000026cc: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000026e1: AND
000026e2: SWAP1
000026e3: MSTORE
000026e4: JUMP
000026e5: JUMPDEST
000026e6: SWAP7
000026e7: SWAP6
000026e8: POP
000026e9: POP
000026ea: POP
000026eb: POP
000026ec: POP
000026ed: POP
000026ee: JUMP
000026ef: JUMPDEST
000026f0: PUSH1 0x00
000026f2: PUSH1 0x20
000026f4: DUP3
000026f5: DUP5
000026f6: SUB
000026f7: SLT
000026f8: ISZERO
000026f9: PUSH2 0x2701
000026fc: JUMPI
000026fd: PUSH1 0x00
000026ff: DUP1
00002700: REVERT
00002701: JUMPDEST
00002702: DUP2
00002703: MLOAD
00002704: DUP1
00002705: ISZERO
00002706: ISZERO
00002707: DUP2
00002708: EQ
00002709: PUSH2 0x1e5f
0000270c: JUMPI
0000270d: PUSH1 0x00
0000270f: DUP1
00002710: REVERT
00002711: JUMPDEST
00002712: PUSH1 0x00
00002714: PUSH1 0x20
00002716: DUP3
00002717: DUP5
00002718: SUB
00002719: SLT
0000271a: ISZERO
0000271b: PUSH2 0x2723
0000271e: JUMPI
0000271f: PUSH1 0x00
00002721: DUP1
00002722: REVERT
00002723: JUMPDEST
00002724: POP
00002725: MLOAD
00002726: SWAP2
00002727: SWAP1
00002728: POP
00002729: JUMP
0000272a: JUMPDEST
0000272b: PUSH1 0x00
0000272d: DUP3
0000272e: MLOAD
0000272f: PUSH2 0x273c
00002732: DUP2
00002733: DUP5
00002734: PUSH1 0x20
00002736: DUP8
00002737: ADD
00002738: PUSH2 0x257e
0000273b: JUMP
0000273c: JUMPDEST
0000273d: SWAP2
0000273e: SWAP1
0000273f: SWAP2
00002740: ADD
00002741: SWAP3
00002742: SWAP2
00002743: POP
00002744: POP
00002745: JUMP
00002746: INVALID
00002747: LOG2
00002748: PUSH5 0x6970667358
0000274e: UNKNOWN(0x22)
0000274f: SLT
00002750: KECCAK256
00002751: UNKNOWN(0xB5)
00002752: DUP3
00002753: ADDRESS
00002754: DUP6
00002755: UNKNOWN(0xEC)
00002756: UNKNOWN(0xCF)
00002757: CODECOPY
00002758: UNKNOWN(0x2F)
00002759: DUP16
0000275a: DUP13
0000275b: DUP1
0000275c: GASPRICE
0000275d: SWAP3
0000275e: STATICCALL
0000275f: EXTCODEHASH
00002760: LOG2
00002761: PUSH23 0xb8abfa79e1d9412c06cd831a645c8f64736f6c63430008
00002779: LT
0000277a: STOP
0000277b: 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: 0xaf2082c21e65a90a7bffaa8084f17c097061f4e452664330bf232dc4b8c18bee validation_json { "sink": "DELEGATECALL", "errors": 0, "status": "unknown", "attempts": 192, "trace_id": "0xaf2082c21e65a90a7bffaa8084f17c097061f4e452664330bf232dc4b8c18bee", "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": "0xcd6dc687", "selector": "0xcd6dc687", "calldata_variants": [ "0xcd6dc687", "0xcd6dc6870000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xe30c3978", "selector": "0xe30c3978", "calldata_variants": [ "0xe30c3978", "0xe30c39780000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xf23a6e61", "selector": "0xf23a6e61", "calldata_variants": [ "0xf23a6e61", "0xf23a6e610000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xf2fde38b", "selector": "0xf2fde38b", "calldata_variants": [ "0xf2fde38b", "0xf2fde38b0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xaedbfe33", "selector": "0xaedbfe33", "calldata_variants": [ "0xaedbfe33", "0xaedbfe330000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xbc197c81", "selector": "0xbc197c81", "calldata_variants": [ "0xbc197c81", "0xbc197c810000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xc4d252f5", "selector": "0xc4d252f5", "calldata_variants": [ "0xc4d252f5", "0xc4d252f50000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x7c10dea6", "selector": "0x7c10dea6", "calldata_variants": [ "0x7c10dea6", "0x7c10dea60000000000000000000000000000000000000000000000000000000000000000" ] } ] } evidence_json { "examples": [ { "pc": 7153, "opcode": "DELEGATECALL", "returndata_checked": null, "value_expression_category": "n/a", "target_expression_category": "computed" } ], "guards_detected": [ { "pc": 4967, "type": "msg_sender_eq_const", "value": "0xffffffffffffffffffffffffffffffffffffffff" } ], "delegatecall_count": 1, "untrusted_delegatecall_count": 1 }
medium	upgradeability	cast	DELEGATECALL present	80	no	—	view evidence_json { "notes": "delegatecall enables execution in caller context; common in proxies/upgradeable patterns", "delegatecall_count": 1 }
medium	other	detector	Untrusted CALL target/value reachable	45	no	no	view trace_id: 0x6e1d00cc511d60572aa232a41faa97bfca37e95f3452821c47ce4748745b481c call_targets: 0xc8f8ac74600d5a1c1ba677b10d1da0e7e806cf23 target_varies: no classification: constant_target validation_json { "sink": "CALL", "errors": 0, "status": "sink_reached", "attempts": 1, "trace_id": "0x6e1d00cc511d60572aa232a41faa97bfca37e95f3452821c47ce4748745b481c", "confirmed": false, "trace_mode": "callTracer", "call_targets": [ "0xc8f8ac74600d5a1c1ba677b10d1da0e7e806cf23" ], "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": "0xcd6dc687", "selector": "0xcd6dc687", "calldata_variants": [ "0xcd6dc687", "0xcd6dc6870000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xe30c3978", "selector": "0xe30c3978", "calldata_variants": [ "0xe30c3978", "0xe30c39780000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xf23a6e61", "selector": "0xf23a6e61", "calldata_variants": [ "0xf23a6e61", "0xf23a6e610000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xf2fde38b", "selector": "0xf2fde38b", "calldata_variants": [ "0xf2fde38b", "0xf2fde38b0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xaedbfe33", "selector": "0xaedbfe33", "calldata_variants": [ "0xaedbfe33", "0xaedbfe330000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xbc197c81", "selector": "0xbc197c81", "calldata_variants": [ "0xbc197c81", "0xbc197c810000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xc4d252f5", "selector": "0xc4d252f5", "calldata_variants": [ "0xc4d252f5", "0xc4d252f50000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x7c10dea6", "selector": "0x7c10dea6", "calldata_variants": [ "0x7c10dea6", "0x7c10dea60000000000000000000000000000000000000000000000000000000000000000" ] } ] } evidence_json { "examples": [ { "pc": 3445, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" } ], "call_count": 1, "guards_detected": [ { "pc": 4967, "type": "msg_sender_eq_const", "value": "0xffffffffffffffffffffffffffffffffffffffff" } ], "untrusted_call_count": 1 }
medium	other	detector	ETH value transfer possible	40	no	no	view trace_id: 0x6e1d00cc511d60572aa232a41faa97bfca37e95f3452821c47ce4748745b481c call_targets: 0xc8f8ac74600d5a1c1ba677b10d1da0e7e806cf23 target_varies: no classification: constant_target validation_json { "sink": "CALL", "errors": 0, "status": "sink_reached", "attempts": 1, "trace_id": "0x6e1d00cc511d60572aa232a41faa97bfca37e95f3452821c47ce4748745b481c", "confirmed": false, "trace_mode": "callTracer", "call_targets": [ "0xc8f8ac74600d5a1c1ba677b10d1da0e7e806cf23" ], "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": "0xcd6dc687", "selector": "0xcd6dc687", "calldata_variants": [ "0xcd6dc687", "0xcd6dc6870000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xe30c3978", "selector": "0xe30c3978", "calldata_variants": [ "0xe30c3978", "0xe30c39780000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xf23a6e61", "selector": "0xf23a6e61", "calldata_variants": [ "0xf23a6e61", "0xf23a6e610000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xf2fde38b", "selector": "0xf2fde38b", "calldata_variants": [ "0xf2fde38b", "0xf2fde38b0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xaedbfe33", "selector": "0xaedbfe33", "calldata_variants": [ "0xaedbfe33", "0xaedbfe330000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xbc197c81", "selector": "0xbc197c81", "calldata_variants": [ "0xbc197c81", "0xbc197c810000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xc4d252f5", "selector": "0xc4d252f5", "calldata_variants": [ "0xc4d252f5", "0xc4d252f50000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x7c10dea6", "selector": "0x7c10dea6", "calldata_variants": [ "0x7c10dea6", "0x7c10dea60000000000000000000000000000000000000000000000000000000000000000" ] } ] } evidence_json { "examples": [ { "pc": 3445, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" } ], "eth_value_calls": 1, "guards_detected": [ { "pc": 4967, "type": "msg_sender_eq_const", "value": "0xffffffffffffffffffffffffffffffffffffffff" } ] }
info	other	cast	Heavy EXTCODE*/BALANCE usage	55	no	—	view evidence_json { "notes": "frequent external code or balance checks; may indicate introspection or validation logic", "ext_balance_count": 5 }