Analysis Run

OpenAI Codex v0.118.0 (research preview)
--------
workdir: /tmp/codex-8virqhdw
model: gpt-5.4
provider: openai
approval: never
sandbox: read-only
reasoning effort: high
reasoning summaries: none
session id: 019d5ca3-23b5-75d0-8cc0-53e67b73517f
--------
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:50.209672+00:00",
        "returncode": 1
    },
    "project": {
        "mode": "bytecode",
        "bytecode_length": 5218,
        "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 0x00da
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 0x017b
0000001e: JUMPI
0000001f: DUP1
00000020: PUSH4 0x18160ddd
00000025: EQ
00000026: PUSH2 0x01d8
00000029: JUMPI
0000002a: DUP1
0000002b: PUSH4 0x1d71a1cd
00000030: EQ
00000031: PUSH2 0x01e1
00000034: JUMPI
00000035: DUP1
00000036: PUSH4 0x313ce567
0000003b: EQ
0000003c: PUSH2 0x0248
0000003f: JUMPI
00000040: DUP1
00000041: PUSH4 0x3b46a7df
00000046: EQ
00000047: PUSH2 0x0254
0000004a: JUMPI
0000004b: DUP1
0000004c: PUSH4 0x40c48dfa
00000051: EQ
00000052: PUSH2 0x0294
00000055: JUMPI
00000056: DUP1
00000057: PUSH4 0x4b750334
0000005c: EQ
0000005d: PUSH2 0x029d
00000060: JUMPI
00000061: DUP1
00000062: PUSH4 0x4f24186a
00000067: EQ
00000068: PUSH2 0x02a6
0000006b: JUMPI
0000006c: DUP1
0000006d: PUSH4 0x5e983d08
00000072: EQ
00000073: PUSH2 0x03e6
00000076: JUMPI
00000077: DUP1
00000078: PUSH4 0x70a08231
0000007d: EQ
0000007e: PUSH2 0x040c
00000081: JUMPI
00000082: DUP1
00000083: PUSH4 0x8620410b
00000088: EQ
00000089: PUSH2 0x0424
0000008c: JUMPI
0000008d: DUP1
0000008e: PUSH4 0x8da5cb5b
00000093: EQ
00000094: PUSH2 0x042d
00000097: JUMPI
00000098: DUP1
00000099: PUSH4 0x95d89b41
0000009e: EQ
0000009f: PUSH2 0x043f
000000a2: JUMPI
000000a3: DUP1
000000a4: PUSH4 0xa3ec138d
000000a9: EQ
000000aa: PUSH2 0x049a
000000ad: JUMPI
000000ae: DUP1
000000af: PUSH4 0xa9059cbb
000000b4: EQ
000000b5: PUSH2 0x04b2
000000b8: JUMPI
000000b9: DUP1
000000ba: PUSH4 0xd9c7041b
000000bf: EQ
000000c0: PUSH2 0x04e1
000000c3: JUMPI
000000c4: DUP1
000000c5: PUSH4 0xe4849b32
000000ca: EQ
000000cb: PUSH2 0x04ea
000000ce: JUMPI
000000cf: DUP1
000000d0: PUSH4 0xfc0c546a
000000d5: EQ
000000d6: PUSH2 0x04f8
000000d9: JUMPI
000000da: JUMPDEST
000000db: PUSH2 0x0512
000000de: PUSH1 0x08
000000e0: SLOAD
000000e1: PUSH1 0x01
000000e3: PUSH1 0xa0
000000e5: PUSH1 0x02
000000e7: EXP
000000e8: SUB
000000e9: CALLER
000000ea: AND
000000eb: PUSH1 0x00
000000ed: DUP2
000000ee: DUP2
000000ef: MSTORE
000000f0: PUSH1 0x09
000000f2: PUSH1 0x20
000000f4: SWAP1
000000f5: DUP2
000000f6: MSTORE
000000f7: PUSH1 0x40
000000f9: DUP1
000000fa: DUP4
000000fb: KECCAK256
000000fc: DUP1
000000fd: SLOAD
000000fe: CALLVALUE
000000ff: SWAP7
00000100: SWAP1
00000101: SWAP7
00000102: DIV
00000103: SWAP6
00000104: DUP7
00000105: ADD
00000106: SWAP1
00000107: SSTORE
00000108: PUSH1 0x04
0000010a: DUP1
0000010b: SLOAD
0000010c: DUP7
0000010d: ADD
0000010e: SWAP1
0000010f: SSTORE
00000110: PUSH1 0x05
00000112: DUP1
00000113: SLOAD
00000114: DUP7
00000115: ADD
00000116: SWAP1
00000117: SSTORE
00000118: DUP1
00000119: MLOAD
0000011a: DUP6
0000011b: DUP2
0000011c: MSTORE
0000011d: SWAP1
0000011e: MLOAD
0000011f: SWAP3
00000120: SWAP5
00000121: SWAP4
00000122: SWAP3
00000123: DUP6
00000124: SWAP3
00000125: PUSH32 0xddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef
00000146: SWAP3
00000147: DUP3
00000148: SWAP1
00000149: SUB
0000014a: ADD
0000014b: SWAP1
0000014c: LOG3
0000014d: DUP2
0000014e: SLOAD
0000014f: PUSH1 0x40
00000151: MLOAD
00000152: PUSH1 0x01
00000154: PUSH1 0xa0
00000156: PUSH1 0x02
00000158: EXP
00000159: SUB
0000015a: SWAP2
0000015b: SWAP1
0000015c: SWAP2
0000015d: AND
0000015e: SWAP1
0000015f: DUP4
00000160: SWAP1
00000161: PUSH1 0x02
00000163: CALLVALUE
00000164: DIV
00000165: SWAP1
00000166: DUP3
00000167: DUP2
00000168: DUP2
00000169: DUP2
0000016a: DUP6
0000016b: DUP9
0000016c: DUP4
0000016d: CALL
0000016e: SWAP4
0000016f: POP
00000170: POP
00000171: POP
00000172: POP
00000173: POP
00000174: PUSH2 0x0524
00000177: PUSH2 0x03ea
0000017a: JUMP
0000017b: JUMPDEST
0000017c: PUSH1 0x40
0000017e: DUP1
0000017f: MLOAD
00000180: PUSH1 0x01
00000182: DUP1
00000183: SLOAD
00000184: PUSH1 0x20
00000186: PUSH1 0x02
00000188: DUP3
00000189: DUP5
0000018a: AND
0000018b: ISZERO
0000018c: PUSH2 0x0100
0000018f: MUL
00000190: PUSH1 0x00
00000192: NOT
00000193: ADD
00000194: SWAP1
00000195: SWAP3
00000196: AND
00000197: SWAP2
00000198: SWAP1
00000199: SWAP2
0000019a: DIV
0000019b: PUSH1 0x1f
0000019d: DUP2
0000019e: ADD
0000019f: DUP3
000001a0: SWAP1
000001a1: DIV
000001a2: DUP3
000001a3: MUL
000001a4: DUP5
000001a5: ADD
000001a6: DUP3
000001a7: ADD
000001a8: SWAP1
000001a9: SWAP5
000001aa: MSTORE
000001ab: DUP4
000001ac: DUP4
000001ad: MSTORE
000001ae: PUSH2 0x052e
000001b1: SWAP4
000001b2: SWAP1
000001b3: DUP4
000001b4: ADD
000001b5: DUP3
000001b6: DUP3
000001b7: DUP1
000001b8: ISZERO
000001b9: PUSH2 0x05fc
000001bc: JUMPI
000001bd: DUP1
000001be: PUSH1 0x1f
000001c0: LT
000001c1: PUSH2 0x05d1
000001c4: JUMPI
000001c5: PUSH2 0x0100
000001c8: DUP1
000001c9: DUP4
000001ca: SLOAD
000001cb: DIV
000001cc: MUL
000001cd: DUP4
000001ce: MSTORE
000001cf: SWAP2
000001d0: PUSH1 0x20
000001d2: ADD
000001d3: SWAP2
000001d4: PUSH2 0x05fc
000001d7: JUMP
000001d8: JUMPDEST
000001d9: PUSH2 0x0512
000001dc: PUSH1 0x04
000001de: SLOAD
000001df: DUP2
000001e0: JUMP
000001e1: JUMPDEST
000001e2: PUSH1 0x40
000001e4: DUP1
000001e5: MLOAD
000001e6: PUSH1 0x20
000001e8: PUSH1 0x04
000001ea: DUP1
000001eb: CALLDATALOAD
000001ec: DUP1
000001ed: DUP3
000001ee: ADD
000001ef: CALLDATALOAD
000001f0: PUSH1 0x1f
000001f2: DUP2
000001f3: ADD
000001f4: DUP5
000001f5: SWAP1
000001f6: DIV
000001f7: DUP5
000001f8: MUL
000001f9: DUP6
000001fa: ADD
000001fb: DUP5
000001fc: ADD
000001fd: SWAP1
000001fe: SWAP6
000001ff: MSTORE
00000200: DUP5
00000201: DUP5
00000202: MSTORE
00000203: PUSH2 0x052e
00000206: SWAP5
00000207: SWAP2
00000208: SWAP4
00000209: PUSH1 0x24
0000020b: SWAP4
0000020c: SWAP1
0000020d: SWAP3
0000020e: SWAP2
0000020f: DUP5
00000210: ADD
00000211: SWAP2
00000212: SWAP1
00000213: DUP2
00000214: SWAP1
00000215: DUP5
00000216: ADD
00000217: DUP4
00000218: DUP3
00000219: DUP1
0000021a: DUP3
0000021b: DUP5
0000021c: CALLDATACOPY
0000021d: POP
0000021e: SWAP5
0000021f: SWAP7
00000220: POP
00000221: POP
00000222: POP
00000223: POP
00000224: POP
00000225: POP
00000226: POP
00000227: PUSH1 0x40
00000229: DUP1
0000022a: MLOAD
0000022b: PUSH1 0x20
0000022d: DUP2
0000022e: ADD
0000022f: SWAP1
00000230: SWAP2
00000231: MSTORE
00000232: PUSH1 0x00
00000234: DUP2
00000235: MSTORE
00000236: PUSH7 0x2386f26fc10000
0000023e: CALLVALUE
0000023f: GT
00000240: PUSH2 0x08e5
00000243: JUMPI
00000244: PUSH2 0x0002
00000247: JUMP
00000248: JUMPDEST
00000249: PUSH2 0x059c
0000024c: PUSH1 0x03
0000024e: SLOAD
0000024f: PUSH1 0xff
00000251: AND
00000252: DUP2
00000253: JUMP
00000254: JUMPDEST
00000255: PUSH2 0x0512
00000258: PUSH1 0x04
0000025a: CALLDATALOAD
0000025b: PUSH1 0x01
0000025d: PUSH1 0xa0
0000025f: PUSH1 0x02
00000261: EXP
00000262: SUB
00000263: CALLER
00000264: AND
00000265: PUSH1 0x00
00000267: SWAP1
00000268: DUP2
00000269: MSTORE
0000026a: PUSH1 0x09
0000026c: PUSH1 0x20
0000026e: SWAP1
0000026f: DUP2
00000270: MSTORE
00000271: PUSH1 0x40
00000273: DUP1
00000274: DUP4
00000275: KECCAK256
00000276: SLOAD
00000277: PUSH1 0x0a
00000279: DUP1
0000027a: SLOAD
0000027b: SWAP1
0000027c: SWAP2
0000027d: ADD
0000027e: SWAP1
0000027f: SSTORE
00000280: PUSH1 0x0d
00000282: SWAP1
00000283: SWAP2
00000284: MSTORE
00000285: DUP2
00000286: KECCAK256
00000287: SLOAD
00000288: DUP2
00000289: SWAP1
0000028a: GT
0000028b: ISZERO
0000028c: PUSH2 0x09be
0000028f: JUMPI
00000290: PUSH2 0x0002
00000293: JUMP
00000294: JUMPDEST
00000295: PUSH2 0x0512
00000298: PUSH1 0x05
0000029a: SLOAD
0000029b: DUP2
0000029c: JUMP
0000029d: JUMPDEST
0000029e: PUSH2 0x0512
000002a1: PUSH1 0x07
000002a3: SLOAD
000002a4: DUP2
000002a5: JUMP
000002a6: JUMPDEST
000002a7: PUSH1 0x40
000002a9: DUP1
000002aa: MLOAD
000002ab: PUSH1 0x20
000002ad: PUSH1 0x04
000002af: DUP1
000002b0: CALLDATALOAD
000002b1: DUP1
000002b2: DUP3
000002b3: ADD
000002b4: CALLDATALOAD
000002b5: PUSH1 0x1f
000002b7: DUP2
000002b8: ADD
000002b9: DUP5
000002ba: SWAP1
000002bb: DIV
000002bc: DUP5
000002bd: MUL
000002be: DUP6
000002bf: ADD
000002c0: DUP5
000002c1: ADD
000002c2: SWAP1
000002c3: SWAP6
000002c4: MSTORE
000002c5: DUP5
000002c6: DUP5
000002c7: MSTORE
000002c8: PUSH2 0x052e
000002cb: SWAP5
000002cc: SWAP2
000002cd: SWAP4
000002ce: PUSH1 0x24
000002d0: SWAP4
000002d1: SWAP1
000002d2: SWAP3
000002d3: SWAP2
000002d4: DUP5
000002d5: ADD
000002d6: SWAP2
000002d7: SWAP1
000002d8: DUP2
000002d9: SWAP1
000002da: DUP5
000002db: ADD
000002dc: DUP4
000002dd: DUP3
000002de: DUP1
000002df: DUP3
000002e0: DUP5
000002e1: CALLDATACOPY
000002e2: POP
000002e3: SWAP5
000002e4: SWAP7
000002e5: POP
000002e6: POP
000002e7: POP
000002e8: POP
000002e9: POP
000002ea: POP
000002eb: POP
000002ec: PUSH1 0x40
000002ee: DUP1
000002ef: MLOAD
000002f0: PUSH1 0x20
000002f2: DUP2
000002f3: ADD
000002f4: SWAP1
000002f5: SWAP2
000002f6: MSTORE
000002f7: PUSH1 0x00
000002f9: DUP1
000002fa: DUP3
000002fb: MSTORE
000002fc: SLOAD
000002fd: PUSH1 0x01
000002ff: PUSH1 0xa0
00000301: PUSH1 0x02
00000303: EXP
00000304: SUB
00000305: SWAP1
00000306: DUP2
00000307: AND
00000308: CALLER
00000309: SWAP2
0000030a: SWAP1
0000030b: SWAP2
0000030c: AND
0000030d: EQ
0000030e: ISZERO
0000030f: PUSH2 0x0984
00000312: JUMPI
00000313: PUSH1 0x00
00000315: PUSH1 0x0a
00000317: PUSH1 0x00
00000319: POP
0000031a: DUP2
0000031b: SWAP1
0000031c: SSTORE
0000031d: POP
0000031e: PUSH32 0xb7e05d4fafe9e4f0ac7fb9e914e9fbadbd3c1ef56486ff779b1685adb16fd8d8
0000033f: DUP3
00000340: PUSH1 0x40
00000342: MLOAD
00000343: DUP1
00000344: DUP1
00000345: PUSH1 0x20
00000347: ADD
00000348: DUP3
00000349: DUP2
0000034a: SUB
0000034b: DUP3
0000034c: MSTORE
0000034d: DUP4
0000034e: DUP2
0000034f: DUP2
00000350: MLOAD
00000351: DUP2
00000352: MSTORE
00000353: PUSH1 0x20
00000355: ADD
00000356: SWAP2
00000357: POP
00000358: DUP1
00000359: MLOAD
0000035a: SWAP1
0000035b: PUSH1 0x20
0000035d: ADD
0000035e: SWAP1
0000035f: DUP1
00000360: DUP4
00000361: DUP4
00000362: DUP3
00000363: SWAP1
00000364: PUSH1 0x00
00000366: PUSH1 0x04
00000368: PUSH1 0x20
0000036a: DUP5
0000036b: PUSH1 0x1f
0000036d: ADD
0000036e: DIV
0000036f: PUSH1 0x0f
00000371: MUL
00000372: PUSH1 0x03
00000374: ADD
00000375: CALL
00000376: POP
00000377: SWAP1
00000378: POP
00000379: SWAP1
0000037a: DUP2
0000037b: ADD
0000037c: SWAP1
0000037d: PUSH1 0x1f
0000037f: AND
00000380: DUP1
00000381: ISZERO
00000382: PUSH2 0x039f
00000385: JUMPI
00000386: DUP1
00000387: DUP3
00000388: SUB
00000389: DUP1
0000038a: MLOAD
0000038b: PUSH1 0x01
0000038d: DUP4
0000038e: PUSH1 0x20
00000390: SUB
00000391: PUSH2 0x0100
00000394: EXP
00000395: SUB
00000396: NOT
00000397: AND
00000398: DUP2
00000399: MSTORE
0000039a: PUSH1 0x20
0000039c: ADD
0000039d: SWAP2
0000039e: POP
0000039f: JUMPDEST
000003a0: POP
000003a1: SWAP3
000003a2: POP
000003a3: POP
000003a4: POP
000003a5: PUSH1 0x40
000003a7: MLOAD
000003a8: DUP1
000003a9: SWAP2
000003aa: SUB
000003ab: SWAP1
000003ac: LOG1
000003ad: POP
000003ae: PUSH1 0x40
000003b0: DUP1
000003b1: MLOAD
000003b2: DUP1
000003b3: DUP3
000003b4: ADD
000003b5: SWAP1
000003b6: SWAP2
000003b7: MSTORE
000003b8: PUSH1 0x02
000003ba: DUP2
000003bb: MSTORE
000003bc: PUSH32 0x6f6b000000000000000000000000000000000000000000000000000000000000
000003dd: PUSH1 0x20
000003df: DUP3
000003e0: ADD
000003e1: MSTORE
000003e2: PUSH2 0x097f
000003e5: JUMP
000003e6: JUMPDEST
000003e7: PUSH2 0x05b2
000003ea: JUMPDEST
000003eb: ADDRESS
000003ec: PUSH1 0x01
000003ee: PUSH1 0xa0
000003f0: PUSH1 0x02
000003f2: EXP
000003f3: SUB
000003f4: AND
000003f5: BALANCE
000003f6: PUSH1 0x06
000003f8: DUP2
000003f9: SWAP1
000003fa: SSTORE
000003fb: PUSH1 0x04
000003fd: SLOAD
000003fe: SWAP1
000003ff: DIV
00000400: PUSH1 0x07
00000402: DUP2
00000403: SWAP1
00000404: SSTORE
00000405: PUSH1 0x02
00000407: MUL
00000408: PUSH1 0x08
0000040a: SSTORE
0000040b: JUMP
0000040c: JUMPDEST
0000040d: PUSH2 0x0512
00000410: PUSH1 0x04
00000412: CALLDATALOAD
00000413: PUSH1 0x09
00000415: PUSH1 0x20
00000417: MSTORE
00000418: PUSH1 0x00
0000041a: SWAP1
0000041b: DUP2
0000041c: MSTORE
0000041d: PUSH1 0x40
0000041f: SWAP1
00000420: KECCAK256
00000421: SLOAD
00000422: DUP2
00000423: JUMP
00000424: JUMPDEST
00000425: PUSH2 0x0512
00000428: PUSH1 0x08
0000042a: SLOAD
0000042b: DUP2
0000042c: JUMP
0000042d: JUMPDEST
0000042e: PUSH2 0x05b4
00000431: PUSH1 0x00
00000433: SLOAD
00000434: PUSH1 0x01
00000436: PUSH1 0xa0
00000438: PUSH1 0x02
0000043a: EXP
0000043b: SUB
0000043c: AND
0000043d: DUP2
0000043e: JUMP
0000043f: JUMPDEST
00000440: PUSH1 0x40
00000442: DUP1
00000443: MLOAD
00000444: PUSH1 0x02
00000446: DUP1
00000447: SLOAD
00000448: PUSH1 0x20
0000044a: PUSH1 0x01
0000044c: DUP3
0000044d: AND
0000044e: ISZERO
0000044f: PUSH2 0x0100
00000452: MUL
00000453: PUSH1 0x00
00000455: NOT
00000456: ADD
00000457: SWAP1
00000458: SWAP2
00000459: AND
0000045a: DUP3
0000045b: SWAP1
0000045c: DIV
0000045d: PUSH1 0x1f
0000045f: DUP2
00000460: ADD
00000461: DUP3
00000462: SWAP1
00000463: DIV
00000464: DUP3
00000465: MUL
00000466: DUP5
00000467: ADD
00000468: DUP3
00000469: ADD
0000046a: SWAP1
0000046b: SWAP5
0000046c: MSTORE
0000046d: DUP4
0000046e: DUP4
0000046f: MSTORE
00000470: PUSH2 0x052e
00000473: SWAP4
00000474: SWAP1
00000475: DUP4
00000476: ADD
00000477: DUP3
00000478: DUP3
00000479: DUP1
0000047a: ISZERO
0000047b: PUSH2 0x05fc
0000047e: JUMPI
0000047f: DUP1
00000480: PUSH1 0x1f
00000482: LT
00000483: PUSH2 0x05d1
00000486: JUMPI
00000487: PUSH2 0x0100
0000048a: DUP1
0000048b: DUP4
0000048c: SLOAD
0000048d: DIV
0000048e: MUL
0000048f: DUP4
00000490: MSTORE
00000491: SWAP2
00000492: PUSH1 0x20
00000494: ADD
00000495: SWAP2
00000496: PUSH2 0x05fc
00000499: JUMP
0000049a: JUMPDEST
0000049b: PUSH2 0x0512
0000049e: PUSH1 0x04
000004a0: CALLDATALOAD
000004a1: PUSH1 0x0d
000004a3: PUSH1 0x20
000004a5: MSTORE
000004a6: PUSH1 0x00
000004a8: SWAP1
000004a9: DUP2
000004aa: MSTORE
000004ab: PUSH1 0x40
000004ad: SWAP1
000004ae: KECCAK256
000004af: SLOAD
000004b0: DUP2
000004b1: JUMP
000004b2: JUMPDEST
000004b3: PUSH2 0x05b2
000004b6: PUSH1 0x04
000004b8: CALLDATALOAD
000004b9: PUSH1 0x24
000004bb: CALLDATALOAD
000004bc: PUSH1 0x01
000004be: PUSH1 0xa0
000004c0: PUSH1 0x02
000004c2: EXP
000004c3: SUB
000004c4: CALLER
000004c5: AND
000004c6: PUSH1 0x00
000004c8: SWAP1
000004c9: DUP2
000004ca: MSTORE
000004cb: PUSH1 0x09
000004cd: PUSH1 0x20
000004cf: MSTORE
000004d0: PUSH1 0x40
000004d2: SWAP1
000004d3: KECCAK256
000004d4: SLOAD
000004d5: DUP2
000004d6: SWAP1
000004d7: LT
000004d8: ISZERO
000004d9: PUSH2 0x0794
000004dc: JUMPI
000004dd: PUSH2 0x0002
000004e0: JUMP
000004e1: JUMPDEST
000004e2: PUSH2 0x0512
000004e5: PUSH1 0x06
000004e7: SLOAD
000004e8: DUP2
000004e9: JUMP
000004ea: JUMPDEST
000004eb: PUSH2 0x05b2
000004ee: PUSH1 0x04
000004f0: CALLDATALOAD
000004f1: PUSH2 0x0826
000004f4: PUSH2 0x03ea
000004f7: JUMP
000004f8: JUMPDEST
000004f9: PUSH2 0x05b2
000004fc: PUSH1 0x00
000004fe: DUP1
000004ff: SLOAD
00000500: PUSH1 0x01
00000502: PUSH1 0xa0
00000504: PUSH1 0x02
00000506: EXP
00000507: SUB
00000508: AND
00000509: EQ
0000050a: PUSH2 0x0604
0000050d: JUMPI
0000050e: PUSH2 0x0002
00000511: JUMP
00000512: JUMPDEST
00000513: PUSH1 0x40
00000515: DUP1
00000516: MLOAD
00000517: SWAP2
00000518: DUP3
00000519: MSTORE
0000051a: MLOAD
0000051b: SWAP1
0000051c: DUP2
0000051d: SWAP1
0000051e: SUB
0000051f: PUSH1 0x20
00000521: ADD
00000522: SWAP1
00000523: RETURN
00000524: JUMPDEST
00000525: PUSH1 0x08
00000527: SLOAD
00000528: SWAP2
00000529: POP
0000052a: JUMPDEST
0000052b: POP
0000052c: SWAP1
0000052d: JUMP
0000052e: JUMPDEST
0000052f: PUSH1 0x40
00000531: MLOAD
00000532: DUP1
00000533: DUP1
00000534: PUSH1 0x20
00000536: ADD
00000537: DUP3
00000538: DUP2
00000539: SUB
0000053a: DUP3
0000053b: MSTORE
0000053c: DUP4
0000053d: DUP2
0000053e: DUP2
0000053f: MLOAD
00000540: DUP2
00000541: MSTORE
00000542: PUSH1 0x20
00000544: ADD
00000545: SWAP2
00000546: POP
00000547: DUP1
00000548: MLOAD
00000549: SWAP1
0000054a: PUSH1 0x20
0000054c: ADD
0000054d: SWAP1
0000054e: DUP1
0000054f: DUP4
00000550: DUP4
00000551: DUP3
00000552: SWAP1
00000553: PUSH1 0x00
00000555: PUSH1 0x04
00000557: PUSH1 0x20
00000559: DUP5
0000055a: PUSH1 0x1f
0000055c: ADD
0000055d: DIV
0000055e: PUSH1 0x0f
00000560: MUL
00000561: PUSH1 0x03
00000563: ADD
00000564: CALL
00000565: POP
00000566: SWAP1
00000567: POP
00000568: SWAP1
00000569: DUP2
0000056a: ADD
0000056b: SWAP1
0000056c: PUSH1 0x1f
0000056e: AND
0000056f: DUP1
00000570: ISZERO
00000571: PUSH2 0x058e
00000574: JUMPI
00000575: DUP1
00000576: DUP3
00000577: SUB
00000578: DUP1
00000579: MLOAD
0000057a: PUSH1 0x01
0000057c: DUP4
0000057d: PUSH1 0x20
0000057f: SUB
00000580: PUSH2 0x0100
00000583: EXP
00000584: SUB
00000585: NOT
00000586: AND
00000587: DUP2
00000588: MSTORE
00000589: PUSH1 0x20
0000058b: ADD
0000058c: SWAP2
0000058d: POP
0000058e: JUMPDEST
0000058f: POP
00000590: SWAP3
00000591: POP
00000592: POP
00000593: POP
00000594: PUSH1 0x40
00000596: MLOAD
00000597: DUP1
00000598: SWAP2
00000599: SUB
0000059a: SWAP1
0000059b: RETURN
0000059c: JUMPDEST
0000059d: PUSH1 0x40
0000059f: DUP1
000005a0: MLOAD
000005a1: PUSH1 0xff
000005a3: SWAP1
000005a4: SWAP3
000005a5: AND
000005a6: DUP3
000005a7: MSTORE
000005a8: MLOAD
000005a9: SWAP1
000005aa: DUP2
000005ab: SWAP1
000005ac: SUB
000005ad: PUSH1 0x20
000005af: ADD
000005b0: SWAP1
000005b1: RETURN
000005b2: JUMPDEST
000005b3: STOP
000005b4: JUMPDEST
000005b5: PUSH1 0x40
000005b7: DUP1
000005b8: MLOAD
000005b9: PUSH1 0x01
000005bb: PUSH1 0xa0
000005bd: PUSH1 0x02
000005bf: EXP
000005c0: SUB
000005c1: SWAP3
000005c2: SWAP1
000005c3: SWAP3
000005c4: AND
000005c5: DUP3
000005c6: MSTORE
000005c7: MLOAD
000005c8: SWAP1
000005c9: DUP2
000005ca: SWAP1
000005cb: SUB
000005cc: PUSH1 0x20
000005ce: ADD
000005cf: SWAP1
000005d0: RETURN
000005d1: JUMPDEST
000005d2: DUP3
000005d3: ADD
000005d4: SWAP2
000005d5: SWAP1
000005d6: PUSH1 0x00
000005d8: MSTORE
000005d9: PUSH1 0x20
000005db: PUSH1 0x00
000005dd: KECCAK256
000005de: SWAP1
000005df: JUMPDEST
000005e0: DUP2
000005e1: SLOAD
000005e2: DUP2
000005e3: MSTORE
000005e4: SWAP1
000005e5: PUSH1 0x01
000005e7: ADD
000005e8: SWAP1
000005e9: PUSH1 0x20
000005eb: ADD
000005ec: DUP1
000005ed: DUP4
000005ee: GT
000005ef: PUSH2 0x05df
000005f2: JUMPI
000005f3: DUP3
000005f4: SWAP1
000005f5: SUB
000005f6: PUSH1 0x1f
000005f8: AND
000005f9: DUP3
000005fa: ADD
000005fb: SWAP2
000005fc: JUMPDEST
000005fd: POP
000005fe: POP
000005ff: POP
00000600: POP
00000601: POP
00000602: DUP2
00000603: JUMP
00000604: JUMPDEST
00000605: CALLVALUE
00000606: PUSH1 0x08
00000608: SSTORE
00000609: CALLER
0000060a: PUSH1 0x01
0000060c: PUSH1 0xa0
0000060e: PUSH1 0x02
00000610: EXP
00000611: SUB
00000612: AND
00000613: PUSH1 0x00
00000615: SWAP1
00000616: DUP2
00000617: MSTORE
00000618: PUSH1 0x09
0000061a: PUSH1 0x20
0000061c: SWAP1
0000061d: DUP2
0000061e: MSTORE
0000061f: PUSH1 0x40
00000621: DUP1
00000622: DUP4
00000623: KECCAK256
00000624: PUSH1 0x01
00000626: SWAP1
00000627: DUP2
00000628: SWAP1
00000629: SSTORE
0000062a: PUSH1 0x04
0000062c: DUP2
0000062d: SWAP1
0000062e: SSTORE
0000062f: PUSH1 0x05
00000631: DUP2
00000632: SWAP1
00000633: SSTORE
00000634: DUP2
00000635: MLOAD
00000636: DUP1
00000637: DUP4
00000638: ADD
00000639: SWAP1
0000063a: SWAP3
0000063b: MSTORE
0000063c: PUSH1 0x0d
0000063e: DUP3
0000063f: MSTORE
00000640: PUSH32 0x6e6f786f6e66756e642e636f6d00000000000000000000000000000000000000
00000661: SWAP2
00000662: DUP4
00000663: ADD
00000664: SWAP2
00000665: DUP3
00000666: MSTORE
00000667: DUP1
00000668: SLOAD
00000669: SWAP4
0000066a: DUP2
0000066b: SWAP1
0000066c: MSTORE
0000066d: SWAP1
0000066e: MLOAD
0000066f: PUSH1 0xff
00000671: NOT
00000672: AND
00000673: PUSH1 0x1a
00000675: OR
00000676: DUP2
00000677: SSTORE
00000678: SWAP2
00000679: PUSH2 0x06ce
0000067c: SWAP2
0000067d: PUSH32 0xb10e2d527612073b26eecdfd717e6a320cf44b4afac2b0732d9fcbe2b7fa0cf6
0000069e: PUSH1 0x02
000006a0: PUSH2 0x0100
000006a3: DUP5
000006a4: DUP8
000006a5: AND
000006a6: ISZERO
000006a7: MUL
000006a8: PUSH1 0x00
000006aa: NOT
000006ab: ADD
000006ac: SWAP1
000006ad: SWAP4
000006ae: AND
000006af: SWAP3
000006b0: SWAP1
000006b1: SWAP3
000006b2: DIV
000006b3: PUSH1 0x1f
000006b5: ADD
000006b6: DIV
000006b7: DUP2
000006b8: ADD
000006b9: SWAP1
000006ba: JUMPDEST
000006bb: DUP1
000006bc: DUP3
000006bd: GT
000006be: ISZERO
000006bf: PUSH2 0x052a
000006c2: JUMPI
000006c3: PUSH1 0x00
000006c5: DUP2
000006c6: SSTORE
000006c7: PUSH1 0x01
000006c9: ADD
000006ca: PUSH2 0x06ba
000006cd: JUMP
000006ce: JUMPDEST
000006cf: POP
000006d0: POP
000006d1: PUSH1 0x40
000006d3: DUP1
000006d4: MLOAD
000006d5: DUP1
000006d6: DUP3
000006d7: ADD
000006d8: SWAP1
000006d9: SWAP2
000006da: MSTORE
000006db: PUSH1 0x0a
000006dd: DUP2
000006de: MSTORE
000006df: PUSH32 0xf09f8c8020534841524500000000000000000000000000000000000000000000
00000700: PUSH1 0x20
00000702: SWAP2
00000703: DUP3
00000704: ADD
00000705: SWAP1
00000706: DUP2
00000707: MSTORE
00000708: PUSH1 0x02
0000070a: DUP1
0000070b: SLOAD
0000070c: PUSH1 0x00
0000070e: DUP3
0000070f: SWAP1
00000710: MSTORE
00000711: SWAP2
00000712: MLOAD
00000713: PUSH1 0xff
00000715: NOT
00000716: AND
00000717: PUSH1 0x14
00000719: OR
0000071a: DUP2
0000071b: SSTORE
0000071c: SWAP2
0000071d: PUSH2 0x075f
00000720: SWAP2
00000721: PUSH1 0x01
00000723: DUP2
00000724: AND
00000725: ISZERO
00000726: PUSH2 0x0100
00000729: MUL
0000072a: PUSH1 0x00
0000072c: NOT
0000072d: ADD
0000072e: AND
0000072f: DUP4
00000730: SWAP1
00000731: DIV
00000732: PUSH1 0x1f
00000734: ADD
00000735: DIV
00000736: PUSH32 0x405787fa12a823e0f2b7631cc41b3ba8828b3321ca811111fa75cd3aa3bb5ace
00000757: SWAP1
00000758: DUP2
00000759: ADD
0000075a: SWAP1
0000075b: PUSH2 0x06ba
0000075e: JUMP
0000075f: JUMPDEST
00000760: POP
00000761: POP
00000762: PUSH1 0x03
00000764: DUP1
00000765: SLOAD
00000766: PUSH1 0xff
00000768: NOT
00000769: AND
0000076a: SWAP1
0000076b: SSTORE
0000076c: PUSH1 0x00
0000076e: DUP1
0000076f: SLOAD
00000770: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000785: NOT
00000786: AND
00000787: CALLER
00000788: OR
00000789: SWAP1
0000078a: SSTORE
0000078b: PUSH2 0x0792
0000078e: PUSH2 0x03ea
00000791: JUMP
00000792: JUMPDEST
00000793: JUMP
00000794: JUMPDEST
00000795: PUSH1 0x01
00000797: PUSH1 0xa0
00000799: PUSH1 0x02
0000079b: EXP
0000079c: SUB
0000079d: DUP3
0000079e: AND
0000079f: PUSH1 0x00
000007a1: SWAP1
000007a2: DUP2
000007a3: MSTORE
000007a4: PUSH1 0x09
000007a6: PUSH1 0x20
000007a8: MSTORE
000007a9: PUSH1 0x40
000007ab: SWAP1
000007ac: KECCAK256
000007ad: SLOAD
000007ae: DUP1
000007af: DUP3
000007b0: ADD
000007b1: LT
000007b2: ISZERO
000007b3: PUSH2 0x07bb
000007b6: JUMPI
000007b7: PUSH2 0x0002
000007ba: JUMP
000007bb: JUMPDEST
000007bc: PUSH1 0x01
000007be: PUSH1 0xa0
000007c0: PUSH1 0x02
000007c2: EXP
000007c3: SUB
000007c4: CALLER
000007c5: DUP2
000007c6: AND
000007c7: PUSH1 0x00
000007c9: DUP2
000007ca: DUP2
000007cb: MSTORE
000007cc: PUSH1 0x09
000007ce: PUSH1 0x20
000007d0: SWAP1
000007d1: DUP2
000007d2: MSTORE
000007d3: PUSH1 0x40
000007d5: DUP1
000007d6: DUP4
000007d7: KECCAK256
000007d8: DUP1
000007d9: SLOAD
000007da: DUP8
000007db: SWAP1
000007dc: SUB
000007dd: SWAP1
000007de: SSTORE
000007df: SWAP4
000007e0: DUP7
000007e1: AND
000007e2: DUP1
000007e3: DUP4
000007e4: MSTORE
000007e5: SWAP2
000007e6: DUP5
000007e7: SWAP1
000007e8: KECCAK256
000007e9: DUP1
000007ea: SLOAD
000007eb: DUP7
000007ec: ADD
000007ed: SWAP1
000007ee: SSTORE
000007ef: DUP4
000007f0: MLOAD
000007f1: DUP6
000007f2: DUP2
000007f3: MSTORE
000007f4: SWAP4
000007f5: MLOAD
000007f6: SWAP2
000007f7: SWAP4
000007f8: PUSH32 0xddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef
00000819: SWAP3
0000081a: SWAP1
0000081b: DUP2
0000081c: SWAP1
0000081d: SUB
0000081e: SWAP1
0000081f: SWAP2
00000820: ADD
00000821: SWAP1
00000822: LOG3
00000823: POP
00000824: POP
00000825: JUMP
00000826: JUMPDEST
00000827: PUSH1 0x01
00000829: PUSH1 0xa0
0000082b: PUSH1 0x02
0000082d: EXP
0000082e: SUB
0000082f: CALLER
00000830: AND
00000831: PUSH1 0x00
00000833: SWAP1
00000834: DUP2
00000835: MSTORE
00000836: PUSH1 0x09
00000838: PUSH1 0x20
0000083a: MSTORE
0000083b: PUSH1 0x40
0000083d: SWAP1
0000083e: KECCAK256
0000083f: SLOAD
00000840: DUP2
00000841: SWAP1
00000842: LT
00000843: ISZERO
00000844: PUSH2 0x084c
00000847: JUMPI
00000848: PUSH2 0x0002
0000084b: JUMP
0000084c: JUMPDEST
0000084d: ADDRESS
0000084e: PUSH1 0x01
00000850: PUSH1 0xa0
00000852: PUSH1 0x02
00000854: EXP
00000855: SUB
00000856: AND
00000857: CALLER
00000858: PUSH1 0x01
0000085a: PUSH1 0xa0
0000085c: PUSH1 0x02
0000085e: EXP
0000085f: SUB
00000860: AND
00000861: PUSH32 0xddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef
00000882: DUP4
00000883: PUSH1 0x40
00000885: MLOAD
00000886: DUP1
00000887: DUP3
00000888: DUP2
00000889: MSTORE
0000088a: PUSH1 0x20
0000088c: ADD
0000088d: SWAP2
0000088e: POP
0000088f: POP
00000890: PUSH1 0x40
00000892: MLOAD
00000893: DUP1
00000894: SWAP2
00000895: SUB
00000896: SWAP1
00000897: LOG3
00000898: PUSH1 0x40
0000089a: DUP1
0000089b: MLOAD
0000089c: PUSH1 0x04
0000089e: DUP1
0000089f: SLOAD
000008a0: DUP5
000008a1: SWAP1
000008a2: SUB
000008a3: SWAP1
000008a4: SSTORE
000008a5: PUSH1 0x01
000008a7: PUSH1 0xa0
000008a9: PUSH1 0x02
000008ab: EXP
000008ac: SUB
000008ad: CALLER
000008ae: AND
000008af: PUSH1 0x00
000008b1: DUP2
000008b2: DUP2
000008b3: MSTORE
000008b4: PUSH1 0x09
000008b6: PUSH1 0x20
000008b8: MSTORE
000008b9: SWAP3
000008ba: DUP4
000008bb: KECCAK256
000008bc: DUP1
000008bd: SLOAD
000008be: DUP6
000008bf: SWAP1
000008c0: SUB
000008c1: SWAP1
000008c2: SSTORE
000008c3: PUSH1 0x07
000008c5: SLOAD
000008c6: SWAP1
000008c7: SWAP3
000008c8: SWAP2
000008c9: SWAP1
000008ca: DUP5
000008cb: MUL
000008cc: SWAP1
000008cd: DUP3
000008ce: DUP2
000008cf: DUP2
000008d0: DUP2
000008d1: DUP6
000008d2: DUP9
000008d3: DUP4
000008d4: CALL
000008d5: SWAP4
000008d6: POP
000008d7: POP
000008d8: POP
000008d9: POP
000008da: POP
000008db: PUSH2 0x08e2
000008de: PUSH2 0x03ea
000008e1: JUMP
000008e2: JUMPDEST
000008e3: POP
000008e4: JUMP
000008e5: JUMPDEST
000008e6: PUSH32 0xdd585e7b910c0f60ca245afc864bde0407e07a5a2521d3b3d47ef1bb8c2f9b0f
00000907: CALLVALUE
00000908: DUP4
00000909: PUSH1 0x40
0000090b: MLOAD
0000090c: DUP1
0000090d: DUP4
0000090e: DUP2
0000090f: MSTORE
00000910: PUSH1 0x20
00000912: ADD
00000913: DUP1
00000914: PUSH1 0x20
00000916: ADD
00000917: DUP3
00000918: DUP2
00000919: SUB
0000091a: DUP3
0000091b: MSTORE
0000091c: DUP4
0000091d: DUP2
0000091e: DUP2
0000091f: MLOAD
00000920: DUP2
00000921: MSTORE
00000922: PUSH1 0x20
00000924: ADD
00000925: SWAP2
00000926: POP
00000927: DUP1
00000928: MLOAD
00000929: SWAP1
0000092a: PUSH1 0x20
0000092c: ADD
0000092d: SWAP1
0000092e: DUP1
0000092f: DUP4
00000930: DUP4
00000931: DUP3
00000932: SWAP1
00000933: PUSH1 0x00
00000935: PUSH1 0x04
00000937: PUSH1 0x20
00000939: DUP5
0000093a: PUSH1 0x1f
0000093c: ADD
0000093d: DIV
0000093e: PUSH1 0x0f
00000940: MUL
00000941: PUSH1 0x03
00000943: ADD
00000944: CALL
00000945: POP
00000946: SWAP1
00000947: POP
00000948: SWAP1
00000949: DUP2
0000094a: ADD
0000094b: SWAP1
0000094c: PUSH1 0x1f
0000094e: AND
0000094f: DUP1
00000950: ISZERO
00000951: PUSH2 0x096e
00000954: JUMPI
00000955: DUP1
00000956: DUP3
00000957: SUB
00000958: DUP1
00000959: MLOAD
0000095a: PUSH1 0x01
0000095c: DUP4
0000095d: PUSH1 0x20
0000095f: SUB
00000960: PUSH2 0x0100
00000963: EXP
00000964: SUB
00000965: NOT
00000966: AND
00000967: DUP2
00000968: MSTORE
00000969: PUSH1 0x20
0000096b: ADD
0000096c: SWAP2
0000096d: POP
0000096e: JUMPDEST
0000096f: POP
00000970: SWAP4
00000971: POP
00000972: POP
00000973: POP
00000974: POP
00000975: PUSH1 0x40
00000977: MLOAD
00000978: DUP1
00000979: SWAP2
0000097a: SUB
0000097b: SWAP1
0000097c: LOG1
0000097d: POP
0000097e: DUP1
0000097f: JUMPDEST
00000980: SWAP2
00000981: SWAP1
00000982: POP
00000983: JUMP
00000984: JUMPDEST
00000985: POP
00000986: PUSH1 0x40
00000988: DUP1
00000989: MLOAD
0000098a: DUP1
0000098b: DUP3
0000098c: ADD
0000098d: SWAP1
0000098e: SWAP2
0000098f: MSTORE
00000990: PUSH1 0x16
00000992: DUP2
00000993: MSTORE
00000994: PUSH32 0x4f6e6c792061646d696e2063616e20646f207468697300000000000000000000
000009b5: PUSH1 0x20
000009b7: DUP3
000009b8: ADD
000009b9: MSTORE
000009ba: PUSH2 0x097f
000009bd: JUMP
000009be: JUMPDEST
000009bf: PUSH1 0x01
000009c1: PUSH1 0xa0
000009c3: PUSH1 0x02
000009c5: EXP
000009c6: SUB
000009c7: CALLER
000009c8: AND
000009c9: PUSH1 0x00
000009cb: DUP2
000009cc: DUP2
000009cd: MSTORE
000009ce: PUSH1 0x0d
000009d0: PUSH1 0x20
000009d2: SWAP1
000009d3: DUP2
000009d4: MSTORE
000009d5: PUSH1 0x40
000009d7: DUP1
000009d8: DUP4
000009d9: KECCAK256
000009da: DUP1
000009db: SLOAD
000009dc: PUSH1 0x01
000009de: ADD
000009df: SWAP1
000009e0: SSTORE
000009e1: PUSH1 0x09
000009e3: DUP3
000009e4: MSTORE
000009e5: SWAP2
000009e6: DUP3
000009e7: SWAP1
000009e8: KECCAK256
000009e9: SLOAD
000009ea: DUP3
000009eb: MLOAD
000009ec: DUP7
000009ed: DUP2
000009ee: MSTORE
000009ef: SWAP2
000009f0: DUP3
000009f1: ADD
000009f2: SWAP4
000009f3: SWAP1
000009f4: SWAP4
000009f5: MSTORE
000009f6: DUP1
000009f7: DUP3
000009f8: ADD
000009f9: SWAP3
000009fa: SWAP1
000009fb: SWAP3
000009fc: MSTORE
000009fd: MLOAD
000009fe: PUSH32 0x87c19bcb6d6107a628e895e6d3c7e270cd03fe3389bf78638c5d9f50f050f5c5
00000a1f: SWAP2
00000a20: DUP2
00000a21: SWAP1
00000a22: SUB
00000a23: PUSH1 0x60
00000a25: ADD
00000a26: SWAP1
00000a27: LOG1
00000a28: POP
00000a29: PUSH1 0x0a
00000a2b: SLOAD
00000a2c: PUSH2 0x097f
00000a2f: 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.