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

Analysis Run

286b1114-3519-47ab-958a-88ad2d37b3ec

failed
Chain ID
1
Address
Block Number
Created
Tue, Dec 30, 2025 2:22 AM
Review Summary

What survived the funnel

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

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

Processing Jobs

Status & attempts
ID Type Status Attempts Heartbeat
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

Artifact

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

Slither

tool.slither

No slither job recorded yet.

Codex

report.consolidate
Job Status
complete
Attempts
1 / 1
Findings
0
No findings?
yes
Summary
Reviewed the first-party marketplace and stream accounting logic; no concrete exploitable vulnerabilities were identified in the provided Solidity sources.
View stderr
[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":[]}
Metadata
{
    "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
}

Opcode Heuristics

tool.cast_disasm
Delegatecall
1
Selfdestruct
0
CREATE2
0
CALL-family (heavy)
9
EXT*/BALANCE
4
Total opcodes
7048
Flags
delegatecall_present
View cast disassembly output
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

Findings

validated = confirmed for call sinks; sink observed for others
Severity Category Tool Title Confidence Validated Confirmed Details
critical upgradeability detector Untrusted DELEGATECALL target reachable 70 no no
view
trace_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
view
trace_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
view
trace_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
view
evidence_json
{
    "notes": "delegatecall enables execution in caller context; common in proxies/upgradeable patterns",
    "delegatecall_count": 1
}