Analysis Run

OpenAI Codex v0.118.0 (research preview)
--------
workdir: /tmp/codex-yjc9nxgs
model: gpt-5.4
provider: openai
approval: never
sandbox: read-only
reasoning effort: high
reasoning summaries: none
session id: 019d5c9f-3272-70a3-91e6-15debc59dd31
--------
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:31.914618+00:00",
        "returncode": 1
    },
    "project": {
        "mode": "bytecode",
        "bytecode_length": 7106,
        "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: PUSH1 0xe0
00000007: PUSH1 0x02
00000009: EXP
0000000a: PUSH1 0x00
0000000c: CALLDATALOAD
0000000d: DIV
0000000e: PUSH4 0x27dc297e
00000013: DUP2
00000014: EQ
00000015: PUSH2 0x0031
00000018: JUMPI
00000019: DUP1
0000001a: PUSH4 0x489306eb
0000001f: EQ
00000020: PUSH2 0x017e
00000023: JUMPI
00000024: DUP1
00000025: PUSH4 0xd0e30db0
0000002a: EQ
0000002b: PUSH2 0x0457
0000002e: JUMPI
0000002f: JUMPDEST
00000030: STOP
00000031: JUMPDEST
00000032: PUSH1 0x40
00000034: DUP1
00000035: MLOAD
00000036: PUSH1 0x20
00000038: PUSH1 0x24
0000003a: DUP1
0000003b: CALLDATALOAD
0000003c: PUSH1 0x04
0000003e: DUP2
0000003f: DUP2
00000040: ADD
00000041: CALLDATALOAD
00000042: PUSH1 0x1f
00000044: DUP2
00000045: ADD
00000046: DUP6
00000047: SWAP1
00000048: DIV
00000049: DUP6
0000004a: MUL
0000004b: DUP7
0000004c: ADD
0000004d: DUP6
0000004e: ADD
0000004f: SWAP1
00000050: SWAP7
00000051: MSTORE
00000052: DUP6
00000053: DUP6
00000054: MSTORE
00000055: PUSH2 0x002f
00000058: SWAP6
00000059: DUP2
0000005a: CALLDATALOAD
0000005b: SWAP6
0000005c: SWAP2
0000005d: SWAP5
0000005e: PUSH1 0x44
00000060: SWAP5
00000061: SWAP3
00000062: SWAP4
00000063: SWAP1
00000064: SWAP3
00000065: ADD
00000066: SWAP2
00000067: DUP2
00000068: SWAP1
00000069: DUP5
0000006a: ADD
0000006b: DUP4
0000006c: DUP3
0000006d: DUP1
0000006e: DUP3
0000006f: DUP5
00000070: CALLDATACOPY
00000071: POP
00000072: SWAP5
00000073: SWAP7
00000074: POP
00000075: POP
00000076: POP
00000077: POP
00000078: POP
00000079: POP
0000007a: POP
0000007b: PUSH1 0x40
0000007d: DUP1
0000007e: MLOAD
0000007f: DUP1
00000080: DUP3
00000081: ADD
00000082: SWAP1
00000083: SWAP2
00000084: MSTORE
00000085: PUSH1 0x07
00000087: DUP2
00000088: MSTORE
00000089: PUSH1 0xc8
0000008b: PUSH1 0x02
0000008d: EXP
0000008e: PUSH7 0x444556434f4e31
00000096: MUL
00000097: PUSH1 0x20
00000099: DUP3
0000009a: ADD
0000009b: MSTORE
0000009c: PUSH2 0x0788
0000009f: PUSH1 0x00
000000a1: PUSH1 0x00
000000a3: PUSH20 0x1d11e5eae3112dbd44f99266872ff1d07c77dce8
000000b8: SWAP1
000000b9: POP
000000ba: DUP1
000000bb: PUSH1 0x01
000000bd: PUSH1 0xa0
000000bf: PUSH1 0x02
000000c1: EXP
000000c2: SUB
000000c3: AND
000000c4: PUSH4 0x38cc4831
000000c9: PUSH1 0x40
000000cb: MLOAD
000000cc: DUP2
000000cd: PUSH1 0xe0
000000cf: PUSH1 0x02
000000d1: EXP
000000d2: MUL
000000d3: DUP2
000000d4: MSTORE
000000d5: PUSH1 0x04
000000d7: ADD
000000d8: DUP1
000000d9: SWAP1
000000da: POP
000000db: PUSH1 0x20
000000dd: PUSH1 0x40
000000df: MLOAD
000000e0: DUP1
000000e1: DUP4
000000e2: SUB
000000e3: DUP2
000000e4: PUSH1 0x00
000000e6: DUP8
000000e7: PUSH2 0x61da
000000ea: GAS
000000eb: SUB
000000ec: CALL
000000ed: ISZERO
000000ee: PUSH2 0x0002
000000f1: JUMPI
000000f2: POP
000000f3: POP
000000f4: PUSH1 0x40
000000f6: DUP1
000000f7: MLOAD
000000f8: DUP1
000000f9: MLOAD
000000fa: PUSH1 0x03
000000fc: DUP1
000000fd: SLOAD
000000fe: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000113: NOT
00000114: AND
00000115: SWAP1
00000116: SWAP2
00000117: OR
00000118: SWAP1
00000119: DUP2
0000011a: SWAP1
0000011b: SSTORE
0000011c: PUSH32 0xc281d19e00000000000000000000000000000000000000000000000000000000
0000013d: DUP3
0000013e: MSTORE
0000013f: SWAP2
00000140: MLOAD
00000141: PUSH1 0x01
00000143: PUSH1 0xa0
00000145: PUSH1 0x02
00000147: EXP
00000148: SUB
00000149: SWAP3
0000014a: SWAP1
0000014b: SWAP3
0000014c: AND
0000014d: SWAP3
0000014e: POP
0000014f: PUSH4 0xc281d19e
00000154: SWAP2
00000155: PUSH1 0x04
00000157: DUP3
00000158: DUP2
00000159: ADD
0000015a: SWAP3
0000015b: PUSH1 0x20
0000015d: SWAP3
0000015e: SWAP2
0000015f: SWAP1
00000160: DUP3
00000161: SWAP1
00000162: SUB
00000163: ADD
00000164: DUP2
00000165: DUP9
00000166: DUP8
00000167: PUSH2 0x61da
0000016a: GAS
0000016b: SUB
0000016c: CALL
0000016d: ISZERO
0000016e: PUSH2 0x0002
00000171: JUMPI
00000172: POP
00000173: POP
00000174: PUSH1 0x40
00000176: MLOAD
00000177: MLOAD
00000178: SWAP3
00000179: POP
0000017a: POP
0000017b: POP
0000017c: SWAP1
0000017d: JUMP
0000017e: JUMPDEST
0000017f: PUSH1 0x40
00000181: DUP1
00000182: MLOAD
00000183: PUSH1 0x20
00000185: PUSH1 0x04
00000187: DUP1
00000188: CALLDATALOAD
00000189: DUP1
0000018a: DUP3
0000018b: ADD
0000018c: CALLDATALOAD
0000018d: PUSH1 0x1f
0000018f: DUP2
00000190: ADD
00000191: DUP5
00000192: SWAP1
00000193: DIV
00000194: DUP5
00000195: MUL
00000196: DUP6
00000197: ADD
00000198: DUP5
00000199: ADD
0000019a: SWAP1
0000019b: SWAP6
0000019c: MSTORE
0000019d: DUP5
0000019e: DUP5
0000019f: MSTORE
000001a0: PUSH2 0x0774
000001a3: SWAP5
000001a4: SWAP2
000001a5: SWAP4
000001a6: PUSH1 0x24
000001a8: SWAP4
000001a9: SWAP1
000001aa: SWAP3
000001ab: SWAP2
000001ac: DUP5
000001ad: ADD
000001ae: SWAP2
000001af: SWAP1
000001b0: DUP2
000001b1: SWAP1
000001b2: DUP5
000001b3: ADD
000001b4: DUP4
000001b5: DUP3
000001b6: DUP1
000001b7: DUP3
000001b8: DUP5
000001b9: CALLDATACOPY
000001ba: POP
000001bb: POP
000001bc: PUSH1 0x40
000001be: DUP1
000001bf: MLOAD
000001c0: PUSH1 0x20
000001c2: DUP9
000001c3: CALLDATALOAD
000001c4: DUP1
000001c5: DUP12
000001c6: ADD
000001c7: CALLDATALOAD
000001c8: PUSH1 0x1f
000001ca: DUP2
000001cb: ADD
000001cc: DUP4
000001cd: SWAP1
000001ce: DIV
000001cf: DUP4
000001d0: MUL
000001d1: DUP5
000001d2: ADD
000001d3: DUP4
000001d4: ADD
000001d5: SWAP1
000001d6: SWAP5
000001d7: MSTORE
000001d8: DUP4
000001d9: DUP4
000001da: MSTORE
000001db: SWAP8
000001dc: SWAP10
000001dd: SWAP9
000001de: PUSH1 0x44
000001e0: SWAP9
000001e1: SWAP3
000001e2: SWAP8
000001e3: POP
000001e4: SWAP2
000001e5: SWAP1
000001e6: SWAP2
000001e7: ADD
000001e8: SWAP5
000001e9: POP
000001ea: SWAP1
000001eb: SWAP3
000001ec: POP
000001ed: DUP3
000001ee: SWAP2
000001ef: POP
000001f0: DUP5
000001f1: ADD
000001f2: DUP4
000001f3: DUP3
000001f4: DUP1
000001f5: DUP3
000001f6: DUP5
000001f7: CALLDATACOPY
000001f8: POP
000001f9: POP
000001fa: PUSH1 0x40
000001fc: DUP1
000001fd: MLOAD
000001fe: PUSH1 0xe0
00000200: PUSH1 0x02
00000202: EXP
00000203: PUSH4 0x38cc4831
00000208: MUL
00000209: DUP2
0000020a: MSTORE
0000020b: SWAP1
0000020c: MLOAD
0000020d: SWAP6
0000020e: SWAP8
0000020f: PUSH1 0x00
00000211: SWAP8
00000212: POP
00000213: PUSH20 0x1d11e5eae3112dbd44f99266872ff1d07c77dce8
00000228: SWAP7
00000229: DUP8
0000022a: SWAP7
0000022b: POP
0000022c: PUSH4 0x38cc4831
00000231: SWAP6
00000232: POP
00000233: DUP3
00000234: DUP3
00000235: ADD
00000236: SWAP5
00000237: POP
00000238: PUSH1 0x20
0000023a: SWAP4
0000023b: POP
0000023c: SWAP2
0000023d: DUP3
0000023e: SWAP1
0000023f: SUB
00000240: ADD
00000241: DUP2
00000242: DUP9
00000243: DUP8
00000244: PUSH2 0x61da
00000247: GAS
00000248: SUB
00000249: CALL
0000024a: ISZERO
0000024b: PUSH2 0x0002
0000024e: JUMPI
0000024f: POP
00000250: POP
00000251: POP
00000252: PUSH1 0x40
00000254: MLOAD
00000255: DUP1
00000256: MLOAD
00000257: SWAP1
00000258: PUSH1 0x20
0000025a: ADD
0000025b: POP
0000025c: PUSH1 0x03
0000025e: PUSH1 0x00
00000260: PUSH2 0x0100
00000263: EXP
00000264: DUP2
00000265: SLOAD
00000266: DUP2
00000267: PUSH1 0x01
00000269: PUSH1 0xa0
0000026b: PUSH1 0x02
0000026d: EXP
0000026e: SUB
0000026f: MUL
00000270: NOT
00000271: AND
00000272: SWAP1
00000273: DUP4
00000274: MUL
00000275: OR
00000276: SWAP1
00000277: SSTORE
00000278: POP
00000279: PUSH1 0x03
0000027b: PUSH1 0x00
0000027d: SWAP1
0000027e: SLOAD
0000027f: SWAP1
00000280: PUSH2 0x0100
00000283: EXP
00000284: SWAP1
00000285: DIV
00000286: PUSH1 0x01
00000288: PUSH1 0xa0
0000028a: PUSH1 0x02
0000028c: EXP
0000028d: SUB
0000028e: AND
0000028f: PUSH1 0x01
00000291: PUSH1 0xa0
00000293: PUSH1 0x02
00000295: EXP
00000296: SUB
00000297: AND
00000298: PUSH4 0xadf59f99
0000029d: PUSH1 0x03
0000029f: PUSH1 0x00
000002a1: SWAP1
000002a2: SLOAD
000002a3: SWAP1
000002a4: PUSH2 0x0100
000002a7: EXP
000002a8: SWAP1
000002a9: DIV
000002aa: PUSH1 0x01
000002ac: PUSH1 0xa0
000002ae: PUSH1 0x02
000002b0: EXP
000002b1: SUB
000002b2: AND
000002b3: PUSH1 0x01
000002b5: PUSH1 0xa0
000002b7: PUSH1 0x02
000002b9: EXP
000002ba: SUB
000002bb: AND
000002bc: PUSH4 0x524f3889
000002c1: DUP8
000002c2: PUSH1 0x40
000002c4: MLOAD
000002c5: DUP3
000002c6: PUSH1 0xe0
000002c8: PUSH1 0x02
000002ca: EXP
000002cb: MUL
000002cc: DUP2
000002cd: MSTORE
000002ce: PUSH1 0x04
000002d0: ADD
000002d1: DUP1
000002d2: DUP1
000002d3: PUSH1 0x20
000002d5: ADD
000002d6: DUP3
000002d7: DUP2
000002d8: SUB
000002d9: DUP3
000002da: MSTORE
000002db: DUP4
000002dc: DUP2
000002dd: DUP2
000002de: MLOAD
000002df: DUP2
000002e0: MSTORE
000002e1: PUSH1 0x20
000002e3: ADD
000002e4: SWAP2
000002e5: POP
000002e6: DUP1
000002e7: MLOAD
000002e8: SWAP1
000002e9: PUSH1 0x20
000002eb: ADD
000002ec: SWAP1
000002ed: DUP1
000002ee: DUP4
000002ef: DUP4
000002f0: DUP3
000002f1: SWAP1
000002f2: PUSH1 0x00
000002f4: PUSH1 0x04
000002f6: PUSH1 0x20
000002f8: DUP5
000002f9: PUSH1 0x1f
000002fb: ADD
000002fc: DIV
000002fd: PUSH1 0x03
000002ff: MUL
00000300: PUSH1 0x0f
00000302: ADD
00000303: CALL
00000304: POP
00000305: SWAP1
00000306: POP
00000307: SWAP1
00000308: DUP2
00000309: ADD
0000030a: SWAP1
0000030b: PUSH1 0x1f
0000030d: AND
0000030e: DUP1
0000030f: ISZERO
00000310: PUSH2 0x032d
00000313: JUMPI
00000314: DUP1
00000315: DUP3
00000316: SUB
00000317: DUP1
00000318: MLOAD
00000319: PUSH1 0x01
0000031b: DUP4
0000031c: PUSH1 0x20
0000031e: SUB
0000031f: PUSH2 0x0100
00000322: EXP
00000323: SUB
00000324: NOT
00000325: AND
00000326: DUP2
00000327: MSTORE
00000328: PUSH1 0x20
0000032a: ADD
0000032b: SWAP2
0000032c: POP
0000032d: JUMPDEST
0000032e: POP
0000032f: SWAP3
00000330: POP
00000331: POP
00000332: POP
00000333: PUSH1 0x20
00000335: PUSH1 0x40
00000337: MLOAD
00000338: DUP1
00000339: DUP4
0000033a: SUB
0000033b: DUP2
0000033c: PUSH1 0x00
0000033e: DUP8
0000033f: PUSH2 0x61da
00000342: GAS
00000343: SUB
00000344: CALL
00000345: ISZERO
00000346: PUSH2 0x0002
00000349: JUMPI
0000034a: POP
0000034b: POP
0000034c: POP
0000034d: PUSH1 0x40
0000034f: MLOAD
00000350: DUP1
00000351: MLOAD
00000352: SWAP1
00000353: PUSH1 0x20
00000355: ADD
00000356: POP
00000357: PUSH1 0x00
00000359: DUP8
0000035a: DUP8
0000035b: PUSH1 0x40
0000035d: MLOAD
0000035e: DUP6
0000035f: PUSH1 0xe0
00000361: PUSH1 0x02
00000363: EXP
00000364: MUL
00000365: DUP2
00000366: MSTORE
00000367: PUSH1 0x04
00000369: ADD
0000036a: DUP1
0000036b: DUP5
0000036c: DUP2
0000036d: MSTORE
0000036e: PUSH1 0x20
00000370: ADD
00000371: DUP1
00000372: PUSH1 0x20
00000374: ADD
00000375: DUP1
00000376: PUSH1 0x20
00000378: ADD
00000379: DUP4
0000037a: DUP2
0000037b: SUB
0000037c: DUP4
0000037d: MSTORE
0000037e: DUP6
0000037f: DUP2
00000380: DUP2
00000381: MLOAD
00000382: DUP2
00000383: MSTORE
00000384: PUSH1 0x20
00000386: ADD
00000387: SWAP2
00000388: POP
00000389: DUP1
0000038a: MLOAD
0000038b: SWAP1
0000038c: PUSH1 0x20
0000038e: ADD
0000038f: SWAP1
00000390: DUP1
00000391: DUP4
00000392: DUP4
00000393: DUP3
00000394: SWAP1
00000395: PUSH1 0x00
00000397: PUSH1 0x04
00000399: PUSH1 0x20
0000039b: DUP5
0000039c: PUSH1 0x1f
0000039e: ADD
0000039f: DIV
000003a0: PUSH1 0x03
000003a2: MUL
000003a3: PUSH1 0x0f
000003a5: ADD
000003a6: CALL
000003a7: POP
000003a8: SWAP1
000003a9: POP
000003aa: SWAP1
000003ab: DUP2
000003ac: ADD
000003ad: SWAP1
000003ae: PUSH1 0x1f
000003b0: AND
000003b1: DUP1
000003b2: ISZERO
000003b3: PUSH2 0x03d0
000003b6: JUMPI
000003b7: DUP1
000003b8: DUP3
000003b9: SUB
000003ba: DUP1
000003bb: MLOAD
000003bc: PUSH1 0x01
000003be: DUP4
000003bf: PUSH1 0x20
000003c1: SUB
000003c2: PUSH2 0x0100
000003c5: EXP
000003c6: SUB
000003c7: NOT
000003c8: AND
000003c9: DUP2
000003ca: MSTORE
000003cb: PUSH1 0x20
000003cd: ADD
000003ce: SWAP2
000003cf: POP
000003d0: JUMPDEST
000003d1: POP
000003d2: DUP4
000003d3: DUP2
000003d4: SUB
000003d5: DUP3
000003d6: MSTORE
000003d7: DUP5
000003d8: DUP2
000003d9: DUP2
000003da: MLOAD
000003db: DUP2
000003dc: MSTORE
000003dd: PUSH1 0x20
000003df: ADD
000003e0: SWAP2
000003e1: POP
000003e2: DUP1
000003e3: MLOAD
000003e4: SWAP1
000003e5: PUSH1 0x20
000003e7: ADD
000003e8: SWAP1
000003e9: DUP1
000003ea: DUP4
000003eb: DUP4
000003ec: DUP3
000003ed: SWAP1
000003ee: PUSH1 0x00
000003f0: PUSH1 0x04
000003f2: PUSH1 0x20
000003f4: DUP5
000003f5: PUSH1 0x1f
000003f7: ADD
000003f8: DIV
000003f9: PUSH1 0x03
000003fb: MUL
000003fc: PUSH1 0x0f
000003fe: ADD
000003ff: CALL
00000400: POP
00000401: SWAP1
00000402: POP
00000403: SWAP1
00000404: DUP2
00000405: ADD
00000406: SWAP1
00000407: PUSH1 0x1f
00000409: AND
0000040a: DUP1
0000040b: ISZERO
0000040c: PUSH2 0x0429
0000040f: JUMPI
00000410: DUP1
00000411: DUP3
00000412: SUB
00000413: DUP1
00000414: MLOAD
00000415: PUSH1 0x01
00000417: DUP4
00000418: PUSH1 0x20
0000041a: SUB
0000041b: PUSH2 0x0100
0000041e: EXP
0000041f: SUB
00000420: NOT
00000421: AND
00000422: DUP2
00000423: MSTORE
00000424: PUSH1 0x20
00000426: ADD
00000427: SWAP2
00000428: POP
00000429: JUMPDEST
0000042a: POP
0000042b: SWAP6
0000042c: POP
0000042d: POP
0000042e: POP
0000042f: POP
00000430: POP
00000431: POP
00000432: PUSH1 0x20
00000434: PUSH1 0x40
00000436: MLOAD
00000437: DUP1
00000438: DUP4
00000439: SUB
0000043a: DUP2
0000043b: DUP6
0000043c: DUP9
0000043d: PUSH2 0x8502
00000440: GAS
00000441: SUB
00000442: CALL
00000443: ISZERO
00000444: PUSH2 0x0002
00000447: JUMPI
00000448: POP
00000449: POP
0000044a: PUSH1 0x40
0000044c: MLOAD
0000044d: MLOAD
0000044e: SWAP7
0000044f: SWAP6
00000450: POP
00000451: POP
00000452: POP
00000453: POP
00000454: POP
00000455: POP
00000456: JUMP
00000457: JUMPDEST
00000458: PUSH2 0x002f
0000045b: PUSH2 0x0786
0000045e: JUMPDEST
0000045f: PUSH1 0x40
00000461: DUP1
00000462: MLOAD
00000463: DUP1
00000464: DUP3
00000465: ADD
00000466: DUP3
00000467: MSTORE
00000468: PUSH1 0x07
0000046a: DUP2
0000046b: MSTORE
0000046c: PUSH1 0xc8
0000046e: PUSH1 0x02
00000470: EXP
00000471: PUSH7 0x444556434f4e31
00000479: MUL
0000047a: PUSH1 0x20
0000047c: DUP3
0000047d: DUP2
0000047e: ADD
0000047f: SWAP2
00000480: SWAP1
00000481: SWAP2
00000482: MSTORE
00000483: DUP3
00000484: MLOAD
00000485: DUP1
00000486: DUP5
00000487: ADD
00000488: DUP5
00000489: MSTORE
0000048a: PUSH1 0x03
0000048c: DUP2
0000048d: MSTORE
0000048e: PUSH1 0xea
00000490: PUSH1 0x02
00000492: EXP
00000493: PUSH3 0x155493
00000497: MUL
00000498: DUP2
00000499: DUP4
0000049a: ADD
0000049b: MSTORE
0000049c: DUP4
0000049d: MLOAD
0000049e: PUSH1 0x80
000004a0: DUP2
000004a1: ADD
000004a2: DUP6
000004a3: MSTORE
000004a4: PUSH1 0x4c
000004a6: DUP2
000004a7: MSTORE
000004a8: PUSH32 0x6a736f6e2868747470733a2f2f6170692e6b72616b656e2e636f6d2f302f7075
000004c9: DUP2
000004ca: DUP5
000004cb: ADD
000004cc: MSTORE
000004cd: PUSH32 0x626c69632f5469636b65723f706169723d455448584254292e726573756c742e
000004ee: DUP2
000004ef: DUP7
000004f0: ADD
000004f1: MSTORE
000004f2: PUSH32 0x58455448585842542e632e300000000000000000000000000000000000000000
00000513: PUSH1 0x60
00000515: DUP3
00000516: ADD
00000517: MSTORE
00000518: DUP5
00000519: MLOAD
0000051a: PUSH1 0xe0
0000051c: PUSH1 0x02
0000051e: EXP
0000051f: PUSH4 0x38cc4831
00000524: MUL
00000525: DUP2
00000526: MSTORE
00000527: SWAP5
00000528: MLOAD
00000529: SWAP4
0000052a: SWAP5
0000052b: PUSH2 0x0d24
0000052e: SWAP5
0000052f: PUSH1 0x3c
00000531: SWAP5
00000532: PUSH1 0x00
00000534: SWAP3
00000535: PUSH20 0x1d11e5eae3112dbd44f99266872ff1d07c77dce8
0000054a: SWAP3
0000054b: DUP4
0000054c: SWAP3
0000054d: PUSH4 0x38cc4831
00000552: SWAP3
00000553: PUSH1 0x04
00000555: DUP2
00000556: DUP2
00000557: ADD
00000558: SWAP4
00000559: SWAP2
0000055a: DUP3
0000055b: SWAP1
0000055c: SUB
0000055d: ADD
0000055e: DUP2
0000055f: DUP9
00000560: DUP8
00000561: PUSH2 0x61da
00000564: GAS
00000565: SUB
00000566: CALL
00000567: ISZERO
00000568: PUSH2 0x0002
0000056b: JUMPI
0000056c: POP
0000056d: POP
0000056e: POP
0000056f: PUSH1 0x40
00000571: MLOAD
00000572: DUP1
00000573: MLOAD
00000574: SWAP1
00000575: PUSH1 0x20
00000577: ADD
00000578: POP
00000579: PUSH1 0x03
0000057b: PUSH1 0x00
0000057d: PUSH2 0x0100
00000580: EXP
00000581: DUP2
00000582: SLOAD
00000583: DUP2
00000584: PUSH1 0x01
00000586: PUSH1 0xa0
00000588: PUSH1 0x02
0000058a: EXP
0000058b: SUB
0000058c: MUL
0000058d: NOT
0000058e: AND
0000058f: SWAP1
00000590: DUP4
00000591: MUL
00000592: OR
00000593: SWAP1
00000594: SSTORE
00000595: POP
00000596: PUSH1 0x03
00000598: PUSH1 0x00
0000059a: SWAP1
0000059b: SLOAD
0000059c: SWAP1
0000059d: PUSH2 0x0100
000005a0: EXP
000005a1: SWAP1
000005a2: DIV
000005a3: PUSH1 0x01
000005a5: PUSH1 0xa0
000005a7: PUSH1 0x02
000005a9: EXP
000005aa: SUB
000005ab: AND
000005ac: PUSH1 0x01
000005ae: PUSH1 0xa0
000005b0: PUSH1 0x02
000005b2: EXP
000005b3: SUB
000005b4: AND
000005b5: PUSH4 0xadf59f99
000005ba: PUSH1 0x03
000005bc: PUSH1 0x00
000005be: SWAP1
000005bf: SLOAD
000005c0: SWAP1
000005c1: PUSH2 0x0100
000005c4: EXP
000005c5: SWAP1
000005c6: DIV
000005c7: PUSH1 0x01
000005c9: PUSH1 0xa0
000005cb: PUSH1 0x02
000005cd: EXP
000005ce: SUB
000005cf: AND
000005d0: PUSH1 0x01
000005d2: PUSH1 0xa0
000005d4: PUSH1 0x02
000005d6: EXP
000005d7: SUB
000005d8: AND
000005d9: PUSH4 0x524f3889
000005de: DUP8
000005df: PUSH1 0x40
000005e1: MLOAD
000005e2: DUP3
000005e3: PUSH1 0xe0
000005e5: PUSH1 0x02
000005e7: EXP
000005e8: MUL
000005e9: DUP2
000005ea: MSTORE
000005eb: PUSH1 0x04
000005ed: ADD
000005ee: DUP1
000005ef: DUP1
000005f0: PUSH1 0x20
000005f2: ADD
000005f3: DUP3
000005f4: DUP2
000005f5: SUB
000005f6: DUP3
000005f7: MSTORE
000005f8: DUP4
000005f9: DUP2
000005fa: DUP2
000005fb: MLOAD
000005fc: DUP2
000005fd: MSTORE
000005fe: PUSH1 0x20
00000600: ADD
00000601: SWAP2
00000602: POP
00000603: DUP1
00000604: MLOAD
00000605: SWAP1
00000606: PUSH1 0x20
00000608: ADD
00000609: SWAP1
0000060a: DUP1
0000060b: DUP4
0000060c: DUP4
0000060d: DUP3
0000060e: SWAP1
0000060f: PUSH1 0x00
00000611: PUSH1 0x04
00000613: PUSH1 0x20
00000615: DUP5
00000616: PUSH1 0x1f
00000618: ADD
00000619: DIV
0000061a: PUSH1 0x03
0000061c: MUL
0000061d: PUSH1 0x0f
0000061f: ADD
00000620: CALL
00000621: POP
00000622: SWAP1
00000623: POP
00000624: SWAP1
00000625: DUP2
00000626: ADD
00000627: SWAP1
00000628: PUSH1 0x1f
0000062a: AND
0000062b: DUP1
0000062c: ISZERO
0000062d: PUSH2 0x064a
00000630: JUMPI
00000631: DUP1
00000632: DUP3
00000633: SUB
00000634: DUP1
00000635: MLOAD
00000636: PUSH1 0x01
00000638: DUP4
00000639: PUSH1 0x20
0000063b: SUB
0000063c: PUSH2 0x0100
0000063f: EXP
00000640: SUB
00000641: NOT
00000642: AND
00000643: DUP2
00000644: MSTORE
00000645: PUSH1 0x20
00000647: ADD
00000648: SWAP2
00000649: POP
0000064a: JUMPDEST
0000064b: POP
0000064c: SWAP3
0000064d: POP
0000064e: POP
0000064f: POP
00000650: PUSH1 0x20
00000652: PUSH1 0x40
00000654: MLOAD
00000655: DUP1
00000656: DUP4
00000657: SUB
00000658: DUP2
00000659: PUSH1 0x00
0000065b: DUP8
0000065c: PUSH2 0x61da
0000065f: GAS
00000660: SUB
00000661: CALL
00000662: ISZERO
00000663: PUSH2 0x0002
00000666: JUMPI
00000667: POP
00000668: POP
00000669: POP
0000066a: PUSH1 0x40
0000066c: MLOAD
0000066d: DUP1
0000066e: MLOAD
0000066f: SWAP1
00000670: PUSH1 0x20
00000672: ADD
00000673: POP
00000674: DUP8
00000675: DUP8
00000676: DUP8
00000677: PUSH1 0x40
00000679: MLOAD
0000067a: DUP6
0000067b: PUSH1 0xe0
0000067d: PUSH1 0x02
0000067f: EXP
00000680: MUL
00000681: DUP2
00000682: MSTORE
00000683: PUSH1 0x04
00000685: ADD
00000686: DUP1
00000687: DUP5
00000688: DUP2
00000689: MSTORE
0000068a: PUSH1 0x20
0000068c: ADD
0000068d: DUP1
0000068e: PUSH1 0x20
00000690: ADD
00000691: DUP1
00000692: PUSH1 0x20
00000694: ADD
00000695: DUP4
00000696: DUP2
00000697: SUB
00000698: DUP4
00000699: MSTORE
0000069a: DUP6
0000069b: DUP2
0000069c: DUP2
0000069d: MLOAD
0000069e: DUP2
0000069f: MSTORE
000006a0: PUSH1 0x20
000006a2: ADD
000006a3: SWAP2
000006a4: POP
000006a5: DUP1
000006a6: MLOAD
000006a7: SWAP1
000006a8: PUSH1 0x20
000006aa: ADD
000006ab: SWAP1
000006ac: DUP1
000006ad: DUP4
000006ae: DUP4
000006af: DUP3
000006b0: SWAP1
000006b1: PUSH1 0x00
000006b3: PUSH1 0x04
000006b5: PUSH1 0x20
000006b7: DUP5
000006b8: PUSH1 0x1f
000006ba: ADD
000006bb: DIV
000006bc: PUSH1 0x03
000006be: MUL
000006bf: PUSH1 0x0f
000006c1: ADD
000006c2: CALL
000006c3: POP
000006c4: SWAP1
000006c5: POP
000006c6: SWAP1
000006c7: DUP2
000006c8: ADD
000006c9: SWAP1
000006ca: PUSH1 0x1f
000006cc: AND
000006cd: DUP1
000006ce: ISZERO
000006cf: PUSH2 0x06ec
000006d2: JUMPI
000006d3: DUP1
000006d4: DUP3
000006d5: SUB
000006d6: DUP1
000006d7: MLOAD
000006d8: PUSH1 0x01
000006da: DUP4
000006db: PUSH1 0x20
000006dd: SUB
000006de: PUSH2 0x0100
000006e1: EXP
000006e2: SUB
000006e3: NOT
000006e4: AND
000006e5: DUP2
000006e6: MSTORE
000006e7: PUSH1 0x20
000006e9: ADD
000006ea: SWAP2
000006eb: POP
000006ec: JUMPDEST
000006ed: POP
000006ee: DUP4
000006ef: DUP2
000006f0: SUB
000006f1: DUP3
000006f2: MSTORE
000006f3: DUP5
000006f4: DUP2
000006f5: DUP2
000006f6: MLOAD
000006f7: DUP2
000006f8: MSTORE
000006f9: PUSH1 0x20
000006fb: ADD
000006fc: SWAP2
000006fd: POP
000006fe: DUP1
000006ff: MLOAD
00000700: SWAP1
00000701: PUSH1 0x20
00000703: ADD
00000704: SWAP1
00000705: DUP1
00000706: DUP4
00000707: DUP4
00000708: DUP3
00000709: SWAP1
0000070a: PUSH1 0x00
0000070c: PUSH1 0x04
0000070e: PUSH1 0x20
00000710: DUP5
00000711: PUSH1 0x1f
00000713: ADD
00000714: DIV
00000715: PUSH1 0x03
00000717: MUL
00000718: PUSH1 0x0f
0000071a: ADD
0000071b: CALL
0000071c: POP
0000071d: SWAP1
0000071e: POP
0000071f: SWAP1
00000720: DUP2
00000721: ADD
00000722: SWAP1
00000723: PUSH1 0x1f
00000725: AND
00000726: DUP1
00000727: ISZERO
00000728: PUSH2 0x0745
0000072b: JUMPI
0000072c: DUP1
0000072d: DUP3
0000072e: SUB
0000072f: DUP1
00000730: MLOAD
00000731: PUSH1 0x01
00000733: DUP4
00000734: PUSH1 0x20
00000736: SUB
00000737: PUSH2 0x0100
0000073a: EXP
0000073b: SUB
0000073c: NOT
0000073d: AND
0000073e: DUP2
0000073f: MSTORE
00000740: PUSH1 0x20
00000742: ADD
00000743: SWAP2
00000744: POP
00000745: JUMPDEST
00000746: POP
00000747: SWAP6
00000748: POP
00000749: POP
0000074a: POP
0000074b: POP
0000074c: POP
0000074d: POP
0000074e: PUSH1 0x20
00000750: PUSH1 0x40
00000752: MLOAD
00000753: DUP1
00000754: DUP4
00000755: SUB
00000756: DUP2
00000757: DUP6
00000758: DUP9
00000759: PUSH2 0x8502
0000075c: GAS
0000075d: SUB
0000075e: CALL
0000075f: ISZERO
00000760: PUSH2 0x0002
00000763: JUMPI
00000764: POP
00000765: POP
00000766: PUSH1 0x40
00000768: MLOAD
00000769: MLOAD
0000076a: SWAP4
0000076b: POP
0000076c: PUSH2 0x0c22
0000076f: SWAP3
00000770: POP
00000771: POP
00000772: POP
00000773: JUMP
00000774: JUMPDEST
00000775: PUSH1 0x40
00000777: DUP1
00000778: MLOAD
00000779: SWAP2
0000077a: DUP3
0000077b: MSTORE
0000077c: MLOAD
0000077d: SWAP1
0000077e: DUP2
0000077f: SWAP1
00000780: SUB
00000781: PUSH1 0x20
00000783: ADD
00000784: SWAP1
00000785: RETURN
00000786: JUMPDEST
00000787: JUMP
00000788: JUMPDEST
00000789: PUSH1 0x01
0000078b: PUSH1 0xa0
0000078d: PUSH1 0x02
0000078f: EXP
00000790: SUB
00000791: AND
00000792: CALLER
00000793: PUSH1 0x01
00000795: PUSH1 0xa0
00000797: PUSH1 0x02
00000799: EXP
0000079a: SUB
0000079b: AND
0000079c: EQ
0000079d: ISZERO
0000079e: ISZERO
0000079f: PUSH2 0x07a7
000007a2: JUMPI
000007a3: PUSH2 0x0002
000007a6: JUMP
000007a7: JUMPDEST
000007a8: PUSH1 0x04
000007aa: SLOAD
000007ab: DUP4
000007ac: EQ
000007ad: DUP1
000007ae: ISZERO
000007af: PUSH2 0x086f
000007b2: JUMPI
000007b3: POP
000007b4: PUSH2 0x0bb8
000007b7: PUSH2 0x086d
000007ba: DUP4
000007bb: PUSH1 0x40
000007bd: DUP1
000007be: MLOAD
000007bf: PUSH1 0x20
000007c1: DUP2
000007c2: ADD
000007c3: SWAP1
000007c4: SWAP2
000007c5: MSTORE
000007c6: PUSH1 0x00
000007c8: SWAP1
000007c9: DUP2
000007ca: SWAP1
000007cb: MSTORE
000007cc: DUP2
000007cd: DUP2
000007ce: DUP1
000007cf: JUMPDEST
000007d0: DUP3
000007d1: MLOAD
000007d2: DUP2
000007d3: LT
000007d4: ISZERO
000007d5: PUSH2 0x0d1c
000007d8: JUMPI
000007d9: PUSH1 0x30
000007db: PUSH1 0xf8
000007dd: PUSH1 0x02
000007df: EXP
000007e0: MUL
000007e1: DUP4
000007e2: DUP3
000007e3: DUP2
000007e4: MLOAD
000007e5: DUP2
000007e6: LT
000007e7: ISZERO
000007e8: PUSH2 0x0002
000007eb: JUMPI
000007ec: SWAP1
000007ed: PUSH1 0x20
000007ef: ADD
000007f0: ADD
000007f1: MLOAD
000007f2: PUSH1 0xf8
000007f4: PUSH1 0x02
000007f6: EXP
000007f7: SWAP1
000007f8: DIV
000007f9: PUSH1 0xf8
000007fb: PUSH1 0x02
000007fd: EXP
000007fe: MUL
000007ff: LT
00000800: ISZERO
00000801: DUP1
00000802: ISZERO
00000803: PUSH2 0x0830
00000806: JUMPI
00000807: POP
00000808: PUSH1 0x39
0000080a: PUSH1 0xf8
0000080c: PUSH1 0x02
0000080e: EXP
0000080f: MUL
00000810: DUP4
00000811: DUP3
00000812: DUP2
00000813: MLOAD
00000814: DUP2
00000815: LT
00000816: ISZERO
00000817: PUSH2 0x0002
0000081a: JUMPI
0000081b: SWAP1
0000081c: PUSH1 0x20
0000081e: ADD
0000081f: ADD
00000820: MLOAD
00000821: PUSH1 0xf8
00000823: PUSH1 0x02
00000825: EXP
00000826: SWAP1
00000827: DIV
00000828: PUSH1 0xf8
0000082a: PUSH1 0x02
0000082c: EXP
0000082d: MUL
0000082e: GT
0000082f: ISZERO
00000830: JUMPDEST
00000831: ISZERO
00000832: PUSH2 0x0865
00000835: JUMPI
00000836: PUSH1 0x0a
00000838: DUP3
00000839: MUL
0000083a: SWAP2
0000083b: POP
0000083c: DUP2
0000083d: POP
0000083e: PUSH1 0x30
00000840: DUP4
00000841: DUP3
00000842: DUP2
00000843: MLOAD
00000844: DUP2
00000845: LT
00000846: ISZERO
00000847: PUSH2 0x0002
0000084a: JUMPI
0000084b: ADD
0000084c: PUSH1 0x20
0000084e: ADD
0000084f: MLOAD
00000850: PUSH1 0xf8
00000852: PUSH1 0x02
00000854: EXP
00000855: SWAP1
00000856: DUP2
00000857: SWAP1
00000858: DIV
00000859: DUP2
0000085a: MUL
0000085b: DIV
0000085c: SWAP1
0000085d: SWAP3
0000085e: ADD
0000085f: PUSH1 0x2f
00000861: NOT
00000862: ADD
00000863: SWAP2
00000864: POP
00000865: JUMPDEST
00000866: PUSH1 0x01
00000868: ADD
00000869: PUSH2 0x07cf
0000086c: JUMP
0000086d: JUMPDEST
0000086e: LT
0000086f: JUMPDEST
00000870: ISZERO
00000871: PUSH2 0x0c29
00000874: JUMPI
00000875: PUSH1 0x40
00000877: DUP1
00000878: MLOAD
00000879: DUP1
0000087a: DUP3
0000087b: ADD
0000087c: DUP3
0000087d: MSTORE
0000087e: PUSH1 0x03
00000880: DUP2
00000881: MSTORE
00000882: PUSH1 0xea
00000884: PUSH1 0x02
00000886: EXP
00000887: PUSH3 0x155493
0000088b: MUL
0000088c: PUSH1 0x20
0000088e: DUP3
0000088f: DUP2
00000890: ADD
00000891: SWAP2
00000892: SWAP1
00000893: SWAP2
00000894: MSTORE
00000895: DUP3
00000896: MLOAD
00000897: PUSH1 0x60
00000899: DUP2
0000089a: DUP2
0000089b: ADD
0000089c: DUP6
0000089d: MSTORE
0000089e: PUSH1 0x36
000008a0: DUP3
000008a1: MSTORE
000008a2: PUSH32 0x6a736f6e2868747470733a2f2f736861706573686966742e696f2f73656e6461
000008c3: DUP3
000008c4: DUP5
000008c5: ADD
000008c6: MSTORE
000008c7: PUSH32 0x6d6f756e74292e737563636573732e6465706f73697400000000000000000000
000008e8: DUP3
000008e9: DUP7
000008ea: ADD
000008eb: MSTORE
000008ec: DUP5
000008ed: MLOAD
000008ee: PUSH1 0x80
000008f0: DUP2
000008f1: ADD
000008f2: DUP7
000008f3: MSTORE
000008f4: PUSH1 0x5f
000008f6: DUP2
000008f7: MSTORE
000008f8: PUSH32 0x7b2270616972223a20226574685f627463222c2022616d6f756e74223a202230
00000919: DUP2
0000091a: DUP6
0000091b: ADD
0000091c: MSTORE
0000091d: PUSH32 0x2e32222c20227769746864726177616c223a2020202020202020223141416343
0000093e: DUP2
0000093f: DUP8
00000940: ADD
00000941: MSTORE
00000942: PUSH32 0x6f3231455563316a626f636a73735351447a4c6e613956656d32554e35227d00
00000963: SWAP2
00000964: DUP2
00000965: ADD
00000966: SWAP2
00000967: SWAP1
00000968: SWAP2
00000969: MSTORE
0000096a: DUP5
0000096b: MLOAD
0000096c: PUSH1 0xe0
0000096e: PUSH1 0x02
00000970: EXP
00000971: PUSH4 0x38cc4831
00000976: MUL
00000977: DUP2
00000978: MSTORE
00000979: SWAP5
0000097a: MLOAD
0000097b: PUSH2 0x0cd7
0000097e: SWAP6
0000097f: SWAP3
00000980: SWAP4
00000981: SWAP2
00000982: SWAP3
00000983: PUSH1 0x00
00000985: SWAP3
00000986: PUSH20 0x1d11e5eae3112dbd44f99266872ff1d07c77dce8
0000099b: SWAP3
0000099c: DUP4
0000099d: SWAP3
0000099e: PUSH4 0x38cc4831
000009a3: SWAP3
000009a4: PUSH1 0x04
000009a6: DUP3
000009a7: DUP2
000009a8: ADD
000009a9: SWAP4
000009aa: SWAP2
000009ab: SWAP3
000009ac: DUP3
000009ad: SWAP1
000009ae: SUB
000009af: ADD
000009b0: DUP2
000009b1: DUP9
000009b2: DUP8
000009b3: PUSH2 0x61da
000009b6: GAS
000009b7: SUB
000009b8: CALL
000009b9: ISZERO
000009ba: PUSH2 0x0002
000009bd: JUMPI
000009be: POP
000009bf: POP
000009c0: POP
000009c1: PUSH1 0x40
000009c3: MLOAD
000009c4: DUP1
000009c5: MLOAD
000009c6: SWAP1
000009c7: PUSH1 0x20
000009c9: ADD
000009ca: POP
000009cb: PUSH1 0x03
000009cd: PUSH1 0x00
000009cf: PUSH2 0x0100
000009d2: EXP
000009d3: DUP2
000009d4: SLOAD
000009d5: DUP2
000009d6: PUSH1 0x01
000009d8: PUSH1 0xa0
000009da: PUSH1 0x02
000009dc: EXP
000009dd: SUB
000009de: MUL
000009df: NOT
000009e0: AND
000009e1: SWAP1
000009e2: DUP4
000009e3: MUL
000009e4: OR
000009e5: SWAP1
000009e6: SSTORE
000009e7: POP
000009e8: PUSH1 0x03
000009ea: PUSH1 0x00
000009ec: SWAP1
000009ed: SLOAD
000009ee: SWAP1
000009ef: PUSH2 0x0100
000009f2: EXP
000009f3: SWAP1
000009f4: DIV
000009f5: PUSH1 0x01
000009f7: PUSH1 0xa0
000009f9: PUSH1 0x02
000009fb: EXP
000009fc: SUB
000009fd: AND
000009fe: PUSH1 0x01
00000a00: PUSH1 0xa0
00000a02: PUSH1 0x02
00000a04: EXP
00000a05: SUB
00000a06: AND
00000a07: PUSH4 0x77228659
00000a0c: PUSH1 0x03
00000a0e: PUSH1 0x00
00000a10: SWAP1
00000a11: SLOAD
00000a12: SWAP1
00000a13: PUSH2 0x0100
00000a16: EXP
00000a17: SWAP1
00000a18: DIV
00000a19: PUSH1 0x01
00000a1b: PUSH1 0xa0
00000a1d: PUSH1 0x02
00000a1f: EXP
00000a20: SUB
00000a21: AND
00000a22: PUSH1 0x01
00000a24: PUSH1 0xa0
00000a26: PUSH1 0x02
00000a28: EXP
00000a29: SUB
00000a2a: AND
00000a2b: PUSH4 0x524f3889
00000a30: DUP9
00000a31: PUSH1 0x40
00000a33: MLOAD
00000a34: DUP3
00000a35: PUSH1 0xe0
00000a37: PUSH1 0x02
00000a39: EXP
00000a3a: MUL
00000a3b: DUP2
00000a3c: MSTORE
00000a3d: PUSH1 0x04
00000a3f: ADD
00000a40: DUP1
00000a41: DUP1
00000a42: PUSH1 0x20
00000a44: ADD
00000a45: DUP3
00000a46: DUP2
00000a47: SUB
00000a48: DUP3
00000a49: MSTORE
00000a4a: DUP4
00000a4b: DUP2
00000a4c: DUP2
00000a4d: MLOAD
00000a4e: DUP2
00000a4f: MSTORE
00000a50: PUSH1 0x20
00000a52: ADD
00000a53: SWAP2
00000a54: POP
00000a55: DUP1
00000a56: MLOAD
00000a57: SWAP1
00000a58: PUSH1 0x20
00000a5a: ADD
00000a5b: SWAP1
00000a5c: DUP1
00000a5d: DUP4
00000a5e: DUP4
00000a5f: DUP3
00000a60: SWAP1
00000a61: PUSH1 0x00
00000a63: PUSH1 0x04
00000a65: PUSH1 0x20
00000a67: DUP5
00000a68: PUSH1 0x1f
00000a6a: ADD
00000a6b: DIV
00000a6c: PUSH1 0x03
00000a6e: MUL
00000a6f: PUSH1 0x0f
00000a71: ADD
00000a72: CALL
00000a73: POP
00000a74: SWAP1
00000a75: POP
00000a76: SWAP1
00000a77: DUP2
00000a78: ADD
00000a79: SWAP1
00000a7a: PUSH1 0x1f
00000a7c: AND
00000a7d: DUP1
00000a7e: ISZERO
00000a7f: PUSH2 0x0a9c
00000a82: JUMPI
00000a83: DUP1
00000a84: DUP3
00000a85: SUB
00000a86: DUP1
00000a87: MLOAD
00000a88: PUSH1 0x01
00000a8a: DUP4
00000a8b: PUSH1 0x20
00000a8d: SUB
00000a8e: PUSH2 0x0100
00000a91: EXP
00000a92: SUB
00000a93: NOT
00000a94: AND
00000a95: DUP2
00000a96: MSTORE
00000a97: PUSH1 0x20
00000a99: ADD
00000a9a: SWAP2
00000a9b: POP
00000a9c: JUMPDEST
00000a9d: POP
00000a9e: SWAP3
00000a9f: POP
00000aa0: POP
00000aa1: POP
00000aa2: PUSH1 0x20
00000aa4: PUSH1 0x40
00000aa6: MLOAD
00000aa7: DUP1
00000aa8: DUP4
00000aa9: SUB
00000aaa: DUP2
00000aab: PUSH1 0x00
00000aad: DUP8
00000aae: PUSH2 0x61da
00000ab1: GAS
00000ab2: SUB
00000ab3: CALL
00000ab4: ISZERO
00000ab5: PUSH2 0x0002
00000ab8: JUMPI
00000ab9: POP
00000aba: POP
00000abb: POP
00000abc: PUSH1 0x40
00000abe: MLOAD
00000abf: DUP1
00000ac0: MLOAD
00000ac1: SWAP1
00000ac2: PUSH1 0x20
00000ac4: ADD
00000ac5: POP
00000ac6: PUSH1 0x00
00000ac8: DUP9
00000ac9: DUP9
00000aca: DUP9
00000acb: PUSH1 0x40
00000acd: MLOAD
00000ace: DUP7
00000acf: PUSH1 0xe0
00000ad1: PUSH1 0x02
00000ad3: EXP
00000ad4: MUL
00000ad5: DUP2
00000ad6: MSTORE
00000ad7: PUSH1 0x04
00000ad9: ADD
00000ada: DUP1
00000adb: DUP6
00000adc: DUP2
00000add: MSTORE
00000ade: PUSH1 0x20
00000ae0: ADD
00000ae1: DUP1
00000ae2: PUSH1 0x20
00000ae4: ADD
00000ae5: DUP1
00000ae6: PUSH1 0x20
00000ae8: ADD
00000ae9: DUP1
00000aea: PUSH1 0x20
00000aec: ADD
00000aed: DUP5
00000aee: DUP2
00000aef: SUB
00000af0: DUP5
00000af1: MSTORE
00000af2: DUP8
00000af3: DUP2
00000af4: DUP2
00000af5: MLOAD
00000af6: DUP2
00000af7: MSTORE
00000af8: PUSH1 0x20
00000afa: ADD
00000afb: SWAP2
00000afc: POP
00000afd: DUP1
00000afe: MLOAD
00000aff: SWAP1
00000b00: PUSH1 0x20
00000b02: ADD
00000b03: SWAP1
00000b04: DUP1
00000b05: DUP4
00000b06: DUP4
00000b07: DUP3
00000b08: SWAP1
00000b09: PUSH1 0x00
00000b0b: PUSH1 0x04
00000b0d: PUSH1 0x20
00000b0f: DUP5
00000b10: PUSH1 0x1f
00000b12: ADD
00000b13: DIV
00000b14: PUSH1 0x03
00000b16: MUL
00000b17: PUSH1 0x0f
00000b19: ADD
00000b1a: CALL
00000b1b: POP
00000b1c: SWAP1
00000b1d: POP
00000b1e: SWAP1
00000b1f: DUP2
00000b20: ADD
00000b21: SWAP1
00000b22: PUSH1 0x1f
00000b24: AND
00000b25: DUP1
00000b26: ISZERO
00000b27: PUSH2 0x0b44
00000b2a: JUMPI
00000b2b: DUP1
00000b2c: DUP3
00000b2d: SUB
00000b2e: DUP1
00000b2f: MLOAD
00000b30: PUSH1 0x01
00000b32: DUP4
00000b33: PUSH1 0x20
00000b35: SUB
00000b36: PUSH2 0x0100
00000b39: EXP
00000b3a: SUB
00000b3b: NOT
00000b3c: AND
00000b3d: DUP2
00000b3e: MSTORE
00000b3f: PUSH1 0x20
00000b41: ADD
00000b42: SWAP2
00000b43: POP
00000b44: JUMPDEST
00000b45: POP
00000b46: DUP5
00000b47: DUP2
00000b48: SUB
00000b49: DUP4
00000b4a: MSTORE
00000b4b: DUP7
00000b4c: DUP2
00000b4d: DUP2
00000b4e: MLOAD
00000b4f: DUP2
00000b50: MSTORE
00000b51: PUSH1 0x20
00000b53: ADD
00000b54: SWAP2
00000b55: POP
00000b56: DUP1
00000b57: MLOAD
00000b58: SWAP1
00000b59: PUSH1 0x20
00000b5b: ADD
00000b5c: SWAP1
00000b5d: DUP1
00000b5e: DUP4
00000b5f: DUP4
00000b60: DUP3
00000b61: SWAP1
00000b62: PUSH1 0x00
00000b64: PUSH1 0x04
00000b66: PUSH1 0x20
00000b68: DUP5
00000b69: PUSH1 0x1f
00000b6b: ADD
00000b6c: DIV
00000b6d: PUSH1 0x03
00000b6f: MUL
00000b70: PUSH1 0x0f
00000b72: ADD
00000b73: CALL
00000b74: POP
00000b75: SWAP1
00000b76: POP
00000b77: SWAP1
00000b78: DUP2
00000b79: ADD
00000b7a: SWAP1
00000b7b: PUSH1 0x1f
00000b7d: AND
00000b7e: DUP1
00000b7f: ISZERO
00000b80: PUSH2 0x0b9d
00000b83: JUMPI
00000b84: DUP1
00000b85: DUP3
00000b86: SUB
00000b87: DUP1
00000b88: MLOAD
00000b89: PUSH1 0x01
00000b8b: DUP4
00000b8c: PUSH1 0x20
00000b8e: SUB
00000b8f: PUSH2 0x0100
00000b92: EXP
00000b93: SUB
00000b94: NOT
00000b95: AND
00000b96: DUP2
00000b97: MSTORE
00000b98: PUSH1 0x20
00000b9a: ADD
00000b9b: SWAP2
00000b9c: POP
00000b9d: JUMPDEST
00000b9e: POP
00000b9f: DUP5
00000ba0: DUP2
00000ba1: SUB
00000ba2: DUP3
00000ba3: MSTORE
00000ba4: DUP6
00000ba5: DUP2
00000ba6: DUP2
00000ba7: MLOAD
00000ba8: DUP2
00000ba9: MSTORE
00000baa: PUSH1 0x20
00000bac: ADD
00000bad: SWAP2
00000bae: POP
00000baf: DUP1
00000bb0: MLOAD
00000bb1: SWAP1
00000bb2: PUSH1 0x20
00000bb4: ADD
00000bb5: SWAP1
00000bb6: DUP1
00000bb7: DUP4
00000bb8: DUP4
00000bb9: DUP3
00000bba: SWAP1
00000bbb: PUSH1 0x00
00000bbd: PUSH1 0x04
00000bbf: PUSH1 0x20
00000bc1: DUP5
00000bc2: PUSH1 0x1f
00000bc4: ADD
00000bc5: DIV
00000bc6: PUSH1 0x03
00000bc8: MUL
00000bc9: PUSH1 0x0f
00000bcb: ADD
00000bcc: CALL
00000bcd: POP
00000bce: SWAP1
00000bcf: POP
00000bd0: SWAP1
00000bd1: DUP2
00000bd2: ADD
00000bd3: SWAP1
00000bd4: PUSH1 0x1f
00000bd6: AND
00000bd7: DUP1
00000bd8: ISZERO
00000bd9: PUSH2 0x0bf6
00000bdc: JUMPI
00000bdd: DUP1
00000bde: DUP3
00000bdf: SUB
00000be0: DUP1
00000be1: MLOAD
00000be2: PUSH1 0x01
00000be4: DUP4
00000be5: PUSH1 0x20
00000be7: SUB
00000be8: PUSH2 0x0100
00000beb: EXP
00000bec: SUB
00000bed: NOT
00000bee: AND
00000bef: DUP2
00000bf0: MSTORE
00000bf1: PUSH1 0x20
00000bf3: ADD
00000bf4: SWAP2
00000bf5: POP
00000bf6: JUMPDEST
00000bf7: POP
00000bf8: SWAP8
00000bf9: POP
00000bfa: POP
00000bfb: POP
00000bfc: POP
00000bfd: POP
00000bfe: POP
00000bff: POP
00000c00: POP
00000c01: PUSH1 0x20
00000c03: PUSH1 0x40
00000c05: MLOAD
00000c06: DUP1
00000c07: DUP4
00000c08: SUB
00000c09: DUP2
00000c0a: DUP6
00000c0b: DUP9
00000c0c: PUSH2 0x8502
00000c0f: GAS
00000c10: SUB
00000c11: CALL
00000c12: ISZERO
00000c13: PUSH2 0x0002
00000c16: JUMPI
00000c17: POP
00000c18: POP
00000c19: PUSH1 0x40
00000c1b: MLOAD
00000c1c: MLOAD
00000c1d: SWAP4
00000c1e: POP
00000c1f: POP
00000c20: POP
00000c21: POP
00000c22: JUMPDEST
00000c23: SWAP4
00000c24: SWAP3
00000c25: POP
00000c26: POP
00000c27: POP
00000c28: JUMP
00000c29: JUMPDEST
00000c2a: PUSH1 0x05
00000c2c: SLOAD
00000c2d: DUP4
00000c2e: EQ
00000c2f: ISZERO
00000c30: PUSH2 0x0ce0
00000c33: JUMPI
00000c34: PUSH2 0x0ce8
00000c37: DUP3
00000c38: PUSH1 0x40
00000c3a: DUP1
00000c3b: MLOAD
00000c3c: PUSH1 0x20
00000c3e: DUP2
00000c3f: ADD
00000c40: SWAP1
00000c41: SWAP2
00000c42: MSTORE
00000c43: PUSH1 0x00
00000c45: SWAP1
00000c46: DUP2
00000c47: SWAP1
00000c48: MSTORE
00000c49: DUP2
00000c4a: DUP2
00000c4b: DUP1
00000c4c: DUP1
00000c4d: PUSH1 0x02
00000c4f: JUMPDEST
00000c50: PUSH1 0x2a
00000c52: DUP2
00000c53: LT
00000c54: ISZERO
00000c55: PUSH2 0x0d2a
00000c58: JUMPI
00000c59: PUSH2 0x0100
00000c5c: DUP5
00000c5d: MUL
00000c5e: SWAP4
00000c5f: POP
00000c60: DUP4
00000c61: POP
00000c62: DUP5
00000c63: DUP2
00000c64: DUP2
00000c65: MLOAD
00000c66: DUP2
00000c67: LT
00000c68: ISZERO
00000c69: PUSH2 0x0002
00000c6c: JUMPI
00000c6d: DUP2
00000c6e: MLOAD
00000c6f: SWAP1
00000c70: DUP3
00000c71: ADD
00000c72: PUSH1 0x20
00000c74: ADD
00000c75: MLOAD
00000c76: PUSH1 0xf8
00000c78: PUSH1 0x02
00000c7a: EXP
00000c7b: SWAP1
00000c7c: DUP2
00000c7d: SWAP1
00000c7e: DIV
00000c7f: DUP2
00000c80: MUL
00000c81: DIV
00000c82: SWAP5
00000c83: POP
00000c84: PUSH1 0x01
00000c86: DUP4
00000c87: ADD
00000c88: SWAP1
00000c89: DUP2
00000c8a: LT
00000c8b: ISZERO
00000c8c: PUSH2 0x0002
00000c8f: JUMPI
00000c90: ADD
00000c91: PUSH1 0x20
00000c93: ADD
00000c94: MLOAD
00000c95: PUSH1 0xf8
00000c97: PUSH1 0x02
00000c99: EXP
00000c9a: SWAP1
00000c9b: DUP2
00000c9c: SWAP1
00000c9d: DIV
00000c9e: DUP2
00000c9f: MUL
00000ca0: DIV
00000ca1: SWAP2
00000ca2: POP
00000ca3: PUSH1 0x61
00000ca5: PUSH1 0x01
00000ca7: PUSH1 0xa0
00000ca9: PUSH1 0x02
00000cab: EXP
00000cac: SUB
00000cad: DUP5
00000cae: AND
00000caf: LT
00000cb0: DUP1
00000cb1: ISZERO
00000cb2: SWAP1
00000cb3: PUSH2 0x0cc6
00000cb6: JUMPI
00000cb7: POP
00000cb8: PUSH1 0x66
00000cba: DUP4
00000cbb: PUSH1 0x01
00000cbd: PUSH1 0xa0
00000cbf: PUSH1 0x02
00000cc1: EXP
00000cc2: SUB
00000cc3: AND
00000cc4: GT
00000cc5: ISZERO
00000cc6: JUMPDEST
00000cc7: ISZERO
00000cc8: PUSH2 0x0d35
00000ccb: JUMPI
00000ccc: PUSH1 0x56
00000cce: NOT
00000ccf: SWAP1
00000cd0: SWAP3
00000cd1: ADD
00000cd2: SWAP2
00000cd3: PUSH2 0x0d67
00000cd6: JUMP
00000cd7: JUMPDEST
00000cd8: PUSH1 0x05
00000cda: SSTORE
00000cdb: JUMPDEST
00000cdc: POP
00000cdd: POP
00000cde: POP
00000cdf: JUMP
00000ce0: JUMPDEST
00000ce1: PUSH2 0x0cdb
00000ce4: PUSH2 0x045e
00000ce7: JUMP
00000ce8: JUMPDEST
00000ce9: PUSH1 0x01
00000ceb: PUSH1 0xa0
00000ced: PUSH1 0x02
00000cef: EXP
00000cf0: SUB
00000cf1: AND
00000cf2: PUSH1 0x00
00000cf4: ADDRESS
00000cf5: PUSH1 0x01
00000cf7: PUSH1 0xa0
00000cf9: PUSH1 0x02
00000cfb: EXP
00000cfc: SUB
00000cfd: AND
00000cfe: BALANCE
00000cff: PUSH1 0x40
00000d01: MLOAD
00000d02: DUP1
00000d03: SWAP1
00000d04: POP
00000d05: PUSH1 0x00
00000d07: PUSH1 0x40
00000d09: MLOAD
00000d0a: DUP1
00000d0b: DUP4
00000d0c: SUB
00000d0d: DUP2
00000d0e: DUP6
00000d0f: DUP9
00000d10: DUP9
00000d11: CALL
00000d12: SWAP4
00000d13: POP
00000d14: POP
00000d15: POP
00000d16: POP
00000d17: POP
00000d18: PUSH2 0x0cdb
00000d1b: JUMP
00000d1c: JUMPDEST
00000d1d: POP
00000d1e: SWAP4
00000d1f: SWAP3
00000d20: POP
00000d21: POP
00000d22: POP
00000d23: JUMP
00000d24: JUMPDEST
00000d25: PUSH1 0x04
00000d27: SSTORE
00000d28: POP
00000d29: JUMP
00000d2a: JUMPDEST
00000d2b: POP
00000d2c: SWAP2
00000d2d: SWAP6
00000d2e: SWAP5
00000d2f: POP
00000d30: POP
00000d31: POP
00000d32: POP
00000d33: POP
00000d34: JUMP
00000d35: JUMPDEST
00000d36: PUSH1 0x30
00000d38: DUP4
00000d39: PUSH1 0x01
00000d3b: PUSH1 0xa0
00000d3d: PUSH1 0x02
00000d3f: EXP
00000d40: SUB
00000d41: AND
00000d42: LT
00000d43: ISZERO
00000d44: DUP1
00000d45: ISZERO
00000d46: PUSH2 0x0d59
00000d49: JUMPI
00000d4a: POP
00000d4b: PUSH1 0x39
00000d4d: DUP4
00000d4e: PUSH1 0x01
00000d50: PUSH1 0xa0
00000d52: PUSH1 0x02
00000d54: EXP
00000d55: SUB
00000d56: AND
00000d57: GT
00000d58: ISZERO
00000d59: JUMPDEST
00000d5a: ISZERO
00000d5b: PUSH2 0x0d67
00000d5e: JUMPI
00000d5f: PUSH1 0x2f
00000d61: NOT
00000d62: SWAP3
00000d63: SWAP1
00000d64: SWAP3
00000d65: ADD
00000d66: SWAP2
00000d67: JUMPDEST
00000d68: PUSH1 0x61
00000d6a: DUP3
00000d6b: PUSH1 0x01
00000d6d: PUSH1 0xa0
00000d6f: PUSH1 0x02
00000d71: EXP
00000d72: SUB
00000d73: AND
00000d74: LT
00000d75: ISZERO
00000d76: DUP1
00000d77: ISZERO
00000d78: PUSH2 0x0d8b
00000d7b: JUMPI
00000d7c: POP
00000d7d: PUSH1 0x66
00000d7f: DUP3
00000d80: PUSH1 0x01
00000d82: PUSH1 0xa0
00000d84: PUSH1 0x02
00000d86: EXP
00000d87: SUB
00000d88: AND
00000d89: GT
00000d8a: ISZERO
00000d8b: JUMPDEST
00000d8c: ISZERO
00000d8d: PUSH2 0x0d9c
00000d90: JUMPI
00000d91: PUSH1 0x56
00000d93: NOT
00000d94: SWAP1
00000d95: SWAP2
00000d96: ADD
00000d97: SWAP1
00000d98: PUSH2 0x0dce
00000d9b: JUMP
00000d9c: JUMPDEST
00000d9d: PUSH1 0x30
00000d9f: DUP3
00000da0: PUSH1 0x01
00000da2: PUSH1 0xa0
00000da4: PUSH1 0x02
00000da6: EXP
00000da7: SUB
00000da8: AND
00000da9: LT
00000daa: ISZERO
00000dab: DUP1
00000dac: ISZERO
00000dad: PUSH2 0x0dc0
00000db0: JUMPI
00000db1: POP
00000db2: PUSH1 0x39
00000db4: DUP3
00000db5: PUSH1 0x01
00000db7: PUSH1 0xa0
00000db9: PUSH1 0x02
00000dbb: EXP
00000dbc: SUB
00000dbd: AND
00000dbe: GT
00000dbf: ISZERO
00000dc0: JUMPDEST
00000dc1: ISZERO
00000dc2: PUSH2 0x0dce
00000dc5: JUMPI
00000dc6: PUSH1 0x2f
00000dc8: NOT
00000dc9: SWAP2
00000dca: SWAP1
00000dcb: SWAP2
00000dcc: ADD
00000dcd: SWAP1
00000dce: JUMPDEST
00000dcf: PUSH1 0x10
00000dd1: DUP4
00000dd2: MUL
00000dd3: DUP3
00000dd4: ADD
00000dd5: SWAP1
00000dd6: SWAP4
00000dd7: ADD
00000dd8: SWAP3
00000dd9: PUSH1 0x02
00000ddb: ADD
00000ddc: PUSH2 0x0c4f
00000ddf: 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.