Analysis Run

OpenAI Codex v0.118.0 (research preview)
--------
workdir: /tmp/codex-98sz5h21
model: gpt-5.4
provider: openai
approval: never
sandbox: read-only
reasoning effort: high
reasoning summaries: none
session id: 019d5c9f-20d2-7633-9bb1-b6aa81ab7411
--------
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:50:27.417956+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 0x0382
00000029: JUMPI
0000002a: DUP1
0000002b: PUSH4 0x489306eb
00000030: EQ
00000031: PUSH2 0x04cf
00000034: JUMPI
00000035: JUMPDEST
00000036: PUSH2 0x07a8
00000039: PUSH2 0x07aa
0000003c: PUSH2 0x0044
0000003f: JUMP
00000040: JUMPDEST
00000041: PUSH2 0x07a8
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: POP
00000379: POP
0000037a: POP
0000037b: JUMPDEST
0000037c: SWAP4
0000037d: SWAP3
0000037e: POP
0000037f: POP
00000380: POP
00000381: JUMP
00000382: JUMPDEST
00000383: PUSH1 0x40
00000385: DUP1
00000386: MLOAD
00000387: PUSH1 0x20
00000389: PUSH1 0x24
0000038b: DUP1
0000038c: CALLDATALOAD
0000038d: PUSH1 0x04
0000038f: DUP2
00000390: DUP2
00000391: ADD
00000392: CALLDATALOAD
00000393: PUSH1 0x1f
00000395: DUP2
00000396: ADD
00000397: DUP6
00000398: SWAP1
00000399: DIV
0000039a: DUP6
0000039b: MUL
0000039c: DUP7
0000039d: ADD
0000039e: DUP6
0000039f: ADD
000003a0: SWAP1
000003a1: SWAP7
000003a2: MSTORE
000003a3: DUP6
000003a4: DUP6
000003a5: MSTORE
000003a6: PUSH2 0x07a8
000003a9: SWAP6
000003aa: DUP2
000003ab: CALLDATALOAD
000003ac: SWAP6
000003ad: SWAP2
000003ae: SWAP5
000003af: PUSH1 0x44
000003b1: SWAP5
000003b2: SWAP3
000003b3: SWAP4
000003b4: SWAP1
000003b5: SWAP3
000003b6: ADD
000003b7: SWAP2
000003b8: DUP2
000003b9: SWAP1
000003ba: DUP5
000003bb: ADD
000003bc: DUP4
000003bd: DUP3
000003be: DUP1
000003bf: DUP3
000003c0: DUP5
000003c1: CALLDATACOPY
000003c2: POP
000003c3: SWAP5
000003c4: SWAP7
000003c5: POP
000003c6: POP
000003c7: POP
000003c8: POP
000003c9: POP
000003ca: POP
000003cb: POP
000003cc: PUSH1 0x40
000003ce: DUP1
000003cf: MLOAD
000003d0: DUP1
000003d1: DUP3
000003d2: ADD
000003d3: SWAP1
000003d4: SWAP2
000003d5: MSTORE
000003d6: PUSH1 0x07
000003d8: DUP2
000003d9: MSTORE
000003da: PUSH1 0xc8
000003dc: PUSH1 0x02
000003de: EXP
000003df: PUSH7 0x444556434f4e31
000003e7: MUL
000003e8: PUSH1 0x20
000003ea: DUP3
000003eb: ADD
000003ec: MSTORE
000003ed: PUSH2 0x07be
000003f0: PUSH1 0x00
000003f2: PUSH1 0x00
000003f4: PUSH20 0x1d11e5eae3112dbd44f99266872ff1d07c77dce8
00000409: SWAP1
0000040a: POP
0000040b: DUP1
0000040c: PUSH1 0x01
0000040e: PUSH1 0xa0
00000410: PUSH1 0x02
00000412: EXP
00000413: SUB
00000414: AND
00000415: PUSH4 0x38cc4831
0000041a: PUSH1 0x40
0000041c: MLOAD
0000041d: DUP2
0000041e: PUSH1 0xe0
00000420: PUSH1 0x02
00000422: EXP
00000423: MUL
00000424: DUP2
00000425: MSTORE
00000426: PUSH1 0x04
00000428: ADD
00000429: DUP1
0000042a: SWAP1
0000042b: POP
0000042c: PUSH1 0x20
0000042e: PUSH1 0x40
00000430: MLOAD
00000431: DUP1
00000432: DUP4
00000433: SUB
00000434: DUP2
00000435: PUSH1 0x00
00000437: DUP8
00000438: PUSH2 0x61da
0000043b: GAS
0000043c: SUB
0000043d: CALL
0000043e: ISZERO
0000043f: PUSH2 0x0002
00000442: JUMPI
00000443: POP
00000444: POP
00000445: PUSH1 0x40
00000447: DUP1
00000448: MLOAD
00000449: DUP1
0000044a: MLOAD
0000044b: PUSH1 0x03
0000044d: DUP1
0000044e: SLOAD
0000044f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000464: NOT
00000465: AND
00000466: SWAP1
00000467: SWAP2
00000468: OR
00000469: SWAP1
0000046a: DUP2
0000046b: SWAP1
0000046c: SSTORE
0000046d: PUSH32 0xc281d19e00000000000000000000000000000000000000000000000000000000
0000048e: DUP3
0000048f: MSTORE
00000490: SWAP2
00000491: MLOAD
00000492: PUSH1 0x01
00000494: PUSH1 0xa0
00000496: PUSH1 0x02
00000498: EXP
00000499: SUB
0000049a: SWAP3
0000049b: SWAP1
0000049c: SWAP3
0000049d: AND
0000049e: SWAP3
0000049f: POP
000004a0: PUSH4 0xc281d19e
000004a5: SWAP2
000004a6: PUSH1 0x04
000004a8: DUP3
000004a9: DUP2
000004aa: ADD
000004ab: SWAP3
000004ac: PUSH1 0x20
000004ae: SWAP3
000004af: SWAP2
000004b0: SWAP1
000004b1: DUP3
000004b2: SWAP1
000004b3: SUB
000004b4: ADD
000004b5: DUP2
000004b6: DUP9
000004b7: DUP8
000004b8: PUSH2 0x61da
000004bb: GAS
000004bc: SUB
000004bd: CALL
000004be: ISZERO
000004bf: PUSH2 0x0002
000004c2: JUMPI
000004c3: POP
000004c4: POP
000004c5: PUSH1 0x40
000004c7: MLOAD
000004c8: MLOAD
000004c9: SWAP3
000004ca: POP
000004cb: POP
000004cc: POP
000004cd: SWAP1
000004ce: JUMP
000004cf: JUMPDEST
000004d0: PUSH1 0x40
000004d2: DUP1
000004d3: MLOAD
000004d4: PUSH1 0x20
000004d6: PUSH1 0x04
000004d8: DUP1
000004d9: CALLDATALOAD
000004da: DUP1
000004db: DUP3
000004dc: ADD
000004dd: CALLDATALOAD
000004de: PUSH1 0x1f
000004e0: DUP2
000004e1: ADD
000004e2: DUP5
000004e3: SWAP1
000004e4: DIV
000004e5: DUP5
000004e6: MUL
000004e7: DUP6
000004e8: ADD
000004e9: DUP5
000004ea: ADD
000004eb: SWAP1
000004ec: SWAP6
000004ed: MSTORE
000004ee: DUP5
000004ef: DUP5
000004f0: MSTORE
000004f1: PUSH2 0x07ac
000004f4: SWAP5
000004f5: SWAP2
000004f6: SWAP4
000004f7: PUSH1 0x24
000004f9: SWAP4
000004fa: SWAP1
000004fb: SWAP3
000004fc: SWAP2
000004fd: DUP5
000004fe: ADD
000004ff: SWAP2
00000500: SWAP1
00000501: DUP2
00000502: SWAP1
00000503: DUP5
00000504: ADD
00000505: DUP4
00000506: DUP3
00000507: DUP1
00000508: DUP3
00000509: DUP5
0000050a: CALLDATACOPY
0000050b: POP
0000050c: POP
0000050d: PUSH1 0x40
0000050f: DUP1
00000510: MLOAD
00000511: PUSH1 0x20
00000513: DUP9
00000514: CALLDATALOAD
00000515: DUP1
00000516: DUP12
00000517: ADD
00000518: CALLDATALOAD
00000519: PUSH1 0x1f
0000051b: DUP2
0000051c: ADD
0000051d: DUP4
0000051e: SWAP1
0000051f: DIV
00000520: DUP4
00000521: MUL
00000522: DUP5
00000523: ADD
00000524: DUP4
00000525: ADD
00000526: SWAP1
00000527: SWAP5
00000528: MSTORE
00000529: DUP4
0000052a: DUP4
0000052b: MSTORE
0000052c: SWAP8
0000052d: SWAP10
0000052e: SWAP9
0000052f: PUSH1 0x44
00000531: SWAP9
00000532: SWAP3
00000533: SWAP8
00000534: POP
00000535: SWAP2
00000536: SWAP1
00000537: SWAP2
00000538: ADD
00000539: SWAP5
0000053a: POP
0000053b: SWAP1
0000053c: SWAP3
0000053d: POP
0000053e: DUP3
0000053f: SWAP2
00000540: POP
00000541: DUP5
00000542: ADD
00000543: DUP4
00000544: DUP3
00000545: DUP1
00000546: DUP3
00000547: DUP5
00000548: CALLDATACOPY
00000549: POP
0000054a: POP
0000054b: PUSH1 0x40
0000054d: DUP1
0000054e: MLOAD
0000054f: PUSH1 0xe0
00000551: PUSH1 0x02
00000553: EXP
00000554: PUSH4 0x38cc4831
00000559: MUL
0000055a: DUP2
0000055b: MSTORE
0000055c: SWAP1
0000055d: MLOAD
0000055e: SWAP6
0000055f: SWAP8
00000560: PUSH1 0x00
00000562: SWAP8
00000563: POP
00000564: PUSH20 0x1d11e5eae3112dbd44f99266872ff1d07c77dce8
00000579: SWAP7
0000057a: DUP8
0000057b: SWAP7
0000057c: POP
0000057d: PUSH4 0x38cc4831
00000582: SWAP6
00000583: POP
00000584: DUP3
00000585: DUP3
00000586: ADD
00000587: SWAP5
00000588: POP
00000589: PUSH1 0x20
0000058b: SWAP4
0000058c: POP
0000058d: SWAP2
0000058e: DUP3
0000058f: SWAP1
00000590: SUB
00000591: ADD
00000592: DUP2
00000593: DUP9
00000594: DUP8
00000595: PUSH2 0x61da
00000598: GAS
00000599: SUB
0000059a: CALL
0000059b: ISZERO
0000059c: PUSH2 0x0002
0000059f: JUMPI
000005a0: POP
000005a1: POP
000005a2: POP
000005a3: PUSH1 0x40
000005a5: MLOAD
000005a6: DUP1
000005a7: MLOAD
000005a8: SWAP1
000005a9: PUSH1 0x20
000005ab: ADD
000005ac: POP
000005ad: PUSH1 0x03
000005af: PUSH1 0x00
000005b1: PUSH2 0x0100
000005b4: EXP
000005b5: DUP2
000005b6: SLOAD
000005b7: DUP2
000005b8: PUSH1 0x01
000005ba: PUSH1 0xa0
000005bc: PUSH1 0x02
000005be: EXP
000005bf: SUB
000005c0: MUL
000005c1: NOT
000005c2: AND
000005c3: SWAP1
000005c4: DUP4
000005c5: MUL
000005c6: OR
000005c7: SWAP1
000005c8: SSTORE
000005c9: POP
000005ca: PUSH1 0x03
000005cc: PUSH1 0x00
000005ce: SWAP1
000005cf: SLOAD
000005d0: SWAP1
000005d1: PUSH2 0x0100
000005d4: EXP
000005d5: SWAP1
000005d6: DIV
000005d7: PUSH1 0x01
000005d9: PUSH1 0xa0
000005db: PUSH1 0x02
000005dd: EXP
000005de: SUB
000005df: AND
000005e0: PUSH1 0x01
000005e2: PUSH1 0xa0
000005e4: PUSH1 0x02
000005e6: EXP
000005e7: SUB
000005e8: AND
000005e9: PUSH4 0xadf59f99
000005ee: PUSH1 0x03
000005f0: PUSH1 0x00
000005f2: SWAP1
000005f3: SLOAD
000005f4: SWAP1
000005f5: PUSH2 0x0100
000005f8: EXP
000005f9: SWAP1
000005fa: DIV
000005fb: PUSH1 0x01
000005fd: PUSH1 0xa0
000005ff: PUSH1 0x02
00000601: EXP
00000602: SUB
00000603: AND
00000604: PUSH1 0x01
00000606: PUSH1 0xa0
00000608: PUSH1 0x02
0000060a: EXP
0000060b: SUB
0000060c: AND
0000060d: PUSH4 0x524f3889
00000612: DUP8
00000613: PUSH1 0x40
00000615: MLOAD
00000616: DUP3
00000617: PUSH1 0xe0
00000619: PUSH1 0x02
0000061b: EXP
0000061c: MUL
0000061d: DUP2
0000061e: MSTORE
0000061f: PUSH1 0x04
00000621: ADD
00000622: DUP1
00000623: DUP1
00000624: PUSH1 0x20
00000626: ADD
00000627: DUP3
00000628: DUP2
00000629: SUB
0000062a: DUP3
0000062b: MSTORE
0000062c: DUP4
0000062d: DUP2
0000062e: DUP2
0000062f: MLOAD
00000630: DUP2
00000631: MSTORE
00000632: PUSH1 0x20
00000634: ADD
00000635: SWAP2
00000636: POP
00000637: DUP1
00000638: MLOAD
00000639: SWAP1
0000063a: PUSH1 0x20
0000063c: ADD
0000063d: SWAP1
0000063e: DUP1
0000063f: DUP4
00000640: DUP4
00000641: DUP3
00000642: SWAP1
00000643: PUSH1 0x00
00000645: PUSH1 0x04
00000647: PUSH1 0x20
00000649: DUP5
0000064a: PUSH1 0x1f
0000064c: ADD
0000064d: DIV
0000064e: PUSH1 0x03
00000650: MUL
00000651: PUSH1 0x0f
00000653: ADD
00000654: CALL
00000655: POP
00000656: SWAP1
00000657: POP
00000658: SWAP1
00000659: DUP2
0000065a: ADD
0000065b: SWAP1
0000065c: PUSH1 0x1f
0000065e: AND
0000065f: DUP1
00000660: ISZERO
00000661: PUSH2 0x067e
00000664: JUMPI
00000665: DUP1
00000666: DUP3
00000667: SUB
00000668: DUP1
00000669: MLOAD
0000066a: PUSH1 0x01
0000066c: DUP4
0000066d: PUSH1 0x20
0000066f: SUB
00000670: PUSH2 0x0100
00000673: EXP
00000674: SUB
00000675: NOT
00000676: AND
00000677: DUP2
00000678: MSTORE
00000679: PUSH1 0x20
0000067b: ADD
0000067c: SWAP2
0000067d: POP
0000067e: JUMPDEST
0000067f: POP
00000680: SWAP3
00000681: POP
00000682: POP
00000683: POP
00000684: PUSH1 0x20
00000686: PUSH1 0x40
00000688: MLOAD
00000689: DUP1
0000068a: DUP4
0000068b: SUB
0000068c: DUP2
0000068d: PUSH1 0x00
0000068f: DUP8
00000690: PUSH2 0x61da
00000693: GAS
00000694: SUB
00000695: CALL
00000696: ISZERO
00000697: PUSH2 0x0002
0000069a: JUMPI
0000069b: POP
0000069c: POP
0000069d: POP
0000069e: PUSH1 0x40
000006a0: MLOAD
000006a1: DUP1
000006a2: MLOAD
000006a3: SWAP1
000006a4: PUSH1 0x20
000006a6: ADD
000006a7: POP
000006a8: PUSH1 0x00
000006aa: DUP8
000006ab: DUP8
000006ac: PUSH1 0x40
000006ae: MLOAD
000006af: DUP6
000006b0: PUSH1 0xe0
000006b2: PUSH1 0x02
000006b4: EXP
000006b5: MUL
000006b6: DUP2
000006b7: MSTORE
000006b8: PUSH1 0x04
000006ba: ADD
000006bb: DUP1
000006bc: DUP5
000006bd: DUP2
000006be: MSTORE
000006bf: PUSH1 0x20
000006c1: ADD
000006c2: DUP1
000006c3: PUSH1 0x20
000006c5: ADD
000006c6: DUP1
000006c7: PUSH1 0x20
000006c9: ADD
000006ca: DUP4
000006cb: DUP2
000006cc: SUB
000006cd: DUP4
000006ce: MSTORE
000006cf: DUP6
000006d0: DUP2
000006d1: DUP2
000006d2: MLOAD
000006d3: DUP2
000006d4: MSTORE
000006d5: PUSH1 0x20
000006d7: ADD
000006d8: SWAP2
000006d9: POP
000006da: DUP1
000006db: MLOAD
000006dc: SWAP1
000006dd: PUSH1 0x20
000006df: ADD
000006e0: SWAP1
000006e1: DUP1
000006e2: DUP4
000006e3: DUP4
000006e4: DUP3
000006e5: SWAP1
000006e6: PUSH1 0x00
000006e8: PUSH1 0x04
000006ea: PUSH1 0x20
000006ec: DUP5
000006ed: PUSH1 0x1f
000006ef: ADD
000006f0: DIV
000006f1: PUSH1 0x03
000006f3: MUL
000006f4: PUSH1 0x0f
000006f6: ADD
000006f7: CALL
000006f8: POP
000006f9: SWAP1
000006fa: POP
000006fb: SWAP1
000006fc: DUP2
000006fd: ADD
000006fe: SWAP1
000006ff: PUSH1 0x1f
00000701: AND
00000702: DUP1
00000703: ISZERO
00000704: PUSH2 0x0721
00000707: JUMPI
00000708: DUP1
00000709: DUP3
0000070a: SUB
0000070b: DUP1
0000070c: MLOAD
0000070d: PUSH1 0x01
0000070f: DUP4
00000710: PUSH1 0x20
00000712: SUB
00000713: PUSH2 0x0100
00000716: EXP
00000717: SUB
00000718: NOT
00000719: AND
0000071a: DUP2
0000071b: MSTORE
0000071c: PUSH1 0x20
0000071e: ADD
0000071f: SWAP2
00000720: POP
00000721: JUMPDEST
00000722: POP
00000723: DUP4
00000724: DUP2
00000725: SUB
00000726: DUP3
00000727: MSTORE
00000728: DUP5
00000729: DUP2
0000072a: DUP2
0000072b: MLOAD
0000072c: DUP2
0000072d: MSTORE
0000072e: PUSH1 0x20
00000730: ADD
00000731: SWAP2
00000732: POP
00000733: DUP1
00000734: MLOAD
00000735: SWAP1
00000736: PUSH1 0x20
00000738: ADD
00000739: SWAP1
0000073a: DUP1
0000073b: DUP4
0000073c: DUP4
0000073d: DUP3
0000073e: SWAP1
0000073f: PUSH1 0x00
00000741: PUSH1 0x04
00000743: PUSH1 0x20
00000745: DUP5
00000746: PUSH1 0x1f
00000748: ADD
00000749: DIV
0000074a: PUSH1 0x03
0000074c: MUL
0000074d: PUSH1 0x0f
0000074f: ADD
00000750: CALL
00000751: POP
00000752: SWAP1
00000753: POP
00000754: SWAP1
00000755: DUP2
00000756: ADD
00000757: SWAP1
00000758: PUSH1 0x1f
0000075a: AND
0000075b: DUP1
0000075c: ISZERO
0000075d: PUSH2 0x077a
00000760: JUMPI
00000761: DUP1
00000762: DUP3
00000763: SUB
00000764: DUP1
00000765: MLOAD
00000766: PUSH1 0x01
00000768: DUP4
00000769: PUSH1 0x20
0000076b: SUB
0000076c: PUSH2 0x0100
0000076f: EXP
00000770: SUB
00000771: NOT
00000772: AND
00000773: DUP2
00000774: MSTORE
00000775: PUSH1 0x20
00000777: ADD
00000778: SWAP2
00000779: POP
0000077a: JUMPDEST
0000077b: POP
0000077c: SWAP6
0000077d: POP
0000077e: POP
0000077f: POP
00000780: POP
00000781: POP
00000782: POP
00000783: PUSH1 0x20
00000785: PUSH1 0x40
00000787: MLOAD
00000788: DUP1
00000789: DUP4
0000078a: SUB
0000078b: DUP2
0000078c: DUP6
0000078d: DUP9
0000078e: PUSH2 0x8502
00000791: GAS
00000792: SUB
00000793: CALL
00000794: ISZERO
00000795: PUSH2 0x0002
00000798: JUMPI
00000799: POP
0000079a: POP
0000079b: PUSH1 0x40
0000079d: MLOAD
0000079e: MLOAD
0000079f: SWAP7
000007a0: SWAP6
000007a1: POP
000007a2: POP
000007a3: POP
000007a4: POP
000007a5: POP
000007a6: POP
000007a7: JUMP
000007a8: JUMPDEST
000007a9: STOP
000007aa: JUMPDEST
000007ab: JUMP
000007ac: JUMPDEST
000007ad: PUSH1 0x40
000007af: DUP1
000007b0: MLOAD
000007b1: SWAP2
000007b2: DUP3
000007b3: MSTORE
000007b4: MLOAD
000007b5: SWAP1
000007b6: DUP2
000007b7: SWAP1
000007b8: SUB
000007b9: PUSH1 0x20
000007bb: ADD
000007bc: SWAP1
000007bd: RETURN
000007be: JUMPDEST
000007bf: PUSH1 0x01
000007c1: PUSH1 0xa0
000007c3: PUSH1 0x02
000007c5: EXP
000007c6: SUB
000007c7: AND
000007c8: CALLER
000007c9: PUSH1 0x01
000007cb: PUSH1 0xa0
000007cd: PUSH1 0x02
000007cf: EXP
000007d0: SUB
000007d1: AND
000007d2: EQ
000007d3: ISZERO
000007d4: ISZERO
000007d5: PUSH2 0x07dd
000007d8: JUMPI
000007d9: PUSH2 0x0002
000007dc: JUMP
000007dd: JUMPDEST
000007de: PUSH1 0x04
000007e0: SLOAD
000007e1: DUP4
000007e2: EQ
000007e3: DUP1
000007e4: ISZERO
000007e5: PUSH2 0x088b
000007e8: JUMPI
000007e9: POP
000007ea: PUSH2 0x0bb8
000007ed: PUSH2 0x0889
000007f0: DUP4
000007f1: PUSH1 0x06
000007f3: PUSH1 0x40
000007f5: DUP1
000007f6: MLOAD
000007f7: PUSH1 0x20
000007f9: DUP2
000007fa: ADD
000007fb: SWAP1
000007fc: SWAP2
000007fd: MSTORE
000007fe: PUSH1 0x00
00000800: SWAP1
00000801: DUP2
00000802: SWAP1
00000803: MSTORE
00000804: DUP3
00000805: DUP2
00000806: DUP1
00000807: DUP1
00000808: JUMPDEST
00000809: DUP4
0000080a: MLOAD
0000080b: DUP2
0000080c: LT
0000080d: ISZERO
0000080e: PUSH2 0x087e
00000811: JUMPI
00000812: PUSH1 0x30
00000814: PUSH1 0xf8
00000816: PUSH1 0x02
00000818: EXP
00000819: MUL
0000081a: DUP5
0000081b: DUP3
0000081c: DUP2
0000081d: MLOAD
0000081e: DUP2
0000081f: LT
00000820: ISZERO
00000821: PUSH2 0x0002
00000824: JUMPI
00000825: SWAP1
00000826: PUSH1 0x20
00000828: ADD
00000829: ADD
0000082a: MLOAD
0000082b: PUSH1 0xf8
0000082d: PUSH1 0x02
0000082f: EXP
00000830: SWAP1
00000831: DIV
00000832: PUSH1 0xf8
00000834: PUSH1 0x02
00000836: EXP
00000837: MUL
00000838: LT
00000839: ISZERO
0000083a: DUP1
0000083b: ISZERO
0000083c: PUSH2 0x0869
0000083f: JUMPI
00000840: POP
00000841: PUSH1 0x39
00000843: PUSH1 0xf8
00000845: PUSH1 0x02
00000847: EXP
00000848: MUL
00000849: DUP5
0000084a: DUP3
0000084b: DUP2
0000084c: MLOAD
0000084d: DUP2
0000084e: LT
0000084f: ISZERO
00000850: PUSH2 0x0002
00000853: JUMPI
00000854: SWAP1
00000855: PUSH1 0x20
00000857: ADD
00000858: ADD
00000859: MLOAD
0000085a: PUSH1 0xf8
0000085c: PUSH1 0x02
0000085e: EXP
0000085f: SWAP1
00000860: DIV
00000861: PUSH1 0xf8
00000863: PUSH1 0x02
00000865: EXP
00000866: MUL
00000867: GT
00000868: ISZERO
00000869: JUMPDEST
0000086a: ISZERO
0000086b: PUSH2 0x0df0
0000086e: JUMPI
0000086f: DUP2
00000870: ISZERO
00000871: PUSH2 0x0e32
00000874: JUMPI
00000875: DUP6
00000876: PUSH1 0x00
00000878: EQ
00000879: ISZERO
0000087a: PUSH2 0x0e29
0000087d: JUMPI
0000087e: JUMPDEST
0000087f: POP
00000880: SWAP1
00000881: SWAP6
00000882: SWAP5
00000883: POP
00000884: POP
00000885: POP
00000886: POP
00000887: POP
00000888: JUMP
00000889: JUMPDEST
0000088a: LT
0000088b: JUMPDEST
0000088c: ISZERO
0000088d: PUSH2 0x0c43
00000890: JUMPI
00000891: PUSH1 0x40
00000893: DUP1
00000894: MLOAD
00000895: DUP1
00000896: DUP3
00000897: ADD
00000898: DUP3
00000899: MSTORE
0000089a: PUSH1 0x03
0000089c: DUP2
0000089d: MSTORE
0000089e: PUSH1 0xea
000008a0: PUSH1 0x02
000008a2: EXP
000008a3: PUSH3 0x155493
000008a7: MUL
000008a8: PUSH1 0x20
000008aa: DUP3
000008ab: DUP2
000008ac: ADD
000008ad: SWAP2
000008ae: SWAP1
000008af: SWAP2
000008b0: MSTORE
000008b1: DUP3
000008b2: MLOAD
000008b3: PUSH1 0x60
000008b5: DUP2
000008b6: DUP2
000008b7: ADD
000008b8: DUP6
000008b9: MSTORE
000008ba: PUSH1 0x36
000008bc: DUP3
000008bd: MSTORE
000008be: PUSH32 0x6a736f6e2868747470733a2f2f736861706573686966742e696f2f73656e6461
000008df: DUP3
000008e0: DUP5
000008e1: ADD
000008e2: MSTORE
000008e3: PUSH32 0x6d6f756e74292e737563636573732e6465706f73697400000000000000000000
00000904: DUP3
00000905: DUP7
00000906: ADD
00000907: MSTORE
00000908: DUP5
00000909: MLOAD
0000090a: PUSH1 0x80
0000090c: DUP2
0000090d: ADD
0000090e: DUP7
0000090f: MSTORE
00000910: PUSH1 0x5f
00000912: DUP2
00000913: MSTORE
00000914: PUSH32 0x7b2270616972223a20226574685f627463222c2022616d6f756e74223a202230
00000935: DUP2
00000936: DUP6
00000937: ADD
00000938: MSTORE
00000939: PUSH32 0x2e32222c20227769746864726177616c223a2020202020202020223141416343
0000095a: DUP2
0000095b: DUP8
0000095c: ADD
0000095d: MSTORE
0000095e: PUSH32 0x6f3231455563316a626f636a73735351447a4c6e613956656d32554e35227d00
0000097f: SWAP2
00000980: DUP2
00000981: ADD
00000982: SWAP2
00000983: SWAP1
00000984: SWAP2
00000985: MSTORE
00000986: DUP5
00000987: MLOAD
00000988: PUSH1 0xe0
0000098a: PUSH1 0x02
0000098c: EXP
0000098d: PUSH4 0x38cc4831
00000992: MUL
00000993: DUP2
00000994: MSTORE
00000995: SWAP5
00000996: MLOAD
00000997: PUSH2 0x0cf1
0000099a: SWAP6
0000099b: SWAP3
0000099c: SWAP4
0000099d: SWAP2
0000099e: SWAP3
0000099f: PUSH1 0x00
000009a1: SWAP3
000009a2: PUSH20 0x1d11e5eae3112dbd44f99266872ff1d07c77dce8
000009b7: SWAP3
000009b8: DUP4
000009b9: SWAP3
000009ba: PUSH4 0x38cc4831
000009bf: SWAP3
000009c0: PUSH1 0x04
000009c2: DUP3
000009c3: DUP2
000009c4: ADD
000009c5: SWAP4
000009c6: SWAP2
000009c7: SWAP3
000009c8: DUP3
000009c9: SWAP1
000009ca: SUB
000009cb: ADD
000009cc: DUP2
000009cd: DUP9
000009ce: DUP8
000009cf: PUSH2 0x61da
000009d2: GAS
000009d3: SUB
000009d4: CALL
000009d5: ISZERO
000009d6: PUSH2 0x0002
000009d9: JUMPI
000009da: POP
000009db: POP
000009dc: POP
000009dd: PUSH1 0x40
000009df: MLOAD
000009e0: DUP1
000009e1: MLOAD
000009e2: SWAP1
000009e3: PUSH1 0x20
000009e5: ADD
000009e6: POP
000009e7: PUSH1 0x03
000009e9: PUSH1 0x00
000009eb: PUSH2 0x0100
000009ee: EXP
000009ef: DUP2
000009f0: SLOAD
000009f1: DUP2
000009f2: PUSH1 0x01
000009f4: PUSH1 0xa0
000009f6: PUSH1 0x02
000009f8: EXP
000009f9: SUB
000009fa: MUL
000009fb: NOT
000009fc: AND
000009fd: SWAP1
000009fe: DUP4
000009ff: MUL
00000a00: OR
00000a01: SWAP1
00000a02: SSTORE
00000a03: POP
00000a04: PUSH1 0x03
00000a06: PUSH1 0x00
00000a08: SWAP1
00000a09: SLOAD
00000a0a: SWAP1
00000a0b: PUSH2 0x0100
00000a0e: EXP
00000a0f: SWAP1
00000a10: DIV
00000a11: PUSH1 0x01
00000a13: PUSH1 0xa0
00000a15: PUSH1 0x02
00000a17: EXP
00000a18: SUB
00000a19: AND
00000a1a: PUSH1 0x01
00000a1c: PUSH1 0xa0
00000a1e: PUSH1 0x02
00000a20: EXP
00000a21: SUB
00000a22: AND
00000a23: PUSH4 0x77228659
00000a28: PUSH1 0x03
00000a2a: PUSH1 0x00
00000a2c: SWAP1
00000a2d: SLOAD
00000a2e: SWAP1
00000a2f: PUSH2 0x0100
00000a32: EXP
00000a33: SWAP1
00000a34: DIV
00000a35: PUSH1 0x01
00000a37: PUSH1 0xa0
00000a39: PUSH1 0x02
00000a3b: EXP
00000a3c: SUB
00000a3d: AND
00000a3e: PUSH1 0x01
00000a40: PUSH1 0xa0
00000a42: PUSH1 0x02
00000a44: EXP
00000a45: SUB
00000a46: AND
00000a47: PUSH4 0x524f3889
00000a4c: DUP9
00000a4d: PUSH1 0x40
00000a4f: MLOAD
00000a50: DUP3
00000a51: PUSH1 0xe0
00000a53: PUSH1 0x02
00000a55: EXP
00000a56: MUL
00000a57: DUP2
00000a58: MSTORE
00000a59: PUSH1 0x04
00000a5b: ADD
00000a5c: DUP1
00000a5d: DUP1
00000a5e: PUSH1 0x20
00000a60: ADD
00000a61: DUP3
00000a62: DUP2
00000a63: SUB
00000a64: DUP3
00000a65: MSTORE
00000a66: DUP4
00000a67: DUP2
00000a68: DUP2
00000a69: MLOAD
00000a6a: DUP2
00000a6b: MSTORE
00000a6c: PUSH1 0x20
00000a6e: ADD
00000a6f: SWAP2
00000a70: POP
00000a71: DUP1
00000a72: MLOAD
00000a73: SWAP1
00000a74: PUSH1 0x20
00000a76: ADD
00000a77: SWAP1
00000a78: DUP1
00000a79: DUP4
00000a7a: DUP4
00000a7b: DUP3
00000a7c: SWAP1
00000a7d: PUSH1 0x00
00000a7f: PUSH1 0x04
00000a81: PUSH1 0x20
00000a83: DUP5
00000a84: PUSH1 0x1f
00000a86: ADD
00000a87: DIV
00000a88: PUSH1 0x03
00000a8a: MUL
00000a8b: PUSH1 0x0f
00000a8d: ADD
00000a8e: CALL
00000a8f: POP
00000a90: SWAP1
00000a91: POP
00000a92: SWAP1
00000a93: DUP2
00000a94: ADD
00000a95: SWAP1
00000a96: PUSH1 0x1f
00000a98: AND
00000a99: DUP1
00000a9a: ISZERO
00000a9b: PUSH2 0x0ab8
00000a9e: JUMPI
00000a9f: DUP1
00000aa0: DUP3
00000aa1: SUB
00000aa2: DUP1
00000aa3: MLOAD
00000aa4: PUSH1 0x01
00000aa6: DUP4
00000aa7: PUSH1 0x20
00000aa9: SUB
00000aaa: PUSH2 0x0100
00000aad: EXP
00000aae: SUB
00000aaf: NOT
00000ab0: AND
00000ab1: DUP2
00000ab2: MSTORE
00000ab3: PUSH1 0x20
00000ab5: ADD
00000ab6: SWAP2
00000ab7: POP
00000ab8: JUMPDEST
00000ab9: POP
00000aba: SWAP3
00000abb: POP
00000abc: POP
00000abd: POP
00000abe: PUSH1 0x20
00000ac0: PUSH1 0x40
00000ac2: MLOAD
00000ac3: DUP1
00000ac4: DUP4
00000ac5: SUB
00000ac6: DUP2
00000ac7: PUSH1 0x00
00000ac9: DUP8
00000aca: PUSH2 0x61da
00000acd: GAS
00000ace: SUB
00000acf: CALL
00000ad0: ISZERO
00000ad1: PUSH2 0x0002
00000ad4: JUMPI
00000ad5: POP
00000ad6: POP
00000ad7: POP
00000ad8: PUSH1 0x40
00000ada: MLOAD
00000adb: DUP1
00000adc: MLOAD
00000add: SWAP1
00000ade: PUSH1 0x20
00000ae0: ADD
00000ae1: POP
00000ae2: PUSH1 0x00
00000ae4: DUP9
00000ae5: DUP9
00000ae6: DUP9
00000ae7: PUSH1 0x40
00000ae9: MLOAD
00000aea: DUP7
00000aeb: PUSH1 0xe0
00000aed: PUSH1 0x02
00000aef: EXP
00000af0: MUL
00000af1: DUP2
00000af2: MSTORE
00000af3: PUSH1 0x04
00000af5: ADD
00000af6: DUP1
00000af7: DUP6
00000af8: DUP2
00000af9: MSTORE
00000afa: PUSH1 0x20
00000afc: ADD
00000afd: DUP1
00000afe: PUSH1 0x20
00000b00: ADD
00000b01: DUP1
00000b02: PUSH1 0x20
00000b04: ADD
00000b05: DUP1
00000b06: PUSH1 0x20
00000b08: ADD
00000b09: DUP5
00000b0a: DUP2
00000b0b: SUB
00000b0c: DUP5
00000b0d: MSTORE
00000b0e: DUP8
00000b0f: DUP2
00000b10: DUP2
00000b11: MLOAD
00000b12: DUP2
00000b13: MSTORE
00000b14: PUSH1 0x20
00000b16: ADD
00000b17: SWAP2
00000b18: POP
00000b19: DUP1
00000b1a: MLOAD
00000b1b: SWAP1
00000b1c: PUSH1 0x20
00000b1e: ADD
00000b1f: SWAP1
00000b20: DUP1
00000b21: DUP4
00000b22: DUP4
00000b23: DUP3
00000b24: SWAP1
00000b25: PUSH1 0x00
00000b27: PUSH1 0x04
00000b29: PUSH1 0x20
00000b2b: DUP5
00000b2c: PUSH1 0x1f
00000b2e: ADD
00000b2f: DIV
00000b30: PUSH1 0x03
00000b32: MUL
00000b33: PUSH1 0x0f
00000b35: ADD
00000b36: CALL
00000b37: POP
00000b38: SWAP1
00000b39: POP
00000b3a: SWAP1
00000b3b: DUP2
00000b3c: ADD
00000b3d: SWAP1
00000b3e: PUSH1 0x1f
00000b40: AND
00000b41: DUP1
00000b42: ISZERO
00000b43: PUSH2 0x0b60
00000b46: JUMPI
00000b47: DUP1
00000b48: DUP3
00000b49: SUB
00000b4a: DUP1
00000b4b: MLOAD
00000b4c: PUSH1 0x01
00000b4e: DUP4
00000b4f: PUSH1 0x20
00000b51: SUB
00000b52: PUSH2 0x0100
00000b55: EXP
00000b56: SUB
00000b57: NOT
00000b58: AND
00000b59: DUP2
00000b5a: MSTORE
00000b5b: PUSH1 0x20
00000b5d: ADD
00000b5e: SWAP2
00000b5f: POP
00000b60: JUMPDEST
00000b61: POP
00000b62: DUP5
00000b63: DUP2
00000b64: SUB
00000b65: DUP4
00000b66: MSTORE
00000b67: DUP7
00000b68: DUP2
00000b69: DUP2
00000b6a: MLOAD
00000b6b: DUP2
00000b6c: MSTORE
00000b6d: PUSH1 0x20
00000b6f: ADD
00000b70: SWAP2
00000b71: POP
00000b72: DUP1
00000b73: MLOAD
00000b74: SWAP1
00000b75: PUSH1 0x20
00000b77: ADD
00000b78: SWAP1
00000b79: DUP1
00000b7a: DUP4
00000b7b: DUP4
00000b7c: DUP3
00000b7d: SWAP1
00000b7e: PUSH1 0x00
00000b80: PUSH1 0x04
00000b82: PUSH1 0x20
00000b84: DUP5
00000b85: PUSH1 0x1f
00000b87: ADD
00000b88: DIV
00000b89: PUSH1 0x03
00000b8b: MUL
00000b8c: PUSH1 0x0f
00000b8e: ADD
00000b8f: CALL
00000b90: POP
00000b91: SWAP1
00000b92: POP
00000b93: SWAP1
00000b94: DUP2
00000b95: ADD
00000b96: SWAP1
00000b97: PUSH1 0x1f
00000b99: AND
00000b9a: DUP1
00000b9b: ISZERO
00000b9c: PUSH2 0x0bb9
00000b9f: JUMPI
00000ba0: DUP1
00000ba1: DUP3
00000ba2: SUB
00000ba3: DUP1
00000ba4: MLOAD
00000ba5: PUSH1 0x01
00000ba7: DUP4
00000ba8: PUSH1 0x20
00000baa: SUB
00000bab: PUSH2 0x0100
00000bae: EXP
00000baf: SUB
00000bb0: NOT
00000bb1: AND
00000bb2: DUP2
00000bb3: MSTORE
00000bb4: PUSH1 0x20
00000bb6: ADD
00000bb7: SWAP2
00000bb8: POP
00000bb9: JUMPDEST
00000bba: POP
00000bbb: DUP5
00000bbc: DUP2
00000bbd: SUB
00000bbe: DUP3
00000bbf: MSTORE
00000bc0: DUP6
00000bc1: DUP2
00000bc2: DUP2
00000bc3: MLOAD
00000bc4: DUP2
00000bc5: MSTORE
00000bc6: PUSH1 0x20
00000bc8: ADD
00000bc9: SWAP2
00000bca: POP
00000bcb: DUP1
00000bcc: MLOAD
00000bcd: SWAP1
00000bce: PUSH1 0x20
00000bd0: ADD
00000bd1: SWAP1
00000bd2: DUP1
00000bd3: DUP4
00000bd4: DUP4
00000bd5: DUP3
00000bd6: SWAP1
00000bd7: PUSH1 0x00
00000bd9: PUSH1 0x04
00000bdb: PUSH1 0x20
00000bdd: DUP5
00000bde: PUSH1 0x1f
00000be0: ADD
00000be1: DIV
00000be2: PUSH1 0x03
00000be4: MUL
00000be5: PUSH1 0x0f
00000be7: ADD
00000be8: CALL
00000be9: POP
00000bea: SWAP1
00000beb: POP
00000bec: SWAP1
00000bed: DUP2
00000bee: ADD
00000bef: SWAP1
00000bf0: PUSH1 0x1f
00000bf2: AND
00000bf3: DUP1
00000bf4: ISZERO
00000bf5: PUSH2 0x0c12
00000bf8: JUMPI
00000bf9: DUP1
00000bfa: DUP3
00000bfb: SUB
00000bfc: DUP1
00000bfd: MLOAD
00000bfe: PUSH1 0x01
00000c00: DUP4
00000c01: PUSH1 0x20
00000c03: SUB
00000c04: PUSH2 0x0100
00000c07: EXP
00000c08: SUB
00000c09: NOT
00000c0a: AND
00000c0b: DUP2
00000c0c: MSTORE
00000c0d: PUSH1 0x20
00000c0f: ADD
00000c10: SWAP2
00000c11: POP
00000c12: JUMPDEST
00000c13: POP
00000c14: SWAP8
00000c15: POP
00000c16: POP
00000c17: POP
00000c18: POP
00000c19: POP
00000c1a: POP
00000c1b: POP
00000c1c: POP
00000c1d: PUSH1 0x20
00000c1f: PUSH1 0x40
00000c21: MLOAD
00000c22: DUP1
00000c23: DUP4
00000c24: SUB
00000c25: DUP2
00000c26: DUP6
00000c27: DUP9
00000c28: PUSH2 0x8502
00000c2b: GAS
00000c2c: SUB
00000c2d: CALL
00000c2e: ISZERO
00000c2f: PUSH2 0x0002
00000c32: JUMPI
00000c33: POP
00000c34: POP
00000c35: PUSH1 0x40
00000c37: MLOAD
00000c38: MLOAD
00000c39: SWAP4
00000c3a: POP
00000c3b: PUSH2 0x037b
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 0x0d3c
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 0x0d47
00000ce5: JUMPI
00000ce6: PUSH1 0x56
00000ce8: NOT
00000ce9: SWAP1
00000cea: SWAP3
00000ceb: ADD
00000cec: SWAP2
00000ced: PUSH2 0x0d78
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: POP
00000d3e: SWAP2
00000d3f: SWAP6
00000d40: SWAP5
00000d41: POP
00000d42: POP
00000d43: POP
00000d44: POP
00000d45: POP
00000d46: JUMP
00000d47: JUMPDEST
00000d48: PUSH1 0x30
00000d4a: DUP4
00000d4b: PUSH1 0x01
00000d4d: PUSH1 0xa0
00000d4f: PUSH1 0x02
00000d51: EXP
00000d52: SUB
00000d53: AND
00000d54: LT
00000d55: ISZERO
00000d56: DUP1
00000d57: ISZERO
00000d58: PUSH2 0x0d6b
00000d5b: JUMPI
00000d5c: POP
00000d5d: PUSH1 0x39
00000d5f: DUP4
00000d60: PUSH1 0x01
00000d62: PUSH1 0xa0
00000d64: PUSH1 0x02
00000d66: EXP
00000d67: SUB
00000d68: AND
00000d69: GT
00000d6a: ISZERO
00000d6b: JUMPDEST
00000d6c: ISZERO
00000d6d: PUSH2 0x0d78
00000d70: JUMPI
00000d71: PUSH1 0x2f
00000d73: NOT
00000d74: SWAP1
00000d75: SWAP3
00000d76: ADD
00000d77: SWAP2
00000d78: JUMPDEST
00000d79: PUSH1 0x61
00000d7b: DUP3
00000d7c: PUSH1 0x01
00000d7e: PUSH1 0xa0
00000d80: PUSH1 0x02
00000d82: EXP
00000d83: SUB
00000d84: AND
00000d85: LT
00000d86: ISZERO
00000d87: DUP1
00000d88: ISZERO
00000d89: PUSH2 0x0d9c
00000d8c: JUMPI
00000d8d: POP
00000d8e: PUSH1 0x66
00000d90: DUP3
00000d91: PUSH1 0x01
00000d93: PUSH1 0xa0
00000d95: PUSH1 0x02
00000d97: EXP
00000d98: SUB
00000d99: AND
00000d9a: GT
00000d9b: ISZERO
00000d9c: JUMPDEST
00000d9d: ISZERO
00000d9e: PUSH2 0x0dad
00000da1: JUMPI
00000da2: PUSH1 0x56
00000da4: NOT
00000da5: SWAP1
00000da6: SWAP2
00000da7: ADD
00000da8: SWAP1
00000da9: PUSH2 0x0dde
00000dac: JUMP
00000dad: JUMPDEST
00000dae: PUSH1 0x30
00000db0: DUP3
00000db1: PUSH1 0x01
00000db3: PUSH1 0xa0
00000db5: PUSH1 0x02
00000db7: EXP
00000db8: SUB
00000db9: AND
00000dba: LT
00000dbb: ISZERO
00000dbc: DUP1
00000dbd: ISZERO
00000dbe: PUSH2 0x0dd1
00000dc1: JUMPI
00000dc2: POP
00000dc3: PUSH1 0x39
00000dc5: DUP3
00000dc6: PUSH1 0x01
00000dc8: PUSH1 0xa0
00000dca: PUSH1 0x02
00000dcc: EXP
00000dcd: SUB
00000dce: AND
00000dcf: GT
00000dd0: ISZERO
00000dd1: JUMPDEST
00000dd2: ISZERO
00000dd3: PUSH2 0x0dde
00000dd6: JUMPI
00000dd7: PUSH1 0x2f
00000dd9: NOT
00000dda: SWAP1
00000ddb: SWAP2
00000ddc: ADD
00000ddd: SWAP1
00000dde: JUMPDEST
00000ddf: PUSH1 0x10
00000de1: DUP4
00000de2: MUL
00000de3: DUP3
00000de4: ADD
00000de5: SWAP1
00000de6: SWAP4
00000de7: ADD
00000de8: SWAP3
00000de9: PUSH1 0x02
00000deb: ADD
00000dec: PUSH2 0x0c69
00000def: JUMP
00000df0: JUMPDEST
00000df1: DUP4
00000df2: DUP2
00000df3: DUP2
00000df4: MLOAD
00000df5: DUP2
00000df6: LT
00000df7: ISZERO
00000df8: PUSH2 0x0002
00000dfb: JUMPI
00000dfc: SWAP1
00000dfd: PUSH1 0x20
00000dff: ADD
00000e00: ADD
00000e01: MLOAD
00000e02: PUSH1 0xf8
00000e04: PUSH1 0x02
00000e06: EXP
00000e07: SWAP1
00000e08: DIV
00000e09: PUSH1 0xf8
00000e0b: PUSH1 0x02
00000e0d: EXP
00000e0e: MUL
00000e0f: PUSH1 0x2e
00000e11: PUSH1 0xf8
00000e13: PUSH1 0x02
00000e15: EXP
00000e16: MUL
00000e17: EQ
00000e18: ISZERO
00000e19: PUSH2 0x0e21
00000e1c: JUMPI
00000e1d: PUSH1 0x01
00000e1f: SWAP2
00000e20: POP
00000e21: JUMPDEST
00000e22: PUSH1 0x01
00000e24: ADD
00000e25: PUSH2 0x0808
00000e28: JUMP
00000e29: JUMPDEST
00000e2a: PUSH1 0x00
00000e2c: NOT
00000e2d: SWAP6
00000e2e: SWAP1
00000e2f: SWAP6
00000e30: ADD
00000e31: SWAP5
00000e32: JUMPDEST
00000e33: PUSH1 0x0a
00000e35: DUP4
00000e36: MUL
00000e37: SWAP3
00000e38: POP
00000e39: DUP3
00000e3a: POP
00000e3b: PUSH1 0x30
00000e3d: DUP5
00000e3e: DUP3
00000e3f: DUP2
00000e40: MLOAD
00000e41: DUP2
00000e42: LT
00000e43: ISZERO
00000e44: PUSH2 0x0002
00000e47: JUMPI
00000e48: SWAP1
00000e49: PUSH1 0x20
00000e4b: ADD
00000e4c: ADD
00000e4d: MLOAD
00000e4e: PUSH1 0xf8
00000e50: PUSH1 0x02
00000e52: EXP
00000e53: SWAP1
00000e54: DIV
00000e55: PUSH1 0xf8
00000e57: PUSH1 0x02
00000e59: EXP
00000e5a: MUL
00000e5b: PUSH1 0xf8
00000e5d: PUSH1 0x02
00000e5f: EXP
00000e60: SWAP1
00000e61: DIV
00000e62: SUB
00000e63: DUP4
00000e64: ADD
00000e65: SWAP3
00000e66: POP
00000e67: DUP3
00000e68: POP
00000e69: PUSH2 0x0e21
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.