286b1114-3519-47ab-958a-88ad2d37b3ec
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 |
|---|---|---|---|---|
| 30658 | report.consolidate | complete | 1 / 1 | 3 months ago |
| 74944 | artifact.fetch | failed | 1 / 3 | 1 week ago |
| 74945 | tool.cast_disasm | complete | 1 / 3 | 1 week ago |
| 74946 | analysis.bundle | complete | 1 / 3 | 1 week ago |
| 74947 | capability.graph | complete | 1 / 3 | 1 week ago |
| 74948 | detector.run | complete | 1 / 3 | 1 week ago |
| 74949 | validation.fork | complete | 1 / 3 | 1 week ago |
No slither job recorded yet.
[codex:1288336] OpenAI Codex v0.77.0 (research preview)
[codex:1288336] --------
[codex:1288336] workdir: /tmp/codex-multi-_6q54qwc
[codex:1288336] model: gpt-5.2-codex
[codex:1288336] provider: openai
[codex:1288336] approval: never
[codex:1288336] sandbox: read-only
[codex:1288336] reasoning effort: xhigh
[codex:1288336] reasoning summaries: auto
[codex:1288336] session id: 019b6d0a-6950-7223-a439-84a4bd9b6332
[codex:1288336] --------
[codex:1288336] user
[codex:1288336] You are a security auditor. Audit this Solidity codebase for exploitable vulnerabilities.
[codex:1288336] Focus on: reentrancy, access control, upgradeability/proxy issues, signature validation, oracle manipulation,
[codex:1288336] accounting/invariant breaks, external call patterns, unchecked return values, and dangerous delegatecall.
[codex:1288336]
[codex:1288336] Scope rules:
[codex:1288336] - You MUST fully read `AUDIT_BUNDLE.txt` before concluding. It contains the complete contents of all first-party `contracts/**/*.sol` files.
[codex:1288336] - Treat `lib/` and `@openzeppelin/` as third-party dependencies; skip them unless there is a concrete misuse angle in first-party code.
[codex:1288336]
[codex:1288336] Output MUST be valid JSON matching the provided schema.
[codex:1288336] - If you find nothing meaningful: set no_findings=true and findings=[].
[codex:1288336] - Otherwise: set no_findings=false and include findings with severity/category/title and file/line locations when possible.
[codex:1288336]
[codex:1288336] Output constraints (IMPORTANT):
[codex:1288336] - severity MUST be exactly one of: info, low, medium, high, critical (lowercase).
[codex:1288336] - category MUST be exactly one of: access_control, reentrancy, math, oracle, upgradeability, auth, other.
[codex:1288336] mcp startup: no servers
[codex:1288336]
[codex:1288336] thinking
[codex:1288336] **Checking relevance of skills and reading audit bundle**
[codex:1288336] exec
[codex:1288336] /bin/bash -lc ls in /tmp/codex-multi-_6q54qwc succeeded in 5ms:
[codex:1288336] AUDIT_BUNDLE.txt
[codex:1288336] codex-output-schema.json
[codex:1288336] contracts
[codex:1288336] exec
[codex:1288336] /bin/bash -lc 'cat AUDIT_BUNDLE.txt' in /tmp/codex-multi-_6q54qwc succeeded in 6ms:
[codex:1288336] This file concatenates the full contents of first-party Solidity sources for auditing.
[codex:1288336]
[codex:1288336] ================================================================================
[codex:1288336] FILE: contracts/lib/forge-std/src/interfaces/IERC1155.sol
[codex:1288336] ================================================================================
[codex:1288336] // SPDX-License-Identifier: MIT
[codex:1288336] pragma solidity >=0.6.2;
[codex:1288336]
[codex:1288336] import "./IERC165.sol";
[codex:1288336]
[codex:1288336] /// @title ERC-1155 Multi Token Standard
[codex:1288336] /// @dev See https://eips.ethereum.org/EIPS/eip-1155
[codex:1288336] /// Note: The ERC-165 identifier for this interface is 0xd9b67a26.
[codex:1288336] interface IERC1155 is IERC165 {
[codex:1288336] /// @dev
[codex:1288336] /// - Either `TransferSingle` or `TransferBatch` MUST emit when tokens are transferred, including zero value transfers as well as minting or burning (see "Safe Transfer Rules" section of the standard).
[codex:1288336] /// - The `_operator` argument MUST be the address of an account/contract that is approved to make the transfer (SHOULD be msg.sender).
[codex:1288336] /// - The `_from` argument MUST be the address of the holder whose balance is decreased.
[codex:1288336] /// - The `_to` argument MUST be the address of the recipient whose balance is increased.
[codex:1288336] /// - The `_id` argument MUST be the token type being transferred.
[codex:1288336]
[codex:1288336] thinking
[codex:1288336] **Searching for first-party contracts**
[codex:1288336] exec
[codex:1288336] /bin/bash -lc 'rg -n "''^FILE: contracts/src" AUDIT_BUNDLE.txt' in /tmp/codex-multi-_6q54qwc succeeded in 8ms:
[codex:1288336] 1054:FILE: contracts/src/fractional/IFractionalAssets.sol
[codex:1288336] 1066:FILE: contracts/src/marketplaces/pinlinkShop.sol
[codex:1288336] 1645:FILE: contracts/src/marketplaces/streams.sol
[codex:1288336] 1798:FILE: contracts/src/oracles/IPinlinkOracle.sol
[codex:1288336]
[codex:1288336] thinking
[codex:1288336] **Preparing to extract specific contract files**
[codex:1288336] exec
[codex:1288336] /bin/bash -lc "sed -n '1054,1644p' AUDIT_BUNDLE.txt" in /tmp/codex-multi-_6q54qwc succeeded in 5ms:
[codex:1288336] FILE: contracts/src/fractional/IFractionalAssets.sol
[codex:1288336] ================================================================================
[codex:1288336] // SPDX-License-Identifier: UNLICENSED
[codex:1288336] pragma solidity 0.8.27;
[codex:1288336]
[codex:1288336] import {IERC1155} from "lib/forge-std/src/interfaces/IERC1155.sol";
[codex:1288336]
[codex:1288336] interface IFractionalAssets is IERC1155 {
[codex:1288336] function totalSupply(uint256 tokenId) external view returns (uint256);
[codex:1288336] }
[codex:1288336]
[codex:1288336] ================================================================================
[codex:1288336] FILE: contracts/src/marketplaces/pinlinkShop.sol
[codex:1288336] ================================================================================
[codex:1288336] // SPDX-License-Identifier: UNLICENSED
[codex:1288336] pragma solidity 0.8.27;
[codex:1288336]
[codex:1288336] import {ERC165} from "lib/openzeppelin-contracts/contracts/utils/introspection/ERC165.sol";
[codex:1288336] import {IERC20, SafeERC20} from "lib/openzeppelin-contracts/contracts/token/ERC20/utils/SafeERC20.sol";
[codex:1288336] import {AccessControl} from "lib/openzeppelin-contracts/contracts/access/AccessControl.sol";
[codex:1288336]
[codex:1288336] thinking
[codex:1288336] **Checking streams file at specific lines**
[codex:1288336] exec
[codex:1288336] /bin/bash -lc "sed -n '1645,1797p' AUDIT_BUNDLE.txt" in /tmp/codex-multi-_6q54qwc succeeded in 5ms:
[codex:1288336] FILE: contracts/src/marketplaces/streams.sol
[codex:1288336] ================================================================================
[codex:1288336] // SPDX-License-Identifier: UNLICENSED
[codex:1288336] pragma solidity 0.8.27;
[codex:1288336]
[codex:1288336] // note each physical asset is represented by a tokenId within a fractional contract
[codex:1288336] // This contract supports rewards streaming towards multiple fractional assets, and multiple tokenIds within each fractional asset
[codex:1288336] // A single reward token is common to all staked assets
[codex:1288336]
[codex:1288336] error PinlinkRewards_AmountTooLow();
[codex:1288336] error PinlinkRewards_AlreadyEnabled();
[codex:1288336] error PinlinkRewards_AssetNotEnabled();
[codex:1288336] error PinlinkRewards_DepositRewardsTooEarly();
[codex:1288336] error PinlinkRewards_AssetSupplyTooHigh();
[codex:1288336] error PinlinkRewards_AssetSupplyIsZero();
[codex:1288336] error PinlinkRewards_DrippingPeriodTooLong();
[codex:1288336] error PinlinkRewards_DrippingPeriodTooShort();
[codex:1288336]
[codex:1288336] /// @title RewardsStreamer
[codex:1288336] /// @notice This struct is used to store the rewards data for each fractional token and each tokenId
[codex:1288336]
[codex:1288336]
[codex:1288336]
[codex:1288336]
[codex:1288336]
[codex:1288336] thinking
[codex:1288336] **Reviewing contract vulnerabilities and design**
[codex:1288336]
[codex:1288336] I'm carefully auditing key contract components for security risks including reentrancy, access control, oracle reliability, and internal accounting. I'm analyzing how external calls, role restrictions, and state updates interplay to identify possible exploit scenarios or misconfigurations while confirming if existing protections seem adequate. There is a lot here involving token interactions and internal balances, so I'm scrutinizing each function's flow for potential pitfalls or unusual assumptions.
[codex:1288336] thinking
[codex:1288336] **Examining asset supply and accounting nuances**
[codex:1288336]
[codex:1288336] I'm investigating how asset supply, token deposits, and internal accounting interact, especially whether discrepancies between actual ERC1155 holdings and internal balances might cause reward miscalculations or token locking. There’s a lot about admin roles, token transfers, and invariants that seem carefully enforced, but I'm probing edge cases like external token transfers and supply changes after enabling assets to see if any inconsistencies or exploit opportunities exist.
[codex:1288336] thinking
[codex:1288336] **Analyzing reentrancy and token transfer risks**
[codex:1288336]
[codex:1288336] I'm exploring how external calls to the ERC1155 token contract during transfers could open reentrancy paths, especially since state updates happen before those calls. There’s a nuanced risk if the token is malicious and calls back into this contract mid-transfer. Additionally, I’m checking subtle issues around internal balances, withdrawals, oracle handling, and how special addresses like REWARDS_PROXY_ACCOUNT might affect reward claims or migrations. There’s a lot about ensuring accounting invariants hold amid these interactions.
[codex:1288336] thinking
[codex:1288336] **Evaluating ownership and reentrancy attack vectors**
[codex:1288336]
[codex:1288336] I'm considering the implications of someone potentially controlling the so-called burn address used as REWARDS_PROXY_ACCOUNT and how that might affect withdrawing tokens or claiming rewards. Also, I’m looking closely at how external oracle calls within purchase and ERC1155 transfers might enable reentrancy, especially around calls to claimRewardsMultiple and purchase itself. There’s a complex interplay of internal state updates and external calls that could open subtle attack surfaces despite existing checks.
[codex:1288336] thinking
[codex:1288336] **Reviewing contract logic for low-risk issues**
[codex:1288336]
[codex:1288336] I'm carefully analyzing various functions related to asset enabling, oracle interactions, and reward calculations to confirm no underflows, overflows, or reentrancy issues exist. Although some design choices rely heavily on oracle behavior and operator honesty, the code’s internal checks appear robust, and I don’t see meaningful exploitable vulnerabilities, so I’m leaning toward reporting no findings.
[codex:1288336] exec
[codex:1288336] /bin/bash -lc 'cat codex-output-schema.json' in /tmp/codex-multi-_6q54qwc succeeded in 6ms:
[codex:1288336] {"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:1288336]
[codex:1288336] thinking
[codex:1288336] **Preparing audit summary response**
[codex:1288336] codex
[codex:1288336] {"no_findings":true,"summary":"Reviewed the first-party marketplace and stream accounting logic; no concrete exploitable vulnerabilities were identified in the provided Solidity sources.","findings":[]}
[codex:1288336] tokens used
[codex:1288336] 43,636
[codex:1288336] {"no_findings":true,"summary":"Reviewed the first-party marketplace and stream accounting logic; no concrete exploitable vulnerabilities were identified in the provided Solidity sources.","findings":[]}
{
"codex": {
"ran_at": "2025-12-30T02:22:12.338011+00:00",
"returncode": 0
},
"summary": "Reviewed the first-party marketplace and stream accounting logic; no concrete exploitable vulnerabilities were identified in the provided Solidity sources.",
"raw_final": {
"summary": "Reviewed the first-party marketplace and stream accounting logic; no concrete exploitable vulnerabilities were identified in the provided Solidity sources.",
"findings": [],
"no_findings": true
},
"no_findings": true,
"schema_version": 1
}
00000000: PUSH1 0x80 00000002: PUSH1 0x40 00000004: MSTORE 00000005: CALLVALUE 00000006: DUP1 00000007: ISZERO 00000008: PUSH2 0x000f 0000000b: JUMPI 0000000c: PUSH0 0000000d: PUSH0 0000000e: REVERT 0000000f: JUMPDEST 00000010: POP 00000011: PUSH1 0x04 00000013: CALLDATASIZE 00000014: LT 00000015: PUSH2 0x0255 00000018: JUMPI 00000019: PUSH0 0000001a: CALLDATALOAD 0000001b: PUSH1 0xe0 0000001d: SHR 0000001e: DUP1 0000001f: PUSH4 0x91d14854 00000024: GT 00000025: PUSH2 0x0140 00000028: JUMPI 00000029: DUP1 0000002a: PUSH4 0xbcdd56e3 0000002f: GT 00000030: PUSH2 0x00bf 00000033: JUMPI 00000034: DUP1 00000035: PUSH4 0xdec38fc6 0000003a: GT 0000003b: PUSH2 0x0084 0000003e: JUMPI 0000003f: DUP1 00000040: PUSH4 0xdec38fc6 00000045: EQ 00000046: PUSH2 0x064d 00000049: JUMPI 0000004a: DUP1 0000004b: PUSH4 0xe7b62083 00000050: EQ 00000051: PUSH2 0x0660 00000054: JUMPI 00000055: DUP1 00000056: PUSH4 0xefdcd974 0000005b: EQ 0000005c: PUSH2 0x0673 0000005f: JUMPI 00000060: DUP1 00000061: PUSH4 0xf23a6e61 00000066: EQ 00000067: PUSH2 0x0686 0000006a: JUMPI 0000006b: DUP1 0000006c: PUSH4 0xf5b541a6 00000071: EQ 00000072: PUSH2 0x06a5 00000075: JUMPI 00000076: DUP1 00000077: PUSH4 0xfdeb3597 0000007c: EQ 0000007d: PUSH2 0x06cc 00000080: JUMPI 00000081: PUSH0 00000082: PUSH0 00000083: REVERT 00000084: JUMPDEST 00000085: DUP1 00000086: PUSH4 0xbcdd56e3 0000008b: EQ 0000008c: PUSH2 0x05e4 0000008f: JUMPI 00000090: DUP1 00000091: PUSH4 0xc5601072 00000096: EQ 00000097: PUSH2 0x05f7 0000009a: JUMPI 0000009b: DUP1 0000009c: PUSH4 0xcc64044e 000000a1: EQ 000000a2: PUSH2 0x061e 000000a5: JUMPI 000000a6: DUP1 000000a7: PUSH4 0xd547741f 000000ac: EQ 000000ad: PUSH2 0x0631 000000b0: JUMPI 000000b1: DUP1 000000b2: PUSH4 0xd73792a9 000000b7: EQ 000000b8: PUSH2 0x0644 000000bb: JUMPI 000000bc: PUSH0 000000bd: PUSH0 000000be: REVERT 000000bf: JUMPDEST 000000c0: DUP1 000000c1: PUSH4 0xab2d662b 000000c6: GT 000000c7: PUSH2 0x0105 000000ca: JUMPI 000000cb: DUP1 000000cc: PUSH4 0xab2d662b 000000d1: EQ 000000d2: PUSH2 0x0560 000000d5: JUMPI 000000d6: DUP1 000000d7: PUSH4 0xb3f00674 000000dc: EQ 000000dd: PUSH2 0x0573 000000e0: JUMPI 000000e1: DUP1 000000e2: PUSH4 0xb8bf029b 000000e7: EQ 000000e8: PUSH2 0x0586 000000eb: JUMPI 000000ec: DUP1 000000ed: PUSH4 0xb99ce517 000000f2: EQ 000000f3: PUSH2 0x0599 000000f6: JUMPI 000000f7: DUP1 000000f8: PUSH4 0xbc197c81 000000fd: EQ 000000fe: PUSH2 0x05ac 00000101: JUMPI 00000102: PUSH0 00000103: PUSH0 00000104: REVERT 00000105: JUMPDEST 00000106: DUP1 00000107: PUSH4 0x91d14854 0000010c: EQ 0000010d: PUSH2 0x04b3 00000110: JUMPI 00000111: DUP1 00000112: PUSH4 0x963091e7 00000117: EQ 00000118: PUSH2 0x04c6 0000011b: JUMPI 0000011c: DUP1 0000011d: PUSH4 0x9a99b4f0 00000122: EQ 00000123: PUSH2 0x04d9 00000126: JUMPI 00000127: DUP1 00000128: PUSH4 0x9b9d6cc1 0000012d: EQ 0000012e: PUSH2 0x04ec 00000131: JUMPI 00000132: DUP1 00000133: PUSH4 0xa217fddf 00000138: EQ 00000139: PUSH2 0x0559 0000013c: JUMPI 0000013d: PUSH0 0000013e: PUSH0 0000013f: REVERT 00000140: JUMPDEST 00000141: DUP1 00000142: PUSH4 0x36568abe 00000147: GT 00000148: PUSH2 0x01d7 0000014b: JUMPI 0000014c: DUP1 0000014d: PUSH4 0x5518d94d 00000152: GT 00000153: PUSH2 0x019c 00000156: JUMPI 00000157: DUP1 00000158: PUSH4 0x5518d94d 0000015d: EQ 0000015e: PUSH2 0x0421 00000161: JUMPI 00000162: DUP1 00000163: PUSH4 0x6244cea5 00000168: EQ 00000169: PUSH2 0x0434 0000016c: JUMPI 0000016d: DUP1 0000016e: PUSH4 0x69fe0e2d 00000173: EQ 00000174: PUSH2 0x0447 00000177: JUMPI 00000178: DUP1 00000179: PUSH4 0x7adbf973 0000017e: EQ 0000017f: PUSH2 0x045a 00000182: JUMPI 00000183: DUP1 00000184: PUSH4 0x7dc0d1d0 00000189: EQ 0000018a: PUSH2 0x046d 0000018d: JUMPI 0000018e: DUP1 0000018f: PUSH4 0x807042d4 00000194: EQ 00000195: PUSH2 0x0498 00000198: JUMPI 00000199: PUSH0 0000019a: PUSH0 0000019b: REVERT 0000019c: JUMPDEST 0000019d: DUP1 0000019e: PUSH4 0x36568abe 000001a3: EQ 000001a4: PUSH2 0x03a4 000001a7: JUMPI 000001a8: DUP1 000001a9: PUSH4 0x3decc726 000001ae: EQ 000001af: PUSH2 0x03b7 000001b2: JUMPI 000001b3: DUP1 000001b4: PUSH4 0x4707d000 000001b9: EQ 000001ba: PUSH2 0x03ca 000001bd: JUMPI 000001be: DUP1 000001bf: PUSH4 0x49d7e6de 000001c4: EQ 000001c5: PUSH2 0x03dd 000001c8: JUMPI 000001c9: DUP1 000001ca: PUSH4 0x4f3b09ac 000001cf: EQ 000001d0: PUSH2 0x0410 000001d3: JUMPI 000001d4: PUSH0 000001d5: PUSH0 000001d6: REVERT 000001d7: JUMPDEST 000001d8: DUP1 000001d9: PUSH4 0x248a9ca3 000001de: GT 000001df: PUSH2 0x021d 000001e2: JUMPI 000001e3: DUP1 000001e4: PUSH4 0x248a9ca3 000001e9: EQ 000001ea: PUSH2 0x0325 000001ed: JUMPI 000001ee: DUP1 000001ef: PUSH4 0x25d0f5cb 000001f4: EQ 000001f5: PUSH2 0x0347 000001f8: JUMPI 000001f9: DUP1 000001fa: PUSH4 0x28e7e7ab 000001ff: EQ 00000200: PUSH2 0x0350 00000203: JUMPI 00000204: DUP1 00000205: PUSH4 0x2de5e916 0000020a: EQ 0000020b: PUSH2 0x037e 0000020e: JUMPI 0000020f: DUP1 00000210: PUSH4 0x2f2ff15d 00000215: EQ 00000216: PUSH2 0x0391 00000219: JUMPI 0000021a: PUSH0 0000021b: PUSH0 0000021c: REVERT 0000021d: JUMPDEST 0000021e: DUP1 0000021f: PUSH4 0x01ffc9a7 00000224: EQ 00000225: PUSH2 0x0259 00000228: JUMPI 00000229: DUP1 0000022a: PUSH4 0x044ac89b 0000022f: EQ 00000230: PUSH2 0x0281 00000233: JUMPI 00000234: DUP1 00000235: PUSH4 0x0f8166c1 0000023a: EQ 0000023b: PUSH2 0x0298 0000023e: JUMPI 0000023f: DUP1 00000240: PUSH4 0x175c0d16 00000245: EQ 00000246: PUSH2 0x02ad 00000249: JUMPI 0000024a: DUP1 0000024b: PUSH4 0x222cd11c 00000250: EQ 00000251: PUSH2 0x0312 00000254: JUMPI 00000255: JUMPDEST 00000256: PUSH0 00000257: PUSH0 00000258: REVERT 00000259: JUMPDEST 0000025a: PUSH2 0x026c 0000025d: PUSH2 0x0267 00000260: CALLDATASIZE 00000261: PUSH1 0x04 00000263: PUSH2 0x2421 00000266: JUMP 00000267: JUMPDEST 00000268: PUSH2 0x06f3 0000026b: JUMP 0000026c: JUMPDEST 0000026d: PUSH1 0x40 0000026f: MLOAD 00000270: SWAP1 00000271: ISZERO 00000272: ISZERO 00000273: DUP2 00000274: MSTORE 00000275: PUSH1 0x20 00000277: ADD 00000278: JUMPDEST 00000279: PUSH1 0x40 0000027b: MLOAD 0000027c: DUP1 0000027d: SWAP2 0000027e: SUB 0000027f: SWAP1 00000280: RETURN 00000281: JUMPDEST 00000282: PUSH2 0x028a 00000285: PUSH2 0x03e8 00000288: DUP2 00000289: JUMP 0000028a: JUMPDEST 0000028b: PUSH1 0x40 0000028d: MLOAD 0000028e: SWAP1 0000028f: DUP2 00000290: MSTORE 00000291: PUSH1 0x20 00000293: ADD 00000294: PUSH2 0x0278 00000297: JUMP 00000298: JUMPDEST 00000299: PUSH2 0x02ab 0000029c: PUSH2 0x02a6 0000029f: CALLDATASIZE 000002a0: PUSH1 0x04 000002a2: PUSH2 0x2463 000002a5: JUMP 000002a6: JUMPDEST 000002a7: PUSH2 0x0712 000002aa: JUMP 000002ab: JUMPDEST 000002ac: STOP 000002ad: JUMPDEST 000002ae: PUSH2 0x02c0 000002b1: PUSH2 0x02bb 000002b4: CALLDATASIZE 000002b5: PUSH1 0x04 000002b7: PUSH2 0x2499 000002ba: JUMP 000002bb: JUMPDEST 000002bc: PUSH2 0x07ed 000002bf: JUMP 000002c0: JUMPDEST 000002c1: PUSH1 0x40 000002c3: DUP1 000002c4: MLOAD 000002c5: DUP3 000002c6: MLOAD 000002c7: PUSH1 0x01 000002c9: PUSH1 0x01 000002cb: PUSH1 0xa0 000002cd: SHL 000002ce: SUB 000002cf: SWAP1 000002d0: DUP2 000002d1: AND 000002d2: DUP3 000002d3: MSTORE 000002d4: PUSH1 0x20 000002d6: DUP1 000002d7: DUP6 000002d8: ADD 000002d9: MLOAD 000002da: SWAP1 000002db: DUP4 000002dc: ADD 000002dd: MSTORE 000002de: DUP4 000002df: DUP4 000002e0: ADD 000002e1: MLOAD 000002e2: AND 000002e3: SWAP2 000002e4: DUP2 000002e5: ADD 000002e6: SWAP2 000002e7: SWAP1 000002e8: SWAP2 000002e9: MSTORE 000002ea: PUSH1 0x60 000002ec: DUP1 000002ed: DUP4 000002ee: ADD 000002ef: MLOAD 000002f0: SWAP1 000002f1: DUP3 000002f2: ADD 000002f3: MSTORE 000002f4: PUSH1 0x80 000002f6: DUP1 000002f7: DUP4 000002f8: ADD 000002f9: MLOAD 000002fa: SWAP1 000002fb: DUP3 000002fc: ADD 000002fd: MSTORE 000002fe: PUSH1 0xa0 00000300: SWAP2 00000301: DUP3 00000302: ADD 00000303: MLOAD 00000304: SWAP2 00000305: DUP2 00000306: ADD 00000307: SWAP2 00000308: SWAP1 00000309: SWAP2 0000030a: MSTORE 0000030b: PUSH1 0xc0 0000030d: ADD 0000030e: PUSH2 0x0278 00000311: JUMP 00000312: JUMPDEST 00000313: PUSH2 0x028a 00000316: PUSH2 0x0320 00000319: CALLDATASIZE 0000031a: PUSH1 0x04 0000031c: PUSH2 0x24b0 0000031f: JUMP 00000320: JUMPDEST 00000321: PUSH2 0x0895 00000324: JUMP 00000325: JUMPDEST 00000326: PUSH2 0x028a 00000329: PUSH2 0x0333 0000032c: CALLDATASIZE 0000032d: PUSH1 0x04 0000032f: PUSH2 0x2499 00000332: JUMP 00000333: JUMPDEST 00000334: PUSH0 00000335: SWAP1 00000336: DUP2 00000337: MSTORE 00000338: PUSH1 0x20 0000033a: DUP2 0000033b: SWAP1 0000033c: MSTORE 0000033d: PUSH1 0x40 0000033f: SWAP1 00000340: KECCAK256 00000341: PUSH1 0x01 00000343: ADD 00000344: SLOAD 00000345: SWAP1 00000346: JUMP 00000347: JUMPDEST 00000348: PUSH2 0x028a 0000034b: PUSH1 0x01 0000034d: SLOAD 0000034e: DUP2 0000034f: JUMP 00000350: JUMPDEST 00000351: PUSH2 0x0363 00000354: PUSH2 0x035e 00000357: CALLDATASIZE 00000358: PUSH1 0x04 0000035a: PUSH2 0x24b0 0000035d: JUMP 0000035e: JUMPDEST 0000035f: PUSH2 0x08c9 00000362: JUMP 00000363: JUMPDEST 00000364: PUSH1 0x40 00000366: DUP1 00000367: MLOAD 00000368: SWAP4 00000369: DUP5 0000036a: MSTORE 0000036b: PUSH1 0x20 0000036d: DUP5 0000036e: ADD 0000036f: SWAP3 00000370: SWAP1 00000371: SWAP3 00000372: MSTORE 00000373: SWAP1 00000374: DUP3 00000375: ADD 00000376: MSTORE 00000377: PUSH1 0x60 00000379: ADD 0000037a: PUSH2 0x0278 0000037d: JUMP 0000037e: JUMPDEST 0000037f: PUSH2 0x02ab 00000382: PUSH2 0x038c 00000385: CALLDATASIZE 00000386: PUSH1 0x04 00000388: PUSH2 0x24b0 0000038b: JUMP 0000038c: JUMPDEST 0000038d: PUSH2 0x0930 00000390: JUMP 00000391: JUMPDEST 00000392: PUSH2 0x02ab 00000395: PUSH2 0x039f 00000398: CALLDATASIZE 00000399: PUSH1 0x04 0000039b: PUSH2 0x24e9 0000039e: JUMP 0000039f: JUMPDEST 000003a0: PUSH2 0x0a13 000003a3: JUMP 000003a4: JUMPDEST 000003a5: PUSH2 0x02ab 000003a8: PUSH2 0x03b2 000003ab: CALLDATASIZE 000003ac: PUSH1 0x04 000003ae: PUSH2 0x24e9 000003b1: JUMP 000003b2: JUMPDEST 000003b3: PUSH2 0x0a37 000003b6: JUMP 000003b7: JUMPDEST 000003b8: PUSH2 0x02ab 000003bb: PUSH2 0x03c5 000003be: CALLDATASIZE 000003bf: PUSH1 0x04 000003c1: PUSH2 0x250a 000003c4: JUMP 000003c5: JUMPDEST 000003c6: PUSH2 0x0a6f 000003c9: JUMP 000003ca: JUMPDEST 000003cb: PUSH2 0x02ab 000003ce: PUSH2 0x03d8 000003d1: CALLDATASIZE 000003d2: PUSH1 0x04 000003d4: PUSH2 0x254d 000003d7: JUMP 000003d8: JUMPDEST 000003d9: PUSH2 0x0ba9 000003dc: JUMP 000003dd: JUMPDEST 000003de: PUSH2 0x03f0 000003e1: PUSH2 0x03eb 000003e4: CALLDATASIZE 000003e5: PUSH1 0x04 000003e7: PUSH2 0x2575 000003ea: JUMP 000003eb: JUMPDEST 000003ec: PUSH2 0x0c82 000003ef: JUMP 000003f0: JUMPDEST 000003f1: PUSH1 0x40 000003f3: DUP1 000003f4: MLOAD 000003f5: SWAP5 000003f6: DUP6 000003f7: MSTORE 000003f8: PUSH1 0x20 000003fa: DUP6 000003fb: ADD 000003fc: SWAP4 000003fd: SWAP1 000003fe: SWAP4 000003ff: MSTORE 00000400: SWAP2 00000401: DUP4 00000402: ADD 00000403: MSTORE 00000404: PUSH1 0x60 00000406: DUP3 00000407: ADD 00000408: MSTORE 00000409: PUSH1 0x80 0000040b: ADD 0000040c: PUSH2 0x0278 0000040f: JUMP 00000410: JUMPDEST 00000411: PUSH2 0x2710 00000414: PUSH1 0x96 00000416: PUSH2 0x5460 00000419: PUSH3 0x13c680 0000041d: PUSH2 0x03f0 00000420: JUMP 00000421: JUMPDEST 00000422: PUSH2 0x028a 00000425: PUSH2 0x042f 00000428: CALLDATASIZE 00000429: PUSH1 0x04 0000042b: PUSH2 0x259d 0000042e: JUMP 0000042f: JUMPDEST 00000430: PUSH2 0x0cd4 00000433: JUMP 00000434: JUMPDEST 00000435: PUSH2 0x02ab 00000438: PUSH2 0x0442 0000043b: CALLDATASIZE 0000043c: PUSH1 0x04 0000043e: PUSH2 0x24b0 00000441: JUMP 00000442: JUMPDEST 00000443: PUSH2 0x0d84 00000446: JUMP 00000447: JUMPDEST 00000448: PUSH2 0x02ab 0000044b: PUSH2 0x0455 0000044e: CALLDATASIZE 0000044f: PUSH1 0x04 00000451: PUSH2 0x2499 00000454: JUMP 00000455: JUMPDEST 00000456: PUSH2 0x0efe 00000459: JUMP 0000045a: JUMPDEST 0000045b: PUSH2 0x02ab 0000045e: PUSH2 0x0468 00000461: CALLDATASIZE 00000462: PUSH1 0x04 00000464: PUSH2 0x25bd 00000467: JUMP 00000468: JUMPDEST 00000469: PUSH2 0x0f67 0000046c: JUMP 0000046d: JUMPDEST 0000046e: PUSH1 0x03 00000470: SLOAD 00000471: PUSH2 0x0480 00000474: SWAP1 00000475: PUSH1 0x01 00000477: PUSH1 0x01 00000479: PUSH1 0xa0 0000047b: SHL 0000047c: SUB 0000047d: AND 0000047e: DUP2 0000047f: JUMP 00000480: JUMPDEST 00000481: PUSH1 0x40 00000483: MLOAD 00000484: PUSH1 0x01 00000486: PUSH1 0x01 00000488: PUSH1 0xa0 0000048a: SHL 0000048b: SUB 0000048c: SWAP1 0000048d: SWAP2 0000048e: AND 0000048f: DUP2 00000490: MSTORE 00000491: PUSH1 0x20 00000493: ADD 00000494: PUSH2 0x0278 00000497: JUMP 00000498: JUMPDEST 00000499: PUSH2 0x0480 0000049c: PUSH20 0xaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa 000004b1: DUP2 000004b2: JUMP 000004b3: JUMPDEST 000004b4: PUSH2 0x026c 000004b7: PUSH2 0x04c1 000004ba: CALLDATASIZE 000004bb: PUSH1 0x04 000004bd: PUSH2 0x24e9 000004c0: JUMP 000004c1: JUMPDEST 000004c2: PUSH2 0x1110 000004c5: JUMP 000004c6: JUMPDEST 000004c7: PUSH2 0x02ab 000004ca: PUSH2 0x04d4 000004cd: CALLDATASIZE 000004ce: PUSH1 0x04 000004d0: PUSH2 0x259d 000004d3: JUMP 000004d4: JUMPDEST 000004d5: PUSH2 0x1138 000004d8: JUMP 000004d9: JUMPDEST 000004da: PUSH2 0x02ab 000004dd: PUSH2 0x04e7 000004e0: CALLDATASIZE 000004e1: PUSH1 0x04 000004e3: PUSH2 0x2575 000004e6: JUMP 000004e7: JUMPDEST 000004e8: PUSH2 0x1290 000004eb: JUMP 000004ec: JUMPDEST 000004ed: PUSH2 0x0531 000004f0: PUSH2 0x04fa 000004f3: CALLDATASIZE 000004f4: PUSH1 0x04 000004f6: PUSH2 0x2575 000004f9: JUMP 000004fa: JUMPDEST 000004fb: PUSH1 0x04 000004fd: PUSH1 0x20 000004ff: DUP2 00000500: DUP2 00000501: MSTORE 00000502: PUSH0 00000503: SWAP4 00000504: DUP5 00000505: MSTORE 00000506: PUSH1 0x40 00000508: DUP1 00000509: DUP6 0000050a: KECCAK256 0000050b: SWAP1 0000050c: SWAP2 0000050d: MSTORE 0000050e: SWAP2 0000050f: DUP4 00000510: MSTORE 00000511: SWAP2 00000512: KECCAK256 00000513: DUP1 00000514: SLOAD 00000515: PUSH1 0x01 00000517: DUP3 00000518: ADD 00000519: SLOAD 0000051a: PUSH1 0x02 0000051c: DUP4 0000051d: ADD 0000051e: SLOAD 0000051f: PUSH1 0x03 00000521: DUP5 00000522: ADD 00000523: SLOAD 00000524: SWAP4 00000525: SWAP1 00000526: SWAP5 00000527: ADD 00000528: SLOAD 00000529: SWAP2 0000052a: SWAP4 0000052b: SWAP1 0000052c: SWAP3 0000052d: SWAP1 0000052e: SWAP2 0000052f: DUP6 00000530: JUMP 00000531: JUMPDEST 00000532: PUSH1 0x40 00000534: DUP1 00000535: MLOAD 00000536: SWAP6 00000537: DUP7 00000538: MSTORE 00000539: PUSH1 0x20 0000053b: DUP7 0000053c: ADD 0000053d: SWAP5 0000053e: SWAP1 0000053f: SWAP5 00000540: MSTORE 00000541: SWAP3 00000542: DUP5 00000543: ADD 00000544: SWAP2 00000545: SWAP1 00000546: SWAP2 00000547: MSTORE 00000548: PUSH1 0x60 0000054a: DUP4 0000054b: ADD 0000054c: MSTORE 0000054d: PUSH1 0x80 0000054f: DUP3 00000550: ADD 00000551: MSTORE 00000552: PUSH1 0xa0 00000554: ADD 00000555: PUSH2 0x0278 00000558: JUMP 00000559: JUMPDEST 0000055a: PUSH2 0x028a 0000055d: PUSH0 0000055e: DUP2 0000055f: JUMP 00000560: JUMPDEST 00000561: PUSH2 0x02ab 00000564: PUSH2 0x056e 00000567: CALLDATASIZE 00000568: PUSH1 0x04 0000056a: PUSH2 0x25d6 0000056d: JUMP 0000056e: JUMPDEST 0000056f: PUSH2 0x1351 00000572: JUMP 00000573: JUMPDEST 00000574: PUSH1 0x02 00000576: SLOAD 00000577: PUSH2 0x0480 0000057a: SWAP1 0000057b: PUSH1 0x01 0000057d: PUSH1 0x01 0000057f: PUSH1 0xa0 00000581: SHL 00000582: SUB 00000583: AND 00000584: DUP2 00000585: JUMP 00000586: JUMPDEST 00000587: PUSH2 0x028a 0000058a: PUSH2 0x0594 0000058d: CALLDATASIZE 0000058e: PUSH1 0x04 00000590: PUSH2 0x25ff 00000593: JUMP 00000594: JUMPDEST 00000595: PUSH2 0x15d2 00000598: JUMP 00000599: JUMPDEST 0000059a: PUSH2 0x02ab 0000059d: PUSH2 0x05a7 000005a0: CALLDATASIZE 000005a1: PUSH1 0x04 000005a3: PUSH2 0x25d6 000005a6: JUMP 000005a7: JUMPDEST 000005a8: PUSH2 0x15e0 000005ab: JUMP 000005ac: JUMPDEST 000005ad: PUSH2 0x05cb 000005b0: PUSH2 0x05ba 000005b3: CALLDATASIZE 000005b4: PUSH1 0x04 000005b6: PUSH2 0x2764 000005b9: JUMP 000005ba: JUMPDEST 000005bb: PUSH4 0xbc197c81 000005c0: PUSH1 0xe0 000005c2: SHL 000005c3: SWAP6 000005c4: SWAP5 000005c5: POP 000005c6: POP 000005c7: POP 000005c8: POP 000005c9: POP 000005ca: JUMP 000005cb: JUMPDEST 000005cc: PUSH1 0x40 000005ce: MLOAD 000005cf: PUSH1 0x01 000005d1: PUSH1 0x01 000005d3: PUSH1 0xe0 000005d5: SHL 000005d6: SUB 000005d7: NOT 000005d8: SWAP1 000005d9: SWAP2 000005da: AND 000005db: DUP2 000005dc: MSTORE 000005dd: PUSH1 0x20 000005df: ADD 000005e0: PUSH2 0x0278 000005e3: JUMP 000005e4: JUMPDEST 000005e5: PUSH2 0x026c 000005e8: PUSH2 0x05f2 000005eb: CALLDATASIZE 000005ec: PUSH1 0x04 000005ee: PUSH2 0x2575 000005f1: JUMP 000005f2: JUMPDEST 000005f3: PUSH2 0x1716 000005f6: JUMP 000005f7: JUMPDEST 000005f8: PUSH2 0x0480 000005fb: PUSH32 0x000000000000000000000000a0b86991c6218b36c1d19d4a2e9eb0ce3606eb48 0000061c: DUP2 0000061d: JUMP 0000061e: JUMPDEST 0000061f: PUSH2 0x02ab 00000622: PUSH2 0x062c 00000625: CALLDATASIZE 00000626: PUSH1 0x04 00000628: PUSH2 0x2813 0000062b: JUMP 0000062c: JUMPDEST 0000062d: PUSH2 0x1746 00000630: JUMP 00000631: JUMPDEST 00000632: PUSH2 0x02ab 00000635: PUSH2 0x063f 00000638: CALLDATASIZE 00000639: PUSH1 0x04 0000063b: PUSH2 0x24e9 0000063e: JUMP 0000063f: JUMPDEST 00000640: PUSH2 0x1751 00000643: JUMP 00000644: JUMPDEST 00000645: PUSH2 0x028a 00000648: PUSH2 0x2710 0000064b: DUP2 0000064c: JUMP 0000064d: JUMPDEST 0000064e: PUSH2 0x028a 00000651: PUSH2 0x065b 00000654: CALLDATASIZE 00000655: PUSH1 0x04 00000657: PUSH2 0x25ff 0000065a: JUMP 0000065b: JUMPDEST 0000065c: PUSH2 0x1775 0000065f: JUMP 00000660: JUMPDEST 00000661: PUSH2 0x02ab 00000664: PUSH2 0x066e 00000667: CALLDATASIZE 00000668: PUSH1 0x04 0000066a: PUSH2 0x2843 0000066d: JUMP 0000066e: JUMPDEST 0000066f: PUSH2 0x178e 00000672: JUMP 00000673: JUMPDEST 00000674: PUSH2 0x02ab 00000677: PUSH2 0x0681 0000067a: CALLDATASIZE 0000067b: PUSH1 0x04 0000067d: PUSH2 0x25bd 00000680: JUMP 00000681: JUMPDEST 00000682: PUSH2 0x18a1 00000685: JUMP 00000686: JUMPDEST 00000687: PUSH2 0x05cb 0000068a: PUSH2 0x0694 0000068d: CALLDATASIZE 0000068e: PUSH1 0x04 00000690: PUSH2 0x28c4 00000693: JUMP 00000694: JUMPDEST 00000695: PUSH4 0xf23a6e61 0000069a: PUSH1 0xe0 0000069c: SHL 0000069d: SWAP6 0000069e: SWAP5 0000069f: POP 000006a0: POP 000006a1: POP 000006a2: POP 000006a3: POP 000006a4: JUMP 000006a5: JUMPDEST 000006a6: PUSH2 0x028a 000006a9: PUSH32 0x97667070c54ef182b0f5858b034beac1b6f3089aa2d3188bb1e8929f4fa9b929 000006ca: DUP2 000006cb: JUMP 000006cc: JUMPDEST 000006cd: PUSH2 0x0480 000006d0: PUSH32 0x0000000000000000000000002e44f3f609ff5aa4819b323fd74690f07c3607c4 000006f1: DUP2 000006f2: JUMP 000006f3: JUMPDEST 000006f4: PUSH0 000006f5: PUSH2 0x06fd 000006f8: DUP3 000006f9: PUSH2 0x191c 000006fc: JUMP 000006fd: JUMPDEST 000006fe: DUP1 000006ff: PUSH2 0x070c 00000702: JUMPI 00000703: POP 00000704: PUSH2 0x070c 00000707: DUP3 00000708: PUSH2 0x1950 0000070b: JUMP 0000070c: JUMPDEST 0000070d: SWAP3 0000070e: SWAP2 0000070f: POP 00000710: POP 00000711: JUMP 00000712: JUMPDEST 00000713: PUSH32 0x97667070c54ef182b0f5858b034beac1b6f3089aa2d3188bb1e8929f4fa9b929 00000734: PUSH2 0x073c 00000737: DUP2 00000738: PUSH2 0x1974 0000073b: JUMP 0000073c: JUMPDEST 0000073d: PUSH1 0x01 0000073f: PUSH1 0x01 00000741: PUSH1 0xa0 00000743: SHL 00000744: SUB 00000745: DUP6 00000746: AND 00000747: PUSH0 00000748: SWAP1 00000749: DUP2 0000074a: MSTORE 0000074b: PUSH1 0x04 0000074d: PUSH1 0x20 0000074f: SWAP1 00000750: DUP2 00000751: MSTORE 00000752: PUSH1 0x40 00000754: DUP1 00000755: DUP4 00000756: KECCAK256 00000757: DUP8 00000758: DUP5 00000759: MSTORE 0000075a: SWAP1 0000075b: SWAP2 0000075c: MSTORE 0000075d: SWAP1 0000075e: KECCAK256 0000075f: PUSH2 0x0769 00000762: DUP2 00000763: DUP6 00000764: DUP6 00000765: PUSH2 0x1981 00000768: JUMP 00000769: JUMPDEST 0000076a: PUSH1 0x40 0000076c: DUP1 0000076d: MLOAD 0000076e: DUP6 0000076f: DUP2 00000770: MSTORE 00000771: PUSH1 0x20 00000773: DUP2 00000774: ADD 00000775: DUP6 00000776: SWAP1 00000777: MSTORE 00000778: CALLER 00000779: SWAP2 0000077a: DUP8 0000077b: SWAP2 0000077c: PUSH1 0x01 0000077e: PUSH1 0x01 00000780: PUSH1 0xa0 00000782: SHL 00000783: SUB 00000784: DUP11 00000785: AND 00000786: SWAP2 00000787: PUSH31 0x8b59ac4abb1dbfbaca4b6f8e8a7cba68f6b5560c43f1821ba9136491d1a023 000007a7: SWAP2 000007a8: ADD 000007a9: PUSH1 0x40 000007ab: MLOAD 000007ac: DUP1 000007ad: SWAP2 000007ae: SUB 000007af: SWAP1 000007b0: LOG4 000007b1: PUSH2 0x07e5 000007b4: PUSH1 0x01 000007b6: PUSH1 0x01 000007b8: PUSH1 0xa0 000007ba: SHL 000007bb: SUB 000007bc: PUSH32 0x000000000000000000000000a0b86991c6218b36c1d19d4a2e9eb0ce3606eb48 000007dd: AND 000007de: CALLER 000007df: ADDRESS 000007e0: DUP8 000007e1: PUSH2 0x1a86 000007e4: JUMP 000007e5: JUMPDEST 000007e6: POP 000007e7: POP 000007e8: POP 000007e9: POP 000007ea: POP 000007eb: POP 000007ec: JUMP 000007ed: JUMPDEST 000007ee: PUSH2 0x0832 000007f1: PUSH1 0x40 000007f3: MLOAD 000007f4: DUP1 000007f5: PUSH1 0xc0 000007f7: ADD 000007f8: PUSH1 0x40 000007fa: MSTORE 000007fb: DUP1 000007fc: PUSH0 000007fd: PUSH1 0x01 000007ff: PUSH1 0x01 00000801: PUSH1 0xa0 00000803: SHL 00000804: SUB 00000805: AND 00000806: DUP2 00000807: MSTORE 00000808: PUSH1 0x20 0000080a: ADD 0000080b: PUSH0 0000080c: DUP2 0000080d: MSTORE 0000080e: PUSH1 0x20 00000810: ADD 00000811: PUSH0 00000812: PUSH1 0x01 00000814: PUSH1 0x01 00000816: PUSH1 0xa0 00000818: SHL 00000819: SUB 0000081a: AND 0000081b: DUP2 0000081c: MSTORE 0000081d: PUSH1 0x20 0000081f: ADD 00000820: PUSH0 00000821: DUP2 00000822: MSTORE 00000823: PUSH1 0x20 00000825: ADD 00000826: PUSH0 00000827: DUP2 00000828: MSTORE 00000829: PUSH1 0x20 0000082b: ADD 0000082c: PUSH0 0000082d: DUP2 0000082e: MSTORE 0000082f: POP 00000830: SWAP1 00000831: JUMP 00000832: JUMPDEST 00000833: POP 00000834: PUSH0 00000835: SWAP1 00000836: DUP2 00000837: MSTORE 00000838: PUSH1 0x05 0000083a: PUSH1 0x20 0000083c: DUP2 0000083d: DUP2 0000083e: MSTORE 0000083f: PUSH1 0x40 00000841: SWAP3 00000842: DUP4 00000843: SWAP1 00000844: KECCAK256 00000845: DUP4 00000846: MLOAD 00000847: PUSH1 0xc0 00000849: DUP2 0000084a: ADD 0000084b: DUP6 0000084c: MSTORE 0000084d: DUP2 0000084e: SLOAD 0000084f: PUSH1 0x01 00000851: PUSH1 0x01 00000853: PUSH1 0xa0 00000855: SHL 00000856: SUB 00000857: SWAP1 00000858: DUP2 00000859: AND 0000085a: DUP3 0000085b: MSTORE 0000085c: PUSH1 0x01 0000085e: DUP4 0000085f: ADD 00000860: SLOAD 00000861: SWAP4 00000862: DUP3 00000863: ADD 00000864: SWAP4 00000865: SWAP1 00000866: SWAP4 00000867: MSTORE 00000868: PUSH1 0x02 0000086a: DUP3 0000086b: ADD 0000086c: SLOAD 0000086d: SWAP1 0000086e: SWAP3 0000086f: AND 00000870: SWAP4 00000871: DUP3 00000872: ADD 00000873: SWAP4 00000874: SWAP1 00000875: SWAP4 00000876: MSTORE 00000877: PUSH1 0x03 00000879: DUP4 0000087a: ADD 0000087b: SLOAD 0000087c: PUSH1 0x60 0000087e: DUP3 0000087f: ADD 00000880: MSTORE 00000881: PUSH1 0x04 00000883: DUP4 00000884: ADD 00000885: SLOAD 00000886: PUSH1 0x80 00000888: DUP3 00000889: ADD 0000088a: MSTORE 0000088b: SWAP2 0000088c: ADD 0000088d: SLOAD 0000088e: PUSH1 0xa0 00000890: DUP3 00000891: ADD 00000892: MSTORE 00000893: SWAP1 00000894: JUMP 00000895: JUMPDEST 00000896: PUSH1 0x01 00000898: PUSH1 0x01 0000089a: PUSH1 0xa0 0000089c: SHL 0000089d: SUB 0000089e: DUP4 0000089f: AND 000008a0: PUSH0 000008a1: SWAP1 000008a2: DUP2 000008a3: MSTORE 000008a4: PUSH1 0x04 000008a6: PUSH1 0x20 000008a8: SWAP1 000008a9: DUP2 000008aa: MSTORE 000008ab: PUSH1 0x40 000008ad: DUP1 000008ae: DUP4 000008af: KECCAK256 000008b0: DUP6 000008b1: DUP5 000008b2: MSTORE 000008b3: SWAP1 000008b4: SWAP2 000008b5: MSTORE 000008b6: DUP2 000008b7: KECCAK256 000008b8: PUSH2 0x08c1 000008bb: SWAP1 000008bc: DUP4 000008bd: PUSH2 0x1aed 000008c0: JUMP 000008c1: JUMPDEST 000008c2: SWAP5 000008c3: SWAP4 000008c4: POP 000008c5: POP 000008c6: POP 000008c7: POP 000008c8: JUMP 000008c9: JUMPDEST 000008ca: PUSH1 0x01 000008cc: PUSH1 0x01 000008ce: PUSH1 0xa0 000008d0: SHL 000008d1: SUB 000008d2: DUP1 000008d3: DUP5 000008d4: AND 000008d5: PUSH0 000008d6: DUP2 000008d7: DUP2 000008d8: MSTORE 000008d9: PUSH1 0x04 000008db: PUSH1 0x20 000008dd: SWAP1 000008de: DUP2 000008df: MSTORE 000008e0: PUSH1 0x40 000008e2: DUP1 000008e3: DUP4 000008e4: KECCAK256 000008e5: DUP8 000008e6: DUP5 000008e7: MSTORE 000008e8: DUP3 000008e9: MSTORE 000008ea: DUP1 000008eb: DUP4 000008ec: KECCAK256 000008ed: SWAP5 000008ee: DUP7 000008ef: AND 000008f0: DUP1 000008f1: DUP5 000008f2: MSTORE 000008f3: PUSH1 0x05 000008f5: SWAP1 000008f6: SWAP6 000008f7: ADD 000008f8: DUP3 000008f9: MSTORE 000008fa: DUP1 000008fb: DUP4 000008fc: KECCAK256 000008fd: SLOAD 000008fe: SWAP4 000008ff: DUP4 00000900: MSTORE 00000901: PUSH1 0x06 00000903: DUP3 00000904: MSTORE 00000905: DUP1 00000906: DUP4 00000907: KECCAK256 00000908: DUP8 00000909: DUP5 0000090a: MSTORE 0000090b: DUP3 0000090c: MSTORE 0000090d: DUP1 0000090e: DUP4 0000090f: KECCAK256 00000910: SWAP5 00000911: DUP4 00000912: MSTORE 00000913: SWAP4 00000914: SWAP1 00000915: MSTORE 00000916: SWAP2 00000917: DUP3 00000918: KECCAK256 00000919: SLOAD 0000091a: SWAP1 0000091b: SWAP2 0000091c: PUSH2 0x0925 0000091f: DUP3 00000920: DUP5 00000921: PUSH2 0x292c 00000924: JUMP 00000925: JUMPDEST 00000926: SWAP1 00000927: POP 00000928: SWAP4 00000929: POP 0000092a: SWAP4 0000092b: POP 0000092c: SWAP4 0000092d: SWAP1 0000092e: POP 0000092f: JUMP 00000930: JUMPDEST 00000931: PUSH0 00000932: PUSH2 0x093a 00000935: DUP2 00000936: PUSH2 0x1974 00000939: JUMP 0000093a: JUMPDEST 0000093b: PUSH1 0x01 0000093d: PUSH1 0x01 0000093f: PUSH1 0xa0 00000941: SHL 00000942: SUB 00000943: DUP5 00000944: AND 00000945: PUSH0 00000946: SWAP1 00000947: DUP2 00000948: MSTORE 00000949: PUSH1 0x04 0000094b: PUSH1 0x20 0000094d: SWAP1 0000094e: DUP2 0000094f: MSTORE 00000950: PUSH1 0x40 00000952: DUP1 00000953: DUP4 00000954: KECCAK256 00000955: DUP7 00000956: DUP5 00000957: MSTORE 00000958: SWAP1 00000959: SWAP2 0000095a: MSTORE 0000095b: DUP2 0000095c: KECCAK256 0000095d: PUSH2 0x097a 00000960: SWAP1 00000961: PUSH20 0xaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa 00000976: PUSH2 0x1b29 00000979: JUMP 0000097a: JUMPDEST 0000097b: SWAP1 0000097c: POP 0000097d: DUP1 0000097e: PUSH0 0000097f: SUB 00000980: PUSH2 0x0989 00000983: JUMPI 00000984: POP 00000985: PUSH2 0x0a0d 00000988: JUMP 00000989: JUMPDEST 0000098a: PUSH2 0x09bd 0000098d: PUSH1 0x01 0000098f: PUSH1 0x01 00000991: PUSH1 0xa0 00000993: SHL 00000994: SUB 00000995: PUSH32 0x000000000000000000000000a0b86991c6218b36c1d19d4a2e9eb0ce3606eb48 000009b6: AND 000009b7: DUP5 000009b8: DUP4 000009b9: PUSH2 0x1b56 000009bc: JUMP 000009bd: JUMPDEST 000009be: DUP3 000009bf: PUSH1 0x01 000009c1: PUSH1 0x01 000009c3: PUSH1 0xa0 000009c5: SHL 000009c6: SUB 000009c7: AND 000009c8: DUP5 000009c9: DUP7 000009ca: PUSH1 0x01 000009cc: PUSH1 0x01 000009ce: PUSH1 0xa0 000009d0: SHL 000009d1: SUB 000009d2: AND 000009d3: PUSH32 0x8dab6d35466ca3cba614bc5b262979b277949786977e81107f375f7e39f7734a 000009f4: DUP5 000009f5: PUSH1 0x40 000009f7: MLOAD 000009f8: PUSH2 0x0a03 000009fb: SWAP2 000009fc: DUP2 000009fd: MSTORE 000009fe: PUSH1 0x20 00000a00: ADD 00000a01: SWAP1 00000a02: JUMP 00000a03: JUMPDEST 00000a04: PUSH1 0x40 00000a06: MLOAD 00000a07: DUP1 00000a08: SWAP2 00000a09: SUB 00000a0a: SWAP1 00000a0b: LOG4 00000a0c: POP 00000a0d: JUMPDEST 00000a0e: POP 00000a0f: POP 00000a10: POP 00000a11: POP 00000a12: JUMP 00000a13: JUMPDEST 00000a14: PUSH0 00000a15: DUP3 00000a16: DUP2 00000a17: MSTORE 00000a18: PUSH1 0x20 00000a1a: DUP2 00000a1b: SWAP1 00000a1c: MSTORE 00000a1d: PUSH1 0x40 00000a1f: SWAP1 00000a20: KECCAK256 00000a21: PUSH1 0x01 00000a23: ADD 00000a24: SLOAD 00000a25: PUSH2 0x0a2d 00000a28: DUP2 00000a29: PUSH2 0x1974 00000a2c: JUMP 00000a2d: JUMPDEST 00000a2e: PUSH2 0x0a0d 00000a31: DUP4 00000a32: DUP4 00000a33: PUSH2 0x1b87 00000a36: JUMP 00000a37: JUMPDEST 00000a38: PUSH1 0x01 00000a3a: PUSH1 0x01 00000a3c: PUSH1 0xa0 00000a3e: SHL 00000a3f: SUB 00000a40: DUP2 00000a41: AND 00000a42: CALLER 00000a43: EQ 00000a44: PUSH2 0x0a60 00000a47: JUMPI 00000a48: PUSH1 0x40 00000a4a: MLOAD 00000a4b: PUSH4 0x334bd919 00000a50: PUSH1 0xe1 00000a52: SHL 00000a53: DUP2 00000a54: MSTORE 00000a55: PUSH1 0x04 00000a57: ADD 00000a58: PUSH1 0x40 00000a5a: MLOAD 00000a5b: DUP1 00000a5c: SWAP2 00000a5d: SUB 00000a5e: SWAP1 00000a5f: REVERT 00000a60: JUMPDEST 00000a61: PUSH2 0x0a6a 00000a64: DUP3 00000a65: DUP3 00000a66: PUSH2 0x1c16 00000a69: JUMP 00000a6a: JUMPDEST 00000a6b: POP 00000a6c: POP 00000a6d: POP 00000a6e: JUMP 00000a6f: JUMPDEST 00000a70: DUP2 00000a71: PUSH0 00000a72: SUB 00000a73: PUSH2 0x0a8f 00000a76: JUMPI 00000a77: PUSH1 0x40 00000a79: MLOAD 00000a7a: PUSH4 0x129f6bd1 00000a7f: PUSH1 0xe3 00000a81: SHL 00000a82: DUP2 00000a83: MSTORE 00000a84: PUSH1 0x04 00000a86: ADD 00000a87: PUSH1 0x40 00000a89: MLOAD 00000a8a: DUP1 00000a8b: SWAP2 00000a8c: SUB 00000a8d: SWAP1 00000a8e: REVERT 00000a8f: JUMPDEST 00000a90: DUP2 00000a91: PUSH2 0x0a9b 00000a94: DUP6 00000a95: DUP6 00000a96: CALLER 00000a97: PUSH2 0x1c7f 00000a9a: JUMP 00000a9b: JUMPDEST 00000a9c: LT 00000a9d: ISZERO 00000a9e: PUSH2 0x0aba 00000aa1: JUMPI 00000aa2: PUSH1 0x40 00000aa4: MLOAD 00000aa5: PUSH4 0xa2cd942d 00000aaa: PUSH1 0xe0 00000aac: SHL 00000aad: DUP2 00000aae: MSTORE 00000aaf: PUSH1 0x04 00000ab1: ADD 00000ab2: PUSH1 0x40 00000ab4: MLOAD 00000ab5: DUP1 00000ab6: SWAP2 00000ab7: SUB 00000ab8: SWAP1 00000ab9: REVERT 00000aba: JUMPDEST 00000abb: PUSH1 0x01 00000abd: PUSH1 0x01 00000abf: PUSH1 0xa0 00000ac1: SHL 00000ac2: SUB 00000ac3: DUP5 00000ac4: AND 00000ac5: PUSH0 00000ac6: SWAP1 00000ac7: DUP2 00000ac8: MSTORE 00000ac9: PUSH1 0x04 00000acb: PUSH1 0x20 00000acd: SWAP1 00000ace: DUP2 00000acf: MSTORE 00000ad0: PUSH1 0x40 00000ad2: DUP1 00000ad3: DUP4 00000ad4: KECCAK256 00000ad5: DUP7 00000ad6: DUP5 00000ad7: MSTORE 00000ad8: SWAP1 00000ad9: SWAP2 00000ada: MSTORE 00000adb: SWAP1 00000adc: KECCAK256 00000add: PUSH2 0x0afc 00000ae0: SWAP1 00000ae1: CALLER 00000ae2: PUSH20 0xaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa 00000af7: DUP6 00000af8: PUSH2 0x1ce6 00000afb: JUMP 00000afc: JUMPDEST 00000afd: PUSH1 0x40 00000aff: DUP1 00000b00: MLOAD 00000b01: DUP4 00000b02: DUP2 00000b03: MSTORE 00000b04: PUSH1 0x01 00000b06: PUSH1 0x01 00000b08: PUSH1 0xa0 00000b0a: SHL 00000b0b: SUB 00000b0c: DUP4 00000b0d: DUP2 00000b0e: AND 00000b0f: PUSH1 0x20 00000b11: DUP4 00000b12: ADD 00000b13: MSTORE 00000b14: DUP6 00000b15: SWAP3 00000b16: SWAP1 00000b17: DUP8 00000b18: AND 00000b19: SWAP2 00000b1a: PUSH32 0x03d66a40aac8a6fad64d0eb68424a2a5603c4503e7c47afe7d42cb3ebb59b86f 00000b3b: SWAP2 00000b3c: ADD 00000b3d: PUSH1 0x40 00000b3f: MLOAD 00000b40: DUP1 00000b41: SWAP2 00000b42: SUB 00000b43: SWAP1 00000b44: LOG3 00000b45: PUSH1 0x40 00000b47: MLOAD 00000b48: PUSH4 0x79212195 00000b4d: PUSH1 0xe1 00000b4f: SHL 00000b50: DUP2 00000b51: MSTORE 00000b52: PUSH1 0x01 00000b54: PUSH1 0x01 00000b56: PUSH1 0xa0 00000b58: SHL 00000b59: SUB 00000b5a: DUP6 00000b5b: AND 00000b5c: SWAP1 00000b5d: PUSH4 0xf242432a 00000b62: SWAP1 00000b63: PUSH2 0x0b76 00000b66: SWAP1 00000b67: ADDRESS 00000b68: SWAP1 00000b69: DUP6 00000b6a: SWAP1 00000b6b: DUP9 00000b6c: SWAP1 00000b6d: DUP9 00000b6e: SWAP1 00000b6f: PUSH1 0x04 00000b71: ADD 00000b72: PUSH2 0x293f 00000b75: JUMP 00000b76: JUMPDEST 00000b77: PUSH0 00000b78: PUSH1 0x40 00000b7a: MLOAD 00000b7b: DUP1 00000b7c: DUP4 00000b7d: SUB 00000b7e: DUP2 00000b7f: PUSH0 00000b80: DUP8 00000b81: DUP1 00000b82: EXTCODESIZE 00000b83: ISZERO 00000b84: DUP1 00000b85: ISZERO 00000b86: PUSH2 0x0b8d 00000b89: JUMPI 00000b8a: PUSH0 00000b8b: PUSH0 00000b8c: REVERT 00000b8d: JUMPDEST 00000b8e: POP 00000b8f: GAS 00000b90: CALL 00000b91: ISZERO 00000b92: DUP1 00000b93: ISZERO 00000b94: PUSH2 0x0b9f 00000b97: JUMPI 00000b98: RETURNDATASIZE 00000b99: PUSH0 00000b9a: PUSH0 00000b9b: RETURNDATACOPY 00000b9c: RETURNDATASIZE 00000b9d: PUSH0 00000b9e: REVERT 00000b9f: JUMPDEST 00000ba0: POP 00000ba1: POP 00000ba2: POP 00000ba3: POP 00000ba4: POP 00000ba5: POP 00000ba6: POP 00000ba7: POP 00000ba8: JUMP 00000ba9: JUMPDEST 00000baa: PUSH0 00000bab: PUSH2 0x0bb3 00000bae: DUP2 00000baf: PUSH2 0x1974 00000bb2: JUMP 00000bb3: JUMPDEST 00000bb4: PUSH32 0x000000000000000000000000a0b86991c6218b36c1d19d4a2e9eb0ce3606eb48 00000bd5: PUSH1 0x01 00000bd7: PUSH1 0x01 00000bd9: PUSH1 0xa0 00000bdb: SHL 00000bdc: SUB 00000bdd: AND 00000bde: DUP4 00000bdf: PUSH1 0x01 00000be1: PUSH1 0x01 00000be3: PUSH1 0xa0 00000be5: SHL 00000be6: SUB 00000be7: AND 00000be8: SUB 00000be9: PUSH2 0x0c05 00000bec: JUMPI 00000bed: PUSH1 0x40 00000bef: MLOAD 00000bf0: PUSH4 0x0309cb87 00000bf5: PUSH1 0xe5 00000bf7: SHL 00000bf8: DUP2 00000bf9: MSTORE 00000bfa: PUSH1 0x04 00000bfc: ADD 00000bfd: PUSH1 0x40 00000bff: MLOAD 00000c00: DUP1 00000c01: SWAP2 00000c02: SUB 00000c03: SWAP1 00000c04: REVERT 00000c05: JUMPDEST 00000c06: PUSH1 0x40 00000c08: MLOAD 00000c09: PUSH4 0x70a08231 00000c0e: PUSH1 0xe0 00000c10: SHL 00000c11: DUP2 00000c12: MSTORE 00000c13: ADDRESS 00000c14: PUSH1 0x04 00000c16: DUP3 00000c17: ADD 00000c18: MSTORE 00000c19: PUSH2 0x0a6a 00000c1c: SWAP1 00000c1d: DUP4 00000c1e: SWAP1 00000c1f: PUSH1 0x01 00000c21: PUSH1 0x01 00000c23: PUSH1 0xa0 00000c25: SHL 00000c26: SUB 00000c27: DUP7 00000c28: AND 00000c29: SWAP1 00000c2a: PUSH4 0x70a08231 00000c2f: SWAP1 00000c30: PUSH1 0x24 00000c32: ADD 00000c33: PUSH1 0x20 00000c35: PUSH1 0x40 00000c37: MLOAD 00000c38: DUP1 00000c39: DUP4 00000c3a: SUB 00000c3b: DUP2 00000c3c: DUP7 00000c3d: GAS 00000c3e: STATICCALL 00000c3f: ISZERO 00000c40: DUP1 00000c41: ISZERO 00000c42: PUSH2 0x0c4d 00000c45: JUMPI 00000c46: RETURNDATASIZE 00000c47: PUSH0 00000c48: PUSH0 00000c49: RETURNDATACOPY 00000c4a: RETURNDATASIZE 00000c4b: PUSH0 00000c4c: REVERT 00000c4d: JUMPDEST 00000c4e: POP 00000c4f: POP 00000c50: POP 00000c51: POP 00000c52: PUSH1 0x40 00000c54: MLOAD 00000c55: RETURNDATASIZE 00000c56: PUSH1 0x1f 00000c58: NOT 00000c59: PUSH1 0x1f 00000c5b: DUP3 00000c5c: ADD 00000c5d: AND 00000c5e: DUP3 00000c5f: ADD 00000c60: DUP1 00000c61: PUSH1 0x40 00000c63: MSTORE 00000c64: POP 00000c65: DUP2 00000c66: ADD 00000c67: SWAP1 00000c68: PUSH2 0x0c71 00000c6b: SWAP2 00000c6c: SWAP1 00000c6d: PUSH2 0x2976 00000c70: JUMP 00000c71: JUMPDEST 00000c72: PUSH1 0x01 00000c74: PUSH1 0x01 00000c76: PUSH1 0xa0 00000c78: SHL 00000c79: SUB 00000c7a: DUP7 00000c7b: AND 00000c7c: SWAP2 00000c7d: SWAP1 00000c7e: PUSH2 0x1b56 00000c81: JUMP 00000c82: JUMPDEST 00000c83: PUSH1 0x01 00000c85: PUSH1 0x01 00000c87: PUSH1 0xa0 00000c89: SHL 00000c8a: SUB 00000c8b: DUP3 00000c8c: AND 00000c8d: PUSH0 00000c8e: SWAP1 00000c8f: DUP2 00000c90: MSTORE 00000c91: PUSH1 0x04 00000c93: PUSH1 0x20 00000c95: SWAP1 00000c96: DUP2 00000c97: MSTORE 00000c98: PUSH1 0x40 00000c9a: DUP1 00000c9b: DUP4 00000c9c: KECCAK256 00000c9d: DUP5 00000c9e: DUP5 00000c9f: MSTORE 00000ca0: SWAP1 00000ca1: SWAP2 00000ca2: MSTORE 00000ca3: DUP2 00000ca4: KECCAK256 00000ca5: PUSH1 0x01 00000ca7: DUP2 00000ca8: ADD 00000ca9: SLOAD 00000caa: DUP3 00000cab: SWAP2 00000cac: DUP3 00000cad: SWAP2 00000cae: DUP3 00000caf: SWAP2 00000cb0: SWAP1 00000cb1: PUSH2 0x0cb9 00000cb4: DUP3 00000cb5: PUSH2 0x1d5c 00000cb8: JUMP 00000cb9: JUMPDEST 00000cba: PUSH1 0x03 00000cbc: DUP4 00000cbd: ADD 00000cbe: SLOAD 00000cbf: PUSH1 0x04 00000cc1: SWAP1 00000cc2: SWAP4 00000cc3: ADD 00000cc4: SLOAD 00000cc5: SWAP2 00000cc6: SWAP10 00000cc7: SWAP1 00000cc8: SWAP9 00000cc9: POP 00000cca: SWAP2 00000ccb: SWAP7 00000ccc: POP 00000ccd: SWAP5 00000cce: POP 00000ccf: SWAP3 00000cd0: POP 00000cd1: POP 00000cd2: POP 00000cd3: JUMP 00000cd4: JUMPDEST 00000cd5: PUSH0 00000cd6: DUP3 00000cd7: DUP2 00000cd8: MSTORE 00000cd9: PUSH1 0x05 00000cdb: PUSH1 0x20 00000cdd: MSTORE 00000cde: PUSH1 0x40 00000ce0: DUP2 00000ce1: KECCAK256 00000ce2: PUSH1 0x03 00000ce4: ADD 00000ce5: SLOAD 00000ce6: DUP3 00000ce7: GT 00000ce8: ISZERO 00000ce9: PUSH2 0x0cff 00000cec: JUMPI 00000ced: PUSH2 0x0cf8 00000cf0: PUSH1 0x01 00000cf2: PUSH0 00000cf3: NOT 00000cf4: PUSH2 0x292c 00000cf7: JUMP 00000cf8: JUMPDEST 00000cf9: SWAP1 00000cfa: POP 00000cfb: PUSH2 0x070c 00000cfe: JUMP 00000cff: JUMPDEST 00000d00: PUSH0 00000d01: DUP4 00000d02: DUP2 00000d03: MSTORE 00000d04: PUSH1 0x05 00000d06: PUSH1 0x20 00000d08: DUP2 00000d09: SWAP1 00000d0a: MSTORE 00000d0b: PUSH1 0x40 00000d0d: SWAP1 00000d0e: SWAP2 00000d0f: KECCAK256 00000d10: ADD 00000d11: SLOAD 00000d12: TIMESTAMP 00000d13: LT 00000d14: PUSH2 0x0d23 00000d17: JUMPI 00000d18: PUSH2 0x0cf8 00000d1b: PUSH1 0x02 00000d1d: PUSH0 00000d1e: NOT 00000d1f: PUSH2 0x292c 00000d22: JUMP 00000d23: JUMPDEST 00000d24: PUSH0 00000d25: DUP4 00000d26: DUP2 00000d27: MSTORE 00000d28: PUSH1 0x05 00000d2a: PUSH1 0x20 00000d2c: MSTORE 00000d2d: PUSH1 0x40 00000d2f: DUP2 00000d30: KECCAK256 00000d31: PUSH1 0x04 00000d33: ADD 00000d34: SLOAD 00000d35: PUSH2 0x0d3f 00000d38: SWAP1 00000d39: DUP5 00000d3a: SWAP1 00000d3b: PUSH2 0x298d 00000d3e: JUMP 00000d3f: JUMPDEST 00000d40: SWAP1 00000d41: POP 00000d42: PUSH0 00000d43: PUSH0 00000d44: PUSH2 0x0d4f 00000d47: DUP4 00000d48: PUSH1 0x01 00000d4a: SLOAD 00000d4b: PUSH2 0x1dd4 00000d4e: JUMP 00000d4f: JUMPDEST 00000d50: SWAP2 00000d51: POP 00000d52: SWAP2 00000d53: POP 00000d54: DUP2 00000d55: PUSH0 00000d56: SUB 00000d57: PUSH2 0x0d70 00000d5a: JUMPI 00000d5b: PUSH2 0x0d66 00000d5e: PUSH1 0x03 00000d60: PUSH0 00000d61: NOT 00000d62: PUSH2 0x292c 00000d65: JUMP 00000d66: JUMPDEST 00000d67: SWAP4 00000d68: POP 00000d69: POP 00000d6a: POP 00000d6b: POP 00000d6c: PUSH2 0x070c 00000d6f: JUMP 00000d70: JUMPDEST 00000d71: PUSH2 0x0d7a 00000d74: DUP2 00000d75: DUP4 00000d76: PUSH2 0x29a4 00000d79: JUMP 00000d7a: JUMPDEST 00000d7b: SWAP7 00000d7c: SWAP6 00000d7d: POP 00000d7e: POP 00000d7f: POP 00000d80: POP 00000d81: POP 00000d82: POP 00000d83: JUMP 00000d84: JUMPDEST 00000d85: PUSH0 00000d86: PUSH2 0x0d8e 00000d89: DUP2 00000d8a: PUSH2 0x1974 00000d8d: JUMP 00000d8e: JUMPDEST 00000d8f: PUSH1 0x01 00000d91: PUSH1 0x01 00000d93: PUSH1 0xa0 00000d95: SHL 00000d96: SUB 00000d97: DUP5 00000d98: AND 00000d99: PUSH0 00000d9a: SWAP1 00000d9b: DUP2 00000d9c: MSTORE 00000d9d: PUSH1 0x04 00000d9f: PUSH1 0x20 00000da1: SWAP1 00000da2: DUP2 00000da3: MSTORE 00000da4: PUSH1 0x40 00000da6: DUP1 00000da7: DUP4 00000da8: KECCAK256 00000da9: DUP7 00000daa: DUP5 00000dab: MSTORE 00000dac: SWAP1 00000dad: SWAP2 00000dae: MSTORE 00000daf: SWAP1 00000db0: KECCAK256 00000db1: PUSH1 0x01 00000db3: DUP2 00000db4: ADD 00000db5: SLOAD 00000db6: ISZERO 00000db7: PUSH2 0x0dd3 00000dba: JUMPI 00000dbb: PUSH1 0x40 00000dbd: MLOAD 00000dbe: PUSH4 0x7952fbad 00000dc3: PUSH1 0xe1 00000dc5: SHL 00000dc6: DUP2 00000dc7: MSTORE 00000dc8: PUSH1 0x04 00000dca: ADD 00000dcb: PUSH1 0x40 00000dcd: MLOAD 00000dce: DUP1 00000dcf: SWAP2 00000dd0: SUB 00000dd1: SWAP1 00000dd2: REVERT 00000dd3: JUMPDEST 00000dd4: PUSH1 0x40 00000dd6: MLOAD 00000dd7: PUSH4 0xbd85b039 00000ddc: PUSH1 0xe0 00000dde: SHL 00000ddf: DUP2 00000de0: MSTORE 00000de1: PUSH1 0x04 00000de3: DUP2 00000de4: ADD 00000de5: DUP6 00000de6: SWAP1 00000de7: MSTORE 00000de8: PUSH0 00000de9: SWAP1 00000dea: PUSH1 0x01 00000dec: PUSH1 0x01 00000dee: PUSH1 0xa0 00000df0: SHL 00000df1: SUB 00000df2: DUP8 00000df3: AND 00000df4: SWAP1 00000df5: PUSH4 0xbd85b039 00000dfa: SWAP1 00000dfb: PUSH1 0x24 00000dfd: ADD 00000dfe: PUSH1 0x20 00000e00: PUSH1 0x40 00000e02: MLOAD 00000e03: DUP1 00000e04: DUP4 00000e05: SUB 00000e06: DUP2 00000e07: DUP7 00000e08: GAS 00000e09: STATICCALL 00000e0a: ISZERO 00000e0b: DUP1 00000e0c: ISZERO 00000e0d: PUSH2 0x0e18 00000e10: JUMPI 00000e11: RETURNDATASIZE 00000e12: PUSH0 00000e13: PUSH0 00000e14: RETURNDATACOPY 00000e15: RETURNDATASIZE 00000e16: PUSH0 00000e17: REVERT 00000e18: JUMPDEST 00000e19: POP 00000e1a: POP 00000e1b: POP 00000e1c: POP 00000e1d: PUSH1 0x40 00000e1f: MLOAD 00000e20: RETURNDATASIZE 00000e21: PUSH1 0x1f 00000e23: NOT 00000e24: PUSH1 0x1f 00000e26: DUP3 00000e27: ADD 00000e28: AND 00000e29: DUP3 00000e2a: ADD 00000e2b: DUP1 00000e2c: PUSH1 0x40 00000e2e: MSTORE 00000e2f: POP 00000e30: DUP2 00000e31: ADD 00000e32: SWAP1 00000e33: PUSH2 0x0e3c 00000e36: SWAP2 00000e37: SWAP1 00000e38: PUSH2 0x2976 00000e3b: JUMP 00000e3c: JUMPDEST 00000e3d: SWAP1 00000e3e: POP 00000e3f: PUSH2 0x0e49 00000e42: DUP3 00000e43: DUP3 00000e44: DUP7 00000e45: PUSH2 0x1e8c 00000e48: JUMP 00000e49: JUMPDEST 00000e4a: PUSH1 0x40 00000e4c: DUP1 00000e4d: MLOAD 00000e4e: DUP3 00000e4f: DUP2 00000e50: MSTORE 00000e51: CALLER 00000e52: PUSH1 0x20 00000e54: DUP3 00000e55: ADD 00000e56: MSTORE 00000e57: PUSH1 0x01 00000e59: PUSH1 0x01 00000e5b: PUSH1 0xa0 00000e5d: SHL 00000e5e: SUB 00000e5f: DUP7 00000e60: DUP2 00000e61: AND 00000e62: DUP3 00000e63: DUP5 00000e64: ADD 00000e65: MSTORE 00000e66: SWAP2 00000e67: MLOAD 00000e68: DUP8 00000e69: SWAP3 00000e6a: DUP10 00000e6b: AND 00000e6c: SWAP2 00000e6d: PUSH32 0x22ed7b8953e27cf8288fa80e1af99242a1c3e6aac1726bd7a6989129ccde7192 00000e8e: SWAP2 00000e8f: SWAP1 00000e90: DUP2 00000e91: SWAP1 00000e92: SUB 00000e93: PUSH1 0x60 00000e95: ADD 00000e96: SWAP1 00000e97: LOG3 00000e98: PUSH1 0x40 00000e9a: MLOAD 00000e9b: PUSH4 0x79212195 00000ea0: PUSH1 0xe1 00000ea2: SHL 00000ea3: DUP2 00000ea4: MSTORE 00000ea5: PUSH1 0x01 00000ea7: PUSH1 0x01 00000ea9: PUSH1 0xa0 00000eab: SHL 00000eac: SUB 00000ead: DUP8 00000eae: AND 00000eaf: SWAP1 00000eb0: PUSH4 0xf242432a 00000eb5: SWAP1 00000eb6: PUSH2 0x0ec9 00000eb9: SWAP1 00000eba: CALLER 00000ebb: SWAP1 00000ebc: ADDRESS 00000ebd: SWAP1 00000ebe: DUP11 00000ebf: SWAP1 00000ec0: DUP8 00000ec1: SWAP1 00000ec2: PUSH1 0x04 00000ec4: ADD 00000ec5: PUSH2 0x293f 00000ec8: JUMP 00000ec9: JUMPDEST 00000eca: PUSH0 00000ecb: PUSH1 0x40 00000ecd: MLOAD 00000ece: DUP1 00000ecf: DUP4 00000ed0: SUB 00000ed1: DUP2 00000ed2: PUSH0 00000ed3: DUP8 00000ed4: DUP1 00000ed5: EXTCODESIZE 00000ed6: ISZERO 00000ed7: DUP1 00000ed8: ISZERO 00000ed9: PUSH2 0x0ee0 00000edc: JUMPI 00000edd: PUSH0 00000ede: PUSH0 00000edf: REVERT 00000ee0: JUMPDEST 00000ee1: POP 00000ee2: GAS 00000ee3: CALL 00000ee4: ISZERO 00000ee5: DUP1 00000ee6: ISZERO 00000ee7: PUSH2 0x0ef2 00000eea: JUMPI 00000eeb: RETURNDATASIZE 00000eec: PUSH0 00000eed: PUSH0 00000eee: RETURNDATACOPY 00000eef: RETURNDATASIZE 00000ef0: PUSH0 00000ef1: REVERT 00000ef2: JUMPDEST 00000ef3: POP 00000ef4: POP 00000ef5: POP 00000ef6: POP 00000ef7: POP 00000ef8: POP 00000ef9: POP 00000efa: POP 00000efb: POP 00000efc: POP 00000efd: JUMP 00000efe: JUMPDEST 00000eff: PUSH0 00000f00: PUSH2 0x0f08 00000f03: DUP2 00000f04: PUSH2 0x1974 00000f07: JUMP 00000f08: JUMPDEST 00000f09: PUSH2 0x03e8 00000f0c: DUP3 00000f0d: GT 00000f0e: ISZERO 00000f0f: PUSH2 0x0f2b 00000f12: JUMPI 00000f13: PUSH1 0x40 00000f15: MLOAD 00000f16: PUSH4 0x0309cb87 00000f1b: PUSH1 0xe5 00000f1d: SHL 00000f1e: DUP2 00000f1f: MSTORE 00000f20: PUSH1 0x04 00000f22: ADD 00000f23: PUSH1 0x40 00000f25: MLOAD 00000f26: DUP1 00000f27: SWAP2 00000f28: SUB 00000f29: SWAP1 00000f2a: REVERT 00000f2b: JUMPDEST 00000f2c: PUSH1 0x01 00000f2e: DUP3 00000f2f: SWAP1 00000f30: SSTORE 00000f31: PUSH1 0x40 00000f33: MLOAD 00000f34: DUP3 00000f35: DUP2 00000f36: MSTORE 00000f37: PUSH32 0xfdb174bbb157048e9f3962e375891bace08d9741796e3288bf79ab8ccd1dfa20 00000f58: SWAP1 00000f59: PUSH1 0x20 00000f5b: ADD 00000f5c: PUSH1 0x40 00000f5e: MLOAD 00000f5f: DUP1 00000f60: SWAP2 00000f61: SUB 00000f62: SWAP1 00000f63: LOG1 00000f64: POP 00000f65: POP 00000f66: JUMP 00000f67: JUMPDEST 00000f68: PUSH0 00000f69: PUSH2 0x0f71 00000f6c: DUP2 00000f6d: PUSH2 0x1974 00000f70: JUMP 00000f71: JUMPDEST 00000f72: PUSH1 0x40 00000f74: MLOAD 00000f75: PUSH4 0x01ffc9a7 00000f7a: PUSH1 0xe0 00000f7c: SHL 00000f7d: DUP2 00000f7e: MSTORE 00000f7f: PUSH4 0x0e8c0a09 00000f84: PUSH1 0xe4 00000f86: SHL 00000f87: PUSH1 0x04 00000f89: DUP3 00000f8a: ADD 00000f8b: MSTORE 00000f8c: PUSH1 0x01 00000f8e: PUSH1 0x01 00000f90: PUSH1 0xa0 00000f92: SHL 00000f93: SUB 00000f94: DUP4 00000f95: AND 00000f96: SWAP1 00000f97: PUSH4 0x01ffc9a7 00000f9c: SWAP1 00000f9d: PUSH1 0x24 00000f9f: ADD 00000fa0: PUSH1 0x20 00000fa2: PUSH1 0x40 00000fa4: MLOAD 00000fa5: DUP1 00000fa6: DUP4 00000fa7: SUB 00000fa8: DUP2 00000fa9: DUP7 00000faa: GAS 00000fab: STATICCALL 00000fac: ISZERO 00000fad: DUP1 00000fae: ISZERO 00000faf: PUSH2 0x0fba 00000fb2: JUMPI 00000fb3: RETURNDATASIZE 00000fb4: PUSH0 00000fb5: PUSH0 00000fb6: RETURNDATACOPY 00000fb7: RETURNDATASIZE 00000fb8: PUSH0 00000fb9: REVERT 00000fba: JUMPDEST 00000fbb: POP 00000fbc: POP 00000fbd: POP 00000fbe: POP 00000fbf: PUSH1 0x40 00000fc1: MLOAD 00000fc2: RETURNDATASIZE 00000fc3: PUSH1 0x1f 00000fc5: NOT 00000fc6: PUSH1 0x1f 00000fc8: DUP3 00000fc9: ADD 00000fca: AND 00000fcb: DUP3 00000fcc: ADD 00000fcd: DUP1 00000fce: PUSH1 0x40 00000fd0: MSTORE 00000fd1: POP 00000fd2: DUP2 00000fd3: ADD 00000fd4: SWAP1 00000fd5: PUSH2 0x0fde 00000fd8: SWAP2 00000fd9: SWAP1 00000fda: PUSH2 0x29b7 00000fdd: JUMP 00000fde: JUMPDEST 00000fdf: PUSH2 0x0ffb 00000fe2: JUMPI 00000fe3: PUSH1 0x40 00000fe5: MLOAD 00000fe6: PUSH4 0x132f25b5 00000feb: PUSH1 0xe2 00000fed: SHL 00000fee: DUP2 00000fef: MSTORE 00000ff0: PUSH1 0x04 00000ff2: ADD 00000ff3: PUSH1 0x40 00000ff5: MLOAD 00000ff6: DUP1 00000ff7: SWAP2 00000ff8: SUB 00000ff9: SWAP1 00000ffa: REVERT 00000ffb: JUMPDEST 00000ffc: PUSH1 0x40 00000ffe: MLOAD 00000fff: PUSH4 0x774abccb 00001004: PUSH1 0xe1 00001006: SHL 00001007: DUP2 00001008: MSTORE 00001009: PUSH1 0x01 0000100b: PUSH1 0x01 0000100d: PUSH1 0xa0 0000100f: SHL 00001010: SUB 00001011: PUSH32 0x0000000000000000000000002e44f3f609ff5aa4819b323fd74690f07c3607c4 00001032: DUP2 00001033: AND 00001034: PUSH1 0x04 00001036: DUP4 00001037: ADD 00001038: MSTORE 00001039: PUSH8 0x0de0b6b3a7640000 00001042: PUSH1 0x24 00001044: DUP4 00001045: ADD 00001046: MSTORE 00001047: PUSH0 00001048: SWAP2 00001049: SWAP1 0000104a: DUP5 0000104b: AND 0000104c: SWAP1 0000104d: PUSH4 0xee957996 00001052: SWAP1 00001053: PUSH1 0x44 00001055: ADD 00001056: PUSH1 0x20 00001058: PUSH1 0x40 0000105a: MLOAD 0000105b: DUP1 0000105c: DUP4 0000105d: SUB 0000105e: DUP2 0000105f: DUP7 00001060: GAS 00001061: STATICCALL 00001062: ISZERO 00001063: DUP1 00001064: ISZERO 00001065: PUSH2 0x1070 00001068: JUMPI 00001069: RETURNDATASIZE 0000106a: PUSH0 0000106b: PUSH0 0000106c: RETURNDATACOPY 0000106d: RETURNDATASIZE 0000106e: PUSH0 0000106f: REVERT 00001070: JUMPDEST 00001071: POP 00001072: POP 00001073: POP 00001074: POP 00001075: PUSH1 0x40 00001077: MLOAD 00001078: RETURNDATASIZE 00001079: PUSH1 0x1f 0000107b: NOT 0000107c: PUSH1 0x1f 0000107e: DUP3 0000107f: ADD 00001080: AND 00001081: DUP3 00001082: ADD 00001083: DUP1 00001084: PUSH1 0x40 00001086: MSTORE 00001087: POP 00001088: DUP2 00001089: ADD 0000108a: SWAP1 0000108b: PUSH2 0x1094 0000108e: SWAP2 0000108f: SWAP1 00001090: PUSH2 0x2976 00001093: JUMP 00001094: JUMPDEST 00001095: SWAP1 00001096: POP 00001097: PUSH3 0x0f4240 0000109b: DUP2 0000109c: LT 0000109d: ISZERO 0000109e: PUSH2 0x10b9 000010a1: JUMPI 000010a2: PUSH1 0x40 000010a4: MLOAD 000010a5: PUSH3 0xfc7cad 000010a9: PUSH1 0xe5 000010ab: SHL 000010ac: DUP2 000010ad: MSTORE 000010ae: PUSH1 0x04 000010b0: ADD 000010b1: PUSH1 0x40 000010b3: MLOAD 000010b4: DUP1 000010b5: SWAP2 000010b6: SUB 000010b7: SWAP1 000010b8: REVERT 000010b9: JUMPDEST 000010ba: PUSH1 0x40 000010bc: MLOAD 000010bd: PUSH1 0x01 000010bf: PUSH1 0x01 000010c1: PUSH1 0xa0 000010c3: SHL 000010c4: SUB 000010c5: DUP5 000010c6: AND 000010c7: SWAP1 000010c8: PUSH32 0x3f32684a32a11dabdbb8c0177de80aa3ae36a004d75210335b49e544e48cd0aa 000010e9: SWAP1 000010ea: PUSH0 000010eb: SWAP1 000010ec: LOG2 000010ed: POP 000010ee: POP 000010ef: PUSH1 0x03 000010f1: DUP1 000010f2: SLOAD 000010f3: PUSH1 0x01 000010f5: PUSH1 0x01 000010f7: PUSH1 0xa0 000010f9: SHL 000010fa: SUB 000010fb: NOT 000010fc: AND 000010fd: PUSH1 0x01 000010ff: PUSH1 0x01 00001101: PUSH1 0xa0 00001103: SHL 00001104: SUB 00001105: SWAP3 00001106: SWAP1 00001107: SWAP3 00001108: AND 00001109: SWAP2 0000110a: SWAP1 0000110b: SWAP2 0000110c: OR 0000110d: SWAP1 0000110e: SSTORE 0000110f: JUMP 00001110: JUMPDEST 00001111: PUSH0 00001112: SWAP2 00001113: DUP3 00001114: MSTORE 00001115: PUSH1 0x20 00001117: DUP3 00001118: DUP2 00001119: MSTORE 0000111a: PUSH1 0x40 0000111c: DUP1 0000111d: DUP5 0000111e: KECCAK256 0000111f: PUSH1 0x01 00001121: PUSH1 0x01 00001123: PUSH1 0xa0 00001125: SHL 00001126: SUB 00001127: SWAP4 00001128: SWAP1 00001129: SWAP4 0000112a: AND 0000112b: DUP5 0000112c: MSTORE 0000112d: SWAP2 0000112e: SWAP1 0000112f: MSTORE 00001130: SWAP1 00001131: KECCAK256 00001132: SLOAD 00001133: PUSH1 0xff 00001135: AND 00001136: SWAP1 00001137: JUMP 00001138: JUMPDEST 00001139: PUSH0 0000113a: DUP3 0000113b: DUP2 0000113c: MSTORE 0000113d: PUSH1 0x05 0000113f: PUSH1 0x20 00001141: MSTORE 00001142: PUSH1 0x40 00001144: SWAP1 00001145: KECCAK256 00001146: PUSH1 0x02 00001148: ADD 00001149: SLOAD 0000114a: DUP3 0000114b: SWAP1 0000114c: PUSH1 0x01 0000114e: PUSH1 0x01 00001150: PUSH1 0xa0 00001152: SHL 00001153: SUB 00001154: AND 00001155: DUP1 00001156: PUSH2 0x1172 00001159: JUMPI 0000115a: PUSH1 0x40 0000115c: MLOAD 0000115d: PUSH4 0x2d363799 00001162: PUSH1 0xe1 00001164: SHL 00001165: DUP2 00001166: MSTORE 00001167: PUSH1 0x04 00001169: ADD 0000116a: PUSH1 0x40 0000116c: MLOAD 0000116d: DUP1 0000116e: SWAP2 0000116f: SUB 00001170: SWAP1 00001171: REVERT 00001172: JUMPDEST 00001173: PUSH1 0x01 00001175: PUSH1 0x01 00001177: PUSH1 0xa0 00001179: SHL 0000117a: SUB 0000117b: DUP2 0000117c: AND 0000117d: CALLER 0000117e: EQ 0000117f: PUSH2 0x119b 00001182: JUMPI 00001183: PUSH1 0x40 00001185: MLOAD 00001186: PUSH4 0xd2f821cb 0000118b: PUSH1 0xe0 0000118d: SHL 0000118e: DUP2 0000118f: MSTORE 00001190: PUSH1 0x04 00001192: ADD 00001193: PUSH1 0x40 00001195: MLOAD 00001196: DUP1 00001197: SWAP2 00001198: SUB 00001199: SWAP1 0000119a: REVERT 0000119b: JUMPDEST 0000119c: PUSH0 0000119d: DUP4 0000119e: GT 0000119f: PUSH2 0x11bb 000011a2: JUMPI 000011a3: PUSH1 0x40 000011a5: MLOAD 000011a6: PUSH4 0x1536c323 000011ab: PUSH1 0xe2 000011ad: SHL 000011ae: DUP2 000011af: MSTORE 000011b0: PUSH1 0x04 000011b2: ADD 000011b3: PUSH1 0x40 000011b5: MLOAD 000011b6: DUP1 000011b7: SWAP2 000011b8: SUB 000011b9: SWAP1 000011ba: REVERT 000011bb: JUMPDEST 000011bc: PUSH0 000011bd: DUP5 000011be: DUP2 000011bf: MSTORE 000011c0: PUSH1 0x05 000011c2: PUSH1 0x20 000011c4: MSTORE 000011c5: PUSH1 0x40 000011c7: SWAP1 000011c8: KECCAK256 000011c9: PUSH1 0x03 000011cb: DUP2 000011cc: ADD 000011cd: SLOAD 000011ce: PUSH1 0x01 000011d0: DUP6 000011d1: ADD 000011d2: PUSH2 0x11d9 000011d5: JUMPI 000011d6: DUP1 000011d7: SWAP5 000011d8: POP 000011d9: JUMPDEST 000011da: DUP1 000011db: DUP6 000011dc: GT 000011dd: ISZERO 000011de: PUSH2 0x11fa 000011e1: JUMPI 000011e2: PUSH1 0x40 000011e4: MLOAD 000011e5: PUSH4 0x08aeed0f 000011ea: PUSH1 0xe2 000011ec: SHL 000011ed: DUP2 000011ee: MSTORE 000011ef: PUSH1 0x04 000011f1: ADD 000011f2: PUSH1 0x40 000011f4: MLOAD 000011f5: DUP1 000011f6: SWAP2 000011f7: SUB 000011f8: SWAP1 000011f9: REVERT 000011fa: JUMPDEST 000011fb: DUP5 000011fc: DUP3 000011fd: PUSH1 0x03 000011ff: ADD 00001200: SLOAD 00001201: PUSH2 0x120a 00001204: SWAP2 00001205: SWAP1 00001206: PUSH2 0x292c 00001209: JUMP 0000120a: JUMPDEST 0000120b: PUSH1 0x03 0000120d: DUP4 0000120e: ADD 0000120f: SSTORE 00001210: DUP2 00001211: SLOAD 00001212: PUSH1 0x01 00001214: PUSH1 0x01 00001216: PUSH1 0xa0 00001218: SHL 00001219: SUB 0000121a: AND 0000121b: PUSH0 0000121c: SWAP1 0000121d: DUP2 0000121e: MSTORE 0000121f: PUSH1 0x06 00001221: PUSH1 0x20 00001223: SWAP1 00001224: DUP2 00001225: MSTORE 00001226: PUSH1 0x40 00001228: DUP1 00001229: DUP4 0000122a: KECCAK256 0000122b: PUSH1 0x01 0000122d: DUP7 0000122e: ADD 0000122f: SLOAD 00001230: DUP5 00001231: MSTORE 00001232: DUP3 00001233: MSTORE 00001234: DUP1 00001235: DUP4 00001236: KECCAK256 00001237: CALLER 00001238: DUP5 00001239: MSTORE 0000123a: SWAP1 0000123b: SWAP2 0000123c: MSTORE 0000123d: DUP2 0000123e: KECCAK256 0000123f: DUP1 00001240: SLOAD 00001241: DUP8 00001242: SWAP3 00001243: SWAP1 00001244: PUSH2 0x124e 00001247: SWAP1 00001248: DUP5 00001249: SWAP1 0000124a: PUSH2 0x292c 0000124d: JUMP 0000124e: JUMPDEST 0000124f: SWAP1 00001250: SWAP2 00001251: SSTORE 00001252: POP 00001253: POP 00001254: PUSH1 0x40 00001256: MLOAD 00001257: DUP6 00001258: DUP2 00001259: MSTORE 0000125a: DUP7 0000125b: SWAP1 0000125c: PUSH32 0x99fd154aaab6bddfb6bac5c75897e456c3a5c2831c4bc0ba7bef6a7475af45b1 0000127d: SWAP1 0000127e: PUSH1 0x20 00001280: ADD 00001281: PUSH1 0x40 00001283: MLOAD 00001284: DUP1 00001285: SWAP2 00001286: SUB 00001287: SWAP1 00001288: LOG2 00001289: POP 0000128a: POP 0000128b: POP 0000128c: POP 0000128d: POP 0000128e: POP 0000128f: JUMP 00001290: JUMPDEST 00001291: PUSH1 0x01 00001293: PUSH1 0x01 00001295: PUSH1 0xa0 00001297: SHL 00001298: SUB 00001299: DUP3 0000129a: AND 0000129b: PUSH0 0000129c: SWAP1 0000129d: DUP2 0000129e: MSTORE 0000129f: PUSH1 0x04 000012a1: PUSH1 0x20 000012a3: SWAP1 000012a4: DUP2 000012a5: MSTORE 000012a6: PUSH1 0x40 000012a8: DUP1 000012a9: DUP4 000012aa: KECCAK256 000012ab: DUP5 000012ac: DUP5 000012ad: MSTORE 000012ae: SWAP1 000012af: SWAP2 000012b0: MSTORE 000012b1: DUP2 000012b2: KECCAK256 000012b3: PUSH2 0x12bc 000012b6: SWAP1 000012b7: CALLER 000012b8: PUSH2 0x1b29 000012bb: JUMP 000012bc: JUMPDEST 000012bd: SWAP1 000012be: POP 000012bf: DUP1 000012c0: PUSH0 000012c1: SUB 000012c2: PUSH2 0x12ca 000012c5: JUMPI 000012c6: POP 000012c7: POP 000012c8: POP 000012c9: JUMP 000012ca: JUMPDEST 000012cb: PUSH2 0x12fe 000012ce: PUSH1 0x01 000012d0: PUSH1 0x01 000012d2: PUSH1 0xa0 000012d4: SHL 000012d5: SUB 000012d6: PUSH32 0x000000000000000000000000a0b86991c6218b36c1d19d4a2e9eb0ce3606eb48 000012f7: AND 000012f8: CALLER 000012f9: DUP4 000012fa: PUSH2 0x1b56 000012fd: JUMP 000012fe: JUMPDEST 000012ff: CALLER 00001300: PUSH1 0x01 00001302: PUSH1 0x01 00001304: PUSH1 0xa0 00001306: SHL 00001307: SUB 00001308: AND 00001309: DUP3 0000130a: DUP5 0000130b: PUSH1 0x01 0000130d: PUSH1 0x01 0000130f: PUSH1 0xa0 00001311: SHL 00001312: SUB 00001313: AND 00001314: PUSH32 0x8dab6d35466ca3cba614bc5b262979b277949786977e81107f375f7e39f7734a 00001335: DUP5 00001336: PUSH1 0x40 00001338: MLOAD 00001339: PUSH2 0x1344 0000133c: SWAP2 0000133d: DUP2 0000133e: MSTORE 0000133f: PUSH1 0x20 00001341: ADD 00001342: SWAP1 00001343: JUMP 00001344: JUMPDEST 00001345: PUSH1 0x40 00001347: MLOAD 00001348: DUP1 00001349: SWAP2 0000134a: SUB 0000134b: SWAP1 0000134c: LOG4 0000134d: POP 0000134e: POP 0000134f: POP 00001350: JUMP 00001351: JUMPDEST 00001352: PUSH0 00001353: DUP3 00001354: GT 00001355: PUSH2 0x1371 00001358: JUMPI 00001359: PUSH1 0x40 0000135b: MLOAD 0000135c: PUSH4 0x1536c323 00001361: PUSH1 0xe2 00001363: SHL 00001364: DUP2 00001365: MSTORE 00001366: PUSH1 0x04 00001368: ADD 00001369: PUSH1 0x40 0000136b: MLOAD 0000136c: DUP1 0000136d: SWAP2 0000136e: SUB 0000136f: SWAP1 00001370: REVERT 00001371: JUMPDEST 00001372: PUSH0 00001373: DUP4 00001374: DUP2 00001375: MSTORE 00001376: PUSH1 0x05 00001378: PUSH1 0x20 0000137a: MSTORE 0000137b: PUSH1 0x40 0000137d: SWAP1 0000137e: KECCAK256 0000137f: PUSH1 0x02 00001381: DUP2 00001382: ADD 00001383: SLOAD 00001384: PUSH1 0x01 00001386: DUP3 00001387: ADD 00001388: SLOAD 00001389: DUP3 0000138a: SLOAD 0000138b: PUSH1 0x01 0000138d: PUSH1 0x01 0000138f: PUSH1 0xa0 00001391: SHL 00001392: SUB 00001393: SWAP3 00001394: DUP4 00001395: AND 00001396: SWAP3 00001397: AND 00001398: DUP3 00001399: PUSH2 0x13b5 0000139c: JUMPI 0000139d: PUSH1 0x40 0000139f: MLOAD 000013a0: PUSH4 0x2d363799 000013a5: PUSH1 0xe1 000013a7: SHL 000013a8: DUP2 000013a9: MSTORE 000013aa: PUSH1 0x04 000013ac: ADD 000013ad: PUSH1 0x40 000013af: MLOAD 000013b0: DUP1 000013b1: SWAP2 000013b2: SUB 000013b3: SWAP1 000013b4: REVERT 000013b5: JUMPDEST 000013b6: DUP4 000013b7: PUSH1 0x05 000013b9: ADD 000013ba: SLOAD 000013bb: TIMESTAMP 000013bc: LT 000013bd: PUSH2 0x13d9 000013c0: JUMPI 000013c1: PUSH1 0x40 000013c3: MLOAD 000013c4: PUSH4 0x29b0853f 000013c9: PUSH1 0xe0 000013cb: SHL 000013cc: DUP2 000013cd: MSTORE 000013ce: PUSH1 0x04 000013d0: ADD 000013d1: PUSH1 0x40 000013d3: MLOAD 000013d4: DUP1 000013d5: SWAP2 000013d6: SUB 000013d7: SWAP1 000013d8: REVERT 000013d9: JUMPDEST 000013da: PUSH1 0x03 000013dc: DUP5 000013dd: ADD 000013de: SLOAD 000013df: DUP7 000013e0: DUP2 000013e1: LT 000013e2: ISZERO 000013e3: PUSH2 0x13ff 000013e6: JUMPI 000013e7: PUSH1 0x40 000013e9: MLOAD 000013ea: PUSH4 0x08aeed0f 000013ef: PUSH1 0xe2 000013f1: SHL 000013f2: DUP2 000013f3: MSTORE 000013f4: PUSH1 0x04 000013f6: ADD 000013f7: PUSH1 0x40 000013f9: MLOAD 000013fa: DUP1 000013fb: SWAP2 000013fc: SUB 000013fd: SWAP1 000013fe: REVERT 000013ff: JUMPDEST 00001400: PUSH2 0x1409 00001403: DUP8 00001404: DUP3 00001405: PUSH2 0x292c 00001408: JUMP 00001409: JUMPDEST 0000140a: PUSH1 0x03 0000140c: DUP7 0000140d: ADD 0000140e: SSTORE 0000140f: PUSH1 0x01 00001411: PUSH1 0x01 00001413: PUSH1 0xa0 00001415: SHL 00001416: SUB 00001417: DUP1 00001418: DUP4 00001419: AND 0000141a: PUSH0 0000141b: SWAP1 0000141c: DUP2 0000141d: MSTORE 0000141e: PUSH1 0x06 00001420: PUSH1 0x20 00001422: SWAP1 00001423: DUP2 00001424: MSTORE 00001425: PUSH1 0x40 00001427: DUP1 00001428: DUP4 00001429: KECCAK256 0000142a: DUP8 0000142b: DUP5 0000142c: MSTORE 0000142d: DUP3 0000142e: MSTORE 0000142f: DUP1 00001430: DUP4 00001431: KECCAK256 00001432: SWAP4 00001433: DUP9 00001434: AND 00001435: DUP4 00001436: MSTORE 00001437: SWAP3 00001438: SWAP1 00001439: MSTORE 0000143a: SWAP1 0000143b: DUP2 0000143c: KECCAK256 0000143d: DUP1 0000143e: SLOAD 0000143f: DUP10 00001440: SWAP3 00001441: SWAP1 00001442: PUSH2 0x144c 00001445: SWAP1 00001446: DUP5 00001447: SWAP1 00001448: PUSH2 0x292c 0000144b: JUMP 0000144c: JUMPDEST 0000144d: SWAP1 0000144e: SWAP2 0000144f: SSTORE 00001450: POP 00001451: POP 00001452: PUSH1 0x01 00001454: PUSH1 0x01 00001456: PUSH1 0xa0 00001458: SHL 00001459: SUB 0000145a: DUP3 0000145b: AND 0000145c: PUSH0 0000145d: SWAP1 0000145e: DUP2 0000145f: MSTORE 00001460: PUSH1 0x04 00001462: PUSH1 0x20 00001464: SWAP1 00001465: DUP2 00001466: MSTORE 00001467: PUSH1 0x40 00001469: DUP1 0000146a: DUP4 0000146b: KECCAK256 0000146c: DUP7 0000146d: DUP5 0000146e: MSTORE 0000146f: SWAP1 00001470: SWAP2 00001471: MSTORE 00001472: SWAP1 00001473: KECCAK256 00001474: PUSH2 0x147f 00001477: SWAP1 00001478: DUP6 00001479: CALLER 0000147a: DUP11 0000147b: PUSH2 0x1ce6 0000147e: JUMP 0000147f: JUMPDEST 00001480: POP 00001481: PUSH1 0x01 00001483: SLOAD 00001484: PUSH1 0x04 00001486: DUP6 00001487: ADD 00001488: SLOAD 00001489: PUSH0 0000148a: SWAP1 0000148b: PUSH2 0x1495 0000148e: SWAP1 0000148f: DUP10 00001490: SWAP1 00001491: PUSH2 0x298d 00001494: JUMP 00001495: JUMPDEST 00001496: SWAP1 00001497: POP 00001498: PUSH0 00001499: PUSH0 0000149a: PUSH2 0x14a3 0000149d: DUP4 0000149e: DUP6 0000149f: PUSH2 0x1dd4 000014a2: JUMP 000014a3: JUMPDEST 000014a4: SWAP1 000014a5: SWAP3 000014a6: POP 000014a7: SWAP1 000014a8: POP 000014a9: PUSH0 000014aa: PUSH2 0x14b3 000014ad: DUP3 000014ae: DUP5 000014af: PUSH2 0x29a4 000014b2: JUMP 000014b3: JUMPDEST 000014b4: SWAP1 000014b5: POP 000014b6: DUP3 000014b7: PUSH0 000014b8: SUB 000014b9: PUSH2 0x14d5 000014bc: JUMPI 000014bd: PUSH1 0x40 000014bf: MLOAD 000014c0: PUSH4 0x1510fe5b 000014c5: PUSH1 0xe3 000014c7: SHL 000014c8: DUP2 000014c9: MSTORE 000014ca: PUSH1 0x04 000014cc: ADD 000014cd: PUSH1 0x40 000014cf: MLOAD 000014d0: DUP1 000014d1: SWAP2 000014d2: SUB 000014d3: SWAP1 000014d4: REVERT 000014d5: JUMPDEST 000014d6: DUP10 000014d7: DUP2 000014d8: GT 000014d9: ISZERO 000014da: PUSH2 0x14f6 000014dd: JUMPI 000014de: PUSH1 0x40 000014e0: MLOAD 000014e1: PUSH4 0x8199f5f3 000014e6: PUSH1 0xe0 000014e8: SHL 000014e9: DUP2 000014ea: MSTORE 000014eb: PUSH1 0x04 000014ed: ADD 000014ee: PUSH1 0x40 000014f0: MLOAD 000014f1: DUP1 000014f2: SWAP2 000014f3: SUB 000014f4: SWAP1 000014f5: REVERT 000014f6: JUMPDEST 000014f7: PUSH2 0x152b 000014fa: PUSH1 0x01 000014fc: PUSH1 0x01 000014fe: PUSH1 0xa0 00001500: SHL 00001501: SUB 00001502: PUSH32 0x0000000000000000000000002e44f3f609ff5aa4819b323fd74690f07c3607c4 00001523: AND 00001524: CALLER 00001525: DUP11 00001526: DUP7 00001527: PUSH2 0x1a86 0000152a: JUMP 0000152b: JUMPDEST 0000152c: DUP2 0000152d: ISZERO 0000152e: PUSH2 0x156d 00001531: JUMPI 00001532: PUSH1 0x02 00001534: SLOAD 00001535: PUSH2 0x156d 00001538: SWAP1 00001539: PUSH1 0x01 0000153b: PUSH1 0x01 0000153d: PUSH1 0xa0 0000153f: SHL 00001540: SUB 00001541: PUSH32 0x0000000000000000000000002e44f3f609ff5aa4819b323fd74690f07c3607c4 00001562: DUP2 00001563: AND 00001564: SWAP2 00001565: CALLER 00001566: SWAP2 00001567: AND 00001568: DUP6 00001569: PUSH2 0x1a86 0000156c: JUMP 0000156d: JUMPDEST 0000156e: PUSH1 0x40 00001570: DUP1 00001571: MLOAD 00001572: DUP13 00001573: DUP2 00001574: MSTORE 00001575: PUSH1 0x20 00001577: DUP2 00001578: ADD 00001579: DUP6 0000157a: SWAP1 0000157b: MSTORE 0000157c: SWAP1 0000157d: DUP2 0000157e: ADD 0000157f: DUP6 00001580: SWAP1 00001581: MSTORE 00001582: PUSH1 0x60 00001584: DUP2 00001585: ADD 00001586: DUP7 00001587: SWAP1 00001588: MSTORE 00001589: PUSH1 0x01 0000158b: PUSH1 0x01 0000158d: PUSH1 0xa0 0000158f: SHL 00001590: SUB 00001591: DUP10 00001592: AND 00001593: SWAP1 00001594: CALLER 00001595: SWAP1 00001596: DUP15 00001597: SWAP1 00001598: PUSH32 0x4f06481cdc091a77d7889b166758de403c64fbea2a4f3ba7386f157966cd6e7f 000015b9: SWAP1 000015ba: PUSH1 0x80 000015bc: ADD 000015bd: PUSH1 0x40 000015bf: MLOAD 000015c0: DUP1 000015c1: SWAP2 000015c2: SUB 000015c3: SWAP1 000015c4: LOG4 000015c5: POP 000015c6: POP 000015c7: POP 000015c8: POP 000015c9: POP 000015ca: POP 000015cb: POP 000015cc: POP 000015cd: POP 000015ce: POP 000015cf: POP 000015d0: POP 000015d1: JUMP 000015d2: JUMPDEST 000015d3: PUSH0 000015d4: PUSH2 0x0d7a 000015d7: DUP7 000015d8: DUP7 000015d9: DUP7 000015da: DUP7 000015db: DUP7 000015dc: PUSH2 0x1f0e 000015df: JUMP 000015e0: JUMPDEST 000015e1: PUSH0 000015e2: DUP4 000015e3: DUP2 000015e4: MSTORE 000015e5: PUSH1 0x05 000015e7: PUSH1 0x20 000015e9: MSTORE 000015ea: PUSH1 0x40 000015ec: SWAP1 000015ed: KECCAK256 000015ee: PUSH1 0x02 000015f0: ADD 000015f1: SLOAD 000015f2: DUP4 000015f3: SWAP1 000015f4: PUSH1 0x01 000015f6: PUSH1 0x01 000015f8: PUSH1 0xa0 000015fa: SHL 000015fb: SUB 000015fc: AND 000015fd: DUP1 000015fe: PUSH2 0x161a 00001601: JUMPI 00001602: PUSH1 0x40 00001604: MLOAD 00001605: PUSH4 0x2d363799 0000160a: PUSH1 0xe1 0000160c: SHL 0000160d: DUP2 0000160e: MSTORE 0000160f: PUSH1 0x04 00001611: ADD 00001612: PUSH1 0x40 00001614: MLOAD 00001615: DUP1 00001616: SWAP2 00001617: SUB 00001618: SWAP1 00001619: REVERT 0000161a: JUMPDEST 0000161b: PUSH1 0x01 0000161d: PUSH1 0x01 0000161f: PUSH1 0xa0 00001621: SHL 00001622: SUB 00001623: DUP2 00001624: AND 00001625: CALLER 00001626: EQ 00001627: PUSH2 0x1643 0000162a: JUMPI 0000162b: PUSH1 0x40 0000162d: MLOAD 0000162e: PUSH4 0xd2f821cb 00001633: PUSH1 0xe0 00001635: SHL 00001636: DUP2 00001637: MSTORE 00001638: PUSH1 0x04 0000163a: ADD 0000163b: PUSH1 0x40 0000163d: MLOAD 0000163e: DUP1 0000163f: SWAP2 00001640: SUB 00001641: SWAP1 00001642: REVERT 00001643: JUMPDEST 00001644: DUP4 00001645: ISZERO 00001646: PUSH2 0x1699 00001649: JUMPI 0000164a: PUSH0 0000164b: DUP6 0000164c: DUP2 0000164d: MSTORE 0000164e: PUSH1 0x05 00001650: PUSH1 0x20 00001652: MSTORE 00001653: PUSH1 0x40 00001655: SWAP1 00001656: DUP2 00001657: SWAP1 00001658: KECCAK256 00001659: PUSH1 0x04 0000165b: ADD 0000165c: DUP6 0000165d: SWAP1 0000165e: SSTORE 0000165f: MLOAD 00001660: DUP6 00001661: SWAP1 00001662: PUSH32 0x46eec4e0eeeef5830de3472bb39db7e52b1c809286dc87c4b85b20e003cc70c3 00001683: SWAP1 00001684: PUSH2 0x1690 00001687: SWAP1 00001688: DUP8 00001689: DUP2 0000168a: MSTORE 0000168b: PUSH1 0x20 0000168d: ADD 0000168e: SWAP1 0000168f: JUMP 00001690: JUMPDEST 00001691: PUSH1 0x40 00001693: MLOAD 00001694: DUP1 00001695: SWAP2 00001696: SUB 00001697: SWAP1 00001698: LOG2 00001699: JUMPDEST 0000169a: DUP3 0000169b: ISZERO 0000169c: PUSH2 0x170f 0000169f: JUMPI 000016a0: TIMESTAMP 000016a1: DUP4 000016a2: GT 000016a3: PUSH2 0x16bf 000016a6: JUMPI 000016a7: PUSH1 0x40 000016a9: MLOAD 000016aa: PUSH4 0x2a6d1199 000016af: PUSH1 0xe0 000016b1: SHL 000016b2: DUP2 000016b3: MSTORE 000016b4: PUSH1 0x04 000016b6: ADD 000016b7: PUSH1 0x40 000016b9: MLOAD 000016ba: DUP1 000016bb: SWAP2 000016bc: SUB 000016bd: SWAP1 000016be: REVERT 000016bf: JUMPDEST 000016c0: PUSH0 000016c1: DUP6 000016c2: DUP2 000016c3: MSTORE 000016c4: PUSH1 0x05 000016c6: PUSH1 0x20 000016c8: DUP2 000016c9: SWAP1 000016ca: MSTORE 000016cb: PUSH1 0x40 000016cd: SWAP2 000016ce: DUP3 000016cf: SWAP1 000016d0: KECCAK256 000016d1: ADD 000016d2: DUP5 000016d3: SWAP1 000016d4: SSTORE 000016d5: MLOAD 000016d6: DUP6 000016d7: SWAP1 000016d8: PUSH32 0x525e3492d4aa37e8489b5badf4500a88d3e8037aeec1d1ab672f7f8c17b12b66 000016f9: SWAP1 000016fa: PUSH2 0x1706 000016fd: SWAP1 000016fe: DUP7 000016ff: DUP2 00001700: MSTORE 00001701: PUSH1 0x20 00001703: ADD 00001704: SWAP1 00001705: JUMP 00001706: JUMPDEST 00001707: PUSH1 0x40 00001709: MLOAD 0000170a: DUP1 0000170b: SWAP2 0000170c: SUB 0000170d: SWAP1 0000170e: LOG2 0000170f: JUMPDEST 00001710: POP 00001711: POP 00001712: POP 00001713: POP 00001714: POP 00001715: JUMP 00001716: JUMPDEST 00001717: PUSH1 0x01 00001719: PUSH1 0x01 0000171b: PUSH1 0xa0 0000171d: SHL 0000171e: SUB 0000171f: DUP3 00001720: AND 00001721: PUSH0 00001722: SWAP1 00001723: DUP2 00001724: MSTORE 00001725: PUSH1 0x04 00001727: PUSH1 0x20 00001729: SWAP1 0000172a: DUP2 0000172b: MSTORE 0000172c: PUSH1 0x40 0000172e: DUP1 0000172f: DUP4 00001730: KECCAK256 00001731: DUP5 00001732: DUP5 00001733: MSTORE 00001734: SWAP1 00001735: SWAP2 00001736: MSTORE 00001737: DUP2 00001738: KECCAK256 00001739: PUSH1 0x01 0000173b: ADD 0000173c: SLOAD 0000173d: ISZERO 0000173e: ISZERO 0000173f: JUMPDEST 00001740: SWAP4 00001741: SWAP3 00001742: POP 00001743: POP 00001744: POP 00001745: JUMP 00001746: JUMPDEST 00001747: PUSH2 0x0a6a 0000174a: DUP4 0000174b: DUP4 0000174c: DUP4 0000174d: PUSH2 0x2148 00001750: JUMP 00001751: JUMPDEST 00001752: PUSH0 00001753: DUP3 00001754: DUP2 00001755: MSTORE 00001756: PUSH1 0x20 00001758: DUP2 00001759: SWAP1 0000175a: MSTORE 0000175b: PUSH1 0x40 0000175d: SWAP1 0000175e: KECCAK256 0000175f: PUSH1 0x01 00001761: ADD 00001762: SLOAD 00001763: PUSH2 0x176b 00001766: DUP2 00001767: PUSH2 0x1974 0000176a: JUMP 0000176b: JUMPDEST 0000176c: PUSH2 0x0a0d 0000176f: DUP4 00001770: DUP4 00001771: PUSH2 0x1c16 00001774: JUMP 00001775: JUMPDEST 00001776: PUSH0 00001777: PUSH2 0x1781 0000177a: DUP7 0000177b: DUP7 0000177c: DUP7 0000177d: PUSH2 0x2148 00001780: JUMP 00001781: JUMPDEST 00001782: PUSH2 0x0d7a 00001785: DUP7 00001786: DUP7 00001787: DUP7 00001788: DUP7 00001789: DUP7 0000178a: PUSH2 0x1f0e 0000178d: JUMP 0000178e: JUMPDEST 0000178f: PUSH0 00001790: DUP1 00001791: JUMPDEST 00001792: DUP3 00001793: DUP2 00001794: LT 00001795: ISZERO 00001796: PUSH2 0x1866 00001799: JUMPI 0000179a: PUSH1 0x01 0000179c: PUSH1 0x01 0000179e: PUSH1 0xa0 000017a0: SHL 000017a1: SUB 000017a2: DUP6 000017a3: AND 000017a4: PUSH0 000017a5: SWAP1 000017a6: DUP2 000017a7: MSTORE 000017a8: PUSH1 0x04 000017aa: PUSH1 0x20 000017ac: MSTORE 000017ad: PUSH1 0x40 000017af: DUP2 000017b0: KECCAK256 000017b1: PUSH2 0x17eb 000017b4: SWAP1 000017b5: CALLER 000017b6: SWAP1 000017b7: DUP4 000017b8: DUP9 000017b9: DUP9 000017ba: DUP8 000017bb: DUP2 000017bc: DUP2 000017bd: LT 000017be: PUSH2 0x17c9 000017c1: JUMPI 000017c2: PUSH2 0x17c9 000017c5: PUSH2 0x29d6 000017c8: JUMP 000017c9: JUMPDEST 000017ca: SWAP1 000017cb: POP 000017cc: PUSH1 0x20 000017ce: MUL 000017cf: ADD 000017d0: CALLDATALOAD 000017d1: DUP2 000017d2: MSTORE 000017d3: PUSH1 0x20 000017d5: ADD 000017d6: SWAP1 000017d7: DUP2 000017d8: MSTORE 000017d9: PUSH1 0x20 000017db: ADD 000017dc: PUSH0 000017dd: KECCAK256 000017de: PUSH2 0x1b29 000017e1: SWAP1 000017e2: SWAP2 000017e3: SWAP1 000017e4: PUSH4 0xffffffff 000017e9: AND 000017ea: JUMP 000017eb: JUMPDEST 000017ec: SWAP1 000017ed: POP 000017ee: PUSH2 0x17f7 000017f1: DUP2 000017f2: DUP5 000017f3: PUSH2 0x29a4 000017f6: JUMP 000017f7: JUMPDEST 000017f8: SWAP3 000017f9: POP 000017fa: DUP1 000017fb: ISZERO 000017fc: PUSH2 0x185d 000017ff: JUMPI 00001800: CALLER 00001801: DUP6 00001802: DUP6 00001803: DUP5 00001804: DUP2 00001805: DUP2 00001806: LT 00001807: PUSH2 0x1812 0000180a: JUMPI 0000180b: PUSH2 0x1812 0000180e: PUSH2 0x29d6 00001811: JUMP 00001812: JUMPDEST 00001813: SWAP1 00001814: POP 00001815: PUSH1 0x20 00001817: MUL 00001818: ADD 00001819: CALLDATALOAD 0000181a: DUP8 0000181b: PUSH1 0x01 0000181d: PUSH1 0x01 0000181f: PUSH1 0xa0 00001821: SHL 00001822: SUB 00001823: AND 00001824: PUSH32 0x8dab6d35466ca3cba614bc5b262979b277949786977e81107f375f7e39f7734a 00001845: DUP5 00001846: PUSH1 0x40 00001848: MLOAD 00001849: PUSH2 0x1854 0000184c: SWAP2 0000184d: DUP2 0000184e: MSTORE 0000184f: PUSH1 0x20 00001851: ADD 00001852: SWAP1 00001853: JUMP 00001854: JUMPDEST 00001855: PUSH1 0x40 00001857: MLOAD 00001858: DUP1 00001859: SWAP2 0000185a: SUB 0000185b: SWAP1 0000185c: LOG4 0000185d: JUMPDEST 0000185e: POP 0000185f: PUSH1 0x01 00001861: ADD 00001862: PUSH2 0x1791 00001865: JUMP 00001866: JUMPDEST 00001867: POP 00001868: DUP1 00001869: ISZERO 0000186a: PUSH2 0x0a0d 0000186d: JUMPI 0000186e: PUSH2 0x0a0d 00001871: PUSH1 0x01 00001873: PUSH1 0x01 00001875: PUSH1 0xa0 00001877: SHL 00001878: SUB 00001879: PUSH32 0x000000000000000000000000a0b86991c6218b36c1d19d4a2e9eb0ce3606eb48 0000189a: AND 0000189b: CALLER 0000189c: DUP4 0000189d: PUSH2 0x1b56 000018a0: JUMP 000018a1: JUMPDEST 000018a2: PUSH0 000018a3: PUSH2 0x18ab 000018a6: DUP2 000018a7: PUSH2 0x1974 000018aa: JUMP 000018ab: JUMPDEST 000018ac: PUSH1 0x01 000018ae: PUSH1 0x01 000018b0: PUSH1 0xa0 000018b2: SHL 000018b3: SUB 000018b4: DUP3 000018b5: AND 000018b6: PUSH2 0x18d2 000018b9: JUMPI 000018ba: PUSH1 0x40 000018bc: MLOAD 000018bd: PUSH4 0x1536c323 000018c2: PUSH1 0xe2 000018c4: SHL 000018c5: DUP2 000018c6: MSTORE 000018c7: PUSH1 0x04 000018c9: ADD 000018ca: PUSH1 0x40 000018cc: MLOAD 000018cd: DUP1 000018ce: SWAP2 000018cf: SUB 000018d0: SWAP1 000018d1: REVERT 000018d2: JUMPDEST 000018d3: PUSH1 0x02 000018d5: DUP1 000018d6: SLOAD 000018d7: PUSH1 0x01 000018d9: PUSH1 0x01 000018db: PUSH1 0xa0 000018dd: SHL 000018de: SUB 000018df: NOT 000018e0: AND 000018e1: PUSH1 0x01 000018e3: PUSH1 0x01 000018e5: PUSH1 0xa0 000018e7: SHL 000018e8: SUB 000018e9: DUP5 000018ea: AND 000018eb: SWAP1 000018ec: DUP2 000018ed: OR 000018ee: SWAP1 000018ef: SWAP2 000018f0: SSTORE 000018f1: PUSH1 0x40 000018f3: MLOAD 000018f4: PUSH32 0xbdf37c276f641820b141429d245add2552b4118c0866e5a78638e3de5ef18d9d 00001915: SWAP1 00001916: PUSH0 00001917: SWAP1 00001918: LOG2 00001919: POP 0000191a: POP 0000191b: JUMP 0000191c: JUMPDEST 0000191d: PUSH0 0000191e: PUSH1 0x01 00001920: PUSH1 0x01 00001922: PUSH1 0xe0 00001924: SHL 00001925: SUB 00001926: NOT 00001927: DUP3 00001928: AND 00001929: PUSH4 0x02711897 0000192e: PUSH1 0xe5 00001930: SHL 00001931: EQ 00001932: DUP1 00001933: PUSH2 0x070c 00001936: JUMPI 00001937: POP 00001938: PUSH4 0x01ffc9a7 0000193d: PUSH1 0xe0 0000193f: SHL 00001940: PUSH1 0x01 00001942: PUSH1 0x01 00001944: PUSH1 0xe0 00001946: SHL 00001947: SUB 00001948: NOT 00001949: DUP4 0000194a: AND 0000194b: EQ 0000194c: PUSH2 0x070c 0000194f: JUMP 00001950: JUMPDEST 00001951: PUSH0 00001952: PUSH1 0x01 00001954: PUSH1 0x01 00001956: PUSH1 0xe0 00001958: SHL 00001959: SUB 0000195a: NOT 0000195b: DUP3 0000195c: AND 0000195d: PUSH4 0x7965db0b 00001962: PUSH1 0xe0 00001964: SHL 00001965: EQ 00001966: DUP1 00001967: PUSH2 0x070c 0000196a: JUMPI 0000196b: POP 0000196c: PUSH2 0x070c 0000196f: DUP3 00001970: PUSH2 0x191c 00001973: JUMP 00001974: JUMPDEST 00001975: PUSH2 0x197e 00001978: DUP2 00001979: CALLER 0000197a: PUSH2 0x2296 0000197d: JUMP 0000197e: JUMPDEST 0000197f: POP 00001980: JUMP 00001981: JUMPDEST 00001982: PUSH3 0x13c680 00001986: DUP2 00001987: GT 00001988: ISZERO 00001989: PUSH2 0x19a5 0000198c: JUMPI 0000198d: PUSH1 0x40 0000198f: MLOAD 00001990: PUSH4 0x4edf692d 00001995: PUSH1 0xe1 00001997: SHL 00001998: DUP2 00001999: MSTORE 0000199a: PUSH1 0x04 0000199c: ADD 0000199d: PUSH1 0x40 0000199f: MLOAD 000019a0: DUP1 000019a1: SWAP2 000019a2: SUB 000019a3: SWAP1 000019a4: REVERT 000019a5: JUMPDEST 000019a6: PUSH2 0x5460 000019a9: DUP2 000019aa: LT 000019ab: ISZERO 000019ac: PUSH2 0x19c8 000019af: JUMPI 000019b0: PUSH1 0x40 000019b2: MLOAD 000019b3: PUSH4 0x28fbaa91 000019b8: PUSH1 0xe2 000019ba: SHL 000019bb: DUP2 000019bc: MSTORE 000019bd: PUSH1 0x04 000019bf: ADD 000019c0: PUSH1 0x40 000019c2: MLOAD 000019c3: DUP1 000019c4: SWAP2 000019c5: SUB 000019c6: SWAP1 000019c7: REVERT 000019c8: JUMPDEST 000019c9: PUSH2 0x19d1 000019cc: DUP4 000019cd: PUSH2 0x22d8 000019d0: JUMP 000019d1: JUMPDEST 000019d2: PUSH2 0x19ee 000019d5: JUMPI 000019d6: PUSH1 0x40 000019d8: MLOAD 000019d9: PUSH4 0xf6d7b925 000019de: PUSH1 0xe0 000019e0: SHL 000019e1: DUP2 000019e2: MSTORE 000019e3: PUSH1 0x04 000019e5: ADD 000019e6: PUSH1 0x40 000019e8: MLOAD 000019e9: DUP1 000019ea: SWAP2 000019eb: SUB 000019ec: SWAP1 000019ed: REVERT 000019ee: JUMPDEST 000019ef: PUSH1 0x01 000019f1: DUP4 000019f2: ADD 000019f3: SLOAD 000019f4: PUSH2 0x1a10 000019f7: JUMPI 000019f8: PUSH1 0x40 000019fa: MLOAD 000019fb: PUSH4 0xfa782c21 00001a00: PUSH1 0xe0 00001a02: SHL 00001a03: DUP2 00001a04: MSTORE 00001a05: PUSH1 0x04 00001a07: ADD 00001a08: PUSH1 0x40 00001a0a: MLOAD 00001a0b: DUP1 00001a0c: SWAP2 00001a0d: SUB 00001a0e: SWAP1 00001a0f: REVERT 00001a10: JUMPDEST 00001a11: PUSH2 0x2710 00001a14: DUP3 00001a15: LT 00001a16: ISZERO 00001a17: PUSH2 0x1a33 00001a1a: JUMPI 00001a1b: PUSH1 0x40 00001a1d: MLOAD 00001a1e: PUSH4 0x1ac030b9 00001a23: PUSH1 0xe2 00001a25: SHL 00001a26: DUP2 00001a27: MSTORE 00001a28: PUSH1 0x04 00001a2a: ADD 00001a2b: PUSH1 0x40 00001a2d: MLOAD 00001a2e: DUP1 00001a2f: SWAP2 00001a30: SUB 00001a31: SWAP1 00001a32: REVERT 00001a33: JUMPDEST 00001a34: PUSH1 0x01 00001a36: DUP4 00001a37: ADD 00001a38: SLOAD 00001a39: PUSH0 00001a3a: SWAP1 00001a3b: PUSH2 0x1a4c 00001a3e: PUSH8 0x0de0b6b3a7640000 00001a47: DUP6 00001a48: PUSH2 0x298d 00001a4b: JUMP 00001a4c: JUMPDEST 00001a4d: PUSH2 0x1a56 00001a50: SWAP2 00001a51: SWAP1 00001a52: PUSH2 0x29ea 00001a55: JUMP 00001a56: JUMPDEST 00001a57: SWAP1 00001a58: POP 00001a59: DUP1 00001a5a: DUP5 00001a5b: PUSH0 00001a5c: ADD 00001a5d: PUSH0 00001a5e: DUP3 00001a5f: DUP3 00001a60: SLOAD 00001a61: PUSH2 0x1a6a 00001a64: SWAP2 00001a65: SWAP1 00001a66: PUSH2 0x29a4 00001a69: JUMP 00001a6a: JUMPDEST 00001a6b: SWAP1 00001a6c: SWAP2 00001a6d: SSTORE 00001a6e: POP 00001a6f: POP 00001a70: PUSH1 0x02 00001a72: DUP5 00001a73: ADD 00001a74: SSTORE 00001a75: TIMESTAMP 00001a76: PUSH1 0x03 00001a78: DUP5 00001a79: ADD 00001a7a: SSTORE 00001a7b: PUSH1 0x04 00001a7d: SWAP1 00001a7e: SWAP3 00001a7f: ADD 00001a80: SWAP2 00001a81: SWAP1 00001a82: SWAP2 00001a83: SSTORE 00001a84: POP 00001a85: JUMP 00001a86: JUMPDEST 00001a87: PUSH1 0x40 00001a89: MLOAD 00001a8a: PUSH1 0x01 00001a8c: PUSH1 0x01 00001a8e: PUSH1 0xa0 00001a90: SHL 00001a91: SUB 00001a92: DUP5 00001a93: DUP2 00001a94: AND 00001a95: PUSH1 0x24 00001a97: DUP4 00001a98: ADD 00001a99: MSTORE 00001a9a: DUP4 00001a9b: DUP2 00001a9c: AND 00001a9d: PUSH1 0x44 00001a9f: DUP4 00001aa0: ADD 00001aa1: MSTORE 00001aa2: PUSH1 0x64 00001aa4: DUP3 00001aa5: ADD 00001aa6: DUP4 00001aa7: SWAP1 00001aa8: MSTORE 00001aa9: PUSH2 0x0a0d 00001aac: SWAP2 00001aad: DUP7 00001aae: SWAP2 00001aaf: DUP3 00001ab0: AND 00001ab1: SWAP1 00001ab2: PUSH4 0x23b872dd 00001ab7: SWAP1 00001ab8: PUSH1 0x84 00001aba: ADD 00001abb: JUMPDEST 00001abc: PUSH1 0x40 00001abe: MLOAD 00001abf: PUSH1 0x20 00001ac1: DUP2 00001ac2: DUP4 00001ac3: SUB 00001ac4: SUB 00001ac5: DUP2 00001ac6: MSTORE 00001ac7: SWAP1 00001ac8: PUSH1 0x40 00001aca: MSTORE 00001acb: SWAP2 00001acc: POP 00001acd: PUSH1 0xe0 00001acf: SHL 00001ad0: PUSH1 0x20 00001ad2: DUP3 00001ad3: ADD 00001ad4: DUP1 00001ad5: MLOAD 00001ad6: PUSH1 0x01 00001ad8: PUSH1 0x01 00001ada: PUSH1 0xe0 00001adc: SHL 00001add: SUB 00001ade: DUP4 00001adf: DUP2 00001ae0: DUP4 00001ae1: AND 00001ae2: OR 00001ae3: DUP4 00001ae4: MSTORE 00001ae5: POP 00001ae6: POP 00001ae7: POP 00001ae8: POP 00001ae9: PUSH2 0x22f5 00001aec: JUMP 00001aed: JUMPDEST 00001aee: PUSH0 00001aef: PUSH0 00001af0: PUSH2 0x1af8 00001af3: DUP5 00001af4: PUSH2 0x1d5c 00001af7: JUMP 00001af8: JUMPDEST 00001af9: SWAP1 00001afa: POP 00001afb: PUSH2 0x1b05 00001afe: DUP5 00001aff: DUP3 00001b00: DUP6 00001b01: PUSH2 0x2361 00001b04: JUMP 00001b05: JUMPDEST 00001b06: PUSH1 0x01 00001b08: PUSH1 0x01 00001b0a: PUSH1 0xa0 00001b0c: SHL 00001b0d: SUB 00001b0e: DUP5 00001b0f: AND 00001b10: PUSH0 00001b11: SWAP1 00001b12: DUP2 00001b13: MSTORE 00001b14: PUSH1 0x06 00001b16: DUP7 00001b17: ADD 00001b18: PUSH1 0x20 00001b1a: MSTORE 00001b1b: PUSH1 0x40 00001b1d: SWAP1 00001b1e: KECCAK256 00001b1f: SLOAD 00001b20: PUSH2 0x08c1 00001b23: SWAP2 00001b24: SWAP1 00001b25: PUSH2 0x29a4 00001b28: JUMP 00001b29: JUMPDEST 00001b2a: PUSH0 00001b2b: PUSH2 0x1b34 00001b2e: DUP4 00001b2f: DUP4 00001b30: PUSH2 0x23bd 00001b33: JUMP 00001b34: JUMPDEST 00001b35: POP 00001b36: PUSH1 0x01 00001b38: PUSH1 0x01 00001b3a: PUSH1 0xa0 00001b3c: SHL 00001b3d: SUB 00001b3e: AND 00001b3f: PUSH0 00001b40: SWAP1 00001b41: DUP2 00001b42: MSTORE 00001b43: PUSH1 0x06 00001b45: SWAP1 00001b46: SWAP2 00001b47: ADD 00001b48: PUSH1 0x20 00001b4a: MSTORE 00001b4b: PUSH1 0x40 00001b4d: DUP2 00001b4e: KECCAK256 00001b4f: DUP1 00001b50: SLOAD 00001b51: SWAP2 00001b52: SWAP1 00001b53: SSTORE 00001b54: SWAP1 00001b55: JUMP 00001b56: JUMPDEST 00001b57: PUSH1 0x40 00001b59: MLOAD 00001b5a: PUSH1 0x01 00001b5c: PUSH1 0x01 00001b5e: PUSH1 0xa0 00001b60: SHL 00001b61: SUB 00001b62: DUP4 00001b63: DUP2 00001b64: AND 00001b65: PUSH1 0x24 00001b67: DUP4 00001b68: ADD 00001b69: MSTORE 00001b6a: PUSH1 0x44 00001b6c: DUP3 00001b6d: ADD 00001b6e: DUP4 00001b6f: SWAP1 00001b70: MSTORE 00001b71: PUSH2 0x0a6a 00001b74: SWAP2 00001b75: DUP6 00001b76: SWAP2 00001b77: DUP3 00001b78: AND 00001b79: SWAP1 00001b7a: PUSH4 0xa9059cbb 00001b7f: SWAP1 00001b80: PUSH1 0x64 00001b82: ADD 00001b83: PUSH2 0x1abb 00001b86: JUMP 00001b87: JUMPDEST 00001b88: PUSH0 00001b89: PUSH2 0x1b92 00001b8c: DUP4 00001b8d: DUP4 00001b8e: PUSH2 0x1110 00001b91: JUMP 00001b92: JUMPDEST 00001b93: PUSH2 0x1c0f 00001b96: JUMPI 00001b97: PUSH0 00001b98: DUP4 00001b99: DUP2 00001b9a: MSTORE 00001b9b: PUSH1 0x20 00001b9d: DUP2 00001b9e: DUP2 00001b9f: MSTORE 00001ba0: PUSH1 0x40 00001ba2: DUP1 00001ba3: DUP4 00001ba4: KECCAK256 00001ba5: PUSH1 0x01 00001ba7: PUSH1 0x01 00001ba9: PUSH1 0xa0 00001bab: SHL 00001bac: SUB 00001bad: DUP7 00001bae: AND 00001baf: DUP5 00001bb0: MSTORE 00001bb1: SWAP1 00001bb2: SWAP2 00001bb3: MSTORE 00001bb4: SWAP1 00001bb5: KECCAK256 00001bb6: DUP1 00001bb7: SLOAD 00001bb8: PUSH1 0xff 00001bba: NOT 00001bbb: AND 00001bbc: PUSH1 0x01 00001bbe: OR 00001bbf: SWAP1 00001bc0: SSTORE 00001bc1: PUSH2 0x1bc7 00001bc4: CALLER 00001bc5: SWAP1 00001bc6: JUMP 00001bc7: JUMPDEST 00001bc8: PUSH1 0x01 00001bca: PUSH1 0x01 00001bcc: PUSH1 0xa0 00001bce: SHL 00001bcf: SUB 00001bd0: AND 00001bd1: DUP3 00001bd2: PUSH1 0x01 00001bd4: PUSH1 0x01 00001bd6: PUSH1 0xa0 00001bd8: SHL 00001bd9: SUB 00001bda: AND 00001bdb: DUP5 00001bdc: PUSH32 0x2f8788117e7eff1d82e926ec794901d17c78024a50270940304540a733656f0d 00001bfd: PUSH1 0x40 00001bff: MLOAD 00001c00: PUSH1 0x40 00001c02: MLOAD 00001c03: DUP1 00001c04: SWAP2 00001c05: SUB 00001c06: SWAP1 00001c07: LOG4 00001c08: POP 00001c09: PUSH1 0x01 00001c0b: PUSH2 0x070c 00001c0e: JUMP 00001c0f: JUMPDEST 00001c10: POP 00001c11: PUSH0 00001c12: PUSH2 0x070c 00001c15: JUMP 00001c16: JUMPDEST 00001c17: PUSH0 00001c18: PUSH2 0x1c21 00001c1b: DUP4 00001c1c: DUP4 00001c1d: PUSH2 0x1110 00001c20: JUMP 00001c21: JUMPDEST 00001c22: ISZERO 00001c23: PUSH2 0x1c0f 00001c26: JUMPI 00001c27: PUSH0 00001c28: DUP4 00001c29: DUP2 00001c2a: MSTORE 00001c2b: PUSH1 0x20 00001c2d: DUP2 00001c2e: DUP2 00001c2f: MSTORE 00001c30: PUSH1 0x40 00001c32: DUP1 00001c33: DUP4 00001c34: KECCAK256 00001c35: PUSH1 0x01 00001c37: PUSH1 0x01 00001c39: PUSH1 0xa0 00001c3b: SHL 00001c3c: SUB 00001c3d: DUP7 00001c3e: AND 00001c3f: DUP1 00001c40: DUP6 00001c41: MSTORE 00001c42: SWAP3 00001c43: MSTORE 00001c44: DUP1 00001c45: DUP4 00001c46: KECCAK256 00001c47: DUP1 00001c48: SLOAD 00001c49: PUSH1 0xff 00001c4b: NOT 00001c4c: AND 00001c4d: SWAP1 00001c4e: SSTORE 00001c4f: MLOAD 00001c50: CALLER 00001c51: SWAP3 00001c52: DUP7 00001c53: SWAP2 00001c54: PUSH32 0xf6391f5c32d9c69d2a47ea670b442974b53935d1edc7fd64eb21e047a839171b 00001c75: SWAP2 00001c76: SWAP1 00001c77: LOG4 00001c78: POP 00001c79: PUSH1 0x01 00001c7b: PUSH2 0x070c 00001c7e: JUMP 00001c7f: JUMPDEST 00001c80: PUSH1 0x01 00001c82: PUSH1 0x01 00001c84: PUSH1 0xa0 00001c86: SHL 00001c87: SUB 00001c88: DUP1 00001c89: DUP5 00001c8a: AND 00001c8b: PUSH0 00001c8c: DUP2 00001c8d: DUP2 00001c8e: MSTORE 00001c8f: PUSH1 0x04 00001c91: PUSH1 0x20 00001c93: SWAP1 00001c94: DUP2 00001c95: MSTORE 00001c96: PUSH1 0x40 00001c98: DUP1 00001c99: DUP4 00001c9a: KECCAK256 00001c9b: DUP8 00001c9c: DUP5 00001c9d: MSTORE 00001c9e: DUP3 00001c9f: MSTORE 00001ca0: DUP1 00001ca1: DUP4 00001ca2: KECCAK256 00001ca3: SWAP5 00001ca4: DUP7 00001ca5: AND 00001ca6: DUP1 00001ca7: DUP5 00001ca8: MSTORE 00001ca9: PUSH1 0x05 00001cab: SWAP1 00001cac: SWAP6 00001cad: ADD 00001cae: DUP3 00001caf: MSTORE 00001cb0: DUP1 00001cb1: DUP4 00001cb2: KECCAK256 00001cb3: SLOAD 00001cb4: SWAP4 00001cb5: DUP4 00001cb6: MSTORE 00001cb7: PUSH1 0x06 00001cb9: DUP3 00001cba: MSTORE 00001cbb: DUP1 00001cbc: DUP4 00001cbd: KECCAK256 00001cbe: DUP8 00001cbf: DUP5 00001cc0: MSTORE 00001cc1: DUP3 00001cc2: MSTORE 00001cc3: DUP1 00001cc4: DUP4 00001cc5: KECCAK256 00001cc6: SWAP5 00001cc7: DUP4 00001cc8: MSTORE 00001cc9: SWAP4 00001cca: SWAP1 00001ccb: MSTORE 00001ccc: SWAP2 00001ccd: DUP3 00001cce: KECCAK256 00001ccf: SLOAD 00001cd0: DUP1 00001cd1: DUP3 00001cd2: GT 00001cd3: PUSH2 0x1cdc 00001cd6: JUMPI 00001cd7: PUSH0 00001cd8: PUSH2 0x0d7a 00001cdb: JUMP 00001cdc: JUMPDEST 00001cdd: PUSH2 0x0d7a 00001ce0: DUP2 00001ce1: DUP4 00001ce2: PUSH2 0x292c 00001ce5: JUMP 00001ce6: JUMPDEST 00001ce7: PUSH2 0x1cf0 00001cea: DUP5 00001ceb: DUP5 00001cec: PUSH2 0x23bd 00001cef: JUMP 00001cf0: JUMPDEST 00001cf1: PUSH2 0x1cfa 00001cf4: DUP5 00001cf5: DUP4 00001cf6: PUSH2 0x23bd 00001cf9: JUMP 00001cfa: JUMPDEST 00001cfb: PUSH1 0x01 00001cfd: PUSH1 0x01 00001cff: PUSH1 0xa0 00001d01: SHL 00001d02: SUB 00001d03: DUP4 00001d04: AND 00001d05: PUSH0 00001d06: SWAP1 00001d07: DUP2 00001d08: MSTORE 00001d09: PUSH1 0x05 00001d0b: DUP6 00001d0c: ADD 00001d0d: PUSH1 0x20 00001d0f: MSTORE 00001d10: PUSH1 0x40 00001d12: DUP2 00001d13: KECCAK256 00001d14: DUP1 00001d15: SLOAD 00001d16: DUP4 00001d17: SWAP3 00001d18: SWAP1 00001d19: PUSH2 0x1d23 00001d1c: SWAP1 00001d1d: DUP5 00001d1e: SWAP1 00001d1f: PUSH2 0x292c 00001d22: JUMP 00001d23: JUMPDEST 00001d24: SWAP1 00001d25: SWAP2 00001d26: SSTORE 00001d27: POP 00001d28: POP 00001d29: PUSH1 0x01 00001d2b: PUSH1 0x01 00001d2d: PUSH1 0xa0 00001d2f: SHL 00001d30: SUB 00001d31: DUP3 00001d32: AND 00001d33: PUSH0 00001d34: SWAP1 00001d35: DUP2 00001d36: MSTORE 00001d37: PUSH1 0x05 00001d39: DUP6 00001d3a: ADD 00001d3b: PUSH1 0x20 00001d3d: MSTORE 00001d3e: PUSH1 0x40 00001d40: DUP2 00001d41: KECCAK256 00001d42: DUP1 00001d43: SLOAD 00001d44: DUP4 00001d45: SWAP3 00001d46: SWAP1 00001d47: PUSH2 0x1d51 00001d4a: SWAP1 00001d4b: DUP5 00001d4c: SWAP1 00001d4d: PUSH2 0x29a4 00001d50: JUMP 00001d51: JUMPDEST 00001d52: SWAP1 00001d53: SWAP2 00001d54: SSTORE 00001d55: POP 00001d56: POP 00001d57: POP 00001d58: POP 00001d59: POP 00001d5a: POP 00001d5b: JUMP 00001d5c: JUMPDEST 00001d5d: PUSH0 00001d5e: DUP2 00001d5f: PUSH1 0x03 00001d61: ADD 00001d62: SLOAD 00001d63: PUSH0 00001d64: SUB 00001d65: PUSH2 0x1d6f 00001d68: JUMPI 00001d69: POP 00001d6a: PUSH0 00001d6b: SWAP2 00001d6c: SWAP1 00001d6d: POP 00001d6e: JUMP 00001d6f: JUMPDEST 00001d70: PUSH0 00001d71: DUP3 00001d72: PUSH1 0x03 00001d74: ADD 00001d75: SLOAD 00001d76: TIMESTAMP 00001d77: PUSH2 0x1d80 00001d7a: SWAP2 00001d7b: SWAP1 00001d7c: PUSH2 0x292c 00001d7f: JUMP 00001d80: JUMPDEST 00001d81: PUSH1 0x04 00001d83: DUP5 00001d84: ADD 00001d85: SLOAD 00001d86: SWAP1 00001d87: SWAP2 00001d88: POP 00001d89: PUSH0 00001d8a: DUP2 00001d8b: DUP4 00001d8c: GT 00001d8d: PUSH2 0x1db9 00001d90: JUMPI 00001d91: DUP2 00001d92: PUSH2 0x1d9b 00001d95: DUP5 00001d96: DUP3 00001d97: PUSH2 0x292c 00001d9a: JUMP 00001d9b: JUMPDEST 00001d9c: DUP7 00001d9d: PUSH1 0x02 00001d9f: ADD 00001da0: SLOAD 00001da1: PUSH2 0x1daa 00001da4: SWAP2 00001da5: SWAP1 00001da6: PUSH2 0x298d 00001da9: JUMP 00001daa: JUMPDEST 00001dab: PUSH2 0x1db4 00001dae: SWAP2 00001daf: SWAP1 00001db0: PUSH2 0x29ea 00001db3: JUMP 00001db4: JUMPDEST 00001db5: PUSH2 0x1dbb 00001db8: JUMP 00001db9: JUMPDEST 00001dba: PUSH0 00001dbb: JUMPDEST 00001dbc: DUP6 00001dbd: SLOAD 00001dbe: SWAP1 00001dbf: SWAP2 00001dc0: POP 00001dc1: PUSH2 0x1dcb 00001dc4: SWAP1 00001dc5: DUP3 00001dc6: SWAP1 00001dc7: PUSH2 0x292c 00001dca: JUMP 00001dcb: JUMPDEST 00001dcc: SWAP6 00001dcd: SWAP5 00001dce: POP 00001dcf: POP 00001dd0: POP 00001dd1: POP 00001dd2: POP 00001dd3: JUMP 00001dd4: JUMPDEST 00001dd5: PUSH1 0x03 00001dd7: SLOAD 00001dd8: PUSH1 0x40 00001dda: MLOAD 00001ddb: PUSH4 0x57f1915d 00001de0: PUSH1 0xe0 00001de2: SHL 00001de3: DUP2 00001de4: MSTORE 00001de5: PUSH1 0x01 00001de7: PUSH1 0x01 00001de9: PUSH1 0xa0 00001deb: SHL 00001dec: SUB 00001ded: PUSH32 0x0000000000000000000000002e44f3f609ff5aa4819b323fd74690f07c3607c4 00001e0e: DUP2 00001e0f: AND 00001e10: PUSH1 0x04 00001e12: DUP4 00001e13: ADD 00001e14: MSTORE 00001e15: PUSH1 0x24 00001e17: DUP3 00001e18: ADD 00001e19: DUP6 00001e1a: SWAP1 00001e1b: MSTORE 00001e1c: PUSH0 00001e1d: SWAP3 00001e1e: DUP4 00001e1f: SWAP3 00001e20: SWAP2 00001e21: AND 00001e22: SWAP1 00001e23: PUSH4 0x57f1915d 00001e28: SWAP1 00001e29: PUSH1 0x44 00001e2b: ADD 00001e2c: PUSH1 0x20 00001e2e: PUSH1 0x40 00001e30: MLOAD 00001e31: DUP1 00001e32: DUP4 00001e33: SUB 00001e34: DUP2 00001e35: DUP7 00001e36: GAS 00001e37: STATICCALL 00001e38: ISZERO 00001e39: DUP1 00001e3a: ISZERO 00001e3b: PUSH2 0x1e46 00001e3e: JUMPI 00001e3f: RETURNDATASIZE 00001e40: PUSH0 00001e41: PUSH0 00001e42: RETURNDATACOPY 00001e43: RETURNDATASIZE 00001e44: PUSH0 00001e45: REVERT 00001e46: JUMPDEST 00001e47: POP 00001e48: POP 00001e49: POP 00001e4a: POP 00001e4b: PUSH1 0x40 00001e4d: MLOAD 00001e4e: RETURNDATASIZE 00001e4f: PUSH1 0x1f 00001e51: NOT 00001e52: PUSH1 0x1f 00001e54: DUP3 00001e55: ADD 00001e56: AND 00001e57: DUP3 00001e58: ADD 00001e59: DUP1 00001e5a: PUSH1 0x40 00001e5c: MSTORE 00001e5d: POP 00001e5e: DUP2 00001e5f: ADD 00001e60: SWAP1 00001e61: PUSH2 0x1e6a 00001e64: SWAP2 00001e65: SWAP1 00001e66: PUSH2 0x2976 00001e69: JUMP 00001e6a: JUMPDEST 00001e6b: SWAP2 00001e6c: POP 00001e6d: PUSH2 0x2710 00001e70: PUSH2 0x1e79 00001e73: DUP5 00001e74: DUP5 00001e75: PUSH2 0x298d 00001e78: JUMP 00001e79: JUMPDEST 00001e7a: PUSH2 0x1e83 00001e7d: SWAP2 00001e7e: SWAP1 00001e7f: PUSH2 0x29ea 00001e82: JUMP 00001e83: JUMPDEST 00001e84: SWAP1 00001e85: POP 00001e86: SWAP3 00001e87: POP 00001e88: SWAP3 00001e89: SWAP1 00001e8a: POP 00001e8b: JUMP 00001e8c: JUMPDEST 00001e8d: PUSH0 00001e8e: DUP3 00001e8f: GT 00001e90: PUSH2 0x1eac 00001e93: JUMPI 00001e94: PUSH1 0x40 00001e96: MLOAD 00001e97: PUSH4 0x1410107b 00001e9c: PUSH1 0xe3 00001e9e: SHL 00001e9f: DUP2 00001ea0: MSTORE 00001ea1: PUSH1 0x04 00001ea3: ADD 00001ea4: PUSH1 0x40 00001ea6: MLOAD 00001ea7: DUP1 00001ea8: SWAP2 00001ea9: SUB 00001eaa: SWAP1 00001eab: REVERT 00001eac: JUMPDEST 00001ead: PUSH1 0x96 00001eaf: DUP3 00001eb0: LT 00001eb1: PUSH2 0x1ecd 00001eb4: JUMPI 00001eb5: PUSH1 0x40 00001eb7: MLOAD 00001eb8: PUSH4 0x9ca294f5 00001ebd: PUSH1 0xe0 00001ebf: SHL 00001ec0: DUP2 00001ec1: MSTORE 00001ec2: PUSH1 0x04 00001ec4: ADD 00001ec5: PUSH1 0x40 00001ec7: MLOAD 00001ec8: DUP1 00001ec9: SWAP2 00001eca: SUB 00001ecb: SWAP1 00001ecc: REVERT 00001ecd: JUMPDEST 00001ece: PUSH2 0x1ed7 00001ed1: DUP4 00001ed2: DUP3 00001ed3: PUSH2 0x23bd 00001ed6: JUMP 00001ed7: JUMPDEST 00001ed8: PUSH1 0x01 00001eda: PUSH1 0x01 00001edc: PUSH1 0xa0 00001ede: SHL 00001edf: SUB 00001ee0: DUP2 00001ee1: AND 00001ee2: PUSH0 00001ee3: SWAP1 00001ee4: DUP2 00001ee5: MSTORE 00001ee6: PUSH1 0x05 00001ee8: DUP5 00001ee9: ADD 00001eea: PUSH1 0x20 00001eec: MSTORE 00001eed: PUSH1 0x40 00001eef: DUP2 00001ef0: KECCAK256 00001ef1: DUP1 00001ef2: SLOAD 00001ef3: DUP5 00001ef4: SWAP3 00001ef5: SWAP1 00001ef6: PUSH2 0x1f00 00001ef9: SWAP1 00001efa: DUP5 00001efb: SWAP1 00001efc: PUSH2 0x29a4 00001eff: JUMP 00001f00: JUMPDEST 00001f01: SWAP1 00001f02: SWAP2 00001f03: SSTORE 00001f04: POP 00001f05: POP 00001f06: POP 00001f07: PUSH1 0x01 00001f09: SWAP1 00001f0a: SWAP2 00001f0b: ADD 00001f0c: SSTORE 00001f0d: JUMP 00001f0e: JUMPDEST 00001f0f: PUSH1 0x40 00001f11: DUP1 00001f12: MLOAD 00001f13: PUSH1 0x01 00001f15: PUSH1 0x01 00001f17: PUSH1 0xa0 00001f19: SHL 00001f1a: SUB 00001f1b: DUP8 00001f1c: AND 00001f1d: PUSH1 0x20 00001f1f: DUP3 00001f20: ADD 00001f21: MSTORE 00001f22: SWAP1 00001f23: DUP2 00001f24: ADD 00001f25: DUP6 00001f26: SWAP1 00001f27: MSTORE 00001f28: CALLER 00001f29: PUSH1 0x60 00001f2b: DUP3 00001f2c: ADD 00001f2d: MSTORE 00001f2e: PUSH1 0x80 00001f30: DUP2 00001f31: ADD 00001f32: DUP5 00001f33: SWAP1 00001f34: MSTORE 00001f35: PUSH1 0xa0 00001f37: DUP2 00001f38: ADD 00001f39: DUP4 00001f3a: SWAP1 00001f3b: MSTORE 00001f3c: PUSH1 0xc0 00001f3e: DUP2 00001f3f: ADD 00001f40: DUP3 00001f41: SWAP1 00001f42: MSTORE 00001f43: NUMBER 00001f44: PUSH1 0xe0 00001f46: DUP3 00001f47: ADD 00001f48: MSTORE 00001f49: PUSH0 00001f4a: SWAP1 00001f4b: PUSH2 0x0100 00001f4e: ADD 00001f4f: PUSH1 0x40 00001f51: MLOAD 00001f52: PUSH1 0x20 00001f54: DUP2 00001f55: DUP4 00001f56: SUB 00001f57: SUB 00001f58: DUP2 00001f59: MSTORE 00001f5a: SWAP1 00001f5b: PUSH1 0x40 00001f5d: MSTORE 00001f5e: DUP1 00001f5f: MLOAD 00001f60: SWAP1 00001f61: PUSH1 0x20 00001f63: ADD 00001f64: KECCAK256 00001f65: SWAP1 00001f66: POP 00001f67: PUSH0 00001f68: DUP5 00001f69: GT 00001f6a: PUSH2 0x1f86 00001f6d: JUMPI 00001f6e: PUSH1 0x40 00001f70: MLOAD 00001f71: PUSH4 0x129f6bd1 00001f76: PUSH1 0xe3 00001f78: SHL 00001f79: DUP2 00001f7a: MSTORE 00001f7b: PUSH1 0x04 00001f7d: ADD 00001f7e: PUSH1 0x40 00001f80: MLOAD 00001f81: DUP1 00001f82: SWAP2 00001f83: SUB 00001f84: SWAP1 00001f85: REVERT 00001f86: JUMPDEST 00001f87: TIMESTAMP 00001f88: DUP3 00001f89: GT 00001f8a: PUSH2 0x1fa6 00001f8d: JUMPI 00001f8e: PUSH1 0x40 00001f90: MLOAD 00001f91: PUSH4 0x2a6d1199 00001f96: PUSH1 0xe0 00001f98: SHL 00001f99: DUP2 00001f9a: MSTORE 00001f9b: PUSH1 0x04 00001f9d: ADD 00001f9e: PUSH1 0x40 00001fa0: MLOAD 00001fa1: DUP1 00001fa2: SWAP2 00001fa3: SUB 00001fa4: SWAP1 00001fa5: REVERT 00001fa6: JUMPDEST 00001fa7: PUSH0 00001fa8: DUP4 00001fa9: GT 00001faa: PUSH2 0x1fc6 00001fad: JUMPI 00001fae: PUSH1 0x40 00001fb0: MLOAD 00001fb1: PUSH4 0x66d7713f 00001fb6: PUSH1 0xe0 00001fb8: SHL 00001fb9: DUP2 00001fba: MSTORE 00001fbb: PUSH1 0x04 00001fbd: ADD 00001fbe: PUSH1 0x40 00001fc0: MLOAD 00001fc1: DUP1 00001fc2: SWAP2 00001fc3: SUB 00001fc4: SWAP1 00001fc5: REVERT 00001fc6: JUMPDEST 00001fc7: PUSH0 00001fc8: DUP2 00001fc9: DUP2 00001fca: MSTORE 00001fcb: PUSH1 0x05 00001fcd: PUSH1 0x20 00001fcf: MSTORE 00001fd0: PUSH1 0x40 00001fd2: SWAP1 00001fd3: KECCAK256 00001fd4: PUSH1 0x02 00001fd6: ADD 00001fd7: SLOAD 00001fd8: PUSH1 0x01 00001fda: PUSH1 0x01 00001fdc: PUSH1 0xa0 00001fde: SHL 00001fdf: SUB 00001fe0: AND 00001fe1: ISZERO 00001fe2: PUSH2 0x1ffe 00001fe5: JUMPI 00001fe6: PUSH1 0x40 00001fe8: MLOAD 00001fe9: PUSH4 0x34f05e0f 00001fee: PUSH1 0xe2 00001ff0: SHL 00001ff1: DUP2 00001ff2: MSTORE 00001ff3: PUSH1 0x04 00001ff5: ADD 00001ff6: PUSH1 0x40 00001ff8: MLOAD 00001ff9: DUP1 00001ffa: SWAP2 00001ffb: SUB 00001ffc: SWAP1 00001ffd: REVERT 00001ffe: JUMPDEST 00001fff: PUSH2 0x2009 00002002: DUP7 00002003: DUP7 00002004: CALLER 00002005: PUSH2 0x1c7f 00002008: JUMP 00002009: JUMPDEST 0000200a: DUP5 0000200b: GT 0000200c: ISZERO 0000200d: PUSH2 0x2029 00002010: JUMPI 00002011: PUSH1 0x40 00002013: MLOAD 00002014: PUSH4 0xa2cd942d 00002019: PUSH1 0xe0 0000201b: SHL 0000201c: DUP2 0000201d: MSTORE 0000201e: PUSH1 0x04 00002020: ADD 00002021: PUSH1 0x40 00002023: MLOAD 00002024: DUP1 00002025: SWAP2 00002026: SUB 00002027: SWAP1 00002028: REVERT 00002029: JUMPDEST 0000202a: PUSH1 0x40 0000202c: DUP1 0000202d: MLOAD 0000202e: PUSH1 0xc0 00002030: DUP2 00002031: ADD 00002032: DUP3 00002033: MSTORE 00002034: PUSH1 0x01 00002036: PUSH1 0x01 00002038: PUSH1 0xa0 0000203a: SHL 0000203b: SUB 0000203c: DUP1 0000203d: DUP10 0000203e: AND 0000203f: DUP1 00002040: DUP4 00002041: MSTORE 00002042: PUSH1 0x20 00002044: DUP1 00002045: DUP5 00002046: ADD 00002047: DUP11 00002048: DUP2 00002049: MSTORE 0000204a: CALLER 0000204b: DUP6 0000204c: DUP8 0000204d: ADD 0000204e: DUP2 0000204f: DUP2 00002050: MSTORE 00002051: PUSH1 0x60 00002053: DUP8 00002054: ADD 00002055: DUP13 00002056: DUP2 00002057: MSTORE 00002058: PUSH1 0x80 0000205a: DUP9 0000205b: ADD 0000205c: DUP13 0000205d: DUP2 0000205e: MSTORE 0000205f: PUSH1 0xa0 00002061: DUP10 00002062: ADD 00002063: DUP13 00002064: DUP2 00002065: MSTORE 00002066: PUSH0 00002067: DUP13 00002068: DUP2 00002069: MSTORE 0000206a: PUSH1 0x05 0000206c: DUP1 0000206d: DUP10 0000206e: MSTORE 0000206f: DUP13 00002070: DUP3 00002071: KECCAK256 00002072: SWAP12 00002073: MLOAD 00002074: DUP13 00002075: SLOAD 00002076: SWAP1 00002077: DUP13 00002078: AND 00002079: PUSH1 0x01 0000207b: PUSH1 0x01 0000207d: PUSH1 0xa0 0000207f: SHL 00002080: SUB 00002081: NOT 00002082: SWAP2 00002083: DUP3 00002084: AND 00002085: OR 00002086: DUP14 00002087: SSTORE 00002088: SWAP8 00002089: MLOAD 0000208a: PUSH1 0x01 0000208c: DUP14 0000208d: ADD 0000208e: SSTORE 0000208f: SWAP5 00002090: MLOAD 00002091: PUSH1 0x02 00002093: DUP13 00002094: ADD 00002095: DUP1 00002096: SLOAD 00002097: SWAP2 00002098: SWAP1 00002099: SWAP12 0000209a: AND 0000209b: SWAP8 0000209c: AND 0000209d: SWAP7 0000209e: SWAP1 0000209f: SWAP7 000020a0: OR 000020a1: SWAP1 000020a2: SWAP9 000020a3: SSTORE 000020a4: SWAP1 000020a5: MLOAD 000020a6: PUSH1 0x03 000020a8: DUP10 000020a9: ADD 000020aa: SSTORE 000020ab: MLOAD 000020ac: PUSH1 0x04 000020ae: DUP9 000020af: ADD 000020b0: SSTORE 000020b1: SWAP5 000020b2: MLOAD 000020b3: SWAP6 000020b4: SWAP1 000020b5: SWAP5 000020b6: ADD 000020b7: SWAP5 000020b8: SWAP1 000020b9: SWAP5 000020ba: SSTORE 000020bb: SWAP1 000020bc: DUP4 000020bd: MSTORE 000020be: PUSH1 0x06 000020c0: DUP2 000020c1: MSTORE 000020c2: DUP4 000020c3: DUP4 000020c4: KECCAK256 000020c5: DUP10 000020c6: DUP5 000020c7: MSTORE 000020c8: DUP2 000020c9: MSTORE 000020ca: DUP4 000020cb: DUP4 000020cc: KECCAK256 000020cd: SWAP2 000020ce: DUP4 000020cf: MSTORE 000020d0: MSTORE 000020d1: SWAP1 000020d2: DUP2 000020d3: KECCAK256 000020d4: DUP1 000020d5: SLOAD 000020d6: DUP7 000020d7: SWAP3 000020d8: SWAP1 000020d9: PUSH2 0x20e3 000020dc: SWAP1 000020dd: DUP5 000020de: SWAP1 000020df: PUSH2 0x29a4 000020e2: JUMP 000020e3: JUMPDEST 000020e4: SWAP1 000020e5: SWAP2 000020e6: SSTORE 000020e7: POP 000020e8: POP 000020e9: PUSH1 0x40 000020eb: DUP1 000020ec: MLOAD 000020ed: PUSH1 0x01 000020ef: PUSH1 0x01 000020f1: PUSH1 0xa0 000020f3: SHL 000020f4: SUB 000020f5: DUP9 000020f6: AND 000020f7: DUP2 000020f8: MSTORE 000020f9: PUSH1 0x20 000020fb: DUP2 000020fc: ADD 000020fd: DUP7 000020fe: SWAP1 000020ff: MSTORE 00002100: SWAP1 00002101: DUP2 00002102: ADD 00002103: DUP5 00002104: SWAP1 00002105: MSTORE 00002106: PUSH1 0x60 00002108: DUP2 00002109: ADD 0000210a: DUP4 0000210b: SWAP1 0000210c: MSTORE 0000210d: DUP6 0000210e: SWAP1 0000210f: CALLER 00002110: SWAP1 00002111: DUP4 00002112: SWAP1 00002113: PUSH32 0x211be1b00d760b08c7a624160b3c87d846267c5a1241f2cbc91d3df9e41ce4e5 00002134: SWAP1 00002135: PUSH1 0x80 00002137: ADD 00002138: PUSH1 0x40 0000213a: MLOAD 0000213b: DUP1 0000213c: SWAP2 0000213d: SUB 0000213e: SWAP1 0000213f: LOG4 00002140: SWAP6 00002141: SWAP5 00002142: POP 00002143: POP 00002144: POP 00002145: POP 00002146: POP 00002147: JUMP 00002148: JUMPDEST 00002149: DUP1 0000214a: PUSH0 0000214b: SUB 0000214c: PUSH2 0x2168 0000214f: JUMPI 00002150: PUSH1 0x40 00002152: MLOAD 00002153: PUSH4 0x129f6bd1 00002158: PUSH1 0xe3 0000215a: SHL 0000215b: DUP2 0000215c: MSTORE 0000215d: PUSH1 0x04 0000215f: ADD 00002160: PUSH1 0x40 00002162: MLOAD 00002163: DUP1 00002164: SWAP2 00002165: SUB 00002166: SWAP1 00002167: REVERT 00002168: JUMPDEST 00002169: PUSH1 0x01 0000216b: PUSH1 0x01 0000216d: PUSH1 0xa0 0000216f: SHL 00002170: SUB 00002171: DUP4 00002172: AND 00002173: PUSH0 00002174: SWAP1 00002175: DUP2 00002176: MSTORE 00002177: PUSH1 0x04 00002179: PUSH1 0x20 0000217b: SWAP1 0000217c: DUP2 0000217d: MSTORE 0000217e: PUSH1 0x40 00002180: DUP1 00002181: DUP4 00002182: KECCAK256 00002183: DUP6 00002184: DUP5 00002185: MSTORE 00002186: SWAP1 00002187: SWAP2 00002188: MSTORE 00002189: SWAP1 0000218a: KECCAK256 0000218b: PUSH1 0x01 0000218d: ADD 0000218e: SLOAD 0000218f: PUSH2 0x21ab 00002192: JUMPI 00002193: PUSH1 0x40 00002195: MLOAD 00002196: PUSH4 0xa3bd9445 0000219b: PUSH1 0xe0 0000219d: SHL 0000219e: DUP2 0000219f: MSTORE 000021a0: PUSH1 0x04 000021a2: ADD 000021a3: PUSH1 0x40 000021a5: MLOAD 000021a6: DUP1 000021a7: SWAP2 000021a8: SUB 000021a9: SWAP1 000021aa: REVERT 000021ab: JUMPDEST 000021ac: PUSH1 0x01 000021ae: PUSH1 0x01 000021b0: PUSH1 0xa0 000021b2: SHL 000021b3: SUB 000021b4: DUP4 000021b5: AND 000021b6: PUSH0 000021b7: SWAP1 000021b8: DUP2 000021b9: MSTORE 000021ba: PUSH1 0x04 000021bc: PUSH1 0x20 000021be: SWAP1 000021bf: DUP2 000021c0: MSTORE 000021c1: PUSH1 0x40 000021c3: DUP1 000021c4: DUP4 000021c5: KECCAK256 000021c6: DUP6 000021c7: DUP5 000021c8: MSTORE 000021c9: SWAP1 000021ca: SWAP2 000021cb: MSTORE 000021cc: SWAP1 000021cd: KECCAK256 000021ce: PUSH2 0x21ed 000021d1: SWAP1 000021d2: PUSH20 0xaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa 000021e7: CALLER 000021e8: DUP5 000021e9: PUSH2 0x1ce6 000021ec: JUMP 000021ed: JUMPDEST 000021ee: PUSH1 0x40 000021f0: DUP1 000021f1: MLOAD 000021f2: DUP3 000021f3: DUP2 000021f4: MSTORE 000021f5: CALLER 000021f6: PUSH1 0x20 000021f8: DUP3 000021f9: ADD 000021fa: MSTORE 000021fb: DUP4 000021fc: SWAP2 000021fd: PUSH1 0x01 000021ff: PUSH1 0x01 00002201: PUSH1 0xa0 00002203: SHL 00002204: SUB 00002205: DUP7 00002206: AND 00002207: SWAP2 00002208: PUSH32 0x09c077d55485b153863a57acdf9af51a2f97ad358d28218fed0f7e235e391eb8 00002229: SWAP2 0000222a: ADD 0000222b: PUSH1 0x40 0000222d: MLOAD 0000222e: DUP1 0000222f: SWAP2 00002230: SUB 00002231: SWAP1 00002232: LOG3 00002233: PUSH1 0x40 00002235: MLOAD 00002236: PUSH4 0x79212195 0000223b: PUSH1 0xe1 0000223d: SHL 0000223e: DUP2 0000223f: MSTORE 00002240: PUSH1 0x01 00002242: PUSH1 0x01 00002244: PUSH1 0xa0 00002246: SHL 00002247: SUB 00002248: DUP5 00002249: AND 0000224a: SWAP1 0000224b: PUSH4 0xf242432a 00002250: SWAP1 00002251: PUSH2 0x2264 00002254: SWAP1 00002255: CALLER 00002256: SWAP1 00002257: ADDRESS 00002258: SWAP1 00002259: DUP8 0000225a: SWAP1 0000225b: DUP8 0000225c: SWAP1 0000225d: PUSH1 0x04 0000225f: ADD 00002260: PUSH2 0x293f 00002263: JUMP 00002264: JUMPDEST 00002265: PUSH0 00002266: PUSH1 0x40 00002268: MLOAD 00002269: DUP1 0000226a: DUP4 0000226b: SUB 0000226c: DUP2 0000226d: PUSH0 0000226e: DUP8 0000226f: DUP1 00002270: EXTCODESIZE 00002271: ISZERO 00002272: DUP1 00002273: ISZERO 00002274: PUSH2 0x227b 00002277: JUMPI 00002278: PUSH0 00002279: PUSH0 0000227a: REVERT 0000227b: JUMPDEST 0000227c: POP 0000227d: GAS 0000227e: CALL 0000227f: ISZERO 00002280: DUP1 00002281: ISZERO 00002282: PUSH2 0x228d 00002285: JUMPI 00002286: RETURNDATASIZE 00002287: PUSH0 00002288: PUSH0 00002289: RETURNDATACOPY 0000228a: RETURNDATASIZE 0000228b: PUSH0 0000228c: REVERT 0000228d: JUMPDEST 0000228e: POP 0000228f: POP 00002290: POP 00002291: POP 00002292: POP 00002293: POP 00002294: POP 00002295: JUMP 00002296: JUMPDEST 00002297: PUSH2 0x22a0 0000229a: DUP3 0000229b: DUP3 0000229c: PUSH2 0x1110 0000229f: JUMP 000022a0: JUMPDEST 000022a1: PUSH2 0x22d4 000022a4: JUMPI 000022a5: PUSH1 0x40 000022a7: MLOAD 000022a8: PUSH4 0xe2517d3f 000022ad: PUSH1 0xe0 000022af: SHL 000022b0: DUP2 000022b1: MSTORE 000022b2: PUSH1 0x01 000022b4: PUSH1 0x01 000022b6: PUSH1 0xa0 000022b8: SHL 000022b9: SUB 000022ba: DUP3 000022bb: AND 000022bc: PUSH1 0x04 000022be: DUP3 000022bf: ADD 000022c0: MSTORE 000022c1: PUSH1 0x24 000022c3: DUP2 000022c4: ADD 000022c5: DUP4 000022c6: SWAP1 000022c7: MSTORE 000022c8: PUSH1 0x44 000022ca: ADD 000022cb: JUMPDEST 000022cc: PUSH1 0x40 000022ce: MLOAD 000022cf: DUP1 000022d0: SWAP2 000022d1: SUB 000022d2: SWAP1 000022d3: REVERT 000022d4: JUMPDEST 000022d5: POP 000022d6: POP 000022d7: JUMP 000022d8: JUMPDEST 000022d9: PUSH0 000022da: DUP2 000022db: PUSH1 0x04 000022dd: ADD 000022de: SLOAD 000022df: DUP3 000022e0: PUSH1 0x03 000022e2: ADD 000022e3: SLOAD 000022e4: PUSH2 0x22ed 000022e7: SWAP2 000022e8: SWAP1 000022e9: PUSH2 0x29a4 000022ec: JUMP 000022ed: JUMPDEST 000022ee: TIMESTAMP 000022ef: GT 000022f0: SWAP3 000022f1: SWAP2 000022f2: POP 000022f3: POP 000022f4: JUMP 000022f5: JUMPDEST 000022f6: PUSH0 000022f7: PUSH0 000022f8: PUSH1 0x20 000022fa: PUSH0 000022fb: DUP5 000022fc: MLOAD 000022fd: PUSH1 0x20 000022ff: DUP7 00002300: ADD 00002301: PUSH0 00002302: DUP9 00002303: GAS 00002304: CALL 00002305: DUP1 00002306: PUSH2 0x2314 00002309: JUMPI 0000230a: PUSH1 0x40 0000230c: MLOAD 0000230d: RETURNDATASIZE 0000230e: PUSH0 0000230f: DUP3 00002310: RETURNDATACOPY 00002311: RETURNDATASIZE 00002312: DUP2 00002313: REVERT 00002314: JUMPDEST 00002315: POP 00002316: POP 00002317: PUSH0 00002318: MLOAD 00002319: RETURNDATASIZE 0000231a: SWAP2 0000231b: POP 0000231c: DUP2 0000231d: ISZERO 0000231e: PUSH2 0x232b 00002321: JUMPI 00002322: DUP1 00002323: PUSH1 0x01 00002325: EQ 00002326: ISZERO 00002327: PUSH2 0x2338 0000232a: JUMP 0000232b: JUMPDEST 0000232c: PUSH1 0x01 0000232e: PUSH1 0x01 00002330: PUSH1 0xa0 00002332: SHL 00002333: SUB 00002334: DUP5 00002335: AND 00002336: EXTCODESIZE 00002337: ISZERO 00002338: JUMPDEST 00002339: ISZERO 0000233a: PUSH2 0x0a0d 0000233d: JUMPI 0000233e: PUSH1 0x40 00002340: MLOAD 00002341: PUSH4 0x5274afe7 00002346: PUSH1 0xe0 00002348: SHL 00002349: DUP2 0000234a: MSTORE 0000234b: PUSH1 0x01 0000234d: PUSH1 0x01 0000234f: PUSH1 0xa0 00002351: SHL 00002352: SUB 00002353: DUP6 00002354: AND 00002355: PUSH1 0x04 00002357: DUP3 00002358: ADD 00002359: MSTORE 0000235a: PUSH1 0x24 0000235c: ADD 0000235d: PUSH2 0x22cb 00002360: JUMP 00002361: JUMPDEST 00002362: PUSH1 0x01 00002364: PUSH1 0x01 00002366: PUSH1 0xa0 00002368: SHL 00002369: SUB 0000236a: DUP2 0000236b: AND 0000236c: PUSH0 0000236d: SWAP1 0000236e: DUP2 0000236f: MSTORE 00002370: PUSH1 0x07 00002372: DUP5 00002373: ADD 00002374: PUSH1 0x20 00002376: MSTORE 00002377: PUSH1 0x40 00002379: DUP2 0000237a: KECCAK256 0000237b: SLOAD 0000237c: PUSH8 0x0de0b6b3a7640000 00002385: SWAP1 00002386: PUSH2 0x238f 00002389: SWAP1 0000238a: DUP6 0000238b: PUSH2 0x292c 0000238e: JUMP 0000238f: JUMPDEST 00002390: PUSH1 0x01 00002392: PUSH1 0x01 00002394: PUSH1 0xa0 00002396: SHL 00002397: SUB 00002398: DUP5 00002399: AND 0000239a: PUSH0 0000239b: SWAP1 0000239c: DUP2 0000239d: MSTORE 0000239e: PUSH1 0x05 000023a0: DUP8 000023a1: ADD 000023a2: PUSH1 0x20 000023a4: MSTORE 000023a5: PUSH1 0x40 000023a7: SWAP1 000023a8: KECCAK256 000023a9: SLOAD 000023aa: PUSH2 0x23b3 000023ad: SWAP2 000023ae: SWAP1 000023af: PUSH2 0x298d 000023b2: JUMP 000023b3: JUMPDEST 000023b4: PUSH2 0x08c1 000023b7: SWAP2 000023b8: SWAP1 000023b9: PUSH2 0x29ea 000023bc: JUMP 000023bd: JUMPDEST 000023be: PUSH0 000023bf: PUSH2 0x23c7 000023c2: DUP4 000023c3: PUSH2 0x1d5c 000023c6: JUMP 000023c7: JUMPDEST 000023c8: SWAP1 000023c9: POP 000023ca: PUSH2 0x23d4 000023cd: DUP4 000023ce: DUP3 000023cf: DUP5 000023d0: PUSH2 0x2361 000023d3: JUMP 000023d4: JUMPDEST 000023d5: PUSH1 0x01 000023d7: PUSH1 0x01 000023d9: PUSH1 0xa0 000023db: SHL 000023dc: SUB 000023dd: DUP4 000023de: AND 000023df: PUSH0 000023e0: SWAP1 000023e1: DUP2 000023e2: MSTORE 000023e3: PUSH1 0x06 000023e5: DUP6 000023e6: ADD 000023e7: PUSH1 0x20 000023e9: MSTORE 000023ea: PUSH1 0x40 000023ec: DUP2 000023ed: KECCAK256 000023ee: DUP1 000023ef: SLOAD 000023f0: SWAP1 000023f1: SWAP2 000023f2: SWAP1 000023f3: PUSH2 0x23fd 000023f6: SWAP1 000023f7: DUP5 000023f8: SWAP1 000023f9: PUSH2 0x29a4 000023fc: JUMP 000023fd: JUMPDEST 000023fe: SWAP1 000023ff: SWAP2 00002400: SSTORE 00002401: POP 00002402: POP 00002403: PUSH1 0x01 00002405: PUSH1 0x01 00002407: PUSH1 0xa0 00002409: SHL 0000240a: SUB 0000240b: SWAP1 0000240c: SWAP2 0000240d: AND 0000240e: PUSH0 0000240f: SWAP1 00002410: DUP2 00002411: MSTORE 00002412: PUSH1 0x07 00002414: SWAP1 00002415: SWAP3 00002416: ADD 00002417: PUSH1 0x20 00002419: MSTORE 0000241a: PUSH1 0x40 0000241c: SWAP1 0000241d: SWAP2 0000241e: KECCAK256 0000241f: SSTORE 00002420: JUMP 00002421: JUMPDEST 00002422: PUSH0 00002423: PUSH1 0x20 00002425: DUP3 00002426: DUP5 00002427: SUB 00002428: SLT 00002429: ISZERO 0000242a: PUSH2 0x2431 0000242d: JUMPI 0000242e: PUSH0 0000242f: PUSH0 00002430: REVERT 00002431: JUMPDEST 00002432: DUP2 00002433: CALLDATALOAD 00002434: PUSH1 0x01 00002436: PUSH1 0x01 00002438: PUSH1 0xe0 0000243a: SHL 0000243b: SUB 0000243c: NOT 0000243d: DUP2 0000243e: AND 0000243f: DUP2 00002440: EQ 00002441: PUSH2 0x173f 00002444: JUMPI 00002445: PUSH0 00002446: PUSH0 00002447: REVERT 00002448: JUMPDEST 00002449: DUP1 0000244a: CALLDATALOAD 0000244b: PUSH1 0x01 0000244d: PUSH1 0x01 0000244f: PUSH1 0xa0 00002451: SHL 00002452: SUB 00002453: DUP2 00002454: AND 00002455: DUP2 00002456: EQ 00002457: PUSH2 0x245e 0000245a: JUMPI 0000245b: PUSH0 0000245c: PUSH0 0000245d: REVERT 0000245e: JUMPDEST 0000245f: SWAP2 00002460: SWAP1 00002461: POP 00002462: JUMP 00002463: JUMPDEST 00002464: PUSH0 00002465: PUSH0 00002466: PUSH0 00002467: PUSH0 00002468: PUSH1 0x80 0000246a: DUP6 0000246b: DUP8 0000246c: SUB 0000246d: SLT 0000246e: ISZERO 0000246f: PUSH2 0x2476 00002472: JUMPI 00002473: PUSH0 00002474: PUSH0 00002475: REVERT 00002476: JUMPDEST 00002477: PUSH2 0x247f 0000247a: DUP6 0000247b: PUSH2 0x2448 0000247e: JUMP 0000247f: JUMPDEST 00002480: SWAP7 00002481: PUSH1 0x20 00002483: DUP7 00002484: ADD 00002485: CALLDATALOAD 00002486: SWAP7 00002487: POP 00002488: PUSH1 0x40 0000248a: DUP7 0000248b: ADD 0000248c: CALLDATALOAD 0000248d: SWAP6 0000248e: PUSH1 0x60 00002490: ADD 00002491: CALLDATALOAD 00002492: SWAP5 00002493: POP 00002494: SWAP3 00002495: POP 00002496: POP 00002497: POP 00002498: JUMP 00002499: JUMPDEST 0000249a: PUSH0 0000249b: PUSH1 0x20 0000249d: DUP3 0000249e: DUP5 0000249f: SUB 000024a0: SLT 000024a1: ISZERO 000024a2: PUSH2 0x24a9 000024a5: JUMPI 000024a6: PUSH0 000024a7: PUSH0 000024a8: REVERT 000024a9: JUMPDEST 000024aa: POP 000024ab: CALLDATALOAD 000024ac: SWAP2 000024ad: SWAP1 000024ae: POP 000024af: JUMP 000024b0: JUMPDEST 000024b1: PUSH0 000024b2: PUSH0 000024b3: PUSH0 000024b4: PUSH1 0x60 000024b6: DUP5 000024b7: DUP7 000024b8: SUB 000024b9: SLT 000024ba: ISZERO 000024bb: PUSH2 0x24c2 000024be: JUMPI 000024bf: PUSH0 000024c0: PUSH0 000024c1: REVERT 000024c2: JUMPDEST 000024c3: PUSH2 0x24cb 000024c6: DUP5 000024c7: PUSH2 0x2448 000024ca: JUMP 000024cb: JUMPDEST 000024cc: SWAP3 000024cd: POP 000024ce: PUSH1 0x20 000024d0: DUP5 000024d1: ADD 000024d2: CALLDATALOAD 000024d3: SWAP2 000024d4: POP 000024d5: PUSH2 0x24e0 000024d8: PUSH1 0x40 000024da: DUP6 000024db: ADD 000024dc: PUSH2 0x2448 000024df: JUMP 000024e0: JUMPDEST 000024e1: SWAP1 000024e2: POP 000024e3: SWAP3 000024e4: POP 000024e5: SWAP3 000024e6: POP 000024e7: SWAP3 000024e8: JUMP 000024e9: JUMPDEST 000024ea: PUSH0 000024eb: PUSH0 000024ec: PUSH1 0x40 000024ee: DUP4 000024ef: DUP6 000024f0: SUB 000024f1: SLT 000024f2: ISZERO 000024f3: PUSH2 0x24fa 000024f6: JUMPI 000024f7: PUSH0 000024f8: PUSH0 000024f9: REVERT 000024fa: JUMPDEST 000024fb: DUP3 000024fc: CALLDATALOAD 000024fd: SWAP2 000024fe: POP 000024ff: PUSH2 0x1e83 00002502: PUSH1 0x20 00002504: DUP5 00002505: ADD 00002506: PUSH2 0x2448 00002509: JUMP 0000250a: JUMPDEST 0000250b: PUSH0 0000250c: PUSH0 0000250d: PUSH0 0000250e: PUSH0 0000250f: PUSH1 0x80 00002511: DUP6 00002512: DUP8 00002513: SUB 00002514: SLT 00002515: ISZERO 00002516: PUSH2 0x251d 00002519: JUMPI 0000251a: PUSH0 0000251b: PUSH0 0000251c: REVERT 0000251d: JUMPDEST 0000251e: PUSH2 0x2526 00002521: DUP6 00002522: PUSH2 0x2448 00002525: JUMP 00002526: JUMPDEST 00002527: SWAP4 00002528: POP 00002529: PUSH1 0x20 0000252b: DUP6 0000252c: ADD 0000252d: CALLDATALOAD 0000252e: SWAP3 0000252f: POP 00002530: PUSH1 0x40 00002532: DUP6 00002533: ADD 00002534: CALLDATALOAD 00002535: SWAP2 00002536: POP 00002537: PUSH2 0x2542 0000253a: PUSH1 0x60 0000253c: DUP7 0000253d: ADD 0000253e: PUSH2 0x2448 00002541: JUMP 00002542: JUMPDEST 00002543: SWAP1 00002544: POP 00002545: SWAP3 00002546: SWAP6 00002547: SWAP2 00002548: SWAP5 00002549: POP 0000254a: SWAP3 0000254b: POP 0000254c: JUMP 0000254d: JUMPDEST 0000254e: PUSH0 0000254f: PUSH0 00002550: PUSH1 0x40 00002552: DUP4 00002553: DUP6 00002554: SUB 00002555: SLT 00002556: ISZERO 00002557: PUSH2 0x255e 0000255a: JUMPI 0000255b: PUSH0 0000255c: PUSH0 0000255d: REVERT 0000255e: JUMPDEST 0000255f: PUSH2 0x2567 00002562: DUP4 00002563: PUSH2 0x2448 00002566: JUMP 00002567: JUMPDEST 00002568: SWAP2 00002569: POP 0000256a: PUSH2 0x1e83 0000256d: PUSH1 0x20 0000256f: DUP5 00002570: ADD 00002571: PUSH2 0x2448 00002574: JUMP 00002575: JUMPDEST 00002576: PUSH0 00002577: PUSH0 00002578: PUSH1 0x40 0000257a: DUP4 0000257b: DUP6 0000257c: SUB 0000257d: SLT 0000257e: ISZERO 0000257f: PUSH2 0x2586 00002582: JUMPI 00002583: PUSH0 00002584: PUSH0 00002585: REVERT 00002586: JUMPDEST 00002587: PUSH2 0x258f 0000258a: DUP4 0000258b: PUSH2 0x2448 0000258e: JUMP 0000258f: JUMPDEST 00002590: SWAP5 00002591: PUSH1 0x20 00002593: SWAP4 00002594: SWAP1 00002595: SWAP4 00002596: ADD 00002597: CALLDATALOAD 00002598: SWAP4 00002599: POP 0000259a: POP 0000259b: POP 0000259c: JUMP 0000259d: JUMPDEST 0000259e: PUSH0 0000259f: PUSH0 000025a0: PUSH1 0x40 000025a2: DUP4 000025a3: DUP6 000025a4: SUB 000025a5: SLT 000025a6: ISZERO 000025a7: PUSH2 0x25ae 000025aa: JUMPI 000025ab: PUSH0 000025ac: PUSH0 000025ad: REVERT 000025ae: JUMPDEST 000025af: POP 000025b0: POP 000025b1: DUP1 000025b2: CALLDATALOAD 000025b3: SWAP3 000025b4: PUSH1 0x20 000025b6: SWAP1 000025b7: SWAP2 000025b8: ADD 000025b9: CALLDATALOAD 000025ba: SWAP2 000025bb: POP 000025bc: JUMP 000025bd: JUMPDEST 000025be: PUSH0 000025bf: PUSH1 0x20 000025c1: DUP3 000025c2: DUP5 000025c3: SUB 000025c4: SLT 000025c5: ISZERO 000025c6: PUSH2 0x25cd 000025c9: JUMPI 000025ca: PUSH0 000025cb: PUSH0 000025cc: REVERT 000025cd: JUMPDEST 000025ce: PUSH2 0x173f 000025d1: DUP3 000025d2: PUSH2 0x2448 000025d5: JUMP 000025d6: JUMPDEST 000025d7: PUSH0 000025d8: PUSH0 000025d9: PUSH0 000025da: PUSH1 0x60 000025dc: DUP5 000025dd: DUP7 000025de: SUB 000025df: SLT 000025e0: ISZERO 000025e1: PUSH2 0x25e8 000025e4: JUMPI 000025e5: PUSH0 000025e6: PUSH0 000025e7: REVERT 000025e8: JUMPDEST 000025e9: POP 000025ea: POP 000025eb: DUP2 000025ec: CALLDATALOAD 000025ed: SWAP4 000025ee: PUSH1 0x20 000025f0: DUP4 000025f1: ADD 000025f2: CALLDATALOAD 000025f3: SWAP4 000025f4: POP 000025f5: PUSH1 0x40 000025f7: SWAP1 000025f8: SWAP3 000025f9: ADD 000025fa: CALLDATALOAD 000025fb: SWAP2 000025fc: SWAP1 000025fd: POP 000025fe: JUMP 000025ff: JUMPDEST 00002600: PUSH0 00002601: PUSH0 00002602: PUSH0 00002603: PUSH0 00002604: PUSH0 00002605: PUSH1 0xa0 00002607: DUP7 00002608: DUP9 00002609: SUB 0000260a: SLT 0000260b: ISZERO 0000260c: PUSH2 0x2613 0000260f: JUMPI 00002610: PUSH0 00002611: PUSH0 00002612: REVERT 00002613: JUMPDEST 00002614: PUSH2 0x261c 00002617: DUP7 00002618: PUSH2 0x2448 0000261b: JUMP 0000261c: JUMPDEST 0000261d: SWAP8 0000261e: PUSH1 0x20 00002620: DUP8 00002621: ADD 00002622: CALLDATALOAD 00002623: SWAP8 00002624: POP 00002625: PUSH1 0x40 00002627: DUP8 00002628: ADD 00002629: CALLDATALOAD 0000262a: SWAP7 0000262b: PUSH1 0x60 0000262d: DUP2 0000262e: ADD 0000262f: CALLDATALOAD 00002630: SWAP7 00002631: POP 00002632: PUSH1 0x80 00002634: ADD 00002635: CALLDATALOAD 00002636: SWAP5 00002637: POP 00002638: SWAP3 00002639: POP 0000263a: POP 0000263b: POP 0000263c: JUMP 0000263d: JUMPDEST 0000263e: PUSH4 0x4e487b71 00002643: PUSH1 0xe0 00002645: SHL 00002646: PUSH0 00002647: MSTORE 00002648: PUSH1 0x41 0000264a: PUSH1 0x04 0000264c: MSTORE 0000264d: PUSH1 0x24 0000264f: PUSH0 00002650: REVERT 00002651: JUMPDEST 00002652: PUSH1 0x40 00002654: MLOAD 00002655: PUSH1 0x1f 00002657: DUP3 00002658: ADD 00002659: PUSH1 0x1f 0000265b: NOT 0000265c: AND 0000265d: DUP2 0000265e: ADD 0000265f: PUSH8 0xffffffffffffffff 00002668: DUP2 00002669: GT 0000266a: DUP3 0000266b: DUP3 0000266c: LT 0000266d: OR 0000266e: ISZERO 0000266f: PUSH2 0x267a 00002672: JUMPI 00002673: PUSH2 0x267a 00002676: PUSH2 0x263d 00002679: JUMP 0000267a: JUMPDEST 0000267b: PUSH1 0x40 0000267d: MSTORE 0000267e: SWAP2 0000267f: SWAP1 00002680: POP 00002681: JUMP 00002682: JUMPDEST 00002683: PUSH0 00002684: DUP3 00002685: PUSH1 0x1f 00002687: DUP4 00002688: ADD 00002689: SLT 0000268a: PUSH2 0x2691 0000268d: JUMPI 0000268e: PUSH0 0000268f: PUSH0 00002690: REVERT 00002691: JUMPDEST 00002692: DUP2 00002693: CALLDATALOAD 00002694: PUSH8 0xffffffffffffffff 0000269d: DUP2 0000269e: GT 0000269f: ISZERO 000026a0: PUSH2 0x26ab 000026a3: JUMPI 000026a4: PUSH2 0x26ab 000026a7: PUSH2 0x263d 000026aa: JUMP 000026ab: JUMPDEST 000026ac: DUP1 000026ad: PUSH1 0x05 000026af: SHL 000026b0: PUSH2 0x26bb 000026b3: PUSH1 0x20 000026b5: DUP3 000026b6: ADD 000026b7: PUSH2 0x2651 000026ba: JUMP 000026bb: JUMPDEST 000026bc: SWAP2 000026bd: DUP3 000026be: MSTORE 000026bf: PUSH1 0x20 000026c1: DUP2 000026c2: DUP6 000026c3: ADD 000026c4: DUP2 000026c5: ADD 000026c6: SWAP3 000026c7: SWAP1 000026c8: DUP2 000026c9: ADD 000026ca: SWAP1 000026cb: DUP7 000026cc: DUP5 000026cd: GT 000026ce: ISZERO 000026cf: PUSH2 0x26d6 000026d2: JUMPI 000026d3: PUSH0 000026d4: PUSH0 000026d5: REVERT 000026d6: JUMPDEST 000026d7: PUSH1 0x20 000026d9: DUP7 000026da: ADD 000026db: SWAP3 000026dc: POP 000026dd: JUMPDEST 000026de: DUP4 000026df: DUP4 000026e0: LT 000026e1: ISZERO 000026e2: PUSH2 0x0d7a 000026e5: JUMPI 000026e6: DUP3 000026e7: CALLDATALOAD 000026e8: DUP3 000026e9: MSTORE 000026ea: PUSH1 0x20 000026ec: SWAP3 000026ed: DUP4 000026ee: ADD 000026ef: SWAP3 000026f0: SWAP1 000026f1: SWAP2 000026f2: ADD 000026f3: SWAP1 000026f4: PUSH2 0x26dd 000026f7: JUMP 000026f8: JUMPDEST 000026f9: PUSH0 000026fa: DUP3 000026fb: PUSH1 0x1f 000026fd: DUP4 000026fe: ADD 000026ff: SLT 00002700: PUSH2 0x2707 00002703: JUMPI 00002704: PUSH0 00002705: PUSH0 00002706: REVERT 00002707: JUMPDEST 00002708: DUP2 00002709: CALLDATALOAD 0000270a: PUSH8 0xffffffffffffffff 00002713: DUP2 00002714: GT 00002715: ISZERO 00002716: PUSH2 0x2721 00002719: JUMPI 0000271a: PUSH2 0x2721 0000271d: PUSH2 0x263d 00002720: JUMP 00002721: JUMPDEST 00002722: PUSH2 0x2734 00002725: PUSH1 0x1f 00002727: DUP3 00002728: ADD 00002729: PUSH1 0x1f 0000272b: NOT 0000272c: AND 0000272d: PUSH1 0x20 0000272f: ADD 00002730: PUSH2 0x2651 00002733: JUMP 00002734: JUMPDEST 00002735: DUP2 00002736: DUP2 00002737: MSTORE 00002738: DUP5 00002739: PUSH1 0x20 0000273b: DUP4 0000273c: DUP7 0000273d: ADD 0000273e: ADD 0000273f: GT 00002740: ISZERO 00002741: PUSH2 0x2748 00002744: JUMPI 00002745: PUSH0 00002746: PUSH0 00002747: REVERT 00002748: JUMPDEST 00002749: DUP2 0000274a: PUSH1 0x20 0000274c: DUP6 0000274d: ADD 0000274e: PUSH1 0x20 00002750: DUP4 00002751: ADD 00002752: CALLDATACOPY 00002753: PUSH0 00002754: SWAP2 00002755: DUP2 00002756: ADD 00002757: PUSH1 0x20 00002759: ADD 0000275a: SWAP2 0000275b: SWAP1 0000275c: SWAP2 0000275d: MSTORE 0000275e: SWAP4 0000275f: SWAP3 00002760: POP 00002761: POP 00002762: POP 00002763: JUMP 00002764: JUMPDEST 00002765: PUSH0 00002766: PUSH0 00002767: PUSH0 00002768: PUSH0 00002769: PUSH0 0000276a: PUSH1 0xa0 0000276c: DUP7 0000276d: DUP9 0000276e: SUB 0000276f: SLT 00002770: ISZERO 00002771: PUSH2 0x2778 00002774: JUMPI 00002775: PUSH0 00002776: PUSH0 00002777: REVERT 00002778: JUMPDEST 00002779: PUSH2 0x2781 0000277c: DUP7 0000277d: PUSH2 0x2448 00002780: JUMP 00002781: JUMPDEST 00002782: SWAP5 00002783: POP 00002784: PUSH2 0x278f 00002787: PUSH1 0x20 00002789: DUP8 0000278a: ADD 0000278b: PUSH2 0x2448 0000278e: JUMP 0000278f: JUMPDEST 00002790: SWAP4 00002791: POP 00002792: PUSH1 0x40 00002794: DUP7 00002795: ADD 00002796: CALLDATALOAD 00002797: PUSH8 0xffffffffffffffff 000027a0: DUP2 000027a1: GT 000027a2: ISZERO 000027a3: PUSH2 0x27aa 000027a6: JUMPI 000027a7: PUSH0 000027a8: PUSH0 000027a9: REVERT 000027aa: JUMPDEST 000027ab: PUSH2 0x27b6 000027ae: DUP9 000027af: DUP3 000027b0: DUP10 000027b1: ADD 000027b2: PUSH2 0x2682 000027b5: JUMP 000027b6: JUMPDEST 000027b7: SWAP4 000027b8: POP 000027b9: POP 000027ba: PUSH1 0x60 000027bc: DUP7 000027bd: ADD 000027be: CALLDATALOAD 000027bf: PUSH8 0xffffffffffffffff 000027c8: DUP2 000027c9: GT 000027ca: ISZERO 000027cb: PUSH2 0x27d2 000027ce: JUMPI 000027cf: PUSH0 000027d0: PUSH0 000027d1: REVERT 000027d2: JUMPDEST 000027d3: PUSH2 0x27de 000027d6: DUP9 000027d7: DUP3 000027d8: DUP10 000027d9: ADD 000027da: PUSH2 0x2682 000027dd: JUMP 000027de: JUMPDEST 000027df: SWAP3 000027e0: POP 000027e1: POP 000027e2: PUSH1 0x80 000027e4: DUP7 000027e5: ADD 000027e6: CALLDATALOAD 000027e7: PUSH8 0xffffffffffffffff 000027f0: DUP2 000027f1: GT 000027f2: ISZERO 000027f3: PUSH2 0x27fa 000027f6: JUMPI 000027f7: PUSH0 000027f8: PUSH0 000027f9: REVERT 000027fa: JUMPDEST 000027fb: PUSH2 0x2806 000027fe: DUP9 000027ff: DUP3 00002800: DUP10 00002801: ADD 00002802: PUSH2 0x26f8 00002805: JUMP 00002806: JUMPDEST 00002807: SWAP2 00002808: POP 00002809: POP 0000280a: SWAP3 0000280b: SWAP6 0000280c: POP 0000280d: SWAP3 0000280e: SWAP6 0000280f: SWAP1 00002810: SWAP4 00002811: POP 00002812: JUMP 00002813: JUMPDEST 00002814: PUSH0 00002815: PUSH0 00002816: PUSH0 00002817: PUSH1 0x60 00002819: DUP5 0000281a: DUP7 0000281b: SUB 0000281c: SLT 0000281d: ISZERO 0000281e: PUSH2 0x2825 00002821: JUMPI 00002822: PUSH0 00002823: PUSH0 00002824: REVERT 00002825: JUMPDEST 00002826: PUSH2 0x282e 00002829: DUP5 0000282a: PUSH2 0x2448 0000282d: JUMP 0000282e: JUMPDEST 0000282f: SWAP6 00002830: PUSH1 0x20 00002832: DUP6 00002833: ADD 00002834: CALLDATALOAD 00002835: SWAP6 00002836: POP 00002837: PUSH1 0x40 00002839: SWAP1 0000283a: SWAP5 0000283b: ADD 0000283c: CALLDATALOAD 0000283d: SWAP4 0000283e: SWAP3 0000283f: POP 00002840: POP 00002841: POP 00002842: JUMP 00002843: JUMPDEST 00002844: PUSH0 00002845: PUSH0 00002846: PUSH0 00002847: PUSH1 0x40 00002849: DUP5 0000284a: DUP7 0000284b: SUB 0000284c: SLT 0000284d: ISZERO 0000284e: PUSH2 0x2855 00002851: JUMPI 00002852: PUSH0 00002853: PUSH0 00002854: REVERT 00002855: JUMPDEST 00002856: PUSH2 0x285e 00002859: DUP5 0000285a: PUSH2 0x2448 0000285d: JUMP 0000285e: JUMPDEST 0000285f: SWAP3 00002860: POP 00002861: PUSH1 0x20 00002863: DUP5 00002864: ADD 00002865: CALLDATALOAD 00002866: PUSH8 0xffffffffffffffff 0000286f: DUP2 00002870: GT 00002871: ISZERO 00002872: PUSH2 0x2879 00002875: JUMPI 00002876: PUSH0 00002877: PUSH0 00002878: REVERT 00002879: JUMPDEST 0000287a: DUP5 0000287b: ADD 0000287c: PUSH1 0x1f 0000287e: DUP2 0000287f: ADD 00002880: DUP7 00002881: SGT 00002882: PUSH2 0x2889 00002885: JUMPI 00002886: PUSH0 00002887: PUSH0 00002888: REVERT 00002889: JUMPDEST 0000288a: DUP1 0000288b: CALLDATALOAD 0000288c: PUSH8 0xffffffffffffffff 00002895: DUP2 00002896: GT 00002897: ISZERO 00002898: PUSH2 0x289f 0000289b: JUMPI 0000289c: PUSH0 0000289d: PUSH0 0000289e: REVERT 0000289f: JUMPDEST 000028a0: DUP7 000028a1: PUSH1 0x20 000028a3: DUP3 000028a4: PUSH1 0x05 000028a6: SHL 000028a7: DUP5 000028a8: ADD 000028a9: ADD 000028aa: GT 000028ab: ISZERO 000028ac: PUSH2 0x28b3 000028af: JUMPI 000028b0: PUSH0 000028b1: PUSH0 000028b2: REVERT 000028b3: JUMPDEST 000028b4: SWAP4 000028b5: SWAP7 000028b6: PUSH1 0x20 000028b8: SWAP2 000028b9: SWAP1 000028ba: SWAP2 000028bb: ADD 000028bc: SWAP6 000028bd: POP 000028be: SWAP3 000028bf: SWAP4 000028c0: POP 000028c1: POP 000028c2: POP 000028c3: JUMP 000028c4: JUMPDEST 000028c5: PUSH0 000028c6: PUSH0 000028c7: PUSH0 000028c8: PUSH0 000028c9: PUSH0 000028ca: PUSH1 0xa0 000028cc: DUP7 000028cd: DUP9 000028ce: SUB 000028cf: SLT 000028d0: ISZERO 000028d1: PUSH2 0x28d8 000028d4: JUMPI 000028d5: PUSH0 000028d6: PUSH0 000028d7: REVERT 000028d8: JUMPDEST 000028d9: PUSH2 0x28e1 000028dc: DUP7 000028dd: PUSH2 0x2448 000028e0: JUMP 000028e1: JUMPDEST 000028e2: SWAP5 000028e3: POP 000028e4: PUSH2 0x28ef 000028e7: PUSH1 0x20 000028e9: DUP8 000028ea: ADD 000028eb: PUSH2 0x2448 000028ee: JUMP 000028ef: JUMPDEST 000028f0: SWAP4 000028f1: POP 000028f2: PUSH1 0x40 000028f4: DUP7 000028f5: ADD 000028f6: CALLDATALOAD 000028f7: SWAP3 000028f8: POP 000028f9: PUSH1 0x60 000028fb: DUP7 000028fc: ADD 000028fd: CALLDATALOAD 000028fe: SWAP2 000028ff: POP 00002900: PUSH1 0x80 00002902: DUP7 00002903: ADD 00002904: CALLDATALOAD 00002905: PUSH8 0xffffffffffffffff 0000290e: DUP2 0000290f: GT 00002910: ISZERO 00002911: PUSH2 0x27fa 00002914: JUMPI 00002915: PUSH0 00002916: PUSH0 00002917: REVERT 00002918: JUMPDEST 00002919: PUSH4 0x4e487b71 0000291e: PUSH1 0xe0 00002920: SHL 00002921: PUSH0 00002922: MSTORE 00002923: PUSH1 0x11 00002925: PUSH1 0x04 00002927: MSTORE 00002928: PUSH1 0x24 0000292a: PUSH0 0000292b: REVERT 0000292c: JUMPDEST 0000292d: DUP2 0000292e: DUP2 0000292f: SUB 00002930: DUP2 00002931: DUP2 00002932: GT 00002933: ISZERO 00002934: PUSH2 0x070c 00002937: JUMPI 00002938: PUSH2 0x070c 0000293b: PUSH2 0x2918 0000293e: JUMP 0000293f: JUMPDEST 00002940: PUSH1 0x01 00002942: PUSH1 0x01 00002944: PUSH1 0xa0 00002946: SHL 00002947: SUB 00002948: SWAP5 00002949: DUP6 0000294a: AND 0000294b: DUP2 0000294c: MSTORE 0000294d: SWAP3 0000294e: SWAP1 0000294f: SWAP4 00002950: AND 00002951: PUSH1 0x20 00002953: DUP4 00002954: ADD 00002955: MSTORE 00002956: PUSH1 0x40 00002958: DUP3 00002959: ADD 0000295a: MSTORE 0000295b: PUSH1 0x60 0000295d: DUP2 0000295e: ADD 0000295f: SWAP2 00002960: SWAP1 00002961: SWAP2 00002962: MSTORE 00002963: PUSH1 0xa0 00002965: PUSH1 0x80 00002967: DUP3 00002968: ADD 00002969: DUP2 0000296a: SWAP1 0000296b: MSTORE 0000296c: PUSH0 0000296d: SWAP1 0000296e: DUP3 0000296f: ADD 00002970: MSTORE 00002971: PUSH1 0xc0 00002973: ADD 00002974: SWAP1 00002975: JUMP 00002976: JUMPDEST 00002977: PUSH0 00002978: PUSH1 0x20 0000297a: DUP3 0000297b: DUP5 0000297c: SUB 0000297d: SLT 0000297e: ISZERO 0000297f: PUSH2 0x2986 00002982: JUMPI 00002983: PUSH0 00002984: PUSH0 00002985: REVERT 00002986: JUMPDEST 00002987: POP 00002988: MLOAD 00002989: SWAP2 0000298a: SWAP1 0000298b: POP 0000298c: JUMP 0000298d: JUMPDEST 0000298e: DUP1 0000298f: DUP3 00002990: MUL 00002991: DUP2 00002992: ISZERO 00002993: DUP3 00002994: DUP3 00002995: DIV 00002996: DUP5 00002997: EQ 00002998: OR 00002999: PUSH2 0x070c 0000299c: JUMPI 0000299d: PUSH2 0x070c 000029a0: PUSH2 0x2918 000029a3: JUMP 000029a4: JUMPDEST 000029a5: DUP1 000029a6: DUP3 000029a7: ADD 000029a8: DUP1 000029a9: DUP3 000029aa: GT 000029ab: ISZERO 000029ac: PUSH2 0x070c 000029af: JUMPI 000029b0: PUSH2 0x070c 000029b3: PUSH2 0x2918 000029b6: JUMP 000029b7: JUMPDEST 000029b8: PUSH0 000029b9: PUSH1 0x20 000029bb: DUP3 000029bc: DUP5 000029bd: SUB 000029be: SLT 000029bf: ISZERO 000029c0: PUSH2 0x29c7 000029c3: JUMPI 000029c4: PUSH0 000029c5: PUSH0 000029c6: REVERT 000029c7: JUMPDEST 000029c8: DUP2 000029c9: MLOAD 000029ca: DUP1 000029cb: ISZERO 000029cc: ISZERO 000029cd: DUP2 000029ce: EQ 000029cf: PUSH2 0x173f 000029d2: JUMPI 000029d3: PUSH0 000029d4: PUSH0 000029d5: REVERT 000029d6: JUMPDEST 000029d7: PUSH4 0x4e487b71 000029dc: PUSH1 0xe0 000029de: SHL 000029df: PUSH0 000029e0: MSTORE 000029e1: PUSH1 0x32 000029e3: PUSH1 0x04 000029e5: MSTORE 000029e6: PUSH1 0x24 000029e8: PUSH0 000029e9: REVERT 000029ea: JUMPDEST 000029eb: PUSH0 000029ec: DUP3 000029ed: PUSH2 0x2a04 000029f0: JUMPI 000029f1: PUSH4 0x4e487b71 000029f6: PUSH1 0xe0 000029f8: SHL 000029f9: PUSH0 000029fa: MSTORE 000029fb: PUSH1 0x12 000029fd: PUSH1 0x04 000029ff: MSTORE 00002a00: PUSH1 0x24 00002a02: PUSH0 00002a03: REVERT 00002a04: JUMPDEST 00002a05: POP 00002a06: DIV 00002a07: SWAP1 00002a08: JUMP 00002a09: INVALID 00002a0a: LOG2 00002a0b: PUSH5 0x6970667358 00002a11: UNKNOWN(0x22) 00002a12: SLT 00002a13: KECCAK256 00002a14: NUMBER 00002a15: UNKNOWN(0xD1) 00002a16: PUSH23 0xfd111c66aa4b880eb644c8e33c06536c3658e4b893a7fe 00002a2e: UNKNOWN(0x2A) 00002a2f: DIV 00002a30: DELEGATECALL 00002a31: UNKNOWN(0xBE) 00002a32: REVERT 00002a33: SWAP14 00002a34: PUSH5 0x736f6c6343 00002a3a: STOP 00002a3b: ADDMOD 00002a3c: SHL 00002a3d: STOP 00002a3e: CALLER
| Severity | Category | Tool | Title | Confidence | Validated | Confirmed | Details |
|---|---|---|---|---|---|---|---|
| critical | upgradeability | detector | Untrusted DELEGATECALL target reachable | 70 | no | no |
viewtrace_id: 0x43515f578e94ed34a79d0033b3f7c33ebc93d4cd313d5f75423a068b1ba64005
validation_json{
"sink": "DELEGATECALL",
"errors": 0,
"status": "unknown",
"attempts": 192,
"trace_id": "0x43515f578e94ed34a79d0033b3f7c33ebc93d4cd313d5f75423a068b1ba64005",
"confirmed": false,
"trace_mode": "callTracer",
"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": "0xdec38fc6",
"selector": "0xdec38fc6",
"calldata_variants": [
"0xdec38fc6",
"0xdec38fc60000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xe7b62083",
"selector": "0xe7b62083",
"calldata_variants": [
"0xe7b62083",
"0xe7b620830000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xefdcd974",
"selector": "0xefdcd974",
"calldata_variants": [
"0xefdcd974",
"0xefdcd9740000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf23a6e61",
"selector": "0xf23a6e61",
"calldata_variants": [
"0xf23a6e61",
"0xf23a6e610000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf5b541a6",
"selector": "0xf5b541a6",
"calldata_variants": [
"0xf5b541a6",
"0xf5b541a60000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xfdeb3597",
"selector": "0xfdeb3597",
"calldata_variants": [
"0xfdeb3597",
"0xfdeb35970000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xbcdd56e3",
"selector": "0xbcdd56e3",
"calldata_variants": [
"0xbcdd56e3",
"0xbcdd56e30000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xc5601072",
"selector": "0xc5601072",
"calldata_variants": [
"0xc5601072",
"0xc56010720000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 10800,
"opcode": "DELEGATECALL",
"returndata_checked": null,
"value_expression_category": "n/a",
"target_expression_category": "computed"
}
],
"guards_detected": [],
"delegatecall_count": 1,
"untrusted_delegatecall_count": 1
}
|
| high | other | detector | Untrusted CALL target/value reachable | 60 | no | no |
viewtrace_id: 0x7118087e84489331209cfc532cf9356af96955d241be800f6d41471255cba820
call_targets:
0x7d1a439b6e498bd48eac738a070bb3120fcca601
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x7118087e84489331209cfc532cf9356af96955d241be800f6d41471255cba820",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x7d1a439b6e498bd48eac738a070bb3120fcca601"
],
"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": "0xdec38fc6",
"selector": "0xdec38fc6",
"calldata_variants": [
"0xdec38fc6",
"0xdec38fc60000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xe7b62083",
"selector": "0xe7b62083",
"calldata_variants": [
"0xe7b62083",
"0xe7b620830000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xefdcd974",
"selector": "0xefdcd974",
"calldata_variants": [
"0xefdcd974",
"0xefdcd9740000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf23a6e61",
"selector": "0xf23a6e61",
"calldata_variants": [
"0xf23a6e61",
"0xf23a6e610000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf5b541a6",
"selector": "0xf5b541a6",
"calldata_variants": [
"0xf5b541a6",
"0xf5b541a60000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xfdeb3597",
"selector": "0xfdeb3597",
"calldata_variants": [
"0xfdeb3597",
"0xfdeb35970000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xbcdd56e3",
"selector": "0xbcdd56e3",
"calldata_variants": [
"0xbcdd56e3",
"0xbcdd56e30000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xc5601072",
"selector": "0xc5601072",
"calldata_variants": [
"0xc5601072",
"0xc56010720000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 2960,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 3811,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 8830,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"call_count": 4,
"guards_detected": [],
"untrusted_call_count": 4
}
|
| high | other | detector | ETH value transfer possible | 55 | no | no |
viewtrace_id: 0x7118087e84489331209cfc532cf9356af96955d241be800f6d41471255cba820
call_targets:
0x7d1a439b6e498bd48eac738a070bb3120fcca601
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x7118087e84489331209cfc532cf9356af96955d241be800f6d41471255cba820",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x7d1a439b6e498bd48eac738a070bb3120fcca601"
],
"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": "0xdec38fc6",
"selector": "0xdec38fc6",
"calldata_variants": [
"0xdec38fc6",
"0xdec38fc60000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xe7b62083",
"selector": "0xe7b62083",
"calldata_variants": [
"0xe7b62083",
"0xe7b620830000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xefdcd974",
"selector": "0xefdcd974",
"calldata_variants": [
"0xefdcd974",
"0xefdcd9740000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf23a6e61",
"selector": "0xf23a6e61",
"calldata_variants": [
"0xf23a6e61",
"0xf23a6e610000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf5b541a6",
"selector": "0xf5b541a6",
"calldata_variants": [
"0xf5b541a6",
"0xf5b541a60000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xfdeb3597",
"selector": "0xfdeb3597",
"calldata_variants": [
"0xfdeb3597",
"0xfdeb35970000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xbcdd56e3",
"selector": "0xbcdd56e3",
"calldata_variants": [
"0xbcdd56e3",
"0xbcdd56e30000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xc5601072",
"selector": "0xc5601072",
"calldata_variants": [
"0xc5601072",
"0xc56010720000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 2960,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 3811,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 8830,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"eth_value_calls": 3,
"guards_detected": []
}
|
| medium | upgradeability | cast | DELEGATECALL present | 80 | no | — |
viewevidence_json{
"notes": "delegatecall enables execution in caller context; common in proxies/upgradeable patterns",
"delegatecall_count": 1
}
|