Analysis Run

019b477e-b241-7181-b21c-a644e0967114

complete

Chain ID

1

Address

0x90836bd5951483124f502fe1b367026a09625cc3

Block Number

—

Created

Mon, Dec 22, 2025 7:17 PM

Review Summary

What survived the funnel

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

back to vulns open contract

Confirmed

0

Validated

0

Source

Verified

Review Backing

Not yet

Best current signal

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
22305	artifact.fetch	complete	1 / 3	3 months ago
22306	tool.cast_disasm	complete	1 / 3	3 months ago
65882	analysis.bundle	complete	1 / 3	1 week ago
65883	capability.graph	complete	1 / 3	1 week ago
65884	detector.run	complete	1 / 3	1 week ago
65885	validation.fork	complete	1 / 3	1 week ago

Artifact

Runtime bytecode: available

Creation TX: —

Deployer: —

Proxy: no

Implementation:

—

Verified Source: yes

Slither

tool.slither

No slither job recorded yet.

Codex

report.consolidate

No codex job recorded yet.

Opcode Heuristics

tool.cast_disasm

Delegatecall

1

Selfdestruct

0

CREATE2

0

CALL-family (heavy)

4

EXT*/BALANCE

1

Total opcodes

2703

Flags

delegatecall_present

View cast disassembly output

00000000: PUSH1 0x80
00000002: PUSH1 0x40
00000004: MSTORE
00000005: PUSH1 0x04
00000007: CALLDATASIZE
00000008: LT
00000009: PUSH2 0x0169
0000000c: JUMPI
0000000d: PUSH4 0xffffffff
00000012: PUSH29 0x0100000000000000000000000000000000000000000000000000000000
00000030: PUSH1 0x00
00000032: CALLDATALOAD
00000033: DIV
00000034: AND
00000035: PUSH4 0x04dd2dea
0000003a: DUP2
0000003b: EQ
0000003c: PUSH2 0x016e
0000003f: JUMPI
00000040: DUP1
00000041: PUSH4 0x06fdde03
00000046: EQ
00000047: PUSH2 0x0198
0000004a: JUMPI
0000004b: DUP1
0000004c: PUSH4 0x1ae4dfb7
00000051: EQ
00000052: PUSH2 0x0222
00000055: JUMPI
00000056: DUP1
00000057: PUSH4 0x1b7e0902
0000005c: EQ
0000005d: PUSH2 0x023a
00000060: JUMPI
00000061: DUP1
00000062: PUSH4 0x287ad8fa
00000067: EQ
00000068: PUSH2 0x026e
0000006b: JUMPI
0000006c: DUP1
0000006d: PUSH4 0x313ce567
00000072: EQ
00000073: PUSH2 0x0286
00000076: JUMPI
00000077: DUP1
00000078: PUSH4 0x3ccfd60b
0000007d: EQ
0000007e: PUSH2 0x02b1
00000081: JUMPI
00000082: DUP1
00000083: PUSH4 0x4b419b5f
00000088: EQ
00000089: PUSH2 0x02c8
0000008c: JUMPI
0000008d: DUP1
0000008e: PUSH4 0x4c738909
00000093: EQ
00000094: PUSH2 0x02e3
00000097: JUMPI
00000098: DUP1
00000099: PUSH4 0x4e3c2f47
0000009e: EQ
0000009f: PUSH2 0x02f8
000000a2: JUMPI
000000a3: DUP1
000000a4: PUSH4 0x5bdff855
000000a9: EQ
000000aa: PUSH2 0x0313
000000ad: JUMPI
000000ae: DUP1
000000af: PUSH4 0x6b2f4632
000000b4: EQ
000000b5: PUSH2 0x032b
000000b8: JUMPI
000000b9: DUP1
000000ba: PUSH4 0x6e85aa69
000000bf: EQ
000000c0: PUSH2 0x0340
000000c3: JUMPI
000000c4: DUP1
000000c5: PUSH4 0x7deb6025
000000ca: EQ
000000cb: PUSH2 0x0355
000000ce: JUMPI
000000cf: DUP1
000000d0: PUSH4 0x7fcf440a
000000d5: EQ
000000d6: PUSH2 0x036c
000000d9: JUMPI
000000da: DUP1
000000db: PUSH4 0x95d89b41
000000e0: EQ
000000e1: PUSH2 0x038d
000000e4: JUMPI
000000e5: DUP1
000000e6: PUSH4 0x9ba65fff
000000eb: EQ
000000ec: PUSH2 0x03a2
000000ef: JUMPI
000000f0: DUP1
000000f1: PUSH4 0x9d902fc0
000000f6: EQ
000000f7: PUSH2 0x03ba
000000fa: JUMPI
000000fb: DUP1
000000fc: PUSH4 0xa053ce1f
00000101: EQ
00000102: PUSH2 0x03cf
00000105: JUMPI
00000106: DUP1
00000107: PUSH4 0xae882412
0000010c: EQ
0000010d: PUSH2 0x03e4
00000110: JUMPI
00000111: DUP1
00000112: PUSH4 0xaf392206
00000117: EQ
00000118: PUSH2 0x03f9
0000011b: JUMPI
0000011c: DUP1
0000011d: PUSH4 0xb84c8246
00000122: EQ
00000123: PUSH2 0x040e
00000126: JUMPI
00000127: DUP1
00000128: PUSH4 0xb987f688
0000012d: EQ
0000012e: PUSH2 0x0467
00000131: JUMPI
00000132: DUP1
00000133: PUSH4 0xbaf3a4d4
00000138: EQ
00000139: PUSH2 0x047c
0000013c: JUMPI
0000013d: DUP1
0000013e: PUSH4 0xc47f0027
00000143: EQ
00000144: PUSH2 0x0491
00000147: JUMPI
00000148: DUP1
00000149: PUSH4 0xd5c96b36
0000014e: EQ
0000014f: PUSH2 0x04ea
00000152: JUMPI
00000153: DUP1
00000154: PUSH4 0xe994c15d
00000159: EQ
0000015a: PUSH2 0x04ff
0000015d: JUMPI
0000015e: DUP1
0000015f: PUSH4 0xfd01d4a1
00000164: EQ
00000165: PUSH2 0x0514
00000168: JUMPI
00000169: JUMPDEST
0000016a: PUSH1 0x00
0000016c: DUP1
0000016d: REVERT
0000016e: JUMPDEST
0000016f: CALLVALUE
00000170: DUP1
00000171: ISZERO
00000172: PUSH2 0x017a
00000175: JUMPI
00000176: PUSH1 0x00
00000178: DUP1
00000179: REVERT
0000017a: JUMPDEST
0000017b: POP
0000017c: PUSH2 0x0186
0000017f: PUSH1 0x04
00000181: CALLDATALOAD
00000182: PUSH2 0x0529
00000185: JUMP
00000186: JUMPDEST
00000187: PUSH1 0x40
00000189: DUP1
0000018a: MLOAD
0000018b: SWAP2
0000018c: DUP3
0000018d: MSTORE
0000018e: MLOAD
0000018f: SWAP1
00000190: DUP2
00000191: SWAP1
00000192: SUB
00000193: PUSH1 0x20
00000195: ADD
00000196: SWAP1
00000197: RETURN
00000198: JUMPDEST
00000199: CALLVALUE
0000019a: DUP1
0000019b: ISZERO
0000019c: PUSH2 0x01a4
0000019f: JUMPI
000001a0: PUSH1 0x00
000001a2: DUP1
000001a3: REVERT
000001a4: JUMPDEST
000001a5: POP
000001a6: PUSH2 0x01ad
000001a9: PUSH2 0x057d
000001ac: JUMP
000001ad: JUMPDEST
000001ae: PUSH1 0x40
000001b0: DUP1
000001b1: MLOAD
000001b2: PUSH1 0x20
000001b4: DUP1
000001b5: DUP3
000001b6: MSTORE
000001b7: DUP4
000001b8: MLOAD
000001b9: DUP2
000001ba: DUP4
000001bb: ADD
000001bc: MSTORE
000001bd: DUP4
000001be: MLOAD
000001bf: SWAP2
000001c0: SWAP3
000001c1: DUP4
000001c2: SWAP3
000001c3: SWAP1
000001c4: DUP4
000001c5: ADD
000001c6: SWAP2
000001c7: DUP6
000001c8: ADD
000001c9: SWAP1
000001ca: DUP1
000001cb: DUP4
000001cc: DUP4
000001cd: PUSH1 0x00
000001cf: JUMPDEST
000001d0: DUP4
000001d1: DUP2
000001d2: LT
000001d3: ISZERO
000001d4: PUSH2 0x01e7
000001d7: JUMPI
000001d8: DUP2
000001d9: DUP2
000001da: ADD
000001db: MLOAD
000001dc: DUP4
000001dd: DUP3
000001de: ADD
000001df: MSTORE
000001e0: PUSH1 0x20
000001e2: ADD
000001e3: PUSH2 0x01cf
000001e6: JUMP
000001e7: JUMPDEST
000001e8: POP
000001e9: POP
000001ea: POP
000001eb: POP
000001ec: SWAP1
000001ed: POP
000001ee: SWAP1
000001ef: DUP2
000001f0: ADD
000001f1: SWAP1
000001f2: PUSH1 0x1f
000001f4: AND
000001f5: DUP1
000001f6: ISZERO
000001f7: PUSH2 0x0214
000001fa: JUMPI
000001fb: DUP1
000001fc: DUP3
000001fd: SUB
000001fe: DUP1
000001ff: MLOAD
00000200: PUSH1 0x01
00000202: DUP4
00000203: PUSH1 0x20
00000205: SUB
00000206: PUSH2 0x0100
00000209: EXP
0000020a: SUB
0000020b: NOT
0000020c: AND
0000020d: DUP2
0000020e: MSTORE
0000020f: PUSH1 0x20
00000211: ADD
00000212: SWAP2
00000213: POP
00000214: JUMPDEST
00000215: POP
00000216: SWAP3
00000217: POP
00000218: POP
00000219: POP
0000021a: PUSH1 0x40
0000021c: MLOAD
0000021d: DUP1
0000021e: SWAP2
0000021f: SUB
00000220: SWAP1
00000221: RETURN
00000222: JUMPDEST
00000223: CALLVALUE
00000224: DUP1
00000225: ISZERO
00000226: PUSH2 0x022e
00000229: JUMPI
0000022a: PUSH1 0x00
0000022c: DUP1
0000022d: REVERT
0000022e: JUMPDEST
0000022f: POP
00000230: PUSH2 0x0186
00000233: PUSH1 0x04
00000235: CALLDATALOAD
00000236: PUSH2 0x060b
00000239: JUMP
0000023a: JUMPDEST
0000023b: CALLVALUE
0000023c: DUP1
0000023d: ISZERO
0000023e: PUSH2 0x0246
00000241: JUMPI
00000242: PUSH1 0x00
00000244: DUP1
00000245: REVERT
00000246: JUMPDEST
00000247: POP
00000248: PUSH2 0x0252
0000024b: PUSH1 0x04
0000024d: CALLDATALOAD
0000024e: PUSH2 0x062f
00000251: JUMP
00000252: JUMPDEST
00000253: PUSH1 0x40
00000255: DUP1
00000256: MLOAD
00000257: PUSH1 0x01
00000259: PUSH1 0xa0
0000025b: PUSH1 0x02
0000025d: EXP
0000025e: SUB
0000025f: SWAP1
00000260: SWAP3
00000261: AND
00000262: DUP3
00000263: MSTORE
00000264: MLOAD
00000265: SWAP1
00000266: DUP2
00000267: SWAP1
00000268: SUB
00000269: PUSH1 0x20
0000026b: ADD
0000026c: SWAP1
0000026d: RETURN
0000026e: JUMPDEST
0000026f: CALLVALUE
00000270: DUP1
00000271: ISZERO
00000272: PUSH2 0x027a
00000275: JUMPI
00000276: PUSH1 0x00
00000278: DUP1
00000279: REVERT
0000027a: JUMPDEST
0000027b: POP
0000027c: PUSH2 0x0186
0000027f: PUSH1 0x04
00000281: CALLDATALOAD
00000282: PUSH2 0x065c
00000285: JUMP
00000286: JUMPDEST
00000287: CALLVALUE
00000288: DUP1
00000289: ISZERO
0000028a: PUSH2 0x0292
0000028d: JUMPI
0000028e: PUSH1 0x00
00000290: DUP1
00000291: REVERT
00000292: JUMPDEST
00000293: POP
00000294: PUSH2 0x029b
00000297: PUSH2 0x066e
0000029a: JUMP
0000029b: JUMPDEST
0000029c: PUSH1 0x40
0000029e: DUP1
0000029f: MLOAD
000002a0: PUSH1 0xff
000002a2: SWAP1
000002a3: SWAP3
000002a4: AND
000002a5: DUP3
000002a6: MSTORE
000002a7: MLOAD
000002a8: SWAP1
000002a9: DUP2
000002aa: SWAP1
000002ab: SUB
000002ac: PUSH1 0x20
000002ae: ADD
000002af: SWAP1
000002b0: RETURN
000002b1: JUMPDEST
000002b2: CALLVALUE
000002b3: DUP1
000002b4: ISZERO
000002b5: PUSH2 0x02bd
000002b8: JUMPI
000002b9: PUSH1 0x00
000002bb: DUP1
000002bc: REVERT
000002bd: JUMPDEST
000002be: POP
000002bf: PUSH2 0x02c6
000002c2: PUSH2 0x0673
000002c5: JUMP
000002c6: JUMPDEST
000002c7: STOP
000002c8: JUMPDEST
000002c9: CALLVALUE
000002ca: DUP1
000002cb: ISZERO
000002cc: PUSH2 0x02d4
000002cf: JUMPI
000002d0: PUSH1 0x00
000002d2: DUP1
000002d3: REVERT
000002d4: JUMPDEST
000002d5: POP
000002d6: PUSH2 0x02c6
000002d9: PUSH1 0x04
000002db: CALLDATALOAD
000002dc: PUSH1 0x24
000002de: CALLDATALOAD
000002df: PUSH2 0x072a
000002e2: JUMP
000002e3: JUMPDEST
000002e4: CALLVALUE
000002e5: DUP1
000002e6: ISZERO
000002e7: PUSH2 0x02ef
000002ea: JUMPI
000002eb: PUSH1 0x00
000002ed: DUP1
000002ee: REVERT
000002ef: JUMPDEST
000002f0: POP
000002f1: PUSH2 0x0186
000002f4: PUSH2 0x077c
000002f7: JUMP
000002f8: JUMPDEST
000002f9: CALLVALUE
000002fa: DUP1
000002fb: ISZERO
000002fc: PUSH2 0x0304
000002ff: JUMPI
00000300: PUSH1 0x00
00000302: DUP1
00000303: REVERT
00000304: JUMPDEST
00000305: POP
00000306: PUSH2 0x0186
00000309: PUSH1 0x04
0000030b: CALLDATALOAD
0000030c: PUSH1 0x24
0000030e: CALLDATALOAD
0000030f: PUSH2 0x0790
00000312: JUMP
00000313: JUMPDEST
00000314: CALLVALUE
00000315: DUP1
00000316: ISZERO
00000317: PUSH2 0x031f
0000031a: JUMPI
0000031b: PUSH1 0x00
0000031d: DUP1
0000031e: REVERT
0000031f: JUMPDEST
00000320: POP
00000321: PUSH2 0x0186
00000324: PUSH1 0x04
00000326: CALLDATALOAD
00000327: PUSH2 0x07c0
0000032a: JUMP
0000032b: JUMPDEST
0000032c: CALLVALUE
0000032d: DUP1
0000032e: ISZERO
0000032f: PUSH2 0x0337
00000332: JUMPI
00000333: PUSH1 0x00
00000335: DUP1
00000336: REVERT
00000337: JUMPDEST
00000338: POP
00000339: PUSH2 0x0186
0000033c: PUSH2 0x07e4
0000033f: JUMP
00000340: JUMPDEST
00000341: CALLVALUE
00000342: DUP1
00000343: ISZERO
00000344: PUSH2 0x034c
00000347: JUMPI
00000348: PUSH1 0x00
0000034a: DUP1
0000034b: REVERT
0000034c: JUMPDEST
0000034d: POP
0000034e: PUSH2 0x029b
00000351: PUSH2 0x07e9
00000354: JUMP
00000355: JUMPDEST
00000356: PUSH2 0x02c6
00000359: PUSH1 0x04
0000035b: CALLDATALOAD
0000035c: PUSH1 0x01
0000035e: PUSH1 0xa0
00000360: PUSH1 0x02
00000362: EXP
00000363: SUB
00000364: PUSH1 0x24
00000366: CALLDATALOAD
00000367: AND
00000368: PUSH2 0x07ee
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 0x0186
0000037d: PUSH1 0x01
0000037f: PUSH1 0xa0
00000381: PUSH1 0x02
00000383: EXP
00000384: SUB
00000385: PUSH1 0x04
00000387: CALLDATALOAD
00000388: AND
00000389: PUSH2 0x0b85
0000038c: JUMP
0000038d: JUMPDEST
0000038e: CALLVALUE
0000038f: DUP1
00000390: ISZERO
00000391: PUSH2 0x0399
00000394: JUMPI
00000395: PUSH1 0x00
00000397: DUP1
00000398: REVERT
00000399: JUMPDEST
0000039a: POP
0000039b: PUSH2 0x01ad
0000039e: PUSH2 0x0ba0
000003a1: JUMP
000003a2: JUMPDEST
000003a3: CALLVALUE
000003a4: DUP1
000003a5: ISZERO
000003a6: PUSH2 0x03ae
000003a9: JUMPI
000003aa: PUSH1 0x00
000003ac: DUP1
000003ad: REVERT
000003ae: JUMPDEST
000003af: POP
000003b0: PUSH2 0x02c6
000003b3: PUSH1 0x04
000003b5: CALLDATALOAD
000003b6: PUSH2 0x0bfa
000003b9: JUMP
000003ba: JUMPDEST
000003bb: CALLVALUE
000003bc: DUP1
000003bd: ISZERO
000003be: PUSH2 0x03c6
000003c1: JUMPI
000003c2: PUSH1 0x00
000003c4: DUP1
000003c5: REVERT
000003c6: JUMPDEST
000003c7: POP
000003c8: PUSH2 0x0186
000003cb: PUSH2 0x0c86
000003ce: JUMP
000003cf: JUMPDEST
000003d0: CALLVALUE
000003d1: DUP1
000003d2: ISZERO
000003d3: PUSH2 0x03db
000003d6: JUMPI
000003d7: PUSH1 0x00
000003d9: DUP1
000003da: REVERT
000003db: JUMPDEST
000003dc: POP
000003dd: PUSH2 0x029b
000003e0: PUSH2 0x0c8c
000003e3: JUMP
000003e4: JUMPDEST
000003e5: CALLVALUE
000003e6: DUP1
000003e7: ISZERO
000003e8: PUSH2 0x03f0
000003eb: JUMPI
000003ec: PUSH1 0x00
000003ee: DUP1
000003ef: REVERT
000003f0: JUMPDEST
000003f1: POP
000003f2: PUSH2 0x0186
000003f5: PUSH2 0x0c91
000003f8: JUMP
000003f9: JUMPDEST
000003fa: CALLVALUE
000003fb: DUP1
000003fc: ISZERO
000003fd: PUSH2 0x0405
00000400: JUMPI
00000401: PUSH1 0x00
00000403: DUP1
00000404: REVERT
00000405: JUMPDEST
00000406: POP
00000407: PUSH2 0x0186
0000040a: PUSH2 0x0c97
0000040d: JUMP
0000040e: JUMPDEST
0000040f: CALLVALUE
00000410: DUP1
00000411: ISZERO
00000412: PUSH2 0x041a
00000415: JUMPI
00000416: PUSH1 0x00
00000418: DUP1
00000419: REVERT
0000041a: JUMPDEST
0000041b: POP
0000041c: PUSH1 0x40
0000041e: DUP1
0000041f: MLOAD
00000420: PUSH1 0x20
00000422: PUSH1 0x04
00000424: DUP1
00000425: CALLDATALOAD
00000426: DUP1
00000427: DUP3
00000428: ADD
00000429: CALLDATALOAD
0000042a: PUSH1 0x1f
0000042c: DUP2
0000042d: ADD
0000042e: DUP5
0000042f: SWAP1
00000430: DIV
00000431: DUP5
00000432: MUL
00000433: DUP6
00000434: ADD
00000435: DUP5
00000436: ADD
00000437: SWAP1
00000438: SWAP6
00000439: MSTORE
0000043a: DUP5
0000043b: DUP5
0000043c: MSTORE
0000043d: PUSH2 0x02c6
00000440: SWAP5
00000441: CALLDATASIZE
00000442: SWAP5
00000443: SWAP3
00000444: SWAP4
00000445: PUSH1 0x24
00000447: SWAP4
00000448: SWAP3
00000449: DUP5
0000044a: ADD
0000044b: SWAP2
0000044c: SWAP1
0000044d: DUP2
0000044e: SWAP1
0000044f: DUP5
00000450: ADD
00000451: DUP4
00000452: DUP3
00000453: DUP1
00000454: DUP3
00000455: DUP5
00000456: CALLDATACOPY
00000457: POP
00000458: SWAP5
00000459: SWAP8
0000045a: POP
0000045b: PUSH2 0x0c9d
0000045e: SWAP7
0000045f: POP
00000460: POP
00000461: POP
00000462: POP
00000463: POP
00000464: POP
00000465: POP
00000466: JUMP
00000467: JUMPDEST
00000468: CALLVALUE
00000469: DUP1
0000046a: ISZERO
0000046b: PUSH2 0x0473
0000046e: JUMPI
0000046f: PUSH1 0x00
00000471: DUP1
00000472: REVERT
00000473: JUMPDEST
00000474: POP
00000475: PUSH2 0x0186
00000478: PUSH2 0x0ccb
0000047b: JUMP
0000047c: JUMPDEST
0000047d: CALLVALUE
0000047e: DUP1
0000047f: ISZERO
00000480: PUSH2 0x0488
00000483: JUMPI
00000484: PUSH1 0x00
00000486: DUP1
00000487: REVERT
00000488: JUMPDEST
00000489: POP
0000048a: PUSH2 0x029b
0000048d: PUSH2 0x0cd1
00000490: JUMP
00000491: JUMPDEST
00000492: CALLVALUE
00000493: DUP1
00000494: ISZERO
00000495: PUSH2 0x049d
00000498: JUMPI
00000499: PUSH1 0x00
0000049b: DUP1
0000049c: REVERT
0000049d: JUMPDEST
0000049e: POP
0000049f: PUSH1 0x40
000004a1: DUP1
000004a2: MLOAD
000004a3: PUSH1 0x20
000004a5: PUSH1 0x04
000004a7: DUP1
000004a8: CALLDATALOAD
000004a9: DUP1
000004aa: DUP3
000004ab: ADD
000004ac: CALLDATALOAD
000004ad: PUSH1 0x1f
000004af: DUP2
000004b0: ADD
000004b1: DUP5
000004b2: SWAP1
000004b3: DIV
000004b4: DUP5
000004b5: MUL
000004b6: DUP6
000004b7: ADD
000004b8: DUP5
000004b9: ADD
000004ba: SWAP1
000004bb: SWAP6
000004bc: MSTORE
000004bd: DUP5
000004be: DUP5
000004bf: MSTORE
000004c0: PUSH2 0x02c6
000004c3: SWAP5
000004c4: CALLDATASIZE
000004c5: SWAP5
000004c6: SWAP3
000004c7: SWAP4
000004c8: PUSH1 0x24
000004ca: SWAP4
000004cb: SWAP3
000004cc: DUP5
000004cd: ADD
000004ce: SWAP2
000004cf: SWAP1
000004d0: DUP2
000004d1: SWAP1
000004d2: DUP5
000004d3: ADD
000004d4: DUP4
000004d5: DUP3
000004d6: DUP1
000004d7: DUP3
000004d8: DUP5
000004d9: CALLDATACOPY
000004da: POP
000004db: SWAP5
000004dc: SWAP8
000004dd: POP
000004de: PUSH2 0x0cd6
000004e1: SWAP7
000004e2: POP
000004e3: POP
000004e4: POP
000004e5: POP
000004e6: POP
000004e7: POP
000004e8: POP
000004e9: JUMP
000004ea: JUMPDEST
000004eb: CALLVALUE
000004ec: DUP1
000004ed: ISZERO
000004ee: PUSH2 0x04f6
000004f1: JUMPI
000004f2: PUSH1 0x00
000004f4: DUP1
000004f5: REVERT
000004f6: JUMPDEST
000004f7: POP
000004f8: PUSH2 0x0186
000004fb: PUSH2 0x0d00
000004fe: JUMP
000004ff: JUMPDEST
00000500: CALLVALUE
00000501: DUP1
00000502: ISZERO
00000503: PUSH2 0x050b
00000506: JUMPI
00000507: PUSH1 0x00
00000509: DUP1
0000050a: REVERT
0000050b: JUMPDEST
0000050c: POP
0000050d: PUSH2 0x0186
00000510: PUSH2 0x0d06
00000513: JUMP
00000514: JUMPDEST
00000515: CALLVALUE
00000516: DUP1
00000517: ISZERO
00000518: PUSH2 0x0520
0000051b: JUMPI
0000051c: PUSH1 0x00
0000051e: DUP1
0000051f: REVERT
00000520: JUMPDEST
00000521: POP
00000522: PUSH2 0x029b
00000525: PUSH2 0x0d0c
00000528: JUMP
00000529: JUMPDEST
0000052a: PUSH1 0x0b
0000052c: SLOAD
0000052d: PUSH1 0x00
0000052f: SWAP1
00000530: DUP3
00000531: LT
00000532: PUSH2 0x053a
00000535: JUMPI
00000536: PUSH1 0x00
00000538: DUP1
00000539: REVERT
0000053a: JUMPDEST
0000053b: PUSH2 0x0577
0000053e: PUSH2 0x056d
00000541: PUSH2 0x0565
00000544: PUSH1 0x06
00000546: PUSH1 0x00
00000548: DUP7
00000549: DUP2
0000054a: MSTORE
0000054b: PUSH1 0x20
0000054d: ADD
0000054e: SWAP1
0000054f: DUP2
00000550: MSTORE
00000551: PUSH1 0x20
00000553: ADD
00000554: PUSH1 0x00
00000556: KECCAK256
00000557: SLOAD
00000558: PUSH1 0x03
0000055a: SLOAD
0000055b: PUSH1 0x01
0000055d: ADD
0000055e: PUSH1 0x0a
00000560: EXP
00000561: PUSH2 0x0d11
00000564: JUMP
00000565: JUMPDEST
00000566: PUSH1 0x02
00000568: SLOAD
00000569: PUSH2 0x0d43
0000056c: JUMP
0000056d: JUMPDEST
0000056e: PUSH1 0x05
00000570: ADD
00000571: PUSH1 0x0a
00000573: PUSH2 0x0d43
00000576: JUMP
00000577: JUMPDEST
00000578: SWAP3
00000579: SWAP2
0000057a: POP
0000057b: POP
0000057c: JUMP
0000057d: JUMPDEST
0000057e: PUSH1 0x00
00000580: DUP1
00000581: SLOAD
00000582: PUSH1 0x40
00000584: DUP1
00000585: MLOAD
00000586: PUSH1 0x20
00000588: PUSH1 0x02
0000058a: PUSH1 0x01
0000058c: DUP6
0000058d: AND
0000058e: ISZERO
0000058f: PUSH2 0x0100
00000592: MUL
00000593: PUSH1 0x00
00000595: NOT
00000596: ADD
00000597: SWAP1
00000598: SWAP5
00000599: AND
0000059a: SWAP4
0000059b: SWAP1
0000059c: SWAP4
0000059d: DIV
0000059e: PUSH1 0x1f
000005a0: DUP2
000005a1: ADD
000005a2: DUP5
000005a3: SWAP1
000005a4: DIV
000005a5: DUP5
000005a6: MUL
000005a7: DUP3
000005a8: ADD
000005a9: DUP5
000005aa: ADD
000005ab: SWAP1
000005ac: SWAP3
000005ad: MSTORE
000005ae: DUP2
000005af: DUP2
000005b0: MSTORE
000005b1: SWAP3
000005b2: SWAP2
000005b3: DUP4
000005b4: ADD
000005b5: DUP3
000005b6: DUP3
000005b7: DUP1
000005b8: ISZERO
000005b9: PUSH2 0x0603
000005bc: JUMPI
000005bd: DUP1
000005be: PUSH1 0x1f
000005c0: LT
000005c1: PUSH2 0x05d8
000005c4: JUMPI
000005c5: PUSH2 0x0100
000005c8: DUP1
000005c9: DUP4
000005ca: SLOAD
000005cb: DIV
000005cc: MUL
000005cd: DUP4
000005ce: MSTORE
000005cf: SWAP2
000005d0: PUSH1 0x20
000005d2: ADD
000005d3: SWAP2
000005d4: PUSH2 0x0603
000005d7: JUMP
000005d8: JUMPDEST
000005d9: DUP3
000005da: ADD
000005db: SWAP2
000005dc: SWAP1
000005dd: PUSH1 0x00
000005df: MSTORE
000005e0: PUSH1 0x20
000005e2: PUSH1 0x00
000005e4: KECCAK256
000005e5: SWAP1
000005e6: JUMPDEST
000005e7: DUP2
000005e8: SLOAD
000005e9: DUP2
000005ea: MSTORE
000005eb: SWAP1
000005ec: PUSH1 0x01
000005ee: ADD
000005ef: SWAP1
000005f0: PUSH1 0x20
000005f2: ADD
000005f3: DUP1
000005f4: DUP4
000005f5: GT
000005f6: PUSH2 0x05e6
000005f9: JUMPI
000005fa: DUP3
000005fb: SWAP1
000005fc: SUB
000005fd: PUSH1 0x1f
000005ff: AND
00000600: DUP3
00000601: ADD
00000602: SWAP2
00000603: JUMPDEST
00000604: POP
00000605: POP
00000606: POP
00000607: POP
00000608: POP
00000609: DUP2
0000060a: JUMP
0000060b: JUMPDEST
0000060c: PUSH1 0x0b
0000060e: SLOAD
0000060f: PUSH1 0x00
00000611: SWAP1
00000612: DUP3
00000613: LT
00000614: PUSH2 0x061c
00000617: JUMPI
00000618: PUSH1 0x00
0000061a: DUP1
0000061b: REVERT
0000061c: JUMPDEST
0000061d: POP
0000061e: PUSH1 0x00
00000620: SWAP1
00000621: DUP2
00000622: MSTORE
00000623: PUSH1 0x05
00000625: PUSH1 0x20
00000627: MSTORE
00000628: PUSH1 0x40
0000062a: SWAP1
0000062b: KECCAK256
0000062c: SLOAD
0000062d: SWAP1
0000062e: JUMP
0000062f: JUMPDEST
00000630: PUSH1 0x0b
00000632: SLOAD
00000633: PUSH1 0x00
00000635: SWAP1
00000636: DUP3
00000637: LT
00000638: PUSH2 0x0640
0000063b: JUMPI
0000063c: PUSH1 0x00
0000063e: DUP1
0000063f: REVERT
00000640: JUMPDEST
00000641: POP
00000642: PUSH1 0x00
00000644: SWAP1
00000645: DUP2
00000646: MSTORE
00000647: PUSH1 0x04
00000649: PUSH1 0x20
0000064b: MSTORE
0000064c: PUSH1 0x40
0000064e: SWAP1
0000064f: KECCAK256
00000650: SLOAD
00000651: PUSH1 0x01
00000653: PUSH1 0xa0
00000655: PUSH1 0x02
00000657: EXP
00000658: SUB
00000659: AND
0000065a: SWAP1
0000065b: JUMP
0000065c: JUMPDEST
0000065d: PUSH1 0x05
0000065f: PUSH1 0x20
00000661: MSTORE
00000662: PUSH1 0x00
00000664: SWAP1
00000665: DUP2
00000666: MSTORE
00000667: PUSH1 0x40
00000669: SWAP1
0000066a: KECCAK256
0000066b: SLOAD
0000066c: DUP2
0000066d: JUMP
0000066e: JUMPDEST
0000066f: PUSH1 0x12
00000671: DUP2
00000672: JUMP
00000673: JUMPDEST
00000674: CALLER
00000675: PUSH1 0x00
00000677: DUP2
00000678: DUP2
00000679: MSTORE
0000067a: PUSH1 0x07
0000067c: PUSH1 0x20
0000067e: MSTORE
0000067f: PUSH1 0x40
00000681: DUP2
00000682: KECCAK256
00000683: SLOAD
00000684: PUSH7 0x038d7ea4c68000
0000068c: GT
0000068d: ISZERO
0000068e: PUSH2 0x0696
00000691: JUMPI
00000692: PUSH1 0x00
00000694: DUP1
00000695: REVERT
00000696: JUMPDEST
00000697: POP
00000698: PUSH1 0x01
0000069a: PUSH1 0xa0
0000069c: PUSH1 0x02
0000069e: EXP
0000069f: SUB
000006a0: DUP2
000006a1: AND
000006a2: PUSH1 0x00
000006a4: DUP2
000006a5: DUP2
000006a6: MSTORE
000006a7: PUSH1 0x07
000006a9: PUSH1 0x20
000006ab: MSTORE
000006ac: PUSH1 0x40
000006ae: DUP1
000006af: DUP3
000006b0: KECCAK256
000006b1: DUP1
000006b2: SLOAD
000006b3: SWAP1
000006b4: DUP4
000006b5: SWAP1
000006b6: SSTORE
000006b7: SWAP1
000006b8: MLOAD
000006b9: SWAP1
000006ba: SWAP3
000006bb: SWAP2
000006bc: DUP4
000006bd: ISZERO
000006be: PUSH2 0x08fc
000006c1: MUL
000006c2: SWAP2
000006c3: DUP5
000006c4: SWAP2
000006c5: DUP2
000006c6: DUP2
000006c7: DUP2
000006c8: DUP6
000006c9: DUP9
000006ca: DUP9
000006cb: CALL
000006cc: SWAP4
000006cd: POP
000006ce: POP
000006cf: POP
000006d0: POP
000006d1: ISZERO
000006d2: DUP1
000006d3: ISZERO
000006d4: PUSH2 0x06e1
000006d7: JUMPI
000006d8: RETURNDATASIZE
000006d9: PUSH1 0x00
000006db: DUP1
000006dc: RETURNDATACOPY
000006dd: RETURNDATASIZE
000006de: PUSH1 0x00
000006e0: REVERT
000006e1: JUMPDEST
000006e2: POP
000006e3: PUSH1 0x40
000006e5: DUP1
000006e6: MLOAD
000006e7: PUSH1 0x01
000006e9: PUSH1 0xa0
000006eb: PUSH1 0x02
000006ed: EXP
000006ee: SUB
000006ef: DUP5
000006f0: AND
000006f1: DUP2
000006f2: MSTORE
000006f3: PUSH1 0x20
000006f5: DUP2
000006f6: ADD
000006f7: DUP4
000006f8: SWAP1
000006f9: MSTORE
000006fa: DUP2
000006fb: MLOAD
000006fc: PUSH32 0xccad973dcd043c7d680389db4378bd6b9775db7124092e9e0422c9e46d7985dc
0000071d: SWAP3
0000071e: SWAP2
0000071f: DUP2
00000720: SWAP1
00000721: SUB
00000722: SWAP1
00000723: SWAP2
00000724: ADD
00000725: SWAP1
00000726: LOG1
00000727: POP
00000728: POP
00000729: JUMP
0000072a: JUMPDEST
0000072b: PUSH1 0x0d
0000072d: SLOAD
0000072e: PUSH1 0x01
00000730: PUSH1 0xa0
00000732: PUSH1 0x02
00000734: EXP
00000735: SUB
00000736: AND
00000737: CALLER
00000738: EQ
00000739: PUSH2 0x0741
0000073c: JUMPI
0000073d: PUSH1 0x00
0000073f: DUP1
00000740: REVERT
00000741: JUMPDEST
00000742: PUSH1 0x0d
00000744: SLOAD
00000745: PUSH1 0x00
00000747: DUP4
00000748: DUP2
00000749: MSTORE
0000074a: PUSH1 0x04
0000074c: PUSH1 0x20
0000074e: MSTORE
0000074f: PUSH1 0x40
00000751: SWAP1
00000752: KECCAK256
00000753: SLOAD
00000754: PUSH1 0x01
00000756: PUSH1 0xa0
00000758: PUSH1 0x02
0000075a: EXP
0000075b: SUB
0000075c: SWAP1
0000075d: DUP2
0000075e: AND
0000075f: SWAP2
00000760: AND
00000761: EQ
00000762: PUSH2 0x076a
00000765: JUMPI
00000766: PUSH1 0x00
00000768: DUP1
00000769: REVERT
0000076a: JUMPDEST
0000076b: PUSH1 0x00
0000076d: SWAP2
0000076e: DUP3
0000076f: MSTORE
00000770: PUSH1 0x05
00000772: PUSH1 0x20
00000774: MSTORE
00000775: PUSH1 0x40
00000777: SWAP1
00000778: SWAP2
00000779: KECCAK256
0000077a: SSTORE
0000077b: JUMP
0000077c: JUMPDEST
0000077d: CALLER
0000077e: PUSH1 0x00
00000780: SWAP1
00000781: DUP2
00000782: MSTORE
00000783: PUSH1 0x07
00000785: PUSH1 0x20
00000787: MSTORE
00000788: PUSH1 0x40
0000078a: SWAP1
0000078b: KECCAK256
0000078c: SLOAD
0000078d: JUMPDEST
0000078e: SWAP1
0000078f: JUMP
00000790: JUMPDEST
00000791: PUSH1 0x00
00000793: DUP1
00000794: PUSH2 0x079c
00000797: DUP5
00000798: PUSH2 0x0529
0000079b: JUMP
0000079c: JUMPDEST
0000079d: SWAP1
0000079e: POP
0000079f: PUSH2 0x07b6
000007a2: PUSH2 0x07ab
000007a5: DUP3
000007a6: DUP6
000007a7: PUSH2 0x0d11
000007aa: JUMP
000007ab: JUMPDEST
000007ac: PUSH1 0x03
000007ae: SLOAD
000007af: PUSH1 0x0a
000007b1: EXP
000007b2: PUSH2 0x0d43
000007b5: JUMP
000007b6: JUMPDEST
000007b7: SWAP2
000007b8: POP
000007b9: JUMPDEST
000007ba: POP
000007bb: SWAP3
000007bc: SWAP2
000007bd: POP
000007be: POP
000007bf: JUMP
000007c0: JUMPDEST
000007c1: PUSH1 0x0b
000007c3: SLOAD
000007c4: PUSH1 0x00
000007c6: SWAP1
000007c7: DUP3
000007c8: LT
000007c9: PUSH2 0x07d1
000007cc: JUMPI
000007cd: PUSH1 0x00
000007cf: DUP1
000007d0: REVERT
000007d1: JUMPDEST
000007d2: POP
000007d3: PUSH1 0x00
000007d5: SWAP1
000007d6: DUP2
000007d7: MSTORE
000007d8: PUSH1 0x08
000007da: PUSH1 0x20
000007dc: MSTORE
000007dd: PUSH1 0x40
000007df: SWAP1
000007e0: KECCAK256
000007e1: SLOAD
000007e2: SWAP1
000007e3: JUMP
000007e4: JUMPDEST
000007e5: ADDRESS
000007e6: BALANCE
000007e7: SWAP1
000007e8: JUMP
000007e9: JUMPDEST
000007ea: PUSH1 0x0a
000007ec: DUP2
000007ed: JUMP
000007ee: JUMPDEST
000007ef: PUSH1 0x00
000007f1: DUP1
000007f2: PUSH1 0x00
000007f4: DUP1
000007f5: PUSH1 0x00
000007f7: DUP1
000007f8: PUSH1 0x00
000007fa: DUP1
000007fb: PUSH1 0x00
000007fd: PUSH1 0x0b
000007ff: SLOAD
00000800: DUP12
00000801: LT
00000802: ISZERO
00000803: ISZERO
00000804: PUSH2 0x080c
00000807: JUMPI
00000808: PUSH1 0x00
0000080a: DUP1
0000080b: REVERT
0000080c: JUMPDEST
0000080d: PUSH1 0x0c
0000080f: SLOAD
00000810: TIMESTAMP
00000811: LT
00000812: ISZERO
00000813: PUSH2 0x081b
00000816: JUMPI
00000817: PUSH1 0x00
00000819: DUP1
0000081a: REVERT
0000081b: JUMPDEST
0000081c: PUSH1 0x00
0000081e: DUP12
0000081f: DUP2
00000820: MSTORE
00000821: PUSH1 0x05
00000823: PUSH1 0x20
00000825: MSTORE
00000826: PUSH1 0x40
00000828: SWAP1
00000829: KECCAK256
0000082a: SLOAD
0000082b: CALLVALUE
0000082c: LT
0000082d: ISZERO
0000082e: PUSH2 0x0836
00000831: JUMPI
00000832: PUSH1 0x00
00000834: DUP1
00000835: REVERT
00000836: JUMPDEST
00000837: PUSH1 0x00
00000839: DUP12
0000083a: DUP2
0000083b: MSTORE
0000083c: PUSH1 0x04
0000083e: PUSH1 0x20
00000840: MSTORE
00000841: PUSH1 0x40
00000843: SWAP1
00000844: KECCAK256
00000845: SLOAD
00000846: PUSH1 0x01
00000848: PUSH1 0xa0
0000084a: PUSH1 0x02
0000084c: EXP
0000084d: SUB
0000084e: AND
0000084f: CALLER
00000850: EQ
00000851: ISZERO
00000852: PUSH2 0x085a
00000855: JUMPI
00000856: PUSH1 0x00
00000858: DUP1
00000859: REVERT
0000085a: JUMPDEST
0000085b: PUSH1 0x00
0000085d: DUP12
0000085e: DUP2
0000085f: MSTORE
00000860: PUSH1 0x05
00000862: PUSH1 0x20
00000864: MSTORE
00000865: PUSH1 0x40
00000867: SWAP1
00000868: KECCAK256
00000869: SLOAD
0000086a: CALLVALUE
0000086b: GT
0000086c: ISZERO
0000086d: PUSH2 0x08a2
00000870: JUMPI
00000871: PUSH1 0x00
00000873: DUP12
00000874: DUP2
00000875: MSTORE
00000876: PUSH1 0x05
00000878: PUSH1 0x20
0000087a: MSTORE
0000087b: PUSH1 0x40
0000087d: SWAP1
0000087e: KECCAK256
0000087f: SLOAD
00000880: PUSH2 0x088a
00000883: SWAP1
00000884: CALLVALUE
00000885: SWAP1
00000886: PUSH2 0x0d5a
00000889: JUMP
0000088a: JUMPDEST
0000088b: CALLER
0000088c: PUSH1 0x00
0000088e: SWAP1
0000088f: DUP2
00000890: MSTORE
00000891: PUSH1 0x07
00000893: PUSH1 0x20
00000895: MSTORE
00000896: PUSH1 0x40
00000898: SWAP1
00000899: KECCAK256
0000089a: DUP1
0000089b: SLOAD
0000089c: DUP3
0000089d: ADD
0000089e: SWAP1
0000089f: SSTORE
000008a0: SWAP9
000008a1: POP
000008a2: JUMPDEST
000008a3: PUSH1 0x00
000008a5: DUP12
000008a6: DUP2
000008a7: MSTORE
000008a8: PUSH1 0x05
000008aa: PUSH1 0x20
000008ac: SWAP1
000008ad: DUP2
000008ae: MSTORE
000008af: PUSH1 0x40
000008b1: DUP1
000008b2: DUP4
000008b3: KECCAK256
000008b4: SLOAD
000008b5: PUSH1 0x06
000008b7: SWAP1
000008b8: SWAP3
000008b9: MSTORE
000008ba: SWAP1
000008bb: SWAP2
000008bc: KECCAK256
000008bd: SLOAD
000008be: PUSH2 0x08c7
000008c1: SWAP2
000008c2: SWAP1
000008c3: PUSH2 0x0d6c
000008c6: JUMP
000008c7: JUMPDEST
000008c8: PUSH1 0x00
000008ca: DUP12
000008cb: DUP2
000008cc: MSTORE
000008cd: PUSH1 0x05
000008cf: PUSH1 0x20
000008d1: MSTORE
000008d2: PUSH1 0x40
000008d4: SWAP1
000008d5: KECCAK256
000008d6: SLOAD
000008d7: PUSH1 0x09
000008d9: SLOAD
000008da: PUSH2 0x08ed
000008dd: SWAP2
000008de: PUSH2 0x08e6
000008e1: SWAP2
000008e2: PUSH2 0x0d11
000008e5: JUMP
000008e6: JUMPDEST
000008e7: PUSH1 0x64
000008e9: PUSH2 0x0d43
000008ec: JUMP
000008ed: JUMPDEST
000008ee: PUSH1 0x00
000008f0: DUP13
000008f1: DUP2
000008f2: MSTORE
000008f3: PUSH1 0x05
000008f5: PUSH1 0x20
000008f7: SWAP1
000008f8: DUP2
000008f9: MSTORE
000008fa: PUSH1 0x40
000008fc: DUP1
000008fd: DUP4
000008fe: KECCAK256
000008ff: SLOAD
00000900: PUSH1 0x06
00000902: SWAP1
00000903: SWAP3
00000904: MSTORE
00000905: SWAP1
00000906: SWAP2
00000907: KECCAK256
00000908: SLOAD
00000909: SWAP2
0000090a: SWAP10
0000090b: POP
0000090c: PUSH2 0x0914
0000090f: SWAP2
00000910: PUSH2 0x0d5a
00000913: JUMP
00000914: JUMPDEST
00000915: SWAP7
00000916: POP
00000917: PUSH2 0x0922
0000091a: PUSH1 0x0a
0000091c: SLOAD
0000091d: DUP9
0000091e: PUSH2 0x0d9c
00000921: JUMP
00000922: JUMPDEST
00000923: PUSH1 0x0a
00000925: SWAP1
00000926: DUP2
00000927: SSTORE
00000928: PUSH2 0x0936
0000092b: SWAP1
0000092c: PUSH2 0x08e6
0000092f: SWAP1
00000930: DUP10
00000931: SWAP1
00000932: PUSH2 0x0d11
00000935: JUMP
00000936: JUMPDEST
00000937: SWAP6
00000938: POP
00000939: PUSH2 0x0946
0000093c: PUSH2 0x08e6
0000093f: DUP9
00000940: PUSH1 0x32
00000942: PUSH2 0x0d11
00000945: JUMP
00000946: JUMPDEST
00000947: PUSH1 0x00
00000949: DUP13
0000094a: DUP2
0000094b: MSTORE
0000094c: PUSH1 0x08
0000094e: PUSH1 0x20
00000950: MSTORE
00000951: PUSH1 0x40
00000953: SWAP1
00000954: KECCAK256
00000955: SLOAD
00000956: SWAP1
00000957: SWAP6
00000958: POP
00000959: PUSH2 0x0962
0000095c: SWAP1
0000095d: DUP7
0000095e: PUSH2 0x0d9c
00000961: JUMP
00000962: JUMPDEST
00000963: PUSH1 0x00
00000965: DUP13
00000966: DUP2
00000967: MSTORE
00000968: PUSH1 0x08
0000096a: PUSH1 0x20
0000096c: SWAP1
0000096d: DUP2
0000096e: MSTORE
0000096f: PUSH1 0x40
00000971: DUP1
00000972: DUP4
00000973: KECCAK256
00000974: SWAP4
00000975: SWAP1
00000976: SWAP4
00000977: SSTORE
00000978: PUSH1 0x06
0000097a: SWAP1
0000097b: MSTORE
0000097c: KECCAK256
0000097d: SLOAD
0000097e: PUSH2 0x0988
00000981: SWAP1
00000982: DUP7
00000983: SWAP1
00000984: PUSH2 0x0d9c
00000987: JUMP
00000988: JUMPDEST
00000989: SWAP5
0000098a: POP
0000098b: PUSH2 0x0998
0000098e: PUSH2 0x08e6
00000991: DUP9
00000992: PUSH1 0x28
00000994: PUSH2 0x0d11
00000997: JUMP
00000998: JUMPDEST
00000999: SWAP4
0000099a: POP
0000099b: PUSH1 0x01
0000099d: PUSH1 0xa0
0000099f: PUSH1 0x02
000009a1: EXP
000009a2: SUB
000009a3: DUP11
000009a4: AND
000009a5: CALLER
000009a6: EQ
000009a7: PUSH2 0x0a53
000009aa: JUMPI
000009ab: PUSH2 0x09b8
000009ae: PUSH2 0x08e6
000009b1: DUP9
000009b2: PUSH1 0x05
000009b4: PUSH2 0x0d11
000009b7: JUMP
000009b8: JUMPDEST
000009b9: SWAP3
000009ba: POP
000009bb: PUSH2 0x09c4
000009be: DUP5
000009bf: DUP5
000009c0: PUSH2 0x0d5a
000009c3: JUMP
000009c4: JUMPDEST
000009c5: SWAP4
000009c6: POP
000009c7: PUSH1 0x01
000009c9: PUSH1 0xa0
000009cb: PUSH1 0x02
000009cd: EXP
000009ce: SUB
000009cf: DUP11
000009d0: AND
000009d1: ISZERO
000009d2: ISZERO
000009d3: PUSH2 0x0a16
000009d6: JUMPI
000009d7: PUSH1 0x10
000009d9: SLOAD
000009da: PUSH1 0x40
000009dc: MLOAD
000009dd: PUSH1 0x01
000009df: PUSH1 0xa0
000009e1: PUSH1 0x02
000009e3: EXP
000009e4: SUB
000009e5: SWAP1
000009e6: SWAP2
000009e7: AND
000009e8: SWAP1
000009e9: DUP5
000009ea: ISZERO
000009eb: PUSH2 0x08fc
000009ee: MUL
000009ef: SWAP1
000009f0: DUP6
000009f1: SWAP1
000009f2: PUSH1 0x00
000009f4: DUP2
000009f5: DUP2
000009f6: DUP2
000009f7: DUP6
000009f8: DUP9
000009f9: DUP9
000009fa: CALL
000009fb: SWAP4
000009fc: POP
000009fd: POP
000009fe: POP
000009ff: POP
00000a00: ISZERO
00000a01: DUP1
00000a02: ISZERO
00000a03: PUSH2 0x0a10
00000a06: JUMPI
00000a07: RETURNDATASIZE
00000a08: PUSH1 0x00
00000a0a: DUP1
00000a0b: RETURNDATACOPY
00000a0c: RETURNDATASIZE
00000a0d: PUSH1 0x00
00000a0f: REVERT
00000a10: JUMPDEST
00000a11: POP
00000a12: PUSH2 0x0a53
00000a15: JUMP
00000a16: JUMPDEST
00000a17: PUSH1 0x01
00000a19: PUSH1 0xa0
00000a1b: PUSH1 0x02
00000a1d: EXP
00000a1e: SUB
00000a1f: DUP11
00000a20: AND
00000a21: PUSH1 0x00
00000a23: SWAP1
00000a24: DUP2
00000a25: MSTORE
00000a26: PUSH1 0x07
00000a28: PUSH1 0x20
00000a2a: MSTORE
00000a2b: PUSH1 0x40
00000a2d: SWAP1
00000a2e: KECCAK256
00000a2f: SLOAD
00000a30: PUSH2 0x0a39
00000a33: SWAP1
00000a34: DUP5
00000a35: PUSH2 0x0d9c
00000a38: JUMP
00000a39: JUMPDEST
00000a3a: PUSH1 0x01
00000a3c: PUSH1 0xa0
00000a3e: PUSH1 0x02
00000a40: EXP
00000a41: SUB
00000a42: DUP12
00000a43: AND
00000a44: PUSH1 0x00
00000a46: SWAP1
00000a47: DUP2
00000a48: MSTORE
00000a49: PUSH1 0x07
00000a4b: PUSH1 0x20
00000a4d: MSTORE
00000a4e: PUSH1 0x40
00000a50: SWAP1
00000a51: KECCAK256
00000a52: SSTORE
00000a53: JUMPDEST
00000a54: POP
00000a55: POP
00000a56: PUSH1 0x00
00000a58: DUP10
00000a59: DUP2
00000a5a: MSTORE
00000a5b: PUSH1 0x04
00000a5d: PUSH1 0x20
00000a5f: SWAP1
00000a60: DUP2
00000a61: MSTORE
00000a62: PUSH1 0x40
00000a64: DUP1
00000a65: DUP4
00000a66: KECCAK256
00000a67: SLOAD
00000a68: PUSH1 0x01
00000a6a: PUSH1 0xa0
00000a6c: PUSH1 0x02
00000a6e: EXP
00000a6f: SUB
00000a70: AND
00000a71: DUP1
00000a72: DUP5
00000a73: MSTORE
00000a74: PUSH1 0x07
00000a76: SWAP1
00000a77: SWAP3
00000a78: MSTORE
00000a79: SWAP1
00000a7a: SWAP2
00000a7b: KECCAK256
00000a7c: SLOAD
00000a7d: CALLER
00000a7e: SWAP1
00000a7f: PUSH2 0x0a88
00000a82: SWAP1
00000a83: DUP7
00000a84: PUSH2 0x0d9c
00000a87: JUMP
00000a88: JUMPDEST
00000a89: PUSH1 0x01
00000a8b: PUSH1 0xa0
00000a8d: PUSH1 0x02
00000a8f: EXP
00000a90: SUB
00000a91: DUP1
00000a92: DUP5
00000a93: AND
00000a94: PUSH1 0x00
00000a96: SWAP1
00000a97: DUP2
00000a98: MSTORE
00000a99: PUSH1 0x07
00000a9b: PUSH1 0x20
00000a9d: MSTORE
00000a9e: PUSH1 0x40
00000aa0: DUP1
00000aa1: DUP3
00000aa2: KECCAK256
00000aa3: SWAP4
00000aa4: SWAP1
00000aa5: SWAP4
00000aa6: SSTORE
00000aa7: PUSH1 0x10
00000aa9: SLOAD
00000aaa: SWAP3
00000aab: MLOAD
00000aac: SWAP3
00000aad: SWAP1
00000aae: SWAP2
00000aaf: AND
00000ab0: SWAP2
00000ab1: DUP9
00000ab2: ISZERO
00000ab3: PUSH2 0x08fc
00000ab6: MUL
00000ab7: SWAP2
00000ab8: DUP10
00000ab9: SWAP2
00000aba: SWAP1
00000abb: DUP2
00000abc: DUP2
00000abd: DUP2
00000abe: DUP6
00000abf: DUP9
00000ac0: DUP9
00000ac1: CALL
00000ac2: SWAP4
00000ac3: POP
00000ac4: POP
00000ac5: POP
00000ac6: POP
00000ac7: ISZERO
00000ac8: DUP1
00000ac9: ISZERO
00000aca: PUSH2 0x0ad7
00000acd: JUMPI
00000ace: RETURNDATASIZE
00000acf: PUSH1 0x00
00000ad1: DUP1
00000ad2: RETURNDATACOPY
00000ad3: RETURNDATASIZE
00000ad4: PUSH1 0x00
00000ad6: REVERT
00000ad7: JUMPDEST
00000ad8: POP
00000ad9: PUSH2 0x0ae1
00000adc: DUP5
00000add: PUSH2 0x0dab
00000ae0: JUMP
00000ae1: JUMPDEST
00000ae2: PUSH1 0x00
00000ae4: DUP12
00000ae5: DUP2
00000ae6: MSTORE
00000ae7: PUSH1 0x05
00000ae9: PUSH1 0x20
00000aeb: SWAP1
00000aec: DUP2
00000aed: MSTORE
00000aee: PUSH1 0x40
00000af0: DUP1
00000af1: DUP4
00000af2: KECCAK256
00000af3: DUP1
00000af4: SLOAD
00000af5: PUSH1 0x06
00000af7: DUP1
00000af8: DUP6
00000af9: MSTORE
00000afa: DUP4
00000afb: DUP7
00000afc: KECCAK256
00000afd: SWAP2
00000afe: DUP3
00000aff: SSTORE
00000b00: SWAP2
00000b01: DUP14
00000b02: SWAP1
00000b03: SSTORE
00000b04: PUSH1 0x04
00000b06: DUP5
00000b07: MSTORE
00000b08: SWAP4
00000b09: DUP3
00000b0a: SWAP1
00000b0b: KECCAK256
00000b0c: DUP1
00000b0d: SLOAD
00000b0e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000b23: NOT
00000b24: AND
00000b25: PUSH1 0x01
00000b27: PUSH1 0xa0
00000b29: PUSH1 0x02
00000b2b: EXP
00000b2c: SUB
00000b2d: DUP8
00000b2e: AND
00000b2f: OR
00000b30: SWAP1
00000b31: SSTORE
00000b32: DUP3
00000b33: MSTORE
00000b34: SWAP2
00000b35: SLOAD
00000b36: DUP3
00000b37: MLOAD
00000b38: CALLER
00000b39: DUP2
00000b3a: MSTORE
00000b3b: SWAP2
00000b3c: DUP3
00000b3d: ADD
00000b3e: MSTORE
00000b3f: DUP1
00000b40: DUP3
00000b41: ADD
00000b42: DUP14
00000b43: SWAP1
00000b44: MSTORE
00000b45: PUSH1 0x60
00000b47: DUP2
00000b48: ADD
00000b49: DUP11
00000b4a: SWAP1
00000b4b: MSTORE
00000b4c: SWAP1
00000b4d: MLOAD
00000b4e: PUSH32 0xb6058ac11d669cce504a48b05012e6920f1058599371108c7eacf6dfa9b976bb
00000b6f: SWAP2
00000b70: PUSH1 0x80
00000b72: SWAP1
00000b73: DUP3
00000b74: SWAP1
00000b75: SUB
00000b76: ADD
00000b77: SWAP1
00000b78: LOG1
00000b79: POP
00000b7a: POP
00000b7b: POP
00000b7c: POP
00000b7d: POP
00000b7e: POP
00000b7f: POP
00000b80: POP
00000b81: POP
00000b82: POP
00000b83: POP
00000b84: JUMP
00000b85: JUMPDEST
00000b86: PUSH1 0x01
00000b88: PUSH1 0xa0
00000b8a: PUSH1 0x02
00000b8c: EXP
00000b8d: SUB
00000b8e: AND
00000b8f: PUSH1 0x00
00000b91: SWAP1
00000b92: DUP2
00000b93: MSTORE
00000b94: PUSH1 0x07
00000b96: PUSH1 0x20
00000b98: MSTORE
00000b99: PUSH1 0x40
00000b9b: SWAP1
00000b9c: KECCAK256
00000b9d: SLOAD
00000b9e: SWAP1
00000b9f: JUMP
00000ba0: JUMPDEST
00000ba1: PUSH1 0x01
00000ba3: DUP1
00000ba4: SLOAD
00000ba5: PUSH1 0x40
00000ba7: DUP1
00000ba8: MLOAD
00000ba9: PUSH1 0x20
00000bab: PUSH1 0x02
00000bad: DUP5
00000bae: DUP7
00000baf: AND
00000bb0: ISZERO
00000bb1: PUSH2 0x0100
00000bb4: MUL
00000bb5: PUSH1 0x00
00000bb7: NOT
00000bb8: ADD
00000bb9: SWAP1
00000bba: SWAP5
00000bbb: AND
00000bbc: SWAP4
00000bbd: SWAP1
00000bbe: SWAP4
00000bbf: DIV
00000bc0: PUSH1 0x1f
00000bc2: DUP2
00000bc3: ADD
00000bc4: DUP5
00000bc5: SWAP1
00000bc6: DIV
00000bc7: DUP5
00000bc8: MUL
00000bc9: DUP3
00000bca: ADD
00000bcb: DUP5
00000bcc: ADD
00000bcd: SWAP1
00000bce: SWAP3
00000bcf: MSTORE
00000bd0: DUP2
00000bd1: DUP2
00000bd2: MSTORE
00000bd3: SWAP3
00000bd4: SWAP2
00000bd5: DUP4
00000bd6: ADD
00000bd7: DUP3
00000bd8: DUP3
00000bd9: DUP1
00000bda: ISZERO
00000bdb: PUSH2 0x0603
00000bde: JUMPI
00000bdf: DUP1
00000be0: PUSH1 0x1f
00000be2: LT
00000be3: PUSH2 0x05d8
00000be6: JUMPI
00000be7: PUSH2 0x0100
00000bea: DUP1
00000beb: DUP4
00000bec: SLOAD
00000bed: DIV
00000bee: MUL
00000bef: DUP4
00000bf0: MSTORE
00000bf1: SWAP2
00000bf2: PUSH1 0x20
00000bf4: ADD
00000bf5: SWAP2
00000bf6: PUSH2 0x0603
00000bf9: JUMP
00000bfa: JUMPDEST
00000bfb: PUSH1 0x0d
00000bfd: SLOAD
00000bfe: PUSH1 0x01
00000c00: PUSH1 0xa0
00000c02: PUSH1 0x02
00000c04: EXP
00000c05: SUB
00000c06: AND
00000c07: CALLER
00000c08: EQ
00000c09: PUSH2 0x0c11
00000c0c: JUMPI
00000c0d: PUSH1 0x00
00000c0f: DUP1
00000c10: REVERT
00000c11: JUMPDEST
00000c12: PUSH1 0x0b
00000c14: DUP1
00000c15: SLOAD
00000c16: PUSH1 0x00
00000c18: NOT
00000c19: SWAP1
00000c1a: DUP2
00000c1b: ADD
00000c1c: PUSH1 0x00
00000c1e: SWAP1
00000c1f: DUP2
00000c20: MSTORE
00000c21: PUSH1 0x05
00000c23: PUSH1 0x20
00000c25: SWAP1
00000c26: DUP2
00000c27: MSTORE
00000c28: PUSH1 0x40
00000c2a: DUP1
00000c2b: DUP4
00000c2c: KECCAK256
00000c2d: SWAP6
00000c2e: SWAP1
00000c2f: SWAP6
00000c30: SSTORE
00000c31: PUSH1 0x0d
00000c33: SLOAD
00000c34: DUP5
00000c35: SLOAD
00000c36: DUP5
00000c37: ADD
00000c38: DUP4
00000c39: MSTORE
00000c3a: PUSH1 0x04
00000c3c: DUP3
00000c3d: MSTORE
00000c3e: DUP6
00000c3f: DUP4
00000c40: KECCAK256
00000c41: DUP1
00000c42: SLOAD
00000c43: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000c58: NOT
00000c59: AND
00000c5a: PUSH1 0x01
00000c5c: PUSH1 0xa0
00000c5e: PUSH1 0x02
00000c60: EXP
00000c61: SUB
00000c62: SWAP1
00000c63: SWAP3
00000c64: AND
00000c65: SWAP2
00000c66: SWAP1
00000c67: SWAP2
00000c68: OR
00000c69: SWAP1
00000c6a: SSTORE
00000c6b: DUP4
00000c6c: SLOAD
00000c6d: SWAP1
00000c6e: SWAP3
00000c6f: ADD
00000c70: DUP2
00000c71: MSTORE
00000c72: PUSH1 0x08
00000c74: SWAP1
00000c75: SWAP2
00000c76: MSTORE
00000c77: SWAP2
00000c78: DUP3
00000c79: KECCAK256
00000c7a: SWAP2
00000c7b: SWAP1
00000c7c: SWAP2
00000c7d: SSTORE
00000c7e: DUP1
00000c7f: SLOAD
00000c80: PUSH1 0x01
00000c82: ADD
00000c83: SWAP1
00000c84: SSTORE
00000c85: JUMP
00000c86: JUMPDEST
00000c87: PUSH1 0x03
00000c89: SLOAD
00000c8a: DUP2
00000c8b: JUMP
00000c8c: JUMPDEST
00000c8d: PUSH1 0x05
00000c8f: DUP2
00000c90: JUMP
00000c91: JUMPDEST
00000c92: PUSH1 0x0a
00000c94: SLOAD
00000c95: SWAP1
00000c96: JUMP
00000c97: JUMPDEST
00000c98: PUSH1 0x02
00000c9a: SLOAD
00000c9b: DUP2
00000c9c: JUMP
00000c9d: JUMPDEST
00000c9e: PUSH1 0x0d
00000ca0: SLOAD
00000ca1: PUSH1 0x01
00000ca3: PUSH1 0xa0
00000ca5: PUSH1 0x02
00000ca7: EXP
00000ca8: SUB
00000ca9: AND
00000caa: CALLER
00000cab: EQ
00000cac: PUSH2 0x0cb4
00000caf: JUMPI
00000cb0: PUSH1 0x00
00000cb2: DUP1
00000cb3: REVERT
00000cb4: JUMPDEST
00000cb5: DUP1
00000cb6: MLOAD
00000cb7: PUSH2 0x0cc7
00000cba: SWAP1
00000cbb: PUSH1 0x01
00000cbd: SWAP1
00000cbe: PUSH1 0x20
00000cc0: DUP5
00000cc1: ADD
00000cc2: SWAP1
00000cc3: PUSH2 0x0e56
00000cc6: JUMP
00000cc7: JUMPDEST
00000cc8: POP
00000cc9: POP
00000cca: JUMP
00000ccb: JUMPDEST
00000ccc: PUSH1 0x0b
00000cce: SLOAD
00000ccf: SWAP1
00000cd0: JUMP
00000cd1: JUMPDEST
00000cd2: PUSH1 0x28
00000cd4: DUP2
00000cd5: JUMP
00000cd6: JUMPDEST
00000cd7: PUSH1 0x0d
00000cd9: SLOAD
00000cda: PUSH1 0x01
00000cdc: PUSH1 0xa0
00000cde: PUSH1 0x02
00000ce0: EXP
00000ce1: SUB
00000ce2: AND
00000ce3: CALLER
00000ce4: EQ
00000ce5: PUSH2 0x0ced
00000ce8: JUMPI
00000ce9: PUSH1 0x00
00000ceb: DUP1
00000cec: REVERT
00000ced: JUMPDEST
00000cee: DUP1
00000cef: MLOAD
00000cf0: PUSH2 0x0cc7
00000cf3: SWAP1
00000cf4: PUSH1 0x00
00000cf6: SWAP1
00000cf7: PUSH1 0x20
00000cf9: DUP5
00000cfa: ADD
00000cfb: SWAP1
00000cfc: PUSH2 0x0e56
00000cff: JUMP
00000d00: JUMPDEST
00000d01: PUSH1 0x02
00000d03: SLOAD
00000d04: SWAP1
00000d05: JUMP
00000d06: JUMPDEST
00000d07: PUSH1 0x0b
00000d09: SLOAD
00000d0a: DUP2
00000d0b: JUMP
00000d0c: JUMPDEST
00000d0d: PUSH1 0x32
00000d0f: DUP2
00000d10: JUMP
00000d11: JUMPDEST
00000d12: PUSH1 0x00
00000d14: DUP1
00000d15: DUP4
00000d16: ISZERO
00000d17: ISZERO
00000d18: PUSH2 0x0d24
00000d1b: JUMPI
00000d1c: PUSH1 0x00
00000d1e: SWAP2
00000d1f: POP
00000d20: PUSH2 0x07b9
00000d23: JUMP
00000d24: JUMPDEST
00000d25: POP
00000d26: DUP3
00000d27: DUP3
00000d28: MUL
00000d29: DUP3
00000d2a: DUP5
00000d2b: DUP3
00000d2c: DUP2
00000d2d: ISZERO
00000d2e: ISZERO
00000d2f: PUSH2 0x0d34
00000d32: JUMPI
00000d33: INVALID
00000d34: JUMPDEST
00000d35: DIV
00000d36: EQ
00000d37: PUSH2 0x0d3c
00000d3a: JUMPI
00000d3b: INVALID
00000d3c: JUMPDEST
00000d3d: SWAP4
00000d3e: SWAP3
00000d3f: POP
00000d40: POP
00000d41: POP
00000d42: JUMP
00000d43: JUMPDEST
00000d44: PUSH1 0x00
00000d46: DUP1
00000d47: DUP3
00000d48: DUP5
00000d49: DUP2
00000d4a: ISZERO
00000d4b: ISZERO
00000d4c: PUSH2 0x0d51
00000d4f: JUMPI
00000d50: INVALID
00000d51: JUMPDEST
00000d52: DIV
00000d53: SWAP5
00000d54: SWAP4
00000d55: POP
00000d56: POP
00000d57: POP
00000d58: POP
00000d59: JUMP
00000d5a: JUMPDEST
00000d5b: PUSH1 0x00
00000d5d: DUP3
00000d5e: DUP3
00000d5f: GT
00000d60: ISZERO
00000d61: PUSH2 0x0d66
00000d64: JUMPI
00000d65: INVALID
00000d66: JUMPDEST
00000d67: POP
00000d68: SWAP1
00000d69: SUB
00000d6a: SWAP1
00000d6b: JUMP
00000d6c: JUMPDEST
00000d6d: PUSH1 0x00
00000d6f: PUSH2 0x0d7d
00000d72: PUSH2 0x08e6
00000d75: DUP5
00000d76: PUSH1 0x09
00000d78: SLOAD
00000d79: PUSH2 0x0d11
00000d7c: JUMP
00000d7d: JUMPDEST
00000d7e: SWAP1
00000d7f: POP
00000d80: PUSH2 0x0d94
00000d83: PUSH1 0x02
00000d85: SLOAD
00000d86: PUSH2 0x0d8f
00000d89: DUP4
00000d8a: DUP6
00000d8b: PUSH2 0x0d5a
00000d8e: JUMP
00000d8f: JUMPDEST
00000d90: PUSH2 0x0d9c
00000d93: JUMP
00000d94: JUMPDEST
00000d95: PUSH1 0x02
00000d97: SSTORE
00000d98: POP
00000d99: POP
00000d9a: POP
00000d9b: JUMP
00000d9c: JUMPDEST
00000d9d: PUSH1 0x00
00000d9f: DUP3
00000da0: DUP3
00000da1: ADD
00000da2: DUP4
00000da3: DUP2
00000da4: LT
00000da5: ISZERO
00000da6: PUSH2 0x0d3c
00000da9: JUMPI
00000daa: INVALID
00000dab: JUMPDEST
00000dac: PUSH1 0x00
00000dae: DUP1
00000daf: DUP1
00000db0: JUMPDEST
00000db1: PUSH1 0x0b
00000db3: SLOAD
00000db4: DUP4
00000db5: LT
00000db6: ISZERO
00000db7: PUSH2 0x0e50
00000dba: JUMPI
00000dbb: PUSH2 0x0de5
00000dbe: PUSH2 0x056d
00000dc1: PUSH2 0x0565
00000dc4: PUSH1 0x06
00000dc6: PUSH1 0x00
00000dc8: DUP8
00000dc9: DUP2
00000dca: MSTORE
00000dcb: PUSH1 0x20
00000dcd: ADD
00000dce: SWAP1
00000dcf: DUP2
00000dd0: MSTORE
00000dd1: PUSH1 0x20
00000dd3: ADD
00000dd4: PUSH1 0x00
00000dd6: KECCAK256
00000dd7: SLOAD
00000dd8: PUSH1 0x03
00000dda: SLOAD
00000ddb: PUSH1 0x01
00000ddd: ADD
00000dde: PUSH1 0x0a
00000de0: EXP
00000de1: PUSH2 0x0d11
00000de4: JUMP
00000de5: JUMPDEST
00000de6: SWAP2
00000de7: POP
00000de8: PUSH2 0x0df4
00000deb: PUSH2 0x07ab
00000dee: DUP6
00000def: DUP5
00000df0: PUSH2 0x0d11
00000df3: JUMP
00000df4: JUMPDEST
00000df5: PUSH1 0x00
00000df7: DUP5
00000df8: DUP2
00000df9: MSTORE
00000dfa: PUSH1 0x04
00000dfc: PUSH1 0x20
00000dfe: SWAP1
00000dff: DUP2
00000e00: MSTORE
00000e01: PUSH1 0x40
00000e03: DUP1
00000e04: DUP4
00000e05: KECCAK256
00000e06: SLOAD
00000e07: PUSH1 0x01
00000e09: PUSH1 0xa0
00000e0b: PUSH1 0x02
00000e0d: EXP
00000e0e: SUB
00000e0f: AND
00000e10: DUP4
00000e11: MSTORE
00000e12: PUSH1 0x07
00000e14: DUP3
00000e15: MSTORE
00000e16: DUP1
00000e17: DUP4
00000e18: KECCAK256
00000e19: DUP1
00000e1a: SLOAD
00000e1b: DUP6
00000e1c: ADD
00000e1d: SWAP1
00000e1e: SSTORE
00000e1f: DUP7
00000e20: DUP4
00000e21: MSTORE
00000e22: PUSH1 0x08
00000e24: SWAP1
00000e25: SWAP2
00000e26: MSTORE
00000e27: SWAP1
00000e28: KECCAK256
00000e29: SLOAD
00000e2a: SWAP1
00000e2b: SWAP2
00000e2c: POP
00000e2d: PUSH2 0x0e36
00000e30: SWAP1
00000e31: DUP3
00000e32: PUSH2 0x0d9c
00000e35: JUMP
00000e36: JUMPDEST
00000e37: PUSH1 0x00
00000e39: DUP5
00000e3a: DUP2
00000e3b: MSTORE
00000e3c: PUSH1 0x08
00000e3e: PUSH1 0x20
00000e40: MSTORE
00000e41: PUSH1 0x40
00000e43: SWAP1
00000e44: KECCAK256
00000e45: SSTORE
00000e46: PUSH1 0x01
00000e48: SWAP1
00000e49: SWAP3
00000e4a: ADD
00000e4b: SWAP2
00000e4c: PUSH2 0x0db0
00000e4f: JUMP
00000e50: JUMPDEST
00000e51: POP
00000e52: POP
00000e53: POP
00000e54: POP
00000e55: JUMP
00000e56: JUMPDEST
00000e57: DUP3
00000e58: DUP1
00000e59: SLOAD
00000e5a: PUSH1 0x01
00000e5c: DUP2
00000e5d: PUSH1 0x01
00000e5f: AND
00000e60: ISZERO
00000e61: PUSH2 0x0100
00000e64: MUL
00000e65: SUB
00000e66: AND
00000e67: PUSH1 0x02
00000e69: SWAP1
00000e6a: DIV
00000e6b: SWAP1
00000e6c: PUSH1 0x00
00000e6e: MSTORE
00000e6f: PUSH1 0x20
00000e71: PUSH1 0x00
00000e73: KECCAK256
00000e74: SWAP1
00000e75: PUSH1 0x1f
00000e77: ADD
00000e78: PUSH1 0x20
00000e7a: SWAP1
00000e7b: DIV
00000e7c: DUP2
00000e7d: ADD
00000e7e: SWAP3
00000e7f: DUP3
00000e80: PUSH1 0x1f
00000e82: LT
00000e83: PUSH2 0x0e97
00000e86: JUMPI
00000e87: DUP1
00000e88: MLOAD
00000e89: PUSH1 0xff
00000e8b: NOT
00000e8c: AND
00000e8d: DUP4
00000e8e: DUP1
00000e8f: ADD
00000e90: OR
00000e91: DUP6
00000e92: SSTORE
00000e93: PUSH2 0x0ec4
00000e96: JUMP
00000e97: JUMPDEST
00000e98: DUP3
00000e99: DUP1
00000e9a: ADD
00000e9b: PUSH1 0x01
00000e9d: ADD
00000e9e: DUP6
00000e9f: SSTORE
00000ea0: DUP3
00000ea1: ISZERO
00000ea2: PUSH2 0x0ec4
00000ea5: JUMPI
00000ea6: SWAP2
00000ea7: DUP3
00000ea8: ADD
00000ea9: JUMPDEST
00000eaa: DUP3
00000eab: DUP2
00000eac: GT
00000ead: ISZERO
00000eae: PUSH2 0x0ec4
00000eb1: JUMPI
00000eb2: DUP3
00000eb3: MLOAD
00000eb4: DUP3
00000eb5: SSTORE
00000eb6: SWAP2
00000eb7: PUSH1 0x20
00000eb9: ADD
00000eba: SWAP2
00000ebb: SWAP1
00000ebc: PUSH1 0x01
00000ebe: ADD
00000ebf: SWAP1
00000ec0: PUSH2 0x0ea9
00000ec3: JUMP
00000ec4: JUMPDEST
00000ec5: POP
00000ec6: PUSH2 0x0ed0
00000ec9: SWAP3
00000eca: SWAP2
00000ecb: POP
00000ecc: PUSH2 0x0ed4
00000ecf: JUMP
00000ed0: JUMPDEST
00000ed1: POP
00000ed2: SWAP1
00000ed3: JUMP
00000ed4: JUMPDEST
00000ed5: PUSH2 0x078d
00000ed8: SWAP2
00000ed9: SWAP1
00000eda: JUMPDEST
00000edb: DUP1
00000edc: DUP3
00000edd: GT
00000ede: ISZERO
00000edf: PUSH2 0x0ed0
00000ee2: JUMPI
00000ee3: PUSH1 0x00
00000ee5: DUP2
00000ee6: SSTORE
00000ee7: PUSH1 0x01
00000ee9: ADD
00000eea: PUSH2 0x0eda
00000eed: JUMP
00000eee: STOP
00000eef: LOG1
00000ef0: PUSH6 0x627a7a723058
00000ef7: KECCAK256
00000ef8: SAR
00000ef9: INVALID
00000efa: UNKNOWN(0xFC)
00000efb: UNKNOWN(0xDF)
00000efc: UNKNOWN(0x25)
00000efd: PUSH4 0x1a090be4
00000f02: STATICCALL
00000f03: CALLDATALOAD
00000f04: BLOBBASEFEE
00000f05: UNKNOWN(0xB2)
00000f06: SMOD
00000f07: UNKNOWN(0xAE)
00000f08: MULMOD
00000f09: CODECOPY
00000f0a: UNKNOWN(0x4E)
00000f0b: UNKNOWN(0xCA)
00000f0c: SWAP10
00000f0d: DELEGATECALL
00000f0e: PUSH12

Findings

validated = confirmed for call sinks; sink observed for others

Severity	Category	Tool	Title	Confidence	Validated	Confirmed	Details
critical	upgradeability	detector	Untrusted DELEGATECALL target reachable	70	no	no	view trace_id: 0x9aea4682daac66c304025e20e36a9a55703c47254291e6680b062da932fc7698 validation_json { "sink": "DELEGATECALL", "errors": 0, "status": "unknown", "attempts": 192, "trace_id": "0x9aea4682daac66c304025e20e36a9a55703c47254291e6680b062da932fc7698", "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": "0x04dd2dea", "selector": "0x04dd2dea", "calldata_variants": [ "0x04dd2dea", "0x04dd2dea0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x06fdde03", "selector": "0x06fdde03", "calldata_variants": [ "0x06fdde03", "0x06fdde030000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x1ae4dfb7", "selector": "0x1ae4dfb7", "calldata_variants": [ "0x1ae4dfb7", "0x1ae4dfb70000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x1b7e0902", "selector": "0x1b7e0902", "calldata_variants": [ "0x1b7e0902", "0x1b7e09020000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x287ad8fa", "selector": "0x287ad8fa", "calldata_variants": [ "0x287ad8fa", "0x287ad8fa0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x313ce567", "selector": "0x313ce567", "calldata_variants": [ "0x313ce567", "0x313ce5670000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x3ccfd60b", "selector": "0x3ccfd60b", "calldata_variants": [ "0x3ccfd60b", "0x3ccfd60b0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x4b419b5f", "selector": "0x4b419b5f", "calldata_variants": [ "0x4b419b5f", "0x4b419b5f0000000000000000000000000000000000000000000000000000000000000000" ] } ] } evidence_json { "examples": [ { "pc": 3853, "opcode": "DELEGATECALL", "returndata_checked": null, "value_expression_category": "n/a", "target_expression_category": "computed" } ], "guards_detected": [], "delegatecall_count": 1, "untrusted_delegatecall_count": 1 }
high	other	detector	Untrusted CALL target/value reachable	60	no	no	view trace_id: 0x853ca53f0cc70bc7563995f2e5cf81fecde553aa6412662cc7d02706eedf6b90 call_targets: 0x90836bd5951483124f502fe1b367026a09625cc3 target_varies: no classification: constant_target validation_json { "sink": "CALL", "errors": 0, "status": "sink_reached", "attempts": 1, "trace_id": "0x853ca53f0cc70bc7563995f2e5cf81fecde553aa6412662cc7d02706eedf6b90", "confirmed": false, "trace_mode": "callTracer", "call_targets": [ "0x90836bd5951483124f502fe1b367026a09625cc3" ], "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": "0x04dd2dea", "selector": "0x04dd2dea", "calldata_variants": [ "0x04dd2dea", "0x04dd2dea0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x06fdde03", "selector": "0x06fdde03", "calldata_variants": [ "0x06fdde03", "0x06fdde030000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x1ae4dfb7", "selector": "0x1ae4dfb7", "calldata_variants": [ "0x1ae4dfb7", "0x1ae4dfb70000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x1b7e0902", "selector": "0x1b7e0902", "calldata_variants": [ "0x1b7e0902", "0x1b7e09020000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x287ad8fa", "selector": "0x287ad8fa", "calldata_variants": [ "0x287ad8fa", "0x287ad8fa0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x313ce567", "selector": "0x313ce567", "calldata_variants": [ "0x313ce567", "0x313ce5670000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x3ccfd60b", "selector": "0x3ccfd60b", "calldata_variants": [ "0x3ccfd60b", "0x3ccfd60b0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x4b419b5f", "selector": "0x4b419b5f", "calldata_variants": [ "0x4b419b5f", "0x4b419b5f0000000000000000000000000000000000000000000000000000000000000000" ] } ] } evidence_json { "examples": [ { "pc": 1739, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" }, { "pc": 2554, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" }, { "pc": 2753, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" } ], "call_count": 3, "guards_detected": [], "untrusted_call_count": 3 }
high	other	detector	ETH value transfer possible	55	no	no	view trace_id: 0x853ca53f0cc70bc7563995f2e5cf81fecde553aa6412662cc7d02706eedf6b90 call_targets: 0x90836bd5951483124f502fe1b367026a09625cc3 target_varies: no classification: constant_target validation_json { "sink": "CALL", "errors": 0, "status": "sink_reached", "attempts": 1, "trace_id": "0x853ca53f0cc70bc7563995f2e5cf81fecde553aa6412662cc7d02706eedf6b90", "confirmed": false, "trace_mode": "callTracer", "call_targets": [ "0x90836bd5951483124f502fe1b367026a09625cc3" ], "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": "0x04dd2dea", "selector": "0x04dd2dea", "calldata_variants": [ "0x04dd2dea", "0x04dd2dea0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x06fdde03", "selector": "0x06fdde03", "calldata_variants": [ "0x06fdde03", "0x06fdde030000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x1ae4dfb7", "selector": "0x1ae4dfb7", "calldata_variants": [ "0x1ae4dfb7", "0x1ae4dfb70000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x1b7e0902", "selector": "0x1b7e0902", "calldata_variants": [ "0x1b7e0902", "0x1b7e09020000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x287ad8fa", "selector": "0x287ad8fa", "calldata_variants": [ "0x287ad8fa", "0x287ad8fa0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x313ce567", "selector": "0x313ce567", "calldata_variants": [ "0x313ce567", "0x313ce5670000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x3ccfd60b", "selector": "0x3ccfd60b", "calldata_variants": [ "0x3ccfd60b", "0x3ccfd60b0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x4b419b5f", "selector": "0x4b419b5f", "calldata_variants": [ "0x4b419b5f", "0x4b419b5f0000000000000000000000000000000000000000000000000000000000000000" ] } ] } evidence_json { "examples": [ { "pc": 1739, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" }, { "pc": 2554, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" }, { "pc": 2753, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" } ], "eth_value_calls": 3, "guards_detected": [] }

Severity