Analysis Run

OpenAI Codex v0.118.0 (research preview)
--------
workdir: /tmp/codex-n9u06pt2
model: gpt-5.4
provider: openai
approval: never
sandbox: read-only
reasoning effort: high
reasoning summaries: none
session id: 019d5ca2-125e-7123-8478-5ce8ad12da75
--------
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:53:40.335073+00:00",
        "returncode": 1
    },
    "project": {
        "mode": "bytecode",
        "bytecode_length": 7388,
        "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 0x0035
0000000a: JUMPI
0000000b: PUSH1 0xe0
0000000d: PUSH1 0x02
0000000f: EXP
00000010: PUSH1 0x00
00000012: CALLDATALOAD
00000013: DIV
00000014: PUSH4 0x1b8f3d23
00000019: DUP2
0000001a: EQ
0000001b: PUSH2 0x0040
0000001e: JUMPI
0000001f: DUP1
00000020: PUSH4 0x27dc297e
00000025: EQ
00000026: PUSH2 0x0380
00000029: JUMPI
0000002a: DUP1
0000002b: PUSH4 0x489306eb
00000030: EQ
00000031: PUSH2 0x04cd
00000034: JUMPI
00000035: JUMPDEST
00000036: PUSH2 0x07a6
00000039: PUSH2 0x07a8
0000003c: PUSH2 0x0044
0000003f: JUMP
00000040: JUMPDEST
00000041: PUSH2 0x07a6
00000044: JUMPDEST
00000045: PUSH1 0x40
00000047: DUP1
00000048: MLOAD
00000049: DUP1
0000004a: DUP3
0000004b: ADD
0000004c: DUP3
0000004d: MSTORE
0000004e: PUSH1 0x07
00000050: DUP2
00000051: MSTORE
00000052: PUSH1 0xc8
00000054: PUSH1 0x02
00000056: EXP
00000057: PUSH7 0x444556434f4e31
0000005f: MUL
00000060: PUSH1 0x20
00000062: DUP3
00000063: DUP2
00000064: ADD
00000065: SWAP2
00000066: SWAP1
00000067: SWAP2
00000068: MSTORE
00000069: DUP3
0000006a: MLOAD
0000006b: DUP1
0000006c: DUP5
0000006d: ADD
0000006e: DUP5
0000006f: MSTORE
00000070: PUSH1 0x03
00000072: DUP2
00000073: MSTORE
00000074: PUSH1 0xea
00000076: PUSH1 0x02
00000078: EXP
00000079: PUSH3 0x155493
0000007d: MUL
0000007e: DUP2
0000007f: DUP4
00000080: ADD
00000081: MSTORE
00000082: DUP4
00000083: MLOAD
00000084: PUSH1 0xa0
00000086: DUP2
00000087: ADD
00000088: DUP6
00000089: MSTORE
0000008a: PUSH1 0x6e
0000008c: DUP2
0000008d: MSTORE
0000008e: PUSH32 0x6a736f6e28202020202020202020202020202020202068747470733a2f2f6170
000000af: DUP2
000000b0: DUP5
000000b1: ADD
000000b2: MSTORE
000000b3: PUSH32 0x692e6b72616b656e2e636f6d2f302f7075626c69632f5469636b65723f706169
000000d4: DUP2
000000d5: DUP7
000000d6: ADD
000000d7: MSTORE
000000d8: PUSH32 0x723d4554485842542020202020202020202020202020202020292e726573756c
000000f9: PUSH1 0x60
000000fb: DUP3
000000fc: ADD
000000fd: MSTORE
000000fe: PUSH32 0x742e58455448585842542e632e30000000000000000000000000000000000000
0000011f: PUSH1 0x80
00000121: DUP3
00000122: ADD
00000123: MSTORE
00000124: DUP5
00000125: MLOAD
00000126: PUSH1 0xe0
00000128: PUSH1 0x02
0000012a: EXP
0000012b: PUSH4 0x38cc4831
00000130: MUL
00000131: DUP2
00000132: MSTORE
00000133: SWAP5
00000134: MLOAD
00000135: SWAP4
00000136: SWAP5
00000137: PUSH2 0x0d36
0000013a: SWAP5
0000013b: PUSH1 0x3c
0000013d: SWAP5
0000013e: PUSH1 0x00
00000140: SWAP3
00000141: PUSH20 0x1d11e5eae3112dbd44f99266872ff1d07c77dce8
00000156: SWAP3
00000157: DUP4
00000158: SWAP3
00000159: PUSH4 0x38cc4831
0000015e: SWAP3
0000015f: PUSH1 0x04
00000161: DUP2
00000162: DUP2
00000163: ADD
00000164: SWAP4
00000165: SWAP2
00000166: DUP3
00000167: SWAP1
00000168: SUB
00000169: ADD
0000016a: DUP2
0000016b: DUP9
0000016c: DUP8
0000016d: PUSH2 0x61da
00000170: GAS
00000171: SUB
00000172: CALL
00000173: ISZERO
00000174: PUSH2 0x0002
00000177: JUMPI
00000178: POP
00000179: POP
0000017a: POP
0000017b: PUSH1 0x40
0000017d: MLOAD
0000017e: DUP1
0000017f: MLOAD
00000180: SWAP1
00000181: PUSH1 0x20
00000183: ADD
00000184: POP
00000185: PUSH1 0x03
00000187: PUSH1 0x00
00000189: PUSH2 0x0100
0000018c: EXP
0000018d: DUP2
0000018e: SLOAD
0000018f: DUP2
00000190: PUSH1 0x01
00000192: PUSH1 0xa0
00000194: PUSH1 0x02
00000196: EXP
00000197: SUB
00000198: MUL
00000199: NOT
0000019a: AND
0000019b: SWAP1
0000019c: DUP4
0000019d: MUL
0000019e: OR
0000019f: SWAP1
000001a0: SSTORE
000001a1: POP
000001a2: PUSH1 0x03
000001a4: PUSH1 0x00
000001a6: SWAP1
000001a7: SLOAD
000001a8: SWAP1
000001a9: PUSH2 0x0100
000001ac: EXP
000001ad: SWAP1
000001ae: DIV
000001af: PUSH1 0x01
000001b1: PUSH1 0xa0
000001b3: PUSH1 0x02
000001b5: EXP
000001b6: SUB
000001b7: AND
000001b8: PUSH1 0x01
000001ba: PUSH1 0xa0
000001bc: PUSH1 0x02
000001be: EXP
000001bf: SUB
000001c0: AND
000001c1: PUSH4 0xadf59f99
000001c6: PUSH1 0x03
000001c8: PUSH1 0x00
000001ca: SWAP1
000001cb: SLOAD
000001cc: SWAP1
000001cd: PUSH2 0x0100
000001d0: EXP
000001d1: SWAP1
000001d2: DIV
000001d3: PUSH1 0x01
000001d5: PUSH1 0xa0
000001d7: PUSH1 0x02
000001d9: EXP
000001da: SUB
000001db: AND
000001dc: PUSH1 0x01
000001de: PUSH1 0xa0
000001e0: PUSH1 0x02
000001e2: EXP
000001e3: SUB
000001e4: AND
000001e5: PUSH4 0x524f3889
000001ea: DUP8
000001eb: PUSH1 0x40
000001ed: MLOAD
000001ee: DUP3
000001ef: PUSH1 0xe0
000001f1: PUSH1 0x02
000001f3: EXP
000001f4: MUL
000001f5: DUP2
000001f6: MSTORE
000001f7: PUSH1 0x04
000001f9: ADD
000001fa: DUP1
000001fb: DUP1
000001fc: PUSH1 0x20
000001fe: ADD
000001ff: DUP3
00000200: DUP2
00000201: SUB
00000202: DUP3
00000203: MSTORE
00000204: DUP4
00000205: DUP2
00000206: DUP2
00000207: MLOAD
00000208: DUP2
00000209: MSTORE
0000020a: PUSH1 0x20
0000020c: ADD
0000020d: SWAP2
0000020e: POP
0000020f: DUP1
00000210: MLOAD
00000211: SWAP1
00000212: PUSH1 0x20
00000214: ADD
00000215: SWAP1
00000216: DUP1
00000217: DUP4
00000218: DUP4
00000219: DUP3
0000021a: SWAP1
0000021b: PUSH1 0x00
0000021d: PUSH1 0x04
0000021f: PUSH1 0x20
00000221: DUP5
00000222: PUSH1 0x1f
00000224: ADD
00000225: DIV
00000226: PUSH1 0x03
00000228: MUL
00000229: PUSH1 0x0f
0000022b: ADD
0000022c: CALL
0000022d: POP
0000022e: SWAP1
0000022f: POP
00000230: SWAP1
00000231: DUP2
00000232: ADD
00000233: SWAP1
00000234: PUSH1 0x1f
00000236: AND
00000237: DUP1
00000238: ISZERO
00000239: PUSH2 0x0256
0000023c: JUMPI
0000023d: DUP1
0000023e: DUP3
0000023f: SUB
00000240: DUP1
00000241: MLOAD
00000242: PUSH1 0x01
00000244: DUP4
00000245: PUSH1 0x20
00000247: SUB
00000248: PUSH2 0x0100
0000024b: EXP
0000024c: SUB
0000024d: NOT
0000024e: AND
0000024f: DUP2
00000250: MSTORE
00000251: PUSH1 0x20
00000253: ADD
00000254: SWAP2
00000255: POP
00000256: JUMPDEST
00000257: POP
00000258: SWAP3
00000259: POP
0000025a: POP
0000025b: POP
0000025c: PUSH1 0x20
0000025e: PUSH1 0x40
00000260: MLOAD
00000261: DUP1
00000262: DUP4
00000263: SUB
00000264: DUP2
00000265: PUSH1 0x00
00000267: DUP8
00000268: PUSH2 0x61da
0000026b: GAS
0000026c: SUB
0000026d: CALL
0000026e: ISZERO
0000026f: PUSH2 0x0002
00000272: JUMPI
00000273: POP
00000274: POP
00000275: POP
00000276: PUSH1 0x40
00000278: MLOAD
00000279: DUP1
0000027a: MLOAD
0000027b: SWAP1
0000027c: PUSH1 0x20
0000027e: ADD
0000027f: POP
00000280: DUP8
00000281: DUP8
00000282: DUP8
00000283: PUSH1 0x40
00000285: MLOAD
00000286: DUP6
00000287: PUSH1 0xe0
00000289: PUSH1 0x02
0000028b: EXP
0000028c: MUL
0000028d: DUP2
0000028e: MSTORE
0000028f: PUSH1 0x04
00000291: ADD
00000292: DUP1
00000293: DUP5
00000294: DUP2
00000295: MSTORE
00000296: PUSH1 0x20
00000298: ADD
00000299: DUP1
0000029a: PUSH1 0x20
0000029c: ADD
0000029d: DUP1
0000029e: PUSH1 0x20
000002a0: ADD
000002a1: DUP4
000002a2: DUP2
000002a3: SUB
000002a4: DUP4
000002a5: MSTORE
000002a6: DUP6
000002a7: DUP2
000002a8: DUP2
000002a9: MLOAD
000002aa: DUP2
000002ab: MSTORE
000002ac: PUSH1 0x20
000002ae: ADD
000002af: SWAP2
000002b0: POP
000002b1: DUP1
000002b2: MLOAD
000002b3: SWAP1
000002b4: PUSH1 0x20
000002b6: ADD
000002b7: SWAP1
000002b8: DUP1
000002b9: DUP4
000002ba: DUP4
000002bb: DUP3
000002bc: SWAP1
000002bd: PUSH1 0x00
000002bf: PUSH1 0x04
000002c1: PUSH1 0x20
000002c3: DUP5
000002c4: PUSH1 0x1f
000002c6: ADD
000002c7: DIV
000002c8: PUSH1 0x03
000002ca: MUL
000002cb: PUSH1 0x0f
000002cd: ADD
000002ce: CALL
000002cf: POP
000002d0: SWAP1
000002d1: POP
000002d2: SWAP1
000002d3: DUP2
000002d4: ADD
000002d5: SWAP1
000002d6: PUSH1 0x1f
000002d8: AND
000002d9: DUP1
000002da: ISZERO
000002db: PUSH2 0x02f8
000002de: JUMPI
000002df: DUP1
000002e0: DUP3
000002e1: SUB
000002e2: DUP1
000002e3: MLOAD
000002e4: PUSH1 0x01
000002e6: DUP4
000002e7: PUSH1 0x20
000002e9: SUB
000002ea: PUSH2 0x0100
000002ed: EXP
000002ee: SUB
000002ef: NOT
000002f0: AND
000002f1: DUP2
000002f2: MSTORE
000002f3: PUSH1 0x20
000002f5: ADD
000002f6: SWAP2
000002f7: POP
000002f8: JUMPDEST
000002f9: POP
000002fa: DUP4
000002fb: DUP2
000002fc: SUB
000002fd: DUP3
000002fe: MSTORE
000002ff: DUP5
00000300: DUP2
00000301: DUP2
00000302: MLOAD
00000303: DUP2
00000304: MSTORE
00000305: PUSH1 0x20
00000307: ADD
00000308: SWAP2
00000309: POP
0000030a: DUP1
0000030b: MLOAD
0000030c: SWAP1
0000030d: PUSH1 0x20
0000030f: ADD
00000310: SWAP1
00000311: DUP1
00000312: DUP4
00000313: DUP4
00000314: DUP3
00000315: SWAP1
00000316: PUSH1 0x00
00000318: PUSH1 0x04
0000031a: PUSH1 0x20
0000031c: DUP5
0000031d: PUSH1 0x1f
0000031f: ADD
00000320: DIV
00000321: PUSH1 0x03
00000323: MUL
00000324: PUSH1 0x0f
00000326: ADD
00000327: CALL
00000328: POP
00000329: SWAP1
0000032a: POP
0000032b: SWAP1
0000032c: DUP2
0000032d: ADD
0000032e: SWAP1
0000032f: PUSH1 0x1f
00000331: AND
00000332: DUP1
00000333: ISZERO
00000334: PUSH2 0x0351
00000337: JUMPI
00000338: DUP1
00000339: DUP3
0000033a: SUB
0000033b: DUP1
0000033c: MLOAD
0000033d: PUSH1 0x01
0000033f: DUP4
00000340: PUSH1 0x20
00000342: SUB
00000343: PUSH2 0x0100
00000346: EXP
00000347: SUB
00000348: NOT
00000349: AND
0000034a: DUP2
0000034b: MSTORE
0000034c: PUSH1 0x20
0000034e: ADD
0000034f: SWAP2
00000350: POP
00000351: JUMPDEST
00000352: POP
00000353: SWAP6
00000354: POP
00000355: POP
00000356: POP
00000357: POP
00000358: POP
00000359: POP
0000035a: PUSH1 0x20
0000035c: PUSH1 0x40
0000035e: MLOAD
0000035f: DUP1
00000360: DUP4
00000361: SUB
00000362: DUP2
00000363: DUP6
00000364: DUP9
00000365: PUSH2 0x8502
00000368: GAS
00000369: SUB
0000036a: CALL
0000036b: ISZERO
0000036c: PUSH2 0x0002
0000036f: JUMPI
00000370: POP
00000371: POP
00000372: PUSH1 0x40
00000374: MLOAD
00000375: MLOAD
00000376: SWAP4
00000377: POP
00000378: PUSH2 0x0c3c
0000037b: SWAP3
0000037c: POP
0000037d: POP
0000037e: POP
0000037f: JUMP
00000380: JUMPDEST
00000381: PUSH1 0x40
00000383: DUP1
00000384: MLOAD
00000385: PUSH1 0x20
00000387: PUSH1 0x24
00000389: DUP1
0000038a: CALLDATALOAD
0000038b: PUSH1 0x04
0000038d: DUP2
0000038e: DUP2
0000038f: ADD
00000390: CALLDATALOAD
00000391: PUSH1 0x1f
00000393: DUP2
00000394: ADD
00000395: DUP6
00000396: SWAP1
00000397: DIV
00000398: DUP6
00000399: MUL
0000039a: DUP7
0000039b: ADD
0000039c: DUP6
0000039d: ADD
0000039e: SWAP1
0000039f: SWAP7
000003a0: MSTORE
000003a1: DUP6
000003a2: DUP6
000003a3: MSTORE
000003a4: PUSH2 0x07a6
000003a7: SWAP6
000003a8: DUP2
000003a9: CALLDATALOAD
000003aa: SWAP6
000003ab: SWAP2
000003ac: SWAP5
000003ad: PUSH1 0x44
000003af: SWAP5
000003b0: SWAP3
000003b1: SWAP4
000003b2: SWAP1
000003b3: SWAP3
000003b4: ADD
000003b5: SWAP2
000003b6: DUP2
000003b7: SWAP1
000003b8: DUP5
000003b9: ADD
000003ba: DUP4
000003bb: DUP3
000003bc: DUP1
000003bd: DUP3
000003be: DUP5
000003bf: CALLDATACOPY
000003c0: POP
000003c1: SWAP5
000003c2: SWAP7
000003c3: POP
000003c4: POP
000003c5: POP
000003c6: POP
000003c7: POP
000003c8: POP
000003c9: POP
000003ca: PUSH1 0x40
000003cc: DUP1
000003cd: MLOAD
000003ce: DUP1
000003cf: DUP3
000003d0: ADD
000003d1: SWAP1
000003d2: SWAP2
000003d3: MSTORE
000003d4: PUSH1 0x07
000003d6: DUP2
000003d7: MSTORE
000003d8: PUSH1 0xc8
000003da: PUSH1 0x02
000003dc: EXP
000003dd: PUSH7 0x444556434f4e31
000003e5: MUL
000003e6: PUSH1 0x20
000003e8: DUP3
000003e9: ADD
000003ea: MSTORE
000003eb: PUSH2 0x07bc
000003ee: PUSH1 0x00
000003f0: PUSH1 0x00
000003f2: PUSH20 0x1d11e5eae3112dbd44f99266872ff1d07c77dce8
00000407: SWAP1
00000408: POP
00000409: DUP1
0000040a: PUSH1 0x01
0000040c: PUSH1 0xa0
0000040e: PUSH1 0x02
00000410: EXP
00000411: SUB
00000412: AND
00000413: PUSH4 0x38cc4831
00000418: PUSH1 0x40
0000041a: MLOAD
0000041b: DUP2
0000041c: PUSH1 0xe0
0000041e: PUSH1 0x02
00000420: EXP
00000421: MUL
00000422: DUP2
00000423: MSTORE
00000424: PUSH1 0x04
00000426: ADD
00000427: DUP1
00000428: SWAP1
00000429: POP
0000042a: PUSH1 0x20
0000042c: PUSH1 0x40
0000042e: MLOAD
0000042f: DUP1
00000430: DUP4
00000431: SUB
00000432: DUP2
00000433: PUSH1 0x00
00000435: DUP8
00000436: PUSH2 0x61da
00000439: GAS
0000043a: SUB
0000043b: CALL
0000043c: ISZERO
0000043d: PUSH2 0x0002
00000440: JUMPI
00000441: POP
00000442: POP
00000443: PUSH1 0x40
00000445: DUP1
00000446: MLOAD
00000447: DUP1
00000448: MLOAD
00000449: PUSH1 0x03
0000044b: DUP1
0000044c: SLOAD
0000044d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000462: NOT
00000463: AND
00000464: SWAP1
00000465: SWAP2
00000466: OR
00000467: SWAP1
00000468: DUP2
00000469: SWAP1
0000046a: SSTORE
0000046b: PUSH32 0xc281d19e00000000000000000000000000000000000000000000000000000000
0000048c: DUP3
0000048d: MSTORE
0000048e: SWAP2
0000048f: MLOAD
00000490: PUSH1 0x01
00000492: PUSH1 0xa0
00000494: PUSH1 0x02
00000496: EXP
00000497: SUB
00000498: SWAP3
00000499: SWAP1
0000049a: SWAP3
0000049b: AND
0000049c: SWAP3
0000049d: POP
0000049e: PUSH4 0xc281d19e
000004a3: SWAP2
000004a4: PUSH1 0x04
000004a6: DUP3
000004a7: DUP2
000004a8: ADD
000004a9: SWAP3
000004aa: PUSH1 0x20
000004ac: SWAP3
000004ad: SWAP2
000004ae: SWAP1
000004af: DUP3
000004b0: SWAP1
000004b1: SUB
000004b2: ADD
000004b3: DUP2
000004b4: DUP9
000004b5: DUP8
000004b6: PUSH2 0x61da
000004b9: GAS
000004ba: SUB
000004bb: CALL
000004bc: ISZERO
000004bd: PUSH2 0x0002
000004c0: JUMPI
000004c1: POP
000004c2: POP
000004c3: PUSH1 0x40
000004c5: MLOAD
000004c6: MLOAD
000004c7: SWAP3
000004c8: POP
000004c9: POP
000004ca: POP
000004cb: SWAP1
000004cc: JUMP
000004cd: JUMPDEST
000004ce: PUSH1 0x40
000004d0: DUP1
000004d1: MLOAD
000004d2: PUSH1 0x20
000004d4: PUSH1 0x04
000004d6: DUP1
000004d7: CALLDATALOAD
000004d8: DUP1
000004d9: DUP3
000004da: ADD
000004db: CALLDATALOAD
000004dc: PUSH1 0x1f
000004de: DUP2
000004df: ADD
000004e0: DUP5
000004e1: SWAP1
000004e2: DIV
000004e3: DUP5
000004e4: MUL
000004e5: DUP6
000004e6: ADD
000004e7: DUP5
000004e8: ADD
000004e9: SWAP1
000004ea: SWAP6
000004eb: MSTORE
000004ec: DUP5
000004ed: DUP5
000004ee: MSTORE
000004ef: PUSH2 0x07aa
000004f2: SWAP5
000004f3: SWAP2
000004f4: SWAP4
000004f5: PUSH1 0x24
000004f7: SWAP4
000004f8: SWAP1
000004f9: SWAP3
000004fa: SWAP2
000004fb: DUP5
000004fc: ADD
000004fd: SWAP2
000004fe: SWAP1
000004ff: DUP2
00000500: SWAP1
00000501: DUP5
00000502: ADD
00000503: DUP4
00000504: DUP3
00000505: DUP1
00000506: DUP3
00000507: DUP5
00000508: CALLDATACOPY
00000509: POP
0000050a: POP
0000050b: PUSH1 0x40
0000050d: DUP1
0000050e: MLOAD
0000050f: PUSH1 0x20
00000511: DUP9
00000512: CALLDATALOAD
00000513: DUP1
00000514: DUP12
00000515: ADD
00000516: CALLDATALOAD
00000517: PUSH1 0x1f
00000519: DUP2
0000051a: ADD
0000051b: DUP4
0000051c: SWAP1
0000051d: DIV
0000051e: DUP4
0000051f: MUL
00000520: DUP5
00000521: ADD
00000522: DUP4
00000523: ADD
00000524: SWAP1
00000525: SWAP5
00000526: MSTORE
00000527: DUP4
00000528: DUP4
00000529: MSTORE
0000052a: SWAP8
0000052b: SWAP10
0000052c: SWAP9
0000052d: PUSH1 0x44
0000052f: SWAP9
00000530: SWAP3
00000531: SWAP8
00000532: POP
00000533: SWAP2
00000534: SWAP1
00000535: SWAP2
00000536: ADD
00000537: SWAP5
00000538: POP
00000539: SWAP1
0000053a: SWAP3
0000053b: POP
0000053c: DUP3
0000053d: SWAP2
0000053e: POP
0000053f: DUP5
00000540: ADD
00000541: DUP4
00000542: DUP3
00000543: DUP1
00000544: DUP3
00000545: DUP5
00000546: CALLDATACOPY
00000547: POP
00000548: POP
00000549: PUSH1 0x40
0000054b: DUP1
0000054c: MLOAD
0000054d: PUSH1 0xe0
0000054f: PUSH1 0x02
00000551: EXP
00000552: PUSH4 0x38cc4831
00000557: MUL
00000558: DUP2
00000559: MSTORE
0000055a: SWAP1
0000055b: MLOAD
0000055c: SWAP6
0000055d: SWAP8
0000055e: PUSH1 0x00
00000560: SWAP8
00000561: POP
00000562: PUSH20 0x1d11e5eae3112dbd44f99266872ff1d07c77dce8
00000577: SWAP7
00000578: DUP8
00000579: SWAP7
0000057a: POP
0000057b: PUSH4 0x38cc4831
00000580: SWAP6
00000581: POP
00000582: DUP3
00000583: DUP3
00000584: ADD
00000585: SWAP5
00000586: POP
00000587: PUSH1 0x20
00000589: SWAP4
0000058a: POP
0000058b: SWAP2
0000058c: DUP3
0000058d: SWAP1
0000058e: SUB
0000058f: ADD
00000590: DUP2
00000591: DUP9
00000592: DUP8
00000593: PUSH2 0x61da
00000596: GAS
00000597: SUB
00000598: CALL
00000599: ISZERO
0000059a: PUSH2 0x0002
0000059d: JUMPI
0000059e: POP
0000059f: POP
000005a0: POP
000005a1: PUSH1 0x40
000005a3: MLOAD
000005a4: DUP1
000005a5: MLOAD
000005a6: SWAP1
000005a7: PUSH1 0x20
000005a9: ADD
000005aa: POP
000005ab: PUSH1 0x03
000005ad: PUSH1 0x00
000005af: PUSH2 0x0100
000005b2: EXP
000005b3: DUP2
000005b4: SLOAD
000005b5: DUP2
000005b6: PUSH1 0x01
000005b8: PUSH1 0xa0
000005ba: PUSH1 0x02
000005bc: EXP
000005bd: SUB
000005be: MUL
000005bf: NOT
000005c0: AND
000005c1: SWAP1
000005c2: DUP4
000005c3: MUL
000005c4: OR
000005c5: SWAP1
000005c6: SSTORE
000005c7: POP
000005c8: PUSH1 0x03
000005ca: PUSH1 0x00
000005cc: SWAP1
000005cd: SLOAD
000005ce: SWAP1
000005cf: PUSH2 0x0100
000005d2: EXP
000005d3: SWAP1
000005d4: DIV
000005d5: PUSH1 0x01
000005d7: PUSH1 0xa0
000005d9: PUSH1 0x02
000005db: EXP
000005dc: SUB
000005dd: AND
000005de: PUSH1 0x01
000005e0: PUSH1 0xa0
000005e2: PUSH1 0x02
000005e4: EXP
000005e5: SUB
000005e6: AND
000005e7: PUSH4 0xadf59f99
000005ec: PUSH1 0x03
000005ee: PUSH1 0x00
000005f0: SWAP1
000005f1: SLOAD
000005f2: SWAP1
000005f3: PUSH2 0x0100
000005f6: EXP
000005f7: SWAP1
000005f8: DIV
000005f9: PUSH1 0x01
000005fb: PUSH1 0xa0
000005fd: PUSH1 0x02
000005ff: EXP
00000600: SUB
00000601: AND
00000602: PUSH1 0x01
00000604: PUSH1 0xa0
00000606: PUSH1 0x02
00000608: EXP
00000609: SUB
0000060a: AND
0000060b: PUSH4 0x524f3889
00000610: DUP8
00000611: PUSH1 0x40
00000613: MLOAD
00000614: DUP3
00000615: PUSH1 0xe0
00000617: PUSH1 0x02
00000619: EXP
0000061a: MUL
0000061b: DUP2
0000061c: MSTORE
0000061d: PUSH1 0x04
0000061f: ADD
00000620: DUP1
00000621: DUP1
00000622: PUSH1 0x20
00000624: ADD
00000625: DUP3
00000626: DUP2
00000627: SUB
00000628: DUP3
00000629: MSTORE
0000062a: DUP4
0000062b: DUP2
0000062c: DUP2
0000062d: MLOAD
0000062e: DUP2
0000062f: MSTORE
00000630: PUSH1 0x20
00000632: ADD
00000633: SWAP2
00000634: POP
00000635: DUP1
00000636: MLOAD
00000637: SWAP1
00000638: PUSH1 0x20
0000063a: ADD
0000063b: SWAP1
0000063c: DUP1
0000063d: DUP4
0000063e: DUP4
0000063f: DUP3
00000640: SWAP1
00000641: PUSH1 0x00
00000643: PUSH1 0x04
00000645: PUSH1 0x20
00000647: DUP5
00000648: PUSH1 0x1f
0000064a: ADD
0000064b: DIV
0000064c: PUSH1 0x03
0000064e: MUL
0000064f: PUSH1 0x0f
00000651: ADD
00000652: CALL
00000653: POP
00000654: SWAP1
00000655: POP
00000656: SWAP1
00000657: DUP2
00000658: ADD
00000659: SWAP1
0000065a: PUSH1 0x1f
0000065c: AND
0000065d: DUP1
0000065e: ISZERO
0000065f: PUSH2 0x067c
00000662: JUMPI
00000663: DUP1
00000664: DUP3
00000665: SUB
00000666: DUP1
00000667: MLOAD
00000668: PUSH1 0x01
0000066a: DUP4
0000066b: PUSH1 0x20
0000066d: SUB
0000066e: PUSH2 0x0100
00000671: EXP
00000672: SUB
00000673: NOT
00000674: AND
00000675: DUP2
00000676: MSTORE
00000677: PUSH1 0x20
00000679: ADD
0000067a: SWAP2
0000067b: POP
0000067c: JUMPDEST
0000067d: POP
0000067e: SWAP3
0000067f: POP
00000680: POP
00000681: POP
00000682: PUSH1 0x20
00000684: PUSH1 0x40
00000686: MLOAD
00000687: DUP1
00000688: DUP4
00000689: SUB
0000068a: DUP2
0000068b: PUSH1 0x00
0000068d: DUP8
0000068e: PUSH2 0x61da
00000691: GAS
00000692: SUB
00000693: CALL
00000694: ISZERO
00000695: PUSH2 0x0002
00000698: JUMPI
00000699: POP
0000069a: POP
0000069b: POP
0000069c: PUSH1 0x40
0000069e: MLOAD
0000069f: DUP1
000006a0: MLOAD
000006a1: SWAP1
000006a2: PUSH1 0x20
000006a4: ADD
000006a5: POP
000006a6: PUSH1 0x00
000006a8: DUP8
000006a9: DUP8
000006aa: PUSH1 0x40
000006ac: MLOAD
000006ad: DUP6
000006ae: PUSH1 0xe0
000006b0: PUSH1 0x02
000006b2: EXP
000006b3: MUL
000006b4: DUP2
000006b5: MSTORE
000006b6: PUSH1 0x04
000006b8: ADD
000006b9: DUP1
000006ba: DUP5
000006bb: DUP2
000006bc: MSTORE
000006bd: PUSH1 0x20
000006bf: ADD
000006c0: DUP1
000006c1: PUSH1 0x20
000006c3: ADD
000006c4: DUP1
000006c5: PUSH1 0x20
000006c7: ADD
000006c8: DUP4
000006c9: DUP2
000006ca: SUB
000006cb: DUP4
000006cc: MSTORE
000006cd: DUP6
000006ce: DUP2
000006cf: DUP2
000006d0: MLOAD
000006d1: DUP2
000006d2: MSTORE
000006d3: PUSH1 0x20
000006d5: ADD
000006d6: SWAP2
000006d7: POP
000006d8: DUP1
000006d9: MLOAD
000006da: SWAP1
000006db: PUSH1 0x20
000006dd: ADD
000006de: SWAP1
000006df: DUP1
000006e0: DUP4
000006e1: DUP4
000006e2: DUP3
000006e3: SWAP1
000006e4: PUSH1 0x00
000006e6: PUSH1 0x04
000006e8: PUSH1 0x20
000006ea: DUP5
000006eb: PUSH1 0x1f
000006ed: ADD
000006ee: DIV
000006ef: PUSH1 0x03
000006f1: MUL
000006f2: PUSH1 0x0f
000006f4: ADD
000006f5: CALL
000006f6: POP
000006f7: SWAP1
000006f8: POP
000006f9: SWAP1
000006fa: DUP2
000006fb: ADD
000006fc: SWAP1
000006fd: PUSH1 0x1f
000006ff: AND
00000700: DUP1
00000701: ISZERO
00000702: PUSH2 0x071f
00000705: JUMPI
00000706: DUP1
00000707: DUP3
00000708: SUB
00000709: DUP1
0000070a: MLOAD
0000070b: PUSH1 0x01
0000070d: DUP4
0000070e: PUSH1 0x20
00000710: SUB
00000711: PUSH2 0x0100
00000714: EXP
00000715: SUB
00000716: NOT
00000717: AND
00000718: DUP2
00000719: MSTORE
0000071a: PUSH1 0x20
0000071c: ADD
0000071d: SWAP2
0000071e: POP
0000071f: JUMPDEST
00000720: POP
00000721: DUP4
00000722: DUP2
00000723: SUB
00000724: DUP3
00000725: MSTORE
00000726: DUP5
00000727: DUP2
00000728: DUP2
00000729: MLOAD
0000072a: DUP2
0000072b: MSTORE
0000072c: PUSH1 0x20
0000072e: ADD
0000072f: SWAP2
00000730: POP
00000731: DUP1
00000732: MLOAD
00000733: SWAP1
00000734: PUSH1 0x20
00000736: ADD
00000737: SWAP1
00000738: DUP1
00000739: DUP4
0000073a: DUP4
0000073b: DUP3
0000073c: SWAP1
0000073d: PUSH1 0x00
0000073f: PUSH1 0x04
00000741: PUSH1 0x20
00000743: DUP5
00000744: PUSH1 0x1f
00000746: ADD
00000747: DIV
00000748: PUSH1 0x03
0000074a: MUL
0000074b: PUSH1 0x0f
0000074d: ADD
0000074e: CALL
0000074f: POP
00000750: SWAP1
00000751: POP
00000752: SWAP1
00000753: DUP2
00000754: ADD
00000755: SWAP1
00000756: PUSH1 0x1f
00000758: AND
00000759: DUP1
0000075a: ISZERO
0000075b: PUSH2 0x0778
0000075e: JUMPI
0000075f: DUP1
00000760: DUP3
00000761: SUB
00000762: DUP1
00000763: MLOAD
00000764: PUSH1 0x01
00000766: DUP4
00000767: PUSH1 0x20
00000769: SUB
0000076a: PUSH2 0x0100
0000076d: EXP
0000076e: SUB
0000076f: NOT
00000770: AND
00000771: DUP2
00000772: MSTORE
00000773: PUSH1 0x20
00000775: ADD
00000776: SWAP2
00000777: POP
00000778: JUMPDEST
00000779: POP
0000077a: SWAP6
0000077b: POP
0000077c: POP
0000077d: POP
0000077e: POP
0000077f: POP
00000780: POP
00000781: PUSH1 0x20
00000783: PUSH1 0x40
00000785: MLOAD
00000786: DUP1
00000787: DUP4
00000788: SUB
00000789: DUP2
0000078a: DUP6
0000078b: DUP9
0000078c: PUSH2 0x8502
0000078f: GAS
00000790: SUB
00000791: CALL
00000792: ISZERO
00000793: PUSH2 0x0002
00000796: JUMPI
00000797: POP
00000798: POP
00000799: PUSH1 0x40
0000079b: MLOAD
0000079c: MLOAD
0000079d: SWAP7
0000079e: SWAP6
0000079f: POP
000007a0: POP
000007a1: POP
000007a2: POP
000007a3: POP
000007a4: POP
000007a5: JUMP
000007a6: JUMPDEST
000007a7: STOP
000007a8: JUMPDEST
000007a9: JUMP
000007aa: JUMPDEST
000007ab: PUSH1 0x40
000007ad: DUP1
000007ae: MLOAD
000007af: SWAP2
000007b0: DUP3
000007b1: MSTORE
000007b2: MLOAD
000007b3: SWAP1
000007b4: DUP2
000007b5: SWAP1
000007b6: SUB
000007b7: PUSH1 0x20
000007b9: ADD
000007ba: SWAP1
000007bb: RETURN
000007bc: JUMPDEST
000007bd: PUSH1 0x01
000007bf: PUSH1 0xa0
000007c1: PUSH1 0x02
000007c3: EXP
000007c4: SUB
000007c5: AND
000007c6: CALLER
000007c7: PUSH1 0x01
000007c9: PUSH1 0xa0
000007cb: PUSH1 0x02
000007cd: EXP
000007ce: SUB
000007cf: AND
000007d0: EQ
000007d1: ISZERO
000007d2: ISZERO
000007d3: PUSH2 0x07db
000007d6: JUMPI
000007d7: PUSH2 0x0002
000007da: JUMP
000007db: JUMPDEST
000007dc: PUSH1 0x04
000007de: SLOAD
000007df: DUP4
000007e0: EQ
000007e1: DUP1
000007e2: ISZERO
000007e3: PUSH2 0x0889
000007e6: JUMPI
000007e7: POP
000007e8: PUSH2 0x0bb8
000007eb: PUSH2 0x0887
000007ee: DUP4
000007ef: PUSH1 0x06
000007f1: PUSH1 0x40
000007f3: DUP1
000007f4: MLOAD
000007f5: PUSH1 0x20
000007f7: DUP2
000007f8: ADD
000007f9: SWAP1
000007fa: SWAP2
000007fb: MSTORE
000007fc: PUSH1 0x00
000007fe: SWAP1
000007ff: DUP2
00000800: SWAP1
00000801: MSTORE
00000802: DUP3
00000803: DUP2
00000804: DUP1
00000805: DUP1
00000806: JUMPDEST
00000807: DUP4
00000808: MLOAD
00000809: DUP2
0000080a: LT
0000080b: ISZERO
0000080c: PUSH2 0x087c
0000080f: JUMPI
00000810: PUSH1 0x30
00000812: PUSH1 0xf8
00000814: PUSH1 0x02
00000816: EXP
00000817: MUL
00000818: DUP5
00000819: DUP3
0000081a: DUP2
0000081b: MLOAD
0000081c: DUP2
0000081d: LT
0000081e: ISZERO
0000081f: PUSH2 0x0002
00000822: JUMPI
00000823: SWAP1
00000824: PUSH1 0x20
00000826: ADD
00000827: ADD
00000828: MLOAD
00000829: PUSH1 0xf8
0000082b: PUSH1 0x02
0000082d: EXP
0000082e: SWAP1
0000082f: DIV
00000830: PUSH1 0xf8
00000832: PUSH1 0x02
00000834: EXP
00000835: MUL
00000836: LT
00000837: ISZERO
00000838: DUP1
00000839: ISZERO
0000083a: PUSH2 0x0867
0000083d: JUMPI
0000083e: POP
0000083f: PUSH1 0x39
00000841: PUSH1 0xf8
00000843: PUSH1 0x02
00000845: EXP
00000846: MUL
00000847: DUP5
00000848: DUP3
00000849: DUP2
0000084a: MLOAD
0000084b: DUP2
0000084c: LT
0000084d: ISZERO
0000084e: PUSH2 0x0002
00000851: JUMPI
00000852: SWAP1
00000853: PUSH1 0x20
00000855: ADD
00000856: ADD
00000857: MLOAD
00000858: PUSH1 0xf8
0000085a: PUSH1 0x02
0000085c: EXP
0000085d: SWAP1
0000085e: DIV
0000085f: PUSH1 0xf8
00000861: PUSH1 0x02
00000863: EXP
00000864: MUL
00000865: GT
00000866: ISZERO
00000867: JUMPDEST
00000868: ISZERO
00000869: PUSH2 0x0d3c
0000086c: JUMPI
0000086d: DUP2
0000086e: ISZERO
0000086f: PUSH2 0x0d7e
00000872: JUMPI
00000873: DUP6
00000874: PUSH1 0x00
00000876: EQ
00000877: ISZERO
00000878: PUSH2 0x0d75
0000087b: JUMPI
0000087c: JUMPDEST
0000087d: POP
0000087e: SWAP1
0000087f: SWAP6
00000880: SWAP5
00000881: POP
00000882: POP
00000883: POP
00000884: POP
00000885: POP
00000886: JUMP
00000887: JUMPDEST
00000888: LT
00000889: JUMPDEST
0000088a: ISZERO
0000088b: PUSH2 0x0c43
0000088e: JUMPI
0000088f: PUSH1 0x40
00000891: DUP1
00000892: MLOAD
00000893: DUP1
00000894: DUP3
00000895: ADD
00000896: DUP3
00000897: MSTORE
00000898: PUSH1 0x03
0000089a: DUP2
0000089b: MSTORE
0000089c: PUSH1 0xea
0000089e: PUSH1 0x02
000008a0: EXP
000008a1: PUSH3 0x155493
000008a5: MUL
000008a6: PUSH1 0x20
000008a8: DUP3
000008a9: DUP2
000008aa: ADD
000008ab: SWAP2
000008ac: SWAP1
000008ad: SWAP2
000008ae: MSTORE
000008af: DUP3
000008b0: MLOAD
000008b1: PUSH1 0x60
000008b3: DUP2
000008b4: DUP2
000008b5: ADD
000008b6: DUP6
000008b7: MSTORE
000008b8: PUSH1 0x36
000008ba: DUP3
000008bb: MSTORE
000008bc: PUSH32 0x6a736f6e2868747470733a2f2f736861706573686966742e696f2f73656e6461
000008dd: DUP3
000008de: DUP5
000008df: ADD
000008e0: MSTORE
000008e1: PUSH32 0x6d6f756e74292e737563636573732e6465706f73697400000000000000000000
00000902: DUP3
00000903: DUP7
00000904: ADD
00000905: MSTORE
00000906: DUP5
00000907: MLOAD
00000908: PUSH1 0x80
0000090a: DUP2
0000090b: ADD
0000090c: DUP7
0000090d: MSTORE
0000090e: PUSH1 0x5f
00000910: DUP2
00000911: MSTORE
00000912: PUSH32 0x7b2270616972223a20226574685f627463222c2022616d6f756e74223a202230
00000933: DUP2
00000934: DUP6
00000935: ADD
00000936: MSTORE
00000937: PUSH32 0x2e32222c20227769746864726177616c223a2020202020202020223141416343
00000958: DUP2
00000959: DUP8
0000095a: ADD
0000095b: MSTORE
0000095c: PUSH32 0x6f3231455563316a626f636a73735351447a4c6e613956656d32554e35227d00
0000097d: SWAP2
0000097e: DUP2
0000097f: ADD
00000980: SWAP2
00000981: SWAP1
00000982: SWAP2
00000983: MSTORE
00000984: DUP5
00000985: MLOAD
00000986: PUSH1 0xe0
00000988: PUSH1 0x02
0000098a: EXP
0000098b: PUSH4 0x38cc4831
00000990: MUL
00000991: DUP2
00000992: MSTORE
00000993: SWAP5
00000994: MLOAD
00000995: PUSH2 0x0cf1
00000998: SWAP6
00000999: SWAP3
0000099a: SWAP4
0000099b: SWAP2
0000099c: SWAP3
0000099d: PUSH1 0x00
0000099f: SWAP3
000009a0: PUSH20 0x1d11e5eae3112dbd44f99266872ff1d07c77dce8
000009b5: SWAP3
000009b6: DUP4
000009b7: SWAP3
000009b8: PUSH4 0x38cc4831
000009bd: SWAP3
000009be: PUSH1 0x04
000009c0: DUP3
000009c1: DUP2
000009c2: ADD
000009c3: SWAP4
000009c4: SWAP2
000009c5: SWAP3
000009c6: DUP3
000009c7: SWAP1
000009c8: SUB
000009c9: ADD
000009ca: DUP2
000009cb: DUP9
000009cc: DUP8
000009cd: PUSH2 0x61da
000009d0: GAS
000009d1: SUB
000009d2: CALL
000009d3: ISZERO
000009d4: PUSH2 0x0002
000009d7: JUMPI
000009d8: POP
000009d9: POP
000009da: POP
000009db: PUSH1 0x40
000009dd: MLOAD
000009de: DUP1
000009df: MLOAD
000009e0: SWAP1
000009e1: PUSH1 0x20
000009e3: ADD
000009e4: POP
000009e5: PUSH1 0x03
000009e7: PUSH1 0x00
000009e9: PUSH2 0x0100
000009ec: EXP
000009ed: DUP2
000009ee: SLOAD
000009ef: DUP2
000009f0: PUSH1 0x01
000009f2: PUSH1 0xa0
000009f4: PUSH1 0x02
000009f6: EXP
000009f7: SUB
000009f8: MUL
000009f9: NOT
000009fa: AND
000009fb: SWAP1
000009fc: DUP4
000009fd: MUL
000009fe: OR
000009ff: SWAP1
00000a00: SSTORE
00000a01: POP
00000a02: PUSH1 0x03
00000a04: PUSH1 0x00
00000a06: SWAP1
00000a07: SLOAD
00000a08: SWAP1
00000a09: PUSH2 0x0100
00000a0c: EXP
00000a0d: SWAP1
00000a0e: DIV
00000a0f: PUSH1 0x01
00000a11: PUSH1 0xa0
00000a13: PUSH1 0x02
00000a15: EXP
00000a16: SUB
00000a17: AND
00000a18: PUSH1 0x01
00000a1a: PUSH1 0xa0
00000a1c: PUSH1 0x02
00000a1e: EXP
00000a1f: SUB
00000a20: AND
00000a21: PUSH4 0x77228659
00000a26: PUSH1 0x03
00000a28: PUSH1 0x00
00000a2a: SWAP1
00000a2b: SLOAD
00000a2c: SWAP1
00000a2d: PUSH2 0x0100
00000a30: EXP
00000a31: SWAP1
00000a32: DIV
00000a33: PUSH1 0x01
00000a35: PUSH1 0xa0
00000a37: PUSH1 0x02
00000a39: EXP
00000a3a: SUB
00000a3b: AND
00000a3c: PUSH1 0x01
00000a3e: PUSH1 0xa0
00000a40: PUSH1 0x02
00000a42: EXP
00000a43: SUB
00000a44: AND
00000a45: PUSH4 0x524f3889
00000a4a: DUP9
00000a4b: PUSH1 0x40
00000a4d: MLOAD
00000a4e: DUP3
00000a4f: PUSH1 0xe0
00000a51: PUSH1 0x02
00000a53: EXP
00000a54: MUL
00000a55: DUP2
00000a56: MSTORE
00000a57: PUSH1 0x04
00000a59: ADD
00000a5a: DUP1
00000a5b: DUP1
00000a5c: PUSH1 0x20
00000a5e: ADD
00000a5f: DUP3
00000a60: DUP2
00000a61: SUB
00000a62: DUP3
00000a63: MSTORE
00000a64: DUP4
00000a65: DUP2
00000a66: DUP2
00000a67: MLOAD
00000a68: DUP2
00000a69: MSTORE
00000a6a: PUSH1 0x20
00000a6c: ADD
00000a6d: SWAP2
00000a6e: POP
00000a6f: DUP1
00000a70: MLOAD
00000a71: SWAP1
00000a72: PUSH1 0x20
00000a74: ADD
00000a75: SWAP1
00000a76: DUP1
00000a77: DUP4
00000a78: DUP4
00000a79: DUP3
00000a7a: SWAP1
00000a7b: PUSH1 0x00
00000a7d: PUSH1 0x04
00000a7f: PUSH1 0x20
00000a81: DUP5
00000a82: PUSH1 0x1f
00000a84: ADD
00000a85: DIV
00000a86: PUSH1 0x03
00000a88: MUL
00000a89: PUSH1 0x0f
00000a8b: ADD
00000a8c: CALL
00000a8d: POP
00000a8e: SWAP1
00000a8f: POP
00000a90: SWAP1
00000a91: DUP2
00000a92: ADD
00000a93: SWAP1
00000a94: PUSH1 0x1f
00000a96: AND
00000a97: DUP1
00000a98: ISZERO
00000a99: PUSH2 0x0ab6
00000a9c: JUMPI
00000a9d: DUP1
00000a9e: DUP3
00000a9f: SUB
00000aa0: DUP1
00000aa1: MLOAD
00000aa2: PUSH1 0x01
00000aa4: DUP4
00000aa5: PUSH1 0x20
00000aa7: SUB
00000aa8: PUSH2 0x0100
00000aab: EXP
00000aac: SUB
00000aad: NOT
00000aae: AND
00000aaf: DUP2
00000ab0: MSTORE
00000ab1: PUSH1 0x20
00000ab3: ADD
00000ab4: SWAP2
00000ab5: POP
00000ab6: JUMPDEST
00000ab7: POP
00000ab8: SWAP3
00000ab9: POP
00000aba: POP
00000abb: POP
00000abc: PUSH1 0x20
00000abe: PUSH1 0x40
00000ac0: MLOAD
00000ac1: DUP1
00000ac2: DUP4
00000ac3: SUB
00000ac4: DUP2
00000ac5: PUSH1 0x00
00000ac7: DUP8
00000ac8: PUSH2 0x61da
00000acb: GAS
00000acc: SUB
00000acd: CALL
00000ace: ISZERO
00000acf: PUSH2 0x0002
00000ad2: JUMPI
00000ad3: POP
00000ad4: POP
00000ad5: POP
00000ad6: PUSH1 0x40
00000ad8: MLOAD
00000ad9: DUP1
00000ada: MLOAD
00000adb: SWAP1
00000adc: PUSH1 0x20
00000ade: ADD
00000adf: POP
00000ae0: PUSH1 0x00
00000ae2: DUP9
00000ae3: DUP9
00000ae4: DUP9
00000ae5: PUSH1 0x40
00000ae7: MLOAD
00000ae8: DUP7
00000ae9: PUSH1 0xe0
00000aeb: PUSH1 0x02
00000aed: EXP
00000aee: MUL
00000aef: DUP2
00000af0: MSTORE
00000af1: PUSH1 0x04
00000af3: ADD
00000af4: DUP1
00000af5: DUP6
00000af6: DUP2
00000af7: MSTORE
00000af8: PUSH1 0x20
00000afa: ADD
00000afb: DUP1
00000afc: PUSH1 0x20
00000afe: ADD
00000aff: DUP1
00000b00: PUSH1 0x20
00000b02: ADD
00000b03: DUP1
00000b04: PUSH1 0x20
00000b06: ADD
00000b07: DUP5
00000b08: DUP2
00000b09: SUB
00000b0a: DUP5
00000b0b: MSTORE
00000b0c: DUP8
00000b0d: DUP2
00000b0e: DUP2
00000b0f: MLOAD
00000b10: DUP2
00000b11: MSTORE
00000b12: PUSH1 0x20
00000b14: ADD
00000b15: SWAP2
00000b16: POP
00000b17: DUP1
00000b18: MLOAD
00000b19: SWAP1
00000b1a: PUSH1 0x20
00000b1c: ADD
00000b1d: SWAP1
00000b1e: DUP1
00000b1f: DUP4
00000b20: DUP4
00000b21: DUP3
00000b22: SWAP1
00000b23: PUSH1 0x00
00000b25: PUSH1 0x04
00000b27: PUSH1 0x20
00000b29: DUP5
00000b2a: PUSH1 0x1f
00000b2c: ADD
00000b2d: DIV
00000b2e: PUSH1 0x03
00000b30: MUL
00000b31: PUSH1 0x0f
00000b33: ADD
00000b34: CALL
00000b35: POP
00000b36: SWAP1
00000b37: POP
00000b38: SWAP1
00000b39: DUP2
00000b3a: ADD
00000b3b: SWAP1
00000b3c: PUSH1 0x1f
00000b3e: AND
00000b3f: DUP1
00000b40: ISZERO
00000b41: PUSH2 0x0b5e
00000b44: JUMPI
00000b45: DUP1
00000b46: DUP3
00000b47: SUB
00000b48: DUP1
00000b49: MLOAD
00000b4a: PUSH1 0x01
00000b4c: DUP4
00000b4d: PUSH1 0x20
00000b4f: SUB
00000b50: PUSH2 0x0100
00000b53: EXP
00000b54: SUB
00000b55: NOT
00000b56: AND
00000b57: DUP2
00000b58: MSTORE
00000b59: PUSH1 0x20
00000b5b: ADD
00000b5c: SWAP2
00000b5d: POP
00000b5e: JUMPDEST
00000b5f: POP
00000b60: DUP5
00000b61: DUP2
00000b62: SUB
00000b63: DUP4
00000b64: MSTORE
00000b65: DUP7
00000b66: DUP2
00000b67: DUP2
00000b68: MLOAD
00000b69: DUP2
00000b6a: MSTORE
00000b6b: PUSH1 0x20
00000b6d: ADD
00000b6e: SWAP2
00000b6f: POP
00000b70: DUP1
00000b71: MLOAD
00000b72: SWAP1
00000b73: PUSH1 0x20
00000b75: ADD
00000b76: SWAP1
00000b77: DUP1
00000b78: DUP4
00000b79: DUP4
00000b7a: DUP3
00000b7b: SWAP1
00000b7c: PUSH1 0x00
00000b7e: PUSH1 0x04
00000b80: PUSH1 0x20
00000b82: DUP5
00000b83: PUSH1 0x1f
00000b85: ADD
00000b86: DIV
00000b87: PUSH1 0x03
00000b89: MUL
00000b8a: PUSH1 0x0f
00000b8c: ADD
00000b8d: CALL
00000b8e: POP
00000b8f: SWAP1
00000b90: POP
00000b91: SWAP1
00000b92: DUP2
00000b93: ADD
00000b94: SWAP1
00000b95: PUSH1 0x1f
00000b97: AND
00000b98: DUP1
00000b99: ISZERO
00000b9a: PUSH2 0x0bb7
00000b9d: JUMPI
00000b9e: DUP1
00000b9f: DUP3
00000ba0: SUB
00000ba1: DUP1
00000ba2: MLOAD
00000ba3: PUSH1 0x01
00000ba5: DUP4
00000ba6: PUSH1 0x20
00000ba8: SUB
00000ba9: PUSH2 0x0100
00000bac: EXP
00000bad: SUB
00000bae: NOT
00000baf: AND
00000bb0: DUP2
00000bb1: MSTORE
00000bb2: PUSH1 0x20
00000bb4: ADD
00000bb5: SWAP2
00000bb6: POP
00000bb7: JUMPDEST
00000bb8: POP
00000bb9: DUP5
00000bba: DUP2
00000bbb: SUB
00000bbc: DUP3
00000bbd: MSTORE
00000bbe: DUP6
00000bbf: DUP2
00000bc0: DUP2
00000bc1: MLOAD
00000bc2: DUP2
00000bc3: MSTORE
00000bc4: PUSH1 0x20
00000bc6: ADD
00000bc7: SWAP2
00000bc8: POP
00000bc9: DUP1
00000bca: MLOAD
00000bcb: SWAP1
00000bcc: PUSH1 0x20
00000bce: ADD
00000bcf: SWAP1
00000bd0: DUP1
00000bd1: DUP4
00000bd2: DUP4
00000bd3: DUP3
00000bd4: SWAP1
00000bd5: PUSH1 0x00
00000bd7: PUSH1 0x04
00000bd9: PUSH1 0x20
00000bdb: DUP5
00000bdc: PUSH1 0x1f
00000bde: ADD
00000bdf: DIV
00000be0: PUSH1 0x03
00000be2: MUL
00000be3: PUSH1 0x0f
00000be5: ADD
00000be6: CALL
00000be7: POP
00000be8: SWAP1
00000be9: POP
00000bea: SWAP1
00000beb: DUP2
00000bec: ADD
00000bed: SWAP1
00000bee: PUSH1 0x1f
00000bf0: AND
00000bf1: DUP1
00000bf2: ISZERO
00000bf3: PUSH2 0x0c10
00000bf6: JUMPI
00000bf7: DUP1
00000bf8: DUP3
00000bf9: SUB
00000bfa: DUP1
00000bfb: MLOAD
00000bfc: PUSH1 0x01
00000bfe: DUP4
00000bff: PUSH1 0x20
00000c01: SUB
00000c02: PUSH2 0x0100
00000c05: EXP
00000c06: SUB
00000c07: NOT
00000c08: AND
00000c09: DUP2
00000c0a: MSTORE
00000c0b: PUSH1 0x20
00000c0d: ADD
00000c0e: SWAP2
00000c0f: POP
00000c10: JUMPDEST
00000c11: POP
00000c12: SWAP8
00000c13: POP
00000c14: POP
00000c15: POP
00000c16: POP
00000c17: POP
00000c18: POP
00000c19: POP
00000c1a: POP
00000c1b: PUSH1 0x20
00000c1d: PUSH1 0x40
00000c1f: MLOAD
00000c20: DUP1
00000c21: DUP4
00000c22: SUB
00000c23: DUP2
00000c24: DUP6
00000c25: DUP9
00000c26: PUSH2 0x8502
00000c29: GAS
00000c2a: SUB
00000c2b: CALL
00000c2c: ISZERO
00000c2d: PUSH2 0x0002
00000c30: JUMPI
00000c31: POP
00000c32: POP
00000c33: PUSH1 0x40
00000c35: MLOAD
00000c36: MLOAD
00000c37: SWAP4
00000c38: POP
00000c39: POP
00000c3a: POP
00000c3b: POP
00000c3c: JUMPDEST
00000c3d: SWAP4
00000c3e: SWAP3
00000c3f: POP
00000c40: POP
00000c41: POP
00000c42: JUMP
00000c43: JUMPDEST
00000c44: PUSH1 0x05
00000c46: SLOAD
00000c47: DUP4
00000c48: EQ
00000c49: ISZERO
00000c4a: PUSH2 0x0cfa
00000c4d: JUMPI
00000c4e: PUSH2 0x0d02
00000c51: DUP3
00000c52: PUSH1 0x40
00000c54: DUP1
00000c55: MLOAD
00000c56: PUSH1 0x20
00000c58: DUP2
00000c59: ADD
00000c5a: SWAP1
00000c5b: SWAP2
00000c5c: MSTORE
00000c5d: PUSH1 0x00
00000c5f: SWAP1
00000c60: DUP2
00000c61: SWAP1
00000c62: MSTORE
00000c63: DUP2
00000c64: DUP2
00000c65: DUP1
00000c66: DUP1
00000c67: PUSH1 0x02
00000c69: JUMPDEST
00000c6a: PUSH1 0x2a
00000c6c: DUP2
00000c6d: LT
00000c6e: ISZERO
00000c6f: PUSH2 0x0db9
00000c72: JUMPI
00000c73: PUSH2 0x0100
00000c76: DUP5
00000c77: MUL
00000c78: SWAP4
00000c79: POP
00000c7a: DUP4
00000c7b: POP
00000c7c: DUP5
00000c7d: DUP2
00000c7e: DUP2
00000c7f: MLOAD
00000c80: DUP2
00000c81: LT
00000c82: ISZERO
00000c83: PUSH2 0x0002
00000c86: JUMPI
00000c87: DUP2
00000c88: MLOAD
00000c89: SWAP1
00000c8a: DUP3
00000c8b: ADD
00000c8c: PUSH1 0x20
00000c8e: ADD
00000c8f: MLOAD
00000c90: PUSH1 0xf8
00000c92: PUSH1 0x02
00000c94: EXP
00000c95: SWAP1
00000c96: DUP2
00000c97: SWAP1
00000c98: DIV
00000c99: DUP2
00000c9a: MUL
00000c9b: DIV
00000c9c: SWAP5
00000c9d: POP
00000c9e: PUSH1 0x01
00000ca0: DUP4
00000ca1: ADD
00000ca2: SWAP1
00000ca3: DUP2
00000ca4: LT
00000ca5: ISZERO
00000ca6: PUSH2 0x0002
00000ca9: JUMPI
00000caa: ADD
00000cab: PUSH1 0x20
00000cad: ADD
00000cae: MLOAD
00000caf: PUSH1 0xf8
00000cb1: PUSH1 0x02
00000cb3: EXP
00000cb4: SWAP1
00000cb5: DUP2
00000cb6: SWAP1
00000cb7: DIV
00000cb8: DUP2
00000cb9: MUL
00000cba: DIV
00000cbb: SWAP2
00000cbc: POP
00000cbd: PUSH1 0x61
00000cbf: PUSH1 0x01
00000cc1: PUSH1 0xa0
00000cc3: PUSH1 0x02
00000cc5: EXP
00000cc6: SUB
00000cc7: DUP5
00000cc8: AND
00000cc9: LT
00000cca: DUP1
00000ccb: ISZERO
00000ccc: SWAP1
00000ccd: PUSH2 0x0ce0
00000cd0: JUMPI
00000cd1: POP
00000cd2: PUSH1 0x66
00000cd4: DUP4
00000cd5: PUSH1 0x01
00000cd7: PUSH1 0xa0
00000cd9: PUSH1 0x02
00000cdb: EXP
00000cdc: SUB
00000cdd: AND
00000cde: GT
00000cdf: ISZERO
00000ce0: JUMPDEST
00000ce1: ISZERO
00000ce2: PUSH2 0x0dc4
00000ce5: JUMPI
00000ce6: PUSH1 0x56
00000ce8: NOT
00000ce9: SWAP1
00000cea: SWAP3
00000ceb: ADD
00000cec: SWAP2
00000ced: PUSH2 0x0df5
00000cf0: JUMP
00000cf1: JUMPDEST
00000cf2: PUSH1 0x05
00000cf4: SSTORE
00000cf5: JUMPDEST
00000cf6: POP
00000cf7: POP
00000cf8: POP
00000cf9: JUMP
00000cfa: JUMPDEST
00000cfb: PUSH2 0x0cf5
00000cfe: PUSH2 0x0044
00000d01: JUMP
00000d02: JUMPDEST
00000d03: PUSH1 0x01
00000d05: PUSH1 0xa0
00000d07: PUSH1 0x02
00000d09: EXP
00000d0a: SUB
00000d0b: AND
00000d0c: PUSH1 0x00
00000d0e: ADDRESS
00000d0f: PUSH1 0x01
00000d11: PUSH1 0xa0
00000d13: PUSH1 0x02
00000d15: EXP
00000d16: SUB
00000d17: AND
00000d18: BALANCE
00000d19: PUSH1 0x40
00000d1b: MLOAD
00000d1c: DUP1
00000d1d: SWAP1
00000d1e: POP
00000d1f: PUSH1 0x00
00000d21: PUSH1 0x40
00000d23: MLOAD
00000d24: DUP1
00000d25: DUP4
00000d26: SUB
00000d27: DUP2
00000d28: DUP6
00000d29: DUP9
00000d2a: DUP9
00000d2b: CALL
00000d2c: SWAP4
00000d2d: POP
00000d2e: POP
00000d2f: POP
00000d30: POP
00000d31: POP
00000d32: PUSH2 0x0cf5
00000d35: JUMP
00000d36: JUMPDEST
00000d37: PUSH1 0x04
00000d39: SSTORE
00000d3a: POP
00000d3b: JUMP
00000d3c: JUMPDEST
00000d3d: DUP4
00000d3e: DUP2
00000d3f: DUP2
00000d40: MLOAD
00000d41: DUP2
00000d42: LT
00000d43: ISZERO
00000d44: PUSH2 0x0002
00000d47: JUMPI
00000d48: SWAP1
00000d49: PUSH1 0x20
00000d4b: ADD
00000d4c: ADD
00000d4d: MLOAD
00000d4e: PUSH1 0xf8
00000d50: PUSH1 0x02
00000d52: EXP
00000d53: SWAP1
00000d54: DIV
00000d55: PUSH1 0xf8
00000d57: PUSH1 0x02
00000d59: EXP
00000d5a: MUL
00000d5b: PUSH1 0x2e
00000d5d: PUSH1 0xf8
00000d5f: PUSH1 0x02
00000d61: EXP
00000d62: MUL
00000d63: EQ
00000d64: ISZERO
00000d65: PUSH2 0x0d6d
00000d68: JUMPI
00000d69: PUSH1 0x01
00000d6b: SWAP2
00000d6c: POP
00000d6d: JUMPDEST
00000d6e: PUSH1 0x01
00000d70: ADD
00000d71: PUSH2 0x0806
00000d74: JUMP
00000d75: JUMPDEST
00000d76: PUSH1 0x00
00000d78: NOT
00000d79: SWAP6
00000d7a: SWAP1
00000d7b: SWAP6
00000d7c: ADD
00000d7d: SWAP5
00000d7e: JUMPDEST
00000d7f: PUSH1 0x0a
00000d81: DUP4
00000d82: MUL
00000d83: SWAP3
00000d84: POP
00000d85: DUP3
00000d86: POP
00000d87: PUSH1 0x30
00000d89: DUP5
00000d8a: DUP3
00000d8b: DUP2
00000d8c: MLOAD
00000d8d: DUP2
00000d8e: LT
00000d8f: ISZERO
00000d90: PUSH2 0x0002
00000d93: JUMPI
00000d94: SWAP1
00000d95: PUSH1 0x20
00000d97: ADD
00000d98: ADD
00000d99: MLOAD
00000d9a: PUSH1 0xf8
00000d9c: PUSH1 0x02
00000d9e: EXP
00000d9f: SWAP1
00000da0: DIV
00000da1: PUSH1 0xf8
00000da3: PUSH1 0x02
00000da5: EXP
00000da6: MUL
00000da7: PUSH1 0xf8
00000da9: PUSH1 0x02
00000dab: EXP
00000dac: SWAP1
00000dad: DIV
00000dae: SUB
00000daf: DUP4
00000db0: ADD
00000db1: SWAP3
00000db2: POP
00000db3: DUP3
00000db4: POP
00000db5: PUSH2 0x0d6d
00000db8: JUMP
00000db9: JUMPDEST
00000dba: POP
00000dbb: SWAP2
00000dbc: SWAP6
00000dbd: SWAP5
00000dbe: POP
00000dbf: POP
00000dc0: POP
00000dc1: POP
00000dc2: POP
00000dc3: JUMP
00000dc4: JUMPDEST
00000dc5: PUSH1 0x30
00000dc7: DUP4
00000dc8: PUSH1 0x01
00000dca: PUSH1 0xa0
00000dcc: PUSH1 0x02
00000dce: EXP
00000dcf: SUB
00000dd0: AND
00000dd1: LT
00000dd2: ISZERO
00000dd3: DUP1
00000dd4: ISZERO
00000dd5: PUSH2 0x0de8
00000dd8: JUMPI
00000dd9: POP
00000dda: PUSH1 0x39
00000ddc: DUP4
00000ddd: PUSH1 0x01
00000ddf: PUSH1 0xa0
00000de1: PUSH1 0x02
00000de3: EXP
00000de4: SUB
00000de5: AND
00000de6: GT
00000de7: ISZERO
00000de8: JUMPDEST
00000de9: ISZERO
00000dea: PUSH2 0x0df5
00000ded: JUMPI
00000dee: PUSH1 0x2f
00000df0: NOT
00000df1: SWAP1
00000df2: SWAP3
00000df3: ADD
00000df4: SWAP2
00000df5: JUMPDEST
00000df6: PUSH1 0x61
00000df8: DUP3
00000df9: PUSH1 0x01
00000dfb: PUSH1 0xa0
00000dfd: PUSH1 0x02
00000dff: EXP
00000e00: SUB
00000e01: AND
00000e02: LT
00000e03: ISZERO
00000e04: DUP1
00000e05: ISZERO
00000e06: PUSH2 0x0e19
00000e09: JUMPI
00000e0a: POP
00000e0b: PUSH1 0x66
00000e0d: DUP3
00000e0e: PUSH1 0x01
00000e10: PUSH1 0xa0
00000e12: PUSH1 0x02
00000e14: EXP
00000e15: SUB
00000e16: AND
00000e17: GT
00000e18: ISZERO
00000e19: JUMPDEST
00000e1a: ISZERO
00000e1b: PUSH2 0x0e2a
00000e1e: JUMPI
00000e1f: PUSH1 0x56
00000e21: NOT
00000e22: SWAP1
00000e23: SWAP2
00000e24: ADD
00000e25: SWAP1
00000e26: PUSH2 0x0e5b
00000e29: JUMP
00000e2a: JUMPDEST
00000e2b: PUSH1 0x30
00000e2d: DUP3
00000e2e: PUSH1 0x01
00000e30: PUSH1 0xa0
00000e32: PUSH1 0x02
00000e34: EXP
00000e35: SUB
00000e36: AND
00000e37: LT
00000e38: ISZERO
00000e39: DUP1
00000e3a: ISZERO
00000e3b: PUSH2 0x0e4e
00000e3e: JUMPI
00000e3f: POP
00000e40: PUSH1 0x39
00000e42: DUP3
00000e43: PUSH1 0x01
00000e45: PUSH1 0xa0
00000e47: PUSH1 0x02
00000e49: EXP
00000e4a: SUB
00000e4b: AND
00000e4c: GT
00000e4d: ISZERO
00000e4e: JUMPDEST
00000e4f: ISZERO
00000e50: PUSH2 0x0e5b
00000e53: JUMPI
00000e54: PUSH1 0x2f
00000e56: NOT
00000e57: SWAP1
00000e58: SWAP2
00000e59: ADD
00000e5a: SWAP1
00000e5b: JUMPDEST
00000e5c: PUSH1 0x10
00000e5e: DUP4
00000e5f: MUL
00000e60: DUP3
00000e61: ADD
00000e62: SWAP1
00000e63: SWAP4
00000e64: ADD
00000e65: SWAP3
00000e66: PUSH1 0x02
00000e68: ADD
00000e69: PUSH2 0x0c69
00000e6c: 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.