Analysis Run

OpenAI Codex v0.118.0 (research preview)
--------
workdir: /tmp/codex-sy6bv2g7
model: gpt-5.4
provider: openai
approval: never
sandbox: read-only
reasoning effort: high
reasoning summaries: none
session id: 019d5c9a-bdde-7372-ad60-61a24ba9f58a
--------
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:45:39.937204+00:00",
        "returncode": 1
    },
    "project": {
        "mode": "bytecode",
        "bytecode_length": 6784,
        "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 0x0082
0000000a: JUMPI
0000000b: PUSH1 0xe0
0000000d: PUSH1 0x02
0000000f: EXP
00000010: PUSH1 0x00
00000012: CALLDATALOAD
00000013: DIV
00000014: PUSH4 0x27e235e3
00000019: DUP2
0000001a: EQ
0000001b: PUSH2 0x0090
0000001e: JUMPI
0000001f: DUP1
00000020: PUSH4 0x2de02f8c
00000025: EQ
00000026: PUSH2 0x00ad
00000029: JUMPI
0000002a: DUP1
0000002b: PUSH4 0x4a79d50c
00000030: EQ
00000031: PUSH2 0x015e
00000034: JUMPI
00000035: DUP1
00000036: PUSH4 0x5a3b7e42
0000003b: EQ
0000003c: PUSH2 0x01c0
0000003f: JUMPI
00000040: DUP1
00000041: PUSH4 0x9b6cb9a2
00000046: EQ
00000047: PUSH2 0x0223
0000004a: JUMPI
0000004b: DUP1
0000004c: PUSH4 0x9d5e6c9d
00000051: EQ
00000052: PUSH2 0x02ce
00000055: JUMPI
00000056: DUP1
00000057: PUSH4 0xa035b1fe
0000005c: EQ
0000005d: PUSH2 0x02e5
00000060: JUMPI
00000061: DUP1
00000062: PUSH4 0xc7802177
00000067: EQ
00000068: PUSH2 0x02f3
0000006b: JUMPI
0000006c: DUP1
0000006d: PUSH4 0xe6ad7c03
00000072: EQ
00000073: PUSH2 0x0485
00000076: JUMPI
00000077: DUP1
00000078: PUSH4 0xfc09e227
0000007d: EQ
0000007e: PUSH2 0x06c9
00000081: JUMPI
00000082: JUMPDEST
00000083: CALLVALUE
00000084: PUSH2 0x0002
00000087: JUMPI
00000088: PUSH2 0x07d6
0000008b: JUMPDEST
0000008c: PUSH2 0x0002
0000008f: JUMP
00000090: JUMPDEST
00000091: CALLVALUE
00000092: PUSH2 0x0002
00000095: JUMPI
00000096: PUSH2 0x07d8
00000099: PUSH1 0x04
0000009b: CALLDATALOAD
0000009c: PUSH1 0x07
0000009e: PUSH1 0x20
000000a0: MSTORE
000000a1: PUSH1 0x00
000000a3: SWAP1
000000a4: DUP2
000000a5: MSTORE
000000a6: PUSH1 0x40
000000a8: SWAP1
000000a9: KECCAK256
000000aa: SLOAD
000000ab: DUP2
000000ac: JUMP
000000ad: JUMPDEST
000000ae: CALLVALUE
000000af: PUSH2 0x0002
000000b2: JUMPI
000000b3: PUSH2 0x07ea
000000b6: PUSH1 0x04
000000b8: DUP1
000000b9: DUP1
000000ba: CALLDATALOAD
000000bb: SWAP1
000000bc: PUSH1 0x20
000000be: ADD
000000bf: SWAP1
000000c0: DUP3
000000c1: ADD
000000c2: DUP1
000000c3: CALLDATALOAD
000000c4: SWAP1
000000c5: PUSH1 0x20
000000c7: ADD
000000c8: SWAP2
000000c9: SWAP2
000000ca: SWAP1
000000cb: DUP1
000000cc: DUP1
000000cd: PUSH1 0x1f
000000cf: ADD
000000d0: PUSH1 0x20
000000d2: DUP1
000000d3: SWAP2
000000d4: DIV
000000d5: MUL
000000d6: PUSH1 0x20
000000d8: ADD
000000d9: PUSH1 0x40
000000db: MLOAD
000000dc: SWAP1
000000dd: DUP2
000000de: ADD
000000df: PUSH1 0x40
000000e1: MSTORE
000000e2: DUP1
000000e3: SWAP4
000000e4: SWAP3
000000e5: SWAP2
000000e6: SWAP1
000000e7: DUP2
000000e8: DUP2
000000e9: MSTORE
000000ea: PUSH1 0x20
000000ec: ADD
000000ed: DUP4
000000ee: DUP4
000000ef: DUP1
000000f0: DUP3
000000f1: DUP5
000000f2: CALLDATACOPY
000000f3: POP
000000f4: SWAP5
000000f5: SWAP7
000000f6: POP
000000f7: POP
000000f8: POP
000000f9: POP
000000fa: POP
000000fb: POP
000000fc: POP
000000fd: PUSH1 0x00
000000ff: PUSH1 0x04
00000101: PUSH1 0x00
00000103: POP
00000104: DUP3
00000105: PUSH1 0x40
00000107: MLOAD
00000108: DUP1
00000109: DUP3
0000010a: DUP1
0000010b: MLOAD
0000010c: SWAP1
0000010d: PUSH1 0x20
0000010f: ADD
00000110: SWAP1
00000111: DUP1
00000112: DUP4
00000113: DUP4
00000114: DUP3
00000115: SWAP1
00000116: PUSH1 0x00
00000118: PUSH1 0x04
0000011a: PUSH1 0x20
0000011c: DUP5
0000011d: PUSH1 0x1f
0000011f: ADD
00000120: DIV
00000121: PUSH1 0x03
00000123: MUL
00000124: PUSH1 0x0f
00000126: ADD
00000127: CALL
00000128: POP
00000129: SWAP1
0000012a: POP
0000012b: ADD
0000012c: SWAP2
0000012d: POP
0000012e: POP
0000012f: SWAP1
00000130: DUP2
00000131: MSTORE
00000132: PUSH1 0x20
00000134: ADD
00000135: PUSH1 0x40
00000137: MLOAD
00000138: DUP1
00000139: SWAP2
0000013a: SUB
0000013b: SWAP1
0000013c: KECCAK256
0000013d: PUSH1 0x00
0000013f: SWAP1
00000140: SLOAD
00000141: SWAP1
00000142: PUSH2 0x0100
00000145: EXP
00000146: SWAP1
00000147: DIV
00000148: PUSH1 0xff
0000014a: AND
0000014b: ISZERO
0000014c: ISZERO
0000014d: PUSH1 0x01
0000014f: ISZERO
00000150: ISZERO
00000151: EQ
00000152: ISZERO
00000153: PUSH2 0x0889
00000156: JUMPI
00000157: POP
00000158: PUSH1 0x01
0000015a: PUSH2 0x02c9
0000015d: JUMP
0000015e: JUMPDEST
0000015f: CALLVALUE
00000160: PUSH2 0x0002
00000163: JUMPI
00000164: PUSH1 0x40
00000166: DUP1
00000167: MLOAD
00000168: PUSH1 0x01
0000016a: DUP1
0000016b: SLOAD
0000016c: PUSH1 0x20
0000016e: PUSH1 0x02
00000170: DUP3
00000171: DUP5
00000172: AND
00000173: ISZERO
00000174: PUSH2 0x0100
00000177: MUL
00000178: PUSH1 0x00
0000017a: NOT
0000017b: ADD
0000017c: SWAP1
0000017d: SWAP3
0000017e: AND
0000017f: SWAP2
00000180: SWAP1
00000181: SWAP2
00000182: DIV
00000183: PUSH1 0x1f
00000185: DUP2
00000186: ADD
00000187: DUP3
00000188: SWAP1
00000189: DIV
0000018a: DUP3
0000018b: MUL
0000018c: DUP5
0000018d: ADD
0000018e: DUP3
0000018f: ADD
00000190: SWAP1
00000191: SWAP5
00000192: MSTORE
00000193: DUP4
00000194: DUP4
00000195: MSTORE
00000196: PUSH2 0x07fe
00000199: SWAP4
0000019a: SWAP1
0000019b: DUP4
0000019c: ADD
0000019d: DUP3
0000019e: DUP3
0000019f: DUP1
000001a0: ISZERO
000001a1: PUSH2 0x08bc
000001a4: JUMPI
000001a5: DUP1
000001a6: PUSH1 0x1f
000001a8: LT
000001a9: PUSH2 0x0891
000001ac: JUMPI
000001ad: PUSH2 0x0100
000001b0: DUP1
000001b1: DUP4
000001b2: SLOAD
000001b3: DIV
000001b4: MUL
000001b5: DUP4
000001b6: MSTORE
000001b7: SWAP2
000001b8: PUSH1 0x20
000001ba: ADD
000001bb: SWAP2
000001bc: PUSH2 0x08bc
000001bf: JUMP
000001c0: JUMPDEST
000001c1: CALLVALUE
000001c2: PUSH2 0x0002
000001c5: JUMPI
000001c6: PUSH1 0x40
000001c8: DUP1
000001c9: MLOAD
000001ca: PUSH1 0x00
000001cc: DUP1
000001cd: SLOAD
000001ce: PUSH1 0x20
000001d0: PUSH1 0x02
000001d2: PUSH1 0x01
000001d4: DUP4
000001d5: AND
000001d6: ISZERO
000001d7: PUSH2 0x0100
000001da: MUL
000001db: PUSH1 0x00
000001dd: NOT
000001de: ADD
000001df: SWAP1
000001e0: SWAP3
000001e1: AND
000001e2: SWAP2
000001e3: SWAP1
000001e4: SWAP2
000001e5: DIV
000001e6: PUSH1 0x1f
000001e8: DUP2
000001e9: ADD
000001ea: DUP3
000001eb: SWAP1
000001ec: DIV
000001ed: DUP3
000001ee: MUL
000001ef: DUP5
000001f0: ADD
000001f1: DUP3
000001f2: ADD
000001f3: SWAP1
000001f4: SWAP5
000001f5: MSTORE
000001f6: DUP4
000001f7: DUP4
000001f8: MSTORE
000001f9: PUSH2 0x07fe
000001fc: SWAP4
000001fd: SWAP1
000001fe: DUP4
000001ff: ADD
00000200: DUP3
00000201: DUP3
00000202: DUP1
00000203: ISZERO
00000204: PUSH2 0x08bc
00000207: JUMPI
00000208: DUP1
00000209: PUSH1 0x1f
0000020b: LT
0000020c: PUSH2 0x0891
0000020f: JUMPI
00000210: PUSH2 0x0100
00000213: DUP1
00000214: DUP4
00000215: SLOAD
00000216: DIV
00000217: MUL
00000218: DUP4
00000219: MSTORE
0000021a: SWAP2
0000021b: PUSH1 0x20
0000021d: ADD
0000021e: SWAP2
0000021f: PUSH2 0x08bc
00000222: JUMP
00000223: JUMPDEST
00000224: CALLVALUE
00000225: PUSH2 0x0002
00000228: JUMPI
00000229: PUSH2 0x086c
0000022c: PUSH1 0x04
0000022e: DUP1
0000022f: DUP1
00000230: CALLDATALOAD
00000231: SWAP1
00000232: PUSH1 0x20
00000234: ADD
00000235: SWAP1
00000236: DUP3
00000237: ADD
00000238: DUP1
00000239: CALLDATALOAD
0000023a: SWAP1
0000023b: PUSH1 0x20
0000023d: ADD
0000023e: SWAP2
0000023f: SWAP2
00000240: SWAP1
00000241: DUP1
00000242: DUP1
00000243: PUSH1 0x1f
00000245: ADD
00000246: PUSH1 0x20
00000248: DUP1
00000249: SWAP2
0000024a: DIV
0000024b: MUL
0000024c: PUSH1 0x20
0000024e: ADD
0000024f: PUSH1 0x40
00000251: MLOAD
00000252: SWAP1
00000253: DUP2
00000254: ADD
00000255: PUSH1 0x40
00000257: MSTORE
00000258: DUP1
00000259: SWAP4
0000025a: SWAP3
0000025b: SWAP2
0000025c: SWAP1
0000025d: DUP2
0000025e: DUP2
0000025f: MSTORE
00000260: PUSH1 0x20
00000262: ADD
00000263: DUP4
00000264: DUP4
00000265: DUP1
00000266: DUP3
00000267: DUP5
00000268: CALLDATACOPY
00000269: POP
0000026a: SWAP5
0000026b: SWAP7
0000026c: POP
0000026d: POP
0000026e: POP
0000026f: POP
00000270: POP
00000271: POP
00000272: POP
00000273: PUSH1 0x00
00000275: PUSH1 0x05
00000277: PUSH1 0x00
00000279: POP
0000027a: DUP3
0000027b: PUSH1 0x40
0000027d: MLOAD
0000027e: DUP1
0000027f: DUP3
00000280: DUP1
00000281: MLOAD
00000282: SWAP1
00000283: PUSH1 0x20
00000285: ADD
00000286: SWAP1
00000287: DUP1
00000288: DUP4
00000289: DUP4
0000028a: DUP3
0000028b: SWAP1
0000028c: PUSH1 0x00
0000028e: PUSH1 0x04
00000290: PUSH1 0x20
00000292: DUP5
00000293: PUSH1 0x1f
00000295: ADD
00000296: DIV
00000297: PUSH1 0x03
00000299: MUL
0000029a: PUSH1 0x0f
0000029c: ADD
0000029d: CALL
0000029e: POP
0000029f: SWAP1
000002a0: POP
000002a1: ADD
000002a2: SWAP2
000002a3: POP
000002a4: POP
000002a5: SWAP1
000002a6: DUP2
000002a7: MSTORE
000002a8: PUSH1 0x20
000002aa: ADD
000002ab: PUSH1 0x40
000002ad: MLOAD
000002ae: DUP1
000002af: SWAP2
000002b0: SUB
000002b1: SWAP1
000002b2: KECCAK256
000002b3: PUSH1 0x00
000002b5: SWAP1
000002b6: SLOAD
000002b7: SWAP1
000002b8: PUSH2 0x0100
000002bb: EXP
000002bc: SWAP1
000002bd: DIV
000002be: PUSH1 0x01
000002c0: PUSH1 0xa0
000002c2: PUSH1 0x02
000002c4: EXP
000002c5: SUB
000002c6: AND
000002c7: SWAP1
000002c8: POP
000002c9: JUMPDEST
000002ca: SWAP2
000002cb: SWAP1
000002cc: POP
000002cd: JUMP
000002ce: JUMPDEST
000002cf: CALLVALUE
000002d0: PUSH2 0x0002
000002d3: JUMPI
000002d4: PUSH2 0x086c
000002d7: PUSH1 0x03
000002d9: SLOAD
000002da: PUSH1 0x01
000002dc: PUSH1 0xa0
000002de: PUSH1 0x02
000002e0: EXP
000002e1: SUB
000002e2: AND
000002e3: DUP2
000002e4: JUMP
000002e5: JUMPDEST
000002e6: CALLVALUE
000002e7: PUSH2 0x0002
000002ea: JUMPI
000002eb: PUSH2 0x07d8
000002ee: PUSH1 0x02
000002f0: SLOAD
000002f1: DUP2
000002f2: JUMP
000002f3: JUMPDEST
000002f4: CALLVALUE
000002f5: PUSH2 0x0002
000002f8: JUMPI
000002f9: PUSH2 0x07d6
000002fc: PUSH1 0x04
000002fe: DUP1
000002ff: DUP1
00000300: CALLDATALOAD
00000301: SWAP1
00000302: PUSH1 0x20
00000304: ADD
00000305: SWAP1
00000306: DUP3
00000307: ADD
00000308: DUP1
00000309: CALLDATALOAD
0000030a: SWAP1
0000030b: PUSH1 0x20
0000030d: ADD
0000030e: SWAP2
0000030f: SWAP2
00000310: SWAP1
00000311: DUP1
00000312: DUP1
00000313: PUSH1 0x1f
00000315: ADD
00000316: PUSH1 0x20
00000318: DUP1
00000319: SWAP2
0000031a: DIV
0000031b: MUL
0000031c: PUSH1 0x20
0000031e: ADD
0000031f: PUSH1 0x40
00000321: MLOAD
00000322: SWAP1
00000323: DUP2
00000324: ADD
00000325: PUSH1 0x40
00000327: MSTORE
00000328: DUP1
00000329: SWAP4
0000032a: SWAP3
0000032b: SWAP2
0000032c: SWAP1
0000032d: DUP2
0000032e: DUP2
0000032f: MSTORE
00000330: PUSH1 0x20
00000332: ADD
00000333: DUP4
00000334: DUP4
00000335: DUP1
00000336: DUP3
00000337: DUP5
00000338: CALLDATACOPY
00000339: POP
0000033a: POP
0000033b: PUSH1 0x40
0000033d: DUP1
0000033e: MLOAD
0000033f: PUSH1 0x20
00000341: DUP9
00000342: CALLDATALOAD
00000343: DUP1
00000344: DUP12
00000345: ADD
00000346: CALLDATALOAD
00000347: PUSH1 0x1f
00000349: DUP2
0000034a: ADD
0000034b: DUP4
0000034c: SWAP1
0000034d: DIV
0000034e: DUP4
0000034f: MUL
00000350: DUP5
00000351: ADD
00000352: DUP4
00000353: ADD
00000354: SWAP1
00000355: SWAP5
00000356: MSTORE
00000357: DUP4
00000358: DUP4
00000359: MSTORE
0000035a: SWAP8
0000035b: SWAP10
0000035c: SWAP9
0000035d: PUSH1 0x44
0000035f: SWAP9
00000360: SWAP3
00000361: SWAP8
00000362: POP
00000363: SWAP2
00000364: SWAP1
00000365: SWAP2
00000366: ADD
00000367: SWAP5
00000368: POP
00000369: SWAP1
0000036a: SWAP3
0000036b: POP
0000036c: DUP3
0000036d: SWAP2
0000036e: POP
0000036f: DUP5
00000370: ADD
00000371: DUP4
00000372: DUP3
00000373: DUP1
00000374: DUP3
00000375: DUP5
00000376: CALLDATACOPY
00000377: POP
00000378: SWAP5
00000379: SWAP7
0000037a: POP
0000037b: POP
0000037c: POP
0000037d: POP
0000037e: POP
0000037f: POP
00000380: POP
00000381: JUMPDEST
00000382: PUSH32 0xa2e1007a79e0f45c550338d11c793e45b18d99df380f3f4da25feb3bbdea5ef0
000003a3: CALLER
000003a4: DUP4
000003a5: DUP4
000003a6: PUSH1 0x40
000003a8: MLOAD
000003a9: DUP1
000003aa: DUP5
000003ab: PUSH1 0x01
000003ad: PUSH1 0xa0
000003af: PUSH1 0x02
000003b1: EXP
000003b2: SUB
000003b3: AND
000003b4: DUP2
000003b5: MSTORE
000003b6: PUSH1 0x20
000003b8: ADD
000003b9: DUP1
000003ba: PUSH1 0x20
000003bc: ADD
000003bd: DUP1
000003be: PUSH1 0x20
000003c0: ADD
000003c1: DUP4
000003c2: DUP2
000003c3: SUB
000003c4: DUP4
000003c5: MSTORE
000003c6: DUP6
000003c7: DUP2
000003c8: DUP2
000003c9: MLOAD
000003ca: DUP2
000003cb: MSTORE
000003cc: PUSH1 0x20
000003ce: ADD
000003cf: SWAP2
000003d0: POP
000003d1: DUP1
000003d2: MLOAD
000003d3: SWAP1
000003d4: PUSH1 0x20
000003d6: ADD
000003d7: SWAP1
000003d8: DUP1
000003d9: DUP4
000003da: DUP4
000003db: DUP3
000003dc: SWAP1
000003dd: PUSH1 0x00
000003df: PUSH1 0x04
000003e1: PUSH1 0x20
000003e3: DUP5
000003e4: PUSH1 0x1f
000003e6: ADD
000003e7: DIV
000003e8: PUSH1 0x03
000003ea: MUL
000003eb: PUSH1 0x0f
000003ed: ADD
000003ee: CALL
000003ef: POP
000003f0: SWAP1
000003f1: POP
000003f2: SWAP1
000003f3: DUP2
000003f4: ADD
000003f5: SWAP1
000003f6: PUSH1 0x1f
000003f8: AND
000003f9: DUP1
000003fa: ISZERO
000003fb: PUSH2 0x0418
000003fe: JUMPI
000003ff: DUP1
00000400: DUP3
00000401: SUB
00000402: DUP1
00000403: MLOAD
00000404: PUSH1 0x01
00000406: DUP4
00000407: PUSH1 0x20
00000409: SUB
0000040a: PUSH2 0x0100
0000040d: EXP
0000040e: SUB
0000040f: NOT
00000410: AND
00000411: DUP2
00000412: MSTORE
00000413: PUSH1 0x20
00000415: ADD
00000416: SWAP2
00000417: POP
00000418: JUMPDEST
00000419: POP
0000041a: DUP4
0000041b: DUP2
0000041c: SUB
0000041d: DUP3
0000041e: MSTORE
0000041f: DUP5
00000420: DUP2
00000421: DUP2
00000422: MLOAD
00000423: DUP2
00000424: MSTORE
00000425: PUSH1 0x20
00000427: ADD
00000428: SWAP2
00000429: POP
0000042a: DUP1
0000042b: MLOAD
0000042c: SWAP1
0000042d: PUSH1 0x20
0000042f: ADD
00000430: SWAP1
00000431: DUP1
00000432: DUP4
00000433: DUP4
00000434: DUP3
00000435: SWAP1
00000436: PUSH1 0x00
00000438: PUSH1 0x04
0000043a: PUSH1 0x20
0000043c: DUP5
0000043d: PUSH1 0x1f
0000043f: ADD
00000440: DIV
00000441: PUSH1 0x03
00000443: MUL
00000444: PUSH1 0x0f
00000446: ADD
00000447: CALL
00000448: POP
00000449: SWAP1
0000044a: POP
0000044b: SWAP1
0000044c: DUP2
0000044d: ADD
0000044e: SWAP1
0000044f: PUSH1 0x1f
00000451: AND
00000452: DUP1
00000453: ISZERO
00000454: PUSH2 0x0471
00000457: JUMPI
00000458: DUP1
00000459: DUP3
0000045a: SUB
0000045b: DUP1
0000045c: MLOAD
0000045d: PUSH1 0x01
0000045f: DUP4
00000460: PUSH1 0x20
00000462: SUB
00000463: PUSH2 0x0100
00000466: EXP
00000467: SUB
00000468: NOT
00000469: AND
0000046a: DUP2
0000046b: MSTORE
0000046c: PUSH1 0x20
0000046e: ADD
0000046f: SWAP2
00000470: POP
00000471: JUMPDEST
00000472: POP
00000473: SWAP6
00000474: POP
00000475: POP
00000476: POP
00000477: POP
00000478: POP
00000479: POP
0000047a: PUSH1 0x40
0000047c: MLOAD
0000047d: DUP1
0000047e: SWAP2
0000047f: SUB
00000480: SWAP1
00000481: LOG1
00000482: POP
00000483: POP
00000484: JUMP
00000485: JUMPDEST
00000486: CALLVALUE
00000487: PUSH2 0x0002
0000048a: JUMPI
0000048b: PUSH2 0x07d6
0000048e: PUSH1 0x04
00000490: DUP1
00000491: DUP1
00000492: CALLDATALOAD
00000493: SWAP1
00000494: PUSH1 0x20
00000496: ADD
00000497: SWAP1
00000498: DUP3
00000499: ADD
0000049a: DUP1
0000049b: CALLDATALOAD
0000049c: SWAP1
0000049d: PUSH1 0x20
0000049f: ADD
000004a0: SWAP2
000004a1: SWAP2
000004a2: SWAP1
000004a3: DUP1
000004a4: DUP1
000004a5: PUSH1 0x1f
000004a7: ADD
000004a8: PUSH1 0x20
000004aa: DUP1
000004ab: SWAP2
000004ac: DIV
000004ad: MUL
000004ae: PUSH1 0x20
000004b0: ADD
000004b1: PUSH1 0x40
000004b3: MLOAD
000004b4: SWAP1
000004b5: DUP2
000004b6: ADD
000004b7: PUSH1 0x40
000004b9: MSTORE
000004ba: DUP1
000004bb: SWAP4
000004bc: SWAP3
000004bd: SWAP2
000004be: SWAP1
000004bf: DUP2
000004c0: DUP2
000004c1: MSTORE
000004c2: PUSH1 0x20
000004c4: ADD
000004c5: DUP4
000004c6: DUP4
000004c7: DUP1
000004c8: DUP3
000004c9: DUP5
000004ca: CALLDATACOPY
000004cb: POP
000004cc: POP
000004cd: PUSH1 0x40
000004cf: MLOAD
000004d0: PUSH1 0x02
000004d2: SLOAD
000004d3: PUSH1 0x03
000004d5: SLOAD
000004d6: SWAP7
000004d7: SWAP9
000004d8: POP
000004d9: PUSH1 0x00
000004db: SWAP8
000004dc: POP
000004dd: SWAP6
000004de: DUP9
000004df: SWAP6
000004e0: POP
000004e1: ADDRESS
000004e2: SWAP5
000004e3: POP
000004e4: PUSH1 0x01
000004e6: PUSH1 0xa0
000004e8: PUSH1 0x02
000004ea: EXP
000004eb: SUB
000004ec: AND
000004ed: SWAP3
000004ee: POP
000004ef: SWAP1
000004f0: POP
000004f1: PUSH2 0x0478
000004f4: DUP1
000004f5: PUSH2 0x08c7
000004f8: DUP4
000004f9: CODECOPY
000004fa: ADD
000004fb: DUP1
000004fc: DUP6
000004fd: DUP2
000004fe: MSTORE
000004ff: PUSH1 0x20
00000501: ADD
00000502: DUP1
00000503: PUSH1 0x20
00000505: ADD
00000506: DUP5
00000507: PUSH1 0x01
00000509: PUSH1 0xa0
0000050b: PUSH1 0x02
0000050d: EXP
0000050e: SUB
0000050f: AND
00000510: DUP2
00000511: MSTORE
00000512: PUSH1 0x20
00000514: ADD
00000515: DUP4
00000516: PUSH1 0x01
00000518: PUSH1 0xa0
0000051a: PUSH1 0x02
0000051c: EXP
0000051d: SUB
0000051e: AND
0000051f: DUP2
00000520: MSTORE
00000521: PUSH1 0x20
00000523: ADD
00000524: DUP3
00000525: DUP2
00000526: SUB
00000527: DUP3
00000528: MSTORE
00000529: DUP6
0000052a: DUP2
0000052b: DUP2
0000052c: MLOAD
0000052d: DUP2
0000052e: MSTORE
0000052f: PUSH1 0x20
00000531: ADD
00000532: SWAP2
00000533: POP
00000534: DUP1
00000535: MLOAD
00000536: SWAP1
00000537: PUSH1 0x20
00000539: ADD
0000053a: SWAP1
0000053b: DUP1
0000053c: DUP4
0000053d: DUP4
0000053e: DUP3
0000053f: SWAP1
00000540: PUSH1 0x00
00000542: PUSH1 0x04
00000544: PUSH1 0x20
00000546: DUP5
00000547: PUSH1 0x1f
00000549: ADD
0000054a: DIV
0000054b: PUSH1 0x03
0000054d: MUL
0000054e: PUSH1 0x0f
00000550: ADD
00000551: CALL
00000552: POP
00000553: SWAP1
00000554: POP
00000555: SWAP1
00000556: DUP2
00000557: ADD
00000558: SWAP1
00000559: PUSH1 0x1f
0000055b: AND
0000055c: DUP1
0000055d: ISZERO
0000055e: PUSH2 0x057b
00000561: JUMPI
00000562: DUP1
00000563: DUP3
00000564: SUB
00000565: DUP1
00000566: MLOAD
00000567: PUSH1 0x01
00000569: DUP4
0000056a: PUSH1 0x20
0000056c: SUB
0000056d: PUSH2 0x0100
00000570: EXP
00000571: SUB
00000572: NOT
00000573: AND
00000574: DUP2
00000575: MSTORE
00000576: PUSH1 0x20
00000578: ADD
00000579: SWAP2
0000057a: POP
0000057b: JUMPDEST
0000057c: POP
0000057d: SWAP6
0000057e: POP
0000057f: POP
00000580: POP
00000581: POP
00000582: POP
00000583: POP
00000584: PUSH1 0x40
00000586: MLOAD
00000587: DUP1
00000588: SWAP2
00000589: SUB
0000058a: SWAP1
0000058b: PUSH1 0x00
0000058d: CREATE
0000058e: DUP1
0000058f: ISZERO
00000590: PUSH2 0x0002
00000593: JUMPI
00000594: SWAP1
00000595: POP
00000596: PUSH1 0x01
00000598: PUSH1 0x06
0000059a: PUSH1 0x00
0000059c: POP
0000059d: PUSH1 0x00
0000059f: DUP4
000005a0: PUSH1 0x01
000005a2: PUSH1 0xa0
000005a4: PUSH1 0x02
000005a6: EXP
000005a7: SUB
000005a8: AND
000005a9: DUP2
000005aa: MSTORE
000005ab: PUSH1 0x20
000005ad: ADD
000005ae: SWAP1
000005af: DUP2
000005b0: MSTORE
000005b1: PUSH1 0x20
000005b3: ADD
000005b4: PUSH1 0x00
000005b6: KECCAK256
000005b7: PUSH1 0x00
000005b9: PUSH2 0x0100
000005bc: EXP
000005bd: DUP2
000005be: SLOAD
000005bf: DUP2
000005c0: PUSH1 0xff
000005c2: MUL
000005c3: NOT
000005c4: AND
000005c5: SWAP1
000005c6: DUP4
000005c7: MUL
000005c8: OR
000005c9: SWAP1
000005ca: SSTORE
000005cb: POP
000005cc: DUP1
000005cd: PUSH1 0x05
000005cf: PUSH1 0x00
000005d1: POP
000005d2: DUP4
000005d3: PUSH1 0x40
000005d5: MLOAD
000005d6: DUP1
000005d7: DUP3
000005d8: DUP1
000005d9: MLOAD
000005da: SWAP1
000005db: PUSH1 0x20
000005dd: ADD
000005de: SWAP1
000005df: DUP1
000005e0: DUP4
000005e1: DUP4
000005e2: DUP3
000005e3: SWAP1
000005e4: PUSH1 0x00
000005e6: PUSH1 0x04
000005e8: PUSH1 0x20
000005ea: DUP5
000005eb: PUSH1 0x1f
000005ed: ADD
000005ee: DIV
000005ef: PUSH1 0x03
000005f1: MUL
000005f2: PUSH1 0x0f
000005f4: ADD
000005f5: CALL
000005f6: POP
000005f7: SWAP1
000005f8: POP
000005f9: ADD
000005fa: SWAP2
000005fb: POP
000005fc: POP
000005fd: SWAP1
000005fe: DUP2
000005ff: MSTORE
00000600: PUSH1 0x20
00000602: ADD
00000603: PUSH1 0x40
00000605: MLOAD
00000606: DUP1
00000607: SWAP2
00000608: SUB
00000609: SWAP1
0000060a: KECCAK256
0000060b: PUSH1 0x00
0000060d: PUSH2 0x0100
00000610: EXP
00000611: DUP2
00000612: SLOAD
00000613: DUP2
00000614: PUSH1 0x01
00000616: PUSH1 0xa0
00000618: PUSH1 0x02
0000061a: EXP
0000061b: SUB
0000061c: MUL
0000061d: NOT
0000061e: AND
0000061f: SWAP1
00000620: DUP4
00000621: MUL
00000622: OR
00000623: SWAP1
00000624: SSTORE
00000625: POP
00000626: PUSH32 0x91fba481144963ed9c342e466263da258df17a3766bd7961a696e5c6d34360e0
00000647: DUP3
00000648: DUP3
00000649: PUSH1 0x40
0000064b: MLOAD
0000064c: DUP1
0000064d: DUP1
0000064e: PUSH1 0x20
00000650: ADD
00000651: DUP4
00000652: PUSH1 0x01
00000654: PUSH1 0xa0
00000656: PUSH1 0x02
00000658: EXP
00000659: SUB
0000065a: AND
0000065b: DUP2
0000065c: MSTORE
0000065d: PUSH1 0x20
0000065f: ADD
00000660: DUP3
00000661: DUP2
00000662: SUB
00000663: DUP3
00000664: MSTORE
00000665: DUP5
00000666: DUP2
00000667: DUP2
00000668: MLOAD
00000669: DUP2
0000066a: MSTORE
0000066b: PUSH1 0x20
0000066d: ADD
0000066e: SWAP2
0000066f: POP
00000670: DUP1
00000671: MLOAD
00000672: SWAP1
00000673: PUSH1 0x20
00000675: ADD
00000676: SWAP1
00000677: DUP1
00000678: DUP4
00000679: DUP4
0000067a: DUP3
0000067b: SWAP1
0000067c: PUSH1 0x00
0000067e: PUSH1 0x04
00000680: PUSH1 0x20
00000682: DUP5
00000683: PUSH1 0x1f
00000685: ADD
00000686: DIV
00000687: PUSH1 0x03
00000689: MUL
0000068a: PUSH1 0x0f
0000068c: ADD
0000068d: CALL
0000068e: POP
0000068f: SWAP1
00000690: POP
00000691: SWAP1
00000692: DUP2
00000693: ADD
00000694: SWAP1
00000695: PUSH1 0x1f
00000697: AND
00000698: DUP1
00000699: ISZERO
0000069a: PUSH2 0x06b7
0000069d: JUMPI
0000069e: DUP1
0000069f: DUP3
000006a0: SUB
000006a1: DUP1
000006a2: MLOAD
000006a3: PUSH1 0x01
000006a5: DUP4
000006a6: PUSH1 0x20
000006a8: SUB
000006a9: PUSH2 0x0100
000006ac: EXP
000006ad: SUB
000006ae: NOT
000006af: AND
000006b0: DUP2
000006b1: MSTORE
000006b2: PUSH1 0x20
000006b4: ADD
000006b5: SWAP2
000006b6: POP
000006b7: JUMPDEST
000006b8: POP
000006b9: SWAP4
000006ba: POP
000006bb: POP
000006bc: POP
000006bd: POP
000006be: PUSH1 0x40
000006c0: MLOAD
000006c1: DUP1
000006c2: SWAP2
000006c3: SUB
000006c4: SWAP1
000006c5: LOG1
000006c6: POP
000006c7: POP
000006c8: JUMP
000006c9: JUMPDEST
000006ca: CALLVALUE
000006cb: PUSH2 0x0002
000006ce: JUMPI
000006cf: PUSH2 0x07d6
000006d2: PUSH1 0x04
000006d4: DUP1
000006d5: DUP1
000006d6: CALLDATALOAD
000006d7: SWAP1
000006d8: PUSH1 0x20
000006da: ADD
000006db: SWAP1
000006dc: DUP3
000006dd: ADD
000006de: DUP1
000006df: CALLDATALOAD
000006e0: SWAP1
000006e1: PUSH1 0x20
000006e3: ADD
000006e4: SWAP2
000006e5: SWAP2
000006e6: SWAP1
000006e7: DUP1
000006e8: DUP1
000006e9: PUSH1 0x1f
000006eb: ADD
000006ec: PUSH1 0x20
000006ee: DUP1
000006ef: SWAP2
000006f0: DIV
000006f1: MUL
000006f2: PUSH1 0x20
000006f4: ADD
000006f5: PUSH1 0x40
000006f7: MLOAD
000006f8: SWAP1
000006f9: DUP2
000006fa: ADD
000006fb: PUSH1 0x40
000006fd: MSTORE
000006fe: DUP1
000006ff: SWAP4
00000700: SWAP3
00000701: SWAP2
00000702: SWAP1
00000703: DUP2
00000704: DUP2
00000705: MSTORE
00000706: PUSH1 0x20
00000708: ADD
00000709: DUP4
0000070a: DUP4
0000070b: DUP1
0000070c: DUP3
0000070d: DUP5
0000070e: CALLDATACOPY
0000070f: POP
00000710: SWAP5
00000711: SWAP7
00000712: POP
00000713: POP
00000714: POP
00000715: POP
00000716: POP
00000717: POP
00000718: POP
00000719: PUSH1 0x01
0000071b: PUSH1 0xa0
0000071d: PUSH1 0x02
0000071f: EXP
00000720: SUB
00000721: CALLER
00000722: AND
00000723: PUSH1 0x00
00000725: SWAP1
00000726: DUP2
00000727: MSTORE
00000728: PUSH1 0x06
0000072a: PUSH1 0x20
0000072c: MSTORE
0000072d: PUSH1 0x40
0000072f: SWAP1
00000730: KECCAK256
00000731: SLOAD
00000732: PUSH1 0xff
00000734: AND
00000735: ISZERO
00000736: ISZERO
00000737: PUSH1 0x01
00000739: EQ
0000073a: ISZERO
0000073b: PUSH2 0x008b
0000073e: JUMPI
0000073f: PUSH1 0x01
00000741: PUSH1 0x04
00000743: PUSH1 0x00
00000745: POP
00000746: DUP3
00000747: PUSH1 0x40
00000749: MLOAD
0000074a: DUP1
0000074b: DUP3
0000074c: DUP1
0000074d: MLOAD
0000074e: SWAP1
0000074f: PUSH1 0x20
00000751: ADD
00000752: SWAP1
00000753: DUP1
00000754: DUP4
00000755: DUP4
00000756: DUP3
00000757: SWAP1
00000758: PUSH1 0x00
0000075a: PUSH1 0x04
0000075c: PUSH1 0x20
0000075e: DUP5
0000075f: PUSH1 0x1f
00000761: ADD
00000762: DIV
00000763: PUSH1 0x03
00000765: MUL
00000766: PUSH1 0x0f
00000768: ADD
00000769: CALL
0000076a: POP
0000076b: SWAP1
0000076c: POP
0000076d: ADD
0000076e: SWAP2
0000076f: POP
00000770: POP
00000771: SWAP1
00000772: DUP2
00000773: MSTORE
00000774: PUSH1 0x20
00000776: ADD
00000777: PUSH1 0x40
00000779: MLOAD
0000077a: DUP1
0000077b: SWAP2
0000077c: SUB
0000077d: SWAP1
0000077e: KECCAK256
0000077f: PUSH1 0x00
00000781: PUSH2 0x0100
00000784: EXP
00000785: DUP2
00000786: SLOAD
00000787: DUP2
00000788: PUSH1 0xff
0000078a: MUL
0000078b: NOT
0000078c: AND
0000078d: SWAP1
0000078e: DUP4
0000078f: MUL
00000790: OR
00000791: SWAP1
00000792: SSTORE
00000793: POP
00000794: PUSH2 0x08c4
00000797: PUSH1 0x40
00000799: PUSH1 0x40
0000079b: MLOAD
0000079c: SWAP1
0000079d: DUP2
0000079e: ADD
0000079f: PUSH1 0x40
000007a1: MSTORE
000007a2: DUP1
000007a3: PUSH1 0x07
000007a5: DUP2
000007a6: MSTORE
000007a7: PUSH1 0x20
000007a9: ADD
000007aa: PUSH32 0x6275792d62696e00000000000000000000000000000000000000000000000000
000007cb: DUP2
000007cc: MSTORE
000007cd: PUSH1 0x20
000007cf: ADD
000007d0: POP
000007d1: DUP3
000007d2: PUSH2 0x0381
000007d5: JUMP
000007d6: JUMPDEST
000007d7: STOP
000007d8: JUMPDEST
000007d9: PUSH1 0x40
000007db: DUP1
000007dc: MLOAD
000007dd: SWAP2
000007de: DUP3
000007df: MSTORE
000007e0: MLOAD
000007e1: SWAP1
000007e2: DUP2
000007e3: SWAP1
000007e4: SUB
000007e5: PUSH1 0x20
000007e7: ADD
000007e8: SWAP1
000007e9: RETURN
000007ea: JUMPDEST
000007eb: PUSH1 0x40
000007ed: DUP1
000007ee: MLOAD
000007ef: SWAP2
000007f0: ISZERO
000007f1: ISZERO
000007f2: DUP3
000007f3: MSTORE
000007f4: MLOAD
000007f5: SWAP1
000007f6: DUP2
000007f7: SWAP1
000007f8: SUB
000007f9: PUSH1 0x20
000007fb: ADD
000007fc: SWAP1
000007fd: RETURN
000007fe: JUMPDEST
000007ff: PUSH1 0x40
00000801: MLOAD
00000802: DUP1
00000803: DUP1
00000804: PUSH1 0x20
00000806: ADD
00000807: DUP3
00000808: DUP2
00000809: SUB
0000080a: DUP3
0000080b: MSTORE
0000080c: DUP4
0000080d: DUP2
0000080e: DUP2
0000080f: MLOAD
00000810: DUP2
00000811: MSTORE
00000812: PUSH1 0x20
00000814: ADD
00000815: SWAP2
00000816: POP
00000817: DUP1
00000818: MLOAD
00000819: SWAP1
0000081a: PUSH1 0x20
0000081c: ADD
0000081d: SWAP1
0000081e: DUP1
0000081f: DUP4
00000820: DUP4
00000821: DUP3
00000822: SWAP1
00000823: PUSH1 0x00
00000825: PUSH1 0x04
00000827: PUSH1 0x20
00000829: DUP5
0000082a: PUSH1 0x1f
0000082c: ADD
0000082d: DIV
0000082e: PUSH1 0x03
00000830: MUL
00000831: PUSH1 0x0f
00000833: ADD
00000834: CALL
00000835: POP
00000836: SWAP1
00000837: POP
00000838: SWAP1
00000839: DUP2
0000083a: ADD
0000083b: SWAP1
0000083c: PUSH1 0x1f
0000083e: AND
0000083f: DUP1
00000840: ISZERO
00000841: PUSH2 0x085e
00000844: JUMPI
00000845: DUP1
00000846: DUP3
00000847: SUB
00000848: DUP1
00000849: MLOAD
0000084a: PUSH1 0x01
0000084c: DUP4
0000084d: PUSH1 0x20
0000084f: SUB
00000850: PUSH2 0x0100
00000853: EXP
00000854: SUB
00000855: NOT
00000856: AND
00000857: DUP2
00000858: MSTORE
00000859: PUSH1 0x20
0000085b: ADD
0000085c: SWAP2
0000085d: POP
0000085e: JUMPDEST
0000085f: POP
00000860: SWAP3
00000861: POP
00000862: POP
00000863: POP
00000864: PUSH1 0x40
00000866: MLOAD
00000867: DUP1
00000868: SWAP2
00000869: SUB
0000086a: SWAP1
0000086b: RETURN
0000086c: JUMPDEST
0000086d: PUSH1 0x40
0000086f: DUP1
00000870: MLOAD
00000871: PUSH1 0x01
00000873: PUSH1 0xa0
00000875: PUSH1 0x02
00000877: EXP
00000878: SUB
00000879: SWAP3
0000087a: SWAP1
0000087b: SWAP3
0000087c: AND
0000087d: DUP3
0000087e: MSTORE
0000087f: MLOAD
00000880: SWAP1
00000881: DUP2
00000882: SWAP1
00000883: SUB
00000884: PUSH1 0x20
00000886: ADD
00000887: SWAP1
00000888: RETURN
00000889: JUMPDEST
0000088a: POP
0000088b: PUSH1 0x00
0000088d: PUSH2 0x02c9
00000890: JUMP
00000891: JUMPDEST
00000892: DUP3
00000893: ADD
00000894: SWAP2
00000895: SWAP1
00000896: PUSH1 0x00
00000898: MSTORE
00000899: PUSH1 0x20
0000089b: PUSH1 0x00
0000089d: KECCAK256
0000089e: SWAP1
0000089f: JUMPDEST
000008a0: DUP2
000008a1: SLOAD
000008a2: DUP2
000008a3: MSTORE
000008a4: SWAP1
000008a5: PUSH1 0x01
000008a7: ADD
000008a8: SWAP1
000008a9: PUSH1 0x20
000008ab: ADD
000008ac: DUP1
000008ad: DUP4
000008ae: GT
000008af: PUSH2 0x089f
000008b2: JUMPI
000008b3: DUP3
000008b4: SWAP1
000008b5: SUB
000008b6: PUSH1 0x1f
000008b8: AND
000008b9: DUP3
000008ba: ADD
000008bb: SWAP2
000008bc: JUMPDEST
000008bd: POP
000008be: POP
000008bf: POP
000008c0: POP
000008c1: POP
000008c2: DUP2
000008c3: JUMP
000008c4: JUMPDEST
000008c5: POP
000008c6: JUMP
000008c7: PUSH1 0xa0
000008c9: PUSH1 0x40
000008cb: MSTORE
000008cc: PUSH1 0x0d
000008ce: PUSH1 0x60
000008d0: MSTORE
000008d1: PUSH32 0x62697462696e2d76302e302e3100000000000000000000000000000000000000
000008f2: PUSH1 0x80
000008f4: MSTORE
000008f5: PUSH1 0x00
000008f7: DUP1
000008f8: SLOAD
000008f9: DUP2
000008fa: DUP1
000008fb: MSTORE
000008fc: PUSH32 0x62697462696e2d76302e302e310000000000000000000000000000000000001a
0000091d: DUP3
0000091e: SSTORE
0000091f: PUSH2 0x00b3
00000922: SWAP1
00000923: PUSH32 0x290decd9548b62a8d60345a988386fc84ba6bc95484008f6362f93160ef3e563
00000944: PUSH1 0x20
00000946: PUSH1 0x02
00000948: PUSH1 0x01
0000094a: DUP5
0000094b: AND
0000094c: ISZERO
0000094d: PUSH2 0x0100
00000950: MUL
00000951: PUSH1 0x00
00000953: NOT
00000954: ADD
00000955: SWAP1
00000956: SWAP4
00000957: AND
00000958: SWAP3
00000959: SWAP1
0000095a: SWAP3
0000095b: DIV
0000095c: PUSH1 0x1f
0000095e: ADD
0000095f: SWAP2
00000960: SWAP1
00000961: SWAP2
00000962: DIV
00000963: DUP2
00000964: ADD
00000965: SWAP1
00000966: JUMPDEST
00000967: DUP1
00000968: DUP3
00000969: GT
0000096a: ISZERO
0000096b: PUSH2 0x0150
0000096e: JUMPI
0000096f: PUSH1 0x00
00000971: DUP2
00000972: SSTORE
00000973: PUSH1 0x01
00000975: ADD
00000976: PUSH2 0x009f
00000979: JUMP
0000097a: JUMPDEST
0000097b: POP
0000097c: POP
0000097d: PUSH1 0x40
0000097f: MLOAD
00000980: PUSH2 0x0478
00000983: CODESIZE
00000984: SUB
00000985: DUP1
00000986: PUSH2 0x0478
00000989: DUP4
0000098a: CODECOPY
0000098b: DUP2
0000098c: ADD
0000098d: PUSH1 0x40
0000098f: MSTORE
00000990: DUP1
00000991: DUP1
00000992: MLOAD
00000993: SWAP1
00000994: PUSH1 0x20
00000996: ADD
00000997: SWAP1
00000998: SWAP2
00000999: SWAP1
0000099a: DUP1
0000099b: MLOAD
0000099c: DUP3
0000099d: ADD
0000099e: SWAP2
0000099f: SWAP1
000009a0: PUSH1 0x20
000009a2: ADD
000009a3: DUP1
000009a4: MLOAD
000009a5: SWAP1
000009a6: PUSH1 0x20
000009a8: ADD
000009a9: SWAP1
000009aa: SWAP2
000009ab: SWAP1
000009ac: DUP1
000009ad: MLOAD
000009ae: SWAP1
000009af: PUSH1 0x20
000009b1: ADD
000009b2: SWAP1
000009b3: SWAP2
000009b4: SWAP1
000009b5: POP
000009b6: POP
000009b7: DUP4
000009b8: PUSH1 0x01
000009ba: PUSH1 0x00
000009bc: POP
000009bd: DUP2
000009be: SWAP1
000009bf: SSTORE
000009c0: POP
000009c1: DUP3
000009c2: PUSH1 0x02
000009c4: PUSH1 0x00
000009c6: POP
000009c7: SWAP1
000009c8: DUP1
000009c9: MLOAD
000009ca: SWAP1
000009cb: PUSH1 0x20
000009cd: ADD
000009ce: SWAP1
000009cf: DUP3
000009d0: DUP1
000009d1: SLOAD
000009d2: PUSH1 0x01
000009d4: DUP2
000009d5: PUSH1 0x01
000009d7: AND
000009d8: ISZERO
000009d9: PUSH2 0x0100
000009dc: MUL
000009dd: SUB
000009de: AND
000009df: PUSH1 0x02
000009e1: SWAP1
000009e2: DIV
000009e3: SWAP1
000009e4: PUSH1 0x00
000009e6: MSTORE
000009e7: PUSH1 0x20
000009e9: PUSH1 0x00
000009eb: KECCAK256
000009ec: SWAP1
000009ed: PUSH1 0x1f
000009ef: ADD
000009f0: PUSH1 0x20
000009f2: SWAP1
000009f3: DIV
000009f4: DUP2
000009f5: ADD
000009f6: SWAP3
000009f7: DUP3
000009f8: PUSH1 0x1f
000009fa: LT
000009fb: PUSH2 0x0154
000009fe: JUMPI
000009ff: DUP1
00000a00: MLOAD
00000a01: PUSH1 0xff
00000a03: NOT
00000a04: AND
00000a05: DUP4
00000a06: DUP1
00000a07: ADD
00000a08: OR
00000a09: DUP6
00000a0a: SSTORE
00000a0b: JUMPDEST
00000a0c: POP
00000a0d: PUSH2 0x0184
00000a10: SWAP3
00000a11: SWAP2
00000a12: POP
00000a13: PUSH2 0x009f
00000a16: JUMP
00000a17: JUMPDEST
00000a18: POP
00000a19: SWAP1
00000a1a: JUMP
00000a1b: JUMPDEST
00000a1c: DUP3
00000a1d: DUP1
00000a1e: ADD
00000a1f: PUSH1 0x01
00000a21: ADD
00000a22: DUP6
00000a23: SSTORE
00000a24: DUP3
00000a25: ISZERO
00000a26: PUSH2 0x0144
00000a29: JUMPI
00000a2a: SWAP2
00000a2b: DUP3
00000a2c: ADD
00000a2d: JUMPDEST
00000a2e: DUP3
00000a2f: DUP2
00000a30: GT
00000a31: ISZERO
00000a32: PUSH2 0x0144
00000a35: JUMPI
00000a36: DUP3
00000a37: MLOAD
00000a38: DUP3
00000a39: PUSH1 0x00
00000a3b: POP
00000a3c: SSTORE
00000a3d: SWAP2
00000a3e: PUSH1 0x20
00000a40: ADD
00000a41: SWAP2
00000a42: SWAP1
00000a43: PUSH1 0x01
00000a45: ADD
00000a46: SWAP1
00000a47: PUSH2 0x0166
00000a4a: JUMP
00000a4b: JUMPDEST
00000a4c: POP
00000a4d: POP
00000a4e: PUSH1 0x03
00000a50: DUP1
00000a51: SLOAD
00000a52: PUSH1 0x01
00000a54: PUSH1 0xa0
00000a56: PUSH1 0x02
00000a58: EXP
00000a59: SUB
00000a5a: NOT
00000a5b: SWAP1
00000a5c: DUP2
00000a5d: AND
00000a5e: SWAP4
00000a5f: SWAP1
00000a60: SWAP4
00000a61: OR
00000a62: SWAP1
00000a63: SSTORE
00000a64: PUSH1 0x04
00000a66: DUP1
00000a67: SLOAD
00000a68: SWAP1
00000a69: SWAP3
00000a6a: AND
00000a6b: OR
00000a6c: SWAP1
00000a6d: SSTORE
00000a6e: POP
00000a6f: PUSH2 0x02c1
00000a72: SWAP1
00000a73: POP
00000a74: DUP1
00000a75: PUSH2 0x01b7
00000a78: PUSH1 0x00
00000a7a: CODECOPY
00000a7b: PUSH1 0x00
00000a7d: RETURN
00000a7e: PUSH1 0x60
00000a80: PUSH1 0x40
00000a82: MSTORE
00000a83: CALLDATASIZE
00000a84: ISZERO
00000a85: PUSH2 0x0040
00000a88: JUMPI
00000a89: PUSH1 0xe0
00000a8b: PUSH1 0x02
00000a8d: EXP
00000a8e: PUSH1 0x00
00000a90: CALLDATALOAD
00000a91: DIV
00000a92: PUSH4 0x12065fe0
00000a97: DUP2
00000a98: EQ
00000a99: PUSH2 0x00f3
00000a9c: JUMPI
00000a9d: DUP1
00000a9e: PUSH4 0x5a3b7e42
00000aa3: EQ
00000aa4: PUSH2 0x0116
00000aa7: JUMPI
00000aa8: DUP1
00000aa9: PUSH4 0x5c619fed
00000aae: EQ
00000aaf: PUSH2 0x0179
00000ab2: JUMPI
00000ab3: DUP1
00000ab4: PUSH4 0xa035b1fe
00000ab9: EQ
00000aba: PUSH2 0x018c
00000abd: JUMPI
00000abe: JUMPDEST
00000abf: CALLVALUE
00000ac0: PUSH2 0x0002
00000ac3: JUMPI
00000ac4: PUSH2 0x019a
00000ac7: PUSH2 0x019c
00000aca: CALLER
00000acb: CALLVALUE
00000acc: JUMPDEST
00000acd: PUSH1 0x01
00000acf: SLOAD
00000ad0: ADDRESS
00000ad1: SWAP1
00000ad2: PUSH1 0x01
00000ad4: PUSH1 0xa0
00000ad6: PUSH1 0x02
00000ad8: EXP
00000ad9: SUB
00000ada: DUP3
00000adb: AND
00000adc: BALANCE
00000add: LT
00000ade: PUSH2 0x0289
00000ae1: JUMPI
00000ae2: PUSH1 0x03
00000ae4: SLOAD
00000ae5: PUSH1 0x40
00000ae7: MLOAD
00000ae8: PUSH32 0xfc09e22700000000000000000000000000000000000000000000000000000000
00000b09: DUP2
00000b0a: MSTORE
00000b0b: PUSH1 0x20
00000b0d: PUSH1 0x04
00000b0f: DUP3
00000b10: ADD
00000b11: SWAP1
00000b12: DUP2
00000b13: MSTORE
00000b14: PUSH1 0x02
00000b16: DUP1
00000b17: SLOAD
00000b18: PUSH1 0x00
00000b1a: NOT
00000b1b: PUSH1 0x01
00000b1d: DUP3
00000b1e: AND
00000b1f: ISZERO
00000b20: PUSH2 0x0100
00000b23: MUL
00000b24: ADD
00000b25: AND
00000b26: DUP2
00000b27: SWAP1
00000b28: DIV
00000b29: PUSH1 0x24
00000b2b: DUP5
00000b2c: ADD
00000b2d: DUP2
00000b2e: SWAP1
00000b2f: MSTORE
00000b30: PUSH1 0x01
00000b32: PUSH1 0xa0
00000b34: PUSH1 0x02
00000b36: EXP
00000b37: SUB
00000b38: SWAP5
00000b39: SWAP1
00000b3a: SWAP5
00000b3b: AND
00000b3c: SWAP4
00000b3d: PUSH4 0xfc09e227
00000b42: SWAP4
00000b43: SWAP2
00000b44: SWAP3
00000b45: SWAP2
00000b46: DUP3
00000b47: SWAP2
00000b48: PUSH1 0x44
00000b4a: SWAP1
00000b4b: SWAP2
00000b4c: ADD
00000b4d: SWAP1
00000b4e: DUP5
00000b4f: SWAP1
00000b50: DUP1
00000b51: ISZERO
00000b52: PUSH2 0x0237
00000b55: JUMPI
00000b56: DUP1
00000b57: PUSH1 0x1f
00000b59: LT
00000b5a: PUSH2 0x020c
00000b5d: JUMPI
00000b5e: PUSH2 0x0100
00000b61: DUP1
00000b62: DUP4
00000b63: SLOAD
00000b64: DIV
00000b65: MUL
00000b66: DUP4
00000b67: MSTORE
00000b68: SWAP2
00000b69: PUSH1 0x20
00000b6b: ADD
00000b6c: SWAP2
00000b6d: PUSH2 0x0237
00000b70: JUMP
00000b71: JUMPDEST
00000b72: CALLVALUE
00000b73: PUSH2 0x0002
00000b76: JUMPI
00000b77: PUSH1 0x01
00000b79: PUSH1 0xa0
00000b7b: PUSH1 0x02
00000b7d: EXP
00000b7e: SUB
00000b7f: ADDRESS
00000b80: AND
00000b81: BALANCE
00000b82: JUMPDEST
00000b83: PUSH1 0x40
00000b85: DUP1
00000b86: MLOAD
00000b87: SWAP2
00000b88: DUP3
00000b89: MSTORE
00000b8a: MLOAD
00000b8b: SWAP1
00000b8c: DUP2
00000b8d: SWAP1
00000b8e: SUB
00000b8f: PUSH1 0x20
00000b91: ADD
00000b92: SWAP1
00000b93: RETURN
00000b94: JUMPDEST
00000b95: CALLVALUE
00000b96: PUSH2 0x0002
00000b99: JUMPI
00000b9a: PUSH1 0x40
00000b9c: DUP1
00000b9d: MLOAD
00000b9e: PUSH1 0x00
00000ba0: DUP1
00000ba1: SLOAD
00000ba2: PUSH1 0x20
00000ba4: PUSH1 0x02
00000ba6: PUSH1 0x01
00000ba8: DUP4
00000ba9: AND
00000baa: ISZERO
00000bab: PUSH2 0x0100
00000bae: MUL
00000baf: PUSH1 0x00
00000bb1: NOT
00000bb2: ADD
00000bb3: SWAP1
00000bb4: SWAP3
00000bb5: AND
00000bb6: SWAP2
00000bb7: SWAP1
00000bb8: SWAP2
00000bb9: DIV
00000bba: PUSH1 0x1f
00000bbc: DUP2
00000bbd: ADD
00000bbe: DUP3
00000bbf: SWAP1
00000bc0: DIV
00000bc1: DUP3
00000bc2: MUL
00000bc3: DUP5
00000bc4: ADD
00000bc5: DUP3
00000bc6: ADD
00000bc7: SWAP1
00000bc8: SWAP5
00000bc9: MSTORE
00000bca: DUP4
00000bcb: DUP4
00000bcc: MSTORE
00000bcd: PUSH2 0x019e
00000bd0: SWAP4
00000bd1: SWAP1
00000bd2: DUP4
00000bd3: ADD
00000bd4: DUP3
00000bd5: DUP3
00000bd6: DUP1
00000bd7: ISZERO
00000bd8: PUSH2 0x02b9
00000bdb: JUMPI
00000bdc: DUP1
00000bdd: PUSH1 0x1f
00000bdf: LT
00000be0: PUSH2 0x028e
00000be3: JUMPI
00000be4: PUSH2 0x0100
00000be7: DUP1
00000be8: DUP4
00000be9: SLOAD
00000bea: DIV
00000beb: MUL
00000bec: DUP4
00000bed: MSTORE
00000bee: SWAP2
00000bef: PUSH1 0x20
00000bf1: ADD
00000bf2: SWAP2
00000bf3: PUSH2 0x02b9
00000bf6: JUMP
00000bf7: JUMPDEST
00000bf8: CALLVALUE
00000bf9: PUSH2 0x0002
00000bfc: JUMPI
00000bfd: PUSH2 0x019a
00000c00: PUSH1 0x04
00000c02: CALLDATALOAD
00000c03: PUSH1 0x24
00000c05: CALLDATALOAD
00000c06: PUSH2 0x004e
00000c09: JUMP
00000c0a: JUMPDEST
00000c0b: CALLVALUE
00000c0c: PUSH2 0x0002
00000c0f: JUMPI
00000c10: PUSH2 0x0104
00000c13: PUSH1 0x01
00000c15: SLOAD
00000c16: DUP2
00000c17: JUMP
00000c18: JUMPDEST
00000c19: STOP
00000c1a: JUMPDEST
00000c1b: JUMP
00000c1c: JUMPDEST
00000c1d: PUSH1 0x40
00000c1f: MLOAD
00000c20: DUP1
00000c21: DUP1
00000c22: PUSH1 0x20
00000c24: ADD
00000c25: DUP3
00000c26: DUP2
00000c27: SUB
00000c28: DUP3
00000c29: MSTORE
00000c2a: DUP4
00000c2b: DUP2
00000c2c: DUP2
00000c2d: MLOAD
00000c2e: DUP2
00000c2f: MSTORE
00000c30: PUSH1 0x20
00000c32: ADD
00000c33: SWAP2
00000c34: POP
00000c35: DUP1
00000c36: MLOAD
00000c37: SWAP1
00000c38: PUSH1 0x20
00000c3a: ADD
00000c3b: SWAP1
00000c3c: DUP1
00000c3d: DUP4
00000c3e: DUP4
00000c3f: DUP3
00000c40: SWAP1
00000c41: PUSH1 0x00
00000c43: PUSH1 0x04
00000c45: PUSH1 0x20
00000c47: DUP5
00000c48: PUSH1 0x1f
00000c4a: ADD
00000c4b: DIV
00000c4c: PUSH1 0x03
00000c4e: MUL
00000c4f: PUSH1 0x0f
00000c51: ADD
00000c52: CALL
00000c53: POP
00000c54: SWAP1
00000c55: POP
00000c56: SWAP1
00000c57: DUP2
00000c58: ADD
00000c59: SWAP1
00000c5a: PUSH1 0x1f
00000c5c: AND
00000c5d: DUP1
00000c5e: ISZERO
00000c5f: PUSH2 0x01fe
00000c62: JUMPI
00000c63: DUP1
00000c64: DUP3
00000c65: SUB
00000c66: DUP1
00000c67: MLOAD
00000c68: PUSH1 0x01
00000c6a: DUP4
00000c6b: PUSH1 0x20
00000c6d: SUB
00000c6e: PUSH2 0x0100
00000c71: EXP
00000c72: SUB
00000c73: NOT
00000c74: AND
00000c75: DUP2
00000c76: MSTORE
00000c77: PUSH1 0x20
00000c79: ADD
00000c7a: SWAP2
00000c7b: POP
00000c7c: JUMPDEST
00000c7d: POP
00000c7e: SWAP3
00000c7f: POP
00000c80: POP
00000c81: POP
00000c82: PUSH1 0x40
00000c84: MLOAD
00000c85: DUP1
00000c86: SWAP2
00000c87: SUB
00000c88: SWAP1
00000c89: RETURN
00000c8a: JUMPDEST
00000c8b: DUP3
00000c8c: ADD
00000c8d: SWAP2
00000c8e: SWAP1
00000c8f: PUSH1 0x00
00000c91: MSTORE
00000c92: PUSH1 0x20
00000c94: PUSH1 0x00
00000c96: KECCAK256
00000c97: SWAP1
00000c98: JUMPDEST
00000c99: DUP2
00000c9a: SLOAD
00000c9b: DUP2
00000c9c: MSTORE
00000c9d: SWAP1
00000c9e: PUSH1 0x01
00000ca0: ADD
00000ca1: SWAP1
00000ca2: PUSH1 0x20
00000ca4: ADD
00000ca5: DUP1
00000ca6: DUP4
00000ca7: GT
00000ca8: PUSH2 0x021a
00000cab: JUMPI
00000cac: DUP3
00000cad: SWAP1
00000cae: SUB
00000caf: PUSH1 0x1f
00000cb1: AND
00000cb2: DUP3
00000cb3: ADD
00000cb4: SWAP2
00000cb5: JUMPDEST
00000cb6: POP
00000cb7: POP
00000cb8: SWAP3
00000cb9: POP
00000cba: POP
00000cbb: POP
00000cbc: PUSH1 0x00
00000cbe: PUSH1 0x40
00000cc0: MLOAD
00000cc1: DUP1
00000cc2: DUP4
00000cc3: SUB
00000cc4: DUP2
00000cc5: PUSH1 0x00
00000cc7: DUP8
00000cc8: DUP1
00000cc9: EXTCODESIZE
00000cca: ISZERO
00000ccb: PUSH2 0x0002
00000cce: JUMPI
00000ccf: PUSH1 0x32
00000cd1: GAS
00000cd2: SUB
00000cd3: CALL
00000cd4: ISZERO
00000cd5: PUSH2 0x0002
00000cd8: JUMPI
00000cd9: POP
00000cda: POP
00000cdb: PUSH1 0x04
00000cdd: SLOAD
00000cde: PUSH1 0x40
00000ce0: MLOAD
00000ce1: PUSH1 0x01
00000ce3: PUSH1 0xa0
00000ce5: PUSH1 0x02
00000ce7: EXP
00000ce8: SUB
00000ce9: SWAP2
00000cea: DUP3
00000ceb: AND
00000cec: SWAP3
00000ced: POP
00000cee: SWAP1
00000cef: DUP4
00000cf0: AND
00000cf1: BALANCE
00000cf2: DUP1
00000cf3: ISZERO
00000cf4: PUSH2 0x08fc
00000cf7: MUL
00000cf8: SWAP2
00000cf9: PUSH1 0x00
00000cfb: DUP2
00000cfc: DUP2
00000cfd: DUP2
00000cfe: DUP6
00000cff: DUP9
00000d00: DUP9
00000d01: CALL
00000d02: POP
00000d03: POP
00000d04: POP
00000d05: POP
00000d06: POP
00000d07: JUMPDEST
00000d08: POP
00000d09: POP
00000d0a: POP
00000d0b: JUMP
00000d0c: JUMPDEST
00000d0d: DUP3
00000d0e: ADD
00000d0f: SWAP2
00000d10: SWAP1
00000d11: PUSH1 0x00
00000d13: MSTORE
00000d14: PUSH1 0x20
00000d16: PUSH1 0x00
00000d18: KECCAK256
00000d19: SWAP1
00000d1a: JUMPDEST
00000d1b: DUP2
00000d1c: SLOAD
00000d1d: DUP2
00000d1e: MSTORE
00000d1f: SWAP1
00000d20: PUSH1 0x01
00000d22: ADD
00000d23: SWAP1
00000d24: PUSH1 0x20
00000d26: ADD
00000d27: DUP1
00000d28: DUP4
00000d29: GT
00000d2a: PUSH2 0x029c
00000d2d: JUMPI
00000d2e: DUP3
00000d2f: SWAP1
00000d30: SUB
00000d31: PUSH1 0x1f
00000d33: AND
00000d34: DUP3
00000d35: ADD
00000d36: SWAP2
00000d37: JUMPDEST
00000d38: POP
00000d39: POP
00000d3a: POP
00000d3b: POP
00000d3c: POP
00000d3d: DUP2
00000d3e: 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.