Analysis Run

[codex:1024374] OpenAI Codex v0.77.0 (research preview)
[codex:1024374] --------
[codex:1024374] workdir: /tmp/codex-multi-rcpzylxo
[codex:1024374] model: gpt-5.2-codex
[codex:1024374] provider: openai
[codex:1024374] approval: never
[codex:1024374] sandbox: read-only
[codex:1024374] reasoning effort: xhigh
[codex:1024374] reasoning summaries: auto
[codex:1024374] session id: 019b8769-9ed6-7433-a955-085913625bac
[codex:1024374] --------
[codex:1024374] user
[codex:1024374] You are a profit-focused exploit hunter. Your ONLY goal is finding ways to extract value (ETH, tokens, NFTs) from this contract.
[codex:1024374] 
[codex:1024374] Read `AUDIT_BUNDLE.txt` completely before concluding. Treat `lib/` and `@openzeppelin/` as trusted unless misused.
[codex:1024374] 
[codex:1024374] ONLY REPORT if you find a CONCRETE, EXPLOITABLE path to profit. We do NOT care about:
[codex:1024374] - Gas inefficiency, code quality, naming, or best practices
[codex:1024374] - Theoretical vulnerabilities without a clear extraction path
[codex:1024374] - Centralization risks (admin can rug) - assume admin keys are secure
[codex:1024374] - Front-running unless it enables theft beyond MEV
[codex:1024374] - DoS, griefing, or issues that don't result in attacker profit
[codex:1024374] - Missing events, view function issues, or informational findings
[codex:1024374] 
[codex:1024374] HIGH-VALUE PATTERNS TO HUNT:
[codex:1024374] - Reentrancy: external calls before state updates that allow double-withdrawal
[codex:1024374] - Access control: missing/bypassable auth on withdraw, transfer, or mint functions
[codex:1024374] - Flash loan attacks: borrow -> manipulate -> profit in single tx
[codex:1024374] - Price oracle manipulation: TWAP with short window, spot price reads, stale prices
[codex:1024374] - Signature replay: missing nonce, chainId, or deadline in permit/meta-tx
[codex:1024374] - Proxy hijacking: unprotected initialize(), storage collision, UUPS without auth
[codex:1024374] - Accounting errors: rounding that favors attacker, share inflation, first depositor attacks
[codex:1024374] - Unchecked external calls: return value ignored on token transfers enabling fake tokens
[codex:1024374] - Cross-function reentrancy: state read in function A, modified via reentrant call, used stale in A
[codex:1024374] 
[codex:1024374] For each finding, you MUST provide:
[codex:1024374] 1. Exact file and line numbers of vulnerable code
[codex:1024374] 2. Step-by-step exploit transaction sequence
[codex:1024374] 3. Estimated profit potential (order of magnitude: contract balance, LP reserves, etc.)
[codex:1024374] 
[codex:1024374] If no concrete profit path exists: set no_findings=true. Do NOT pad with low-severity noise.
[codex:1024374] 
[codex:1024374] Output MUST be valid JSON matching the provided schema.
[codex:1024374] - severity: info, low, medium, high, critical (use high/critical ONLY for clear extraction paths)
[codex:1024374] - category: access_control, reentrancy, math, oracle, upgradeability, auth, other
[codex:1024374] mcp startup: no servers
[codex:1024374] 
[codex:1024374] thinking
[codex:1024374] **Preparing to read AUDIT_BUNDLE.txt**
[codex:1024374] exec
[codex:1024374] /bin/bash -lc ls in /tmp/codex-multi-rcpzylxo succeeded in 6ms:
[codex:1024374] AUDIT_BUNDLE.txt
[codex:1024374] codex-output-schema.json
[codex:1024374] contracts
[codex:1024374] exec
[codex:1024374] /bin/bash -lc 'cat AUDIT_BUNDLE.txt' in /tmp/codex-multi-rcpzylxo succeeded in 5ms:
[codex:1024374] This file concatenates first-party Solidity sources only (lib/@openzeppelin excluded).
[codex:1024374] 
[codex:1024374] ================================================================================
[codex:1024374] FILE: contracts/src/FacetEtherBridgeV5.sol
[codex:1024374] ================================================================================
[codex:1024374] // SPDX-License-Identifier: MIT
[codex:1024374] pragma solidity ^0.8.18;
[codex:1024374] 
[codex:1024374] import "solady/src/utils/SafeTransferLib.sol";
[codex:1024374] import "solady/src/utils/ECDSA.sol";
[codex:1024374] import "solady/src/utils/EIP712.sol";
[codex:1024374] import "solady/src/utils/Base64.sol";
[codex:1024374] import "solady/src/utils/LibString.sol";
[codex:1024374] import "solady/src/utils/ERC1967FactoryConstants.sol";
[codex:1024374] 
[codex:1024374] contract FacetEtherBridgeV5 is EIP712 {
[codex:1024374]     using LibString for *;
[codex:1024374]     using SafeTransferLib for address;
[codex:1024374]     using ECDSA for bytes32;
[codex:1024374] 
[codex:1024374] 
[codex:1024374] thinking
[codex:1024374] **Analyzing potential exploit paths**
[codex:1024374] 
[codex:1024374] I'm carefully reviewing the contract's withdraw logic, signature checks, and admin controls to see if any vulnerabilities exist—especially around signature validation and reentrancy. The main concern is whether an invalid signature could bypass checks if signerAddress is unset, but overall, the contract seems safe assuming proper admin configuration. I’m preparing a JSON report indicating no exploitable profit paths found per instructions.
[codex:1024374] codex
[codex:1024374] {"no_findings":true,"summary":"No concrete, exploitable profit paths found in the reviewed sources.","findings":[]}
[codex:1024374] tokens used
[codex:1024374] 4,880
[codex:1024374] {"no_findings":true,"summary":"No concrete, exploitable profit paths found in the reviewed sources.","findings":[]}

{
    "codex": {
        "ran_at": "2026-01-04T05:10:34.453418+00:00",
        "returncode": 0
    },
    "summary": "No concrete, exploitable profit paths found in the reviewed sources.",
    "raw_final": {
        "summary": "No concrete, exploitable profit paths found in the reviewed sources.",
        "findings": [],
        "no_findings": true
    },
    "no_findings": true,
    "schema_version": 1
}

00000000: PUSH1 0x80
00000002: PUSH1 0x40
00000004: MSTORE
00000005: PUSH1 0x04
00000007: CALLDATASIZE
00000008: LT
00000009: PUSH2 0x0164
0000000c: JUMPI
0000000d: PUSH0
0000000e: CALLDATALOAD
0000000f: PUSH1 0xe0
00000011: SHR
00000012: DUP1
00000013: PUSH4 0x704b6c02
00000018: GT
00000019: PUSH2 0x00cd
0000001c: JUMPI
0000001d: DUP1
0000001e: PUSH4 0x9bd27167
00000023: GT
00000024: PUSH2 0x0087
00000027: JUMPI
00000028: DUP1
00000029: PUSH4 0xc4d66de8
0000002e: GT
0000002f: PUSH2 0x0062
00000032: JUMPI
00000033: DUP1
00000034: PUSH4 0xc4d66de8
00000039: EQ
0000003a: PUSH2 0x03cf
0000003d: JUMPI
0000003e: DUP1
0000003f: PUSH4 0xd0e30db0
00000044: EQ
00000045: PUSH2 0x03ee
00000048: JUMPI
00000049: DUP1
0000004a: PUSH4 0xe1f60f54
0000004f: EQ
00000050: PUSH2 0x03f6
00000053: JUMPI
00000054: DUP1
00000055: PUSH4 0xfe3300d0
0000005a: EQ
0000005b: PUSH2 0x040a
0000005e: JUMPI
0000005f: PUSH0
00000060: DUP1
00000061: REVERT
00000062: JUMPDEST
00000063: DUP1
00000064: PUSH4 0x9bd27167
00000069: EQ
0000006a: PUSH2 0x029b
0000006d: JUMPI
0000006e: DUP1
0000006f: PUSH4 0x9ec004a2
00000074: EQ
00000075: PUSH2 0x039c
00000078: JUMPI
00000079: DUP1
0000007a: PUSH4 0xc3845079
0000007f: EQ
00000080: PUSH2 0x03bb
00000083: JUMPI
00000084: PUSH0
00000085: DUP1
00000086: REVERT
00000087: JUMPDEST
00000088: DUP1
00000089: PUSH4 0x704b6c02
0000008e: EQ
0000008f: PUSH2 0x02e2
00000092: JUMPI
00000093: DUP1
00000094: PUSH4 0x72f0cb30
00000099: EQ
0000009a: PUSH2 0x0301
0000009d: JUMPI
0000009e: DUP1
0000009f: PUSH4 0x7ac3c02f
000000a4: EQ
000000a5: PUSH2 0x0320
000000a8: JUMPI
000000a9: DUP1
000000aa: PUSH4 0x7beeaded
000000af: EQ
000000b0: PUSH2 0x0334
000000b3: JUMPI
000000b4: DUP1
000000b5: PUSH4 0x84b0196e
000000ba: EQ
000000bb: PUSH2 0x0356
000000be: JUMPI
000000bf: DUP1
000000c0: PUSH4 0x8a788883
000000c5: EQ
000000c6: PUSH2 0x037d
000000c9: JUMPI
000000ca: PUSH0
000000cb: DUP1
000000cc: REVERT
000000cd: JUMPDEST
000000ce: DUP1
000000cf: PUSH4 0x586b9d0f
000000d4: GT
000000d5: PUSH2 0x011e
000000d8: JUMPI
000000d9: DUP1
000000da: PUSH4 0x586b9d0f
000000df: EQ
000000e0: PUSH2 0x0249
000000e3: JUMPI
000000e4: DUP1
000000e5: PUSH4 0x5b0d8879
000000ea: EQ
000000eb: PUSH2 0x0268
000000ee: JUMPI
000000ef: DUP1
000000f0: PUSH4 0x5b17d04b
000000f5: EQ
000000f6: PUSH2 0x027c
000000f9: JUMPI
000000fa: DUP1
000000fb: PUSH4 0x6ada7847
00000100: EQ
00000101: PUSH2 0x029b
00000104: JUMPI
00000105: DUP1
00000106: PUSH4 0x6c19e783
0000010b: EQ
0000010c: PUSH2 0x02af
0000010f: JUMPI
00000110: DUP1
00000111: PUSH4 0x6e9960c3
00000116: EQ
00000117: PUSH2 0x02ce
0000011a: JUMPI
0000011b: PUSH0
0000011c: DUP1
0000011d: REVERT
0000011e: JUMPDEST
0000011f: DUP1
00000120: PUSH4 0x069b09e3
00000125: EQ
00000126: PUSH2 0x0177
00000129: JUMPI
0000012a: DUP1
0000012b: PUSH4 0x072278c8
00000130: EQ
00000131: PUSH2 0x01a8
00000134: JUMPI
00000135: DUP1
00000136: PUSH4 0x0f4f3976
0000013b: EQ
0000013c: PUSH2 0x01c7
0000013f: JUMPI
00000140: DUP1
00000141: PUSH4 0x21bec14a
00000146: EQ
00000147: PUSH2 0x01e8
0000014a: JUMPI
0000014b: DUP1
0000014c: PUSH4 0x401d4482
00000151: EQ
00000152: PUSH2 0x0217
00000155: JUMPI
00000156: DUP1
00000157: PUSH4 0x4785ca6e
0000015c: EQ
0000015d: PUSH2 0x0236
00000160: JUMPI
00000161: PUSH0
00000162: DUP1
00000163: REVERT
00000164: JUMPDEST
00000165: CALLDATASIZE
00000166: PUSH2 0x0173
00000169: JUMPI
0000016a: PUSH2 0x0171
0000016d: PUSH2 0x041e
00000170: JUMP
00000171: JUMPDEST
00000172: STOP
00000173: JUMPDEST
00000174: PUSH0
00000175: DUP1
00000176: REVERT
00000177: JUMPDEST
00000178: CALLVALUE
00000179: DUP1
0000017a: ISZERO
0000017b: PUSH2 0x0182
0000017e: JUMPI
0000017f: PUSH0
00000180: DUP1
00000181: REVERT
00000182: JUMPDEST
00000183: POP
00000184: PUSH2 0x018b
00000187: PUSH2 0x0543
0000018a: JUMP
0000018b: JUMPDEST
0000018c: PUSH1 0x40
0000018e: MLOAD
0000018f: PUSH1 0x01
00000191: PUSH1 0x01
00000193: PUSH1 0xa0
00000195: SHL
00000196: SUB
00000197: SWAP1
00000198: SWAP2
00000199: AND
0000019a: DUP2
0000019b: MSTORE
0000019c: PUSH1 0x20
0000019e: ADD
0000019f: JUMPDEST
000001a0: PUSH1 0x40
000001a2: MLOAD
000001a3: DUP1
000001a4: SWAP2
000001a5: SUB
000001a6: SWAP1
000001a7: RETURN
000001a8: JUMPDEST
000001a9: CALLVALUE
000001aa: DUP1
000001ab: ISZERO
000001ac: PUSH2 0x01b3
000001af: JUMPI
000001b0: PUSH0
000001b1: DUP1
000001b2: REVERT
000001b3: JUMPDEST
000001b4: POP
000001b5: PUSH2 0x0171
000001b8: PUSH2 0x01c2
000001bb: CALLDATASIZE
000001bc: PUSH1 0x04
000001be: PUSH2 0x15b9
000001c1: JUMP
000001c2: JUMPDEST
000001c3: PUSH2 0x055e
000001c6: JUMP
000001c7: JUMPDEST
000001c8: CALLVALUE
000001c9: DUP1
000001ca: ISZERO
000001cb: PUSH2 0x01d2
000001ce: JUMPI
000001cf: PUSH0
000001d0: DUP1
000001d1: REVERT
000001d2: JUMPDEST
000001d3: POP
000001d4: PUSH2 0x01db
000001d7: PUSH2 0x0957
000001da: JUMP
000001db: JUMPDEST
000001dc: PUSH1 0x40
000001de: MLOAD
000001df: PUSH2 0x019f
000001e2: SWAP2
000001e3: SWAP1
000001e4: PUSH2 0x1625
000001e7: JUMP
000001e8: JUMPDEST
000001e9: CALLVALUE
000001ea: DUP1
000001eb: ISZERO
000001ec: PUSH2 0x01f3
000001ef: JUMPI
000001f0: PUSH0
000001f1: DUP1
000001f2: REVERT
000001f3: JUMPDEST
000001f4: POP
000001f5: PUSH2 0x0207
000001f8: PUSH2 0x0202
000001fb: CALLDATASIZE
000001fc: PUSH1 0x04
000001fe: PUSH2 0x1637
00000201: JUMP
00000202: JUMPDEST
00000203: PUSH2 0x0966
00000206: JUMP
00000207: JUMPDEST
00000208: PUSH1 0x40
0000020a: MLOAD
0000020b: SWAP1
0000020c: ISZERO
0000020d: ISZERO
0000020e: DUP2
0000020f: MSTORE
00000210: PUSH1 0x20
00000212: ADD
00000213: PUSH2 0x019f
00000216: JUMP
00000217: JUMPDEST
00000218: CALLVALUE
00000219: DUP1
0000021a: ISZERO
0000021b: PUSH2 0x0222
0000021e: JUMPI
0000021f: PUSH0
00000220: DUP1
00000221: REVERT
00000222: JUMPDEST
00000223: POP
00000224: PUSH2 0x0171
00000227: PUSH2 0x0231
0000022a: CALLDATASIZE
0000022b: PUSH1 0x04
0000022d: PUSH2 0x1669
00000230: JUMP
00000231: JUMPDEST
00000232: PUSH2 0x0982
00000235: JUMP
00000236: JUMPDEST
00000237: PUSH2 0x0171
0000023a: PUSH2 0x0244
0000023d: CALLDATASIZE
0000023e: PUSH1 0x04
00000240: PUSH2 0x1691
00000243: JUMP
00000244: JUMPDEST
00000245: PUSH2 0x09d2
00000248: JUMP
00000249: JUMPDEST
0000024a: CALLVALUE
0000024b: DUP1
0000024c: ISZERO
0000024d: PUSH2 0x0254
00000250: JUMPI
00000251: PUSH0
00000252: DUP1
00000253: REVERT
00000254: JUMPDEST
00000255: POP
00000256: PUSH2 0x0171
00000259: PUSH2 0x0263
0000025c: CALLDATASIZE
0000025d: PUSH1 0x04
0000025f: PUSH2 0x1669
00000262: JUMP
00000263: JUMPDEST
00000264: PUSH2 0x0b46
00000267: JUMP
00000268: JUMPDEST
00000269: CALLVALUE
0000026a: DUP1
0000026b: ISZERO
0000026c: PUSH2 0x0273
0000026f: JUMPI
00000270: PUSH0
00000271: DUP1
00000272: REVERT
00000273: JUMPDEST
00000274: POP
00000275: PUSH2 0x0171
00000278: PUSH2 0x0bf3
0000027b: JUMP
0000027c: JUMPDEST
0000027d: CALLVALUE
0000027e: DUP1
0000027f: ISZERO
00000280: PUSH2 0x0287
00000283: JUMPI
00000284: PUSH0
00000285: DUP1
00000286: REVERT
00000287: JUMPDEST
00000288: POP
00000289: PUSH2 0x0171
0000028c: PUSH2 0x0296
0000028f: CALLDATASIZE
00000290: PUSH1 0x04
00000292: PUSH2 0x171b
00000295: JUMP
00000296: JUMPDEST
00000297: PUSH2 0x0c3b
0000029a: JUMP
0000029b: JUMPDEST
0000029c: CALLVALUE
0000029d: DUP1
0000029e: ISZERO
0000029f: PUSH2 0x02a6
000002a2: JUMPI
000002a3: PUSH0
000002a4: DUP1
000002a5: REVERT
000002a6: JUMPDEST
000002a7: POP
000002a8: PUSH2 0x0207
000002ab: PUSH2 0x0c92
000002ae: JUMP
000002af: JUMPDEST
000002b0: CALLVALUE
000002b1: DUP1
000002b2: ISZERO
000002b3: PUSH2 0x02ba
000002b6: JUMPI
000002b7: PUSH0
000002b8: DUP1
000002b9: REVERT
000002ba: JUMPDEST
000002bb: POP
000002bc: PUSH2 0x0171
000002bf: PUSH2 0x02c9
000002c2: CALLDATASIZE
000002c3: PUSH1 0x04
000002c5: PUSH2 0x173a
000002c8: JUMP
000002c9: JUMPDEST
000002ca: PUSH2 0x0ca7
000002cd: JUMP
000002ce: JUMPDEST
000002cf: CALLVALUE
000002d0: DUP1
000002d1: ISZERO
000002d2: PUSH2 0x02d9
000002d5: JUMPI
000002d6: PUSH0
000002d7: DUP1
000002d8: REVERT
000002d9: JUMPDEST
000002da: POP
000002db: PUSH2 0x018b
000002de: PUSH2 0x0d0d
000002e1: JUMP
000002e2: JUMPDEST
000002e3: CALLVALUE
000002e4: DUP1
000002e5: ISZERO
000002e6: PUSH2 0x02ed
000002e9: JUMPI
000002ea: PUSH0
000002eb: DUP1
000002ec: REVERT
000002ed: JUMPDEST
000002ee: POP
000002ef: PUSH2 0x0171
000002f2: PUSH2 0x02fc
000002f5: CALLDATASIZE
000002f6: PUSH1 0x04
000002f8: PUSH2 0x173a
000002fb: JUMP
000002fc: JUMPDEST
000002fd: PUSH2 0x0d2e
00000300: JUMP
00000301: JUMPDEST
00000302: CALLVALUE
00000303: DUP1
00000304: ISZERO
00000305: PUSH2 0x030c
00000308: JUMPI
00000309: PUSH0
0000030a: DUP1
0000030b: REVERT
0000030c: JUMPDEST
0000030d: POP
0000030e: PUSH2 0x0171
00000311: PUSH2 0x031b
00000314: CALLDATASIZE
00000315: PUSH1 0x04
00000317: PUSH2 0x1637
0000031a: JUMP
0000031b: JUMPDEST
0000031c: PUSH2 0x0d9a
0000031f: JUMP
00000320: JUMPDEST
00000321: CALLVALUE
00000322: DUP1
00000323: ISZERO
00000324: PUSH2 0x032b
00000327: JUMPI
00000328: PUSH0
00000329: DUP1
0000032a: REVERT
0000032b: JUMPDEST
0000032c: POP
0000032d: PUSH2 0x018b
00000330: PUSH2 0x0de3
00000333: JUMP
00000334: JUMPDEST
00000335: CALLVALUE
00000336: DUP1
00000337: ISZERO
00000338: PUSH2 0x033f
0000033b: JUMPI
0000033c: PUSH0
0000033d: DUP1
0000033e: REVERT
0000033f: JUMPDEST
00000340: POP
00000341: PUSH2 0x0348
00000344: PUSH2 0x0dfe
00000347: JUMP
00000348: JUMPDEST
00000349: PUSH1 0x40
0000034b: MLOAD
0000034c: SWAP1
0000034d: DUP2
0000034e: MSTORE
0000034f: PUSH1 0x20
00000351: ADD
00000352: PUSH2 0x019f
00000355: JUMP
00000356: JUMPDEST
00000357: CALLVALUE
00000358: DUP1
00000359: ISZERO
0000035a: PUSH2 0x0361
0000035d: JUMPI
0000035e: PUSH0
0000035f: DUP1
00000360: REVERT
00000361: JUMPDEST
00000362: POP
00000363: PUSH2 0x036a
00000366: PUSH2 0x0e10
00000369: JUMP
0000036a: JUMPDEST
0000036b: PUSH1 0x40
0000036d: MLOAD
0000036e: PUSH2 0x019f
00000371: SWAP8
00000372: SWAP7
00000373: SWAP6
00000374: SWAP5
00000375: SWAP4
00000376: SWAP3
00000377: SWAP2
00000378: SWAP1
00000379: PUSH2 0x1753
0000037c: JUMP
0000037d: JUMPDEST
0000037e: CALLVALUE
0000037f: DUP1
00000380: ISZERO
00000381: PUSH2 0x0388
00000384: JUMPI
00000385: PUSH0
00000386: DUP1
00000387: REVERT
00000388: JUMPDEST
00000389: POP
0000038a: PUSH2 0x0171
0000038d: PUSH2 0x0397
00000390: CALLDATASIZE
00000391: PUSH1 0x04
00000393: PUSH2 0x173a
00000396: JUMP
00000397: JUMPDEST
00000398: PUSH2 0x0e75
0000039b: JUMP
0000039c: JUMPDEST
0000039d: CALLVALUE
0000039e: DUP1
0000039f: ISZERO
000003a0: PUSH2 0x03a7
000003a3: JUMPI
000003a4: PUSH0
000003a5: DUP1
000003a6: REVERT
000003a7: JUMPDEST
000003a8: POP
000003a9: PUSH2 0x0171
000003ac: PUSH2 0x03b6
000003af: CALLDATASIZE
000003b0: PUSH1 0x04
000003b2: PUSH2 0x171b
000003b5: JUMP
000003b6: JUMPDEST
000003b7: PUSH2 0x0edb
000003ba: JUMP
000003bb: JUMPDEST
000003bc: CALLVALUE
000003bd: DUP1
000003be: ISZERO
000003bf: PUSH2 0x03c6
000003c2: JUMPI
000003c3: PUSH0
000003c4: DUP1
000003c5: REVERT
000003c6: JUMPDEST
000003c7: POP
000003c8: PUSH2 0x0171
000003cb: PUSH2 0x0f39
000003ce: JUMP
000003cf: JUMPDEST
000003d0: CALLVALUE
000003d1: DUP1
000003d2: ISZERO
000003d3: PUSH2 0x03da
000003d6: JUMPI
000003d7: PUSH0
000003d8: DUP1
000003d9: REVERT
000003da: JUMPDEST
000003db: POP
000003dc: PUSH2 0x0171
000003df: PUSH2 0x03e9
000003e2: CALLDATASIZE
000003e3: PUSH1 0x04
000003e5: PUSH2 0x173a
000003e8: JUMP
000003e9: JUMPDEST
000003ea: PUSH2 0x0fb4
000003ed: JUMP
000003ee: JUMPDEST
000003ef: PUSH2 0x0171
000003f2: PUSH2 0x041e
000003f5: JUMP
000003f6: JUMPDEST
000003f7: CALLVALUE
000003f8: DUP1
000003f9: ISZERO
000003fa: PUSH2 0x0401
000003fd: JUMPI
000003fe: PUSH0
000003ff: DUP1
00000400: REVERT
00000401: JUMPDEST
00000402: POP
00000403: PUSH2 0x0171
00000406: PUSH2 0x10a6
00000409: JUMP
0000040a: JUMPDEST
0000040b: CALLVALUE
0000040c: DUP1
0000040d: ISZERO
0000040e: PUSH2 0x0415
00000411: JUMPI
00000412: PUSH0
00000413: DUP1
00000414: REVERT
00000415: JUMPDEST
00000416: POP
00000417: PUSH2 0x0348
0000041a: PUSH2 0x1103
0000041d: JUMP
0000041e: JUMPDEST
0000041f: PUSH2 0x0426
00000422: PUSH2 0x1115
00000425: JUMP
00000426: JUMPDEST
00000427: PUSH1 0x01
00000429: ADD
0000042a: SLOAD
0000042b: PUSH1 0xff
0000042d: AND
0000042e: PUSH2 0x0471
00000431: JUMPI
00000432: PUSH1 0x40
00000434: MLOAD
00000435: PUSH3 0x461bcd
00000439: PUSH1 0xe5
0000043b: SHL
0000043c: DUP2
0000043d: MSTORE
0000043e: PUSH1 0x20
00000440: PUSH1 0x04
00000442: DUP3
00000443: ADD
00000444: MSTORE
00000445: PUSH1 0x10
00000447: PUSH1 0x24
00000449: DUP3
0000044a: ADD
0000044b: MSTORE
0000044c: PUSH16 0x11195c1bdcda5d08191a5cd8589b1959
0000045d: PUSH1 0x82
0000045f: SHL
00000460: PUSH1 0x44
00000462: DUP3
00000463: ADD
00000464: MSTORE
00000465: PUSH1 0x64
00000467: ADD
00000468: JUMPDEST
00000469: PUSH1 0x40
0000046b: MLOAD
0000046c: DUP1
0000046d: SWAP2
0000046e: SUB
0000046f: SWAP1
00000470: REVERT
00000471: JUMPDEST
00000472: CALLER
00000473: ORIGIN
00000474: EQ
00000475: PUSH2 0x0490
00000478: JUMPI
00000479: PUSH1 0x40
0000047b: MLOAD
0000047c: PUSH3 0x461bcd
00000480: PUSH1 0xe5
00000482: SHL
00000483: DUP2
00000484: MSTORE
00000485: PUSH1 0x04
00000487: ADD
00000488: PUSH2 0x0468
0000048b: SWAP1
0000048c: PUSH2 0x17e9
0000048f: JUMP
00000490: JUMPDEST
00000491: CALLVALUE
00000492: CALLER
00000493: PUSH0
00000494: DUP3
00000495: SWAP1
00000496: SUB
00000497: PUSH2 0x04b3
0000049a: JUMPI
0000049b: PUSH1 0x40
0000049d: MLOAD
0000049e: PUSH4 0x162908e3
000004a3: PUSH1 0xe1
000004a5: SHL
000004a6: DUP2
000004a7: MSTORE
000004a8: PUSH1 0x04
000004aa: ADD
000004ab: PUSH1 0x40
000004ad: MLOAD
000004ae: DUP1
000004af: SWAP2
000004b0: SUB
000004b1: SWAP1
000004b2: REVERT
000004b3: JUMPDEST
000004b4: PUSH0
000004b5: PUSH2 0x04bc
000004b8: PUSH2 0x1139
000004bb: JUMP
000004bc: JUMPDEST
000004bd: PUSH2 0x04ce
000004c0: DUP4
000004c1: PUSH1 0x01
000004c3: PUSH1 0x01
000004c5: PUSH1 0xa0
000004c7: SHL
000004c8: SUB
000004c9: AND
000004ca: PUSH2 0x1159
000004cd: JUMP
000004ce: JUMPDEST
000004cf: PUSH2 0x04d7
000004d2: DUP6
000004d3: PUSH2 0x117d
000004d6: JUMP
000004d7: JUMPDEST
000004d8: PUSH1 0x40
000004da: MLOAD
000004db: PUSH1 0x20
000004dd: ADD
000004de: PUSH2 0x04e9
000004e1: SWAP4
000004e2: SWAP3
000004e3: SWAP2
000004e4: SWAP1
000004e5: PUSH2 0x1898
000004e8: JUMP
000004e9: JUMPDEST
000004ea: PUSH1 0x40
000004ec: MLOAD
000004ed: PUSH1 0x20
000004ef: DUP2
000004f0: DUP4
000004f1: SUB
000004f2: SUB
000004f3: DUP2
000004f4: MSTORE
000004f5: SWAP1
000004f6: PUSH1 0x40
000004f8: MSTORE
000004f9: SWAP1
000004fa: POP
000004fb: PUSH3 0x0face7
000004ff: PUSH1 0x01
00000501: PUSH1 0x01
00000503: PUSH1 0xa0
00000505: SHL
00000506: SUB
00000507: AND
00000508: PUSH32 0x665fba0baf3dc33e9943340197893ac16f56482c2defb8de60f944987fee451c
00000529: DUP3
0000052a: PUSH1 0x40
0000052c: MLOAD
0000052d: PUSH2 0x0536
00000530: SWAP2
00000531: SWAP1
00000532: PUSH2 0x1625
00000535: JUMP
00000536: JUMPDEST
00000537: PUSH1 0x40
00000539: MLOAD
0000053a: DUP1
0000053b: SWAP2
0000053c: SUB
0000053d: SWAP1
0000053e: LOG2
0000053f: POP
00000540: POP
00000541: POP
00000542: JUMP
00000543: JUMPDEST
00000544: PUSH0
00000545: PUSH2 0x054c
00000548: PUSH2 0x1115
0000054b: JUMP
0000054c: JUMPDEST
0000054d: PUSH1 0x03
0000054f: ADD
00000550: SLOAD
00000551: PUSH1 0x01
00000553: PUSH1 0x01
00000555: PUSH1 0xa0
00000557: SHL
00000558: SUB
00000559: AND
0000055a: SWAP2
0000055b: SWAP1
0000055c: POP
0000055d: JUMP
0000055e: JUMPDEST
0000055f: CALLER
00000560: ORIGIN
00000561: EQ
00000562: PUSH2 0x057d
00000565: JUMPI
00000566: PUSH1 0x40
00000568: MLOAD
00000569: PUSH3 0x461bcd
0000056d: PUSH1 0xe5
0000056f: SHL
00000570: DUP2
00000571: MSTORE
00000572: PUSH1 0x04
00000574: ADD
00000575: PUSH2 0x0468
00000578: SWAP1
00000579: PUSH2 0x17e9
0000057c: JUMP
0000057d: JUMPDEST
0000057e: PUSH2 0x0585
00000581: PUSH2 0x1115
00000584: JUMP
00000585: JUMPDEST
00000586: PUSH1 0x01
00000588: ADD
00000589: SLOAD
0000058a: PUSH2 0x0100
0000058d: SWAP1
0000058e: DIV
0000058f: PUSH1 0xff
00000591: AND
00000592: PUSH2 0x05d1
00000595: JUMPI
00000596: PUSH1 0x40
00000598: MLOAD
00000599: PUSH3 0x461bcd
0000059d: PUSH1 0xe5
0000059f: SHL
000005a0: DUP2
000005a1: MSTORE
000005a2: PUSH1 0x20
000005a4: PUSH1 0x04
000005a6: DUP3
000005a7: ADD
000005a8: MSTORE
000005a9: PUSH1 0x11
000005ab: PUSH1 0x24
000005ad: DUP3
000005ae: ADD
000005af: MSTORE
000005b0: PUSH17 0x15da5d1a191c985dc8191a5cd8589b1959
000005c2: PUSH1 0x7a
000005c4: SHL
000005c5: PUSH1 0x44
000005c7: DUP3
000005c8: ADD
000005c9: MSTORE
000005ca: PUSH1 0x64
000005cc: ADD
000005cd: PUSH2 0x0468
000005d0: JUMP
000005d1: JUMPDEST
000005d2: PUSH0
000005d3: PUSH2 0x067f
000005d6: PUSH32 0xe0ebad47849a6055de6deac8623105ad886338d35d1f3d8a14dc97e07fb242fa
000005f7: PUSH2 0x0603
000005fa: PUSH1 0x20
000005fc: DUP6
000005fd: ADD
000005fe: DUP6
000005ff: PUSH2 0x173a
00000602: JUMP
00000603: JUMPDEST
00000604: PUSH2 0x060b
00000607: PUSH2 0x1115
0000060a: JUMP
0000060b: JUMPDEST
0000060c: PUSH1 0x03
0000060e: ADD
0000060f: SLOAD
00000610: PUSH1 0x40
00000612: DUP1
00000613: MLOAD
00000614: PUSH1 0x20
00000616: DUP1
00000617: DUP3
00000618: ADD
00000619: SWAP6
0000061a: SWAP1
0000061b: SWAP6
0000061c: MSTORE
0000061d: PUSH1 0x01
0000061f: PUSH1 0x01
00000621: PUSH1 0xa0
00000623: SHL
00000624: SUB
00000625: SWAP4
00000626: DUP5
00000627: AND
00000628: DUP2
00000629: DUP4
0000062a: ADD
0000062b: MSTORE
0000062c: SWAP3
0000062d: SWAP1
0000062e: SWAP2
0000062f: AND
00000630: PUSH1 0x60
00000632: DUP1
00000633: DUP5
00000634: ADD
00000635: SWAP2
00000636: SWAP1
00000637: SWAP2
00000638: MSTORE
00000639: SWAP3
0000063a: DUP7
0000063b: ADD
0000063c: CALLDATALOAD
0000063d: PUSH1 0x80
0000063f: DUP1
00000640: DUP5
00000641: ADD
00000642: SWAP2
00000643: SWAP1
00000644: SWAP2
00000645: MSTORE
00000646: SWAP1
00000647: DUP7
00000648: ADD
00000649: CALLDATALOAD
0000064a: PUSH1 0xa0
0000064c: DUP4
0000064d: ADD
0000064e: MSTORE
0000064f: SWAP2
00000650: DUP6
00000651: ADD
00000652: CALLDATALOAD
00000653: PUSH1 0xc0
00000655: DUP3
00000656: ADD
00000657: MSTORE
00000658: SWAP1
00000659: DUP5
0000065a: ADD
0000065b: CALLDATALOAD
0000065c: PUSH1 0xe0
0000065e: DUP3
0000065f: ADD
00000660: MSTORE
00000661: PUSH2 0x0100
00000664: ADD
00000665: PUSH1 0x40
00000667: MLOAD
00000668: PUSH1 0x20
0000066a: DUP2
0000066b: DUP4
0000066c: SUB
0000066d: SUB
0000066e: DUP2
0000066f: MSTORE
00000670: SWAP1
00000671: PUSH1 0x40
00000673: MSTORE
00000674: DUP1
00000675: MLOAD
00000676: SWAP1
00000677: PUSH1 0x20
00000679: ADD
0000067a: KECCAK256
0000067b: PUSH2 0x11bf
0000067e: JUMP
0000067f: JUMPDEST
00000680: SWAP1
00000681: POP
00000682: PUSH0
00000683: PUSH2 0x069a
00000686: PUSH2 0x0692
00000689: PUSH1 0xa0
0000068b: DUP6
0000068c: ADD
0000068d: DUP6
0000068e: PUSH2 0x1914
00000691: JUMP
00000692: JUMPDEST
00000693: DUP5
00000694: SWAP2
00000695: SWAP1
00000696: PUSH2 0x12d5
00000699: JUMP
0000069a: JUMPDEST
0000069b: SWAP1
0000069c: POP
0000069d: PUSH2 0x06a4
000006a0: PUSH2 0x1115
000006a3: JUMP
000006a4: JUMPDEST
000006a5: PUSH1 0x02
000006a7: ADD
000006a8: SLOAD
000006a9: PUSH1 0x01
000006ab: PUSH1 0x01
000006ad: PUSH1 0xa0
000006af: SHL
000006b0: SUB
000006b1: DUP3
000006b2: DUP2
000006b3: AND
000006b4: SWAP2
000006b5: AND
000006b6: EQ
000006b7: PUSH2 0x06f6
000006ba: JUMPI
000006bb: PUSH1 0x40
000006bd: MLOAD
000006be: PUSH3 0x461bcd
000006c2: PUSH1 0xe5
000006c4: SHL
000006c5: DUP2
000006c6: MSTORE
000006c7: PUSH1 0x20
000006c9: PUSH1 0x04
000006cb: DUP3
000006cc: ADD
000006cd: MSTORE
000006ce: PUSH1 0x11
000006d0: PUSH1 0x24
000006d2: DUP3
000006d3: ADD
000006d4: MSTORE
000006d5: PUSH17 0x496e76616c6964207369676e6174757265
000006e7: PUSH1 0x78
000006e9: SHL
000006ea: PUSH1 0x44
000006ec: DUP3
000006ed: ADD
000006ee: MSTORE
000006ef: PUSH1 0x64
000006f1: ADD
000006f2: PUSH2 0x0468
000006f5: JUMP
000006f6: JUMPDEST
000006f7: PUSH2 0x06fe
000006fa: PUSH2 0x1115
000006fd: JUMP
000006fe: JUMPDEST
000006ff: PUSH1 0x40
00000701: DUP1
00000702: DUP6
00000703: ADD
00000704: CALLDATALOAD
00000705: PUSH0
00000706: SWAP1
00000707: DUP2
00000708: MSTORE
00000709: PUSH1 0x20
0000070b: SWAP3
0000070c: SWAP1
0000070d: SWAP3
0000070e: MSTORE
0000070f: SWAP1
00000710: KECCAK256
00000711: SLOAD
00000712: PUSH1 0xff
00000714: AND
00000715: ISZERO
00000716: PUSH2 0x0755
00000719: JUMPI
0000071a: PUSH1 0x40
0000071c: MLOAD
0000071d: PUSH3 0x461bcd
00000721: PUSH1 0xe5
00000723: SHL
00000724: DUP2
00000725: MSTORE
00000726: PUSH1 0x20
00000728: PUSH1 0x04
0000072a: DUP3
0000072b: ADD
0000072c: MSTORE
0000072d: PUSH1 0x11
0000072f: PUSH1 0x24
00000731: DUP3
00000732: ADD
00000733: MSTORE
00000734: PUSH17 0x105b1c9958591e481c1c9bd8d95cdcd959
00000746: PUSH1 0x7a
00000748: SHL
00000749: PUSH1 0x44
0000074b: DUP3
0000074c: ADD
0000074d: MSTORE
0000074e: PUSH1 0x64
00000750: ADD
00000751: PUSH2 0x0468
00000754: JUMP
00000755: JUMPDEST
00000756: DUP3
00000757: PUSH1 0x80
00000759: ADD
0000075a: CALLDATALOAD
0000075b: PUSH2 0x0762
0000075e: PUSH2 0x1115
00000761: JUMP
00000762: JUMPDEST
00000763: PUSH1 0x04
00000765: ADD
00000766: SLOAD
00000767: GT
00000768: ISZERO
00000769: PUSH2 0x07a9
0000076c: JUMPI
0000076d: PUSH1 0x40
0000076f: MLOAD
00000770: PUSH3 0x461bcd
00000774: PUSH1 0xe5
00000776: SHL
00000777: DUP2
00000778: MSTORE
00000779: PUSH1 0x20
0000077b: PUSH1 0x04
0000077d: DUP3
0000077e: ADD
0000077f: MSTORE
00000780: PUSH1 0x12
00000782: PUSH1 0x24
00000784: DUP3
00000785: ADD
00000786: MSTORE
00000787: PUSH18 0x14da59db985d1d5c994818d85b98d95b1959
0000079a: PUSH1 0x72
0000079c: SHL
0000079d: PUSH1 0x44
0000079f: DUP3
000007a0: ADD
000007a1: MSTORE
000007a2: PUSH1 0x64
000007a4: ADD
000007a5: PUSH2 0x0468
000007a8: JUMP
000007a9: JUMPDEST
000007aa: PUSH2 0x07b1
000007ad: PUSH2 0x1115
000007b0: JUMP
000007b1: JUMPDEST
000007b2: PUSH1 0x05
000007b4: ADD
000007b5: SLOAD
000007b6: PUSH2 0x07c3
000007b9: SWAP1
000007ba: PUSH1 0x80
000007bc: DUP6
000007bd: ADD
000007be: CALLDATALOAD
000007bf: PUSH2 0x195e
000007c2: JUMP
000007c3: JUMPDEST
000007c4: NUMBER
000007c5: LT
000007c6: ISZERO
000007c7: PUSH2 0x0803
000007ca: JUMPI
000007cb: PUSH1 0x40
000007cd: MLOAD
000007ce: PUSH3 0x461bcd
000007d2: PUSH1 0xe5
000007d4: SHL
000007d5: DUP2
000007d6: MSTORE
000007d7: PUSH1 0x20
000007d9: PUSH1 0x04
000007db: DUP3
000007dc: ADD
000007dd: MSTORE
000007de: PUSH1 0x0e
000007e0: PUSH1 0x24
000007e2: DUP3
000007e3: ADD
000007e4: MSTORE
000007e5: PUSH14 0x57697468647261772064656c6179
000007f4: PUSH1 0x90
000007f6: SHL
000007f7: PUSH1 0x44
000007f9: DUP3
000007fa: ADD
000007fb: MSTORE
000007fc: PUSH1 0x64
000007fe: ADD
000007ff: PUSH2 0x0468
00000802: JUMP
00000803: JUMPDEST
00000804: PUSH1 0x60
00000806: DUP4
00000807: ADD
00000808: CALLDATALOAD
00000809: ISZERO
0000080a: DUP1
0000080b: PUSH2 0x081c
0000080e: JUMPI
0000080f: POP
00000810: DUP3
00000811: PUSH1 0x60
00000813: ADD
00000814: CALLDATALOAD
00000815: DUP4
00000816: PUSH1 0x80
00000818: ADD
00000819: CALLDATALOAD
0000081a: BLOCKHASH
0000081b: EQ
0000081c: JUMPDEST
0000081d: PUSH2 0x0868
00000820: JUMPI
00000821: PUSH1 0x40
00000823: MLOAD
00000824: PUSH3 0x461bcd
00000828: PUSH1 0xe5
0000082a: SHL
0000082b: DUP2
0000082c: MSTORE
0000082d: PUSH1 0x20
0000082f: PUSH1 0x04
00000831: DUP3
00000832: ADD
00000833: MSTORE
00000834: PUSH1 0x1c
00000836: PUSH1 0x24
00000838: DUP3
00000839: ADD
0000083a: MSTORE
0000083b: PUSH32 0x496e76616c696420626c6f636b206e756d626572206f72206861736800000000
0000085c: PUSH1 0x44
0000085e: DUP3
0000085f: ADD
00000860: MSTORE
00000861: PUSH1 0x64
00000863: ADD
00000864: PUSH2 0x0468
00000867: JUMP
00000868: JUMPDEST
00000869: PUSH1 0x01
0000086b: PUSH2 0x0872
0000086e: PUSH2 0x1115
00000871: JUMP
00000872: JUMPDEST
00000873: PUSH1 0x40
00000875: DUP6
00000876: DUP2
00000877: ADD
00000878: CALLDATALOAD
00000879: PUSH0
0000087a: SWAP1
0000087b: DUP2
0000087c: MSTORE
0000087d: PUSH1 0x20
0000087f: SWAP3
00000880: DUP4
00000881: MSTORE
00000882: KECCAK256
00000883: DUP1
00000884: SLOAD
00000885: PUSH1 0xff
00000887: NOT
00000888: AND
00000889: SWAP3
0000088a: ISZERO
0000088b: ISZERO
0000088c: SWAP3
0000088d: SWAP1
0000088e: SWAP3
0000088f: OR
00000890: SWAP1
00000891: SWAP2
00000892: SSTORE
00000893: PUSH2 0x08b4
00000896: SWAP1
00000897: DUP5
00000898: ADD
00000899: DUP1
0000089a: CALLDATALOAD
0000089b: SWAP1
0000089c: PUSH2 0x08a5
0000089f: SWAP1
000008a0: DUP7
000008a1: PUSH2 0x173a
000008a4: JUMP
000008a5: JUMPDEST
000008a6: PUSH1 0x01
000008a8: PUSH1 0x01
000008aa: PUSH1 0xa0
000008ac: SHL
000008ad: SUB
000008ae: AND
000008af: SWAP1
000008b0: PUSH2 0x135c
000008b3: JUMP
000008b4: JUMPDEST
000008b5: PUSH0
000008b6: PUSH2 0x08bd
000008b9: PUSH2 0x1139
000008bc: JUMP
000008bd: JUMPDEST
000008be: PUSH2 0x08db
000008c1: PUSH2 0x08cd
000008c4: PUSH1 0x20
000008c6: DUP8
000008c7: ADD
000008c8: DUP8
000008c9: PUSH2 0x173a
000008cc: JUMP
000008cd: JUMPDEST
000008ce: PUSH1 0x01
000008d0: PUSH1 0x01
000008d2: PUSH1 0xa0
000008d4: SHL
000008d5: SUB
000008d6: AND
000008d7: PUSH2 0x1159
000008da: JUMP
000008db: JUMPDEST
000008dc: PUSH2 0x08ea
000008df: PUSH1 0x40
000008e1: DUP8
000008e2: ADD
000008e3: CALLDATALOAD
000008e4: PUSH1 0x20
000008e6: PUSH2 0x139b
000008e9: JUMP
000008ea: JUMPDEST
000008eb: PUSH1 0x40
000008ed: MLOAD
000008ee: PUSH1 0x20
000008f0: ADD
000008f1: PUSH2 0x08fc
000008f4: SWAP4
000008f5: SWAP3
000008f6: SWAP2
000008f7: SWAP1
000008f8: PUSH2 0x197d
000008fb: JUMP
000008fc: JUMPDEST
000008fd: PUSH1 0x40
000008ff: MLOAD
00000900: PUSH1 0x20
00000902: DUP2
00000903: DUP4
00000904: SUB
00000905: SUB
00000906: DUP2
00000907: MSTORE
00000908: SWAP1
00000909: PUSH1 0x40
0000090b: MSTORE
0000090c: SWAP1
0000090d: POP
0000090e: PUSH3 0x0face7
00000912: PUSH1 0x01
00000914: PUSH1 0x01
00000916: PUSH1 0xa0
00000918: SHL
00000919: SUB
0000091a: AND
0000091b: PUSH32 0x665fba0baf3dc33e9943340197893ac16f56482c2defb8de60f944987fee451c
0000093c: DUP3
0000093d: PUSH1 0x40
0000093f: MLOAD
00000940: PUSH2 0x0949
00000943: SWAP2
00000944: SWAP1
00000945: PUSH2 0x1625
00000948: JUMP
00000949: JUMPDEST
0000094a: PUSH1 0x40
0000094c: MLOAD
0000094d: DUP1
0000094e: SWAP2
0000094f: SUB
00000950: SWAP1
00000951: LOG2
00000952: POP
00000953: POP
00000954: POP
00000955: POP
00000956: JUMP
00000957: JUMPDEST
00000958: PUSH1 0x60
0000095a: PUSH2 0x0961
0000095d: PUSH2 0x1139
00000960: JUMP
00000961: JUMPDEST
00000962: SWAP1
00000963: POP
00000964: SWAP1
00000965: JUMP
00000966: JUMPDEST
00000967: PUSH0
00000968: PUSH2 0x096f
0000096b: PUSH2 0x1115
0000096e: JUMP
0000096f: JUMPDEST
00000970: PUSH0
00000971: SWAP3
00000972: DUP4
00000973: MSTORE
00000974: PUSH1 0x20
00000976: MSTORE
00000977: POP
00000978: PUSH1 0x40
0000097a: SWAP1
0000097b: KECCAK256
0000097c: SLOAD
0000097d: PUSH1 0xff
0000097f: AND
00000980: SWAP1
00000981: JUMP
00000982: JUMPDEST
00000983: PUSH2 0x098a
00000986: PUSH2 0x1115
00000989: JUMP
0000098a: JUMPDEST
0000098b: PUSH1 0x01
0000098d: ADD
0000098e: SLOAD
0000098f: PUSH3 0x010000
00000993: SWAP1
00000994: DIV
00000995: PUSH1 0x01
00000997: PUSH1 0x01
00000999: PUSH1 0xa0
0000099b: SHL
0000099c: SUB
0000099d: AND
0000099e: CALLER
0000099f: EQ
000009a0: PUSH2 0x09bb
000009a3: JUMPI
000009a4: PUSH1 0x40
000009a6: MLOAD
000009a7: PUSH3 0x461bcd
000009ab: PUSH1 0xe5
000009ad: SHL
000009ae: DUP2
000009af: MSTORE
000009b0: PUSH1 0x04
000009b2: ADD
000009b3: PUSH2 0x0468
000009b6: SWAP1
000009b7: PUSH2 0x19d2
000009ba: JUMP
000009bb: JUMPDEST
000009bc: PUSH2 0x09ce
000009bf: PUSH1 0x01
000009c1: PUSH1 0x01
000009c3: PUSH1 0xa0
000009c5: SHL
000009c6: SUB
000009c7: DUP4
000009c8: AND
000009c9: DUP3
000009ca: PUSH2 0x135c
000009cd: JUMP
000009ce: JUMPDEST
000009cf: POP
000009d0: POP
000009d1: JUMP
000009d2: JUMPDEST
000009d3: PUSH2 0x09da
000009d6: PUSH2 0x1115
000009d9: JUMP
000009da: JUMPDEST
000009db: PUSH1 0x01
000009dd: ADD
000009de: SLOAD
000009df: PUSH1 0xff
000009e1: AND
000009e2: PUSH2 0x0a20
000009e5: JUMPI
000009e6: PUSH1 0x40
000009e8: MLOAD
000009e9: PUSH3 0x461bcd
000009ed: PUSH1 0xe5
000009ef: SHL
000009f0: DUP2
000009f1: MSTORE
000009f2: PUSH1 0x20
000009f4: PUSH1 0x04
000009f6: DUP3
000009f7: ADD
000009f8: MSTORE
000009f9: PUSH1 0x10
000009fb: PUSH1 0x24
000009fd: DUP3
000009fe: ADD
000009ff: MSTORE
00000a00: PUSH16 0x11195c1bdcda5d08191a5cd8589b1959
00000a11: PUSH1 0x82
00000a13: SHL
00000a14: PUSH1 0x44
00000a16: DUP3
00000a17: ADD
00000a18: MSTORE
00000a19: PUSH1 0x64
00000a1b: ADD
00000a1c: PUSH2 0x0468
00000a1f: JUMP
00000a20: JUMPDEST
00000a21: CALLER
00000a22: ORIGIN
00000a23: EQ
00000a24: PUSH2 0x0a3f
00000a27: JUMPI
00000a28: PUSH1 0x40
00000a2a: MLOAD
00000a2b: PUSH3 0x461bcd
00000a2f: PUSH1 0xe5
00000a31: SHL
00000a32: DUP2
00000a33: MSTORE
00000a34: PUSH1 0x04
00000a36: ADD
00000a37: PUSH2 0x0468
00000a3a: SWAP1
00000a3b: PUSH2 0x17e9
00000a3e: JUMP
00000a3f: JUMPDEST
00000a40: CALLVALUE
00000a41: PUSH0
00000a42: DUP2
00000a43: SWAP1
00000a44: SUB
00000a45: PUSH2 0x0a61
00000a48: JUMPI
00000a49: PUSH1 0x40
00000a4b: MLOAD
00000a4c: PUSH4 0x162908e3
00000a51: PUSH1 0xe1
00000a53: SHL
00000a54: DUP2
00000a55: MSTORE
00000a56: PUSH1 0x04
00000a58: ADD
00000a59: PUSH1 0x40
00000a5b: MLOAD
00000a5c: DUP1
00000a5d: SWAP2
00000a5e: SUB
00000a5f: SWAP1
00000a60: REVERT
00000a61: JUMPDEST
00000a62: PUSH0
00000a63: PUSH2 0x0a6a
00000a66: PUSH2 0x1139
00000a69: JUMP
00000a6a: JUMPDEST
00000a6b: PUSH2 0x0a7c
00000a6e: DUP8
00000a6f: PUSH1 0x01
00000a71: PUSH1 0x01
00000a73: PUSH1 0xa0
00000a75: SHL
00000a76: SUB
00000a77: AND
00000a78: PUSH2 0x1159
00000a7b: JUMP
00000a7c: JUMPDEST
00000a7d: PUSH2 0x0a85
00000a80: DUP5
00000a81: PUSH2 0x117d
00000a84: JUMP
00000a85: JUMPDEST
00000a86: PUSH2 0x0a97
00000a89: DUP9
00000a8a: PUSH1 0x01
00000a8c: PUSH1 0x01
00000a8e: PUSH1 0xa0
00000a90: SHL
00000a91: SUB
00000a92: AND
00000a93: PUSH2 0x1159
00000a96: JUMP
00000a97: JUMPDEST
00000a98: PUSH2 0x0ad5
00000a9b: DUP9
00000a9c: DUP9
00000a9d: DUP1
00000a9e: DUP1
00000a9f: PUSH1 0x1f
00000aa1: ADD
00000aa2: PUSH1 0x20
00000aa4: DUP1
00000aa5: SWAP2
00000aa6: DIV
00000aa7: MUL
00000aa8: PUSH1 0x20
00000aaa: ADD
00000aab: PUSH1 0x40
00000aad: MLOAD
00000aae: SWAP1
00000aaf: DUP2
00000ab0: ADD
00000ab1: PUSH1 0x40
00000ab3: MSTORE
00000ab4: DUP1
00000ab5: SWAP4
00000ab6: SWAP3
00000ab7: SWAP2
00000ab8: SWAP1
00000ab9: DUP2
00000aba: DUP2
00000abb: MSTORE
00000abc: PUSH1 0x20
00000abe: ADD
00000abf: DUP4
00000ac0: DUP4
00000ac1: DUP1
00000ac2: DUP3
00000ac3: DUP5
00000ac4: CALLDATACOPY
00000ac5: PUSH0
00000ac6: SWAP3
00000ac7: ADD
00000ac8: SWAP2
00000ac9: SWAP1
00000aca: SWAP2
00000acb: MSTORE
00000acc: POP
00000acd: PUSH2 0x13c1
00000ad0: SWAP3
00000ad1: POP
00000ad2: POP
00000ad3: POP
00000ad4: JUMP
00000ad5: JUMPDEST
00000ad6: PUSH1 0x40
00000ad8: MLOAD
00000ad9: PUSH1 0x20
00000adb: ADD
00000adc: PUSH2 0x0ae9
00000adf: SWAP6
00000ae0: SWAP5
00000ae1: SWAP4
00000ae2: SWAP3
00000ae3: SWAP2
00000ae4: SWAP1
00000ae5: PUSH2 0x19f5
00000ae8: JUMP
00000ae9: JUMPDEST
00000aea: PUSH1 0x40
00000aec: MLOAD
00000aed: PUSH1 0x20
00000aef: DUP2
00000af0: DUP4
00000af1: SUB
00000af2: SUB
00000af3: DUP2
00000af4: MSTORE
00000af5: SWAP1
00000af6: PUSH1 0x40
00000af8: MSTORE
00000af9: SWAP1
00000afa: POP
00000afb: PUSH3 0x0face7
00000aff: PUSH1 0x01
00000b01: PUSH1 0x01
00000b03: PUSH1 0xa0
00000b05: SHL
00000b06: SUB
00000b07: AND
00000b08: PUSH32 0x665fba0baf3dc33e9943340197893ac16f56482c2defb8de60f944987fee451c
00000b29: DUP3
00000b2a: PUSH1 0x40
00000b2c: MLOAD
00000b2d: PUSH2 0x0b36
00000b30: SWAP2
00000b31: SWAP1
00000b32: PUSH2 0x1625
00000b35: JUMP
00000b36: JUMPDEST
00000b37: PUSH1 0x40
00000b39: MLOAD
00000b3a: DUP1
00000b3b: SWAP2
00000b3c: SUB
00000b3d: SWAP1
00000b3e: LOG2
00000b3f: POP
00000b40: POP
00000b41: POP
00000b42: POP
00000b43: POP
00000b44: POP
00000b45: JUMP
00000b46: JUMPDEST
00000b47: PUSH2 0x0b4e
00000b4a: PUSH2 0x1115
00000b4d: JUMP
00000b4e: JUMPDEST
00000b4f: PUSH1 0x01
00000b51: ADD
00000b52: SLOAD
00000b53: PUSH3 0x010000
00000b57: SWAP1
00000b58: DIV
00000b59: PUSH1 0x01
00000b5b: PUSH1 0x01
00000b5d: PUSH1 0xa0
00000b5f: SHL
00000b60: SUB
00000b61: AND
00000b62: CALLER
00000b63: EQ
00000b64: PUSH2 0x0b7f
00000b67: JUMPI
00000b68: PUSH1 0x40
00000b6a: MLOAD
00000b6b: PUSH3 0x461bcd
00000b6f: PUSH1 0xe5
00000b71: SHL
00000b72: DUP2
00000b73: MSTORE
00000b74: PUSH1 0x04
00000b76: ADD
00000b77: PUSH2 0x0468
00000b7a: SWAP1
00000b7b: PUSH2 0x19d2
00000b7e: JUMP
00000b7f: JUMPDEST
00000b80: PUSH1 0x01
00000b82: PUSH2 0x0b89
00000b85: PUSH2 0x1115
00000b88: JUMP
00000b89: JUMPDEST
00000b8a: PUSH0
00000b8b: DUP4
00000b8c: DUP2
00000b8d: MSTORE
00000b8e: PUSH1 0x20
00000b90: SWAP2
00000b91: SWAP1
00000b92: SWAP2
00000b93: MSTORE
00000b94: PUSH1 0x40
00000b96: DUP2
00000b97: KECCAK256
00000b98: DUP1
00000b99: SLOAD
00000b9a: PUSH1 0xff
00000b9c: NOT
00000b9d: AND
00000b9e: SWAP3
00000b9f: ISZERO
00000ba0: ISZERO
00000ba1: SWAP3
00000ba2: SWAP1
00000ba3: SWAP3
00000ba4: OR
00000ba5: SWAP1
00000ba6: SWAP2
00000ba7: SSTORE
00000ba8: PUSH2 0x0bc4
00000bab: PUSH2 0x0bb2
00000bae: PUSH2 0x1115
00000bb1: JUMP
00000bb2: JUMPDEST
00000bb3: PUSH1 0x03
00000bb5: ADD
00000bb6: SLOAD
00000bb7: PUSH1 0x01
00000bb9: PUSH1 0x01
00000bbb: PUSH1 0xa0
00000bbd: SHL
00000bbe: SUB
00000bbf: AND
00000bc0: PUSH2 0x1159
00000bc3: JUMP
00000bc4: JUMPDEST
00000bc5: PUSH2 0x0bd6
00000bc8: DUP5
00000bc9: PUSH1 0x01
00000bcb: PUSH1 0x01
00000bcd: PUSH1 0xa0
00000bcf: SHL
00000bd0: SUB
00000bd1: AND
00000bd2: PUSH2 0x1159
00000bd5: JUMP
00000bd6: JUMPDEST
00000bd7: PUSH2 0x0be1
00000bda: DUP5
00000bdb: PUSH1 0x20
00000bdd: PUSH2 0x139b
00000be0: JUMP
00000be1: JUMPDEST
00000be2: PUSH1 0x40
00000be4: MLOAD
00000be5: PUSH1 0x20
00000be7: ADD
00000be8: PUSH2 0x04e9
00000beb: SWAP4
00000bec: SWAP3
00000bed: SWAP2
00000bee: SWAP1
00000bef: PUSH2 0x1aa8
00000bf2: JUMP
00000bf3: JUMPDEST
00000bf4: PUSH2 0x0bfb
00000bf7: PUSH2 0x1115
00000bfa: JUMP
00000bfb: JUMPDEST
00000bfc: PUSH1 0x01
00000bfe: ADD
00000bff: SLOAD
00000c00: PUSH3 0x010000
00000c04: SWAP1
00000c05: DIV
00000c06: PUSH1 0x01
00000c08: PUSH1 0x01
00000c0a: PUSH1 0xa0
00000c0c: SHL
00000c0d: SUB
00000c0e: AND
00000c0f: CALLER
00000c10: EQ
00000c11: PUSH2 0x0c2c
00000c14: JUMPI
00000c15: PUSH1 0x40
00000c17: MLOAD
00000c18: PUSH3 0x461bcd
00000c1c: PUSH1 0xe5
00000c1e: SHL
00000c1f: DUP2
00000c20: MSTORE
00000c21: PUSH1 0x04
00000c23: ADD
00000c24: PUSH2 0x0468
00000c27: SWAP1
00000c28: PUSH2 0x19d2
00000c2b: JUMP
00000c2c: JUMPDEST
00000c2d: NUMBER
00000c2e: PUSH2 0x0c35
00000c31: PUSH2 0x1115
00000c34: JUMP
00000c35: JUMPDEST
00000c36: PUSH1 0x04
00000c38: ADD
00000c39: SSTORE
00000c3a: JUMP
00000c3b: JUMPDEST
00000c3c: PUSH2 0x0c43
00000c3f: PUSH2 0x1115
00000c42: JUMP
00000c43: JUMPDEST
00000c44: PUSH1 0x01
00000c46: ADD
00000c47: SLOAD
00000c48: PUSH3 0x010000
00000c4c: SWAP1
00000c4d: DIV
00000c4e: PUSH1 0x01
00000c50: PUSH1 0x01
00000c52: PUSH1 0xa0
00000c54: SHL
00000c55: SUB
00000c56: AND
00000c57: CALLER
00000c58: EQ
00000c59: PUSH2 0x0c74
00000c5c: JUMPI
00000c5d: PUSH1 0x40
00000c5f: MLOAD
00000c60: PUSH3 0x461bcd
00000c64: PUSH1 0xe5
00000c66: SHL
00000c67: DUP2
00000c68: MSTORE
00000c69: PUSH1 0x04
00000c6b: ADD
00000c6c: PUSH2 0x0468
00000c6f: SWAP1
00000c70: PUSH2 0x19d2
00000c73: JUMP
00000c74: JUMPDEST
00000c75: DUP1
00000c76: PUSH2 0x0c7d
00000c79: PUSH2 0x1115
00000c7c: JUMP
00000c7d: JUMPDEST
00000c7e: PUSH1 0x01
00000c80: ADD
00000c81: DUP1
00000c82: SLOAD
00000c83: PUSH1 0xff
00000c85: NOT
00000c86: AND
00000c87: SWAP2
00000c88: ISZERO
00000c89: ISZERO
00000c8a: SWAP2
00000c8b: SWAP1
00000c8c: SWAP2
00000c8d: OR
00000c8e: SWAP1
00000c8f: SSTORE
00000c90: POP
00000c91: JUMP
00000c92: JUMPDEST
00000c93: PUSH0
00000c94: PUSH2 0x0c9b
00000c97: PUSH2 0x1115
00000c9a: JUMP
00000c9b: JUMPDEST
00000c9c: PUSH1 0x01
00000c9e: ADD
00000c9f: SLOAD
00000ca0: PUSH1 0xff
00000ca2: AND
00000ca3: SWAP2
00000ca4: SWAP1
00000ca5: POP
00000ca6: JUMP
00000ca7: JUMPDEST
00000ca8: PUSH2 0x0caf
00000cab: PUSH2 0x1115
00000cae: JUMP
00000caf: JUMPDEST
00000cb0: PUSH1 0x01
00000cb2: ADD
00000cb3: SLOAD
00000cb4: PUSH3 0x010000
00000cb8: SWAP1
00000cb9: DIV
00000cba: PUSH1 0x01
00000cbc: PUSH1 0x01
00000cbe: PUSH1 0xa0
00000cc0: SHL
00000cc1: SUB
00000cc2: AND
00000cc3: CALLER
00000cc4: EQ
00000cc5: PUSH2 0x0ce0
00000cc8: JUMPI
00000cc9: PUSH1 0x40
00000ccb: MLOAD
00000ccc: PUSH3 0x461bcd
00000cd0: PUSH1 0xe5
00000cd2: SHL
00000cd3: DUP2
00000cd4: MSTORE
00000cd5: PUSH1 0x04
00000cd7: ADD
00000cd8: PUSH2 0x0468
00000cdb: SWAP1
00000cdc: PUSH2 0x19d2
00000cdf: JUMP
00000ce0: JUMPDEST
00000ce1: DUP1
00000ce2: PUSH2 0x0ce9
00000ce5: PUSH2 0x1115
00000ce8: JUMP
00000ce9: JUMPDEST
00000cea: PUSH1 0x02
00000cec: ADD
00000ced: DUP1
00000cee: SLOAD
00000cef: PUSH1 0x01
00000cf1: PUSH1 0x01
00000cf3: PUSH1 0xa0
00000cf5: SHL
00000cf6: SUB
00000cf7: NOT
00000cf8: AND
00000cf9: PUSH1 0x01
00000cfb: PUSH1 0x01
00000cfd: PUSH1 0xa0
00000cff: SHL
00000d00: SUB
00000d01: SWAP3
00000d02: SWAP1
00000d03: SWAP3
00000d04: AND
00000d05: SWAP2
00000d06: SWAP1
00000d07: SWAP2
00000d08: OR
00000d09: SWAP1
00000d0a: SSTORE
00000d0b: POP
00000d0c: JUMP
00000d0d: JUMPDEST
00000d0e: PUSH0
00000d0f: PUSH2 0x0d16
00000d12: PUSH2 0x1115
00000d15: JUMP
00000d16: JUMPDEST
00000d17: PUSH1 0x01
00000d19: ADD
00000d1a: SLOAD
00000d1b: PUSH3 0x010000
00000d1f: SWAP1
00000d20: DIV
00000d21: PUSH1 0x01
00000d23: PUSH1 0x01
00000d25: PUSH1 0xa0
00000d27: SHL
00000d28: SUB
00000d29: AND
00000d2a: SWAP2
00000d2b: SWAP1
00000d2c: POP
00000d2d: JUMP
00000d2e: JUMPDEST
00000d2f: PUSH2 0x0d36
00000d32: PUSH2 0x1115
00000d35: JUMP
00000d36: JUMPDEST
00000d37: PUSH1 0x01
00000d39: ADD
00000d3a: SLOAD
00000d3b: PUSH3 0x010000
00000d3f: SWAP1
00000d40: DIV
00000d41: PUSH1 0x01
00000d43: PUSH1 0x01
00000d45: PUSH1 0xa0
00000d47: SHL
00000d48: SUB
00000d49: AND
00000d4a: CALLER
00000d4b: EQ
00000d4c: PUSH2 0x0d67
00000d4f: JUMPI
00000d50: PUSH1 0x40
00000d52: MLOAD
00000d53: PUSH3 0x461bcd
00000d57: PUSH1 0xe5
00000d59: SHL
00000d5a: DUP2
00000d5b: MSTORE
00000d5c: PUSH1 0x04
00000d5e: ADD
00000d5f: PUSH2 0x0468
00000d62: SWAP1
00000d63: PUSH2 0x19d2
00000d66: JUMP
00000d67: JUMPDEST
00000d68: DUP1
00000d69: PUSH2 0x0d70
00000d6c: PUSH2 0x1115
00000d6f: JUMP
00000d70: JUMPDEST
00000d71: PUSH1 0x01
00000d73: ADD
00000d74: PUSH1 0x02
00000d76: PUSH2 0x0100
00000d79: EXP
00000d7a: DUP2
00000d7b: SLOAD
00000d7c: DUP2
00000d7d: PUSH1 0x01
00000d7f: PUSH1 0x01
00000d81: PUSH1 0xa0
00000d83: SHL
00000d84: SUB
00000d85: MUL
00000d86: NOT
00000d87: AND
00000d88: SWAP1
00000d89: DUP4
00000d8a: PUSH1 0x01
00000d8c: PUSH1 0x01
00000d8e: PUSH1 0xa0
00000d90: SHL
00000d91: SUB
00000d92: AND
00000d93: MUL
00000d94: OR
00000d95: SWAP1
00000d96: SSTORE
00000d97: POP
00000d98: POP
00000d99: JUMP
00000d9a: JUMPDEST
00000d9b: PUSH2 0x0da2
00000d9e: PUSH2 0x1115
00000da1: JUMP
00000da2: JUMPDEST
00000da3: PUSH1 0x01
00000da5: ADD
00000da6: SLOAD
00000da7: PUSH3 0x010000
00000dab: SWAP1
00000dac: DIV
00000dad: PUSH1 0x01
00000daf: PUSH1 0x01
00000db1: PUSH1 0xa0
00000db3: SHL
00000db4: SUB
00000db5: AND
00000db6: CALLER
00000db7: EQ
00000db8: PUSH2 0x0dd3
00000dbb: JUMPI
00000dbc: PUSH1 0x40
00000dbe: MLOAD
00000dbf: PUSH3 0x461bcd
00000dc3: PUSH1 0xe5
00000dc5: SHL
00000dc6: DUP2
00000dc7: MSTORE
00000dc8: PUSH1 0x04
00000dca: ADD
00000dcb: PUSH2 0x0468
00000dce: SWAP1
00000dcf: PUSH2 0x19d2
00000dd2: JUMP
00000dd3: JUMPDEST
00000dd4: DUP1
00000dd5: PUSH2 0x0ddc
00000dd8: PUSH2 0x1115
00000ddb: JUMP
00000ddc: JUMPDEST
00000ddd: PUSH1 0x05
00000ddf: ADD
00000de0: SSTORE
00000de1: POP
00000de2: JUMP
00000de3: JUMPDEST
00000de4: PUSH0
00000de5: PUSH2 0x0dec
00000de8: PUSH2 0x1115
00000deb: JUMP
00000dec: JUMPDEST
00000ded: PUSH1 0x02
00000def: ADD
00000df0: SLOAD
00000df1: PUSH1 0x01
00000df3: PUSH1 0x01
00000df5: PUSH1 0xa0
00000df7: SHL
00000df8: SUB
00000df9: AND
00000dfa: SWAP2
00000dfb: SWAP1
00000dfc: POP
00000dfd: JUMP
00000dfe: JUMPDEST
00000dff: PUSH0
00000e00: PUSH2 0x0e07
00000e03: PUSH2 0x1115
00000e06: JUMP
00000e07: JUMPDEST
00000e08: PUSH1 0x04
00000e0a: ADD
00000e0b: SLOAD
00000e0c: SWAP1
00000e0d: POP
00000e0e: SWAP1
00000e0f: JUMP
00000e10: JUMPDEST
00000e11: PUSH1 0x0f
00000e13: PUSH1 0xf8
00000e15: SHL
00000e16: PUSH1 0x60
00000e18: DUP1
00000e19: PUSH0
00000e1a: DUP1
00000e1b: DUP1
00000e1c: DUP4
00000e1d: PUSH2 0x0e63
00000e20: PUSH1 0x40
00000e22: DUP1
00000e23: MLOAD
00000e24: DUP1
00000e25: DUP3
00000e26: ADD
00000e27: DUP3
00000e28: MSTORE
00000e29: PUSH1 0x12
00000e2b: DUP2
00000e2c: MSTORE
00000e2d: PUSH18 0x466163657420457468657220427269646765
00000e40: PUSH1 0x70
00000e42: SHL
00000e43: PUSH1 0x20
00000e45: DUP1
00000e46: DUP4
00000e47: ADD
00000e48: SWAP2
00000e49: SWAP1
00000e4a: SWAP2
00000e4b: MSTORE
00000e4c: DUP3
00000e4d: MLOAD
00000e4e: DUP1
00000e4f: DUP5
00000e50: ADD
00000e51: SWAP1
00000e52: SWAP4
00000e53: MSTORE
00000e54: PUSH1 0x01
00000e56: DUP4
00000e57: MSTORE
00000e58: PUSH1 0x31
00000e5a: PUSH1 0xf8
00000e5c: SHL
00000e5d: SWAP1
00000e5e: DUP4
00000e5f: ADD
00000e60: MSTORE
00000e61: SWAP2
00000e62: JUMP
00000e63: JUMPDEST
00000e64: SWAP8
00000e65: SWAP9
00000e66: SWAP1
00000e67: SWAP8
00000e68: SWAP7
00000e69: POP
00000e6a: CHAINID
00000e6b: SWAP6
00000e6c: POP
00000e6d: ADDRESS
00000e6e: SWAP5
00000e6f: POP
00000e70: SWAP2
00000e71: SWAP3
00000e72: POP
00000e73: SWAP1
00000e74: JUMP
00000e75: JUMPDEST
00000e76: PUSH2 0x0e7d
00000e79: PUSH2 0x1115
00000e7c: JUMP
00000e7d: JUMPDEST
00000e7e: PUSH1 0x01
00000e80: ADD
00000e81: SLOAD
00000e82: PUSH3 0x010000
00000e86: SWAP1
00000e87: DIV
00000e88: PUSH1 0x01
00000e8a: PUSH1 0x01
00000e8c: PUSH1 0xa0
00000e8e: SHL
00000e8f: SUB
00000e90: AND
00000e91: CALLER
00000e92: EQ
00000e93: PUSH2 0x0eae
00000e96: JUMPI
00000e97: PUSH1 0x40
00000e99: MLOAD
00000e9a: PUSH3 0x461bcd
00000e9e: PUSH1 0xe5
00000ea0: SHL
00000ea1: DUP2
00000ea2: MSTORE
00000ea3: PUSH1 0x04
00000ea5: ADD
00000ea6: PUSH2 0x0468
00000ea9: SWAP1
00000eaa: PUSH2 0x19d2
00000ead: JUMP
00000eae: JUMPDEST
00000eaf: DUP1
00000eb0: PUSH2 0x0eb7
00000eb3: PUSH2 0x1115
00000eb6: JUMP
00000eb7: JUMPDEST
00000eb8: PUSH1 0x03
00000eba: ADD
00000ebb: DUP1
00000ebc: SLOAD
00000ebd: PUSH1 0x01
00000ebf: PUSH1 0x01
00000ec1: PUSH1 0xa0
00000ec3: SHL
00000ec4: SUB
00000ec5: NOT
00000ec6: AND
00000ec7: PUSH1 0x01
00000ec9: PUSH1 0x01
00000ecb: PUSH1 0xa0
00000ecd: SHL
00000ece: SUB
00000ecf: SWAP3
00000ed0: SWAP1
00000ed1: SWAP3
00000ed2: AND
00000ed3: SWAP2
00000ed4: SWAP1
00000ed5: SWAP2
00000ed6: OR
00000ed7: SWAP1
00000ed8: SSTORE
00000ed9: POP
00000eda: JUMP
00000edb: JUMPDEST
00000edc: PUSH2 0x0ee3
00000edf: PUSH2 0x1115
00000ee2: JUMP
00000ee3: JUMPDEST
00000ee4: PUSH1 0x01
00000ee6: ADD
00000ee7: SLOAD
00000ee8: PUSH3 0x010000
00000eec: SWAP1
00000eed: DIV
00000eee: PUSH1 0x01
00000ef0: PUSH1 0x01
00000ef2: PUSH1 0xa0
00000ef4: SHL
00000ef5: SUB
00000ef6: AND
00000ef7: CALLER
00000ef8: EQ
00000ef9: PUSH2 0x0f14
00000efc: JUMPI
00000efd: PUSH1 0x40
00000eff: MLOAD
00000f00: PUSH3 0x461bcd
00000f04: PUSH1 0xe5
00000f06: SHL
00000f07: DUP2
00000f08: MSTORE
00000f09: PUSH1 0x04
00000f0b: ADD
00000f0c: PUSH2 0x0468
00000f0f: SWAP1
00000f10: PUSH2 0x19d2
00000f13: JUMP
00000f14: JUMPDEST
00000f15: DUP1
00000f16: PUSH2 0x0f1d
00000f19: PUSH2 0x1115
00000f1c: JUMP
00000f1d: JUMPDEST
00000f1e: PUSH1 0x01
00000f20: ADD
00000f21: DUP1
00000f22: SLOAD
00000f23: SWAP2
00000f24: ISZERO
00000f25: ISZERO
00000f26: PUSH2 0x0100
00000f29: MUL
00000f2a: PUSH2 0xff00
00000f2d: NOT
00000f2e: SWAP1
00000f2f: SWAP3
00000f30: AND
00000f31: SWAP2
00000f32: SWAP1
00000f33: SWAP2
00000f34: OR
00000f35: SWAP1
00000f36: SSTORE
00000f37: POP
00000f38: JUMP
00000f39: JUMPDEST
00000f3a: PUSH2 0x0f41
00000f3d: PUSH2 0x1115
00000f40: JUMP
00000f41: JUMPDEST
00000f42: PUSH1 0x01
00000f44: ADD
00000f45: SLOAD
00000f46: PUSH3 0x010000
00000f4a: SWAP1
00000f4b: DIV
00000f4c: PUSH1 0x01
00000f4e: PUSH1 0x01
00000f50: PUSH1 0xa0
00000f52: SHL
00000f53: SUB
00000f54: AND
00000f55: CALLER
00000f56: EQ
00000f57: PUSH2 0x0f72
00000f5a: JUMPI
00000f5b: PUSH1 0x40
00000f5d: MLOAD
00000f5e: PUSH3 0x461bcd
00000f62: PUSH1 0xe5
00000f64: SHL
00000f65: DUP2
00000f66: MSTORE
00000f67: PUSH1 0x04
00000f69: ADD
00000f6a: PUSH2 0x0468
00000f6d: SWAP1
00000f6e: PUSH2 0x19d2
00000f71: JUMP
00000f72: JUMPDEST
00000f73: PUSH1 0x01
00000f75: PUSH2 0x0f7c
00000f78: PUSH2 0x1115
00000f7b: JUMP
00000f7c: JUMPDEST
00000f7d: PUSH1 0x01
00000f7f: SWAP1
00000f80: DUP2
00000f81: ADD
00000f82: DUP1
00000f83: SLOAD
00000f84: PUSH1 0xff
00000f86: NOT
00000f87: AND
00000f88: SWAP3
00000f89: ISZERO
00000f8a: ISZERO
00000f8b: SWAP3
00000f8c: SWAP1
00000f8d: SWAP3
00000f8e: OR
00000f8f: SWAP1
00000f90: SWAP2
00000f91: SSTORE
00000f92: PUSH2 0x0f99
00000f95: PUSH2 0x1115
00000f98: JUMP
00000f99: JUMPDEST
00000f9a: PUSH1 0x01
00000f9c: ADD
00000f9d: DUP1
00000f9e: SLOAD
00000f9f: SWAP2
00000fa0: ISZERO
00000fa1: ISZERO
00000fa2: PUSH2 0x0100
00000fa5: MUL
00000fa6: PUSH2 0xff00
00000fa9: NOT
00000faa: SWAP1
00000fab: SWAP3
00000fac: AND
00000fad: SWAP2
00000fae: SWAP1
00000faf: SWAP2
00000fb0: OR
00000fb1: SWAP1
00000fb2: SSTORE
00000fb3: JUMP
00000fb4: JUMPDEST
00000fb5: CALLER
00000fb6: PUSH14 0x6396ff2a80c067f99b3d2ab4df24
00000fc5: EQ
00000fc6: PUSH2 0x0fff
00000fc9: JUMPI
00000fca: PUSH1 0x40
00000fcc: MLOAD
00000fcd: PUSH3 0x461bcd
00000fd1: PUSH1 0xe5
00000fd3: SHL
00000fd4: DUP2
00000fd5: MSTORE
00000fd6: PUSH1 0x20
00000fd8: PUSH1 0x04
00000fda: DUP3
00000fdb: ADD
00000fdc: MSTORE
00000fdd: PUSH1 0x0b
00000fdf: PUSH1 0x24
00000fe1: DUP3
00000fe2: ADD
00000fe3: MSTORE
00000fe4: PUSH11 0x4e6f7420666163746f7279
00000ff0: PUSH1 0xa8
00000ff2: SHL
00000ff3: PUSH1 0x44
00000ff5: DUP3
00000ff6: ADD
00000ff7: MSTORE
00000ff8: PUSH1 0x64
00000ffa: ADD
00000ffb: PUSH2 0x0468
00000ffe: JUMP
00000fff: JUMPDEST
00001000: PUSH0
00001001: PUSH2 0x1008
00001004: PUSH2 0x1115
00001007: JUMP
00001008: JUMPDEST
00001009: PUSH1 0x01
0000100b: ADD
0000100c: SLOAD
0000100d: PUSH3 0x010000
00001011: SWAP1
00001012: DIV
00001013: PUSH1 0x01
00001015: PUSH1 0x01
00001017: PUSH1 0xa0
00001019: SHL
0000101a: SUB
0000101b: AND
0000101c: EQ
0000101d: PUSH2 0x105e
00001020: JUMPI
00001021: PUSH1 0x40
00001023: MLOAD
00001024: PUSH3 0x461bcd
00001028: PUSH1 0xe5
0000102a: SHL
0000102b: DUP2
0000102c: MSTORE
0000102d: PUSH1 0x20
0000102f: PUSH1 0x04
00001031: DUP3
00001032: ADD
00001033: MSTORE
00001034: PUSH1 0x13
00001036: PUSH1 0x24
00001038: DUP3
00001039: ADD
0000103a: MSTORE
0000103b: PUSH19 0x105b1c9958591e481a5b9a5d1a585b1a5e9959
0000104f: PUSH1 0x6a
00001051: SHL
00001052: PUSH1 0x44
00001054: DUP3
00001055: ADD
00001056: MSTORE
00001057: PUSH1 0x64
00001059: ADD
0000105a: PUSH2 0x0468
0000105d: JUMP
0000105e: JUMPDEST
0000105f: PUSH1 0x01
00001061: PUSH1 0x01
00001063: PUSH1 0xa0
00001065: SHL
00001066: SUB
00001067: DUP2
00001068: AND
00001069: PUSH2 0x0d67
0000106c: JUMPI
0000106d: PUSH1 0x40
0000106f: MLOAD
00001070: PUSH3 0x461bcd
00001074: PUSH1 0xe5
00001076: SHL
00001077: DUP2
00001078: MSTORE
00001079: PUSH1 0x20
0000107b: PUSH1 0x04
0000107d: DUP3
0000107e: ADD
0000107f: MSTORE
00001080: PUSH1 0x0f
00001082: PUSH1 0x24
00001084: DUP3
00001085: ADD
00001086: MSTORE
00001087: PUSH15 0x4e6f207a65726f2061646472657373
00001097: PUSH1 0x88
00001099: SHL
0000109a: PUSH1 0x44
0000109c: DUP3
0000109d: ADD
0000109e: MSTORE
0000109f: PUSH1 0x64
000010a1: ADD
000010a2: PUSH2 0x0468
000010a5: JUMP
000010a6: JUMPDEST
000010a7: PUSH2 0x10ae
000010aa: PUSH2 0x1115
000010ad: JUMP
000010ae: JUMPDEST
000010af: PUSH1 0x01
000010b1: ADD
000010b2: SLOAD
000010b3: PUSH3 0x010000
000010b7: SWAP1
000010b8: DIV
000010b9: PUSH1 0x01
000010bb: PUSH1 0x01
000010bd: PUSH1 0xa0
000010bf: SHL
000010c0: SUB
000010c1: AND
000010c2: CALLER
000010c3: EQ
000010c4: PUSH2 0x10df
000010c7: JUMPI
000010c8: PUSH1 0x40
000010ca: MLOAD
000010cb: PUSH3 0x461bcd
000010cf: PUSH1 0xe5
000010d1: SHL
000010d2: DUP2
000010d3: MSTORE
000010d4: PUSH1 0x04
000010d6: ADD
000010d7: PUSH2 0x0468
000010da: SWAP1
000010db: PUSH2 0x19d2
000010de: JUMP
000010df: JUMPDEST
000010e0: PUSH0
000010e1: PUSH2 0x10e8
000010e4: PUSH2 0x1115
000010e7: JUMP
000010e8: JUMPDEST
000010e9: PUSH1 0x01
000010eb: ADD
000010ec: DUP1
000010ed: SLOAD
000010ee: PUSH1 0xff
000010f0: NOT
000010f1: AND
000010f2: SWAP2
000010f3: ISZERO
000010f4: ISZERO
000010f5: SWAP2
000010f6: SWAP1
000010f7: SWAP2
000010f8: OR
000010f9: SWAP1
000010fa: SSTORE
000010fb: PUSH0
000010fc: PUSH2 0x0f99
000010ff: PUSH2 0x1115
00001102: JUMP
00001103: JUMPDEST
00001104: PUSH0
00001105: PUSH2 0x110c
00001108: PUSH2 0x1115
0000110b: JUMP
0000110c: JUMPDEST
0000110d: PUSH1 0x05
0000110f: ADD
00001110: SLOAD
00001111: SWAP1
00001112: POP
00001113: SWAP1
00001114: JUMP
00001115: JUMPDEST
00001116: PUSH32 0xbff2a7c862c2783f9ac585842eecebad2c8066f996e6582444b473e4ddf79b59
00001137: SWAP1
00001138: JUMP
00001139: JUMPDEST
0000113a: PUSH1 0x60
0000113c: PUSH1 0x40
0000113e: MLOAD
0000113f: DUP1
00001140: PUSH1 0x60
00001142: ADD
00001143: PUSH1 0x40
00001145: MSTORE
00001146: DUP1
00001147: PUSH1 0x2a
00001149: DUP2
0000114a: MSTORE
0000114b: PUSH1 0x20
0000114d: ADD
0000114e: PUSH2 0x1b41
00001151: PUSH1 0x2a
00001153: SWAP2
00001154: CODECOPY
00001155: SWAP1
00001156: POP
00001157: SWAP1
00001158: JUMP
00001159: JUMPDEST
0000115a: PUSH1 0x60
0000115c: PUSH2 0x1164
0000115f: DUP3
00001160: PUSH2 0x13d4
00001163: JUMP
00001164: JUMPDEST
00001165: DUP1
00001166: MLOAD
00001167: PUSH2 0x3078
0000116a: DUP3
0000116b: MSTORE
0000116c: PUSH1 0x02
0000116e: ADD
0000116f: PUSH1 0x01
00001171: NOT
00001172: SWAP1
00001173: SWAP2
00001174: ADD
00001175: SWAP1
00001176: DUP2
00001177: MSTORE
00001178: SWAP3
00001179: SWAP2
0000117a: POP
0000117b: POP
0000117c: JUMP
0000117d: JUMPDEST
0000117e: PUSH1 0x60
00001180: PUSH1 0x80
00001182: PUSH1 0x40
00001184: MLOAD
00001185: ADD
00001186: SWAP1
00001187: POP
00001188: PUSH1 0x20
0000118a: DUP2
0000118b: ADD
0000118c: PUSH1 0x40
0000118e: MSTORE
0000118f: PUSH0
00001190: DUP2
00001191: MSTORE
00001192: DUP1
00001193: PUSH0
00001194: NOT
00001195: DUP4
00001196: JUMPDEST
00001197: SWAP3
00001198: DUP2
00001199: ADD
0000119a: SWAP3
0000119b: PUSH1 0x30
0000119d: PUSH1 0x0a
0000119f: DUP3
000011a0: MOD
000011a1: ADD
000011a2: DUP5
000011a3: MSTORE8
000011a4: PUSH1 0x0a
000011a6: SWAP1
000011a7: DIV
000011a8: DUP1
000011a9: PUSH2 0x1196
000011ac: JUMPI
000011ad: POP
000011ae: POP
000011af: DUP2
000011b0: SWAP1
000011b1: SUB
000011b2: PUSH1 0x1f
000011b4: NOT
000011b5: SWAP1
000011b6: SWAP2
000011b7: ADD
000011b8: SWAP1
000011b9: DUP2
000011ba: MSTORE
000011bb: SWAP2
000011bc: SWAP1
000011bd: POP
000011be: JUMP
000011bf: JUMPDEST
000011c0: PUSH32 0x732a40e42a3f3ada1c51caadab3e2507feec1c4642af57b7d521bc0de0362ac8
000011e1: PUSH32 0x000000000000000000000000acde2ce9a9bc89ed083faa80685e2ba2c9ec72e9
00001202: ADDRESS
00001203: EQ
00001204: PUSH32 0x0000000000000000000000000000000000000000000000000000000000000001
00001225: CHAINID
00001226: EQ
00001227: AND
00001228: PUSH2 0x12b2
0000122b: JUMPI
0000122c: POP
0000122d: PUSH1 0x40
0000122f: DUP1
00001230: MLOAD
00001231: PUSH32 0x8b73c3c69bb8fe3d512ecc4cf759cc79239f7b179b0ffacaa9a75d522b39400f
00001252: DUP2
00001253: MSTORE
00001254: PUSH32 0xaa43d5e4f166b7408fbbd997063770a8c848b0276b028f312bb8f7f8a427d77a
00001275: PUSH1 0x20
00001277: DUP3
00001278: ADD
00001279: MSTORE
0000127a: PUSH32 0xc89efdaa54c0f20c7adf612882df0950f5a951637e0307cdcb4c672f298b8bc6
0000129b: SWAP2
0000129c: DUP2
0000129d: ADD
0000129e: SWAP2
0000129f: SWAP1
000012a0: SWAP2
000012a1: MSTORE
000012a2: CHAINID
000012a3: PUSH1 0x60
000012a5: DUP3
000012a6: ADD
000012a7: MSTORE
000012a8: ADDRESS
000012a9: PUSH1 0x80
000012ab: DUP3
000012ac: ADD
000012ad: MSTORE
000012ae: PUSH1 0xa0
000012b0: SWAP1
000012b1: KECCAK256
000012b2: JUMPDEST
000012b3: PUSH8 0x1901000000000000
000012bc: PUSH0
000012bd: MSTORE
000012be: DUP1
000012bf: PUSH1 0x1a
000012c1: MSTORE
000012c2: DUP2
000012c3: PUSH1 0x3a
000012c5: MSTORE
000012c6: PUSH1 0x42
000012c8: PUSH1 0x18
000012ca: KECCAK256
000012cb: SWAP1
000012cc: POP
000012cd: PUSH0
000012ce: PUSH1 0x3a
000012d0: MSTORE
000012d1: SWAP2
000012d2: SWAP1
000012d3: POP
000012d4: JUMP
000012d5: JUMPDEST
000012d6: PUSH1 0x40
000012d8: MLOAD
000012d9: PUSH0
000012da: DUP5
000012db: SWAP1
000012dc: MSTORE
000012dd: PUSH1 0x01
000012df: SWAP1
000012e0: PUSH1 0x40
000012e2: DUP4
000012e3: SUB
000012e4: PUSH2 0x130e
000012e7: JUMPI
000012e8: PUSH1 0x20
000012ea: DUP5
000012eb: DUP2
000012ec: ADD
000012ed: CALLDATALOAD
000012ee: PUSH1 0xff
000012f0: DUP2
000012f1: SWAP1
000012f2: SHR
000012f3: PUSH1 0x1b
000012f5: ADD
000012f6: SWAP1
000012f7: SWAP2
000012f8: MSTORE
000012f9: DUP5
000012fa: CALLDATALOAD
000012fb: PUSH1 0x40
000012fd: MSTORE
000012fe: PUSH1 0x01
00001300: PUSH1 0x01
00001302: PUSH1 0xff
00001304: SHL
00001305: SUB
00001306: AND
00001307: PUSH1 0x60
00001309: MSTORE
0000130a: PUSH2 0x132f
0000130d: JUMP
0000130e: JUMPDEST
0000130f: PUSH1 0x41
00001311: DUP4
00001312: SUB
00001313: PUSH2 0x132b
00001316: JUMPI
00001317: PUSH1 0x40
00001319: DUP5
0000131a: ADD
0000131b: CALLDATALOAD
0000131c: PUSH0
0000131d: BYTE
0000131e: PUSH1 0x20
00001320: MSTORE
00001321: PUSH1 0x40
00001323: DUP5
00001324: PUSH1 0x40
00001326: CALLDATACOPY
00001327: PUSH2 0x132f
0000132a: JUMP
0000132b: JUMPDEST
0000132c: PUSH0
0000132d: SWAP2
0000132e: POP
0000132f: JUMPDEST
00001330: PUSH1 0x20
00001332: PUSH1 0x01
00001334: PUSH1 0x80
00001336: PUSH0
00001337: DUP6
00001338: GAS
00001339: STATICCALL
0000133a: MLOAD
0000133b: SWAP2
0000133c: POP
0000133d: RETURNDATASIZE
0000133e: PUSH2 0x134e
00001341: JUMPI
00001342: PUSH4 0x8baa579f
00001347: PUSH0
00001348: MSTORE
00001349: PUSH1 0x04
0000134b: PUSH1 0x1c
0000134d: REVERT
0000134e: JUMPDEST
0000134f: PUSH0
00001350: PUSH1 0x60
00001352: MSTORE
00001353: PUSH1 0x40
00001355: MSTORE
00001356: SWAP4
00001357: SWAP3
00001358: POP
00001359: POP
0000135a: POP
0000135b: JUMP
0000135c: JUMPDEST
0000135d: DUP1
0000135e: SELFBALANCE
0000135f: LT
00001360: ISZERO
00001361: PUSH2 0x1371
00001364: JUMPI
00001365: PUSH4 0xb12d13eb
0000136a: PUSH0
0000136b: MSTORE
0000136c: PUSH1 0x04
0000136e: PUSH1 0x1c
00001370: REVERT
00001371: JUMPDEST
00001372: PUSH0
00001373: CODESIZE
00001374: PUSH0
00001375: CODESIZE
00001376: DUP5
00001377: DUP7
00001378: PUSH3 0x0186a0
0000137c: CALL
0000137d: PUSH2 0x09ce
00001380: JUMPI
00001381: DUP2
00001382: PUSH0
00001383: MSTORE
00001384: PUSH1 0x73
00001386: PUSH1 0x0b
00001388: MSTORE8
00001389: PUSH1 0xff
0000138b: PUSH1 0x20
0000138d: MSTORE8
0000138e: PUSH1 0x16
00001390: PUSH1 0x0b
00001392: DUP3
00001393: CREATE
00001394: PUSH2 0x09ce
00001397: JUMPI
00001398: CODESIZE
00001399: CODESIZE
0000139a: REVERT
0000139b: JUMPDEST
0000139c: PUSH1 0x60
0000139e: PUSH2 0x13a7
000013a1: DUP4
000013a2: DUP4
000013a3: PUSH2 0x1441
000013a6: JUMP
000013a7: JUMPDEST
000013a8: DUP1
000013a9: MLOAD
000013aa: PUSH2 0x3078
000013ad: DUP3
000013ae: MSTORE
000013af: PUSH1 0x02
000013b1: ADD
000013b2: PUSH1 0x01
000013b4: NOT
000013b5: SWAP1
000013b6: SWAP2
000013b7: ADD
000013b8: SWAP1
000013b9: DUP2
000013ba: MSTORE
000013bb: SWAP4
000013bc: SWAP3
000013bd: POP
000013be: POP
000013bf: POP
000013c0: JUMP
000013c1: JUMPDEST
000013c2: PUSH1 0x60
000013c4: PUSH2 0x13ce
000013c7: DUP3
000013c8: PUSH0
000013c9: DUP1
000013ca: PUSH2 0x14c7
000013cd: JUMP
000013ce: JUMPDEST
000013cf: SWAP3
000013d0: SWAP2
000013d1: POP
000013d2: POP
000013d3: JUMP
000013d4: JUMPDEST
000013d5: PUSH1 0x60
000013d7: PUSH1 0x40
000013d9: MLOAD
000013da: SWAP1
000013db: POP
000013dc: PUSH1 0x80
000013de: DUP2
000013df: ADD
000013e0: PUSH1 0x40
000013e2: MSTORE
000013e3: PUSH16 0x30313233343536373839616263646566
000013f4: PUSH1 0x0f
000013f6: MSTORE
000013f7: PUSH1 0x02
000013f9: DUP2
000013fa: ADD
000013fb: SWAP1
000013fc: POP
000013fd: PUSH1 0x28
000013ff: DUP2
00001400: MSTORE
00001401: PUSH1 0x20
00001403: DUP2
00001404: ADD
00001405: PUSH0
00001406: PUSH1 0x28
00001408: DUP3
00001409: ADD
0000140a: MSTORE
0000140b: DUP3
0000140c: PUSH1 0x60
0000140e: SHL
0000140f: SWAP3
00001410: POP
00001411: PUSH0
00001412: JUMPDEST
00001413: DUP1
00001414: DUP2
00001415: ADD
00001416: DUP3
00001417: ADD
00001418: DUP5
00001419: DUP3
0000141a: BYTE
0000141b: PUSH1 0x0f
0000141d: DUP2
0000141e: AND
0000141f: MLOAD
00001420: PUSH1 0x01
00001422: DUP4
00001423: ADD
00001424: MSTORE8
00001425: DUP1
00001426: PUSH1 0x04
00001428: SHR
00001429: MLOAD
0000142a: DUP3
0000142b: MSTORE8
0000142c: POP
0000142d: POP
0000142e: PUSH1 0x01
00001430: DUP2
00001431: ADD
00001432: SWAP1
00001433: PUSH1 0x12
00001435: NOT
00001436: ADD
00001437: PUSH2 0x1412
0000143a: JUMPI
0000143b: POP
0000143c: POP
0000143d: SWAP2
0000143e: SWAP1
0000143f: POP
00001440: JUMP
00001441: JUMPDEST
00001442: PUSH1 0x60
00001444: PUSH1 0x1f
00001446: NOT
00001447: PUSH1 0x42
00001449: DUP4
0000144a: PUSH1 0x01
0000144c: SHL
0000144d: ADD
0000144e: AND
0000144f: PUSH1 0x40
00001451: MLOAD
00001452: ADD
00001453: SWAP1
00001454: POP
00001455: PUSH1 0x20
00001457: DUP2
00001458: ADD
00001459: PUSH1 0x40
0000145b: MSTORE
0000145c: PUSH0
0000145d: DUP2
0000145e: MSTORE
0000145f: DUP1
00001460: PUSH16 0x30313233343536373839616263646566
00001471: PUSH1 0x0f
00001473: MSTORE
00001474: DUP3
00001475: DUP4
00001476: ADD
00001477: DUP3
00001478: SUB
00001479: PUSH1 0x01
0000147b: NOT
0000147c: DUP6
0000147d: JUMPDEST
0000147e: PUSH1 0x0f
00001480: DUP2
00001481: AND
00001482: MLOAD
00001483: SWAP5
00001484: DUP3
00001485: ADD
00001486: SWAP5
00001487: PUSH1 0x01
00001489: DUP7
0000148a: ADD
0000148b: MSTORE8
0000148c: PUSH1 0x0f
0000148e: DUP2
0000148f: PUSH1 0x04
00001491: SHR
00001492: AND
00001493: MLOAD
00001494: DUP6
00001495: MSTORE8
00001496: PUSH1 0x08
00001498: SHR
00001499: DUP5
0000149a: DUP4
0000149b: SUB
0000149c: PUSH2 0x147d
0000149f: JUMPI
000014a0: DUP1
000014a1: ISZERO
000014a2: PUSH2 0x14b2
000014a5: JUMPI
000014a6: PUSH4 0x2194895a
000014ab: PUSH0
000014ac: MSTORE
000014ad: PUSH1 0x04
000014af: PUSH1 0x1c
000014b1: REVERT
000014b2: JUMPDEST
000014b3: POP
000014b4: POP
000014b5: POP
000014b6: DUP2
000014b7: SWAP1
000014b8: SUB
000014b9: PUSH1 0x1f
000014bb: NOT
000014bc: SWAP1
000014bd: SWAP2
000014be: ADD
000014bf: SWAP1
000014c0: DUP2
000014c1: MSTORE
000014c2: SWAP3
000014c3: SWAP2
000014c4: POP
000014c5: POP
000014c6: JUMP
000014c7: JUMPDEST
000014c8: PUSH1 0x60
000014ca: DUP4
000014cb: MLOAD
000014cc: DUP1
000014cd: ISZERO
000014ce: PUSH2 0x15b1
000014d1: JUMPI
000014d2: PUSH1 0x03
000014d4: PUSH1 0x02
000014d6: DUP3
000014d7: ADD
000014d8: DIV
000014d9: PUSH1 0x02
000014db: SHL
000014dc: PUSH1 0x40
000014de: MLOAD
000014df: SWAP3
000014e0: POP
000014e1: PUSH32 0x4142434445464748494a4b4c4d4e4f505152535455565758595a616263646566
00001502: PUSH1 0x1f
00001504: MSTORE
00001505: PUSH2 0x0670
00001508: DUP6
00001509: ISZERO
0000150a: MUL
0000150b: PUSH32 0x6768696a6b6c6d6e6f707172737475767778797a303132333435363738392d5f
0000152c: XOR
0000152d: PUSH1 0x3f
0000152f: MSTORE
00001530: PUSH1 0x20
00001532: DUP4
00001533: ADD
00001534: DUP2
00001535: DUP2
00001536: ADD
00001537: DUP4
00001538: DUP9
00001539: PUSH1 0x20
0000153b: ADD
0000153c: ADD
0000153d: DUP1
0000153e: MLOAD
0000153f: PUSH0
00001540: DUP3
00001541: MSTORE
00001542: JUMPDEST
00001543: PUSH1 0x03
00001545: DUP11
00001546: ADD
00001547: SWAP10
00001548: POP
00001549: DUP10
0000154a: MLOAD
0000154b: PUSH1 0x3f
0000154d: DUP2
0000154e: PUSH1 0x12
00001550: SHR
00001551: AND
00001552: MLOAD
00001553: PUSH0
00001554: MSTORE8
00001555: PUSH1 0x3f
00001557: DUP2
00001558: PUSH1 0x0c
0000155a: SHR
0000155b: AND
0000155c: MLOAD
0000155d: PUSH1 0x01
0000155f: MSTORE8
00001560: PUSH1 0x3f
00001562: DUP2
00001563: PUSH1 0x06
00001565: SHR
00001566: AND
00001567: MLOAD
00001568: PUSH1 0x02
0000156a: MSTORE8
0000156b: PUSH1 0x3f
0000156d: DUP2
0000156e: AND
0000156f: MLOAD
00001570: PUSH1 0x03
00001572: MSTORE8
00001573: POP
00001574: PUSH0
00001575: MLOAD
00001576: DUP5
00001577: MSTORE
00001578: PUSH1 0x04
0000157a: DUP5
0000157b: ADD
0000157c: SWAP4
0000157d: POP
0000157e: DUP3
0000157f: DUP5
00001580: LT
00001581: PUSH2 0x1542
00001584: JUMPI
00001585: SWAP1
00001586: MSTORE
00001587: PUSH1 0x20
00001589: ADD
0000158a: PUSH1 0x40
0000158c: MSTORE
0000158d: PUSH2 0x3d3d
00001590: PUSH1 0xf0
00001592: SHL
00001593: PUSH1 0x03
00001595: DUP5
00001596: MOD
00001597: PUSH1 0x02
00001599: DIV
0000159a: DUP1
0000159b: DUP4
0000159c: SUB
0000159d: SWAP2
0000159e: SWAP1
0000159f: SWAP2
000015a0: MSTORE
000015a1: PUSH0
000015a2: DUP7
000015a3: ISZERO
000015a4: ISZERO
000015a5: SWAP1
000015a6: SWAP2
000015a7: MUL
000015a8: SWAP2
000015a9: DUP3
000015aa: SWAP1
000015ab: SUB
000015ac: MSTORE
000015ad: SWAP1
000015ae: SUB
000015af: DUP3
000015b0: MSTORE
000015b1: JUMPDEST
000015b2: POP
000015b3: SWAP4
000015b4: SWAP3
000015b5: POP
000015b6: POP
000015b7: POP
000015b8: JUMP
000015b9: JUMPDEST
000015ba: PUSH0
000015bb: PUSH1 0x20
000015bd: DUP3
000015be: DUP5
000015bf: SUB
000015c0: SLT
000015c1: ISZERO
000015c2: PUSH2 0x15c9
000015c5: JUMPI
000015c6: PUSH0
000015c7: DUP1
000015c8: REVERT
000015c9: JUMPDEST
000015ca: DUP2
000015cb: CALLDATALOAD
000015cc: PUSH8 0xffffffffffffffff
000015d5: DUP2
000015d6: GT
000015d7: ISZERO
000015d8: PUSH2 0x15df
000015db: JUMPI
000015dc: PUSH0
000015dd: DUP1
000015de: REVERT
000015df: JUMPDEST
000015e0: DUP3
000015e1: ADD
000015e2: PUSH1 0xc0
000015e4: DUP2
000015e5: DUP6
000015e6: SUB
000015e7: SLT
000015e8: ISZERO
000015e9: PUSH2 0x15f0
000015ec: JUMPI
000015ed: PUSH0
000015ee: DUP1
000015ef: REVERT
000015f0: JUMPDEST
000015f1: SWAP4
000015f2: SWAP3
000015f3: POP
000015f4: POP
000015f5: POP
000015f6: JUMP
000015f7: JUMPDEST
000015f8: PUSH0
000015f9: DUP2
000015fa: MLOAD
000015fb: DUP1
000015fc: DUP5
000015fd: MSTORE
000015fe: DUP1
000015ff: PUSH1 0x20
00001601: DUP5
00001602: ADD
00001603: PUSH1 0x20
00001605: DUP7
00001606: ADD
00001607: MCOPY
00001608: PUSH0
00001609: PUSH1 0x20
0000160b: DUP3
0000160c: DUP7
0000160d: ADD
0000160e: ADD
0000160f: MSTORE
00001610: PUSH1 0x20
00001612: PUSH1 0x1f
00001614: NOT
00001615: PUSH1 0x1f
00001617: DUP4
00001618: ADD
00001619: AND
0000161a: DUP6
0000161b: ADD
0000161c: ADD
0000161d: SWAP2
0000161e: POP
0000161f: POP
00001620: SWAP3
00001621: SWAP2
00001622: POP
00001623: POP
00001624: JUMP
00001625: JUMPDEST
00001626: PUSH1 0x20
00001628: DUP2
00001629: MSTORE
0000162a: PUSH0
0000162b: PUSH2 0x15f0
0000162e: PUSH1 0x20
00001630: DUP4
00001631: ADD
00001632: DUP5
00001633: PUSH2 0x15f7
00001636: JUMP
00001637: JUMPDEST
00001638: PUSH0
00001639: PUSH1 0x20
0000163b: DUP3
0000163c: DUP5
0000163d: SUB
0000163e: SLT
0000163f: ISZERO
00001640: PUSH2 0x1647
00001643: JUMPI
00001644: PUSH0
00001645: DUP1
00001646: REVERT
00001647: JUMPDEST
00001648: POP
00001649: CALLDATALOAD
0000164a: SWAP2
0000164b: SWAP1
0000164c: POP
0000164d: JUMP
0000164e: JUMPDEST
0000164f: DUP1
00001650: CALLDATALOAD
00001651: PUSH1 0x01
00001653: PUSH1 0x01
00001655: PUSH1 0xa0
00001657: SHL
00001658: SUB
00001659: DUP2
0000165a: AND
0000165b: DUP2
0000165c: EQ
0000165d: PUSH2 0x1664
00001660: JUMPI
00001661: PUSH0
00001662: DUP1
00001663: REVERT
00001664: JUMPDEST
00001665: SWAP2
00001666: SWAP1
00001667: POP
00001668: JUMP
00001669: JUMPDEST
0000166a: PUSH0
0000166b: DUP1
0000166c: PUSH1 0x40
0000166e: DUP4
0000166f: DUP6
00001670: SUB
00001671: SLT
00001672: ISZERO
00001673: PUSH2 0x167a
00001676: JUMPI
00001677: PUSH0
00001678: DUP1
00001679: REVERT
0000167a: JUMPDEST
0000167b: PUSH2 0x1683
0000167e: DUP4
0000167f: PUSH2 0x164e
00001682: JUMP
00001683: JUMPDEST
00001684: SWAP5
00001685: PUSH1 0x20
00001687: SWAP4
00001688: SWAP1
00001689: SWAP4
0000168a: ADD
0000168b: CALLDATALOAD
0000168c: SWAP4
0000168d: POP
0000168e: POP
0000168f: POP
00001690: JUMP
00001691: JUMPDEST
00001692: PUSH0
00001693: DUP1
00001694: PUSH0
00001695: DUP1
00001696: PUSH1 0x60
00001698: DUP6
00001699: DUP8
0000169a: SUB
0000169b: SLT
0000169c: ISZERO
0000169d: PUSH2 0x16a4
000016a0: JUMPI
000016a1: PUSH0
000016a2: DUP1
000016a3: REVERT
000016a4: JUMPDEST
000016a5: PUSH2 0x16ad
000016a8: DUP6
000016a9: PUSH2 0x164e
000016ac: JUMP
000016ad: JUMPDEST
000016ae: SWAP4
000016af: POP
000016b0: PUSH2 0x16bb
000016b3: PUSH1 0x20
000016b5: DUP7
000016b6: ADD
000016b7: PUSH2 0x164e
000016ba: JUMP
000016bb: JUMPDEST
000016bc: SWAP3
000016bd: POP
000016be: PUSH1 0x40
000016c0: DUP6
000016c1: ADD
000016c2: CALLDATALOAD
000016c3: PUSH8 0xffffffffffffffff
000016cc: DUP2
000016cd: GT
000016ce: ISZERO
000016cf: PUSH2 0x16d6
000016d2: JUMPI
000016d3: PUSH0
000016d4: DUP1
000016d5: REVERT
000016d6: JUMPDEST
000016d7: DUP6
000016d8: ADD
000016d9: PUSH1 0x1f
000016db: DUP2
000016dc: ADD
000016dd: DUP8
000016de: SGT
000016df: PUSH2 0x16e6
000016e2: JUMPI
000016e3: PUSH0
000016e4: DUP1
000016e5: REVERT
000016e6: JUMPDEST
000016e7: DUP1
000016e8: CALLDATALOAD
000016e9: PUSH8 0xffffffffffffffff
000016f2: DUP2
000016f3: GT
000016f4: ISZERO
000016f5: PUSH2 0x16fc
000016f8: JUMPI
000016f9: PUSH0
000016fa: DUP1
000016fb: REVERT
000016fc: JUMPDEST
000016fd: DUP8
000016fe: PUSH1 0x20
00001700: DUP3
00001701: DUP5
00001702: ADD
00001703: ADD
00001704: GT
00001705: ISZERO
00001706: PUSH2 0x170d
00001709: JUMPI
0000170a: PUSH0
0000170b: DUP1
0000170c: REVERT
0000170d: JUMPDEST
0000170e: SWAP5
0000170f: SWAP8
00001710: SWAP4
00001711: SWAP7
00001712: POP
00001713: PUSH1 0x20
00001715: ADD
00001716: SWAP5
00001717: POP
00001718: POP
00001719: POP
0000171a: JUMP
0000171b: JUMPDEST
0000171c: PUSH0
0000171d: PUSH1 0x20
0000171f: DUP3
00001720: DUP5
00001721: SUB
00001722: SLT
00001723: ISZERO
00001724: PUSH2 0x172b
00001727: JUMPI
00001728: PUSH0
00001729: DUP1
0000172a: REVERT
0000172b: JUMPDEST
0000172c: DUP2
0000172d: CALLDATALOAD
0000172e: DUP1
0000172f: ISZERO
00001730: ISZERO
00001731: DUP2
00001732: EQ
00001733: PUSH2 0x15f0
00001736: JUMPI
00001737: PUSH0
00001738: DUP1
00001739: REVERT
0000173a: JUMPDEST
0000173b: PUSH0
0000173c: PUSH1 0x20
0000173e: DUP3
0000173f: DUP5
00001740: SUB
00001741: SLT
00001742: ISZERO
00001743: PUSH2 0x174a
00001746: JUMPI
00001747: PUSH0
00001748: DUP1
00001749: REVERT
0000174a: JUMPDEST
0000174b: PUSH2 0x15f0
0000174e: DUP3
0000174f: PUSH2 0x164e
00001752: JUMP
00001753: JUMPDEST
00001754: PUSH1 0xff
00001756: PUSH1 0xf8
00001758: SHL
00001759: DUP9
0000175a: AND
0000175b: DUP2
0000175c: MSTORE
0000175d: PUSH1 0xe0
0000175f: PUSH1 0x20
00001761: DUP3
00001762: ADD
00001763: MSTORE
00001764: PUSH0
00001765: PUSH2 0x1771
00001768: PUSH1 0xe0
0000176a: DUP4
0000176b: ADD
0000176c: DUP10
0000176d: PUSH2 0x15f7
00001770: JUMP
00001771: JUMPDEST
00001772: DUP3
00001773: DUP2
00001774: SUB
00001775: PUSH1 0x40
00001777: DUP5
00001778: ADD
00001779: MSTORE
0000177a: PUSH2 0x1783
0000177d: DUP2
0000177e: DUP10
0000177f: PUSH2 0x15f7
00001782: JUMP
00001783: JUMPDEST
00001784: PUSH1 0x60
00001786: DUP5
00001787: ADD
00001788: DUP9
00001789: SWAP1
0000178a: MSTORE
0000178b: PUSH1 0x01
0000178d: PUSH1 0x01
0000178f: PUSH1 0xa0
00001791: SHL
00001792: SUB
00001793: DUP8
00001794: AND
00001795: PUSH1 0x80
00001797: DUP6
00001798: ADD
00001799: MSTORE
0000179a: PUSH1 0xa0
0000179c: DUP5
0000179d: ADD
0000179e: DUP7
0000179f: SWAP1
000017a0: MSTORE
000017a1: DUP4
000017a2: DUP2
000017a3: SUB
000017a4: PUSH1 0xc0
000017a6: DUP6
000017a7: ADD
000017a8: MSTORE
000017a9: DUP5
000017aa: MLOAD
000017ab: DUP1
000017ac: DUP3
000017ad: MSTORE
000017ae: PUSH1 0x20
000017b0: DUP1
000017b1: DUP8
000017b2: ADD
000017b3: SWAP4
000017b4: POP
000017b5: SWAP1
000017b6: SWAP2
000017b7: ADD
000017b8: SWAP1
000017b9: PUSH0
000017ba: JUMPDEST
000017bb: DUP2
000017bc: DUP2
000017bd: LT
000017be: ISZERO
000017bf: PUSH2 0x17d8
000017c2: JUMPI
000017c3: DUP4
000017c4: MLOAD
000017c5: DUP4
000017c6: MSTORE
000017c7: PUSH1 0x20
000017c9: SWAP4
000017ca: DUP5
000017cb: ADD
000017cc: SWAP4
000017cd: SWAP1
000017ce: SWAP3
000017cf: ADD
000017d0: SWAP2
000017d1: PUSH1 0x01
000017d3: ADD
000017d4: PUSH2 0x17ba
000017d7: JUMP
000017d8: JUMPDEST
000017d9: POP
000017da: SWAP1
000017db: SWAP12
000017dc: SWAP11
000017dd: POP
000017de: POP
000017df: POP
000017e0: POP
000017e1: POP
000017e2: POP
000017e3: POP
000017e4: POP
000017e5: POP
000017e6: POP
000017e7: POP
000017e8: JUMP
000017e9: JUMPDEST
000017ea: PUSH1 0x20
000017ec: DUP1
000017ed: DUP3
000017ee: MSTORE
000017ef: PUSH1 0x1d
000017f1: SWAP1
000017f2: DUP3
000017f3: ADD
000017f4: MSTORE
000017f5: PUSH32 0x4f6e6c7920454f41732063616e20757365207468697320627269646765000000
00001816: PUSH1 0x40
00001818: DUP3
00001819: ADD
0000181a: MSTORE
0000181b: PUSH1 0x60
0000181d: ADD
0000181e: SWAP1
0000181f: JUMP
00001820: JUMPDEST
00001821: PUSH32 0x646174613a6170706c69636174696f6e2f766e642e66616365742e74782b6a73
00001842: DUP2
00001843: MSTORE
00001844: PUSH32 0x6f6e3b72756c653d65736970362c7b226f70223a2263616c6c222c2264617461
00001865: PUSH1 0x20
00001867: DUP3
00001868: ADD
00001869: MSTORE
0000186a: PUSH9 0x111d3d913a37911d11
00001874: PUSH1 0xb9
00001876: SHL
00001877: PUSH1 0x40
00001879: DUP3
0000187a: ADD
0000187b: MSTORE
0000187c: PUSH1 0x49
0000187e: ADD
0000187f: SWAP1
00001880: JUMP
00001881: JUMPDEST
00001882: PUSH0
00001883: DUP2
00001884: MLOAD
00001885: DUP1
00001886: PUSH1 0x20
00001888: DUP5
00001889: ADD
0000188a: DUP6
0000188b: MCOPY
0000188c: PUSH0
0000188d: SWAP4
0000188e: ADD
0000188f: SWAP3
00001890: DUP4
00001891: MSTORE
00001892: POP
00001893: SWAP1
00001894: SWAP2
00001895: SWAP1
00001896: POP
00001897: JUMP
00001898: JUMPDEST
00001899: PUSH0
0000189a: PUSH2 0x18ab
0000189d: PUSH2 0x18a5
000018a0: DUP4
000018a1: PUSH2 0x1820
000018a4: JUMP
000018a5: JUMPDEST
000018a6: DUP7
000018a7: PUSH2 0x1881
000018aa: JUMP
000018ab: JUMPDEST
000018ac: PUSH32 0x222c2266756e6374696f6e223a22627269646765496e222c2261726773223a5b
000018cd: DUP2
000018ce: MSTORE
000018cf: PUSH1 0x11
000018d1: PUSH1 0xf9
000018d3: SHL
000018d4: PUSH1 0x20
000018d6: DUP3
000018d7: ADD
000018d8: MSTORE
000018d9: PUSH2 0x18e5
000018dc: PUSH1 0x21
000018de: DUP3
000018df: ADD
000018e0: DUP7
000018e1: PUSH2 0x1881
000018e4: JUMP
000018e5: JUMPDEST
000018e6: PUSH3 0x111611
000018ea: PUSH1 0xe9
000018ec: SHL
000018ed: DUP2
000018ee: MSTORE
000018ef: SWAP1
000018f0: POP
000018f1: PUSH2 0x18fd
000018f4: PUSH1 0x03
000018f6: DUP3
000018f7: ADD
000018f8: DUP6
000018f9: PUSH2 0x1881
000018fc: JUMP
000018fd: JUMPDEST
000018fe: PUSH4 0x225d7d7d
00001903: PUSH1 0xe0
00001905: SHL
00001906: DUP2
00001907: MSTORE
00001908: PUSH1 0x04
0000190a: ADD
0000190b: SWAP7
0000190c: SWAP6
0000190d: POP
0000190e: POP
0000190f: POP
00001910: POP
00001911: POP
00001912: POP
00001913: JUMP
00001914: JUMPDEST
00001915: PUSH0
00001916: DUP1
00001917: DUP4
00001918: CALLDATALOAD
00001919: PUSH1 0x1e
0000191b: NOT
0000191c: DUP5
0000191d: CALLDATASIZE
0000191e: SUB
0000191f: ADD
00001920: DUP2
00001921: SLT
00001922: PUSH2 0x1929
00001925: JUMPI
00001926: PUSH0
00001927: DUP1
00001928: REVERT
00001929: JUMPDEST
0000192a: DUP4
0000192b: ADD
0000192c: DUP1
0000192d: CALLDATALOAD
0000192e: SWAP2
0000192f: POP
00001930: PUSH8 0xffffffffffffffff
00001939: DUP3
0000193a: GT
0000193b: ISZERO
0000193c: PUSH2 0x1943
0000193f: JUMPI
00001940: PUSH0
00001941: DUP1
00001942: REVERT
00001943: JUMPDEST
00001944: PUSH1 0x20
00001946: ADD
00001947: SWAP2
00001948: POP
00001949: CALLDATASIZE
0000194a: DUP2
0000194b: SWAP1
0000194c: SUB
0000194d: DUP3
0000194e: SGT
0000194f: ISZERO
00001950: PUSH2 0x1957
00001953: JUMPI
00001954: PUSH0
00001955: DUP1
00001956: REVERT
00001957: JUMPDEST
00001958: SWAP3
00001959: POP
0000195a: SWAP3
0000195b: SWAP1
0000195c: POP
0000195d: JUMP
0000195e: JUMPDEST
0000195f: DUP1
00001960: DUP3
00001961: ADD
00001962: DUP1
00001963: DUP3
00001964: GT
00001965: ISZERO
00001966: PUSH2 0x13ce
00001969: JUMPI
0000196a: PUSH4 0x4e487b71
0000196f: PUSH1 0xe0
00001971: SHL
00001972: PUSH0
00001973: MSTORE
00001974: PUSH1 0x11
00001976: PUSH1 0x04
00001978: MSTORE
00001979: PUSH1 0x24
0000197b: PUSH0
0000197c: REVERT
0000197d: JUMPDEST
0000197e: PUSH0
0000197f: PUSH2 0x198a
00001982: PUSH2 0x18a5
00001985: DUP4
00001986: PUSH2 0x1820
00001989: JUMP
0000198a: JUMPDEST
0000198b: PUSH32 0x222c2266756e6374696f6e223a226d61726b5769746864726177616c436f6d70
000019ac: DUP2
000019ad: MSTORE
000019ae: PUSH15 0x3632ba3291161130b933b9911d2d91
000019be: PUSH1 0x89
000019c0: SHL
000019c1: PUSH1 0x20
000019c3: DUP3
000019c4: ADD
000019c5: MSTORE
000019c6: PUSH2 0x18e5
000019c9: PUSH1 0x2f
000019cb: DUP3
000019cc: ADD
000019cd: DUP7
000019ce: PUSH2 0x1881
000019d1: JUMP
000019d2: JUMPDEST
000019d3: PUSH1 0x20
000019d5: DUP1
000019d6: DUP3
000019d7: MSTORE
000019d8: PUSH1 0x09
000019da: SWAP1
000019db: DUP3
000019dc: ADD
000019dd: MSTORE
000019de: PUSH9 0x2737ba1030b236b4b7
000019e8: PUSH1 0xb9
000019ea: SHL
000019eb: PUSH1 0x40
000019ed: DUP3
000019ee: ADD
000019ef: MSTORE
000019f0: PUSH1 0x60
000019f2: ADD
000019f3: SWAP1
000019f4: JUMP
000019f5: JUMPDEST
000019f6: PUSH0
000019f7: PUSH2 0x1a08
000019fa: PUSH2 0x1a02
000019fd: DUP4
000019fe: PUSH2 0x1820
00001a01: JUMP
00001a02: JUMPDEST
00001a03: DUP9
00001a04: PUSH2 0x1881
00001a07: JUMP
00001a08: JUMPDEST
00001a09: PUSH32 0x222c2266756e6374696f6e223a22627269646765416e6443616c6c222c226172
00001a2a: DUP2
00001a2b: MSTORE
00001a2c: PUSH6 0x33b9911d2d91
00001a33: PUSH1 0xd1
00001a35: SHL
00001a36: PUSH1 0x20
00001a38: DUP3
00001a39: ADD
00001a3a: MSTORE
00001a3b: PUSH2 0x1a47
00001a3e: PUSH1 0x26
00001a40: DUP3
00001a41: ADD
00001a42: DUP9
00001a43: PUSH2 0x1881
00001a46: JUMP
00001a47: JUMPDEST
00001a48: PUSH3 0x111611
00001a4c: PUSH1 0xe9
00001a4e: SHL
00001a4f: DUP2
00001a50: MSTORE
00001a51: SWAP1
00001a52: POP
00001a53: PUSH2 0x1a5f
00001a56: PUSH1 0x03
00001a58: DUP3
00001a59: ADD
00001a5a: DUP8
00001a5b: PUSH2 0x1881
00001a5e: JUMP
00001a5f: JUMPDEST
00001a60: PUSH3 0x111611
00001a64: PUSH1 0xe9
00001a66: SHL
00001a67: DUP2
00001a68: MSTORE
00001a69: SWAP1
00001a6a: POP
00001a6b: PUSH2 0x1a77
00001a6e: PUSH1 0x03
00001a70: DUP3
00001a71: ADD
00001a72: DUP7
00001a73: PUSH2 0x1881
00001a76: JUMP
00001a77: JUMPDEST
00001a78: PUSH3 0x111611
00001a7c: PUSH1 0xe9
00001a7e: SHL
00001a7f: DUP2
00001a80: MSTORE
00001a81: SWAP1
00001a82: POP
00001a83: PUSH2 0x1a8f
00001a86: PUSH1 0x03
00001a88: DUP3
00001a89: ADD
00001a8a: DUP6
00001a8b: PUSH2 0x1881
00001a8e: JUMP
00001a8f: JUMPDEST
00001a90: PUSH4 0x225d7d7d
00001a95: PUSH1 0xe0
00001a97: SHL
00001a98: DUP2
00001a99: MSTORE
00001a9a: PUSH1 0x04
00001a9c: ADD
00001a9d: SWAP9
00001a9e: SWAP8
00001a9f: POP
00001aa0: POP
00001aa1: POP
00001aa2: POP
00001aa3: POP
00001aa4: POP
00001aa5: POP
00001aa6: POP
00001aa7: JUMP
00001aa8: JUMPDEST
00001aa9: PUSH0
00001aaa: PUSH2 0x1ab5
00001aad: PUSH2 0x18a5
00001ab0: DUP4
00001ab1: PUSH2 0x1820
00001ab4: JUMP
00001ab5: JUMPDEST
00001ab6: PUSH32 0x222c2266756e6374696f6e223a226d61726b5769746864726177616c436f6d70
00001ad7: DUP2
00001ad8: MSTORE
00001ad9: PUSH20 0x3632ba3291161130b933b9911d3d913a37911d11
00001aee: PUSH1 0x61
00001af0: SHL
00001af1: PUSH1 0x20
00001af3: DUP3
00001af4: ADD
00001af5: MSTORE
00001af6: PUSH2 0x1b02
00001af9: PUSH1 0x34
00001afb: DUP3
00001afc: ADD
00001afd: DUP7
00001afe: PUSH2 0x1881
00001b01: JUMP
00001b02: JUMPDEST
00001b03: PUSH18 0x1116113bb4ba34323930bbb0b624b2111d11
00001b16: PUSH1 0x71
00001b18: SHL
00001b19: DUP2
00001b1a: MSTORE
00001b1b: SWAP1
00001b1c: POP
00001b1d: PUSH2 0x1b29
00001b20: PUSH1 0x12
00001b22: DUP3
00001b23: ADD
00001b24: DUP6
00001b25: PUSH2 0x1881
00001b28: JUMP
00001b29: JUMPDEST
00001b2a: PUSH4 0x227d7d7d
00001b2f: PUSH1 0xe0
00001b31: SHL
00001b32: DUP2
00001b33: MSTORE
00001b34: PUSH1 0x04
00001b36: ADD
00001b37: SWAP7
00001b38: SWAP6
00001b39: POP
00001b3a: POP
00001b3b: POP
00001b3c: POP
00001b3d: POP
00001b3e: POP
00001b3f: JUMP
00001b40: INVALID
00001b41: ADDRESS
00001b42: PUSH25 0x31363733353430323433653739336230653737633033386434
00001b5c: PUSH2 0x3838
00001b5f: CALLVALUE
00001b60: CALLVALUE
00001b61: CODESIZE
00001b62: PUSH6 0x666635323464
00001b69: PUSH4 0x65a26469
00001b6e: PUSH17 0x66735822122035079af2cb50aefff903af
00001b80: PUSH12 0x964d7dabf8861174b4021320
00001b8d: TSTORE
00001b8e: UNKNOWN(0xCE)
00001b8f: DUP16
00001b90: UNKNOWN(0xD7)
00001b91: UNKNOWN(0xC6)
00001b92: SHL
00001b93: UNKNOWN(0xC4)
00001b94: UNKNOWN(0xCC)
00001b95: PUSH5 0x736f6c6343
00001b9b: STOP
00001b9c: ADDMOD
00001b9d: BYTE
00001b9e: STOP
00001b9f: CALLER