Analysis Run

019b477e-cdac-70a4-b5e5-4d1b4abf48ad

complete

Chain ID

1

Address

0xb6554ce686cf21c642c3a28144a09879ae3f2ee1

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 CALL target/value reachable

crit 0 high 0 direct contract

Review Checklist

1. Read the findings table first. Ignore raw jobs until the result looks real.

2. Confirm attacker control, not just the existence of a sink.

3. Confirm money or privilege impact.

4. Keep it if the behavior is real. Kill it if this is normal proxy, admin, or upgrade plumbing.

Processing Jobs

Status & attempts

ID	Type	Status	Attempts	Heartbeat
27073	artifact.fetch	complete	1 / 3	3 months ago
27074	tool.cast_disasm	complete	1 / 3	3 months ago
70270	analysis.bundle	complete	1 / 3	2 weeks ago
70271	capability.graph	complete	1 / 3	2 weeks ago
70272	detector.run	complete	1 / 3	2 weeks ago
70273	validation.fork	complete	1 / 3	2 weeks 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

0

Selfdestruct

0

CREATE2

0

CALL-family (heavy)

5

EXT*/BALANCE

2

Total opcodes

2744

Flags

No heuristic flags raised.

View cast disassembly output

00000000: PUSH1 0x80
00000002: PUSH1 0x40
00000004: MSTORE
00000005: PUSH1 0x04
00000007: CALLDATASIZE
00000008: LT
00000009: PUSH2 0x00f3
0000000c: JUMPI
0000000d: PUSH1 0x00
0000000f: CALLDATALOAD
00000010: PUSH1 0xe0
00000012: SHR
00000013: DUP1
00000014: PUSH4 0x7df6a6c8
00000019: GT
0000001a: PUSH2 0x008a
0000001d: JUMPI
0000001e: DUP1
0000001f: PUSH4 0xc5e2a7db
00000024: GT
00000025: PUSH2 0x0059
00000028: JUMPI
00000029: DUP1
0000002a: PUSH4 0xc5e2a7db
0000002f: EQ
00000030: PUSH2 0x02ed
00000033: JUMPI
00000034: DUP1
00000035: PUSH4 0xe49a12dc
0000003a: EQ
0000003b: PUSH2 0x030d
0000003e: JUMPI
0000003f: DUP1
00000040: PUSH4 0xeeb0511f
00000045: EQ
00000046: PUSH2 0x032d
00000049: JUMPI
0000004a: DUP1
0000004b: PUSH4 0xff831227
00000050: EQ
00000051: PUSH2 0x034d
00000054: JUMPI
00000055: PUSH1 0x00
00000057: DUP1
00000058: REVERT
00000059: JUMPDEST
0000005a: DUP1
0000005b: PUSH4 0x7df6a6c8
00000060: EQ
00000061: PUSH2 0x0281
00000064: JUMPI
00000065: DUP1
00000066: PUSH4 0x8da5cb5b
0000006b: EQ
0000006c: PUSH2 0x02a1
0000006f: JUMPI
00000070: DUP1
00000071: PUSH4 0x9c031ace
00000076: EQ
00000077: PUSH2 0x02c1
0000007a: JUMPI
0000007b: DUP1
0000007c: PUSH4 0xa85adeab
00000081: EQ
00000082: PUSH2 0x02d7
00000085: JUMPI
00000086: PUSH1 0x00
00000088: DUP1
00000089: REVERT
0000008a: JUMPDEST
0000008b: DUP1
0000008c: PUSH4 0x4ff1c59b
00000091: GT
00000092: PUSH2 0x00c6
00000095: JUMPI
00000096: DUP1
00000097: PUSH4 0x4ff1c59b
0000009c: EQ
0000009d: PUSH2 0x0197
000000a0: JUMPI
000000a1: DUP1
000000a2: PUSH4 0x54275c46
000000a7: EQ
000000a8: PUSH2 0x01c5
000000ab: JUMPI
000000ac: DUP1
000000ad: PUSH4 0x590b990b
000000b2: EQ
000000b3: PUSH2 0x01d8
000000b6: JUMPI
000000b7: DUP1
000000b8: PUSH4 0x61d585da
000000bd: EQ
000000be: PUSH2 0x0205
000000c1: JUMPI
000000c2: PUSH1 0x00
000000c4: DUP1
000000c5: REVERT
000000c6: JUMPDEST
000000c7: DUP1
000000c8: PUSH4 0x0a9af7bd
000000cd: EQ
000000ce: PUSH2 0x00f8
000000d1: JUMPI
000000d2: DUP1
000000d3: PUSH4 0x13af4035
000000d8: EQ
000000d9: PUSH2 0x0135
000000dc: JUMPI
000000dd: DUP1
000000de: PUSH4 0x3c65000d
000000e3: EQ
000000e4: PUSH2 0x0157
000000e7: JUMPI
000000e8: DUP1
000000e9: PUSH4 0x47ccca02
000000ee: EQ
000000ef: PUSH2 0x0177
000000f2: JUMPI
000000f3: JUMPDEST
000000f4: PUSH1 0x00
000000f6: DUP1
000000f7: REVERT
000000f8: JUMPDEST
000000f9: CALLVALUE
000000fa: DUP1
000000fb: ISZERO
000000fc: PUSH2 0x0104
000000ff: JUMPI
00000100: PUSH1 0x00
00000102: DUP1
00000103: REVERT
00000104: JUMPDEST
00000105: POP
00000106: PUSH2 0x0118
00000109: PUSH2 0x0113
0000010c: CALLDATASIZE
0000010d: PUSH1 0x04
0000010f: PUSH2 0x0cbc
00000112: JUMP
00000113: JUMPDEST
00000114: PUSH2 0x037a
00000117: JUMP
00000118: JUMPDEST
00000119: PUSH1 0x40
0000011b: MLOAD
0000011c: PUSH1 0x01
0000011e: PUSH1 0x01
00000120: PUSH1 0xa0
00000122: SHL
00000123: SUB
00000124: SWAP1
00000125: SWAP2
00000126: AND
00000127: DUP2
00000128: MSTORE
00000129: PUSH1 0x20
0000012b: ADD
0000012c: JUMPDEST
0000012d: PUSH1 0x40
0000012f: MLOAD
00000130: DUP1
00000131: SWAP2
00000132: SUB
00000133: SWAP1
00000134: RETURN
00000135: JUMPDEST
00000136: CALLVALUE
00000137: DUP1
00000138: ISZERO
00000139: PUSH2 0x0141
0000013c: JUMPI
0000013d: PUSH1 0x00
0000013f: DUP1
00000140: REVERT
00000141: JUMPDEST
00000142: POP
00000143: PUSH2 0x0155
00000146: PUSH2 0x0150
00000149: CALLDATASIZE
0000014a: PUSH1 0x04
0000014c: PUSH2 0x0d18
0000014f: JUMP
00000150: JUMPDEST
00000151: PUSH2 0x0422
00000154: JUMP
00000155: JUMPDEST
00000156: STOP
00000157: JUMPDEST
00000158: CALLVALUE
00000159: DUP1
0000015a: ISZERO
0000015b: PUSH2 0x0163
0000015e: JUMPI
0000015f: PUSH1 0x00
00000161: DUP1
00000162: REVERT
00000163: JUMPDEST
00000164: POP
00000165: PUSH2 0x0155
00000168: PUSH2 0x0172
0000016b: CALLDATASIZE
0000016c: PUSH1 0x04
0000016e: PUSH2 0x0d3c
00000171: JUMP
00000172: JUMPDEST
00000173: PUSH2 0x04a1
00000176: JUMP
00000177: JUMPDEST
00000178: CALLVALUE
00000179: DUP1
0000017a: ISZERO
0000017b: PUSH2 0x0183
0000017e: JUMPI
0000017f: PUSH1 0x00
00000181: DUP1
00000182: REVERT
00000183: JUMPDEST
00000184: POP
00000185: PUSH1 0x00
00000187: SLOAD
00000188: PUSH2 0x0118
0000018b: SWAP1
0000018c: PUSH1 0x01
0000018e: PUSH1 0x01
00000190: PUSH1 0xa0
00000192: SHL
00000193: SUB
00000194: AND
00000195: DUP2
00000196: JUMP
00000197: JUMPDEST
00000198: CALLVALUE
00000199: DUP1
0000019a: ISZERO
0000019b: PUSH2 0x01a3
0000019e: JUMPI
0000019f: PUSH1 0x00
000001a1: DUP1
000001a2: REVERT
000001a3: JUMPDEST
000001a4: POP
000001a5: PUSH2 0x01b7
000001a8: PUSH2 0x01b2
000001ab: CALLDATASIZE
000001ac: PUSH1 0x04
000001ae: PUSH2 0x0d3c
000001b1: JUMP
000001b2: JUMPDEST
000001b3: PUSH2 0x04d0
000001b6: JUMP
000001b7: JUMPDEST
000001b8: PUSH1 0x40
000001ba: MLOAD
000001bb: SWAP1
000001bc: DUP2
000001bd: MSTORE
000001be: PUSH1 0x20
000001c0: ADD
000001c1: PUSH2 0x012c
000001c4: JUMP
000001c5: JUMPDEST
000001c6: PUSH2 0x01b7
000001c9: PUSH2 0x01d3
000001cc: CALLDATASIZE
000001cd: PUSH1 0x04
000001cf: PUSH2 0x0d3c
000001d2: JUMP
000001d3: JUMPDEST
000001d4: PUSH2 0x0500
000001d7: JUMP
000001d8: JUMPDEST
000001d9: CALLVALUE
000001da: DUP1
000001db: ISZERO
000001dc: PUSH2 0x01e4
000001df: JUMPI
000001e0: PUSH1 0x00
000001e2: DUP1
000001e3: REVERT
000001e4: JUMPDEST
000001e5: POP
000001e6: PUSH2 0x01b7
000001e9: PUSH2 0x01f3
000001ec: CALLDATASIZE
000001ed: PUSH1 0x04
000001ef: PUSH2 0x0d71
000001f2: JUMP
000001f3: JUMPDEST
000001f4: PUSH1 0x01
000001f6: PUSH1 0x20
000001f8: MSTORE
000001f9: PUSH1 0x00
000001fb: SWAP1
000001fc: DUP2
000001fd: MSTORE
000001fe: PUSH1 0x40
00000200: SWAP1
00000201: KECCAK256
00000202: SLOAD
00000203: DUP2
00000204: JUMP
00000205: JUMPDEST
00000206: CALLVALUE
00000207: DUP1
00000208: ISZERO
00000209: PUSH2 0x0211
0000020c: JUMPI
0000020d: PUSH1 0x00
0000020f: DUP1
00000210: REVERT
00000211: JUMPDEST
00000212: POP
00000213: PUSH2 0x0225
00000216: PUSH2 0x0220
00000219: CALLDATASIZE
0000021a: PUSH1 0x04
0000021c: PUSH2 0x0d71
0000021f: JUMP
00000220: JUMPDEST
00000221: PUSH2 0x0566
00000224: JUMP
00000225: JUMPDEST
00000226: PUSH1 0x40
00000228: MLOAD
00000229: PUSH2 0x012c
0000022c: SWAP2
0000022d: SWAP1
0000022e: DUP2
0000022f: MLOAD
00000230: PUSH1 0xff
00000232: SWAP1
00000233: DUP2
00000234: AND
00000235: DUP3
00000236: MSTORE
00000237: PUSH1 0x20
00000239: DUP1
0000023a: DUP5
0000023b: ADD
0000023c: MLOAD
0000023d: ISZERO
0000023e: ISZERO
0000023f: DUP2
00000240: DUP5
00000241: ADD
00000242: MSTORE
00000243: PUSH1 0x40
00000245: DUP1
00000246: DUP6
00000247: ADD
00000248: MLOAD
00000249: PUSH1 0x01
0000024b: PUSH1 0x01
0000024d: PUSH1 0xa0
0000024f: SHL
00000250: SUB
00000251: AND
00000252: SWAP1
00000253: DUP5
00000254: ADD
00000255: MSTORE
00000256: PUSH1 0x60
00000258: SWAP4
00000259: DUP5
0000025a: ADD
0000025b: MLOAD
0000025c: DUP1
0000025d: MLOAD
0000025e: PUSH8 0xffffffffffffffff
00000267: AND
00000268: SWAP5
00000269: DUP5
0000026a: ADD
0000026b: SWAP5
0000026c: SWAP1
0000026d: SWAP5
0000026e: MSTORE
0000026f: SWAP3
00000270: SWAP1
00000271: SWAP3
00000272: ADD
00000273: MLOAD
00000274: SWAP1
00000275: SWAP2
00000276: AND
00000277: PUSH1 0x80
00000279: DUP3
0000027a: ADD
0000027b: MSTORE
0000027c: PUSH1 0xa0
0000027e: ADD
0000027f: SWAP1
00000280: JUMP
00000281: JUMPDEST
00000282: CALLVALUE
00000283: DUP1
00000284: ISZERO
00000285: PUSH2 0x028d
00000288: JUMPI
00000289: PUSH1 0x00
0000028b: DUP1
0000028c: REVERT
0000028d: JUMPDEST
0000028e: POP
0000028f: PUSH2 0x0155
00000292: PUSH2 0x029c
00000295: CALLDATASIZE
00000296: PUSH1 0x04
00000298: PUSH2 0x0d71
0000029b: JUMP
0000029c: JUMPDEST
0000029d: PUSH2 0x0619
000002a0: JUMP
000002a1: JUMPDEST
000002a2: CALLVALUE
000002a3: DUP1
000002a4: ISZERO
000002a5: PUSH2 0x02ad
000002a8: JUMPI
000002a9: PUSH1 0x00
000002ab: DUP1
000002ac: REVERT
000002ad: JUMPDEST
000002ae: POP
000002af: PUSH1 0x04
000002b1: SLOAD
000002b2: PUSH2 0x0118
000002b5: SWAP1
000002b6: PUSH1 0x01
000002b8: PUSH1 0x01
000002ba: PUSH1 0xa0
000002bc: SHL
000002bd: SUB
000002be: AND
000002bf: DUP2
000002c0: JUMP
000002c1: JUMPDEST
000002c2: CALLVALUE
000002c3: DUP1
000002c4: ISZERO
000002c5: PUSH2 0x02cd
000002c8: JUMPI
000002c9: PUSH1 0x00
000002cb: DUP1
000002cc: REVERT
000002cd: JUMPDEST
000002ce: POP
000002cf: PUSH2 0x01b7
000002d2: PUSH1 0x05
000002d4: SLOAD
000002d5: DUP2
000002d6: JUMP
000002d7: JUMPDEST
000002d8: CALLVALUE
000002d9: DUP1
000002da: ISZERO
000002db: PUSH2 0x02e3
000002de: JUMPI
000002df: PUSH1 0x00
000002e1: DUP1
000002e2: REVERT
000002e3: JUMPDEST
000002e4: POP
000002e5: PUSH2 0x01b7
000002e8: PUSH1 0x06
000002ea: SLOAD
000002eb: DUP2
000002ec: JUMP
000002ed: JUMPDEST
000002ee: CALLVALUE
000002ef: DUP1
000002f0: ISZERO
000002f1: PUSH2 0x02f9
000002f4: JUMPI
000002f5: PUSH1 0x00
000002f7: DUP1
000002f8: REVERT
000002f9: JUMPDEST
000002fa: POP
000002fb: PUSH2 0x0155
000002fe: PUSH2 0x0308
00000301: CALLDATASIZE
00000302: PUSH1 0x04
00000304: PUSH2 0x0d18
00000307: JUMP
00000308: JUMPDEST
00000309: PUSH2 0x0648
0000030c: JUMP
0000030d: JUMPDEST
0000030e: CALLVALUE
0000030f: DUP1
00000310: ISZERO
00000311: PUSH2 0x0319
00000314: JUMPI
00000315: PUSH1 0x00
00000317: DUP1
00000318: REVERT
00000319: JUMPDEST
0000031a: POP
0000031b: PUSH2 0x0155
0000031e: PUSH2 0x0328
00000321: CALLDATASIZE
00000322: PUSH1 0x04
00000324: PUSH2 0x0d8a
00000327: JUMP
00000328: JUMPDEST
00000329: PUSH2 0x06d4
0000032c: JUMP
0000032d: JUMPDEST
0000032e: CALLVALUE
0000032f: DUP1
00000330: ISZERO
00000331: PUSH2 0x0339
00000334: JUMPI
00000335: PUSH1 0x00
00000337: DUP1
00000338: REVERT
00000339: JUMPDEST
0000033a: POP
0000033b: PUSH2 0x0155
0000033e: PUSH2 0x0348
00000341: CALLDATASIZE
00000342: PUSH1 0x04
00000344: PUSH2 0x0db6
00000347: JUMP
00000348: JUMPDEST
00000349: PUSH2 0x070c
0000034c: JUMP
0000034d: JUMPDEST
0000034e: CALLVALUE
0000034f: DUP1
00000350: ISZERO
00000351: PUSH2 0x0359
00000354: JUMPI
00000355: PUSH1 0x00
00000357: DUP1
00000358: REVERT
00000359: JUMPDEST
0000035a: POP
0000035b: PUSH2 0x01b7
0000035e: PUSH2 0x0368
00000361: CALLDATASIZE
00000362: PUSH1 0x04
00000364: PUSH2 0x0d71
00000367: JUMP
00000368: JUMPDEST
00000369: PUSH1 0x02
0000036b: PUSH1 0x20
0000036d: MSTORE
0000036e: PUSH1 0x00
00000370: SWAP1
00000371: DUP2
00000372: MSTORE
00000373: PUSH1 0x40
00000375: SWAP1
00000376: KECCAK256
00000377: SLOAD
00000378: DUP2
00000379: JUMP
0000037a: JUMPDEST
0000037b: PUSH1 0x00
0000037d: DUP3
0000037e: DUP2
0000037f: MSTORE
00000380: PUSH1 0x03
00000382: PUSH1 0x20
00000384: MSTORE
00000385: PUSH1 0x40
00000387: DUP2
00000388: KECCAK256
00000389: SLOAD
0000038a: PUSH2 0x0100
0000038d: SWAP1
0000038e: DIV
0000038f: PUSH1 0xff
00000391: AND
00000392: ISZERO
00000393: PUSH2 0x039e
00000396: JUMPI
00000397: POP
00000398: PUSH1 0x00
0000039a: PUSH2 0x041c
0000039d: JUMP
0000039e: JUMPDEST
0000039f: PUSH1 0x00
000003a1: DUP4
000003a2: DUP2
000003a3: MSTORE
000003a4: PUSH1 0x03
000003a6: PUSH1 0x20
000003a8: MSTORE
000003a9: PUSH1 0x40
000003ab: SWAP1
000003ac: KECCAK256
000003ad: SLOAD
000003ae: PUSH3 0x010000
000003b2: SWAP1
000003b3: DIV
000003b4: PUSH1 0x01
000003b6: PUSH1 0x01
000003b8: PUSH1 0xa0
000003ba: SHL
000003bb: SUB
000003bc: AND
000003bd: DUP1
000003be: ISZERO
000003bf: PUSH2 0x03c9
000003c2: JUMPI
000003c3: SWAP1
000003c4: POP
000003c5: PUSH2 0x041c
000003c8: JUMP
000003c9: JUMPDEST
000003ca: PUSH2 0x03d3
000003cd: DUP4
000003ce: DUP1
000003cf: PUSH2 0x0dfb
000003d2: JUMP
000003d3: JUMPDEST
000003d4: PUSH1 0x00
000003d6: DUP7
000003d7: DUP2
000003d8: MSTORE
000003d9: PUSH1 0x03
000003db: PUSH1 0x20
000003dd: MSTORE
000003de: PUSH1 0x40
000003e0: SWAP1
000003e1: KECCAK256
000003e2: SLOAD
000003e3: PUSH2 0x03f1
000003e6: SWAP1
000003e7: PUSH1 0x01
000003e9: SWAP1
000003ea: PUSH1 0xff
000003ec: AND
000003ed: PUSH2 0x0e62
000003f0: JUMP
000003f1: JUMPDEST
000003f2: PUSH1 0xff
000003f4: AND
000003f5: DUP2
000003f6: DUP2
000003f7: LT
000003f8: PUSH2 0x0403
000003fb: JUMPI
000003fc: PUSH2 0x0403
000003ff: PUSH2 0x0e7b
00000402: JUMP
00000403: JUMPDEST
00000404: SWAP1
00000405: POP
00000406: PUSH1 0x20
00000408: MUL
00000409: ADD
0000040a: PUSH1 0x20
0000040c: DUP2
0000040d: ADD
0000040e: SWAP1
0000040f: PUSH2 0x0418
00000412: SWAP2
00000413: SWAP1
00000414: PUSH2 0x0d18
00000417: JUMP
00000418: JUMPDEST
00000419: SWAP2
0000041a: POP
0000041b: POP
0000041c: JUMPDEST
0000041d: SWAP3
0000041e: SWAP2
0000041f: POP
00000420: POP
00000421: JUMP
00000422: JUMPDEST
00000423: PUSH1 0x04
00000425: SLOAD
00000426: PUSH1 0x01
00000428: PUSH1 0x01
0000042a: PUSH1 0xa0
0000042c: SHL
0000042d: SUB
0000042e: AND
0000042f: CALLER
00000430: EQ
00000431: PUSH2 0x0455
00000434: JUMPI
00000435: PUSH1 0x40
00000437: MLOAD
00000438: PUSH3 0x461bcd
0000043c: PUSH1 0xe5
0000043e: SHL
0000043f: DUP2
00000440: MSTORE
00000441: PUSH1 0x04
00000443: ADD
00000444: PUSH2 0x044c
00000447: SWAP1
00000448: PUSH2 0x0e91
0000044b: JUMP
0000044c: JUMPDEST
0000044d: PUSH1 0x40
0000044f: MLOAD
00000450: DUP1
00000451: SWAP2
00000452: SUB
00000453: SWAP1
00000454: REVERT
00000455: JUMPDEST
00000456: PUSH1 0x04
00000458: DUP1
00000459: SLOAD
0000045a: PUSH1 0x01
0000045c: PUSH1 0x01
0000045e: PUSH1 0xa0
00000460: SHL
00000461: SUB
00000462: NOT
00000463: AND
00000464: PUSH1 0x01
00000466: PUSH1 0x01
00000468: PUSH1 0xa0
0000046a: SHL
0000046b: SUB
0000046c: DUP4
0000046d: AND
0000046e: SWAP1
0000046f: DUP2
00000470: OR
00000471: SWAP1
00000472: SWAP2
00000473: SSTORE
00000474: PUSH1 0x40
00000476: MLOAD
00000477: CALLER
00000478: SWAP1
00000479: PUSH32 0x8292fce18fa69edf4db7b94ea2e58241df0ae57f97e0a6c9b29067028bf92d76
0000049a: SWAP1
0000049b: PUSH1 0x00
0000049d: SWAP1
0000049e: LOG3
0000049f: POP
000004a0: JUMP
000004a1: JUMPDEST
000004a2: PUSH1 0x06
000004a4: SLOAD
000004a5: TIMESTAMP
000004a6: GT
000004a7: ISZERO
000004a8: PUSH2 0x04c4
000004ab: JUMPI
000004ac: PUSH1 0x40
000004ae: MLOAD
000004af: PUSH4 0x575c6c91
000004b4: PUSH1 0xe1
000004b6: SHL
000004b7: DUP2
000004b8: MSTORE
000004b9: PUSH1 0x04
000004bb: ADD
000004bc: PUSH1 0x40
000004be: MLOAD
000004bf: DUP1
000004c0: SWAP2
000004c1: SUB
000004c2: SWAP1
000004c3: REVERT
000004c4: JUMPDEST
000004c5: PUSH2 0x04cd
000004c8: DUP2
000004c9: PUSH2 0x0739
000004cc: JUMP
000004cd: JUMPDEST
000004ce: POP
000004cf: JUMP
000004d0: JUMPDEST
000004d1: PUSH1 0x00
000004d3: DUP2
000004d4: PUSH1 0x40
000004d6: MLOAD
000004d7: PUSH1 0x20
000004d9: ADD
000004da: PUSH2 0x04e3
000004dd: SWAP2
000004de: SWAP1
000004df: PUSH2 0x0eb7
000004e2: JUMP
000004e3: JUMPDEST
000004e4: PUSH1 0x40
000004e6: MLOAD
000004e7: PUSH1 0x20
000004e9: DUP2
000004ea: DUP4
000004eb: SUB
000004ec: SUB
000004ed: DUP2
000004ee: MSTORE
000004ef: SWAP1
000004f0: PUSH1 0x40
000004f2: MSTORE
000004f3: DUP1
000004f4: MLOAD
000004f5: SWAP1
000004f6: PUSH1 0x20
000004f8: ADD
000004f9: KECCAK256
000004fa: SWAP1
000004fb: POP
000004fc: SWAP2
000004fd: SWAP1
000004fe: POP
000004ff: JUMP
00000500: JUMPDEST
00000501: PUSH1 0x00
00000503: PUSH1 0x06
00000505: SLOAD
00000506: TIMESTAMP
00000507: GT
00000508: ISZERO
00000509: PUSH2 0x0525
0000050c: JUMPI
0000050d: PUSH1 0x40
0000050f: MLOAD
00000510: PUSH4 0x575c6c91
00000515: PUSH1 0xe1
00000517: SHL
00000518: DUP2
00000519: MSTORE
0000051a: PUSH1 0x04
0000051c: ADD
0000051d: PUSH1 0x40
0000051f: MLOAD
00000520: DUP1
00000521: SWAP2
00000522: SUB
00000523: SWAP1
00000524: REVERT
00000525: JUMPDEST
00000526: PUSH1 0x05
00000528: SLOAD
00000529: PUSH2 0x0532
0000052c: DUP4
0000052d: DUP1
0000052e: PUSH2 0x0dfb
00000531: JUMP
00000532: JUMPDEST
00000533: PUSH2 0x053d
00000536: SWAP3
00000537: SWAP2
00000538: POP
00000539: PUSH2 0x0f5e
0000053c: JUMP
0000053d: JUMPDEST
0000053e: CALLVALUE
0000053f: LT
00000540: ISZERO
00000541: PUSH2 0x055d
00000544: JUMPI
00000545: PUSH1 0x40
00000547: MLOAD
00000548: PUSH4 0xcd1c8867
0000054d: PUSH1 0xe0
0000054f: SHL
00000550: DUP2
00000551: MSTORE
00000552: PUSH1 0x04
00000554: ADD
00000555: PUSH1 0x40
00000557: MLOAD
00000558: DUP1
00000559: SWAP2
0000055a: SUB
0000055b: SWAP1
0000055c: REVERT
0000055d: JUMPDEST
0000055e: PUSH2 0x041c
00000561: DUP3
00000562: PUSH2 0x0896
00000565: JUMP
00000566: JUMPDEST
00000567: PUSH2 0x059d
0000056a: PUSH1 0x40
0000056c: DUP1
0000056d: MLOAD
0000056e: PUSH1 0x80
00000570: DUP2
00000571: ADD
00000572: DUP3
00000573: MSTORE
00000574: PUSH1 0x00
00000576: DUP1
00000577: DUP3
00000578: MSTORE
00000579: PUSH1 0x20
0000057b: DUP1
0000057c: DUP4
0000057d: ADD
0000057e: DUP3
0000057f: SWAP1
00000580: MSTORE
00000581: DUP3
00000582: DUP5
00000583: ADD
00000584: DUP3
00000585: SWAP1
00000586: MSTORE
00000587: DUP4
00000588: MLOAD
00000589: DUP1
0000058a: DUP6
0000058b: ADD
0000058c: SWAP1
0000058d: SWAP5
0000058e: MSTORE
0000058f: DUP2
00000590: DUP5
00000591: MSTORE
00000592: DUP4
00000593: ADD
00000594: MSTORE
00000595: SWAP1
00000596: PUSH1 0x60
00000598: DUP3
00000599: ADD
0000059a: MSTORE
0000059b: SWAP1
0000059c: JUMP
0000059d: JUMPDEST
0000059e: POP
0000059f: PUSH1 0x00
000005a1: SWAP1
000005a2: DUP2
000005a3: MSTORE
000005a4: PUSH1 0x03
000005a6: PUSH1 0x20
000005a8: SWAP1
000005a9: DUP2
000005aa: MSTORE
000005ab: PUSH1 0x40
000005ad: SWAP2
000005ae: DUP3
000005af: SWAP1
000005b0: KECCAK256
000005b1: DUP3
000005b2: MLOAD
000005b3: PUSH1 0x80
000005b5: DUP2
000005b6: ADD
000005b7: DUP5
000005b8: MSTORE
000005b9: DUP2
000005ba: SLOAD
000005bb: PUSH1 0xff
000005bd: DUP1
000005be: DUP3
000005bf: AND
000005c0: DUP4
000005c1: MSTORE
000005c2: PUSH2 0x0100
000005c5: DUP3
000005c6: DIV
000005c7: DUP2
000005c8: AND
000005c9: ISZERO
000005ca: ISZERO
000005cb: DUP4
000005cc: DUP7
000005cd: ADD
000005ce: MSTORE
000005cf: PUSH3 0x010000
000005d3: SWAP1
000005d4: SWAP2
000005d5: DIV
000005d6: PUSH1 0x01
000005d8: PUSH1 0x01
000005da: PUSH1 0xa0
000005dc: SHL
000005dd: SUB
000005de: AND
000005df: DUP3
000005e0: DUP7
000005e1: ADD
000005e2: MSTORE
000005e3: DUP5
000005e4: MLOAD
000005e5: DUP1
000005e6: DUP7
000005e7: ADD
000005e8: SWAP1
000005e9: SWAP6
000005ea: MSTORE
000005eb: PUSH1 0x01
000005ed: SWAP1
000005ee: SWAP3
000005ef: ADD
000005f0: SLOAD
000005f1: PUSH8 0xffffffffffffffff
000005fa: DUP2
000005fb: AND
000005fc: DUP6
000005fd: MSTORE
000005fe: PUSH1 0x01
00000600: PUSH1 0x40
00000602: SHL
00000603: SWAP1
00000604: DIV
00000605: SWAP1
00000606: SWAP2
00000607: AND
00000608: SWAP2
00000609: DUP4
0000060a: ADD
0000060b: SWAP2
0000060c: SWAP1
0000060d: SWAP2
0000060e: MSTORE
0000060f: PUSH1 0x60
00000611: DUP2
00000612: ADD
00000613: SWAP2
00000614: SWAP1
00000615: SWAP2
00000616: MSTORE
00000617: SWAP1
00000618: JUMP
00000619: JUMPDEST
0000061a: PUSH1 0x04
0000061c: SLOAD
0000061d: PUSH1 0x01
0000061f: PUSH1 0x01
00000621: PUSH1 0xa0
00000623: SHL
00000624: SUB
00000625: AND
00000626: CALLER
00000627: EQ
00000628: PUSH2 0x0643
0000062b: JUMPI
0000062c: PUSH1 0x40
0000062e: MLOAD
0000062f: PUSH3 0x461bcd
00000633: PUSH1 0xe5
00000635: SHL
00000636: DUP2
00000637: MSTORE
00000638: PUSH1 0x04
0000063a: ADD
0000063b: PUSH2 0x044c
0000063e: SWAP1
0000063f: PUSH2 0x0e91
00000642: JUMP
00000643: JUMPDEST
00000644: PUSH1 0x06
00000646: SSTORE
00000647: JUMP
00000648: JUMPDEST
00000649: PUSH1 0x04
0000064b: SLOAD
0000064c: PUSH1 0x01
0000064e: PUSH1 0x01
00000650: PUSH1 0xa0
00000652: SHL
00000653: SUB
00000654: AND
00000655: CALLER
00000656: EQ
00000657: PUSH2 0x0672
0000065a: JUMPI
0000065b: PUSH1 0x40
0000065d: MLOAD
0000065e: PUSH3 0x461bcd
00000662: PUSH1 0xe5
00000664: SHL
00000665: DUP2
00000666: MSTORE
00000667: PUSH1 0x04
00000669: ADD
0000066a: PUSH2 0x044c
0000066d: SWAP1
0000066e: PUSH2 0x0e91
00000671: JUMP
00000672: JUMPDEST
00000673: PUSH1 0x00
00000675: SLOAD
00000676: PUSH1 0x40
00000678: MLOAD
00000679: PUSH4 0xc5e2a7db
0000067e: PUSH1 0xe0
00000680: SHL
00000681: DUP2
00000682: MSTORE
00000683: PUSH1 0x01
00000685: PUSH1 0x01
00000687: PUSH1 0xa0
00000689: SHL
0000068a: SUB
0000068b: DUP4
0000068c: DUP2
0000068d: AND
0000068e: PUSH1 0x04
00000690: DUP4
00000691: ADD
00000692: MSTORE
00000693: SWAP1
00000694: SWAP2
00000695: AND
00000696: SWAP1
00000697: PUSH4 0xc5e2a7db
0000069c: SWAP1
0000069d: PUSH1 0x24
0000069f: ADD
000006a0: PUSH1 0x00
000006a2: PUSH1 0x40
000006a4: MLOAD
000006a5: DUP1
000006a6: DUP4
000006a7: SUB
000006a8: DUP2
000006a9: PUSH1 0x00
000006ab: DUP8
000006ac: DUP1
000006ad: EXTCODESIZE
000006ae: ISZERO
000006af: DUP1
000006b0: ISZERO
000006b1: PUSH2 0x06b9
000006b4: JUMPI
000006b5: PUSH1 0x00
000006b7: DUP1
000006b8: REVERT
000006b9: JUMPDEST
000006ba: POP
000006bb: GAS
000006bc: CALL
000006bd: ISZERO
000006be: DUP1
000006bf: ISZERO
000006c0: PUSH2 0x06cd
000006c3: JUMPI
000006c4: RETURNDATASIZE
000006c5: PUSH1 0x00
000006c7: DUP1
000006c8: RETURNDATACOPY
000006c9: RETURNDATASIZE
000006ca: PUSH1 0x00
000006cc: REVERT
000006cd: JUMPDEST
000006ce: POP
000006cf: POP
000006d0: POP
000006d1: POP
000006d2: POP
000006d3: JUMP
000006d4: JUMPDEST
000006d5: PUSH1 0x04
000006d7: SLOAD
000006d8: PUSH1 0x01
000006da: PUSH1 0x01
000006dc: PUSH1 0xa0
000006de: SHL
000006df: SUB
000006e0: AND
000006e1: CALLER
000006e2: EQ
000006e3: PUSH2 0x06fe
000006e6: JUMPI
000006e7: PUSH1 0x40
000006e9: MLOAD
000006ea: PUSH3 0x461bcd
000006ee: PUSH1 0xe5
000006f0: SHL
000006f1: DUP2
000006f2: MSTORE
000006f3: PUSH1 0x04
000006f5: ADD
000006f6: PUSH2 0x044c
000006f9: SWAP1
000006fa: PUSH2 0x0e91
000006fd: JUMP
000006fe: JUMPDEST
000006ff: PUSH2 0x0708
00000702: DUP3
00000703: DUP3
00000704: PUSH2 0x092c
00000707: JUMP
00000708: JUMPDEST
00000709: POP
0000070a: POP
0000070b: JUMP
0000070c: JUMPDEST
0000070d: PUSH1 0x06
0000070f: SLOAD
00000710: TIMESTAMP
00000711: GT
00000712: ISZERO
00000713: PUSH2 0x072f
00000716: JUMPI
00000717: PUSH1 0x40
00000719: MLOAD
0000071a: PUSH4 0x575c6c91
0000071f: PUSH1 0xe1
00000721: SHL
00000722: DUP2
00000723: MSTORE
00000724: PUSH1 0x04
00000726: ADD
00000727: PUSH1 0x40
00000729: MLOAD
0000072a: DUP1
0000072b: SWAP2
0000072c: SUB
0000072d: SWAP1
0000072e: REVERT
0000072f: JUMPDEST
00000730: PUSH2 0x0708
00000733: DUP3
00000734: DUP3
00000735: PUSH2 0x0982
00000738: JUMP
00000739: JUMPDEST
0000073a: PUSH1 0x00
0000073c: PUSH2 0x0744
0000073f: DUP3
00000740: PUSH2 0x04d0
00000743: JUMP
00000744: JUMPDEST
00000745: SWAP1
00000746: POP
00000747: PUSH2 0x074f
0000074a: DUP2
0000074b: PUSH2 0x0c3d
0000074e: JUMP
0000074f: JUMPDEST
00000750: PUSH2 0x0759
00000753: DUP2
00000754: DUP4
00000755: PUSH2 0x0c72
00000758: JUMP
00000759: JUMPDEST
0000075a: PUSH1 0x00
0000075c: DUP2
0000075d: DUP2
0000075e: MSTORE
0000075f: PUSH1 0x03
00000761: PUSH1 0x20
00000763: MSTORE
00000764: PUSH1 0x40
00000766: DUP2
00000767: KECCAK256
00000768: SLOAD
00000769: PUSH2 0x0776
0000076c: SWAP1
0000076d: PUSH1 0xff
0000076f: AND
00000770: PUSH1 0x01
00000772: PUSH2 0x0f75
00000775: JUMP
00000776: JUMPDEST
00000777: PUSH1 0x00
00000779: DUP4
0000077a: DUP2
0000077b: MSTORE
0000077c: PUSH1 0x03
0000077e: PUSH1 0x20
00000780: MSTORE
00000781: PUSH1 0x40
00000783: SWAP1
00000784: KECCAK256
00000785: DUP1
00000786: SLOAD
00000787: PUSH1 0xff
00000789: NOT
0000078a: AND
0000078b: PUSH1 0xff
0000078d: DUP4
0000078e: AND
0000078f: OR
00000790: SWAP1
00000791: SSTORE
00000792: SWAP1
00000793: POP
00000794: PUSH2 0x079d
00000797: DUP4
00000798: DUP1
00000799: PUSH2 0x0dfb
0000079c: JUMP
0000079d: JUMPDEST
0000079e: SWAP1
0000079f: POP
000007a0: DUP2
000007a1: PUSH1 0xff
000007a3: AND
000007a4: GT
000007a5: ISZERO
000007a6: PUSH2 0x07c5
000007a9: JUMPI
000007aa: PUSH1 0x00
000007ac: DUP3
000007ad: DUP2
000007ae: MSTORE
000007af: PUSH1 0x03
000007b1: PUSH1 0x20
000007b3: MSTORE
000007b4: PUSH1 0x40
000007b6: SWAP1
000007b7: KECCAK256
000007b8: DUP1
000007b9: SLOAD
000007ba: PUSH2 0xff00
000007bd: NOT
000007be: AND
000007bf: PUSH2 0x0100
000007c2: OR
000007c3: SWAP1
000007c4: SSTORE
000007c5: JUMPDEST
000007c6: PUSH1 0x00
000007c8: DUP3
000007c9: DUP2
000007ca: MSTORE
000007cb: PUSH1 0x03
000007cd: PUSH1 0x20
000007cf: MSTORE
000007d0: PUSH1 0x40
000007d2: DUP1
000007d3: DUP3
000007d4: KECCAK256
000007d5: DUP1
000007d6: SLOAD
000007d7: PUSH3 0x010000
000007db: PUSH1 0x01
000007dd: PUSH1 0xb0
000007df: SHL
000007e0: SUB
000007e1: NOT
000007e2: AND
000007e3: SWAP1
000007e4: SSTORE
000007e5: DUP2
000007e6: SLOAD
000007e7: SWAP1
000007e8: MLOAD
000007e9: PUSH4 0x35313c21
000007ee: PUSH1 0xe1
000007f0: SHL
000007f1: DUP2
000007f2: MSTORE
000007f3: CALLER
000007f4: PUSH1 0x04
000007f6: DUP3
000007f7: ADD
000007f8: MSTORE
000007f9: PUSH1 0x01
000007fb: PUSH1 0x01
000007fd: PUSH1 0xa0
000007ff: SHL
00000800: SUB
00000801: SWAP1
00000802: SWAP2
00000803: AND
00000804: SWAP1
00000805: PUSH4 0x6a627842
0000080a: SWAP1
0000080b: PUSH1 0x24
0000080d: ADD
0000080e: PUSH1 0x20
00000810: PUSH1 0x40
00000812: MLOAD
00000813: DUP1
00000814: DUP4
00000815: SUB
00000816: DUP2
00000817: PUSH1 0x00
00000819: DUP8
0000081a: GAS
0000081b: CALL
0000081c: ISZERO
0000081d: DUP1
0000081e: ISZERO
0000081f: PUSH2 0x082c
00000822: JUMPI
00000823: RETURNDATASIZE
00000824: PUSH1 0x00
00000826: DUP1
00000827: RETURNDATACOPY
00000828: RETURNDATASIZE
00000829: PUSH1 0x00
0000082b: REVERT
0000082c: JUMPDEST
0000082d: POP
0000082e: POP
0000082f: POP
00000830: POP
00000831: PUSH1 0x40
00000833: MLOAD
00000834: RETURNDATASIZE
00000835: PUSH1 0x1f
00000837: NOT
00000838: PUSH1 0x1f
0000083a: DUP3
0000083b: ADD
0000083c: AND
0000083d: DUP3
0000083e: ADD
0000083f: DUP1
00000840: PUSH1 0x40
00000842: MSTORE
00000843: POP
00000844: DUP2
00000845: ADD
00000846: SWAP1
00000847: PUSH2 0x0850
0000084a: SWAP2
0000084b: SWAP1
0000084c: PUSH2 0x0f8e
0000084f: JUMP
00000850: JUMPDEST
00000851: PUSH1 0x00
00000853: DUP2
00000854: DUP2
00000855: MSTORE
00000856: PUSH1 0x02
00000858: PUSH1 0x20
0000085a: MSTORE
0000085b: PUSH1 0x40
0000085d: DUP1
0000085e: DUP3
0000085f: KECCAK256
00000860: DUP7
00000861: SWAP1
00000862: SSTORE
00000863: MLOAD
00000864: SWAP2
00000865: SWAP3
00000866: POP
00000867: DUP3
00000868: SWAP2
00000869: CALLER
0000086a: SWAP2
0000086b: DUP7
0000086c: SWAP2
0000086d: PUSH32 0xfa48ecb13b782c85d632bfbac8bacc5a9fccbacaf7807914c48e6d60f875b15a
0000088e: SWAP2
0000088f: SWAP1
00000890: LOG4
00000891: POP
00000892: POP
00000893: POP
00000894: POP
00000895: JUMP
00000896: JUMPDEST
00000897: PUSH1 0x00
00000899: PUSH2 0x08a1
0000089c: DUP3
0000089d: PUSH2 0x04d0
000008a0: JUMP
000008a1: JUMPDEST
000008a2: PUSH1 0x00
000008a4: DUP2
000008a5: DUP2
000008a6: MSTORE
000008a7: PUSH1 0x03
000008a9: PUSH1 0x20
000008ab: MSTORE
000008ac: PUSH1 0x40
000008ae: SWAP1
000008af: KECCAK256
000008b0: SLOAD
000008b1: SWAP1
000008b2: SWAP2
000008b3: POP
000008b4: PUSH1 0xff
000008b6: AND
000008b7: ISZERO
000008b8: PUSH2 0x08d4
000008bb: JUMPI
000008bc: PUSH1 0x40
000008be: MLOAD
000008bf: PUSH4 0x332e5913
000008c4: PUSH1 0xe2
000008c6: SHL
000008c7: DUP2
000008c8: MSTORE
000008c9: PUSH1 0x04
000008cb: ADD
000008cc: PUSH1 0x40
000008ce: MLOAD
000008cf: DUP1
000008d0: SWAP2
000008d1: SUB
000008d2: SWAP1
000008d3: REVERT
000008d4: JUMPDEST
000008d5: PUSH1 0x00
000008d7: DUP2
000008d8: DUP2
000008d9: MSTORE
000008da: PUSH1 0x03
000008dc: PUSH1 0x20
000008de: MSTORE
000008df: PUSH1 0x40
000008e1: SWAP1
000008e2: DUP2
000008e3: SWAP1
000008e4: KECCAK256
000008e5: DUP1
000008e6: SLOAD
000008e7: PUSH1 0xff
000008e9: NOT
000008ea: AND
000008eb: PUSH1 0x01
000008ed: OR
000008ee: SWAP1
000008ef: SSTORE
000008f0: MLOAD
000008f1: DUP2
000008f2: SWAP1
000008f3: PUSH32 0xd49624af310011b0738bb3294d81360a2250970102cb325a2da024f6b8e3b4ea
00000914: SWAP1
00000915: PUSH2 0x091f
00000918: SWAP1
00000919: DUP6
0000091a: SWAP1
0000091b: PUSH2 0x0eb7
0000091e: JUMP
0000091f: JUMPDEST
00000920: PUSH1 0x40
00000922: MLOAD
00000923: DUP1
00000924: SWAP2
00000925: SUB
00000926: SWAP1
00000927: LOG2
00000928: SWAP2
00000929: SWAP1
0000092a: POP
0000092b: JUMP
0000092c: JUMPDEST
0000092d: PUSH1 0x00
0000092f: DUP1
00000930: PUSH1 0x00
00000932: DUP1
00000933: PUSH1 0x00
00000935: DUP6
00000936: DUP8
00000937: GAS
00000938: CALL
00000939: SWAP1
0000093a: POP
0000093b: DUP1
0000093c: PUSH2 0x097d
0000093f: JUMPI
00000940: PUSH1 0x40
00000942: MLOAD
00000943: PUSH3 0x461bcd
00000947: PUSH1 0xe5
00000949: SHL
0000094a: DUP2
0000094b: MSTORE
0000094c: PUSH1 0x20
0000094e: PUSH1 0x04
00000950: DUP3
00000951: ADD
00000952: MSTORE
00000953: PUSH1 0x13
00000955: PUSH1 0x24
00000957: DUP3
00000958: ADD
00000959: MSTORE
0000095a: PUSH19 0x11551217d514905394d1915497d19052531151
0000096e: PUSH1 0x6a
00000970: SHL
00000971: PUSH1 0x44
00000973: DUP3
00000974: ADD
00000975: MSTORE
00000976: PUSH1 0x64
00000978: ADD
00000979: PUSH2 0x044c
0000097c: JUMP
0000097d: JUMPDEST
0000097e: POP
0000097f: POP
00000980: POP
00000981: JUMP
00000982: JUMPDEST
00000983: PUSH1 0x00
00000985: PUSH2 0x098d
00000988: DUP4
00000989: PUSH2 0x04d0
0000098c: JUMP
0000098d: JUMPDEST
0000098e: SWAP1
0000098f: POP
00000990: PUSH2 0x0998
00000993: DUP2
00000994: PUSH2 0x0c3d
00000997: JUMP
00000998: JUMPDEST
00000999: PUSH2 0x09a2
0000099c: DUP2
0000099d: DUP5
0000099e: PUSH2 0x0c72
000009a1: JUMP
000009a2: JUMPDEST
000009a3: PUSH1 0x00
000009a5: DUP3
000009a6: DUP2
000009a7: MSTORE
000009a8: PUSH1 0x02
000009aa: PUSH1 0x20
000009ac: MSTORE
000009ad: PUSH1 0x40
000009af: SWAP1
000009b0: KECCAK256
000009b1: SLOAD
000009b2: DUP2
000009b3: EQ
000009b4: PUSH2 0x09d0
000009b7: JUMPI
000009b8: PUSH1 0x40
000009ba: MLOAD
000009bb: PUSH4 0x15db3de5
000009c0: PUSH1 0xe0
000009c2: SHL
000009c3: DUP2
000009c4: MSTORE
000009c5: PUSH1 0x04
000009c7: ADD
000009c8: PUSH1 0x40
000009ca: MLOAD
000009cb: DUP1
000009cc: SWAP2
000009cd: SUB
000009ce: SWAP1
000009cf: REVERT
000009d0: JUMPDEST
000009d1: PUSH1 0x00
000009d3: DUP3
000009d4: DUP2
000009d5: MSTORE
000009d6: PUSH1 0x01
000009d8: PUSH1 0x20
000009da: MSTORE
000009db: PUSH1 0x40
000009dd: SWAP1
000009de: KECCAK256
000009df: SLOAD
000009e0: PUSH1 0x02
000009e2: SUB
000009e3: PUSH2 0x09ff
000009e6: JUMPI
000009e7: PUSH1 0x40
000009e9: MLOAD
000009ea: PUSH4 0xebd42f31
000009ef: PUSH1 0xe0
000009f1: SHL
000009f2: DUP2
000009f3: MSTORE
000009f4: PUSH1 0x04
000009f6: ADD
000009f7: PUSH1 0x40
000009f9: MLOAD
000009fa: DUP1
000009fb: SWAP2
000009fc: SUB
000009fd: SWAP1
000009fe: REVERT
000009ff: JUMPDEST
00000a00: PUSH1 0x00
00000a02: DUP2
00000a03: DUP2
00000a04: MSTORE
00000a05: PUSH1 0x03
00000a07: PUSH1 0x20
00000a09: MSTORE
00000a0a: PUSH1 0x40
00000a0c: SWAP1
00000a0d: KECCAK256
00000a0e: DUP1
00000a0f: SLOAD
00000a10: PUSH1 0x01
00000a12: SWAP1
00000a13: SWAP2
00000a14: ADD
00000a15: SLOAD
00000a16: PUSH1 0xff
00000a18: SWAP2
00000a19: DUP3
00000a1a: AND
00000a1b: SWAP2
00000a1c: PUSH1 0x01
00000a1e: PUSH1 0x40
00000a20: SHL
00000a21: SWAP1
00000a22: SWAP2
00000a23: DIV
00000a24: AND
00000a25: DUP2
00000a26: SUB
00000a27: PUSH2 0x0a66
00000a2a: JUMPI
00000a2b: PUSH1 0x00
00000a2d: DUP3
00000a2e: DUP2
00000a2f: MSTORE
00000a30: PUSH1 0x03
00000a32: PUSH1 0x20
00000a34: MSTORE
00000a35: PUSH1 0x40
00000a37: SWAP1
00000a38: KECCAK256
00000a39: PUSH1 0x01
00000a3b: ADD
00000a3c: SLOAD
00000a3d: PUSH8 0xffffffffffffffff
00000a46: AND
00000a47: DUP4
00000a48: SWAP1
00000a49: SUB
00000a4a: PUSH2 0x0a66
00000a4d: JUMPI
00000a4e: PUSH1 0x40
00000a50: MLOAD
00000a51: PUSH4 0x04d797d5
00000a56: PUSH1 0xe4
00000a58: SHL
00000a59: DUP2
00000a5a: MSTORE
00000a5b: PUSH1 0x04
00000a5d: ADD
00000a5e: PUSH1 0x40
00000a60: MLOAD
00000a61: DUP1
00000a62: SWAP2
00000a63: SUB
00000a64: SWAP1
00000a65: REVERT
00000a66: JUMPDEST
00000a67: PUSH1 0x01
00000a69: DUP1
00000a6a: PUSH1 0x00
00000a6c: DUP6
00000a6d: DUP2
00000a6e: MSTORE
00000a6f: PUSH1 0x20
00000a71: ADD
00000a72: SWAP1
00000a73: DUP2
00000a74: MSTORE
00000a75: PUSH1 0x20
00000a77: ADD
00000a78: PUSH1 0x00
00000a7a: KECCAK256
00000a7b: PUSH1 0x00
00000a7d: DUP3
00000a7e: DUP3
00000a7f: SLOAD
00000a80: PUSH2 0x0a89
00000a83: SWAP2
00000a84: SWAP1
00000a85: PUSH2 0x0fa7
00000a88: JUMP
00000a89: JUMPDEST
00000a8a: SWAP1
00000a8b: SWAP2
00000a8c: SSTORE
00000a8d: POP
00000a8e: POP
00000a8f: PUSH1 0x40
00000a91: DUP1
00000a92: MLOAD
00000a93: DUP1
00000a94: DUP3
00000a95: ADD
00000a96: DUP3
00000a97: MSTORE
00000a98: PUSH8 0xffffffffffffffff
00000aa1: DUP6
00000aa2: DUP2
00000aa3: AND
00000aa4: DUP3
00000aa5: MSTORE
00000aa6: PUSH1 0xff
00000aa8: DUP5
00000aa9: DUP2
00000aaa: AND
00000aab: PUSH1 0x20
00000aad: DUP1
00000aae: DUP6
00000aaf: ADD
00000ab0: SWAP2
00000ab1: DUP3
00000ab2: MSTORE
00000ab3: PUSH1 0x00
00000ab5: DUP9
00000ab6: DUP2
00000ab7: MSTORE
00000ab8: PUSH1 0x03
00000aba: SWAP1
00000abb: SWAP2
00000abc: MSTORE
00000abd: DUP6
00000abe: DUP2
00000abf: KECCAK256
00000ac0: SWAP5
00000ac1: MLOAD
00000ac2: PUSH1 0x01
00000ac4: SWAP1
00000ac5: SWAP6
00000ac6: ADD
00000ac7: DUP1
00000ac8: SLOAD
00000ac9: SWAP3
00000aca: MLOAD
00000acb: SWAP6
00000acc: SWAP1
00000acd: SWAP5
00000ace: AND
00000acf: PUSH9 0xffffffffffffffffff
00000ad9: NOT
00000ada: SWAP1
00000adb: SWAP3
00000adc: AND
00000add: SWAP2
00000ade: SWAP1
00000adf: SWAP2
00000ae0: OR
00000ae1: PUSH1 0x01
00000ae3: PUSH1 0x40
00000ae5: SHL
00000ae6: SWAP5
00000ae7: SWAP1
00000ae8: SWAP3
00000ae9: AND
00000aea: SWAP4
00000aeb: SWAP1
00000aec: SWAP4
00000aed: MUL
00000aee: OR
00000aef: SWAP1
00000af0: SSTORE
00000af1: DUP1
00000af2: SLOAD
00000af3: SWAP2
00000af4: MLOAD
00000af5: PUSH4 0x31a9108f
00000afa: PUSH1 0xe1
00000afc: SHL
00000afd: DUP2
00000afe: MSTORE
00000aff: PUSH1 0x04
00000b01: DUP2
00000b02: ADD
00000b03: DUP7
00000b04: SWAP1
00000b05: MSTORE
00000b06: SWAP1
00000b07: SWAP2
00000b08: PUSH1 0x01
00000b0a: PUSH1 0x01
00000b0c: PUSH1 0xa0
00000b0e: SHL
00000b0f: SUB
00000b10: AND
00000b11: SWAP1
00000b12: PUSH4 0x6352211e
00000b17: SWAP1
00000b18: PUSH1 0x24
00000b1a: ADD
00000b1b: PUSH1 0x20
00000b1d: PUSH1 0x40
00000b1f: MLOAD
00000b20: DUP1
00000b21: DUP4
00000b22: SUB
00000b23: DUP2
00000b24: DUP7
00000b25: GAS
00000b26: STATICCALL
00000b27: ISZERO
00000b28: DUP1
00000b29: ISZERO
00000b2a: PUSH2 0x0b37
00000b2d: JUMPI
00000b2e: RETURNDATASIZE
00000b2f: PUSH1 0x00
00000b31: DUP1
00000b32: RETURNDATACOPY
00000b33: RETURNDATASIZE
00000b34: PUSH1 0x00
00000b36: REVERT
00000b37: JUMPDEST
00000b38: POP
00000b39: POP
00000b3a: POP
00000b3b: POP
00000b3c: PUSH1 0x40
00000b3e: MLOAD
00000b3f: RETURNDATASIZE
00000b40: PUSH1 0x1f
00000b42: NOT
00000b43: PUSH1 0x1f
00000b45: DUP3
00000b46: ADD
00000b47: AND
00000b48: DUP3
00000b49: ADD
00000b4a: DUP1
00000b4b: PUSH1 0x40
00000b4d: MSTORE
00000b4e: POP
00000b4f: DUP2
00000b50: ADD
00000b51: SWAP1
00000b52: PUSH2 0x0b5b
00000b55: SWAP2
00000b56: SWAP1
00000b57: PUSH2 0x0fba
00000b5a: JUMP
00000b5b: JUMPDEST
00000b5c: PUSH1 0x00
00000b5e: DUP5
00000b5f: DUP2
00000b60: MSTORE
00000b61: PUSH1 0x03
00000b63: PUSH1 0x20
00000b65: MSTORE
00000b66: PUSH1 0x40
00000b68: DUP1
00000b69: DUP3
00000b6a: KECCAK256
00000b6b: DUP1
00000b6c: SLOAD
00000b6d: PUSH3 0x010000
00000b71: PUSH1 0x01
00000b73: PUSH1 0xb0
00000b75: SHL
00000b76: SUB
00000b77: NOT
00000b78: AND
00000b79: PUSH3 0x010000
00000b7d: PUSH1 0x01
00000b7f: PUSH1 0x01
00000b81: PUSH1 0xa0
00000b83: SHL
00000b84: SUB
00000b85: DUP7
00000b86: DUP2
00000b87: AND
00000b88: SWAP2
00000b89: DUP3
00000b8a: MUL
00000b8b: SWAP3
00000b8c: SWAP1
00000b8d: SWAP3
00000b8e: OR
00000b8f: SWAP1
00000b90: SWAP3
00000b91: SSTORE
00000b92: SWAP3
00000b93: SLOAD
00000b94: SWAP2
00000b95: MLOAD
00000b96: PUSH4 0x4c1e04f7
00000b9b: PUSH1 0xe1
00000b9d: SHL
00000b9e: DUP2
00000b9f: MSTORE
00000ba0: PUSH1 0x04
00000ba2: DUP2
00000ba3: ADD
00000ba4: SWAP2
00000ba5: SWAP1
00000ba6: SWAP2
00000ba7: MSTORE
00000ba8: CALLER
00000ba9: PUSH1 0x24
00000bab: DUP3
00000bac: ADD
00000bad: MSTORE
00000bae: PUSH1 0x44
00000bb0: DUP2
00000bb1: ADD
00000bb2: DUP9
00000bb3: SWAP1
00000bb4: MSTORE
00000bb5: SWAP3
00000bb6: SWAP4
00000bb7: POP
00000bb8: AND
00000bb9: SWAP1
00000bba: PUSH4 0x983c09ee
00000bbf: SWAP1
00000bc0: PUSH1 0x64
00000bc2: ADD
00000bc3: PUSH1 0x00
00000bc5: PUSH1 0x40
00000bc7: MLOAD
00000bc8: DUP1
00000bc9: DUP4
00000bca: SUB
00000bcb: DUP2
00000bcc: PUSH1 0x00
00000bce: DUP8
00000bcf: DUP1
00000bd0: EXTCODESIZE
00000bd1: ISZERO
00000bd2: DUP1
00000bd3: ISZERO
00000bd4: PUSH2 0x0bdc
00000bd7: JUMPI
00000bd8: PUSH1 0x00
00000bda: DUP1
00000bdb: REVERT
00000bdc: JUMPDEST
00000bdd: POP
00000bde: GAS
00000bdf: CALL
00000be0: ISZERO
00000be1: DUP1
00000be2: ISZERO
00000be3: PUSH2 0x0bf0
00000be6: JUMPI
00000be7: RETURNDATASIZE
00000be8: PUSH1 0x00
00000bea: DUP1
00000beb: RETURNDATACOPY
00000bec: RETURNDATASIZE
00000bed: PUSH1 0x00
00000bef: REVERT
00000bf0: JUMPDEST
00000bf1: POP
00000bf2: POP
00000bf3: PUSH1 0x40
00000bf5: MLOAD
00000bf6: PUSH1 0x01
00000bf8: PUSH1 0x01
00000bfa: PUSH1 0xa0
00000bfc: SHL
00000bfd: SUB
00000bfe: DUP5
00000bff: AND
00000c00: DUP2
00000c01: MSTORE
00000c02: DUP7
00000c03: SWAP3
00000c04: POP
00000c05: CALLER
00000c06: SWAP2
00000c07: POP
00000c08: DUP6
00000c09: SWAP1
00000c0a: PUSH32 0xcf699bdd4430ab57fbf4adf19ae0d3cbf0eece3f370225ce2e0e87ec0cd9e3d0
00000c2b: SWAP1
00000c2c: PUSH1 0x20
00000c2e: ADD
00000c2f: PUSH1 0x40
00000c31: MLOAD
00000c32: DUP1
00000c33: SWAP2
00000c34: SUB
00000c35: SWAP1
00000c36: LOG4
00000c37: POP
00000c38: POP
00000c39: POP
00000c3a: POP
00000c3b: POP
00000c3c: JUMP
00000c3d: JUMPDEST
00000c3e: PUSH1 0x00
00000c40: DUP2
00000c41: DUP2
00000c42: MSTORE
00000c43: PUSH1 0x03
00000c45: PUSH1 0x20
00000c47: MSTORE
00000c48: PUSH1 0x40
00000c4a: SWAP1
00000c4b: KECCAK256
00000c4c: SLOAD
00000c4d: PUSH2 0x0100
00000c50: SWAP1
00000c51: DIV
00000c52: PUSH1 0xff
00000c54: AND
00000c55: ISZERO
00000c56: PUSH2 0x04cd
00000c59: JUMPI
00000c5a: PUSH1 0x40
00000c5c: MLOAD
00000c5d: PUSH4 0xdf469ccb
00000c62: PUSH1 0xe0
00000c64: SHL
00000c65: DUP2
00000c66: MSTORE
00000c67: PUSH1 0x04
00000c69: ADD
00000c6a: PUSH1 0x40
00000c6c: MLOAD
00000c6d: DUP1
00000c6e: SWAP2
00000c6f: SUB
00000c70: SWAP1
00000c71: REVERT
00000c72: JUMPDEST
00000c73: CALLER
00000c74: PUSH2 0x0c7d
00000c77: DUP4
00000c78: DUP4
00000c79: PUSH2 0x037a
00000c7c: JUMP
00000c7d: JUMPDEST
00000c7e: PUSH1 0x01
00000c80: PUSH1 0x01
00000c82: PUSH1 0xa0
00000c84: SHL
00000c85: SUB
00000c86: AND
00000c87: EQ
00000c88: PUSH2 0x0708
00000c8b: JUMPI
00000c8c: PUSH1 0x40
00000c8e: MLOAD
00000c8f: PUSH4 0xc6e1dd1d
00000c94: PUSH1 0xe0
00000c96: SHL
00000c97: DUP2
00000c98: MSTORE
00000c99: PUSH1 0x04
00000c9b: ADD
00000c9c: PUSH1 0x40
00000c9e: MLOAD
00000c9f: DUP1
00000ca0: SWAP2
00000ca1: SUB
00000ca2: SWAP1
00000ca3: REVERT
00000ca4: JUMPDEST
00000ca5: PUSH1 0x00
00000ca7: PUSH1 0x40
00000ca9: DUP3
00000caa: DUP5
00000cab: SUB
00000cac: SLT
00000cad: ISZERO
00000cae: PUSH2 0x0cb6
00000cb1: JUMPI
00000cb2: PUSH1 0x00
00000cb4: DUP1
00000cb5: REVERT
00000cb6: JUMPDEST
00000cb7: POP
00000cb8: SWAP2
00000cb9: SWAP1
00000cba: POP
00000cbb: JUMP
00000cbc: JUMPDEST
00000cbd: PUSH1 0x00
00000cbf: DUP1
00000cc0: PUSH1 0x40
00000cc2: DUP4
00000cc3: DUP6
00000cc4: SUB
00000cc5: SLT
00000cc6: ISZERO
00000cc7: PUSH2 0x0ccf
00000cca: JUMPI
00000ccb: PUSH1 0x00
00000ccd: DUP1
00000cce: REVERT
00000ccf: JUMPDEST
00000cd0: DUP3
00000cd1: CALLDATALOAD
00000cd2: SWAP2
00000cd3: POP
00000cd4: PUSH1 0x20
00000cd6: DUP4
00000cd7: ADD
00000cd8: CALLDATALOAD
00000cd9: PUSH8 0xffffffffffffffff
00000ce2: DUP2
00000ce3: GT
00000ce4: ISZERO
00000ce5: PUSH2 0x0ced
00000ce8: JUMPI
00000ce9: PUSH1 0x00
00000ceb: DUP1
00000cec: REVERT
00000ced: JUMPDEST
00000cee: PUSH2 0x0cf9
00000cf1: DUP6
00000cf2: DUP3
00000cf3: DUP7
00000cf4: ADD
00000cf5: PUSH2 0x0ca4
00000cf8: JUMP
00000cf9: JUMPDEST
00000cfa: SWAP2
00000cfb: POP
00000cfc: POP
00000cfd: SWAP3
00000cfe: POP
00000cff: SWAP3
00000d00: SWAP1
00000d01: POP
00000d02: JUMP
00000d03: JUMPDEST
00000d04: PUSH1 0x01
00000d06: PUSH1 0x01
00000d08: PUSH1 0xa0
00000d0a: SHL
00000d0b: SUB
00000d0c: DUP2
00000d0d: AND
00000d0e: DUP2
00000d0f: EQ
00000d10: PUSH2 0x04cd
00000d13: JUMPI
00000d14: PUSH1 0x00
00000d16: DUP1
00000d17: REVERT
00000d18: JUMPDEST
00000d19: PUSH1 0x00
00000d1b: PUSH1 0x20
00000d1d: DUP3
00000d1e: DUP5
00000d1f: SUB
00000d20: SLT
00000d21: ISZERO
00000d22: PUSH2 0x0d2a
00000d25: JUMPI
00000d26: PUSH1 0x00
00000d28: DUP1
00000d29: REVERT
00000d2a: JUMPDEST
00000d2b: DUP2
00000d2c: CALLDATALOAD
00000d2d: PUSH2 0x0d35
00000d30: DUP2
00000d31: PUSH2 0x0d03
00000d34: JUMP
00000d35: JUMPDEST
00000d36: SWAP4
00000d37: SWAP3
00000d38: POP
00000d39: POP
00000d3a: POP
00000d3b: JUMP
00000d3c: JUMPDEST
00000d3d: PUSH1 0x00
00000d3f: PUSH1 0x20
00000d41: DUP3
00000d42: DUP5
00000d43: SUB
00000d44: SLT
00000d45: ISZERO
00000d46: PUSH2 0x0d4e
00000d49: JUMPI
00000d4a: PUSH1 0x00
00000d4c: DUP1
00000d4d: REVERT
00000d4e: JUMPDEST
00000d4f: DUP2
00000d50: CALLDATALOAD
00000d51: PUSH8 0xffffffffffffffff
00000d5a: DUP2
00000d5b: GT
00000d5c: ISZERO
00000d5d: PUSH2 0x0d65
00000d60: JUMPI
00000d61: PUSH1 0x00
00000d63: DUP1
00000d64: REVERT
00000d65: JUMPDEST
00000d66: PUSH2 0x0418
00000d69: DUP5
00000d6a: DUP3
00000d6b: DUP6
00000d6c: ADD
00000d6d: PUSH2 0x0ca4
00000d70: JUMP
00000d71: JUMPDEST
00000d72: PUSH1 0x00
00000d74: PUSH1 0x20
00000d76: DUP3
00000d77: DUP5
00000d78: SUB
00000d79: SLT
00000d7a: ISZERO
00000d7b: PUSH2 0x0d83
00000d7e: JUMPI
00000d7f: PUSH1 0x00
00000d81: DUP1
00000d82: REVERT
00000d83: JUMPDEST
00000d84: POP
00000d85: CALLDATALOAD
00000d86: SWAP2
00000d87: SWAP1
00000d88: POP
00000d89: JUMP
00000d8a: JUMPDEST
00000d8b: PUSH1 0x00
00000d8d: DUP1
00000d8e: PUSH1 0x40
00000d90: DUP4
00000d91: DUP6
00000d92: SUB
00000d93: SLT
00000d94: ISZERO
00000d95: PUSH2 0x0d9d
00000d98: JUMPI
00000d99: PUSH1 0x00
00000d9b: DUP1
00000d9c: REVERT
00000d9d: JUMPDEST
00000d9e: DUP3
00000d9f: CALLDATALOAD
00000da0: PUSH2 0x0da8
00000da3: DUP2
00000da4: PUSH2 0x0d03
00000da7: JUMP
00000da8: JUMPDEST
00000da9: SWAP5
00000daa: PUSH1 0x20
00000dac: SWAP4
00000dad: SWAP1
00000dae: SWAP4
00000daf: ADD
00000db0: CALLDATALOAD
00000db1: SWAP4
00000db2: POP
00000db3: POP
00000db4: POP
00000db5: JUMP
00000db6: JUMPDEST
00000db7: PUSH1 0x00
00000db9: DUP1
00000dba: PUSH1 0x40
00000dbc: DUP4
00000dbd: DUP6
00000dbe: SUB
00000dbf: SLT
00000dc0: ISZERO
00000dc1: PUSH2 0x0dc9
00000dc4: JUMPI
00000dc5: PUSH1 0x00
00000dc7: DUP1
00000dc8: REVERT
00000dc9: JUMPDEST
00000dca: DUP3
00000dcb: CALLDATALOAD
00000dcc: PUSH8 0xffffffffffffffff
00000dd5: DUP2
00000dd6: GT
00000dd7: ISZERO
00000dd8: PUSH2 0x0de0
00000ddb: JUMPI
00000ddc: PUSH1 0x00
00000dde: DUP1
00000ddf: REVERT
00000de0: JUMPDEST
00000de1: PUSH2 0x0dec
00000de4: DUP6
00000de5: DUP3
00000de6: DUP7
00000de7: ADD
00000de8: PUSH2 0x0ca4
00000deb: JUMP
00000dec: JUMPDEST
00000ded: SWAP6
00000dee: PUSH1 0x20
00000df0: SWAP5
00000df1: SWAP1
00000df2: SWAP5
00000df3: ADD
00000df4: CALLDATALOAD
00000df5: SWAP5
00000df6: POP
00000df7: POP
00000df8: POP
00000df9: POP
00000dfa: JUMP
00000dfb: JUMPDEST
00000dfc: PUSH1 0x00
00000dfe: DUP1
00000dff: DUP4
00000e00: CALLDATALOAD
00000e01: PUSH1 0x1e
00000e03: NOT
00000e04: DUP5
00000e05: CALLDATASIZE
00000e06: SUB
00000e07: ADD
00000e08: DUP2
00000e09: SLT
00000e0a: PUSH2 0x0e12
00000e0d: JUMPI
00000e0e: PUSH1 0x00
00000e10: DUP1
00000e11: REVERT
00000e12: JUMPDEST
00000e13: DUP4
00000e14: ADD
00000e15: DUP1
00000e16: CALLDATALOAD
00000e17: SWAP2
00000e18: POP
00000e19: PUSH8 0xffffffffffffffff
00000e22: DUP3
00000e23: GT
00000e24: ISZERO
00000e25: PUSH2 0x0e2d
00000e28: JUMPI
00000e29: PUSH1 0x00
00000e2b: DUP1
00000e2c: REVERT
00000e2d: JUMPDEST
00000e2e: PUSH1 0x20
00000e30: ADD
00000e31: SWAP2
00000e32: POP
00000e33: PUSH1 0x05
00000e35: DUP2
00000e36: SWAP1
00000e37: SHL
00000e38: CALLDATASIZE
00000e39: SUB
00000e3a: DUP3
00000e3b: SGT
00000e3c: ISZERO
00000e3d: PUSH2 0x0e45
00000e40: JUMPI
00000e41: PUSH1 0x00
00000e43: DUP1
00000e44: REVERT
00000e45: JUMPDEST
00000e46: SWAP3
00000e47: POP
00000e48: SWAP3
00000e49: SWAP1
00000e4a: POP
00000e4b: JUMP
00000e4c: JUMPDEST
00000e4d: PUSH4 0x4e487b71
00000e52: PUSH1 0xe0
00000e54: SHL
00000e55: PUSH1 0x00
00000e57: MSTORE
00000e58: PUSH1 0x11
00000e5a: PUSH1 0x04
00000e5c: MSTORE
00000e5d: PUSH1 0x24
00000e5f: PUSH1 0x00
00000e61: REVERT
00000e62: JUMPDEST
00000e63: PUSH1 0xff
00000e65: DUP3
00000e66: DUP2
00000e67: AND
00000e68: DUP3
00000e69: DUP3
00000e6a: AND
00000e6b: SUB
00000e6c: SWAP1
00000e6d: DUP2
00000e6e: GT
00000e6f: ISZERO
00000e70: PUSH2 0x041c
00000e73: JUMPI
00000e74: PUSH2 0x041c
00000e77: PUSH2 0x0e4c
00000e7a: JUMP
00000e7b: JUMPDEST
00000e7c: PUSH4 0x4e487b71
00000e81: PUSH1 0xe0
00000e83: SHL
00000e84: PUSH1 0x00
00000e86: MSTORE
00000e87: PUSH1 0x32
00000e89: PUSH1 0x04
00000e8b: MSTORE
00000e8c: PUSH1 0x24
00000e8e: PUSH1 0x00
00000e90: REVERT
00000e91: JUMPDEST
00000e92: PUSH1 0x20
00000e94: DUP1
00000e95: DUP3
00000e96: MSTORE
00000e97: PUSH1 0x0c
00000e99: SWAP1
00000e9a: DUP3
00000e9b: ADD
00000e9c: MSTORE
00000e9d: PUSH12 0x15539055551213d492569151
00000eaa: PUSH1 0xa2
00000eac: SHL
00000ead: PUSH1 0x40
00000eaf: DUP3
00000eb0: ADD
00000eb1: MSTORE
00000eb2: PUSH1 0x60
00000eb4: ADD
00000eb5: SWAP1
00000eb6: JUMP
00000eb7: JUMPDEST
00000eb8: PUSH1 0x00
00000eba: PUSH1 0x20
00000ebc: DUP1
00000ebd: DUP4
00000ebe: MSTORE
00000ebf: PUSH1 0x60
00000ec1: DUP4
00000ec2: ADD
00000ec3: DUP5
00000ec4: CALLDATALOAD
00000ec5: PUSH1 0x1e
00000ec7: NOT
00000ec8: DUP7
00000ec9: CALLDATASIZE
00000eca: SUB
00000ecb: ADD
00000ecc: DUP2
00000ecd: SLT
00000ece: PUSH2 0x0ed6
00000ed1: JUMPI
00000ed2: PUSH1 0x00
00000ed4: DUP1
00000ed5: REVERT
00000ed6: JUMPDEST
00000ed7: DUP6
00000ed8: ADD
00000ed9: DUP3
00000eda: DUP2
00000edb: ADD
00000edc: SWAP1
00000edd: CALLDATALOAD
00000ede: PUSH8 0xffffffffffffffff
00000ee7: DUP2
00000ee8: GT
00000ee9: ISZERO
00000eea: PUSH2 0x0ef2
00000eed: JUMPI
00000eee: PUSH1 0x00
00000ef0: DUP1
00000ef1: REVERT
00000ef2: JUMPDEST
00000ef3: DUP1
00000ef4: PUSH1 0x05
00000ef6: SHL
00000ef7: CALLDATASIZE
00000ef8: SUB
00000ef9: DUP3
00000efa: SGT
00000efb: ISZERO
00000efc: PUSH2 0x0f04
00000eff: JUMPI
00000f00: PUSH1 0x00
00000f02: DUP1
00000f03: REVERT
00000f04: JUMPDEST
00000f05: PUSH1 0x40
00000f07: DUP7
00000f08: DUP6
00000f09: ADD
00000f0a: MSTORE
00000f0b: SWAP2
00000f0c: DUP3
00000f0d: SWAP1
00000f0e: MSTORE
00000f0f: SWAP1
00000f10: PUSH1 0x00
00000f12: SWAP1
00000f13: PUSH1 0x80
00000f15: DUP7
00000f16: ADD
00000f17: JUMPDEST
00000f18: DUP2
00000f19: DUP4
00000f1a: LT
00000f1b: ISZERO
00000f1c: PUSH2 0x0f47
00000f1f: JUMPI
00000f20: DUP4
00000f21: CALLDATALOAD
00000f22: PUSH2 0x0f2a
00000f25: DUP2
00000f26: PUSH2 0x0d03
00000f29: JUMP
00000f2a: JUMPDEST
00000f2b: PUSH1 0x01
00000f2d: PUSH1 0x01
00000f2f: PUSH1 0xa0
00000f31: SHL
00000f32: SUB
00000f33: AND
00000f34: DUP2
00000f35: MSTORE
00000f36: SWAP3
00000f37: DUP5
00000f38: ADD
00000f39: SWAP3
00000f3a: PUSH1 0x01
00000f3c: SWAP3
00000f3d: SWAP1
00000f3e: SWAP3
00000f3f: ADD
00000f40: SWAP2
00000f41: DUP5
00000f42: ADD
00000f43: PUSH2 0x0f17
00000f46: JUMP
00000f47: JUMPDEST
00000f48: DUP5
00000f49: DUP9
00000f4a: ADD
00000f4b: CALLDATALOAD
00000f4c: PUSH1 0x40
00000f4e: DUP9
00000f4f: ADD
00000f50: MSTORE
00000f51: DUP1
00000f52: SWAP6
00000f53: POP
00000f54: POP
00000f55: POP
00000f56: POP
00000f57: POP
00000f58: POP
00000f59: SWAP3
00000f5a: SWAP2
00000f5b: POP
00000f5c: POP
00000f5d: JUMP
00000f5e: JUMPDEST
00000f5f: DUP1
00000f60: DUP3
00000f61: MUL
00000f62: DUP2
00000f63: ISZERO
00000f64: DUP3
00000f65: DUP3
00000f66: DIV
00000f67: DUP5
00000f68: EQ
00000f69: OR
00000f6a: PUSH2 0x041c
00000f6d: JUMPI
00000f6e: PUSH2 0x041c
00000f71: PUSH2 0x0e4c
00000f74: JUMP
00000f75: JUMPDEST
00000f76: PUSH1 0xff
00000f78: DUP2
00000f79: DUP2
00000f7a: AND
00000f7b: DUP4
00000f7c: DUP3
00000f7d: AND
00000f7e: ADD
00000f7f: SWAP1
00000f80: DUP2
00000f81: GT
00000f82: ISZERO
00000f83: PUSH2 0x041c
00000f86: JUMPI
00000f87: PUSH2 0x041c
00000f8a: PUSH2 0x0e4c
00000f8d: JUMP
00000f8e: JUMPDEST
00000f8f: PUSH1 0x00
00000f91: PUSH1 0x20
00000f93: DUP3
00000f94: DUP5
00000f95: SUB
00000f96: SLT
00000f97: ISZERO
00000f98: PUSH2 0x0fa0
00000f9b: JUMPI
00000f9c: PUSH1 0x00
00000f9e: DUP1
00000f9f: REVERT
00000fa0: JUMPDEST
00000fa1: POP
00000fa2: MLOAD
00000fa3: SWAP2
00000fa4: SWAP1
00000fa5: POP
00000fa6: JUMP
00000fa7: JUMPDEST
00000fa8: DUP1
00000fa9: DUP3
00000faa: ADD
00000fab: DUP1
00000fac: DUP3
00000fad: GT
00000fae: ISZERO
00000faf: PUSH2 0x041c
00000fb2: JUMPI
00000fb3: PUSH2 0x041c
00000fb6: PUSH2 0x0e4c
00000fb9: JUMP
00000fba: JUMPDEST
00000fbb: PUSH1 0x00
00000fbd: PUSH1 0x20
00000fbf: DUP3
00000fc0: DUP5
00000fc1: SUB
00000fc2: SLT
00000fc3: ISZERO
00000fc4: PUSH2 0x0fcc
00000fc7: JUMPI
00000fc8: PUSH1 0x00
00000fca: DUP1
00000fcb: REVERT
00000fcc: JUMPDEST
00000fcd: DUP2
00000fce: MLOAD
00000fcf: PUSH2 0x0d35
00000fd2: DUP2
00000fd3: PUSH2 0x0d03
00000fd6: JUMP
00000fd7: INVALID
00000fd8: LOG2
00000fd9: PUSH5 0x6970667358
00000fdf: UNKNOWN(0x22)
00000fe0: SLT
00000fe1: KECCAK256
00000fe2: UNKNOWN(0x29)
00000fe3: UNKNOWN(0xB2)
00000fe4: UNKNOWN(0xA7)
00000fe5: MSTORE
00000fe6: UNKNOWN(0xAA)
00000fe7: CALLDATACOPY
00000fe8: POP
00000fe9: PC
00000fea: LOG1
00000feb: DIFFICULTY
00000fec: PUSH24 0xed7722b0711f2852c6624b1dccbc974bd9932b6b7a64736f
00001005: PUSH13

Findings

validated = confirmed for call sinks; sink observed for others

Severity	Category	Tool	Title	Confidence	Validated	Confirmed	Details
high	other	detector	Untrusted CALL target/value reachable	60	no	no	view trace_id: 0xaf6ad1929d2226820987e90bea08db82baae7986786a30218a069d6343bf2684 call_targets: 0xb6554ce686cf21c642c3a28144a09879ae3f2ee1 target_varies: no classification: constant_target validation_json { "sink": "CALL", "errors": 0, "status": "sink_reached", "attempts": 1, "trace_id": "0xaf6ad1929d2226820987e90bea08db82baae7986786a30218a069d6343bf2684", "confirmed": false, "trace_mode": "callTracer", "call_targets": [ "0xb6554ce686cf21c642c3a28144a09879ae3f2ee1" ], "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": "0xc5e2a7db", "selector": "0xc5e2a7db", "calldata_variants": [ "0xc5e2a7db", "0xc5e2a7db0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xe49a12dc", "selector": "0xe49a12dc", "calldata_variants": [ "0xe49a12dc", "0xe49a12dc0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xeeb0511f", "selector": "0xeeb0511f", "calldata_variants": [ "0xeeb0511f", "0xeeb0511f0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xff831227", "selector": "0xff831227", "calldata_variants": [ "0xff831227", "0xff8312270000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x7df6a6c8", "selector": "0x7df6a6c8", "calldata_variants": [ "0x7df6a6c8", "0x7df6a6c80000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x8da5cb5b", "selector": "0x8da5cb5b", "calldata_variants": [ "0x8da5cb5b", "0x8da5cb5b0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x9c031ace", "selector": "0x9c031ace", "calldata_variants": [ "0x9c031ace", "0x9c031ace0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xa85adeab", "selector": "0xa85adeab", "calldata_variants": [ "0xa85adeab", "0xa85adeab0000000000000000000000000000000000000000000000000000000000000000" ] } ] } evidence_json { "examples": [ { "pc": 1724, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" }, { "pc": 2075, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" }, { "pc": 2360, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" } ], "call_count": 4, "guards_detected": [], "untrusted_call_count": 4 }
high	other	detector	ETH value transfer possible	55	no	no	view trace_id: 0xaf6ad1929d2226820987e90bea08db82baae7986786a30218a069d6343bf2684 call_targets: 0xb6554ce686cf21c642c3a28144a09879ae3f2ee1 target_varies: no classification: constant_target validation_json { "sink": "CALL", "errors": 0, "status": "sink_reached", "attempts": 1, "trace_id": "0xaf6ad1929d2226820987e90bea08db82baae7986786a30218a069d6343bf2684", "confirmed": false, "trace_mode": "callTracer", "call_targets": [ "0xb6554ce686cf21c642c3a28144a09879ae3f2ee1" ], "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": "0xc5e2a7db", "selector": "0xc5e2a7db", "calldata_variants": [ "0xc5e2a7db", "0xc5e2a7db0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xe49a12dc", "selector": "0xe49a12dc", "calldata_variants": [ "0xe49a12dc", "0xe49a12dc0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xeeb0511f", "selector": "0xeeb0511f", "calldata_variants": [ "0xeeb0511f", "0xeeb0511f0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xff831227", "selector": "0xff831227", "calldata_variants": [ "0xff831227", "0xff8312270000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x7df6a6c8", "selector": "0x7df6a6c8", "calldata_variants": [ "0x7df6a6c8", "0x7df6a6c80000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x8da5cb5b", "selector": "0x8da5cb5b", "calldata_variants": [ "0x8da5cb5b", "0x8da5cb5b0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x9c031ace", "selector": "0x9c031ace", "calldata_variants": [ "0x9c031ace", "0x9c031ace0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xa85adeab", "selector": "0xa85adeab", "calldata_variants": [ "0xa85adeab", "0xa85adeab0000000000000000000000000000000000000000000000000000000000000000" ] } ] } evidence_json { "examples": [ { "pc": 1724, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" }, { "pc": 2075, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" }, { "pc": 2360, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" } ], "eth_value_calls": 4, "guards_detected": [] }

Severity