Analysis Run

OpenAI Codex v0.118.0 (research preview)
--------
workdir: /tmp/codex-s073d65t
model: gpt-5.4
provider: openai
approval: never
sandbox: read-only
reasoning effort: high
reasoning summaries: none
session id: 019d5c99-4dab-75d2-991c-7dfd565d2f04
--------
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:05.542512+00:00",
        "returncode": 1
    },
    "project": {
        "mode": "bytecode",
        "bytecode_length": 5474,
        "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 0x0128
0000001e: JUMPI
0000001f: DUP1
00000020: PUSH4 0x13cde9a2
00000025: EQ
00000026: PUSH2 0x0186
00000029: JUMPI
0000002a: DUP1
0000002b: PUSH4 0x18160ddd
00000030: EQ
00000031: PUSH2 0x018f
00000034: JUMPI
00000035: DUP1
00000036: PUSH4 0x23b872dd
0000003b: EQ
0000003c: PUSH2 0x0198
0000003f: JUMPI
00000040: DUP1
00000041: PUSH4 0x313ce567
00000046: EQ
00000047: PUSH2 0x01ca
0000004a: JUMPI
0000004b: DUP1
0000004c: PUSH4 0x378dc3dc
00000051: EQ
00000052: PUSH2 0x01d6
00000055: JUMPI
00000056: DUP1
00000057: PUSH4 0x4b750334
0000005c: EQ
0000005d: PUSH2 0x01df
00000060: JUMPI
00000061: DUP1
00000062: PUSH4 0x54fd4d50
00000067: EQ
00000068: PUSH2 0x01e8
0000006b: JUMPI
0000006c: DUP1
0000006d: PUSH4 0x5a1867e8
00000072: EQ
00000073: PUSH2 0x0243
00000076: JUMPI
00000077: DUP1
00000078: PUSH4 0x70a08231
0000007d: EQ
0000007e: PUSH2 0x0255
00000081: JUMPI
00000082: DUP1
00000083: PUSH4 0x8322fff2
00000088: EQ
00000089: PUSH2 0x026d
0000008c: JUMPI
0000008d: DUP1
0000008e: PUSH4 0x8620410b
00000093: EQ
00000094: PUSH2 0x0360
00000097: JUMPI
00000098: DUP1
00000099: PUSH4 0x95d89b41
0000009e: EQ
0000009f: PUSH2 0x0369
000000a2: JUMPI
000000a3: DUP1
000000a4: PUSH4 0xa9059cbb
000000a9: EQ
000000aa: PUSH2 0x03c6
000000ad: JUMPI
000000ae: DUP1
000000af: PUSH4 0xcae9ca51
000000b4: EQ
000000b5: PUSH2 0x03f5
000000b8: JUMPI
000000b9: DUP1
000000ba: PUSH4 0xdc3080f2
000000bf: EQ
000000c0: PUSH2 0x055c
000000c3: JUMPI
000000c4: DUP1
000000c5: PUSH4 0xdd62ed3e
000000ca: EQ
000000cb: PUSH2 0x0581
000000ce: JUMPI
000000cf: DUP1
000000d0: PUSH4 0xddca3f43
000000d5: EQ
000000d6: PUSH2 0x05a6
000000d9: JUMPI
000000da: DUP1
000000db: PUSH4 0xe4849b32
000000e0: EQ
000000e1: PUSH2 0x05af
000000e4: JUMPI
000000e5: JUMPDEST
000000e6: PUSH2 0x05db
000000e9: PUSH1 0x0a
000000eb: SLOAD
000000ec: PUSH2 0x270f
000000ef: PUSH2 0x2710
000000f2: CALLVALUE
000000f3: SWAP1
000000f4: SWAP3
000000f5: MUL
000000f6: SWAP2
000000f7: DUP3
000000f8: DIV
000000f9: MUL
000000fa: PUSH1 0x06
000000fc: DUP2
000000fd: SWAP1
000000fe: SSTORE
000000ff: DUP1
00000100: DUP3
00000101: SUB
00000102: PUSH1 0x05
00000104: SSTORE
00000105: PUSH1 0x01
00000107: PUSH1 0xa0
00000109: PUSH1 0x02
0000010b: EXP
0000010c: SUB
0000010d: ADDRESS
0000010e: AND
0000010f: PUSH1 0x00
00000111: SWAP1
00000112: DUP2
00000113: MSTORE
00000114: PUSH1 0x0b
00000116: PUSH1 0x20
00000118: MSTORE
00000119: PUSH1 0x40
0000011b: SWAP1
0000011c: KECCAK256
0000011d: SLOAD
0000011e: LT
0000011f: ISZERO
00000120: PUSH2 0x05ed
00000123: JUMPI
00000124: PUSH2 0x0002
00000127: JUMP
00000128: JUMPDEST
00000129: PUSH1 0x40
0000012b: DUP1
0000012c: MLOAD
0000012d: PUSH1 0x00
0000012f: DUP1
00000130: SLOAD
00000131: PUSH1 0x20
00000133: PUSH1 0x02
00000135: PUSH1 0x01
00000137: DUP4
00000138: AND
00000139: ISZERO
0000013a: PUSH2 0x0100
0000013d: MUL
0000013e: PUSH1 0x00
00000140: NOT
00000141: ADD
00000142: SWAP1
00000143: SWAP3
00000144: AND
00000145: SWAP2
00000146: SWAP1
00000147: SWAP2
00000148: DIV
00000149: PUSH1 0x1f
0000014b: DUP2
0000014c: ADD
0000014d: DUP3
0000014e: SWAP1
0000014f: DIV
00000150: DUP3
00000151: MUL
00000152: DUP5
00000153: ADD
00000154: DUP3
00000155: ADD
00000156: SWAP1
00000157: SWAP5
00000158: MSTORE
00000159: DUP4
0000015a: DUP4
0000015b: MSTORE
0000015c: PUSH2 0x068d
0000015f: SWAP4
00000160: SWAP1
00000161: DUP4
00000162: ADD
00000163: DUP3
00000164: DUP3
00000165: DUP1
00000166: ISZERO
00000167: PUSH2 0x075b
0000016a: JUMPI
0000016b: DUP1
0000016c: PUSH1 0x1f
0000016e: LT
0000016f: PUSH2 0x0730
00000172: JUMPI
00000173: PUSH2 0x0100
00000176: DUP1
00000177: DUP4
00000178: SLOAD
00000179: DIV
0000017a: MUL
0000017b: DUP4
0000017c: MSTORE
0000017d: SWAP2
0000017e: PUSH1 0x20
00000180: ADD
00000181: SWAP2
00000182: PUSH2 0x075b
00000185: JUMP
00000186: JUMPDEST
00000187: PUSH2 0x05db
0000018a: PUSH1 0x06
0000018c: SLOAD
0000018d: DUP2
0000018e: JUMP
0000018f: JUMPDEST
00000190: PUSH2 0x05db
00000193: PUSH1 0x04
00000195: SLOAD
00000196: DUP2
00000197: JUMP
00000198: JUMPDEST
00000199: PUSH2 0x05db
0000019c: PUSH1 0x04
0000019e: CALLDATALOAD
0000019f: PUSH1 0x24
000001a1: CALLDATALOAD
000001a2: PUSH1 0x44
000001a4: CALLDATALOAD
000001a5: PUSH1 0x01
000001a7: PUSH1 0xa0
000001a9: PUSH1 0x02
000001ab: EXP
000001ac: SUB
000001ad: DUP4
000001ae: AND
000001af: PUSH1 0x00
000001b1: SWAP1
000001b2: DUP2
000001b3: MSTORE
000001b4: PUSH1 0x0b
000001b6: PUSH1 0x20
000001b8: MSTORE
000001b9: PUSH1 0x40
000001bb: DUP2
000001bc: KECCAK256
000001bd: SLOAD
000001be: DUP3
000001bf: SWAP1
000001c0: LT
000001c1: ISZERO
000001c2: PUSH2 0x0928
000001c5: JUMPI
000001c6: PUSH2 0x0002
000001c9: JUMP
000001ca: JUMPDEST
000001cb: PUSH2 0x06fb
000001ce: PUSH1 0x03
000001d0: SLOAD
000001d1: PUSH1 0xff
000001d3: AND
000001d4: DUP2
000001d5: JUMP
000001d6: JUMPDEST
000001d7: PUSH2 0x05db
000001da: PUSH1 0x08
000001dc: SLOAD
000001dd: DUP2
000001de: JUMP
000001df: JUMPDEST
000001e0: PUSH2 0x05db
000001e3: PUSH1 0x09
000001e5: SLOAD
000001e6: DUP2
000001e7: JUMP
000001e8: JUMPDEST
000001e9: PUSH1 0x40
000001eb: DUP1
000001ec: MLOAD
000001ed: PUSH1 0x02
000001ef: DUP1
000001f0: SLOAD
000001f1: PUSH1 0x20
000001f3: PUSH1 0x01
000001f5: DUP3
000001f6: AND
000001f7: ISZERO
000001f8: PUSH2 0x0100
000001fb: MUL
000001fc: PUSH1 0x00
000001fe: NOT
000001ff: ADD
00000200: SWAP1
00000201: SWAP2
00000202: AND
00000203: DUP3
00000204: SWAP1
00000205: DIV
00000206: PUSH1 0x1f
00000208: DUP2
00000209: ADD
0000020a: DUP3
0000020b: SWAP1
0000020c: DIV
0000020d: DUP3
0000020e: MUL
0000020f: DUP5
00000210: ADD
00000211: DUP3
00000212: ADD
00000213: SWAP1
00000214: SWAP5
00000215: MSTORE
00000216: DUP4
00000217: DUP4
00000218: MSTORE
00000219: PUSH2 0x068d
0000021c: SWAP4
0000021d: SWAP1
0000021e: DUP4
0000021f: ADD
00000220: DUP3
00000221: DUP3
00000222: DUP1
00000223: ISZERO
00000224: PUSH2 0x075b
00000227: JUMPI
00000228: DUP1
00000229: PUSH1 0x1f
0000022b: LT
0000022c: PUSH2 0x0730
0000022f: JUMPI
00000230: PUSH2 0x0100
00000233: DUP1
00000234: DUP4
00000235: SLOAD
00000236: DIV
00000237: MUL
00000238: DUP4
00000239: MSTORE
0000023a: SWAP2
0000023b: PUSH1 0x20
0000023d: ADD
0000023e: SWAP2
0000023f: PUSH2 0x075b
00000242: JUMP
00000243: JUMPDEST
00000244: PUSH2 0x0711
00000247: PUSH1 0x07
00000249: SLOAD
0000024a: PUSH1 0x01
0000024c: PUSH1 0xa0
0000024e: PUSH1 0x02
00000250: EXP
00000251: SUB
00000252: AND
00000253: DUP2
00000254: JUMP
00000255: JUMPDEST
00000256: PUSH2 0x05db
00000259: PUSH1 0x04
0000025b: CALLDATALOAD
0000025c: PUSH1 0x0b
0000025e: PUSH1 0x20
00000260: MSTORE
00000261: PUSH1 0x00
00000263: SWAP1
00000264: DUP2
00000265: MSTORE
00000266: PUSH1 0x40
00000268: SWAP1
00000269: KECCAK256
0000026a: SLOAD
0000026b: DUP2
0000026c: JUMP
0000026d: JUMPDEST
0000026e: PUSH13 0x0c9f2c9cd04674edea40000000
0000027c: PUSH1 0x08
0000027e: DUP2
0000027f: SWAP1
00000280: SSTORE
00000281: PUSH1 0x07
00000283: DUP1
00000284: SLOAD
00000285: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000029a: NOT
0000029b: AND
0000029c: CALLER
0000029d: OR
0000029e: DUP2
0000029f: SSTORE
000002a0: ADDRESS
000002a1: PUSH1 0x01
000002a3: PUSH1 0xa0
000002a5: PUSH1 0x02
000002a7: EXP
000002a8: SUB
000002a9: AND
000002aa: PUSH1 0x00
000002ac: SWAP1
000002ad: DUP2
000002ae: MSTORE
000002af: PUSH1 0x0b
000002b1: PUSH1 0x20
000002b3: SWAP1
000002b4: DUP2
000002b5: MSTORE
000002b6: PUSH1 0x40
000002b8: DUP1
000002b9: DUP4
000002ba: KECCAK256
000002bb: DUP6
000002bc: SWAP1
000002bd: SSTORE
000002be: PUSH1 0x04
000002c0: SWAP5
000002c1: SWAP1
000002c2: SWAP5
000002c3: SSTORE
000002c4: DUP4
000002c5: MLOAD
000002c6: DUP1
000002c7: DUP6
000002c8: ADD
000002c9: SWAP1
000002ca: SWAP5
000002cb: MSTORE
000002cc: SWAP2
000002cd: DUP4
000002ce: MSTORE
000002cf: PUSH32 0x4554484c49544500000000000000000000000000000000000000000000000000
000002f0: SWAP3
000002f1: DUP3
000002f2: ADD
000002f3: SWAP3
000002f4: DUP4
000002f5: MSTORE
000002f6: DUP1
000002f7: SLOAD
000002f8: DUP2
000002f9: DUP1
000002fa: MSTORE
000002fb: SWAP3
000002fc: MLOAD
000002fd: PUSH1 0xff
000002ff: NOT
00000300: AND
00000301: PUSH1 0x0e
00000303: OR
00000304: DUP2
00000305: SSTORE
00000306: PUSH2 0x072e
00000309: SWAP3
0000030a: SWAP1
0000030b: SWAP2
0000030c: PUSH2 0x0763
0000030f: SWAP2
00000310: PUSH1 0x02
00000312: PUSH1 0x01
00000314: DUP3
00000315: AND
00000316: ISZERO
00000317: PUSH2 0x0100
0000031a: MUL
0000031b: PUSH1 0x00
0000031d: NOT
0000031e: ADD
0000031f: SWAP1
00000320: SWAP2
00000321: AND
00000322: DIV
00000323: PUSH1 0x1f
00000325: ADD
00000326: DIV
00000327: PUSH32 0x290decd9548b62a8d60345a988386fc84ba6bc95484008f6362f93160ef3e563
00000348: SWAP1
00000349: DUP2
0000034a: ADD
0000034b: SWAP1
0000034c: JUMPDEST
0000034d: DUP1
0000034e: DUP3
0000034f: GT
00000350: ISZERO
00000351: PUSH2 0x07f5
00000354: JUMPI
00000355: PUSH1 0x00
00000357: DUP2
00000358: SSTORE
00000359: PUSH1 0x01
0000035b: ADD
0000035c: PUSH2 0x034c
0000035f: JUMP
00000360: JUMPDEST
00000361: PUSH2 0x05db
00000364: PUSH1 0x0a
00000366: SLOAD
00000367: DUP2
00000368: JUMP
00000369: JUMPDEST
0000036a: PUSH2 0x068d
0000036d: PUSH1 0x01
0000036f: DUP1
00000370: SLOAD
00000371: PUSH1 0x40
00000373: DUP1
00000374: MLOAD
00000375: PUSH1 0x20
00000377: PUSH1 0x02
00000379: DUP5
0000037a: DUP7
0000037b: AND
0000037c: ISZERO
0000037d: PUSH2 0x0100
00000380: MUL
00000381: PUSH1 0x00
00000383: NOT
00000384: ADD
00000385: SWAP1
00000386: SWAP5
00000387: AND
00000388: SWAP4
00000389: SWAP1
0000038a: SWAP4
0000038b: DIV
0000038c: PUSH1 0x1f
0000038e: DUP2
0000038f: ADD
00000390: DUP5
00000391: SWAP1
00000392: DIV
00000393: DUP5
00000394: MUL
00000395: DUP3
00000396: ADD
00000397: DUP5
00000398: ADD
00000399: SWAP1
0000039a: SWAP3
0000039b: MSTORE
0000039c: DUP2
0000039d: DUP2
0000039e: MSTORE
0000039f: SWAP3
000003a0: SWAP2
000003a1: DUP4
000003a2: ADD
000003a3: DUP3
000003a4: DUP3
000003a5: DUP1
000003a6: ISZERO
000003a7: PUSH2 0x075b
000003aa: JUMPI
000003ab: DUP1
000003ac: PUSH1 0x1f
000003ae: LT
000003af: PUSH2 0x0730
000003b2: JUMPI
000003b3: PUSH2 0x0100
000003b6: DUP1
000003b7: DUP4
000003b8: SLOAD
000003b9: DIV
000003ba: MUL
000003bb: DUP4
000003bc: MSTORE
000003bd: SWAP2
000003be: PUSH1 0x20
000003c0: ADD
000003c1: SWAP2
000003c2: PUSH2 0x075b
000003c5: JUMP
000003c6: JUMPDEST
000003c7: PUSH2 0x072e
000003ca: PUSH1 0x04
000003cc: CALLDATALOAD
000003cd: PUSH1 0x24
000003cf: CALLDATALOAD
000003d0: CALLER
000003d1: PUSH1 0x01
000003d3: PUSH1 0xa0
000003d5: PUSH1 0x02
000003d7: EXP
000003d8: SUB
000003d9: AND
000003da: PUSH1 0x00
000003dc: SWAP1
000003dd: DUP2
000003de: MSTORE
000003df: PUSH1 0x0b
000003e1: PUSH1 0x20
000003e3: MSTORE
000003e4: PUSH1 0x40
000003e6: SWAP1
000003e7: KECCAK256
000003e8: SLOAD
000003e9: DUP2
000003ea: SWAP1
000003eb: LT
000003ec: ISZERO
000003ed: PUSH2 0x08a7
000003f0: JUMPI
000003f1: PUSH2 0x0002
000003f4: JUMP
000003f5: JUMPDEST
000003f6: PUSH1 0x40
000003f8: DUP1
000003f9: MLOAD
000003fa: PUSH1 0x20
000003fc: PUSH1 0x44
000003fe: CALLDATALOAD
000003ff: PUSH1 0x04
00000401: DUP2
00000402: DUP2
00000403: ADD
00000404: CALLDATALOAD
00000405: PUSH1 0x1f
00000407: DUP2
00000408: ADD
00000409: DUP5
0000040a: SWAP1
0000040b: DIV
0000040c: DUP5
0000040d: MUL
0000040e: DUP6
0000040f: ADD
00000410: DUP5
00000411: ADD
00000412: SWAP1
00000413: SWAP6
00000414: MSTORE
00000415: DUP5
00000416: DUP5
00000417: MSTORE
00000418: PUSH2 0x05db
0000041b: SWAP5
0000041c: DUP2
0000041d: CALLDATALOAD
0000041e: SWAP5
0000041f: PUSH1 0x24
00000421: DUP1
00000422: CALLDATALOAD
00000423: SWAP6
00000424: SWAP4
00000425: SWAP5
00000426: PUSH1 0x64
00000428: SWAP5
00000429: SWAP3
0000042a: SWAP4
0000042b: SWAP2
0000042c: ADD
0000042d: SWAP2
0000042e: DUP2
0000042f: SWAP1
00000430: DUP5
00000431: ADD
00000432: DUP4
00000433: DUP3
00000434: DUP1
00000435: DUP3
00000436: DUP5
00000437: CALLDATACOPY
00000438: POP
00000439: SWAP5
0000043a: SWAP7
0000043b: POP
0000043c: POP
0000043d: POP
0000043e: POP
0000043f: POP
00000440: POP
00000441: POP
00000442: PUSH1 0x00
00000444: PUSH1 0x00
00000446: DUP4
00000447: PUSH1 0x0c
00000449: PUSH1 0x00
0000044b: POP
0000044c: PUSH1 0x00
0000044e: CALLER
0000044f: PUSH1 0x01
00000451: PUSH1 0xa0
00000453: PUSH1 0x02
00000455: EXP
00000456: SUB
00000457: AND
00000458: DUP2
00000459: MSTORE
0000045a: PUSH1 0x20
0000045c: ADD
0000045d: SWAP1
0000045e: DUP2
0000045f: MSTORE
00000460: PUSH1 0x20
00000462: ADD
00000463: PUSH1 0x00
00000465: KECCAK256
00000466: PUSH1 0x00
00000468: POP
00000469: PUSH1 0x00
0000046b: DUP8
0000046c: PUSH1 0x01
0000046e: PUSH1 0xa0
00000470: PUSH1 0x02
00000472: EXP
00000473: SUB
00000474: AND
00000475: DUP2
00000476: MSTORE
00000477: PUSH1 0x20
00000479: ADD
0000047a: SWAP1
0000047b: DUP2
0000047c: MSTORE
0000047d: PUSH1 0x20
0000047f: ADD
00000480: PUSH1 0x00
00000482: KECCAK256
00000483: PUSH1 0x00
00000485: POP
00000486: DUP2
00000487: SWAP1
00000488: SSTORE
00000489: POP
0000048a: DUP5
0000048b: SWAP1
0000048c: POP
0000048d: DUP1
0000048e: PUSH1 0x01
00000490: PUSH1 0xa0
00000492: PUSH1 0x02
00000494: EXP
00000495: SUB
00000496: AND
00000497: PUSH4 0x8f4ffcb1
0000049c: CALLER
0000049d: DUP7
0000049e: ADDRESS
0000049f: DUP8
000004a0: PUSH1 0x40
000004a2: MLOAD
000004a3: DUP6
000004a4: PUSH1 0xe0
000004a6: PUSH1 0x02
000004a8: EXP
000004a9: MUL
000004aa: DUP2
000004ab: MSTORE
000004ac: PUSH1 0x04
000004ae: ADD
000004af: DUP1
000004b0: DUP6
000004b1: PUSH1 0x01
000004b3: PUSH1 0xa0
000004b5: PUSH1 0x02
000004b7: EXP
000004b8: SUB
000004b9: AND
000004ba: DUP2
000004bb: MSTORE
000004bc: PUSH1 0x20
000004be: ADD
000004bf: DUP5
000004c0: DUP2
000004c1: MSTORE
000004c2: PUSH1 0x20
000004c4: ADD
000004c5: DUP4
000004c6: PUSH1 0x01
000004c8: PUSH1 0xa0
000004ca: PUSH1 0x02
000004cc: EXP
000004cd: SUB
000004ce: AND
000004cf: DUP2
000004d0: MSTORE
000004d1: PUSH1 0x20
000004d3: ADD
000004d4: DUP1
000004d5: PUSH1 0x20
000004d7: ADD
000004d8: DUP3
000004d9: DUP2
000004da: SUB
000004db: DUP3
000004dc: MSTORE
000004dd: DUP4
000004de: DUP2
000004df: DUP2
000004e0: MLOAD
000004e1: DUP2
000004e2: MSTORE
000004e3: PUSH1 0x20
000004e5: ADD
000004e6: SWAP2
000004e7: POP
000004e8: DUP1
000004e9: MLOAD
000004ea: SWAP1
000004eb: PUSH1 0x20
000004ed: ADD
000004ee: SWAP1
000004ef: DUP1
000004f0: DUP4
000004f1: DUP4
000004f2: DUP3
000004f3: SWAP1
000004f4: PUSH1 0x00
000004f6: PUSH1 0x04
000004f8: PUSH1 0x20
000004fa: DUP5
000004fb: PUSH1 0x1f
000004fd: ADD
000004fe: DIV
000004ff: PUSH1 0x0f
00000501: MUL
00000502: PUSH1 0x03
00000504: ADD
00000505: CALL
00000506: POP
00000507: SWAP1
00000508: POP
00000509: SWAP1
0000050a: DUP2
0000050b: ADD
0000050c: SWAP1
0000050d: PUSH1 0x1f
0000050f: AND
00000510: DUP1
00000511: ISZERO
00000512: PUSH2 0x052f
00000515: JUMPI
00000516: DUP1
00000517: DUP3
00000518: SUB
00000519: DUP1
0000051a: MLOAD
0000051b: PUSH1 0x01
0000051d: DUP4
0000051e: PUSH1 0x20
00000520: SUB
00000521: PUSH2 0x0100
00000524: EXP
00000525: SUB
00000526: NOT
00000527: AND
00000528: DUP2
00000529: MSTORE
0000052a: PUSH1 0x20
0000052c: ADD
0000052d: SWAP2
0000052e: POP
0000052f: JUMPDEST
00000530: POP
00000531: SWAP6
00000532: POP
00000533: POP
00000534: POP
00000535: POP
00000536: POP
00000537: POP
00000538: PUSH1 0x00
0000053a: PUSH1 0x40
0000053c: MLOAD
0000053d: DUP1
0000053e: DUP4
0000053f: SUB
00000540: DUP2
00000541: PUSH1 0x00
00000543: DUP8
00000544: PUSH2 0x61da
00000547: GAS
00000548: SUB
00000549: CALL
0000054a: ISZERO
0000054b: PUSH2 0x0002
0000054e: JUMPI
0000054f: POP
00000550: PUSH1 0x01
00000552: SWAP8
00000553: SWAP7
00000554: POP
00000555: POP
00000556: POP
00000557: POP
00000558: POP
00000559: POP
0000055a: POP
0000055b: JUMP
0000055c: JUMPDEST
0000055d: PUSH1 0x0d
0000055f: PUSH1 0x20
00000561: SWAP1
00000562: DUP2
00000563: MSTORE
00000564: PUSH1 0x04
00000566: CALLDATALOAD
00000567: PUSH1 0x00
00000569: SWAP1
0000056a: DUP2
0000056b: MSTORE
0000056c: PUSH1 0x40
0000056e: DUP1
0000056f: DUP3
00000570: KECCAK256
00000571: SWAP1
00000572: SWAP3
00000573: MSTORE
00000574: PUSH1 0x24
00000576: CALLDATALOAD
00000577: DUP2
00000578: MSTORE
00000579: KECCAK256
0000057a: SLOAD
0000057b: PUSH2 0x05db
0000057e: SWAP1
0000057f: DUP2
00000580: JUMP
00000581: JUMPDEST
00000582: PUSH1 0x0c
00000584: PUSH1 0x20
00000586: SWAP1
00000587: DUP2
00000588: MSTORE
00000589: PUSH1 0x04
0000058b: CALLDATALOAD
0000058c: PUSH1 0x00
0000058e: SWAP1
0000058f: DUP2
00000590: MSTORE
00000591: PUSH1 0x40
00000593: DUP1
00000594: DUP3
00000595: KECCAK256
00000596: SWAP1
00000597: SWAP3
00000598: MSTORE
00000599: PUSH1 0x24
0000059b: CALLDATALOAD
0000059c: DUP2
0000059d: MSTORE
0000059e: KECCAK256
0000059f: SLOAD
000005a0: PUSH2 0x05db
000005a3: SWAP1
000005a4: DUP2
000005a5: JUMP
000005a6: JUMPDEST
000005a7: PUSH2 0x05db
000005aa: PUSH1 0x05
000005ac: SLOAD
000005ad: DUP2
000005ae: JUMP
000005af: JUMPDEST
000005b0: PUSH2 0x05db
000005b3: PUSH1 0x04
000005b5: CALLDATALOAD
000005b6: CALLER
000005b7: PUSH1 0x01
000005b9: PUSH1 0xa0
000005bb: PUSH1 0x02
000005bd: EXP
000005be: SUB
000005bf: AND
000005c0: PUSH1 0x00
000005c2: SWAP1
000005c3: DUP2
000005c4: MSTORE
000005c5: PUSH1 0x0b
000005c7: PUSH1 0x20
000005c9: MSTORE
000005ca: PUSH1 0x40
000005cc: DUP2
000005cd: KECCAK256
000005ce: SLOAD
000005cf: DUP3
000005d0: SWAP1
000005d1: LT
000005d2: ISZERO
000005d3: PUSH2 0x0a13
000005d6: JUMPI
000005d7: PUSH2 0x0002
000005da: JUMP
000005db: JUMPDEST
000005dc: PUSH1 0x40
000005de: DUP1
000005df: MLOAD
000005e0: SWAP2
000005e1: DUP3
000005e2: MSTORE
000005e3: MLOAD
000005e4: SWAP1
000005e5: DUP2
000005e6: SWAP1
000005e7: SUB
000005e8: PUSH1 0x20
000005ea: ADD
000005eb: SWAP1
000005ec: RETURN
000005ed: JUMPDEST
000005ee: PUSH1 0x06
000005f0: DUP1
000005f1: SLOAD
000005f2: CALLER
000005f3: PUSH1 0x01
000005f5: PUSH1 0xa0
000005f7: PUSH1 0x02
000005f9: EXP
000005fa: SUB
000005fb: SWAP1
000005fc: DUP2
000005fd: AND
000005fe: PUSH1 0x00
00000600: DUP2
00000601: DUP2
00000602: MSTORE
00000603: PUSH1 0x0b
00000605: PUSH1 0x20
00000607: SWAP1
00000608: DUP2
00000609: MSTORE
0000060a: PUSH1 0x40
0000060c: DUP1
0000060d: DUP4
0000060e: KECCAK256
0000060f: DUP1
00000610: SLOAD
00000611: SWAP7
00000612: SWAP1
00000613: SWAP7
00000614: ADD
00000615: SWAP1
00000616: SWAP6
00000617: SSTORE
00000618: PUSH1 0x05
0000061a: SLOAD
0000061b: DUP7
0000061c: SLOAD
0000061d: ADDRESS
0000061e: SWAP1
0000061f: SWAP6
00000620: AND
00000621: DUP1
00000622: DUP5
00000623: MSTORE
00000624: SWAP3
00000625: DUP7
00000626: SWAP1
00000627: KECCAK256
00000628: DUP1
00000629: SLOAD
0000062a: SWAP6
0000062b: SWAP1
0000062c: SWAP2
0000062d: ADD
0000062e: SWAP1
0000062f: SWAP5
00000630: SUB
00000631: SWAP1
00000632: SWAP4
00000633: SSTORE
00000634: DUP4
00000635: MLOAD
00000636: SWAP5
00000637: SLOAD
00000638: DUP6
00000639: MSTORE
0000063a: SWAP3
0000063b: MLOAD
0000063c: SWAP1
0000063d: SWAP4
0000063e: PUSH1 0x00
00000640: DUP1
00000641: MLOAD
00000642: PUSH1 0x20
00000644: PUSH2 0x0a90
00000647: DUP4
00000648: CODECOPY
00000649: DUP2
0000064a: MLOAD
0000064b: SWAP2
0000064c: MSTORE
0000064d: SWAP3
0000064e: SWAP1
0000064f: DUP3
00000650: SWAP1
00000651: SUB
00000652: ADD
00000653: SWAP1
00000654: LOG3
00000655: PUSH1 0x40
00000657: DUP1
00000658: MLOAD
00000659: PUSH1 0x07
0000065b: SLOAD
0000065c: PUSH1 0x05
0000065e: SLOAD
0000065f: DUP3
00000660: MSTORE
00000661: SWAP2
00000662: MLOAD
00000663: PUSH1 0x01
00000665: PUSH1 0xa0
00000667: PUSH1 0x02
00000669: EXP
0000066a: SUB
0000066b: SWAP3
0000066c: DUP4
0000066d: AND
0000066e: SWAP3
0000066f: ADDRESS
00000670: AND
00000671: SWAP2
00000672: PUSH1 0x00
00000674: DUP1
00000675: MLOAD
00000676: PUSH1 0x20
00000678: PUSH2 0x0a90
0000067b: DUP4
0000067c: CODECOPY
0000067d: DUP2
0000067e: MLOAD
0000067f: SWAP2
00000680: MSTORE
00000681: SWAP2
00000682: SWAP1
00000683: DUP2
00000684: SWAP1
00000685: SUB
00000686: PUSH1 0x20
00000688: ADD
00000689: SWAP1
0000068a: LOG3
0000068b: SWAP1
0000068c: JUMP
0000068d: JUMPDEST
0000068e: PUSH1 0x40
00000690: MLOAD
00000691: DUP1
00000692: DUP1
00000693: PUSH1 0x20
00000695: ADD
00000696: DUP3
00000697: DUP2
00000698: SUB
00000699: DUP3
0000069a: MSTORE
0000069b: DUP4
0000069c: DUP2
0000069d: DUP2
0000069e: MLOAD
0000069f: DUP2
000006a0: MSTORE
000006a1: PUSH1 0x20
000006a3: ADD
000006a4: SWAP2
000006a5: POP
000006a6: DUP1
000006a7: MLOAD
000006a8: SWAP1
000006a9: PUSH1 0x20
000006ab: ADD
000006ac: SWAP1
000006ad: DUP1
000006ae: DUP4
000006af: DUP4
000006b0: DUP3
000006b1: SWAP1
000006b2: PUSH1 0x00
000006b4: PUSH1 0x04
000006b6: PUSH1 0x20
000006b8: DUP5
000006b9: PUSH1 0x1f
000006bb: ADD
000006bc: DIV
000006bd: PUSH1 0x0f
000006bf: MUL
000006c0: PUSH1 0x03
000006c2: ADD
000006c3: CALL
000006c4: POP
000006c5: SWAP1
000006c6: POP
000006c7: SWAP1
000006c8: DUP2
000006c9: ADD
000006ca: SWAP1
000006cb: PUSH1 0x1f
000006cd: AND
000006ce: DUP1
000006cf: ISZERO
000006d0: PUSH2 0x06ed
000006d3: JUMPI
000006d4: DUP1
000006d5: DUP3
000006d6: SUB
000006d7: DUP1
000006d8: MLOAD
000006d9: PUSH1 0x01
000006db: DUP4
000006dc: PUSH1 0x20
000006de: SUB
000006df: PUSH2 0x0100
000006e2: EXP
000006e3: SUB
000006e4: NOT
000006e5: AND
000006e6: DUP2
000006e7: MSTORE
000006e8: PUSH1 0x20
000006ea: ADD
000006eb: SWAP2
000006ec: POP
000006ed: JUMPDEST
000006ee: POP
000006ef: SWAP3
000006f0: POP
000006f1: POP
000006f2: POP
000006f3: PUSH1 0x40
000006f5: MLOAD
000006f6: DUP1
000006f7: SWAP2
000006f8: SUB
000006f9: SWAP1
000006fa: RETURN
000006fb: JUMPDEST
000006fc: PUSH1 0x40
000006fe: DUP1
000006ff: MLOAD
00000700: PUSH1 0xff
00000702: SWAP1
00000703: SWAP3
00000704: AND
00000705: DUP3
00000706: MSTORE
00000707: MLOAD
00000708: SWAP1
00000709: DUP2
0000070a: SWAP1
0000070b: SUB
0000070c: PUSH1 0x20
0000070e: ADD
0000070f: SWAP1
00000710: RETURN
00000711: JUMPDEST
00000712: PUSH1 0x40
00000714: DUP1
00000715: MLOAD
00000716: PUSH1 0x01
00000718: PUSH1 0xa0
0000071a: PUSH1 0x02
0000071c: EXP
0000071d: SUB
0000071e: SWAP3
0000071f: SWAP1
00000720: SWAP3
00000721: AND
00000722: DUP3
00000723: MSTORE
00000724: MLOAD
00000725: SWAP1
00000726: DUP2
00000727: SWAP1
00000728: SUB
00000729: PUSH1 0x20
0000072b: ADD
0000072c: SWAP1
0000072d: RETURN
0000072e: JUMPDEST
0000072f: STOP
00000730: JUMPDEST
00000731: DUP3
00000732: ADD
00000733: SWAP2
00000734: SWAP1
00000735: PUSH1 0x00
00000737: MSTORE
00000738: PUSH1 0x20
0000073a: PUSH1 0x00
0000073c: KECCAK256
0000073d: SWAP1
0000073e: JUMPDEST
0000073f: DUP2
00000740: SLOAD
00000741: DUP2
00000742: MSTORE
00000743: SWAP1
00000744: PUSH1 0x01
00000746: ADD
00000747: SWAP1
00000748: PUSH1 0x20
0000074a: ADD
0000074b: DUP1
0000074c: DUP4
0000074d: GT
0000074e: PUSH2 0x073e
00000751: JUMPI
00000752: DUP3
00000753: SWAP1
00000754: SUB
00000755: PUSH1 0x1f
00000757: AND
00000758: DUP3
00000759: ADD
0000075a: SWAP2
0000075b: JUMPDEST
0000075c: POP
0000075d: POP
0000075e: POP
0000075f: POP
00000760: POP
00000761: DUP2
00000762: JUMP
00000763: JUMPDEST
00000764: POP
00000765: POP
00000766: PUSH1 0x40
00000768: DUP1
00000769: MLOAD
0000076a: DUP1
0000076b: DUP3
0000076c: ADD
0000076d: SWAP1
0000076e: SWAP2
0000076f: MSTORE
00000770: PUSH1 0x04
00000772: DUP2
00000773: MSTORE
00000774: PUSH32 0x4c45544800000000000000000000000000000000000000000000000000000000
00000795: PUSH1 0x20
00000797: SWAP2
00000798: DUP3
00000799: ADD
0000079a: SWAP1
0000079b: DUP2
0000079c: MSTORE
0000079d: PUSH1 0x01
0000079f: DUP1
000007a0: SLOAD
000007a1: PUSH1 0x00
000007a3: DUP3
000007a4: SWAP1
000007a5: MSTORE
000007a6: SWAP2
000007a7: MLOAD
000007a8: PUSH1 0xff
000007aa: NOT
000007ab: AND
000007ac: PUSH1 0x08
000007ae: OR
000007af: DUP2
000007b0: SSTORE
000007b1: SWAP2
000007b2: PUSH2 0x07f9
000007b5: SWAP2
000007b6: PUSH1 0x02
000007b8: DUP2
000007b9: DUP6
000007ba: AND
000007bb: ISZERO
000007bc: PUSH2 0x0100
000007bf: MUL
000007c0: PUSH1 0x00
000007c2: NOT
000007c3: ADD
000007c4: SWAP1
000007c5: SWAP2
000007c6: AND
000007c7: DIV
000007c8: PUSH1 0x1f
000007ca: ADD
000007cb: DIV
000007cc: PUSH32 0xb10e2d527612073b26eecdfd717e6a320cf44b4afac2b0732d9fcbe2b7fa0cf6
000007ed: SWAP1
000007ee: DUP2
000007ef: ADD
000007f0: SWAP1
000007f1: PUSH2 0x034c
000007f4: JUMP
000007f5: JUMPDEST
000007f6: POP
000007f7: SWAP1
000007f8: JUMP
000007f9: JUMPDEST
000007fa: POP
000007fb: POP
000007fc: PUSH1 0x03
000007fe: DUP1
000007ff: SLOAD
00000800: PUSH1 0xff
00000802: NOT
00000803: SWAP1
00000804: DUP2
00000805: AND
00000806: PUSH1 0x02
00000808: SWAP1
00000809: DUP2
0000080a: OR
0000080b: SWAP1
0000080c: SWAP3
0000080d: SSTORE
0000080e: PUSH1 0x40
00000810: DUP1
00000811: MLOAD
00000812: DUP1
00000813: DUP3
00000814: ADD
00000815: SWAP1
00000816: SWAP2
00000817: MSTORE
00000818: PUSH1 0x08
0000081a: DUP2
0000081b: MSTORE
0000081c: PUSH32 0x4c45544820312e31000000000000000000000000000000000000000000000000
0000083d: PUSH1 0x20
0000083f: SWAP2
00000840: DUP3
00000841: ADD
00000842: SWAP1
00000843: DUP2
00000844: MSTORE
00000845: DUP4
00000846: SLOAD
00000847: PUSH1 0x00
00000849: DUP6
0000084a: SWAP1
0000084b: MSTORE
0000084c: SWAP1
0000084d: MLOAD
0000084e: SWAP1
0000084f: SWAP3
00000850: AND
00000851: PUSH1 0x10
00000853: OR
00000854: DUP4
00000855: SSTORE
00000856: PUSH2 0x0898
00000859: SWAP2
0000085a: PUSH1 0x01
0000085c: DUP2
0000085d: AND
0000085e: ISZERO
0000085f: PUSH2 0x0100
00000862: MUL
00000863: PUSH1 0x00
00000865: NOT
00000866: ADD
00000867: AND
00000868: DUP4
00000869: SWAP1
0000086a: DIV
0000086b: PUSH1 0x1f
0000086d: ADD
0000086e: DIV
0000086f: PUSH32 0x405787fa12a823e0f2b7631cc41b3ba8828b3321ca811111fa75cd3aa3bb5ace
00000890: SWAP1
00000891: DUP2
00000892: ADD
00000893: SWAP1
00000894: PUSH2 0x034c
00000897: JUMP
00000898: JUMPDEST
00000899: POP
0000089a: POP
0000089b: PUSH2 0x2710
0000089e: PUSH1 0x09
000008a0: DUP2
000008a1: SWAP1
000008a2: SSTORE
000008a3: PUSH1 0x0a
000008a5: SSTORE
000008a6: JUMP
000008a7: JUMPDEST
000008a8: PUSH1 0x01
000008aa: PUSH1 0xa0
000008ac: PUSH1 0x02
000008ae: EXP
000008af: SUB
000008b0: DUP3
000008b1: AND
000008b2: PUSH1 0x00
000008b4: SWAP1
000008b5: DUP2
000008b6: MSTORE
000008b7: PUSH1 0x0b
000008b9: PUSH1 0x20
000008bb: MSTORE
000008bc: PUSH1 0x40
000008be: SWAP1
000008bf: KECCAK256
000008c0: SLOAD
000008c1: DUP2
000008c2: DUP2
000008c3: ADD
000008c4: LT
000008c5: ISZERO
000008c6: PUSH2 0x08ce
000008c9: JUMPI
000008ca: PUSH2 0x0002
000008cd: JUMP
000008ce: JUMPDEST
000008cf: CALLER
000008d0: PUSH1 0x01
000008d2: PUSH1 0xa0
000008d4: PUSH1 0x02
000008d6: EXP
000008d7: SUB
000008d8: SWAP1
000008d9: DUP2
000008da: AND
000008db: PUSH1 0x00
000008dd: DUP2
000008de: DUP2
000008df: MSTORE
000008e0: PUSH1 0x0b
000008e2: PUSH1 0x20
000008e4: SWAP1
000008e5: DUP2
000008e6: MSTORE
000008e7: PUSH1 0x40
000008e9: DUP1
000008ea: DUP4
000008eb: KECCAK256
000008ec: DUP1
000008ed: SLOAD
000008ee: DUP8
000008ef: SWAP1
000008f0: SUB
000008f1: SWAP1
000008f2: SSTORE
000008f3: SWAP4
000008f4: DUP7
000008f5: AND
000008f6: DUP1
000008f7: DUP4
000008f8: MSTORE
000008f9: SWAP2
000008fa: DUP5
000008fb: SWAP1
000008fc: KECCAK256
000008fd: DUP1
000008fe: SLOAD
000008ff: DUP7
00000900: ADD
00000901: SWAP1
00000902: SSTORE
00000903: DUP4
00000904: MLOAD
00000905: DUP6
00000906: DUP2
00000907: MSTORE
00000908: SWAP4
00000909: MLOAD
0000090a: SWAP2
0000090b: SWAP4
0000090c: PUSH1 0x00
0000090e: DUP1
0000090f: MLOAD
00000910: PUSH1 0x20
00000912: PUSH2 0x0a90
00000915: DUP4
00000916: CODECOPY
00000917: DUP2
00000918: MLOAD
00000919: SWAP2
0000091a: MSTORE
0000091b: SWAP3
0000091c: SWAP1
0000091d: DUP2
0000091e: SWAP1
0000091f: SUB
00000920: SWAP1
00000921: SWAP2
00000922: ADD
00000923: SWAP1
00000924: LOG3
00000925: POP
00000926: POP
00000927: JUMP
00000928: JUMPDEST
00000929: PUSH1 0x01
0000092b: PUSH1 0xa0
0000092d: PUSH1 0x02
0000092f: EXP
00000930: SUB
00000931: DUP4
00000932: AND
00000933: PUSH1 0x00
00000935: SWAP1
00000936: DUP2
00000937: MSTORE
00000938: PUSH1 0x0b
0000093a: PUSH1 0x20
0000093c: MSTORE
0000093d: PUSH1 0x40
0000093f: SWAP1
00000940: KECCAK256
00000941: SLOAD
00000942: DUP1
00000943: DUP4
00000944: ADD
00000945: LT
00000946: ISZERO
00000947: PUSH2 0x094f
0000094a: JUMPI
0000094b: PUSH2 0x0002
0000094e: JUMP
0000094f: JUMPDEST
00000950: PUSH1 0x01
00000952: PUSH1 0xa0
00000954: PUSH1 0x02
00000956: EXP
00000957: SUB
00000958: DUP5
00000959: DUP2
0000095a: AND
0000095b: PUSH1 0x00
0000095d: DUP2
0000095e: DUP2
0000095f: MSTORE
00000960: PUSH1 0x0c
00000962: PUSH1 0x20
00000964: SWAP1
00000965: DUP2
00000966: MSTORE
00000967: PUSH1 0x40
00000969: DUP1
0000096a: DUP4
0000096b: KECCAK256
0000096c: CALLER
0000096d: SWAP1
0000096e: SWAP6
0000096f: AND
00000970: DUP1
00000971: DUP5
00000972: MSTORE
00000973: SWAP5
00000974: DUP3
00000975: MSTORE
00000976: DUP1
00000977: DUP4
00000978: KECCAK256
00000979: SLOAD
0000097a: SWAP4
0000097b: DUP4
0000097c: MSTORE
0000097d: PUSH1 0x0d
0000097f: DUP3
00000980: MSTORE
00000981: DUP1
00000982: DUP4
00000983: KECCAK256
00000984: SWAP5
00000985: DUP4
00000986: MSTORE
00000987: SWAP4
00000988: SWAP1
00000989: MSTORE
0000098a: SWAP2
0000098b: SWAP1
0000098c: SWAP2
0000098d: KECCAK256
0000098e: SLOAD
0000098f: DUP4
00000990: ADD
00000991: GT
00000992: ISZERO
00000993: PUSH2 0x099b
00000996: JUMPI
00000997: PUSH2 0x0002
0000099a: JUMP
0000099b: JUMPDEST
0000099c: PUSH1 0x01
0000099e: PUSH1 0xa0
000009a0: PUSH1 0x02
000009a2: EXP
000009a3: SUB
000009a4: DUP5
000009a5: DUP2
000009a6: AND
000009a7: PUSH1 0x00
000009a9: DUP2
000009aa: DUP2
000009ab: MSTORE
000009ac: PUSH1 0x0b
000009ae: PUSH1 0x20
000009b0: SWAP1
000009b1: DUP2
000009b2: MSTORE
000009b3: PUSH1 0x40
000009b5: DUP1
000009b6: DUP4
000009b7: KECCAK256
000009b8: DUP1
000009b9: SLOAD
000009ba: DUP9
000009bb: SWAP1
000009bc: SUB
000009bd: SWAP1
000009be: SSTORE
000009bf: DUP8
000009c0: DUP6
000009c1: AND
000009c2: DUP1
000009c3: DUP5
000009c4: MSTORE
000009c5: DUP2
000009c6: DUP5
000009c7: KECCAK256
000009c8: DUP1
000009c9: SLOAD
000009ca: DUP10
000009cb: ADD
000009cc: SWAP1
000009cd: SSTORE
000009ce: DUP5
000009cf: DUP5
000009d0: MSTORE
000009d1: PUSH1 0x0d
000009d3: DUP4
000009d4: MSTORE
000009d5: DUP2
000009d6: DUP5
000009d7: KECCAK256
000009d8: CALLER
000009d9: SWAP1
000009da: SWAP7
000009db: AND
000009dc: DUP5
000009dd: MSTORE
000009de: SWAP5
000009df: DUP3
000009e0: MSTORE
000009e1: SWAP2
000009e2: DUP3
000009e3: SWAP1
000009e4: KECCAK256
000009e5: DUP1
000009e6: SLOAD
000009e7: DUP8
000009e8: ADD
000009e9: SWAP1
000009ea: SSTORE
000009eb: DUP2
000009ec: MLOAD
000009ed: DUP7
000009ee: DUP2
000009ef: MSTORE
000009f0: SWAP2
000009f1: MLOAD
000009f2: PUSH1 0x00
000009f4: DUP1
000009f5: MLOAD
000009f6: PUSH1 0x20
000009f8: PUSH2 0x0a90
000009fb: DUP4
000009fc: CODECOPY
000009fd: DUP2
000009fe: MLOAD
000009ff: SWAP2
00000a00: MSTORE
00000a01: SWAP3
00000a02: DUP2
00000a03: SWAP1
00000a04: SUB
00000a05: SWAP1
00000a06: SWAP2
00000a07: ADD
00000a08: SWAP1
00000a09: LOG3
00000a0a: POP
00000a0b: PUSH1 0x01
00000a0d: SWAP4
00000a0e: SWAP3
00000a0f: POP
00000a10: POP
00000a11: POP
00000a12: JUMP
00000a13: JUMPDEST
00000a14: POP
00000a15: PUSH1 0x01
00000a17: PUSH1 0xa0
00000a19: PUSH1 0x02
00000a1b: EXP
00000a1c: SUB
00000a1d: ADDRESS
00000a1e: DUP2
00000a1f: AND
00000a20: PUSH1 0x00
00000a22: SWAP1
00000a23: DUP2
00000a24: MSTORE
00000a25: PUSH1 0x0b
00000a27: PUSH1 0x20
00000a29: MSTORE
00000a2a: PUSH1 0x40
00000a2c: DUP1
00000a2d: DUP3
00000a2e: KECCAK256
00000a2f: DUP1
00000a30: SLOAD
00000a31: DUP6
00000a32: ADD
00000a33: SWAP1
00000a34: SSTORE
00000a35: CALLER
00000a36: SWAP1
00000a37: SWAP3
00000a38: AND
00000a39: DUP1
00000a3a: DUP3
00000a3b: MSTORE
00000a3c: DUP3
00000a3d: DUP3
00000a3e: KECCAK256
00000a3f: DUP1
00000a40: SLOAD
00000a41: DUP6
00000a42: SWAP1
00000a43: SUB
00000a44: SWAP1
00000a45: SSTORE
00000a46: SWAP2
00000a47: MLOAD
00000a48: PUSH1 0x09
00000a4a: SLOAD
00000a4b: DUP5
00000a4c: MUL
00000a4d: SWAP3
00000a4e: SWAP2
00000a4f: SWAP1
00000a50: DUP4
00000a51: SWAP1
00000a52: DUP3
00000a53: DUP2
00000a54: DUP2
00000a55: DUP2
00000a56: DUP6
00000a57: DUP9
00000a58: DUP4
00000a59: CALL
00000a5a: POP
00000a5b: POP
00000a5c: PUSH1 0x40
00000a5e: DUP1
00000a5f: MLOAD
00000a60: DUP7
00000a61: DUP2
00000a62: MSTORE
00000a63: SWAP1
00000a64: MLOAD
00000a65: PUSH1 0x01
00000a67: PUSH1 0xa0
00000a69: PUSH1 0x02
00000a6b: EXP
00000a6c: SUB
00000a6d: ADDRESS
00000a6e: AND
00000a6f: SWAP5
00000a70: SWAP4
00000a71: POP
00000a72: PUSH1 0x00
00000a74: DUP1
00000a75: MLOAD
00000a76: PUSH1 0x20
00000a78: PUSH2 0x0a90
00000a7b: DUP4
00000a7c: CODECOPY
00000a7d: DUP2
00000a7e: MLOAD
00000a7f: SWAP2
00000a80: MSTORE
00000a81: SWAP3
00000a82: POP
00000a83: SWAP1
00000a84: DUP2
00000a85: SWAP1
00000a86: SUB
00000a87: PUSH1 0x20
00000a89: ADD
00000a8a: SWAP1
00000a8b: LOG3
00000a8c: SWAP2
00000a8d: SWAP1
00000a8e: POP
00000a8f: JUMP
00000a90: UNKNOWN(0xDD)
00000a91: CALLCODE
00000a92: MSTORE
00000a93: UNKNOWN(0xAD)
00000a94: SHL
00000a95: UNKNOWN(0xE2)
00000a96: UNKNOWN(0xC8)
00000a97: SWAP12
00000a98: PUSH10 0xc2b068fc378daa952ba7
00000aa3: CALL
00000aa4: PUSH4 0xc4a11628
00000aa9: CREATE2
00000aaa: GAS
00000aab: UNKNOWN(0x4D)
00000aac: CREATE2
00000aad: UNKNOWN(0x23)
00000aae: UNKNOWN(0xB3)
00000aaf: UNKNOWN(0xEF)

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.