0c565d08-f42f-431c-9f44-84e9a2ba2c0c
Open this run to answer one question: is this real attacker-relevant behavior with real impact, or just normal contract plumbing?
| 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 |
No slither job recorded yet.
[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"]}]}
{
"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
}
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
| Severity | Category | Tool | Title | Confidence | Validated | Confirmed | Details |
|---|---|---|---|---|---|---|---|
| high | other | detector | Untrusted CALL target/value reachable | 60 | no | no |
viewtrace_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 |
viewtrace_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 | — |
viewevidence_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 |
viewtrace_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 | — |
viewevidence_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 | — |
viewevidence_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 | — |
viewevidence_json{
"notes": "frequent external code or balance checks; may indicate introspection or validation logic",
"ext_balance_count": 6
}
|