Analysis Run

[codex:477836] OpenAI Codex v0.77.0 (research preview)
[codex:477836] --------
[codex:477836] workdir: /tmp/codex-multi-9e4li39w
[codex:477836] model: gpt-5.2-codex
[codex:477836] provider: openai
[codex:477836] approval: never
[codex:477836] sandbox: read-only
[codex:477836] reasoning effort: xhigh
[codex:477836] reasoning summaries: auto
[codex:477836] session id: 019b8657-c4fd-78a3-a822-760ad3ca66db
[codex:477836] --------
[codex:477836] user
[codex:477836] You are a profit-focused exploit hunter. Your ONLY goal is finding ways to extract value (ETH, tokens, NFTs) from this contract.
[codex:477836] 
[codex:477836] Read `AUDIT_BUNDLE.txt` completely before concluding. Treat `lib/` and `@openzeppelin/` as trusted unless misused.
[codex:477836] 
[codex:477836] ONLY REPORT if you find a CONCRETE, EXPLOITABLE path to profit. We do NOT care about:
[codex:477836] - Gas inefficiency, code quality, naming, or best practices
[codex:477836] - Theoretical vulnerabilities without a clear extraction path
[codex:477836] - Centralization risks (admin can rug) - assume admin keys are secure
[codex:477836] - Front-running unless it enables theft beyond MEV
[codex:477836] - DoS, griefing, or issues that don't result in attacker profit
[codex:477836] - Missing events, view function issues, or informational findings
[codex:477836] 
[codex:477836] HIGH-VALUE PATTERNS TO HUNT:
[codex:477836] - Reentrancy: external calls before state updates that allow double-withdrawal
[codex:477836] - Access control: missing/bypassable auth on withdraw, transfer, or mint functions
[codex:477836] - Flash loan attacks: borrow -> manipulate -> profit in single tx
[codex:477836] - Price oracle manipulation: TWAP with short window, spot price reads, stale prices
[codex:477836] - Signature replay: missing nonce, chainId, or deadline in permit/meta-tx
[codex:477836] - Proxy hijacking: unprotected initialize(), storage collision, UUPS without auth
[codex:477836] - Accounting errors: rounding that favors attacker, share inflation, first depositor attacks
[codex:477836] - Unchecked external calls: return value ignored on token transfers enabling fake tokens
[codex:477836] - Cross-function reentrancy: state read in function A, modified via reentrant call, used stale in A
[codex:477836] 
[codex:477836] For each finding, you MUST provide:
[codex:477836] 1. Exact file and line numbers of vulnerable code
[codex:477836] 2. Step-by-step exploit transaction sequence
[codex:477836] 3. Estimated profit potential (order of magnitude: contract balance, LP reserves, etc.)
[codex:477836] 
[codex:477836] If no concrete profit path exists: set no_findings=true. Do NOT pad with low-severity noise.
[codex:477836] 
[codex:477836] Output MUST be valid JSON matching the provided schema.
[codex:477836] - severity: info, low, medium, high, critical (use high/critical ONLY for clear extraction paths)
[codex:477836] - category: access_control, reentrancy, math, oracle, upgradeability, auth, other
[codex:477836] mcp startup: no servers
[codex:477836] 
[codex:477836] thinking
[codex:477836] **Listing files to find AUDIT_BUNDLE**
[codex:477836] exec
[codex:477836] /bin/bash -lc ls in /tmp/codex-multi-9e4li39w succeeded in 5ms:
[codex:477836] AUDIT_BUNDLE.txt
[codex:477836] codex-output-schema.json
[codex:477836] contracts
[codex:477836] 
[codex:477836] thinking
[codex:477836] **Reading AUDIT_BUNDLE file**
[codex:477836] exec
[codex:477836] /bin/bash -lc 'cat AUDIT_BUNDLE.txt' in /tmp/codex-multi-9e4li39w succeeded in 5ms:
[codex:477836] This file concatenates first-party Solidity sources only (lib/@openzeppelin excluded).
[codex:477836] 
[codex:477836] ================================================================================
[codex:477836] FILE: contracts/Contract.sol
[codex:477836] ================================================================================
[codex:477836] // File: @openzeppelin/contracts/math/Math.sol
[codex:477836] 
[codex:477836] // SPDX-License-Identifier: MIT
[codex:477836] 
[codex:477836] pragma solidity ^0.6.0;
[codex:477836] 
[codex:477836] /**
[codex:477836]  * @dev Standard math utilities missing in the Solidity language.
[codex:477836]  */
[codex:477836] library Math {
[codex:477836]     /**
[codex:477836]      * @dev Returns the largest of two numbers.
[codex:477836]      */
[codex:477836]     function max(uint256 a, uint256 b) internal pure returns (uint256) {
[codex:477836]         return a >= b ? a : b;
[codex:477836] 
[codex:477836] thinking
[codex:477836] **Searching for other contracts in bundle**
[codex:477836] exec
[codex:477836] /bin/bash -lc 'rg -n "contract " AUDIT_BUNDLE.txt' in /tmp/codex-multi-9e4li39w succeeded in 13ms:
[codex:477836] 322:     *  - a contract in construction
[codex:477836] 323:     *  - an address where a contract will be created
[codex:477836] 324:     *  - an address where a contract lived, but was destroyed
[codex:477836] 382: * contract returns false). Tokens that return no value (and instead revert or
[codex:477836] 487:        //  1. The target address is checked to verify it contains contract code
[codex:477836] 525: * This contract is only required for intermediate, library-like contracts.
[codex:477836] 527:contract Context {
[codex:477836] 552: * that a supply mechanism has to be added in a derived contract using {_mint}.
[codex:477836] 572:contract ERC20 is Context, IERC20 {
[codex:477836] 936:abstract contract ERC20Vestable is ERC20 {
[codex:477836] 1237: * @dev This contract extends an ERC20 token with a snapshot mechanism. When a snapshot is created, the balances and
[codex:477836] 1260:abstract contract ERC20Snapshot is ERC20 {
[codex:477836] 1442: * @dev This contract extends an ERC20Snapshot token, which extends ERC20 and has a snapshot mechanism.
[codex:477836] 1445: * This contract records states at regular intervals.
[codex:477836] 1451:abstract contract ERC20RegularlyRecord is ERC20Snapshot {
[codex:477836] 1474:     * The first term starts when this contract is constructed.
[codex:477836] 1611: * Even after moving tokens, the holders keep the right to receive already settled dividends because this contract records states(the balances of accounts and the total supply of token) at the moment of settlement.
[codex:477836] 1617:contract LienToken is ERC20RegularlyRecord, ERC20Vestable {
[codex:477836] 1817:     * Both of these base class define `_burn`, so this contract must override `_burn` expressly.
[codex:477836] 1829:     * Both of these base class define `_mint`, so this contract must override `_mint` expressly.
[codex:477836] 
[codex:477836] thinking
[codex:477836] **Inspecting ERC20Vestable contract**
[codex:477836] exec
[codex:477836] /bin/bash -lc "sed -n '900,1250p' AUDIT_BUNDLE.txt" in /tmp/codex-multi-9e4li39w succeeded in 5ms:
[codex:477836]      * minting and burning.
[codex:477836]      *
[codex:477836]      * Calling conditions:
[codex:477836]      *
[codex:477836]      * - when `from` and `to` are both non-zero, `amount` of ``from``'s tokens
[codex:477836]      * will be to transferred to `to`.
[codex:477836]      * - when `from` is zero, `amount` tokens will be minted for `to`.
[codex:477836]      * - when `to` is zero, `amount` of ``from``'s tokens will be burned.
[codex:477836]      * - `from` and `to` are never both zero.
[codex:477836]      *
[codex:477836]      * To learn more about hooks, head to xref:ROOT:extending-contracts.adoc#using-hooks[Using Hooks].
[codex:477836]      */
[codex:477836]     function _beforeTokenTransfer(
[codex:477836]         address from,
[codex:477836]         address to,
[codex:477836]         uint256 amount
[codex:477836]     ) internal virtual {}
[codex:477836] }
[codex:477836] 
[codex:477836] // File: contracts/ERC20Vestable.sol
[codex:477836] 
[codex:477836] 
[codex:477836] 
[codex:477836] thinking
[codex:477836] **Analyzing dividend calculation and reentrancy risks**
[codex:477836] thinking
[codex:477836] **Examining rounding, snapshot, and vesting mechanics**
[codex:477836] 
[codex:477836] I'm carefully evaluating how integer division rounding affects dividend sums, confirming it can’t inflate payouts. I’m also scrutinizing the snapshot timing related to transfers and flash loans, seeing that snapshots capture balances before transfers so flash loan manipulation won’t work. Finally, I’m checking the vesting logic where anyone can unlock vested tokens for others; this might let an approved spender transfer newly spendable tokens sooner, which is interesting to consider.
[codex:477836] thinking
[codex:477836] **Evaluating vesting access control and reentrancy concerns**
[codex:477836] 
[codex:477836] I’m looking into how the lack of authorization on claimVestedTokens lets anyone unlock vested tokens for others, potentially enabling an attacker with allowance to transfer those tokens earlier. I’m also checking if reentrancy or token behavior could manipulate profit distribution, but state updates before external calls seem to prevent double claims or profit inflation. Overall, no clear concrete profit exploit appears from these aspects.
[codex:477836] exec
[codex:477836] /bin/bash -lc 'cat codex-output-schema.json' in /tmp/codex-multi-9e4li39w succeeded in 7ms:
[codex:477836] {"type": "object", "additionalProperties": false, "required": ["no_findings", "summary", "findings"], "properties": {"no_findings": {"type": "boolean"}, "summary": {"type": "string"}, "findings": {"type": "array", "items": {"type": "object", "additionalProperties": false, "required": ["severity", "category", "title", "evidence", "locations", "exploit_scenario", "recommendation"], "properties": {"severity": {"type": "string", "enum": ["info", "low", "medium", "high", "critical"]}, "category": {"type": "string", "enum": ["access_control", "reentrancy", "math", "oracle", "upgradeability", "auth", "other"]}, "title": {"type": "string"}, "exploit_scenario": {"type": "string"}, "recommendation": {"type": "string"}, "evidence": {"type": "string"}, "locations": {"type": "array", "items": {"type": "string"}}}}}}}
[codex:477836] 
[codex:477836] thinking
[codex:477836] **Preparing final JSON output**
[codex:477836] codex
[codex:477836] {"no_findings":true,"summary":"No concrete, exploitable profit extraction paths identified in the audited contracts.","findings":[]}
[codex:477836] tokens used
[codex:477836] 29,086
[codex:477836] {"no_findings":true,"summary":"No concrete, exploitable profit extraction paths identified in the audited contracts.","findings":[]}

{
    "codex": {
        "ran_at": "2026-01-04T00:13:59.296596+00:00",
        "returncode": 0
    },
    "summary": "No concrete, exploitable profit extraction paths identified in the audited contracts.",
    "raw_final": {
        "summary": "No concrete, exploitable profit extraction paths identified in the audited contracts.",
        "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 0x0289
0000000c: JUMPI
0000000d: PUSH1 0x00
0000000f: CALLDATALOAD
00000010: PUSH1 0xe0
00000012: SHR
00000013: DUP1
00000014: PUSH4 0x73205f2f
00000019: GT
0000001a: PUSH2 0x0153
0000001d: JUMPI
0000001e: DUP1
0000001f: PUSH4 0xa457c2d7
00000024: GT
00000025: PUSH2 0x00cb
00000028: JUMPI
00000029: DUP1
0000002a: PUSH4 0xc48c7342
0000002f: GT
00000030: PUSH2 0x007f
00000033: JUMPI
00000034: DUP1
00000035: PUSH4 0xdd62ed3e
0000003a: GT
0000003b: PUSH2 0x0064
0000003e: JUMPI
0000003f: DUP1
00000040: PUSH4 0xdd62ed3e
00000045: EQ
00000046: PUSH2 0x0ad4
00000049: JUMPI
0000004a: DUP1
0000004b: PUSH4 0xef613f16
00000050: EQ
00000051: PUSH2 0x0b1c
00000054: JUMPI
00000055: DUP1
00000056: PUSH4 0xf5dedb03
0000005b: EQ
0000005c: PUSH2 0x0b46
0000005f: JUMPI
00000060: PUSH2 0x0290
00000063: JUMP
00000064: JUMPDEST
00000065: DUP1
00000066: PUSH4 0xc48c7342
0000006b: EQ
0000006c: PUSH2 0x0aaa
0000006f: JUMPI
00000070: DUP1
00000071: PUSH4 0xd9f300ac
00000076: EQ
00000077: PUSH2 0x0abf
0000007a: JUMPI
0000007b: PUSH2 0x0290
0000007e: JUMP
0000007f: JUMPDEST
00000080: DUP1
00000081: PUSH4 0xa9059cbb
00000086: GT
00000087: PUSH2 0x00b0
0000008a: JUMPI
0000008b: DUP1
0000008c: PUSH4 0xa9059cbb
00000091: EQ
00000092: PUSH2 0x09fa
00000095: JUMPI
00000096: DUP1
00000097: PUSH4 0xb26ff923
0000009c: EQ
0000009d: PUSH2 0x0a40
000000a0: JUMPI
000000a1: DUP1
000000a2: PUSH4 0xb4b55ac8
000000a7: EQ
000000a8: PUSH2 0x0a80
000000ab: JUMPI
000000ac: PUSH2 0x0290
000000af: JUMP
000000b0: JUMPDEST
000000b1: DUP1
000000b2: PUSH4 0xa457c2d7
000000b7: EQ
000000b8: PUSH2 0x0976
000000bb: JUMPI
000000bc: DUP1
000000bd: PUSH4 0xa734f06e
000000c2: EQ
000000c3: PUSH2 0x09bc
000000c6: JUMPI
000000c7: PUSH2 0x0290
000000ca: JUMP
000000cb: JUMPDEST
000000cc: DUP1
000000cd: PUSH4 0x8fe3ad5e
000000d2: GT
000000d3: PUSH2 0x0122
000000d6: JUMPI
000000d7: DUP1
000000d8: PUSH4 0x95d89b41
000000dd: GT
000000de: PUSH2 0x0107
000000e1: JUMPI
000000e2: DUP1
000000e3: PUSH4 0x95d89b41
000000e8: EQ
000000e9: PUSH2 0x0922
000000ec: JUMPI
000000ed: DUP1
000000ee: PUSH4 0x981b24d0
000000f3: EQ
000000f4: PUSH2 0x0937
000000f7: JUMPI
000000f8: DUP1
000000f9: PUSH4 0x9ced0e9b
000000fe: EQ
000000ff: PUSH2 0x0961
00000102: JUMPI
00000103: PUSH2 0x0290
00000106: JUMP
00000107: JUMPDEST
00000108: DUP1
00000109: PUSH4 0x8fe3ad5e
0000010e: EQ
0000010f: PUSH2 0x08c5
00000112: JUMPI
00000113: DUP1
00000114: PUSH4 0x947a36fb
00000119: EQ
0000011a: PUSH2 0x090d
0000011d: JUMPI
0000011e: PUSH2 0x0290
00000121: JUMP
00000122: JUMPDEST
00000123: DUP1
00000124: PUSH4 0x73205f2f
00000129: EQ
0000012a: PUSH2 0x07c5
0000012d: JUMPI
0000012e: DUP1
0000012f: PUSH4 0x7aa112fd
00000134: EQ
00000135: PUSH2 0x0805
00000138: JUMPI
00000139: DUP1
0000013a: PUSH4 0x87882ac0
0000013f: EQ
00000140: PUSH2 0x084b
00000143: JUMPI
00000144: DUP1
00000145: PUSH4 0x883d38ac
0000014a: EQ
0000014b: PUSH2 0x089b
0000014e: JUMPI
0000014f: PUSH2 0x0290
00000152: JUMP
00000153: JUMPDEST
00000154: DUP1
00000155: PUSH4 0x27b7bb4a
0000015a: GT
0000015b: PUSH2 0x0201
0000015e: JUMPI
0000015f: DUP1
00000160: PUSH4 0x40b334f7
00000165: GT
00000166: PUSH2 0x01b5
00000169: JUMPI
0000016a: DUP1
0000016b: PUSH4 0x4ee2cd7e
00000170: GT
00000171: PUSH2 0x019a
00000174: JUMPI
00000175: DUP1
00000176: PUSH4 0x4ee2cd7e
0000017b: EQ
0000017c: PUSH2 0x06ff
0000017f: JUMPI
00000180: DUP1
00000181: PUSH4 0x5333b2ea
00000186: EQ
00000187: PUSH2 0x0745
0000018a: JUMPI
0000018b: DUP1
0000018c: PUSH4 0x70a08231
00000191: EQ
00000192: PUSH2 0x0785
00000195: JUMPI
00000196: PUSH2 0x0290
00000199: JUMP
0000019a: JUMPDEST
0000019b: DUP1
0000019c: PUSH4 0x40b334f7
000001a1: EQ
000001a2: PUSH2 0x0679
000001a5: JUMPI
000001a6: DUP1
000001a7: PUSH4 0x4665096d
000001ac: EQ
000001ad: PUSH2 0x06ea
000001b0: JUMPI
000001b1: PUSH2 0x0290
000001b4: JUMP
000001b5: JUMPDEST
000001b6: DUP1
000001b7: PUSH4 0x313ce567
000001bc: GT
000001bd: PUSH2 0x01e6
000001c0: JUMPI
000001c1: DUP1
000001c2: PUSH4 0x313ce567
000001c7: EQ
000001c8: PUSH2 0x05c2
000001cb: JUMPI
000001cc: DUP1
000001cd: PUSH4 0x39509351
000001d2: EQ
000001d3: PUSH2 0x05ed
000001d6: JUMPI
000001d7: DUP1
000001d8: PUSH4 0x3dce2b46
000001dd: EQ
000001de: PUSH2 0x0633
000001e1: JUMPI
000001e2: PUSH2 0x0290
000001e5: JUMP
000001e6: JUMPDEST
000001e7: DUP1
000001e8: PUSH4 0x27b7bb4a
000001ed: EQ
000001ee: PUSH2 0x0536
000001f1: JUMPI
000001f2: DUP1
000001f3: PUSH4 0x2e0876a0
000001f8: EQ
000001f9: PUSH2 0x057c
000001fc: JUMPI
000001fd: PUSH2 0x0290
00000200: JUMP
00000201: JUMPDEST
00000202: DUP1
00000203: PUSH4 0x18160ddd
00000208: GT
00000209: PUSH2 0x0258
0000020c: JUMPI
0000020d: DUP1
0000020e: PUSH4 0x23b872dd
00000213: GT
00000214: PUSH2 0x023d
00000217: JUMPI
00000218: DUP1
00000219: PUSH4 0x23b872dd
0000021e: EQ
0000021f: PUSH2 0x0452
00000222: JUMPI
00000223: DUP1
00000224: PUSH4 0x24b7bf82
00000229: EQ
0000022a: PUSH2 0x04a2
0000022d: JUMPI
0000022e: DUP1
0000022f: PUSH4 0x27951119
00000234: EQ
00000235: PUSH2 0x04ea
00000238: JUMPI
00000239: PUSH2 0x0290
0000023c: JUMP
0000023d: JUMPDEST
0000023e: DUP1
0000023f: PUSH4 0x18160ddd
00000244: EQ
00000245: PUSH2 0x0413
00000248: JUMPI
00000249: DUP1
0000024a: PUSH4 0x1c67247c
0000024f: EQ
00000250: PUSH2 0x0428
00000253: JUMPI
00000254: PUSH2 0x0290
00000257: JUMP
00000258: JUMPDEST
00000259: DUP1
0000025a: PUSH4 0x06822859
0000025f: EQ
00000260: PUSH2 0x0295
00000263: JUMPI
00000264: DUP1
00000265: PUSH4 0x06fdde03
0000026a: EQ
0000026b: PUSH2 0x02ed
0000026e: JUMPI
0000026f: DUP1
00000270: PUSH4 0x095ea7b3
00000275: EQ
00000276: PUSH2 0x0377
00000279: JUMPI
0000027a: DUP1
0000027b: PUSH4 0x13f4948d
00000280: EQ
00000281: PUSH2 0x03d1
00000284: JUMPI
00000285: PUSH2 0x0290
00000288: JUMP
00000289: JUMPDEST
0000028a: CALLDATASIZE
0000028b: PUSH2 0x0290
0000028e: JUMPI
0000028f: STOP
00000290: JUMPDEST
00000291: PUSH1 0x00
00000293: DUP1
00000294: REVERT
00000295: JUMPDEST
00000296: CALLVALUE
00000297: DUP1
00000298: ISZERO
00000299: PUSH2 0x02a1
0000029c: JUMPI
0000029d: PUSH1 0x00
0000029f: DUP1
000002a0: REVERT
000002a1: JUMPDEST
000002a2: POP
000002a3: PUSH2 0x02db
000002a6: PUSH1 0x04
000002a8: DUP1
000002a9: CALLDATASIZE
000002aa: SUB
000002ab: PUSH1 0x40
000002ad: DUP2
000002ae: LT
000002af: ISZERO
000002b0: PUSH2 0x02b8
000002b3: JUMPI
000002b4: PUSH1 0x00
000002b6: DUP1
000002b7: REVERT
000002b8: JUMPDEST
000002b9: POP
000002ba: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000002cf: DUP2
000002d0: CALLDATALOAD
000002d1: AND
000002d2: SWAP1
000002d3: PUSH1 0x20
000002d5: ADD
000002d6: CALLDATALOAD
000002d7: PUSH2 0x0b8e
000002da: JUMP
000002db: JUMPDEST
000002dc: PUSH1 0x40
000002de: DUP1
000002df: MLOAD
000002e0: SWAP2
000002e1: DUP3
000002e2: MSTORE
000002e3: MLOAD
000002e4: SWAP1
000002e5: DUP2
000002e6: SWAP1
000002e7: SUB
000002e8: PUSH1 0x20
000002ea: ADD
000002eb: SWAP1
000002ec: RETURN
000002ed: JUMPDEST
000002ee: CALLVALUE
000002ef: DUP1
000002f0: ISZERO
000002f1: PUSH2 0x02f9
000002f4: JUMPI
000002f5: PUSH1 0x00
000002f7: DUP1
000002f8: REVERT
000002f9: JUMPDEST
000002fa: POP
000002fb: PUSH2 0x0302
000002fe: PUSH2 0x0c47
00000301: JUMP
00000302: JUMPDEST
00000303: PUSH1 0x40
00000305: DUP1
00000306: MLOAD
00000307: PUSH1 0x20
00000309: DUP1
0000030a: DUP3
0000030b: MSTORE
0000030c: DUP4
0000030d: MLOAD
0000030e: DUP2
0000030f: DUP4
00000310: ADD
00000311: MSTORE
00000312: DUP4
00000313: MLOAD
00000314: SWAP2
00000315: SWAP3
00000316: DUP4
00000317: SWAP3
00000318: SWAP1
00000319: DUP4
0000031a: ADD
0000031b: SWAP2
0000031c: DUP6
0000031d: ADD
0000031e: SWAP1
0000031f: DUP1
00000320: DUP4
00000321: DUP4
00000322: PUSH1 0x00
00000324: JUMPDEST
00000325: DUP4
00000326: DUP2
00000327: LT
00000328: ISZERO
00000329: PUSH2 0x033c
0000032c: JUMPI
0000032d: DUP2
0000032e: DUP2
0000032f: ADD
00000330: MLOAD
00000331: DUP4
00000332: DUP3
00000333: ADD
00000334: MSTORE
00000335: PUSH1 0x20
00000337: ADD
00000338: PUSH2 0x0324
0000033b: JUMP
0000033c: JUMPDEST
0000033d: POP
0000033e: POP
0000033f: POP
00000340: POP
00000341: SWAP1
00000342: POP
00000343: SWAP1
00000344: DUP2
00000345: ADD
00000346: SWAP1
00000347: PUSH1 0x1f
00000349: AND
0000034a: DUP1
0000034b: ISZERO
0000034c: PUSH2 0x0369
0000034f: JUMPI
00000350: DUP1
00000351: DUP3
00000352: SUB
00000353: DUP1
00000354: MLOAD
00000355: PUSH1 0x01
00000357: DUP4
00000358: PUSH1 0x20
0000035a: SUB
0000035b: PUSH2 0x0100
0000035e: EXP
0000035f: SUB
00000360: NOT
00000361: AND
00000362: DUP2
00000363: MSTORE
00000364: PUSH1 0x20
00000366: ADD
00000367: SWAP2
00000368: POP
00000369: JUMPDEST
0000036a: POP
0000036b: SWAP3
0000036c: POP
0000036d: POP
0000036e: POP
0000036f: PUSH1 0x40
00000371: MLOAD
00000372: DUP1
00000373: SWAP2
00000374: SUB
00000375: SWAP1
00000376: RETURN
00000377: JUMPDEST
00000378: CALLVALUE
00000379: DUP1
0000037a: ISZERO
0000037b: PUSH2 0x0383
0000037e: JUMPI
0000037f: PUSH1 0x00
00000381: DUP1
00000382: REVERT
00000383: JUMPDEST
00000384: POP
00000385: PUSH2 0x03bd
00000388: PUSH1 0x04
0000038a: DUP1
0000038b: CALLDATASIZE
0000038c: SUB
0000038d: PUSH1 0x40
0000038f: DUP2
00000390: LT
00000391: ISZERO
00000392: PUSH2 0x039a
00000395: JUMPI
00000396: PUSH1 0x00
00000398: DUP1
00000399: REVERT
0000039a: JUMPDEST
0000039b: POP
0000039c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000003b1: DUP2
000003b2: CALLDATALOAD
000003b3: AND
000003b4: SWAP1
000003b5: PUSH1 0x20
000003b7: ADD
000003b8: CALLDATALOAD
000003b9: PUSH2 0x0cfc
000003bc: JUMP
000003bd: JUMPDEST
000003be: PUSH1 0x40
000003c0: DUP1
000003c1: MLOAD
000003c2: SWAP2
000003c3: ISZERO
000003c4: ISZERO
000003c5: DUP3
000003c6: MSTORE
000003c7: MLOAD
000003c8: SWAP1
000003c9: DUP2
000003ca: SWAP1
000003cb: SUB
000003cc: PUSH1 0x20
000003ce: ADD
000003cf: SWAP1
000003d0: RETURN
000003d1: JUMPDEST
000003d2: CALLVALUE
000003d3: DUP1
000003d4: ISZERO
000003d5: PUSH2 0x03dd
000003d8: JUMPI
000003d9: PUSH1 0x00
000003db: DUP1
000003dc: REVERT
000003dd: JUMPDEST
000003de: POP
000003df: PUSH2 0x0411
000003e2: PUSH1 0x04
000003e4: DUP1
000003e5: CALLDATASIZE
000003e6: SUB
000003e7: PUSH1 0x20
000003e9: DUP2
000003ea: LT
000003eb: ISZERO
000003ec: PUSH2 0x03f4
000003ef: JUMPI
000003f0: PUSH1 0x00
000003f2: DUP1
000003f3: REVERT
000003f4: JUMPDEST
000003f5: POP
000003f6: CALLDATALOAD
000003f7: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000040c: AND
0000040d: PUSH2 0x0d1a
00000410: JUMP
00000411: JUMPDEST
00000412: STOP
00000413: JUMPDEST
00000414: CALLVALUE
00000415: DUP1
00000416: ISZERO
00000417: PUSH2 0x041f
0000041a: JUMPI
0000041b: PUSH1 0x00
0000041d: DUP1
0000041e: REVERT
0000041f: JUMPDEST
00000420: POP
00000421: PUSH2 0x02db
00000424: PUSH2 0x0dd1
00000427: JUMP
00000428: JUMPDEST
00000429: CALLVALUE
0000042a: DUP1
0000042b: ISZERO
0000042c: PUSH2 0x0434
0000042f: JUMPI
00000430: PUSH1 0x00
00000432: DUP1
00000433: REVERT
00000434: JUMPDEST
00000435: POP
00000436: PUSH2 0x02db
00000439: PUSH1 0x04
0000043b: DUP1
0000043c: CALLDATASIZE
0000043d: SUB
0000043e: PUSH1 0x20
00000440: DUP2
00000441: LT
00000442: ISZERO
00000443: PUSH2 0x044b
00000446: JUMPI
00000447: PUSH1 0x00
00000449: DUP1
0000044a: REVERT
0000044b: JUMPDEST
0000044c: POP
0000044d: CALLDATALOAD
0000044e: PUSH2 0x0dd7
00000451: JUMP
00000452: JUMPDEST
00000453: CALLVALUE
00000454: DUP1
00000455: ISZERO
00000456: PUSH2 0x045e
00000459: JUMPI
0000045a: PUSH1 0x00
0000045c: DUP1
0000045d: REVERT
0000045e: JUMPDEST
0000045f: POP
00000460: PUSH2 0x03bd
00000463: PUSH1 0x04
00000465: DUP1
00000466: CALLDATASIZE
00000467: SUB
00000468: PUSH1 0x60
0000046a: DUP2
0000046b: LT
0000046c: ISZERO
0000046d: PUSH2 0x0475
00000470: JUMPI
00000471: PUSH1 0x00
00000473: DUP1
00000474: REVERT
00000475: JUMPDEST
00000476: POP
00000477: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000048c: DUP2
0000048d: CALLDATALOAD
0000048e: DUP2
0000048f: AND
00000490: SWAP2
00000491: PUSH1 0x20
00000493: DUP2
00000494: ADD
00000495: CALLDATALOAD
00000496: SWAP1
00000497: SWAP2
00000498: AND
00000499: SWAP1
0000049a: PUSH1 0x40
0000049c: ADD
0000049d: CALLDATALOAD
0000049e: PUSH2 0x0e8c
000004a1: JUMP
000004a2: JUMPDEST
000004a3: CALLVALUE
000004a4: DUP1
000004a5: ISZERO
000004a6: PUSH2 0x04ae
000004a9: JUMPI
000004aa: PUSH1 0x00
000004ac: DUP1
000004ad: REVERT
000004ae: JUMPDEST
000004af: POP
000004b0: PUSH2 0x0411
000004b3: PUSH1 0x04
000004b5: DUP1
000004b6: CALLDATASIZE
000004b7: SUB
000004b8: PUSH1 0x40
000004ba: DUP2
000004bb: LT
000004bc: ISZERO
000004bd: PUSH2 0x04c5
000004c0: JUMPI
000004c1: PUSH1 0x00
000004c3: DUP1
000004c4: REVERT
000004c5: JUMPDEST
000004c6: POP
000004c7: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000004dc: DUP2
000004dd: CALLDATALOAD
000004de: DUP2
000004df: AND
000004e0: SWAP2
000004e1: PUSH1 0x20
000004e3: ADD
000004e4: CALLDATALOAD
000004e5: AND
000004e6: PUSH2 0x0f33
000004e9: JUMP
000004ea: JUMPDEST
000004eb: CALLVALUE
000004ec: DUP1
000004ed: ISZERO
000004ee: PUSH2 0x04f6
000004f1: JUMPI
000004f2: PUSH1 0x00
000004f4: DUP1
000004f5: REVERT
000004f6: JUMPDEST
000004f7: POP
000004f8: PUSH2 0x0411
000004fb: PUSH1 0x04
000004fd: DUP1
000004fe: CALLDATASIZE
000004ff: SUB
00000500: PUSH1 0x60
00000502: DUP2
00000503: LT
00000504: ISZERO
00000505: PUSH2 0x050d
00000508: JUMPI
00000509: PUSH1 0x00
0000050b: DUP1
0000050c: REVERT
0000050d: JUMPDEST
0000050e: POP
0000050f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000524: DUP2
00000525: CALLDATALOAD
00000526: AND
00000527: SWAP1
00000528: PUSH1 0x20
0000052a: DUP2
0000052b: ADD
0000052c: CALLDATALOAD
0000052d: SWAP1
0000052e: PUSH1 0x40
00000530: ADD
00000531: CALLDATALOAD
00000532: PUSH2 0x11a2
00000535: JUMP
00000536: JUMPDEST
00000537: CALLVALUE
00000538: DUP1
00000539: ISZERO
0000053a: PUSH2 0x0542
0000053d: JUMPI
0000053e: PUSH1 0x00
00000540: DUP1
00000541: REVERT
00000542: JUMPDEST
00000543: POP
00000544: PUSH2 0x02db
00000547: PUSH1 0x04
00000549: DUP1
0000054a: CALLDATASIZE
0000054b: SUB
0000054c: PUSH1 0x40
0000054e: DUP2
0000054f: LT
00000550: ISZERO
00000551: PUSH2 0x0559
00000554: JUMPI
00000555: PUSH1 0x00
00000557: DUP1
00000558: REVERT
00000559: JUMPDEST
0000055a: POP
0000055b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000570: DUP2
00000571: CALLDATALOAD
00000572: AND
00000573: SWAP1
00000574: PUSH1 0x20
00000576: ADD
00000577: CALLDATALOAD
00000578: PUSH2 0x129b
0000057b: JUMP
0000057c: JUMPDEST
0000057d: CALLVALUE
0000057e: DUP1
0000057f: ISZERO
00000580: PUSH2 0x0588
00000583: JUMPI
00000584: PUSH1 0x00
00000586: DUP1
00000587: REVERT
00000588: JUMPDEST
00000589: POP
0000058a: PUSH2 0x0411
0000058d: PUSH1 0x04
0000058f: DUP1
00000590: CALLDATASIZE
00000591: SUB
00000592: PUSH1 0x40
00000594: DUP2
00000595: LT
00000596: ISZERO
00000597: PUSH2 0x059f
0000059a: JUMPI
0000059b: PUSH1 0x00
0000059d: DUP1
0000059e: REVERT
0000059f: JUMPDEST
000005a0: POP
000005a1: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000005b6: DUP2
000005b7: CALLDATALOAD
000005b8: AND
000005b9: SWAP1
000005ba: PUSH1 0x20
000005bc: ADD
000005bd: CALLDATALOAD
000005be: PUSH2 0x12cf
000005c1: JUMP
000005c2: JUMPDEST
000005c3: CALLVALUE
000005c4: DUP1
000005c5: ISZERO
000005c6: PUSH2 0x05ce
000005c9: JUMPI
000005ca: PUSH1 0x00
000005cc: DUP1
000005cd: REVERT
000005ce: JUMPDEST
000005cf: POP
000005d0: PUSH2 0x05d7
000005d3: PUSH2 0x1496
000005d6: JUMP
000005d7: JUMPDEST
000005d8: PUSH1 0x40
000005da: DUP1
000005db: MLOAD
000005dc: PUSH1 0xff
000005de: SWAP1
000005df: SWAP3
000005e0: AND
000005e1: DUP3
000005e2: MSTORE
000005e3: MLOAD
000005e4: SWAP1
000005e5: DUP2
000005e6: SWAP1
000005e7: SUB
000005e8: PUSH1 0x20
000005ea: ADD
000005eb: SWAP1
000005ec: RETURN
000005ed: JUMPDEST
000005ee: CALLVALUE
000005ef: DUP1
000005f0: ISZERO
000005f1: PUSH2 0x05f9
000005f4: JUMPI
000005f5: PUSH1 0x00
000005f7: DUP1
000005f8: REVERT
000005f9: JUMPDEST
000005fa: POP
000005fb: PUSH2 0x03bd
000005fe: PUSH1 0x04
00000600: DUP1
00000601: CALLDATASIZE
00000602: SUB
00000603: PUSH1 0x40
00000605: DUP2
00000606: LT
00000607: ISZERO
00000608: PUSH2 0x0610
0000060b: JUMPI
0000060c: PUSH1 0x00
0000060e: DUP1
0000060f: REVERT
00000610: JUMPDEST
00000611: POP
00000612: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000627: DUP2
00000628: CALLDATALOAD
00000629: AND
0000062a: SWAP1
0000062b: PUSH1 0x20
0000062d: ADD
0000062e: CALLDATALOAD
0000062f: PUSH2 0x149f
00000632: JUMP
00000633: JUMPDEST
00000634: CALLVALUE
00000635: DUP1
00000636: ISZERO
00000637: PUSH2 0x063f
0000063a: JUMPI
0000063b: PUSH1 0x00
0000063d: DUP1
0000063e: REVERT
0000063f: JUMPDEST
00000640: POP
00000641: PUSH2 0x02db
00000644: PUSH1 0x04
00000646: DUP1
00000647: CALLDATASIZE
00000648: SUB
00000649: PUSH1 0x40
0000064b: DUP2
0000064c: LT
0000064d: ISZERO
0000064e: PUSH2 0x0656
00000651: JUMPI
00000652: PUSH1 0x00
00000654: DUP1
00000655: REVERT
00000656: JUMPDEST
00000657: POP
00000658: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000066d: DUP2
0000066e: CALLDATALOAD
0000066f: AND
00000670: SWAP1
00000671: PUSH1 0x20
00000673: ADD
00000674: CALLDATALOAD
00000675: PUSH2 0x1500
00000678: JUMP
00000679: JUMPDEST
0000067a: CALLVALUE
0000067b: DUP1
0000067c: ISZERO
0000067d: PUSH2 0x0685
00000680: JUMPI
00000681: PUSH1 0x00
00000683: DUP1
00000684: REVERT
00000685: JUMPDEST
00000686: POP
00000687: PUSH2 0x06bf
0000068a: PUSH1 0x04
0000068c: DUP1
0000068d: CALLDATASIZE
0000068e: SUB
0000068f: PUSH1 0x40
00000691: DUP2
00000692: LT
00000693: ISZERO
00000694: PUSH2 0x069c
00000697: JUMPI
00000698: PUSH1 0x00
0000069a: DUP1
0000069b: REVERT
0000069c: JUMPDEST
0000069d: POP
0000069e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000006b3: DUP2
000006b4: CALLDATALOAD
000006b5: AND
000006b6: SWAP1
000006b7: PUSH1 0x20
000006b9: ADD
000006ba: CALLDATALOAD
000006bb: PUSH2 0x167f
000006be: JUMP
000006bf: JUMPDEST
000006c0: PUSH1 0x40
000006c2: DUP1
000006c3: MLOAD
000006c4: SWAP6
000006c5: DUP7
000006c6: MSTORE
000006c7: PUSH1 0x20
000006c9: DUP7
000006ca: ADD
000006cb: SWAP5
000006cc: SWAP1
000006cd: SWAP5
000006ce: MSTORE
000006cf: DUP5
000006d0: DUP5
000006d1: ADD
000006d2: SWAP3
000006d3: SWAP1
000006d4: SWAP3
000006d5: MSTORE
000006d6: PUSH1 0x60
000006d8: DUP5
000006d9: ADD
000006da: MSTORE
000006db: PUSH1 0x80
000006dd: DUP4
000006de: ADD
000006df: MSTORE
000006e0: MLOAD
000006e1: SWAP1
000006e2: DUP2
000006e3: SWAP1
000006e4: SUB
000006e5: PUSH1 0xa0
000006e7: ADD
000006e8: SWAP1
000006e9: RETURN
000006ea: JUMPDEST
000006eb: CALLVALUE
000006ec: DUP1
000006ed: ISZERO
000006ee: PUSH2 0x06f6
000006f1: JUMPI
000006f2: PUSH1 0x00
000006f4: DUP1
000006f5: REVERT
000006f6: JUMPDEST
000006f7: POP
000006f8: PUSH2 0x02db
000006fb: PUSH2 0x1741
000006fe: JUMP
000006ff: JUMPDEST
00000700: CALLVALUE
00000701: DUP1
00000702: ISZERO
00000703: PUSH2 0x070b
00000706: JUMPI
00000707: PUSH1 0x00
00000709: DUP1
0000070a: REVERT
0000070b: JUMPDEST
0000070c: POP
0000070d: PUSH2 0x02db
00000710: PUSH1 0x04
00000712: DUP1
00000713: CALLDATASIZE
00000714: SUB
00000715: PUSH1 0x40
00000717: DUP2
00000718: LT
00000719: ISZERO
0000071a: PUSH2 0x0722
0000071d: JUMPI
0000071e: PUSH1 0x00
00000720: DUP1
00000721: REVERT
00000722: JUMPDEST
00000723: POP
00000724: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000739: DUP2
0000073a: CALLDATALOAD
0000073b: AND
0000073c: SWAP1
0000073d: PUSH1 0x20
0000073f: ADD
00000740: CALLDATALOAD
00000741: PUSH2 0x1765
00000744: JUMP
00000745: JUMPDEST
00000746: CALLVALUE
00000747: DUP1
00000748: ISZERO
00000749: PUSH2 0x0751
0000074c: JUMPI
0000074d: PUSH1 0x00
0000074f: DUP1
00000750: REVERT
00000751: JUMPDEST
00000752: POP
00000753: PUSH2 0x02db
00000756: PUSH1 0x04
00000758: DUP1
00000759: CALLDATASIZE
0000075a: SUB
0000075b: PUSH1 0x20
0000075d: DUP2
0000075e: LT
0000075f: ISZERO
00000760: PUSH2 0x0768
00000763: JUMPI
00000764: PUSH1 0x00
00000766: DUP1
00000767: REVERT
00000768: JUMPDEST
00000769: POP
0000076a: CALLDATALOAD
0000076b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000780: AND
00000781: PUSH2 0x17b8
00000784: JUMP
00000785: JUMPDEST
00000786: CALLVALUE
00000787: DUP1
00000788: ISZERO
00000789: PUSH2 0x0791
0000078c: JUMPI
0000078d: PUSH1 0x00
0000078f: DUP1
00000790: REVERT
00000791: JUMPDEST
00000792: POP
00000793: PUSH2 0x02db
00000796: PUSH1 0x04
00000798: DUP1
00000799: CALLDATASIZE
0000079a: SUB
0000079b: PUSH1 0x20
0000079d: DUP2
0000079e: LT
0000079f: ISZERO
000007a0: PUSH2 0x07a8
000007a3: JUMPI
000007a4: PUSH1 0x00
000007a6: DUP1
000007a7: REVERT
000007a8: JUMPDEST
000007a9: POP
000007aa: CALLDATALOAD
000007ab: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000007c0: AND
000007c1: PUSH2 0x17e4
000007c4: JUMP
000007c5: JUMPDEST
000007c6: CALLVALUE
000007c7: DUP1
000007c8: ISZERO
000007c9: PUSH2 0x07d1
000007cc: JUMPI
000007cd: PUSH1 0x00
000007cf: DUP1
000007d0: REVERT
000007d1: JUMPDEST
000007d2: POP
000007d3: PUSH2 0x02db
000007d6: PUSH1 0x04
000007d8: DUP1
000007d9: CALLDATASIZE
000007da: SUB
000007db: PUSH1 0x20
000007dd: DUP2
000007de: LT
000007df: ISZERO
000007e0: PUSH2 0x07e8
000007e3: JUMPI
000007e4: PUSH1 0x00
000007e6: DUP1
000007e7: REVERT
000007e8: JUMPDEST
000007e9: POP
000007ea: CALLDATALOAD
000007eb: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000800: AND
00000801: PUSH2 0x180c
00000804: JUMP
00000805: JUMPDEST
00000806: CALLVALUE
00000807: DUP1
00000808: ISZERO
00000809: PUSH2 0x0811
0000080c: JUMPI
0000080d: PUSH1 0x00
0000080f: DUP1
00000810: REVERT
00000811: JUMPDEST
00000812: POP
00000813: PUSH2 0x02db
00000816: PUSH1 0x04
00000818: DUP1
00000819: CALLDATASIZE
0000081a: SUB
0000081b: PUSH1 0x40
0000081d: DUP2
0000081e: LT
0000081f: ISZERO
00000820: PUSH2 0x0828
00000823: JUMPI
00000824: PUSH1 0x00
00000826: DUP1
00000827: REVERT
00000828: JUMPDEST
00000829: POP
0000082a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000083f: DUP2
00000840: CALLDATALOAD
00000841: AND
00000842: SWAP1
00000843: PUSH1 0x20
00000845: ADD
00000846: CALLDATALOAD
00000847: PUSH2 0x198b
0000084a: JUMP
0000084b: JUMPDEST
0000084c: CALLVALUE
0000084d: DUP1
0000084e: ISZERO
0000084f: PUSH2 0x0857
00000852: JUMPI
00000853: PUSH1 0x00
00000855: DUP1
00000856: REVERT
00000857: JUMPDEST
00000858: POP
00000859: PUSH2 0x02db
0000085c: PUSH1 0x04
0000085e: DUP1
0000085f: CALLDATASIZE
00000860: SUB
00000861: PUSH1 0x60
00000863: DUP2
00000864: LT
00000865: ISZERO
00000866: PUSH2 0x086e
00000869: JUMPI
0000086a: PUSH1 0x00
0000086c: DUP1
0000086d: REVERT
0000086e: JUMPDEST
0000086f: POP
00000870: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000885: DUP2
00000886: CALLDATALOAD
00000887: DUP2
00000888: AND
00000889: SWAP2
0000088a: PUSH1 0x20
0000088c: DUP2
0000088d: ADD
0000088e: CALLDATALOAD
0000088f: SWAP1
00000890: SWAP2
00000891: AND
00000892: SWAP1
00000893: PUSH1 0x40
00000895: ADD
00000896: CALLDATALOAD
00000897: PUSH2 0x19c2
0000089a: JUMP
0000089b: JUMPDEST
0000089c: CALLVALUE
0000089d: DUP1
0000089e: ISZERO
0000089f: PUSH2 0x08a7
000008a2: JUMPI
000008a3: PUSH1 0x00
000008a5: DUP1
000008a6: REVERT
000008a7: JUMPDEST
000008a8: POP
000008a9: PUSH2 0x02db
000008ac: PUSH1 0x04
000008ae: DUP1
000008af: CALLDATASIZE
000008b0: SUB
000008b1: PUSH1 0x20
000008b3: DUP2
000008b4: LT
000008b5: ISZERO
000008b6: PUSH2 0x08be
000008b9: JUMPI
000008ba: PUSH1 0x00
000008bc: DUP1
000008bd: REVERT
000008be: JUMPDEST
000008bf: POP
000008c0: CALLDATALOAD
000008c1: PUSH2 0x19e8
000008c4: JUMP
000008c5: JUMPDEST
000008c6: CALLVALUE
000008c7: DUP1
000008c8: ISZERO
000008c9: PUSH2 0x08d1
000008cc: JUMPI
000008cd: PUSH1 0x00
000008cf: DUP1
000008d0: REVERT
000008d1: JUMPDEST
000008d2: POP
000008d3: PUSH2 0x02db
000008d6: PUSH1 0x04
000008d8: DUP1
000008d9: CALLDATASIZE
000008da: SUB
000008db: PUSH1 0x40
000008dd: DUP2
000008de: LT
000008df: ISZERO
000008e0: PUSH2 0x08e8
000008e3: JUMPI
000008e4: PUSH1 0x00
000008e6: DUP1
000008e7: REVERT
000008e8: JUMPDEST
000008e9: POP
000008ea: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000008ff: DUP2
00000900: CALLDATALOAD
00000901: DUP2
00000902: AND
00000903: SWAP2
00000904: PUSH1 0x20
00000906: ADD
00000907: CALLDATALOAD
00000908: AND
00000909: PUSH2 0x1ab5
0000090c: JUMP
0000090d: JUMPDEST
0000090e: CALLVALUE
0000090f: DUP1
00000910: ISZERO
00000911: PUSH2 0x0919
00000914: JUMPI
00000915: PUSH1 0x00
00000917: DUP1
00000918: REVERT
00000919: JUMPDEST
0000091a: POP
0000091b: PUSH2 0x02db
0000091e: PUSH2 0x1ad2
00000921: JUMP
00000922: JUMPDEST
00000923: CALLVALUE
00000924: DUP1
00000925: ISZERO
00000926: PUSH2 0x092e
00000929: JUMPI
0000092a: PUSH1 0x00
0000092c: DUP1
0000092d: REVERT
0000092e: JUMPDEST
0000092f: POP
00000930: PUSH2 0x0302
00000933: PUSH2 0x1af6
00000936: JUMP
00000937: JUMPDEST
00000938: CALLVALUE
00000939: DUP1
0000093a: ISZERO
0000093b: PUSH2 0x0943
0000093e: JUMPI
0000093f: PUSH1 0x00
00000941: DUP1
00000942: REVERT
00000943: JUMPDEST
00000944: POP
00000945: PUSH2 0x02db
00000948: PUSH1 0x04
0000094a: DUP1
0000094b: CALLDATASIZE
0000094c: SUB
0000094d: PUSH1 0x20
0000094f: DUP2
00000950: LT
00000951: ISZERO
00000952: PUSH2 0x095a
00000955: JUMPI
00000956: PUSH1 0x00
00000958: DUP1
00000959: REVERT
0000095a: JUMPDEST
0000095b: POP
0000095c: CALLDATALOAD
0000095d: PUSH2 0x1b75
00000960: JUMP
00000961: JUMPDEST
00000962: CALLVALUE
00000963: DUP1
00000964: ISZERO
00000965: PUSH2 0x096d
00000968: JUMPI
00000969: PUSH1 0x00
0000096b: DUP1
0000096c: REVERT
0000096d: JUMPDEST
0000096e: POP
0000096f: PUSH2 0x02db
00000972: PUSH2 0x1b9b
00000975: JUMP
00000976: JUMPDEST
00000977: CALLVALUE
00000978: DUP1
00000979: ISZERO
0000097a: PUSH2 0x0982
0000097d: JUMPI
0000097e: PUSH1 0x00
00000980: DUP1
00000981: REVERT
00000982: JUMPDEST
00000983: POP
00000984: PUSH2 0x03bd
00000987: PUSH1 0x04
00000989: DUP1
0000098a: CALLDATASIZE
0000098b: SUB
0000098c: PUSH1 0x40
0000098e: DUP2
0000098f: LT
00000990: ISZERO
00000991: PUSH2 0x0999
00000994: JUMPI
00000995: PUSH1 0x00
00000997: DUP1
00000998: REVERT
00000999: JUMPDEST
0000099a: POP
0000099b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000009b0: DUP2
000009b1: CALLDATALOAD
000009b2: AND
000009b3: SWAP1
000009b4: PUSH1 0x20
000009b6: ADD
000009b7: CALLDATALOAD
000009b8: PUSH2 0x1bbf
000009bb: JUMP
000009bc: JUMPDEST
000009bd: CALLVALUE
000009be: DUP1
000009bf: ISZERO
000009c0: PUSH2 0x09c8
000009c3: JUMPI
000009c4: PUSH1 0x00
000009c6: DUP1
000009c7: REVERT
000009c8: JUMPDEST
000009c9: POP
000009ca: PUSH2 0x09d1
000009cd: PUSH2 0x1c3a
000009d0: JUMP
000009d1: JUMPDEST
000009d2: PUSH1 0x40
000009d4: DUP1
000009d5: MLOAD
000009d6: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000009eb: SWAP1
000009ec: SWAP3
000009ed: AND
000009ee: DUP3
000009ef: MSTORE
000009f0: MLOAD
000009f1: SWAP1
000009f2: DUP2
000009f3: SWAP1
000009f4: SUB
000009f5: PUSH1 0x20
000009f7: ADD
000009f8: SWAP1
000009f9: RETURN
000009fa: JUMPDEST
000009fb: CALLVALUE
000009fc: DUP1
000009fd: ISZERO
000009fe: PUSH2 0x0a06
00000a01: JUMPI
00000a02: PUSH1 0x00
00000a04: DUP1
00000a05: REVERT
00000a06: JUMPDEST
00000a07: POP
00000a08: PUSH2 0x03bd
00000a0b: PUSH1 0x04
00000a0d: DUP1
00000a0e: CALLDATASIZE
00000a0f: SUB
00000a10: PUSH1 0x40
00000a12: DUP2
00000a13: LT
00000a14: ISZERO
00000a15: PUSH2 0x0a1d
00000a18: JUMPI
00000a19: PUSH1 0x00
00000a1b: DUP1
00000a1c: REVERT
00000a1d: JUMPDEST
00000a1e: POP
00000a1f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000a34: DUP2
00000a35: CALLDATALOAD
00000a36: AND
00000a37: SWAP1
00000a38: PUSH1 0x20
00000a3a: ADD
00000a3b: CALLDATALOAD
00000a3c: PUSH2 0x1c3f
00000a3f: JUMP
00000a40: JUMPDEST
00000a41: CALLVALUE
00000a42: DUP1
00000a43: ISZERO
00000a44: PUSH2 0x0a4c
00000a47: JUMPI
00000a48: PUSH1 0x00
00000a4a: DUP1
00000a4b: REVERT
00000a4c: JUMPDEST
00000a4d: POP
00000a4e: PUSH2 0x02db
00000a51: PUSH1 0x04
00000a53: DUP1
00000a54: CALLDATASIZE
00000a55: SUB
00000a56: PUSH1 0x20
00000a58: DUP2
00000a59: LT
00000a5a: ISZERO
00000a5b: PUSH2 0x0a63
00000a5e: JUMPI
00000a5f: PUSH1 0x00
00000a61: DUP1
00000a62: REVERT
00000a63: JUMPDEST
00000a64: POP
00000a65: CALLDATALOAD
00000a66: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000a7b: AND
00000a7c: PUSH2 0x1c53
00000a7f: JUMP
00000a80: JUMPDEST
00000a81: CALLVALUE
00000a82: DUP1
00000a83: ISZERO
00000a84: PUSH2 0x0a8c
00000a87: JUMPI
00000a88: PUSH1 0x00
00000a8a: DUP1
00000a8b: REVERT
00000a8c: JUMPDEST
00000a8d: POP
00000a8e: PUSH2 0x02db
00000a91: PUSH1 0x04
00000a93: DUP1
00000a94: CALLDATASIZE
00000a95: SUB
00000a96: PUSH1 0x20
00000a98: DUP2
00000a99: LT
00000a9a: ISZERO
00000a9b: PUSH2 0x0aa3
00000a9e: JUMPI
00000a9f: PUSH1 0x00
00000aa1: DUP1
00000aa2: REVERT
00000aa3: JUMPDEST
00000aa4: POP
00000aa5: CALLDATALOAD
00000aa6: PUSH2 0x1c7b
00000aa9: JUMP
00000aaa: JUMPDEST
00000aab: CALLVALUE
00000aac: DUP1
00000aad: ISZERO
00000aae: PUSH2 0x0ab6
00000ab1: JUMPI
00000ab2: PUSH1 0x00
00000ab4: DUP1
00000ab5: REVERT
00000ab6: JUMPDEST
00000ab7: POP
00000ab8: PUSH2 0x02db
00000abb: PUSH2 0x1d14
00000abe: JUMP
00000abf: JUMPDEST
00000ac0: CALLVALUE
00000ac1: DUP1
00000ac2: ISZERO
00000ac3: PUSH2 0x0acb
00000ac6: JUMPI
00000ac7: PUSH1 0x00
00000ac9: DUP1
00000aca: REVERT
00000acb: JUMPDEST
00000acc: POP
00000acd: PUSH2 0x02db
00000ad0: PUSH2 0x1d24
00000ad3: JUMP
00000ad4: JUMPDEST
00000ad5: CALLVALUE
00000ad6: DUP1
00000ad7: ISZERO
00000ad8: PUSH2 0x0ae0
00000adb: JUMPI
00000adc: PUSH1 0x00
00000ade: DUP1
00000adf: REVERT
00000ae0: JUMPDEST
00000ae1: POP
00000ae2: PUSH2 0x02db
00000ae5: PUSH1 0x04
00000ae7: DUP1
00000ae8: CALLDATASIZE
00000ae9: SUB
00000aea: PUSH1 0x40
00000aec: DUP2
00000aed: LT
00000aee: ISZERO
00000aef: PUSH2 0x0af7
00000af2: JUMPI
00000af3: PUSH1 0x00
00000af5: DUP1
00000af6: REVERT
00000af7: JUMPDEST
00000af8: POP
00000af9: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000b0e: DUP2
00000b0f: CALLDATALOAD
00000b10: DUP2
00000b11: AND
00000b12: SWAP2
00000b13: PUSH1 0x20
00000b15: ADD
00000b16: CALLDATALOAD
00000b17: AND
00000b18: PUSH2 0x1d2a
00000b1b: JUMP
00000b1c: JUMPDEST
00000b1d: CALLVALUE
00000b1e: DUP1
00000b1f: ISZERO
00000b20: PUSH2 0x0b28
00000b23: JUMPI
00000b24: PUSH1 0x00
00000b26: DUP1
00000b27: REVERT
00000b28: JUMPDEST
00000b29: POP
00000b2a: PUSH2 0x02db
00000b2d: PUSH1 0x04
00000b2f: DUP1
00000b30: CALLDATASIZE
00000b31: SUB
00000b32: PUSH1 0x20
00000b34: DUP2
00000b35: LT
00000b36: ISZERO
00000b37: PUSH2 0x0b3f
00000b3a: JUMPI
00000b3b: PUSH1 0x00
00000b3d: DUP1
00000b3e: REVERT
00000b3f: JUMPDEST
00000b40: POP
00000b41: CALLDATALOAD
00000b42: PUSH2 0x1d62
00000b45: JUMP
00000b46: JUMPDEST
00000b47: CALLVALUE
00000b48: DUP1
00000b49: ISZERO
00000b4a: PUSH2 0x0b52
00000b4d: JUMPI
00000b4e: PUSH1 0x00
00000b50: DUP1
00000b51: REVERT
00000b52: JUMPDEST
00000b53: POP
00000b54: PUSH2 0x02db
00000b57: PUSH1 0x04
00000b59: DUP1
00000b5a: CALLDATASIZE
00000b5b: SUB
00000b5c: PUSH1 0x40
00000b5e: DUP2
00000b5f: LT
00000b60: ISZERO
00000b61: PUSH2 0x0b69
00000b64: JUMPI
00000b65: PUSH1 0x00
00000b67: DUP1
00000b68: REVERT
00000b69: JUMPDEST
00000b6a: POP
00000b6b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000b80: DUP2
00000b81: CALLDATALOAD
00000b82: DUP2
00000b83: AND
00000b84: SWAP2
00000b85: PUSH1 0x20
00000b87: ADD
00000b88: CALLDATALOAD
00000b89: AND
00000b8a: PUSH2 0x1e0f
00000b8d: JUMP
00000b8e: JUMPDEST
00000b8f: PUSH1 0x00
00000b91: DUP2
00000b92: DUP1
00000b93: PUSH2 0x0be3
00000b96: JUMPI
00000b97: PUSH1 0x40
00000b99: DUP1
00000b9a: MLOAD
00000b9b: PUSH3 0x461bcd
00000b9f: PUSH1 0xe5
00000ba1: SHL
00000ba2: DUP2
00000ba3: MSTORE
00000ba4: PUSH1 0x20
00000ba6: PUSH1 0x04
00000ba8: DUP3
00000ba9: ADD
00000baa: MSTORE
00000bab: PUSH1 0x1a
00000bad: PUSH1 0x24
00000baf: DUP3
00000bb0: ADD
00000bb1: MSTORE
00000bb2: PUSH32 0x3020697320696e76616c69642076616c7565206173207465726d000000000000
00000bd3: PUSH1 0x44
00000bd5: DUP3
00000bd6: ADD
00000bd7: MSTORE
00000bd8: SWAP1
00000bd9: MLOAD
00000bda: SWAP1
00000bdb: DUP2
00000bdc: SWAP1
00000bdd: SUB
00000bde: PUSH1 0x64
00000be0: ADD
00000be1: SWAP1
00000be2: REVERT
00000be3: JUMPDEST
00000be4: PUSH1 0x00
00000be6: PUSH2 0x0bed
00000be9: PUSH2 0x1d14
00000bec: JUMP
00000bed: JUMPDEST
00000bee: SWAP1
00000bef: POP
00000bf0: DUP4
00000bf1: JUMPDEST
00000bf2: DUP2
00000bf3: DUP2
00000bf4: LT
00000bf5: ISZERO
00000bf6: PUSH2 0x0c32
00000bf9: JUMPI
00000bfa: PUSH2 0x0c02
00000bfd: DUP2
00000bfe: PUSH2 0x1ea4
00000c01: JUMP
00000c02: JUMPDEST
00000c03: ISZERO
00000c04: PUSH2 0x0c2a
00000c07: JUMPI
00000c08: PUSH1 0x00
00000c0a: DUP2
00000c0b: DUP2
00000c0c: MSTORE
00000c0d: PUSH1 0x0a
00000c0f: PUSH1 0x20
00000c11: MSTORE
00000c12: PUSH1 0x40
00000c14: SWAP1
00000c15: KECCAK256
00000c16: SLOAD
00000c17: PUSH2 0x0c21
00000c1a: SWAP1
00000c1b: DUP8
00000c1c: SWAP1
00000c1d: PUSH2 0x1765
00000c20: JUMP
00000c21: JUMPDEST
00000c22: SWAP4
00000c23: POP
00000c24: POP
00000c25: POP
00000c26: PUSH2 0x0c40
00000c29: JUMP
00000c2a: JUMPDEST
00000c2b: PUSH1 0x01
00000c2d: ADD
00000c2e: PUSH2 0x0bf1
00000c31: JUMP
00000c32: JUMPDEST
00000c33: POP
00000c34: PUSH2 0x0c3c
00000c37: DUP6
00000c38: PUSH2 0x17e4
00000c3b: JUMP
00000c3c: JUMPDEST
00000c3d: SWAP3
00000c3e: POP
00000c3f: POP
00000c40: JUMPDEST
00000c41: POP
00000c42: SWAP3
00000c43: SWAP2
00000c44: POP
00000c45: POP
00000c46: JUMP
00000c47: JUMPDEST
00000c48: PUSH1 0x03
00000c4a: DUP1
00000c4b: SLOAD
00000c4c: PUSH1 0x40
00000c4e: DUP1
00000c4f: MLOAD
00000c50: PUSH1 0x20
00000c52: PUSH1 0x1f
00000c54: PUSH1 0x02
00000c56: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff
00000c77: PUSH2 0x0100
00000c7a: PUSH1 0x01
00000c7c: DUP9
00000c7d: AND
00000c7e: ISZERO
00000c7f: MUL
00000c80: ADD
00000c81: SWAP1
00000c82: SWAP6
00000c83: AND
00000c84: SWAP5
00000c85: SWAP1
00000c86: SWAP5
00000c87: DIV
00000c88: SWAP4
00000c89: DUP5
00000c8a: ADD
00000c8b: DUP2
00000c8c: SWAP1
00000c8d: DIV
00000c8e: DUP2
00000c8f: MUL
00000c90: DUP3
00000c91: ADD
00000c92: DUP2
00000c93: ADD
00000c94: SWAP1
00000c95: SWAP3
00000c96: MSTORE
00000c97: DUP3
00000c98: DUP2
00000c99: MSTORE
00000c9a: PUSH1 0x60
00000c9c: SWAP4
00000c9d: SWAP1
00000c9e: SWAP3
00000c9f: SWAP1
00000ca0: SWAP2
00000ca1: DUP4
00000ca2: ADD
00000ca3: DUP3
00000ca4: DUP3
00000ca5: DUP1
00000ca6: ISZERO
00000ca7: PUSH2 0x0cf1
00000caa: JUMPI
00000cab: DUP1
00000cac: PUSH1 0x1f
00000cae: LT
00000caf: PUSH2 0x0cc6
00000cb2: JUMPI
00000cb3: PUSH2 0x0100
00000cb6: DUP1
00000cb7: DUP4
00000cb8: SLOAD
00000cb9: DIV
00000cba: MUL
00000cbb: DUP4
00000cbc: MSTORE
00000cbd: SWAP2
00000cbe: PUSH1 0x20
00000cc0: ADD
00000cc1: SWAP2
00000cc2: PUSH2 0x0cf1
00000cc5: JUMP
00000cc6: JUMPDEST
00000cc7: DUP3
00000cc8: ADD
00000cc9: SWAP2
00000cca: SWAP1
00000ccb: PUSH1 0x00
00000ccd: MSTORE
00000cce: PUSH1 0x20
00000cd0: PUSH1 0x00
00000cd2: KECCAK256
00000cd3: SWAP1
00000cd4: JUMPDEST
00000cd5: DUP2
00000cd6: SLOAD
00000cd7: DUP2
00000cd8: MSTORE
00000cd9: SWAP1
00000cda: PUSH1 0x01
00000cdc: ADD
00000cdd: SWAP1
00000cde: PUSH1 0x20
00000ce0: ADD
00000ce1: DUP1
00000ce2: DUP4
00000ce3: GT
00000ce4: PUSH2 0x0cd4
00000ce7: JUMPI
00000ce8: DUP3
00000ce9: SWAP1
00000cea: SUB
00000ceb: PUSH1 0x1f
00000ced: AND
00000cee: DUP3
00000cef: ADD
00000cf0: SWAP2
00000cf1: JUMPDEST
00000cf2: POP
00000cf3: POP
00000cf4: POP
00000cf5: POP
00000cf6: POP
00000cf7: SWAP1
00000cf8: POP
00000cf9: JUMPDEST
00000cfa: SWAP1
00000cfb: JUMP
00000cfc: JUMPDEST
00000cfd: PUSH1 0x00
00000cff: PUSH2 0x0d10
00000d02: PUSH2 0x0d09
00000d05: PUSH2 0x1eb8
00000d08: JUMP
00000d09: JUMPDEST
00000d0a: DUP5
00000d0b: DUP5
00000d0c: PUSH2 0x1ebc
00000d0f: JUMP
00000d10: JUMPDEST
00000d11: POP
00000d12: PUSH1 0x01
00000d14: JUMPDEST
00000d15: SWAP3
00000d16: SWAP2
00000d17: POP
00000d18: POP
00000d19: JUMP
00000d1a: JUMPDEST
00000d1b: PUSH1 0x00
00000d1d: PUSH2 0x0d25
00000d20: DUP3
00000d21: PUSH2 0x180c
00000d24: JUMP
00000d25: JUMPDEST
00000d26: SWAP1
00000d27: POP
00000d28: PUSH1 0x00
00000d2a: PUSH2 0x0d31
00000d2d: PUSH2 0x1d14
00000d30: JUMP
00000d31: JUMPDEST
00000d32: PUSH1 0x00
00000d34: DUP2
00000d35: DUP2
00000d36: MSTORE
00000d37: PUSH1 0x0f
00000d39: PUSH1 0x20
00000d3b: SWAP1
00000d3c: DUP2
00000d3d: MSTORE
00000d3e: PUSH1 0x40
00000d40: DUP1
00000d41: DUP4
00000d42: KECCAK256
00000d43: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000d58: DUP9
00000d59: AND
00000d5a: DUP5
00000d5b: MSTORE
00000d5c: SWAP1
00000d5d: SWAP2
00000d5e: MSTORE
00000d5f: DUP2
00000d60: KECCAK256
00000d61: DUP1
00000d62: SLOAD
00000d63: SWAP3
00000d64: SWAP4
00000d65: POP
00000d66: SWAP2
00000d67: PUSH2 0x0d76
00000d6a: SWAP1
00000d6b: DUP6
00000d6c: PUSH4 0xffffffff
00000d71: PUSH2 0x1fcf
00000d74: AND
00000d75: JUMP
00000d76: JUMPDEST
00000d77: DUP1
00000d78: DUP4
00000d79: SSTORE
00000d7a: PUSH1 0x40
00000d7c: DUP1
00000d7d: MLOAD
00000d7e: DUP3
00000d7f: DUP2
00000d80: MSTORE
00000d81: SWAP1
00000d82: MLOAD
00000d83: SWAP2
00000d84: SWAP3
00000d85: POP
00000d86: DUP5
00000d87: SWAP2
00000d88: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000d9d: DUP9
00000d9e: AND
00000d9f: SWAP2
00000da0: PUSH32 0x394b370ea0a08c686d2e92e80f9f02a2356568ac54d39b51737ba20f6a9b1abb
00000dc1: SWAP2
00000dc2: SWAP1
00000dc3: DUP2
00000dc4: SWAP1
00000dc5: SUB
00000dc6: PUSH1 0x20
00000dc8: ADD
00000dc9: SWAP1
00000dca: LOG3
00000dcb: POP
00000dcc: POP
00000dcd: POP
00000dce: POP
00000dcf: POP
00000dd0: JUMP
00000dd1: JUMPDEST
00000dd2: PUSH1 0x02
00000dd4: SLOAD
00000dd5: SWAP1
00000dd6: JUMP
00000dd7: JUMPDEST
00000dd8: PUSH1 0x00
00000dda: DUP2
00000ddb: DUP1
00000ddc: PUSH2 0x0e2c
00000ddf: JUMPI
00000de0: PUSH1 0x40
00000de2: DUP1
00000de3: MLOAD
00000de4: PUSH3 0x461bcd
00000de8: PUSH1 0xe5
00000dea: SHL
00000deb: DUP2
00000dec: MSTORE
00000ded: PUSH1 0x20
00000def: PUSH1 0x04
00000df1: DUP3
00000df2: ADD
00000df3: MSTORE
00000df4: PUSH1 0x1a
00000df6: PUSH1 0x24
00000df8: DUP3
00000df9: ADD
00000dfa: MSTORE
00000dfb: PUSH32 0x3020697320696e76616c69642076616c7565206173207465726d000000000000
00000e1c: PUSH1 0x44
00000e1e: DUP3
00000e1f: ADD
00000e20: MSTORE
00000e21: SWAP1
00000e22: MLOAD
00000e23: SWAP1
00000e24: DUP2
00000e25: SWAP1
00000e26: SUB
00000e27: PUSH1 0x64
00000e29: ADD
00000e2a: SWAP1
00000e2b: REVERT
00000e2c: JUMPDEST
00000e2d: PUSH1 0x00
00000e2f: PUSH2 0x0e36
00000e32: PUSH2 0x1d14
00000e35: JUMP
00000e36: JUMPDEST
00000e37: SWAP1
00000e38: POP
00000e39: DUP4
00000e3a: JUMPDEST
00000e3b: DUP2
00000e3c: DUP2
00000e3d: LT
00000e3e: ISZERO
00000e3f: PUSH2 0x0e79
00000e42: JUMPI
00000e43: PUSH2 0x0e4b
00000e46: DUP2
00000e47: PUSH2 0x1ea4
00000e4a: JUMP
00000e4b: JUMPDEST
00000e4c: ISZERO
00000e4d: PUSH2 0x0e71
00000e50: JUMPI
00000e51: PUSH1 0x00
00000e53: DUP2
00000e54: DUP2
00000e55: MSTORE
00000e56: PUSH1 0x0a
00000e58: PUSH1 0x20
00000e5a: MSTORE
00000e5b: PUSH1 0x40
00000e5d: SWAP1
00000e5e: KECCAK256
00000e5f: SLOAD
00000e60: PUSH2 0x0e68
00000e63: SWAP1
00000e64: PUSH2 0x1b75
00000e67: JUMP
00000e68: JUMPDEST
00000e69: SWAP4
00000e6a: POP
00000e6b: POP
00000e6c: POP
00000e6d: PUSH2 0x0e86
00000e70: JUMP
00000e71: JUMPDEST
00000e72: PUSH1 0x01
00000e74: ADD
00000e75: PUSH2 0x0e3a
00000e78: JUMP
00000e79: JUMPDEST
00000e7a: POP
00000e7b: PUSH2 0x0e82
00000e7e: PUSH2 0x0dd1
00000e81: JUMP
00000e82: JUMPDEST
00000e83: SWAP3
00000e84: POP
00000e85: POP
00000e86: JUMPDEST
00000e87: POP
00000e88: SWAP2
00000e89: SWAP1
00000e8a: POP
00000e8b: JUMP
00000e8c: JUMPDEST
00000e8d: PUSH1 0x00
00000e8f: PUSH2 0x0e99
00000e92: DUP5
00000e93: DUP5
00000e94: DUP5
00000e95: PUSH2 0x2029
00000e98: JUMP
00000e99: JUMPDEST
00000e9a: PUSH2 0x0f29
00000e9d: DUP5
00000e9e: PUSH2 0x0ea5
00000ea1: PUSH2 0x1eb8
00000ea4: JUMP
00000ea5: JUMPDEST
00000ea6: PUSH2 0x0f24
00000ea9: DUP6
00000eaa: PUSH1 0x40
00000eac: MLOAD
00000ead: DUP1
00000eae: PUSH1 0x60
00000eb0: ADD
00000eb1: PUSH1 0x40
00000eb3: MSTORE
00000eb4: DUP1
00000eb5: PUSH1 0x28
00000eb7: DUP2
00000eb8: MSTORE
00000eb9: PUSH1 0x20
00000ebb: ADD
00000ebc: PUSH2 0x3060
00000ebf: PUSH1 0x28
00000ec1: SWAP2
00000ec2: CODECOPY
00000ec3: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000ed8: DUP11
00000ed9: AND
00000eda: PUSH1 0x00
00000edc: SWAP1
00000edd: DUP2
00000ede: MSTORE
00000edf: PUSH1 0x01
00000ee1: PUSH1 0x20
00000ee3: MSTORE
00000ee4: PUSH1 0x40
00000ee6: DUP2
00000ee7: KECCAK256
00000ee8: SWAP1
00000ee9: PUSH2 0x0ef0
00000eec: PUSH2 0x1eb8
00000eef: JUMP
00000ef0: JUMPDEST
00000ef1: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000f06: AND
00000f07: DUP2
00000f08: MSTORE
00000f09: PUSH1 0x20
00000f0b: DUP2
00000f0c: ADD
00000f0d: SWAP2
00000f0e: SWAP1
00000f0f: SWAP2
00000f10: MSTORE
00000f11: PUSH1 0x40
00000f13: ADD
00000f14: PUSH1 0x00
00000f16: KECCAK256
00000f17: SLOAD
00000f18: SWAP2
00000f19: SWAP1
00000f1a: PUSH4 0xffffffff
00000f1f: PUSH2 0x20b1
00000f22: AND
00000f23: JUMP
00000f24: JUMPDEST
00000f25: PUSH2 0x1ebc
00000f28: JUMP
00000f29: JUMPDEST
00000f2a: POP
00000f2b: PUSH1 0x01
00000f2d: SWAP4
00000f2e: SWAP3
00000f2f: POP
00000f30: POP
00000f31: POP
00000f32: JUMP
00000f33: JUMPDEST
00000f34: PUSH1 0x00
00000f36: DUP1
00000f37: PUSH1 0x00
00000f39: DUP1
00000f3a: PUSH2 0x0f41
00000f3d: PUSH2 0x1d14
00000f40: JUMP
00000f41: JUMPDEST
00000f42: SWAP1
00000f43: POP
00000f44: PUSH2 0x0f86
00000f47: PUSH2 0x0f4e
00000f4a: PUSH2 0x2148
00000f4d: JUMP
00000f4e: JUMPDEST
00000f4f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000f64: DUP1
00000f65: DUP9
00000f66: AND
00000f67: PUSH1 0x00
00000f69: SWAP1
00000f6a: DUP2
00000f6b: MSTORE
00000f6c: PUSH1 0x0e
00000f6e: PUSH1 0x20
00000f70: SWAP1
00000f71: DUP2
00000f72: MSTORE
00000f73: PUSH1 0x40
00000f75: DUP1
00000f76: DUP4
00000f77: KECCAK256
00000f78: SWAP4
00000f79: DUP13
00000f7a: AND
00000f7b: DUP4
00000f7c: MSTORE
00000f7d: SWAP3
00000f7e: SWAP1
00000f7f: MSTORE
00000f80: KECCAK256
00000f81: SLOAD
00000f82: PUSH2 0x21bc
00000f85: JUMP
00000f86: JUMPDEST
00000f87: SWAP4
00000f88: POP
00000f89: JUMPDEST
00000f8a: DUP1
00000f8b: DUP5
00000f8c: LT
00000f8d: ISZERO
00000f8e: PUSH2 0x1032
00000f91: JUMPI
00000f92: PUSH2 0x0f9c
00000f95: DUP7
00000f96: DUP7
00000f97: DUP7
00000f98: PUSH2 0x19c2
00000f9b: JUMP
00000f9c: JUMPDEST
00000f9d: PUSH1 0x00
00000f9f: DUP6
00000fa0: DUP2
00000fa1: MSTORE
00000fa2: PUSH1 0x0f
00000fa4: PUSH1 0x20
00000fa6: SWAP1
00000fa7: DUP2
00000fa8: MSTORE
00000fa9: PUSH1 0x40
00000fab: DUP1
00000fac: DUP4
00000fad: KECCAK256
00000fae: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000fc3: DUP12
00000fc4: AND
00000fc5: DUP5
00000fc6: MSTORE
00000fc7: SWAP1
00000fc8: SWAP2
00000fc9: MSTORE
00000fca: SWAP1
00000fcb: KECCAK256
00000fcc: PUSH1 0x01
00000fce: ADD
00000fcf: SLOAD
00000fd0: SWAP1
00000fd1: SWAP3
00000fd2: POP
00000fd3: PUSH2 0x0fe2
00000fd6: SWAP1
00000fd7: DUP4
00000fd8: PUSH4 0xffffffff
00000fdd: PUSH2 0x1fcf
00000fe0: AND
00000fe1: JUMP
00000fe2: JUMPDEST
00000fe3: PUSH1 0x00
00000fe5: DUP6
00000fe6: DUP2
00000fe7: MSTORE
00000fe8: PUSH1 0x0f
00000fea: PUSH1 0x20
00000fec: SWAP1
00000fed: DUP2
00000fee: MSTORE
00000fef: PUSH1 0x40
00000ff1: DUP1
00000ff2: DUP4
00000ff3: KECCAK256
00000ff4: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001009: DUP12
0000100a: AND
0000100b: DUP5
0000100c: MSTORE
0000100d: SWAP1
0000100e: SWAP2
0000100f: MSTORE
00001010: SWAP1
00001011: KECCAK256
00001012: PUSH1 0x01
00001014: ADD
00001015: SSTORE
00001016: PUSH2 0x1025
00001019: DUP4
0000101a: DUP4
0000101b: PUSH4 0xffffffff
00001020: PUSH2 0x1fcf
00001023: AND
00001024: JUMP
00001025: JUMPDEST
00001026: PUSH1 0x01
00001028: SWAP1
00001029: SWAP5
0000102a: ADD
0000102b: SWAP4
0000102c: SWAP3
0000102d: POP
0000102e: PUSH2 0x0f89
00001031: JUMP
00001032: JUMPDEST
00001033: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001048: DUP1
00001049: DUP7
0000104a: AND
0000104b: PUSH1 0x00
0000104d: DUP2
0000104e: DUP2
0000104f: MSTORE
00001050: PUSH1 0x0e
00001052: PUSH1 0x20
00001054: SWAP1
00001055: DUP2
00001056: MSTORE
00001057: PUSH1 0x40
00001059: DUP1
0000105a: DUP4
0000105b: KECCAK256
0000105c: SWAP5
0000105d: DUP12
0000105e: AND
0000105f: DUP1
00001060: DUP5
00001061: MSTORE
00001062: SWAP5
00001063: DUP3
00001064: MSTORE
00001065: SWAP2
00001066: DUP3
00001067: SWAP1
00001068: KECCAK256
00001069: DUP9
0000106a: SWAP1
0000106b: SSTORE
0000106c: DUP2
0000106d: MLOAD
0000106e: DUP8
0000106f: DUP2
00001070: MSTORE
00001071: SWAP2
00001072: MLOAD
00001073: SWAP3
00001074: SWAP4
00001075: SWAP3
00001076: PUSH32 0x2430938b8d30b820033fae6f9e34a1309e01e0e1bf106ec0ed06ab26a590af48
00001097: SWAP3
00001098: DUP2
00001099: SWAP1
0000109a: SUB
0000109b: SWAP1
0000109c: SWAP2
0000109d: ADD
0000109e: SWAP1
0000109f: LOG3
000010a0: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000010b5: DUP7
000010b6: AND
000010b7: PUSH2 0x1173
000010ba: JUMPI
000010bb: PUSH1 0x40
000010bd: MLOAD
000010be: PUSH1 0x00
000010c0: SWAP1
000010c1: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000010d6: DUP8
000010d7: AND
000010d8: SWAP1
000010d9: DUP6
000010da: SWAP1
000010db: DUP4
000010dc: DUP2
000010dd: DUP2
000010de: DUP2
000010df: DUP6
000010e0: DUP8
000010e1: GAS
000010e2: CALL
000010e3: SWAP3
000010e4: POP
000010e5: POP
000010e6: POP
000010e7: RETURNDATASIZE
000010e8: DUP1
000010e9: PUSH1 0x00
000010eb: DUP2
000010ec: EQ
000010ed: PUSH2 0x1112
000010f0: JUMPI
000010f1: PUSH1 0x40
000010f3: MLOAD
000010f4: SWAP2
000010f5: POP
000010f6: PUSH1 0x1f
000010f8: NOT
000010f9: PUSH1 0x3f
000010fb: RETURNDATASIZE
000010fc: ADD
000010fd: AND
000010fe: DUP3
000010ff: ADD
00001100: PUSH1 0x40
00001102: MSTORE
00001103: RETURNDATASIZE
00001104: DUP3
00001105: MSTORE
00001106: RETURNDATASIZE
00001107: PUSH1 0x00
00001109: PUSH1 0x20
0000110b: DUP5
0000110c: ADD
0000110d: RETURNDATACOPY
0000110e: PUSH2 0x1117
00001111: JUMP
00001112: JUMPDEST
00001113: PUSH1 0x60
00001115: SWAP2
00001116: POP
00001117: JUMPDEST
00001118: POP
00001119: POP
0000111a: SWAP1
0000111b: POP
0000111c: DUP1
0000111d: PUSH2 0x116d
00001120: JUMPI
00001121: PUSH1 0x40
00001123: DUP1
00001124: MLOAD
00001125: PUSH3 0x461bcd
00001129: PUSH1 0xe5
0000112b: SHL
0000112c: DUP2
0000112d: MSTORE
0000112e: PUSH1 0x20
00001130: PUSH1 0x04
00001132: DUP3
00001133: ADD
00001134: MSTORE
00001135: PUSH1 0x0f
00001137: PUSH1 0x24
00001139: DUP3
0000113a: ADD
0000113b: MSTORE
0000113c: PUSH32 0x7472616e73666572206661696c65640000000000000000000000000000000000
0000115d: PUSH1 0x44
0000115f: DUP3
00001160: ADD
00001161: MSTORE
00001162: SWAP1
00001163: MLOAD
00001164: SWAP1
00001165: DUP2
00001166: SWAP1
00001167: SUB
00001168: PUSH1 0x64
0000116a: ADD
0000116b: SWAP1
0000116c: REVERT
0000116d: JUMPDEST
0000116e: POP
0000116f: PUSH2 0x119a
00001172: JUMP
00001173: JUMPDEST
00001174: PUSH2 0x119a
00001177: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000118c: DUP8
0000118d: AND
0000118e: DUP7
0000118f: DUP6
00001190: PUSH4 0xffffffff
00001195: PUSH2 0x21d3
00001198: AND
00001199: JUMP
0000119a: JUMPDEST
0000119b: POP
0000119c: POP
0000119d: POP
0000119e: POP
0000119f: POP
000011a0: POP
000011a1: JUMP
000011a2: JUMPDEST
000011a3: PUSH1 0x00
000011a5: PUSH2 0x11ae
000011a8: DUP5
000011a9: DUP5
000011aa: PUSH2 0x2265
000011ad: JUMP
000011ae: JUMPDEST
000011af: SWAP1
000011b0: POP
000011b1: CALLER
000011b2: PUSH2 0x11bc
000011b5: DUP2
000011b6: DUP7
000011b7: DUP6
000011b8: PUSH2 0x2029
000011bb: JUMP
000011bc: JUMPDEST
000011bd: DUP2
000011be: SLOAD
000011bf: PUSH2 0x11ce
000011c2: SWAP1
000011c3: DUP5
000011c4: PUSH4 0xffffffff
000011c9: PUSH2 0x1fcf
000011cc: AND
000011cd: JUMP
000011ce: JUMPDEST
000011cf: DUP3
000011d0: SSTORE
000011d1: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000011e6: DUP6
000011e7: AND
000011e8: PUSH1 0x00
000011ea: SWAP1
000011eb: DUP2
000011ec: MSTORE
000011ed: PUSH1 0x0c
000011ef: PUSH1 0x20
000011f1: MSTORE
000011f2: PUSH1 0x40
000011f4: SWAP1
000011f5: KECCAK256
000011f6: SLOAD
000011f7: PUSH2 0x1206
000011fa: SWAP1
000011fb: DUP5
000011fc: PUSH4 0xffffffff
00001201: PUSH2 0x1fcf
00001204: AND
00001205: JUMP
00001206: JUMPDEST
00001207: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000121c: DUP7
0000121d: AND
0000121e: PUSH1 0x00
00001220: SWAP1
00001221: DUP2
00001222: MSTORE
00001223: PUSH1 0x0c
00001225: PUSH1 0x20
00001227: MSTORE
00001228: PUSH1 0x40
0000122a: SWAP1
0000122b: KECCAK256
0000122c: SSTORE
0000122d: PUSH1 0x0d
0000122f: SLOAD
00001230: PUSH2 0x123f
00001233: SWAP1
00001234: DUP5
00001235: PUSH4 0xffffffff
0000123a: PUSH2 0x1fcf
0000123d: AND
0000123e: JUMP
0000123f: JUMPDEST
00001240: PUSH1 0x0d
00001242: SSTORE
00001243: PUSH1 0x40
00001245: DUP1
00001246: MLOAD
00001247: DUP5
00001248: DUP2
00001249: MSTORE
0000124a: SWAP1
0000124b: MLOAD
0000124c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001261: DUP1
00001262: DUP5
00001263: AND
00001264: SWAP3
00001265: DUP8
00001266: SWAP3
00001267: SWAP2
00001268: DUP10
00001269: AND
0000126a: SWAP2
0000126b: PUSH32 0xfae34c500956466552fb92f220d08f0781819f358b519cd80b67c58b8b66ac3c
0000128c: SWAP2
0000128d: DUP2
0000128e: SWAP1
0000128f: SUB
00001290: PUSH1 0x20
00001292: ADD
00001293: SWAP1
00001294: LOG4
00001295: POP
00001296: POP
00001297: POP
00001298: POP
00001299: POP
0000129a: JUMP
0000129b: JUMPDEST
0000129c: PUSH1 0x00
0000129e: SWAP1
0000129f: DUP2
000012a0: MSTORE
000012a1: PUSH1 0x0f
000012a3: PUSH1 0x20
000012a5: SWAP1
000012a6: DUP2
000012a7: MSTORE
000012a8: PUSH1 0x40
000012aa: DUP1
000012ab: DUP4
000012ac: KECCAK256
000012ad: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000012c2: SWAP5
000012c3: SWAP1
000012c4: SWAP5
000012c5: AND
000012c6: DUP4
000012c7: MSTORE
000012c8: SWAP3
000012c9: SWAP1
000012ca: MSTORE
000012cb: KECCAK256
000012cc: SLOAD
000012cd: SWAP1
000012ce: JUMP
000012cf: JUMPDEST
000012d0: PUSH1 0x00
000012d2: PUSH2 0x12db
000012d5: DUP4
000012d6: DUP4
000012d7: PUSH2 0x2265
000012da: JUMP
000012db: JUMPDEST
000012dc: PUSH1 0x40
000012de: DUP1
000012df: MLOAD
000012e0: PUSH1 0x80
000012e2: DUP2
000012e3: ADD
000012e4: DUP3
000012e5: MSTORE
000012e6: DUP3
000012e7: SLOAD
000012e8: DUP2
000012e9: MSTORE
000012ea: PUSH1 0x01
000012ec: DUP4
000012ed: ADD
000012ee: SLOAD
000012ef: PUSH1 0x20
000012f1: DUP3
000012f2: ADD
000012f3: MSTORE
000012f4: PUSH1 0x02
000012f6: DUP4
000012f7: ADD
000012f8: SLOAD
000012f9: PUSH16 0xffffffffffffffffffffffffffffffff
0000130a: DUP1
0000130b: DUP3
0000130c: AND
0000130d: SWAP4
0000130e: DUP4
0000130f: ADD
00001310: SWAP4
00001311: SWAP1
00001312: SWAP4
00001313: MSTORE
00001314: PUSH17 0x0100000000000000000000000000000000
00001326: SWAP1
00001327: DIV
00001328: SWAP1
00001329: SWAP2
0000132a: AND
0000132b: PUSH1 0x60
0000132d: DUP3
0000132e: ADD
0000132f: MSTORE
00001330: SWAP1
00001331: SWAP2
00001332: POP
00001333: PUSH1 0x00
00001335: SWAP1
00001336: PUSH2 0x133e
00001339: SWAP1
0000133a: PUSH2 0x2401
0000133d: JUMP
0000133e: JUMPDEST
0000133f: SWAP1
00001340: POP
00001341: DUP1
00001342: PUSH2 0x1392
00001345: JUMPI
00001346: PUSH1 0x40
00001348: DUP1
00001349: MLOAD
0000134a: PUSH3 0x461bcd
0000134e: PUSH1 0xe5
00001350: SHL
00001351: DUP2
00001352: MSTORE
00001353: PUSH1 0x20
00001355: PUSH1 0x04
00001357: DUP3
00001358: ADD
00001359: MSTORE
0000135a: PUSH1 0x15
0000135c: PUSH1 0x24
0000135e: DUP3
0000135f: ADD
00001360: MSTORE
00001361: PUSH32 0x76657374656420616d6f756e74206973207a65726f0000000000000000000000
00001382: PUSH1 0x44
00001384: DUP3
00001385: ADD
00001386: MSTORE
00001387: SWAP1
00001388: MLOAD
00001389: SWAP1
0000138a: DUP2
0000138b: SWAP1
0000138c: SUB
0000138d: PUSH1 0x64
0000138f: ADD
00001390: SWAP1
00001391: REVERT
00001392: JUMPDEST
00001393: PUSH1 0x01
00001395: DUP3
00001396: ADD
00001397: SLOAD
00001398: PUSH1 0x00
0000139a: SWAP1
0000139b: PUSH2 0x13aa
0000139e: SWAP1
0000139f: DUP4
000013a0: PUSH4 0xffffffff
000013a5: PUSH2 0x1fcf
000013a8: AND
000013a9: JUMP
000013aa: JUMPDEST
000013ab: PUSH1 0x01
000013ad: DUP5
000013ae: ADD
000013af: DUP2
000013b0: SWAP1
000013b1: SSTORE
000013b2: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000013c7: DUP7
000013c8: AND
000013c9: PUSH1 0x00
000013cb: SWAP1
000013cc: DUP2
000013cd: MSTORE
000013ce: PUSH1 0x0c
000013d0: PUSH1 0x20
000013d2: MSTORE
000013d3: PUSH1 0x40
000013d5: SWAP1
000013d6: KECCAK256
000013d7: SLOAD
000013d8: SWAP1
000013d9: SWAP2
000013da: POP
000013db: PUSH2 0x13ea
000013de: SWAP1
000013df: DUP4
000013e0: PUSH4 0xffffffff
000013e5: PUSH2 0x248f
000013e8: AND
000013e9: JUMP
000013ea: JUMPDEST
000013eb: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001400: DUP7
00001401: AND
00001402: PUSH1 0x00
00001404: SWAP1
00001405: DUP2
00001406: MSTORE
00001407: PUSH1 0x0c
00001409: PUSH1 0x20
0000140b: MSTORE
0000140c: PUSH1 0x40
0000140e: SWAP1
0000140f: KECCAK256
00001410: SSTORE
00001411: PUSH1 0x0d
00001413: SLOAD
00001414: PUSH2 0x1423
00001417: SWAP1
00001418: DUP4
00001419: PUSH4 0xffffffff
0000141e: PUSH2 0x248f
00001421: AND
00001422: JUMP
00001423: JUMPDEST
00001424: PUSH1 0x0d
00001426: SSTORE
00001427: DUP3
00001428: SLOAD
00001429: DUP2
0000142a: EQ
0000142b: ISZERO
0000142c: PUSH2 0x1439
0000142f: JUMPI
00001430: PUSH2 0x1439
00001433: DUP6
00001434: DUP6
00001435: PUSH2 0x24d1
00001438: JUMP
00001439: JUMPDEST
0000143a: PUSH1 0x40
0000143c: DUP1
0000143d: MLOAD
0000143e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001453: DUP8
00001454: AND
00001455: DUP2
00001456: MSTORE
00001457: PUSH1 0x20
00001459: DUP2
0000145a: ADD
0000145b: DUP7
0000145c: SWAP1
0000145d: MSTORE
0000145e: DUP1
0000145f: DUP3
00001460: ADD
00001461: DUP5
00001462: SWAP1
00001463: MSTORE
00001464: SWAP1
00001465: MLOAD
00001466: PUSH32 0xffc3eace03cdc34b7c376b488d01a425cdbb40202e6cc36227247aa560948bb9
00001487: SWAP2
00001488: DUP2
00001489: SWAP1
0000148a: SUB
0000148b: PUSH1 0x60
0000148d: ADD
0000148e: SWAP1
0000148f: LOG1
00001490: POP
00001491: POP
00001492: POP
00001493: POP
00001494: POP
00001495: JUMP
00001496: JUMPDEST
00001497: PUSH1 0x05
00001499: SLOAD
0000149a: PUSH1 0xff
0000149c: AND
0000149d: SWAP1
0000149e: JUMP
0000149f: JUMPDEST
000014a0: PUSH1 0x00
000014a2: PUSH2 0x0d10
000014a5: PUSH2 0x14ac
000014a8: PUSH2 0x1eb8
000014ab: JUMP
000014ac: JUMPDEST
000014ad: DUP5
000014ae: PUSH2 0x0f24
000014b1: DUP6
000014b2: PUSH1 0x01
000014b4: PUSH1 0x00
000014b6: PUSH2 0x14bd
000014b9: PUSH2 0x1eb8
000014bc: JUMP
000014bd: JUMPDEST
000014be: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000014d3: SWAP1
000014d4: DUP2
000014d5: AND
000014d6: DUP3
000014d7: MSTORE
000014d8: PUSH1 0x20
000014da: DUP1
000014db: DUP4
000014dc: ADD
000014dd: SWAP4
000014de: SWAP1
000014df: SWAP4
000014e0: MSTORE
000014e1: PUSH1 0x40
000014e3: SWAP2
000014e4: DUP3
000014e5: ADD
000014e6: PUSH1 0x00
000014e8: SWAP1
000014e9: DUP2
000014ea: KECCAK256
000014eb: SWAP2
000014ec: DUP13
000014ed: AND
000014ee: DUP2
000014ef: MSTORE
000014f0: SWAP3
000014f1: MSTORE
000014f2: SWAP1
000014f3: KECCAK256
000014f4: SLOAD
000014f5: SWAP1
000014f6: PUSH4 0xffffffff
000014fb: PUSH2 0x1fcf
000014fe: AND
000014ff: JUMP
00001500: JUMPDEST
00001501: PUSH1 0x00
00001503: TIMESTAMP
00001504: DUP3
00001505: GT
00001506: PUSH2 0x1556
00001509: JUMPI
0000150a: PUSH1 0x40
0000150c: DUP1
0000150d: MLOAD
0000150e: PUSH3 0x461bcd
00001512: PUSH1 0xe5
00001514: SHL
00001515: DUP2
00001516: MSTORE
00001517: PUSH1 0x20
00001519: PUSH1 0x04
0000151b: DUP3
0000151c: ADD
0000151d: MSTORE
0000151e: PUSH1 0x15
00001520: PUSH1 0x24
00001522: DUP3
00001523: ADD
00001524: MSTORE
00001525: PUSH32 0x656e6454696d65206973206265666f7265206e6f770000000000000000000000
00001546: PUSH1 0x44
00001548: DUP3
00001549: ADD
0000154a: MSTORE
0000154b: SWAP1
0000154c: MLOAD
0000154d: SWAP1
0000154e: DUP2
0000154f: SWAP1
00001550: SUB
00001551: PUSH1 0x64
00001553: ADD
00001554: SWAP1
00001555: REVERT
00001556: JUMPDEST
00001557: PUSH2 0x155e
0000155a: PUSH2 0x2def
0000155d: JUMP
0000155e: JUMPDEST
0000155f: POP
00001560: PUSH1 0x40
00001562: DUP1
00001563: MLOAD
00001564: PUSH1 0x80
00001566: DUP2
00001567: ADD
00001568: DUP3
00001569: MSTORE
0000156a: PUSH1 0x00
0000156c: DUP1
0000156d: DUP3
0000156e: MSTORE
0000156f: PUSH1 0x20
00001571: DUP1
00001572: DUP4
00001573: ADD
00001574: DUP3
00001575: DUP2
00001576: MSTORE
00001577: PUSH16 0xffffffffffffffffffffffffffffffff
00001588: TIMESTAMP
00001589: DUP2
0000158a: AND
0000158b: DUP6
0000158c: DUP8
0000158d: ADD
0000158e: SWAP1
0000158f: DUP2
00001590: MSTORE
00001591: DUP9
00001592: DUP3
00001593: AND
00001594: PUSH1 0x60
00001596: DUP8
00001597: ADD
00001598: SWAP1
00001599: DUP2
0000159a: MSTORE
0000159b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000015b0: DUP12
000015b1: AND
000015b2: DUP1
000015b3: DUP8
000015b4: MSTORE
000015b5: PUSH1 0x0b
000015b7: DUP7
000015b8: MSTORE
000015b9: DUP9
000015ba: DUP8
000015bb: KECCAK256
000015bc: DUP1
000015bd: SLOAD
000015be: PUSH1 0x01
000015c0: DUP2
000015c1: DUP2
000015c2: ADD
000015c3: DUP4
000015c4: SSTORE
000015c5: DUP3
000015c6: DUP11
000015c7: MSTORE
000015c8: DUP9
000015c9: DUP11
000015ca: KECCAK256
000015cb: DUP12
000015cc: MLOAD
000015cd: PUSH1 0x03
000015cf: SWAP1
000015d0: SWAP4
000015d1: MUL
000015d2: ADD
000015d3: SWAP2
000015d4: DUP3
000015d5: SSTORE
000015d6: SWAP7
000015d7: MLOAD
000015d8: SWAP7
000015d9: DUP2
000015da: ADD
000015db: SWAP7
000015dc: SWAP1
000015dd: SWAP7
000015de: SSTORE
000015df: SWAP3
000015e0: MLOAD
000015e1: PUSH1 0x02
000015e3: SWAP1
000015e4: SWAP6
000015e5: ADD
000015e6: DUP1
000015e7: SLOAD
000015e8: SWAP3
000015e9: MLOAD
000015ea: DUP6
000015eb: AND
000015ec: PUSH17 0x0100000000000000000000000000000000
000015fe: MUL
000015ff: SWAP6
00001600: DUP6
00001601: AND
00001602: PUSH32 0xffffffffffffffffffffffffffffffff00000000000000000000000000000000
00001623: SWAP1
00001624: SWAP4
00001625: AND
00001626: SWAP3
00001627: SWAP1
00001628: SWAP3
00001629: OR
0000162a: SWAP1
0000162b: SWAP4
0000162c: AND
0000162d: SWAP4
0000162e: SWAP1
0000162f: SWAP4
00001630: OR
00001631: SWAP1
00001632: SWAP3
00001633: SSTORE
00001634: SWAP3
00001635: DUP4
00001636: SWAP1
00001637: MSTORE
00001638: SLOAD
00001639: DUP5
0000163a: MLOAD
0000163b: DUP8
0000163c: DUP2
0000163d: MSTORE
0000163e: SWAP5
0000163f: MLOAD
00001640: SWAP4
00001641: SWAP5
00001642: CALLER
00001643: SWAP5
00001644: SWAP2
00001645: SWAP4
00001646: DUP6
00001647: SWAP4
00001648: DUP6
00001649: SWAP4
0000164a: SWAP2
0000164b: SWAP3
0000164c: PUSH32 0x73822e28a3afc9fc2814acd342053527b35eae29ce20639db00195637d0eccdc
0000166d: SWAP3
0000166e: SWAP1
0000166f: DUP2
00001670: SWAP1
00001671: SUB
00001672: SWAP1
00001673: SWAP2
00001674: ADD
00001675: SWAP1
00001676: LOG4
00001677: SWAP6
00001678: SWAP5
00001679: POP
0000167a: POP
0000167b: POP
0000167c: POP
0000167d: POP
0000167e: JUMP
0000167f: JUMPDEST
00001680: PUSH1 0x00
00001682: DUP1
00001683: PUSH1 0x00
00001685: DUP1
00001686: PUSH1 0x00
00001688: PUSH2 0x168f
0000168b: PUSH2 0x2def
0000168e: JUMP
0000168f: JUMPDEST
00001690: PUSH2 0x1699
00001693: DUP9
00001694: DUP9
00001695: PUSH2 0x2265
00001698: JUMP
00001699: JUMPDEST
0000169a: PUSH1 0x40
0000169c: DUP1
0000169d: MLOAD
0000169e: PUSH1 0x80
000016a0: DUP2
000016a1: ADD
000016a2: DUP3
000016a3: MSTORE
000016a4: DUP3
000016a5: SLOAD
000016a6: DUP1
000016a7: DUP3
000016a8: MSTORE
000016a9: PUSH1 0x01
000016ab: DUP5
000016ac: ADD
000016ad: SLOAD
000016ae: PUSH1 0x20
000016b0: DUP4
000016b1: ADD
000016b2: DUP2
000016b3: SWAP1
000016b4: MSTORE
000016b5: PUSH1 0x02
000016b7: SWAP1
000016b8: SWAP5
000016b9: ADD
000016ba: SLOAD
000016bb: PUSH16 0xffffffffffffffffffffffffffffffff
000016cc: DUP1
000016cd: DUP3
000016ce: AND
000016cf: SWAP5
000016d0: DUP5
000016d1: ADD
000016d2: SWAP5
000016d3: SWAP1
000016d4: SWAP5
000016d5: MSTORE
000016d6: PUSH17 0x0100000000000000000000000000000000
000016e8: SWAP1
000016e9: DIV
000016ea: SWAP1
000016eb: SWAP3
000016ec: AND
000016ed: PUSH1 0x60
000016ef: DUP3
000016f0: ADD
000016f1: MSTORE
000016f2: SWAP1
000016f3: SWAP8
000016f4: POP
000016f5: SWAP1
000016f6: SWAP6
000016f7: POP
000016f8: SWAP1
000016f9: POP
000016fa: PUSH2 0x1702
000016fd: DUP2
000016fe: PUSH2 0x2401
00001701: JUMP
00001702: JUMPDEST
00001703: SWAP4
00001704: POP
00001705: DUP1
00001706: PUSH1 0x40
00001708: ADD
00001709: MLOAD
0000170a: PUSH16 0xffffffffffffffffffffffffffffffff
0000171b: AND
0000171c: SWAP3
0000171d: POP
0000171e: DUP1
0000171f: PUSH1 0x60
00001721: ADD
00001722: MLOAD
00001723: PUSH16 0xffffffffffffffffffffffffffffffff
00001734: AND
00001735: SWAP2
00001736: POP
00001737: POP
00001738: SWAP3
00001739: SWAP6
0000173a: POP
0000173b: SWAP3
0000173c: SWAP6
0000173d: SWAP1
0000173e: SWAP4
0000173f: POP
00001740: JUMP
00001741: JUMPDEST
00001742: PUSH32 0x000000000000000000000000000000000000000000000000000000000000000c
00001763: DUP2
00001764: JUMP
00001765: JUMPDEST
00001766: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000177b: DUP3
0000177c: AND
0000177d: PUSH1 0x00
0000177f: SWAP1
00001780: DUP2
00001781: MSTORE
00001782: PUSH1 0x06
00001784: PUSH1 0x20
00001786: MSTORE
00001787: PUSH1 0x40
00001789: DUP2
0000178a: KECCAK256
0000178b: DUP2
0000178c: SWAP1
0000178d: DUP2
0000178e: SWAP1
0000178f: PUSH2 0x1799
00001792: SWAP1
00001793: DUP6
00001794: SWAP1
00001795: PUSH2 0x2545
00001798: JUMP
00001799: JUMPDEST
0000179a: SWAP2
0000179b: POP
0000179c: SWAP2
0000179d: POP
0000179e: DUP2
0000179f: PUSH2 0x17b0
000017a2: JUMPI
000017a3: PUSH2 0x17ab
000017a6: DUP6
000017a7: PUSH2 0x17e4
000017aa: JUMP
000017ab: JUMPDEST
000017ac: PUSH2 0x0c3c
000017af: JUMP
000017b0: JUMPDEST
000017b1: SWAP5
000017b2: SWAP4
000017b3: POP
000017b4: POP
000017b5: POP
000017b6: POP
000017b7: JUMP
000017b8: JUMPDEST
000017b9: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000017ce: DUP2
000017cf: AND
000017d0: PUSH1 0x00
000017d2: SWAP1
000017d3: DUP2
000017d4: MSTORE
000017d5: PUSH1 0x0b
000017d7: PUSH1 0x20
000017d9: MSTORE
000017da: PUSH1 0x40
000017dc: SWAP1
000017dd: KECCAK256
000017de: SLOAD
000017df: JUMPDEST
000017e0: SWAP2
000017e1: SWAP1
000017e2: POP
000017e3: JUMP
000017e4: JUMPDEST
000017e5: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000017fa: AND
000017fb: PUSH1 0x00
000017fd: SWAP1
000017fe: DUP2
000017ff: MSTORE
00001800: PUSH1 0x20
00001802: DUP2
00001803: SWAP1
00001804: MSTORE
00001805: PUSH1 0x40
00001807: SWAP1
00001808: KECCAK256
00001809: SLOAD
0000180a: SWAP1
0000180b: JUMP
0000180c: JUMPDEST
0000180d: PUSH1 0x00
0000180f: DUP1
00001810: PUSH1 0x00
00001812: DUP1
00001813: PUSH2 0x181a
00001816: PUSH2 0x1d14
00001819: JUMP
0000181a: JUMPDEST
0000181b: SWAP1
0000181c: POP
0000181d: PUSH1 0x00
0000181f: PUSH2 0x1826
00001822: PUSH2 0x2148
00001825: JUMP
00001826: JUMPDEST
00001827: SWAP1
00001828: POP
00001829: JUMPDEST
0000182a: DUP2
0000182b: DUP2
0000182c: GT
0000182d: PUSH2 0x18b2
00001830: JUMPI
00001831: PUSH2 0x1838
00001834: PUSH2 0x2e3b
00001837: JUMP
00001838: JUMPDEST
00001839: POP
0000183a: PUSH1 0x00
0000183c: DUP2
0000183d: DUP2
0000183e: MSTORE
0000183f: PUSH1 0x0f
00001841: PUSH1 0x20
00001843: SWAP1
00001844: DUP2
00001845: MSTORE
00001846: PUSH1 0x40
00001848: DUP1
00001849: DUP4
0000184a: KECCAK256
0000184b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001860: DUP11
00001861: AND
00001862: DUP5
00001863: MSTORE
00001864: DUP3
00001865: MSTORE
00001866: DUP1
00001867: DUP4
00001868: KECCAK256
00001869: DUP2
0000186a: MLOAD
0000186b: DUP1
0000186c: DUP4
0000186d: ADD
0000186e: SWAP1
0000186f: SWAP3
00001870: MSTORE
00001871: DUP1
00001872: SLOAD
00001873: DUP1
00001874: DUP4
00001875: MSTORE
00001876: PUSH1 0x01
00001878: SWAP1
00001879: SWAP2
0000187a: ADD
0000187b: SLOAD
0000187c: SWAP3
0000187d: DUP3
0000187e: ADD
0000187f: DUP4
00001880: SWAP1
00001881: MSTORE
00001882: SWAP1
00001883: SWAP3
00001884: SWAP2
00001885: PUSH2 0x1894
00001888: SWAP2
00001889: SWAP1
0000188a: PUSH4 0xffffffff
0000188f: PUSH2 0x248f
00001892: AND
00001893: JUMP
00001894: JUMPDEST
00001895: SWAP1
00001896: POP
00001897: PUSH2 0x18a6
0000189a: DUP7
0000189b: DUP3
0000189c: PUSH4 0xffffffff
000018a1: PUSH2 0x1fcf
000018a4: AND
000018a5: JUMP
000018a6: JUMPDEST
000018a7: SWAP6
000018a8: POP
000018a9: POP
000018aa: POP
000018ab: PUSH1 0x01
000018ad: ADD
000018ae: PUSH2 0x1829
000018b1: JUMP
000018b2: JUMPDEST
000018b3: POP
000018b4: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000018c9: DUP6
000018ca: AND
000018cb: PUSH2 0x18d7
000018ce: JUMPI
000018cf: ADDRESS
000018d0: BALANCE
000018d1: SWAP2
000018d2: POP
000018d3: PUSH2 0x1972
000018d6: JUMP
000018d7: JUMPDEST
000018d8: PUSH1 0x40
000018da: DUP1
000018db: MLOAD
000018dc: PUSH32 0x70a0823100000000000000000000000000000000000000000000000000000000
000018fd: DUP2
000018fe: MSTORE
000018ff: ADDRESS
00001900: PUSH1 0x04
00001902: DUP3
00001903: ADD
00001904: MSTORE
00001905: SWAP1
00001906: MLOAD
00001907: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000191c: DUP8
0000191d: AND
0000191e: SWAP2
0000191f: PUSH4 0x70a08231
00001924: SWAP2
00001925: PUSH1 0x24
00001927: DUP1
00001928: DUP4
00001929: ADD
0000192a: SWAP3
0000192b: PUSH1 0x20
0000192d: SWAP3
0000192e: SWAP2
0000192f: SWAP1
00001930: DUP3
00001931: SWAP1
00001932: SUB
00001933: ADD
00001934: DUP2
00001935: DUP7
00001936: DUP1
00001937: EXTCODESIZE
00001938: ISZERO
00001939: DUP1
0000193a: ISZERO
0000193b: PUSH2 0x1943
0000193e: JUMPI
0000193f: PUSH1 0x00
00001941: DUP1
00001942: REVERT
00001943: JUMPDEST
00001944: POP
00001945: GAS
00001946: STATICCALL
00001947: ISZERO
00001948: DUP1
00001949: ISZERO
0000194a: PUSH2 0x1957
0000194d: JUMPI
0000194e: RETURNDATASIZE
0000194f: PUSH1 0x00
00001951: DUP1
00001952: RETURNDATACOPY
00001953: RETURNDATASIZE
00001954: PUSH1 0x00
00001956: REVERT
00001957: JUMPDEST
00001958: POP
00001959: POP
0000195a: POP
0000195b: POP
0000195c: PUSH1 0x40
0000195e: MLOAD
0000195f: RETURNDATASIZE
00001960: PUSH1 0x20
00001962: DUP2
00001963: LT
00001964: ISZERO
00001965: PUSH2 0x196d
00001968: JUMPI
00001969: PUSH1 0x00
0000196b: DUP1
0000196c: REVERT
0000196d: JUMPDEST
0000196e: POP
0000196f: MLOAD
00001970: SWAP2
00001971: POP
00001972: JUMPDEST
00001973: PUSH2 0x1982
00001976: DUP3
00001977: DUP5
00001978: PUSH4 0xffffffff
0000197d: PUSH2 0x248f
00001980: AND
00001981: JUMP
00001982: JUMPDEST
00001983: SWAP6
00001984: SWAP5
00001985: POP
00001986: POP
00001987: POP
00001988: POP
00001989: POP
0000198a: JUMP
0000198b: JUMPDEST
0000198c: PUSH1 0x00
0000198e: SWAP1
0000198f: DUP2
00001990: MSTORE
00001991: PUSH1 0x0f
00001993: PUSH1 0x20
00001995: SWAP1
00001996: DUP2
00001997: MSTORE
00001998: PUSH1 0x40
0000199a: DUP1
0000199b: DUP4
0000199c: KECCAK256
0000199d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000019b2: SWAP5
000019b3: SWAP1
000019b4: SWAP5
000019b5: AND
000019b6: DUP4
000019b7: MSTORE
000019b8: SWAP3
000019b9: SWAP1
000019ba: MSTORE
000019bb: KECCAK256
000019bc: PUSH1 0x01
000019be: ADD
000019bf: SLOAD
000019c0: SWAP1
000019c1: JUMP
000019c2: JUMPDEST
000019c3: PUSH1 0x00
000019c5: PUSH2 0x17b0
000019c8: PUSH2 0x19d1
000019cb: DUP6
000019cc: DUP5
000019cd: PUSH2 0x129b
000019d0: JUMP
000019d1: JUMPDEST
000019d2: PUSH2 0x19db
000019d5: DUP6
000019d6: DUP6
000019d7: PUSH2 0x0b8e
000019da: JUMP
000019db: JUMPDEST
000019dc: PUSH2 0x19e3
000019df: PUSH2 0x0dd1
000019e2: JUMP
000019e3: JUMPDEST
000019e4: PUSH2 0x264f
000019e7: JUMP
000019e8: JUMPDEST
000019e9: PUSH1 0x00
000019eb: DUP2
000019ec: DUP1
000019ed: PUSH2 0x1a3d
000019f0: JUMPI
000019f1: PUSH1 0x40
000019f3: DUP1
000019f4: MLOAD
000019f5: PUSH3 0x461bcd
000019f9: PUSH1 0xe5
000019fb: SHL
000019fc: DUP2
000019fd: MSTORE
000019fe: PUSH1 0x20
00001a00: PUSH1 0x04
00001a02: DUP3
00001a03: ADD
00001a04: MSTORE
00001a05: PUSH1 0x1a
00001a07: PUSH1 0x24
00001a09: DUP3
00001a0a: ADD
00001a0b: MSTORE
00001a0c: PUSH32 0x3020697320696e76616c69642076616c7565206173207465726d000000000000
00001a2d: PUSH1 0x44
00001a2f: DUP3
00001a30: ADD
00001a31: MSTORE
00001a32: SWAP1
00001a33: MLOAD
00001a34: SWAP1
00001a35: DUP2
00001a36: SWAP1
00001a37: SUB
00001a38: PUSH1 0x64
00001a3a: ADD
00001a3b: SWAP1
00001a3c: REVERT
00001a3d: JUMPDEST
00001a3e: PUSH2 0x1aae
00001a41: PUSH1 0x01
00001a43: PUSH2 0x1aa2
00001a46: PUSH2 0x1a75
00001a49: DUP7
00001a4a: PUSH32 0x000000000000000000000000000000000000000000000000000000000024ea00
00001a6b: PUSH4 0xffffffff
00001a70: PUSH2 0x2665
00001a73: AND
00001a74: JUMP
00001a75: JUMPDEST
00001a76: PUSH32 0x000000000000000000000000000000000000000000000000000000005f2eab9e
00001a97: SWAP1
00001a98: PUSH4 0xffffffff
00001a9d: PUSH2 0x1fcf
00001aa0: AND
00001aa1: JUMP
00001aa2: JUMPDEST
00001aa3: SWAP1
00001aa4: PUSH4 0xffffffff
00001aa9: PUSH2 0x248f
00001aac: AND
00001aad: JUMP
00001aae: JUMPDEST
00001aaf: SWAP4
00001ab0: SWAP3
00001ab1: POP
00001ab2: POP
00001ab3: POP
00001ab4: JUMP
00001ab5: JUMPDEST
00001ab6: PUSH1 0x0e
00001ab8: PUSH1 0x20
00001aba: SWAP1
00001abb: DUP2
00001abc: MSTORE
00001abd: PUSH1 0x00
00001abf: SWAP3
00001ac0: DUP4
00001ac1: MSTORE
00001ac2: PUSH1 0x40
00001ac4: DUP1
00001ac5: DUP5
00001ac6: KECCAK256
00001ac7: SWAP1
00001ac8: SWAP2
00001ac9: MSTORE
00001aca: SWAP1
00001acb: DUP3
00001acc: MSTORE
00001acd: SWAP1
00001ace: KECCAK256
00001acf: SLOAD
00001ad0: DUP2
00001ad1: JUMP
00001ad2: JUMPDEST
00001ad3: PUSH32 0x000000000000000000000000000000000000000000000000000000000024ea00
00001af4: DUP2
00001af5: JUMP
00001af6: JUMPDEST
00001af7: PUSH1 0x04
00001af9: DUP1
00001afa: SLOAD
00001afb: PUSH1 0x40
00001afd: DUP1
00001afe: MLOAD
00001aff: PUSH1 0x20
00001b01: PUSH1 0x1f
00001b03: PUSH1 0x02
00001b05: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff
00001b26: PUSH2 0x0100
00001b29: PUSH1 0x01
00001b2b: DUP9
00001b2c: AND
00001b2d: ISZERO
00001b2e: MUL
00001b2f: ADD
00001b30: SWAP1
00001b31: SWAP6
00001b32: AND
00001b33: SWAP5
00001b34: SWAP1
00001b35: SWAP5
00001b36: DIV
00001b37: SWAP4
00001b38: DUP5
00001b39: ADD
00001b3a: DUP2
00001b3b: SWAP1
00001b3c: DIV
00001b3d: DUP2
00001b3e: MUL
00001b3f: DUP3
00001b40: ADD
00001b41: DUP2
00001b42: ADD
00001b43: SWAP1
00001b44: SWAP3
00001b45: MSTORE
00001b46: DUP3
00001b47: DUP2
00001b48: MSTORE
00001b49: PUSH1 0x60
00001b4b: SWAP4
00001b4c: SWAP1
00001b4d: SWAP3
00001b4e: SWAP1
00001b4f: SWAP2
00001b50: DUP4
00001b51: ADD
00001b52: DUP3
00001b53: DUP3
00001b54: DUP1
00001b55: ISZERO
00001b56: PUSH2 0x0cf1
00001b59: JUMPI
00001b5a: DUP1
00001b5b: PUSH1 0x1f
00001b5d: LT
00001b5e: PUSH2 0x0cc6
00001b61: JUMPI
00001b62: PUSH2 0x0100
00001b65: DUP1
00001b66: DUP4
00001b67: SLOAD
00001b68: DIV
00001b69: MUL
00001b6a: DUP4
00001b6b: MSTORE
00001b6c: SWAP2
00001b6d: PUSH1 0x20
00001b6f: ADD
00001b70: SWAP2
00001b71: PUSH2 0x0cf1
00001b74: JUMP
00001b75: JUMPDEST
00001b76: PUSH1 0x00
00001b78: DUP1
00001b79: PUSH1 0x00
00001b7b: PUSH2 0x1b85
00001b7e: DUP5
00001b7f: PUSH1 0x07
00001b81: PUSH2 0x2545
00001b84: JUMP
00001b85: JUMPDEST
00001b86: SWAP2
00001b87: POP
00001b88: SWAP2
00001b89: POP
00001b8a: DUP2
00001b8b: PUSH2 0x1aae
00001b8e: JUMPI
00001b8f: PUSH2 0x1b96
00001b92: PUSH2 0x0dd1
00001b95: JUMP
00001b96: JUMPDEST
00001b97: PUSH2 0x0e82
00001b9a: JUMP
00001b9b: JUMPDEST
00001b9c: PUSH32 0x000000000000000000000000000000000000000000000000000000005f2eab9e
00001bbd: DUP2
00001bbe: JUMP
00001bbf: JUMPDEST
00001bc0: PUSH1 0x00
00001bc2: PUSH2 0x0d10
00001bc5: PUSH2 0x1bcc
00001bc8: PUSH2 0x1eb8
00001bcb: JUMP
00001bcc: JUMPDEST
00001bcd: DUP5
00001bce: PUSH2 0x0f24
00001bd1: DUP6
00001bd2: PUSH1 0x40
00001bd4: MLOAD
00001bd5: DUP1
00001bd6: PUSH1 0x60
00001bd8: ADD
00001bd9: PUSH1 0x40
00001bdb: MSTORE
00001bdc: DUP1
00001bdd: PUSH1 0x25
00001bdf: DUP2
00001be0: MSTORE
00001be1: PUSH1 0x20
00001be3: ADD
00001be4: PUSH2 0x30fb
00001be7: PUSH1 0x25
00001be9: SWAP2
00001bea: CODECOPY
00001beb: PUSH1 0x01
00001bed: PUSH1 0x00
00001bef: PUSH2 0x1bf6
00001bf2: PUSH2 0x1eb8
00001bf5: JUMP
00001bf6: JUMPDEST
00001bf7: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001c0c: SWAP1
00001c0d: DUP2
00001c0e: AND
00001c0f: DUP3
00001c10: MSTORE
00001c11: PUSH1 0x20
00001c13: DUP1
00001c14: DUP4
00001c15: ADD
00001c16: SWAP4
00001c17: SWAP1
00001c18: SWAP4
00001c19: MSTORE
00001c1a: PUSH1 0x40
00001c1c: SWAP2
00001c1d: DUP3
00001c1e: ADD
00001c1f: PUSH1 0x00
00001c21: SWAP1
00001c22: DUP2
00001c23: KECCAK256
00001c24: SWAP2
00001c25: DUP14
00001c26: AND
00001c27: DUP2
00001c28: MSTORE
00001c29: SWAP3
00001c2a: MSTORE
00001c2b: SWAP1
00001c2c: KECCAK256
00001c2d: SLOAD
00001c2e: SWAP2
00001c2f: SWAP1
00001c30: PUSH4 0xffffffff
00001c35: PUSH2 0x20b1
00001c38: AND
00001c39: JUMP
00001c3a: JUMPDEST
00001c3b: PUSH1 0x00
00001c3d: DUP2
00001c3e: JUMP
00001c3f: JUMPDEST
00001c40: PUSH1 0x00
00001c42: PUSH2 0x0d10
00001c45: PUSH2 0x1c4c
00001c48: PUSH2 0x1eb8
00001c4b: JUMP
00001c4c: JUMPDEST
00001c4d: DUP5
00001c4e: DUP5
00001c4f: PUSH2 0x2029
00001c52: JUMP
00001c53: JUMPDEST
00001c54: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001c69: AND
00001c6a: PUSH1 0x00
00001c6c: SWAP1
00001c6d: DUP2
00001c6e: MSTORE
00001c6f: PUSH1 0x0c
00001c71: PUSH1 0x20
00001c73: MSTORE
00001c74: PUSH1 0x40
00001c76: SWAP1
00001c77: KECCAK256
00001c78: SLOAD
00001c79: SWAP1
00001c7a: JUMP
00001c7b: JUMPDEST
00001c7c: PUSH1 0x00
00001c7e: DUP2
00001c7f: DUP1
00001c80: PUSH2 0x1cd0
00001c83: JUMPI
00001c84: PUSH1 0x40
00001c86: DUP1
00001c87: MLOAD
00001c88: PUSH3 0x461bcd
00001c8c: PUSH1 0xe5
00001c8e: SHL
00001c8f: DUP2
00001c90: MSTORE
00001c91: PUSH1 0x20
00001c93: PUSH1 0x04
00001c95: DUP3
00001c96: ADD
00001c97: MSTORE
00001c98: PUSH1 0x1a
00001c9a: PUSH1 0x24
00001c9c: DUP3
00001c9d: ADD
00001c9e: MSTORE
00001c9f: PUSH32 0x3020697320696e76616c69642076616c7565206173207465726d000000000000
00001cc0: PUSH1 0x44
00001cc2: DUP3
00001cc3: ADD
00001cc4: MSTORE
00001cc5: SWAP1
00001cc6: MLOAD
00001cc7: SWAP1
00001cc8: DUP2
00001cc9: SWAP1
00001cca: SUB
00001ccb: PUSH1 0x64
00001ccd: ADD
00001cce: SWAP1
00001ccf: REVERT
00001cd0: JUMPDEST
00001cd1: PUSH2 0x1aae
00001cd4: PUSH2 0x1a75
00001cd7: PUSH32 0x000000000000000000000000000000000000000000000000000000000024ea00
00001cf8: PUSH2 0x1d08
00001cfb: DUP7
00001cfc: PUSH1 0x01
00001cfe: PUSH4 0xffffffff
00001d03: PUSH2 0x248f
00001d06: AND
00001d07: JUMP
00001d08: JUMPDEST
00001d09: SWAP1
00001d0a: PUSH4 0xffffffff
00001d0f: PUSH2 0x2665
00001d12: AND
00001d13: JUMP
00001d14: JUMPDEST
00001d15: PUSH1 0x00
00001d17: PUSH2 0x1d1f
00001d1a: TIMESTAMP
00001d1b: PUSH2 0x1d62
00001d1e: JUMP
00001d1f: JUMPDEST
00001d20: SWAP1
00001d21: POP
00001d22: SWAP1
00001d23: JUMP
00001d24: JUMPDEST
00001d25: PUSH1 0x0d
00001d27: SLOAD
00001d28: DUP2
00001d29: JUMP
00001d2a: JUMPDEST
00001d2b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001d40: SWAP2
00001d41: DUP3
00001d42: AND
00001d43: PUSH1 0x00
00001d45: SWAP1
00001d46: DUP2
00001d47: MSTORE
00001d48: PUSH1 0x01
00001d4a: PUSH1 0x20
00001d4c: SWAP1
00001d4d: DUP2
00001d4e: MSTORE
00001d4f: PUSH1 0x40
00001d51: DUP1
00001d52: DUP4
00001d53: KECCAK256
00001d54: SWAP4
00001d55: SWAP1
00001d56: SWAP5
00001d57: AND
00001d58: DUP3
00001d59: MSTORE
00001d5a: SWAP2
00001d5b: SWAP1
00001d5c: SWAP2
00001d5d: MSTORE
00001d5e: KECCAK256
00001d5f: SLOAD
00001d60: SWAP1
00001d61: JUMP
00001d62: JUMPDEST
00001d63: PUSH1 0x00
00001d65: PUSH2 0x0d14
00001d68: PUSH1 0x01
00001d6a: PUSH2 0x1e03
00001d6d: PUSH32 0x000000000000000000000000000000000000000000000000000000000024ea00
00001d8e: PUSH2 0x1df7
00001d91: PUSH32 0x000000000000000000000000000000000000000000000000000000005f2eab9e
00001db2: PUSH1 0x40
00001db4: MLOAD
00001db5: DUP1
00001db6: PUSH1 0x40
00001db8: ADD
00001db9: PUSH1 0x40
00001dbb: MSTORE
00001dbc: DUP1
00001dbd: PUSH1 0x0f
00001dbf: DUP2
00001dc0: MSTORE
00001dc1: PUSH1 0x20
00001dc3: ADD
00001dc4: PUSH32 0x74696d6520697320696e76616c69640000000000000000000000000000000000
00001de5: DUP2
00001de6: MSTORE
00001de7: POP
00001de8: DUP9
00001de9: PUSH2 0x20b1
00001dec: SWAP1
00001ded: SWAP3
00001dee: SWAP2
00001def: SWAP1
00001df0: PUSH4 0xffffffff
00001df5: AND
00001df6: JUMP
00001df7: JUMPDEST
00001df8: SWAP1
00001df9: PUSH4 0xffffffff
00001dfe: PUSH2 0x26be
00001e01: AND
00001e02: JUMP
00001e03: JUMPDEST
00001e04: SWAP1
00001e05: PUSH4 0xffffffff
00001e0a: PUSH2 0x1fcf
00001e0d: AND
00001e0e: JUMP
00001e0f: JUMPDEST
00001e10: PUSH1 0x00
00001e12: DUP1
00001e13: PUSH1 0x00
00001e15: DUP1
00001e16: PUSH1 0x00
00001e18: PUSH2 0x1e1f
00001e1b: PUSH2 0x1d14
00001e1e: JUMP
00001e1f: JUMPDEST
00001e20: SWAP1
00001e21: POP
00001e22: PUSH2 0x1e64
00001e25: PUSH2 0x1e2c
00001e28: PUSH2 0x2148
00001e2b: JUMP
00001e2c: JUMPDEST
00001e2d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001e42: DUP1
00001e43: DUP10
00001e44: AND
00001e45: PUSH1 0x00
00001e47: SWAP1
00001e48: DUP2
00001e49: MSTORE
00001e4a: PUSH1 0x0e
00001e4c: PUSH1 0x20
00001e4e: SWAP1
00001e4f: DUP2
00001e50: MSTORE
00001e51: PUSH1 0x40
00001e53: DUP1
00001e54: DUP4
00001e55: KECCAK256
00001e56: SWAP4
00001e57: DUP14
00001e58: AND
00001e59: DUP4
00001e5a: MSTORE
00001e5b: SWAP3
00001e5c: SWAP1
00001e5d: MSTORE
00001e5e: KECCAK256
00001e5f: SLOAD
00001e60: PUSH2 0x21bc
00001e63: JUMP
00001e64: JUMPDEST
00001e65: SWAP4
00001e66: POP
00001e67: JUMPDEST
00001e68: DUP1
00001e69: DUP5
00001e6a: LT
00001e6b: ISZERO
00001e6c: PUSH2 0x1e99
00001e6f: JUMPI
00001e70: PUSH2 0x1e7a
00001e73: DUP8
00001e74: DUP8
00001e75: DUP7
00001e76: PUSH2 0x19c2
00001e79: JUMP
00001e7a: JUMPDEST
00001e7b: SWAP2
00001e7c: POP
00001e7d: PUSH2 0x1e8c
00001e80: DUP4
00001e81: DUP4
00001e82: PUSH4 0xffffffff
00001e87: PUSH2 0x1fcf
00001e8a: AND
00001e8b: JUMP
00001e8c: JUMPDEST
00001e8d: PUSH1 0x01
00001e8f: SWAP1
00001e90: SWAP5
00001e91: ADD
00001e92: SWAP4
00001e93: SWAP3
00001e94: POP
00001e95: PUSH2 0x1e67
00001e98: JUMP
00001e99: JUMPDEST
00001e9a: POP
00001e9b: SWAP1
00001e9c: SWAP6
00001e9d: SWAP5
00001e9e: POP
00001e9f: POP
00001ea0: POP
00001ea1: POP
00001ea2: POP
00001ea3: JUMP
00001ea4: JUMPDEST
00001ea5: PUSH1 0x00
00001ea7: SWAP1
00001ea8: DUP2
00001ea9: MSTORE
00001eaa: PUSH1 0x0a
00001eac: PUSH1 0x20
00001eae: MSTORE
00001eaf: PUSH1 0x40
00001eb1: SWAP1
00001eb2: KECCAK256
00001eb3: SLOAD
00001eb4: ISZERO
00001eb5: ISZERO
00001eb6: SWAP1
00001eb7: JUMP
00001eb8: JUMPDEST
00001eb9: CALLER
00001eba: SWAP1
00001ebb: JUMP
00001ebc: JUMPDEST
00001ebd: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001ed2: DUP4
00001ed3: AND
00001ed4: PUSH2 0x1f0e
00001ed7: JUMPI
00001ed8: PUSH1 0x40
00001eda: MLOAD
00001edb: PUSH3 0x461bcd
00001edf: PUSH1 0xe5
00001ee1: SHL
00001ee2: DUP2
00001ee3: MSTORE
00001ee4: PUSH1 0x04
00001ee6: ADD
00001ee7: DUP1
00001ee8: DUP1
00001ee9: PUSH1 0x20
00001eeb: ADD
00001eec: DUP3
00001eed: DUP2
00001eee: SUB
00001eef: DUP3
00001ef0: MSTORE
00001ef1: PUSH1 0x24
00001ef3: DUP2
00001ef4: MSTORE
00001ef5: PUSH1 0x20
00001ef7: ADD
00001ef8: DUP1
00001ef9: PUSH2 0x30ad
00001efc: PUSH1 0x24
00001efe: SWAP2
00001eff: CODECOPY
00001f00: PUSH1 0x40
00001f02: ADD
00001f03: SWAP2
00001f04: POP
00001f05: POP
00001f06: PUSH1 0x40
00001f08: MLOAD
00001f09: DUP1
00001f0a: SWAP2
00001f0b: SUB
00001f0c: SWAP1
00001f0d: REVERT
00001f0e: JUMPDEST
00001f0f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001f24: DUP3
00001f25: AND
00001f26: PUSH2 0x1f60
00001f29: JUMPI
00001f2a: PUSH1 0x40
00001f2c: MLOAD
00001f2d: PUSH3 0x461bcd
00001f31: PUSH1 0xe5
00001f33: SHL
00001f34: DUP2
00001f35: MSTORE
00001f36: PUSH1 0x04
00001f38: ADD
00001f39: DUP1
00001f3a: DUP1
00001f3b: PUSH1 0x20
00001f3d: ADD
00001f3e: DUP3
00001f3f: DUP2
00001f40: SUB
00001f41: DUP3
00001f42: MSTORE
00001f43: PUSH1 0x22
00001f45: DUP2
00001f46: MSTORE
00001f47: PUSH1 0x20
00001f49: ADD
00001f4a: DUP1
00001f4b: PUSH2 0x2fce
00001f4e: PUSH1 0x22
00001f50: SWAP2
00001f51: CODECOPY
00001f52: PUSH1 0x40
00001f54: ADD
00001f55: SWAP2
00001f56: POP
00001f57: POP
00001f58: PUSH1 0x40
00001f5a: MLOAD
00001f5b: DUP1
00001f5c: SWAP2
00001f5d: SUB
00001f5e: SWAP1
00001f5f: REVERT
00001f60: JUMPDEST
00001f61: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001f76: DUP1
00001f77: DUP5
00001f78: AND
00001f79: PUSH1 0x00
00001f7b: DUP2
00001f7c: DUP2
00001f7d: MSTORE
00001f7e: PUSH1 0x01
00001f80: PUSH1 0x20
00001f82: SWAP1
00001f83: DUP2
00001f84: MSTORE
00001f85: PUSH1 0x40
00001f87: DUP1
00001f88: DUP4
00001f89: KECCAK256
00001f8a: SWAP5
00001f8b: DUP8
00001f8c: AND
00001f8d: DUP1
00001f8e: DUP5
00001f8f: MSTORE
00001f90: SWAP5
00001f91: DUP3
00001f92: MSTORE
00001f93: SWAP2
00001f94: DUP3
00001f95: SWAP1
00001f96: KECCAK256
00001f97: DUP6
00001f98: SWAP1
00001f99: SSTORE
00001f9a: DUP2
00001f9b: MLOAD
00001f9c: DUP6
00001f9d: DUP2
00001f9e: MSTORE
00001f9f: SWAP2
00001fa0: MLOAD
00001fa1: PUSH32 0x8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925
00001fc2: SWAP3
00001fc3: DUP2
00001fc4: SWAP1
00001fc5: SUB
00001fc6: SWAP1
00001fc7: SWAP2
00001fc8: ADD
00001fc9: SWAP1
00001fca: LOG3
00001fcb: POP
00001fcc: POP
00001fcd: POP
00001fce: JUMP
00001fcf: JUMPDEST
00001fd0: PUSH1 0x00
00001fd2: DUP3
00001fd3: DUP3
00001fd4: ADD
00001fd5: DUP4
00001fd6: DUP2
00001fd7: LT
00001fd8: ISZERO
00001fd9: PUSH2 0x1aae
00001fdc: JUMPI
00001fdd: PUSH1 0x40
00001fdf: DUP1
00001fe0: MLOAD
00001fe1: PUSH3 0x461bcd
00001fe5: PUSH1 0xe5
00001fe7: SHL
00001fe8: DUP2
00001fe9: MSTORE
00001fea: PUSH1 0x20
00001fec: PUSH1 0x04
00001fee: DUP3
00001fef: ADD
00001ff0: MSTORE
00001ff1: PUSH1 0x1b
00001ff3: PUSH1 0x24
00001ff5: DUP3
00001ff6: ADD
00001ff7: MSTORE
00001ff8: PUSH32 0x536166654d6174683a206164646974696f6e206f766572666c6f770000000000
00002019: PUSH1 0x44
0000201b: DUP3
0000201c: ADD
0000201d: MSTORE
0000201e: SWAP1
0000201f: MLOAD
00002020: SWAP1
00002021: DUP2
00002022: SWAP1
00002023: SUB
00002024: PUSH1 0x64
00002026: ADD
00002027: SWAP1
00002028: REVERT
00002029: JUMPDEST
0000202a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000203f: DUP4
00002040: AND
00002041: PUSH1 0x00
00002043: SWAP1
00002044: DUP2
00002045: MSTORE
00002046: PUSH1 0x0c
00002048: PUSH1 0x20
0000204a: MSTORE
0000204b: PUSH1 0x40
0000204d: SWAP1
0000204e: KECCAK256
0000204f: SLOAD
00002050: DUP4
00002051: SWAP1
00002052: DUP3
00002053: SWAP1
00002054: DUP2
00002055: SWAP1
00002056: PUSH2 0x2062
00002059: SWAP1
0000205a: PUSH2 0x1aa2
0000205d: DUP6
0000205e: PUSH2 0x17e4
00002061: JUMP
00002062: JUMPDEST
00002063: LT
00002064: ISZERO
00002065: PUSH2 0x209f
00002068: JUMPI
00002069: PUSH1 0x40
0000206b: MLOAD
0000206c: PUSH3 0x461bcd
00002070: PUSH1 0xe5
00002072: SHL
00002073: DUP2
00002074: MSTORE
00002075: PUSH1 0x04
00002077: ADD
00002078: DUP1
00002079: DUP1
0000207a: PUSH1 0x20
0000207c: ADD
0000207d: DUP3
0000207e: DUP2
0000207f: SUB
00002080: DUP3
00002081: MSTORE
00002082: PUSH1 0x29
00002084: DUP2
00002085: MSTORE
00002086: PUSH1 0x20
00002088: ADD
00002089: DUP1
0000208a: PUSH2 0x2ff0
0000208d: PUSH1 0x29
0000208f: SWAP2
00002090: CODECOPY
00002091: PUSH1 0x40
00002093: ADD
00002094: SWAP2
00002095: POP
00002096: POP
00002097: PUSH1 0x40
00002099: MLOAD
0000209a: DUP1
0000209b: SWAP2
0000209c: SUB
0000209d: SWAP1
0000209e: REVERT
0000209f: JUMPDEST
000020a0: PUSH2 0x20aa
000020a3: DUP6
000020a4: DUP6
000020a5: DUP6
000020a6: PUSH2 0x2700
000020a9: JUMP
000020aa: JUMPDEST
000020ab: POP
000020ac: POP
000020ad: POP
000020ae: POP
000020af: POP
000020b0: JUMP
000020b1: JUMPDEST
000020b2: PUSH1 0x00
000020b4: DUP2
000020b5: DUP5
000020b6: DUP5
000020b7: GT
000020b8: ISZERO
000020b9: PUSH2 0x2140
000020bc: JUMPI
000020bd: PUSH1 0x40
000020bf: MLOAD
000020c0: PUSH3 0x461bcd
000020c4: PUSH1 0xe5
000020c6: SHL
000020c7: DUP2
000020c8: MSTORE
000020c9: PUSH1 0x04
000020cb: ADD
000020cc: DUP1
000020cd: DUP1
000020ce: PUSH1 0x20
000020d0: ADD
000020d1: DUP3
000020d2: DUP2
000020d3: SUB
000020d4: DUP3
000020d5: MSTORE
000020d6: DUP4
000020d7: DUP2
000020d8: DUP2
000020d9: MLOAD
000020da: DUP2
000020db: MSTORE
000020dc: PUSH1 0x20
000020de: ADD
000020df: SWAP2
000020e0: POP
000020e1: DUP1
000020e2: MLOAD
000020e3: SWAP1
000020e4: PUSH1 0x20
000020e6: ADD
000020e7: SWAP1
000020e8: DUP1
000020e9: DUP4
000020ea: DUP4
000020eb: PUSH1 0x00
000020ed: JUMPDEST
000020ee: DUP4
000020ef: DUP2
000020f0: LT
000020f1: ISZERO
000020f2: PUSH2 0x2105
000020f5: JUMPI
000020f6: DUP2
000020f7: DUP2
000020f8: ADD
000020f9: MLOAD
000020fa: DUP4
000020fb: DUP3
000020fc: ADD
000020fd: MSTORE
000020fe: PUSH1 0x20
00002100: ADD
00002101: PUSH2 0x20ed
00002104: JUMP
00002105: JUMPDEST
00002106: POP
00002107: POP
00002108: POP
00002109: POP
0000210a: SWAP1
0000210b: POP
0000210c: SWAP1
0000210d: DUP2
0000210e: ADD
0000210f: SWAP1
00002110: PUSH1 0x1f
00002112: AND
00002113: DUP1
00002114: ISZERO
00002115: PUSH2 0x2132
00002118: JUMPI
00002119: DUP1
0000211a: DUP3
0000211b: SUB
0000211c: DUP1
0000211d: MLOAD
0000211e: PUSH1 0x01
00002120: DUP4
00002121: PUSH1 0x20
00002123: SUB
00002124: PUSH2 0x0100
00002127: EXP
00002128: SUB
00002129: NOT
0000212a: AND
0000212b: DUP2
0000212c: MSTORE
0000212d: PUSH1 0x20
0000212f: ADD
00002130: SWAP2
00002131: POP
00002132: JUMPDEST
00002133: POP
00002134: SWAP3
00002135: POP
00002136: POP
00002137: POP
00002138: PUSH1 0x40
0000213a: MLOAD
0000213b: DUP1
0000213c: SWAP2
0000213d: SUB
0000213e: SWAP1
0000213f: REVERT
00002140: JUMPDEST
00002141: POP
00002142: POP
00002143: POP
00002144: SWAP1
00002145: SUB
00002146: SWAP1
00002147: JUMP
00002148: JUMPDEST
00002149: PUSH1 0x00
0000214b: DUP1
0000214c: PUSH2 0x2153
0000214f: PUSH2 0x1d14
00002152: JUMP
00002153: JUMPDEST
00002154: SWAP1
00002155: POP
00002156: PUSH32 0x000000000000000000000000000000000000000000000000000000000000000c
00002177: DUP2
00002178: GT
00002179: PUSH2 0x2186
0000217c: JUMPI
0000217d: PUSH1 0x01
0000217f: SWAP2
00002180: POP
00002181: POP
00002182: PUSH2 0x0cf9
00002185: JUMP
00002186: JUMPDEST
00002187: PUSH2 0x21b6
0000218a: DUP2
0000218b: PUSH32 0x000000000000000000000000000000000000000000000000000000000000000c
000021ac: PUSH4 0xffffffff
000021b1: PUSH2 0x248f
000021b4: AND
000021b5: JUMP
000021b6: JUMPDEST
000021b7: SWAP2
000021b8: POP
000021b9: POP
000021ba: SWAP1
000021bb: JUMP
000021bc: JUMPDEST
000021bd: PUSH1 0x00
000021bf: DUP2
000021c0: DUP4
000021c1: LT
000021c2: ISZERO
000021c3: PUSH2 0x21cc
000021c6: JUMPI
000021c7: DUP2
000021c8: PUSH2 0x1aae
000021cb: JUMP
000021cc: JUMPDEST
000021cd: POP
000021ce: SWAP1
000021cf: SWAP2
000021d0: SWAP1
000021d1: POP
000021d2: JUMP
000021d3: JUMPDEST
000021d4: PUSH1 0x40
000021d6: DUP1
000021d7: MLOAD
000021d8: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000021ed: DUP5
000021ee: AND
000021ef: PUSH1 0x24
000021f1: DUP3
000021f2: ADD
000021f3: MSTORE
000021f4: PUSH1 0x44
000021f6: DUP1
000021f7: DUP3
000021f8: ADD
000021f9: DUP5
000021fa: SWAP1
000021fb: MSTORE
000021fc: DUP3
000021fd: MLOAD
000021fe: DUP1
000021ff: DUP4
00002200: SUB
00002201: SWAP1
00002202: SWAP2
00002203: ADD
00002204: DUP2
00002205: MSTORE
00002206: PUSH1 0x64
00002208: SWAP1
00002209: SWAP2
0000220a: ADD
0000220b: SWAP1
0000220c: SWAP2
0000220d: MSTORE
0000220e: PUSH1 0x20
00002210: DUP2
00002211: ADD
00002212: DUP1
00002213: MLOAD
00002214: PUSH28 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffff
00002231: AND
00002232: PUSH32 0xa9059cbb00000000000000000000000000000000000000000000000000000000
00002253: OR
00002254: SWAP1
00002255: MSTORE
00002256: PUSH2 0x2260
00002259: SWAP1
0000225a: DUP5
0000225b: SWAP1
0000225c: PUSH2 0x2713
0000225f: JUMP
00002260: JUMPDEST
00002261: POP
00002262: POP
00002263: POP
00002264: JUMP
00002265: JUMPDEST
00002266: PUSH1 0x00
00002268: DUP2
00002269: PUSH2 0x22b9
0000226c: JUMPI
0000226d: PUSH1 0x40
0000226f: DUP1
00002270: MLOAD
00002271: PUSH3 0x461bcd
00002275: PUSH1 0xe5
00002277: SHL
00002278: DUP2
00002279: MSTORE
0000227a: PUSH1 0x20
0000227c: PUSH1 0x04
0000227e: DUP3
0000227f: ADD
00002280: MSTORE
00002281: PUSH1 0x12
00002283: PUSH1 0x24
00002285: DUP3
00002286: ADD
00002287: MSTORE
00002288: PUSH32 0x3020697320696e76616c69642061732069640000000000000000000000000000
000022a9: PUSH1 0x44
000022ab: DUP3
000022ac: ADD
000022ad: MSTORE
000022ae: SWAP1
000022af: MLOAD
000022b0: SWAP1
000022b1: DUP2
000022b2: SWAP1
000022b3: SUB
000022b4: PUSH1 0x64
000022b6: ADD
000022b7: SWAP1
000022b8: REVERT
000022b9: JUMPDEST
000022ba: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000022cf: DUP4
000022d0: AND
000022d1: PUSH1 0x00
000022d3: SWAP1
000022d4: DUP2
000022d5: MSTORE
000022d6: PUSH1 0x0b
000022d8: PUSH1 0x20
000022da: MSTORE
000022db: PUSH1 0x40
000022dd: SWAP1
000022de: KECCAK256
000022df: SLOAD
000022e0: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff
00002301: SWAP1
00002302: SWAP3
00002303: ADD
00002304: SWAP2
00002305: DUP3
00002306: LT
00002307: PUSH2 0x2357
0000230a: JUMPI
0000230b: PUSH1 0x40
0000230d: DUP1
0000230e: MLOAD
0000230f: PUSH3 0x461bcd
00002313: PUSH1 0xe5
00002315: SHL
00002316: DUP2
00002317: MSTORE
00002318: PUSH1 0x20
0000231a: PUSH1 0x04
0000231c: DUP3
0000231d: ADD
0000231e: MSTORE
0000231f: PUSH1 0x14
00002321: PUSH1 0x24
00002323: DUP3
00002324: ADD
00002325: MSTORE
00002326: PUSH32 0x6772616e7420646f6573206e6f74206578697374000000000000000000000000
00002347: PUSH1 0x44
00002349: DUP3
0000234a: ADD
0000234b: MSTORE
0000234c: SWAP1
0000234d: MLOAD
0000234e: SWAP1
0000234f: DUP2
00002350: SWAP1
00002351: SUB
00002352: PUSH1 0x64
00002354: ADD
00002355: SWAP1
00002356: REVERT
00002357: JUMPDEST
00002358: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000236d: DUP4
0000236e: AND
0000236f: PUSH1 0x00
00002371: SWAP1
00002372: DUP2
00002373: MSTORE
00002374: PUSH1 0x0b
00002376: PUSH1 0x20
00002378: MSTORE
00002379: PUSH1 0x40
0000237b: DUP2
0000237c: KECCAK256
0000237d: DUP1
0000237e: SLOAD
0000237f: DUP5
00002380: SWAP1
00002381: DUP2
00002382: LT
00002383: PUSH2 0x2388
00002386: JUMPI
00002387: INVALID
00002388: JUMPDEST
00002389: PUSH1 0x00
0000238b: SWAP2
0000238c: DUP3
0000238d: MSTORE
0000238e: PUSH1 0x20
00002390: SWAP1
00002391: SWAP2
00002392: KECCAK256
00002393: PUSH1 0x03
00002395: SWAP1
00002396: SWAP2
00002397: MUL
00002398: ADD
00002399: PUSH1 0x02
0000239b: DUP2
0000239c: ADD
0000239d: SLOAD
0000239e: SWAP1
0000239f: SWAP2
000023a0: POP
000023a1: PUSH17 0x0100000000000000000000000000000000
000023b3: SWAP1
000023b4: DIV
000023b5: PUSH16 0xffffffffffffffffffffffffffffffff
000023c6: AND
000023c7: PUSH2 0x1aae
000023ca: JUMPI
000023cb: PUSH1 0x40
000023cd: MLOAD
000023ce: PUSH3 0x461bcd
000023d2: PUSH1 0xe5
000023d4: SHL
000023d5: DUP2
000023d6: MSTORE
000023d7: PUSH1 0x04
000023d9: ADD
000023da: DUP1
000023db: DUP1
000023dc: PUSH1 0x20
000023de: ADD
000023df: DUP3
000023e0: DUP2
000023e1: SUB
000023e2: DUP3
000023e3: MSTORE
000023e4: PUSH1 0x32
000023e6: DUP2
000023e7: MSTORE
000023e8: PUSH1 0x20
000023ea: ADD
000023eb: DUP1
000023ec: PUSH2 0x2f9c
000023ef: PUSH1 0x32
000023f1: SWAP2
000023f2: CODECOPY
000023f3: PUSH1 0x40
000023f5: ADD
000023f6: SWAP2
000023f7: POP
000023f8: POP
000023f9: PUSH1 0x40
000023fb: MLOAD
000023fc: DUP1
000023fd: SWAP2
000023fe: SUB
000023ff: SWAP1
00002400: REVERT
00002401: JUMPDEST
00002402: PUSH1 0x00
00002404: DUP1
00002405: TIMESTAMP
00002406: SWAP1
00002407: POP
00002408: DUP1
00002409: DUP4
0000240a: PUSH1 0x60
0000240c: ADD
0000240d: MLOAD
0000240e: PUSH16 0xffffffffffffffffffffffffffffffff
0000241f: AND
00002420: GT
00002421: ISZERO
00002422: PUSH2 0x2479
00002425: JUMPI
00002426: PUSH1 0x40
00002428: DUP4
00002429: ADD
0000242a: MLOAD
0000242b: PUSH1 0x60
0000242d: DUP5
0000242e: ADD
0000242f: MLOAD
00002430: PUSH1 0x20
00002432: DUP6
00002433: ADD
00002434: MLOAD
00002435: DUP6
00002436: MLOAD
00002437: PUSH16 0xffffffffffffffffffffffffffffffff
00002448: DUP1
00002449: DUP6
0000244a: AND
0000244b: DUP7
0000244c: SUB
0000244d: SWAP5
0000244e: SWAP1
0000244f: SWAP4
00002450: SUB
00002451: SWAP1
00002452: SWAP3
00002453: AND
00002454: SWAP2
00002455: PUSH2 0x246f
00002458: SWAP2
00002459: SWAP1
0000245a: PUSH2 0x1aa2
0000245d: SWAP1
0000245e: DUP5
0000245f: SWAP1
00002460: PUSH2 0x1df7
00002463: SWAP1
00002464: DUP8
00002465: PUSH4 0xffffffff
0000246a: PUSH2 0x2665
0000246d: AND
0000246e: JUMP
0000246f: JUMPDEST
00002470: SWAP4
00002471: POP
00002472: POP
00002473: POP
00002474: POP
00002475: PUSH2 0x17df
00002478: JUMP
00002479: JUMPDEST
0000247a: PUSH1 0x20
0000247c: DUP4
0000247d: ADD
0000247e: MLOAD
0000247f: DUP4
00002480: MLOAD
00002481: PUSH2 0x1aae
00002484: SWAP2
00002485: PUSH4 0xffffffff
0000248a: PUSH2 0x248f
0000248d: AND
0000248e: JUMP
0000248f: JUMPDEST
00002490: PUSH1 0x00
00002492: PUSH2 0x1aae
00002495: DUP4
00002496: DUP4
00002497: PUSH1 0x40
00002499: MLOAD
0000249a: DUP1
0000249b: PUSH1 0x40
0000249d: ADD
0000249e: PUSH1 0x40
000024a0: MSTORE
000024a1: DUP1
000024a2: PUSH1 0x1e
000024a4: DUP2
000024a5: MSTORE
000024a6: PUSH1 0x20
000024a8: ADD
000024a9: PUSH32 0x536166654d6174683a207375627472616374696f6e206f766572666c6f770000
000024ca: DUP2
000024cb: MSTORE
000024cc: POP
000024cd: PUSH2 0x20b1
000024d0: JUMP
000024d1: JUMPDEST
000024d2: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000024e7: DUP3
000024e8: AND
000024e9: PUSH1 0x00
000024eb: SWAP1
000024ec: DUP2
000024ed: MSTORE
000024ee: PUSH1 0x0b
000024f0: PUSH1 0x20
000024f2: MSTORE
000024f3: PUSH1 0x40
000024f5: SWAP1
000024f6: KECCAK256
000024f7: DUP1
000024f8: SLOAD
000024f9: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff
0000251a: DUP4
0000251b: ADD
0000251c: SWAP1
0000251d: DUP2
0000251e: LT
0000251f: PUSH2 0x2524
00002522: JUMPI
00002523: INVALID
00002524: JUMPDEST
00002525: PUSH1 0x00
00002527: SWAP2
00002528: DUP3
00002529: MSTORE
0000252a: PUSH1 0x20
0000252c: DUP3
0000252d: KECCAK256
0000252e: PUSH1 0x03
00002530: SWAP1
00002531: SWAP2
00002532: MUL
00002533: ADD
00002534: DUP2
00002535: DUP2
00002536: SSTORE
00002537: PUSH1 0x01
00002539: DUP2
0000253a: ADD
0000253b: DUP3
0000253c: SWAP1
0000253d: SSTORE
0000253e: PUSH1 0x02
00002540: ADD
00002541: SSTORE
00002542: POP
00002543: POP
00002544: JUMP
00002545: JUMPDEST
00002546: PUSH1 0x00
00002548: DUP1
00002549: PUSH1 0x00
0000254b: DUP5
0000254c: GT
0000254d: PUSH2 0x259d
00002550: JUMPI
00002551: PUSH1 0x40
00002553: DUP1
00002554: MLOAD
00002555: PUSH3 0x461bcd
00002559: PUSH1 0xe5
0000255b: SHL
0000255c: DUP2
0000255d: MSTORE
0000255e: PUSH1 0x20
00002560: PUSH1 0x04
00002562: DUP3
00002563: ADD
00002564: MSTORE
00002565: PUSH1 0x16
00002567: PUSH1 0x24
00002569: DUP3
0000256a: ADD
0000256b: MSTORE
0000256c: PUSH32 0x4552433230536e617073686f743a206964206973203000000000000000000000
0000258d: PUSH1 0x44
0000258f: DUP3
00002590: ADD
00002591: MSTORE
00002592: SWAP1
00002593: MLOAD
00002594: SWAP1
00002595: DUP2
00002596: SWAP1
00002597: SUB
00002598: PUSH1 0x64
0000259a: ADD
0000259b: SWAP1
0000259c: REVERT
0000259d: JUMPDEST
0000259e: PUSH2 0x25a7
000025a1: PUSH1 0x09
000025a3: PUSH2 0x2909
000025a6: JUMP
000025a7: JUMPDEST
000025a8: DUP5
000025a9: GT
000025aa: ISZERO
000025ab: PUSH2 0x25fb
000025ae: JUMPI
000025af: PUSH1 0x40
000025b1: DUP1
000025b2: MLOAD
000025b3: PUSH3 0x461bcd
000025b7: PUSH1 0xe5
000025b9: SHL
000025ba: DUP2
000025bb: MSTORE
000025bc: PUSH1 0x20
000025be: PUSH1 0x04
000025c0: DUP3
000025c1: ADD
000025c2: MSTORE
000025c3: PUSH1 0x1d
000025c5: PUSH1 0x24
000025c7: DUP3
000025c8: ADD
000025c9: MSTORE
000025ca: PUSH32 0x4552433230536e617073686f743a206e6f6e6578697374656e74206964000000
000025eb: PUSH1 0x44
000025ed: DUP3
000025ee: ADD
000025ef: MSTORE
000025f0: SWAP1
000025f1: MLOAD
000025f2: SWAP1
000025f3: DUP2
000025f4: SWAP1
000025f5: SUB
000025f6: PUSH1 0x64
000025f8: ADD
000025f9: SWAP1
000025fa: REVERT
000025fb: JUMPDEST
000025fc: PUSH1 0x00
000025fe: PUSH2 0x260d
00002601: DUP5
00002602: DUP7
00002603: PUSH4 0xffffffff
00002608: PUSH2 0x290d
0000260b: AND
0000260c: JUMP
0000260d: JUMPDEST
0000260e: DUP5
0000260f: SLOAD
00002610: SWAP1
00002611: SWAP2
00002612: POP
00002613: DUP2
00002614: EQ
00002615: ISZERO
00002616: PUSH2 0x2626
00002619: JUMPI
0000261a: POP
0000261b: PUSH1 0x00
0000261d: SWAP2
0000261e: POP
0000261f: DUP2
00002620: SWAP1
00002621: POP
00002622: PUSH2 0x2648
00002625: JUMP
00002626: JUMPDEST
00002627: PUSH1 0x01
00002629: DUP5
0000262a: PUSH1 0x01
0000262c: ADD
0000262d: DUP3
0000262e: DUP2
0000262f: SLOAD
00002630: DUP2
00002631: LT
00002632: PUSH2 0x2637
00002635: JUMPI
00002636: INVALID
00002637: JUMPDEST
00002638: SWAP1
00002639: PUSH1 0x00
0000263b: MSTORE
0000263c: PUSH1 0x20
0000263e: PUSH1 0x00
00002640: KECCAK256
00002641: ADD
00002642: SLOAD
00002643: SWAP3
00002644: POP
00002645: SWAP3
00002646: POP
00002647: POP
00002648: JUMPDEST
00002649: SWAP3
0000264a: POP
0000264b: SWAP3
0000264c: SWAP1
0000264d: POP
0000264e: JUMP
0000264f: JUMPDEST
00002650: PUSH1 0x00
00002652: PUSH2 0x17b0
00002655: DUP3
00002656: PUSH2 0x1df7
00002659: DUP7
0000265a: DUP7
0000265b: PUSH4 0xffffffff
00002660: PUSH2 0x2665
00002663: AND
00002664: JUMP
00002665: JUMPDEST
00002666: PUSH1 0x00
00002668: DUP3
00002669: PUSH2 0x2674
0000266c: JUMPI
0000266d: POP
0000266e: PUSH1 0x00
00002670: PUSH2 0x0d14
00002673: JUMP
00002674: JUMPDEST
00002675: DUP3
00002676: DUP3
00002677: MUL
00002678: DUP3
00002679: DUP5
0000267a: DUP3
0000267b: DUP2
0000267c: PUSH2 0x2681
0000267f: JUMPI
00002680: INVALID
00002681: JUMPDEST
00002682: DIV
00002683: EQ
00002684: PUSH2 0x1aae
00002687: JUMPI
00002688: PUSH1 0x40
0000268a: MLOAD
0000268b: PUSH3 0x461bcd
0000268f: PUSH1 0xe5
00002691: SHL
00002692: DUP2
00002693: MSTORE
00002694: PUSH1 0x04
00002696: ADD
00002697: DUP1
00002698: DUP1
00002699: PUSH1 0x20
0000269b: ADD
0000269c: DUP3
0000269d: DUP2
0000269e: SUB
0000269f: DUP3
000026a0: MSTORE
000026a1: PUSH1 0x21
000026a3: DUP2
000026a4: MSTORE
000026a5: PUSH1 0x20
000026a7: ADD
000026a8: DUP1
000026a9: PUSH2 0x303f
000026ac: PUSH1 0x21
000026ae: SWAP2
000026af: CODECOPY
000026b0: PUSH1 0x40
000026b2: ADD
000026b3: SWAP2
000026b4: POP
000026b5: POP
000026b6: PUSH1 0x40
000026b8: MLOAD
000026b9: DUP1
000026ba: SWAP2
000026bb: SUB
000026bc: SWAP1
000026bd: REVERT
000026be: JUMPDEST
000026bf: PUSH1 0x00
000026c1: PUSH2 0x1aae
000026c4: DUP4
000026c5: DUP4
000026c6: PUSH1 0x40
000026c8: MLOAD
000026c9: DUP1
000026ca: PUSH1 0x40
000026cc: ADD
000026cd: PUSH1 0x40
000026cf: MSTORE
000026d0: DUP1
000026d1: PUSH1 0x1a
000026d3: DUP2
000026d4: MSTORE
000026d5: PUSH1 0x20
000026d7: ADD
000026d8: PUSH32 0x536166654d6174683a206469766973696f6e206279207a65726f000000000000
000026f9: DUP2
000026fa: MSTORE
000026fb: POP
000026fc: PUSH2 0x29cc
000026ff: JUMP
00002700: JUMPDEST
00002701: PUSH2 0x2708
00002704: PUSH2 0x2a31
00002707: JUMP
00002708: JUMPDEST
00002709: PUSH2 0x2260
0000270c: DUP4
0000270d: DUP4
0000270e: DUP4
0000270f: PUSH2 0x2a99
00002712: JUMP
00002713: JUMPDEST
00002714: PUSH2 0x2732
00002717: DUP3
00002718: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000272d: AND
0000272e: PUSH2 0x2ab6
00002731: JUMP
00002732: JUMPDEST
00002733: PUSH2 0x2783
00002736: JUMPI
00002737: PUSH1 0x40
00002739: DUP1
0000273a: MLOAD
0000273b: PUSH3 0x461bcd
0000273f: PUSH1 0xe5
00002741: SHL
00002742: DUP2
00002743: MSTORE
00002744: PUSH1 0x20
00002746: PUSH1 0x04
00002748: DUP3
00002749: ADD
0000274a: MSTORE
0000274b: PUSH1 0x1f
0000274d: PUSH1 0x24
0000274f: DUP3
00002750: ADD
00002751: MSTORE
00002752: PUSH32 0x5361666545524332303a2063616c6c20746f206e6f6e2d636f6e747261637400
00002773: PUSH1 0x44
00002775: DUP3
00002776: ADD
00002777: MSTORE
00002778: SWAP1
00002779: MLOAD
0000277a: SWAP1
0000277b: DUP2
0000277c: SWAP1
0000277d: SUB
0000277e: PUSH1 0x64
00002780: ADD
00002781: SWAP1
00002782: REVERT
00002783: JUMPDEST
00002784: PUSH1 0x00
00002786: PUSH1 0x60
00002788: DUP4
00002789: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000279e: AND
0000279f: DUP4
000027a0: PUSH1 0x40
000027a2: MLOAD
000027a3: DUP1
000027a4: DUP3
000027a5: DUP1
000027a6: MLOAD
000027a7: SWAP1
000027a8: PUSH1 0x20
000027aa: ADD
000027ab: SWAP1
000027ac: DUP1
000027ad: DUP4
000027ae: DUP4
000027af: JUMPDEST
000027b0: PUSH1 0x20
000027b2: DUP4
000027b3: LT
000027b4: PUSH2 0x27ec
000027b7: JUMPI
000027b8: DUP1
000027b9: MLOAD
000027ba: DUP3
000027bb: MSTORE
000027bc: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0
000027dd: SWAP1
000027de: SWAP3
000027df: ADD
000027e0: SWAP2
000027e1: PUSH1 0x20
000027e3: SWAP2
000027e4: DUP3
000027e5: ADD
000027e6: SWAP2
000027e7: ADD
000027e8: PUSH2 0x27af
000027eb: JUMP
000027ec: JUMPDEST
000027ed: PUSH1 0x01
000027ef: DUP4
000027f0: PUSH1 0x20
000027f2: SUB
000027f3: PUSH2 0x0100
000027f6: EXP
000027f7: SUB
000027f8: DUP1
000027f9: NOT
000027fa: DUP3
000027fb: MLOAD
000027fc: AND
000027fd: DUP2
000027fe: DUP5
000027ff: MLOAD
00002800: AND
00002801: DUP1
00002802: DUP3
00002803: OR
00002804: DUP6
00002805: MSTORE
00002806: POP
00002807: POP
00002808: POP
00002809: POP
0000280a: POP
0000280b: POP
0000280c: SWAP1
0000280d: POP
0000280e: ADD
0000280f: SWAP2
00002810: POP
00002811: POP
00002812: PUSH1 0x00
00002814: PUSH1 0x40
00002816: MLOAD
00002817: DUP1
00002818: DUP4
00002819: SUB
0000281a: DUP2
0000281b: PUSH1 0x00
0000281d: DUP7
0000281e: GAS
0000281f: CALL
00002820: SWAP2
00002821: POP
00002822: POP
00002823: RETURNDATASIZE
00002824: DUP1
00002825: PUSH1 0x00
00002827: DUP2
00002828: EQ
00002829: PUSH2 0x284e
0000282c: JUMPI
0000282d: PUSH1 0x40
0000282f: MLOAD
00002830: SWAP2
00002831: POP
00002832: PUSH1 0x1f
00002834: NOT
00002835: PUSH1 0x3f
00002837: RETURNDATASIZE
00002838: ADD
00002839: AND
0000283a: DUP3
0000283b: ADD
0000283c: PUSH1 0x40
0000283e: MSTORE
0000283f: RETURNDATASIZE
00002840: DUP3
00002841: MSTORE
00002842: RETURNDATASIZE
00002843: PUSH1 0x00
00002845: PUSH1 0x20
00002847: DUP5
00002848: ADD
00002849: RETURNDATACOPY
0000284a: PUSH2 0x2853
0000284d: JUMP
0000284e: JUMPDEST
0000284f: PUSH1 0x60
00002851: SWAP2
00002852: POP
00002853: JUMPDEST
00002854: POP
00002855: SWAP2
00002856: POP
00002857: SWAP2
00002858: POP
00002859: DUP2
0000285a: PUSH2 0x28aa
0000285d: JUMPI
0000285e: PUSH1 0x40
00002860: DUP1
00002861: MLOAD
00002862: PUSH3 0x461bcd
00002866: PUSH1 0xe5
00002868: SHL
00002869: DUP2
0000286a: MSTORE
0000286b: PUSH1 0x20
0000286d: PUSH1 0x04
0000286f: DUP3
00002870: ADD
00002871: DUP2
00002872: SWAP1
00002873: MSTORE
00002874: PUSH1 0x24
00002876: DUP3
00002877: ADD
00002878: MSTORE
00002879: PUSH32 0x5361666545524332303a206c6f772d6c6576656c2063616c6c206661696c6564
0000289a: PUSH1 0x44
0000289c: DUP3
0000289d: ADD
0000289e: MSTORE
0000289f: SWAP1
000028a0: MLOAD
000028a1: SWAP1
000028a2: DUP2
000028a3: SWAP1
000028a4: SUB
000028a5: PUSH1 0x64
000028a7: ADD
000028a8: SWAP1
000028a9: REVERT
000028aa: JUMPDEST
000028ab: DUP1
000028ac: MLOAD
000028ad: ISZERO
000028ae: PUSH2 0x2903
000028b1: JUMPI
000028b2: DUP1
000028b3: DUP1
000028b4: PUSH1 0x20
000028b6: ADD
000028b7: SWAP1
000028b8: MLOAD
000028b9: PUSH1 0x20
000028bb: DUP2
000028bc: LT
000028bd: ISZERO
000028be: PUSH2 0x28c6
000028c1: JUMPI
000028c2: PUSH1 0x00
000028c4: DUP1
000028c5: REVERT
000028c6: JUMPDEST
000028c7: POP
000028c8: MLOAD
000028c9: PUSH2 0x2903
000028cc: JUMPI
000028cd: PUSH1 0x40
000028cf: MLOAD
000028d0: PUSH3 0x461bcd
000028d4: PUSH1 0xe5
000028d6: SHL
000028d7: DUP2
000028d8: MSTORE
000028d9: PUSH1 0x04
000028db: ADD
000028dc: DUP1
000028dd: DUP1
000028de: PUSH1 0x20
000028e0: ADD
000028e1: DUP3
000028e2: DUP2
000028e3: SUB
000028e4: DUP3
000028e5: MSTORE
000028e6: PUSH1 0x2a
000028e8: DUP2
000028e9: MSTORE
000028ea: PUSH1 0x20
000028ec: ADD
000028ed: DUP1
000028ee: PUSH2 0x30d1
000028f1: PUSH1 0x2a
000028f3: SWAP2
000028f4: CODECOPY
000028f5: PUSH1 0x40
000028f7: ADD
000028f8: SWAP2
000028f9: POP
000028fa: POP
000028fb: PUSH1 0x40
000028fd: MLOAD
000028fe: DUP1
000028ff: SWAP2
00002900: SUB
00002901: SWAP1
00002902: REVERT
00002903: JUMPDEST
00002904: POP
00002905: POP
00002906: POP
00002907: POP
00002908: JUMP
00002909: JUMPDEST
0000290a: SLOAD
0000290b: SWAP1
0000290c: JUMP
0000290d: JUMPDEST
0000290e: DUP2
0000290f: SLOAD
00002910: PUSH1 0x00
00002912: SWAP1
00002913: PUSH2 0x291e
00002916: JUMPI
00002917: POP
00002918: PUSH1 0x00
0000291a: PUSH2 0x0d14
0000291d: JUMP
0000291e: JUMPDEST
0000291f: DUP3
00002920: SLOAD
00002921: PUSH1 0x00
00002923: SWAP1
00002924: JUMPDEST
00002925: DUP1
00002926: DUP3
00002927: LT
00002928: ISZERO
00002929: PUSH2 0x296d
0000292c: JUMPI
0000292d: PUSH1 0x00
0000292f: PUSH2 0x2938
00002932: DUP4
00002933: DUP4
00002934: PUSH2 0x2aef
00002937: JUMP
00002938: JUMPDEST
00002939: SWAP1
0000293a: POP
0000293b: DUP5
0000293c: DUP7
0000293d: DUP3
0000293e: DUP2
0000293f: SLOAD
00002940: DUP2
00002941: LT
00002942: PUSH2 0x2947
00002945: JUMPI
00002946: INVALID
00002947: JUMPDEST
00002948: SWAP1
00002949: PUSH1 0x00
0000294b: MSTORE
0000294c: PUSH1 0x20
0000294e: PUSH1 0x00
00002950: KECCAK256
00002951: ADD
00002952: SLOAD
00002953: GT
00002954: ISZERO
00002955: PUSH2 0x2960
00002958: JUMPI
00002959: DUP1
0000295a: SWAP2
0000295b: POP
0000295c: PUSH2 0x2967
0000295f: JUMP
00002960: JUMPDEST
00002961: DUP1
00002962: PUSH1 0x01
00002964: ADD
00002965: SWAP3
00002966: POP
00002967: JUMPDEST
00002968: POP
00002969: PUSH2 0x2924
0000296c: JUMP
0000296d: JUMPDEST
0000296e: PUSH1 0x00
00002970: DUP3
00002971: GT
00002972: DUP1
00002973: ISZERO
00002974: PUSH2 0x2995
00002977: JUMPI
00002978: POP
00002979: DUP4
0000297a: DUP6
0000297b: PUSH1 0x01
0000297d: DUP5
0000297e: SUB
0000297f: DUP2
00002980: SLOAD
00002981: DUP2
00002982: LT
00002983: PUSH2 0x2988
00002986: JUMPI
00002987: INVALID
00002988: JUMPDEST
00002989: SWAP1
0000298a: PUSH1 0x00
0000298c: MSTORE
0000298d: PUSH1 0x20
0000298f: PUSH1 0x00
00002991: KECCAK256
00002992: ADD
00002993: SLOAD
00002994: EQ
00002995: JUMPDEST
00002996: ISZERO
00002997: PUSH2 0x29c4
0000299a: JUMPI
0000299b: POP
0000299c: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff
000029bd: ADD
000029be: SWAP1
000029bf: POP
000029c0: PUSH2 0x0d14
000029c3: JUMP
000029c4: JUMPDEST
000029c5: POP
000029c6: SWAP1
000029c7: POP
000029c8: PUSH2 0x0d14
000029cb: JUMP
000029cc: JUMPDEST
000029cd: PUSH1 0x00
000029cf: DUP2
000029d0: DUP4
000029d1: PUSH2 0x2a1b
000029d4: JUMPI
000029d5: PUSH1 0x40
000029d7: MLOAD
000029d8: PUSH3 0x461bcd
000029dc: PUSH1 0xe5
000029de: SHL
000029df: DUP2
000029e0: MSTORE
000029e1: PUSH1 0x20
000029e3: PUSH1 0x04
000029e5: DUP3
000029e6: ADD
000029e7: DUP2
000029e8: DUP2
000029e9: MSTORE
000029ea: DUP4
000029eb: MLOAD
000029ec: PUSH1 0x24
000029ee: DUP5
000029ef: ADD
000029f0: MSTORE
000029f1: DUP4
000029f2: MLOAD
000029f3: SWAP1
000029f4: SWAP3
000029f5: DUP4
000029f6: SWAP3
000029f7: PUSH1 0x44
000029f9: SWAP1
000029fa: SWAP2
000029fb: ADD
000029fc: SWAP2
000029fd: SWAP1
000029fe: DUP6
000029ff: ADD
00002a00: SWAP1
00002a01: DUP1
00002a02: DUP4
00002a03: DUP4
00002a04: PUSH1 0x00
00002a06: DUP4
00002a07: ISZERO
00002a08: PUSH2 0x2105
00002a0b: JUMPI
00002a0c: DUP2
00002a0d: DUP2
00002a0e: ADD
00002a0f: MLOAD
00002a10: DUP4
00002a11: DUP3
00002a12: ADD
00002a13: MSTORE
00002a14: PUSH1 0x20
00002a16: ADD
00002a17: PUSH2 0x20ed
00002a1a: JUMP
00002a1b: JUMPDEST
00002a1c: POP
00002a1d: PUSH1 0x00
00002a1f: DUP4
00002a20: DUP6
00002a21: DUP2
00002a22: PUSH2 0x2a27
00002a25: JUMPI
00002a26: INVALID
00002a27: JUMPDEST
00002a28: DIV
00002a29: SWAP6
00002a2a: SWAP5
00002a2b: POP
00002a2c: POP
00002a2d: POP
00002a2e: POP
00002a2f: POP
00002a30: JUMP
00002a31: JUMPDEST
00002a32: PUSH1 0x00
00002a34: PUSH2 0x2a3b
00002a37: PUSH2 0x1d14
00002a3a: JUMP
00002a3b: JUMPDEST
00002a3c: SWAP1
00002a3d: POP
00002a3e: PUSH1 0x01
00002a40: DUP2
00002a41: GT
00002a42: DUP1
00002a43: ISZERO
00002a44: PUSH2 0x2a56
00002a47: JUMPI
00002a48: POP
00002a49: PUSH2 0x2a54
00002a4c: PUSH1 0x01
00002a4e: DUP3
00002a4f: SUB
00002a50: PUSH2 0x1ea4
00002a53: JUMP
00002a54: JUMPDEST
00002a55: ISZERO
00002a56: JUMPDEST
00002a57: ISZERO
00002a58: PUSH2 0x2a96
00002a5b: JUMPI
00002a5c: PUSH2 0x2a63
00002a5f: PUSH2 0x2b14
00002a62: JUMP
00002a63: JUMPDEST
00002a64: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff
00002a85: DUP3
00002a86: ADD
00002a87: PUSH1 0x00
00002a89: SWAP1
00002a8a: DUP2
00002a8b: MSTORE
00002a8c: PUSH1 0x0a
00002a8e: PUSH1 0x20
00002a90: MSTORE
00002a91: PUSH1 0x40
00002a93: SWAP1
00002a94: KECCAK256
00002a95: SSTORE
00002a96: JUMPDEST
00002a97: POP
00002a98: JUMP
00002a99: JUMPDEST
00002a9a: PUSH2 0x2aa2
00002a9d: DUP4
00002a9e: PUSH2 0x2b68
00002aa1: JUMP
00002aa2: JUMPDEST
00002aa3: PUSH2 0x2aab
00002aa6: DUP3
00002aa7: PUSH2 0x2b68
00002aaa: JUMP
00002aab: JUMPDEST
00002aac: PUSH2 0x2260
00002aaf: DUP4
00002ab0: DUP4
00002ab1: DUP4
00002ab2: PUSH2 0x2b9f
00002ab5: JUMP
00002ab6: JUMPDEST
00002ab7: PUSH1 0x00
00002ab9: DUP2
00002aba: EXTCODEHASH
00002abb: PUSH32 0xc5d2460186f7233c927e7db2dcc703c0e500b653ca82273b7bfad8045d85a470
00002adc: DUP2
00002add: DUP2
00002ade: EQ
00002adf: DUP1
00002ae0: ISZERO
00002ae1: SWAP1
00002ae2: PUSH2 0x0e82
00002ae5: JUMPI
00002ae6: POP
00002ae7: POP
00002ae8: ISZERO
00002ae9: ISZERO
00002aea: SWAP3
00002aeb: SWAP2
00002aec: POP
00002aed: POP
00002aee: JUMP
00002aef: JUMPDEST
00002af0: PUSH1 0x00
00002af2: PUSH1 0x02
00002af4: DUP1
00002af5: DUP4
00002af6: MOD
00002af7: PUSH1 0x02
00002af9: DUP6
00002afa: MOD
00002afb: ADD
00002afc: DUP2
00002afd: PUSH2 0x2b02
00002b00: JUMPI
00002b01: INVALID
00002b02: JUMPDEST
00002b03: DIV
00002b04: PUSH1 0x02
00002b06: DUP4
00002b07: DIV
00002b08: PUSH1 0x02
00002b0a: DUP6
00002b0b: DIV
00002b0c: ADD
00002b0d: ADD
00002b0e: SWAP4
00002b0f: SWAP3
00002b10: POP
00002b11: POP
00002b12: POP
00002b13: JUMP
00002b14: JUMPDEST
00002b15: PUSH1 0x00
00002b17: PUSH2 0x2b20
00002b1a: PUSH1 0x09
00002b1c: PUSH2 0x2d47
00002b1f: JUMP
00002b20: JUMPDEST
00002b21: PUSH1 0x00
00002b23: PUSH2 0x2b2c
00002b26: PUSH1 0x09
00002b28: PUSH2 0x2909
00002b2b: JUMP
00002b2c: JUMPDEST
00002b2d: PUSH1 0x40
00002b2f: DUP1
00002b30: MLOAD
00002b31: DUP3
00002b32: DUP2
00002b33: MSTORE
00002b34: SWAP1
00002b35: MLOAD
00002b36: SWAP2
00002b37: SWAP3
00002b38: POP
00002b39: PUSH32 0x8030e83b04d87bef53480e26263266d6ca66863aa8506aca6f2559d18aa1cb67
00002b5a: SWAP2
00002b5b: SWAP1
00002b5c: DUP2
00002b5d: SWAP1
00002b5e: SUB
00002b5f: PUSH1 0x20
00002b61: ADD
00002b62: SWAP1
00002b63: LOG1
00002b64: SWAP1
00002b65: POP
00002b66: SWAP1
00002b67: JUMP
00002b68: JUMPDEST
00002b69: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002b7e: DUP2
00002b7f: AND
00002b80: PUSH1 0x00
00002b82: SWAP1
00002b83: DUP2
00002b84: MSTORE
00002b85: PUSH1 0x06
00002b87: PUSH1 0x20
00002b89: MSTORE
00002b8a: PUSH1 0x40
00002b8c: SWAP1
00002b8d: KECCAK256
00002b8e: PUSH2 0x2a96
00002b91: SWAP1
00002b92: PUSH2 0x2b9a
00002b95: DUP4
00002b96: PUSH2 0x17e4
00002b99: JUMP
00002b9a: JUMPDEST
00002b9b: PUSH2 0x2d50
00002b9e: JUMP
00002b9f: JUMPDEST
00002ba0: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002bb5: DUP4
00002bb6: AND
00002bb7: PUSH2 0x2bf1
00002bba: JUMPI
00002bbb: PUSH1 0x40
00002bbd: MLOAD
00002bbe: PUSH3 0x461bcd
00002bc2: PUSH1 0xe5
00002bc4: SHL
00002bc5: DUP2
00002bc6: MSTORE
00002bc7: PUSH1 0x04
00002bc9: ADD
00002bca: DUP1
00002bcb: DUP1
00002bcc: PUSH1 0x20
00002bce: ADD
00002bcf: DUP3
00002bd0: DUP2
00002bd1: SUB
00002bd2: DUP3
00002bd3: MSTORE
00002bd4: PUSH1 0x25
00002bd6: DUP2
00002bd7: MSTORE
00002bd8: PUSH1 0x20
00002bda: ADD
00002bdb: DUP1
00002bdc: PUSH2 0x3088
00002bdf: PUSH1 0x25
00002be1: SWAP2
00002be2: CODECOPY
00002be3: PUSH1 0x40
00002be5: ADD
00002be6: SWAP2
00002be7: POP
00002be8: POP
00002be9: PUSH1 0x40
00002beb: MLOAD
00002bec: DUP1
00002bed: SWAP2
00002bee: SUB
00002bef: SWAP1
00002bf0: REVERT
00002bf1: JUMPDEST
00002bf2: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002c07: DUP3
00002c08: AND
00002c09: PUSH2 0x2c43
00002c0c: JUMPI
00002c0d: PUSH1 0x40
00002c0f: MLOAD
00002c10: PUSH3 0x461bcd
00002c14: PUSH1 0xe5
00002c16: SHL
00002c17: DUP2
00002c18: MSTORE
00002c19: PUSH1 0x04
00002c1b: ADD
00002c1c: DUP1
00002c1d: DUP1
00002c1e: PUSH1 0x20
00002c20: ADD
00002c21: DUP3
00002c22: DUP2
00002c23: SUB
00002c24: DUP3
00002c25: MSTORE
00002c26: PUSH1 0x23
00002c28: DUP2
00002c29: MSTORE
00002c2a: PUSH1 0x20
00002c2c: ADD
00002c2d: DUP1
00002c2e: PUSH2 0x2f79
00002c31: PUSH1 0x23
00002c33: SWAP2
00002c34: CODECOPY
00002c35: PUSH1 0x40
00002c37: ADD
00002c38: SWAP2
00002c39: POP
00002c3a: POP
00002c3b: PUSH1 0x40
00002c3d: MLOAD
00002c3e: DUP1
00002c3f: SWAP2
00002c40: SUB
00002c41: SWAP1
00002c42: REVERT
00002c43: JUMPDEST
00002c44: PUSH2 0x2c4e
00002c47: DUP4
00002c48: DUP4
00002c49: DUP4
00002c4a: PUSH2 0x2260
00002c4d: JUMP
00002c4e: JUMPDEST
00002c4f: PUSH2 0x2c9e
00002c52: DUP2
00002c53: PUSH1 0x40
00002c55: MLOAD
00002c56: DUP1
00002c57: PUSH1 0x60
00002c59: ADD
00002c5a: PUSH1 0x40
00002c5c: MSTORE
00002c5d: DUP1
00002c5e: PUSH1 0x26
00002c60: DUP2
00002c61: MSTORE
00002c62: PUSH1 0x20
00002c64: ADD
00002c65: PUSH2 0x3019
00002c68: PUSH1 0x26
00002c6a: SWAP2
00002c6b: CODECOPY
00002c6c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002c81: DUP7
00002c82: AND
00002c83: PUSH1 0x00
00002c85: SWAP1
00002c86: DUP2
00002c87: MSTORE
00002c88: PUSH1 0x20
00002c8a: DUP2
00002c8b: SWAP1
00002c8c: MSTORE
00002c8d: PUSH1 0x40
00002c8f: SWAP1
00002c90: KECCAK256
00002c91: SLOAD
00002c92: SWAP2
00002c93: SWAP1
00002c94: PUSH4 0xffffffff
00002c99: PUSH2 0x20b1
00002c9c: AND
00002c9d: JUMP
00002c9e: JUMPDEST
00002c9f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002cb4: DUP1
00002cb5: DUP6
00002cb6: AND
00002cb7: PUSH1 0x00
00002cb9: SWAP1
00002cba: DUP2
00002cbb: MSTORE
00002cbc: PUSH1 0x20
00002cbe: DUP2
00002cbf: SWAP1
00002cc0: MSTORE
00002cc1: PUSH1 0x40
00002cc3: DUP1
00002cc4: DUP3
00002cc5: KECCAK256
00002cc6: SWAP4
00002cc7: SWAP1
00002cc8: SWAP4
00002cc9: SSTORE
00002cca: SWAP1
00002ccb: DUP5
00002ccc: AND
00002ccd: DUP2
00002cce: MSTORE
00002ccf: KECCAK256
00002cd0: SLOAD
00002cd1: PUSH2 0x2ce0
00002cd4: SWAP1
00002cd5: DUP3
00002cd6: PUSH4 0xffffffff
00002cdb: PUSH2 0x1fcf
00002cde: AND
00002cdf: JUMP
00002ce0: JUMPDEST
00002ce1: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002cf6: DUP1
00002cf7: DUP5
00002cf8: AND
00002cf9: PUSH1 0x00
00002cfb: DUP2
00002cfc: DUP2
00002cfd: MSTORE
00002cfe: PUSH1 0x20
00002d00: DUP2
00002d01: DUP2
00002d02: MSTORE
00002d03: PUSH1 0x40
00002d05: SWAP2
00002d06: DUP3
00002d07: SWAP1
00002d08: KECCAK256
00002d09: SWAP5
00002d0a: SWAP1
00002d0b: SWAP5
00002d0c: SSTORE
00002d0d: DUP1
00002d0e: MLOAD
00002d0f: DUP6
00002d10: DUP2
00002d11: MSTORE
00002d12: SWAP1
00002d13: MLOAD
00002d14: SWAP2
00002d15: SWAP4
00002d16: SWAP3
00002d17: DUP8
00002d18: AND
00002d19: SWAP3
00002d1a: PUSH32 0xddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef
00002d3b: SWAP3
00002d3c: SWAP2
00002d3d: DUP3
00002d3e: SWAP1
00002d3f: SUB
00002d40: ADD
00002d41: SWAP1
00002d42: LOG3
00002d43: POP
00002d44: POP
00002d45: POP
00002d46: JUMP
00002d47: JUMPDEST
00002d48: DUP1
00002d49: SLOAD
00002d4a: PUSH1 0x01
00002d4c: ADD
00002d4d: SWAP1
00002d4e: SSTORE
00002d4f: JUMP
00002d50: JUMPDEST
00002d51: PUSH1 0x00
00002d53: PUSH2 0x2d5c
00002d56: PUSH1 0x09
00002d58: PUSH2 0x2909
00002d5b: JUMP
00002d5c: JUMPDEST
00002d5d: SWAP1
00002d5e: POP
00002d5f: DUP1
00002d60: PUSH2 0x2d68
00002d63: DUP5
00002d64: PUSH2 0x2d9c
00002d67: JUMP
00002d68: JUMPDEST
00002d69: LT
00002d6a: ISZERO
00002d6b: PUSH2 0x2260
00002d6e: JUMPI
00002d6f: DUP3
00002d70: SLOAD
00002d71: PUSH1 0x01
00002d73: DUP1
00002d74: DUP3
00002d75: ADD
00002d76: DUP6
00002d77: SSTORE
00002d78: PUSH1 0x00
00002d7a: DUP6
00002d7b: DUP2
00002d7c: MSTORE
00002d7d: PUSH1 0x20
00002d7f: DUP1
00002d80: DUP3
00002d81: KECCAK256
00002d82: SWAP1
00002d83: SWAP4
00002d84: ADD
00002d85: SWAP4
00002d86: SWAP1
00002d87: SWAP4
00002d88: SSTORE
00002d89: SWAP4
00002d8a: DUP5
00002d8b: ADD
00002d8c: DUP1
00002d8d: SLOAD
00002d8e: SWAP5
00002d8f: DUP6
00002d90: ADD
00002d91: DUP2
00002d92: SSTORE
00002d93: DUP3
00002d94: MSTORE
00002d95: SWAP1
00002d96: KECCAK256
00002d97: SWAP1
00002d98: SWAP2
00002d99: ADD
00002d9a: SSTORE
00002d9b: JUMP
00002d9c: JUMPDEST
00002d9d: DUP1
00002d9e: SLOAD
00002d9f: PUSH1 0x00
00002da1: SWAP1
00002da2: PUSH2 0x2dad
00002da5: JUMPI
00002da6: POP
00002da7: PUSH1 0x00
00002da9: PUSH2 0x17df
00002dac: JUMP
00002dad: JUMPDEST
00002dae: DUP2
00002daf: SLOAD
00002db0: DUP3
00002db1: SWAP1
00002db2: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff
00002dd3: DUP2
00002dd4: ADD
00002dd5: SWAP1
00002dd6: DUP2
00002dd7: LT
00002dd8: PUSH2 0x2ddd
00002ddb: JUMPI
00002ddc: INVALID
00002ddd: JUMPDEST
00002dde: SWAP1
00002ddf: PUSH1 0x00
00002de1: MSTORE
00002de2: PUSH1 0x20
00002de4: PUSH1 0x00
00002de6: KECCAK256
00002de7: ADD
00002de8: SLOAD
00002de9: SWAP1
00002dea: POP
00002deb: PUSH2 0x17df
00002dee: JUMP
00002def: JUMPDEST
00002df0: PUSH1 0x40
00002df2: MLOAD
00002df3: DUP1
00002df4: PUSH1 0x80
00002df6: ADD
00002df7: PUSH1 0x40
00002df9: MSTORE
00002dfa: DUP1
00002dfb: PUSH1 0x00
00002dfd: DUP2
00002dfe: MSTORE
00002dff: PUSH1 0x20
00002e01: ADD
00002e02: PUSH1 0x00
00002e04: DUP2
00002e05: MSTORE
00002e06: PUSH1 0x20
00002e08: ADD
00002e09: PUSH1 0x00
00002e0b: PUSH16 0xffffffffffffffffffffffffffffffff
00002e1c: AND
00002e1d: DUP2
00002e1e: MSTORE
00002e1f: PUSH1 0x20
00002e21: ADD
00002e22: PUSH1 0x00
00002e24: PUSH16 0xffffffffffffffffffffffffffffffff
00002e35: AND
00002e36: DUP2
00002e37: MSTORE
00002e38: POP
00002e39: SWAP1
00002e3a: JUMP
00002e3b: JUMPDEST
00002e3c: PUSH1 0x40
00002e3e: MLOAD
00002e3f: DUP1
00002e40: PUSH1 0x40
00002e42: ADD
00002e43: PUSH1 0x40
00002e45: MSTORE
00002e46: DUP1
00002e47: PUSH1 0x00
00002e49: DUP2
00002e4a: MSTORE
00002e4b: PUSH1 0x20
00002e4d: ADD
00002e4e: PUSH1 0x00
00002e50: DUP2
00002e51: MSTORE
00002e52: POP
00002e53: SWAP1
00002e54: JUMP
00002e55: JUMPDEST
00002e56: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002e6b: DUP3
00002e6c: AND
00002e6d: PUSH2 0x2ebd
00002e70: JUMPI
00002e71: PUSH1 0x40
00002e73: DUP1
00002e74: MLOAD
00002e75: PUSH3 0x461bcd
00002e79: PUSH1 0xe5
00002e7b: SHL
00002e7c: DUP2
00002e7d: MSTORE
00002e7e: PUSH1 0x20
00002e80: PUSH1 0x04
00002e82: DUP3
00002e83: ADD
00002e84: MSTORE
00002e85: PUSH1 0x1f
00002e87: PUSH1 0x24
00002e89: DUP3
00002e8a: ADD
00002e8b: MSTORE
00002e8c: PUSH32 0x45524332303a206d696e7420746f20746865207a65726f206164647265737300
00002ead: PUSH1 0x44
00002eaf: DUP3
00002eb0: ADD
00002eb1: MSTORE
00002eb2: SWAP1
00002eb3: MLOAD
00002eb4: SWAP1
00002eb5: DUP2
00002eb6: SWAP1
00002eb7: SUB
00002eb8: PUSH1 0x64
00002eba: ADD
00002ebb: SWAP1
00002ebc: REVERT
00002ebd: JUMPDEST
00002ebe: PUSH2 0x2ec9
00002ec1: PUSH1 0x00
00002ec3: DUP4
00002ec4: DUP4
00002ec5: PUSH2 0x2260
00002ec8: JUMP
00002ec9: JUMPDEST
00002eca: PUSH1 0x02
00002ecc: SLOAD
00002ecd: PUSH2 0x2edc
00002ed0: SWAP1
00002ed1: DUP3
00002ed2: PUSH4 0xffffffff
00002ed7: PUSH2 0x1fcf
00002eda: AND
00002edb: JUMP
00002edc: JUMPDEST
00002edd: PUSH1 0x02
00002edf: SSTORE
00002ee0: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002ef5: DUP3
00002ef6: AND
00002ef7: PUSH1 0x00
00002ef9: SWAP1
00002efa: DUP2
00002efb: MSTORE
00002efc: PUSH1 0x20
00002efe: DUP2
00002eff: SWAP1
00002f00: MSTORE
00002f01: PUSH1 0x40
00002f03: SWAP1
00002f04: KECCAK256
00002f05: SLOAD
00002f06: PUSH2 0x2f15
00002f09: SWAP1
00002f0a: DUP3
00002f0b: PUSH4 0xffffffff
00002f10: PUSH2 0x1fcf
00002f13: AND
00002f14: JUMP
00002f15: JUMPDEST
00002f16: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002f2b: DUP4
00002f2c: AND
00002f2d: PUSH1 0x00
00002f2f: DUP2
00002f30: DUP2
00002f31: MSTORE
00002f32: PUSH1 0x20
00002f34: DUP2
00002f35: DUP2
00002f36: MSTORE
00002f37: PUSH1 0x40
00002f39: DUP1
00002f3a: DUP4
00002f3b: KECCAK256
00002f3c: SWAP5
00002f3d: SWAP1
00002f3e: SWAP5
00002f3f: SSTORE
00002f40: DUP4
00002f41: MLOAD
00002f42: DUP6
00002f43: DUP2
00002f44: MSTORE
00002f45: SWAP4
00002f46: MLOAD
00002f47: SWAP3
00002f48: SWAP4
00002f49: SWAP2
00002f4a: SWAP3
00002f4b: PUSH32 0xddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef
00002f6c: SWAP3
00002f6d: DUP2
00002f6e: SWAP1
00002f6f: SUB
00002f70: SWAP1
00002f71: SWAP2
00002f72: ADD
00002f73: SWAP1
00002f74: LOG3
00002f75: POP
00002f76: POP
00002f77: JUMP
00002f78: INVALID
00002f79: GASLIMIT
00002f7a: MSTORE
00002f7b: NUMBER
00002f7c: ORIGIN
00002f7d: ADDRESS
00002f7e: GASPRICE
00002f7f: KECCAK256
00002f80: PUSH21 0x72616e7366657220746f20746865207a65726f2061
00002f96: PUSH5 0x6472657373
00002f9c: PUSH4 0x616e6e6f
00002fa1: PUSH21 0x20676574206772616e742077686963682069732061
00002fb7: PUSH13 0x726561647920636c61696d6564
00002fc5: KECCAK256
00002fc6: PUSH6 0x6e746972656c
00002fcd: PUSH26 0x45524332303a20617070726f766520746f20746865207a65726f
00002fe8: KECCAK256
00002fe9: PUSH2 0x6464
00002fec: PUSH19 0x6573737472616e7366657220616d6f756e7420
00003000: PUSH6 0x786365656473
00003007: KECCAK256
00003008: PUSH20 0x70656e6461626c652062616c616e636545524332
0000301d: ADDRESS
0000301e: GASPRICE
0000301f: KECCAK256
00003020: PUSH21 0x72616e7366657220616d6f756e7420657863656564
00003036: PUSH20 0x2062616c616e6365536166654d6174683a206d75
0000304b: PUSH13 0x7469706c69636174696f6e206f
00003059: PUSH23 0x6572666c6f7745524332303a207472616e736665722061
00003071: PUSH14 0x6f756e7420657863656564732061
00003080: PUSH13 0x6c6f77616e636545524332303a
0000308e: KECCAK256
0000308f: PUSH21 0x72616e736665722066726f6d20746865207a65726f
000030a5: KECCAK256
000030a6: PUSH2 0x6464
000030a9: PUSH19 0x65737345524332303a20617070726f76652066
000030bd: PUSH19 0x6f6d20746865207a65726f2061646472657373
000030d1: MSTORE8
000030d2: PUSH2 0x6665
000030d5: GASLIMIT
000030d6: MSTORE
000030d7: NUMBER
000030d8: ORIGIN
000030d9: ADDRESS
000030da: GASPRICE
000030db: KECCAK256
000030dc: GASLIMIT
000030dd: MSTORE
000030de: NUMBER
000030df: ORIGIN
000030e0: ADDRESS
000030e1: KECCAK256
000030e2: PUSH16 0x7065726174696f6e20646964206e6f74
000030f3: KECCAK256
000030f4: PUSH20 0x75636365656445524332303a2064656372656173
00003109: PUSH6 0x6420616c6c6f
00003110: PUSH24 0x616e63652062656c6f77207a65726fa26469706673582212
00003129: KECCAK256
0000312a: UNKNOWN(0xD9)
0000312b: MSTORE8
0000312c: EXTCODEHASH
0000312d: PUSH26 0x1f00d6acfb4d56640b28bb76565cee2fd9e7c89d504d85dd52cb
00003148: DUP11
00003149: UNKNOWN(0xA5)
0000314a: PUSH5 0x736f6c6343
00003150: STOP
00003151: MOD
00003152: SDIV
00003153: STOP
00003154: CALLER