Analysis Run

OpenAI Codex v0.118.0 (research preview)
--------
workdir: /tmp/codex-73xlpdr5
model: gpt-5.4
provider: openai
approval: never
sandbox: read-only
reasoning effort: high
reasoning summaries: none
session id: 019d5c93-6db8-7733-a39d-59c4940f2db5
--------
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:37:40.591166+00:00",
        "returncode": 1
    },
    "project": {
        "mode": "bytecode",
        "bytecode_length": 10706,
        "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 0x059a500c
00000013: DUP2
00000014: EQ
00000015: PUSH2 0x004a
00000018: JUMPI
00000019: DUP1
0000001a: PUSH4 0x1077f06c
0000001f: EQ
00000020: PUSH2 0x0491
00000023: JUMPI
00000024: DUP1
00000025: PUSH4 0x2e1a7d4d
0000002a: EQ
0000002b: PUSH2 0x0755
0000002e: JUMPI
0000002f: DUP1
00000030: PUSH4 0x306387a4
00000035: EQ
00000036: PUSH2 0x0817
00000039: JUMPI
0000003a: DUP1
0000003b: PUSH4 0x78ae88d1
00000040: EQ
00000041: PUSH2 0x0886
00000044: JUMPI
00000045: JUMPDEST
00000046: PUSH2 0x0002
00000049: JUMP
0000004a: JUMPDEST
0000004b: PUSH2 0x09ac
0000004e: PUSH1 0x04
00000050: CALLDATALOAD
00000051: PUSH1 0x40
00000053: DUP1
00000054: MLOAD
00000055: PUSH1 0x20
00000057: DUP2
00000058: ADD
00000059: SWAP1
0000005a: SWAP2
0000005b: MSTORE
0000005c: PUSH1 0x00
0000005e: DUP1
0000005f: DUP3
00000060: MSTORE
00000061: SWAP1
00000062: DUP2
00000063: SWAP1
00000064: DUP2
00000065: CALLVALUE
00000066: DUP2
00000067: EQ
00000068: ISZERO
00000069: PUSH2 0x00a7
0000006c: JUMPI
0000006d: PUSH1 0x40
0000006f: DUP1
00000070: MLOAD
00000071: DUP1
00000072: DUP3
00000073: ADD
00000074: SWAP1
00000075: SWAP2
00000076: MSTORE
00000077: PUSH1 0x1e
00000079: DUP2
0000007a: MSTORE
0000007b: PUSH32 0x6465706f7369742076616c7565206d75737420626520706f7369746976650000
0000009c: PUSH1 0x20
0000009e: DUP3
0000009f: ADD
000000a0: MSTORE
000000a1: PUSH1 0x01
000000a3: SWAP4
000000a4: POP
000000a5: SWAP2
000000a6: POP
000000a7: JUMPDEST
000000a8: PUSH1 0x00
000000aa: DUP1
000000ab: SLOAD
000000ac: DUP7
000000ad: SWAP1
000000ae: DUP2
000000af: LT
000000b0: ISZERO
000000b1: PUSH2 0x0002
000000b4: JUMPI
000000b5: POP
000000b6: DUP1
000000b7: MSTORE
000000b8: PUSH1 0x0c
000000ba: DUP6
000000bb: MUL
000000bc: PUSH1 0x00
000000be: DUP1
000000bf: MLOAD
000000c0: PUSH1 0x20
000000c2: PUSH2 0x14c8
000000c5: DUP4
000000c6: CODECOPY
000000c7: DUP2
000000c8: MLOAD
000000c9: SWAP2
000000ca: MSTORE
000000cb: ADD
000000cc: SLOAD
000000cd: PUSH1 0xff
000000cf: AND
000000d0: ISZERO
000000d1: ISZERO
000000d2: PUSH2 0x0110
000000d5: JUMPI
000000d6: PUSH1 0x40
000000d8: DUP1
000000d9: MLOAD
000000da: DUP1
000000db: DUP3
000000dc: ADD
000000dd: SWAP1
000000de: SWAP2
000000df: MSTORE
000000e0: PUSH1 0x12
000000e2: DUP2
000000e3: MSTORE
000000e4: PUSH32 0x6465616c206973206e6f74206163746976650000000000000000000000000000
00000105: PUSH1 0x20
00000107: DUP3
00000108: ADD
00000109: MSTORE
0000010a: PUSH1 0x01
0000010c: SWAP4
0000010d: POP
0000010e: SWAP2
0000010f: POP
00000110: JUMPDEST
00000111: PUSH1 0x00
00000113: DUP1
00000114: SLOAD
00000115: DUP7
00000116: SWAP1
00000117: DUP2
00000118: LT
00000119: ISZERO
0000011a: PUSH2 0x0002
0000011d: JUMPI
0000011e: POP
0000011f: DUP1
00000120: MSTORE
00000121: POP
00000122: PUSH1 0x0c
00000124: DUP5
00000125: MUL
00000126: PUSH32 0x290decd9548b62a8d60345a988386fc84ba6bc95484008f6362f93160ef3e56a
00000147: DUP2
00000148: ADD
00000149: SLOAD
0000014a: PUSH32 0x290decd9548b62a8d60345a988386fc84ba6bc95484008f6362f93160ef3e568
0000016b: DUP3
0000016c: ADD
0000016d: SLOAD
0000016e: PUSH1 0x00
00000170: DUP1
00000171: MLOAD
00000172: PUSH1 0x20
00000174: PUSH2 0x1488
00000177: DUP4
00000178: CODECOPY
00000179: DUP2
0000017a: MLOAD
0000017b: SWAP2
0000017c: MSTORE
0000017d: SWAP3
0000017e: SWAP1
0000017f: SWAP3
00000180: ADD
00000181: SWAP2
00000182: TIMESTAMP
00000183: SWAP2
00000184: ADD
00000185: GT
00000186: ISZERO
00000187: PUSH2 0x01c5
0000018a: JUMPI
0000018b: PUSH1 0x40
0000018d: DUP1
0000018e: MLOAD
0000018f: DUP1
00000190: DUP3
00000191: ADD
00000192: SWAP1
00000193: SWAP2
00000194: MSTORE
00000195: PUSH1 0x20
00000197: DUP1
00000198: DUP3
00000199: MSTORE
0000019a: PUSH32 0x636f6e7472616374206973207374696c6c20696e20636c61696d207068617365
000001bb: SWAP1
000001bc: DUP3
000001bd: ADD
000001be: MSTORE
000001bf: PUSH1 0x01
000001c1: SWAP4
000001c2: POP
000001c3: SWAP2
000001c4: POP
000001c5: JUMPDEST
000001c6: PUSH1 0x06
000001c8: DUP2
000001c9: ADD
000001ca: SLOAD
000001cb: PUSH1 0x07
000001cd: DUP3
000001ce: ADD
000001cf: SLOAD
000001d0: PUSH1 0x05
000001d2: DUP4
000001d3: ADD
000001d4: SLOAD
000001d5: TIMESTAMP
000001d6: SWAP2
000001d7: ADD
000001d8: SWAP1
000001d9: SWAP2
000001da: ADD
000001db: LT
000001dc: ISZERO
000001dd: PUSH2 0x021b
000001e0: JUMPI
000001e1: PUSH1 0x40
000001e3: DUP1
000001e4: MLOAD
000001e5: DUP1
000001e6: DUP3
000001e7: ADD
000001e8: SWAP1
000001e9: SWAP2
000001ea: MSTORE
000001eb: PUSH1 0x15
000001ed: DUP2
000001ee: MSTORE
000001ef: PUSH32 0x6465706f736974207068617365206973206f7665720000000000000000000000
00000210: PUSH1 0x20
00000212: DUP3
00000213: ADD
00000214: MSTORE
00000215: PUSH1 0x01
00000217: SWAP4
00000218: POP
00000219: SWAP2
0000021a: POP
0000021b: JUMPDEST
0000021c: PUSH1 0x09
0000021e: DUP2
0000021f: ADD
00000220: SLOAD
00000221: PUSH1 0x00
00000223: SWAP1
00000224: CALLVALUE
00000225: DUP2
00000226: ISZERO
00000227: PUSH2 0x0002
0000022a: JUMPI
0000022b: MOD
0000022c: GT
0000022d: ISZERO
0000022e: PUSH2 0x0294
00000231: JUMPI
00000232: PUSH1 0x40
00000234: DUP1
00000235: MLOAD
00000236: PUSH1 0x60
00000238: DUP2
00000239: ADD
0000023a: DUP3
0000023b: MSTORE
0000023c: PUSH1 0x2f
0000023e: DUP2
0000023f: MSTORE
00000240: PUSH32 0x6465706f7369742076616c7565206d7573742062652061206d756c7469706c65
00000261: PUSH1 0x20
00000263: DUP3
00000264: ADD
00000265: MSTORE
00000266: PUSH32 0x206f6620636c61696d2076616c75650000000000000000000000000000000000
00000287: SWAP2
00000288: DUP2
00000289: ADD
0000028a: SWAP2
0000028b: SWAP1
0000028c: SWAP2
0000028d: MSTORE
0000028e: PUSH1 0x01
00000290: SWAP4
00000291: POP
00000292: SWAP2
00000293: POP
00000294: JUMPDEST
00000295: PUSH1 0x01
00000297: PUSH1 0xa0
00000299: PUSH1 0x02
0000029b: EXP
0000029c: SUB
0000029d: CALLER
0000029e: AND
0000029f: PUSH1 0x00
000002a1: SWAP1
000002a2: DUP2
000002a3: MSTORE
000002a4: PUSH1 0x20
000002a6: DUP3
000002a7: SWAP1
000002a8: MSTORE
000002a9: PUSH1 0x40
000002ab: DUP2
000002ac: KECCAK256
000002ad: SLOAD
000002ae: GT
000002af: ISZERO
000002b0: PUSH2 0x0316
000002b3: JUMPI
000002b4: PUSH1 0x40
000002b6: DUP1
000002b7: MLOAD
000002b8: PUSH1 0x60
000002ba: DUP2
000002bb: ADD
000002bc: DUP3
000002bd: MSTORE
000002be: PUSH1 0x2a
000002c0: DUP2
000002c1: MSTORE
000002c2: PUSH32 0x63616e6e6f74206465706f736974207477696365207769746820746865207361
000002e3: PUSH1 0x20
000002e5: DUP3
000002e6: ADD
000002e7: MSTORE
000002e8: PUSH32 0x6d65206164647265737300000000000000000000000000000000000000000000
00000309: SWAP2
0000030a: DUP2
0000030b: ADD
0000030c: SWAP2
0000030d: SWAP1
0000030e: SWAP2
0000030f: MSTORE
00000310: PUSH1 0x01
00000312: SWAP4
00000313: POP
00000314: SWAP2
00000315: POP
00000316: JUMPDEST
00000317: PUSH1 0x0a
00000319: DUP2
0000031a: ADD
0000031b: SLOAD
0000031c: PUSH1 0x03
0000031e: DUP3
0000031f: ADD
00000320: SLOAD
00000321: LT
00000322: ISZERO
00000323: PUSH2 0x03af
00000326: JUMPI
00000327: PUSH1 0x40
00000329: DUP1
0000032a: MLOAD
0000032b: PUSH1 0x80
0000032d: DUP2
0000032e: ADD
0000032f: DUP3
00000330: MSTORE
00000331: PUSH1 0x52
00000333: DUP2
00000334: MSTORE
00000335: PUSH32 0x6465616c206973206f666620617320746865726520617265206e6f7420656e6f
00000356: PUSH1 0x20
00000358: DUP3
00000359: ADD
0000035a: MSTORE
0000035b: PUSH32 0x75676820636c61696d732e2043616c6c20776974686472617720776974682079
0000037c: SWAP2
0000037d: DUP2
0000037e: ADD
0000037f: SWAP2
00000380: SWAP1
00000381: SWAP2
00000382: MSTORE
00000383: PUSH32 0x6f7520636c61696d657220616464726573730000000000000000000000000000
000003a4: PUSH1 0x60
000003a6: DUP3
000003a7: ADD
000003a8: MSTORE
000003a9: PUSH1 0x01
000003ab: SWAP4
000003ac: POP
000003ad: SWAP2
000003ae: POP
000003af: JUMPDEST
000003b0: DUP3
000003b1: ISZERO
000003b2: PUSH2 0x09ed
000003b5: JUMPI
000003b6: DUP5
000003b7: CALLER
000003b8: PUSH1 0x01
000003ba: PUSH1 0xa0
000003bc: PUSH1 0x02
000003be: EXP
000003bf: SUB
000003c0: AND
000003c1: PUSH32 0x7dcdace2c2286e92d318d560552f64d8f2e6b925b484f63e5325813d24f6a5f5
000003e2: CALLVALUE
000003e3: PUSH1 0x00
000003e5: DUP7
000003e6: PUSH1 0x40
000003e8: MLOAD
000003e9: DUP1
000003ea: DUP5
000003eb: DUP2
000003ec: MSTORE
000003ed: PUSH1 0x20
000003ef: ADD
000003f0: DUP4
000003f1: ISZERO
000003f2: ISZERO
000003f3: DUP2
000003f4: MSTORE
000003f5: PUSH1 0x20
000003f7: ADD
000003f8: DUP1
000003f9: PUSH1 0x20
000003fb: ADD
000003fc: DUP3
000003fd: DUP2
000003fe: SUB
000003ff: DUP3
00000400: MSTORE
00000401: DUP4
00000402: DUP2
00000403: DUP2
00000404: MLOAD
00000405: DUP2
00000406: MSTORE
00000407: PUSH1 0x20
00000409: ADD
0000040a: SWAP2
0000040b: POP
0000040c: DUP1
0000040d: MLOAD
0000040e: SWAP1
0000040f: PUSH1 0x20
00000411: ADD
00000412: SWAP1
00000413: DUP1
00000414: DUP4
00000415: DUP4
00000416: DUP3
00000417: SWAP1
00000418: PUSH1 0x00
0000041a: PUSH1 0x04
0000041c: PUSH1 0x20
0000041e: DUP5
0000041f: PUSH1 0x1f
00000421: ADD
00000422: DIV
00000423: PUSH1 0x03
00000425: MUL
00000426: PUSH1 0x0f
00000428: ADD
00000429: CALL
0000042a: POP
0000042b: SWAP1
0000042c: POP
0000042d: SWAP1
0000042e: DUP2
0000042f: ADD
00000430: SWAP1
00000431: PUSH1 0x1f
00000433: AND
00000434: DUP1
00000435: ISZERO
00000436: PUSH2 0x0453
00000439: JUMPI
0000043a: DUP1
0000043b: DUP3
0000043c: SUB
0000043d: DUP1
0000043e: MLOAD
0000043f: PUSH1 0x01
00000441: DUP4
00000442: PUSH1 0x20
00000444: SUB
00000445: PUSH2 0x0100
00000448: EXP
00000449: SUB
0000044a: NOT
0000044b: AND
0000044c: DUP2
0000044d: MSTORE
0000044e: PUSH1 0x20
00000450: ADD
00000451: SWAP2
00000452: POP
00000453: JUMPDEST
00000454: POP
00000455: SWAP5
00000456: POP
00000457: POP
00000458: POP
00000459: POP
0000045a: POP
0000045b: PUSH1 0x40
0000045d: MLOAD
0000045e: DUP1
0000045f: SWAP2
00000460: SUB
00000461: SWAP1
00000462: LOG3
00000463: PUSH1 0x40
00000465: MLOAD
00000466: PUSH1 0x01
00000468: PUSH1 0xa0
0000046a: PUSH1 0x02
0000046c: EXP
0000046d: SUB
0000046e: CALLER
0000046f: AND
00000470: SWAP1
00000471: CALLVALUE
00000472: DUP1
00000473: ISZERO
00000474: PUSH2 0x08fc
00000477: MUL
00000478: SWAP2
00000479: PUSH1 0x00
0000047b: DUP2
0000047c: DUP2
0000047d: DUP2
0000047e: DUP6
0000047f: DUP9
00000480: DUP9
00000481: CALL
00000482: SWAP4
00000483: POP
00000484: POP
00000485: POP
00000486: POP
00000487: ISZERO
00000488: ISZERO
00000489: PUSH2 0x09e0
0000048c: JUMPI
0000048d: PUSH2 0x0002
00000490: JUMP
00000491: JUMPDEST
00000492: PUSH2 0x09ac
00000495: PUSH1 0x04
00000497: CALLDATALOAD
00000498: PUSH1 0x00
0000049a: PUSH1 0x00
0000049c: PUSH1 0x00
0000049e: PUSH1 0x20
000004a0: PUSH1 0x40
000004a2: MLOAD
000004a3: SWAP1
000004a4: DUP2
000004a5: ADD
000004a6: PUSH1 0x40
000004a8: MSTORE
000004a9: DUP1
000004aa: PUSH1 0x00
000004ac: DUP2
000004ad: MSTORE
000004ae: PUSH1 0x20
000004b0: ADD
000004b1: POP
000004b2: PUSH1 0x00
000004b4: PUSH1 0x00
000004b6: POP
000004b7: DUP6
000004b8: DUP2
000004b9: SLOAD
000004ba: DUP2
000004bb: LT
000004bc: ISZERO
000004bd: PUSH2 0x0002
000004c0: JUMPI
000004c1: DUP2
000004c2: SLOAD
000004c3: DUP3
000004c4: DUP1
000004c5: MSTORE
000004c6: PUSH1 0x0c
000004c8: DUP3
000004c9: MUL
000004ca: PUSH1 0x00
000004cc: DUP1
000004cd: MLOAD
000004ce: PUSH1 0x20
000004d0: PUSH2 0x1488
000004d3: DUP4
000004d4: CODECOPY
000004d5: DUP2
000004d6: MLOAD
000004d7: SWAP2
000004d8: MSTORE
000004d9: ADD
000004da: SWAP6
000004db: POP
000004dc: DUP2
000004dd: LT
000004de: ISZERO
000004df: PUSH2 0x0002
000004e2: JUMPI
000004e3: POP
000004e4: POP
000004e5: PUSH1 0x0c
000004e7: DUP6
000004e8: MUL
000004e9: PUSH1 0x00
000004eb: DUP1
000004ec: MLOAD
000004ed: PUSH1 0x20
000004ef: PUSH2 0x14c8
000004f2: DUP4
000004f3: CODECOPY
000004f4: DUP2
000004f5: MLOAD
000004f6: SWAP2
000004f7: MSTORE
000004f8: ADD
000004f9: SLOAD
000004fa: PUSH1 0xff
000004fc: AND
000004fd: ISZERO
000004fe: ISZERO
000004ff: PUSH2 0x053c
00000502: JUMPI
00000503: POP
00000504: POP
00000505: PUSH1 0x40
00000507: DUP1
00000508: MLOAD
00000509: DUP1
0000050a: DUP3
0000050b: ADD
0000050c: SWAP1
0000050d: SWAP2
0000050e: MSTORE
0000050f: PUSH1 0x12
00000511: DUP2
00000512: MSTORE
00000513: PUSH32 0x6465616c206973206e6f74206163746976650000000000000000000000000000
00000534: PUSH1 0x20
00000536: DUP3
00000537: ADD
00000538: MSTORE
00000539: PUSH1 0x01
0000053b: SWAP1
0000053c: JUMPDEST
0000053d: PUSH1 0x07
0000053f: DUP4
00000540: ADD
00000541: SLOAD
00000542: PUSH1 0x05
00000544: DUP5
00000545: ADD
00000546: SLOAD
00000547: TIMESTAMP
00000548: SWAP2
00000549: ADD
0000054a: LT
0000054b: ISZERO
0000054c: PUSH2 0x0589
0000054f: JUMPI
00000550: POP
00000551: POP
00000552: PUSH1 0x40
00000554: DUP1
00000555: MLOAD
00000556: DUP1
00000557: DUP3
00000558: ADD
00000559: SWAP1
0000055a: SWAP2
0000055b: MSTORE
0000055c: PUSH1 0x19
0000055e: DUP2
0000055f: MSTORE
00000560: PUSH32 0x636c61696d20706861736520616c726561647920656e64656400000000000000
00000581: PUSH1 0x20
00000583: DUP3
00000584: ADD
00000585: MSTORE
00000586: PUSH1 0x01
00000588: SWAP1
00000589: JUMPDEST
0000058a: PUSH1 0x08
0000058c: DUP4
0000058d: ADD
0000058e: SLOAD
0000058f: CALLVALUE
00000590: EQ
00000591: PUSH2 0x05f6
00000594: JUMPI
00000595: POP
00000596: POP
00000597: PUSH1 0x40
00000599: DUP1
0000059a: MLOAD
0000059b: PUSH1 0x60
0000059d: DUP2
0000059e: ADD
0000059f: DUP3
000005a0: MSTORE
000005a1: PUSH1 0x2d
000005a3: DUP2
000005a4: MSTORE
000005a5: PUSH32 0x6d73672e76616c7565206d75737420626520657175616c20746f20636c61696d
000005c6: PUSH1 0x20
000005c8: DUP3
000005c9: ADD
000005ca: MSTORE
000005cb: PUSH32 0x206465706f73697420756e697400000000000000000000000000000000000000
000005ec: SWAP2
000005ed: DUP2
000005ee: ADD
000005ef: SWAP2
000005f0: SWAP1
000005f1: SWAP2
000005f2: MSTORE
000005f3: PUSH1 0x01
000005f5: SWAP1
000005f6: JUMPDEST
000005f7: PUSH1 0x01
000005f9: PUSH1 0xa0
000005fb: PUSH1 0x02
000005fd: EXP
000005fe: SUB
000005ff: CALLER
00000600: AND
00000601: PUSH1 0x00
00000603: SWAP1
00000604: DUP2
00000605: MSTORE
00000606: PUSH1 0x02
00000608: DUP5
00000609: ADD
0000060a: PUSH1 0x20
0000060c: MSTORE
0000060d: PUSH1 0x40
0000060f: SWAP1
00000610: KECCAK256
00000611: SLOAD
00000612: PUSH1 0xff
00000614: AND
00000615: ISZERO
00000616: PUSH2 0x067b
00000619: JUMPI
0000061a: POP
0000061b: POP
0000061c: PUSH1 0x40
0000061e: DUP1
0000061f: MLOAD
00000620: PUSH1 0x60
00000622: DUP2
00000623: ADD
00000624: DUP3
00000625: MSTORE
00000626: PUSH1 0x28
00000628: DUP2
00000629: MSTORE
0000062a: PUSH32 0x63616e6e6f7420636c61696d2074776963652077697468207468652073616d65
0000064b: PUSH1 0x20
0000064d: DUP3
0000064e: ADD
0000064f: MSTORE
00000650: PUSH32 0x2061646472657373000000000000000000000000000000000000000000000000
00000671: SWAP2
00000672: DUP2
00000673: ADD
00000674: SWAP2
00000675: SWAP1
00000676: SWAP2
00000677: MSTORE
00000678: PUSH1 0x01
0000067a: SWAP1
0000067b: JUMPDEST
0000067c: DUP2
0000067d: ISZERO
0000067e: PUSH2 0x0acd
00000681: JUMPI
00000682: DUP5
00000683: CALLER
00000684: PUSH1 0x01
00000686: PUSH1 0xa0
00000688: PUSH1 0x02
0000068a: EXP
0000068b: SUB
0000068c: AND
0000068d: PUSH32 0x525a0ac8b1eebd75d00b5d92f4901e0326493aea193d4ba368a5bdb1921cd421
000006ae: PUSH1 0x00
000006b0: DUP5
000006b1: PUSH1 0x40
000006b3: MLOAD
000006b4: DUP1
000006b5: DUP4
000006b6: ISZERO
000006b7: ISZERO
000006b8: DUP2
000006b9: MSTORE
000006ba: PUSH1 0x20
000006bc: ADD
000006bd: DUP1
000006be: PUSH1 0x20
000006c0: ADD
000006c1: DUP3
000006c2: DUP2
000006c3: SUB
000006c4: DUP3
000006c5: MSTORE
000006c6: DUP4
000006c7: DUP2
000006c8: DUP2
000006c9: MLOAD
000006ca: DUP2
000006cb: MSTORE
000006cc: PUSH1 0x20
000006ce: ADD
000006cf: SWAP2
000006d0: POP
000006d1: DUP1
000006d2: MLOAD
000006d3: SWAP1
000006d4: PUSH1 0x20
000006d6: ADD
000006d7: SWAP1
000006d8: DUP1
000006d9: DUP4
000006da: DUP4
000006db: DUP3
000006dc: SWAP1
000006dd: PUSH1 0x00
000006df: PUSH1 0x04
000006e1: PUSH1 0x20
000006e3: DUP5
000006e4: PUSH1 0x1f
000006e6: ADD
000006e7: DIV
000006e8: PUSH1 0x03
000006ea: MUL
000006eb: PUSH1 0x0f
000006ed: ADD
000006ee: CALL
000006ef: POP
000006f0: SWAP1
000006f1: POP
000006f2: SWAP1
000006f3: DUP2
000006f4: ADD
000006f5: SWAP1
000006f6: PUSH1 0x1f
000006f8: AND
000006f9: DUP1
000006fa: ISZERO
000006fb: PUSH2 0x0718
000006fe: JUMPI
000006ff: DUP1
00000700: DUP3
00000701: SUB
00000702: DUP1
00000703: MLOAD
00000704: PUSH1 0x01
00000706: DUP4
00000707: PUSH1 0x20
00000709: SUB
0000070a: PUSH2 0x0100
0000070d: EXP
0000070e: SUB
0000070f: NOT
00000710: AND
00000711: DUP2
00000712: MSTORE
00000713: PUSH1 0x20
00000715: ADD
00000716: SWAP2
00000717: POP
00000718: JUMPDEST
00000719: POP
0000071a: SWAP4
0000071b: POP
0000071c: POP
0000071d: POP
0000071e: POP
0000071f: PUSH1 0x40
00000721: MLOAD
00000722: DUP1
00000723: SWAP2
00000724: SUB
00000725: SWAP1
00000726: LOG3
00000727: PUSH1 0x40
00000729: MLOAD
0000072a: PUSH1 0x01
0000072c: PUSH1 0xa0
0000072e: PUSH1 0x02
00000730: EXP
00000731: SUB
00000732: CALLER
00000733: AND
00000734: SWAP1
00000735: CALLVALUE
00000736: DUP1
00000737: ISZERO
00000738: PUSH2 0x08fc
0000073b: MUL
0000073c: SWAP2
0000073d: PUSH1 0x00
0000073f: DUP2
00000740: DUP2
00000741: DUP2
00000742: DUP6
00000743: DUP9
00000744: DUP9
00000745: CALL
00000746: SWAP4
00000747: POP
00000748: POP
00000749: POP
0000074a: POP
0000074b: ISZERO
0000074c: ISZERO
0000074d: PUSH2 0x09e0
00000750: JUMPI
00000751: PUSH2 0x0002
00000754: JUMP
00000755: JUMPDEST
00000756: CALLVALUE
00000757: PUSH2 0x0002
0000075a: JUMPI
0000075b: PUSH2 0x09ac
0000075e: PUSH1 0x04
00000760: CALLDATALOAD
00000761: PUSH1 0x00
00000763: PUSH1 0x00
00000765: PUSH1 0x20
00000767: PUSH1 0x40
00000769: MLOAD
0000076a: SWAP1
0000076b: DUP2
0000076c: ADD
0000076d: PUSH1 0x40
0000076f: MSTORE
00000770: DUP1
00000771: PUSH1 0x00
00000773: DUP2
00000774: MSTORE
00000775: PUSH1 0x20
00000777: ADD
00000778: POP
00000779: PUSH1 0x00
0000077b: PUSH1 0x00
0000077d: PUSH1 0x00
0000077f: PUSH1 0x00
00000781: PUSH1 0x00
00000783: PUSH1 0x00
00000785: PUSH1 0x00
00000787: PUSH1 0x00
00000789: PUSH1 0x00
0000078b: PUSH1 0x00
0000078d: SWAP11
0000078e: POP
0000078f: PUSH1 0x00
00000791: PUSH1 0x00
00000793: POP
00000794: DUP14
00000795: DUP2
00000796: SLOAD
00000797: DUP2
00000798: LT
00000799: ISZERO
0000079a: PUSH2 0x0002
0000079d: JUMPI
0000079e: SWAP1
0000079f: PUSH1 0x00
000007a1: MSTORE
000007a2: PUSH1 0x20
000007a4: PUSH1 0x00
000007a6: KECCAK256
000007a7: SWAP1
000007a8: PUSH1 0x0c
000007aa: MUL
000007ab: ADD
000007ac: PUSH1 0x00
000007ae: POP
000007af: PUSH1 0x03
000007b1: DUP2
000007b2: ADD
000007b3: SLOAD
000007b4: PUSH1 0x0a
000007b6: DUP3
000007b7: ADD
000007b8: SLOAD
000007b9: SWAP2
000007ba: SWAP11
000007bb: POP
000007bc: LT
000007bd: ISZERO
000007be: SWAP8
000007bf: POP
000007c0: DUP8
000007c1: PUSH2 0x0bb3
000007c4: JUMPI
000007c5: PUSH1 0x07
000007c7: DUP10
000007c8: ADD
000007c9: SLOAD
000007ca: PUSH1 0x05
000007cc: DUP11
000007cd: ADD
000007ce: SLOAD
000007cf: TIMESTAMP
000007d0: SWAP2
000007d1: ADD
000007d2: GT
000007d3: ISZERO
000007d4: PUSH2 0x0812
000007d7: JUMPI
000007d8: PUSH1 0x40
000007da: DUP1
000007db: MLOAD
000007dc: DUP1
000007dd: DUP3
000007de: ADD
000007df: SWAP1
000007e0: SWAP2
000007e1: MSTORE
000007e2: PUSH1 0x18
000007e4: DUP2
000007e5: MSTORE
000007e6: PUSH32 0x636c61696d207068617365206e6f74206f766572207965740000000000000000
00000807: PUSH1 0x20
00000809: DUP3
0000080a: ADD
0000080b: MSTORE
0000080c: PUSH1 0x01
0000080e: SWAP12
0000080f: POP
00000810: SWAP10
00000811: POP
00000812: JUMPDEST
00000813: PUSH2 0x0c09
00000816: JUMP
00000817: JUMPDEST
00000818: CALLVALUE
00000819: PUSH2 0x0002
0000081c: JUMPI
0000081d: PUSH2 0x09be
00000820: PUSH1 0x04
00000822: CALLDATALOAD
00000823: PUSH1 0x80
00000825: PUSH1 0x40
00000827: MLOAD
00000828: SWAP1
00000829: DUP2
0000082a: ADD
0000082b: PUSH1 0x40
0000082d: MSTORE
0000082e: DUP1
0000082f: PUSH1 0x04
00000831: SWAP1
00000832: JUMPDEST
00000833: PUSH1 0x00
00000835: DUP2
00000836: MSTORE
00000837: PUSH1 0x20
00000839: ADD
0000083a: SWAP1
0000083b: PUSH1 0x01
0000083d: SWAP1
0000083e: SUB
0000083f: SWAP1
00000840: DUP2
00000841: PUSH2 0x0832
00000844: JUMPI
00000845: SWAP1
00000846: POP
00000847: POP
00000848: PUSH1 0x00
0000084a: PUSH1 0x00
0000084c: PUSH1 0x00
0000084e: PUSH1 0x00
00000850: PUSH1 0x00
00000852: PUSH1 0x00
00000854: POP
00000855: DUP7
00000856: DUP2
00000857: SLOAD
00000858: DUP2
00000859: LT
0000085a: ISZERO
0000085b: PUSH2 0x0002
0000085e: JUMPI
0000085f: POP
00000860: POP
00000861: DUP1
00000862: DUP1
00000863: MSTORE
00000864: PUSH1 0x0c
00000866: DUP7
00000867: MUL
00000868: PUSH1 0x00
0000086a: DUP1
0000086b: MLOAD
0000086c: PUSH1 0x20
0000086e: PUSH2 0x14c8
00000871: DUP4
00000872: CODECOPY
00000873: DUP2
00000874: MLOAD
00000875: SWAP2
00000876: MSTORE
00000877: ADD
00000878: SLOAD
00000879: PUSH1 0xff
0000087b: AND
0000087c: PUSH2 0x1031
0000087f: JUMPI
00000880: PUSH1 0x00
00000882: PUSH2 0x1034
00000885: JUMP
00000886: JUMPDEST
00000887: CALLVALUE
00000888: PUSH2 0x0002
0000088b: JUMPI
0000088c: PUSH2 0x09ac
0000088f: PUSH1 0x04
00000891: CALLDATALOAD
00000892: PUSH1 0x24
00000894: CALLDATALOAD
00000895: PUSH1 0x44
00000897: CALLDATALOAD
00000898: PUSH1 0x64
0000089a: CALLDATALOAD
0000089b: PUSH1 0x84
0000089d: CALLDATALOAD
0000089e: PUSH1 0x00
000008a0: DUP1
000008a1: SLOAD
000008a2: DUP7
000008a3: DUP3
000008a4: EQ
000008a5: DUP1
000008a6: PUSH2 0x08af
000008a9: JUMPI
000008aa: POP
000008ab: DUP6
000008ac: PUSH1 0x00
000008ae: EQ
000008af: JUMPDEST
000008b0: ISZERO
000008b1: PUSH2 0x13f5
000008b4: JUMPI
000008b5: PUSH1 0x40
000008b7: DUP1
000008b8: MLOAD
000008b9: TIMESTAMP
000008ba: DUP2
000008bb: MSTORE
000008bc: PUSH1 0x20
000008be: DUP2
000008bf: ADD
000008c0: DUP10
000008c1: SWAP1
000008c2: MSTORE
000008c3: DUP1
000008c4: DUP3
000008c5: ADD
000008c6: DUP9
000008c7: SWAP1
000008c8: MSTORE
000008c9: PUSH1 0x60
000008cb: DUP2
000008cc: ADD
000008cd: DUP8
000008ce: SWAP1
000008cf: MSTORE
000008d0: PUSH1 0x80
000008d2: DUP2
000008d3: ADD
000008d4: DUP7
000008d5: SWAP1
000008d6: MSTORE
000008d7: PUSH1 0xa0
000008d9: DUP2
000008da: ADD
000008db: DUP6
000008dc: SWAP1
000008dd: MSTORE
000008de: PUSH1 0x00
000008e0: PUSH1 0xc0
000008e2: DUP3
000008e3: ADD
000008e4: MSTORE
000008e5: PUSH2 0x0100
000008e8: PUSH1 0xe0
000008ea: DUP3
000008eb: ADD
000008ec: DUP2
000008ed: SWAP1
000008ee: MSTORE
000008ef: PUSH1 0x42
000008f1: SWAP1
000008f2: DUP3
000008f3: ADD
000008f4: MSTORE
000008f5: PUSH32 0x5f6465706f7369744475726174696f6e496e486f75727320616e64205f636c61
00000916: PUSH2 0x0120
00000919: DUP3
0000091a: ADD
0000091b: MSTORE
0000091c: PUSH32 0x696d4475726174696f6e496e486f757273206d75737420626520706f73697469
0000093d: PUSH2 0x0140
00000940: DUP3
00000941: ADD
00000942: MSTORE
00000943: PUSH32 0x7665000000000000000000000000000000000000000000000000000000000000
00000964: PUSH2 0x0160
00000967: DUP3
00000968: ADD
00000969: MSTORE
0000096a: SWAP1
0000096b: MLOAD
0000096c: DUP3
0000096d: SWAP2
0000096e: PUSH1 0x01
00000970: PUSH1 0xa0
00000972: PUSH1 0x02
00000974: EXP
00000975: SUB
00000976: CALLER
00000977: AND
00000978: SWAP2
00000979: PUSH32 0x95be9ace8b143cc06127e282914e81c9714d83d344c1d9572f167de729ea1b35
0000099a: SWAP2
0000099b: DUP2
0000099c: SWAP1
0000099d: SUB
0000099e: PUSH2 0x0180
000009a1: ADD
000009a2: SWAP1
000009a3: LOG3
000009a4: PUSH1 0x01
000009a6: SWAP2
000009a7: POP
000009a8: PUSH2 0x13eb
000009ab: JUMP
000009ac: JUMPDEST
000009ad: PUSH1 0x40
000009af: DUP1
000009b0: MLOAD
000009b1: SWAP2
000009b2: DUP3
000009b3: MSTORE
000009b4: MLOAD
000009b5: SWAP1
000009b6: DUP2
000009b7: SWAP1
000009b8: SUB
000009b9: PUSH1 0x20
000009bb: ADD
000009bc: SWAP1
000009bd: RETURN
000009be: JUMPDEST
000009bf: PUSH1 0x40
000009c1: MLOAD
000009c2: DUP1
000009c3: DUP3
000009c4: PUSH1 0x80
000009c6: DUP1
000009c7: DUP4
000009c8: DUP2
000009c9: DUP5
000009ca: PUSH1 0x00
000009cc: PUSH1 0x04
000009ce: PUSH1 0x1b
000009d0: CALL
000009d1: POP
000009d2: SWAP1
000009d3: POP
000009d4: ADD
000009d5: SWAP2
000009d6: POP
000009d7: POP
000009d8: PUSH1 0x40
000009da: MLOAD
000009db: DUP1
000009dc: SWAP2
000009dd: SUB
000009de: SWAP1
000009df: RETURN
000009e0: JUMPDEST
000009e1: PUSH1 0x01
000009e3: SWAP4
000009e4: POP
000009e5: JUMPDEST
000009e6: POP
000009e7: POP
000009e8: POP
000009e9: SWAP2
000009ea: SWAP1
000009eb: POP
000009ec: JUMP
000009ed: JUMPDEST
000009ee: PUSH1 0x01
000009f0: DUP2
000009f1: ADD
000009f2: DUP1
000009f3: SLOAD
000009f4: CALLVALUE
000009f5: SWAP1
000009f6: DUP2
000009f7: ADD
000009f8: DUP3
000009f9: SSTORE
000009fa: PUSH1 0x01
000009fc: PUSH1 0xa0
000009fe: PUSH1 0x02
00000a00: EXP
00000a01: SUB
00000a02: CALLER
00000a03: AND
00000a04: PUSH1 0x00
00000a06: SWAP1
00000a07: DUP2
00000a08: MSTORE
00000a09: PUSH1 0x20
00000a0b: DUP5
00000a0c: SWAP1
00000a0d: MSTORE
00000a0e: PUSH1 0x40
00000a10: SWAP1
00000a11: KECCAK256
00000a12: SSTORE
00000a13: PUSH1 0x04
00000a15: DUP3
00000a16: ADD
00000a17: SLOAD
00000a18: SWAP1
00000a19: SLOAD
00000a1a: LT
00000a1b: PUSH2 0x0a5b
00000a1e: JUMPI
00000a1f: PUSH1 0x0b
00000a21: DUP2
00000a22: ADD
00000a23: DUP1
00000a24: SLOAD
00000a25: PUSH2 0xff00
00000a28: NOT
00000a29: AND
00000a2a: PUSH2 0x0100
00000a2d: OR
00000a2e: SWAP1
00000a2f: SSTORE
00000a30: PUSH1 0x40
00000a32: MLOAD
00000a33: DUP6
00000a34: SWAP1
00000a35: PUSH32 0x38c728834d3279b1aa694222a5c1079e38e2d78a9543064bd3b50ffbfd030b34
00000a56: SWAP1
00000a57: PUSH1 0x00
00000a59: SWAP1
00000a5a: LOG2
00000a5b: JUMPDEST
00000a5c: PUSH1 0x40
00000a5e: DUP1
00000a5f: MLOAD
00000a60: CALLVALUE
00000a61: DUP2
00000a62: MSTORE
00000a63: PUSH1 0x01
00000a65: PUSH1 0x20
00000a67: DUP3
00000a68: ADD
00000a69: MSTORE
00000a6a: PUSH1 0x60
00000a6c: DUP2
00000a6d: DUP4
00000a6e: ADD
00000a6f: DUP2
00000a70: SWAP1
00000a71: MSTORE
00000a72: PUSH1 0x08
00000a74: SWAP1
00000a75: DUP3
00000a76: ADD
00000a77: MSTORE
00000a78: PUSH1 0xc2
00000a7a: PUSH1 0x02
00000a7c: EXP
00000a7d: PUSH8 0x185b1b0819dbdbd9
00000a86: MUL
00000a87: PUSH1 0x80
00000a89: DUP3
00000a8a: ADD
00000a8b: MSTORE
00000a8c: SWAP1
00000a8d: MLOAD
00000a8e: DUP7
00000a8f: SWAP2
00000a90: PUSH1 0x01
00000a92: PUSH1 0xa0
00000a94: PUSH1 0x02
00000a96: EXP
00000a97: SUB
00000a98: CALLER
00000a99: AND
00000a9a: SWAP2
00000a9b: PUSH32 0x7dcdace2c2286e92d318d560552f64d8f2e6b925b484f63e5325813d24f6a5f5
00000abc: SWAP2
00000abd: DUP2
00000abe: SWAP1
00000abf: SUB
00000ac0: PUSH1 0xa0
00000ac2: ADD
00000ac3: SWAP1
00000ac4: LOG3
00000ac5: PUSH1 0x00
00000ac7: SWAP4
00000ac8: POP
00000ac9: PUSH2 0x09e5
00000acc: JUMP
00000acd: JUMPDEST
00000ace: PUSH1 0x09
00000ad0: DUP4
00000ad1: ADD
00000ad2: SLOAD
00000ad3: PUSH1 0x04
00000ad5: DUP5
00000ad6: ADD
00000ad7: DUP1
00000ad8: SLOAD
00000ad9: SWAP1
00000ada: SWAP2
00000adb: ADD
00000adc: SWAP1
00000add: SSTORE
00000ade: PUSH1 0x01
00000ae0: PUSH1 0xa0
00000ae2: PUSH1 0x02
00000ae4: EXP
00000ae5: SUB
00000ae6: CALLER
00000ae7: AND
00000ae8: PUSH1 0x00
00000aea: DUP2
00000aeb: DUP2
00000aec: MSTORE
00000aed: PUSH1 0x02
00000aef: DUP6
00000af0: ADD
00000af1: PUSH1 0x20
00000af3: SWAP1
00000af4: DUP2
00000af5: MSTORE
00000af6: PUSH1 0x40
00000af8: SWAP2
00000af9: DUP3
00000afa: SWAP1
00000afb: KECCAK256
00000afc: DUP1
00000afd: SLOAD
00000afe: PUSH1 0xff
00000b00: NOT
00000b01: AND
00000b02: PUSH1 0x01
00000b04: SWAP1
00000b05: DUP2
00000b06: OR
00000b07: SWAP1
00000b08: SWAP2
00000b09: SSTORE
00000b0a: PUSH1 0x03
00000b0c: DUP8
00000b0d: ADD
00000b0e: DUP1
00000b0f: SLOAD
00000b10: DUP3
00000b11: ADD
00000b12: SWAP1
00000b13: SSTORE
00000b14: DUP3
00000b15: MLOAD
00000b16: SWAP1
00000b17: DUP2
00000b18: MSTORE
00000b19: SWAP1
00000b1a: DUP2
00000b1b: ADD
00000b1c: DUP3
00000b1d: SWAP1
00000b1e: MSTORE
00000b1f: PUSH1 0x08
00000b21: DUP2
00000b22: DUP4
00000b23: ADD
00000b24: MSTORE
00000b25: PUSH1 0xc2
00000b27: PUSH1 0x02
00000b29: EXP
00000b2a: PUSH8 0x185b1b0819dbdbd9
00000b33: MUL
00000b34: PUSH1 0x60
00000b36: DUP3
00000b37: ADD
00000b38: MSTORE
00000b39: SWAP1
00000b3a: MLOAD
00000b3b: DUP8
00000b3c: SWAP3
00000b3d: SWAP2
00000b3e: PUSH32 0x525a0ac8b1eebd75d00b5d92f4901e0326493aea193d4ba368a5bdb1921cd421
00000b5f: SWAP2
00000b60: SWAP1
00000b61: DUP2
00000b62: SWAP1
00000b63: SUB
00000b64: PUSH1 0x80
00000b66: ADD
00000b67: SWAP1
00000b68: LOG3
00000b69: DUP3
00000b6a: PUSH1 0x0a
00000b6c: ADD
00000b6d: PUSH1 0x00
00000b6f: POP
00000b70: SLOAD
00000b71: DUP4
00000b72: PUSH1 0x03
00000b74: ADD
00000b75: PUSH1 0x00
00000b77: POP
00000b78: SLOAD
00000b79: EQ
00000b7a: ISZERO
00000b7b: PUSH2 0x0baa
00000b7e: JUMPI
00000b7f: PUSH1 0x40
00000b81: MLOAD
00000b82: DUP6
00000b83: SWAP1
00000b84: PUSH32 0x9cc8295ab2191b5e158cb9dba1acab9df834eadff9c2bb7c49feb6bb5e5e8c66
00000ba5: SWAP1
00000ba6: PUSH1 0x00
00000ba8: SWAP1
00000ba9: LOG2
00000baa: JUMPDEST
00000bab: PUSH1 0x00
00000bad: SWAP4
00000bae: POP
00000baf: PUSH2 0x09e5
00000bb2: JUMP
00000bb3: JUMPDEST
00000bb4: PUSH1 0x07
00000bb6: DUP10
00000bb7: ADD
00000bb8: SLOAD
00000bb9: PUSH1 0x06
00000bbb: DUP11
00000bbc: ADD
00000bbd: SLOAD
00000bbe: PUSH1 0x05
00000bc0: DUP12
00000bc1: ADD
00000bc2: SLOAD
00000bc3: TIMESTAMP
00000bc4: SWAP2
00000bc5: ADD
00000bc6: SWAP1
00000bc7: SWAP2
00000bc8: ADD
00000bc9: GT
00000bca: ISZERO
00000bcb: PUSH2 0x0c09
00000bce: JUMPI
00000bcf: PUSH1 0x40
00000bd1: DUP1
00000bd2: MLOAD
00000bd3: DUP1
00000bd4: DUP3
00000bd5: ADD
00000bd6: SWAP1
00000bd7: SWAP2
00000bd8: MSTORE
00000bd9: PUSH1 0x1a
00000bdb: DUP2
00000bdc: MSTORE
00000bdd: PUSH32 0x6465706f736974207068617365206e6f74206f76657220796574000000000000
00000bfe: PUSH1 0x20
00000c00: DUP3
00000c01: ADD
00000c02: MSTORE
00000c03: PUSH1 0x01
00000c05: SWAP12
00000c06: POP
00000c07: SWAP10
00000c08: POP
00000c09: JUMPDEST
00000c0a: DUP11
00000c0b: ISZERO
00000c0c: PUSH2 0x0ccb
00000c0f: JUMPI
00000c10: DUP13
00000c11: CALLER
00000c12: PUSH1 0x01
00000c14: PUSH1 0xa0
00000c16: PUSH1 0x02
00000c18: EXP
00000c19: SUB
00000c1a: AND
00000c1b: PUSH1 0x00
00000c1d: DUP1
00000c1e: MLOAD
00000c1f: PUSH1 0x20
00000c21: PUSH2 0x14a8
00000c24: DUP4
00000c25: CODECOPY
00000c26: DUP2
00000c27: MLOAD
00000c28: SWAP2
00000c29: MSTORE
00000c2a: PUSH1 0x00
00000c2c: PUSH1 0x00
00000c2e: PUSH1 0x00
00000c30: DUP16
00000c31: PUSH1 0x40
00000c33: MLOAD
00000c34: DUP1
00000c35: DUP6
00000c36: DUP2
00000c37: MSTORE
00000c38: PUSH1 0x20
00000c3a: ADD
00000c3b: DUP5
00000c3c: ISZERO
00000c3d: ISZERO
00000c3e: DUP2
00000c3f: MSTORE
00000c40: PUSH1 0x20
00000c42: ADD
00000c43: DUP4
00000c44: ISZERO
00000c45: ISZERO
00000c46: DUP2
00000c47: MSTORE
00000c48: PUSH1 0x20
00000c4a: ADD
00000c4b: DUP1
00000c4c: PUSH1 0x20
00000c4e: ADD
00000c4f: DUP3
00000c50: DUP2
00000c51: SUB
00000c52: DUP3
00000c53: MSTORE
00000c54: DUP4
00000c55: DUP2
00000c56: DUP2
00000c57: MLOAD
00000c58: DUP2
00000c59: MSTORE
00000c5a: PUSH1 0x20
00000c5c: ADD
00000c5d: SWAP2
00000c5e: POP
00000c5f: DUP1
00000c60: MLOAD
00000c61: SWAP1
00000c62: PUSH1 0x20
00000c64: ADD
00000c65: SWAP1
00000c66: DUP1
00000c67: DUP4
00000c68: DUP4
00000c69: DUP3
00000c6a: SWAP1
00000c6b: PUSH1 0x00
00000c6d: PUSH1 0x04
00000c6f: PUSH1 0x20
00000c71: DUP5
00000c72: PUSH1 0x1f
00000c74: ADD
00000c75: DIV
00000c76: PUSH1 0x03
00000c78: MUL
00000c79: PUSH1 0x0f
00000c7b: ADD
00000c7c: CALL
00000c7d: POP
00000c7e: SWAP1
00000c7f: POP
00000c80: SWAP1
00000c81: DUP2
00000c82: ADD
00000c83: SWAP1
00000c84: PUSH1 0x1f
00000c86: AND
00000c87: DUP1
00000c88: ISZERO
00000c89: PUSH2 0x0ca6
00000c8c: JUMPI
00000c8d: DUP1
00000c8e: DUP3
00000c8f: SUB
00000c90: DUP1
00000c91: MLOAD
00000c92: PUSH1 0x01
00000c94: DUP4
00000c95: PUSH1 0x20
00000c97: SUB
00000c98: PUSH2 0x0100
00000c9b: EXP
00000c9c: SUB
00000c9d: NOT
00000c9e: AND
00000c9f: DUP2
00000ca0: MSTORE
00000ca1: PUSH1 0x20
00000ca3: ADD
00000ca4: SWAP2
00000ca5: POP
00000ca6: JUMPDEST
00000ca7: POP
00000ca8: SWAP6
00000ca9: POP
00000caa: POP
00000cab: POP
00000cac: POP
00000cad: POP
00000cae: POP
00000caf: PUSH1 0x40
00000cb1: MLOAD
00000cb2: DUP1
00000cb3: SWAP2
00000cb4: SUB
00000cb5: SWAP1
00000cb6: LOG3
00000cb7: PUSH1 0x01
00000cb9: SWAP12
00000cba: POP
00000cbb: JUMPDEST
00000cbc: POP
00000cbd: POP
00000cbe: POP
00000cbf: POP
00000cc0: POP
00000cc1: POP
00000cc2: POP
00000cc3: POP
00000cc4: POP
00000cc5: POP
00000cc6: POP
00000cc7: SWAP2
00000cc8: SWAP1
00000cc9: POP
00000cca: JUMP
00000ccb: JUMPDEST
00000ccc: PUSH1 0x0b
00000cce: DUP10
00000ccf: ADD
00000cd0: SLOAD
00000cd1: PUSH1 0x00
00000cd3: SWAP7
00000cd4: POP
00000cd5: PUSH2 0x0100
00000cd8: SWAP1
00000cd9: DIV
00000cda: PUSH1 0xff
00000cdc: AND
00000cdd: ISZERO
00000cde: DUP1
00000cdf: ISZERO
00000ce0: PUSH2 0x0ce6
00000ce3: JUMPI
00000ce4: POP
00000ce5: DUP8
00000ce6: JUMPDEST
00000ce7: ISZERO
00000ce8: PUSH2 0x0dd7
00000ceb: JUMPI
00000cec: PUSH1 0x01
00000cee: PUSH1 0xa0
00000cf0: PUSH1 0x02
00000cf2: EXP
00000cf3: SUB
00000cf4: CALLER
00000cf5: AND
00000cf6: PUSH1 0x00
00000cf8: SWAP1
00000cf9: DUP2
00000cfa: MSTORE
00000cfb: PUSH1 0x20
00000cfd: DUP11
00000cfe: SWAP1
00000cff: MSTORE
00000d00: PUSH1 0x40
00000d02: DUP2
00000d03: KECCAK256
00000d04: SLOAD
00000d05: PUSH1 0x01
00000d07: SWAP9
00000d08: POP
00000d09: SWAP6
00000d0a: POP
00000d0b: DUP6
00000d0c: EQ
00000d0d: ISZERO
00000d0e: PUSH2 0x0ec4
00000d11: JUMPI
00000d12: PUSH1 0x40
00000d14: DUP1
00000d15: MLOAD
00000d16: PUSH1 0x00
00000d18: DUP1
00000d19: DUP3
00000d1a: MSTORE
00000d1b: PUSH1 0x20
00000d1d: DUP3
00000d1e: ADD
00000d1f: DUP11
00000d20: SWAP1
00000d21: MSTORE
00000d22: DUP2
00000d23: DUP4
00000d24: ADD
00000d25: MSTORE
00000d26: PUSH1 0x80
00000d28: PUSH1 0x60
00000d2a: DUP3
00000d2b: ADD
00000d2c: DUP2
00000d2d: SWAP1
00000d2e: MSTORE
00000d2f: PUSH1 0x50
00000d31: SWAP1
00000d32: DUP3
00000d33: ADD
00000d34: MSTORE
00000d35: PUSH32 0x61646472657373206d616465206e6f206465706f7369742e204e6f7465207468
00000d56: PUSH1 0xa0
00000d58: DUP3
00000d59: ADD
00000d5a: MSTORE
00000d5b: PUSH32 0x617420746869732073686f756c642062652063616c6c65642077697468207468
00000d7c: PUSH1 0xc0
00000d7e: DUP3
00000d7f: ADD
00000d80: MSTORE
00000d81: PUSH32 0x65207075626c6963206164647265737300000000000000000000000000000000
00000da2: PUSH1 0xe0
00000da4: DUP3
00000da5: ADD
00000da6: MSTORE
00000da7: SWAP1
00000da8: MLOAD
00000da9: DUP15
00000daa: SWAP2
00000dab: PUSH1 0x01
00000dad: PUSH1 0xa0
00000daf: PUSH1 0x02
00000db1: EXP
00000db2: SUB
00000db3: CALLER
00000db4: AND
00000db5: SWAP2
00000db6: PUSH1 0x00
00000db8: DUP1
00000db9: MLOAD
00000dba: PUSH1 0x20
00000dbc: PUSH2 0x14a8
00000dbf: DUP4
00000dc0: CODECOPY
00000dc1: DUP2
00000dc2: MLOAD
00000dc3: SWAP2
00000dc4: MSTORE
00000dc5: SWAP2
00000dc6: DUP2
00000dc7: SWAP1
00000dc8: SUB
00000dc9: PUSH2 0x0100
00000dcc: ADD
00000dcd: SWAP1
00000dce: LOG3
00000dcf: PUSH1 0x01
00000dd1: SWAP12
00000dd2: POP
00000dd3: PUSH2 0x0cbb
00000dd6: JUMP
00000dd7: JUMPDEST
00000dd8: PUSH1 0x01
00000dda: PUSH1 0xa0
00000ddc: PUSH1 0x02
00000dde: EXP
00000ddf: SUB
00000de0: CALLER
00000de1: AND
00000de2: PUSH1 0x00
00000de4: SWAP1
00000de5: DUP2
00000de6: MSTORE
00000de7: PUSH1 0x02
00000de9: DUP11
00000dea: ADD
00000deb: PUSH1 0x20
00000ded: MSTORE
00000dee: PUSH1 0x40
00000df0: DUP2
00000df1: KECCAK256
00000df2: SLOAD
00000df3: SWAP1
00000df4: SWAP8
00000df5: POP
00000df6: PUSH1 0xff
00000df8: AND
00000df9: ISZERO
00000dfa: ISZERO
00000dfb: PUSH2 0x0fcc
00000dfe: JUMPI
00000dff: PUSH1 0x40
00000e01: DUP1
00000e02: MLOAD
00000e03: DUP9
00000e04: DUP2
00000e05: MSTORE
00000e06: PUSH1 0x20
00000e08: DUP2
00000e09: ADD
00000e0a: DUP10
00000e0b: SWAP1
00000e0c: MSTORE
00000e0d: DUP1
00000e0e: DUP3
00000e0f: ADD
00000e10: DUP10
00000e11: SWAP1
00000e12: MSTORE
00000e13: PUSH1 0x80
00000e15: PUSH1 0x60
00000e17: DUP3
00000e18: ADD
00000e19: DUP2
00000e1a: SWAP1
00000e1b: MSTORE
00000e1c: PUSH1 0x4f
00000e1e: SWAP1
00000e1f: DUP3
00000e20: ADD
00000e21: MSTORE
00000e22: PUSH32 0x61646472657373206d616465206e6f20636c61696d732e204e6f746520746861
00000e43: PUSH1 0xa0
00000e45: DUP3
00000e46: ADD
00000e47: MSTORE
00000e48: PUSH32 0x7420746869732073686f756c642062652063616c6c6564207769746820746865
00000e69: PUSH1 0xc0
00000e6b: DUP3
00000e6c: ADD
00000e6d: MSTORE
00000e6e: PUSH32 0x2073656372657420616464726573730000000000000000000000000000000000
00000e8f: PUSH1 0xe0
00000e91: DUP3
00000e92: ADD
00000e93: MSTORE
00000e94: SWAP1
00000e95: MLOAD
00000e96: DUP15
00000e97: SWAP2
00000e98: PUSH1 0x01
00000e9a: PUSH1 0xa0
00000e9c: PUSH1 0x02
00000e9e: EXP
00000e9f: SUB
00000ea0: CALLER
00000ea1: AND
00000ea2: SWAP2
00000ea3: PUSH1 0x00
00000ea5: DUP1
00000ea6: MLOAD
00000ea7: PUSH1 0x20
00000ea9: PUSH2 0x14a8
00000eac: DUP4
00000ead: CODECOPY
00000eae: DUP2
00000eaf: MLOAD
00000eb0: SWAP2
00000eb1: MSTORE
00000eb2: SWAP2
00000eb3: DUP2
00000eb4: SWAP1
00000eb5: SUB
00000eb6: PUSH2 0x0100
00000eb9: ADD
00000eba: SWAP1
00000ebb: LOG3
00000ebc: PUSH1 0x01
00000ebe: SWAP12
00000ebf: POP
00000ec0: PUSH2 0x0cbb
00000ec3: JUMP
00000ec4: JUMPDEST
00000ec5: PUSH1 0x09
00000ec7: DUP10
00000ec8: ADD
00000ec9: SLOAD
00000eca: PUSH1 0x01
00000ecc: DUP11
00000ecd: ADD
00000ece: SLOAD
00000ecf: DUP2
00000ed0: ISZERO
00000ed1: PUSH2 0x0002
00000ed4: JUMPI
00000ed5: DUP2
00000ed6: SWAP1
00000ed7: DIV
00000ed8: SWAP5
00000ed9: POP
00000eda: DUP6
00000edb: DUP2
00000edc: ISZERO
00000edd: PUSH2 0x0002
00000ee0: JUMPI
00000ee1: DIV
00000ee2: SWAP3
00000ee3: POP
00000ee4: DUP9
00000ee5: PUSH1 0x08
00000ee7: ADD
00000ee8: PUSH1 0x00
00000eea: POP
00000eeb: SLOAD
00000eec: DUP5
00000eed: DUP11
00000eee: PUSH1 0x03
00000ef0: ADD
00000ef1: PUSH1 0x00
00000ef3: POP
00000ef4: SLOAD
00000ef5: SUB
00000ef6: MUL
00000ef7: SWAP2
00000ef8: POP
00000ef9: DUP4
00000efa: DUP3
00000efb: DUP5
00000efc: MUL
00000efd: DUP2
00000efe: ISZERO
00000eff: PUSH2 0x0002
00000f02: JUMPI
00000f03: PUSH1 0x01
00000f05: PUSH1 0xa0
00000f07: PUSH1 0x02
00000f09: EXP
00000f0a: SUB
00000f0b: CALLER
00000f0c: AND
00000f0d: PUSH1 0x00
00000f0f: SWAP1
00000f10: DUP2
00000f11: MSTORE
00000f12: PUSH1 0x20
00000f14: DUP13
00000f15: SWAP1
00000f16: MSTORE
00000f17: PUSH1 0x40
00000f19: DUP2
00000f1a: KECCAK256
00000f1b: SSTORE
00000f1c: DIV
00000f1d: SWAP1
00000f1e: POP
00000f1f: PUSH1 0x02
00000f21: DUP2
00000f22: POP
00000f23: PUSH1 0x40
00000f25: MLOAD
00000f26: PUSH1 0x08
00000f28: DUP12
00000f29: ADD
00000f2a: SLOAD
00000f2b: DUP6
00000f2c: MUL
00000f2d: DUP8
00000f2e: ADD
00000f2f: SWAP2
00000f30: DUP4
00000f31: DIV
00000f32: SWAP2
00000f33: SWAP1
00000f34: SWAP2
00000f35: ADD
00000f36: SWAP7
00000f37: POP
00000f38: PUSH1 0x01
00000f3a: PUSH1 0xa0
00000f3c: PUSH1 0x02
00000f3e: EXP
00000f3f: SUB
00000f40: CALLER
00000f41: AND
00000f42: SWAP1
00000f43: DUP8
00000f44: ISZERO
00000f45: PUSH2 0x08fc
00000f48: MUL
00000f49: SWAP1
00000f4a: DUP9
00000f4b: SWAP1
00000f4c: PUSH1 0x00
00000f4e: DUP2
00000f4f: DUP2
00000f50: DUP2
00000f51: DUP6
00000f52: DUP9
00000f53: DUP9
00000f54: CALL
00000f55: SWAP4
00000f56: POP
00000f57: POP
00000f58: POP
00000f59: POP
00000f5a: ISZERO
00000f5b: ISZERO
00000f5c: PUSH2 0x0f64
00000f5f: JUMPI
00000f60: PUSH2 0x0002
00000f63: JUMP
00000f64: JUMPDEST
00000f65: PUSH1 0x40
00000f67: DUP1
00000f68: MLOAD
00000f69: DUP8
00000f6a: DUP2
00000f6b: MSTORE
00000f6c: DUP9
00000f6d: ISZERO
00000f6e: ISZERO
00000f6f: PUSH1 0x20
00000f71: DUP3
00000f72: ADD
00000f73: MSTORE
00000f74: PUSH1 0x01
00000f76: DUP2
00000f77: DUP4
00000f78: ADD
00000f79: MSTORE
00000f7a: PUSH1 0x80
00000f7c: PUSH1 0x60
00000f7e: DUP3
00000f7f: ADD
00000f80: DUP2
00000f81: SWAP1
00000f82: MSTORE
00000f83: PUSH1 0x08
00000f85: SWAP1
00000f86: DUP3
00000f87: ADD
00000f88: MSTORE
00000f89: PUSH1 0xc2
00000f8b: PUSH1 0x02
00000f8d: EXP
00000f8e: PUSH8 0x185b1b0819dbdbd9
00000f97: MUL
00000f98: PUSH1 0xa0
00000f9a: DUP3
00000f9b: ADD
00000f9c: MSTORE
00000f9d: SWAP1
00000f9e: MLOAD
00000f9f: DUP15
00000fa0: SWAP2
00000fa1: PUSH1 0x01
00000fa3: PUSH1 0xa0
00000fa5: PUSH1 0x02
00000fa7: EXP
00000fa8: SUB
00000fa9: CALLER
00000faa: AND
00000fab: SWAP2
00000fac: PUSH1 0x00
00000fae: DUP1
00000faf: MLOAD
00000fb0: PUSH1 0x20
00000fb2: PUSH2 0x14a8
00000fb5: DUP4
00000fb6: CODECOPY
00000fb7: DUP2
00000fb8: MLOAD
00000fb9: SWAP2
00000fba: MSTORE
00000fbb: SWAP2
00000fbc: DUP2
00000fbd: SWAP1
00000fbe: SUB
00000fbf: PUSH1 0xc0
00000fc1: ADD
00000fc2: SWAP1
00000fc3: LOG3
00000fc4: PUSH1 0x00
00000fc6: SWAP12
00000fc7: POP
00000fc8: PUSH2 0x0cbb
00000fcb: JUMP
00000fcc: JUMPDEST
00000fcd: DUP8
00000fce: ISZERO
00000fcf: PUSH2 0x0fe4
00000fd2: JUMPI
00000fd3: PUSH1 0x08
00000fd5: DUP10
00000fd6: ADD
00000fd7: SLOAD
00000fd8: PUSH1 0x09
00000fda: DUP11
00000fdb: ADD
00000fdc: SLOAD
00000fdd: ADD
00000fde: SWAP6
00000fdf: POP
00000fe0: PUSH2 0x0fec
00000fe3: JUMP
00000fe4: JUMPDEST
00000fe5: PUSH1 0x08
00000fe7: DUP10
00000fe8: ADD
00000fe9: SLOAD
00000fea: SWAP6
00000feb: POP
00000fec: JUMPDEST
00000fed: PUSH1 0x01
00000fef: PUSH1 0xa0
00000ff1: PUSH1 0x02
00000ff3: EXP
00000ff4: SUB
00000ff5: CALLER
00000ff6: AND
00000ff7: PUSH1 0x00
00000ff9: DUP2
00000ffa: DUP2
00000ffb: MSTORE
00000ffc: PUSH1 0x02
00000ffe: DUP12
00000fff: ADD
00001000: PUSH1 0x20
00001002: MSTORE
00001003: PUSH1 0x40
00001005: DUP1
00001006: DUP3
00001007: KECCAK256
00001008: DUP1
00001009: SLOAD
0000100a: PUSH1 0xff
0000100c: NOT
0000100d: AND
0000100e: SWAP1
0000100f: SSTORE
00001010: MLOAD
00001011: DUP9
00001012: ISZERO
00001013: PUSH2 0x08fc
00001016: MUL
00001017: SWAP2
00001018: DUP10
00001019: SWAP2
0000101a: SWAP1
0000101b: DUP2
0000101c: DUP2
0000101d: DUP2
0000101e: DUP6
0000101f: DUP9
00001020: DUP9
00001021: CALL
00001022: SWAP4
00001023: POP
00001024: POP
00001025: POP
00001026: POP
00001027: ISZERO
00001028: ISZERO
00001029: PUSH2 0x0f64
0000102c: JUMPI
0000102d: PUSH2 0x0002
00001030: JUMP
00001031: JUMPDEST
00001032: PUSH1 0x01
00001034: JUMPDEST
00001035: PUSH1 0xff
00001037: AND
00001038: SWAP4
00001039: POP
0000103a: PUSH1 0x00
0000103c: PUSH1 0x00
0000103e: POP
0000103f: DUP7
00001040: DUP2
00001041: SLOAD
00001042: DUP2
00001043: LT
00001044: ISZERO
00001045: PUSH2 0x0002
00001048: JUMPI
00001049: DUP2
0000104a: SLOAD
0000104b: DUP3
0000104c: DUP1
0000104d: MSTORE
0000104e: PUSH1 0x0c
00001050: DUP3
00001051: MUL
00001052: PUSH32 0x290decd9548b62a8d60345a988386fc84ba6bc95484008f6362f93160ef3e566
00001073: ADD
00001074: SLOAD
00001075: SWAP6
00001076: POP
00001077: DUP2
00001078: LT
00001079: ISZERO
0000107a: PUSH2 0x0002
0000107d: JUMPI
0000107e: POP
0000107f: DUP1
00001080: DUP1
00001081: MSTORE
00001082: PUSH1 0x0c
00001084: DUP8
00001085: MUL
00001086: PUSH1 0x00
00001088: DUP1
00001089: MLOAD
0000108a: PUSH1 0x20
0000108c: PUSH2 0x1488
0000108f: DUP4
00001090: CODECOPY
00001091: DUP2
00001092: MLOAD
00001093: SWAP2
00001094: MSTORE
00001095: ADD
00001096: SWAP1
00001097: POP
00001098: PUSH1 0x04
0000109a: ADD
0000109b: PUSH1 0x00
0000109d: POP
0000109e: SLOAD
0000109f: SWAP2
000010a0: POP
000010a1: PUSH1 0x00
000010a3: PUSH1 0x00
000010a5: POP
000010a6: DUP7
000010a7: DUP2
000010a8: SLOAD
000010a9: DUP2
000010aa: LT
000010ab: ISZERO
000010ac: PUSH2 0x0002
000010af: JUMPI
000010b0: POP
000010b1: POP
000010b2: PUSH1 0x40
000010b4: DUP1
000010b5: MLOAD
000010b6: PUSH1 0x0c
000010b8: SWAP8
000010b9: SWAP1
000010ba: SWAP8
000010bb: MUL
000010bc: PUSH32 0x290decd9548b62a8d60345a988386fc84ba6bc95484008f6362f93160ef3e564
000010dd: ADD
000010de: SLOAD
000010df: PUSH1 0x80
000010e1: DUP9
000010e2: ADD
000010e3: DUP3
000010e4: MSTORE
000010e5: SWAP5
000010e6: DUP8
000010e7: MSTORE
000010e8: PUSH1 0x20
000010ea: DUP8
000010eb: ADD
000010ec: SWAP4
000010ed: SWAP1
000010ee: SWAP4
000010ef: MSTORE
000010f0: POP
000010f1: SWAP1
000010f2: DUP5
000010f3: ADD
000010f4: MSTORE
000010f5: PUSH1 0x60
000010f7: DUP4
000010f8: ADD
000010f9: MSTORE
000010fa: POP
000010fb: SWAP1
000010fc: JUMP
000010fd: JUMPDEST
000010fe: POP
000010ff: POP
00001100: POP
00001101: POP
00001102: PUSH1 0x00
00001104: PUSH1 0x00
00001106: PUSH1 0x00
00001108: POP
00001109: DUP3
0000110a: DUP2
0000110b: SLOAD
0000110c: DUP2
0000110d: LT
0000110e: ISZERO
0000110f: PUSH2 0x0002
00001112: JUMPI
00001113: DUP2
00001114: DUP1
00001115: MSTORE
00001116: PUSH1 0x0c
00001118: DUP2
00001119: MUL
0000111a: PUSH32 0x290decd9548b62a8d60345a988386fc84ba6bc95484008f6362f93160ef3e564
0000113b: ADD
0000113c: DUP3
0000113d: SWAP1
0000113e: SSTORE
0000113f: DUP2
00001140: SLOAD
00001141: DUP2
00001142: LT
00001143: ISZERO
00001144: PUSH2 0x0002
00001147: JUMPI
00001148: PUSH1 0x0c
0000114a: DUP2
0000114b: MUL
0000114c: PUSH32 0x290decd9548b62a8d60345a988386fc84ba6bc95484008f6362f93160ef3e566
0000116d: ADD
0000116e: DUP3
0000116f: SWAP1
00001170: SSTORE
00001171: DUP2
00001172: SLOAD
00001173: DUP2
00001174: LT
00001175: ISZERO
00001176: PUSH2 0x0002
00001179: JUMPI
0000117a: PUSH1 0x0c
0000117c: DUP2
0000117d: MUL
0000117e: PUSH32 0x290decd9548b62a8d60345a988386fc84ba6bc95484008f6362f93160ef3e567
0000119f: ADD
000011a0: DUP3
000011a1: SWAP1
000011a2: SSTORE
000011a3: DUP2
000011a4: SLOAD
000011a5: TIMESTAMP
000011a6: SWAP4
000011a7: POP
000011a8: DUP2
000011a9: LT
000011aa: ISZERO
000011ab: PUSH2 0x0002
000011ae: JUMPI
000011af: PUSH1 0x0c
000011b1: DUP2
000011b2: MUL
000011b3: PUSH32 0x290decd9548b62a8d60345a988386fc84ba6bc95484008f6362f93160ef3e568
000011d4: ADD
000011d5: SWAP3
000011d6: SWAP1
000011d7: SWAP3
000011d8: SSTORE
000011d9: DUP1
000011da: SLOAD
000011db: PUSH2 0x0e10
000011de: DUP11
000011df: MUL
000011e0: SWAP3
000011e1: POP
000011e2: DUP4
000011e3: SWAP1
000011e4: DUP2
000011e5: LT
000011e6: ISZERO
000011e7: PUSH2 0x0002
000011ea: JUMPI
000011eb: PUSH1 0x0c
000011ed: DUP2
000011ee: MUL
000011ef: PUSH32 0x290decd9548b62a8d60345a988386fc84ba6bc95484008f6362f93160ef3e569
00001210: ADD
00001211: SWAP3
00001212: SWAP1
00001213: SWAP3
00001214: SSTORE
00001215: DUP1
00001216: SLOAD
00001217: PUSH2 0x0e10
0000121a: DUP10
0000121b: MUL
0000121c: SWAP3
0000121d: POP
0000121e: DUP4
0000121f: SWAP1
00001220: DUP2
00001221: LT
00001222: ISZERO
00001223: PUSH2 0x0002
00001226: JUMPI
00001227: PUSH1 0x0c
00001229: DUP2
0000122a: MUL
0000122b: PUSH32 0x290decd9548b62a8d60345a988386fc84ba6bc95484008f6362f93160ef3e56a
0000124c: ADD
0000124d: SWAP3
0000124e: SWAP1
0000124f: SWAP3
00001250: SSTORE
00001251: DUP1
00001252: SLOAD
00001253: DUP7
00001254: SWAP3
00001255: POP
00001256: DUP4
00001257: SWAP1
00001258: DUP2
00001259: LT
0000125a: ISZERO
0000125b: PUSH2 0x0002
0000125e: JUMPI
0000125f: PUSH1 0x0c
00001261: DUP2
00001262: MUL
00001263: PUSH32 0x290decd9548b62a8d60345a988386fc84ba6bc95484008f6362f93160ef3e56b
00001284: ADD
00001285: SWAP3
00001286: SWAP1
00001287: SWAP3
00001288: SSTORE
00001289: DUP1
0000128a: SLOAD
0000128b: DUP8
0000128c: SWAP3
0000128d: POP
0000128e: DUP4
0000128f: SWAP1
00001290: DUP2
00001291: LT
00001292: ISZERO
00001293: PUSH2 0x0002
00001296: JUMPI
00001297: PUSH1 0x0c
00001299: DUP2
0000129a: MUL
0000129b: PUSH32 0x290decd9548b62a8d60345a988386fc84ba6bc95484008f6362f93160ef3e56c
000012bc: ADD
000012bd: SWAP3
000012be: SWAP1
000012bf: SWAP3
000012c0: SSTORE
000012c1: DUP1
000012c2: SLOAD
000012c3: DUP6
000012c4: SWAP3
000012c5: POP
000012c6: DUP4
000012c7: SWAP1
000012c8: DUP2
000012c9: LT
000012ca: ISZERO
000012cb: PUSH2 0x0002
000012ce: JUMPI
000012cf: PUSH1 0x0c
000012d1: DUP2
000012d2: MUL
000012d3: PUSH32 0x290decd9548b62a8d60345a988386fc84ba6bc95484008f6362f93160ef3e56d
000012f4: ADD
000012f5: SWAP3
000012f6: SWAP1
000012f7: SWAP3
000012f8: SSTORE
000012f9: DUP1
000012fa: SLOAD
000012fb: SWAP1
000012fc: SWAP2
000012fd: DUP3
000012fe: SWAP2
000012ff: DUP2
00001300: LT
00001301: ISZERO
00001302: PUSH2 0x0002
00001305: JUMPI
00001306: PUSH1 0x0c
00001308: DUP2
00001309: MUL
0000130a: PUSH1 0x00
0000130c: DUP1
0000130d: MLOAD
0000130e: PUSH1 0x20
00001310: PUSH2 0x14c8
00001313: DUP4
00001314: CODECOPY
00001315: DUP2
00001316: MLOAD
00001317: SWAP2
00001318: MSTORE
00001319: ADD
0000131a: DUP1
0000131b: SLOAD
0000131c: PUSH2 0xff00
0000131f: NOT
00001320: AND
00001321: SWAP1
00001322: SSTORE
00001323: DUP2
00001324: SLOAD
00001325: PUSH1 0x01
00001327: SWAP4
00001328: POP
00001329: DUP2
0000132a: LT
0000132b: ISZERO
0000132c: PUSH2 0x0002
0000132f: JUMPI
00001330: POP
00001331: DUP1
00001332: DUP1
00001333: MSTORE
00001334: PUSH1 0x0c
00001336: DUP4
00001337: MUL
00001338: PUSH1 0x00
0000133a: DUP1
0000133b: MLOAD
0000133c: PUSH1 0x20
0000133e: PUSH2 0x1488
00001341: DUP4
00001342: CODECOPY
00001343: DUP2
00001344: MLOAD
00001345: SWAP2
00001346: MSTORE
00001347: ADD
00001348: SWAP1
00001349: POP
0000134a: PUSH1 0x0b
0000134c: ADD
0000134d: DUP1
0000134e: SLOAD
0000134f: PUSH1 0xff
00001351: NOT
00001352: AND
00001353: SWAP1
00001354: SWAP2
00001355: OR
00001356: SWAP1
00001357: SSTORE
00001358: PUSH1 0x40
0000135a: DUP1
0000135b: MLOAD
0000135c: TIMESTAMP
0000135d: DUP2
0000135e: MSTORE
0000135f: PUSH1 0x20
00001361: DUP2
00001362: ADD
00001363: DUP10
00001364: SWAP1
00001365: MSTORE
00001366: DUP1
00001367: DUP3
00001368: ADD
00001369: DUP9
0000136a: SWAP1
0000136b: MSTORE
0000136c: PUSH1 0x60
0000136e: DUP2
0000136f: ADD
00001370: DUP8
00001371: SWAP1
00001372: MSTORE
00001373: PUSH1 0x80
00001375: DUP2
00001376: ADD
00001377: DUP7
00001378: SWAP1
00001379: MSTORE
0000137a: PUSH1 0xa0
0000137c: DUP2
0000137d: ADD
0000137e: DUP6
0000137f: SWAP1
00001380: MSTORE
00001381: PUSH1 0x01
00001383: PUSH1 0xc0
00001385: DUP3
00001386: ADD
00001387: MSTORE
00001388: PUSH2 0x0100
0000138b: PUSH1 0xe0
0000138d: DUP3
0000138e: ADD
0000138f: DUP2
00001390: SWAP1
00001391: MSTORE
00001392: PUSH1 0x08
00001394: SWAP1
00001395: DUP3
00001396: ADD
00001397: MSTORE
00001398: PUSH1 0xc2
0000139a: PUSH1 0x02
0000139c: EXP
0000139d: PUSH8 0x185b1b0819dbdbd9
000013a6: MUL
000013a7: PUSH2 0x0120
000013aa: DUP3
000013ab: ADD
000013ac: MSTORE
000013ad: SWAP1
000013ae: MLOAD
000013af: DUP3
000013b0: SWAP2
000013b1: PUSH1 0x01
000013b3: PUSH1 0xa0
000013b5: PUSH1 0x02
000013b7: EXP
000013b8: SUB
000013b9: CALLER
000013ba: AND
000013bb: SWAP2
000013bc: PUSH32 0x95be9ace8b143cc06127e282914e81c9714d83d344c1d9572f167de729ea1b35
000013dd: SWAP2
000013de: DUP2
000013df: SWAP1
000013e0: SUB
000013e1: PUSH2 0x0140
000013e4: ADD
000013e5: SWAP1
000013e6: LOG3
000013e7: PUSH1 0x00
000013e9: SWAP2
000013ea: POP
000013eb: JUMPDEST
000013ec: POP
000013ed: SWAP6
000013ee: SWAP5
000013ef: POP
000013f0: POP
000013f1: POP
000013f2: POP
000013f3: POP
000013f4: JUMP
000013f5: JUMPDEST
000013f6: PUSH1 0x00
000013f8: DUP1
000013f9: SLOAD
000013fa: PUSH1 0x01
000013fc: DUP2
000013fd: ADD
000013fe: DUP1
000013ff: DUP4
00001400: SSTORE
00001401: SWAP1
00001402: SWAP2
00001403: SWAP1
00001404: DUP3
00001405: DUP1
00001406: ISZERO
00001407: DUP3
00001408: SWAP1
00001409: GT
0000140a: PUSH2 0x10fd
0000140d: JUMPI
0000140e: PUSH1 0x0c
00001410: MUL
00001411: DUP2
00001412: PUSH1 0x0c
00001414: MUL
00001415: DUP4
00001416: PUSH1 0x00
00001418: MSTORE
00001419: PUSH1 0x20
0000141b: PUSH1 0x00
0000141d: KECCAK256
0000141e: SWAP2
0000141f: DUP3
00001420: ADD
00001421: SWAP2
00001422: ADD
00001423: PUSH2 0x10fd
00001426: SWAP2
00001427: SWAP1
00001428: JUMPDEST
00001429: DUP1
0000142a: DUP3
0000142b: GT
0000142c: ISZERO
0000142d: PUSH2 0x1484
00001430: JUMPI
00001431: PUSH1 0x00
00001433: PUSH1 0x01
00001435: DUP3
00001436: ADD
00001437: DUP2
00001438: SWAP1
00001439: SSTORE
0000143a: PUSH1 0x03
0000143c: DUP3
0000143d: ADD
0000143e: DUP2
0000143f: SWAP1
00001440: SSTORE
00001441: PUSH1 0x04
00001443: DUP3
00001444: ADD
00001445: DUP2
00001446: SWAP1
00001447: SSTORE
00001448: PUSH1 0x05
0000144a: DUP3
0000144b: ADD
0000144c: DUP2
0000144d: SWAP1
0000144e: SSTORE
0000144f: PUSH1 0x06
00001451: DUP3
00001452: ADD
00001453: DUP2
00001454: SWAP1
00001455: SSTORE
00001456: PUSH1 0x07
00001458: DUP3
00001459: ADD
0000145a: DUP2
0000145b: SWAP1
0000145c: SSTORE
0000145d: PUSH1 0x08
0000145f: DUP3
00001460: ADD
00001461: DUP2
00001462: SWAP1
00001463: SSTORE
00001464: PUSH1 0x09
00001466: DUP3
00001467: ADD
00001468: DUP2
00001469: SWAP1
0000146a: SSTORE
0000146b: PUSH1 0x0a
0000146d: DUP3
0000146e: ADD
0000146f: SSTORE
00001470: PUSH1 0x0b
00001472: DUP2
00001473: ADD
00001474: DUP1
00001475: SLOAD
00001476: PUSH2 0xffff
00001479: NOT
0000147a: AND
0000147b: SWAP1
0000147c: SSTORE
0000147d: PUSH1 0x0c
0000147f: ADD
00001480: PUSH2 0x1428
00001483: JUMP
00001484: JUMPDEST
00001485: POP
00001486: SWAP1
00001487: JUMP
00001488: UNKNOWN(0x29)
00001489: UNKNOWN(0x0D)
0000148a: UNKNOWN(0xEC)
0000148b: UNKNOWN(0xD9)
0000148c: SLOAD
0000148d: DUP12
0000148e: PUSH3 0xa8d603
00001492: GASLIMIT
00001493: UNKNOWN(0xA9)
00001494: DUP9
00001495: CODESIZE
00001496: PUSH16 0xc84ba6bc95484008f6362f93160ef3e5
000014a7: PUSH4 0x46a1fabf
000014ac: UNKNOWN(0xC2)
000014ad: CODECOPY
000014ae: UNKNOWN(0x2C)
000014af: CALLDATALOAD
000014b0: DUP15
000014b1: SWAP3
000014b2: LOG0
000014b3: JUMPDEST
000014b4: UNKNOWN(0xAD)
000014b5: MSIZE
000014b6: ADDRESS
000014b7: UNKNOWN(0xEF)
000014b8: UNKNOWN(0x0E)
000014b9: UNKNOWN(0xE5)
000014ba: PUSH27 0xf5814ce15429c070b76c0f02dc290decd9548b62a8d60345a98838
000014d6: PUSH16 0xc84ba6bc95484008f6362f93160ef3e5
000014e7: PUSH15

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.