TW
Tripwire
Find contracts. Test them. Review real vulns.

Analysis Run

0c565d08-f42f-431c-9f44-84e9a2ba2c0c

complete
Chain ID
1
Address
Block Number
Created
Mon, Dec 29, 2025 11:27 PM
Review Summary

What survived the funnel

Open this run to answer one question: is this real attacker-relevant behavior with real impact, or just normal contract plumbing?

Confirmed
0
Validated
0
Source
Verified
Review Backing
Present
Best current signal
Untrusted CALL target/value reachable
crit 0 high 0 direct contract
Review Checklist
1. Read the findings table first. Ignore raw jobs until the result looks real.
2. Confirm attacker control, not just the existence of a sink.
3. Confirm money or privilege impact.
4. Keep it if the behavior is real. Kill it if this is normal proxy, admin, or upgrade plumbing.

Processing Jobs

Status & attempts
ID Type Status Attempts Heartbeat
30615 report.consolidate complete 1 / 1 3 months ago
74686 artifact.fetch complete 1 / 3 1 week ago
74687 tool.cast_disasm complete 1 / 3 1 week ago
74688 analysis.bundle complete 1 / 3 1 week ago
74689 capability.graph complete 1 / 3 1 week ago
74690 detector.run complete 1 / 3 1 week ago
74691 validation.fork complete 1 / 3 1 week ago

Artifact

Runtime bytecode: available
Creation TX:
Deployer:
Proxy: no
Implementation:
Verified Source: yes

Slither

tool.slither

No slither job recorded yet.

Codex

report.consolidate
Job Status
complete
Attempts
1 / 1
Findings
2
No findings?
no
Summary
Found 2 issues: ineffective recipient check allows transfers to zero/this (locking funds), and deposits mint based on nominal amount without verifying actual underlying received, which can undercollateralize with fee-on-transfer tokens.
View stderr
[codex:573007] OpenAI Codex v0.77.0 (research preview)
[codex:573007] --------
[codex:573007] workdir: /tmp/codex-multi-dj7tbdq8
[codex:573007] model: gpt-5.2-codex
[codex:573007] provider: openai
[codex:573007] approval: never
[codex:573007] sandbox: read-only
[codex:573007] reasoning effort: xhigh
[codex:573007] reasoning summaries: auto
[codex:573007] session id: 019b6c6c-d8f9-7f30-a5ec-c293520a9333
[codex:573007] --------
[codex:573007] user
[codex:573007] You are a security auditor. Audit this Solidity codebase for exploitable vulnerabilities.
[codex:573007] Focus on: reentrancy, access control, upgradeability/proxy issues, signature validation, oracle manipulation,
[codex:573007] accounting/invariant breaks, external call patterns, unchecked return values, and dangerous delegatecall.
[codex:573007] 
[codex:573007] Scope rules:
[codex:573007] - You MUST fully read `AUDIT_BUNDLE.txt` before concluding. It contains the complete contents of all first-party `contracts/**/*.sol` files.
[codex:573007] - Treat `lib/` and `@openzeppelin/` as third-party dependencies; skip them unless there is a concrete misuse angle in first-party code.
[codex:573007] 
[codex:573007] Output MUST be valid JSON matching the provided schema.
[codex:573007] - If you find nothing meaningful: set no_findings=true and findings=[].
[codex:573007] - Otherwise: set no_findings=false and include findings with severity/category/title and file/line locations when possible.
[codex:573007] 
[codex:573007] Output constraints (IMPORTANT):
[codex:573007] - severity MUST be exactly one of: info, low, medium, high, critical (lowercase).
[codex:573007] - category MUST be exactly one of: access_control, reentrancy, math, oracle, upgradeability, auth, other.
[codex:573007] mcp startup: no servers
[codex:573007] 
[codex:573007] thinking
[codex:573007] **Reading AUDIT_BUNDLE.txt file**
[codex:573007] exec
[codex:573007] /bin/bash -lc ls in /tmp/codex-multi-dj7tbdq8 succeeded in 6ms:
[codex:573007] AUDIT_BUNDLE.txt
[codex:573007] codex-output-schema.json
[codex:573007] contracts
[codex:573007] 
[codex:573007] thinking
[codex:573007] **Reading audit bundle file**
[codex:573007] exec
[codex:573007] /bin/bash -lc 'cat AUDIT_BUNDLE.txt' in /tmp/codex-multi-dj7tbdq8 succeeded in 6ms:
[codex:573007] This file concatenates the full contents of first-party Solidity sources for auditing.
[codex:573007] 
[codex:573007] ================================================================================
[codex:573007] FILE: contracts/Contract.sol
[codex:573007] ================================================================================
[codex:573007] /**
[codex:573007]  *Submitted for verification at BscScan.com on 2021-06-15
[codex:573007] */
[codex:573007] 
[codex:573007] /**
[codex:573007]  *Submitted for verification at BscScan.com on 2021-06-11
[codex:573007] */
[codex:573007] 
[codex:573007] /**
[codex:573007]  *Submitted for verification at polygonscan.com on 2021-06-11
[codex:573007] */
[codex:573007] 
[codex:573007] /**
[codex:573007]  *Submitted for verification at Etherscan.io on 2021-06-08
[codex:573007] */
[codex:573007] 
[codex:573007] 
[codex:573007] 
[codex:573007] thinking
[codex:573007] **Analyzing contract transfer checks and reentrancy risks**
[codex:573007] 
[codex:573007] I’m digging into the contract’s transfer logic and noticed the require statement uses OR instead of AND to check recipient addresses, which effectively disables the zero-address and contract-address block, allowing transfers to those addresses. This can cause tokens to become stuck or break accounting invariants, although it might mostly be a user-error issue rather than a direct exploit. I’m also looking at reentrancy in approveAndCall and transferAndCall, where external calls happen after state changes, but state updates seem to prevent double-spending. There’s some complexity around minting, allowances, and deposit logic with potential for front-running or issues with fee-on-transfer tokens. The vault timelock and permission system have a nuanced delay mechanism that may create windows of overlapping authority but no clear exploit. Overall, the ineffective address checks stand out as the biggest concern here.
[codex:573007] thinking
[codex:573007] **Examining nonce handling, access control, and minting nuances**
[codex:573007] 
[codex:573007] I’m reviewing nonce usage across permit and transferWithPermit functions to understand replay risks, and seeing it’s handled normally with shared nonces but distinct typehashes. The vault and minter setups have complex initialization and delay patterns, with some gaps like vault not being a minter by default and setVault allowing zero addresses, which could lock certain admin functions if misused by vault itself. The deposit and withdraw logic raise issues with tokens that take fees on transfer, potentially inflating wrapped token supply without backing assets—this could create inconsistencies exploitable in certain contexts. There’s also some reentrancy surface on approveAndCall and transferAndCall external calls, but state updates seem to mitigate harm. Overall, the main vulnerabilities relate to the transfer address check logic and fee-on-transfer tokens mismatches, along with some access control footguns.
[codex:573007] thinking
[codex:573007] **Classifying audit findings for report**
[codex:573007] 
[codex:573007] I’m sorting the identified issues into categories, like grouping the ineffective recipient check under “other” or “auth” and the minting imbalance with fee-on-transfer tokens as “math” or “other.” I’m also weighing signature malleability concerns and external call risks but considering them low-impact. This helps me prepare an organized JSON report matching the expected schema for the audit findings.
[codex:573007] exec
[codex:573007] /bin/bash -lc 'cat codex-output-schema.json' in /tmp/codex-multi-dj7tbdq8 succeeded in 6ms:
[codex:573007] {"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:573007] 
[codex:573007] thinking
[codex:573007] **Planning extraction of line numbers from code**
[codex:573007] exec
[codex:573007] /bin/bash -lc "rg -n \"require\\(to "'!= address'"\\(0\\)\" AUDIT_BUNDLE.txt" in /tmp/codex-multi-dj7tbdq8 succeeded in 9ms:
[codex:573007] 499:        require(to != address(0) || to != address(this));
[codex:573007] 539:        require(to != address(0) || to != address(this));
[codex:573007] 561:        require(to != address(0) || to != address(this));
[codex:573007] 592:        require(to != address(0) || to != address(this));
[codex:573007] 
[codex:573007] thinking
[codex:573007] **Preparing to compute file line numbers**
[codex:573007] exec
[codex:573007] /bin/bash -lc "nl -ba contracts/Contract.sol | rg -n \"require\\(to "'!= address'"\\(0\\)\"" in /tmp/codex-multi-dj7tbdq8 succeeded in 9ms:
[codex:573007] 494:   494	        require(to != address(0) || to != address(this));
[codex:573007] 534:   534	        require(to != address(0) || to != address(this));
[codex:573007] 556:   556	        require(to != address(0) || to != address(this));
[codex:573007] 587:   587	        require(to != address(0) || to != address(this));
[codex:573007] 
[codex:573007] thinking
[codex:573007] **Investigating deposit function issues**
[codex:573007] exec
[codex:573007] /bin/bash -lc "nl -ba contracts/Contract.sol | sed -n '370,460p'" in /tmp/codex-multi-dj7tbdq8 succeeded in 6ms:
[codex:573007]    370	    function withdraw() external returns (uint) {
[codex:573007]    371	        return _withdraw(msg.sender, balanceOf[msg.sender], msg.sender);
[codex:573007]    372	    }
[codex:573007]    373	
[codex:573007]    374	    function withdraw(uint amount) external returns (uint) {
[codex:573007]    375	        return _withdraw(msg.sender, amount, msg.sender);
[codex:573007]    376	    }
[codex:573007]    377	
[codex:573007]    378	    function withdraw(uint amount, address to) external returns (uint) {
[codex:573007]    379	        return _withdraw(msg.sender, amount, to);
[codex:573007]    380	    }
[codex:573007]    381	
[codex:573007]    382	    function withdrawVault(address from, uint amount, address to) external onlyVault returns (uint) {
[codex:573007]    383	        return _withdraw(from, amount, to);
[codex:573007]    384	    }
[codex:573007]    385	
[codex:573007]    386	    function _withdraw(address from, uint amount, address to) internal returns (uint) {
[codex:573007]    387	        _burn(from, amount);
[codex:573007]    388	        IERC20(underlying).safeTransfer(to, amount);
[codex:573007]    389	        return amount;
[codex:573007] 
[codex:573007] thinking
[codex:573007] **Reviewing deposit function code**
[codex:573007] exec
[codex:573007] /bin/bash -lc "nl -ba contracts/Contract.sol | sed -n '300,370p'" in /tmp/codex-multi-dj7tbdq8 succeeded in 8ms:
[codex:573007]    300	        symbol = _symbol;
[codex:573007]    301	        decimals = _decimals;
[codex:573007]    302	        underlying = _underlying;
[codex:573007]    303	        if (_underlying != address(0x0)) {
[codex:573007]    304	            require(_decimals == IERC20(_underlying).decimals());
[codex:573007]    305	        }
[codex:573007]    306	
[codex:573007]    307	        // Use init to allow for CREATE2 accross all chains
[codex:573007]    308	        _init = true;
[codex:573007]    309	
[codex:573007]    310	        // Disable/Enable swapout for v1 tokens vs mint/burn for v3 tokens
[codex:573007]    311	        _vaultOnly = false;
[codex:573007]    312	
[codex:573007]    313	        vault = _vault;
[codex:573007]    314	        pendingVault = _vault;
[codex:573007]    315	        delayVault = block.timestamp;
[codex:573007]    316	
[codex:573007]    317	        uint256 chainId;
[codex:573007]    318	        assembly {chainId := chainid()}
[codex:573007]    319	        DOMAIN_SEPARATOR = keccak256(
[codex:573007] 
[codex:573007] thinking
[codex:573007] **Summarizing audit findings for JSON output**
[codex:573007] 
[codex:573007] I'll create a JSON summary with two main findings: one about the recipient check that uses OR instead of AND, allowing transfers to zero or the contract itself and causing token locks, and another about minting ignoring actual received tokens, which risks undercollateralization with fee-on-transfer tokens. I'll include severity, category, titles, exploit scenarios, recommendations, evidence quotes, and precise code locations for each finding, making sure the output respects the required JSON schema without extra commentary.
[codex:573007] codex
[codex:573007] {"no_findings":false,"summary":"Found 2 issues: ineffective recipient check allows transfers to zero/this (locking funds), and deposits mint based on nominal amount without verifying actual underlying received, which can undercollateralize with fee-on-transfer tokens.","findings":[{"severity":"low","category":"other","title":"Recipient guard uses OR, allowing transfers to zero or self and locking funds","exploit_scenario":"An approved spender (or user) can call transfer/transferFrom/transferWithPermit/transferAndCall with `to = address(0)` or `to = address(this)`; the guard passes due to `||`, so tokens are moved to an unusable address and cannot be withdrawn, effectively burning/locking balances and breaking the intended “transfer to zero triggers withdraw” semantics.","recommendation":"Use `&&` to block both `address(0)` and `address(this)` or implement explicit burn/withdraw handling for zero-address transfers; consider reverting transfers to `address(this)` unless intentionally supported.","evidence":"The guard is `require(to != address(0) || to != address(this));`, which is always true for any `to` because it only fails if `to` is both zero and this contract.","locations":["contracts/Contract.sol:494","contracts/Contract.sol:534","contracts/Contract.sol:556","contracts/Contract.sol:587"]},{"severity":"medium","category":"math","title":"Minting ignores actual received underlying, enabling undercollateralization with fee-on-transfer tokens","exploit_scenario":"If the underlying token charges a transfer fee or otherwise reduces the received amount, deposits mint `amount` wrapper tokens even though fewer underlying tokens arrive. An attacker can repeatedly deposit and receive more wrapper tokens than the contract holds in underlying, then sell or transfer those unbacked tokens, leaving the wrapper undercollateralized and later withdrawals failing or draining reserves.","recommendation":"Mint based on the balance delta (balanceAfter - balanceBefore) and/or revert when received amount is less than expected; alternatively restrict deployment to non-fee-on-transfer tokens and document/enforce this constraint.","evidence":"Deposit paths call `safeTransferFrom` (or `transferWithPermit`) and then `_deposit(amount, ...)` which mints `amount` without checking actual received underlying.","locations":["contracts/Contract.sol:333","contracts/Contract.sol:344","contracts/Contract.sol:350","contracts/Contract.sol:355","contracts/Contract.sol:364"]}]}
[codex:573007] tokens used
[codex:573007] 25,105
[codex:573007] {"no_findings":false,"summary":"Found 2 issues: ineffective recipient check allows transfers to zero/this (locking funds), and deposits mint based on nominal amount without verifying actual underlying received, which can undercollateralize with fee-on-transfer tokens.","findings":[{"severity":"low","category":"other","title":"Recipient guard uses OR, allowing transfers to zero or self and locking funds","exploit_scenario":"An approved spender (or user) can call transfer/transferFrom/transferWithPermit/transferAndCall with `to = address(0)` or `to = address(this)`; the guard passes due to `||`, so tokens are moved to an unusable address and cannot be withdrawn, effectively burning/locking balances and breaking the intended “transfer to zero triggers withdraw” semantics.","recommendation":"Use `&&` to block both `address(0)` and `address(this)` or implement explicit burn/withdraw handling for zero-address transfers; consider reverting transfers to `address(this)` unless intentionally supported.","evidence":"The guard is `require(to != address(0) || to != address(this));`, which is always true for any `to` because it only fails if `to` is both zero and this contract.","locations":["contracts/Contract.sol:494","contracts/Contract.sol:534","contracts/Contract.sol:556","contracts/Contract.sol:587"]},{"severity":"medium","category":"math","title":"Minting ignores actual received underlying, enabling undercollateralization with fee-on-transfer tokens","exploit_scenario":"If the underlying token charges a transfer fee or otherwise reduces the received amount, deposits mint `amount` wrapper tokens even though fewer underlying tokens arrive. An attacker can repeatedly deposit and receive more wrapper tokens than the contract holds in underlying, then sell or transfer those unbacked tokens, leaving the wrapper undercollateralized and later withdrawals failing or draining reserves.","recommendation":"Mint based on the balance delta (balanceAfter - balanceBefore) and/or revert when received amount is less than expected; alternatively restrict deployment to non-fee-on-transfer tokens and document/enforce this constraint.","evidence":"Deposit paths call `safeTransferFrom` (or `transferWithPermit`) and then `_deposit(amount, ...)` which mints `amount` without checking actual received underlying.","locations":["contracts/Contract.sol:333","contracts/Contract.sol:344","contracts/Contract.sol:350","contracts/Contract.sol:355","contracts/Contract.sol:364"]}]}
Metadata
{
    "codex": {
        "ran_at": "2025-12-29T23:27:28.302329+00:00",
        "returncode": 0
    },
    "summary": "Found 2 issues: ineffective recipient check allows transfers to zero/this (locking funds), and deposits mint based on nominal amount without verifying actual underlying received, which can undercollateralize with fee-on-transfer tokens.",
    "raw_final": {
        "summary": "Found 2 issues: ineffective recipient check allows transfers to zero/this (locking funds), and deposits mint based on nominal amount without verifying actual underlying received, which can undercollateralize with fee-on-transfer tokens.",
        "findings": [
            {
                "title": "Recipient guard uses OR, allowing transfers to zero or self and locking funds",
                "category": "other",
                "evidence": "The guard is `require(to != address(0) || to != address(this));`, which is always true for any `to` because it only fails if `to` is both zero and this contract.",
                "severity": "low",
                "locations": [
                    "contracts/Contract.sol:494",
                    "contracts/Contract.sol:534",
                    "contracts/Contract.sol:556",
                    "contracts/Contract.sol:587"
                ],
                "recommendation": "Use `&&` to block both `address(0)` and `address(this)` or implement explicit burn/withdraw handling for zero-address transfers; consider reverting transfers to `address(this)` unless intentionally supported.",
                "exploit_scenario": "An approved spender (or user) can call transfer/transferFrom/transferWithPermit/transferAndCall with `to = address(0)` or `to = address(this)`; the guard passes due to `||`, so tokens are moved to an unusable address and cannot be withdrawn, effectively burning/locking balances and breaking the intended \u201ctransfer to zero triggers withdraw\u201d semantics."
            },
            {
                "title": "Minting ignores actual received underlying, enabling undercollateralization with fee-on-transfer tokens",
                "category": "math",
                "evidence": "Deposit paths call `safeTransferFrom` (or `transferWithPermit`) and then `_deposit(amount, ...)` which mints `amount` without checking actual received underlying.",
                "severity": "medium",
                "locations": [
                    "contracts/Contract.sol:333",
                    "contracts/Contract.sol:344",
                    "contracts/Contract.sol:350",
                    "contracts/Contract.sol:355",
                    "contracts/Contract.sol:364"
                ],
                "recommendation": "Mint based on the balance delta (balanceAfter - balanceBefore) and/or revert when received amount is less than expected; alternatively restrict deployment to non-fee-on-transfer tokens and document/enforce this constraint.",
                "exploit_scenario": "If the underlying token charges a transfer fee or otherwise reduces the received amount, deposits mint `amount` wrapper tokens even though fewer underlying tokens arrive. An attacker can repeatedly deposit and receive more wrapper tokens than the contract holds in underlying, then sell or transfer those unbacked tokens, leaving the wrapper undercollateralized and later withdrawals failing or draining reserves."
            }
        ],
        "no_findings": false
    },
    "no_findings": false,
    "schema_version": 1
}

Opcode Heuristics

tool.cast_disasm
Delegatecall
0
Selfdestruct
0
CREATE2
2
CALL-family (heavy)
9
EXT*/BALANCE
6
Total opcodes
6487
Flags
create_opcodes_present heavy_ext_balance_usage
View cast disassembly output
00000000: PUSH1 0x80
00000002: PUSH1 0x40
00000004: MSTORE
00000005: CALLVALUE
00000006: DUP1
00000007: ISZERO
00000008: PUSH2 0x0010
0000000b: JUMPI
0000000c: PUSH1 0x00
0000000e: DUP1
0000000f: REVERT
00000010: JUMPDEST
00000011: POP
00000012: PUSH1 0x04
00000014: CALLDATASIZE
00000015: LT
00000016: PUSH2 0x033f
00000019: JUMPI
0000001a: PUSH1 0x00
0000001c: CALLDATALOAD
0000001d: PUSH1 0xe0
0000001f: SHR
00000020: DUP1
00000021: PUSH4 0x7ecebe00
00000026: GT
00000027: PUSH2 0x01b8
0000002a: JUMPI
0000002b: DUP1
0000002c: PUSH4 0xbebbf4d0
00000031: GT
00000032: PUSH2 0x0104
00000035: JUMPI
00000036: DUP1
00000037: PUSH4 0xd93f2445
0000003c: GT
0000003d: PUSH2 0x00a2
00000040: JUMPI
00000041: DUP1
00000042: PUSH4 0xf75c2664
00000047: GT
00000048: PUSH2 0x007c
0000004b: JUMPI
0000004c: DUP1
0000004d: PUSH4 0xf75c2664
00000052: EQ
00000053: PUSH2 0x0774
00000056: JUMPI
00000057: DUP1
00000058: PUSH4 0xf954734e
0000005d: EQ
0000005e: PUSH2 0x077c
00000061: JUMPI
00000062: DUP1
00000063: PUSH4 0xfbfa77cf
00000068: EQ
00000069: PUSH2 0x078f
0000006c: JUMPI
0000006d: DUP1
0000006e: PUSH4 0xfca3b5aa
00000073: EQ
00000074: PUSH2 0x07a2
00000077: JUMPI
00000078: PUSH2 0x033f
0000007b: JUMP
0000007c: JUMPDEST
0000007d: DUP1
0000007e: PUSH4 0xd93f2445
00000083: EQ
00000084: PUSH2 0x072e
00000087: JUMPI
00000088: DUP1
00000089: PUSH4 0xdd62ed3e
0000008e: EQ
0000008f: PUSH2 0x0736
00000092: JUMPI
00000093: DUP1
00000094: PUSH4 0xec126c77
00000099: EQ
0000009a: PUSH2 0x0761
0000009d: JUMPI
0000009e: PUSH2 0x033f
000000a1: JUMP
000000a2: JUMPDEST
000000a3: DUP1
000000a4: PUSH4 0xcae9ca51
000000a9: GT
000000aa: PUSH2 0x00de
000000ad: JUMPI
000000ae: DUP1
000000af: PUSH4 0xcae9ca51
000000b4: EQ
000000b5: PUSH2 0x06ed
000000b8: JUMPI
000000b9: DUP1
000000ba: PUSH4 0xcfbd4885
000000bf: EQ
000000c0: PUSH2 0x0700
000000c3: JUMPI
000000c4: DUP1
000000c5: PUSH4 0xd0e30db0
000000ca: EQ
000000cb: PUSH2 0x0713
000000ce: JUMPI
000000cf: DUP1
000000d0: PUSH4 0xd505accf
000000d5: EQ
000000d6: PUSH2 0x071b
000000d9: JUMPI
000000da: PUSH2 0x033f
000000dd: JUMP
000000de: JUMPDEST
000000df: DUP1
000000e0: PUSH4 0xbebbf4d0
000000e5: EQ
000000e6: PUSH2 0x06be
000000e9: JUMPI
000000ea: DUP1
000000eb: PUSH4 0xc3081240
000000f0: EQ
000000f1: PUSH2 0x06d1
000000f4: JUMPI
000000f5: DUP1
000000f6: PUSH4 0xc4b740f5
000000fb: EQ
000000fc: PUSH2 0x06da
000000ff: JUMPI
00000100: PUSH2 0x033f
00000103: JUMP
00000104: JUMPDEST
00000105: DUP1
00000106: PUSH4 0x95d89b41
0000010b: GT
0000010c: PUSH2 0x0171
0000010f: JUMPI
00000110: DUP1
00000111: PUSH4 0xa29dff72
00000116: GT
00000117: PUSH2 0x014b
0000011a: JUMPI
0000011b: DUP1
0000011c: PUSH4 0xa29dff72
00000121: EQ
00000122: PUSH2 0x066c
00000125: JUMPI
00000126: DUP1
00000127: PUSH4 0xa9059cbb
0000012c: EQ
0000012d: PUSH2 0x0675
00000130: JUMPI
00000131: DUP1
00000132: PUSH4 0xaa271e1a
00000137: EQ
00000138: PUSH2 0x0688
0000013b: JUMPI
0000013c: DUP1
0000013d: PUSH4 0xb6b55f25
00000142: EQ
00000143: PUSH2 0x06ab
00000146: JUMPI
00000147: PUSH2 0x033f
0000014a: JUMP
0000014b: JUMPDEST
0000014c: DUP1
0000014d: PUSH4 0x95d89b41
00000152: EQ
00000153: PUSH2 0x063c
00000156: JUMPI
00000157: DUP1
00000158: PUSH4 0x9dc29fac
0000015d: EQ
0000015e: PUSH2 0x0644
00000161: JUMPI
00000162: DUP1
00000163: PUSH4 0xa045442c
00000168: EQ
00000169: PUSH2 0x0657
0000016c: JUMPI
0000016d: PUSH2 0x033f
00000170: JUMP
00000171: JUMPDEST
00000172: DUP1
00000173: PUSH4 0x7ecebe00
00000178: EQ
00000179: PUSH2 0x05d2
0000017c: JUMPI
0000017d: DUP1
0000017e: PUSH4 0x81a37c18
00000183: EQ
00000184: PUSH2 0x05f2
00000187: JUMPI
00000188: DUP1
00000189: PUSH4 0x8623ec7b
0000018e: EQ
0000018f: PUSH2 0x0605
00000192: JUMPI
00000193: DUP1
00000194: PUSH4 0x87689e28
00000199: EQ
0000019a: PUSH2 0x0618
0000019d: JUMPI
0000019e: DUP1
0000019f: PUSH4 0x8da5cb5b
000001a4: EQ
000001a5: PUSH2 0x0621
000001a8: JUMPI
000001a9: DUP1
000001aa: PUSH4 0x91c5df49
000001af: EQ
000001b0: PUSH2 0x0629
000001b3: JUMPI
000001b4: PUSH2 0x033f
000001b7: JUMP
000001b8: JUMPDEST
000001b9: DUP1
000001ba: PUSH4 0x3ccfd60b
000001bf: GT
000001c0: PUSH2 0x0292
000001c3: JUMPI
000001c4: DUP1
000001c5: PUSH4 0x60e232a9
000001ca: GT
000001cb: PUSH2 0x0230
000001ce: JUMPI
000001cf: DUP1
000001d0: PUSH4 0x6a42b8f8
000001d5: GT
000001d6: PUSH2 0x020a
000001d9: JUMPI
000001da: DUP1
000001db: PUSH4 0x6a42b8f8
000001e0: EQ
000001e1: PUSH2 0x056f
000001e4: JUMPI
000001e5: DUP1
000001e6: PUSH4 0x6e553f65
000001eb: EQ
000001ec: PUSH2 0x0578
000001ef: JUMPI
000001f0: DUP1
000001f1: PUSH4 0x6f307dc3
000001f6: EQ
000001f7: PUSH2 0x058b
000001fa: JUMPI
000001fb: DUP1
000001fc: PUSH4 0x70a08231
00000201: EQ
00000202: PUSH2 0x05b2
00000205: JUMPI
00000206: PUSH2 0x033f
00000209: JUMP
0000020a: JUMPDEST
0000020b: DUP1
0000020c: PUSH4 0x60e232a9
00000211: EQ
00000212: PUSH2 0x0536
00000215: JUMPI
00000216: DUP1
00000217: PUSH4 0x628d6cba
0000021c: EQ
0000021d: PUSH2 0x0549
00000220: JUMPI
00000221: DUP1
00000222: PUSH4 0x6817031b
00000227: EQ
00000228: PUSH2 0x055c
0000022b: JUMPI
0000022c: PUSH2 0x033f
0000022f: JUMP
00000230: JUMPDEST
00000231: DUP1
00000232: PUSH4 0x4ca8f0ed
00000237: GT
00000238: PUSH2 0x026c
0000023b: JUMPI
0000023c: DUP1
0000023d: PUSH4 0x4ca8f0ed
00000242: EQ
00000243: PUSH2 0x04dc
00000246: JUMPI
00000247: DUP1
00000248: PUSH4 0x52113ba7
0000024d: EQ
0000024e: PUSH2 0x04e5
00000251: JUMPI
00000252: DUP1
00000253: PUSH4 0x5f9b105d
00000258: EQ
00000259: PUSH2 0x0510
0000025c: JUMPI
0000025d: DUP1
0000025e: PUSH4 0x605629d6
00000263: EQ
00000264: PUSH2 0x0523
00000267: JUMPI
00000268: PUSH2 0x033f
0000026b: JUMP
0000026c: JUMPDEST
0000026d: DUP1
0000026e: PUSH4 0x3ccfd60b
00000273: EQ
00000274: PUSH2 0x04ae
00000277: JUMPI
00000278: DUP1
00000279: PUSH4 0x4000aea0
0000027e: EQ
0000027f: PUSH2 0x04b6
00000282: JUMPI
00000283: DUP1
00000284: PUSH4 0x40c10f19
00000289: EQ
0000028a: PUSH2 0x04c9
0000028d: JUMPI
0000028e: PUSH2 0x033f
00000291: JUMP
00000292: JUMPDEST
00000293: DUP1
00000294: PUSH4 0x18160ddd
00000299: GT
0000029a: PUSH2 0x02ff
0000029d: JUMPI
0000029e: DUP1
0000029f: PUSH4 0x2ebe3fbb
000002a4: GT
000002a5: PUSH2 0x02d9
000002a8: JUMPI
000002a9: DUP1
000002aa: PUSH4 0x2ebe3fbb
000002af: EQ
000002b0: PUSH2 0x0414
000002b3: JUMPI
000002b4: DUP1
000002b5: PUSH4 0x30adf81f
000002ba: EQ
000002bb: PUSH2 0x0427
000002be: JUMPI
000002bf: DUP1
000002c0: PUSH4 0x313ce567
000002c5: EQ
000002c6: PUSH2 0x044e
000002c9: JUMPI
000002ca: DUP1
000002cb: PUSH4 0x3644e515
000002d0: EQ
000002d1: PUSH2 0x0487
000002d4: JUMPI
000002d5: PUSH2 0x033f
000002d8: JUMP
000002d9: JUMPDEST
000002da: DUP1
000002db: PUSH4 0x18160ddd
000002e0: EQ
000002e1: PUSH2 0x03e6
000002e4: JUMPI
000002e5: DUP1
000002e6: PUSH4 0x23b872dd
000002eb: EQ
000002ec: PUSH2 0x03ee
000002ef: JUMPI
000002f0: DUP1
000002f1: PUSH4 0x2e1a7d4d
000002f6: EQ
000002f7: PUSH2 0x0401
000002fa: JUMPI
000002fb: PUSH2 0x033f
000002fe: JUMP
000002ff: JUMPDEST
00000300: DUP1
00000301: PUSH3 0x39d6ec
00000305: EQ
00000306: PUSH2 0x0344
00000309: JUMPI
0000030a: DUP1
0000030b: PUSH3 0xbf26f4
0000030f: EQ
00000310: PUSH2 0x036a
00000313: JUMPI
00000314: DUP1
00000315: PUSH3 0xf714ce
00000319: EQ
0000031a: PUSH2 0x0391
0000031d: JUMPI
0000031e: DUP1
0000031f: PUSH4 0x06fdde03
00000324: EQ
00000325: PUSH2 0x03a4
00000328: JUMPI
00000329: DUP1
0000032a: PUSH4 0x095ea7b3
0000032f: EQ
00000330: PUSH2 0x03b9
00000333: JUMPI
00000334: DUP1
00000335: PUSH4 0x0d707df8
0000033a: EQ
0000033b: PUSH2 0x03dc
0000033e: JUMPI
0000033f: JUMPDEST
00000340: PUSH1 0x00
00000342: DUP1
00000343: REVERT
00000344: JUMPDEST
00000345: PUSH2 0x0357
00000348: PUSH2 0x0352
0000034b: CALLDATASIZE
0000034c: PUSH1 0x04
0000034e: PUSH2 0x2469
00000351: JUMP
00000352: JUMPDEST
00000353: PUSH2 0x07b5
00000356: JUMP
00000357: JUMPDEST
00000358: PUSH1 0x40
0000035a: MLOAD
0000035b: SWAP1
0000035c: DUP2
0000035d: MSTORE
0000035e: PUSH1 0x20
00000360: ADD
00000361: JUMPDEST
00000362: PUSH1 0x40
00000364: MLOAD
00000365: DUP1
00000366: SWAP2
00000367: SUB
00000368: SWAP1
00000369: RETURN
0000036a: JUMPDEST
0000036b: PUSH2 0x0357
0000036e: PUSH32 0x42ce63790c28229c123925d83266e77c04d28784552ab68b350a9003226cbd59
0000038f: DUP2
00000390: JUMP
00000391: JUMPDEST
00000392: PUSH2 0x0357
00000395: PUSH2 0x039f
00000398: CALLDATASIZE
00000399: PUSH1 0x04
0000039b: PUSH2 0x261b
0000039e: JUMP
0000039f: JUMPDEST
000003a0: PUSH2 0x080b
000003a3: JUMP
000003a4: JUMPDEST
000003a5: PUSH2 0x03ac
000003a8: PUSH2 0x081f
000003ab: JUMP
000003ac: JUMPDEST
000003ad: PUSH1 0x40
000003af: MLOAD
000003b0: PUSH2 0x0361
000003b3: SWAP2
000003b4: SWAP1
000003b5: PUSH2 0x272f
000003b8: JUMP
000003b9: JUMPDEST
000003ba: PUSH2 0x03cc
000003bd: PUSH2 0x03c7
000003c0: CALLDATASIZE
000003c1: PUSH1 0x04
000003c3: PUSH2 0x2440
000003c6: JUMP
000003c7: JUMPDEST
000003c8: PUSH2 0x08ad
000003cb: JUMP
000003cc: JUMPDEST
000003cd: PUSH1 0x40
000003cf: MLOAD
000003d0: SWAP1
000003d1: ISZERO
000003d2: ISZERO
000003d3: DUP2
000003d4: MSTORE
000003d5: PUSH1 0x20
000003d7: ADD
000003d8: PUSH2 0x0361
000003db: JUMP
000003dc: JUMPDEST
000003dd: PUSH2 0x03e4
000003e0: PUSH2 0x0907
000003e3: JUMP
000003e4: JUMPDEST
000003e5: STOP
000003e6: JUMPDEST
000003e7: PUSH2 0x0357
000003ea: PUSH2 0x09c3
000003ed: JUMP
000003ee: JUMPDEST
000003ef: PUSH2 0x03cc
000003f2: PUSH2 0x03fc
000003f5: CALLDATASIZE
000003f6: PUSH1 0x04
000003f8: PUSH2 0x239c
000003fb: JUMP
000003fc: JUMPDEST
000003fd: PUSH2 0x09ca
00000400: JUMP
00000401: JUMPDEST
00000402: PUSH2 0x0357
00000405: PUSH2 0x040f
00000408: CALLDATASIZE
00000409: PUSH1 0x04
0000040b: PUSH2 0x25eb
0000040e: JUMP
0000040f: JUMPDEST
00000410: PUSH2 0x0bb5
00000413: JUMP
00000414: JUMPDEST
00000415: PUSH2 0x03e4
00000418: PUSH2 0x0422
0000041b: CALLDATASIZE
0000041c: PUSH1 0x04
0000041e: PUSH2 0x2350
00000421: JUMP
00000422: JUMPDEST
00000423: PUSH2 0x0bca
00000426: JUMP
00000427: JUMPDEST
00000428: PUSH2 0x0357
0000042b: PUSH32 0x6e71edae12b1b97f4d1f60370fef10105fa2faae0126114a169c64845d6126c9
0000044c: DUP2
0000044d: JUMP
0000044e: JUMPDEST
0000044f: PUSH2 0x0475
00000452: PUSH32 0x0000000000000000000000000000000000000000000000000000000000000006
00000473: DUP2
00000474: JUMP
00000475: JUMPDEST
00000476: PUSH1 0x40
00000478: MLOAD
00000479: PUSH1 0xff
0000047b: SWAP1
0000047c: SWAP2
0000047d: AND
0000047e: DUP2
0000047f: MSTORE
00000480: PUSH1 0x20
00000482: ADD
00000483: PUSH2 0x0361
00000486: JUMP
00000487: JUMPDEST
00000488: PUSH2 0x0357
0000048b: PUSH32 0x35d899b847b42f26a0db19dad1ed10d4653e029fa7b94148d54bac99ed40b86d
000004ac: DUP2
000004ad: JUMP
000004ae: JUMPDEST
000004af: PUSH2 0x0357
000004b2: PUSH2 0x0ca1
000004b5: JUMP
000004b6: JUMPDEST
000004b7: PUSH2 0x03cc
000004ba: PUSH2 0x04c4
000004bd: CALLDATASIZE
000004be: PUSH1 0x04
000004c0: PUSH2 0x24a4
000004c3: JUMP
000004c4: JUMPDEST
000004c5: PUSH2 0x0cc2
000004c8: JUMP
000004c9: JUMPDEST
000004ca: PUSH2 0x03cc
000004cd: PUSH2 0x04d7
000004d0: CALLDATASIZE
000004d1: PUSH1 0x04
000004d3: PUSH2 0x2440
000004d6: JUMP
000004d7: JUMPDEST
000004d8: PUSH2 0x0e1b
000004db: JUMP
000004dc: JUMPDEST
000004dd: PUSH2 0x0357
000004e0: PUSH1 0x0d
000004e2: SLOAD
000004e3: DUP2
000004e4: JUMP
000004e5: JUMPDEST
000004e6: PUSH1 0x0b
000004e8: SLOAD
000004e9: PUSH2 0x04f8
000004ec: SWAP1
000004ed: PUSH1 0x01
000004ef: PUSH1 0x01
000004f1: PUSH1 0xa0
000004f3: SHL
000004f4: SUB
000004f5: AND
000004f6: DUP2
000004f7: JUMP
000004f8: JUMPDEST
000004f9: PUSH1 0x40
000004fb: MLOAD
000004fc: PUSH1 0x01
000004fe: PUSH1 0x01
00000500: PUSH1 0xa0
00000502: SHL
00000503: SUB
00000504: SWAP1
00000505: SWAP2
00000506: AND
00000507: DUP2
00000508: MSTORE
00000509: PUSH1 0x20
0000050b: ADD
0000050c: PUSH2 0x0361
0000050f: JUMP
00000510: JUMPDEST
00000511: PUSH2 0x03cc
00000514: PUSH2 0x051e
00000517: CALLDATASIZE
00000518: PUSH1 0x04
0000051a: PUSH2 0x2350
0000051d: JUMP
0000051e: JUMPDEST
0000051f: PUSH2 0x0e5d
00000522: JUMP
00000523: JUMPDEST
00000524: PUSH2 0x03cc
00000527: PUSH2 0x0531
0000052a: CALLDATASIZE
0000052b: PUSH1 0x04
0000052d: PUSH2 0x23d7
00000530: JUMP
00000531: JUMPDEST
00000532: PUSH2 0x0f31
00000535: JUMP
00000536: JUMPDEST
00000537: PUSH2 0x03cc
0000053a: PUSH2 0x0544
0000053d: CALLDATASIZE
0000053e: PUSH1 0x04
00000540: PUSH2 0x2350
00000543: JUMP
00000544: JUMPDEST
00000545: PUSH2 0x1141
00000548: JUMP
00000549: JUMPDEST
0000054a: PUSH2 0x03cc
0000054d: PUSH2 0x0557
00000550: CALLDATASIZE
00000551: PUSH1 0x04
00000553: PUSH2 0x261b
00000556: JUMP
00000557: JUMPDEST
00000558: PUSH2 0x1215
0000055b: JUMP
0000055c: JUMPDEST
0000055d: PUSH2 0x03e4
00000560: PUSH2 0x056a
00000563: CALLDATASIZE
00000564: PUSH1 0x04
00000566: PUSH2 0x2350
00000569: JUMP
0000056a: JUMPDEST
0000056b: PUSH2 0x12dd
0000056e: JUMP
0000056f: JUMPDEST
00000570: PUSH2 0x0357
00000573: PUSH1 0x05
00000575: SLOAD
00000576: DUP2
00000577: JUMP
00000578: JUMPDEST
00000579: PUSH2 0x0357
0000057c: PUSH2 0x0586
0000057f: CALLDATASIZE
00000580: PUSH1 0x04
00000582: PUSH2 0x261b
00000585: JUMP
00000586: JUMPDEST
00000587: PUSH2 0x1343
0000058a: JUMP
0000058b: JUMPDEST
0000058c: PUSH2 0x04f8
0000058f: PUSH32 0x000000000000000000000000a0b86991c6218b36c1d19d4a2e9eb0ce3606eb48
000005b0: DUP2
000005b1: JUMP
000005b2: JUMPDEST
000005b3: PUSH2 0x0357
000005b6: PUSH2 0x05c0
000005b9: CALLDATASIZE
000005ba: PUSH1 0x04
000005bc: PUSH2 0x2350
000005bf: JUMP
000005c0: JUMPDEST
000005c1: PUSH1 0x02
000005c3: PUSH1 0x20
000005c5: MSTORE
000005c6: PUSH1 0x00
000005c8: SWAP1
000005c9: DUP2
000005ca: MSTORE
000005cb: PUSH1 0x40
000005cd: SWAP1
000005ce: KECCAK256
000005cf: SLOAD
000005d0: DUP2
000005d1: JUMP
000005d2: JUMPDEST
000005d3: PUSH2 0x0357
000005d6: PUSH2 0x05e0
000005d9: CALLDATASIZE
000005da: PUSH1 0x04
000005dc: PUSH2 0x2350
000005df: JUMP
000005e0: JUMPDEST
000005e1: PUSH1 0x0f
000005e3: PUSH1 0x20
000005e5: MSTORE
000005e6: PUSH1 0x00
000005e8: SWAP1
000005e9: DUP2
000005ea: MSTORE
000005eb: PUSH1 0x40
000005ed: SWAP1
000005ee: KECCAK256
000005ef: SLOAD
000005f0: DUP2
000005f1: JUMP
000005f2: JUMPDEST
000005f3: PUSH2 0x0357
000005f6: PUSH2 0x0600
000005f9: CALLDATASIZE
000005fa: PUSH1 0x04
000005fc: PUSH2 0x2526
000005ff: JUMP
00000600: JUMPDEST
00000601: PUSH2 0x1384
00000604: JUMP
00000605: JUMPDEST
00000606: PUSH2 0x04f8
00000609: PUSH2 0x0613
0000060c: CALLDATASIZE
0000060d: PUSH1 0x04
0000060f: PUSH2 0x25eb
00000612: JUMP
00000613: JUMPDEST
00000614: PUSH2 0x145e
00000617: JUMP
00000618: JUMPDEST
00000619: PUSH2 0x0357
0000061c: PUSH1 0x0c
0000061e: SLOAD
0000061f: DUP2
00000620: JUMP
00000621: JUMPDEST
00000622: PUSH2 0x04f8
00000625: PUSH2 0x1488
00000628: JUMP
00000629: JUMPDEST
0000062a: PUSH1 0x09
0000062c: SLOAD
0000062d: PUSH2 0x04f8
00000630: SWAP1
00000631: PUSH1 0x01
00000633: PUSH1 0x01
00000635: PUSH1 0xa0
00000637: SHL
00000638: SUB
00000639: AND
0000063a: DUP2
0000063b: JUMP
0000063c: JUMPDEST
0000063d: PUSH2 0x03ac
00000640: PUSH2 0x1492
00000643: JUMP
00000644: JUMPDEST
00000645: PUSH2 0x03cc
00000648: PUSH2 0x0652
0000064b: CALLDATASIZE
0000064c: PUSH1 0x04
0000064e: PUSH2 0x2440
00000651: JUMP
00000652: JUMPDEST
00000653: PUSH2 0x149f
00000656: JUMP
00000657: JUMPDEST
00000658: PUSH2 0x065f
0000065b: PUSH2 0x14fe
0000065e: JUMP
0000065f: JUMPDEST
00000660: PUSH1 0x40
00000662: MLOAD
00000663: PUSH2 0x0361
00000666: SWAP2
00000667: SWAP1
00000668: PUSH2 0x26e2
0000066b: JUMP
0000066c: JUMPDEST
0000066d: PUSH2 0x0357
00000670: PUSH1 0x0e
00000672: SLOAD
00000673: DUP2
00000674: JUMP
00000675: JUMPDEST
00000676: PUSH2 0x03cc
00000679: PUSH2 0x0683
0000067c: CALLDATASIZE
0000067d: PUSH1 0x04
0000067f: PUSH2 0x2440
00000682: JUMP
00000683: JUMPDEST
00000684: PUSH2 0x1560
00000687: JUMP
00000688: JUMPDEST
00000689: PUSH2 0x03cc
0000068c: PUSH2 0x0696
0000068f: CALLDATASIZE
00000690: PUSH1 0x04
00000692: PUSH2 0x2350
00000695: JUMP
00000696: JUMPDEST
00000697: PUSH1 0x06
00000699: PUSH1 0x20
0000069b: MSTORE
0000069c: PUSH1 0x00
0000069e: SWAP1
0000069f: DUP2
000006a0: MSTORE
000006a1: PUSH1 0x40
000006a3: SWAP1
000006a4: KECCAK256
000006a5: SLOAD
000006a6: PUSH1 0xff
000006a8: AND
000006a9: DUP2
000006aa: JUMP
000006ab: JUMPDEST
000006ac: PUSH2 0x0357
000006af: PUSH2 0x06b9
000006b2: CALLDATASIZE
000006b3: PUSH1 0x04
000006b5: PUSH2 0x25eb
000006b8: JUMP
000006b9: JUMPDEST
000006ba: PUSH2 0x1636
000006bd: JUMP
000006be: JUMPDEST
000006bf: PUSH2 0x0357
000006c2: PUSH2 0x06cc
000006c5: CALLDATASIZE
000006c6: PUSH1 0x04
000006c8: PUSH2 0x261b
000006cb: JUMP
000006cc: JUMPDEST
000006cd: PUSH2 0x1677
000006d0: JUMP
000006d1: JUMPDEST
000006d2: PUSH2 0x0357
000006d5: PUSH1 0x0a
000006d7: SLOAD
000006d8: DUP2
000006d9: JUMP
000006da: JUMPDEST
000006db: PUSH2 0x03e4
000006de: PUSH2 0x06e8
000006e1: CALLDATASIZE
000006e2: PUSH1 0x04
000006e4: PUSH2 0x258f
000006e7: JUMP
000006e8: JUMPDEST
000006e9: PUSH2 0x16b1
000006ec: JUMP
000006ed: JUMPDEST
000006ee: PUSH2 0x03cc
000006f1: PUSH2 0x06fb
000006f4: CALLDATASIZE
000006f5: PUSH1 0x04
000006f7: PUSH2 0x24a4
000006fa: JUMP
000006fb: JUMPDEST
000006fc: PUSH2 0x1703
000006ff: JUMP
00000700: JUMPDEST
00000701: PUSH2 0x03e4
00000704: PUSH2 0x070e
00000707: CALLDATASIZE
00000708: PUSH1 0x04
0000070a: PUSH2 0x2350
0000070d: JUMP
0000070e: JUMPDEST
0000070f: PUSH2 0x17df
00000712: JUMP
00000713: JUMPDEST
00000714: PUSH2 0x0357
00000717: PUSH2 0x1838
0000071a: JUMP
0000071b: JUMPDEST
0000071c: PUSH2 0x03e4
0000071f: PUSH2 0x0729
00000722: CALLDATASIZE
00000723: PUSH1 0x04
00000725: PUSH2 0x23d7
00000728: JUMP
00000729: JUMPDEST
0000072a: PUSH2 0x191b
0000072d: JUMP
0000072e: JUMPDEST
0000072f: PUSH2 0x03e4
00000732: PUSH2 0x1a89
00000735: JUMP
00000736: JUMPDEST
00000737: PUSH2 0x0357
0000073a: PUSH2 0x0744
0000073d: CALLDATASIZE
0000073e: PUSH1 0x04
00000740: PUSH2 0x236a
00000743: JUMP
00000744: JUMPDEST
00000745: PUSH1 0x10
00000747: PUSH1 0x20
00000749: SWAP1
0000074a: DUP2
0000074b: MSTORE
0000074c: PUSH1 0x00
0000074e: SWAP3
0000074f: DUP4
00000750: MSTORE
00000751: PUSH1 0x40
00000753: DUP1
00000754: DUP5
00000755: KECCAK256
00000756: SWAP1
00000757: SWAP2
00000758: MSTORE
00000759: SWAP1
0000075a: DUP3
0000075b: MSTORE
0000075c: SWAP1
0000075d: KECCAK256
0000075e: SLOAD
0000075f: DUP2
00000760: JUMP
00000761: JUMPDEST
00000762: PUSH2 0x03cc
00000765: PUSH2 0x076f
00000768: CALLDATASIZE
00000769: PUSH1 0x04
0000076b: PUSH2 0x25c7
0000076e: JUMP
0000076f: JUMPDEST
00000770: PUSH2 0x1af4
00000773: JUMP
00000774: JUMPDEST
00000775: PUSH2 0x04f8
00000778: PUSH2 0x1b69
0000077b: JUMP
0000077c: JUMPDEST
0000077d: PUSH2 0x0357
00000780: PUSH2 0x078a
00000783: CALLDATASIZE
00000784: PUSH1 0x04
00000786: PUSH2 0x2526
00000789: JUMP
0000078a: JUMPDEST
0000078b: PUSH2 0x1b96
0000078e: JUMP
0000078f: JUMPDEST
00000790: PUSH1 0x08
00000792: SLOAD
00000793: PUSH2 0x04f8
00000796: SWAP1
00000797: PUSH1 0x01
00000799: PUSH1 0x01
0000079b: PUSH1 0xa0
0000079d: SHL
0000079e: SUB
0000079f: AND
000007a0: DUP2
000007a1: JUMP
000007a2: JUMPDEST
000007a3: PUSH2 0x03e4
000007a6: PUSH2 0x07b0
000007a9: CALLDATASIZE
000007aa: PUSH1 0x04
000007ac: PUSH2 0x2350
000007af: JUMP
000007b0: JUMPDEST
000007b1: PUSH2 0x1c4e
000007b4: JUMP
000007b5: JUMPDEST
000007b6: PUSH1 0x00
000007b8: PUSH2 0x07bf
000007bb: PUSH2 0x1b69
000007be: JUMP
000007bf: JUMPDEST
000007c0: PUSH1 0x01
000007c2: PUSH1 0x01
000007c4: PUSH1 0xa0
000007c6: SHL
000007c7: SUB
000007c8: AND
000007c9: CALLER
000007ca: PUSH1 0x01
000007cc: PUSH1 0x01
000007ce: PUSH1 0xa0
000007d0: SHL
000007d1: SUB
000007d2: AND
000007d3: EQ
000007d4: PUSH2 0x07f8
000007d7: JUMPI
000007d8: PUSH1 0x40
000007da: MLOAD
000007db: PUSH3 0x461bcd
000007df: PUSH1 0xe5
000007e1: SHL
000007e2: DUP2
000007e3: MSTORE
000007e4: PUSH1 0x04
000007e6: ADD
000007e7: PUSH2 0x07ef
000007ea: SWAP1
000007eb: PUSH2 0x2762
000007ee: JUMP
000007ef: JUMPDEST
000007f0: PUSH1 0x40
000007f2: MLOAD
000007f3: DUP1
000007f4: SWAP2
000007f5: SUB
000007f6: SWAP1
000007f7: REVERT
000007f8: JUMPDEST
000007f9: PUSH2 0x0803
000007fc: DUP5
000007fd: DUP5
000007fe: DUP5
000007ff: PUSH2 0x1cb4
00000802: JUMP
00000803: JUMPDEST
00000804: SWAP5
00000805: SWAP4
00000806: POP
00000807: POP
00000808: POP
00000809: POP
0000080a: JUMP
0000080b: JUMPDEST
0000080c: PUSH1 0x00
0000080e: PUSH2 0x0818
00000811: CALLER
00000812: DUP5
00000813: DUP5
00000814: PUSH2 0x1cb4
00000817: JUMP
00000818: JUMPDEST
00000819: SWAP4
0000081a: SWAP3
0000081b: POP
0000081c: POP
0000081d: POP
0000081e: JUMP
0000081f: JUMPDEST
00000820: PUSH1 0x00
00000822: DUP1
00000823: SLOAD
00000824: PUSH2 0x082c
00000827: SWAP1
00000828: PUSH2 0x28b1
0000082b: JUMP
0000082c: JUMPDEST
0000082d: DUP1
0000082e: PUSH1 0x1f
00000830: ADD
00000831: PUSH1 0x20
00000833: DUP1
00000834: SWAP2
00000835: DIV
00000836: MUL
00000837: PUSH1 0x20
00000839: ADD
0000083a: PUSH1 0x40
0000083c: MLOAD
0000083d: SWAP1
0000083e: DUP2
0000083f: ADD
00000840: PUSH1 0x40
00000842: MSTORE
00000843: DUP1
00000844: SWAP3
00000845: SWAP2
00000846: SWAP1
00000847: DUP2
00000848: DUP2
00000849: MSTORE
0000084a: PUSH1 0x20
0000084c: ADD
0000084d: DUP3
0000084e: DUP1
0000084f: SLOAD
00000850: PUSH2 0x0858
00000853: SWAP1
00000854: PUSH2 0x28b1
00000857: JUMP
00000858: JUMPDEST
00000859: DUP1
0000085a: ISZERO
0000085b: PUSH2 0x08a5
0000085e: JUMPI
0000085f: DUP1
00000860: PUSH1 0x1f
00000862: LT
00000863: PUSH2 0x087a
00000866: JUMPI
00000867: PUSH2 0x0100
0000086a: DUP1
0000086b: DUP4
0000086c: SLOAD
0000086d: DIV
0000086e: MUL
0000086f: DUP4
00000870: MSTORE
00000871: SWAP2
00000872: PUSH1 0x20
00000874: ADD
00000875: SWAP2
00000876: PUSH2 0x08a5
00000879: JUMP
0000087a: JUMPDEST
0000087b: DUP3
0000087c: ADD
0000087d: SWAP2
0000087e: SWAP1
0000087f: PUSH1 0x00
00000881: MSTORE
00000882: PUSH1 0x20
00000884: PUSH1 0x00
00000886: KECCAK256
00000887: SWAP1
00000888: JUMPDEST
00000889: DUP2
0000088a: SLOAD
0000088b: DUP2
0000088c: MSTORE
0000088d: SWAP1
0000088e: PUSH1 0x01
00000890: ADD
00000891: SWAP1
00000892: PUSH1 0x20
00000894: ADD
00000895: DUP1
00000896: DUP4
00000897: GT
00000898: PUSH2 0x0888
0000089b: JUMPI
0000089c: DUP3
0000089d: SWAP1
0000089e: SUB
0000089f: PUSH1 0x1f
000008a1: AND
000008a2: DUP3
000008a3: ADD
000008a4: SWAP2
000008a5: JUMPDEST
000008a6: POP
000008a7: POP
000008a8: POP
000008a9: POP
000008aa: POP
000008ab: DUP2
000008ac: JUMP
000008ad: JUMPDEST
000008ae: CALLER
000008af: PUSH1 0x00
000008b1: DUP2
000008b2: DUP2
000008b3: MSTORE
000008b4: PUSH1 0x10
000008b6: PUSH1 0x20
000008b8: SWAP1
000008b9: DUP2
000008ba: MSTORE
000008bb: PUSH1 0x40
000008bd: DUP1
000008be: DUP4
000008bf: KECCAK256
000008c0: PUSH1 0x01
000008c2: PUSH1 0x01
000008c4: PUSH1 0xa0
000008c6: SHL
000008c7: SUB
000008c8: DUP8
000008c9: AND
000008ca: DUP1
000008cb: DUP6
000008cc: MSTORE
000008cd: SWAP3
000008ce: MSTORE
000008cf: DUP1
000008d0: DUP4
000008d1: KECCAK256
000008d2: DUP6
000008d3: SWAP1
000008d4: SSTORE
000008d5: MLOAD
000008d6: SWAP2
000008d7: SWAP3
000008d8: SWAP1
000008d9: SWAP2
000008da: PUSH1 0x00
000008dc: DUP1
000008dd: MLOAD
000008de: PUSH1 0x20
000008e0: PUSH2 0x294f
000008e3: DUP4
000008e4: CODECOPY
000008e5: DUP2
000008e6: MLOAD
000008e7: SWAP2
000008e8: MSTORE
000008e9: SWAP1
000008ea: PUSH2 0x08f6
000008ed: SWAP1
000008ee: DUP7
000008ef: DUP2
000008f0: MSTORE
000008f1: PUSH1 0x20
000008f3: ADD
000008f4: SWAP1
000008f5: JUMP
000008f6: JUMPDEST
000008f7: PUSH1 0x40
000008f9: MLOAD
000008fa: DUP1
000008fb: SWAP2
000008fc: SUB
000008fd: SWAP1
000008fe: LOG3
000008ff: POP
00000900: PUSH1 0x01
00000902: SWAP3
00000903: SWAP2
00000904: POP
00000905: POP
00000906: JUMP
00000907: JUMPDEST
00000908: PUSH2 0x090f
0000090b: PUSH2 0x1b69
0000090e: JUMP
0000090f: JUMPDEST
00000910: PUSH1 0x01
00000912: PUSH1 0x01
00000914: PUSH1 0xa0
00000916: SHL
00000917: SUB
00000918: AND
00000919: CALLER
0000091a: PUSH1 0x01
0000091c: PUSH1 0x01
0000091e: PUSH1 0xa0
00000920: SHL
00000921: SUB
00000922: AND
00000923: EQ
00000924: PUSH2 0x093f
00000927: JUMPI
00000928: PUSH1 0x40
0000092a: MLOAD
0000092b: PUSH3 0x461bcd
0000092f: PUSH1 0xe5
00000931: SHL
00000932: DUP2
00000933: MSTORE
00000934: PUSH1 0x04
00000936: ADD
00000937: PUSH2 0x07ef
0000093a: SWAP1
0000093b: PUSH2 0x2762
0000093e: JUMP
0000093f: JUMPDEST
00000940: PUSH1 0x0a
00000942: SLOAD
00000943: TIMESTAMP
00000944: LT
00000945: ISZERO
00000946: PUSH2 0x094e
00000949: JUMPI
0000094a: PUSH1 0x00
0000094c: DUP1
0000094d: REVERT
0000094e: JUMPDEST
0000094f: PUSH1 0x09
00000951: DUP1
00000952: SLOAD
00000953: PUSH1 0x01
00000955: PUSH1 0x01
00000957: PUSH1 0xa0
00000959: SHL
0000095a: SUB
0000095b: SWAP1
0000095c: DUP2
0000095d: AND
0000095e: PUSH1 0x00
00000960: SWAP1
00000961: DUP2
00000962: MSTORE
00000963: PUSH1 0x06
00000965: PUSH1 0x20
00000967: MSTORE
00000968: PUSH1 0x40
0000096a: DUP2
0000096b: KECCAK256
0000096c: DUP1
0000096d: SLOAD
0000096e: PUSH1 0xff
00000970: NOT
00000971: AND
00000972: PUSH1 0x01
00000974: SWAP1
00000975: DUP2
00000976: OR
00000977: SWAP1
00000978: SWAP2
00000979: SSTORE
0000097a: SWAP3
0000097b: SLOAD
0000097c: PUSH1 0x07
0000097e: DUP1
0000097f: SLOAD
00000980: SWAP5
00000981: DUP6
00000982: ADD
00000983: DUP2
00000984: SSTORE
00000985: SWAP1
00000986: SWAP2
00000987: MSTORE
00000988: PUSH32 0xa66cc928b5edb82af9bd49922954155ab7b0942694bea4ce44661d9a8736c688
000009a9: SWAP1
000009aa: SWAP3
000009ab: ADD
000009ac: DUP1
000009ad: SLOAD
000009ae: PUSH1 0x01
000009b0: PUSH1 0x01
000009b2: PUSH1 0xa0
000009b4: SHL
000009b5: SUB
000009b6: NOT
000009b7: AND
000009b8: SWAP3
000009b9: SWAP1
000009ba: SWAP2
000009bb: AND
000009bc: SWAP2
000009bd: SWAP1
000009be: SWAP2
000009bf: OR
000009c0: SWAP1
000009c1: SSTORE
000009c2: JUMP
000009c3: JUMPDEST
000009c4: PUSH1 0x03
000009c6: SLOAD
000009c7: JUMPDEST
000009c8: SWAP1
000009c9: JUMP
000009ca: JUMPDEST
000009cb: PUSH1 0x00
000009cd: PUSH1 0x01
000009cf: PUSH1 0x01
000009d1: PUSH1 0xa0
000009d3: SHL
000009d4: SUB
000009d5: DUP4
000009d6: AND
000009d7: ISZERO
000009d8: ISZERO
000009d9: DUP1
000009da: PUSH2 0x09ec
000009dd: JUMPI
000009de: POP
000009df: PUSH1 0x01
000009e1: PUSH1 0x01
000009e3: PUSH1 0xa0
000009e5: SHL
000009e6: SUB
000009e7: DUP4
000009e8: AND
000009e9: ADDRESS
000009ea: EQ
000009eb: ISZERO
000009ec: JUMPDEST
000009ed: PUSH2 0x09f5
000009f0: JUMPI
000009f1: PUSH1 0x00
000009f3: DUP1
000009f4: REVERT
000009f5: JUMPDEST
000009f6: PUSH1 0x01
000009f8: PUSH1 0x01
000009fa: PUSH1 0xa0
000009fc: SHL
000009fd: SUB
000009fe: DUP5
000009ff: AND
00000a00: CALLER
00000a01: EQ
00000a02: PUSH2 0x0aef
00000a05: JUMPI
00000a06: PUSH1 0x01
00000a08: PUSH1 0x01
00000a0a: PUSH1 0xa0
00000a0c: SHL
00000a0d: SUB
00000a0e: DUP5
00000a0f: AND
00000a10: PUSH1 0x00
00000a12: SWAP1
00000a13: DUP2
00000a14: MSTORE
00000a15: PUSH1 0x10
00000a17: PUSH1 0x20
00000a19: SWAP1
00000a1a: DUP2
00000a1b: MSTORE
00000a1c: PUSH1 0x40
00000a1e: DUP1
00000a1f: DUP4
00000a20: KECCAK256
00000a21: CALLER
00000a22: DUP5
00000a23: MSTORE
00000a24: SWAP1
00000a25: SWAP2
00000a26: MSTORE
00000a27: SWAP1
00000a28: KECCAK256
00000a29: SLOAD
00000a2a: PUSH1 0x00
00000a2c: NOT
00000a2d: DUP2
00000a2e: EQ
00000a2f: PUSH2 0x0aed
00000a32: JUMPI
00000a33: DUP3
00000a34: DUP2
00000a35: LT
00000a36: ISZERO
00000a37: PUSH2 0x0a94
00000a3a: JUMPI
00000a3b: PUSH1 0x40
00000a3d: MLOAD
00000a3e: PUSH3 0x461bcd
00000a42: PUSH1 0xe5
00000a44: SHL
00000a45: DUP2
00000a46: MSTORE
00000a47: PUSH1 0x20
00000a49: PUSH1 0x04
00000a4b: DUP3
00000a4c: ADD
00000a4d: MSTORE
00000a4e: PUSH1 0x29
00000a50: PUSH1 0x24
00000a52: DUP3
00000a53: ADD
00000a54: MSTORE
00000a55: PUSH32 0x416e7973776170563345524332303a2072657175657374206578636565647320
00000a76: PUSH1 0x44
00000a78: DUP3
00000a79: ADD
00000a7a: MSTORE
00000a7b: PUSH9 0x616c6c6f77616e6365
00000a85: PUSH1 0xb8
00000a87: SHL
00000a88: PUSH1 0x64
00000a8a: DUP3
00000a8b: ADD
00000a8c: MSTORE
00000a8d: PUSH1 0x84
00000a8f: ADD
00000a90: PUSH2 0x07ef
00000a93: JUMP
00000a94: JUMPDEST
00000a95: PUSH1 0x00
00000a97: PUSH2 0x0aa0
00000a9a: DUP5
00000a9b: DUP4
00000a9c: PUSH2 0x286e
00000a9f: JUMP
00000aa0: JUMPDEST
00000aa1: PUSH1 0x01
00000aa3: PUSH1 0x01
00000aa5: PUSH1 0xa0
00000aa7: SHL
00000aa8: SUB
00000aa9: DUP8
00000aaa: AND
00000aab: PUSH1 0x00
00000aad: DUP2
00000aae: DUP2
00000aaf: MSTORE
00000ab0: PUSH1 0x10
00000ab2: PUSH1 0x20
00000ab4: SWAP1
00000ab5: DUP2
00000ab6: MSTORE
00000ab7: PUSH1 0x40
00000ab9: DUP1
00000aba: DUP4
00000abb: KECCAK256
00000abc: CALLER
00000abd: DUP1
00000abe: DUP6
00000abf: MSTORE
00000ac0: SWAP1
00000ac1: DUP4
00000ac2: MSTORE
00000ac3: SWAP3
00000ac4: DUP2
00000ac5: SWAP1
00000ac6: KECCAK256
00000ac7: DUP6
00000ac8: SWAP1
00000ac9: SSTORE
00000aca: MLOAD
00000acb: DUP5
00000acc: DUP2
00000acd: MSTORE
00000ace: SWAP4
00000acf: SWAP5
00000ad0: POP
00000ad1: SWAP1
00000ad2: SWAP3
00000ad3: PUSH1 0x00
00000ad5: DUP1
00000ad6: MLOAD
00000ad7: PUSH1 0x20
00000ad9: PUSH2 0x294f
00000adc: DUP4
00000add: CODECOPY
00000ade: DUP2
00000adf: MLOAD
00000ae0: SWAP2
00000ae1: MSTORE
00000ae2: SWAP2
00000ae3: ADD
00000ae4: PUSH1 0x40
00000ae6: MLOAD
00000ae7: DUP1
00000ae8: SWAP2
00000ae9: SUB
00000aea: SWAP1
00000aeb: LOG3
00000aec: POP
00000aed: JUMPDEST
00000aee: POP
00000aef: JUMPDEST
00000af0: PUSH1 0x01
00000af2: PUSH1 0x01
00000af4: PUSH1 0xa0
00000af6: SHL
00000af7: SUB
00000af8: DUP5
00000af9: AND
00000afa: PUSH1 0x00
00000afc: SWAP1
00000afd: DUP2
00000afe: MSTORE
00000aff: PUSH1 0x02
00000b01: PUSH1 0x20
00000b03: MSTORE
00000b04: PUSH1 0x40
00000b06: SWAP1
00000b07: KECCAK256
00000b08: SLOAD
00000b09: DUP3
00000b0a: DUP2
00000b0b: LT
00000b0c: ISZERO
00000b0d: PUSH2 0x0b28
00000b10: JUMPI
00000b11: PUSH1 0x40
00000b13: MLOAD
00000b14: PUSH3 0x461bcd
00000b18: PUSH1 0xe5
00000b1a: SHL
00000b1b: DUP2
00000b1c: MSTORE
00000b1d: PUSH1 0x04
00000b1f: ADD
00000b20: PUSH2 0x07ef
00000b23: SWAP1
00000b24: PUSH2 0x27d0
00000b27: JUMP
00000b28: JUMPDEST
00000b29: PUSH2 0x0b32
00000b2c: DUP4
00000b2d: DUP3
00000b2e: PUSH2 0x286e
00000b31: JUMP
00000b32: JUMPDEST
00000b33: PUSH1 0x01
00000b35: PUSH1 0x01
00000b37: PUSH1 0xa0
00000b39: SHL
00000b3a: SUB
00000b3b: DUP1
00000b3c: DUP8
00000b3d: AND
00000b3e: PUSH1 0x00
00000b40: SWAP1
00000b41: DUP2
00000b42: MSTORE
00000b43: PUSH1 0x02
00000b45: PUSH1 0x20
00000b47: MSTORE
00000b48: PUSH1 0x40
00000b4a: DUP1
00000b4b: DUP3
00000b4c: KECCAK256
00000b4d: SWAP4
00000b4e: SWAP1
00000b4f: SWAP4
00000b50: SSTORE
00000b51: SWAP1
00000b52: DUP7
00000b53: AND
00000b54: DUP2
00000b55: MSTORE
00000b56: SWAP1
00000b57: DUP2
00000b58: KECCAK256
00000b59: DUP1
00000b5a: SLOAD
00000b5b: DUP6
00000b5c: SWAP3
00000b5d: SWAP1
00000b5e: PUSH2 0x0b68
00000b61: SWAP1
00000b62: DUP5
00000b63: SWAP1
00000b64: PUSH2 0x2856
00000b67: JUMP
00000b68: JUMPDEST
00000b69: SWAP3
00000b6a: POP
00000b6b: POP
00000b6c: DUP2
00000b6d: SWAP1
00000b6e: SSTORE
00000b6f: POP
00000b70: DUP4
00000b71: PUSH1 0x01
00000b73: PUSH1 0x01
00000b75: PUSH1 0xa0
00000b77: SHL
00000b78: SUB
00000b79: AND
00000b7a: DUP6
00000b7b: PUSH1 0x01
00000b7d: PUSH1 0x01
00000b7f: PUSH1 0xa0
00000b81: SHL
00000b82: SUB
00000b83: AND
00000b84: PUSH1 0x00
00000b86: DUP1
00000b87: MLOAD
00000b88: PUSH1 0x20
00000b8a: PUSH2 0x292f
00000b8d: DUP4
00000b8e: CODECOPY
00000b8f: DUP2
00000b90: MLOAD
00000b91: SWAP2
00000b92: MSTORE
00000b93: DUP6
00000b94: PUSH1 0x40
00000b96: MLOAD
00000b97: PUSH2 0x0ba2
00000b9a: SWAP2
00000b9b: DUP2
00000b9c: MSTORE
00000b9d: PUSH1 0x20
00000b9f: ADD
00000ba0: SWAP1
00000ba1: JUMP
00000ba2: JUMPDEST
00000ba3: PUSH1 0x40
00000ba5: MLOAD
00000ba6: DUP1
00000ba7: SWAP2
00000ba8: SUB
00000ba9: SWAP1
00000baa: LOG3
00000bab: POP
00000bac: PUSH1 0x01
00000bae: SWAP5
00000baf: SWAP4
00000bb0: POP
00000bb1: POP
00000bb2: POP
00000bb3: POP
00000bb4: JUMP
00000bb5: JUMPDEST
00000bb6: PUSH1 0x00
00000bb8: PUSH2 0x0bc2
00000bbb: CALLER
00000bbc: DUP4
00000bbd: CALLER
00000bbe: PUSH2 0x1cb4
00000bc1: JUMP
00000bc2: JUMPDEST
00000bc3: SWAP1
00000bc4: POP
00000bc5: JUMPDEST
00000bc6: SWAP2
00000bc7: SWAP1
00000bc8: POP
00000bc9: JUMP
00000bca: JUMPDEST
00000bcb: PUSH2 0x0bd2
00000bce: PUSH2 0x1b69
00000bd1: JUMP
00000bd2: JUMPDEST
00000bd3: PUSH1 0x01
00000bd5: PUSH1 0x01
00000bd7: PUSH1 0xa0
00000bd9: SHL
00000bda: SUB
00000bdb: AND
00000bdc: CALLER
00000bdd: PUSH1 0x01
00000bdf: PUSH1 0x01
00000be1: PUSH1 0xa0
00000be3: SHL
00000be4: SUB
00000be5: AND
00000be6: EQ
00000be7: PUSH2 0x0c02
00000bea: JUMPI
00000beb: PUSH1 0x40
00000bed: MLOAD
00000bee: PUSH3 0x461bcd
00000bf2: PUSH1 0xe5
00000bf4: SHL
00000bf5: DUP2
00000bf6: MSTORE
00000bf7: PUSH1 0x04
00000bf9: ADD
00000bfa: PUSH2 0x07ef
00000bfd: SWAP1
00000bfe: PUSH2 0x2762
00000c01: JUMP
00000c02: JUMPDEST
00000c03: PUSH1 0x04
00000c05: SLOAD
00000c06: PUSH1 0xff
00000c08: AND
00000c09: PUSH2 0x0c11
00000c0c: JUMPI
00000c0d: PUSH1 0x00
00000c0f: DUP1
00000c10: REVERT
00000c11: JUMPDEST
00000c12: PUSH1 0x08
00000c14: DUP1
00000c15: SLOAD
00000c16: PUSH1 0x01
00000c18: PUSH1 0x01
00000c1a: PUSH1 0xa0
00000c1c: SHL
00000c1d: SUB
00000c1e: SWAP1
00000c1f: SWAP3
00000c20: AND
00000c21: PUSH1 0x01
00000c23: PUSH1 0x01
00000c25: PUSH1 0xa0
00000c27: SHL
00000c28: SUB
00000c29: NOT
00000c2a: SWAP3
00000c2b: DUP4
00000c2c: AND
00000c2d: DUP2
00000c2e: OR
00000c2f: SWAP1
00000c30: SWAP2
00000c31: SSTORE
00000c32: PUSH1 0x0b
00000c34: DUP1
00000c35: SLOAD
00000c36: DUP4
00000c37: AND
00000c38: DUP3
00000c39: OR
00000c3a: SWAP1
00000c3b: SSTORE
00000c3c: PUSH1 0x00
00000c3e: DUP2
00000c3f: DUP2
00000c40: MSTORE
00000c41: PUSH1 0x06
00000c43: PUSH1 0x20
00000c45: MSTORE
00000c46: PUSH1 0x40
00000c48: DUP2
00000c49: KECCAK256
00000c4a: DUP1
00000c4b: SLOAD
00000c4c: PUSH1 0xff
00000c4e: NOT
00000c4f: SWAP1
00000c50: DUP2
00000c51: AND
00000c52: PUSH1 0x01
00000c54: SWAP1
00000c55: DUP2
00000c56: OR
00000c57: SWAP1
00000c58: SWAP3
00000c59: SSTORE
00000c5a: PUSH1 0x07
00000c5c: DUP1
00000c5d: SLOAD
00000c5e: SWAP3
00000c5f: DUP4
00000c60: ADD
00000c61: DUP2
00000c62: SSTORE
00000c63: SWAP1
00000c64: SWAP3
00000c65: MSTORE
00000c66: PUSH32 0xa66cc928b5edb82af9bd49922954155ab7b0942694bea4ce44661d9a8736c688
00000c87: ADD
00000c88: DUP1
00000c89: SLOAD
00000c8a: SWAP1
00000c8b: SWAP4
00000c8c: AND
00000c8d: SWAP1
00000c8e: SWAP2
00000c8f: OR
00000c90: SWAP1
00000c91: SWAP2
00000c92: SSTORE
00000c93: TIMESTAMP
00000c94: PUSH1 0x0c
00000c96: SSTORE
00000c97: PUSH1 0x04
00000c99: DUP1
00000c9a: SLOAD
00000c9b: SWAP1
00000c9c: SWAP2
00000c9d: AND
00000c9e: SWAP1
00000c9f: SSTORE
00000ca0: JUMP
00000ca1: JUMPDEST
00000ca2: CALLER
00000ca3: PUSH1 0x00
00000ca5: DUP2
00000ca6: DUP2
00000ca7: MSTORE
00000ca8: PUSH1 0x02
00000caa: PUSH1 0x20
00000cac: MSTORE
00000cad: PUSH1 0x40
00000caf: DUP2
00000cb0: KECCAK256
00000cb1: SLOAD
00000cb2: SWAP1
00000cb3: SWAP2
00000cb4: PUSH2 0x0cbd
00000cb7: SWAP2
00000cb8: DUP2
00000cb9: PUSH2 0x1cb4
00000cbc: JUMP
00000cbd: JUMPDEST
00000cbe: SWAP1
00000cbf: POP
00000cc0: SWAP1
00000cc1: JUMP
00000cc2: JUMPDEST
00000cc3: PUSH1 0x00
00000cc5: PUSH1 0x01
00000cc7: PUSH1 0x01
00000cc9: PUSH1 0xa0
00000ccb: SHL
00000ccc: SUB
00000ccd: DUP6
00000cce: AND
00000ccf: ISZERO
00000cd0: ISZERO
00000cd1: DUP1
00000cd2: PUSH2 0x0ce4
00000cd5: JUMPI
00000cd6: POP
00000cd7: PUSH1 0x01
00000cd9: PUSH1 0x01
00000cdb: PUSH1 0xa0
00000cdd: SHL
00000cde: SUB
00000cdf: DUP6
00000ce0: AND
00000ce1: ADDRESS
00000ce2: EQ
00000ce3: ISZERO
00000ce4: JUMPDEST
00000ce5: PUSH2 0x0ced
00000ce8: JUMPI
00000ce9: PUSH1 0x00
00000ceb: DUP1
00000cec: REVERT
00000ced: JUMPDEST
00000cee: CALLER
00000cef: PUSH1 0x00
00000cf1: SWAP1
00000cf2: DUP2
00000cf3: MSTORE
00000cf4: PUSH1 0x02
00000cf6: PUSH1 0x20
00000cf8: MSTORE
00000cf9: PUSH1 0x40
00000cfb: SWAP1
00000cfc: KECCAK256
00000cfd: SLOAD
00000cfe: DUP5
00000cff: DUP2
00000d00: LT
00000d01: ISZERO
00000d02: PUSH2 0x0d1d
00000d05: JUMPI
00000d06: PUSH1 0x40
00000d08: MLOAD
00000d09: PUSH3 0x461bcd
00000d0d: PUSH1 0xe5
00000d0f: SHL
00000d10: DUP2
00000d11: MSTORE
00000d12: PUSH1 0x04
00000d14: ADD
00000d15: PUSH2 0x07ef
00000d18: SWAP1
00000d19: PUSH2 0x27d0
00000d1c: JUMP
00000d1d: JUMPDEST
00000d1e: PUSH2 0x0d27
00000d21: DUP6
00000d22: DUP3
00000d23: PUSH2 0x286e
00000d26: JUMP
00000d27: JUMPDEST
00000d28: CALLER
00000d29: PUSH1 0x00
00000d2b: SWAP1
00000d2c: DUP2
00000d2d: MSTORE
00000d2e: PUSH1 0x02
00000d30: PUSH1 0x20
00000d32: MSTORE
00000d33: PUSH1 0x40
00000d35: DUP1
00000d36: DUP3
00000d37: KECCAK256
00000d38: SWAP3
00000d39: SWAP1
00000d3a: SWAP3
00000d3b: SSTORE
00000d3c: PUSH1 0x01
00000d3e: PUSH1 0x01
00000d40: PUSH1 0xa0
00000d42: SHL
00000d43: SUB
00000d44: DUP9
00000d45: AND
00000d46: DUP2
00000d47: MSTORE
00000d48: SWAP1
00000d49: DUP2
00000d4a: KECCAK256
00000d4b: DUP1
00000d4c: SLOAD
00000d4d: DUP8
00000d4e: SWAP3
00000d4f: SWAP1
00000d50: PUSH2 0x0d5a
00000d53: SWAP1
00000d54: DUP5
00000d55: SWAP1
00000d56: PUSH2 0x2856
00000d59: JUMP
00000d5a: JUMPDEST
00000d5b: SWAP1
00000d5c: SWAP2
00000d5d: SSTORE
00000d5e: POP
00000d5f: POP
00000d60: PUSH1 0x40
00000d62: MLOAD
00000d63: DUP6
00000d64: DUP2
00000d65: MSTORE
00000d66: PUSH1 0x01
00000d68: PUSH1 0x01
00000d6a: PUSH1 0xa0
00000d6c: SHL
00000d6d: SUB
00000d6e: DUP8
00000d6f: AND
00000d70: SWAP1
00000d71: CALLER
00000d72: SWAP1
00000d73: PUSH1 0x00
00000d75: DUP1
00000d76: MLOAD
00000d77: PUSH1 0x20
00000d79: PUSH2 0x292f
00000d7c: DUP4
00000d7d: CODECOPY
00000d7e: DUP2
00000d7f: MLOAD
00000d80: SWAP2
00000d81: MSTORE
00000d82: SWAP1
00000d83: PUSH1 0x20
00000d85: ADD
00000d86: PUSH1 0x40
00000d88: MLOAD
00000d89: DUP1
00000d8a: SWAP2
00000d8b: SUB
00000d8c: SWAP1
00000d8d: LOG3
00000d8e: PUSH1 0x40
00000d90: MLOAD
00000d91: PUSH4 0x5260769b
00000d96: PUSH1 0xe1
00000d98: SHL
00000d99: DUP2
00000d9a: MSTORE
00000d9b: PUSH1 0x01
00000d9d: PUSH1 0x01
00000d9f: PUSH1 0xa0
00000da1: SHL
00000da2: SUB
00000da3: DUP8
00000da4: AND
00000da5: SWAP1
00000da6: PUSH4 0xa4c0ed36
00000dab: SWAP1
00000dac: PUSH2 0x0dbf
00000daf: SWAP1
00000db0: CALLER
00000db1: SWAP1
00000db2: DUP10
00000db3: SWAP1
00000db4: DUP10
00000db5: SWAP1
00000db6: DUP10
00000db7: SWAP1
00000db8: PUSH1 0x04
00000dba: ADD
00000dbb: PUSH2 0x269a
00000dbe: JUMP
00000dbf: JUMPDEST
00000dc0: PUSH1 0x20
00000dc2: PUSH1 0x40
00000dc4: MLOAD
00000dc5: DUP1
00000dc6: DUP4
00000dc7: SUB
00000dc8: DUP2
00000dc9: PUSH1 0x00
00000dcb: DUP8
00000dcc: DUP1
00000dcd: EXTCODESIZE
00000dce: ISZERO
00000dcf: DUP1
00000dd0: ISZERO
00000dd1: PUSH2 0x0dd9
00000dd4: JUMPI
00000dd5: PUSH1 0x00
00000dd7: DUP1
00000dd8: REVERT
00000dd9: JUMPDEST
00000dda: POP
00000ddb: GAS
00000ddc: CALL
00000ddd: ISZERO
00000dde: DUP1
00000ddf: ISZERO
00000de0: PUSH2 0x0ded
00000de3: JUMPI
00000de4: RETURNDATASIZE
00000de5: PUSH1 0x00
00000de7: DUP1
00000de8: RETURNDATACOPY
00000de9: RETURNDATASIZE
00000dea: PUSH1 0x00
00000dec: REVERT
00000ded: JUMPDEST
00000dee: POP
00000def: POP
00000df0: POP
00000df1: POP
00000df2: PUSH1 0x40
00000df4: MLOAD
00000df5: RETURNDATASIZE
00000df6: PUSH1 0x1f
00000df8: NOT
00000df9: PUSH1 0x1f
00000dfb: DUP3
00000dfc: ADD
00000dfd: AND
00000dfe: DUP3
00000dff: ADD
00000e00: DUP1
00000e01: PUSH1 0x40
00000e03: MSTORE
00000e04: POP
00000e05: DUP2
00000e06: ADD
00000e07: SWAP1
00000e08: PUSH2 0x0e11
00000e0b: SWAP2
00000e0c: SWAP1
00000e0d: PUSH2 0x25ab
00000e10: JUMP
00000e11: JUMPDEST
00000e12: SWAP7
00000e13: SWAP6
00000e14: POP
00000e15: POP
00000e16: POP
00000e17: POP
00000e18: POP
00000e19: POP
00000e1a: JUMP
00000e1b: JUMPDEST
00000e1c: CALLER
00000e1d: PUSH1 0x00
00000e1f: SWAP1
00000e20: DUP2
00000e21: MSTORE
00000e22: PUSH1 0x06
00000e24: PUSH1 0x20
00000e26: MSTORE
00000e27: PUSH1 0x40
00000e29: DUP2
00000e2a: KECCAK256
00000e2b: SLOAD
00000e2c: PUSH1 0xff
00000e2e: AND
00000e2f: PUSH2 0x0e4a
00000e32: JUMPI
00000e33: PUSH1 0x40
00000e35: MLOAD
00000e36: PUSH3 0x461bcd
00000e3a: PUSH1 0xe5
00000e3c: SHL
00000e3d: DUP2
00000e3e: MSTORE
00000e3f: PUSH1 0x04
00000e41: ADD
00000e42: PUSH2 0x07ef
00000e45: SWAP1
00000e46: PUSH2 0x281f
00000e49: JUMP
00000e4a: JUMPDEST
00000e4b: PUSH2 0x0e54
00000e4e: DUP4
00000e4f: DUP4
00000e50: PUSH2 0x1cfc
00000e53: JUMP
00000e54: JUMPDEST
00000e55: POP
00000e56: PUSH1 0x01
00000e58: SWAP3
00000e59: SWAP2
00000e5a: POP
00000e5b: POP
00000e5c: JUMP
00000e5d: JUMPDEST
00000e5e: PUSH1 0x00
00000e60: PUSH2 0x0e67
00000e63: PUSH2 0x1b69
00000e66: JUMP
00000e67: JUMPDEST
00000e68: PUSH1 0x01
00000e6a: PUSH1 0x01
00000e6c: PUSH1 0xa0
00000e6e: SHL
00000e6f: SUB
00000e70: AND
00000e71: CALLER
00000e72: PUSH1 0x01
00000e74: PUSH1 0x01
00000e76: PUSH1 0xa0
00000e78: SHL
00000e79: SUB
00000e7a: AND
00000e7b: EQ
00000e7c: PUSH2 0x0e97
00000e7f: JUMPI
00000e80: PUSH1 0x40
00000e82: MLOAD
00000e83: PUSH3 0x461bcd
00000e87: PUSH1 0xe5
00000e89: SHL
00000e8a: DUP2
00000e8b: MSTORE
00000e8c: PUSH1 0x04
00000e8e: ADD
00000e8f: PUSH2 0x07ef
00000e92: SWAP1
00000e93: PUSH2 0x2762
00000e96: JUMP
00000e97: JUMPDEST
00000e98: PUSH1 0x01
00000e9a: PUSH1 0x01
00000e9c: PUSH1 0xa0
00000e9e: SHL
00000e9f: SUB
00000ea0: DUP3
00000ea1: AND
00000ea2: PUSH2 0x0ebd
00000ea5: JUMPI
00000ea6: PUSH1 0x40
00000ea8: MLOAD
00000ea9: PUSH3 0x461bcd
00000ead: PUSH1 0xe5
00000eaf: SHL
00000eb0: DUP2
00000eb1: MSTORE
00000eb2: PUSH1 0x04
00000eb4: ADD
00000eb5: PUSH2 0x07ef
00000eb8: SWAP1
00000eb9: PUSH2 0x2799
00000ebc: JUMP
00000ebd: JUMPDEST
00000ebe: PUSH1 0x0b
00000ec0: DUP1
00000ec1: SLOAD
00000ec2: PUSH1 0x01
00000ec4: PUSH1 0x01
00000ec6: PUSH1 0xa0
00000ec8: SHL
00000ec9: SUB
00000eca: NOT
00000ecb: AND
00000ecc: PUSH1 0x01
00000ece: PUSH1 0x01
00000ed0: PUSH1 0xa0
00000ed2: SHL
00000ed3: SUB
00000ed4: DUP5
00000ed5: AND
00000ed6: OR
00000ed7: SWAP1
00000ed8: SSTORE
00000ed9: PUSH1 0x05
00000edb: SLOAD
00000edc: PUSH2 0x0ee5
00000edf: SWAP1
00000ee0: TIMESTAMP
00000ee1: PUSH2 0x2856
00000ee4: JUMP
00000ee5: JUMPDEST
00000ee6: PUSH1 0x0c
00000ee8: DUP2
00000ee9: SWAP1
00000eea: SSTORE
00000eeb: PUSH1 0x0b
00000eed: SLOAD
00000eee: PUSH1 0x08
00000ef0: SLOAD
00000ef1: PUSH1 0x40
00000ef3: MLOAD
00000ef4: PUSH1 0x01
00000ef6: PUSH1 0x01
00000ef8: PUSH1 0xa0
00000efa: SHL
00000efb: SUB
00000efc: SWAP3
00000efd: DUP4
00000efe: AND
00000eff: SWAP3
00000f00: SWAP1
00000f01: SWAP2
00000f02: AND
00000f03: SWAP1
00000f04: PUSH32 0x1d065115f314fb9bad9557bd5460b9e3c66f7223b1dd04e73e828f0bb5afe89f
00000f25: SWAP1
00000f26: PUSH1 0x00
00000f28: SWAP1
00000f29: LOG4
00000f2a: POP
00000f2b: PUSH1 0x01
00000f2d: SWAP2
00000f2e: SWAP1
00000f2f: POP
00000f30: JUMP
00000f31: JUMPDEST
00000f32: PUSH1 0x00
00000f34: DUP5
00000f35: TIMESTAMP
00000f36: GT
00000f37: ISZERO
00000f38: PUSH2 0x0f83
00000f3b: JUMPI
00000f3c: PUSH1 0x40
00000f3e: MLOAD
00000f3f: PUSH3 0x461bcd
00000f43: PUSH1 0xe5
00000f45: SHL
00000f46: DUP2
00000f47: MSTORE
00000f48: PUSH1 0x20
00000f4a: PUSH1 0x04
00000f4c: DUP3
00000f4d: ADD
00000f4e: MSTORE
00000f4f: PUSH1 0x1e
00000f51: PUSH1 0x24
00000f53: DUP3
00000f54: ADD
00000f55: MSTORE
00000f56: PUSH32 0x416e7973776170563345524332303a2045787069726564207065726d69740000
00000f77: PUSH1 0x44
00000f79: DUP3
00000f7a: ADD
00000f7b: MSTORE
00000f7c: PUSH1 0x64
00000f7e: ADD
00000f7f: PUSH2 0x07ef
00000f82: JUMP
00000f83: JUMPDEST
00000f84: PUSH1 0x01
00000f86: PUSH1 0x01
00000f88: PUSH1 0xa0
00000f8a: SHL
00000f8b: SUB
00000f8c: DUP9
00000f8d: AND
00000f8e: PUSH1 0x00
00000f90: SWAP1
00000f91: DUP2
00000f92: MSTORE
00000f93: PUSH1 0x0f
00000f95: PUSH1 0x20
00000f97: MSTORE
00000f98: PUSH1 0x40
00000f9a: DUP2
00000f9b: KECCAK256
00000f9c: DUP1
00000f9d: SLOAD
00000f9e: PUSH32 0x42ce63790c28229c123925d83266e77c04d28784552ab68b350a9003226cbd59
00000fbf: SWAP2
00000fc0: DUP12
00000fc1: SWAP2
00000fc2: DUP12
00000fc3: SWAP2
00000fc4: DUP12
00000fc5: SWAP2
00000fc6: SWAP1
00000fc7: DUP7
00000fc8: PUSH2 0x0fd0
00000fcb: DUP4
00000fcc: PUSH2 0x28ec
00000fcf: JUMP
00000fd0: JUMPDEST
00000fd1: SWAP1
00000fd2: SWAP2
00000fd3: SSTORE
00000fd4: POP
00000fd5: PUSH1 0x40
00000fd7: DUP1
00000fd8: MLOAD
00000fd9: PUSH1 0x20
00000fdb: DUP2
00000fdc: ADD
00000fdd: SWAP7
00000fde: SWAP1
00000fdf: SWAP7
00000fe0: MSTORE
00000fe1: PUSH1 0x01
00000fe3: PUSH1 0x01
00000fe5: PUSH1 0xa0
00000fe7: SHL
00000fe8: SUB
00000fe9: SWAP5
00000fea: DUP6
00000feb: AND
00000fec: SWAP1
00000fed: DUP7
00000fee: ADD
00000fef: MSTORE
00000ff0: SWAP3
00000ff1: SWAP1
00000ff2: SWAP2
00000ff3: AND
00000ff4: PUSH1 0x60
00000ff6: DUP5
00000ff7: ADD
00000ff8: MSTORE
00000ff9: PUSH1 0x80
00000ffb: DUP4
00000ffc: ADD
00000ffd: MSTORE
00000ffe: PUSH1 0xa0
00001000: DUP3
00001001: ADD
00001002: MSTORE
00001003: PUSH1 0xc0
00001005: DUP2
00001006: ADD
00001007: DUP8
00001008: SWAP1
00001009: MSTORE
0000100a: PUSH1 0xe0
0000100c: ADD
0000100d: PUSH1 0x40
0000100f: MLOAD
00001010: PUSH1 0x20
00001012: DUP2
00001013: DUP4
00001014: SUB
00001015: SUB
00001016: DUP2
00001017: MSTORE
00001018: SWAP1
00001019: PUSH1 0x40
0000101b: MSTORE
0000101c: DUP1
0000101d: MLOAD
0000101e: SWAP1
0000101f: PUSH1 0x20
00001021: ADD
00001022: KECCAK256
00001023: SWAP1
00001024: POP
00001025: PUSH2 0x1031
00001028: DUP10
00001029: DUP3
0000102a: DUP8
0000102b: DUP8
0000102c: DUP8
0000102d: PUSH2 0x1dca
00001030: JUMP
00001031: JUMPDEST
00001032: DUP1
00001033: PUSH2 0x1044
00001036: JUMPI
00001037: POP
00001038: PUSH2 0x1044
0000103b: DUP10
0000103c: DUP3
0000103d: DUP8
0000103e: DUP8
0000103f: DUP8
00001040: PUSH2 0x1eba
00001043: JUMP
00001044: JUMPDEST
00001045: PUSH2 0x104d
00001048: JUMPI
00001049: PUSH1 0x00
0000104b: DUP1
0000104c: REVERT
0000104d: JUMPDEST
0000104e: PUSH1 0x01
00001050: PUSH1 0x01
00001052: PUSH1 0xa0
00001054: SHL
00001055: SUB
00001056: DUP9
00001057: AND
00001058: ISZERO
00001059: ISZERO
0000105a: DUP1
0000105b: PUSH2 0x106d
0000105e: JUMPI
0000105f: POP
00001060: PUSH1 0x01
00001062: PUSH1 0x01
00001064: PUSH1 0xa0
00001066: SHL
00001067: SUB
00001068: DUP9
00001069: AND
0000106a: ADDRESS
0000106b: EQ
0000106c: ISZERO
0000106d: JUMPDEST
0000106e: PUSH2 0x1076
00001071: JUMPI
00001072: PUSH1 0x00
00001074: DUP1
00001075: REVERT
00001076: JUMPDEST
00001077: PUSH1 0x01
00001079: PUSH1 0x01
0000107b: PUSH1 0xa0
0000107d: SHL
0000107e: SUB
0000107f: DUP10
00001080: AND
00001081: PUSH1 0x00
00001083: SWAP1
00001084: DUP2
00001085: MSTORE
00001086: PUSH1 0x02
00001088: PUSH1 0x20
0000108a: MSTORE
0000108b: PUSH1 0x40
0000108d: SWAP1
0000108e: KECCAK256
0000108f: SLOAD
00001090: DUP8
00001091: DUP2
00001092: LT
00001093: ISZERO
00001094: PUSH2 0x10af
00001097: JUMPI
00001098: PUSH1 0x40
0000109a: MLOAD
0000109b: PUSH3 0x461bcd
0000109f: PUSH1 0xe5
000010a1: SHL
000010a2: DUP2
000010a3: MSTORE
000010a4: PUSH1 0x04
000010a6: ADD
000010a7: PUSH2 0x07ef
000010aa: SWAP1
000010ab: PUSH2 0x27d0
000010ae: JUMP
000010af: JUMPDEST
000010b0: PUSH2 0x10b9
000010b3: DUP9
000010b4: DUP3
000010b5: PUSH2 0x286e
000010b8: JUMP
000010b9: JUMPDEST
000010ba: PUSH1 0x01
000010bc: PUSH1 0x01
000010be: PUSH1 0xa0
000010c0: SHL
000010c1: SUB
000010c2: DUP1
000010c3: DUP13
000010c4: AND
000010c5: PUSH1 0x00
000010c7: SWAP1
000010c8: DUP2
000010c9: MSTORE
000010ca: PUSH1 0x02
000010cc: PUSH1 0x20
000010ce: MSTORE
000010cf: PUSH1 0x40
000010d1: DUP1
000010d2: DUP3
000010d3: KECCAK256
000010d4: SWAP4
000010d5: SWAP1
000010d6: SWAP4
000010d7: SSTORE
000010d8: SWAP1
000010d9: DUP12
000010da: AND
000010db: DUP2
000010dc: MSTORE
000010dd: SWAP1
000010de: DUP2
000010df: KECCAK256
000010e0: DUP1
000010e1: SLOAD
000010e2: DUP11
000010e3: SWAP3
000010e4: SWAP1
000010e5: PUSH2 0x10ef
000010e8: SWAP1
000010e9: DUP5
000010ea: SWAP1
000010eb: PUSH2 0x2856
000010ee: JUMP
000010ef: JUMPDEST
000010f0: SWAP3
000010f1: POP
000010f2: POP
000010f3: DUP2
000010f4: SWAP1
000010f5: SSTORE
000010f6: POP
000010f7: DUP9
000010f8: PUSH1 0x01
000010fa: PUSH1 0x01
000010fc: PUSH1 0xa0
000010fe: SHL
000010ff: SUB
00001100: AND
00001101: DUP11
00001102: PUSH1 0x01
00001104: PUSH1 0x01
00001106: PUSH1 0xa0
00001108: SHL
00001109: SUB
0000110a: AND
0000110b: PUSH1 0x00
0000110d: DUP1
0000110e: MLOAD
0000110f: PUSH1 0x20
00001111: PUSH2 0x292f
00001114: DUP4
00001115: CODECOPY
00001116: DUP2
00001117: MLOAD
00001118: SWAP2
00001119: MSTORE
0000111a: DUP11
0000111b: PUSH1 0x40
0000111d: MLOAD
0000111e: PUSH2 0x1129
00001121: SWAP2
00001122: DUP2
00001123: MSTORE
00001124: PUSH1 0x20
00001126: ADD
00001127: SWAP1
00001128: JUMP
00001129: JUMPDEST
0000112a: PUSH1 0x40
0000112c: MLOAD
0000112d: DUP1
0000112e: SWAP2
0000112f: SUB
00001130: SWAP1
00001131: LOG3
00001132: POP
00001133: PUSH1 0x01
00001135: SWAP10
00001136: SWAP9
00001137: POP
00001138: POP
00001139: POP
0000113a: POP
0000113b: POP
0000113c: POP
0000113d: POP
0000113e: POP
0000113f: POP
00001140: JUMP
00001141: JUMPDEST
00001142: PUSH1 0x00
00001144: PUSH2 0x114b
00001147: PUSH2 0x1b69
0000114a: JUMP
0000114b: JUMPDEST
0000114c: PUSH1 0x01
0000114e: PUSH1 0x01
00001150: PUSH1 0xa0
00001152: SHL
00001153: SUB
00001154: AND
00001155: CALLER
00001156: PUSH1 0x01
00001158: PUSH1 0x01
0000115a: PUSH1 0xa0
0000115c: SHL
0000115d: SUB
0000115e: AND
0000115f: EQ
00001160: PUSH2 0x117b
00001163: JUMPI
00001164: PUSH1 0x40
00001166: MLOAD
00001167: PUSH3 0x461bcd
0000116b: PUSH1 0xe5
0000116d: SHL
0000116e: DUP2
0000116f: MSTORE
00001170: PUSH1 0x04
00001172: ADD
00001173: PUSH2 0x07ef
00001176: SWAP1
00001177: PUSH2 0x2762
0000117a: JUMP
0000117b: JUMPDEST
0000117c: PUSH1 0x01
0000117e: PUSH1 0x01
00001180: PUSH1 0xa0
00001182: SHL
00001183: SUB
00001184: DUP3
00001185: AND
00001186: PUSH2 0x11a1
00001189: JUMPI
0000118a: PUSH1 0x40
0000118c: MLOAD
0000118d: PUSH3 0x461bcd
00001191: PUSH1 0xe5
00001193: SHL
00001194: DUP2
00001195: MSTORE
00001196: PUSH1 0x04
00001198: ADD
00001199: PUSH2 0x07ef
0000119c: SWAP1
0000119d: PUSH2 0x2799
000011a0: JUMP
000011a1: JUMPDEST
000011a2: PUSH1 0x0b
000011a4: DUP1
000011a5: SLOAD
000011a6: PUSH1 0x01
000011a8: PUSH1 0x01
000011aa: PUSH1 0xa0
000011ac: SHL
000011ad: SUB
000011ae: NOT
000011af: AND
000011b0: PUSH1 0x01
000011b2: PUSH1 0x01
000011b4: PUSH1 0xa0
000011b6: SHL
000011b7: SUB
000011b8: DUP5
000011b9: AND
000011ba: OR
000011bb: SWAP1
000011bc: SSTORE
000011bd: PUSH1 0x05
000011bf: SLOAD
000011c0: PUSH2 0x11c9
000011c3: SWAP1
000011c4: TIMESTAMP
000011c5: PUSH2 0x2856
000011c8: JUMP
000011c9: JUMPDEST
000011ca: PUSH1 0x0c
000011cc: DUP2
000011cd: SWAP1
000011ce: SSTORE
000011cf: PUSH1 0x0b
000011d1: SLOAD
000011d2: PUSH1 0x08
000011d4: SLOAD
000011d5: PUSH1 0x40
000011d7: MLOAD
000011d8: PUSH1 0x01
000011da: PUSH1 0x01
000011dc: PUSH1 0xa0
000011de: SHL
000011df: SUB
000011e0: SWAP3
000011e1: DUP4
000011e2: AND
000011e3: SWAP3
000011e4: SWAP1
000011e5: SWAP2
000011e6: AND
000011e7: SWAP1
000011e8: PUSH32 0x5c364079e7102c27c608f9b237c735a1b7bfa0b67f27c2ad26bad447bf965cac
00001209: SWAP1
0000120a: PUSH1 0x00
0000120c: SWAP1
0000120d: LOG4
0000120e: POP
0000120f: PUSH1 0x01
00001211: SWAP2
00001212: SWAP1
00001213: POP
00001214: JUMP
00001215: JUMPDEST
00001216: PUSH1 0x04
00001218: SLOAD
00001219: PUSH1 0x00
0000121b: SWAP1
0000121c: PUSH2 0x0100
0000121f: SWAP1
00001220: DIV
00001221: PUSH1 0xff
00001223: AND
00001224: ISZERO
00001225: PUSH2 0x1270
00001228: JUMPI
00001229: PUSH1 0x40
0000122b: MLOAD
0000122c: PUSH3 0x461bcd
00001230: PUSH1 0xe5
00001232: SHL
00001233: DUP2
00001234: MSTORE
00001235: PUSH1 0x20
00001237: PUSH1 0x04
00001239: DUP3
0000123a: ADD
0000123b: MSTORE
0000123c: PUSH1 0x18
0000123e: PUSH1 0x24
00001240: DUP3
00001241: ADD
00001242: MSTORE
00001243: PUSH32 0x416e7973776170563445524332303a206f6e6c79417574680000000000000000
00001264: PUSH1 0x44
00001266: DUP3
00001267: ADD
00001268: MSTORE
00001269: PUSH1 0x64
0000126b: ADD
0000126c: PUSH2 0x07ef
0000126f: JUMP
00001270: JUMPDEST
00001271: PUSH1 0x01
00001273: PUSH1 0x01
00001275: PUSH1 0xa0
00001277: SHL
00001278: SUB
00001279: DUP3
0000127a: AND
0000127b: PUSH2 0x1296
0000127e: JUMPI
0000127f: PUSH1 0x40
00001281: MLOAD
00001282: PUSH3 0x461bcd
00001286: PUSH1 0xe5
00001288: SHL
00001289: DUP2
0000128a: MSTORE
0000128b: PUSH1 0x04
0000128d: ADD
0000128e: PUSH2 0x07ef
00001291: SWAP1
00001292: PUSH2 0x2799
00001295: JUMP
00001296: JUMPDEST
00001297: PUSH2 0x12a0
0000129a: CALLER
0000129b: DUP5
0000129c: PUSH2 0x1f75
0000129f: JUMP
000012a0: JUMPDEST
000012a1: PUSH1 0x40
000012a3: MLOAD
000012a4: DUP4
000012a5: DUP2
000012a6: MSTORE
000012a7: PUSH1 0x01
000012a9: PUSH1 0x01
000012ab: PUSH1 0xa0
000012ad: SHL
000012ae: SUB
000012af: DUP4
000012b0: AND
000012b1: SWAP1
000012b2: CALLER
000012b3: SWAP1
000012b4: PUSH32 0x6b616089d04950dc06c45c6dd787d657980543f89651aec47924752c7d16c888
000012d5: SWAP1
000012d6: PUSH1 0x20
000012d8: ADD
000012d9: PUSH2 0x08f6
000012dc: JUMP
000012dd: JUMPDEST
000012de: PUSH2 0x12e5
000012e1: PUSH2 0x1b69
000012e4: JUMP
000012e5: JUMPDEST
000012e6: PUSH1 0x01
000012e8: PUSH1 0x01
000012ea: PUSH1 0xa0
000012ec: SHL
000012ed: SUB
000012ee: AND
000012ef: CALLER
000012f0: PUSH1 0x01
000012f2: PUSH1 0x01
000012f4: PUSH1 0xa0
000012f6: SHL
000012f7: SUB
000012f8: AND
000012f9: EQ
000012fa: PUSH2 0x1315
000012fd: JUMPI
000012fe: PUSH1 0x40
00001300: MLOAD
00001301: PUSH3 0x461bcd
00001305: PUSH1 0xe5
00001307: SHL
00001308: DUP2
00001309: MSTORE
0000130a: PUSH1 0x04
0000130c: ADD
0000130d: PUSH2 0x07ef
00001310: SWAP1
00001311: PUSH2 0x2762
00001314: JUMP
00001315: JUMPDEST
00001316: PUSH1 0x0b
00001318: DUP1
00001319: SLOAD
0000131a: PUSH1 0x01
0000131c: PUSH1 0x01
0000131e: PUSH1 0xa0
00001320: SHL
00001321: SUB
00001322: NOT
00001323: AND
00001324: PUSH1 0x01
00001326: PUSH1 0x01
00001328: PUSH1 0xa0
0000132a: SHL
0000132b: SUB
0000132c: DUP4
0000132d: AND
0000132e: OR
0000132f: SWAP1
00001330: SSTORE
00001331: PUSH1 0x05
00001333: SLOAD
00001334: PUSH2 0x133d
00001337: SWAP1
00001338: TIMESTAMP
00001339: PUSH2 0x2856
0000133c: JUMP
0000133d: JUMPDEST
0000133e: PUSH1 0x0c
00001340: SSTORE
00001341: POP
00001342: JUMP
00001343: JUMPDEST
00001344: PUSH1 0x00
00001346: PUSH2 0x137a
00001349: PUSH1 0x01
0000134b: PUSH1 0x01
0000134d: PUSH1 0xa0
0000134f: SHL
00001350: SUB
00001351: PUSH32 0x000000000000000000000000a0b86991c6218b36c1d19d4a2e9eb0ce3606eb48
00001372: AND
00001373: CALLER
00001374: ADDRESS
00001375: DUP7
00001376: PUSH2 0x2047
00001379: JUMP
0000137a: JUMPDEST
0000137b: PUSH2 0x0818
0000137e: DUP4
0000137f: DUP4
00001380: PUSH2 0x20b8
00001383: JUMP
00001384: JUMPDEST
00001385: PUSH1 0x40
00001387: MLOAD
00001388: PUSH4 0xd505accf
0000138d: PUSH1 0xe0
0000138f: SHL
00001390: DUP2
00001391: MSTORE
00001392: PUSH1 0x00
00001394: SWAP1
00001395: PUSH1 0x01
00001397: PUSH1 0x01
00001399: PUSH1 0xa0
0000139b: SHL
0000139c: SUB
0000139d: PUSH32 0x000000000000000000000000a0b86991c6218b36c1d19d4a2e9eb0ce3606eb48
000013be: AND
000013bf: SWAP1
000013c0: PUSH4 0xd505accf
000013c5: SWAP1
000013c6: PUSH2 0x13df
000013c9: SWAP1
000013ca: DUP12
000013cb: SWAP1
000013cc: ADDRESS
000013cd: SWAP1
000013ce: DUP13
000013cf: SWAP1
000013d0: DUP13
000013d1: SWAP1
000013d2: DUP13
000013d3: SWAP1
000013d4: DUP13
000013d5: SWAP1
000013d6: DUP13
000013d7: SWAP1
000013d8: PUSH1 0x04
000013da: ADD
000013db: PUSH2 0x2659
000013de: JUMP
000013df: JUMPDEST
000013e0: PUSH1 0x00
000013e2: PUSH1 0x40
000013e4: MLOAD
000013e5: DUP1
000013e6: DUP4
000013e7: SUB
000013e8: DUP2
000013e9: PUSH1 0x00
000013eb: DUP8
000013ec: DUP1
000013ed: EXTCODESIZE
000013ee: ISZERO
000013ef: DUP1
000013f0: ISZERO
000013f1: PUSH2 0x13f9
000013f4: JUMPI
000013f5: PUSH1 0x00
000013f7: DUP1
000013f8: REVERT
000013f9: JUMPDEST
000013fa: POP
000013fb: GAS
000013fc: CALL
000013fd: ISZERO
000013fe: DUP1
000013ff: ISZERO
00001400: PUSH2 0x140d
00001403: JUMPI
00001404: RETURNDATASIZE
00001405: PUSH1 0x00
00001407: DUP1
00001408: RETURNDATACOPY
00001409: RETURNDATASIZE
0000140a: PUSH1 0x00
0000140c: REVERT
0000140d: JUMPDEST
0000140e: POP
0000140f: PUSH2 0x1448
00001412: SWAP3
00001413: POP
00001414: POP
00001415: PUSH1 0x01
00001417: PUSH1 0x01
00001419: PUSH1 0xa0
0000141b: SHL
0000141c: SUB
0000141d: PUSH32 0x000000000000000000000000a0b86991c6218b36c1d19d4a2e9eb0ce3606eb48
0000143e: AND
0000143f: SWAP1
00001440: POP
00001441: DUP10
00001442: ADDRESS
00001443: DUP11
00001444: PUSH2 0x2047
00001447: JUMP
00001448: JUMPDEST
00001449: PUSH2 0x1452
0000144c: DUP8
0000144d: DUP4
0000144e: PUSH2 0x20b8
00001451: JUMP
00001452: JUMPDEST
00001453: SWAP9
00001454: SWAP8
00001455: POP
00001456: POP
00001457: POP
00001458: POP
00001459: POP
0000145a: POP
0000145b: POP
0000145c: POP
0000145d: JUMP
0000145e: JUMPDEST
0000145f: PUSH1 0x07
00001461: DUP2
00001462: DUP2
00001463: SLOAD
00001464: DUP2
00001465: LT
00001466: PUSH2 0x146e
00001469: JUMPI
0000146a: PUSH1 0x00
0000146c: DUP1
0000146d: REVERT
0000146e: JUMPDEST
0000146f: PUSH1 0x00
00001471: SWAP2
00001472: DUP3
00001473: MSTORE
00001474: PUSH1 0x20
00001476: SWAP1
00001477: SWAP2
00001478: KECCAK256
00001479: ADD
0000147a: SLOAD
0000147b: PUSH1 0x01
0000147d: PUSH1 0x01
0000147f: PUSH1 0xa0
00001481: SHL
00001482: SUB
00001483: AND
00001484: SWAP1
00001485: POP
00001486: DUP2
00001487: JUMP
00001488: JUMPDEST
00001489: PUSH1 0x00
0000148b: PUSH2 0x0cbd
0000148e: PUSH2 0x1b69
00001491: JUMP
00001492: JUMPDEST
00001493: PUSH1 0x01
00001495: DUP1
00001496: SLOAD
00001497: PUSH2 0x082c
0000149a: SWAP1
0000149b: PUSH2 0x28b1
0000149e: JUMP
0000149f: JUMPDEST
000014a0: CALLER
000014a1: PUSH1 0x00
000014a3: SWAP1
000014a4: DUP2
000014a5: MSTORE
000014a6: PUSH1 0x06
000014a8: PUSH1 0x20
000014aa: MSTORE
000014ab: PUSH1 0x40
000014ad: DUP2
000014ae: KECCAK256
000014af: SLOAD
000014b0: PUSH1 0xff
000014b2: AND
000014b3: PUSH2 0x14ce
000014b6: JUMPI
000014b7: PUSH1 0x40
000014b9: MLOAD
000014ba: PUSH3 0x461bcd
000014be: PUSH1 0xe5
000014c0: SHL
000014c1: DUP2
000014c2: MSTORE
000014c3: PUSH1 0x04
000014c5: ADD
000014c6: PUSH2 0x07ef
000014c9: SWAP1
000014ca: PUSH2 0x281f
000014cd: JUMP
000014ce: JUMPDEST
000014cf: PUSH1 0x01
000014d1: PUSH1 0x01
000014d3: PUSH1 0xa0
000014d5: SHL
000014d6: SUB
000014d7: DUP4
000014d8: AND
000014d9: PUSH2 0x14f4
000014dc: JUMPI
000014dd: PUSH1 0x40
000014df: MLOAD
000014e0: PUSH3 0x461bcd
000014e4: PUSH1 0xe5
000014e6: SHL
000014e7: DUP2
000014e8: MSTORE
000014e9: PUSH1 0x04
000014eb: ADD
000014ec: PUSH2 0x07ef
000014ef: SWAP1
000014f0: PUSH2 0x2799
000014f3: JUMP
000014f4: JUMPDEST
000014f5: PUSH2 0x0e54
000014f8: DUP4
000014f9: DUP4
000014fa: PUSH2 0x1f75
000014fd: JUMP
000014fe: JUMPDEST
000014ff: PUSH1 0x60
00001501: PUSH1 0x07
00001503: DUP1
00001504: SLOAD
00001505: DUP1
00001506: PUSH1 0x20
00001508: MUL
00001509: PUSH1 0x20
0000150b: ADD
0000150c: PUSH1 0x40
0000150e: MLOAD
0000150f: SWAP1
00001510: DUP2
00001511: ADD
00001512: PUSH1 0x40
00001514: MSTORE
00001515: DUP1
00001516: SWAP3
00001517: SWAP2
00001518: SWAP1
00001519: DUP2
0000151a: DUP2
0000151b: MSTORE
0000151c: PUSH1 0x20
0000151e: ADD
0000151f: DUP3
00001520: DUP1
00001521: SLOAD
00001522: DUP1
00001523: ISZERO
00001524: PUSH2 0x1556
00001527: JUMPI
00001528: PUSH1 0x20
0000152a: MUL
0000152b: DUP3
0000152c: ADD
0000152d: SWAP2
0000152e: SWAP1
0000152f: PUSH1 0x00
00001531: MSTORE
00001532: PUSH1 0x20
00001534: PUSH1 0x00
00001536: KECCAK256
00001537: SWAP1
00001538: JUMPDEST
00001539: DUP2
0000153a: SLOAD
0000153b: PUSH1 0x01
0000153d: PUSH1 0x01
0000153f: PUSH1 0xa0
00001541: SHL
00001542: SUB
00001543: AND
00001544: DUP2
00001545: MSTORE
00001546: PUSH1 0x01
00001548: SWAP1
00001549: SWAP2
0000154a: ADD
0000154b: SWAP1
0000154c: PUSH1 0x20
0000154e: ADD
0000154f: DUP1
00001550: DUP4
00001551: GT
00001552: PUSH2 0x1538
00001555: JUMPI
00001556: JUMPDEST
00001557: POP
00001558: POP
00001559: POP
0000155a: POP
0000155b: POP
0000155c: SWAP1
0000155d: POP
0000155e: SWAP1
0000155f: JUMP
00001560: JUMPDEST
00001561: PUSH1 0x00
00001563: PUSH1 0x01
00001565: PUSH1 0x01
00001567: PUSH1 0xa0
00001569: SHL
0000156a: SUB
0000156b: DUP4
0000156c: AND
0000156d: ISZERO
0000156e: ISZERO
0000156f: DUP1
00001570: PUSH2 0x1582
00001573: JUMPI
00001574: POP
00001575: PUSH1 0x01
00001577: PUSH1 0x01
00001579: PUSH1 0xa0
0000157b: SHL
0000157c: SUB
0000157d: DUP4
0000157e: AND
0000157f: ADDRESS
00001580: EQ
00001581: ISZERO
00001582: JUMPDEST
00001583: PUSH2 0x158b
00001586: JUMPI
00001587: PUSH1 0x00
00001589: DUP1
0000158a: REVERT
0000158b: JUMPDEST
0000158c: CALLER
0000158d: PUSH1 0x00
0000158f: SWAP1
00001590: DUP2
00001591: MSTORE
00001592: PUSH1 0x02
00001594: PUSH1 0x20
00001596: MSTORE
00001597: PUSH1 0x40
00001599: SWAP1
0000159a: KECCAK256
0000159b: SLOAD
0000159c: DUP3
0000159d: DUP2
0000159e: LT
0000159f: ISZERO
000015a0: PUSH2 0x15bb
000015a3: JUMPI
000015a4: PUSH1 0x40
000015a6: MLOAD
000015a7: PUSH3 0x461bcd
000015ab: PUSH1 0xe5
000015ad: SHL
000015ae: DUP2
000015af: MSTORE
000015b0: PUSH1 0x04
000015b2: ADD
000015b3: PUSH2 0x07ef
000015b6: SWAP1
000015b7: PUSH2 0x27d0
000015ba: JUMP
000015bb: JUMPDEST
000015bc: PUSH2 0x15c5
000015bf: DUP4
000015c0: DUP3
000015c1: PUSH2 0x286e
000015c4: JUMP
000015c5: JUMPDEST
000015c6: CALLER
000015c7: PUSH1 0x00
000015c9: SWAP1
000015ca: DUP2
000015cb: MSTORE
000015cc: PUSH1 0x02
000015ce: PUSH1 0x20
000015d0: MSTORE
000015d1: PUSH1 0x40
000015d3: DUP1
000015d4: DUP3
000015d5: KECCAK256
000015d6: SWAP3
000015d7: SWAP1
000015d8: SWAP3
000015d9: SSTORE
000015da: PUSH1 0x01
000015dc: PUSH1 0x01
000015de: PUSH1 0xa0
000015e0: SHL
000015e1: SUB
000015e2: DUP7
000015e3: AND
000015e4: DUP2
000015e5: MSTORE
000015e6: SWAP1
000015e7: DUP2
000015e8: KECCAK256
000015e9: DUP1
000015ea: SLOAD
000015eb: DUP6
000015ec: SWAP3
000015ed: SWAP1
000015ee: PUSH2 0x15f8
000015f1: SWAP1
000015f2: DUP5
000015f3: SWAP1
000015f4: PUSH2 0x2856
000015f7: JUMP
000015f8: JUMPDEST
000015f9: SWAP1
000015fa: SWAP2
000015fb: SSTORE
000015fc: POP
000015fd: POP
000015fe: PUSH1 0x40
00001600: MLOAD
00001601: DUP4
00001602: DUP2
00001603: MSTORE
00001604: PUSH1 0x01
00001606: PUSH1 0x01
00001608: PUSH1 0xa0
0000160a: SHL
0000160b: SUB
0000160c: DUP6
0000160d: AND
0000160e: SWAP1
0000160f: CALLER
00001610: SWAP1
00001611: PUSH1 0x00
00001613: DUP1
00001614: MLOAD
00001615: PUSH1 0x20
00001617: PUSH2 0x292f
0000161a: DUP4
0000161b: CODECOPY
0000161c: DUP2
0000161d: MLOAD
0000161e: SWAP2
0000161f: MSTORE
00001620: SWAP1
00001621: PUSH1 0x20
00001623: ADD
00001624: JUMPDEST
00001625: PUSH1 0x40
00001627: MLOAD
00001628: DUP1
00001629: SWAP2
0000162a: SUB
0000162b: SWAP1
0000162c: LOG3
0000162d: POP
0000162e: PUSH1 0x01
00001630: SWAP4
00001631: SWAP3
00001632: POP
00001633: POP
00001634: POP
00001635: JUMP
00001636: JUMPDEST
00001637: PUSH1 0x00
00001639: PUSH2 0x166d
0000163c: PUSH1 0x01
0000163e: PUSH1 0x01
00001640: PUSH1 0xa0
00001642: SHL
00001643: SUB
00001644: PUSH32 0x000000000000000000000000a0b86991c6218b36c1d19d4a2e9eb0ce3606eb48
00001665: AND
00001666: CALLER
00001667: ADDRESS
00001668: DUP6
00001669: PUSH2 0x2047
0000166c: JUMP
0000166d: JUMPDEST
0000166e: PUSH2 0x0bc2
00001671: DUP3
00001672: CALLER
00001673: PUSH2 0x20b8
00001676: JUMP
00001677: JUMPDEST
00001678: PUSH1 0x00
0000167a: PUSH2 0x1681
0000167d: PUSH2 0x1b69
00001680: JUMP
00001681: JUMPDEST
00001682: PUSH1 0x01
00001684: PUSH1 0x01
00001686: PUSH1 0xa0
00001688: SHL
00001689: SUB
0000168a: AND
0000168b: CALLER
0000168c: PUSH1 0x01
0000168e: PUSH1 0x01
00001690: PUSH1 0xa0
00001692: SHL
00001693: SUB
00001694: AND
00001695: EQ
00001696: PUSH2 0x137a
00001699: JUMPI
0000169a: PUSH1 0x40
0000169c: MLOAD
0000169d: PUSH3 0x461bcd
000016a1: PUSH1 0xe5
000016a3: SHL
000016a4: DUP2
000016a5: MSTORE
000016a6: PUSH1 0x04
000016a8: ADD
000016a9: PUSH2 0x07ef
000016ac: SWAP1
000016ad: PUSH2 0x2762
000016b0: JUMP
000016b1: JUMPDEST
000016b2: PUSH2 0x16b9
000016b5: PUSH2 0x1b69
000016b8: JUMP
000016b9: JUMPDEST
000016ba: PUSH1 0x01
000016bc: PUSH1 0x01
000016be: PUSH1 0xa0
000016c0: SHL
000016c1: SUB
000016c2: AND
000016c3: CALLER
000016c4: PUSH1 0x01
000016c6: PUSH1 0x01
000016c8: PUSH1 0xa0
000016ca: SHL
000016cb: SUB
000016cc: AND
000016cd: EQ
000016ce: PUSH2 0x16e9
000016d1: JUMPI
000016d2: PUSH1 0x40
000016d4: MLOAD
000016d5: PUSH3 0x461bcd
000016d9: PUSH1 0xe5
000016db: SHL
000016dc: DUP2
000016dd: MSTORE
000016de: PUSH1 0x04
000016e0: ADD
000016e1: PUSH2 0x07ef
000016e4: SWAP1
000016e5: PUSH2 0x2762
000016e8: JUMP
000016e9: JUMPDEST
000016ea: PUSH1 0x04
000016ec: DUP1
000016ed: SLOAD
000016ee: SWAP2
000016ef: ISZERO
000016f0: ISZERO
000016f1: PUSH2 0x0100
000016f4: MUL
000016f5: PUSH2 0xff00
000016f8: NOT
000016f9: SWAP1
000016fa: SWAP3
000016fb: AND
000016fc: SWAP2
000016fd: SWAP1
000016fe: SWAP2
000016ff: OR
00001700: SWAP1
00001701: SSTORE
00001702: JUMP
00001703: JUMPDEST
00001704: CALLER
00001705: PUSH1 0x00
00001707: DUP2
00001708: DUP2
00001709: MSTORE
0000170a: PUSH1 0x10
0000170c: PUSH1 0x20
0000170e: SWAP1
0000170f: DUP2
00001710: MSTORE
00001711: PUSH1 0x40
00001713: DUP1
00001714: DUP4
00001715: KECCAK256
00001716: PUSH1 0x01
00001718: PUSH1 0x01
0000171a: PUSH1 0xa0
0000171c: SHL
0000171d: SUB
0000171e: DUP10
0000171f: AND
00001720: DUP1
00001721: DUP6
00001722: MSTORE
00001723: SWAP3
00001724: MSTORE
00001725: DUP1
00001726: DUP4
00001727: KECCAK256
00001728: DUP8
00001729: SWAP1
0000172a: SSTORE
0000172b: MLOAD
0000172c: SWAP2
0000172d: SWAP3
0000172e: SWAP1
0000172f: SWAP2
00001730: PUSH1 0x00
00001732: DUP1
00001733: MLOAD
00001734: PUSH1 0x20
00001736: PUSH2 0x294f
00001739: DUP4
0000173a: CODECOPY
0000173b: DUP2
0000173c: MLOAD
0000173d: SWAP2
0000173e: MSTORE
0000173f: SWAP1
00001740: PUSH2 0x174c
00001743: SWAP1
00001744: DUP9
00001745: DUP2
00001746: MSTORE
00001747: PUSH1 0x20
00001749: ADD
0000174a: SWAP1
0000174b: JUMP
0000174c: JUMPDEST
0000174d: PUSH1 0x40
0000174f: MLOAD
00001750: DUP1
00001751: SWAP2
00001752: SUB
00001753: SWAP1
00001754: LOG3
00001755: PUSH1 0x40
00001757: MLOAD
00001758: PUSH3 0xba451f
0000175c: PUSH1 0xe0
0000175e: SHL
0000175f: DUP2
00001760: MSTORE
00001761: PUSH1 0x01
00001763: PUSH1 0x01
00001765: PUSH1 0xa0
00001767: SHL
00001768: SUB
00001769: DUP7
0000176a: AND
0000176b: SWAP1
0000176c: PUSH3 0xba451f
00001770: SWAP1
00001771: PUSH2 0x1784
00001774: SWAP1
00001775: CALLER
00001776: SWAP1
00001777: DUP9
00001778: SWAP1
00001779: DUP9
0000177a: SWAP1
0000177b: DUP9
0000177c: SWAP1
0000177d: PUSH1 0x04
0000177f: ADD
00001780: PUSH2 0x269a
00001783: JUMP
00001784: JUMPDEST
00001785: PUSH1 0x20
00001787: PUSH1 0x40
00001789: MLOAD
0000178a: DUP1
0000178b: DUP4
0000178c: SUB
0000178d: DUP2
0000178e: PUSH1 0x00
00001790: DUP8
00001791: DUP1
00001792: EXTCODESIZE
00001793: ISZERO
00001794: DUP1
00001795: ISZERO
00001796: PUSH2 0x179e
00001799: JUMPI
0000179a: PUSH1 0x00
0000179c: DUP1
0000179d: REVERT
0000179e: JUMPDEST
0000179f: POP
000017a0: GAS
000017a1: CALL
000017a2: ISZERO
000017a3: DUP1
000017a4: ISZERO
000017a5: PUSH2 0x17b2
000017a8: JUMPI
000017a9: RETURNDATASIZE
000017aa: PUSH1 0x00
000017ac: DUP1
000017ad: RETURNDATACOPY
000017ae: RETURNDATASIZE
000017af: PUSH1 0x00
000017b1: REVERT
000017b2: JUMPDEST
000017b3: POP
000017b4: POP
000017b5: POP
000017b6: POP
000017b7: PUSH1 0x40
000017b9: MLOAD
000017ba: RETURNDATASIZE
000017bb: PUSH1 0x1f
000017bd: NOT
000017be: PUSH1 0x1f
000017c0: DUP3
000017c1: ADD
000017c2: AND
000017c3: DUP3
000017c4: ADD
000017c5: DUP1
000017c6: PUSH1 0x40
000017c8: MSTORE
000017c9: POP
000017ca: DUP2
000017cb: ADD
000017cc: SWAP1
000017cd: PUSH2 0x17d6
000017d0: SWAP2
000017d1: SWAP1
000017d2: PUSH2 0x25ab
000017d5: JUMP
000017d6: JUMPDEST
000017d7: SWAP6
000017d8: SWAP5
000017d9: POP
000017da: POP
000017db: POP
000017dc: POP
000017dd: POP
000017de: JUMP
000017df: JUMPDEST
000017e0: PUSH2 0x17e7
000017e3: PUSH2 0x1b69
000017e6: JUMP
000017e7: JUMPDEST
000017e8: PUSH1 0x01
000017ea: PUSH1 0x01
000017ec: PUSH1 0xa0
000017ee: SHL
000017ef: SUB
000017f0: AND
000017f1: CALLER
000017f2: PUSH1 0x01
000017f4: PUSH1 0x01
000017f6: PUSH1 0xa0
000017f8: SHL
000017f9: SUB
000017fa: AND
000017fb: EQ
000017fc: PUSH2 0x1817
000017ff: JUMPI
00001800: PUSH1 0x40
00001802: MLOAD
00001803: PUSH3 0x461bcd
00001807: PUSH1 0xe5
00001809: SHL
0000180a: DUP2
0000180b: MSTORE
0000180c: PUSH1 0x04
0000180e: ADD
0000180f: PUSH2 0x07ef
00001812: SWAP1
00001813: PUSH2 0x2762
00001816: JUMP
00001817: JUMPDEST
00001818: PUSH1 0x01
0000181a: PUSH1 0x01
0000181c: PUSH1 0xa0
0000181e: SHL
0000181f: SUB
00001820: AND
00001821: PUSH1 0x00
00001823: SWAP1
00001824: DUP2
00001825: MSTORE
00001826: PUSH1 0x06
00001828: PUSH1 0x20
0000182a: MSTORE
0000182b: PUSH1 0x40
0000182d: SWAP1
0000182e: KECCAK256
0000182f: DUP1
00001830: SLOAD
00001831: PUSH1 0xff
00001833: NOT
00001834: AND
00001835: SWAP1
00001836: SSTORE
00001837: JUMP
00001838: JUMPDEST
00001839: PUSH1 0x40
0000183b: MLOAD
0000183c: PUSH4 0x70a08231
00001841: PUSH1 0xe0
00001843: SHL
00001844: DUP2
00001845: MSTORE
00001846: CALLER
00001847: PUSH1 0x04
00001849: DUP3
0000184a: ADD
0000184b: MSTORE
0000184c: PUSH1 0x00
0000184e: SWAP1
0000184f: DUP2
00001850: SWAP1
00001851: PUSH1 0x01
00001853: PUSH1 0x01
00001855: PUSH1 0xa0
00001857: SHL
00001858: SUB
00001859: PUSH32 0x000000000000000000000000a0b86991c6218b36c1d19d4a2e9eb0ce3606eb48
0000187a: AND
0000187b: SWAP1
0000187c: PUSH4 0x70a08231
00001881: SWAP1
00001882: PUSH1 0x24
00001884: ADD
00001885: PUSH1 0x20
00001887: PUSH1 0x40
00001889: MLOAD
0000188a: DUP1
0000188b: DUP4
0000188c: SUB
0000188d: DUP2
0000188e: DUP7
0000188f: DUP1
00001890: EXTCODESIZE
00001891: ISZERO
00001892: DUP1
00001893: ISZERO
00001894: PUSH2 0x189c
00001897: JUMPI
00001898: PUSH1 0x00
0000189a: DUP1
0000189b: REVERT
0000189c: JUMPDEST
0000189d: POP
0000189e: GAS
0000189f: STATICCALL
000018a0: ISZERO
000018a1: DUP1
000018a2: ISZERO
000018a3: PUSH2 0x18b0
000018a6: JUMPI
000018a7: RETURNDATASIZE
000018a8: PUSH1 0x00
000018aa: DUP1
000018ab: RETURNDATACOPY
000018ac: RETURNDATASIZE
000018ad: PUSH1 0x00
000018af: REVERT
000018b0: JUMPDEST
000018b1: POP
000018b2: POP
000018b3: POP
000018b4: POP
000018b5: PUSH1 0x40
000018b7: MLOAD
000018b8: RETURNDATASIZE
000018b9: PUSH1 0x1f
000018bb: NOT
000018bc: PUSH1 0x1f
000018be: DUP3
000018bf: ADD
000018c0: AND
000018c1: DUP3
000018c2: ADD
000018c3: DUP1
000018c4: PUSH1 0x40
000018c6: MSTORE
000018c7: POP
000018c8: DUP2
000018c9: ADD
000018ca: SWAP1
000018cb: PUSH2 0x18d4
000018ce: SWAP2
000018cf: SWAP1
000018d0: PUSH2 0x2603
000018d3: JUMP
000018d4: JUMPDEST
000018d5: SWAP1
000018d6: POP
000018d7: PUSH2 0x190b
000018da: PUSH1 0x01
000018dc: PUSH1 0x01
000018de: PUSH1 0xa0
000018e0: SHL
000018e1: SUB
000018e2: PUSH32 0x000000000000000000000000a0b86991c6218b36c1d19d4a2e9eb0ce3606eb48
00001903: AND
00001904: CALLER
00001905: ADDRESS
00001906: DUP5
00001907: PUSH2 0x2047
0000190a: JUMP
0000190b: JUMPDEST
0000190c: PUSH2 0x1915
0000190f: DUP2
00001910: CALLER
00001911: PUSH2 0x20b8
00001914: JUMP
00001915: JUMPDEST
00001916: SWAP2
00001917: POP
00001918: POP
00001919: SWAP1
0000191a: JUMP
0000191b: JUMPDEST
0000191c: DUP4
0000191d: TIMESTAMP
0000191e: GT
0000191f: ISZERO
00001920: PUSH2 0x196b
00001923: JUMPI
00001924: PUSH1 0x40
00001926: MLOAD
00001927: PUSH3 0x461bcd
0000192b: PUSH1 0xe5
0000192d: SHL
0000192e: DUP2
0000192f: MSTORE
00001930: PUSH1 0x20
00001932: PUSH1 0x04
00001934: DUP3
00001935: ADD
00001936: MSTORE
00001937: PUSH1 0x1e
00001939: PUSH1 0x24
0000193b: DUP3
0000193c: ADD
0000193d: MSTORE
0000193e: PUSH32 0x416e7973776170563345524332303a2045787069726564207065726d69740000
0000195f: PUSH1 0x44
00001961: DUP3
00001962: ADD
00001963: MSTORE
00001964: PUSH1 0x64
00001966: ADD
00001967: PUSH2 0x07ef
0000196a: JUMP
0000196b: JUMPDEST
0000196c: PUSH1 0x01
0000196e: PUSH1 0x01
00001970: PUSH1 0xa0
00001972: SHL
00001973: SUB
00001974: DUP8
00001975: AND
00001976: PUSH1 0x00
00001978: SWAP1
00001979: DUP2
0000197a: MSTORE
0000197b: PUSH1 0x0f
0000197d: PUSH1 0x20
0000197f: MSTORE
00001980: PUSH1 0x40
00001982: DUP2
00001983: KECCAK256
00001984: DUP1
00001985: SLOAD
00001986: PUSH32 0x6e71edae12b1b97f4d1f60370fef10105fa2faae0126114a169c64845d6126c9
000019a7: SWAP2
000019a8: DUP11
000019a9: SWAP2
000019aa: DUP11
000019ab: SWAP2
000019ac: DUP11
000019ad: SWAP2
000019ae: SWAP1
000019af: DUP7
000019b0: PUSH2 0x19b8
000019b3: DUP4
000019b4: PUSH2 0x28ec
000019b7: JUMP
000019b8: JUMPDEST
000019b9: SWAP1
000019ba: SWAP2
000019bb: SSTORE
000019bc: POP
000019bd: PUSH1 0x40
000019bf: DUP1
000019c0: MLOAD
000019c1: PUSH1 0x20
000019c3: DUP2
000019c4: ADD
000019c5: SWAP7
000019c6: SWAP1
000019c7: SWAP7
000019c8: MSTORE
000019c9: PUSH1 0x01
000019cb: PUSH1 0x01
000019cd: PUSH1 0xa0
000019cf: SHL
000019d0: SUB
000019d1: SWAP5
000019d2: DUP6
000019d3: AND
000019d4: SWAP1
000019d5: DUP7
000019d6: ADD
000019d7: MSTORE
000019d8: SWAP3
000019d9: SWAP1
000019da: SWAP2
000019db: AND
000019dc: PUSH1 0x60
000019de: DUP5
000019df: ADD
000019e0: MSTORE
000019e1: PUSH1 0x80
000019e3: DUP4
000019e4: ADD
000019e5: MSTORE
000019e6: PUSH1 0xa0
000019e8: DUP3
000019e9: ADD
000019ea: MSTORE
000019eb: PUSH1 0xc0
000019ed: DUP2
000019ee: ADD
000019ef: DUP7
000019f0: SWAP1
000019f1: MSTORE
000019f2: PUSH1 0xe0
000019f4: ADD
000019f5: PUSH1 0x40
000019f7: MLOAD
000019f8: PUSH1 0x20
000019fa: DUP2
000019fb: DUP4
000019fc: SUB
000019fd: SUB
000019fe: DUP2
000019ff: MSTORE
00001a00: SWAP1
00001a01: PUSH1 0x40
00001a03: MSTORE
00001a04: DUP1
00001a05: MLOAD
00001a06: SWAP1
00001a07: PUSH1 0x20
00001a09: ADD
00001a0a: KECCAK256
00001a0b: SWAP1
00001a0c: POP
00001a0d: PUSH2 0x1a19
00001a10: DUP9
00001a11: DUP3
00001a12: DUP7
00001a13: DUP7
00001a14: DUP7
00001a15: PUSH2 0x1dca
00001a18: JUMP
00001a19: JUMPDEST
00001a1a: DUP1
00001a1b: PUSH2 0x1a2c
00001a1e: JUMPI
00001a1f: POP
00001a20: PUSH2 0x1a2c
00001a23: DUP9
00001a24: DUP3
00001a25: DUP7
00001a26: DUP7
00001a27: DUP7
00001a28: PUSH2 0x1eba
00001a2b: JUMP
00001a2c: JUMPDEST
00001a2d: PUSH2 0x1a35
00001a30: JUMPI
00001a31: PUSH1 0x00
00001a33: DUP1
00001a34: REVERT
00001a35: JUMPDEST
00001a36: PUSH1 0x01
00001a38: PUSH1 0x01
00001a3a: PUSH1 0xa0
00001a3c: SHL
00001a3d: SUB
00001a3e: DUP9
00001a3f: DUP2
00001a40: AND
00001a41: PUSH1 0x00
00001a43: DUP2
00001a44: DUP2
00001a45: MSTORE
00001a46: PUSH1 0x10
00001a48: PUSH1 0x20
00001a4a: SWAP1
00001a4b: DUP2
00001a4c: MSTORE
00001a4d: PUSH1 0x40
00001a4f: DUP1
00001a50: DUP4
00001a51: KECCAK256
00001a52: SWAP5
00001a53: DUP13
00001a54: AND
00001a55: DUP1
00001a56: DUP5
00001a57: MSTORE
00001a58: SWAP5
00001a59: DUP3
00001a5a: MSTORE
00001a5b: SWAP2
00001a5c: DUP3
00001a5d: SWAP1
00001a5e: KECCAK256
00001a5f: DUP11
00001a60: SWAP1
00001a61: SSTORE
00001a62: SWAP1
00001a63: MLOAD
00001a64: DUP10
00001a65: DUP2
00001a66: MSTORE
00001a67: PUSH1 0x00
00001a69: DUP1
00001a6a: MLOAD
00001a6b: PUSH1 0x20
00001a6d: PUSH2 0x294f
00001a70: DUP4
00001a71: CODECOPY
00001a72: DUP2
00001a73: MLOAD
00001a74: SWAP2
00001a75: MSTORE
00001a76: SWAP2
00001a77: ADD
00001a78: PUSH1 0x40
00001a7a: MLOAD
00001a7b: DUP1
00001a7c: SWAP2
00001a7d: SUB
00001a7e: SWAP1
00001a7f: LOG3
00001a80: POP
00001a81: POP
00001a82: POP
00001a83: POP
00001a84: POP
00001a85: POP
00001a86: POP
00001a87: POP
00001a88: JUMP
00001a89: JUMPDEST
00001a8a: PUSH2 0x1a91
00001a8d: PUSH2 0x1b69
00001a90: JUMP
00001a91: JUMPDEST
00001a92: PUSH1 0x01
00001a94: PUSH1 0x01
00001a96: PUSH1 0xa0
00001a98: SHL
00001a99: SUB
00001a9a: AND
00001a9b: CALLER
00001a9c: PUSH1 0x01
00001a9e: PUSH1 0x01
00001aa0: PUSH1 0xa0
00001aa2: SHL
00001aa3: SUB
00001aa4: AND
00001aa5: EQ
00001aa6: PUSH2 0x1ac1
00001aa9: JUMPI
00001aaa: PUSH1 0x40
00001aac: MLOAD
00001aad: PUSH3 0x461bcd
00001ab1: PUSH1 0xe5
00001ab3: SHL
00001ab4: DUP2
00001ab5: MSTORE
00001ab6: PUSH1 0x04
00001ab8: ADD
00001ab9: PUSH2 0x07ef
00001abc: SWAP1
00001abd: PUSH2 0x2762
00001ac0: JUMP
00001ac1: JUMPDEST
00001ac2: PUSH1 0x0c
00001ac4: SLOAD
00001ac5: TIMESTAMP
00001ac6: LT
00001ac7: ISZERO
00001ac8: PUSH2 0x1ad0
00001acb: JUMPI
00001acc: PUSH1 0x00
00001ace: DUP1
00001acf: REVERT
00001ad0: JUMPDEST
00001ad1: PUSH1 0x0b
00001ad3: SLOAD
00001ad4: PUSH1 0x08
00001ad6: DUP1
00001ad7: SLOAD
00001ad8: PUSH1 0x01
00001ada: PUSH1 0x01
00001adc: PUSH1 0xa0
00001ade: SHL
00001adf: SUB
00001ae0: NOT
00001ae1: AND
00001ae2: PUSH1 0x01
00001ae4: PUSH1 0x01
00001ae6: PUSH1 0xa0
00001ae8: SHL
00001ae9: SUB
00001aea: SWAP1
00001aeb: SWAP3
00001aec: AND
00001aed: SWAP2
00001aee: SWAP1
00001aef: SWAP2
00001af0: OR
00001af1: SWAP1
00001af2: SSTORE
00001af3: JUMP
00001af4: JUMPDEST
00001af5: CALLER
00001af6: PUSH1 0x00
00001af8: SWAP1
00001af9: DUP2
00001afa: MSTORE
00001afb: PUSH1 0x06
00001afd: PUSH1 0x20
00001aff: MSTORE
00001b00: PUSH1 0x40
00001b02: DUP2
00001b03: KECCAK256
00001b04: SLOAD
00001b05: PUSH1 0xff
00001b07: AND
00001b08: PUSH2 0x1b23
00001b0b: JUMPI
00001b0c: PUSH1 0x40
00001b0e: MLOAD
00001b0f: PUSH3 0x461bcd
00001b13: PUSH1 0xe5
00001b15: SHL
00001b16: DUP2
00001b17: MSTORE
00001b18: PUSH1 0x04
00001b1a: ADD
00001b1b: PUSH2 0x07ef
00001b1e: SWAP1
00001b1f: PUSH2 0x281f
00001b22: JUMP
00001b23: JUMPDEST
00001b24: PUSH2 0x1b2d
00001b27: DUP4
00001b28: DUP4
00001b29: PUSH2 0x1cfc
00001b2c: JUMP
00001b2d: JUMPDEST
00001b2e: DUP3
00001b2f: PUSH1 0x01
00001b31: PUSH1 0x01
00001b33: PUSH1 0xa0
00001b35: SHL
00001b36: SUB
00001b37: AND
00001b38: DUP5
00001b39: PUSH32 0x05d0634fe981be85c22e2942a880821b70095d84e152c3ea3c17a4e4250d9d61
00001b5a: DUP5
00001b5b: PUSH1 0x40
00001b5d: MLOAD
00001b5e: PUSH2 0x1624
00001b61: SWAP2
00001b62: DUP2
00001b63: MSTORE
00001b64: PUSH1 0x20
00001b66: ADD
00001b67: SWAP1
00001b68: JUMP
00001b69: JUMPDEST
00001b6a: PUSH1 0x00
00001b6c: PUSH1 0x0c
00001b6e: SLOAD
00001b6f: TIMESTAMP
00001b70: LT
00001b71: PUSH2 0x1b86
00001b74: JUMPI
00001b75: POP
00001b76: PUSH1 0x0b
00001b78: SLOAD
00001b79: PUSH1 0x01
00001b7b: PUSH1 0x01
00001b7d: PUSH1 0xa0
00001b7f: SHL
00001b80: SUB
00001b81: AND
00001b82: PUSH2 0x09c7
00001b85: JUMP
00001b86: JUMPDEST
00001b87: POP
00001b88: PUSH1 0x08
00001b8a: SLOAD
00001b8b: PUSH1 0x01
00001b8d: PUSH1 0x01
00001b8f: PUSH1 0xa0
00001b91: SHL
00001b92: SUB
00001b93: AND
00001b94: SWAP1
00001b95: JUMP
00001b96: JUMPDEST
00001b97: PUSH1 0x40
00001b99: MLOAD
00001b9a: PUSH4 0x302b14eb
00001b9f: PUSH1 0xe1
00001ba1: SHL
00001ba2: DUP2
00001ba3: MSTORE
00001ba4: PUSH1 0x00
00001ba6: SWAP1
00001ba7: PUSH1 0x01
00001ba9: PUSH1 0x01
00001bab: PUSH1 0xa0
00001bad: SHL
00001bae: SUB
00001baf: PUSH32 0x000000000000000000000000a0b86991c6218b36c1d19d4a2e9eb0ce3606eb48
00001bd0: AND
00001bd1: SWAP1
00001bd2: PUSH4 0x605629d6
00001bd7: SWAP1
00001bd8: PUSH2 0x1bf1
00001bdb: SWAP1
00001bdc: DUP12
00001bdd: SWAP1
00001bde: ADDRESS
00001bdf: SWAP1
00001be0: DUP13
00001be1: SWAP1
00001be2: DUP13
00001be3: SWAP1
00001be4: DUP13
00001be5: SWAP1
00001be6: DUP13
00001be7: SWAP1
00001be8: DUP13
00001be9: SWAP1
00001bea: PUSH1 0x04
00001bec: ADD
00001bed: PUSH2 0x2659
00001bf0: JUMP
00001bf1: JUMPDEST
00001bf2: PUSH1 0x20
00001bf4: PUSH1 0x40
00001bf6: MLOAD
00001bf7: DUP1
00001bf8: DUP4
00001bf9: SUB
00001bfa: DUP2
00001bfb: PUSH1 0x00
00001bfd: DUP8
00001bfe: DUP1
00001bff: EXTCODESIZE
00001c00: ISZERO
00001c01: DUP1
00001c02: ISZERO
00001c03: PUSH2 0x1c0b
00001c06: JUMPI
00001c07: PUSH1 0x00
00001c09: DUP1
00001c0a: REVERT
00001c0b: JUMPDEST
00001c0c: POP
00001c0d: GAS
00001c0e: CALL
00001c0f: ISZERO
00001c10: DUP1
00001c11: ISZERO
00001c12: PUSH2 0x1c1f
00001c15: JUMPI
00001c16: RETURNDATASIZE
00001c17: PUSH1 0x00
00001c19: DUP1
00001c1a: RETURNDATACOPY
00001c1b: RETURNDATASIZE
00001c1c: PUSH1 0x00
00001c1e: REVERT
00001c1f: JUMPDEST
00001c20: POP
00001c21: POP
00001c22: POP
00001c23: POP
00001c24: PUSH1 0x40
00001c26: MLOAD
00001c27: RETURNDATASIZE
00001c28: PUSH1 0x1f
00001c2a: NOT
00001c2b: PUSH1 0x1f
00001c2d: DUP3
00001c2e: ADD
00001c2f: AND
00001c30: DUP3
00001c31: ADD
00001c32: DUP1
00001c33: PUSH1 0x40
00001c35: MSTORE
00001c36: POP
00001c37: DUP2
00001c38: ADD
00001c39: SWAP1
00001c3a: PUSH2 0x1c43
00001c3d: SWAP2
00001c3e: SWAP1
00001c3f: PUSH2 0x25ab
00001c42: JUMP
00001c43: JUMPDEST
00001c44: POP
00001c45: PUSH2 0x1452
00001c48: DUP8
00001c49: DUP4
00001c4a: PUSH2 0x20b8
00001c4d: JUMP
00001c4e: JUMPDEST
00001c4f: PUSH2 0x1c56
00001c52: PUSH2 0x1b69
00001c55: JUMP
00001c56: JUMPDEST
00001c57: PUSH1 0x01
00001c59: PUSH1 0x01
00001c5b: PUSH1 0xa0
00001c5d: SHL
00001c5e: SUB
00001c5f: AND
00001c60: CALLER
00001c61: PUSH1 0x01
00001c63: PUSH1 0x01
00001c65: PUSH1 0xa0
00001c67: SHL
00001c68: SUB
00001c69: AND
00001c6a: EQ
00001c6b: PUSH2 0x1c86
00001c6e: JUMPI
00001c6f: PUSH1 0x40
00001c71: MLOAD
00001c72: PUSH3 0x461bcd
00001c76: PUSH1 0xe5
00001c78: SHL
00001c79: DUP2
00001c7a: MSTORE
00001c7b: PUSH1 0x04
00001c7d: ADD
00001c7e: PUSH2 0x07ef
00001c81: SWAP1
00001c82: PUSH2 0x2762
00001c85: JUMP
00001c86: JUMPDEST
00001c87: PUSH1 0x09
00001c89: DUP1
00001c8a: SLOAD
00001c8b: PUSH1 0x01
00001c8d: PUSH1 0x01
00001c8f: PUSH1 0xa0
00001c91: SHL
00001c92: SUB
00001c93: NOT
00001c94: AND
00001c95: PUSH1 0x01
00001c97: PUSH1 0x01
00001c99: PUSH1 0xa0
00001c9b: SHL
00001c9c: SUB
00001c9d: DUP4
00001c9e: AND
00001c9f: OR
00001ca0: SWAP1
00001ca1: SSTORE
00001ca2: PUSH1 0x05
00001ca4: SLOAD
00001ca5: PUSH2 0x1cae
00001ca8: SWAP1
00001ca9: TIMESTAMP
00001caa: PUSH2 0x2856
00001cad: JUMP
00001cae: JUMPDEST
00001caf: PUSH1 0x0a
00001cb1: SSTORE
00001cb2: POP
00001cb3: JUMP
00001cb4: JUMPDEST
00001cb5: PUSH1 0x00
00001cb7: PUSH2 0x1cc0
00001cba: DUP5
00001cbb: DUP5
00001cbc: PUSH2 0x1f75
00001cbf: JUMP
00001cc0: JUMPDEST
00001cc1: PUSH2 0x1cf4
00001cc4: PUSH1 0x01
00001cc6: PUSH1 0x01
00001cc8: PUSH1 0xa0
00001cca: SHL
00001ccb: SUB
00001ccc: PUSH32 0x000000000000000000000000a0b86991c6218b36c1d19d4a2e9eb0ce3606eb48
00001ced: AND
00001cee: DUP4
00001cef: DUP6
00001cf0: PUSH2 0x2135
00001cf3: JUMP
00001cf4: JUMPDEST
00001cf5: POP
00001cf6: SWAP1
00001cf7: SWAP3
00001cf8: SWAP2
00001cf9: POP
00001cfa: POP
00001cfb: JUMP
00001cfc: JUMPDEST
00001cfd: PUSH1 0x01
00001cff: PUSH1 0x01
00001d01: PUSH1 0xa0
00001d03: SHL
00001d04: SUB
00001d05: DUP3
00001d06: AND
00001d07: PUSH2 0x1d52
00001d0a: JUMPI
00001d0b: PUSH1 0x40
00001d0d: MLOAD
00001d0e: PUSH3 0x461bcd
00001d12: PUSH1 0xe5
00001d14: SHL
00001d15: DUP2
00001d16: MSTORE
00001d17: PUSH1 0x20
00001d19: PUSH1 0x04
00001d1b: DUP3
00001d1c: ADD
00001d1d: MSTORE
00001d1e: PUSH1 0x1f
00001d20: PUSH1 0x24
00001d22: DUP3
00001d23: ADD
00001d24: MSTORE
00001d25: PUSH32 0x45524332303a206d696e7420746f20746865207a65726f206164647265737300
00001d46: PUSH1 0x44
00001d48: DUP3
00001d49: ADD
00001d4a: MSTORE
00001d4b: PUSH1 0x64
00001d4d: ADD
00001d4e: PUSH2 0x07ef
00001d51: JUMP
00001d52: JUMPDEST
00001d53: DUP1
00001d54: PUSH1 0x03
00001d56: PUSH1 0x00
00001d58: DUP3
00001d59: DUP3
00001d5a: SLOAD
00001d5b: PUSH2 0x1d64
00001d5e: SWAP2
00001d5f: SWAP1
00001d60: PUSH2 0x2856
00001d63: JUMP
00001d64: JUMPDEST
00001d65: SWAP1
00001d66: SWAP2
00001d67: SSTORE
00001d68: POP
00001d69: POP
00001d6a: PUSH1 0x01
00001d6c: PUSH1 0x01
00001d6e: PUSH1 0xa0
00001d70: SHL
00001d71: SUB
00001d72: DUP3
00001d73: AND
00001d74: PUSH1 0x00
00001d76: SWAP1
00001d77: DUP2
00001d78: MSTORE
00001d79: PUSH1 0x02
00001d7b: PUSH1 0x20
00001d7d: MSTORE
00001d7e: PUSH1 0x40
00001d80: DUP2
00001d81: KECCAK256
00001d82: DUP1
00001d83: SLOAD
00001d84: DUP4
00001d85: SWAP3
00001d86: SWAP1
00001d87: PUSH2 0x1d91
00001d8a: SWAP1
00001d8b: DUP5
00001d8c: SWAP1
00001d8d: PUSH2 0x2856
00001d90: JUMP
00001d91: JUMPDEST
00001d92: SWAP1
00001d93: SWAP2
00001d94: SSTORE
00001d95: POP
00001d96: POP
00001d97: PUSH1 0x40
00001d99: MLOAD
00001d9a: DUP2
00001d9b: DUP2
00001d9c: MSTORE
00001d9d: PUSH1 0x01
00001d9f: PUSH1 0x01
00001da1: PUSH1 0xa0
00001da3: SHL
00001da4: SUB
00001da5: DUP4
00001da6: AND
00001da7: SWAP1
00001da8: PUSH1 0x00
00001daa: SWAP1
00001dab: PUSH1 0x00
00001dad: DUP1
00001dae: MLOAD
00001daf: PUSH1 0x20
00001db1: PUSH2 0x292f
00001db4: DUP4
00001db5: CODECOPY
00001db6: DUP2
00001db7: MLOAD
00001db8: SWAP2
00001db9: MSTORE
00001dba: SWAP1
00001dbb: PUSH1 0x20
00001dbd: ADD
00001dbe: JUMPDEST
00001dbf: PUSH1 0x40
00001dc1: MLOAD
00001dc2: DUP1
00001dc3: SWAP2
00001dc4: SUB
00001dc5: SWAP1
00001dc6: LOG3
00001dc7: POP
00001dc8: POP
00001dc9: JUMP
00001dca: JUMPDEST
00001dcb: PUSH1 0x40
00001dcd: MLOAD
00001dce: PUSH2 0x1901
00001dd1: PUSH1 0xf0
00001dd3: SHL
00001dd4: PUSH1 0x20
00001dd6: DUP3
00001dd7: ADD
00001dd8: MSTORE
00001dd9: PUSH32 0x35d899b847b42f26a0db19dad1ed10d4653e029fa7b94148d54bac99ed40b86d
00001dfa: PUSH1 0x22
00001dfc: DUP3
00001dfd: ADD
00001dfe: MSTORE
00001dff: PUSH1 0x42
00001e01: DUP2
00001e02: ADD
00001e03: DUP6
00001e04: SWAP1
00001e05: MSTORE
00001e06: PUSH1 0x00
00001e08: SWAP1
00001e09: DUP2
00001e0a: SWAP1
00001e0b: PUSH1 0x62
00001e0d: ADD
00001e0e: PUSH1 0x40
00001e10: DUP1
00001e11: MLOAD
00001e12: PUSH1 0x1f
00001e14: NOT
00001e15: DUP2
00001e16: DUP5
00001e17: SUB
00001e18: ADD
00001e19: DUP2
00001e1a: MSTORE
00001e1b: DUP3
00001e1c: DUP3
00001e1d: MSTORE
00001e1e: DUP1
00001e1f: MLOAD
00001e20: PUSH1 0x20
00001e22: SWAP2
00001e23: DUP3
00001e24: ADD
00001e25: KECCAK256
00001e26: PUSH1 0x00
00001e28: DUP1
00001e29: DUP6
00001e2a: MSTORE
00001e2b: SWAP2
00001e2c: DUP5
00001e2d: ADD
00001e2e: DUP1
00001e2f: DUP5
00001e30: MSTORE
00001e31: DUP2
00001e32: SWAP1
00001e33: MSTORE
00001e34: PUSH1 0xff
00001e36: DUP10
00001e37: AND
00001e38: SWAP3
00001e39: DUP5
00001e3a: ADD
00001e3b: SWAP3
00001e3c: SWAP1
00001e3d: SWAP3
00001e3e: MSTORE
00001e3f: PUSH1 0x60
00001e41: DUP4
00001e42: ADD
00001e43: DUP8
00001e44: SWAP1
00001e45: MSTORE
00001e46: PUSH1 0x80
00001e48: DUP4
00001e49: ADD
00001e4a: DUP7
00001e4b: SWAP1
00001e4c: MSTORE
00001e4d: SWAP1
00001e4e: SWAP3
00001e4f: POP
00001e50: SWAP1
00001e51: PUSH1 0x01
00001e53: SWAP1
00001e54: PUSH1 0xa0
00001e56: ADD
00001e57: JUMPDEST
00001e58: PUSH1 0x20
00001e5a: PUSH1 0x40
00001e5c: MLOAD
00001e5d: PUSH1 0x20
00001e5f: DUP2
00001e60: SUB
00001e61: SWAP1
00001e62: DUP1
00001e63: DUP5
00001e64: SUB
00001e65: SWAP1
00001e66: DUP6
00001e67: GAS
00001e68: STATICCALL
00001e69: ISZERO
00001e6a: DUP1
00001e6b: ISZERO
00001e6c: PUSH2 0x1e79
00001e6f: JUMPI
00001e70: RETURNDATASIZE
00001e71: PUSH1 0x00
00001e73: DUP1
00001e74: RETURNDATACOPY
00001e75: RETURNDATASIZE
00001e76: PUSH1 0x00
00001e78: REVERT
00001e79: JUMPDEST
00001e7a: POP
00001e7b: POP
00001e7c: PUSH1 0x40
00001e7e: MLOAD
00001e7f: PUSH1 0x1f
00001e81: NOT
00001e82: ADD
00001e83: MLOAD
00001e84: SWAP2
00001e85: POP
00001e86: POP
00001e87: PUSH1 0x01
00001e89: PUSH1 0x01
00001e8b: PUSH1 0xa0
00001e8d: SHL
00001e8e: SUB
00001e8f: DUP2
00001e90: AND
00001e91: ISZERO
00001e92: DUP1
00001e93: ISZERO
00001e94: SWAP1
00001e95: PUSH2 0x1452
00001e98: JUMPI
00001e99: POP
00001e9a: DUP8
00001e9b: PUSH1 0x01
00001e9d: PUSH1 0x01
00001e9f: PUSH1 0xa0
00001ea1: SHL
00001ea2: SUB
00001ea3: AND
00001ea4: DUP2
00001ea5: PUSH1 0x01
00001ea7: PUSH1 0x01
00001ea9: PUSH1 0xa0
00001eab: SHL
00001eac: SUB
00001ead: AND
00001eae: EQ
00001eaf: SWAP9
00001eb0: SWAP8
00001eb1: POP
00001eb2: POP
00001eb3: POP
00001eb4: POP
00001eb5: POP
00001eb6: POP
00001eb7: POP
00001eb8: POP
00001eb9: JUMP
00001eba: JUMPDEST
00001ebb: PUSH1 0x00
00001ebd: DUP1
00001ebe: PUSH2 0x1f3a
00001ec1: DUP7
00001ec2: PUSH1 0x40
00001ec4: MLOAD
00001ec5: PUSH32 0x19457468657265756d205369676e6564204d6573736167653a0a333200000000
00001ee6: PUSH1 0x20
00001ee8: DUP3
00001ee9: ADD
00001eea: MSTORE
00001eeb: PUSH32 0x35d899b847b42f26a0db19dad1ed10d4653e029fa7b94148d54bac99ed40b86d
00001f0c: PUSH1 0x3c
00001f0e: DUP3
00001f0f: ADD
00001f10: MSTORE
00001f11: PUSH1 0x5c
00001f13: DUP2
00001f14: ADD
00001f15: DUP3
00001f16: SWAP1
00001f17: MSTORE
00001f18: PUSH1 0x00
00001f1a: SWAP1
00001f1b: PUSH1 0x7c
00001f1d: ADD
00001f1e: PUSH1 0x40
00001f20: MLOAD
00001f21: PUSH1 0x20
00001f23: DUP2
00001f24: DUP4
00001f25: SUB
00001f26: SUB
00001f27: DUP2
00001f28: MSTORE
00001f29: SWAP1
00001f2a: PUSH1 0x40
00001f2c: MSTORE
00001f2d: DUP1
00001f2e: MLOAD
00001f2f: SWAP1
00001f30: PUSH1 0x20
00001f32: ADD
00001f33: KECCAK256
00001f34: SWAP1
00001f35: POP
00001f36: SWAP2
00001f37: SWAP1
00001f38: POP
00001f39: JUMP
00001f3a: JUMPDEST
00001f3b: PUSH1 0x40
00001f3d: DUP1
00001f3e: MLOAD
00001f3f: PUSH1 0x00
00001f41: DUP1
00001f42: DUP3
00001f43: MSTORE
00001f44: PUSH1 0x20
00001f46: DUP3
00001f47: ADD
00001f48: DUP1
00001f49: DUP5
00001f4a: MSTORE
00001f4b: DUP5
00001f4c: SWAP1
00001f4d: MSTORE
00001f4e: PUSH1 0xff
00001f50: DUP10
00001f51: AND
00001f52: SWAP3
00001f53: DUP3
00001f54: ADD
00001f55: SWAP3
00001f56: SWAP1
00001f57: SWAP3
00001f58: MSTORE
00001f59: PUSH1 0x60
00001f5b: DUP2
00001f5c: ADD
00001f5d: DUP8
00001f5e: SWAP1
00001f5f: MSTORE
00001f60: PUSH1 0x80
00001f62: DUP2
00001f63: ADD
00001f64: DUP7
00001f65: SWAP1
00001f66: MSTORE
00001f67: SWAP2
00001f68: SWAP3
00001f69: POP
00001f6a: SWAP1
00001f6b: PUSH1 0x01
00001f6d: SWAP1
00001f6e: PUSH1 0xa0
00001f70: ADD
00001f71: PUSH2 0x1e57
00001f74: JUMP
00001f75: JUMPDEST
00001f76: PUSH1 0x01
00001f78: PUSH1 0x01
00001f7a: PUSH1 0xa0
00001f7c: SHL
00001f7d: SUB
00001f7e: DUP3
00001f7f: AND
00001f80: PUSH2 0x1fd5
00001f83: JUMPI
00001f84: PUSH1 0x40
00001f86: MLOAD
00001f87: PUSH3 0x461bcd
00001f8b: PUSH1 0xe5
00001f8d: SHL
00001f8e: DUP2
00001f8f: MSTORE
00001f90: PUSH1 0x20
00001f92: PUSH1 0x04
00001f94: DUP3
00001f95: ADD
00001f96: MSTORE
00001f97: PUSH1 0x21
00001f99: PUSH1 0x24
00001f9b: DUP3
00001f9c: ADD
00001f9d: MSTORE
00001f9e: PUSH32 0x45524332303a206275726e2066726f6d20746865207a65726f20616464726573
00001fbf: PUSH1 0x44
00001fc1: DUP3
00001fc2: ADD
00001fc3: MSTORE
00001fc4: PUSH1 0x73
00001fc6: PUSH1 0xf8
00001fc8: SHL
00001fc9: PUSH1 0x64
00001fcb: DUP3
00001fcc: ADD
00001fcd: MSTORE
00001fce: PUSH1 0x84
00001fd0: ADD
00001fd1: PUSH2 0x07ef
00001fd4: JUMP
00001fd5: JUMPDEST
00001fd6: PUSH1 0x01
00001fd8: PUSH1 0x01
00001fda: PUSH1 0xa0
00001fdc: SHL
00001fdd: SUB
00001fde: DUP3
00001fdf: AND
00001fe0: PUSH1 0x00
00001fe2: SWAP1
00001fe3: DUP2
00001fe4: MSTORE
00001fe5: PUSH1 0x02
00001fe7: PUSH1 0x20
00001fe9: MSTORE
00001fea: PUSH1 0x40
00001fec: DUP2
00001fed: KECCAK256
00001fee: DUP1
00001fef: SLOAD
00001ff0: DUP4
00001ff1: SWAP3
00001ff2: SWAP1
00001ff3: PUSH2 0x1ffd
00001ff6: SWAP1
00001ff7: DUP5
00001ff8: SWAP1
00001ff9: PUSH2 0x286e
00001ffc: JUMP
00001ffd: JUMPDEST
00001ffe: SWAP3
00001fff: POP
00002000: POP
00002001: DUP2
00002002: SWAP1
00002003: SSTORE
00002004: POP
00002005: DUP1
00002006: PUSH1 0x03
00002008: PUSH1 0x00
0000200a: DUP3
0000200b: DUP3
0000200c: SLOAD
0000200d: PUSH2 0x2016
00002010: SWAP2
00002011: SWAP1
00002012: PUSH2 0x286e
00002015: JUMP
00002016: JUMPDEST
00002017: SWAP1
00002018: SWAP2
00002019: SSTORE
0000201a: POP
0000201b: POP
0000201c: PUSH1 0x40
0000201e: MLOAD
0000201f: DUP2
00002020: DUP2
00002021: MSTORE
00002022: PUSH1 0x00
00002024: SWAP1
00002025: PUSH1 0x01
00002027: PUSH1 0x01
00002029: PUSH1 0xa0
0000202b: SHL
0000202c: SUB
0000202d: DUP5
0000202e: AND
0000202f: SWAP1
00002030: PUSH1 0x00
00002032: DUP1
00002033: MLOAD
00002034: PUSH1 0x20
00002036: PUSH2 0x292f
00002039: DUP4
0000203a: CODECOPY
0000203b: DUP2
0000203c: MLOAD
0000203d: SWAP2
0000203e: MSTORE
0000203f: SWAP1
00002040: PUSH1 0x20
00002042: ADD
00002043: PUSH2 0x1dbe
00002046: JUMP
00002047: JUMPDEST
00002048: PUSH1 0x40
0000204a: MLOAD
0000204b: PUSH1 0x01
0000204d: PUSH1 0x01
0000204f: PUSH1 0xa0
00002051: SHL
00002052: SUB
00002053: DUP1
00002054: DUP6
00002055: AND
00002056: PUSH1 0x24
00002058: DUP4
00002059: ADD
0000205a: MSTORE
0000205b: DUP4
0000205c: AND
0000205d: PUSH1 0x44
0000205f: DUP3
00002060: ADD
00002061: MSTORE
00002062: PUSH1 0x64
00002064: DUP2
00002065: ADD
00002066: DUP3
00002067: SWAP1
00002068: MSTORE
00002069: PUSH2 0x20b2
0000206c: SWAP1
0000206d: DUP6
0000206e: SWAP1
0000206f: PUSH4 0x23b872dd
00002074: PUSH1 0xe0
00002076: SHL
00002077: SWAP1
00002078: PUSH1 0x84
0000207a: ADD
0000207b: JUMPDEST
0000207c: PUSH1 0x40
0000207e: DUP1
0000207f: MLOAD
00002080: PUSH1 0x1f
00002082: NOT
00002083: DUP2
00002084: DUP5
00002085: SUB
00002086: ADD
00002087: DUP2
00002088: MSTORE
00002089: SWAP2
0000208a: SWAP1
0000208b: MSTORE
0000208c: PUSH1 0x20
0000208e: DUP2
0000208f: ADD
00002090: DUP1
00002091: MLOAD
00002092: PUSH1 0x01
00002094: PUSH1 0x01
00002096: PUSH1 0xe0
00002098: SHL
00002099: SUB
0000209a: AND
0000209b: PUSH1 0x01
0000209d: PUSH1 0x01
0000209f: PUSH1 0xe0
000020a1: SHL
000020a2: SUB
000020a3: NOT
000020a4: SWAP1
000020a5: SWAP4
000020a6: AND
000020a7: SWAP3
000020a8: SWAP1
000020a9: SWAP3
000020aa: OR
000020ab: SWAP1
000020ac: SWAP2
000020ad: MSTORE
000020ae: PUSH2 0x216a
000020b1: JUMP
000020b2: JUMPDEST
000020b3: POP
000020b4: POP
000020b5: POP
000020b6: POP
000020b7: JUMP
000020b8: JUMPDEST
000020b9: PUSH1 0x00
000020bb: PUSH32 0x000000000000000000000000a0b86991c6218b36c1d19d4a2e9eb0ce3606eb48
000020dc: PUSH1 0x01
000020de: PUSH1 0x01
000020e0: PUSH1 0xa0
000020e2: SHL
000020e3: SUB
000020e4: AND
000020e5: ISZERO
000020e6: DUP1
000020e7: ISZERO
000020e8: SWAP1
000020e9: PUSH2 0x211b
000020ec: JUMPI
000020ed: POP
000020ee: PUSH32 0x000000000000000000000000a0b86991c6218b36c1d19d4a2e9eb0ce3606eb48
0000210f: PUSH1 0x01
00002111: PUSH1 0x01
00002113: PUSH1 0xa0
00002115: SHL
00002116: SUB
00002117: AND
00002118: ADDRESS
00002119: EQ
0000211a: ISZERO
0000211b: JUMPDEST
0000211c: PUSH2 0x2124
0000211f: JUMPI
00002120: PUSH1 0x00
00002122: DUP1
00002123: REVERT
00002124: JUMPDEST
00002125: PUSH2 0x212e
00002128: DUP3
00002129: DUP5
0000212a: PUSH2 0x1cfc
0000212d: JUMP
0000212e: JUMPDEST
0000212f: POP
00002130: SWAP1
00002131: SWAP2
00002132: SWAP1
00002133: POP
00002134: JUMP
00002135: JUMPDEST
00002136: PUSH1 0x40
00002138: MLOAD
00002139: PUSH1 0x01
0000213b: PUSH1 0x01
0000213d: PUSH1 0xa0
0000213f: SHL
00002140: SUB
00002141: DUP4
00002142: AND
00002143: PUSH1 0x24
00002145: DUP3
00002146: ADD
00002147: MSTORE
00002148: PUSH1 0x44
0000214a: DUP2
0000214b: ADD
0000214c: DUP3
0000214d: SWAP1
0000214e: MSTORE
0000214f: PUSH2 0x2165
00002152: SWAP1
00002153: DUP5
00002154: SWAP1
00002155: PUSH4 0xa9059cbb
0000215a: PUSH1 0xe0
0000215c: SHL
0000215d: SWAP1
0000215e: PUSH1 0x64
00002160: ADD
00002161: PUSH2 0x207b
00002164: JUMP
00002165: JUMPDEST
00002166: POP
00002167: POP
00002168: POP
00002169: JUMP
0000216a: JUMPDEST
0000216b: PUSH2 0x217c
0000216e: DUP3
0000216f: PUSH1 0x01
00002171: PUSH1 0x01
00002173: PUSH1 0xa0
00002175: SHL
00002176: SUB
00002177: AND
00002178: PUSH2 0x22f1
0000217b: JUMP
0000217c: JUMPDEST
0000217d: PUSH2 0x21c8
00002180: JUMPI
00002181: PUSH1 0x40
00002183: MLOAD
00002184: PUSH3 0x461bcd
00002188: PUSH1 0xe5
0000218a: SHL
0000218b: DUP2
0000218c: MSTORE
0000218d: PUSH1 0x20
0000218f: PUSH1 0x04
00002191: DUP3
00002192: ADD
00002193: MSTORE
00002194: PUSH1 0x1f
00002196: PUSH1 0x24
00002198: DUP3
00002199: ADD
0000219a: MSTORE
0000219b: PUSH32 0x5361666545524332303a2063616c6c20746f206e6f6e2d636f6e747261637400
000021bc: PUSH1 0x44
000021be: DUP3
000021bf: ADD
000021c0: MSTORE
000021c1: PUSH1 0x64
000021c3: ADD
000021c4: PUSH2 0x07ef
000021c7: JUMP
000021c8: JUMPDEST
000021c9: PUSH1 0x00
000021cb: DUP1
000021cc: DUP4
000021cd: PUSH1 0x01
000021cf: PUSH1 0x01
000021d1: PUSH1 0xa0
000021d3: SHL
000021d4: SUB
000021d5: AND
000021d6: DUP4
000021d7: PUSH1 0x40
000021d9: MLOAD
000021da: PUSH2 0x21e3
000021dd: SWAP2
000021de: SWAP1
000021df: PUSH2 0x263d
000021e2: JUMP
000021e3: JUMPDEST
000021e4: PUSH1 0x00
000021e6: PUSH1 0x40
000021e8: MLOAD
000021e9: DUP1
000021ea: DUP4
000021eb: SUB
000021ec: DUP2
000021ed: PUSH1 0x00
000021ef: DUP7
000021f0: GAS
000021f1: CALL
000021f2: SWAP2
000021f3: POP
000021f4: POP
000021f5: RETURNDATASIZE
000021f6: DUP1
000021f7: PUSH1 0x00
000021f9: DUP2
000021fa: EQ
000021fb: PUSH2 0x2220
000021fe: JUMPI
000021ff: PUSH1 0x40
00002201: MLOAD
00002202: SWAP2
00002203: POP
00002204: PUSH1 0x1f
00002206: NOT
00002207: PUSH1 0x3f
00002209: RETURNDATASIZE
0000220a: ADD
0000220b: AND
0000220c: DUP3
0000220d: ADD
0000220e: PUSH1 0x40
00002210: MSTORE
00002211: RETURNDATASIZE
00002212: DUP3
00002213: MSTORE
00002214: RETURNDATASIZE
00002215: PUSH1 0x00
00002217: PUSH1 0x20
00002219: DUP5
0000221a: ADD
0000221b: RETURNDATACOPY
0000221c: PUSH2 0x2225
0000221f: JUMP
00002220: JUMPDEST
00002221: PUSH1 0x60
00002223: SWAP2
00002224: POP
00002225: JUMPDEST
00002226: POP
00002227: SWAP2
00002228: POP
00002229: SWAP2
0000222a: POP
0000222b: DUP2
0000222c: PUSH2 0x2277
0000222f: JUMPI
00002230: PUSH1 0x40
00002232: MLOAD
00002233: PUSH3 0x461bcd
00002237: PUSH1 0xe5
00002239: SHL
0000223a: DUP2
0000223b: MSTORE
0000223c: PUSH1 0x20
0000223e: PUSH1 0x04
00002240: DUP3
00002241: ADD
00002242: DUP2
00002243: SWAP1
00002244: MSTORE
00002245: PUSH1 0x24
00002247: DUP3
00002248: ADD
00002249: MSTORE
0000224a: PUSH32 0x5361666545524332303a206c6f772d6c6576656c2063616c6c206661696c6564
0000226b: PUSH1 0x44
0000226d: DUP3
0000226e: ADD
0000226f: MSTORE
00002270: PUSH1 0x64
00002272: ADD
00002273: PUSH2 0x07ef
00002276: JUMP
00002277: JUMPDEST
00002278: DUP1
00002279: MLOAD
0000227a: ISZERO
0000227b: PUSH2 0x20b2
0000227e: JUMPI
0000227f: DUP1
00002280: DUP1
00002281: PUSH1 0x20
00002283: ADD
00002284: SWAP1
00002285: MLOAD
00002286: DUP2
00002287: ADD
00002288: SWAP1
00002289: PUSH2 0x2292
0000228c: SWAP2
0000228d: SWAP1
0000228e: PUSH2 0x25ab
00002291: JUMP
00002292: JUMPDEST
00002293: PUSH2 0x20b2
00002296: JUMPI
00002297: PUSH1 0x40
00002299: MLOAD
0000229a: PUSH3 0x461bcd
0000229e: PUSH1 0xe5
000022a0: SHL
000022a1: DUP2
000022a2: MSTORE
000022a3: PUSH1 0x20
000022a5: PUSH1 0x04
000022a7: DUP3
000022a8: ADD
000022a9: MSTORE
000022aa: PUSH1 0x2a
000022ac: PUSH1 0x24
000022ae: DUP3
000022af: ADD
000022b0: MSTORE
000022b1: PUSH32 0x5361666545524332303a204552433230206f7065726174696f6e20646964206e
000022d2: PUSH1 0x44
000022d4: DUP3
000022d5: ADD
000022d6: MSTORE
000022d7: PUSH10 0x1bdd081cdd58d8d95959
000022e2: PUSH1 0xb2
000022e4: SHL
000022e5: PUSH1 0x64
000022e7: DUP3
000022e8: ADD
000022e9: MSTORE
000022ea: PUSH1 0x84
000022ec: ADD
000022ed: PUSH2 0x07ef
000022f0: JUMP
000022f1: JUMPDEST
000022f2: PUSH1 0x00
000022f4: DUP2
000022f5: EXTCODEHASH
000022f6: PUSH32 0xc5d2460186f7233c927e7db2dcc703c0e500b653ca82273b7bfad8045d85a470
00002317: DUP2
00002318: ISZERO
00002319: DUP1
0000231a: ISZERO
0000231b: SWAP1
0000231c: PUSH2 0x0803
0000231f: JUMPI
00002320: POP
00002321: EQ
00002322: ISZERO
00002323: SWAP3
00002324: SWAP2
00002325: POP
00002326: POP
00002327: JUMP
00002328: JUMPDEST
00002329: DUP1
0000232a: CALLDATALOAD
0000232b: PUSH1 0x01
0000232d: PUSH1 0x01
0000232f: PUSH1 0xa0
00002331: SHL
00002332: SUB
00002333: DUP2
00002334: AND
00002335: DUP2
00002336: EQ
00002337: PUSH2 0x0bc5
0000233a: JUMPI
0000233b: PUSH1 0x00
0000233d: DUP1
0000233e: REVERT
0000233f: JUMPDEST
00002340: DUP1
00002341: CALLDATALOAD
00002342: PUSH1 0xff
00002344: DUP2
00002345: AND
00002346: DUP2
00002347: EQ
00002348: PUSH2 0x0bc5
0000234b: JUMPI
0000234c: PUSH1 0x00
0000234e: DUP1
0000234f: REVERT
00002350: JUMPDEST
00002351: PUSH1 0x00
00002353: PUSH1 0x20
00002355: DUP3
00002356: DUP5
00002357: SUB
00002358: SLT
00002359: ISZERO
0000235a: PUSH2 0x2361
0000235d: JUMPI
0000235e: DUP1
0000235f: DUP2
00002360: REVERT
00002361: JUMPDEST
00002362: PUSH2 0x0818
00002365: DUP3
00002366: PUSH2 0x2328
00002369: JUMP
0000236a: JUMPDEST
0000236b: PUSH1 0x00
0000236d: DUP1
0000236e: PUSH1 0x40
00002370: DUP4
00002371: DUP6
00002372: SUB
00002373: SLT
00002374: ISZERO
00002375: PUSH2 0x237c
00002378: JUMPI
00002379: DUP1
0000237a: DUP2
0000237b: REVERT
0000237c: JUMPDEST
0000237d: PUSH2 0x2385
00002380: DUP4
00002381: PUSH2 0x2328
00002384: JUMP
00002385: JUMPDEST
00002386: SWAP2
00002387: POP
00002388: PUSH2 0x2393
0000238b: PUSH1 0x20
0000238d: DUP5
0000238e: ADD
0000238f: PUSH2 0x2328
00002392: JUMP
00002393: JUMPDEST
00002394: SWAP1
00002395: POP
00002396: SWAP3
00002397: POP
00002398: SWAP3
00002399: SWAP1
0000239a: POP
0000239b: JUMP
0000239c: JUMPDEST
0000239d: PUSH1 0x00
0000239f: DUP1
000023a0: PUSH1 0x00
000023a2: PUSH1 0x60
000023a4: DUP5
000023a5: DUP7
000023a6: SUB
000023a7: SLT
000023a8: ISZERO
000023a9: PUSH2 0x23b0
000023ac: JUMPI
000023ad: DUP1
000023ae: DUP2
000023af: REVERT
000023b0: JUMPDEST
000023b1: PUSH2 0x23b9
000023b4: DUP5
000023b5: PUSH2 0x2328
000023b8: JUMP
000023b9: JUMPDEST
000023ba: SWAP3
000023bb: POP
000023bc: PUSH2 0x23c7
000023bf: PUSH1 0x20
000023c1: DUP6
000023c2: ADD
000023c3: PUSH2 0x2328
000023c6: JUMP
000023c7: JUMPDEST
000023c8: SWAP2
000023c9: POP
000023ca: PUSH1 0x40
000023cc: DUP5
000023cd: ADD
000023ce: CALLDATALOAD
000023cf: SWAP1
000023d0: POP
000023d1: SWAP3
000023d2: POP
000023d3: SWAP3
000023d4: POP
000023d5: SWAP3
000023d6: JUMP
000023d7: JUMPDEST
000023d8: PUSH1 0x00
000023da: DUP1
000023db: PUSH1 0x00
000023dd: DUP1
000023de: PUSH1 0x00
000023e0: DUP1
000023e1: PUSH1 0x00
000023e3: PUSH1 0xe0
000023e5: DUP9
000023e6: DUP11
000023e7: SUB
000023e8: SLT
000023e9: ISZERO
000023ea: PUSH2 0x23f1
000023ed: JUMPI
000023ee: DUP3
000023ef: DUP4
000023f0: REVERT
000023f1: JUMPDEST
000023f2: PUSH2 0x23fa
000023f5: DUP9
000023f6: PUSH2 0x2328
000023f9: JUMP
000023fa: JUMPDEST
000023fb: SWAP7
000023fc: POP
000023fd: PUSH2 0x2408
00002400: PUSH1 0x20
00002402: DUP10
00002403: ADD
00002404: PUSH2 0x2328
00002407: JUMP
00002408: JUMPDEST
00002409: SWAP6
0000240a: POP
0000240b: PUSH1 0x40
0000240d: DUP9
0000240e: ADD
0000240f: CALLDATALOAD
00002410: SWAP5
00002411: POP
00002412: PUSH1 0x60
00002414: DUP9
00002415: ADD
00002416: CALLDATALOAD
00002417: SWAP4
00002418: POP
00002419: PUSH2 0x2424
0000241c: PUSH1 0x80
0000241e: DUP10
0000241f: ADD
00002420: PUSH2 0x233f
00002423: JUMP
00002424: JUMPDEST
00002425: SWAP3
00002426: POP
00002427: PUSH1 0xa0
00002429: DUP9
0000242a: ADD
0000242b: CALLDATALOAD
0000242c: SWAP2
0000242d: POP
0000242e: PUSH1 0xc0
00002430: DUP9
00002431: ADD
00002432: CALLDATALOAD
00002433: SWAP1
00002434: POP
00002435: SWAP3
00002436: SWAP6
00002437: SWAP9
00002438: SWAP2
00002439: SWAP5
0000243a: SWAP8
0000243b: POP
0000243c: SWAP3
0000243d: SWAP6
0000243e: POP
0000243f: JUMP
00002440: JUMPDEST
00002441: PUSH1 0x00
00002443: DUP1
00002444: PUSH1 0x40
00002446: DUP4
00002447: DUP6
00002448: SUB
00002449: SLT
0000244a: ISZERO
0000244b: PUSH2 0x2452
0000244e: JUMPI
0000244f: DUP2
00002450: DUP3
00002451: REVERT
00002452: JUMPDEST
00002453: PUSH2 0x245b
00002456: DUP4
00002457: PUSH2 0x2328
0000245a: JUMP
0000245b: JUMPDEST
0000245c: SWAP5
0000245d: PUSH1 0x20
0000245f: SWAP4
00002460: SWAP1
00002461: SWAP4
00002462: ADD
00002463: CALLDATALOAD
00002464: SWAP4
00002465: POP
00002466: POP
00002467: POP
00002468: JUMP
00002469: JUMPDEST
0000246a: PUSH1 0x00
0000246c: DUP1
0000246d: PUSH1 0x00
0000246f: PUSH1 0x60
00002471: DUP5
00002472: DUP7
00002473: SUB
00002474: SLT
00002475: ISZERO
00002476: PUSH2 0x247d
00002479: JUMPI
0000247a: DUP3
0000247b: DUP4
0000247c: REVERT
0000247d: JUMPDEST
0000247e: PUSH2 0x2486
00002481: DUP5
00002482: PUSH2 0x2328
00002485: JUMP
00002486: JUMPDEST
00002487: SWAP3
00002488: POP
00002489: PUSH1 0x20
0000248b: DUP5
0000248c: ADD
0000248d: CALLDATALOAD
0000248e: SWAP2
0000248f: POP
00002490: PUSH2 0x249b
00002493: PUSH1 0x40
00002495: DUP6
00002496: ADD
00002497: PUSH2 0x2328
0000249a: JUMP
0000249b: JUMPDEST
0000249c: SWAP1
0000249d: POP
0000249e: SWAP3
0000249f: POP
000024a0: SWAP3
000024a1: POP
000024a2: SWAP3
000024a3: JUMP
000024a4: JUMPDEST
000024a5: PUSH1 0x00
000024a7: DUP1
000024a8: PUSH1 0x00
000024aa: DUP1
000024ab: PUSH1 0x60
000024ad: DUP6
000024ae: DUP8
000024af: SUB
000024b0: SLT
000024b1: ISZERO
000024b2: PUSH2 0x24b9
000024b5: JUMPI
000024b6: DUP4
000024b7: DUP5
000024b8: REVERT
000024b9: JUMPDEST
000024ba: PUSH2 0x24c2
000024bd: DUP6
000024be: PUSH2 0x2328
000024c1: JUMP
000024c2: JUMPDEST
000024c3: SWAP4
000024c4: POP
000024c5: PUSH1 0x20
000024c7: DUP6
000024c8: ADD
000024c9: CALLDATALOAD
000024ca: SWAP3
000024cb: POP
000024cc: PUSH1 0x40
000024ce: DUP6
000024cf: ADD
000024d0: CALLDATALOAD
000024d1: PUSH8 0xffffffffffffffff
000024da: DUP1
000024db: DUP3
000024dc: GT
000024dd: ISZERO
000024de: PUSH2 0x24e5
000024e1: JUMPI
000024e2: DUP4
000024e3: DUP5
000024e4: REVERT
000024e5: JUMPDEST
000024e6: DUP2
000024e7: DUP8
000024e8: ADD
000024e9: SWAP2
000024ea: POP
000024eb: DUP8
000024ec: PUSH1 0x1f
000024ee: DUP4
000024ef: ADD
000024f0: SLT
000024f1: PUSH2 0x24f8
000024f4: JUMPI
000024f5: DUP4
000024f6: DUP5
000024f7: REVERT
000024f8: JUMPDEST
000024f9: DUP2
000024fa: CALLDATALOAD
000024fb: DUP2
000024fc: DUP2
000024fd: GT
000024fe: ISZERO
000024ff: PUSH2 0x2506
00002502: JUMPI
00002503: DUP5
00002504: DUP6
00002505: REVERT
00002506: JUMPDEST
00002507: DUP9
00002508: PUSH1 0x20
0000250a: DUP3
0000250b: DUP6
0000250c: ADD
0000250d: ADD
0000250e: GT
0000250f: ISZERO
00002510: PUSH2 0x2517
00002513: JUMPI
00002514: DUP5
00002515: DUP6
00002516: REVERT
00002517: JUMPDEST
00002518: SWAP6
00002519: SWAP9
0000251a: SWAP5
0000251b: SWAP8
0000251c: POP
0000251d: POP
0000251e: PUSH1 0x20
00002520: ADD
00002521: SWAP5
00002522: POP
00002523: POP
00002524: POP
00002525: JUMP
00002526: JUMPDEST
00002527: PUSH1 0x00
00002529: DUP1
0000252a: PUSH1 0x00
0000252c: DUP1
0000252d: PUSH1 0x00
0000252f: DUP1
00002530: PUSH1 0x00
00002532: PUSH1 0xe0
00002534: DUP9
00002535: DUP11
00002536: SUB
00002537: SLT
00002538: ISZERO
00002539: PUSH2 0x2540
0000253c: JUMPI
0000253d: DUP3
0000253e: DUP4
0000253f: REVERT
00002540: JUMPDEST
00002541: PUSH2 0x2549
00002544: DUP9
00002545: PUSH2 0x2328
00002548: JUMP
00002549: JUMPDEST
0000254a: SWAP7
0000254b: POP
0000254c: PUSH1 0x20
0000254e: DUP9
0000254f: ADD
00002550: CALLDATALOAD
00002551: SWAP6
00002552: POP
00002553: PUSH1 0x40
00002555: DUP9
00002556: ADD
00002557: CALLDATALOAD
00002558: SWAP5
00002559: POP
0000255a: PUSH2 0x2565
0000255d: PUSH1 0x60
0000255f: DUP10
00002560: ADD
00002561: PUSH2 0x233f
00002564: JUMP
00002565: JUMPDEST
00002566: SWAP4
00002567: POP
00002568: PUSH1 0x80
0000256a: DUP9
0000256b: ADD
0000256c: CALLDATALOAD
0000256d: SWAP3
0000256e: POP
0000256f: PUSH1 0xa0
00002571: DUP9
00002572: ADD
00002573: CALLDATALOAD
00002574: SWAP2
00002575: POP
00002576: PUSH2 0x2581
00002579: PUSH1 0xc0
0000257b: DUP10
0000257c: ADD
0000257d: PUSH2 0x2328
00002580: JUMP
00002581: JUMPDEST
00002582: SWAP1
00002583: POP
00002584: SWAP3
00002585: SWAP6
00002586: SWAP9
00002587: SWAP2
00002588: SWAP5
00002589: SWAP8
0000258a: POP
0000258b: SWAP3
0000258c: SWAP6
0000258d: POP
0000258e: JUMP
0000258f: JUMPDEST
00002590: PUSH1 0x00
00002592: PUSH1 0x20
00002594: DUP3
00002595: DUP5
00002596: SUB
00002597: SLT
00002598: ISZERO
00002599: PUSH2 0x25a0
0000259c: JUMPI
0000259d: DUP1
0000259e: DUP2
0000259f: REVERT
000025a0: JUMPDEST
000025a1: DUP2
000025a2: CALLDATALOAD
000025a3: PUSH2 0x0818
000025a6: DUP2
000025a7: PUSH2 0x291d
000025aa: JUMP
000025ab: JUMPDEST
000025ac: PUSH1 0x00
000025ae: PUSH1 0x20
000025b0: DUP3
000025b1: DUP5
000025b2: SUB
000025b3: SLT
000025b4: ISZERO
000025b5: PUSH2 0x25bc
000025b8: JUMPI
000025b9: DUP1
000025ba: DUP2
000025bb: REVERT
000025bc: JUMPDEST
000025bd: DUP2
000025be: MLOAD
000025bf: PUSH2 0x0818
000025c2: DUP2
000025c3: PUSH2 0x291d
000025c6: JUMP
000025c7: JUMPDEST
000025c8: PUSH1 0x00
000025ca: DUP1
000025cb: PUSH1 0x00
000025cd: PUSH1 0x60
000025cf: DUP5
000025d0: DUP7
000025d1: SUB
000025d2: SLT
000025d3: ISZERO
000025d4: PUSH2 0x25db
000025d7: JUMPI
000025d8: DUP3
000025d9: DUP4
000025da: REVERT
000025db: JUMPDEST
000025dc: DUP4
000025dd: CALLDATALOAD
000025de: SWAP3
000025df: POP
000025e0: PUSH2 0x23c7
000025e3: PUSH1 0x20
000025e5: DUP6
000025e6: ADD
000025e7: PUSH2 0x2328
000025ea: JUMP
000025eb: JUMPDEST
000025ec: PUSH1 0x00
000025ee: PUSH1 0x20
000025f0: DUP3
000025f1: DUP5
000025f2: SUB
000025f3: SLT
000025f4: ISZERO
000025f5: PUSH2 0x25fc
000025f8: JUMPI
000025f9: DUP1
000025fa: DUP2
000025fb: REVERT
000025fc: JUMPDEST
000025fd: POP
000025fe: CALLDATALOAD
000025ff: SWAP2
00002600: SWAP1
00002601: POP
00002602: JUMP
00002603: JUMPDEST
00002604: PUSH1 0x00
00002606: PUSH1 0x20
00002608: DUP3
00002609: DUP5
0000260a: SUB
0000260b: SLT
0000260c: ISZERO
0000260d: PUSH2 0x2614
00002610: JUMPI
00002611: DUP1
00002612: DUP2
00002613: REVERT
00002614: JUMPDEST
00002615: POP
00002616: MLOAD
00002617: SWAP2
00002618: SWAP1
00002619: POP
0000261a: JUMP
0000261b: JUMPDEST
0000261c: PUSH1 0x00
0000261e: DUP1
0000261f: PUSH1 0x40
00002621: DUP4
00002622: DUP6
00002623: SUB
00002624: SLT
00002625: ISZERO
00002626: PUSH2 0x262d
00002629: JUMPI
0000262a: DUP2
0000262b: DUP3
0000262c: REVERT
0000262d: JUMPDEST
0000262e: DUP3
0000262f: CALLDATALOAD
00002630: SWAP2
00002631: POP
00002632: PUSH2 0x2393
00002635: PUSH1 0x20
00002637: DUP5
00002638: ADD
00002639: PUSH2 0x2328
0000263c: JUMP
0000263d: JUMPDEST
0000263e: PUSH1 0x00
00002640: DUP3
00002641: MLOAD
00002642: PUSH2 0x264f
00002645: DUP2
00002646: DUP5
00002647: PUSH1 0x20
00002649: DUP8
0000264a: ADD
0000264b: PUSH2 0x2885
0000264e: JUMP
0000264f: JUMPDEST
00002650: SWAP2
00002651: SWAP1
00002652: SWAP2
00002653: ADD
00002654: SWAP3
00002655: SWAP2
00002656: POP
00002657: POP
00002658: JUMP
00002659: JUMPDEST
0000265a: PUSH1 0x01
0000265c: PUSH1 0x01
0000265e: PUSH1 0xa0
00002660: SHL
00002661: SUB
00002662: SWAP8
00002663: DUP9
00002664: AND
00002665: DUP2
00002666: MSTORE
00002667: SWAP6
00002668: SWAP1
00002669: SWAP7
0000266a: AND
0000266b: PUSH1 0x20
0000266d: DUP7
0000266e: ADD
0000266f: MSTORE
00002670: PUSH1 0x40
00002672: DUP6
00002673: ADD
00002674: SWAP4
00002675: SWAP1
00002676: SWAP4
00002677: MSTORE
00002678: PUSH1 0x60
0000267a: DUP5
0000267b: ADD
0000267c: SWAP2
0000267d: SWAP1
0000267e: SWAP2
0000267f: MSTORE
00002680: PUSH1 0xff
00002682: AND
00002683: PUSH1 0x80
00002685: DUP4
00002686: ADD
00002687: MSTORE
00002688: PUSH1 0xa0
0000268a: DUP3
0000268b: ADD
0000268c: MSTORE
0000268d: PUSH1 0xc0
0000268f: DUP2
00002690: ADD
00002691: SWAP2
00002692: SWAP1
00002693: SWAP2
00002694: MSTORE
00002695: PUSH1 0xe0
00002697: ADD
00002698: SWAP1
00002699: JUMP
0000269a: JUMPDEST
0000269b: PUSH1 0x01
0000269d: PUSH1 0x01
0000269f: PUSH1 0xa0
000026a1: SHL
000026a2: SUB
000026a3: DUP6
000026a4: AND
000026a5: DUP2
000026a6: MSTORE
000026a7: PUSH1 0x20
000026a9: DUP2
000026aa: ADD
000026ab: DUP5
000026ac: SWAP1
000026ad: MSTORE
000026ae: PUSH1 0x60
000026b0: PUSH1 0x40
000026b2: DUP3
000026b3: ADD
000026b4: DUP2
000026b5: SWAP1
000026b6: MSTORE
000026b7: DUP2
000026b8: ADD
000026b9: DUP3
000026ba: SWAP1
000026bb: MSTORE
000026bc: PUSH1 0x00
000026be: DUP3
000026bf: DUP5
000026c0: PUSH1 0x80
000026c2: DUP5
000026c3: ADD
000026c4: CALLDATACOPY
000026c5: DUP2
000026c6: DUP4
000026c7: ADD
000026c8: PUSH1 0x80
000026ca: SWAP1
000026cb: DUP2
000026cc: ADD
000026cd: SWAP2
000026ce: SWAP1
000026cf: SWAP2
000026d0: MSTORE
000026d1: PUSH1 0x1f
000026d3: SWAP1
000026d4: SWAP3
000026d5: ADD
000026d6: PUSH1 0x1f
000026d8: NOT
000026d9: AND
000026da: ADD
000026db: ADD
000026dc: SWAP4
000026dd: SWAP3
000026de: POP
000026df: POP
000026e0: POP
000026e1: JUMP
000026e2: JUMPDEST
000026e3: PUSH1 0x20
000026e5: DUP1
000026e6: DUP3
000026e7: MSTORE
000026e8: DUP3
000026e9: MLOAD
000026ea: DUP3
000026eb: DUP3
000026ec: ADD
000026ed: DUP2
000026ee: SWAP1
000026ef: MSTORE
000026f0: PUSH1 0x00
000026f2: SWAP2
000026f3: SWAP1
000026f4: DUP5
000026f5: DUP3
000026f6: ADD
000026f7: SWAP1
000026f8: PUSH1 0x40
000026fa: DUP6
000026fb: ADD
000026fc: SWAP1
000026fd: DUP5
000026fe: JUMPDEST
000026ff: DUP2
00002700: DUP2
00002701: LT
00002702: ISZERO
00002703: PUSH2 0x2723
00002706: JUMPI
00002707: DUP4
00002708: MLOAD
00002709: PUSH1 0x01
0000270b: PUSH1 0x01
0000270d: PUSH1 0xa0
0000270f: SHL
00002710: SUB
00002711: AND
00002712: DUP4
00002713: MSTORE
00002714: SWAP3
00002715: DUP5
00002716: ADD
00002717: SWAP3
00002718: SWAP2
00002719: DUP5
0000271a: ADD
0000271b: SWAP2
0000271c: PUSH1 0x01
0000271e: ADD
0000271f: PUSH2 0x26fe
00002722: JUMP
00002723: JUMPDEST
00002724: POP
00002725: SWAP1
00002726: SWAP7
00002727: SWAP6
00002728: POP
00002729: POP
0000272a: POP
0000272b: POP
0000272c: POP
0000272d: POP
0000272e: JUMP
0000272f: JUMPDEST
00002730: PUSH1 0x00
00002732: PUSH1 0x20
00002734: DUP3
00002735: MSTORE
00002736: DUP3
00002737: MLOAD
00002738: DUP1
00002739: PUSH1 0x20
0000273b: DUP5
0000273c: ADD
0000273d: MSTORE
0000273e: PUSH2 0x274e
00002741: DUP2
00002742: PUSH1 0x40
00002744: DUP6
00002745: ADD
00002746: PUSH1 0x20
00002748: DUP8
00002749: ADD
0000274a: PUSH2 0x2885
0000274d: JUMP
0000274e: JUMPDEST
0000274f: PUSH1 0x1f
00002751: ADD
00002752: PUSH1 0x1f
00002754: NOT
00002755: AND
00002756: SWAP2
00002757: SWAP1
00002758: SWAP2
00002759: ADD
0000275a: PUSH1 0x40
0000275c: ADD
0000275d: SWAP3
0000275e: SWAP2
0000275f: POP
00002760: POP
00002761: JUMP
00002762: JUMPDEST
00002763: PUSH1 0x20
00002765: DUP1
00002766: DUP3
00002767: MSTORE
00002768: PUSH1 0x19
0000276a: SWAP1
0000276b: DUP3
0000276c: ADD
0000276d: MSTORE
0000276e: PUSH32 0x416e7973776170563345524332303a20464f5242494444454e00000000000000
0000278f: PUSH1 0x40
00002791: DUP3
00002792: ADD
00002793: MSTORE
00002794: PUSH1 0x60
00002796: ADD
00002797: SWAP1
00002798: JUMP
00002799: JUMPDEST
0000279a: PUSH1 0x20
0000279c: DUP1
0000279d: DUP3
0000279e: MSTORE
0000279f: PUSH1 0x1c
000027a1: SWAP1
000027a2: DUP3
000027a3: ADD
000027a4: MSTORE
000027a5: PUSH32 0x416e7973776170563345524332303a2061646472657373283078302900000000
000027c6: PUSH1 0x40
000027c8: DUP3
000027c9: ADD
000027ca: MSTORE
000027cb: PUSH1 0x60
000027cd: ADD
000027ce: SWAP1
000027cf: JUMP
000027d0: JUMPDEST
000027d1: PUSH1 0x20
000027d3: DUP1
000027d4: DUP3
000027d5: MSTORE
000027d6: PUSH1 0x2f
000027d8: SWAP1
000027d9: DUP3
000027da: ADD
000027db: MSTORE
000027dc: PUSH32 0x416e7973776170563345524332303a207472616e7366657220616d6f756e7420
000027fd: PUSH1 0x40
000027ff: DUP3
00002800: ADD
00002801: MSTORE
00002802: PUSH15 0x657863656564732062616c616e6365
00002812: PUSH1 0x88
00002814: SHL
00002815: PUSH1 0x60
00002817: DUP3
00002818: ADD
00002819: MSTORE
0000281a: PUSH1 0x80
0000281c: ADD
0000281d: SWAP1
0000281e: JUMP
0000281f: JUMPDEST
00002820: PUSH1 0x20
00002822: DUP1
00002823: DUP3
00002824: MSTORE
00002825: PUSH1 0x19
00002827: SWAP1
00002828: DUP3
00002829: ADD
0000282a: MSTORE
0000282b: PUSH32 0x416e7973776170563445524332303a20464f5242494444454e00000000000000
0000284c: PUSH1 0x40
0000284e: DUP3
0000284f: ADD
00002850: MSTORE
00002851: PUSH1 0x60
00002853: ADD
00002854: SWAP1
00002855: JUMP
00002856: JUMPDEST
00002857: PUSH1 0x00
00002859: DUP3
0000285a: NOT
0000285b: DUP3
0000285c: GT
0000285d: ISZERO
0000285e: PUSH2 0x2869
00002861: JUMPI
00002862: PUSH2 0x2869
00002865: PUSH2 0x2907
00002868: JUMP
00002869: JUMPDEST
0000286a: POP
0000286b: ADD
0000286c: SWAP1
0000286d: JUMP
0000286e: JUMPDEST
0000286f: PUSH1 0x00
00002871: DUP3
00002872: DUP3
00002873: LT
00002874: ISZERO
00002875: PUSH2 0x2880
00002878: JUMPI
00002879: PUSH2 0x2880
0000287c: PUSH2 0x2907
0000287f: JUMP
00002880: JUMPDEST
00002881: POP
00002882: SUB
00002883: SWAP1
00002884: JUMP
00002885: JUMPDEST
00002886: PUSH1 0x00
00002888: JUMPDEST
00002889: DUP4
0000288a: DUP2
0000288b: LT
0000288c: ISZERO
0000288d: PUSH2 0x28a0
00002890: JUMPI
00002891: DUP2
00002892: DUP2
00002893: ADD
00002894: MLOAD
00002895: DUP4
00002896: DUP3
00002897: ADD
00002898: MSTORE
00002899: PUSH1 0x20
0000289b: ADD
0000289c: PUSH2 0x2888
0000289f: JUMP
000028a0: JUMPDEST
000028a1: DUP4
000028a2: DUP2
000028a3: GT
000028a4: ISZERO
000028a5: PUSH2 0x20b2
000028a8: JUMPI
000028a9: POP
000028aa: POP
000028ab: PUSH1 0x00
000028ad: SWAP2
000028ae: ADD
000028af: MSTORE
000028b0: JUMP
000028b1: JUMPDEST
000028b2: PUSH1 0x02
000028b4: DUP2
000028b5: DIV
000028b6: PUSH1 0x01
000028b8: DUP3
000028b9: AND
000028ba: DUP1
000028bb: PUSH2 0x28c5
000028be: JUMPI
000028bf: PUSH1 0x7f
000028c1: DUP3
000028c2: AND
000028c3: SWAP2
000028c4: POP
000028c5: JUMPDEST
000028c6: PUSH1 0x20
000028c8: DUP3
000028c9: LT
000028ca: DUP2
000028cb: EQ
000028cc: ISZERO
000028cd: PUSH2 0x28e6
000028d0: JUMPI
000028d1: PUSH4 0x4e487b71
000028d6: PUSH1 0xe0
000028d8: SHL
000028d9: PUSH1 0x00
000028db: MSTORE
000028dc: PUSH1 0x22
000028de: PUSH1 0x04
000028e0: MSTORE
000028e1: PUSH1 0x24
000028e3: PUSH1 0x00
000028e5: REVERT
000028e6: JUMPDEST
000028e7: POP
000028e8: SWAP2
000028e9: SWAP1
000028ea: POP
000028eb: JUMP
000028ec: JUMPDEST
000028ed: PUSH1 0x00
000028ef: PUSH1 0x00
000028f1: NOT
000028f2: DUP3
000028f3: EQ
000028f4: ISZERO
000028f5: PUSH2 0x2900
000028f8: JUMPI
000028f9: PUSH2 0x2900
000028fc: PUSH2 0x2907
000028ff: JUMP
00002900: JUMPDEST
00002901: POP
00002902: PUSH1 0x01
00002904: ADD
00002905: SWAP1
00002906: JUMP
00002907: JUMPDEST
00002908: PUSH4 0x4e487b71
0000290d: PUSH1 0xe0
0000290f: SHL
00002910: PUSH1 0x00
00002912: MSTORE
00002913: PUSH1 0x11
00002915: PUSH1 0x04
00002917: MSTORE
00002918: PUSH1 0x24
0000291a: PUSH1 0x00
0000291c: REVERT
0000291d: JUMPDEST
0000291e: DUP1
0000291f: ISZERO
00002920: ISZERO
00002921: DUP2
00002922: EQ
00002923: PUSH2 0x292b
00002926: JUMPI
00002927: PUSH1 0x00
00002929: DUP1
0000292a: REVERT
0000292b: JUMPDEST
0000292c: POP
0000292d: JUMP
0000292e: INVALID
0000292f: UNKNOWN(0xDD)
00002930: CALLCODE
00002931: MSTORE
00002932: UNKNOWN(0xAD)
00002933: SHL
00002934: UNKNOWN(0xE2)
00002935: UNKNOWN(0xC8)
00002936: SWAP12
00002937: PUSH10 0xc2b068fc378daa952ba7
00002942: CALL
00002943: PUSH4 0xc4a11628
00002948: CREATE2
00002949: GAS
0000294a: UNKNOWN(0x4D)
0000294b: CREATE2
0000294c: UNKNOWN(0x23)
0000294d: UNKNOWN(0xB3)
0000294e: UNKNOWN(0xEF)
0000294f: DUP13
00002950: JUMPDEST
00002951: UNKNOWN(0xE1)
00002952: UNKNOWN(0xE5)
00002953: UNKNOWN(0xEB)
00002954: UNKNOWN(0xEC)
00002955: PUSH30 0x5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925a264697066
00002974: PUSH20 0x5822122009f133a1a7b82a84f7eb4d540d9b7632
00002989: LOG2
0000298a: UNKNOWN(0xFB)
0000298b: SWAP8
0000298c: UNKNOWN(0xE0)
0000298d: PUSH12 0x30fd18edb4988cdb70ae8164
0000299a: PUSH20

Findings

validated = confirmed for call sinks; sink observed for others
Severity Category Tool Title Confidence Validated Confirmed Details
high other detector Untrusted CALL target/value reachable 60 no no
view
trace_id: 0xab656197dbb67af8460c6d875753efcf0893dba2e6a152db06b25d1eb9b26f67
call_targets: 0x7ea2be2df7ba6e54b1a9c70676f668455e329d29
target_varies: no
classification: constant_target
validation_json
{
    "sink": "CALL",
    "errors": 0,
    "status": "sink_reached",
    "attempts": 1,
    "trace_id": "0xab656197dbb67af8460c6d875753efcf0893dba2e6a152db06b25d1eb9b26f67",
    "confirmed": false,
    "trace_mode": "callTracer",
    "call_targets": [
        "0x7ea2be2df7ba6e54b1a9c70676f668455e329d29"
    ],
    "matched_probe": null,
    "target_varies": false,
    "classification": "constant_target"
}
witness_json
{
    "notes": "heuristic witness; entrypoints are best-effort selectors with zeroed calldata",
    "constraints": [],
    "entrypoints": [
        {
            "calldata": "0xf75c2664",
            "selector": "0xf75c2664",
            "calldata_variants": [
                "0xf75c2664",
                "0xf75c26640000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xf954734e",
            "selector": "0xf954734e",
            "calldata_variants": [
                "0xf954734e",
                "0xf954734e0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xfbfa77cf",
            "selector": "0xfbfa77cf",
            "calldata_variants": [
                "0xfbfa77cf",
                "0xfbfa77cf0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xfca3b5aa",
            "selector": "0xfca3b5aa",
            "calldata_variants": [
                "0xfca3b5aa",
                "0xfca3b5aa0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xd93f2445",
            "selector": "0xd93f2445",
            "calldata_variants": [
                "0xd93f2445",
                "0xd93f24450000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xdd62ed3e",
            "selector": "0xdd62ed3e",
            "calldata_variants": [
                "0xdd62ed3e",
                "0xdd62ed3e0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xec126c77",
            "selector": "0xec126c77",
            "calldata_variants": [
                "0xec126c77",
                "0xec126c770000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xcae9ca51",
            "selector": "0xcae9ca51",
            "calldata_variants": [
                "0xcae9ca51",
                "0xcae9ca510000000000000000000000000000000000000000000000000000000000000000"
            ]
        }
    ]
}
evidence_json
{
    "examples": [
        {
            "pc": 3548,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        },
        {
            "pc": 5116,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        },
        {
            "pc": 6049,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        }
    ],
    "call_count": 7,
    "guards_detected": [],
    "untrusted_call_count": 7
}
high other detector ETH value transfer possible 55 no no
view
trace_id: 0xab656197dbb67af8460c6d875753efcf0893dba2e6a152db06b25d1eb9b26f67
call_targets: 0x7ea2be2df7ba6e54b1a9c70676f668455e329d29
target_varies: no
classification: constant_target
validation_json
{
    "sink": "CALL",
    "errors": 0,
    "status": "sink_reached",
    "attempts": 1,
    "trace_id": "0xab656197dbb67af8460c6d875753efcf0893dba2e6a152db06b25d1eb9b26f67",
    "confirmed": false,
    "trace_mode": "callTracer",
    "call_targets": [
        "0x7ea2be2df7ba6e54b1a9c70676f668455e329d29"
    ],
    "matched_probe": null,
    "target_varies": false,
    "classification": "constant_target"
}
witness_json
{
    "notes": "heuristic witness; entrypoints are best-effort selectors with zeroed calldata",
    "constraints": [],
    "entrypoints": [
        {
            "calldata": "0xf75c2664",
            "selector": "0xf75c2664",
            "calldata_variants": [
                "0xf75c2664",
                "0xf75c26640000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xf954734e",
            "selector": "0xf954734e",
            "calldata_variants": [
                "0xf954734e",
                "0xf954734e0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xfbfa77cf",
            "selector": "0xfbfa77cf",
            "calldata_variants": [
                "0xfbfa77cf",
                "0xfbfa77cf0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xfca3b5aa",
            "selector": "0xfca3b5aa",
            "calldata_variants": [
                "0xfca3b5aa",
                "0xfca3b5aa0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xd93f2445",
            "selector": "0xd93f2445",
            "calldata_variants": [
                "0xd93f2445",
                "0xd93f24450000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xdd62ed3e",
            "selector": "0xdd62ed3e",
            "calldata_variants": [
                "0xdd62ed3e",
                "0xdd62ed3e0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xec126c77",
            "selector": "0xec126c77",
            "calldata_variants": [
                "0xec126c77",
                "0xec126c770000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xcae9ca51",
            "selector": "0xcae9ca51",
            "calldata_variants": [
                "0xcae9ca51",
                "0xcae9ca510000000000000000000000000000000000000000000000000000000000000000"
            ]
        }
    ]
}
evidence_json
{
    "examples": [
        {
            "pc": 3548,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        },
        {
            "pc": 5116,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        },
        {
            "pc": 6049,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        }
    ],
    "eth_value_calls": 7,
    "guards_detected": []
}
medium math codex Minting ignores actual received underlying, enabling undercollateralization with fee-on-transfer tokens 75 no
view
evidence_json
{
    "evidence": "Deposit paths call `safeTransferFrom` (or `transferWithPermit`) and then `_deposit(amount, ...)` which mints `amount` without checking actual received underlying.",
    "locations": [
        "contracts/Contract.sol:333",
        "contracts/Contract.sol:344",
        "contracts/Contract.sol:350",
        "contracts/Contract.sol:355",
        "contracts/Contract.sol:364"
    ],
    "recommendation": "Mint based on the balance delta (balanceAfter - balanceBefore) and/or revert when received amount is less than expected; alternatively restrict deployment to non-fee-on-transfer tokens and document/enforce this constraint.",
    "exploit_scenario": "If the underlying token charges a transfer fee or otherwise reduces the received amount, deposits mint `amount` wrapper tokens even though fewer underlying tokens arrive. An attacker can repeatedly deposit and receive more wrapper tokens than the contract holds in underlying, then sell or transfer those unbacked tokens, leaving the wrapper undercollateralized and later withdrawals failing or draining reserves."
}
medium other detector CREATE/CREATE2 reachable 45 no no
view
trace_id: 0x9e68957cd0988c70acd594a027722ec481f83d488cc72f593177799f637ee577
validation_json
{
    "sink": "CREATE",
    "errors": 0,
    "status": "unknown",
    "attempts": 32,
    "trace_id": "0x9e68957cd0988c70acd594a027722ec481f83d488cc72f593177799f637ee577",
    "confirmed": false,
    "trace_mode": "structLogs",
    "call_targets": null,
    "matched_probe": null,
    "target_varies": null,
    "classification": "no_sink"
}
witness_json
{
    "notes": "heuristic witness; entrypoints are best-effort selectors with zeroed calldata",
    "constraints": [],
    "entrypoints": [
        {
            "calldata": "0xf75c2664",
            "selector": "0xf75c2664",
            "calldata_variants": [
                "0xf75c2664",
                "0xf75c26640000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xf954734e",
            "selector": "0xf954734e",
            "calldata_variants": [
                "0xf954734e",
                "0xf954734e0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xfbfa77cf",
            "selector": "0xfbfa77cf",
            "calldata_variants": [
                "0xfbfa77cf",
                "0xfbfa77cf0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xfca3b5aa",
            "selector": "0xfca3b5aa",
            "calldata_variants": [
                "0xfca3b5aa",
                "0xfca3b5aa0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xd93f2445",
            "selector": "0xd93f2445",
            "calldata_variants": [
                "0xd93f2445",
                "0xd93f24450000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xdd62ed3e",
            "selector": "0xdd62ed3e",
            "calldata_variants": [
                "0xdd62ed3e",
                "0xdd62ed3e0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xec126c77",
            "selector": "0xec126c77",
            "calldata_variants": [
                "0xec126c77",
                "0xec126c770000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xcae9ca51",
            "selector": "0xcae9ca51",
            "calldata_variants": [
                "0xcae9ca51",
                "0xcae9ca510000000000000000000000000000000000000000000000000000000000000000"
            ]
        }
    ]
}
evidence_json
{
    "create_count": 0,
    "create2_count": 2
}
low other codex Recipient guard uses OR, allowing transfers to zero or self and locking funds 65 no
view
evidence_json
{
    "evidence": "The guard is `require(to != address(0) || to != address(this));`, which is always true for any `to` because it only fails if `to` is both zero and this contract.",
    "locations": [
        "contracts/Contract.sol:494",
        "contracts/Contract.sol:534",
        "contracts/Contract.sol:556",
        "contracts/Contract.sol:587"
    ],
    "recommendation": "Use `&&` to block both `address(0)` and `address(this)` or implement explicit burn/withdraw handling for zero-address transfers; consider reverting transfers to `address(this)` unless intentionally supported.",
    "exploit_scenario": "An approved spender (or user) can call transfer/transferFrom/transferWithPermit/transferAndCall with `to = address(0)` or `to = address(this)`; the guard passes due to `||`, so tokens are moved to an unusable address and cannot be withdrawn, effectively burning/locking balances and breaking the intended \u201ctransfer to zero triggers withdraw\u201d semantics."
}
low other cast Contract creation opcode present 60 no
view
evidence_json
{
    "notes": "runtime can deploy contracts dynamically via CREATE/CREATE2",
    "create_count": 0,
    "create2_count": 2
}
info other cast Heavy EXTCODE*/BALANCE usage 55 no
view
evidence_json
{
    "notes": "frequent external code or balance checks; may indicate introspection or validation logic",
    "ext_balance_count": 6
}