Analysis Run

OpenAI Codex v0.118.0 (research preview)
--------
workdir: /tmp/codex-701zmfa5
model: gpt-5.4
provider: openai
approval: never
sandbox: read-only
reasoning effort: high
reasoning summaries: none
session id: 019d5c99-964a-76e2-b0da-9ba7a46e4349
--------
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:44:24.203610+00:00",
        "returncode": 1
    },
    "project": {
        "mode": "bytecode",
        "bytecode_length": 5350,
        "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 0x064a
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 0x06e9
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 0x075b
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 0x06e4
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 0x0802
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 0x082c
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 0x08eb
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: PUSH32 0xdd585e7b910c0f60ca245afc864bde0407e07a5a2521d3b3d47ef1bb8c2f9b0f
0000066c: CALLVALUE
0000066d: DUP4
0000066e: PUSH1 0x40
00000670: MLOAD
00000671: DUP1
00000672: DUP4
00000673: DUP2
00000674: MSTORE
00000675: PUSH1 0x20
00000677: ADD
00000678: DUP1
00000679: PUSH1 0x20
0000067b: ADD
0000067c: DUP3
0000067d: DUP2
0000067e: SUB
0000067f: DUP3
00000680: MSTORE
00000681: DUP4
00000682: DUP2
00000683: DUP2
00000684: MLOAD
00000685: DUP2
00000686: MSTORE
00000687: PUSH1 0x20
00000689: ADD
0000068a: SWAP2
0000068b: POP
0000068c: DUP1
0000068d: MLOAD
0000068e: SWAP1
0000068f: PUSH1 0x20
00000691: ADD
00000692: SWAP1
00000693: DUP1
00000694: DUP4
00000695: DUP4
00000696: DUP3
00000697: SWAP1
00000698: PUSH1 0x00
0000069a: PUSH1 0x04
0000069c: PUSH1 0x20
0000069e: DUP5
0000069f: PUSH1 0x1f
000006a1: ADD
000006a2: DIV
000006a3: PUSH1 0x0f
000006a5: MUL
000006a6: PUSH1 0x03
000006a8: ADD
000006a9: CALL
000006aa: POP
000006ab: SWAP1
000006ac: POP
000006ad: SWAP1
000006ae: DUP2
000006af: ADD
000006b0: SWAP1
000006b1: PUSH1 0x1f
000006b3: AND
000006b4: DUP1
000006b5: ISZERO
000006b6: PUSH2 0x06d3
000006b9: JUMPI
000006ba: DUP1
000006bb: DUP3
000006bc: SUB
000006bd: DUP1
000006be: MLOAD
000006bf: PUSH1 0x01
000006c1: DUP4
000006c2: PUSH1 0x20
000006c4: SUB
000006c5: PUSH2 0x0100
000006c8: EXP
000006c9: SUB
000006ca: NOT
000006cb: AND
000006cc: DUP2
000006cd: MSTORE
000006ce: PUSH1 0x20
000006d0: ADD
000006d1: SWAP2
000006d2: POP
000006d3: JUMPDEST
000006d4: POP
000006d5: SWAP4
000006d6: POP
000006d7: POP
000006d8: POP
000006d9: POP
000006da: PUSH1 0x40
000006dc: MLOAD
000006dd: DUP1
000006de: SWAP2
000006df: SUB
000006e0: SWAP1
000006e1: LOG1
000006e2: POP
000006e3: DUP1
000006e4: JUMPDEST
000006e5: SWAP2
000006e6: SWAP1
000006e7: POP
000006e8: JUMP
000006e9: JUMPDEST
000006ea: CALLER
000006eb: PUSH1 0x01
000006ed: PUSH1 0xa0
000006ef: PUSH1 0x02
000006f1: EXP
000006f2: SUB
000006f3: AND
000006f4: PUSH1 0x00
000006f6: DUP2
000006f7: DUP2
000006f8: MSTORE
000006f9: PUSH1 0x0e
000006fb: PUSH1 0x20
000006fd: SWAP1
000006fe: DUP2
000006ff: MSTORE
00000700: PUSH1 0x40
00000702: DUP1
00000703: DUP4
00000704: KECCAK256
00000705: DUP1
00000706: SLOAD
00000707: PUSH1 0x01
00000709: ADD
0000070a: SWAP1
0000070b: SSTORE
0000070c: PUSH1 0x0a
0000070e: DUP3
0000070f: MSTORE
00000710: DUP1
00000711: MLOAD
00000712: SWAP3
00000713: DUP2
00000714: SWAP1
00000715: KECCAK256
00000716: SLOAD
00000717: DUP7
00000718: ISZERO
00000719: ISZERO
0000071a: DUP5
0000071b: MSTORE
0000071c: SWAP2
0000071d: DUP4
0000071e: ADD
0000071f: SWAP4
00000720: SWAP1
00000721: SWAP4
00000722: MSTORE
00000723: DUP2
00000724: DUP4
00000725: ADD
00000726: MSTORE
00000727: SWAP1
00000728: MLOAD
00000729: PUSH32 0x87c19bcb6d6107a628e895e6d3c7e270cd03fe3389bf78638c5d9f50f050f5c5
0000074a: SWAP2
0000074b: DUP2
0000074c: SWAP1
0000074d: SUB
0000074e: PUSH1 0x60
00000750: ADD
00000751: SWAP1
00000752: LOG1
00000753: POP
00000754: PUSH1 0x0b
00000756: SLOAD
00000757: PUSH2 0x06e4
0000075a: JUMP
0000075b: JUMPDEST
0000075c: POP
0000075d: PUSH1 0x40
0000075f: DUP1
00000760: MLOAD
00000761: DUP1
00000762: DUP3
00000763: ADD
00000764: SWAP1
00000765: SWAP2
00000766: MSTORE
00000767: PUSH1 0x16
00000769: DUP2
0000076a: MSTORE
0000076b: PUSH32 0x4f6e6c792061646d696e2063616e20646f207468697300000000000000000000
0000078c: PUSH1 0x20
0000078e: DUP3
0000078f: ADD
00000790: MSTORE
00000791: PUSH2 0x06e4
00000794: JUMP
00000795: JUMPDEST
00000796: CALLER
00000797: PUSH1 0x01
00000799: PUSH1 0xa0
0000079b: PUSH1 0x02
0000079d: EXP
0000079e: SUB
0000079f: SWAP1
000007a0: DUP2
000007a1: AND
000007a2: PUSH1 0x00
000007a4: DUP2
000007a5: DUP2
000007a6: MSTORE
000007a7: PUSH1 0x0a
000007a9: PUSH1 0x20
000007ab: SWAP1
000007ac: DUP2
000007ad: MSTORE
000007ae: PUSH1 0x40
000007b0: DUP1
000007b1: DUP4
000007b2: KECCAK256
000007b3: DUP1
000007b4: SLOAD
000007b5: DUP8
000007b6: SWAP1
000007b7: SUB
000007b8: SWAP1
000007b9: SSTORE
000007ba: SWAP4
000007bb: DUP7
000007bc: AND
000007bd: DUP1
000007be: DUP4
000007bf: MSTORE
000007c0: SWAP2
000007c1: DUP5
000007c2: SWAP1
000007c3: KECCAK256
000007c4: DUP1
000007c5: SLOAD
000007c6: DUP7
000007c7: ADD
000007c8: SWAP1
000007c9: SSTORE
000007ca: DUP4
000007cb: MLOAD
000007cc: DUP6
000007cd: DUP2
000007ce: MSTORE
000007cf: SWAP4
000007d0: MLOAD
000007d1: SWAP2
000007d2: SWAP4
000007d3: PUSH32 0xddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef
000007f4: SWAP3
000007f5: SWAP1
000007f6: DUP2
000007f7: SWAP1
000007f8: SUB
000007f9: SWAP1
000007fa: SWAP2
000007fb: ADD
000007fc: SWAP1
000007fd: LOG3
000007fe: JUMPDEST
000007ff: POP
00000800: POP
00000801: JUMP
00000802: JUMPDEST
00000803: PUSH1 0x01
00000805: PUSH1 0xa0
00000807: PUSH1 0x02
00000809: EXP
0000080a: SUB
0000080b: DUP3
0000080c: AND
0000080d: PUSH1 0x00
0000080f: SWAP1
00000810: DUP2
00000811: MSTORE
00000812: PUSH1 0x0a
00000814: PUSH1 0x20
00000816: MSTORE
00000817: PUSH1 0x40
00000819: SWAP1
0000081a: KECCAK256
0000081b: SLOAD
0000081c: DUP1
0000081d: DUP3
0000081e: ADD
0000081f: LT
00000820: ISZERO
00000821: PUSH2 0x0795
00000824: JUMPI
00000825: PUSH2 0x0002
00000828: JUMP
00000829: JUMPDEST
0000082a: POP
0000082b: JUMP
0000082c: JUMPDEST
0000082d: POP
0000082e: CALLER
0000082f: PUSH1 0x01
00000831: PUSH1 0xa0
00000833: PUSH1 0x02
00000835: EXP
00000836: SUB
00000837: AND
00000838: PUSH1 0x00
0000083a: SWAP1
0000083b: DUP2
0000083c: MSTORE
0000083d: PUSH1 0x0a
0000083f: PUSH1 0x20
00000841: MSTORE
00000842: PUSH1 0x40
00000844: SWAP1
00000845: KECCAK256
00000846: SLOAD
00000847: DUP2
00000848: SWAP1
00000849: LT
0000084a: ISZERO
0000084b: PUSH2 0x0853
0000084e: JUMPI
0000084f: PUSH2 0x0002
00000852: JUMP
00000853: JUMPDEST
00000854: ADDRESS
00000855: PUSH1 0x01
00000857: PUSH1 0xa0
00000859: PUSH1 0x02
0000085b: EXP
0000085c: SUB
0000085d: AND
0000085e: CALLER
0000085f: PUSH1 0x01
00000861: PUSH1 0xa0
00000863: PUSH1 0x02
00000865: EXP
00000866: SUB
00000867: AND
00000868: PUSH32 0xddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef
00000889: DUP4
0000088a: PUSH1 0x40
0000088c: MLOAD
0000088d: DUP1
0000088e: DUP3
0000088f: DUP2
00000890: MSTORE
00000891: PUSH1 0x20
00000893: ADD
00000894: SWAP2
00000895: POP
00000896: POP
00000897: PUSH1 0x40
00000899: MLOAD
0000089a: DUP1
0000089b: SWAP2
0000089c: SUB
0000089d: SWAP1
0000089e: LOG3
0000089f: PUSH1 0x04
000008a1: DUP1
000008a2: SLOAD
000008a3: PUSH1 0x40
000008a5: DUP1
000008a6: MLOAD
000008a7: SWAP2
000008a8: DUP5
000008a9: SWAP1
000008aa: SUB
000008ab: SWAP1
000008ac: SWAP3
000008ad: SSTORE
000008ae: CALLER
000008af: PUSH1 0x01
000008b1: PUSH1 0xa0
000008b3: PUSH1 0x02
000008b5: EXP
000008b6: SUB
000008b7: AND
000008b8: PUSH1 0x00
000008ba: DUP2
000008bb: DUP2
000008bc: MSTORE
000008bd: PUSH1 0x0a
000008bf: PUSH1 0x20
000008c1: MSTORE
000008c2: SWAP3
000008c3: DUP4
000008c4: KECCAK256
000008c5: DUP1
000008c6: SLOAD
000008c7: DUP6
000008c8: SWAP1
000008c9: SUB
000008ca: SWAP1
000008cb: SSTORE
000008cc: PUSH1 0x07
000008ce: SLOAD
000008cf: SWAP1
000008d0: SWAP3
000008d1: SWAP2
000008d2: SWAP1
000008d3: DUP5
000008d4: MUL
000008d5: SWAP1
000008d6: DUP3
000008d7: DUP2
000008d8: DUP2
000008d9: DUP2
000008da: DUP6
000008db: DUP9
000008dc: DUP4
000008dd: CALL
000008de: SWAP4
000008df: POP
000008e0: POP
000008e1: POP
000008e2: POP
000008e3: POP
000008e4: PUSH2 0x07fe
000008e7: PUSH2 0x0362
000008ea: JUMP
000008eb: JUMPDEST
000008ec: CALLER
000008ed: PUSH1 0x01
000008ef: PUSH1 0xa0
000008f1: PUSH1 0x02
000008f3: EXP
000008f4: SUB
000008f5: AND
000008f6: PUSH1 0x00
000008f8: SWAP1
000008f9: DUP2
000008fa: MSTORE
000008fb: PUSH1 0x0a
000008fd: PUSH1 0x20
000008ff: SWAP1
00000900: DUP2
00000901: MSTORE
00000902: PUSH1 0x40
00000904: DUP1
00000905: DUP4
00000906: KECCAK256
00000907: DUP4
00000908: SWAP1
00000909: SSTORE
0000090a: PUSH1 0x04
0000090c: DUP4
0000090d: SWAP1
0000090e: SSTORE
0000090f: DUP1
00000910: MLOAD
00000911: DUP1
00000912: DUP3
00000913: ADD
00000914: SWAP1
00000915: SWAP2
00000916: MSTORE
00000917: PUSH1 0x0d
00000919: DUP2
0000091a: MSTORE
0000091b: PUSH32 0x6e6f786f6e66756e642e636f6d00000000000000000000000000000000000000
0000093c: SWAP1
0000093d: DUP3
0000093e: ADD
0000093f: SWAP1
00000940: DUP2
00000941: MSTORE
00000942: PUSH1 0x01
00000944: DUP1
00000945: SLOAD
00000946: SWAP4
00000947: DUP2
00000948: SWAP1
00000949: MSTORE
0000094a: SWAP1
0000094b: MLOAD
0000094c: PUSH1 0xff
0000094e: NOT
0000094f: AND
00000950: PUSH1 0x1a
00000952: OR
00000953: DUP2
00000954: SSTORE
00000955: SWAP2
00000956: PUSH2 0x09ac
00000959: SWAP2
0000095a: PUSH1 0x02
0000095c: DUP3
0000095d: DUP6
0000095e: AND
0000095f: ISZERO
00000960: PUSH2 0x0100
00000963: MUL
00000964: PUSH1 0x00
00000966: NOT
00000967: ADD
00000968: SWAP1
00000969: SWAP3
0000096a: AND
0000096b: SWAP2
0000096c: SWAP1
0000096d: SWAP2
0000096e: DIV
0000096f: PUSH1 0x1f
00000971: ADD
00000972: DIV
00000973: PUSH32 0xb10e2d527612073b26eecdfd717e6a320cf44b4afac2b0732d9fcbe2b7fa0cf6
00000994: SWAP1
00000995: DUP2
00000996: ADD
00000997: SWAP1
00000998: JUMPDEST
00000999: DUP1
0000099a: DUP3
0000099b: GT
0000099c: ISZERO
0000099d: PUSH2 0x04d2
000009a0: JUMPI
000009a1: PUSH1 0x00
000009a3: DUP2
000009a4: SSTORE
000009a5: PUSH1 0x01
000009a7: ADD
000009a8: PUSH2 0x0998
000009ab: JUMP
000009ac: JUMPDEST
000009ad: POP
000009ae: POP
000009af: PUSH1 0x40
000009b1: DUP1
000009b2: MLOAD
000009b3: DUP1
000009b4: DUP3
000009b5: ADD
000009b6: SWAP1
000009b7: SWAP2
000009b8: MSTORE
000009b9: PUSH1 0x0a
000009bb: DUP2
000009bc: MSTORE
000009bd: PUSH32 0xf09f8c8020534841524500000000000000000000000000000000000000000000
000009de: PUSH1 0x20
000009e0: SWAP2
000009e1: DUP3
000009e2: ADD
000009e3: SWAP1
000009e4: DUP2
000009e5: MSTORE
000009e6: PUSH1 0x02
000009e8: DUP1
000009e9: SLOAD
000009ea: PUSH1 0x00
000009ec: DUP3
000009ed: SWAP1
000009ee: MSTORE
000009ef: SWAP2
000009f0: MLOAD
000009f1: PUSH1 0xff
000009f3: NOT
000009f4: AND
000009f5: PUSH1 0x14
000009f7: OR
000009f8: DUP2
000009f9: SSTORE
000009fa: SWAP2
000009fb: PUSH2 0x0a3f
000009fe: SWAP2
000009ff: PUSH1 0x1f
00000a01: PUSH1 0x01
00000a03: DUP3
00000a04: AND
00000a05: ISZERO
00000a06: PUSH2 0x0100
00000a09: MUL
00000a0a: PUSH1 0x00
00000a0c: NOT
00000a0d: ADD
00000a0e: SWAP1
00000a0f: SWAP2
00000a10: AND
00000a11: DUP5
00000a12: SWAP1
00000a13: DIV
00000a14: ADD
00000a15: DIV
00000a16: PUSH32 0x405787fa12a823e0f2b7631cc41b3ba8828b3321ca811111fa75cd3aa3bb5ace
00000a37: SWAP1
00000a38: DUP2
00000a39: ADD
00000a3a: SWAP1
00000a3b: PUSH2 0x0998
00000a3e: JUMP
00000a3f: JUMPDEST
00000a40: POP
00000a41: POP
00000a42: PUSH1 0x03
00000a44: DUP1
00000a45: SLOAD
00000a46: PUSH1 0xff
00000a48: NOT
00000a49: AND
00000a4a: SWAP1
00000a4b: SSTORE
00000a4c: PUSH1 0x00
00000a4e: DUP1
00000a4f: SLOAD
00000a50: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000a65: NOT
00000a66: AND
00000a67: CALLER
00000a68: OR
00000a69: SWAP1
00000a6a: SSTORE
00000a6b: PUSH2 0x0829
00000a6e: PUSH2 0x0362
00000a71: 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.