Analysis Run

OpenAI Codex v0.118.0 (research preview)
--------
workdir: /tmp/codex-uk2nlx22
model: gpt-5.4
provider: openai
approval: never
sandbox: read-only
reasoning effort: high
reasoning summaries: none
session id: 019d5ca3-1b7e-7f21-8a23-1ccc1e70bbfa
--------
user
You are a security auditor. You ONLY have runtime bytecode + analysis artifacts.
You MUST read `BYTECODE_BUNDLE.json` before concluding; it contains the bytecode summary,
evidence bundle, callsites, storage slots, and detector findings.

Special cases when reasoning from bytecode (be explicit about uncertainty):
- Selector inference is best-effort; missing selectors are common.
- Fallback/receive paths may be the only entrypoints.
- CALL vs DELEGATECALL semantics differ; DELEGATECALL executes in caller storage.
- Proxy patterns (EIP-1967, minimal proxies, beacon) change which storage is authoritative.
- Storage slots are raw; mappings/arrays appear via keccak patterns, names are unknown.
- Guard detection is heuristic; absence of guards does NOT mean unguarded.
- Returndata checking is unknown unless explicitly shown in evidence.
- Precompiles (0x1..0x9) and common ERC20 transfer selectors may appear; do not over-claim.

Output MUST be valid JSON matching the provided schema.
- If you find nothing meaningful: set no_findings=true and findings=[].
- Otherwise: set no_findings=false and include findings with severity/category/title.
- Locations can be pc references like "pc:0x123" or selectors like "selector:0xa9059cbb".

Focus on: reentrancy, access control, upgradeability/proxy issues, signature validation,
accounting/invariant breaks, dangerous delegatecall, and untrusted external calls.
Be conservative: if evidence is weak, mark severity low/medium and explain why.
warning: Codex could not find system bubblewrap on PATH. Please install bubblewrap with your package manager. Codex will use the vendored bubblewrap in the meantime.
ERROR: You've hit your usage limit. Visit https://chatgpt.com/codex/settings/usage to purchase more credits or try again at Apr 8th, 2026 9:11 AM.
ERROR: You've hit your usage limit. Visit https://chatgpt.com/codex/settings/usage to purchase more credits or try again at Apr 8th, 2026 9:11 AM.

{
    "codex": {
        "ran_at": "2026-04-05T07:54:48.151234+00:00",
        "returncode": 1
    },
    "project": {
        "mode": "bytecode",
        "bytecode_length": 5346,
        "bytecode_truncated": false,
        "capability_graph_present": true,
        "analysis_artifact_present": true
    },
    "summary": null,
    "no_findings": null,
    "schema_version": 1
}

00000000: PUSH1 0x60
00000002: PUSH1 0x40
00000004: MSTORE
00000005: CALLDATASIZE
00000006: ISZERO
00000007: PUSH2 0x00e5
0000000a: JUMPI
0000000b: PUSH1 0xe0
0000000d: PUSH1 0x02
0000000f: EXP
00000010: PUSH1 0x00
00000012: CALLDATALOAD
00000013: DIV
00000014: PUSH4 0x06fdde03
00000019: DUP2
0000001a: EQ
0000001b: PUSH2 0x00f4
0000001e: JUMPI
0000001f: DUP1
00000020: PUSH4 0x18160ddd
00000025: EQ
00000026: PUSH2 0x0151
00000029: JUMPI
0000002a: DUP1
0000002b: PUSH4 0x1d71a1cd
00000030: EQ
00000031: PUSH2 0x015a
00000034: JUMPI
00000035: DUP1
00000036: PUSH4 0x313ce567
0000003b: EQ
0000003c: PUSH2 0x01c1
0000003f: JUMPI
00000040: DUP1
00000041: PUSH4 0x3b46a7df
00000046: EQ
00000047: PUSH2 0x01cd
0000004a: JUMPI
0000004b: DUP1
0000004c: PUSH4 0x40c48dfa
00000051: EQ
00000052: PUSH2 0x020d
00000055: JUMPI
00000056: DUP1
00000057: PUSH4 0x4b750334
0000005c: EQ
0000005d: PUSH2 0x0216
00000060: JUMPI
00000061: DUP1
00000062: PUSH4 0x4f24186a
00000067: EQ
00000068: PUSH2 0x021f
0000006b: JUMPI
0000006c: DUP1
0000006d: PUSH4 0x5e983d08
00000072: EQ
00000073: PUSH2 0x035e
00000076: JUMPI
00000077: DUP1
00000078: PUSH4 0x70a08231
0000007d: EQ
0000007e: PUSH2 0x03aa
00000081: JUMPI
00000082: DUP1
00000083: PUSH4 0x8620410b
00000088: EQ
00000089: PUSH2 0x03c2
0000008c: JUMPI
0000008d: DUP1
0000008e: PUSH4 0x8da5cb5b
00000093: EQ
00000094: PUSH2 0x03cb
00000097: JUMPI
00000098: DUP1
00000099: PUSH4 0x95d89b41
0000009e: EQ
0000009f: PUSH2 0x03dd
000000a2: JUMPI
000000a3: DUP1
000000a4: PUSH4 0xa3ec138d
000000a9: EQ
000000aa: PUSH2 0x0438
000000ad: JUMPI
000000ae: DUP1
000000af: PUSH4 0xa9059cbb
000000b4: EQ
000000b5: PUSH2 0x0450
000000b8: JUMPI
000000b9: DUP1
000000ba: PUSH4 0xd9c7041b
000000bf: EQ
000000c0: PUSH2 0x047f
000000c3: JUMPI
000000c4: DUP1
000000c5: PUSH4 0xe4849b32
000000ca: EQ
000000cb: PUSH2 0x0488
000000ce: JUMPI
000000cf: DUP1
000000d0: PUSH4 0xf1a9af89
000000d5: EQ
000000d6: PUSH2 0x0496
000000d9: JUMPI
000000da: DUP1
000000db: PUSH4 0xfc0c546a
000000e0: EQ
000000e1: PUSH2 0x049f
000000e4: JUMPI
000000e5: JUMPDEST
000000e6: PUSH2 0x04b9
000000e9: PUSH1 0x00
000000eb: PUSH1 0x00
000000ed: PUSH2 0x04d6
000000f0: PUSH2 0x0362
000000f3: JUMP
000000f4: JUMPDEST
000000f5: PUSH1 0x40
000000f7: DUP1
000000f8: MLOAD
000000f9: PUSH1 0x01
000000fb: DUP1
000000fc: SLOAD
000000fd: PUSH1 0x20
000000ff: PUSH1 0x02
00000101: DUP3
00000102: DUP5
00000103: AND
00000104: ISZERO
00000105: PUSH2 0x0100
00000108: MUL
00000109: PUSH1 0x00
0000010b: NOT
0000010c: ADD
0000010d: SWAP1
0000010e: SWAP3
0000010f: AND
00000110: SWAP2
00000111: SWAP1
00000112: SWAP2
00000113: DIV
00000114: PUSH1 0x1f
00000116: DUP2
00000117: ADD
00000118: DUP3
00000119: SWAP1
0000011a: DIV
0000011b: DUP3
0000011c: MUL
0000011d: DUP5
0000011e: ADD
0000011f: DUP3
00000120: ADD
00000121: SWAP1
00000122: SWAP5
00000123: MSTORE
00000124: DUP4
00000125: DUP4
00000126: MSTORE
00000127: PUSH2 0x0574
0000012a: SWAP4
0000012b: SWAP1
0000012c: DUP4
0000012d: ADD
0000012e: DUP3
0000012f: DUP3
00000130: DUP1
00000131: ISZERO
00000132: PUSH2 0x0642
00000135: JUMPI
00000136: DUP1
00000137: PUSH1 0x1f
00000139: LT
0000013a: PUSH2 0x0617
0000013d: JUMPI
0000013e: PUSH2 0x0100
00000141: DUP1
00000142: DUP4
00000143: SLOAD
00000144: DIV
00000145: MUL
00000146: DUP4
00000147: MSTORE
00000148: SWAP2
00000149: PUSH1 0x20
0000014b: ADD
0000014c: SWAP2
0000014d: PUSH2 0x0642
00000150: JUMP
00000151: JUMPDEST
00000152: PUSH2 0x04b9
00000155: PUSH1 0x04
00000157: SLOAD
00000158: DUP2
00000159: JUMP
0000015a: JUMPDEST
0000015b: PUSH1 0x40
0000015d: DUP1
0000015e: MLOAD
0000015f: PUSH1 0x20
00000161: PUSH1 0x04
00000163: DUP1
00000164: CALLDATALOAD
00000165: DUP1
00000166: DUP3
00000167: ADD
00000168: CALLDATALOAD
00000169: PUSH1 0x1f
0000016b: DUP2
0000016c: ADD
0000016d: DUP5
0000016e: SWAP1
0000016f: DIV
00000170: DUP5
00000171: MUL
00000172: DUP6
00000173: ADD
00000174: DUP5
00000175: ADD
00000176: SWAP1
00000177: SWAP6
00000178: MSTORE
00000179: DUP5
0000017a: DUP5
0000017b: MSTORE
0000017c: PUSH2 0x0574
0000017f: SWAP5
00000180: SWAP2
00000181: SWAP4
00000182: PUSH1 0x24
00000184: SWAP4
00000185: SWAP1
00000186: SWAP3
00000187: SWAP2
00000188: DUP5
00000189: ADD
0000018a: SWAP2
0000018b: SWAP1
0000018c: DUP2
0000018d: SWAP1
0000018e: DUP5
0000018f: ADD
00000190: DUP4
00000191: DUP3
00000192: DUP1
00000193: DUP3
00000194: DUP5
00000195: CALLDATACOPY
00000196: POP
00000197: SWAP5
00000198: SWAP7
00000199: POP
0000019a: POP
0000019b: POP
0000019c: POP
0000019d: POP
0000019e: POP
0000019f: POP
000001a0: PUSH1 0x40
000001a2: DUP1
000001a3: MLOAD
000001a4: PUSH1 0x20
000001a6: DUP2
000001a7: ADD
000001a8: SWAP1
000001a9: SWAP2
000001aa: MSTORE
000001ab: PUSH1 0x00
000001ad: DUP2
000001ae: MSTORE
000001af: PUSH7 0x2386f26fc10000
000001b7: CALLVALUE
000001b8: GT
000001b9: PUSH2 0x0925
000001bc: JUMPI
000001bd: PUSH2 0x0002
000001c0: JUMP
000001c1: JUMPDEST
000001c2: PUSH2 0x05e2
000001c5: PUSH1 0x03
000001c7: SLOAD
000001c8: PUSH1 0xff
000001ca: AND
000001cb: DUP2
000001cc: JUMP
000001cd: JUMPDEST
000001ce: PUSH2 0x04b9
000001d1: PUSH1 0x04
000001d3: CALLDATALOAD
000001d4: CALLER
000001d5: PUSH1 0x01
000001d7: PUSH1 0xa0
000001d9: PUSH1 0x02
000001db: EXP
000001dc: SUB
000001dd: AND
000001de: PUSH1 0x00
000001e0: SWAP1
000001e1: DUP2
000001e2: MSTORE
000001e3: PUSH1 0x0a
000001e5: PUSH1 0x20
000001e7: SWAP1
000001e8: DUP2
000001e9: MSTORE
000001ea: PUSH1 0x40
000001ec: DUP1
000001ed: DUP4
000001ee: KECCAK256
000001ef: SLOAD
000001f0: PUSH1 0x0b
000001f2: DUP1
000001f3: SLOAD
000001f4: SWAP1
000001f5: SWAP2
000001f6: ADD
000001f7: SWAP1
000001f8: SSTORE
000001f9: PUSH1 0x0e
000001fb: SWAP1
000001fc: SWAP2
000001fd: MSTORE
000001fe: DUP2
000001ff: KECCAK256
00000200: SLOAD
00000201: DUP2
00000202: SWAP1
00000203: GT
00000204: ISZERO
00000205: PUSH2 0x09fe
00000208: JUMPI
00000209: PUSH2 0x0002
0000020c: JUMP
0000020d: JUMPDEST
0000020e: PUSH2 0x04b9
00000211: PUSH1 0x05
00000213: SLOAD
00000214: DUP2
00000215: JUMP
00000216: JUMPDEST
00000217: PUSH2 0x04b9
0000021a: PUSH1 0x07
0000021c: SLOAD
0000021d: DUP2
0000021e: JUMP
0000021f: JUMPDEST
00000220: PUSH1 0x40
00000222: DUP1
00000223: MLOAD
00000224: PUSH1 0x20
00000226: PUSH1 0x04
00000228: DUP1
00000229: CALLDATALOAD
0000022a: DUP1
0000022b: DUP3
0000022c: ADD
0000022d: CALLDATALOAD
0000022e: PUSH1 0x1f
00000230: DUP2
00000231: ADD
00000232: DUP5
00000233: SWAP1
00000234: DIV
00000235: DUP5
00000236: MUL
00000237: DUP6
00000238: ADD
00000239: DUP5
0000023a: ADD
0000023b: SWAP1
0000023c: SWAP6
0000023d: MSTORE
0000023e: DUP5
0000023f: DUP5
00000240: MSTORE
00000241: PUSH2 0x0574
00000244: SWAP5
00000245: SWAP2
00000246: SWAP4
00000247: PUSH1 0x24
00000249: SWAP4
0000024a: SWAP1
0000024b: SWAP3
0000024c: SWAP2
0000024d: DUP5
0000024e: ADD
0000024f: SWAP2
00000250: SWAP1
00000251: DUP2
00000252: SWAP1
00000253: DUP5
00000254: ADD
00000255: DUP4
00000256: DUP3
00000257: DUP1
00000258: DUP3
00000259: DUP5
0000025a: CALLDATACOPY
0000025b: POP
0000025c: SWAP5
0000025d: SWAP7
0000025e: POP
0000025f: POP
00000260: POP
00000261: POP
00000262: POP
00000263: POP
00000264: POP
00000265: PUSH1 0x40
00000267: DUP1
00000268: MLOAD
00000269: PUSH1 0x20
0000026b: DUP2
0000026c: ADD
0000026d: SWAP1
0000026e: SWAP2
0000026f: MSTORE
00000270: PUSH1 0x00
00000272: DUP1
00000273: DUP3
00000274: MSTORE
00000275: SLOAD
00000276: PUSH1 0x01
00000278: PUSH1 0xa0
0000027a: PUSH1 0x02
0000027c: EXP
0000027d: SUB
0000027e: SWAP1
0000027f: DUP2
00000280: AND
00000281: CALLER
00000282: SWAP1
00000283: SWAP2
00000284: AND
00000285: EQ
00000286: ISZERO
00000287: PUSH2 0x09c4
0000028a: JUMPI
0000028b: PUSH1 0x00
0000028d: PUSH1 0x0b
0000028f: PUSH1 0x00
00000291: POP
00000292: DUP2
00000293: SWAP1
00000294: SSTORE
00000295: POP
00000296: PUSH32 0xb7e05d4fafe9e4f0ac7fb9e914e9fbadbd3c1ef56486ff779b1685adb16fd8d8
000002b7: DUP3
000002b8: PUSH1 0x40
000002ba: MLOAD
000002bb: DUP1
000002bc: DUP1
000002bd: PUSH1 0x20
000002bf: ADD
000002c0: DUP3
000002c1: DUP2
000002c2: SUB
000002c3: DUP3
000002c4: MSTORE
000002c5: DUP4
000002c6: DUP2
000002c7: DUP2
000002c8: MLOAD
000002c9: DUP2
000002ca: MSTORE
000002cb: PUSH1 0x20
000002cd: ADD
000002ce: SWAP2
000002cf: POP
000002d0: DUP1
000002d1: MLOAD
000002d2: SWAP1
000002d3: PUSH1 0x20
000002d5: ADD
000002d6: SWAP1
000002d7: DUP1
000002d8: DUP4
000002d9: DUP4
000002da: DUP3
000002db: SWAP1
000002dc: PUSH1 0x00
000002de: PUSH1 0x04
000002e0: PUSH1 0x20
000002e2: DUP5
000002e3: PUSH1 0x1f
000002e5: ADD
000002e6: DIV
000002e7: PUSH1 0x0f
000002e9: MUL
000002ea: PUSH1 0x03
000002ec: ADD
000002ed: CALL
000002ee: POP
000002ef: SWAP1
000002f0: POP
000002f1: SWAP1
000002f2: DUP2
000002f3: ADD
000002f4: SWAP1
000002f5: PUSH1 0x1f
000002f7: AND
000002f8: DUP1
000002f9: ISZERO
000002fa: PUSH2 0x0317
000002fd: JUMPI
000002fe: DUP1
000002ff: DUP3
00000300: SUB
00000301: DUP1
00000302: MLOAD
00000303: PUSH1 0x01
00000305: DUP4
00000306: PUSH1 0x20
00000308: SUB
00000309: PUSH2 0x0100
0000030c: EXP
0000030d: SUB
0000030e: NOT
0000030f: AND
00000310: DUP2
00000311: MSTORE
00000312: PUSH1 0x20
00000314: ADD
00000315: SWAP2
00000316: POP
00000317: JUMPDEST
00000318: POP
00000319: SWAP3
0000031a: POP
0000031b: POP
0000031c: POP
0000031d: PUSH1 0x40
0000031f: MLOAD
00000320: DUP1
00000321: SWAP2
00000322: SUB
00000323: SWAP1
00000324: LOG1
00000325: POP
00000326: PUSH1 0x40
00000328: DUP1
00000329: MLOAD
0000032a: DUP1
0000032b: DUP3
0000032c: ADD
0000032d: SWAP1
0000032e: SWAP2
0000032f: MSTORE
00000330: PUSH1 0x02
00000332: DUP2
00000333: MSTORE
00000334: PUSH32 0x6f6b000000000000000000000000000000000000000000000000000000000000
00000355: PUSH1 0x20
00000357: DUP3
00000358: ADD
00000359: MSTORE
0000035a: PUSH2 0x09bf
0000035d: JUMP
0000035e: JUMPDEST
0000035f: PUSH2 0x04b9
00000362: JUMPDEST
00000363: PUSH1 0x04
00000365: SLOAD
00000366: PUSH1 0x09
00000368: SLOAD
00000369: PUSH1 0x08
0000036b: SLOAD
0000036c: PUSH1 0x00
0000036e: SWAP3
0000036f: PUSH2 0x2710
00000372: SWAP1
00000373: DUP4
00000374: MUL
00000375: DIV
00000376: SWAP1
00000377: SWAP2
00000378: ADD
00000379: SWAP1
0000037a: DUP2
0000037b: GT
0000037c: ISZERO
0000037d: PUSH2 0x0386
00000380: JUMPI
00000381: PUSH1 0x08
00000383: DUP2
00000384: SWAP1
00000385: SSTORE
00000386: JUMPDEST
00000387: PUSH1 0x04
00000389: SLOAD
0000038a: PUSH1 0x01
0000038c: PUSH1 0xa0
0000038e: PUSH1 0x02
00000390: EXP
00000391: SUB
00000392: ADDRESS
00000393: AND
00000394: DUP1
00000395: BALANCE
00000396: SWAP2
00000397: SWAP1
00000398: SWAP2
00000399: DIV
0000039a: PUSH1 0x07
0000039c: SSTORE
0000039d: BALANCE
0000039e: PUSH1 0x06
000003a0: SSTORE
000003a1: PUSH1 0x08
000003a3: SLOAD
000003a4: SWAP2
000003a5: POP
000003a6: PUSH2 0x04d2
000003a9: JUMP
000003aa: JUMPDEST
000003ab: PUSH2 0x04b9
000003ae: PUSH1 0x04
000003b0: CALLDATALOAD
000003b1: PUSH1 0x0a
000003b3: PUSH1 0x20
000003b5: MSTORE
000003b6: PUSH1 0x00
000003b8: SWAP1
000003b9: DUP2
000003ba: MSTORE
000003bb: PUSH1 0x40
000003bd: SWAP1
000003be: KECCAK256
000003bf: SLOAD
000003c0: DUP2
000003c1: JUMP
000003c2: JUMPDEST
000003c3: PUSH2 0x04b9
000003c6: PUSH1 0x08
000003c8: SLOAD
000003c9: DUP2
000003ca: JUMP
000003cb: JUMPDEST
000003cc: PUSH2 0x05f8
000003cf: PUSH1 0x00
000003d1: SLOAD
000003d2: PUSH1 0x01
000003d4: PUSH1 0xa0
000003d6: PUSH1 0x02
000003d8: EXP
000003d9: SUB
000003da: AND
000003db: DUP2
000003dc: JUMP
000003dd: JUMPDEST
000003de: PUSH1 0x40
000003e0: DUP1
000003e1: MLOAD
000003e2: PUSH1 0x02
000003e4: DUP1
000003e5: SLOAD
000003e6: PUSH1 0x20
000003e8: PUSH1 0x01
000003ea: DUP3
000003eb: AND
000003ec: ISZERO
000003ed: PUSH2 0x0100
000003f0: MUL
000003f1: PUSH1 0x00
000003f3: NOT
000003f4: ADD
000003f5: SWAP1
000003f6: SWAP2
000003f7: AND
000003f8: DUP3
000003f9: SWAP1
000003fa: DIV
000003fb: PUSH1 0x1f
000003fd: DUP2
000003fe: ADD
000003ff: DUP3
00000400: SWAP1
00000401: DIV
00000402: DUP3
00000403: MUL
00000404: DUP5
00000405: ADD
00000406: DUP3
00000407: ADD
00000408: SWAP1
00000409: SWAP5
0000040a: MSTORE
0000040b: DUP4
0000040c: DUP4
0000040d: MSTORE
0000040e: PUSH2 0x0574
00000411: SWAP4
00000412: SWAP1
00000413: DUP4
00000414: ADD
00000415: DUP3
00000416: DUP3
00000417: DUP1
00000418: ISZERO
00000419: PUSH2 0x0642
0000041c: JUMPI
0000041d: DUP1
0000041e: PUSH1 0x1f
00000420: LT
00000421: PUSH2 0x0617
00000424: JUMPI
00000425: PUSH2 0x0100
00000428: DUP1
00000429: DUP4
0000042a: SLOAD
0000042b: DIV
0000042c: MUL
0000042d: DUP4
0000042e: MSTORE
0000042f: SWAP2
00000430: PUSH1 0x20
00000432: ADD
00000433: SWAP2
00000434: PUSH2 0x0642
00000437: JUMP
00000438: JUMPDEST
00000439: PUSH2 0x04b9
0000043c: PUSH1 0x04
0000043e: CALLDATALOAD
0000043f: PUSH1 0x0e
00000441: PUSH1 0x20
00000443: MSTORE
00000444: PUSH1 0x00
00000446: SWAP1
00000447: DUP2
00000448: MSTORE
00000449: PUSH1 0x40
0000044b: SWAP1
0000044c: KECCAK256
0000044d: SLOAD
0000044e: DUP2
0000044f: JUMP
00000450: JUMPDEST
00000451: PUSH2 0x0615
00000454: PUSH1 0x04
00000456: CALLDATALOAD
00000457: PUSH1 0x24
00000459: CALLDATALOAD
0000045a: CALLER
0000045b: PUSH1 0x01
0000045d: PUSH1 0xa0
0000045f: PUSH1 0x02
00000461: EXP
00000462: SUB
00000463: AND
00000464: PUSH1 0x00
00000466: SWAP1
00000467: DUP2
00000468: MSTORE
00000469: PUSH1 0x0a
0000046b: PUSH1 0x20
0000046d: MSTORE
0000046e: PUSH1 0x40
00000470: SWAP1
00000471: KECCAK256
00000472: SLOAD
00000473: DUP2
00000474: SWAP1
00000475: LT
00000476: ISZERO
00000477: PUSH2 0x083f
0000047a: JUMPI
0000047b: PUSH2 0x0002
0000047e: JUMP
0000047f: JUMPDEST
00000480: PUSH2 0x04b9
00000483: PUSH1 0x06
00000485: SLOAD
00000486: DUP2
00000487: JUMP
00000488: JUMPDEST
00000489: PUSH2 0x0615
0000048c: PUSH1 0x04
0000048e: CALLDATALOAD
0000048f: PUSH2 0x0866
00000492: PUSH2 0x0362
00000495: JUMP
00000496: JUMPDEST
00000497: PUSH2 0x04b9
0000049a: PUSH1 0x09
0000049c: SLOAD
0000049d: DUP2
0000049e: JUMP
0000049f: JUMPDEST
000004a0: PUSH2 0x0615
000004a3: PUSH1 0x00
000004a5: DUP1
000004a6: SLOAD
000004a7: PUSH1 0x01
000004a9: PUSH1 0xa0
000004ab: PUSH1 0x02
000004ad: EXP
000004ae: SUB
000004af: AND
000004b0: EQ
000004b1: PUSH2 0x064a
000004b4: JUMPI
000004b5: PUSH2 0x0002
000004b8: JUMP
000004b9: JUMPDEST
000004ba: PUSH1 0x40
000004bc: DUP1
000004bd: MLOAD
000004be: SWAP2
000004bf: DUP3
000004c0: MSTORE
000004c1: MLOAD
000004c2: SWAP1
000004c3: DUP2
000004c4: SWAP1
000004c5: SUB
000004c6: PUSH1 0x20
000004c8: ADD
000004c9: SWAP1
000004ca: RETURN
000004cb: JUMPDEST
000004cc: POP
000004cd: PUSH1 0x08
000004cf: SLOAD
000004d0: SWAP2
000004d1: POP
000004d2: JUMPDEST
000004d3: POP
000004d4: SWAP1
000004d5: JUMP
000004d6: JUMPDEST
000004d7: POP
000004d8: POP
000004d9: PUSH1 0x08
000004db: SLOAD
000004dc: CALLER
000004dd: PUSH1 0x01
000004df: PUSH1 0xa0
000004e1: PUSH1 0x02
000004e3: EXP
000004e4: SUB
000004e5: AND
000004e6: PUSH1 0x00
000004e8: DUP2
000004e9: DUP2
000004ea: MSTORE
000004eb: PUSH1 0x0a
000004ed: PUSH1 0x20
000004ef: SWAP1
000004f0: DUP2
000004f1: MSTORE
000004f2: PUSH1 0x40
000004f4: DUP1
000004f5: DUP4
000004f6: KECCAK256
000004f7: DUP1
000004f8: SLOAD
000004f9: CALLVALUE
000004fa: SWAP7
000004fb: SWAP1
000004fc: SWAP7
000004fd: DIV
000004fe: SWAP6
000004ff: DUP7
00000500: ADD
00000501: SWAP1
00000502: SSTORE
00000503: PUSH1 0x04
00000505: DUP1
00000506: SLOAD
00000507: DUP7
00000508: ADD
00000509: SWAP1
0000050a: SSTORE
0000050b: PUSH1 0x05
0000050d: DUP1
0000050e: SLOAD
0000050f: DUP7
00000510: ADD
00000511: SWAP1
00000512: SSTORE
00000513: DUP1
00000514: MLOAD
00000515: DUP6
00000516: DUP2
00000517: MSTORE
00000518: SWAP1
00000519: MLOAD
0000051a: PUSH32 0xddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef
0000053b: SWAP3
0000053c: SWAP2
0000053d: DUP2
0000053e: SWAP1
0000053f: SUB
00000540: SWAP1
00000541: SWAP2
00000542: ADD
00000543: SWAP1
00000544: LOG3
00000545: PUSH1 0x00
00000547: DUP1
00000548: SLOAD
00000549: PUSH1 0x40
0000054b: MLOAD
0000054c: PUSH1 0x01
0000054e: PUSH1 0xa0
00000550: PUSH1 0x02
00000552: EXP
00000553: SUB
00000554: SWAP2
00000555: SWAP1
00000556: SWAP2
00000557: AND
00000558: SWAP2
00000559: SWAP1
0000055a: PUSH1 0x02
0000055c: CALLVALUE
0000055d: DIV
0000055e: SWAP1
0000055f: DUP3
00000560: DUP2
00000561: DUP2
00000562: DUP2
00000563: DUP6
00000564: DUP9
00000565: DUP4
00000566: CALL
00000567: SWAP4
00000568: POP
00000569: POP
0000056a: POP
0000056b: POP
0000056c: POP
0000056d: PUSH2 0x04cb
00000570: PUSH2 0x0362
00000573: JUMP
00000574: JUMPDEST
00000575: PUSH1 0x40
00000577: MLOAD
00000578: DUP1
00000579: DUP1
0000057a: PUSH1 0x20
0000057c: ADD
0000057d: DUP3
0000057e: DUP2
0000057f: SUB
00000580: DUP3
00000581: MSTORE
00000582: DUP4
00000583: DUP2
00000584: DUP2
00000585: MLOAD
00000586: DUP2
00000587: MSTORE
00000588: PUSH1 0x20
0000058a: ADD
0000058b: SWAP2
0000058c: POP
0000058d: DUP1
0000058e: MLOAD
0000058f: SWAP1
00000590: PUSH1 0x20
00000592: ADD
00000593: SWAP1
00000594: DUP1
00000595: DUP4
00000596: DUP4
00000597: DUP3
00000598: SWAP1
00000599: PUSH1 0x00
0000059b: PUSH1 0x04
0000059d: PUSH1 0x20
0000059f: DUP5
000005a0: PUSH1 0x1f
000005a2: ADD
000005a3: DIV
000005a4: PUSH1 0x0f
000005a6: MUL
000005a7: PUSH1 0x03
000005a9: ADD
000005aa: CALL
000005ab: POP
000005ac: SWAP1
000005ad: POP
000005ae: SWAP1
000005af: DUP2
000005b0: ADD
000005b1: SWAP1
000005b2: PUSH1 0x1f
000005b4: AND
000005b5: DUP1
000005b6: ISZERO
000005b7: PUSH2 0x05d4
000005ba: JUMPI
000005bb: DUP1
000005bc: DUP3
000005bd: SUB
000005be: DUP1
000005bf: MLOAD
000005c0: PUSH1 0x01
000005c2: DUP4
000005c3: PUSH1 0x20
000005c5: SUB
000005c6: PUSH2 0x0100
000005c9: EXP
000005ca: SUB
000005cb: NOT
000005cc: AND
000005cd: DUP2
000005ce: MSTORE
000005cf: PUSH1 0x20
000005d1: ADD
000005d2: SWAP2
000005d3: POP
000005d4: JUMPDEST
000005d5: POP
000005d6: SWAP3
000005d7: POP
000005d8: POP
000005d9: POP
000005da: PUSH1 0x40
000005dc: MLOAD
000005dd: DUP1
000005de: SWAP2
000005df: SUB
000005e0: SWAP1
000005e1: RETURN
000005e2: JUMPDEST
000005e3: PUSH1 0x40
000005e5: DUP1
000005e6: MLOAD
000005e7: PUSH1 0xff
000005e9: SWAP1
000005ea: SWAP3
000005eb: AND
000005ec: DUP3
000005ed: MSTORE
000005ee: MLOAD
000005ef: SWAP1
000005f0: DUP2
000005f1: SWAP1
000005f2: SUB
000005f3: PUSH1 0x20
000005f5: ADD
000005f6: SWAP1
000005f7: RETURN
000005f8: JUMPDEST
000005f9: PUSH1 0x40
000005fb: DUP1
000005fc: MLOAD
000005fd: PUSH1 0x01
000005ff: PUSH1 0xa0
00000601: PUSH1 0x02
00000603: EXP
00000604: SUB
00000605: SWAP3
00000606: SWAP1
00000607: SWAP3
00000608: AND
00000609: DUP3
0000060a: MSTORE
0000060b: MLOAD
0000060c: SWAP1
0000060d: DUP2
0000060e: SWAP1
0000060f: SUB
00000610: PUSH1 0x20
00000612: ADD
00000613: SWAP1
00000614: RETURN
00000615: JUMPDEST
00000616: STOP
00000617: JUMPDEST
00000618: DUP3
00000619: ADD
0000061a: SWAP2
0000061b: SWAP1
0000061c: PUSH1 0x00
0000061e: MSTORE
0000061f: PUSH1 0x20
00000621: PUSH1 0x00
00000623: KECCAK256
00000624: SWAP1
00000625: JUMPDEST
00000626: DUP2
00000627: SLOAD
00000628: DUP2
00000629: MSTORE
0000062a: SWAP1
0000062b: PUSH1 0x01
0000062d: ADD
0000062e: SWAP1
0000062f: PUSH1 0x20
00000631: ADD
00000632: DUP1
00000633: DUP4
00000634: GT
00000635: PUSH2 0x0625
00000638: JUMPI
00000639: DUP3
0000063a: SWAP1
0000063b: SUB
0000063c: PUSH1 0x1f
0000063e: AND
0000063f: DUP3
00000640: ADD
00000641: SWAP2
00000642: JUMPDEST
00000643: POP
00000644: POP
00000645: POP
00000646: POP
00000647: POP
00000648: DUP2
00000649: JUMP
0000064a: JUMPDEST
0000064b: CALLER
0000064c: PUSH1 0x01
0000064e: PUSH1 0xa0
00000650: PUSH1 0x02
00000652: EXP
00000653: SUB
00000654: AND
00000655: PUSH1 0x00
00000657: SWAP1
00000658: DUP2
00000659: MSTORE
0000065a: PUSH1 0x0a
0000065c: PUSH1 0x20
0000065e: SWAP1
0000065f: DUP2
00000660: MSTORE
00000661: PUSH1 0x40
00000663: DUP1
00000664: DUP4
00000665: KECCAK256
00000666: DUP4
00000667: SWAP1
00000668: SSTORE
00000669: PUSH1 0x04
0000066b: DUP4
0000066c: SWAP1
0000066d: SSTORE
0000066e: DUP1
0000066f: MLOAD
00000670: DUP1
00000671: DUP3
00000672: ADD
00000673: SWAP1
00000674: SWAP2
00000675: MSTORE
00000676: PUSH1 0x0d
00000678: DUP2
00000679: MSTORE
0000067a: PUSH32 0x6e6f786f6e66756e642e636f6d00000000000000000000000000000000000000
0000069b: SWAP1
0000069c: DUP3
0000069d: ADD
0000069e: SWAP1
0000069f: DUP2
000006a0: MSTORE
000006a1: PUSH1 0x01
000006a3: DUP1
000006a4: SLOAD
000006a5: SWAP4
000006a6: DUP2
000006a7: SWAP1
000006a8: MSTORE
000006a9: SWAP1
000006aa: MLOAD
000006ab: PUSH1 0xff
000006ad: NOT
000006ae: AND
000006af: PUSH1 0x1a
000006b1: OR
000006b2: DUP2
000006b3: SSTORE
000006b4: SWAP2
000006b5: PUSH2 0x070b
000006b8: SWAP2
000006b9: PUSH1 0x02
000006bb: DUP3
000006bc: DUP6
000006bd: AND
000006be: ISZERO
000006bf: PUSH2 0x0100
000006c2: MUL
000006c3: PUSH1 0x00
000006c5: NOT
000006c6: ADD
000006c7: SWAP1
000006c8: SWAP3
000006c9: AND
000006ca: SWAP2
000006cb: SWAP1
000006cc: SWAP2
000006cd: DIV
000006ce: PUSH1 0x1f
000006d0: ADD
000006d1: DIV
000006d2: PUSH32 0xb10e2d527612073b26eecdfd717e6a320cf44b4afac2b0732d9fcbe2b7fa0cf6
000006f3: SWAP1
000006f4: DUP2
000006f5: ADD
000006f6: SWAP1
000006f7: JUMPDEST
000006f8: DUP1
000006f9: DUP3
000006fa: GT
000006fb: ISZERO
000006fc: PUSH2 0x04d2
000006ff: JUMPI
00000700: PUSH1 0x00
00000702: DUP2
00000703: SSTORE
00000704: PUSH1 0x01
00000706: ADD
00000707: PUSH2 0x06f7
0000070a: JUMP
0000070b: JUMPDEST
0000070c: POP
0000070d: POP
0000070e: PUSH1 0x40
00000710: DUP1
00000711: MLOAD
00000712: DUP1
00000713: DUP3
00000714: ADD
00000715: SWAP1
00000716: SWAP2
00000717: MSTORE
00000718: PUSH1 0x0a
0000071a: DUP2
0000071b: MSTORE
0000071c: PUSH32 0xf09f8c8020534841524500000000000000000000000000000000000000000000
0000073d: PUSH1 0x20
0000073f: SWAP2
00000740: DUP3
00000741: ADD
00000742: SWAP1
00000743: DUP2
00000744: MSTORE
00000745: PUSH1 0x02
00000747: DUP1
00000748: SLOAD
00000749: PUSH1 0x00
0000074b: DUP3
0000074c: SWAP1
0000074d: MSTORE
0000074e: SWAP2
0000074f: MLOAD
00000750: PUSH1 0xff
00000752: NOT
00000753: AND
00000754: PUSH1 0x14
00000756: OR
00000757: DUP2
00000758: SSTORE
00000759: SWAP2
0000075a: PUSH2 0x079c
0000075d: SWAP2
0000075e: PUSH1 0x01
00000760: DUP2
00000761: AND
00000762: ISZERO
00000763: PUSH2 0x0100
00000766: MUL
00000767: PUSH1 0x00
00000769: NOT
0000076a: ADD
0000076b: AND
0000076c: DUP4
0000076d: SWAP1
0000076e: DIV
0000076f: PUSH1 0x1f
00000771: ADD
00000772: DIV
00000773: PUSH32 0x405787fa12a823e0f2b7631cc41b3ba8828b3321ca811111fa75cd3aa3bb5ace
00000794: SWAP1
00000795: DUP2
00000796: ADD
00000797: SWAP1
00000798: PUSH2 0x06f7
0000079b: JUMP
0000079c: JUMPDEST
0000079d: POP
0000079e: POP
0000079f: PUSH1 0x03
000007a1: DUP1
000007a2: SLOAD
000007a3: PUSH1 0xff
000007a5: NOT
000007a6: AND
000007a7: SWAP1
000007a8: SSTORE
000007a9: PUSH1 0x00
000007ab: DUP1
000007ac: SLOAD
000007ad: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000007c2: NOT
000007c3: AND
000007c4: CALLER
000007c5: OR
000007c6: SWAP1
000007c7: SSTORE
000007c8: PUSH2 0x07cf
000007cb: PUSH2 0x0362
000007ce: JUMP
000007cf: JUMPDEST
000007d0: POP
000007d1: JUMP
000007d2: JUMPDEST
000007d3: CALLER
000007d4: PUSH1 0x01
000007d6: PUSH1 0xa0
000007d8: PUSH1 0x02
000007da: EXP
000007db: SUB
000007dc: SWAP1
000007dd: DUP2
000007de: AND
000007df: PUSH1 0x00
000007e1: DUP2
000007e2: DUP2
000007e3: MSTORE
000007e4: PUSH1 0x0a
000007e6: PUSH1 0x20
000007e8: SWAP1
000007e9: DUP2
000007ea: MSTORE
000007eb: PUSH1 0x40
000007ed: DUP1
000007ee: DUP4
000007ef: KECCAK256
000007f0: DUP1
000007f1: SLOAD
000007f2: DUP8
000007f3: SWAP1
000007f4: SUB
000007f5: SWAP1
000007f6: SSTORE
000007f7: SWAP4
000007f8: DUP7
000007f9: AND
000007fa: DUP1
000007fb: DUP4
000007fc: MSTORE
000007fd: SWAP2
000007fe: DUP5
000007ff: SWAP1
00000800: KECCAK256
00000801: DUP1
00000802: SLOAD
00000803: DUP7
00000804: ADD
00000805: SWAP1
00000806: SSTORE
00000807: DUP4
00000808: MLOAD
00000809: DUP6
0000080a: DUP2
0000080b: MSTORE
0000080c: SWAP4
0000080d: MLOAD
0000080e: SWAP2
0000080f: SWAP4
00000810: PUSH32 0xddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef
00000831: SWAP3
00000832: SWAP1
00000833: DUP2
00000834: SWAP1
00000835: SUB
00000836: SWAP1
00000837: SWAP2
00000838: ADD
00000839: SWAP1
0000083a: LOG3
0000083b: JUMPDEST
0000083c: POP
0000083d: POP
0000083e: JUMP
0000083f: JUMPDEST
00000840: PUSH1 0x01
00000842: PUSH1 0xa0
00000844: PUSH1 0x02
00000846: EXP
00000847: SUB
00000848: DUP3
00000849: AND
0000084a: PUSH1 0x00
0000084c: SWAP1
0000084d: DUP2
0000084e: MSTORE
0000084f: PUSH1 0x0a
00000851: PUSH1 0x20
00000853: MSTORE
00000854: PUSH1 0x40
00000856: SWAP1
00000857: KECCAK256
00000858: SLOAD
00000859: DUP1
0000085a: DUP3
0000085b: ADD
0000085c: LT
0000085d: ISZERO
0000085e: PUSH2 0x07d2
00000861: JUMPI
00000862: PUSH2 0x0002
00000865: JUMP
00000866: JUMPDEST
00000867: POP
00000868: CALLER
00000869: PUSH1 0x01
0000086b: PUSH1 0xa0
0000086d: PUSH1 0x02
0000086f: EXP
00000870: SUB
00000871: AND
00000872: PUSH1 0x00
00000874: SWAP1
00000875: DUP2
00000876: MSTORE
00000877: PUSH1 0x0a
00000879: PUSH1 0x20
0000087b: MSTORE
0000087c: PUSH1 0x40
0000087e: SWAP1
0000087f: KECCAK256
00000880: SLOAD
00000881: DUP2
00000882: SWAP1
00000883: LT
00000884: ISZERO
00000885: PUSH2 0x088d
00000888: JUMPI
00000889: PUSH2 0x0002
0000088c: JUMP
0000088d: JUMPDEST
0000088e: ADDRESS
0000088f: PUSH1 0x01
00000891: PUSH1 0xa0
00000893: PUSH1 0x02
00000895: EXP
00000896: SUB
00000897: AND
00000898: CALLER
00000899: PUSH1 0x01
0000089b: PUSH1 0xa0
0000089d: PUSH1 0x02
0000089f: EXP
000008a0: SUB
000008a1: AND
000008a2: PUSH32 0xddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef
000008c3: DUP4
000008c4: PUSH1 0x40
000008c6: MLOAD
000008c7: DUP1
000008c8: DUP3
000008c9: DUP2
000008ca: MSTORE
000008cb: PUSH1 0x20
000008cd: ADD
000008ce: SWAP2
000008cf: POP
000008d0: POP
000008d1: PUSH1 0x40
000008d3: MLOAD
000008d4: DUP1
000008d5: SWAP2
000008d6: SUB
000008d7: SWAP1
000008d8: LOG3
000008d9: PUSH1 0x04
000008db: DUP1
000008dc: SLOAD
000008dd: PUSH1 0x40
000008df: DUP1
000008e0: MLOAD
000008e1: SWAP2
000008e2: DUP5
000008e3: SWAP1
000008e4: SUB
000008e5: SWAP1
000008e6: SWAP3
000008e7: SSTORE
000008e8: CALLER
000008e9: PUSH1 0x01
000008eb: PUSH1 0xa0
000008ed: PUSH1 0x02
000008ef: EXP
000008f0: SUB
000008f1: AND
000008f2: PUSH1 0x00
000008f4: DUP2
000008f5: DUP2
000008f6: MSTORE
000008f7: PUSH1 0x0a
000008f9: PUSH1 0x20
000008fb: MSTORE
000008fc: SWAP3
000008fd: DUP4
000008fe: KECCAK256
000008ff: DUP1
00000900: SLOAD
00000901: DUP6
00000902: SWAP1
00000903: SUB
00000904: SWAP1
00000905: SSTORE
00000906: PUSH1 0x07
00000908: SLOAD
00000909: SWAP1
0000090a: SWAP3
0000090b: SWAP2
0000090c: SWAP1
0000090d: DUP5
0000090e: MUL
0000090f: SWAP1
00000910: DUP3
00000911: DUP2
00000912: DUP2
00000913: DUP2
00000914: DUP6
00000915: DUP9
00000916: DUP4
00000917: CALL
00000918: SWAP4
00000919: POP
0000091a: POP
0000091b: POP
0000091c: POP
0000091d: POP
0000091e: PUSH2 0x083b
00000921: PUSH2 0x0362
00000924: JUMP
00000925: JUMPDEST
00000926: PUSH32 0xdd585e7b910c0f60ca245afc864bde0407e07a5a2521d3b3d47ef1bb8c2f9b0f
00000947: CALLVALUE
00000948: DUP4
00000949: PUSH1 0x40
0000094b: MLOAD
0000094c: DUP1
0000094d: DUP4
0000094e: DUP2
0000094f: MSTORE
00000950: PUSH1 0x20
00000952: ADD
00000953: DUP1
00000954: PUSH1 0x20
00000956: ADD
00000957: DUP3
00000958: DUP2
00000959: SUB
0000095a: DUP3
0000095b: MSTORE
0000095c: DUP4
0000095d: DUP2
0000095e: DUP2
0000095f: MLOAD
00000960: DUP2
00000961: MSTORE
00000962: PUSH1 0x20
00000964: ADD
00000965: SWAP2
00000966: POP
00000967: DUP1
00000968: MLOAD
00000969: SWAP1
0000096a: PUSH1 0x20
0000096c: ADD
0000096d: SWAP1
0000096e: DUP1
0000096f: DUP4
00000970: DUP4
00000971: DUP3
00000972: SWAP1
00000973: PUSH1 0x00
00000975: PUSH1 0x04
00000977: PUSH1 0x20
00000979: DUP5
0000097a: PUSH1 0x1f
0000097c: ADD
0000097d: DIV
0000097e: PUSH1 0x0f
00000980: MUL
00000981: PUSH1 0x03
00000983: ADD
00000984: CALL
00000985: POP
00000986: SWAP1
00000987: POP
00000988: SWAP1
00000989: DUP2
0000098a: ADD
0000098b: SWAP1
0000098c: PUSH1 0x1f
0000098e: AND
0000098f: DUP1
00000990: ISZERO
00000991: PUSH2 0x09ae
00000994: JUMPI
00000995: DUP1
00000996: DUP3
00000997: SUB
00000998: DUP1
00000999: MLOAD
0000099a: PUSH1 0x01
0000099c: DUP4
0000099d: PUSH1 0x20
0000099f: SUB
000009a0: PUSH2 0x0100
000009a3: EXP
000009a4: SUB
000009a5: NOT
000009a6: AND
000009a7: DUP2
000009a8: MSTORE
000009a9: PUSH1 0x20
000009ab: ADD
000009ac: SWAP2
000009ad: POP
000009ae: JUMPDEST
000009af: POP
000009b0: SWAP4
000009b1: POP
000009b2: POP
000009b3: POP
000009b4: POP
000009b5: PUSH1 0x40
000009b7: MLOAD
000009b8: DUP1
000009b9: SWAP2
000009ba: SUB
000009bb: SWAP1
000009bc: LOG1
000009bd: POP
000009be: DUP1
000009bf: JUMPDEST
000009c0: SWAP2
000009c1: SWAP1
000009c2: POP
000009c3: JUMP
000009c4: JUMPDEST
000009c5: POP
000009c6: PUSH1 0x40
000009c8: DUP1
000009c9: MLOAD
000009ca: DUP1
000009cb: DUP3
000009cc: ADD
000009cd: SWAP1
000009ce: SWAP2
000009cf: MSTORE
000009d0: PUSH1 0x16
000009d2: DUP2
000009d3: MSTORE
000009d4: PUSH32 0x4f6e6c792061646d696e2063616e20646f207468697300000000000000000000
000009f5: PUSH1 0x20
000009f7: DUP3
000009f8: ADD
000009f9: MSTORE
000009fa: PUSH2 0x09bf
000009fd: JUMP
000009fe: JUMPDEST
000009ff: CALLER
00000a00: PUSH1 0x01
00000a02: PUSH1 0xa0
00000a04: PUSH1 0x02
00000a06: EXP
00000a07: SUB
00000a08: AND
00000a09: PUSH1 0x00
00000a0b: DUP2
00000a0c: DUP2
00000a0d: MSTORE
00000a0e: PUSH1 0x0e
00000a10: PUSH1 0x20
00000a12: SWAP1
00000a13: DUP2
00000a14: MSTORE
00000a15: PUSH1 0x40
00000a17: DUP1
00000a18: DUP4
00000a19: KECCAK256
00000a1a: DUP1
00000a1b: SLOAD
00000a1c: PUSH1 0x01
00000a1e: ADD
00000a1f: SWAP1
00000a20: SSTORE
00000a21: PUSH1 0x0a
00000a23: DUP3
00000a24: MSTORE
00000a25: SWAP2
00000a26: DUP3
00000a27: SWAP1
00000a28: KECCAK256
00000a29: SLOAD
00000a2a: DUP3
00000a2b: MLOAD
00000a2c: DUP7
00000a2d: DUP2
00000a2e: MSTORE
00000a2f: SWAP2
00000a30: DUP3
00000a31: ADD
00000a32: SWAP4
00000a33: SWAP1
00000a34: SWAP4
00000a35: MSTORE
00000a36: DUP1
00000a37: DUP3
00000a38: ADD
00000a39: SWAP3
00000a3a: SWAP1
00000a3b: SWAP3
00000a3c: MSTORE
00000a3d: MLOAD
00000a3e: PUSH32 0x87c19bcb6d6107a628e895e6d3c7e270cd03fe3389bf78638c5d9f50f050f5c5
00000a5f: SWAP2
00000a60: DUP2
00000a61: SWAP1
00000a62: SUB
00000a63: PUSH1 0x60
00000a65: ADD
00000a66: SWAP1
00000a67: LOG1
00000a68: POP
00000a69: PUSH1 0x0b
00000a6b: SLOAD
00000a6c: PUSH2 0x09bf
00000a6f: JUMP

Warning: This is a nightly build of Foundry. It is recommended to use the latest stable version. To mute this warning set `FOUNDRY_DISABLE_NIGHTLY_WARNING` in your environment.